pub const braille_dots_457: u32 = 0x1002858; // 16_787_544u32