{"id":177,"hash":"3468172f976956e29a607a113b0bce77fbeeb4d3fcf23c2480e7f46d1e2557bf","degree":337,"score":0.9768764577389016,"score_delta":2.9976021664879227e-15,"log2_m":13,"evaluator":"ladder-fft/2","status":"verified","generator":null,"submitter":null,"user_id":2,"note":"Tensor product of records #61 and #42; screened rho=0.976876457010803","created_at":"2026-08-25T19:02:41Z","submitter_name":"David Renshaw"}