pub const braille_dots_1257: u32 = 0x1002853; // 16_787_539u32