5 \usepackage{amsmath}

     5 \usepackage{amsmath}

     6 \usepackage{amssymb}

     6 \usepackage{amssymb}

     7 \usepackage{mathpartir}

     7 \usepackage{mathpartir}

     8 \usepackage{tikz}

     8 \usepackage{tikz}

     9 \usepackage{pgf}

     9 \usepackage{pgf}

    10 \usepackage{pdfsetup}

    11 \usepackage{pdfsetup}

    11 \usepackage{ot1patch}

    12 \usepackage{ot1patch}

    12 \usepackage{stmaryrd}

    13 \usepackage{stmaryrd}

    13 \usepackage{url}

    14 \usepackage{url}

    14 \usepackage{color}

    15 \usepackage{color}