{"1": 0, "3": 1, "4": 2, "5": 3, "6": 4, "8": 5, "9": 6, "11": 7, "12": 8, "15": 9}