How many movies have Augusto Rocha and Mário Patrocínio collaborated on?

They have not worked on any movies together...