{"id":2256,"hash":"2a0b66fa578ce4b6c43ce4a58b18ec3a2771ca5ac55adb064ebebed53c8cad4b","degree":3171,"score":0.9785276910606358,"score_delta":7.882583474838611e-15,"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 degree-243 record polynomial","created_at":"2026-08-26T04:37:53Z","submitter_name":"David Renshaw"}