61   std::vector<std::vector<std::vector<PetscInt>>> elem_dof_indices(size);  in main()
63     std::string   line;  in main()
64     std::ifstream dof_file(file[proc_id]);  in main()
66     while (std::getline(dof_file, line)) {  in main()
67       std::vector<PetscInt> dof_indices;  in main()
68       std::stringstream     sstream(line);  in main()
69       std::string           token;  in main()
70       while (std::getline(sstream, token, ' ')) dof_indices.push_back(std::atoi(token.c_str()));  in main()
88   std::vector<std::set<unsigned int>> sparsity(n_dofs);  in main()
91       std::vector<PetscInt> &dof_indices = elem_dof_indices[proc_id][k];  in main()
98   std::vector<PetscInt> n_nz(n_local_dofs);  in main()
99   std::vector<PetscInt> n_oz(n_local_dofs);  in main()
102 …for (std::set<unsigned int>::iterator iter = sparsity[i + first_local_index].begin(); iter != spar…  in main()
119   PetscInt n_nz_max = *std::max_element(n_nz.begin(), n_nz.end());  in main()
120   PetscInt n_oz_max = *std::max_element(n_oz.begin(), n_oz.end());  in main()
139     std::vector<PetscInt> &dof_indices = elem_dof_indices[rank][k];  in main()
142     std::vector<PetscScalar> ones(dof_indices.size() * dof_indices.size(), 1.);  in main()