pub const braille_dots_13: u32 = 0x1002805; // 16_787_461u32