https://gitweb.dealii.org/ - dealii.git/blob

   1
   2 DEAL:0:0::locally owned dofs :
   3 {[0,14]}
   4 DEAL:0:0::locally relevant dofs :
   5 {[0,17], [21,22]}
   6 DEAL:0:0::OK
   7
   8 DEAL:1:1::locally owned dofs :
   9 {[15,24]}
  10 DEAL:1:1::locally relevant dofs :
  11 {[2,3], [5,8], 10, [12,24]}
  12 DEAL:1:1::OK
  13