pub const braille_dots_1234: u32 = 0x100280f; // 16_787_471u32