{"id":2170,"hash":"bfe7c41fcc2a5ef2482a93c994822aceab09e2c588bfcbf7c9a914504b5ed512","degree":1767,"score":0.9771010606110615,"score_delta":1.609823385706477e-14,"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-135 record polynomial","created_at":"2026-08-26T00:52:59Z","submitter_name":"David Renshaw"}