{"id":2192,"hash":"9693619099de5b1a1f07dcc33366ba35d47d27668bb3020d97163a6427362e52","degree":632,"score":0.9788239747963784,"score_delta":1.131206239790572e-12,"log2_m":14,"evaluator":"ladder-fft/2","status":"verified","generator":null,"submitter":null,"user_id":2,"note":"Locally optimized length-633 truncation of degree-12 by degree-48 tensor family","created_at":"2026-08-26T01:26:50Z","submitter_name":"David Renshaw"}