{"id":2164,"hash":"33a41fdd4069a3f7e00b5eea1119ca249e90dba271ba222b8c7ddfa081fdf2ec","degree":1689,"score":0.9773268871150537,"score_delta":7.394085344003543e-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-129 record polynomial","created_at":"2026-08-26T00:52:54Z","submitter_name":"David Renshaw"}