← Session 35 — ii′-6-R: Lagarias 6.1 right-tail re-proof (E-032/D-073)
let's stop right here. Please save the current status as protocol. Record what we did in this session clearly so there won't any confusion later. We will continue when we get back.