a codec for compressing special integer sequences