Certified Lookbehind Radius for Byte-Pair Encoding | HACKOBAR_