pub const braille_dots_123457: u32 = 0x100285f; // 16_787_551u32