{"id":2323,"hash":"580808287113bcf15fff2dc7720240b738289155f8a59ec81552c3ac069f9604","degree":1533,"score":0.9783750122931011,"score_delta":2.375877272697835e-14,"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 degree-117 record polynomial","created_at":"2026-08-26T04:38:34Z","submitter_name":"David Renshaw"}