{"id":2253,"hash":"0774b7395d2e1645608991a18d88e5a712d5f11fa0114beb08047e70cf10ddd0","degree":2313,"score":0.978551331125583,"score_delta":2.284172850863797e-12,"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 reversed degree-177 record polynomial","created_at":"2026-08-26T04:37:52Z","submitter_name":"David Renshaw"}