{"id":2339,"hash":"7ed0f309e35a7a7ec06cfb8c7cab8d7aa2d2416bcb79ee47e48356c2c95374dc","degree":1156,"score":0.9787106603488488,"score_delta":1.9539925233402755e-13,"log2_m":15,"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-88 record polynomial","created_at":"2026-08-26T04:38:44Z","submitter_name":"David Renshaw"}