{"id":2168,"hash":"9caa182da2a23c1438da0ede5ec079812ca4284125f8a1b92100cbf7dba4dfe3","degree":1741,"score":0.9770325008399292,"score_delta":2.7755575615628914e-15,"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-133 record polynomial","created_at":"2026-08-26T00:52:57Z","submitter_name":"David Renshaw"}