Input (grade 12): Antônio Carlos Santos (born 8 June 1964 in Rio de Janeiro, Brazil) is a retired Brazilian footballer who played the bulk of his career for Club América in Mexico City.
Output (grade 7): Antônio Carlos Santos (born 8 June 1964) is a former Brazilian football player.