pub const braille_dots_13457: u32 = 0x100285d; // 16_787_549u32