Alice has two standard dice with labels 1 thru 6. When she rolls them and adds their labels, she gets a distribution over integers in [2, 12]. Bob has nine cards, each labeled with some real number. When Bob chooses two cards (without replacement) and adds their labels, he gets exactly the same distribution over integers in [2, 12] as Alice gets by rolling her dice. What are the labels on Bob's nine cards?