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