come posso caricare un vettore da un file esterno