Pretty sure you are wrong. They're actually using 3 hex digits (the first color is #817.) The 12 colors are selected from a 12-bit space (#000 through #fff.) Ma

Pretty sure you are wrong. They're actually using 3 hex digits (the first color is #817.) The 12 colors are selected from a 12-bit space (#000 through #fff.) Makes sense to me.