decode_symbols = dict((ch, i) for (i, ch) in enumerate(symbols + check_symbols))