# Independent run 2 scanner (run2_scan.c, compiled with clang -O2) -- Proposition 1.7 re-run, 2026-09-30T10:44:11Z
## n=3, A<=200000 (5 parts)
DONE n=3 Amax=200000 part 0/5: tuples_enumerated=423020 analysed=84604 failures=0
DONE n=3 Amax=200000 part 1/5: tuples_enumerated=423020 analysed=84604 failures=0
DONE n=3 Amax=200000 part 2/5: tuples_enumerated=423020 analysed=84604 failures=0
FAIL A=117030 Sigma(30,47,83) ell=16 rank=4864 missing: 15 top: 16^1 14^10 13^16
DONE n=3 Amax=200000 part 3/5: tuples_enumerated=423020 analysed=84604 failures=1
DONE n=3 Amax=200000 part 4/5: tuples_enumerated=423020 analysed=84604 failures=0
## n=4, A<=600000 (9 parts)
DONE n=4 Amax=600000 part 0/9: tuples_enumerated=401831 analysed=44648 failures=3
DONE n=4 Amax=600000 part 1/9: tuples_enumerated=401831 analysed=44648 failures=0
DONE n=4 Amax=600000 part 2/9: tuples_enumerated=401831 analysed=44648 failures=1
DONE n=4 Amax=600000 part 3/9: tuples_enumerated=401831 analysed=44648 failures=2
DONE n=4 Amax=600000 part 4/9: tuples_enumerated=401831 analysed=44648 failures=1
DONE n=4 Amax=600000 part 5/9: tuples_enumerated=401831 analysed=44648 failures=0
DONE n=4 Amax=600000 part 6/9: tuples_enumerated=401831 analysed=44648 failures=3
DONE n=4 Amax=600000 part 7/9: tuples_enumerated=401831 analysed=44648 failures=1
DONE n=4 Amax=600000 part 8/9: tuples_enumerated=401831 analysed=44647 failures=1
## n=4 failures sorted by A
FAIL A=117030 Sigma(2,15,47,83) ell=16 rank=8504 missing: 15 top: 16^1 14^10 13^16
FAIL A=117030 Sigma(3,10,47,83) ell=16 rank=9154 missing: 15 top: 16^1 14^10 13^16
FAIL A=117030 Sigma(5,6,47,83) ell=16 rank=9414 missing: 15 top: 16^1 14^10 13^16
FAIL A=129580 Sigma(4,19,31,55) ell=6 rank=10436 missing: 5 top: 6^1 4^116 3^890
FAIL A=257070 Sigma(2,19,55,123) ell=22 rank=18704 missing: 21 top: 22^1 20^4 19^10
FAIL A=350610 Sigma(2,29,65,93) ell=11 rank=25539 missing: 10 top: 11^1 9^70 8^258
FAIL A=390425 Sigma(7,23,25,97) ell=11 rank=32140 missing: 10 top: 11^1 9^41 8^240
FAIL A=410550 Sigma(2,23,75,119) ell=24 rank=29892 missing: 23 top: 24^1 22^10 21^16
FAIL A=455952 Sigma(16,21,23,59) ell=12 rank=37833 missing: 11 top: 12^2 10^25 9^228
FAIL A=503100 Sigma(4,13,43,225) ell=7 rank=40476 missing: 6 top: 7^2 5^88 4^607
FAIL A=505050 Sigma(3,37,50,91) ell=19 rank=39715 missing: 18 top: 19^1 17^18 16^42
FAIL A=522060 Sigma(3,5,77,452) ell=10 rank=40210 missing: 9 top: 10^1 8^182 7^206
## n=5, A<=250000
DONE n=5 Amax=250000 part 0/1: tuples_enumerated=9556 analysed=9556 failures=0
## n=6, A<=130000
DONE n=6 Amax=130000 part 0/1: tuples_enumerated=46 analysed=46 failures=0
## n=7, A<=600000
DONE n=7 Amax=600000 part 0/1: tuples_enumerated=2 analysed=2 failures=0
spheres with A=117030: 36 failures: ['30,47,83', '2,15,47,83', '5,6,47,83', '3,10,47,83']
