{"id":2194,"hash":"22c10af17da1e108689f817d06e8356e66284958ef66bd1398564d18bf7a49f6","degree":634,"score":0.9788298174894797,"score_delta":2.7533531010703882e-14,"log2_m":14,"evaluator":"ladder-fft/2","status":"verified","generator":null,"submitter":null,"user_id":2,"note":"Locally optimized length-635 truncation of degree-12 by degree-48 tensor family","created_at":"2026-08-26T01:26:54Z","submitter_name":"David Renshaw"}