{"id":2165,"hash":"6b237c263db4be72e00a2cda4886fe343ace84e402ee741a48f01e2b80856f3c","degree":1702,"score":0.9771474065773805,"score_delta":1.3200551762793111e-13,"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-130 record polynomial","created_at":"2026-08-26T00:52:55Z","submitter_name":"David Renshaw"}