pub const braille_dots_134567: u32 = 0x100287d; // 16_787_581u32