{"id":2254,"hash":"7f3b2944ae45618ca8e9aeec1c49e754ae2b72841534ea40d66ee60481a02a82","degree":2534,"score":0.9785488195053625,"score_delta":1.2356782264077992e-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-alternated degree-194 record polynomial","created_at":"2026-08-26T04:37:52Z","submitter_name":"David Renshaw"}