Will the number of Republican Senate members who retire in 2026 be 12 or more? | SimpleFunctions