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