let dataExample k = vect64 (diagDepl data.(k))