certificate file: certificate_Sigma_30_47_83.txt
  sha256 = 6d7130dbc0ecf948286ed5d2b7e51a2cdad322da0588a97f3c9ddf7a43f72943
  1707 turning points; indices 0..109230; min tau = -12755; max tau = 1
checks 1-4 passed (Seifert data, tau, symmetry/tail spot checks, certificate valid)
number of finite bars = 853 ; total rank = 4864
HF_red = T(16)^1 + T(14)^10 + T(13)^16 + T(12)^24 + T(11)^36 + T(10)^46 + T(9)^56 + T(8)^66 + T(7)^76 + T(6)^82 + T(5)^84 + T(4)^86 + T(3)^88 + T(2)^90 + T(1)^92
ell = 16 ; lengths in 1..ell that do not occur: [15]
RESULT: F[U]/U^15 is not a summand, so HF^-(Y) fails the strong geography restriction
