{"id":2155,"hash":"c31fd83fa4192fb65f72d20ec6da686ea7b0163a7a358ac8f5cabdc13094937b","degree":1572,"score":0.9757982983896223,"score_delta":1.099120794378905e-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-120 record polynomial","created_at":"2026-08-26T00:52:47Z","submitter_name":"David Renshaw"}