{"id":188,"hash":"699bc19a5bcd15ec4ea9790db82d26b2b6a657aee2fd574cd3e627a1300cd9a2","degree":142,"score":0.9752714662901701,"score_delta":8.215650382226158e-15,"log2_m":13,"evaluator":"ladder-fft/2","status":"verified","generator":null,"submitter":null,"user_id":2,"note":"Tensor product of records #61 and #59; screened rho=0.975271464991238","created_at":"2026-08-25T19:02:49Z","submitter_name":"David Renshaw"}