potresti spezzettare il file in tanti file con un numero fisso di righe così nn dovrai effettuare tutto il conteggio ogni volta, ti basterà contare il numero dei file e moltiplicarlo x il numero di righe
potresti spezzettare il file in tanti file con un numero fisso di righe così nn dovrai effettuare tutto il conteggio ogni volta, ti basterà contare il numero dei file e moltiplicarlo x il numero di righe