arithmetic encoding and decoding