pub const braille_dots_1457: u32 = 0x1002859; // 16_787_545u32