Analysis of short-circuit transients in the LHC main dipole circuit. (June 2020)