Output delle formule di verifica