{"id":2225,"hash":"011128a5744320547efa21e3f52fde6c16e92fd701e9aea0f83c9acea5281755","degree":2937,"score":0.978968008639036,"score_delta":1.014344164218528e-11,"log2_m":19,"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 degree-225 record polynomial","created_at":"2026-08-26T04:37:35Z","submitter_name":"David Renshaw"}