pub const braille_dots_157: u32 = 0x1002851; // 16_787_537u32