pub const braille_dots_1247: u32 = 0x100284b; // 16_787_531u32