pub const braille_dots_137: u32 = 0x1002845; // 16_787_525u32