Programas em Yao: Nanding