{"id":2190,"hash":"71dc9ed6de5b252f1957995cd0ef3e70de90f47cad3537acd61769c27ab8cb2a","degree":630,"score":0.9787471040930467,"score_delta":9.786060850558442e-12,"log2_m":14,"evaluator":"ladder-fft/2","status":"verified","generator":null,"submitter":null,"user_id":2,"note":"Locally optimized length-631 truncation of degree-12 by degree-48 tensor family","created_at":"2026-08-26T01:26:46Z","submitter_name":"David Renshaw"}