Input (grade 11): Before the transfer, the Brazilian Federal District used to be the municipality of Rio de Janeiro.
Output (grade 10): Before this, the Brazilian Federal District used to be the municipality of Rio de Janeiro.