Round 37：三份深度 32 證書逐葉就是此處自己的；cell 33 延拓到深度 42 也是，每個檢查點與 166 個分段檔逐位元組相同；但合併從不檢查它的定理所依賴的前提

十二項判定中十一項 PASS；MPFR 標記重播 UNMEASURED——記錄沒有附上，其算術也不在此處。