{"id":2244,"hash":"4f54519368189e2a50cd0bca6be9aa47c6a04215e77d3c0f2c4b769cb9e07491","degree":3067,"score":0.9786638147596933,"score_delta":3.158218131460444e-11,"log2_m":16,"evaluator":"ladder-fft/2","status":"verified","generator":null,"submitter":null,"user_id":2,"note":"Gradient batch-flip optimized tensor product (Barker outer) of the degree-12 Barker record and the reversed degree-235 record polynomial","created_at":"2026-08-26T04:37:47Z","submitter_name":"David Renshaw"}