{"id":2151,"hash":"700d53748ab70b88b199a0431494c92e56c40da5807a8ffacb7bf72f83d6862b","degree":1520,"score":0.9767658990563378,"score_delta":8.881784197001252e-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-116 record polynomial","created_at":"2026-08-26T00:52:44Z","submitter_name":"David Renshaw"}