What the hell are you talking about? There is no “discharge petition” in the US Senate by which 51 Senators can override the Majority Leader. That only exists in the House. The Senate Majority Leader has full and complete control over what gets scheduled for a vote. There’s no way around that.
And, as you said, those…