pub const braille_dots_135: u32 = 0x1002815; // 16_787_477u32