f="http://research.microsoft.com/en-us/um/redmond/projects/z3/index.html">Z3</a>. <a href="https://github.com/sid0/z3.rkt">Learn more</a>.</p>
          <form data-bind="submit: moveToStep1">
            <input type="submit" value="Start over"></input>
          </form>
        </div>
        <table id="guesses">
          <caption>Previous guesses</caption>
          <tbody data-bind="foreach: guesses">
            <tr>
              <td data-bind="text: guess"></td>
              <td data-bind="text: corr