t;   3:         3.2          1.3
#&gt;   4:         3.1          1.5
#&gt;   5:         3.6          1.4
#&gt;  ---                         
#&gt; 146:         3.0          5.2
#&gt; 147:         2.5          5.0
#&gt; 148:         3.0          5.2
#&gt; 149:         3.4          5.4
#&gt; 150:         3.0          5.1</div></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">Arg