{"id":2251,"hash":"95a96989afeea1dfa94e55d4db1d62e4ad32486e3e71030aeeb462a04862d180","degree":3015,"score":0.9785577938800003,"score_delta":2.5435209494162336e-12,"log2_m":17,"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-231 record polynomial","created_at":"2026-08-26T04:37:51Z","submitter_name":"David Renshaw"}