\{0, 1, \ldots, 13\}