How many movies have Guilherme Amorim Lopes and João Mendes Pinto collaborated on?

They have not worked on any movies together...