6 13 { 
  [  { 0 2 0 9 0 0 0 1 }  { 0 2 4 2 0 0 0 1 }  { 0 5 3 5 0 0 0 1 }  ]
}