Table 2. Mapping of K to [1 .. 24]