Dati di input per il controllo deterministico
Il file esterno di input per il passo di check deve essere scelto tramite l'apposita maschera. Una volta selezionato con "apri" o cliccando due volte sul nome del file scelto, viene generato nella cartella di progetto il file tabgran.prm che contiene il nome dei file che saranno utilizzati nel passo di check
I record devono essere di lunghezza fissa.