agda y - encontrado 63 coincidências