{"id":2313,"hash":"a8d1d077edee27849db7dd4c7a061a04a60d48a29152f25db69104f6a310b2af","degree":1871,"score":0.9766592057449254,"score_delta":2.0761170560490427e-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-143 record polynomial","created_at":"2026-08-26T04:38:28Z","submitter_name":"David Renshaw"}