reverseEncode

fun reverseEncode(rangeEncoder: SevenZip.RangeEncoder, symbol: Int)