
      <span class="fas fa-play"></span> Solve
    </button>
    <button id="stopSolvingButton" type="button" class="btn btn-danger">
      <span class="fas fa-stop"></span> Stop solving
    </button>
    <span id="score" class="score ms-2 align-middle fw-bold">Score: ?</span>
    <button id="analyzeButton" type="button" class="ms-2 btn btn-secondary">
      <span class="fas fa-question"></span>
    </button>

    <div class="float-end">
      <ul class="nav nav-pills" role="tablist">
        <li class="nav