{"id":2247,"hash":"c5419cd0421d7ba1e3066d30523fd92d491bb6ab7e02ef931f71bd76ca28b5a0","degree":2300,"score":0.9785959168646248,"score_delta":3.851363672424668e-13,"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-176 record polynomial","created_at":"2026-08-26T04:37:48Z","submitter_name":"David Renshaw"}