{ "format": "longsmall-complete-consolidated-v1", "category": "documentation", "files": [ { "path": "anc/README.md", "size_bytes": 10599, "sha256": "211368f90a031157d560735d6ec5494ac42257fe707a64d45f050cc30973bab6", "mode": 420, "encoding": "utf-8", "text": "# Long solutions to small equations — reproducibility package\n\nThis package accompanies the revised 24 October 2026 version by Bogdan Grechuk,\nEugene Go and Avraham Eisenberg. It contains the LaTeX source, BibTeX database,\nand computational material for the **38 proofs retained in the paper**.\nThe code, inputs, expected outputs and documentation for the two proofs replaced\nby citations to earlier papers have been removed. Shared dependencies needed by\nthe remaining cases are retained.\n\nThe introduction surveys 73 entries explicitly left open in the book:\n38 are proved here, 17 were completed after the book but before this paper,\n3 follow from older literature, and 15 remain open. The two equivalent\npresentations supported by the same earlier paper count as two table entries.\nThe 38 retained proofs consist of 15 affine cases, 5 generalized Fermat cases,\n8 plane quartics and 10 other homogeneous equations.\n\n## Archive layout\n\nThe ZIP root contains `longsmall.tex` and `references.bib`. All supporting\nmaterial is under `anc/`, including every original script, input, expected output,\nREADME and licence file. Original computational filenames and formats are\npreserved. The build script and package checker have been adjusted for this\nlayout, and `anc/SHA256SUMS` has been regenerated using paths relative to the ZIP\nroot. Run the commands below from that root; paths in each case's own README\nremain relative to its original location under `anc/code/`.\n\n## Build the paper\n\nFrom the ZIP root, run:\n\n```sh\nsh anc/build.sh\n```\n\nThe inputs are `longsmall.tex` and `references.bib`. The script runs pdfLaTeX,\nBibTeX, then repeats pdfLaTeX until references and table widths stabilize\n(at most five further passes). It writes intermediate files to `build/` and\ncopies `longsmall.pdf` to this directory. A normal TeX Live or MiKTeX installation with\nthe packages listed in the preamble and the standard `amsalpha` bibliography\nstyle is sufficient. No external figures, additional TeX source files, network\naccess or shell escape are required. The build was checked with pdfTeX 1.40.25\nand BibTeX 0.99d (TeX Live 2023/Debian).\n\nThe bibliography entry for the article marked “To appear” intentionally has no\npage range; BibTeX reports a missing-pages warning for that entry. No page range\nhas been invented. The final LaTeX pass has no unresolved references or citations,\nmissing characters or overfull boxes. The PDF is supplied separately and is not\nduplicated in this archive. PDF bytes can differ with TeX versions and timestamps.\n\n## Checks performed for this edition\n\nThis edition corrects the specific mathematical and editorial issues identified\nin feedback. The reported resultant factors and the elliptic-curve counterexample\nwere checked exactly; the recorded characteristic polynomials were reduced modulo\n2; and the doubled Prym map was checked against Bruin (2008), Proposition 6.2 and\nRemark 6.3. Proposition D now requires an odd prime unramified in the number field\nand a coordinate without poles on the entire residue disk over an algebraic\nclosure of each completion. The applications use\nsplit odd primes and record the necessary disk integrality.\n\n**The full proofs and computational certificate suites were not rerun.**\nAdditional checks cover:\n\n- A clean build using the supplied `anc/build.sh` and bibliography.\n- Citation and label resolution, theorem/table inventories and the 38-case count.\n- PDF metadata, page layout and table presentation, including the line in\n Lemma 3.11.4 reported missing from an earlier PDF.\n- The current section-to-certificate map and removal of the two retired cases.\n- Python syntax, shell-wrapper syntax, and preservation of the retained code.\n- ZIP integrity and regenerated SHA-256 checksums for all distributed files,\n including the latest LaTeX source and BibTeX database.\n\nTo repeat the targeted algebra checks (SymPy 1.14.0 was used), run:\n\n```sh\npython3 anc/check_corrections.py\n```\n\nThis checks the two resultants and the counterexample using exact arithmetic.\nFor Lemma 3.8.5 it checks the four polynomials in the historical output file;\nit does not recompute the underlying logarithms.\n\nTo repeat the non-mathematical package checks, run:\n\n```sh\npython3 anc/check_package.py\n```\n\nThis uses Python's standard library. It does not execute the certificates or\nbounded searches. `anc/SHA256SUMS` covers every distributed file except itself, with paths\nrelative to the ZIP root;\non systems with GNU coreutils it can also be checked with:\n\n```sh\nsha256sum -c anc/SHA256SUMS\n```\n\n## Reproduce computations\n\nThe retained optional lightweight suite is available as:\n\n```sh\npython3 anc/verify_quick.py\n```\n\nIt requires Python 3 and a C compiler (`cc`/`gcc`). It includes the 38-case\n`verify_statements.py` substitution and bounded-search checks, the first cubic\nsurface's certificate suite, the elementary quintic and trace checks, the shared\nnewspace-dimension check, and the retained finite-field and twist checks for\ncase 1.1.14. Bounded searches check transcription; they do not prove completeness.\nThe Fermat checker keeps the original certificate identifiers despite the gaps\nleft by the removed cases.\n\nThe earlier edition recorded successful lightweight checks on 22 October 2026.\nThose are historical results, not execution results for this edition. In\nparticular, the edited 38-case checker was checked for syntax and correspondence\nwith the retained cases, but its searches were not rerun. The full Magma/PARI/GP\nand large class-group computations were not rerun in these editorial passes.\nThe earlier attempted GP newform runs could not start because `gp` was unavailable.\n\nFull recomputation uses the software specified by each directory's README:\nPARI/GP 2.15.4 or 2.17.4; Python with cypari2, python-flint/Arb, SymPy, NumPy and\nmpmath; Magma (recorded runs V2.29-10); and a C/C++ compiler. Some cross-checks\nuse SageMath/passagemath. Do not run Python with `-O`: assertions are part of\nthe certificates. Compatibility with newer dependency versions was not tested.\n\nRun full certificates in the order documented locally. Large generated witness\nand root-count files must first be regenerated and then passed to the exact\ncheckers. In particular, `anc/code/1.3.8/classgroup/run_witnesses.sh` and\n`run_counts.sh` regenerate the large datasets for Section 5.8. The small fixed\ninputs and the original case 1.3.7 witness files are included.\n\nDirectories named `expected/` contain historical reference outputs, not new\nexecution logs. Dates, timings and phrases such as “run here” in the local\nREADMEs describe the supplied records. Reference outputs do not substitute for\nexecuting the assertions when a computational verification is requested.\n\n## Certificate map\n\nThe section numbers below match the final paper. Certificate IDs, filenames and\ninternal LaTeX labels retain their original identifiers. Each case's README maps\nindividual lettered certificates to scripts and fixed inputs.\n\n| Paper section | Certificate prefix / directory | Equation |\n|---|---|---|\n| 3.1 | `1.1.1` / `anc/code/1.1.1/` | $x^4-y^3-x+y=0$ |\n| 3.2 | `1.1.2` / `anc/code/1.1.2/` | $x^4-y^3+x-y=0$ |\n| 3.3 | `1.1.3` / `anc/code/1.1.3/` | $x^4+y^3+xy+1=0$ |\n| 3.4 | `1.1.4` / `anc/code/1.1.4/` | $x^4+y^3+2x-y=0$ |\n| 3.5 | `1.1.5` / `anc/code/1.1.5/` | $x^4+y^3+2x+y=0$ |\n| 3.6 | `1.1.6` / `anc/code/1.1.6/` | $x^4+y^3+y^2+x=0$ |\n| 3.7 | `1.1.7` / `anc/code/1.1.7/` | $x^4+y^3-y^2+x=0$ |\n| 3.8 | `1.1.8` / `anc/code/1.1.8/` | $x^4+y^3+2x-y+1=0$ |\n| 3.9 | `1.1.9` / `anc/code/1.1.9/` | $x^4+y^3+2x+y+1=0$ |\n| 3.10 | `1.1.10` / `anc/code/1.1.10/` | $x^4+y^3+2x+y-1=0$ |\n| 3.11 | `1.1.11` / `anc/code/1.1.11/` | $x^4+y^3+xy-y-1=0$ |\n| 3.12 | `1.1.12` / `anc/code/1.1.12/` | $x^4-y^3+xy+x-1=0$ |\n| 3.13 | `1.1.13` / `anc/code/1.1.13/` | $x^4+y^3+xy+y-1=0$ |\n| 3.14 | `1.1.14` / `anc/code/1.1.14/` | $x^4+y^3+xy+x+1=0$ |\n| 3.15 | `1.1.15` / `anc/code/1.1.15/` | $x^4-x^2+xy+y^3=0$ |\n| 4.1 | `1.2.1` / `anc/code/1.2.1/` | $x^4+3y^3+z^3=0$ |\n| 4.2 | `1.2.3` / `anc/code/1.2.3/` | $2x^4-y^4+z^3=0$ |\n| 4.3 | `1.2.4` / `anc/code/1.2.4/` | $x^5+y^4=2z^2$ |\n| 4.4 | `1.2.6` / `anc/code/1.2.6/` | $x^5+y^4=3z^2$ |\n| 4.5 | `1.2.7` / `anc/code/1.2.7/` | $x^5+y^4+3z^2=0$ |\n| 5.1 | `1.3.1` / `anc/code/1.3.1/` | $x^4+x^3y+xy^3=z^4$ |\n| 5.2 | `1.3.2` / `anc/code/1.3.2/` | $x^4-y^4+x^2yz+yz^3=0$ |\n| 5.3 | `1.3.3` / `anc/code/1.3.3/` | $x^4+x^2y^2+y^3z-yz^3=0$ |\n| 5.4 | `1.3.4` / `anc/code/1.3.4/` | $x^4+y^4+x^2yz-yz^3=0$ |\n| 5.5 | `1.3.5` / `anc/code/1.3.5/` | $x^4-x^2y^2+y^3z+yz^3=0$ |\n| 5.6 | `1.3.6` / `anc/code/1.3.6/` | $x^4+x^2y^2+y^3z+z^4=0$ |\n| 5.7 | `1.3.7` / `anc/code/1.3.7/` | $x^3z+y^3x+y^2z^2-z^3y=0$ |\n| 5.8 | `1.3.8` / `anc/code/1.3.8/` | $x^4-y^3z+xyz^2+xz^3=0$ |\n| 6.1 | `1.4.1` / `anc/code/1.4.1/` | $x^3+2x^2y+y^3+y^2z+xz^2+z^3+t^2x-t^2y-t^2z+tyz+t^3=0$ |\n| 6.2 | `1.4.2` / `anc/code/1.4.2/` | $2x^3+x^2y+xy^2+y^3+y^2z-2xz^2-z^3+t^2y+tz^2-t^3=0$ |\n| 6.3 | `1.4.3` / `anc/code/1.4.3/` | $2x^3+2x^2y+2y^3+y^2z-2xz^2-z^3+tz^2-t^3=0$ |\n| 6.4 | `1.4.4` / `anc/code/1.4.4/` | $8x^4+7y^4+2z^4-t^4=0$ |\n| 6.5 | `1.4.5` / `anc/code/1.4.5/` | $14x^5+5y^5+3z^5=0$ |\n| 6.6 | `1.4.6` / `anc/code/1.4.6/` | $21x^5+5y^5+4z^5=0$ |\n| 6.7 | `1.4.7` / `anc/code/1.4.7/` | $17x^5+6y^5+3z^5=0$ |\n| 6.8 | `1.4.8` / `anc/code/1.4.8/` | $17x^5+9y^5+5z^5=0$ |\n| 6.9 | `1.4.9` / `anc/code/1.4.9/` | $14x^5+13y^5+2z^5=0$ |\n| 6.10 | `1.4.10` / `anc/code/1.4.10/` | $4x^5+4y^5+11z^5=0$ |\n\nThe shared Frey certificates 1.4qa–c are in `anc/code/common/frey_quintic/`.\nOther shared directories provide class-group, descent, cyclic-cubic and Simon\nelliptic-descent helpers. In legacy code documentation, original shared result\nlabels A, B, C, G, O, S, T, U, AB, AD correspond respectively to the current\npaper's A, B, C, D, E, F, G, H, I, J.\n\n## Files and notices\n\nThe archive includes only the current paper's source, bibliography, build and\ncheck scripts, retained computational material and its shared dependencies.\nIt excludes old paper versions, source fragments, alternative proofs, old PDFs,\nLean formalizations, generated executables, Python caches and TeX intermediates.\nSubmission metadata and the distribution licence are supplied by the authors\nat deposit. The author byline is retained exactly as supplied in the final draft;\nno submission has been made.\n\nThe bundled Denis Simon GP scripts retain their original copyright and GPL\nnotices; GPL version 3 is included as `anc/code/common/simon_ell/COPYING`.\nOther supplied code retains its existing notices. This packaging update does\nnot assert a new blanket licence over the paper or research code.\n" }, { "path": "anc/SHA256SUMS", "size_bytes": 74250, "sha256": "6cb4d7fc0a56f13bffec22f6e312e11a02ffe9291fecdbf9f86e3ba6c78462f4", "mode": 420, "encoding": "utf-8", "text": "211368f90a031157d560735d6ec5494ac42257fe707a64d45f050cc30973bab6 anc/README.md\n76466c0f011c80bbf665be0a507392570b8e96b2b6016af00c7dba32a8680cce anc/build.sh\n9f049a72402845189e2e6ea053afbbee18e747d869b6c6df9490ec91d90d7baf anc/check_corrections.py\nca0d7cc7a941bcb2df39263ff135e74bf8a1a8e98145457908ebddc3a4b62bd3 anc/check_package.py\nb53d290916eb330adff63106cfa116a96f2988e9ebc894bc00537b1bed776c85 anc/code/1.1.1/1.1.1a_bitangent.gp\n497a444b103d8e83252cf03b0b25f2e7e74a2cc1743ba8c8246d153b2d1802f6 anc/code/1.1.1/1.1.1a_geometry.gp\nfe02c441f8c54a1f29500f8d44ba73e8fa8f1e63ba691a598bdfea8edc47ecd8 anc/code/1.1.1/1.1.1a_nodes.gp\n40570e33c56db8cd82ff6460650b3169432ae78ea43ecfb0021e6058e813dbd1 anc/code/1.1.1/1.1.1b_dyadic.gp\n1c443a9b456118e693ca58cb045bdb8cfface0f302c772b5a18fc12833c52df9 anc/code/1.1.1/1.1.1c_code.py\nc94bebe9c6561a8888b708e6fde1a5c69fd91f417ddbd50a36b6bd6d5fa30708 anc/code/1.1.1/1.1.1e_census_stream.py\n824566439cac7aa1ba2fa3d93e45fe85ef3fdc8471ce508b54fa6eff2680169b anc/code/1.1.1/1.1.1e_compare_slice.py\ncaedbae1fb57c2701bda42d55c0277dac8c4dea2c3ff40d41cbb9dbb31b70438 anc/code/1.1.1/1.1.1e_low_norm_census.py\n3f25e066d88ba296e324efe75fd8aa9f2a636cf430946395c9de03a4c2195a7f anc/code/1.1.1/1.1.1f_strict_window.py\n1e23340b96b6a8e2565963d5bd7eaad96844c88ca4e6213a43cdcaff806a8ed6 anc/code/1.1.1/1.1.1g_kernel.py\n1f51654c99ae7677c35c0d2ce92a2505234dbed9c76e49beb07912ef9389c6e2 anc/code/1.1.1/1.1.1h_qc3.gp\na5d5e402f38a9e509c07b629f1c30ab3ee3011e91e8e5c0e9ae4677eb9dd6245 anc/code/1.1.1/1.1.1i_qc5.gp\na27d148a2e827b494ea6de2c5cc1dea5d8102ba724a7b32c7c2b353b466ad272 anc/code/1.1.1/1.1.1j_count.cpp\nef419b89279a2dc0271afa551b63f61cf6284ccf4fd728919d3fc6d413b78907 anc/code/1.1.1/1.1.1j_jorder.py\n8b1d9409af9e32b1f6815e2fe65c93e9d6513c49a202fd320f8dae26d28feac4 anc/code/1.1.1/1.1.1j_sieve_logic.py\ne155a1cb90b9c4f40bc95068dbd907bca79641c919ebd812a4efd45bac0fd373 anc/code/1.1.1/1.1.1j_sieve_tables.py\n2056fd6099b98f32cbe73ab6a0b11f7aecea7b725bf7b2241f24683f764ad748 anc/code/1.1.1/README.md\n5e6477fb4c1946611e3bb73e316cd12718c0158b27f0396c6e1e171520a0b434 anc/code/1.1.1/data/3723_census_blocks/block_100000000_110000000.json\n35a39157806c480a6b6aace7cd1230f7d864fb8cf45ad5c30706b7971ea81cdf anc/code/1.1.1/data/3723_census_blocks/block_10000000_20000000.json\n11e4c2e194ec1acf5d7b48525c77988c58c1c6a877b36d458978345f472d3ef1 anc/code/1.1.1/data/3723_census_blocks/block_20000000_30000000.json\n54d2d3e29103fbf9da69f43acc446cf849045983e12e72b2048cb4788ad47948 anc/code/1.1.1/data/3723_census_blocks/block_30000000_40000000.json\nd1c61a1e59f1eb04cce27e272833a942255a9e82838cd829bab0f2d21bc8e6b8 anc/code/1.1.1/data/3723_census_blocks/block_40000000_50000000.json\nff93348e3ce6be02d8bddf7413829c97e5b353787b0a1870274b11d2c75b51fd anc/code/1.1.1/data/3723_census_blocks/block_50000000_60000000.json\na5de5a756321b2642ee270c6793874a04ea5281afd413fb1d53c545c01f4f141 anc/code/1.1.1/data/3723_census_blocks/block_60000000_70000000.json\naef9abe43d767383d2479a7294e90004a6a85bc3406c2306ca8fd3313edfea88 anc/code/1.1.1/data/3723_census_blocks/block_70000000_80000000.json\n20246c42182f4a2a71863172a95d937706cd0ff1a280ea8e77a243ce66787232 anc/code/1.1.1/data/3723_census_blocks/block_80000000_90000000.json\n0f2a7eed96c206e61641da9d7109439d4e9cd3b156e28870da259b2dace3571c anc/code/1.1.1/data/3723_census_blocks/block_90000000_100000000.json\n1e5773a4ed7d05fac7052b3f67586374c6ca1d2e943bbb55444063f9c729f71e anc/code/1.1.1/data/3723_census_blocks/metadata.json\ncc4dd0df190cd77c6f9edfb62d4aecd5c55d9807375530dc55c2497d7fef7b85 anc/code/1.1.1/data/3723_census_blocks/summary_10000000_110000000.json\n33d43290b5309810a6c20e00efd833aa34f48ac1c70c82e4308e84e8112801d0 anc/code/1.1.1/data/3723_higher_norms.json\nc530b02c0cb324223b930edcabf2b8359e39b34538785133dc0fa2cf4cd5450a anc/code/1.1.1/data/3723_low_norm_census.json\nf61da70c84b7900329a4fd144fb1555777d60118c987b6385c31fccb2d771678 anc/code/1.1.1/data/3723_strict_window.json\n1a7b5f7d8cf8ae42fe922f391cdcf6b3fae51199a85000d5386951f21243278a anc/code/1.1.1/data/classgroup_params.json\n1da2f6e5827026a1f0930f36190ee74601db87ba3b6a75fedfecdfccb076734c anc/code/1.1.1/data/sieve/sieve_data_109.json\naa2ac6c13286d7d6c63899f86d956eec027dc99e166f1d2329da6b76bb7d05ac anc/code/1.1.1/data/sieve/sieve_data_233.json\n2316855b654c161070d6f11ec60f4d70c8639c4a5dd7e824116e277ce97b1014 anc/code/1.1.1/data/sieve/sieve_data_277.json\n76819b03e85a1eb2d7fdcb14ab1a8857bfe426f676abd18c9cd685457fa2f698 anc/code/1.1.1/expected/1.1.1a.txt\n6f91befda00b6d9b54cd9c77c827e7ae261b4d40fdb1693ffdc469b2801e6c8a anc/code/1.1.1/expected/1.1.1b.txt\n0674d2a4c6d1e645f6bf956bd9ca7a19abce15ae6cffeaeea3078142fbd7a677 anc/code/1.1.1/expected/1.1.1c.txt\n3f8547cb71e8cc479e34932d9560be8c17e375d45f36a751766c7eef76200f27 anc/code/1.1.1/expected/1.1.1d.txt\nbe6fc310007bd2294baa60603984410c366c2190e0bc3c4434aa733810a1a0f5 anc/code/1.1.1/expected/1.1.1e.txt\nd4561e56127147d0f63ab28632de13b368ac262d110eedeada16718f2701144b anc/code/1.1.1/expected/1.1.1f.txt\nd5c8e79cff7f5ad3a5c010f97e1c0a03fbfde0a77384e0cb0973edfd92691ef8 anc/code/1.1.1/expected/1.1.1g.txt\nf7db07c661d85da62437469cbee2813537e272668f6a29eb5737fac2d91a27cd anc/code/1.1.1/expected/1.1.1h.txt\n07f9054704ae9c8a5fa0c949bf78815383ef5e9dfff80f9889368503102fc321 anc/code/1.1.1/expected/1.1.1i.txt\n8b9431d354b9e1c0d3238fe379f1ff57079856e64848a3dd36dacbe5947f7157 anc/code/1.1.1/expected/1.1.1j.txt\ncc2b0c011276d2fc9cfcc856a70ae742f98d0bdf63df0370e30ef39105f2ad23 anc/code/1.1.10/9111_chabauty.py\na7d1c3d1d56fa24f9d8e90edb3756d9fc57b50747c3f872bc910a0f0eef1992a anc/code/1.1.10/9111_descent_data.json\n478ff7b9d4c492bb066876e394ab795f484a063a77778994fad1e7c3d1df0772 anc/code/1.1.10/9111_finite_sieve.py\n2774cee336ca929e5474375c93b6d69e54b0ca5d38c08ebd11825735df8dc323 anc/code/1.1.10/9111_strict_window.json\n882c1bfe0d26d2cef10a3087f071f9c2698d0a75eb474fec36e64aa881aecaf7 anc/code/1.1.10/9111_strict_window_verified.json\n585f922697ead50ef7d554d1d69378595cc84a5d0a4aec865a92c3d11dca0336 anc/code/1.1.10/README.md\nd56e609a5a3d78b99e516cafa3cd773fcc6b875243f6f79d069e8a078d2730e1 anc/code/1.1.10/census_stream_9111.py\ne7f61a6ae0c3cb83d3dba53e4f8e4ee4c851ab350a38d7f0f4c102a62d6ea4b7 anc/code/1.1.10/certify_9111_principals_fast.py\nc1d83d561505b9db3ee761bf00f7229894dbcd28d4aa88f0f2ac2f21172c6053 anc/code/1.1.10/expected/1.1.10_full_replay.txt\n9345c922b58023b78a7b8e71d2617fd572008a523ca08a655fef857133c4b6c7 anc/code/1.1.10/expected/1.1.10a.txt\ncc8fc49d0fa45228cd42cb3512293266c4fd53bdc1b670dfd94ab67971c0133f anc/code/1.1.10/expected/1.1.10a_9111_descent_verified.json\n3d4511ae883813ce2e857223e26289e09132439fde672b276a3d70202c8f4651 anc/code/1.1.10/expected/1.1.10b_verify_9111_code_bound.json\nb68326a5af95c7f3c8890fa2748350376e71db5015061fa44e54f0c618d55fcb anc/code/1.1.10/expected/1.1.10c_recorded.txt\neddc0d2147f5b13a305dbf0dcd6e226eebd33f75025c87c4253e4e01e2423e67 anc/code/1.1.10/expected/1.1.10c_slice.txt\na13191562399b8fe02abfe3f64708455049f0f6ba3e165d87832210a035c9b68 anc/code/1.1.10/expected/1.1.10d_recorded.txt\n63d9a7b5103d15496ccc548164cb313bf8563461953fa8455549e8609ae0d636 anc/code/1.1.10/expected/1.1.10d_slice.txt\n38641d984d3b141739801b743222d4f734d11505467b6f0596b381e9e814d1ef anc/code/1.1.10/expected/1.1.10e_recorded.txt\ne15d2d434d9628b327c8a2437f18dd83263ced49a71bb396565759adce9ec13a anc/code/1.1.10/expected/1.1.10e_slice.txt\n2850d254509219c99d02705a5d3e8fbcfb8639ddf414b31812337ec7b98009b2 anc/code/1.1.10/expected/1.1.10f_recorded.txt\n85b09db4401f3d926414188cf29f7d2c5060538907fdb6ab006739765ab8c64c anc/code/1.1.10/expected/1.1.10g.txt\na31837a82bb3c7d12187a5c52c64b173a07746f4534870910a2c64bbc68bb316 anc/code/1.1.10/expected/1.1.10g_9111_finite_sieve.json\n2d3888bd0005263e860ae119d923d4a29190480e7ce8e95bf5b5b45a679d44b6 anc/code/1.1.10/expected/1.1.10h.txt\na870532f30613ed6991423e5491367e9710dc94c902030826f921d2f237120c3 anc/code/1.1.10/expected/1.1.10h_9111_chabauty.json\n184310e6a3fad2d6f919381dba3f4a3d645aef273108972e332afc4dd57d3d7a anc/code/1.1.10/low_norm_census_9111.py\n09e4070b30d4599cde9e8873238071daf92e41384cdde7fd0e38be7a6a9c1af8 anc/code/1.1.10/requirements.txt\n24916c4029c9cfe01ac10ad7c4a5f2b65671617831db22574c181671bc10fb71 anc/code/1.1.10/verify_9111_code_bound.py\n4e587223ad75cc79ef15c23f73859682d83105caf21da152a807e2e0f03f31b9 anc/code/1.1.10/verify_9111_descent.py\na76c64c1536a22c83bd33ade03b804da02a82f942b7214e38ae73a81633da4f4 anc/code/1.1.10/verify_9111_strict_window.py\n00fa0d903622a4da502ea4d0dd930e48ac435f07c7900da4eea95e39a548417a anc/code/1.1.10/verify_all.py\nc06b008b508da83c068633bd14893ec2746a150bbbca242bb8634981bccabcd2 anc/code/1.1.11/1.1.11a_geometry_field.gp\n6ea9fb586f24fe8d64d8f68dd6f2c69c9ff8ad73df42e3a9b73345a32b2258de anc/code/1.1.11/1.1.11e_descent.gp\n6b201701220cccfe0e66c76f92927dd5410ceaa4603f41a2e9756eaf05c377ca anc/code/1.1.11/1.1.11f_logs.gp\n084a5d37ba1de0088db17c54baaba340e67bb65d2e7dcaa02c491beca6184f31 anc/code/1.1.11/README.md\n04dd1066b8e94421965123917bb348ef24e13be925ab1066ae7ee7a95c4440e5 anc/code/1.1.11/data/1.1.11f_h.gp\n3deb11eabd90c6f910c60ca0de5262342382610d015bf68f41e499089db4f420 anc/code/1.1.11/data/classgroup_params.json\nfd641e268c5d50b74457edec39b1ef821fd435905736a6de6ac43d0616274141 anc/code/1.1.11/expected/1.1.11a.txt\n5642553958307e3288f6d541e62e86b8a9d6ddf6c6befc84cfd736beec492f92 anc/code/1.1.11/expected/1.1.11b_slice.txt\n7c86e9f37fc6092acead2ce1557acacbf06f4fb1ea81c223c718316840b6e25d anc/code/1.1.11/expected/1.1.11c_slice.txt\n55ece27a80ebcdd171b8f3c71fc16b8640252e9db94a322b8878b76ce106ccff anc/code/1.1.11/expected/1.1.11d_recorded.txt\n2b3cd12806ec0ed8d765e51f37d3c1b0a02bc95292719347e88eddea5385d8b8 anc/code/1.1.11/expected/1.1.11e.txt\n73c4b88e190b810d4e4f0a49d86181db398bca20d8ef47a0acf3afcfc8e52af4 anc/code/1.1.11/expected/1.1.11f.txt\n5e152d6b5148af3a40a352a01d6540dba76b34b976cd3ac8055d44c8ee514b78 anc/code/1.1.12/1.1.12a_geometry_fields.gp\n0a9c8e8c0096eeee6792b39acf348c0e0081d7b5105af7dbe1be1afedb3cad23 anc/code/1.1.12/1.1.12b_orthogonal_group.py\nd8b1207041dc99737072f8290ca96672c6818bd26e2bde58e7899e64c3e09d58 anc/code/1.1.12/1.1.12f_descent.gp\n0ea74bb655a5d64d80aeef78c01658ef436473d645b59e67650be9c709101b34 anc/code/1.1.12/1.1.12g_points_F2.gp\nc911c93a12eb0a22cdb58d293a2c6af060387f56023dd772442b1b26e8174802 anc/code/1.1.12/README.md\nd8f6c356c8ca1b7d367c1455023f1b986a81780dfbb5b0d022b1930fff06a57c anc/code/1.1.12/data/classgroup_params_F10.json\naaac9c266fd243e4c69abb7b21e08b0c7c2666410c886a4c1aa1c470fcb8c545 anc/code/1.1.12/data/classgroup_params_F16.json\nbdc7cb333724e7af42d3339894459ae9f64bc3599ed702f1f22ab0416cf1f2c0 anc/code/1.1.12/expected/1.1.12a.txt\na1b39e7291d67abeb6b0ad98856dee9e8c75edd1164584119e7dcdf9f223cd13 anc/code/1.1.12/expected/1.1.12b.txt\n852500e54c4e9ad6c590b320a824ed7efa72f6c0b804f22170f3102e4544eb94 anc/code/1.1.12/expected/1.1.12c.txt\n256af8c1b2ed10477b102656b7c66baad1edcb48050e8c99da286ab50a58d412 anc/code/1.1.12/expected/1.1.12d.txt\n54916926196487e179478433968c89c67f384634923fe2de7345f0bf9a3b8882 anc/code/1.1.12/expected/1.1.12e.txt\n64d07c18d09e5e51081b39fe3df2ac9248f8f00dd68dd717a011c59fd7ffa63a anc/code/1.1.12/expected/1.1.12f.txt\n0e589c6999754dfcab7b537c912c56fdc01e246065dad8bca8691c65590e219c anc/code/1.1.12/expected/1.1.12g.txt\nca471cecc2b11e689f81bca356a965a5a1dc174f98ec99e7af7e0302545d7c2f anc/code/1.1.13/1.1.13a_geometry_fields.gp\nd62c7370ff8a3c3865d32c82979e215d0fddc9cfc9ff6e496152dc5c28092467 anc/code/1.1.13/1.1.13b_orthogonal_group.py\n7eefb9c501624e72a7bdb075ec367736e0912631f258a97a8febe77a9b61ae45 anc/code/1.1.13/1.1.13d_descent.gp\n60d1633fec5fcf7267bb3674bb4702dc46e6de44b5b57d8eabbc673dac6c06df anc/code/1.1.13/1.1.13e_principal_divisors.gp\ne72ece34a8aaf697246b42b3f6dd1268178884297ad6ac47ba76b197962b13d1 anc/code/1.1.13/1.1.13ef_lib.gp\n989f02b516f3f92e1accf0ba90136ba2793f321b8c18e7d947910966bdd70cac anc/code/1.1.13/1.1.13f_logs.gp\ned9fd43298402b26a916d81c1481c65002cb5011bdde675cd6e8c716df85f56a anc/code/1.1.13/README.md\n966124ab0d2922bd29911d57ec5ab737c14c705821dfaf5abce39234d316b0ce anc/code/1.1.13/data/classgroup_params_K10.json\na83e20564cb2e5a00e7e0e16d10f61584aed8b4df390dc9da9614c1fff42076d anc/code/1.1.13/data/classgroup_params_K16.json\n5e72d4995d916636a7fb7db1ec914e4659c20fd598c9864f352908d0fbe66aa2 anc/code/1.1.13/expected/1.1.13a.txt\n3e3b507c60bdaf1a304a24f716a5102bd731984573772d55a32a8dbd928d8b7a anc/code/1.1.13/expected/1.1.13b.txt\n3a63810272949e7aab78d7af6dbb2a1cacc0c3c673d2b6f6d04362cf0e9ff741 anc/code/1.1.13/expected/1.1.13c.txt\n7385bf7939639c3af4d170a70d5b44fda679b2418a70cc65a498308294fc651a anc/code/1.1.13/expected/1.1.13d.txt\n0a233d9d465dc5ee9f54cca648c311145b416ed9ee8d30180fe506f9f8d55bbb anc/code/1.1.13/expected/1.1.13e.txt\nbda25a7a3f370b56ddd83c78bedbd9e468cbbe29031c9140d69e075ba28e943e anc/code/1.1.13/expected/1.1.13f.txt\nee15c8d60951082887e0689e15cbe1a8ac10e880fa8ba9b750661a8ff9d8203c anc/code/1.1.14/1.1.14a_extra.gp\nbb3fc4436a819034db294a0379ffd7c4ac10f8eef4974f8c699fb839527f2574 anc/code/1.1.14/1.1.14a_symbolic.py\nc002bcc71f60433b37d266491808e4e72910cb29151dd7f7b475adbb9c955943 anc/code/1.1.14/1.1.14b_check_smooth.py\nfc15adff763217bda0ab1cfa6f60e54d428e1f845afb3cf7fdb1b806250d12ca anc/code/1.1.14/1.1.14b_prym_lpoly.m\n4f41c637f977e15ebaa1ed0d6b65d0ba4fe6a70b998f96af2a99d14f29a77dc3 anc/code/1.1.14/1.1.14c_certificate.m\n29fb397dfebb9c5038c9fa94f653432a7adfb99ac120297c54813031c7da58bb anc/code/1.1.14/1.1.14c_check_f7.py\n5a01e21c13a5ce01c2884f844b2abaab393afbf66822095f3e2295b28d4ba202 anc/code/1.1.14/1.1.14c_check_jac7.py\na40e29ca7f5dcad18bc6b0ae6d4c8d271fda1b29e0e01849ed1a9087555f70f3 anc/code/1.1.14/1.1.14c_check_twist.py\nf1789b1052f13f31359946490d34d04ab088e1f5e323196eac318f049da20ad2 anc/code/1.1.14/1.1.14e_beta.gp\ne171d4289d8ba119fdf19a1a9bcc21eb33eaadad52ddc20bccce37c7896b4cd8 anc/code/1.1.14/1.1.14f_series.py\ndf415bbe252a2b54847a1782c5fbf130bde1a37cacf98282a3042f357ff42b89 anc/code/1.1.14/README.md\nd8ba927d7bd43546eadc4344e156cee2b84f76455fd8c5270955ce0f5c80d5de anc/code/1.1.14/expected/1.1.14a_extra.txt\nd535337d91b4ecd2954d7551a2473068d223d5643b68be38ed1b0d9719ed5028 anc/code/1.1.14/expected/1.1.14a_symbolic.txt\nae89fbe20f4312fe68e1582d1ef0f1f2e5035e0c6c503fc56b77f442abb0dcac anc/code/1.1.14/expected/1.1.14b_check_smooth.txt\n5d9eba0b6546fbe6ddfdf1064ba10329328768b645f8c57bc3fbae9a4fa51855 anc/code/1.1.14/expected/1.1.14b_prym_lpoly.txt\n03b5a4477564b8ddd39c588cd8b38ef5500ea79cf0544501d918b843a918447a anc/code/1.1.14/expected/1.1.14c_certificate.txt\n1d5caa1ff7862f1258248d8e509444918c33bb5fe55159474bfb44f9740f87cb anc/code/1.1.14/expected/1.1.14c_check_f7.txt\ne063db31a11d63987cf993e43a06efeed8ef604e50779fe8e1731266d41e6c7a anc/code/1.1.14/expected/1.1.14c_check_jac7.txt\nb235cd42ba6a401ea120fb1141599463507988a57c078383a1c1f91cab1796e7 anc/code/1.1.14/expected/1.1.14c_check_twist.txt\nfb5d79202d8e0674b65e60aa50642c19861e38bf07b6639796f2529b7111456e anc/code/1.1.14/expected/1.1.14e_beta.txt\n83ba77c674e02cebd54707d4faaee1a1179babcf56a2338d0116a57bba1ad982 anc/code/1.1.14/expected/1.1.14f_series.txt\nbb60bcb288d1b85d6c29249e01d719917af694faacb0c30d1ebd26ce94305c31 anc/code/1.1.15/README.md\n66a7dfe59140b3f0cd35d426ca604f0f8a2d57a8a0f84971c043990a46348621 anc/code/1.1.15/expected/q9_exact_mod2.json\nf038afb03e94b492be690d7d03461cfcde4ce3c824b2f8ea3dd698007cd482b8 anc/code/1.1.15/expected/q9_qc2.txt\n67c8e936d53e778e6d5117d174f4754a9d073795d686fc01945b394c901cc8ad anc/code/1.1.15/expected/q9_rank_geometry.txt\nfdd925340c33fb93f9364c185118a769189b21be4cf08793b48b167bad7c85d0 anc/code/1.1.15/expected/q9_symbolic.json\ncecaae124430d58903dbacb8a9ca4cff96480b7d2b02c70eb964afb8672e20af anc/code/1.1.15/q9_exact_mod2.py\ndd511f76207a409bbf8af4c7e9daef2a1b0e385736faf071791daceef90e7b24 anc/code/1.1.15/q9_qc2.m\n360296e3d92ab2d28d0977762a4bfa306804f9c073ef0423abeeb03b58282c72 anc/code/1.1.15/q9_rank_geometry.m\n24ca3164defcce33ba57eacd7338bc1a3e7fa461bf34193e34b2e4818bb5800a anc/code/1.1.15/q9_symbolic.py\n2e338ced490137167e114b4523be43b1024f58185b7db75ee9c3617414814bf9 anc/code/1.1.2/1.1.2a_bitangent.gp\nc63b858cafc6daad7e90ab1e982aeeff0ec7449a8581e501a1c44b2f00a90c5d anc/code/1.1.2/1.1.2a_descent.gp\ncf47faa7ad7044b7e078d5fd49ebffbe75908fa4e046094ae67d58bc6c32ad23 anc/code/1.1.2/1.1.2a_field.gp\n03bda336b5d792a8e72cbeb7772667aff6b6cd3122cc561d40450d518e15cd10 anc/code/1.1.2/1.1.2a_nodes.gp\nf30d6ab2f201e63309ec001288cd607d4813e45290a3a96f5561173bf82003ca anc/code/1.1.2/1.1.2bcd_classgroup.sh\nd092847c60acb12df7ee17269073677d32dbbe1345aa6e6222c7cdf5ea285f76 anc/code/1.1.2/1.1.2e_disks.gp\n0dce2e46e384bb8d327d1de671c6193c395da982b8fa9810081a5d52a1db8942 anc/code/1.1.2/1.1.2e_logs.gp\nc2eb9296ed3fc05272db972990596ad2edf4affc1596592e666486173973cc83 anc/code/1.1.2/README.md\nee6cb3c23f42d5f35daa015c95e1458202845d8e6f756d0dfacc5b061950569f anc/code/1.1.2/data/classgroup_params.json\n6b126bdc850ab27e6d48491bfdb7f5c6143fbf413161ce77df3566285ba51af7 anc/code/1.1.2/descent_common.gp\n6d6ce2686ca8fa70296ccccbe75047304d04897acf189b04c1698990e5215c12 anc/code/1.1.2/expected/1.1.2a.txt\n7f742f96aef58db922225778a7264f8c077d9c040697e2e91f7e94d4fe225d34 anc/code/1.1.2/expected/1.1.2b.txt\nbc896ef1a693a2460ec5b7a10411ca52ef0644d87782b9f753bc0eb27964a8b8 anc/code/1.1.2/expected/1.1.2c.txt\n6a1c631816c3a32ff95487be2d9f7cca3ef31926660e8f075d34729f72df720a anc/code/1.1.2/expected/1.1.2d.txt\n1393ae1a1f33fde210b02a9515dd1319a53405609326ff1c7389499eaece4260 anc/code/1.1.2/expected/1.1.2e.txt\n21de2865b07f7c4dde32fdf872d3632351b2d7cd3ce2c5c53e80cd7c6f7f484f anc/code/1.1.3/1.1.3a_field.gp\n96996a757ff6840b8d41507114fcd6fde4daed8b75a6651cc58873ff1cb28ccb anc/code/1.1.3/1.1.3a_geometry.gp\nc459e5d1ed7c2789d05ebb6faa0917fc90703ab1dde6d63a54f7bc632d57a810 anc/code/1.1.3/1.1.3bc_classgroup.sh\nba353fcc308865c7f3f18a6909e2064ad29629ca16ca6a6f4ab31030a3091e75 anc/code/1.1.3/1.1.3d_descent.gp\n589a6565e63b80fb033b2900cf005f1374c8db94cc0b08c6036b4a498f2ea17a anc/code/1.1.3/1.1.3e_chabauty.gp\n51a2f8cb0847025a0b001c6f2e6db77116620ca25d0c9a10f8f41033bc7109b7 anc/code/1.1.3/README.md\n1c69e29577873122b3207f303c3bd7ec569f6ac5dcebbbbccd58a28aae010761 anc/code/1.1.3/data/classgroup_params.json\n6b126bdc850ab27e6d48491bfdb7f5c6143fbf413161ce77df3566285ba51af7 anc/code/1.1.3/descent_common.gp\n1355b375c387e94a46d4410f81fddff8b08a691d85dfe39f3ad9969dee8a83a0 anc/code/1.1.3/expected/1.1.3a.txt\n7f98ae2ae6ef619e008b2f6e4a570dd784c2bbfc8c1a39a997adf88f378f92d4 anc/code/1.1.3/expected/1.1.3b.txt\n0bdd3b4aadba280abbfb7418fe002296fec95035114632c1287bfdff70d7e40b anc/code/1.1.3/expected/1.1.3c.txt\n0a906a5e0995784b03cbbbeaf764dbc431d00f52a1edbddb974519446f5863bb anc/code/1.1.3/expected/1.1.3d.txt\n120b35c618f8f4f2e8236703448a782e532ec3ff2cae03000c8bcce08080d9ce anc/code/1.1.3/expected/1.1.3e.txt\n7fc4d0b68a558a76f5b649b6141fe07d2519ea2faf46b05a34ad681a1430753c anc/code/1.1.4/1.1.4a_basic.gp\n94114b331812620c901ea08605f469ac4bc81b8a5098ebc8afb66466c00e210c anc/code/1.1.4/1.1.4a_bitangent.gp\n452ffe2e7d91fc5047ad7f252fb643add6d0a47b5e7e74e72a069096955d68e2 anc/code/1.1.4/1.1.4a_field.gp\nd960828d79ae2d26377ae6c4621c11051bdf5da58f0dae8781a964153b53b84d anc/code/1.1.4/1.1.4a_nodes.gp\n355e85e53c0b057eb82cee8367f27344efdda39ac5fdbd2f40984c37aae6e2e0 anc/code/1.1.4/1.1.4bcd_classgroup.sh\n3ea8bcab7a37787e713886869a51369a7d7b979859daa58ff0cf7ef13a8921a2 anc/code/1.1.4/1.1.4e_dyadic_points.gp\n3bb715195faf1d79916172e764b8622361de847c0e4052b7efbf62c791eaf2b9 anc/code/1.1.4/1.1.4e_selmer.gp\n09668c6af25a75695d54ea7feb0d616be465773f50d04f446e45c6482301aa06 anc/code/1.1.4/1.1.4f_divisors.gp\n646629c217e09c811f9804e57789f1827748f96e45dcc25e387ee4c05de8e0c0 anc/code/1.1.4/1.1.4f_residual.gp\n8c6ae0aaa07685b60f5b5c27e2688b954a015b4c14aa1f7ecf17513b2f2c037b anc/code/1.1.4/1.1.4fg_logs_even.gp\n582b5f06350cc3bde89a7f86459c6db14f8976491bfd1b798c9eace15c134270 anc/code/1.1.4/1.1.4g_odd.gp\n2440612b73e5bac0a528b3489335b985a30c1c63d74737f4409eff49fd0fc007 anc/code/1.1.4/README.md\n26f175e7135df7c6f176de4474d60ce51c774a24751d0da3805b0a80db8e8ee7 anc/code/1.1.4/data/4230_S_unit_representatives.gp\n9b451e29201b965c576b86925142c4b1e3d9de9058eab8ac7bed5df552919f11 anc/code/1.1.4/data/classgroup_params.json\nb68c61fb7e519950301d56c246aafc33b67844ccda6bca74b3320f71fc2de4ab anc/code/1.1.4/eta.gp\n1071053f86a93c3d603286342d5197997149da1691bf5c9ed3fd6a5d54a8b826 anc/code/1.1.4/expected/1.1.4a.txt\n390a6692c9ddaec6c1ebae95647b327d925c06a01fba4033a850dc2e28d4f89c anc/code/1.1.4/expected/1.1.4b.txt\n3fee52a2ab35a2a0fceee4a19802fd01f6744d704cecfa0b41c7f10bdeac62e3 anc/code/1.1.4/expected/1.1.4c.txt\n8c8b6a962076f9e9f6d824c668bab6b36e8b344f1ef1d4bfcdc11a55e69a0d51 anc/code/1.1.4/expected/1.1.4d.txt\n41cbc740f2e6c28c60f3291b16c73978301f3f94133111e8514ca9eefe5e65c3 anc/code/1.1.4/expected/1.1.4e.txt\nde2415bd7798070e4a27464c924af42fbed046fc3ecdd7045680e654935a6392 anc/code/1.1.4/expected/1.1.4f.txt\n3679cd0ac2f317d9ab4b5888ffcbfe9c34e4148abb101a42ba8d00e246d58e22 anc/code/1.1.4/expected/1.1.4g.txt\n0cb8cd2981e972e0e38f058c3c1e065ce9f2b881b1e0e9793046268b66e8b4c0 anc/code/1.1.4/polys.gp\n5adf69268504bc7a8eec672d2f9f89ad74c08ac11dff35b32dfe8d047c031daf anc/code/1.1.4/selmer_lib.gp\n7fc4d0b68a558a76f5b649b6141fe07d2519ea2faf46b05a34ad681a1430753c anc/code/1.1.5/1.1.5a_basic.gp\n94114b331812620c901ea08605f469ac4bc81b8a5098ebc8afb66466c00e210c anc/code/1.1.5/1.1.5a_bitangent.gp\n9f27a96fc5d1e5683a61ae452cfc8eec06009acf387847aea6b5c92de6201092 anc/code/1.1.5/1.1.5a_code_weights.py\n452ffe2e7d91fc5047ad7f252fb643add6d0a47b5e7e74e72a069096955d68e2 anc/code/1.1.5/1.1.5a_field.gp\nd960828d79ae2d26377ae6c4621c11051bdf5da58f0dae8781a964153b53b84d anc/code/1.1.5/1.1.5a_nodes.gp\n81c791d53fdb7ba3ef5171a5f6387e8bcb62e538f650e69a5dd3aa595a1bdce7 anc/code/1.1.5/1.1.5a_quadpts.py\n0569658250785b33b4ec0280352b161d8fe5b239ad679c2d064a266159f93911 anc/code/1.1.5/1.1.5a_selmer.gp\n369fba239448a4f9783fbc110705f7085b221eef3fcfc1c0fe1a0b6e52583140 anc/code/1.1.5/1.1.5bcd_classgroup.sh\n238f270d1433ad1ad69bb20d27512ca2c36975198484465261295be76b544500 anc/code/1.1.5/1.1.5e_hP_check.gp\n254b56efac4765e4c32fc3678faeb0dd055c866739094e67eaa601dd49732204 anc/code/1.1.5/1.1.5ef_logs.gp\n8b52a8899c465d8586b3ed0250730fa42a705dd0d8c9dab15ec77a1f97eb8f47 anc/code/1.1.5/README.md\n5bc81b02c6c53a1713e75bd392274ef1e703bf05da659f8487fc922e1ff1406d anc/code/1.1.5/data/4227_S_unit_representatives.gp\n37859ad2cb61238cadbbf058de3c38bdc2b6d9ef97fe02a22064e195fba42dd5 anc/code/1.1.5/data/classgroup_params.json\nb68c61fb7e519950301d56c246aafc33b67844ccda6bca74b3320f71fc2de4ab anc/code/1.1.5/eta.gp\ndbeaf9f8e1ae6fc6ea4000357bcf66ec6942c2bd2e332a23bebdd8c5e81abc79 anc/code/1.1.5/expected/1.1.5a.txt\n7b1a76b8df0a66d530a4344db7562d93316f85412cce66c8260980b8f9fa1570 anc/code/1.1.5/expected/1.1.5b.txt\nd33691265caf4e93457b1aabd159c709c89d5e8344f02dee9bf87ce3529d7fb4 anc/code/1.1.5/expected/1.1.5c.txt\n6d10fbd99b04a971954d1d32936d5fbbab96adb3d1b9157fb3a304d03f098834 anc/code/1.1.5/expected/1.1.5d.txt\n12b0ffb050a6cf1496130594d122c4e560d26dc4aca26611ad0e89528775681c anc/code/1.1.5/expected/1.1.5e.txt\n354e46d49554f3c5f06e5c05f7fa66840fbd854c6f5b4867193cc18ee5b6f88b anc/code/1.1.5/expected/1.1.5f.txt\n0cb8cd2981e972e0e38f058c3c1e065ce9f2b881b1e0e9793046268b66e8b4c0 anc/code/1.1.5/polys.gp\n5adf69268504bc7a8eec672d2f9f89ad74c08ac11dff35b32dfe8d047c031daf anc/code/1.1.5/selmer_lib.gp\n06f1d2e27f78b2905ad94fc93dd4a509dc51a24b84e08eb69eea28a449ad7fcd anc/code/1.1.6/1.1.6a_bitangent.gp\n90c31d141882a011d96c4e3eb6975a870f00347d9eb8c11a32749fb9a8b2106e anc/code/1.1.6/1.1.6a_field.gp\n097d520d00856d55d64c48497ceb0b2f33a20d21a49e8664f031e7b9e55f45db anc/code/1.1.6/1.1.6a_selmer.py\nc928f233d7f16c77affaeb93e6820130ac536606a4e31ab20d27e8583003028e anc/code/1.1.6/1.1.6a_transport.gp\nf07be7cc07cfd946d62134bc241ab49d6141f1f5bfd666d8bbbeb108a2267186 anc/code/1.1.6/1.1.6bc_classgroup.sh\n8301fe95770f39a0b4ad16d4b34fa4f1f138813d7f89df6cfd03e6538c3d8330 anc/code/1.1.6/1.1.6c_B0.gp\n4afc40ecd59c1a00f17b532e9ec53c40a1ba1dcec7c0f729167eb051db38647f anc/code/1.1.6/1.1.6d_logs.gp\n5a5dda4f6cbc65df53d7348d19fed3641ee90928e04c7966220ab4217068ea37 anc/code/1.1.6/1.1.6df_counts.gp\n0d932b0513cb1ddd32025b5469d93317591e7d01728374f2efc3fddb0a0a84b8 anc/code/1.1.6/1.1.6e_zero_tree.gp\n349a1bb0bc5ed0e905373b38dca41061c68b25a24e8c693803ac97fce691a29e anc/code/1.1.6/1.1.6f_sieve23.py\n8722e0ca621c176258de8d0cbae1cd92d9529f95f2776b203af842313ffba76a anc/code/1.1.6/README.md\na5163e56626650e0195aacd5fffb6673b3c9a58548a1892882b93bb3e8b489f4 anc/code/1.1.6/chab2.gp\nad30e39fd94493af17cca263f3ec6bdc10d53d99da9818a2753cd6eb123fd986 anc/code/1.1.6/count.gp\n9218ec502a5a379defc08071f1eab17c2e7bdb26ff3bf7c14df1948ab392492d anc/code/1.1.6/data/001457_descent_exact_input.json\n3c045f2d43cf876268b54d4c3b7317231db53dcdd4d6778428490af2cd4a2d5f anc/code/1.1.6/data/classgroup_params.json\n9a17e372397e0f4eee4b2fc0225474dec793793574de335970f280756f9820d6 anc/code/1.1.6/expected/1.1.6a.txt\n1cf0e5f908e78885cda1b39cb93de42cf025a0caa17004fc4733bdc35500d2f6 anc/code/1.1.6/expected/1.1.6b.txt\n68baf317de7cdb966f27a1f7ba062d011f2c1a959e1a71a597bda7924f0142d3 anc/code/1.1.6/expected/1.1.6c.txt\nbdbb9ccc98bd413f4728fb6877e57f0553a3bdb2aa41c67581e49f3c2b205ffe anc/code/1.1.6/expected/1.1.6d.txt\n0291061f67930b83c6585d30e8597b5ff6becd0c0c434d1845c28561c482e9a0 anc/code/1.1.6/expected/1.1.6e.txt\nba6a557717e3503274b5a78e226c323550f0a49e9bdede64b15e2b511cdee60f anc/code/1.1.6/expected/1.1.6f.txt\neaf854accc12481cdf83509037f4993986c569ee3d5306134487a5de5303661a anc/code/1.1.6/tinylog.gp\nf3540144d6c50063833e0f01d024e401472e0a37e42927acb99876c3814a83db anc/code/1.1.6/tinylog_run.gp\n06f1d2e27f78b2905ad94fc93dd4a509dc51a24b84e08eb69eea28a449ad7fcd anc/code/1.1.7/1.1.7a_bitangent.gp\n90c31d141882a011d96c4e3eb6975a870f00347d9eb8c11a32749fb9a8b2106e anc/code/1.1.7/1.1.7a_field.gp\nd475f1344d0feed629d5997daf2d671d13ee760f9c3560b954ff5bdc22de5f3a anc/code/1.1.7/1.1.7a_normdim.py\n097d520d00856d55d64c48497ceb0b2f33a20d21a49e8664f031e7b9e55f45db anc/code/1.1.7/1.1.7a_selmer.py\nc928f233d7f16c77affaeb93e6820130ac536606a4e31ab20d27e8583003028e anc/code/1.1.7/1.1.7a_transport.gp\n8e445aa6cf2d063d58ff7efcd6dbe66b82eb998675c6685b305067e35b3a2515 anc/code/1.1.7/1.1.7bc_classgroup.sh\ncf4d2a26afbe9ebd28658e84b59b53eb72b10b5e13a3c6b6e1d70b64729b6e52 anc/code/1.1.7/1.1.7c_B0.gp\n2b6a129fe3d65eba53a5da91d4139215976799fcd1a9bf3c7c4b7422274347d5 anc/code/1.1.7/1.1.7d_o6minus.py\n3ba78b746a78c706dd20aa7b08c6c899138543f0bffdccd614fc0c3d5316d739 anc/code/1.1.7/1.1.7e_logs2.gp\n9f5fc60ed7162d4831c03a9a29fb218a029693b9b1bd08ff0a006302a8d4242c anc/code/1.1.7/1.1.7eh_count.c\nee9b892efb7fe63df1d9449bcfdd8bf790acacee0b3b5af0def0fa275611103b anc/code/1.1.7/1.1.7eh_lpoly.gp\nb07678ba889c6ba9baee06fe550a648c9e8ccc1b2dbc64f883bfe8201102cb24 anc/code/1.1.7/1.1.7f_zero_tree2.gp\nabbcebfcc8a9c14c315cb8b5638c5af8ff8aaf31f3c56e5322deca776eb2cc2e anc/code/1.1.7/1.1.7g_logs3.gp\na8721cf948ef3ea4729d7d41ab1a7bb81977db3b002a9208537db3d067214ea0 anc/code/1.1.7/1.1.7g_zero_tree3.gp\n17084e86ea6edcd476899b999b2c33c2f4826ba88ff6d09a25c5c18bca637403 anc/code/1.1.7/1.1.7h_sieve.py\nfdd7025a62ab9838deea491ad597f6839f9abb6ae52a11e331e462bf90d099c2 anc/code/1.1.7/README.md\n1f0bf80aafe8e66cc8b5fdc987f551120930584a9aae27cf92e36857a3340384 anc/code/1.1.7/balls.gp\n0e9e0ee03588790b4ca1a58f59e79cf5738dd45616b38470b15db9dce1456e63 anc/code/1.1.7/data/001448_descent_exact_input.json\nf57b307f90976de023da9773dfeee12edb08b5c4f212d3c2361ab7b67e819788 anc/code/1.1.7/data/classgroup_params.json\n60f033be4cc0a08075d1114e47f5624172eca200976c7d2a9db928152c1c3c2f anc/code/1.1.7/expected/1.1.7a.txt\ncf2afed56998739dbbd0365beb3e28b4faf8de99a71eeddbcd0b06ee2102900e anc/code/1.1.7/expected/1.1.7b.txt\n5d7e15afd0aaf1a48c643f4cbddb21b5709f4e2c2132388f581d0533d3378c35 anc/code/1.1.7/expected/1.1.7c.txt\n3d564110e5b532063aa396b2667120e2446791bf200bc19da593b7cf06687325 anc/code/1.1.7/expected/1.1.7d.txt\nab2a46049de74219e313161872c3513e50912cd550702121996f0aeea353f860 anc/code/1.1.7/expected/1.1.7e.txt\n140c28967bcb4fc03b5f0e00650ff617a00e6affcbc7855eb9387f8b7c60662c anc/code/1.1.7/expected/1.1.7eh_counts.txt\n0f01b81e4bb5184e096d512d245123d962783774ea1a52c7b8ee057d76a87c4c anc/code/1.1.7/expected/1.1.7f.txt\nb542c3ea9363a76a3936ae11098f88db5b0eaa641520438b1a38102dcc91c787 anc/code/1.1.7/expected/1.1.7g.txt\n146943796b6539bdda86045ed173c99faab5878585c1646b9871b6f09857d362 anc/code/1.1.7/expected/1.1.7h.txt\n8cb74c469816de8c2854fb2cba5cdb2f7642d98298ee96186997b1d758e6d059 anc/code/1.1.7/logs.gp\n9c9e0d8f7b1af1a6984b5f76db06d7e3773907e669c002ed9718fef8b21e8ef9 anc/code/1.1.8/1.1.8a_geometry_field.gp\n1620397c0b5b91f9c52fb835d3e1564b037b102687950f867da32a08f5de84e4 anc/code/1.1.8/1.1.8e_descent.gp\n5c4cfc7b333cfd8e9d02dca5ff11434df5a859ca6fbbaec8fa751bed3af105d0 anc/code/1.1.8/1.1.8f_logs.gp\n2e53aa223446d51847a70dd2d9a0283a3ae0cd517f6a2779a9383a34f3949de4 anc/code/1.1.8/1.1.8g_charts.gp\nf9c3b33f2ca69bb7b63d17ec8550795b26df3537c950e16d827ab56650c523bd anc/code/1.1.8/README.md\nc0bb962dbdbd09e02eef8429633ac8ac64148d3e5103908a3696ca4757dee3fb anc/code/1.1.8/data/1.1.8e_selmer_elements.gp\nfc6cde3a7caae10c89506fa71a8e69c5573066faee3d1379389f9b8e4e0c025c anc/code/1.1.8/data/classgroup_params.json\nf711e86c626a3739b71b4787677a4dcf0081b767eef9f13b63538e0f92de3e56 anc/code/1.1.8/expected/1.1.8a.txt\n98483c1d052e3734a61e77984e5038e3b52014ae5462e1eee1fb3a4ef3dc50e1 anc/code/1.1.8/expected/1.1.8b.txt\n89038265436376c12e300babb324525b6a2ae5204a68b53e538bee8b6c88cf75 anc/code/1.1.8/expected/1.1.8c.txt\n43284d88bd28bba406370d325f814659b48d35f277ea6ade2a31d00215f19313 anc/code/1.1.8/expected/1.1.8d.txt\n53c2be620859bb9ef032f7dec698cdf9c738c43aa02afa435ba39de3aef1832e anc/code/1.1.8/expected/1.1.8e.txt\nf258f2c476f479c596bced023cbfb2f65724fa050f351c404670585211d4b18d anc/code/1.1.8/expected/1.1.8f.txt\n7e6df416861457fae2cdecd2e0c0e9230cb4c5ab7af6a78a6032ed53cd15e0e9 anc/code/1.1.8/expected/1.1.8g.txt\n85cd974f01094b5251114f8c1d3771c7526879663d06476bf4efcdb6ac52a64f anc/code/1.1.9/1.1.9a_geometry_field.gp\n2511b4ebb4dab2e40095e1e93791f9a36a0788a7170f03b7aa7a7fd90c69c158 anc/code/1.1.9/1.1.9e_global_rank.py\n1976d48da6283305540abf10cf201ebbbb90e9e8f7bff713ee5497ccab431438 anc/code/1.1.9/1.1.9f_logs.gp\n718b3453ee7d647d62472661e2c4f023c3ce64cc71efbd86f897daa8937e105c anc/code/1.1.9/1.1.9g_chart.gp\n90248b17327655596d3b49ee56a594db0828402c94405078beca0b66f1cb0519 anc/code/1.1.9/1.1.9h_counts.gp\ne1fdef53c2f9b060c626ea4f78c6d009ae3328e64f4e949a347b7aa1e3ccc3ef anc/code/1.1.9/1.1.9h_sieve23.py\n4ae8b4f7a0c8cf0a2407c11c52dd3ab1eb31e9da5dc7f322e48673c70ab7b0f4 anc/code/1.1.9/README.md\n6e682d6462bf1872781e50a91c9109de9b5ab00ca8b2b8e008f8c570989de446 anc/code/1.1.9/data/1.1.9e_field_input.json\n611f3f81d54c31d37ce044d22876b4341eb052e4ad3ff44acb0a3c34c38c6366 anc/code/1.1.9/data/1.1.9e_rank_input.json\n0760588597d8da80bd960b9e5734e1c28ed1a19c606aa7d27327fc4ce18fd37f anc/code/1.1.9/data/classgroup_params.json\n92ce0b11c56d9387290d950d5129cfbb03b36e8ec1b957e592f88dda9487b32d anc/code/1.1.9/expected/1.1.9a.txt\n50994571d2503be7c96ae0baefde73c94cb1999e4e5745ff9230a91b66aa0bdc anc/code/1.1.9/expected/1.1.9b_slice.txt\n59df127de4819bd589eb8183d0d050ea48c096ca8314dedd88899ec8655890b2 anc/code/1.1.9/expected/1.1.9c_slice.txt\na20730f141f976c76c0fb00cdc7884d274f417f93ddb1cc43564819aaf93eb5c anc/code/1.1.9/expected/1.1.9d_recorded.txt\n50eec0d333be0933f79a74dacc2feb3b6339c29d1c9978401bbdc982cdf789c4 anc/code/1.1.9/expected/1.1.9e.txt\n278137ed6d201b411a763c1abcd36e83d382e034a707676f330821cf8a724d3c anc/code/1.1.9/expected/1.1.9f.txt\nd6808dcec835a6e1bd53f4e7b40b8bb613130b7a631072db8a6cec929f696206 anc/code/1.1.9/expected/1.1.9g.txt\nb20409f07f1ee1aab9a26007aea99eeab506674313961e465c99bf26536e79e7 anc/code/1.1.9/expected/1.1.9h_counts.txt\nb124b61a9155f7931cafbb3a4d5bd666a533c6b659a9d7023449b52c66ba64c8 anc/code/1.1.9/expected/1.1.9h_sieve23.txt\n5340c3f679a72d516e62a2a23aa7ffb43a255d835e6048074c548946cd5e6681 anc/code/1.2.1/1.2.1a_cubic_field_K.gp\ncd2e43e8876a99d1b1891e6b4dfc453e22d5109fc0b9c3998b409fec63fce198 anc/code/1.2.1/1.2.1b_chabauty577.gp\n61a8d6711bcc5243c99d0d3d1a77fb601a1c824bf0d6185a48c57dceb2bbe957 anc/code/1.2.1/1.2.1b_sieve577.py\nf4747314d5b09473554f96f441399e8703a2fcccb33d181a1ade588ee9778899 anc/code/1.2.1/1.2.1b_smooth577.py\n23611b473f2c6ed25dbace25c86ffa07c100810aac66e4151706ff483a1212e9 anc/code/1.2.1/1.2.1c_mod8_forms.gp\nb34b2a7d4c45276f95b716ceb6e96571e0b439cfe0a096418a9c0cedf441031d anc/code/1.2.1/1.2.1c_odd_algebra.gp\n1b1f0fa72036dc0e48fdadc9d0ff9e96fa111a2ec8ba965101b297c3250096e2 anc/code/1.2.1/1.2.1c_odd_norms.gp\n9ccb9b97e7c8018008de427fb55b2588177b2dc2c6ee99957f6677aa9757c87d anc/code/1.2.1/1.2.1d_sextic_L.gp\nfca98f247b0ed812601a441ca1c029ad4bae8e6162a90a591bc0a59ffee46cf9 anc/code/1.2.1/1.2.1d_units_L.gp\ne4f8f0a0e6ccad41995f4203a8f216106ffc53a3f086c7eba101067cc8f919bb anc/code/1.2.1/1.2.1e_field_M_identities.gp\n7d2f233b4fa2f2be68d8ee165f5dec1164b6d80cc8707ff8d7523f038f854140 anc/code/1.2.1/1.2.1e_points_M.gp\na54836e59bfb7d203c92b0cbebb31fa2ec94ad61146e64d467288478f2293480 anc/code/1.2.1/1.2.1f_classgroup_M.gp\n1800f78a81601caff400808fa825f8f1d50fdefa2bf4117f83b4c067b8ec68b7 anc/code/1.2.1/1.2.1g_independence.gp\n083d56be3b38a1679f0180dd155a22e95b6df25b4da81d0379616c5f4494c7e7 anc/code/1.2.1/1.2.1g_selmer_M.gp\n86e2d8bbfd372438a1fe78a2ce657ec2d85ced73bc312243596aaa8ee6f35bf5 anc/code/1.2.1/1.2.1h_sieve661.py\n1588f184867e8e26728ec3632a2278c77df489a1f4c992f08ab02379843980a1 anc/code/1.2.1/1.2.1h_sieve661_data.gp\n1e6820e829c114bce3c5739515e66843d40fae6e27da9991ac31d75c8f96631a anc/code/1.2.1/1.2.1h_sieve661_primary.py\n051ed518973c4c5056d1e9fa53e5d24ebf070afd23b45779a4c9677f64c5b592 anc/code/1.2.1/1.2.1i_chabauty661.py\na5c8d508450ee25d9bbef941ef2767481dc260e9d78b1506808ea3d3a2a22977 anc/code/1.2.1/1.2.1i_logs661.gp\n53b762fd61d99699b37d0102102c4ccc25a6569f89b11810260077832e200787 anc/code/1.2.1/M_def.gp\na3a90e1bdbcaeb305ca56f9741f9c97f9eab18dc402cbd8a918248b441634f42 anc/code/1.2.1/M_points.gp\nc6f92e9fa3e23189e0503f0a1b33ac7f6643ab4274a7f4204dc223e0113b2d19 anc/code/1.2.1/README.md\na6398df1f28e40a547509a3d1785271629ab8f9cdb06d98871d7808320315666 anc/code/1.2.1/expected/1.2.1a.txt\n41479a02b37dc48f891598fd29231fb3ed8c2a98d1b07bda44ca2cb60172bb9e anc/code/1.2.1/expected/1.2.1b.txt\nc6318ce3c5ccc7a907ec4b02bc1e1ff3162e2358b77e2875c20d8bd4847ab1d2 anc/code/1.2.1/expected/1.2.1c.txt\nee0d9e986ee62db4312d8038b74a115691624f7c344109a6282018befa282d30 anc/code/1.2.1/expected/1.2.1d.txt\n3590a35e5f815a53758bbd5da75edac86589d7fd3dc40ab646bb194da02d64b6 anc/code/1.2.1/expected/1.2.1e.txt\n5f2ec740bcdd6c20024cfc75100eba7daba12a5d100314cdc30501780d766934 anc/code/1.2.1/expected/1.2.1f.txt\nf063c81f18547a8258c39a1ad2d892cadfae2f9c6887d7e2181d882bcdfd1f7b anc/code/1.2.1/expected/1.2.1g.txt\ncda2d01af96752cc0c31b686ad8210d444ac1a233ec433cf37a0ae19f2233f44 anc/code/1.2.1/expected/1.2.1h.txt\ne427e045ed4bf85810a8eefcfdafc2aa453ab3bd5d61af575b423519b1da5c81 anc/code/1.2.1/expected/1.2.1i.txt\n39ca6124a0341b13e2f7c4f48f702f6577576f09d6165a8ea0e4ad0ce50dd4b6 anc/code/1.2.3/1.2.3a_E6_congruences.py\n0f365fa05f330442944ae110f95f0731b8515021bb1357756a387f4c93219890 anc/code/1.2.3/1.2.3a_descent_E6.gp\n2274ad3aa47c653830a1781fc70cbe35a9c5dab1693ea13d4f05ed351d074fad anc/code/1.2.3/1.2.3b_cubic_field_K.gp\nabc108bdc4e32f2104f02f158499dc2ccea3ebc27b36c798bbe2557414dbbd64 anc/code/1.2.3/1.2.3c_two_cover_2adic.py\na7e5822f1d8057a11f05750c6a015cfe37c32b1b5fd4849f5b242f203758e2d0 anc/code/1.2.3/1.2.3d_infinity.gp\na4a4991eae7ea850b43d60093d2680a9d2ae186c56e922cda0b9b20ca64473a5 anc/code/1.2.3/1.2.3d_map_identities.gp\nfd71ba4a74a3cf6559b022739e21cd6ca4fc8cf93aa8798d2a049a695daae449 anc/code/1.2.3/1.2.3e_kummer_points.gp\ne9741336e8c8f5a4abe0ca3370f3c02fc9e11714c1149e0695ae5f4d240612fe anc/code/1.2.3/1.2.3e_selmer.py\n84b24c3346d488c61d1eaff2a99fbf91b21d3b068be7767ab2fdeafc2f90bc67 anc/code/1.2.3/1.2.3f_sieve29.py\nbfb55b7d549703fbb49eb32ac10ab3ffb0039690e045bba331787e38a4ceff71 anc/code/1.2.3/1.2.3g_logs29.gp\n5be3c0664226730e1fd049ce733f5d5a0b12fa08fa1bedf8d7d9b8fb75e7afc8 anc/code/1.2.3/1.2.3g_table_check.gp\n03dc1cc7abf44074fd09906ccc78f9e59af42590ab9dadc562478e4b65bedb5e anc/code/1.2.3/README.md\ncbff37e8738755b2fc926e1eebd25f96f082f0c7ec0c5a67ed85e71f461dbc30 anc/code/1.2.3/expected/1.2.3a.txt\n7d5dd5e8f6f04f7ca47ca0545342f84a82e4d9645b7aacce3840c4d0061eed86 anc/code/1.2.3/expected/1.2.3b.txt\n45ce0e0ceffdda6d2a7efad30ed1b0005629ebfbca55961ffd5a49bfc7e428a0 anc/code/1.2.3/expected/1.2.3c.txt\ne6eaa37c6cb081ab36b71d4e6a0d69f3a78f9483c7110fb4bf8c0886b0099699 anc/code/1.2.3/expected/1.2.3d.txt\n3a941ec8127cc30f4242b1eb854c6d6f24cbb1e33af77def49c91e5900e79b1a anc/code/1.2.3/expected/1.2.3e.txt\n8eef4110079d0e98dd8c4f665908e7773c83f4adb54bff4f247697e1d648436d anc/code/1.2.3/expected/1.2.3f.txt\n48448925775c944fc455a4472b2baf653c662047ce58f96028dbf90723343e94 anc/code/1.2.3/expected/1.2.3g.txt\n50a445683c260b768dfb736cc6ee729df321de00aef07c67599df1b5c363703c anc/code/1.2.4/1.2.4a_congruences.py\n63f5b3928c7dc2af4e956a6f4d4d676790ee6c85fad77794682b7583b389458a anc/code/1.2.4/1.2.4a_descent_j0.gp\n0e796e0545892c185ddf75e4cba1d9eece9d9ec1e9010413e9704ff339a0883d anc/code/1.2.4/1.2.4b_quintic_field.gp\nf31df99135f2e3334dd78c03766e261bd2faaebc7c6fd25c8008e1356930d251 anc/code/1.2.4/1.2.4b_small_primes.gp\n89347ada6f67f9b932897a9742a9b31f31c1a6f514e5d8eac28d5567a3995223 anc/code/1.2.4/1.2.4c_mod8.py\na114fa8e9496cebf197ca5dd9193a80edf8585c196fd28c6b45a3eaceba17b04 anc/code/1.2.4/1.2.4d_covering_map.gp\ncf5f055a4ad42c3aea052a83a6faf8325a4648a5d76325f06d1fd80c05951c38 anc/code/1.2.4/1.2.4e_points.gp\nb968de5b2bd45d7be814c2fb8c82ab9e4b915b90a1e9637ba647da4457d5ebb0 anc/code/1.2.4/1.2.4e_rank_simon.gp\n23e0d2ce691fc452dfe55f7abca556fcfe06af5538b9f904a9e9b122b309210c anc/code/1.2.4/1.2.4f_sieve751.py\nfa6ec26de615785de9db5621cacd526a404f9b0408f1b4bfc22eb0e7121f1e7c anc/code/1.2.4/1.2.4g_logs751.gp\n6bf2ac6c7c00d4c7352c4f723cae37e0d64d69c1069d269f5515330922087324 anc/code/1.2.4/README.md\nd664956343b94d6d2fdb0111464ee84a5392df30283133fcd17f2e385648cbdb anc/code/1.2.4/expected/1.2.4a.txt\n7d8eab32cd82815cdc70639d0b49e2d53cce5fc384a61d268fe21c78b7782ae2 anc/code/1.2.4/expected/1.2.4b.txt\nded760c51855215c775b34a845be65ca80381deabc3ed5c26905b401b68cea34 anc/code/1.2.4/expected/1.2.4c.txt\n43b12244b7908b09305d0943086ed0a5bc87368328043d4b5b1d22ab81b4f253 anc/code/1.2.4/expected/1.2.4d.txt\nf317a4fc26a599430b2785f766f047f3c5b5927e6c4af59d77933de568b754e3 anc/code/1.2.4/expected/1.2.4e.txt\nc79211c521d1d8b543f6718c6b115cc1eca297615cffaaf911a2ecaeb6c23ed1 anc/code/1.2.4/expected/1.2.4f.txt\nea3987aaf1d5d91d81845f247954c05d19c26c8c03abc68fdc3fa1d5fc5f52ee anc/code/1.2.4/expected/1.2.4g.txt\n287f7b7a8ba788aab138187c397f565dd4d5422ffd28b19b5a9402f7e67251f1 anc/code/1.2.6/1.2.6a_identities.gp\n8a3a31bfd64d7370573e4ea92f76859ce05b7a83e6f92982fe0c5e1502e3d542 anc/code/1.2.6/1.2.6a_mod8.py\n4dc024b223dae36f80cddde29fe9a6c1da6663d054782996e64cdf839b1f26bd anc/code/1.2.6/1.2.6a_quintic_field.gp\nfad6109e1bc0542536ddd7d85e0ff7e0cd9a50dfccd1ef633119cc24ae136d9d anc/code/1.2.6/1.2.6b_congruences.py\n54ede765a6e33577bcc2a1f31a8970de84fa3910be4f756012748e41827bd58c anc/code/1.2.6/1.2.6c_local_test.py\n6a078750a5729a748d3e2ac2d09005f8ba779f630c08b85c6caaa5e52ceb615b anc/code/1.2.6/1.2.6d_kummer.gp\nbc7918a94c21e33d872a927330bd23ca44b52b09bfef79ac84bd899c61c01f23 anc/code/1.2.6/1.2.6d_rank_simon.gp\ne3f9b8a5824d7ce5d269dcc6e05214def92edbb5f3d1652ed590b647cfa3daed anc/code/1.2.6/1.2.6d_reductions.gp\naf3228e2ab19cbaccbd8eba6aeabb0cb296ca7f91fe9e163d5b00cbc1d3ce1c6 anc/code/1.2.6/1.2.6e_coset_sieves.py\n57a1501caa404518d6df6451eb57a2787ae513d8404b1d9c5883aa31cce3624e anc/code/1.2.6/1.2.6f_constants.py\n7b78b96c56663be8dea80b7060063d3cd8f29a3b43c336bc81f357ecf5c544d0 anc/code/1.2.6/1.2.6f_logs.gp\n811b7014026438fb9ceb398d1eca1388e18b5a6630526f728595352009ddce8f anc/code/1.2.6/README.md\n650d82be61fc8c36006e28e7033a958cead3024f55b2aeef9c56443a5ab5cc68 anc/code/1.2.6/expected/1.2.6a.txt\ncc96b18e2015b83b8db94a7eafdbf7d949a2350be3ba92d6fd0b63d839f96a9f anc/code/1.2.6/expected/1.2.6b.txt\nf193668b9475c687bc1f6f9d55eba63d26ac505fcfa15d46eb39048959e49b6b anc/code/1.2.6/expected/1.2.6c.txt\n6c8c935b322dc3b7bd93321965d7f0a8473873f03a7a913d6f4dafc674e7e511 anc/code/1.2.6/expected/1.2.6d.txt\na493b3919aa50428dfeaa3ee0ac7dffcc30dfc49ec5d197ade630985a51818d4 anc/code/1.2.6/expected/1.2.6e.txt\ne714e41d0dd5911dcbc3f6baa2819ac8b91412c7d19168facd6b166035073988 anc/code/1.2.6/expected/1.2.6f.txt\n08a283f6bbfae951114667c4bf77fc98e5beda83a34c444d0f25368fee36f258 anc/code/1.2.7/1.2.7a_identities.py\ncd75ae915450aae6c47c09c2997af0cf41f92fb76d541bc9970c60d9f6fd0e3b anc/code/1.2.7/1.2.7a_mod16.py\n14f0e6fb3196eb55bf5a211a536ee3f16c33099eb96a0fd06bf98203d0745526 anc/code/1.2.7/1.2.7b_selmer_J.py\nf095fa01a3b21f7ea7eabfaef0489844d73611564ce56aa9bd9fc8b893961519 anc/code/1.2.7/1.2.7c_point_counts.gp\nc464862113e9ed6d8d8e051f3cac89a93d44bc5caffc2cb6d9dc282ccf07ffde anc/code/1.2.7/README.md\n37a4e5f3d253cc552e35ec614879b9030d683478c58701a0b3a77440c8f49482 anc/code/1.2.7/expected/1.2.7a.txt\na33e108029a97a1911956102b3e0694d8614ae67194c44a73198dfbfe997a614 anc/code/1.2.7/expected/1.2.7b.txt\nffad7484b29cf3b0badfac65509cc66d70824dd33472c9bab4ed2653e6c472db anc/code/1.2.7/expected/1.2.7c.txt\n071102a21a50195c4ad279f28867933f3b3ae64a7a263ca94636b9e537393177 anc/code/1.3.1/1.3.1a_field_F.gp\n7f110aac393856e20d431b4f02f5a869738da8a40ff09e2a081ddd10773d78cb anc/code/1.3.1/1.3.1a_powers.gp\n40f6423b4a65d85183a5b4dfe247ad8134699353c944aa6cd708c9d53147e6d9 anc/code/1.3.1/1.3.1b_local_exclusion.py\n82403b69eed05b86d7015954a3777f1011741788e554df21a94c5946497c0799 anc/code/1.3.1/1.3.1c_conic_quartic.gp\n8836040118ed88d495a182e99030d6b13d0d9e2d43ec4f4c193c4fee627b97b2 anc/code/1.3.1/1.3.1c_identities.gp\n7b6ca0d541df7bc0dbe4615194d56707fc32c0ac8795d03092c4dd37b2944696 anc/code/1.3.1/1.3.1c_mapcheck.py\n77cdce3c825636dc7a7ebd9994042122249d75ffd02e08f843080dcc6ed68c70 anc/code/1.3.1/1.3.1c_point_R1.gp\n16e2bcb5c86b1767f58488087610180678b498200081b776327520589e6b6ed0 anc/code/1.3.1/1.3.1d_index.py\n6bec66f1ab9e3fe5dce7f843d785c1fd35bd2fa0e4467731077d4afa72de8d2b anc/code/1.3.1/1.3.1d_index_place11.py\n1c9f6696de810d93c0adea0057b127ea027f2dd824756c898aa8c78b35cccfd9 anc/code/1.3.1/1.3.1d_rank_simon.gp\na837f9c1b0a12b4d5998e2967ae856a8a6b105f80a351992127730e41128beb3 anc/code/1.3.1/1.3.1e_minus_R1.py\n3719c03442ff02f92dedaa7e782622642432527af5123105da8b2ffffbefbce4 anc/code/1.3.1/1.3.1e_sieve47.py\nc84f1e4cfd29c89e1c359f9acbeba635fb47e912e74c993c9d70833ec6d40704 anc/code/1.3.1/1.3.1f_strassmann.py\n5a609f0cdca65837e13c0c737a70e96b396884b0acc05c54428e1f062d014899 anc/code/1.3.1/README.md\na8c5b519ad664ecbf94aae2bb07cc9dfb7e4ecacf83d44d7c7dd4236022621a5 anc/code/1.3.1/expected/1.3.1a.txt\n1c5fdfda7d8c43189d069d11b5bf3f705ae3db1771d1e483b74ec4dc71c9f835 anc/code/1.3.1/expected/1.3.1b.txt\nae90b827a260dc65e0878b680e7462a2892a7c67c84171a49f9375d41ea365f5 anc/code/1.3.1/expected/1.3.1c.txt\nf12c7616559cc4461f0a701effdd6ec407e3fb7e276c4fc48e304eac0384542c anc/code/1.3.1/expected/1.3.1d.txt\n5cd72f02ad321b4e0209c795ef46dfb5190e9bc3a3177ca484d64fda4381dbd3 anc/code/1.3.1/expected/1.3.1e.txt\n713c62a5c95ce1ff601b8f3f94cf0833135489cb8f10d3d51ad9d8486e0d6a72 anc/code/1.3.1/expected/1.3.1f.txt\nd9b6785f8f3cbbfd25220169699d81199557ba5fd844fc523a14427dab7643aa anc/code/1.3.2/1.3.2a_check_exact.py\na2df520444e2558fcb3816a64b4c9466f73bac2cd24893fbf1eeaf6c625522b5 anc/code/1.3.2/1.3.2a_check_lifts.py\n7a8210cb5b5cd5b0dc26bde8883989777d0400f8d72e8f141b97ad7d11ef29ee anc/code/1.3.2/1.3.2a_check_p113.py\nfa9a6d57049729d456ccafb5098d4094e51f3eeedde844cdf2066c95cf016c2e anc/code/1.3.2/1.3.2a_check_sieve_local.py\n4ae134ff8598e062e7bef6ea6e52126b2582962290f8b02396c58e22651ba190 anc/code/1.3.2/1.3.2a_extra.gp\n10a9c5465cdb0063c8c1828e85e5b283be476e4685606db2edab802fa79c5a29 anc/code/1.3.2/1.3.2a_sieve_certificate.m\n88697fceb5a989409805a922f48fb85e92f25c3c4a41951d64e71ddcab39eecf anc/code/1.3.2/1.3.2b_check_generic.py\n5668e36884a2a174524d57b3fd1b90529e7a044a11d9bff549d5735b67acb193 anc/code/1.3.2/1.3.2b_symbolic_map.m\n43f591ab280c7ce098648b0abf0394ac4d3e2ac361ea3c0ab4ad90e9e923c00c anc/code/1.3.2/1.3.2c_check_fibers.py\n6061f25b4a75237cb52abb0866cb62203115b655bf32b064c4570ca08003ac54 anc/code/1.3.2/1.3.2c_zero_fiber.m\n3103e515ce97976cf9152b3c3074c3a5e5e7ec94e53db4934190a0729d12ec9c anc/code/1.3.2/1.3.2d_deficiency.m\nf3a6800d61bc8d71c32ad0ff3e3332e0fb54d4023ec8eda7a55a0bef7fd1066e anc/code/1.3.2/1.3.2d_mordell_weil.m\n06fced67c83679e02da2584395806968056589d1b1a8fda8d038134fc1e20761 anc/code/1.3.2/1.3.2e_nonzero_fiber.m\n3d6a5f7d8d0f744c7b013fbb341b053aeae07e9d9acc295666cfe0ba551a6f1c anc/code/1.3.2/README.md\n41e1fac26c12dbe80c67815f5e75ad188ce5e1d7d7f48d04b6b470cc28462298 anc/code/1.3.2/expected/1.3.2a_check_exact.txt\n82783d657391918d85902c995b0873f8802c23bf42b2d2ab79f7675b2608e9ea anc/code/1.3.2/expected/1.3.2a_check_lifts.txt\n088233c98066c4619494f15416c0da08f55212f3e2d2c0e033966b22ce865b17 anc/code/1.3.2/expected/1.3.2a_check_p113.txt\nd7eb711edd16ddfc4310c400af0d3fb2f9dd2d69e171ed0ccaa7c262e1b643fc anc/code/1.3.2/expected/1.3.2a_check_sieve_local.txt\nb464ea045b24b6004b2a873390103d6709366e577868caca399e56eca29af361 anc/code/1.3.2/expected/1.3.2a_extra.txt\nc4902aa348a037608fff251cc0bd8881a9f9319bd8e453d81f361025d6786ece anc/code/1.3.2/expected/1.3.2a_sieve_certificate.txt\ndd608a5942ed1c1db31296b9894038165f4ee4cbeb7c65d070b5b2937fbed018 anc/code/1.3.2/expected/1.3.2b_check_generic.txt\nf49e8db5c44e6e2b9bcb187983e159ee3b6b2782febb85160fb343e754c4b669 anc/code/1.3.2/expected/1.3.2b_symbolic_map.txt\n8f0d7af102142747bed8c93946f3929471147bc6a03d19203c4145e273321586 anc/code/1.3.2/expected/1.3.2c_check_fibers.txt\na2d3a473c23d1f3d061e7f198e24e4b9d02b387391a39f6ad97dc0c0f1af4596 anc/code/1.3.2/expected/1.3.2c_zero_fiber.txt\n54cc8828f8ee7fe5a2e96c257e76607cb76bf3fe194e78d29211677477e9eba4 anc/code/1.3.2/expected/1.3.2d_deficiency.txt\n8d970c00ef2c7996b057e69a2af20979c3b9756aa6052d9faf4abe3f749a182b anc/code/1.3.2/expected/1.3.2d_mordell_weil.txt\n9c0e1750c6193d7c7f18abb371c5ca94080320caf08d96a577b9068b897ce0c3 anc/code/1.3.2/expected/1.3.2e_nonzero_fiber.txt\n917e8f98537b76abb0d4286f9f09fdb505fcc343c9b88ae90ae71b5d34fd09d4 anc/code/1.3.2/jac_e02.py\n1eaf02fed83058def1a91ae9c16a01b22278db750c91a1ea2e121c4e6af6cc26 anc/code/1.3.3/1.3.3a_certificate.m\n4244f7b3f8cd464ba459fd92d490832f73f4725bbf3a0fd769de2fb84f38540c anc/code/1.3.3/1.3.3a_extra.gp\n9db1b274e60f8eee8dbb5f7945439b34cbf7ee2e0b7c7693dd143eac00924430 anc/code/1.3.3/1.3.3b_check_counts.gp\nd348005142d0522b5763a340b8a199efe440a43362b1c57d7f60ef43a799a3bf anc/code/1.3.3/1.3.3b_prym_lpoly.m\n064739e134bbacc3fcc0b461fe36a545b081c40c40bda2f3ddd97db75e482734 anc/code/1.3.3/1.3.3c_mordell_weil.m\n2c2aac13972f37ce3df3fd0cb84ad3732e48296122827a9e34221c8c6f3ef5f7 anc/code/1.3.3/README.md\n45d5bab76efcdffe9a8aca6492c6994d33c87850051188816909ab6bd9073fbb anc/code/1.3.3/expected/1.3.3a_certificate.txt\n4c300f8194c7de331e8297f766cd6694b2ebd76268589c08a08dbd1a2ccb7b29 anc/code/1.3.3/expected/1.3.3a_extra.txt\nd62e4105120da1346fb56087e068444136e3b11ba26a5595f6c0252ec4ad7c68 anc/code/1.3.3/expected/1.3.3b_check_counts.txt\n204c26400b55864c3401cbf775517615d534b20c1944ce384017c6ea6a0467dc anc/code/1.3.3/expected/1.3.3b_prym_lpoly.txt\n48c8fd17e122be5dd341b05f896bd421e7f263dc61a0d299f83e33e156018d8a anc/code/1.3.3/expected/1.3.3c_mordell_weil.txt\nb4b12075410587d0d8a868bf456982d292d19df5a66699fb041d353514cea921 anc/code/1.3.4/1.3.4a_certificate.m\nb43d23d76aa05d3adb6f37eedba8b5a78b4e864c755bfe8b8398fefd1c95e9cc anc/code/1.3.4/1.3.4a_check_counts.gp\n8c95b66022778ef32a31a072a07898d4ec36627a87bc5d08726b5adddec021ff anc/code/1.3.4/1.3.4a_check_rr.py\nd181dcdfb6ef914ee6643e9ea84f6595a432c4d28163e5ea09dd3aef9efc42e4 anc/code/1.3.4/1.3.4b_check_q2.gp\n353b28c371a2cac17d6172804c012a55d5ee98b1a7aa67b638c307b86d44291b anc/code/1.3.4/1.3.4b_deficiency.m\n682893905dd408ae744ea5e5c287416d99cbb6809df75b04152b8b9a99eb8ad7 anc/code/1.3.4/README.md\n813673750df4ef9d0a092c22ca3ef3ce29555d53938ce7328cdc5717fd027d8e anc/code/1.3.4/expected/1.3.4a_certificate.txt\n5320b272fb0a7c88fa9c04a413aca0c980d9d0c4ab4e20dda78bd57c6d47f8d3 anc/code/1.3.4/expected/1.3.4a_check_counts.txt\n8980218a627c51538d63f14c7e6edcd6d868a17ed05eb2cf32b87925ee9d5649 anc/code/1.3.4/expected/1.3.4a_check_rr.txt\n932504571b7ba4edd151d0186074af2d81b89c3d8034342129fade1fdeab1d73 anc/code/1.3.4/expected/1.3.4b_check_q2.txt\ncaf5d103a97c05f68096d061ff31344fcc88841b8a50fcb1fae3b55fb7766ab8 anc/code/1.3.4/expected/1.3.4b_deficiency.txt\n6e351f84db21054d259dc88b4ef7d4dcaf8fd065c0fa8223b243afe5559b25e4 anc/code/1.3.5/1.3.5a_check_smooth.py\nd4e354ad04d0aeddae3aeb9d7dee1d2730d1eb87fab50d6b234d62b0c2680c83 anc/code/1.3.5/1.3.5a_reductions.m\n4a5fdd29a50adbf0c2b7aa4ab0643001991af630f2b2a759396e722b3ed0fd59 anc/code/1.3.5/1.3.5b_check_determinant.py\nf594b2ef6b5800686ce00b706a8459c24bafdc0e833dae2e9b1ef9ed31cb4211 anc/code/1.3.5/1.3.5b_check_mordell_weil.m\n64b5a68b24a1861e1570cdea0cedd89b266d32bbdda0664fee0c4e23b2866ca1 anc/code/1.3.5/1.3.5b_check_prym_lpoly.m\n17b7f65d1f4e69ba59e982155bbbb5936fa36f4b7347135a6bdcb9e07b5f03fc anc/code/1.3.5/1.3.5b_check_tangent.py\n8e2bc4bd8f02f62a99418191e51f2e1a7ac461af77570d2297ac331a8b708102 anc/code/1.3.5/1.3.5b_core_certificate.m\ne46af7c511a701f832b59ce84ef2b00e0122767a1f5dbb6828d4cd263caa66b8 anc/code/1.3.5/1.3.5c_check_sieve.py\n9913a3b40d43cb4776e120715128c464d4aa9b798516a2e176be6f2e225cc02f anc/code/1.3.5/1.3.5c_kummer_sieve.m\n0a2e6fc6a13a266d248fbb7fc530903321b59be544b532c5e23a99324b55edf2 anc/code/1.3.5/1.3.5d_check_valuations.py\na862046cd568170480af45edd53a576a9a2026d7fe0dd92ee3187f9812d59b85 anc/code/1.3.5/1.3.5d_mahler.m\n398d40114182c00ef06dab906621cf3ade60885ea75a183947b8f78906f81e07 anc/code/1.3.5/1.3.5e_check_fiber.py\n04b8e210137a9897e29caabd0c19737dad9be0ddf4abb8aafd2293fc5e180226 anc/code/1.3.5/1.3.5e_fiber.m\necb29846aedab078e5b329ffa5aa1a95dbd75ae43ebea8ce69a9fa046c3ad17b anc/code/1.3.5/README.md\ncbd1feb048ffb7f27a46d4eee657169d88f5c5c6ae61ffc5c81ba9ee2ebbcca2 anc/code/1.3.5/expected/1.3.5a_check_smooth.txt\n459513d99c7cd3766e1250f27be3e696c5bf205e327f88b18503b5632ec35854 anc/code/1.3.5/expected/1.3.5a_reductions.txt\n1c68e54a722071c64d81ac495a91b428e21530cd8e9fda8790eaf7df6cacfb1b anc/code/1.3.5/expected/1.3.5b_check_determinant.txt\nb176fb335b77faef6a6d2ea44e25c62a8e318bcb46c624b7816b1147a55d58c3 anc/code/1.3.5/expected/1.3.5b_check_mordell_weil.txt\nc94a2126e88d1d92d42b3668b46d5a3c34be2b39acea8b86810e6c782865a692 anc/code/1.3.5/expected/1.3.5b_check_prym_lpoly.txt\n4e2e34112716390310b268408e6fce96f3b71bde8c7ef5f44271bdfb24257cf1 anc/code/1.3.5/expected/1.3.5b_check_tangent.txt\n045df391f23bd2349be6bae9a56940c8a53b69c065f83562e284584e54050fa4 anc/code/1.3.5/expected/1.3.5b_core_certificate.txt\n53fe2b6cd8a08bf10dad8a9a176ccf9b0e4dc3ef9b266c1c91db11b161a8372b anc/code/1.3.5/expected/1.3.5c_check_sieve.txt\nfb99784ea7896459e94c9fd4e35e7256462aafe57b35189ed555fe55de39615e anc/code/1.3.5/expected/1.3.5c_kummer_sieve.txt\n2f5796ebe46f83c9f603877a6573a4901e6b883a08b9527af53f158339a812dd anc/code/1.3.5/expected/1.3.5d_check_valuations.txt\n51de682455075e18ae7832a01629005400bdd3a3740a0f06d63fa5f37edfcaf0 anc/code/1.3.5/expected/1.3.5d_mahler.txt\nf2386d7463cfe1297cf82f0576ce56360673d2e77136445cf6dc69a5ef285cab anc/code/1.3.5/expected/1.3.5e_check_fiber.txt\n9607b52bbe0b8c83aca88d50924babd249ab00016d5475892333e2cfd7fed53e anc/code/1.3.5/expected/1.3.5e_fiber.txt\n67dd091feaae9a56d436fa9cc7f54d26f846a5f1e606018243ed62dcaa30f4c9 anc/code/1.3.5/g2_e07.py\n1fe908b60759ffd09481655968ddddb9161c7ae797548338b2c381e08de8527b anc/code/1.3.6/1.3.6a_check_lpolys.gp\nb2cb9424ece8c3c12f05320acfc453d3334f6b87cd3ee91dc7f3a55f9c2fc62d anc/code/1.3.6/1.3.6a_check_model.py\n02455fc5133ff8b10f26a9efd1d2c8887c431614d85b997e1e122c1ab49dd778 anc/code/1.3.6/1.3.6a_check_padic47.py\ne396cc2ed1a93f1fffdcd8f516203aa87bf157f5609228b93aa065cc92f1183b anc/code/1.3.6/1.3.6a_check_sieve47.py\na62e2166efc0cb1c54521333de8fb01007b796e18a6f4211b4cd53d286526fff anc/code/1.3.6/1.3.6a_check_smooth.py\ne1ca1bb3f2204413839640add8cbebd2a18b10454527b89f7b9114f25037d8fa anc/code/1.3.6/1.3.6a_kummer_image.m\n9d4d04e572397fa5759cf3c544b1d47327d5f5886e080ad7e7344b5e0d0a97a6 anc/code/1.3.6/README.md\n9d458ebff8a021a6d21985bed62aafb3c0895ea4bc6a0aef18b1e4c150776068 anc/code/1.3.6/expected/1.3.6a_check_lpolys.txt\n54f99a69fe2635e2177c2b5d2bd0bad61cce8dec5396b9ad59dce6c5c8dc6638 anc/code/1.3.6/expected/1.3.6a_check_model.txt\nd91df1b09241217f341451c317dba7cef18bbb9cd3f1062a5ebcc2df2ed54b24 anc/code/1.3.6/expected/1.3.6a_check_padic47.txt\na6ab8331955cef5014510f9b26e9f5c1d6a30acfc7163b9c1123fe26cfd99eff anc/code/1.3.6/expected/1.3.6a_check_sieve47.txt\n0f76049e55bd3b593cf25d6f58f17e9921b94ab58dc1532aed93a4e747f54484 anc/code/1.3.6/expected/1.3.6a_check_smooth.txt\naa4a26442f25ccde87299f80480274c10ff041da594b0b2f516effe2d833489d anc/code/1.3.6/expected/1.3.6a_kummer_image.txt\na6bff777eba4b489e722a2764ee428f6456a7fff84d386d6069512e72076d751 anc/code/1.3.6/jac_e09.py\nc49752fb7c4de209c1d13c18918c08283f6d4946c61e8b3b6cc35ce0a431267e anc/code/1.3.7/README.md\nf7b4f46e30d663260daa325c77a694a9b21aac0fdbaee8e0209cfb8dbd481a53 anc/code/1.3.7/data/a.txt\nc5ab01ce074615761beec53cbecbae5f65c15f9b4a24313c87e35f6a7d0a4242 anc/code/1.3.7/data/g.txt\ne27c833a1d744c699b619dd3770aab37ef3d1725eab020af25b88f7c93f07943 anc/code/1.3.7/data/ks2_basis.json\ncabdcad05bce575fa425c8a08a2d1b3ccb918adbb33e8bfe270f0d0565f5bae3 anc/code/1.3.7/data/local2.json\n1c8b111ebf43b8422d037d7618d9fdca8344d685a2d79eee5e9a33ccb790ceef anc/code/1.3.7/data/n.txt\nd943a7d7588e5e5846915177472814362241011481195bf4532955333b95e470 anc/code/1.3.7/data/paper_C2.json\n6fa54dc3232f16e5662bb5a262adb5338a2039a400e4c034f91b267cc94150c4 anc/code/1.3.7/data/witnesses/wit_100000_150000.jsonl.gz\n1b63e2e336bdc3ef4d91f27db25ace23901b5fc1035efca04a31ddfb28d97d92 anc/code/1.3.7/data/witnesses/wit_150000_200000.jsonl.gz\n38a2dc1a15ebefb2846d65e78e8bf354e00b397cfbe4b878d55254aa268e81e4 anc/code/1.3.7/data/witnesses/wit_200000_250000.jsonl.gz\n011b48205af4ba2383fdea7ee760b3831e4e53f495292b7e003ba3fa52907d8a anc/code/1.3.7/data/witnesses/wit_250000_300000.jsonl.gz\nc45860d76752cab3b2c2c581812642d7a55e25987e5a31932e856a46120e9517 anc/code/1.3.7/data/witnesses/wit_2_50000.jsonl.gz\nfea117823214a381a2eacaa7d841c3612575adb3107a240d078b77ebe70c51a5 anc/code/1.3.7/data/witnesses/wit_300000_350000.jsonl.gz\naaee02fb5a62b0fa57f51c6098a20a083212ccd57fc89f39f373656d214a6c42 anc/code/1.3.7/data/witnesses/wit_350000_400000.jsonl.gz\n78cadc43a0f5809558c836a5ac65e8fd3d097fa694d6a8acc981d211638907e0 anc/code/1.3.7/data/witnesses/wit_400000_442414.jsonl.gz\n384cc77b915170399cb27eb4d6e2d849987a637cee1efdce0f81ebfce1ed338a anc/code/1.3.7/data/witnesses/wit_50000_100000.jsonl.gz\neb575120fdad42a7686adbdb15ed11e193eabb453981b6d3176e9cee89772ed0 anc/code/1.3.7/data/zk.txt\ne623f1cf2146374afffc995fe3f0d5f415006d29ae380093b633ff887cbe8285 anc/code/1.3.7/expected/s01_curve.out\n56991c03504d54d62714d1d3d37e2fa8bed29eecb5fed198b69de1d2b06bca50 anc/code/1.3.7/expected/s02_field.out\ncc732b08415e8ce2558dc3092383a0e77e103c190a14484884a7ec6f32467378 anc/code/1.3.7/expected/s03_global_kernel.out\n26d2ae06eb20f6cca9ca2820c8cbed25e14fcc5e86c8acd58afca674af3c96b2 anc/code/1.3.7/expected/s04_sunits.out\nd859d20f0a7c9d40eb36b8fafba675a255d83999d8b84e408a753c9d61d35081 anc/code/1.3.7/expected/s05a_principal_witnesses.out\n66f9130f08feae5f8c154c71faceb7b9837477439f91567bf7777adaa06cf141 anc/code/1.3.7/expected/s05b_check_classgroup.out\ne6d701640160d693c5d61be9dd704429c65b93ac46c6b061decdfbec1e049beb anc/code/1.3.7/expected/s05c_check_witnesses_gp2154.out\ne0cdb717f245d4bc73b1f4cb63d74861fa01bdccb810f05e005b2d7cb17a50e0 anc/code/1.3.7/expected/s06_local2.out\n6d590da310c92b387795cc1d654664d016183404c5a8aca4963b8ad432ec0367 anc/code/1.3.7/expected/s08_selmer.out\nfa91f5b56aca0437127b4036b8522620c43dd641d4e553089f7e1b351b8c8942 anc/code/1.3.7/expected/s09_chabauty3.out\n91a516723a330fd9e2e9b5520c3921252ef66e8213bdd8a95c30b79d958d290f anc/code/1.3.7/run_all.sh\nfd827a534f8e737c4812095ceaa33379bfda9046b51219175d023580ede56755 anc/code/1.3.7/run_s05a.sh\nc65e3acef0c40966a82fdaab09eaa1bf93103e4911e577f697e1020dd4d231e7 anc/code/1.3.7/s01_curve.py\n00db26b2411c44079854faa5765860578ceee2db1dcc0d2af5727184297ed846 anc/code/1.3.7/s02_field.py\n8aa3d8c93d220e79d0de28939f92da46196f3f05297856ffedfef95f1501b2f3 anc/code/1.3.7/s03_global_kernel.py\nbb960b30a11766bb27d851c7129f440749dfb4e0be4f3fc9005b78ef0d348b1b anc/code/1.3.7/s04_sunits.py\n060f9692e2ed7539356a7b50d0bbb2abfed8130e9ecd84d90dd8e093889bd6b6 anc/code/1.3.7/s05a_principal_witnesses.py\nfb4ad14e50011c2e07e4f154a347559c608c0af5a8e8572bcb832f2211de9db0 anc/code/1.3.7/s05b_check_classgroup.py\n77df56cfe0f3d2f31c54fec2ff030c77d33ed8314789ce13333331fd87376a10 anc/code/1.3.7/s05c_check_witnesses.gp\n405ac4b1da8128766f239f651ed296f69436eb1543d4e057cbe7ddfe1e068f4b anc/code/1.3.7/s06_local2.py\n4024fede0709e954541de3f71657b1530e4aa51b63559d6948f1e4dd7e8f13a6 anc/code/1.3.7/s08_selmer.py\nf4c3b4596c4d1569cb4c99cbc29e23b7b56ecdbb1ee737d193d2f7e3ee79e37f anc/code/1.3.7/s09_chabauty.py\n7f1b8c9fcdc34c07309912e35c5ba6a201d2f2c9fe6a9cd3f6cf83a9b165684f anc/code/1.3.7/t62lib.py\nd1349d968ee23702f994adcfd0fc4d3cba63c21b42f77beea0aabbdd27d0c5dd anc/code/1.3.7/wit2gp.py\ncb9f3199c5f1793ccfe61717ce073516b1f9d1092d22109231df299f7f63ea00 anc/code/1.3.8/README.md\n9c19827d25196be3b2c68307aa0040227a4ba057c3e1f534c87a4d2da2624651 anc/code/1.3.8/chabauty/chabauty3.py\n86e922fbd933cd323c5ff844f409a3a7a6201cc9fc87ecead8e4fd0199d43ba0 anc/code/1.3.8/chabauty/expected/chabauty3.out\n3441d1176097d86f91cb74316492aab6ec486204a31eb34dc9a91fff3746560f anc/code/1.3.8/classgroup/bound.py\naeca9ba95c1d5df823f62cbe53ec0e188763353b7300092a469eb9c2909d7b0d anc/code/1.3.8/classgroup/bound_data.py\n2abf97ee59682531465a52afef50cda59a389032c1faf6779f26b85aec7f3a6c anc/code/1.3.8/classgroup/check_witnesses.py\n658a4e1a9f2099c5ca5942c22c3a1ef2f3bee19f920c343640533afd19dfa83e anc/code/1.3.8/classgroup/classgroup_params.json\nbe921cf50a3346ec7cc4dcbeb6ce7606b5a775da7f268b2e5b801d039d3069a5 anc/code/1.3.8/classgroup/crosscheck_counts.py\n890c20ab7a4c497e4e96db602e1c7d0f146b3f72f50ed4acec2f3d4bca8ebc4d anc/code/1.3.8/classgroup/data/small_25000.json\n878701bda7b4833c8cbec23b6e3efd8549870aaefc92e0ec2bbe95fadaf9a225 anc/code/1.3.8/classgroup/expected/bound.out\n234d179b9733635789dd948a8f62212d1888c261ad85fb6f976c5ce54d11fd6b anc/code/1.3.8/classgroup/expected/check_witnesses.log\n14c35170d5acdcec4834c66b1248aad989fd49ccf9d1bd08b4e0750703423406 anc/code/1.3.8/classgroup/expected/check_witnesses_pari2.15.4.log\n7af25d18c5cd99e31592b32279832250fd0373cf0f2a7634561fe7af96598871 anc/code/1.3.8/classgroup/expected/crosscheck_counts.out\nfb57bbd8008ddbe5fcc2700b2fe5760ada021a7cdc94a892cb66a6d79d6cd298 anc/code/1.3.8/classgroup/expected/gen_witnesses.log\nbd3dea41a80f28e263c309cd3d81850f48e1c242335c679f51ec608e8189548e anc/code/1.3.8/classgroup/expected/nroots_100000001_200000000.out\n96cd5931090cd46f77bfa2fbb941e20f89a21025d06761197e0fff67e278f40b anc/code/1.3.8/classgroup/expected/nroots_200000001_300000000.out\nf97395412bd705e1f9587fac0fb7d5a613a3accf2715e92dd495f02822b37281 anc/code/1.3.8/classgroup/expected/nroots_2_100000000.out\n0ad0a6895423d7ed47c846af30cc013310583e914c4455a506ab6b553f8af22e anc/code/1.3.8/classgroup/expected/nroots_300000001_400000000.out\n8ec61a003ec6aaa5871cc195979da0f4075c36c15322357034d9a700a971e89a anc/code/1.3.8/classgroup/expected/nroots_400000001_499999999.out\n162e85cdbc05fb910e5dd274de78e4094cfac876b56426faca21377dadddbb90 anc/code/1.3.8/classgroup/gen_witnesses.py\n48f5a59c9e8def9ce2db5358956484a208b863b6206d4bc353f482e13516bc1f anc/code/1.3.8/classgroup/kfield.py\nf66ba2c0245941722817924fdb407fbcbab47f3e1940fb030d9e99880ff629cd anc/code/1.3.8/classgroup/nroots.c\n8937999770fa36cb1f17ca2918205e698c909d234d29400af923efbdbe2abec1 anc/code/1.3.8/classgroup/run_counts.sh\n7bf35ad617e346267ef9b3b3329e63cbce0c8deb2e8abcb77f56b0ccf1c50147 anc/code/1.3.8/classgroup/run_witnesses.sh\na508c389a00298421a98db77d202bb47b0775b7ee9a8c11583806b76995529f1 anc/code/1.3.8/classgroup/smallprimes.py\n7919a8b645ca7eaeeedb412a21d98482bd3214e3de8a641eeb4eb957f15d6d48 anc/code/1.3.8/curve/count_points.c\nc59436e19a0cc15b078be997f73963242bed1c6ef0ae17a97b5e80160e0f0fec anc/code/1.3.8/curve/curve.py\nd160a881936ca1fd928859a278a25269059b991fb771a76857072f45104aac6d anc/code/1.3.8/curve/expected/curve.out\n5cb13def2f7eba6f23349872a92b2c37083f580b841ef5d8a1ca67624f08aa4f anc/code/1.3.8/descent/bitangents.gp\n7e1bafcc970138bf4b01e57e347a905c5b1ada62764580f5cb4bc80c154a01d6 anc/code/1.3.8/descent/expected/bitangents.out\ndc9431bfd4c96c8c23a32e4f2b44eb9e8a924f40944fcb1631f5cc63af515b5a anc/code/1.3.8/descent/expected/paper_sunits.out\n780390724a1d7a4791af1ed71b5bd7ca56ada689d570313a8b1364b1ffd301ca anc/code/1.3.8/descent/expected/selmer.out\n1e463bc5f6403b2d47915cef2d7584f30d43c1e23a700aff8dbfadd7bd9617ba anc/code/1.3.8/descent/expected/theta.out\nd31969850054412a7894dfdf94167bdbae5494e261ced1df3f9be3bd41a085d9 anc/code/1.3.8/descent/k_paper.gp\ndc2dedcd88f544dfb83addf7380767d9d5e2b37e42e053132972653d1b391043 anc/code/1.3.8/descent/paper_sunits.json\n121a272eadb9af575f972685fedf16c8d51b26b2d63214b66f4cda0e3c8b358a anc/code/1.3.8/descent/paper_sunits.py\n93697606d93dd6888beb164b8334f767b75212abc25a594263243dde0e62aff5 anc/code/1.3.8/descent/selmer.py\n9e09f3735570198151d441f30927fd676188a866a32a85d839baa69c050a3617 anc/code/1.3.8/descent/theta.py\n3b4b187b3badd440275a2a51cf7577fa8bf66e9990a69ebee81b940904733488 anc/code/1.3.8/field/expected/field.out\n10101dc9b124bcecc3f0f2c0c346486bd2df68088046f052839a94b7bf3cb632 anc/code/1.3.8/field/field.gp\n4debcf7e28a6305a96ddc571cbdd2d45b060e499fa0dca48abdce62a1fecd9fb anc/code/1.4.1/1.4.1a_fields.py\nb7656c97b0e7832d399129243bc654e9869960b20783530dae7964873f9c8482 anc/code/1.4.1/1.4.1b_curve.py\nad184380d7a40607f7cfe10a2a5e58f80775d08ee43f554280252a8504b415e9 anc/code/1.4.1/1.4.1c_bad_primes.py\n768df0eabdbd31cd49f4eaca2cc7c5dc4dd09b33f10146c9e2553254d0fb14e6 anc/code/1.4.1/1.4.1f_local_points.py\n9dae3b349760abf1063b2540c43b720f048ded188debc23e7f57c53b4670e63f anc/code/1.4.1/README.md\n8588e3e1f2de93fb820e9c24a78b9bb510eb7e2b810bf75d289bca2b99feac15 anc/code/1.4.1/common141.py\n4068055166c54e52e52c77b66286d557748e76113e8d26adf164617b03a0d128 anc/code/1.4.1/data/cubic_a_quadrics.json\n8f3737772fd52d15c7ca8b12e842e3e67ab06446c528c6c2c6ea1062941a4420 anc/code/1.4.1/expected/1.4.1a.txt\n7c16510c648bb2ee0fa15bcac8355df11a6bfd0b681406c602248e21bc6db36e anc/code/1.4.1/expected/1.4.1b.txt\nc45f0db97fc13ec179fd73ee8d9e4240decd8c47d72e2cbc179d122d7dc131ba anc/code/1.4.1/expected/1.4.1c.txt\n1ef15693596baab77a7583d36c974760f08f917ec76f1fd0a2ec9a7bec6f66d9 anc/code/1.4.1/expected/1.4.1d.txt\n79faa86eac58ed9e5e0ce3bcba8b2cd241b0f817d97ed2689f85f5584cac4a23 anc/code/1.4.1/expected/1.4.1e.txt\n7d30068342e9653a70b0d61766694c48c882e2dd388a0e6e104f8bf9702443c0 anc/code/1.4.1/expected/1.4.1f.txt\n09f7f4b1799e98b201c8aeaaa3387588ee804fede33d9fdafbb2b916df02bd8d anc/code/1.4.1/local_residues.c\n8903d8e53798665d8ef749503973504c31b8953031eb9c627570bf730444e4db anc/code/1.4.1/run_all.py\n26a6812c2c8d61b0b5bc84c3941324be4b4abbe12d2aea0d6d28191a4e4cfb45 anc/code/1.4.10/1.4.10a_elementary.py\na623e243fe083194a904fd210e3c093e06419e75fbbccdfc6f58b37c177ff979 anc/code/1.4.10/1.4.10b_newforms.gp\nd32426a590d6528e7157b371164215ae969aa854f50cd7abc375b36f7a224f88 anc/code/1.4.10/README.md\nf8c86c580f96ab681d235f472a2f3faee71426075fbabdf0b6e8c3cbbdfdb501 anc/code/1.4.10/expected/1.4.10a.txt\nf8b949df42ff17c9a2ba0a616e5871c29faf7bd2e28f6465f97d5822d58a6a18 anc/code/1.4.10/expected/1.4.10b.txt\ncdcbd1e37b3fb85dfe02e7721c43c4f3ff805debdd084e9f749e95d894440408 anc/code/1.4.10/run_all.py\n394246877450692290f55e936a445a00bbd1840eb63800cc8a0e701f399d0728 anc/code/1.4.2/1.4.2a_fields.py\n7058f8647c50c62066bd1f20b355556b55dfce5180849e707ea95fa364d2a738 anc/code/1.4.2/1.4.2b_plane.py\n11fc947473798ef848c056fa3a6f0844c18f26c9e0e5e7388a13565e9d9f1913 anc/code/1.4.2/1.4.2c_residues.py\n519ffa3cb87decaa0272508a54992fa8ec10792c53b8b2a1d30a2f327ef1a858 anc/code/1.4.2/1.4.2d_split_primes.py\n927630005ce91f9224edbe45fc2b13ed945938b6738f4bdf86156d5e1caaf14a anc/code/1.4.2/README.md\n4c0db8b8339bff79e30bf0ac2bbe7b236d12c0563dc9ddd02b134f3730a58b93 anc/code/1.4.2/expected/1.4.2a.txt\n55048bef2138a9940e97d2b0cd21c83382d0d4b5fa22e2780e2be493c3a4ecf7 anc/code/1.4.2/expected/1.4.2b.txt\n5e5b17dbc0138e6556f32fcad8a38e967f0e2c90b92e576490440f20b7055364 anc/code/1.4.2/expected/1.4.2c.txt\nccecdd3ba1847334304c79c6e0d17c6a5cbfc005879177777047b34eff6771d5 anc/code/1.4.2/expected/1.4.2d.txt\n8d35851193ef03a198a58215f40eababa87dbcdf0e94cc3d22e7e0a9371830c3 anc/code/1.4.2/run_all.py\n1598436ab2a4c9fe331fc724d65121d64df6afd4f8b4de58a8240f11c5990979 anc/code/1.4.3/1.4.3a_fields.py\n110eb8ee560cc2c38a2dfa26302a32aff5a82efa1926ad48020cddd568117f1b anc/code/1.4.3/1.4.3b_plane.py\nfa22a75a48e9d94dcf147df7fa7096341525f8e01a60b6f16503620e16c825b9 anc/code/1.4.3/1.4.3c_residues.py\nd9c4b243c8f9ffac9c39336324cc31e03325dd89551d54932d48387e241c5528 anc/code/1.4.3/1.4.3d_split_primes.py\n0a249d3341ec0e8a8d668a49f2143f2e454ee52fd33d3f17f883a44ec7f12205 anc/code/1.4.3/README.md\ne3cb4fb83bdde24ff1ffe1ca6d9fc3ea71f117782913c3c791c6d7e2b84bb5e4 anc/code/1.4.3/expected/1.4.3a.txt\naaf8cb087a2e7b01f45edb772e96560ba0f897b127309fd2a7c91bdfa07cbfd6 anc/code/1.4.3/expected/1.4.3b.txt\nd869ad967827168ffcd8047391952d9e6efef8d4c6802a4a1f1f6be1745439c2 anc/code/1.4.3/expected/1.4.3c.txt\nf07612f65a3c4f6bf2bfc74426e88ec6305f13ed3f4ca89aa3898472a0351e20 anc/code/1.4.3/expected/1.4.3d.txt\ne062407a3631f2eb1426942fecc40fc42c14ab6e8b06cf94f399d47d4b77fc39 anc/code/1.4.3/run_all.py\n06367f1be093840c9d409e5135fd1bb19a1cbf8e93cb8f5d0e3f167184ed1001 anc/code/1.4.4/1.4.4a_identities.py\na8dc91769c1b7b210a9ae034225dd566a48f632ef2b1d5603a08fd1f212c13a9 anc/code/1.4.4/1.4.4b_residues.py\n7b3a1bc4c52a1716764148f62e69907c34fe586d11cc8e72f11f487d2cc3647e anc/code/1.4.4/1.4.4c_symbols.py\ne7d96f5c8f332cc56e1aed773a21b95672b3a138c4388981607facb6300524c6 anc/code/1.4.4/README.md\n3e0f1a113f4020dd16696b99445d787eda661aec79d89c0ef20e6c2cbc83c7a6 anc/code/1.4.4/expected/1.4.4a.txt\n7d783c4b3272f3005e3b47c8039113247f5881006b5dc21f10420859397da913 anc/code/1.4.4/expected/1.4.4b.txt\n7a7b63b37450014abfcb79afb0ea4b9cad2ecb88043ee98b0aec864d1cf96247 anc/code/1.4.4/expected/1.4.4c.txt\nc4f3b0a11dfea80cd024ee011b69a6904e0965785d4cfa0bb59bee21a2cf412c anc/code/1.4.4/run_all.py\nb3aa9be8142be3ecc4ea458295c45956974f87e04e97584e5576db8e18a30107 anc/code/1.4.5/1.4.5a_elementary.py\n3a8d5fd100f6c42c8c3dfa7d9bab5e4777adad1cfdbd40408a2752da313a834e anc/code/1.4.5/1.4.5b_traces.py\n10a52a54aecac173edd3413a5de34eda743021521e27a28af207bdbc6c599e41 anc/code/1.4.5/1.4.5c_sieve.gp\nc486a4015528d442125246dd64438edfa1ac869232c8181d0e03075cfa39393b anc/code/1.4.5/1.4.5d_survivors.gp\n18c24d0a5e720f04482b88a924272a9f917481aec4926247de8eb343ffaa581f anc/code/1.4.5/README.md\n6d7d235555390272ef3e9607cc672b5a833e4381e0aedeb3203a2ba29be8e70d anc/code/1.4.5/expected/1.4.5a.txt\n67c977e3a6eb4b6ba0f27b8bcc74eae926d132d7b43010b72b20bf8bbf1b3809 anc/code/1.4.5/expected/1.4.5b.txt\n9a55d2ea53405062880210517803df78be2c9bddbfd6bfc6a74ddc4c2fcc58eb anc/code/1.4.5/expected/1.4.5c.txt\n1a73ada474ab94f34de3cc1902f602f67c50e8b09b0993d4d98fb200560d3516 anc/code/1.4.5/expected/1.4.5d.txt\n08242fe1264e02b3e191ebc33096b754d421e5805c92cd7d7d34acde2efb6a4e anc/code/1.4.5/run_all.py\nb220842aa2dc4d56c0fac80aa50adcdab61f8411e8079f01249efbc8ee213b88 anc/code/1.4.6/1.4.6a_elementary.py\ne7137b32681cbc10978accdd3dbaca233c7079f8250e329ce46a3711bb32552c anc/code/1.4.6/1.4.6b_traces.py\nca6b142874415af45816fa619f4be6329e28781ddebb0f3ed750c9b3752cedb2 anc/code/1.4.6/1.4.6c_sieve.gp\n689e804accbbe02249a9c2deb19f0c93cb39f61138c2ea827c0c5d2db7c3e15a anc/code/1.4.6/README.md\n478946f40ff4683c884630d81bf19649d4005cdf73c3f70b74b6b4f145f8da10 anc/code/1.4.6/expected/1.4.6a.txt\n0b32867a1d5b5ab37f2ced3d2b8c7a86094a3766c6d733541659981e1d41f1e8 anc/code/1.4.6/expected/1.4.6b.txt\nba807da74743b09ead7eea0200e6cf12483417230e87969a5a126d45f280aa56 anc/code/1.4.6/expected/1.4.6c.txt\n0ae1d391cb6f3663101bd43f4d9f28dc618e24d28d8b04291ed654fb7c0ab8f2 anc/code/1.4.6/run_all.py\n0cd9792b86ae85017ebfb1f294d8c5b27fb2fd2b55da8bf3e98523e3d91855f5 anc/code/1.4.7/1.4.7a_elementary.py\n71c8fbc74f804ed0211a76e2bd37d0f3f0ea623dae1c7dd5ac776f3823c60675 anc/code/1.4.7/1.4.7b_traces.py\nc27a2e05f7b82fb18c44b76ee270497bbabbaaa4cc1ed01b1bd6d2824e22c3d6 anc/code/1.4.7/1.4.7c_sieve.gp\n4c3b3820a72a61dbe8a4542950785d9b2148cc39554bb7bd68799603692f0447 anc/code/1.4.7/README.md\nfbb97d62bb0b225e80b35a8f2d234a27f0652d893db7078a1cbb8f47e57f63fd anc/code/1.4.7/expected/1.4.7a.txt\n850a5149b2b0be6345b4fe50ca237be255563467e7798b7a546add3b0c329511 anc/code/1.4.7/expected/1.4.7b.txt\nc81cae0fef3ec81d92bf5664b84709906139e8bb16074f0c007942cccdce2e3f anc/code/1.4.7/expected/1.4.7c.txt\n0a3a9c029e986b438f75ad3f8803e1a42c9709be10ab5159002b15b9b59a9c6c anc/code/1.4.7/run_all.py\n8e7f7d1e8cf6ebc9472343523676d1b337fd97518f371185fcab14fa02383564 anc/code/1.4.8/1.4.8a_elementary.py\n5b1d4fefebe7bd2665d7d4959e882e830025baf3ffe6ffc81e30e4eb2b46b2d1 anc/code/1.4.8/1.4.8b_traces.py\n88091e8c809f2ec5b83ec5814d18935b15033fdd714de149713efe243e1a2ade anc/code/1.4.8/1.4.8c_sieve.gp\nef5ceec7e7140b1e32efbd71d4c5ebaf96343d1c24af6d307f73487f3df1aa99 anc/code/1.4.8/README.md\n2ceb43be8a15ee2bba10c9d659e4fcf09c8157b58dd00dab0c7e6abe7932137a anc/code/1.4.8/expected/1.4.8a.txt\n6ada7c4b3e4e015ad189807a27f19ed88155c2bd130b4c46691eebdcc1774cd3 anc/code/1.4.8/expected/1.4.8b.txt\n199c5283b527af845ea6980966ad3afa77e53c76a593654d73f8c67f4edf577f anc/code/1.4.8/expected/1.4.8c.txt\n9f5fe9980628a4fcc0228b6fc460c03ac02bb1c5906096617afcf5a8b6e83a76 anc/code/1.4.8/run_all.py\n884043a0275321aefcf4417275507aad46cc845fd5661032734e4bc84c8f772f anc/code/1.4.9/1.4.9a_elementary.py\n53d699d6cf3f1c37f78b6ea8b5a6855664c375917cd2c5d80df706cd5d23e7e8 anc/code/1.4.9/1.4.9b_newforms.gp\n0aa2d40e274e89b496237c1b5a9b22ec6936657903621742e7fde7b9c63f41db anc/code/1.4.9/README.md\n93ac094451f5ff9c7215515b14172eba51b91ece28fa2fb857e337aabdfb0be7 anc/code/1.4.9/expected/1.4.9a.txt\n473aa3f21df15dd368eea209fd420d182342e1da0d1418173a86f6c029773361 anc/code/1.4.9/expected/1.4.9b.txt\n4ce5d2c698378345fbaabf1925d61b2a4b6ecafa2c03d0a7f8178acc4e6f2e98 anc/code/1.4.9/run_all.py\n727eec51fe24b03070a595d2fda71472f7097d3f9c11e5099ede4b74d85954e4 anc/code/common/cyclic_cubic/README.md\nb703e7b2fe897d498c3b95364965167ad9ba32d11a11b12c4070ba5a4de122ea anc/code/common/cyclic_cubic/brute_residues.c\nd31121e5d7dd9358acf5043f605cc4dee7f48295b88c968fcc8b40974874b869 anc/code/common/cyclic_cubic/cubicfield.py\nc0875a5e9bc078091351f3951b617a6ba3a5eecad8ff571b3ea6513362dab7e0 anc/code/common/cyclic_cubic/restree.py\n67edf1b8d7cc2df1da36fc17e4dab7c92a884d30488894190ed947c8624e5b26 anc/code/common/frey_quintic/1.4qa_tate2.gp\nb6b27aa7c425e03c9ebe50f81cd3df482b49fd6f396f6883fb3fafa349bc2aac anc/code/common/frey_quintic/1.4qb_newdims.py\n88e7e73e5e17e61810217862101a8c2fb9644b405710f73ad265032c609d5452 anc/code/common/frey_quintic/1.4qc_modsym_check.gp\neb0817b8321ee192a3ca65a0d268c69b3656d20f96c6163106f726e1fa0a14a0 anc/code/common/frey_quintic/README.md\nb512b7cc53684a28d98018e38adb28a1bd881af20361c4bfce3ba691943e7bb3 anc/code/common/frey_quintic/expected/1.4qa.txt\nd10e87004acdeea81e9961631e64ec318d2e6b3163ada6eb1175d4ba4996f216 anc/code/common/frey_quintic/expected/1.4qb.txt\nc371e1b77db2178e99d0ff70bb9827d619e507d158bedf681857714b835ec09d anc/code/common/frey_quintic/expected/1.4qc.txt\n2e480971a4a11b360f51fead13b04e594356e6983cb6c092db6e12af8c62106c anc/code/common/frey_quintic/fq.py\ne863389bb7171b84a327cc00b67e79c1c93c1f6537de4264d2f8c44f8fb1fbdd anc/code/common/frey_quintic/fqsieve.gp\na086b346bd7a4630dd9b7b916b647ce8bd2ec195a4b30782286ef0dcc1242ac1 anc/code/common/frey_quintic/run_all.py\n8b382ada010381fa579a05acf66e104e7f0207f09971d535968bf6ef51aea210 anc/code/common/frey_quintic/runner.py\n8a05b7b57be37de678d5b710b5c33ffdc2d05b985d4b4bbaf8b8ca8577e5ee39 anc/code/common/h31_classgroup/README.md\n4203c84c738c1f585d7efc7f882e5e7db6a874707b0865183d13c970c6bdb4b8 anc/code/common/h31_classgroup/bound.py\n50f08fc1ac240d9910b123aaecb07ecb6f6ff188f26eb975943ee1ea109bd365 anc/code/common/h31_classgroup/cgfield.py\n735ba7cfc2ede19802abb3e8458f52c6e36af49b05c81d7d806fc387bc523d31 anc/code/common/h31_classgroup/check_witnesses.py\n813558ba6f81eb22534c0109c12893fcc081be9aee241519fa0d47baafd0aaa0 anc/code/common/h31_classgroup/count_ideals.py\n63d44511b560d70bcb83aa55b7b30f56dea10ec3013c253cf4d4ea21b1de8f82 anc/code/common/h31_classgroup/witnesses.py\na6948dd47d84ffd0c3262fcbcddc413f593ddece2169b6a4c69eb838c5dcb881 anc/code/common/h31_descent_lib/README.md\nff4b26afbbc28bc48afb08c47207746fb0f2a38a01d042f45d5755c5330269a7 anc/code/common/h31_descent_lib/descent_lib.gp\ne02d0a8c2e05c6d15c8370325a8379fc65b28997042ce15926c1da84630ed045 anc/code/common/h31_descent_lib/descent_points.gp\n3972dc9744f6499f0f9b2dbf76696f2ae7ad8af9b23dde66d6af86c9dfb36986 anc/code/common/simon_ell/COPYING\n7adadfdeecf7a9ba9a7898916dcd2cfea20e22e0b561bc237b630731bd6817dc anc/code/common/simon_ell/README.md\nf137f61c596b4d86c72c294b46bccb8743beac55e5373d74ec7265baaf708800 anc/code/common/simon_ell/ell.gp\n739b6e06cb2c4b3e3adc7318bd327f3f5a3d9acef5fa2b52e68c34b85a0ac998 anc/code/common/simon_ell/qfsolve.gp\na195c027027ffd7e1134fbe1dfe88be2375e442a810c3ba51264701e885893b8 anc/code/common/simon_ell/resultant3.gp\nf3c00c87c557a8265ffb399942a6fed764dbac988fc92e88e1e6d9be9ce4e544 anc/verify_quick.py\ne9f35a3c0e84597cb869bcf128cb33ea915b78ecef34e19761f30fd93392a2c1 anc/verify_statements.py\nfa975bb1cdc9bdf824a206d8217437e6261809baf161d11651ff846ee7b843e2 longsmall.tex\neae8c8352b5bbe1f31d839f55f603f9b22316182aaa739cd16190e9775918670 references.bib\n" }, { "path": "anc/code/1.1.1/README.md", "size_bytes": 12582, "sha256": "2056fd6099b98f32cbe73ab6a0b11f7aecea7b725bf7b2241f24683f764ad748", "mode": 420, "encoding": "utf-8", "text": "> **Provenance.** Certificate IDs retain the original numbering; use the map in the top-level README for the shorter paper. Dates, timings and statements such as “run here” below describe the supplied October 2026 archive, not new runs for this edition. New validation is reported only in the top-level README.\n\n# Code for section 1.1.1: x^4 − y^3 − x + y = 0\n\nModel used in the section: `C: u^4 + v^3 + u − v = 0` with `(x, y) = (−u, −v)`; it is the source\ncurve `x^4 + y^3 + x − y = 0`, and all scripts use the source letters `(x, y)` for `(u, v)`.\nKnown points (model): `A=(−1,−1), B=(−1,0), C1=(−1,1), D=(0,−1), E=(0,0), F1=(0,1)`; basis `(E, B, D)`.\nBitangent field `K = Q[m]/(p_K)`, `p_K = m^27−480m^19−1344m^18−34560m^11+70656m^10−40704m^9+16384m^3−12288m−4096`.\n\nRequirements: PARI/GP ≥ 2.15 (`gp`); Python 3 with cypari2, python-flint (`nmod_poly`, `arb`),\nsympy, numpy; g++ (C++17); for 1.1.1j only, a Sage with function-field Jacobians\n(`from sage.all__sagemath_schemes import *`, e.g. passagemath). No Magma.\nRun everything from this folder; the programs taken from the source (1.1.1e, f, g) are run with `python3 -I`. \"Run here\" = run on 14 Oct 2026 (PARI 2.15.4, python-flint 0.9.0,\npartial passagemath for Sage), output in `expected/`. Scratch output goes to `work/` (not included).\n\n| id | command | time | run here |\n|---|---|---|---|\n| 1.1.1a | `gp -q 1.1.1a_geometry.gp`; `gp -q 1.1.1a_nodes.gp`; `gp -q 1.1.1a_bitangent.gp` | 1 s | yes, matches |\n| 1.1.1b | `gp -q 1.1.1b_dyadic.gp` | 5 s | yes, matches |\n| 1.1.1c | `python3 1.1.1c_code.py` | 10 s | yes, matches |\n| 1.1.1d | shared tools, `principal_bound` 10^7 (below) | ≈ 1 h | slice p ≤ 20000; full run from the replay log |\n| 1.1.1e | `python3 -I 1.1.1e_low_norm_census.py`; `python3 -I 1.1.1e_census_stream.py --verify` | 1 min; ≈ 7 min | low-norm census yes; census stream: slice |\n| 1.1.1f | `python3 -I 1.1.1f_strict_window.py --require-positive` | < 1 s | yes, matches |\n| 1.1.1g | `python3 -I 1.1.1g_kernel.py` | 3 s | yes, matches |\n| 1.1.1h | `gp -q 1.1.1h_qc3.gp` | 2 s | yes, matches |\n| 1.1.1i | `gp -q 1.1.1i_qc5.gp` | 1 s | yes, matches |\n| 1.1.1j | `1.1.1j_count.cpp` + `1.1.1j_jorder.py`; `1.1.1j_sieve_tables.py` (Sage); `python3 1.1.1j_sieve_logic.py` | 1 min; 1–3 min per prime; 1 s | yes, matches |\n\n## 1.1.1a — geometry and bitangent field\n* `1.1.1a_geometry.gp`: transport identity `P(−u,−v) = F(u,v)`; the six target points; affine singular\n locus (resultant `157 · 64679`); the chart `X^4+Z+XZ^3−Z^3` at the hyperflex `O` is smooth.\n* `1.1.1a_nodes.gp`: at 157 and 64679 a unique singular point (an ordinary node), Hessian a unit,\n critical value of valuation 1 (thickness 1).\n* `1.1.1a_bitangent.gp`: `Res_z(12m^5z − m^9 − 24mz^2 + 8m − 8, (12m^2z − m^6)^2 − 64(z^3 − z)) = 512 p_K(m)`;\n `p_K` irreducible; proven factorization of `disc(p_K)`; `nfinit` with it: signature, `disc(K)`, decomposition\n of 2, 3, 157, 64679, 333337; the bitangent identities `2ab = 3mη^2 − m + 1`, `b^2 = η^3 − η`, `a^2 − 4b ≠ 0`.\n\nExpected: `res affine sing = [157, 1; 64679, 1]`, `v_p(F(crit)) = 1 F(crit) mod p^4 = 572892686`\n(p = 157) and `11905259396277590310` (p = 64679), `R/lc == pK(m)? 1`, `irreducible: 1`,\n`disc(pK) = [2, 312; 3, 54; 157, 6; 64679, 6; 333337, 2; 172659335137, 2]`,\n`sig = [3, 12] disc(K) = [2, 24; 157, 6; 64679, 6]`,\n`disc(K) value = 18394906743257121277769499404528301613431352459264`, `primes above 2: [[9, 3]]`,\n`p1(m,et)=0: 1 p2: 1`, identities `Mod(0, …)`, `a^2-4b !=0: 1`.\n(The real connectedness of `C(R)` is proved in the text; the code weights {12, 16} are 1.1.1c.)\n\n## 1.1.1b — dyadic descent images of the six points\n`1.1.1b_dyadic.gp`: for the unique prime `𝔭 | 2` (`e = 9, f = 3`) the class in `K_𝔭^×/K_𝔭^×2` (dimension 29)\nof `mη + η-intercept − v` at the six points: valuation parity and unit square class modulo `𝔭^19`\n(`idealstar`/`ideallog`); extra global check with 398 split-prime residue characters.\nExpected: `dyadic rank {A,B,D}: 3 {E,B,D}: 3 all six: 3`, `A==E mod squares (chars): 1`,\n`number of even cyclic factors of (O/P^19)^*: 28`.\n\n## 1.1.1c — orthogonal-code trace bounds κ(r)\n`1.1.1c_code.py`: `Q = v1v2+v3v4+v5v6+v5+v6` on `F_2^6`, the 27 nonzero isotropic vectors, all 2825\nsubspaces and 64 linear forms. Expected: `nonzero word weights: [12, 16]`,\n`num subspaces: 2825 Counter({3: 1395, 2: 651, 4: 651, 1: 63, 5: 63, 0: 1, 6: 1})`,\n`ell table: [(0, 0), (1, -1), (2, -2), (3, -3), (5, -3), (7, -5), (9, -3), (11, -5), (15, -5), (27, -5)]`,\n`universal min: -5`.\n\n## 1.1.1d — every prime ideal of norm ≤ 10^7 is principal\nShared tools (`../common/h31_classgroup/`, see its README) with `data/classgroup_params.json`\n(`principal_bound` 10^7; the window entries there are not used by this section, whose bound is 1.1.1f):\n```\nCG=../common/h31_classgroup\npython3 $CG/witnesses.py data/classgroup_params.json --workers 2 --out work/witnesses.jsonl.gz\npython3 $CG/check_witnesses.py data/classgroup_params.json work/witnesses.jsonl.gz\n```\n`witnesses.py` uses the rule of the source program `certify_3723_principals_fast.py`: the `idealmin`\nelement if its cofactor is strict (Lemma C), else a generator proposed by `bnfisprincipal`;\n`check_witnesses.py` enumerates the prime ideals itself and checks every witness exactly.\nFull run (≈ 1 h with 2 workers, not repeated here): `ALL 664464 PRIME IDEALS OF NORM <= 10000000 ...`;\nthe source program on the same rule (our replay, PARI 2.17.4) gave `664464 = 588850` strict `+ 75614`\ndirect, by residue degree 1, 2, 3, 4, 5, 6, 12: `663993, 426, 20, 9, 5, 9, 2`. (The strict/direct split\ndepends on PARI's `idealmin`; at bound 30000 both programs give `3246 = 1853 + 1393` with PARI 2.17.4.)\nRun here: slice `--lo 2 --hi 20000` (all 2665 prime ideals of norm ≤ 10^7 over p ≤ 20000, including all\n471 of residue degree ≥ 2): generated and all checked.\n\n## 1.1.1e — prime-ideal norm census and root-count census\n* `1.1.1e_low_norm_census.py` (defaults `--cutoff 10000000 --support 10000000000`; source program\n `low_norm_census_3723.py`, defaults changed to this section's values): `a(q)` for all norms\n `q ≤ 10^7` (exact for `q ≤ 10^5`, all powers `q^m < 10^10`; 9154 right-endpoint bins above), and all\n prime ideals of residue degree ≥ 2 with norm in `(10^7, 10^10)`. Writes `data/3723_low_norm_census.json`,\n `data/3723_higher_norms.json` unless `--output/--higher-output` are given.\n Expected and obtained: `KNOWN_PRIME_IDEALS 664464 SMALL_EXACT_NORMS 5331 LARGE_POSITIVE_BINS 9154\n HIGHER_UNKNOWN_NORMS 4180 HIGHER_UNKNOWN_IDEALS 9589 SHA256 5bf750889b7397e552157ebb9704e78827995d7c496abec0777d67cdf959634e`;\n the regenerated files equal the ones in `data/`.\n* `1.1.1e_census_stream.py` (source `census_stream_3723.py`; defaults now `--start 10^7 --stop 1.1·10^8\n --block 10^7 --workers 2 --output data/3723_census_blocks`): for every prime `10^7 ≤ p < 1.1·10^8`,\n `r(p) = deg gcd(p_K, z^p − z)` (category 4 = three roots whose cube Frobenius also has three roots),\n binned on the grid `edges(10^7)` (ratio 1.0005). `--verify` recomputes every stored block and compares\n counts and stream hashes. Full run (≈ 7 min with 2 workers): `COMPLETE {\"start\": 10000000,\n \"stop\": 110000000, \"block_size\": 10000000, \"completed_blocks\": 10, \"total_primes\": 5638730, ...}`;\n root histogram `0: 2582146, 1: 1821326, 2: 563570, 3: 156431, 4: 278941, 5: 176800, 7: 29325,\n 9: 26194, 11: 0, 15: 3878, 27: 119` (printed by 1.1.1f).\n Run here: slice `--start 10000000 --stop 11000000 --block 1000000 --workers 1 --output work/census_slice`\n (61938 primes) and `python3 1.1.1e_compare_slice.py work/census_slice`:\n `bins compared 190 identical 190 different 0`.\n* Cross-check with the shared tool: `python3 ../common/h31_classgroup/count_ideals.py data/classgroup_params.json\n --support 10000001` counts all prime ideals of norm ≤ 10^7 and prints the SHA-256 of the same packed\n `(q, a(q))` stream (`5bf75088…634e`, 664464 ideals).\n* `data/` holds the outputs of the full 1.1.1e runs (`3723_low_norm_census.json` 298 KB,\n `3723_higher_norms.json` 61 KB, `3723_census_blocks/` 280 KB), so that 1.1.1f runs on its own.\n\n## 1.1.1f — explicit-formula lower bound 𝓑\n`1.1.1f_strict_window.py --require-positive` (source `verify_3723_strict_window.py`; reads\n`data/3723_strict_window.json` = the 128 integer heights, the census files above; writes\n`work/3723_strict_window_verified.json`): window with 128 equal cells on `[0, log 10^10]`, exact\nrational knots, triangle expansion of `𝒜(f)`, principal part `P_−`, higher-degree part `H`, census part\n`E` with the code bounds κ(r) of 1.1.1c, Dusart tail with `c = 36261/36260`, 224-bit Arb balls.\nExpected and obtained: `\"B_interval\": \"[0.02669177164848057422254271554072166630956050671295877265959286 +/- 2.69e-63]\"`,\n`\"rigorously_positive\": true`, `\"principal_ideal_count_required\": 664464`, `\"census_prime_count\": 5638730`,\n`\"higher_degree_nonprincipal_ideal_count\": 9589`, `\"principal_large_norm_bins\": 9154`, archimedean\n`[-1.0229409565916575887566… +/- 8.26e-66]`, `P_−` `[1.1435757488228141328217… +/- 1.50e-63]`.\n\n## 1.1.1g — height kernel identities\n`1.1.1g_kernel.py` (source `verify_3723_kernel.py`, without its file output): with sympy, the identity\n`(b−v)(v^2+bv+b^2−1) = (u−a)(u^3+u^2a+ua^2+a^3+1)` on `C`, the bidifferential identity, the cup matrix of the\nleading terms `(−t^4, −t, 1, 5t^−6, 2t^−3, −t^−2)` at `O`, the diagonal cancellation. (The relative order\n8 of the first Laurent correction is read off from `ρ^2(ρ−1) = −t^8 − t^9` in the text; the script records it.)\nExpected: `\"kernel_polynomial_identity_verified\": true`, `\"cup_matrix\"` = `[[0,−I],[I,0]]`,\n`\"diagonal_tangent_cancellation_verified\": true`.\n\n## 1.1.1h — quadratic Chabauty at p = 3; 1.1.1i — at p = 5\n`1.1.1h_qc3.gp`, `1.1.1i_qc5.gp` (independent reviewer code; input: the Riemann–Roch sections of the text).\nExpected (and obtained, identical to the reviewer's earlier output):\np = 3: `det = 3185`, `3M mod 729: [240, 62, 406; 62, 431, 692; 406, 692, 525] min v(M) = -1`,\n`I_B/3 mod 3: [1, 1, 0; 0, 2, 2; 1, 1, 2]`, reductions and extra roots\n`A: 1274 [4511, 1997, 707]`, `A: 4680 [5946, 6246, 1629]`, `B: 5882 [1542, 2265, 5452]`,\n`C1: 2620 [1475, 1164, 2808]`, `D: 1442 [1405, 250, 6058]`, `F1: 5667 [6218, 5349, 6041]` (mod 3^8);\np = 5: `beta mod 5^8 = 309087`, `det R = 452`, `5^-1 I_B mod 5: [3, 3, 2; 2, 0, 0; 1, 3, 0] v(det I_B) = 3`,\n`5M mod 5: [0, 3, 0; 3, 4, 0; 0, 0, 3]`, the seven extra roots `A 88061, B 51781, C1 291387, D 332159,\nF1 49757, P6 235554, P6 325535` with their coordinates mod 5^8.\n\n## 1.1.1j — finite fields, torsion, Mordell–Weil sieve\n1. `g++ -O2 -o work/count 1.1.1j_count.cpp`, then\n `for q in 3 5 109 233 277; do for r in 1 2 3; do ./work/count $q $r; done; done > work/counts.txt`\n and `python3 1.1.1j_jorder.py work/counts.txt` (Newton identities + functional equation):\n `#J(F_3) = 91, #J(F_5) = 226, #J(F_109) = 1303500, #J(F_233) = 14102424, #J(F_277) = 23117400`;\n counts `7, 13, 28`; `8, 34, 134`; `109, 12243, 1296898`; `259, 54447, 12648664`; `300, 77454, 21247200`.\n2. `python3 1.1.1j_sieve_tables.py q #J(F_q) [outdir]` (Sage, Hess-model Jacobian arithmetic) for\n q = 109, 233, 277: the {2,3,5}-primary subgroups generated by the projections of E, B, D (Cayley tables)\n and the primary coordinates of every point of `C(F_q)`; writes `outdir/sieve_data_q.json` (default `work/`).\n The three tables are also in `data/sieve/` (6–12 KB each); the tables regenerated here (59 s, 93 s,\n 154 s) are identical to them.\n3. `python3 1.1.1j_sieve_logic.py [dir]` (default `data/sieve`): the 6 × 7 pairs of extra roots (3-adic,\n 5-adic coordinates of 1.1.1h/i), the odd-primary conditions at 109 and 277, then the joint 2-adic\n condition at 109, 233, 277. Expected and obtained: subgroup orders `109: {2: 4, 3: 3, 5: 125}`,\n `233: {2: 8, 3: 81}`, `277: {2: 8, 3: 27, 5: 25}`; compatible `j` per `i` at 109\n `{0: [2, 6], 1: [0, 4, 5], 2: [0, 2], 3: [0, 4, 5], 4: [0, 2], 5: [0, 2]}` and at 277\n `{0: [4], 1: [], 2: [2, 6], 3: [], 4: [4], 5: [4]}` (only (2,2) survives both), `joint survivors: []`.\n\n## Origin\nReviewer scripts written independently of the source (1.1.1a–c, h–j); the source's own programs for\n1.1.1e, f, g (`low_norm_census_3723.py`, `census_stream_3723.py`, `verify_3723_strict_window.py`,\n`verify_3723_kernel.py`; only defaults and output paths changed); shared tools for 1.1.1d.\n" }, { "path": "anc/code/1.1.10/README.md", "size_bytes": 8978, "sha256": "585f922697ead50ef7d554d1d69378595cc84a5d0a4aec865a92c3d11dca0336", "mode": 420, "encoding": "utf-8", "text": "> **Provenance.** Certificate IDs retain the original numbering; use the map in the top-level README for the shorter paper. Dates, timings and statements such as “run here” below describe the supplied October 2026 archive, not new runs for this edition. New validation is reported only in the top-level README.\n\n# Code for section 1.1.10: x^4 + y^3 + 2x + y - 1 = 0\n\nCoordinates: the target coordinates `(x,y)`; `O = [0:1:0]`, `A = (-1,1)`, `B = (1,-1)`.\n\nThe code of this section is the complete replay package of the solution (equation index 9111). Its\nscripts are included **unchanged and under their original names**, because the driver `verify_all.py`\ncalls them by these names and the full replay reported in the paper was made with exactly these files.\nThe small inputs the scripts read from their own folder are kept next to them:\n`9111_descent_data.json` (input of 1.1.10a), `9111_strict_window.json` (window of 1.1.10f) and\n`9111_strict_window_verified.json` (the recorded result of 1.1.10f; the driver reads two reference values\nfrom it). Not included (large data, regenerated by the code): the recorded principal certificates\n(`9111_principals_1m.json`, `9111_principals_15m.json`), the norm tables `9111_low_norm_census.json`,\n`9111_higher_norms.json` and the 30 census blocks `9111_census_blocks/`. Also not included: the slower\nalternative principal certifier `certify_principals_9111.py` and the TeX/SHA256 files of the package.\n\n**Note:** the scripts write their output JSON next to themselves (for example `9111_chabauty.json`).\nRun them in a copy of this folder.\n\n## Requirements\n\nPython 3 with cypari2 (PARI/GP 2.15 or later; the package was made with 2.17.2), SymPy and python-flint\n(Arb, `nmod_poly`); see `requirements.txt` (cypari2 2.2.4, sympy 1.14.0, python-flint 0.9.0). No Sage, no\nMagma. Here: Python 3.11, cypari2 with PARI 2.17.4, SymPy 1.14.0, python-flint 0.9.0.\n\n## Full replay (run here on 14–15 October 2026: about 2.7 hours with 2 workers; key lines in `expected/1.1.10_full_replay.txt`)\n\n```\npython3 verify_all.py --workers W\n```\nruns, in this order, 1.1.10a, b, h, g, then c (fresh from norm 1), d, e and f, and asserts the final\nnumbers (971,856 principal prime ideals; 26,759 higher-degree ideals; 38,465,791 census primes;\n`B > 7/1000`). The stages c, d, e are heavy (several CPU-hours on two cores); the full run is reported in\nthe paper and was not repeated here.\n\n## Codes\n\n| id | script | what it computes | run here |\n|---|---|---|---|\n| 1.1.10a | `verify_9111_descent.py` (+ `9111_descent_data.json`) | bad primes, nodes, bitangent field, the 17 classes, dyadic image, images of A and B | yes, 23 s; output identical to the recorded JSON |\n| 1.1.10b | `verify_9111_code_bound.py` | character-sum minima over all 2825 subspaces of `F_2^6` | yes, 1 s; identical |\n| 1.1.10c | `certify_9111_principals_fast.py` | principality of all prime ideals of norm `<= 1.5*10^7` | slice (`--bound 20000`); full run (all 971,856 ideals, 2.2 h) in `expected/1.1.10_full_replay.txt` |\n| 1.1.10d | `low_norm_census_9111.py` | norm tables for the explicit formula | slice (cutoff 20000, support `10^8`); full run: same SHA-256 as recorded |\n| 1.1.10e | `census_stream_9111.py` | `r(p) = deg gcd(f, z^p - z)` for all p in `[1.5*10^7, 7.65*10^8)` | slice (two blocks of 10^5); full run: 38,465,791 primes, as recorded |\n| 1.1.10f | `verify_9111_strict_window.py` | the strict-character lower bound B (224-bit Arb) | full run: identical to the recorded result, B > 7/1000 |\n| 1.1.10g | `9111_finite_sieve.py` | point counts, Jacobian arithmetic, saturation, sieve (standard library) | yes, 33 s; identical |\n| 1.1.10h | `9111_chabauty.py` | Chabauty-Coleman data at 3 and 5 | yes, < 1 s; identical |\n\n\"identical\" = the JSON written here equals the recorded JSON of the package apart from timing fields.\nThe JSON outputs of this run are in `expected/1.1.10{a,b,g,h}_*.json`, stdout in `expected/1.1.10{a,g,h}.txt`.\n\n### 1.1.10a Geometry, bitangent field, dyadic descent data\n```\npython3 -I verify_9111_descent.py\n```\nKey output (`9111_descent_verified.json`): nodes p=31 `(22,14)` hessian 25; p=433 `(6,421)` hessian 72;\np=2341 `(2236,823)` hessian 1553; thickness 1 each; `\"bitangent_degree\": 27`, `\"signature\": [3, 12]`,\n`\"discriminant\": \"1033727079572205527447879379643917888211892763703115776\"`, `\"code_weights\": [12, 16]`,\n`\"known_independent_S_squareclasses\": 17`, dyadic dimensions 26 and 5, `\"local_dimension\": 3`,\n`\"union_rank\": 18`, `\"intersection_dimension\": 2`, `\"rational_point_image_rank\": 2`; stdout ends with\n`ALL EXACT GEOMETRY AND DYADIC ARITHMETIC ASSERTIONS PASSED; STRICT-CHARACTER RANK ARGUMENT IS SEPARATE`.\n\n### 1.1.10b Character-sum bound on the 27 labels\n```\npython3 -I verify_9111_code_bound.py\n```\n`\"isotropic_nonzero_vectors\": 27`, `\"number_of_subspaces\": 2825` (1, 63, 651, 1395, 651, 63, 1), minima\nby r: 0:0, 1:-1, 2:-2, 3:-3, 5:-3, 7:-5, 9:-3, 11:-5, 15:-5, 27:-5; `\"universal_lower_bound\": -5`,\n`\"all_checks_passed\": true` (`expected/1.1.10b_verify_9111_code_bound.json`).\n\n### 1.1.10c Principality of all prime ideals of norm <= 1.5*10^7\n```\npython3 -I certify_9111_principals_fast.py --bound 15000000 --workers W --output 9111_principals_replayed.json\n```\nFull-run expected values (recorded audit, `expected/1.1.10c_recorded.txt`): `\"all_passed\": true`,\n`\"prime_ideals_verified\": 971856`. Slice run here (`expected/1.1.10c_slice.txt`):\n`--bound 20000 --workers 1` -> `ALL PRIME IDEALS THROUGH NORM 20000 PROVED PRINCIPAL: 2246` (100 s).\n\n### 1.1.10d Norm tables for the explicit formula\n```\npython3 -I low_norm_census_9111.py --cutoff 15000000 --support 100000000000 \\\n --output 9111_low_norm_census_replayed.json --higher-output 9111_higher_norms_replayed.json\n```\nExpected (recorded, `expected/1.1.10d_recorded.txt`): `\"total_known_prime_ideals\": 971856` (27,293 exact\nsmall norms in 14,761 distinct values, 944,563 in 7,715 bins), `\"total_unknown_higher_degree_prime_ideals\": 26759`,\n`\"sha256_complete_known_norm_count_stream\": \"0c791ae6...a1a60b5\"`, polynomial discriminant\n`2^390 3^54 17^2 31^6 101^2 433^6 2341^6 2969^2 5227^2 924151^2`. Slice run here:\n`--cutoff 20000 --support 100000000` -> `KNOWN_PRIME_IDEALS 2246 ... HIGHER_UNKNOWN_IDEALS 1245` (consistent\nwith the 2246 ideals of 1.1.10c's slice).\n\n### 1.1.10e Root-count census on [1.5*10^7, 7.65*10^8)\n```\npython3 -I census_stream_9111.py --start 15000000 --stop 765000000 --block 25000000 --workers W \\\n --output 9111_census_blocks --verify\n```\nExpected (recorded, `expected/1.1.10e_recorded.txt`): 30 blocks, 38,465,791 primes; counts by r:\n0: 17610407, 1: 12425717, 2: 3851583, 3: 2971635, 5: 1200580, 7: 200672, 9: 177984, 15: 26479, 27: 734;\nthe 30 block hashes. Slice run here: `--start 15000000 --stop 15200000 --block 100000 --workers 1`\n-> 12,072 primes in two blocks.\n\n### 1.1.10f The strict-character lower bound\n```\npython3 -I verify_9111_strict_window.py --spec 9111_strict_window.json \\\n --low-norms 9111_low_norm_census_replayed.json --higher-norms 9111_higher_norms_replayed.json \\\n --census 9111_census_blocks --output 9111_strict_window_replayed.json --require-positive\n```\nExpected (recorded, `expected/1.1.10f_recorded.txt` = `9111_strict_window_verified.json`):\n`archimedean_interval -1.42016127359146944673...`, `principal_sum_interval 1.53547434901545447756...`,\n`higher_degree_lower_interval -8.78024795564985661011...e-6`, `census_lower_interval -0.0590216892970131645604...`,\n`dusart_tail_lower_interval -0.0489055193247049610909...`,\n`B_interval [0.00737708655431125532657831344099130323480498928108842128134655 +/- 4.37e-63]`,\n`\"rigorously_positive\": true`, `\"rigorously_greater_than_7_over_1000\": true`.\n\n### 1.1.10g Finite fields: point counts, Jacobian arithmetic, saturation, sieve\n```\npython3 -I 9111_finite_sieve.py\n```\nstdout (`expected/1.1.10g.txt`):\n```\nFIELD 3 COUNTS [4, 10, 28] JORDER 28\nFIELD 5 COUNTS [3, 23, 120] JORDER 64\nFIELD 11 COUNTS [18, 146, 1296] JORDER 2520\nFIELD 13 COUNTS [16, 216, 2128] JORDER 2912\nTWO_SATURATION [[1, 1], [0, 1]]\nMOD45_SURVIVOR [([3, 4], [(3, 13)])]\nMOD360_SURVIVOR [[228, 13]]\nSEVEN_SATURATION_AND_COEFFICIENTS [[1, 4, 2], [1, 3, 1]] [5, 1]\nPRIME13_ALL16_POINT_IMAGES_EXCLUDED\nALL FINITE SIEVE ASSERTIONS PASSED\n```\nJSON: `\"mod45_candidates\": [[33,3],[3,13]]`, the eight `mod360` candidates, `\"mod360_survivor\": [[228,13]]`,\n`\"seven_saturation_determinant\": 6`, `\"prime13_target_pairs\": [[68,29],[12,85],[180,141],[124,197]]`,\n`\"all_new_point_candidates_excluded\": true`.\n\n### 1.1.10h Chabauty-Coleman at 3 and 5\n```\npython3 -I 9111_chabauty.py\n```\n`logs3 [[0,78,51],[78,15,66]]`, `logs5 [[80,60,120],[115,120,110]]`, `pairs_mod45 [[33,3],[3,13]]`,\n`ALL EXACT LOCAL ASSERTIONS PASSED; FINITE SIEVE AND RANK PREMISES REMAIN SEPARATE`; the full JSON\n(`expected/1.1.10h_9111_chabauty.json`) has the trace, annihilator, residual-trace and extra-candidate data\nlisted in the code manifest (e.g. `annihilator_mod27 (26,17,1)`, `annihilator_mod25 (11,0,1)`).\n" }, { "path": "anc/code/1.1.11/README.md", "size_bytes": 7674, "sha256": "084a5d37ba1de0088db17c54baaba340e67bb65d2e7dcaa02c491beca6184f31", "mode": 420, "encoding": "utf-8", "text": "> **Provenance.** Certificate IDs retain the original numbering; use the map in the top-level README for the shorter paper. Dates, timings and statements such as “run here” below describe the supplied October 2026 archive, not new runs for this edition. New validation is reported only in the top-level README.\n\n# Code for section 1.1.11: x^4 + y^3 + xy - y - 1 = 0\n\nCoordinates: `u = -x`, `v = y`, `C: G(u,v) = u^4 + v^3 - (u+1)v - 1 = 0`, `O = (0:1:0)`,\n`P+ = (1,0)`, `P- = (-1,0)` in `(u,v)`; bitangents `v = m u + b`, normalised `h_m = m u + b - v`;\n`K = Q[m]/(f)`, degree 27, `(r1,r2) = (3,12)`, `|D_K| = 2^28 13839869^6`. The descent script writes the\ncurve as `F = -G` with `(x,y) = (u,v)` and `h_m = eps (y - m x - b)`, `eps = -1`, which is the same function.\n\nRun every command from this folder.\n\n## Requirements\n\n- PARI/GP 2.15 or later (`gp`); tested with 2.15.4.\n- 1.1.11e reads `../common/h31_descent_lib/` (`descent_lib.gp`, `descent_points.gp`).\n- 1.1.11b-d: Python 3, cypari2, python-flint, numpy and `../common/h31_classgroup/`.\n\n## Codes\n\n| id | script | what it computes | run here |\n|---|---|---|---|\n| 1.1.11a | `1.1.11a_geometry_field.gp` | smoothness, bad primes 2 and `q0 = 13839869`, the node mod `q0` and its thickness, f, signature, discriminant, primes over 2 | yes, < 1 s |\n| 1.1.11b | `../common/h31_classgroup/count_ideals.py` | prime ideals of each norm `q < 5*10^8` | slice (`p <= 10^6`); full run ~1 CPU-hour |\n| 1.1.11c | `.../witnesses.py`, `.../check_witnesses.py` | Lemma C witnesses for all prime ideals of norm `<= 10^7` | slice (`p <= 3000`); full run several CPU-hours |\n| 1.1.11d | `.../bound.py` | `B^-` (64 cells, `T = log(5*10^8)`) | no (needs the full counts) |\n| 1.1.11e | `1.1.11e_descent.gp` | basis of `K(S,2)`, norm, good primes, dyadic image, rank <= 1 | yes, 17 s CPU |\n| 1.1.11f | `1.1.11f_logs.gp` + `data/1.1.11f_h.gp` | `div(h) = 21 P+ + E - 24 O`, 3-adic logarithm, unit coefficients | yes, 2 s |\n\n### 1.1.11a Geometry, bad primes, field\n\n```\ngp -q 1.1.11a_geometry_field.gp < /dev/null\n```\nAffine singular points: `G_u = 0` gives `v = 4u^3`, then `G_v = 0` gives `48u^6 = u+1` (irreducible), and\nthe critical value is `-(5u^4+8u^3+3)/3`. Its factorisation in the critical algebra gives the node and its\nthickness; the singular locus mod 2, 3, q0 is computed from three resultants. Key lines:\n```\nRes(48u^6-u-1, 5u^4+8u^3+3) = [2, 6; 3, 1; 13839869, 1]; isprime(13839869): 1\n bad p = 13839869: prime of the critical algebra with residue degree 1, valuation of the critical value 1, Hessian valuation 0 -> 1 ordinary node(s) of thickness 1\nnode mod q0: u = 950455 is a root of 48u^6-u-1 mod q0: 1; v = 4u^3 mod q0 = 6126477\nintegral lift (u,v) = (950455, 4*950455^3): v_q0(G) = 1, G_u = 0, v_q0(G_v) = 1, v_q0(288u^5-1) = 0\np = 3: u-coordinates of singular points satisfy Mod(2, 3) (no singular point: smooth at 3)\ndegree-27 factor == f: 1; f irreducible: 1; real roots: 3\nnfcertify (empty = maximal order certified): []\nsignature [3, 12]; disc 1886391169645809642134939302441035242972848781787136 = [2, 28; 13839869, 6]\nprimes over 2 (e,f): [[2, 1], [10, 1], [5, 1], [5, 2]]\n```\n\n### 1.1.11b, 1.1.11c, 1.1.11d Class group\n\nParameters `data/classgroup_params.json`: f, `|D_K|`, `(3,12)`, `support = 5*10^8`,\n`principal_bound = 10^7`, the 64 window heights of the package file\n`008008_class_exact_input_500000000.json`, 224 bits. Full commands:\n```\nCG=../common/h31_classgroup; PRM=data/classgroup_params.json\npython3 -I $CG/count_ideals.py $PRM --workers W --out counts.npz # 1.1.11b\npython3 -I $CG/witnesses.py $PRM --workers W --out witnesses.jsonl.gz # 1.1.11c\npython3 -I $CG/check_witnesses.py $PRM witnesses.jsonl.gz # 1.1.11c\npython3 -I $CG/bound.py $PRM counts.npz # 1.1.11d\n```\n(Both witness scripts lift Python's 4300-digit limit for integer conversion themselves.) Slices run here (`expected/1.1.11b_slice.txt`, `1.1.11c_slice.txt`):\n```\nRANGE 2 1000000 SUPPORT 500000000 RATIONAL_PRIMES 78498 DISTINCT_NORMS 43726 PRIME_IDEALS 80457 ...\nALL 801 PRIME IDEALS OF NORM <= 10000000 OVER p IN [2, 3000] HAVE VALID WITNESSES; ...\n```\nExpected final numbers (paper and source TeX; the counts were also reproduced by an independent reviewer\ncount before this bundle was made): 26,350,721 prime ideals of norm `< 5*10^8`, of which 664,374 have norm\n`<= 10^7`; all 664,374 have witnesses; `B^- > 0.004909377030906924806352480651615121...`.\n\n### 1.1.11e 2-descent, rank <= 1\n\n```\ngp -q 1.1.11e_descent.gp < /dev/null\n```\nThe 19 classes are S-units proposed by `bnfinit`/`bnfsunit` (GRH is used only to propose them); the script\nchecks that their prime factors all lie over 2 and that they are independent (valuation parities and\nquadratic residue characters at auxiliary primes), so by Lemma 1.1.11class they form a basis of `K(S,2)`.\nLocal images at a good prime use all points of `C(F_p)`. At 2 the images of the four divisors of the text\nare computed with certified precision (`descent_points.gp`: every error term is bounded through the\nvaluations of all non-constant coefficients of the delta value as a polynomial in the error variables):\n(a) `P+ - O`, (b) `R1 - O` (`u = 5`, `v = 8s`), (c) `R2 - O` (`t = 2`), (d) `R3 + R3' - 2O` (`t = sqrt 2`).\nKey lines (`expected/1.1.11e.txt`):\n```\nnumber of S-unit classes (torsion, units, S-units): 19\nprimes above 2 (e,f): [[2, 1], [10, 1], [5, 1], [5, 2]]\nrank of the character matrix (independence): 19 of 19\nambient 19; after the norm condition: 17\np = 487: ... -> 10 p = 491: ... -> 7 p = 499: ... -> 5 p = 503: ... -> 4\norbit sizes over 2: [2, 10, 5, 10]\nunions of orbits of size 12 or 16 (orbit indices, size): List([[[1, 2], 12], [[1, 4], 12]]); the sum of the two has size 20 (not 12 or 16): dim J(Q_2)[2] <= 1, dim J(Q_2)/2J(Q_2) <= 4\ncertified square classes (ok, margin): (b) [1, 114] (c) [1, 116] (d) [1, 122]\nrank of the images of (a),(b),(c),(d): 4\nafter the dyadic condition: 1 => rank J(Q) <= 1\ndelta(P+ - O): nonzero 1; in the final space 1\ndelta(P- - O): nonzero 0; in the final space 1\n```\n\n### 1.1.11f Principal divisor and 3-adic logarithm\n\n```\ngp -q 1.1.11f_logs.gp < /dev/null\n```\nInput `data/1.1.11f_h.gp`: the 22 coefficients of h, copied from the package file\n`008008_principal_n21.json` (fields `monomials`, `h_coefficients`). Key lines:\n```\nmonomials: 22; maximal weight [24, 8, 0], next 23 => pole of order 24 at O\nRes_v(G,h) = c * [[u - 1, 21], [, 1]]\ngcd(G(1,v), h(1,v)) = 1/732305065375610740707623870238993*v; G_v(P+) = -2\nG(E) = 0: 1, h(E) = 0: 1; 21 + 3 = 24 zeros\nT(Z) = charpoly of t on E: 3-adic valuations [1, 2, 2, 0]; T mod 81 = Z^3 + 36*Z^2 + 9*Z + 60\ncharpoly of v on E: 3-adic valuations [-4, -1, 0, 0] (one Newton edge: v3(v) = -4/3)\nomega/dt to degree 9: [-t^4 + 3*t^9 + O(t^10), t - 2*t^6 + 3*t^9 + O(t^10), 1 - 2*t^5 + 3*t^8 + O(t^10)]\npower sums p1..p9 mod 81: [45, 63, 63, 54, 27, 27, 0, 0, 0]\nTr(I0,I1,I2) mod 27: [0, 18, 9]; L = -Tr/21 mod 9: [0, 3, 6]\ntail: min over 10<=n<=26 of n/3 - v3(n) = 3; n >= 27: v3(n) <= log_3 n <= n/3 - 3\nwith 120 terms (tail valuation >= 40): v3(L) = [2, 1, 1], L/3 mod 9 = [6, 4, 2]\nP+: omega/ds = [1/2, 1/2, 0], eta0 constant = 2 mod 3\nP-: omega/ds = [-1/4, 1/4, 0], eta0 constant = 2 mod 3\nO : omega/ds = [0, 0, 1], eta2 constant = 1 mod 3\n```\n\n## Sources\n\n1.1.11a and the dyadic part of 1.1.11e are new; the rest of 1.1.11e uses the reviewer descent library\n(`../common/h31_descent_lib/descent_lib.gp`); 1.1.11f combines reviewer checks with the data of the\npackage. 1.1.11b-d use the shared class-group tools.\n" }, { "path": "anc/code/1.1.12/README.md", "size_bytes": 8163, "sha256": "c911c93a12eb0a22cdb58d293a2c6af060387f56023dd772442b1b26e8174802", "mode": 420, "encoding": "utf-8", "text": "> **Provenance.** Certificate IDs retain the original numbering; use the map in the top-level README for the shorter paper. Dates, timings and statements such as “run here” below describe the supplied October 2026 archive, not new runs for this edition. New validation is reported only in the top-level README.\n\n# Code for section 1.1.12: x^4 - y^3 + xy + x - 1 = 0\n\nCoordinates: `u = -x`, `v = y`, `C: G(u,v) = u^4 - v^3 - uv - u - 1 = 0`, `O = (0:1:0)`, `P = (0,-1)`.\nBitangents `v = m u + b`; slopes: `m = 0` (the rational bitangent `v = -1`), the roots of `f10` and of `f16`;\n`F10 = Q[m]/(f10)`, `F16 = Q[m]/(f16)`. The descent script writes the curve as `F = -G` with\n`(x,y) = (u,v)` and `h_m = y - m x - b` (= `v - m u - b`, the normalisation of the text).\n\nRun every command from this folder.\n\n## Requirements\n\n- PARI/GP 2.15 or later (`gp`); tested with 2.15.4. 1.1.12f reads `../common/h31_descent_lib/`.\n- 1.1.12b: Python 3 (standard library only).\n- 1.1.12c-e: Python 3, cypari2, python-flint, numpy and `../common/h31_classgroup/`.\n\n## Codes\n\n| id | script | what it computes | run here |\n|---|---|---|---|\n| 1.1.12a | `1.1.12a_geometry_fields.gp` | smoothness, bad primes, nodes, slope factorisation, F10/F16 invariants, primes 2, 3, 13 | yes, < 1 s |\n| 1.1.12b | `1.1.12b_orthogonal_group.py` | the group H (1920), orbits, code, invariants, `H -> S5`, Frobenius at 3, dyadic decomposition groups | yes, 22 s |\n| 1.1.12c | `../common/h31_classgroup/*` with `data/classgroup_params_F10.json` | F10, `T = 6`: all 94 prime ideals of norm `< e^6` principal; `B^-` | yes (full), 1 s |\n| 1.1.12d | `count_ideals.py` with `data/classgroup_params_F16.json --support 8900001` | F16: prime ideals of norm `<= 8.9*10^6` | yes (full), 60 s |\n| 1.1.12e | `count_ideals.py`, `witnesses.py`, `check_witnesses.py`, `bound.py` with `data/classgroup_params_F16.json` | F16, `T = 16`: all prime ideals of norm `<= 2*10^5` principal; `B^-` | yes (full): 60 s count, 16 min witnesses, 1 min check, 5 s bound |\n| 1.1.12f | `1.1.12f_descent.gp` | 2-descent with `S = {2,3}`: basis, norm, good primes, 2-adic and 3-adic images, final dimension | yes, 7 s CPU |\n| 1.1.12g | `1.1.12g_points_F2.gp` | `#C(F_2), #C(F_4), #C(F_8)`, zeta numerator, `#J(F_2)` | yes, < 1 s |\n\n### 1.1.12a Geometry and the bitangent algebra\n```\ngp -q 1.1.12a_geometry_fields.gp < /dev/null\n```\nKey lines:\n```\ncritical algebra: ... = Mat([48*u^6 - 24*u^3 + u + 3, 1])\nfactor 48*u^6 - 24*u^3 + u + 3: norm of the critical value [2, -16; 3, -5; 5, 1; 313, 1; 14087, 1]; ...\n p = 5: ... valuation of the critical value 1, Hessian valuation 0 -> 1 ordinary node(s) of thickness 1\n p = 313: ... -> 1 ordinary node(s) of thickness 1\n p = 14087: ... -> 1 ordinary node(s) of thickness 1\np = 2: no singular point (smooth fibre)\np = 3: u-coordinates of singular points: Mat([Mod(1, 3)*u, 1])\nRes_b factors (degree, multiplicity): [[1, 1], [10, 1], [16, 1]]\n rational slope factor: m\nf10, f16 are factors: 1 1; irreducible: 1 1; 27 = 1 + 10 + 16: 1\nF10: signature [2, 4], |disc| = [2, 8; 5, 2; 313, 2; 14087, 2]; nfcertify: []\n p = 2: (e,f) = [[5, 1], [5, 1]] p = 3: [[1, 1], [1, 1], [1, 4], [1, 4]] p = 13: [[1, 1], [1, 1], [1, 2], [1, 6]]\nF16: signature [0, 8], |disc| = [2, 12; 5, 4; 313, 4; 14087, 4]; nfcertify: []\n p = 2: (e,f) = [[5, 1], [1, 1], [5, 2]] p = 3: [[1, 1], [1, 1], [1, 2], [1, 4], [1, 4], [1, 4]]\n```\n\n### 1.1.12b Finite group computations\n```\npython3 -I 1.1.12b_orthogonal_group.py\n```\nUses only `F_2^6` and `q`. Key lines:\n```\n|H| = 1920\norbit sizes on 27: [1, 10, 16]\ncode weights: [(0, 1), (12, 36), (16, 27)]\ndim J2^H = 1 dim E^H = 3 dim (E/J2)^H = 2\n|image in S5| = 120\n|kernel N| = 16\nN elementary abelian: True\nevery nonzero element of N has normal closure N: True\n1.1.12 Frob3: ... : #elements 240 projected S5 types Counter({(1, 4): 240}) fixed dims on V Counter({3: 240})\ndyadic decomposition groups with orbits (5,5),(1,5,10): (order, dim V^D) counts: Counter({(20, 2): 96})\n```\n\n### 1.1.12c, 1.1.12d, 1.1.12e Class groups of F10 and F16\n\nOne-cell windows (the triangle `f(x) = (1 - |x|/T)_+`); `bound.py --no-exp-terms` drops the two small\npositive exponential terms of the archimedean term, which gives the (slightly smaller) values stated in the\ntext. Commands:\n```\nCG=../common/h31_classgroup\n# 1.1.12c (F10, T = 6, principal_bound 403 >= every norm < e^6)\nP=data/classgroup_params_F10.json\npython3 -I $CG/count_ideals.py $P --out F10_counts.npz\npython3 -I $CG/witnesses.py $P --out F10_w.jsonl.gz\npython3 -I $CG/check_witnesses.py $P F10_w.jsonl.gz\npython3 -I $CG/bound.py $P F10_counts.npz --no-exp-terms\n# 1.1.12d (F16, all norms <= 8.9*10^6 > e^16)\nP=data/classgroup_params_F16.json\npython3 -I $CG/count_ideals.py $P --support 8900001 --out F16_counts_8900000.npz\n# 1.1.12e (F16, T = 16, principal_bound 2*10^5)\npython3 -I $CG/count_ideals.py $P --out F16_counts.npz # norms < e^16 (input of bound.py)\npython3 -I -X int_max_str_digits=0 $CG/witnesses.py $P --out F16_w.jsonl.gz\npython3 -I -X int_max_str_digits=0 $CG/check_witnesses.py $P F16_w.jsonl.gz\npython3 -I $CG/bound.py $P F16_counts.npz --no-exp-terms\n```\n(Some generators proposed by `bnfisprincipal` in F16 have more than 4300 digits; the witness scripts lift\nPython's conversion limit themselves, the flag `-X int_max_str_digits=0` is kept only for older copies.) Key lines (`expected/1.1.12c.txt`, `1.1.12d.txt`,\n`1.1.12e.txt`):\n```\nF10: RANGE 2 403 SUPPORT 404 ... PRIME_IDEALS 94\n ALL 94 PRIME IDEALS OF NORM <= 403 OVER p IN [2, 403] HAVE VALID WITNESSES; ...\n B_INTERVAL [0.08091779648991310992623240536831549010721 +/- 1.12e-42] POSITIVE True\nF16: RANGE 2 8900000 SUPPORT 8900001 RATIONAL_PRIMES 596222 DISTINCT_NORMS 293854 PRIME_IDEALS 596471 ...\n RANGE 2 8886110 SUPPORT 8886111 ... PRIME_IDEALS 595650 (norms < e^16)\n ALL 18074 PRIME IDEALS OF NORM <= 200000 ... HAVE VALID WITNESSES; ...\n B_INTERVAL [0.07457215844456170870910920052554107746597 +/- 1.26e-42] POSITIVE True\n```\nThe text (Lemma 1.1.12class) states that the 94 ideals of F10 have explicit generators (cofactor 1); the\nshared tool also accepts strict Lemma C witnesses with cofactor > 1 (76 of the 94 here), which proves the\nsame statement.\n\n### 1.1.12f 2-descent, rank 0\n```\ngp -q 1.1.12f_descent.gp < /dev/null\n```\nS-unit bases proposed by `bnfinit` (GRH only proposes; support and independence are checked exactly).\nLocal points: at 2, `P` (u = 0), the 2-adic points with `u = 2`, `u = 4`, the point `t = 2` of the disk\nat O, and `R + R' - 2O` with `u(R) = sqrt 2`; at 3, `P`, `u = 1`, `u = 3`. All non-rational points are\nknown to finite precision; `descent_points.gp` certifies that the precision fixes the square classes.\nAt P the Q-component of `delta(P - O)` is `1/3` (leading coefficient of `v + 1 = u^4/3 + ...`). Key lines:\n```\nS-unit classes per component (Q, F10, F16): [3, 12, 17]; total 32\nrank of the character matrix (independence): 32 of 32\nambient 32; after the norm condition: 29\np = 487 -> 26, 491 -> 19, 499 -> 17, 503 -> 12, 509 -> 12, 521 -> 11, 523 -> 9, 541 -> 8\ncertified (ok, margin): [[1, 58], [1, 54], [1, 58], [1, 55]] (2-adic) [[1, 36], [1, 35]] (3-adic)\nrank of the five 2-adic images: 5 (= dim J(Q_2)/2J(Q_2) = 2 + 3 from 1.1.12b)\nrank of the three 3-adic images: 3 (= dim J(Q_3)[2] = 3 from 1.1.12b)\nafter the 2-adic condition: 3\nafter the 3-adic condition: 1 => rank J(Q) + dim J(Q)[2] <= 1\ndelta(P - O): nonzero 1; in the final space 1\n```\n\n### 1.1.12g Points over F_2, F_4, F_8\n```\ngp -q 1.1.12g_points_F2.gp < /dev/null\n```\n```\n#C(F_2), #C(F_4), #C(F_8) = [2, 4, 8]\nnumerator of Z(C/F_2, T) = 8*T^6 - 4*T^5 - T + 1; #J(F_2) = L(1) = 4\nG(u,-1) = u^4 (4-fold contact of v = -1 at P); G_v(P) = -3\nv + 1 = 1/3*u^4 - 1/9*u^5 + 1/27*u^6 - 1/81*u^7 + O(u^8) at P (local parameter u)\n```\n\n## Sources\n\n1.1.12b and the descent library are reviewer code (independent review, scripts 07 and `descent_lib.gp`);\n1.1.12a, g and the point certification of 1.1.12f are new; 1.1.12c-e use the shared class-group tools.\nThe supplied package of this equation (case 3675/008114, Sage-based) is not used.\n" }, { "path": "anc/code/1.1.13/README.md", "size_bytes": 8355, "sha256": "ed9fd43298402b26a916d81c1481c65002cb5011bdde675cd6e8c716df85f56a", "mode": 420, "encoding": "utf-8", "text": "> **Provenance.** Certificate IDs retain the original numbering; use the map in the top-level README for the shorter paper. Dates, timings and statements such as “run here” below describe the supplied October 2026 archive, not new runs for this edition. New validation is reported only in the top-level README.\n\n# Code for section 1.1.13: x^4 + y^3 + xy + y - 1 = 0\n\nCoordinates: `v = -y`, `C: G(x,v) = x^4 - v^3 - (x+1)v - 1 = 0`, `O = (0:1:0)`,\n`P- = (-1,0)`, `P1 = (1,0)`, `P3 = (3,4)`, `Q+- = (1, alpha+-)` with `alpha^2 = -2`, `alpha+ = 1`,\n`alpha- = 2 (mod 3)`. Bitangents `v = m x + b`: the rational one `v = 2x - 2` (`m = 2`), the roots of `f10`\nand `f16`; `K10 = Q[m]/(f10)`, `K16 = Q[m]/(f16)`. Scripts d, e, f write the curve as `F = -G` with\n`y = v`; `h_m = y - m x - b`.\n\nRun every command from this folder.\n\n## Requirements\n\n- PARI/GP 2.15 or later (`gp`); tested with 2.15.4. 1.1.13d reads `../common/h31_descent_lib/`;\n 1.1.13e and 1.1.13f read `1.1.13ef_lib.gp`.\n- 1.1.13b: Python 3 (standard library). 1.1.13c: Python 3, cypari2, python-flint, numpy and\n `../common/h31_classgroup/`.\n\n## Codes\n\n| id | script | what it computes | run here |\n|---|---|---|---|\n| 1.1.13a | `1.1.13a_geometry_fields.gp` | smoothness, bad primes, node thickness (2 at 13, 1 at 17, 43, 257), slope factorisation, K10/K16 invariants, primes 2, 3, 5, 13 | yes, < 1 s |\n| 1.1.13b | `1.1.13b_orthogonal_group.py` | S5 images of the Frobenius types at 3 and 5, dyadic decomposition groups (rest as 1.1.12b) | yes, 24 s |\n| 1.1.13c | `../common/h31_classgroup/*` with `data/classgroup_params_K10.json`, `_K16.json` | K10 (`T = 5`) and K16 (`T = 8`): all prime ideals of norm `< e^T` principal; `B^-` | yes (full), 3 s |\n| 1.1.13d | `1.1.13d_descent.gp` | 2-descent with `S = {2,13}`: 28 -> 25 -> 7 -> 2, rank <= 1 | yes, 12 s CPU |\n| 1.1.13e | `1.1.13e_principal_divisors.gp` | `h1`, `h+`, `h-` and their divisors | yes, < 1 s |\n| 1.1.13f | `1.1.13f_logs.gp` | traces of tiny integrals, log table, annihilators, disk coefficients | yes, 3 s CPU |\n\n### 1.1.13a Geometry and the bitangent algebra\n```\ngp -q 1.1.13a_geometry_fields.gp < /dev/null\n```\nKey lines:\n```\ncritical algebra: -48*x^6 - x - 1 = Mat([48*x^6 + x + 1, 1])\nfactor 48*x^6 + x + 1: norm of the critical value [2, -10; 3, -9; 13, 2; 17, 1; 43, 1; 257, 1]; norm of the Hessian Mat([2236363, 1])\n p = 13: ... valuation of the critical value 2, Hessian valuation 0 -> 1 ordinary node(s) of thickness 2\n p = 17 / 43 / 257: ... -> 1 ordinary node(s) of thickness 1\np = 2: x-coordinates of singular points: Mat([Mod(1, 2)*x + Mod(1, 2), 1])\np = 3, 5, 7, 11: no singular point (smooth fibre)\np = 13: singular point (x,v) = [3, 4] mod 13; v_13(G) at the 13-adic critical point = 2, Hessian mod 13 = 7 -> ordinary node of thickness 2\nRes_b factors (degree, multiplicity): [[1, 1], [10, 1], [16, 1]]\n rational slope factor: m - 2\nK10: signature [2, 4], |disc| = [2, 8; 17, 2; 43, 2; 257, 2]; nfcertify: []\n p = 2: [[5, 1], [5, 1]] p = 3: [[1, 2], [1, 8]] p = 5: [[1, 4], [1, 6]] p = 13: [[1, 5], [1, 5]]\nK16: signature [0, 8], |disc| = [2, 12; 17, 4; 43, 4; 257, 4]; nfcertify: []\n p = 2: [[5, 1], [1, 1], [5, 2]] p = 3: [[1, 8], [1, 8]] p = 5: [[1, 4], [1, 12]] p = 13: [[1, 1], [1, 5], [1, 5], [1, 5]]\n```\n\n### 1.1.13b Finite group computations\n```\npython3 -I 1.1.13b_orthogonal_group.py\n```\nPrints the same general facts as 1.1.12b (`|H| = 1920`, orbits 1, 10, 16, code weights 12 and 16,\ninvariants 1, 3, 2, `H -> S5` onto with kernel of order 16) and:\n```\n1.1.13 Frob3: K10 (2,8), K16 (8,8) ... projected S5 types Counter({(1, 4): 240}) ...\n1.1.13 Frob5: K10 (4,6), K16 (4,12) ... projected S5 types Counter({(2, 3): 160}) ...\ndyadic decomposition groups with orbits (5,5),(5,1,10): (order, dim V^D) counts: Counter({(20, 2): 96})\n```\n\n### 1.1.13c Class groups of K10 and K16\n```\nCG=../common/h31_classgroup\nfor P in data/classgroup_params_K10.json data/classgroup_params_K16.json; do\n python3 -I $CG/count_ideals.py $P --out counts.npz\n python3 -I $CG/witnesses.py $P --out w.jsonl.gz\n python3 -I $CG/check_witnesses.py $P w.jsonl.gz\n python3 -I $CG/bound.py $P counts.npz --no-exp-terms\ndone\n```\nKey lines (`expected/1.1.13c.txt`):\n```\nK10: PRIME_IDEALS 32; ALL 32 PRIME IDEALS OF NORM <= 148 ... HAVE VALID WITNESSES\n B_INTERVAL [0.3436681640333619027158612633519258453768 +/- 4.00e-42] POSITIVE True\nK16: PRIME_IDEALS 465; ALL 465 PRIME IDEALS OF NORM <= 2980 ... HAVE VALID WITNESSES\n B_INTERVAL [0.02282020346427122159168636691400815448944 +/- 4.93e-42] POSITIVE True\n```\n(`--no-exp-terms` reproduces the values of the text; with the exponential terms the bounds are a little\nlarger. As in 1.1.12c, some witnesses are strict Lemma C witnesses rather than generators.)\n\n### 1.1.13d 2-descent, rank <= 1\n```\ngp -q 1.1.13d_descent.gp < /dev/null\n```\nLocal points at 2: (a) `P1 - O` with the Q-component `1/((v+x-1)^2+3x^2-5x+4)(P1) = 1/2` (P1 lies on the\nrational bitangent; the identity is checked), (b) the 2-adic point with `x = -3`, (c) `t = 2` in the disk\nat O, (d), (e) the divisors cut out on `v = -5x-7` and `v = -5x-5` by the irreducible quadratic factor over\n`Q_2` (mod 2 the quartic is `(x+1)^2 (x^2+x+1)`, two coprime quadratics, so Hensel applies; the other\nquadratic splits over `Q_2` and gives the same class). Key lines:\n```\nS-unit classes per component (Q, K10, K16): [3, 10, 15]; total 28\nrank of the character matrix (independence): 28 of 28\nambient 28; after the norm condition: 25\np = 487 -> 21, ..., p = 593 -> 7\nrank of the five 2-adic images: 5 (= dim J(Q_2)/2J(Q_2) = 2 + 3 from 1.1.13b)\nafter the 2-adic condition: 2 => rank J(Q) <= 2 - dim J(Q)[2] = 1\ndelta(P- - O): nonzero 0; in the final space 1\ndelta(P1 - O): nonzero 1; in the final space 1\ndelta(P1 + P3 - 2O): nonzero 1; in the final space 1\n```\n\n### 1.1.13e The principal divisors\n```\ngp -q 1.1.13e_principal_divisors.gp < /dev/null\n```\nThe functions are computed as the one-dimensional kernels of the vanishing conditions in `L(nO)` (they are\nunique up to a constant; the text takes their coefficients from the source), then every claim is checked\nexactly. Key lines:\n```\n== h1: 23 monomials, rank of the conditions 22 (kernel of dimension 1)\n two largest weights [25, 24] => pole of order exactly 25 at O\n order at P- = 0, at P1 = 22\n Res_v(G,h) = c * [\"(x - 1)^22\"] * U, deg U = 3; U irreducible over Q(sqrt-2): 1; U(1) != 0: 1, U(-1) != 0: 1\n residual points: F(E) = 0: 1, h(E) = 0: 1\n== h+: ... pole of order exactly 23; order at P- = 1, at P1 = 18, h(1, a) = Mod(0, a^2 + 2), h(1, -a) = \n Res_v(G,h) = c * [\"(x + 1)^1\", \"(x - 1)^19\"] * U, ...\n== h-: ... pole of order exactly 11; order at P- = 2, at P1 = 5, h(1, a) = Mod(0, a^2 + 2), h(1, -a) = \n Res_v(G,h) = c * [\"(x + 1)^2\", \"(x - 1)^6\"] * U, ...\n```\n(`h-` vanishes at `(1, a)` as an element of `Q(a)[x,v]`; in 1.1.13f it is embedded with `a -> alpha-`,\nso that its zero is `Q-`.)\n\n### 1.1.13f 3-adic logarithms\n```\ngp -q 1.1.13f_logs.gp < /dev/null\n```\nKey lines:\n```\nE1: x-coordinates mod 3: Mat([x + 2, 3]); ...\nE- (a -> alpha- = 2 mod 3): v3 of the charpoly coefficients of v: [1, 1, 1, 0] (3-Eisenstein: v3(v) = 1/3)\nlog(E1 - 3O) mod 81 = [39, 48, 21] (5 terms; omitted terms have valuation >= 5)\nlog(E+ - 3O) mod 81 = [69, 72, 69] (5 terms)\nlog(E- - 3O) mod 81 = [51, 57, 33] (18 terms; omitted terms have valuation >= 6)\nL = log(P1 - O) mod 27: [24, 15, 15]; v3(L) = [1, 1, 1]\nlog(Q+ - O) mod 27: [12, 9, 12]; log(Q- - O) mod 27: [18, 3, 0]\nA mod 9 = [5, 1, 0], A mod 3 = [2, 1, 0], B mod 3 = [2, 0, 1]\nA.log(Q+ - O) mod 27 = 15, A.log(Q- - O) mod 27 = 12; valuations 1, 1\nO (s = t): B.(0,0,-1) = -1 = 2 (mod 3)\nP- (s = v): A.(1,-1,0)/(4x^3-v) = 2\nP1 (s = x-1): B.(1,1,0)/(3v^2+x+1) = 1\nP3 (s = x-3): A.(1,3,4)/(3v^2+x+1) = 2\nQ+- (s = x-1): A.(1,1,alpha)/(3alpha^2+2) mod 3 = 0, 0 (A omega = 0 mod 3 at x = 1)\n```\n\n## Sources\n\n1.1.13b, e, f and the descent library are reviewer code (independent review, scripts 07, 20, 21 and\n`descent_lib.gp`), with relative paths and the term numbers of the text (5 and 18); 1.1.13a and the point\ncertification of 1.1.13d are new; 1.1.13c uses the shared class-group tools. The supplied package of this\nequation (case 3664/008166) proves the result by a different route and is not used.\n" }, { "path": "anc/code/1.1.14/README.md", "size_bytes": 12162, "sha256": "df415bbe252a2b54847a1782c5fbf130bde1a37cacf98282a3042f357ff42b89", "mode": 420, "encoding": "utf-8", "text": "> **Provenance.** Certificate IDs retain the original numbering; use the map in the top-level README for the shorter paper. Dates, timings and statements such as “run here” below describe the supplied October 2026 archive, not new runs for this edition. New validation is reported only in the top-level README.\n\n# Code for section 1.1.14: x^4 + y^3 + xy + x + 1 = 0\n\nNotation of the section: v = y + 1; plane quartic C: q2^2 = q1 q3 with q1 = vz, q2 = x^2,\nq3 = -(v^2 - 3vz + xz + 3z^2); genus-5 curve D in P^4 (x:v:z:r:s) cut out by\nQ1 = vz + 3r^2, Q2 = x^2 + 3rs, Q3 = q3 + 3s^2; points P+- = (0:0:1:0:+-1);\ngenus-2 curve H: eta^2 = f(t) = 3t^6 - 18t^5 + 36t^3 + 6t, J = Jac(H), G = (t^2 - 24t, 1729/2 t) = [B0 - A0]\nwith A0 = (0,0), B0 = (24, 20748).\n\n## Software and how the outputs were obtained\n\n| Software | Used for | Command (run inside this folder) |\n|---|---|---|\n| Magma | `*.m` (codes 1.1.14b, c) | paste the file into Magma (or `magma -b file.m`) |\n| PARI/GP 2.15.4 | `*.gp` | `gp -q -f FILE.gp < /dev/null` |\n| Python 3.11 + SymPy 1.14 | `1.1.14a_symbolic.py`, `1.1.14c_check_f7.py`, `1.1.14c_check_twist.py`, `1.1.14f_series.py` | `python3 -I FILE.py` |\n| Sage (the modular `sagemath-schemes` distribution, Python 3.11) | `1.1.14b_check_smooth.py`, `1.1.14c_check_jac7.py` | `python3 -I FILE.py` with the Sage interpreter |\n\nThe Sage scripts start with `from sage.all__sagemath_schemes import *`; in a full Sage installation\n`from sage.all import *` can be used instead.\n\n**Magma.** Magma is not installed on the machine where this folder was assembled. The Magma scripts were run\non the public Magma calculator (V2.29-10) on 14 October 2026, each in under 60 s. The files in `expected/`\nfor Magma scripts are the outputs of those runs, or the original output shipped with the source, as stated\nfor each script below. In our own runs a first line `MAGMA_GETVERSION 2 29 10` and a last line `CPU ...`\nwere printed by two statements added at submission (`GetVersion()`, `Cputime()`); they are not part of\nthe scripts.\n\n**PARI, Python, Sage.** Every such script in this folder was run here (October 2026) and its output is in\n`expected/