pub const braille_dots_1357: u32 = 0x1002855; // 16_787_541u32