Rigorous bounds on Lyapunov exponents of linked twist maps. (1st March 2023)