BKT–37A Annex A to BKT–37 Key Numerical Calculations of the USC Model, Algebraic Verification, Monte Carlo Tests, and Comparison with ATLAS/CMS Channels | Synapse