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