pub const braille_dots_145: u32 = 0x1002819; // 16_787_481u32