spheres Sigma(p,q,pqn-1) with p*q*r <= 1000000: 102308 (102307 with HF_red != 0, 1 L-spaces); largest summand length 125; mismatches: 0
(run: python3 surgery_check.py 1000000; about 5 min CPU)
