pub const braille_dots_123567: u32 = 0x1002877; // 16_787_575u32