{"id":2248,"hash":"80449c6d4f53583bb1ef0cc3905a21fa64a725dbd4538e092140a1bccc9929df","degree":1897,"score":0.9785877060616046,"score_delta":2.1678214778830807e-12,"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 reversed-alternated degree-145 record polynomial","created_at":"2026-08-26T04:37:49Z","submitter_name":"David Renshaw"}