Rio de Janeiro (1968) is 56 minutes long.