<commit_before><!DOCTYPE html>
<html>
<head>
    <title><?php if(isset($title)) echo $title?></title>
    <link href="<?=base_url()?>public/css/style.css" rel="stylesheet" type="text/css" />
    <link href="<?=base_url()?>public/css/bootstrap.min.css" rel="stylesheet" type="text/css" />
</head>
<body>
    <div id="header">
        <div id="nombreAplicacion">
            <h3><?=APP_NAME?></h3>
        </div>

       <nav id="menu">
           <ul id="top_menu">

               <a href="<?=base_url()?>welcome/cerrarSesion"><li>Salir</li></a>
               <a href="<?=base_url()?>usuario"><li>Administar</li></a>
               <a href="<?=base_url()?>especialidad"><li>Especialidades</li></a>
               <a href="<?=base_url()?>curso"><li>Cursos</li></a>
               <a href="<?=base_url()?>profesor"><li>Profesor</li></a>
               <a href="<?=base_url()?>estudiante"><li>Estudiante</li></a>
               <a href="<?=base_url()?>welcome"><li>Inicio</li></a>

           </ul>

       </nav>


    </div>
    <div id="usuario">
        <div id="usuariotexto">
            <p>
                <?=$usuario?>
            </p>
        </div>

    </div>
    <div id="contenido"><commit_msg>menu fuera del header<commit_after><!DOCTYPE html>
<html>
<head>
    <title><?php if(isset($title)) echo $title?></title>
    <link href="<?=base_url()?>public/css/bootstrap.min.css" rel="stylesheet" type="text/css" />
</head>

{'fraction_non_alphanumeric': 0.24005582693649685, 'fraction_numerical': 0.0013956734124214933, 'mean_word_length': 2.6675191815856776, 'pattern_counts': {'":': 0, '<': 78, '<?xml version=': 0, '>': 78, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4881446', 'n_tokens_mistral': 520, 'n_tokens_neox': 524, 'n_words': 71}