Good news: @modulusshift did the calculations for me!https://digipres.club/@modulusshift/113924878526681049