Rerun of the packaged programs in the second independent verification run (AI-assisted), 2026-10-03.

The source archive was extracted twice. In one copy the programs were run again; the outputs were compared
with the saved outputs of the other copy. Lines that report running times were ignored in the comparison.
'identical' means: the rerun output is identical to the saved output apart from running times.
Saved outputs used for the comparison: author/rerun (single programs), author/outputs (the box searches and
the structured search), independent_run/out (box searches: table parameters and raw output with all candidate
collisions; structured searches: chain_struct.log).

author: kfield2_selftest.txt           identical  python3 kfield2.py
author: check_identities.txt           identical  python3 check_identities.py
author: check_irreducible.txt          identical  python3 check_irreducible.py
author: descent2_p2_r3.txt             identical  python3 descent2.py 3
author: descent2_p2_r4.txt             identical  python3 descent2.py 4
author: descent2_p2_r5.txt             identical  python3 descent2.py 5
author: descent2_p2_r6.txt             identical  python3 descent2.py 6
author: descent2_p2_r5_nosym_nop4.txt  identical  python3 descent2.py 5 --nosym --nop4
author: descent2_p2_r6_nop4.txt        identical  python3 descent2.py 6 --nop4
author: check_local_analysis_p3.txt    identical  python3 check_local_analysis.py 3 4 130
author: check_local_analysis_p5.txt    identical  python3 check_local_analysis.py 5 3 130
author: check_local_analysis_p7.txt    identical  python3 check_local_analysis.py 7 3 130
author: descent2_p2_r6_nosym.txt       identical  python3 descent2.py 6 --nosym
author: descent2_p2_all7.txt           identical  python3 descent2_all7.py
author: validate2.txt                  identical  python3 validate2.py
author: structured_control.txt         identical  structured_search.py p 20 300 4 10 control (p = 2, 3, 5)
author: boxsearch_all.txt              identical  ./run_boxsearch.sh
author: boxsearch_big.txt              identical  ./run_boxsearch_big.sh
author: boxsearch_flat.txt             identical  ./run_boxsearch_flat.sh
author: structured_search.txt          identical  ./run_structured.sh
author: boxsearch_big_p11.txt          identical  (written by the scripts above)
author: boxsearch_big_p13.txt          identical  (written by the scripts above)
author: boxsearch_big_p2.txt           identical  (written by the scripts above)
author: boxsearch_big_p3.txt           identical  (written by the scripts above)
author: boxsearch_big_p5.txt           identical  (written by the scripts above)
author: boxsearch_big_p7.txt           identical  (written by the scripts above)
author: boxsearch_flat_p2_12x100.txt   identical  (written by the scripts above)
author: boxsearch_flat_p2_200x6.txt    identical  (written by the scripts above)
author: boxsearch_flat_p3_10x60.txt    identical  (written by the scripts above)
author: boxsearch_flat_p3_120x5.txt    identical  (written by the scripts above)
author: boxsearch_flat_p5_70x4.txt     identical  (written by the scripts above)
author: boxsearch_flat_p5_8x40.txt     identical  (written by the scripts above)
independent_run: w2_128x64.mk.txt      identical  ./runbox.sh w2_128x64 2 128 64 32 1001 33
independent_run: w2_128x64.box.txt     identical  (same run)
independent_run: w3_80x40.mk.txt       identical  ./runbox.sh w3_80x40 3 80 40 20 1002 33
independent_run: w3_80x40.box.txt      identical  (same run)
independent_run: w5_64x31.mk.txt       identical  ./runbox.sh w5_64x31 5 64 31 16 1003 33
independent_run: w5_64x31.box.txt      identical  (same run)
independent_run: B_w7_52x25.mk.txt     identical  ./runbox.sh B_w7_52x25 7 52 25 12 1004 33
independent_run: B_w7_52x25.box.txt    identical  (same run)
independent_run: B_w2_400x8.mk.txt     identical  ./runbox.sh B_w2_400x8 2 400 8 32 1005 33
independent_run: B_w2_400x8.box.txt    identical  (same run)
independent_run: B_w2_16x200.mk.txt    identical  ./runbox.sh B_w2_16x200 2 16 200 32 1006 33
independent_run: B_w2_16x200.box.txt   identical  (same run)
independent_run: B_w3_250x6.mk.txt     identical  ./runbox.sh B_w3_250x6 3 250 6 20 1007 32
independent_run: B_w3_250x6.box.txt    identical  (same run)
independent_run: B_w3_12x120.mk.txt    identical  ./runbox.sh B_w3_12x120 3 12 120 20 1008 32
independent_run: B_w3_12x120.box.txt   identical  (same run)
independent_run: B_w5_120x5.mk.txt     identical  ./runbox.sh B_w5_120x5 5 120 5 16 1009 32
independent_run: B_w5_120x5.box.txt    identical  (same run)
independent_run: B_w5_10x70.mk.txt     identical  ./runbox.sh B_w5_10x70 5 10 70 16 1010 32
independent_run: B_w5_10x70.box.txt    identical  (same run)
independent_run: B_w7_90x4.mk.txt      identical  ./runbox.sh B_w7_90x4 7 90 4 12 1011 32
independent_run: B_w7_90x4.box.txt     identical  (same run)
independent_run: B_w7_8x50.mk.txt      identical  ./runbox.sh B_w7_8x50 7 8 50 12 1012 32
independent_run: B_w7_8x50.box.txt     identical  (same run)
independent_run: B_w11_30x14.mk.txt    identical  ./runbox.sh B_w11_30x14 11 30 14 12 1013 32
independent_run: B_w11_30x14.box.txt   identical  (same run)
independent_run: B_w13_26x12.mk.txt    identical  ./runbox.sh B_w13_26x12 13 26 12 10 1014 32
independent_run: B_w13_26x12.box.txt   identical  (same run)
independent_run: C_w2_256x24.mk.txt    identical  ./runbox.sh C_w2_256x24 2 256 24 32 2001 33
independent_run: C_w2_256x24.box.txt   identical  (same run)
independent_run: C_w2_40x120.mk.txt    identical  ./runbox.sh C_w2_40x120 2 40 120 32 2002 33
independent_run: C_w2_40x120.box.txt   identical  (same run)
independent_run: D_w3_30x80.mk.txt     identical  ./runbox.sh D_w3_30x80 3 30 80 20 2003 33
independent_run: D_w3_30x80.box.txt    identical  (same run)
independent_run: chain_struct.log      identical  ./chain_struct.sh

67 comparisons, 0 not identical or not run.

Not run again: the control runs of independent_run (T2-T5, T10-T12, PL2-PL7, DM3, LS, cmp, fc2, w2_64x32,
w3_32x16, w5_26x13, w7_20x10), whose command lines are not recorded in the package, and the programs in
independent_run/checks_of_author_programs. The control f9_control.py was run again (output at the end).

Output of f9_control.py:
    f' has 7 terms: [((0, 0), (1, 0)), ((0, 1), (0, 1)), ((0, 2), (1, 0)), ((2, 1), (0, 1)), ((4, 0), (1, 0)), ((4, 1), (0, 2)), ((4, 2), (1, 0))]
    g = a f'(x,y) f'(x,-y) has 6 terms: [((0, 0), (1, 0)), ((0, 4), (1, 0)), ((2, 2), (2, 0)), ((10, 2), (1, 0)), ((12, 0), (1, 0)), ((12, 4), (1, 0))]
    rows of g (y-degree: x-exponents): {0: [0, 12], 2: [2, 10], 4: [0, 12]}
    disc_y f' = b'^2 - a^2 : [(0, (1, 0)), (2, (1, 0)), (4, (2, 0)), (6, (2, 0)), (8, (1, 0))]
