Input (grade 13): Waldemar Aureliano de Oliveira Filho, usually known as Mazinho (born 26 December 1965 in Rio de Janeiro, Brazil), is a retired Brazilian football player.
Output (grade 9): Mazinho Oliveira (born 26 December 1965) is a former Brazilian football player.