{"id":183,"hash":"2ec89d43cc317a5ae7c788f303f90352cc6bd3d1f90df3fa3a1644e57ed340c5","degree":675,"score":0.975880531366119,"score_delta":2.220446049250313e-16,"log2_m":14,"evaluator":"ladder-fft/2","status":"verified","generator":null,"submitter":null,"user_id":2,"note":"Tensor product of records #93 and #61; screened rho=0.975880532212614","created_at":"2026-08-25T19:02:44Z","submitter_name":"David Renshaw"}