Statistics of A revision of the names of foliicolous lichenized fungi published by Batista and co-workers between 1960 and 1975