"Instituto de Matemática Pura e Aplicada"@pt . "1"^^ . . . . . . . .