Re: [petsc-dev] How To: petsc binary to matrix market format