Working on Rui 7x7 DT-TMM verification and using Sage to recreate
Rui's derivations