An athlete finishes resistance training and consumes 25 g of protein within 30 minutes. Using the recommended 3:1 carbohydrate-to-protein mass ratio for post-exercise recovery, how many grams of carbohydrate should accompany that protein to meet the ratio?