Implementato metodo checkCongruence (da testare a fondo)
Aggiunti attributi statici
Corretto loadFile e aggiunto main di prova