HPCH9-compressed ~ pixeldrain