\documentclass[12pt]{amsart}
\usepackage[portuges]{babel}
\usepackage{boxedminipage}
\usepackage[latin1]{inputenc}
% uncomment next line to get pdf files with hyperlinks
%\usepackage[pdftex,bookmarks=true]{hyperref}
%\input{defmath}

\input{deflogic}
\input{defseqs}
\input{defport}


\def\beq{\begin{equation}}
\def\eeq{\end{equation}}
\def\ibf#1{\item\textbf{#1}}

\def\solend{\begin{flushright}$\Box$\end{flushright}}
\def\solbeg{\begin{flushleft}\emph{Solu\cao.}\end{flushleft}}
\def\jst#1#2{\langle\text{#1} #2\rangle}
\title{Estruturas de Dados \\
Prova 1 \\ Beowulf}

\author{Raul H.C. Lopes}

\begin{document}
\begin{tabular}{|l|l|r|}\hline
Aluno & Matr\ii cula & Nota\\ \hline
Alexandre Vervloet & 99900234 & 9,4 \\
Arthur Antonio Brabosa SOARES JR & 99900278 & 5,5\\
Fabr\ii cio Vazole & 99900238 & 6,5 \\
Francisco de Assis Favarato Cutini & 99900185 & 5,5 \\
Hil\aa rio Seibel Junior & 99900247 & 8,9 \\
Jaci Alves de souza JR & 99900269 & 7,3 \\
Jociel Cavalcante Andrade & 99900269 & 8,9\\
Kellen Suamy Salla Barcelos & 99900245 & 6,9 \\
Luciana Lee & 99901466 & 7,0 \\
M\aa rcio da R\oo s Gomes & 99900177 & 9,6 \\
Mariella Berger & 9990282 & 7,6 \\
Michelle Siqueira Stange & 99900237 & 5,5 \\
Ot\aa vio Martins Carneiro & 99900173 & 7,3 \\
Patrick Barbosa da Silva & 99900266 & 7,5 \\
Suzana Dornelas Bassani & 99900273 & 5,5\\\hline
\end{tabular}
\section{Estruturas de dados}


\begin{tabular}{|l|l|r|}\hline
Aluno & Matr\ii cula & Nota\\ \hline
Daniel Guimar\~aes Santos & 9904329 & 7,1 \\
Gabriela Trazi Perim & 9903165 & 9,1 \\
Let\ii cia Rossetti Margoto & 99903128 & 9,2 \\
Felipe Gomes Carvalho & 99903095 & 8,6 \\
Rodrigo Alves Sarmento & 99903066 & 6,5 \\
Silvano Nogueira Buback & 99903088 & 6,5 \\
Suellen Marconsini Loureiro & 99903120 & 8,6 \\ \hline
\end{tabular}

\end{document}

