/span><span>     5 01-02
#&gt; </span><span style='color: #555555;'>10</span><span> 2015-12-11 </span><span style='color: #555555;'>02:00:00</span><span>     4 02-03
#&gt; </span><span style='color: #555555;'># … with 20 more rows</span><span></div></span></pre>
  </div>
  <div class="col-md-3 hidden-xs hidden-sm" id="sidebar">
    <h2>Contents</h2>
    <ul class="nav nav-pills nav-stacked">
      <li><a href="#arguments">Arguments</a></li>
      
      <li><a href="#value">Value</a></li>

      <li><a hr