Update fig006_divint.pgf