[petsc-users] Handling inactive (zero-occupancy) equations in large SNES systems