With its first runs of colliding protons in 2008-2013, the Large Hadron Collider has now been providing a stream of…