pub const braille_dots_12357: u32 = 0x1002857; // 16_787_543u32