Arithmetic compression seems to be done! :-DDD