{"id":2160,"hash":"5efb1fe7ba81811af5db394b596ec4a9f96e1973658513706f4e147ed023aa24","degree":1637,"score":0.976891280950518,"score_delta":5.551115123125783e-16,"log2_m":15,"evaluator":"ladder-fft/2","status":"verified","generator":null,"submitter":null,"user_id":2,"note":"Tensor product of the degree-12 Barker record and the degree-125 record polynomial","created_at":"2026-08-26T00:52:51Z","submitter_name":"David Renshaw"}