4; font-style: italic;'>&lt;int&gt;</span> <span style='color: #949494; font-style: italic;'>&lt;int&gt;</span>
#&gt; <span style='color: #BCBCBC;'>1</span>     3     3  <span style='text-decoration: underline;'>7</span>000
#&gt; <span style='color: #BCBCBC;'>2</span>     4     3 <span style='text-decoration: underline;'>12</span>000
#&gt; <span style='color: #BCBCBC;'>3</span>     5     3 <span style='text-decoration: underline;'>10</span>000
#&gt; <span style='color: #BCBCBC;'>4</span>     7     3 <span s