label_lexico.v 12.9 KB