Um registro do histórico começa com um número de sequência seguido pelo comando, como 895 ls. Qual programa awk extrai o nome do comando?