="lineno">    8</span>&#160;00004 # obtain from input.sage</div>
<div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;00005 # @author amarjeet kapoor</div>
<div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;00006 </div>
<div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;00007 import time</div>
<div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;00008 </div>
<div class="line"><a name="l00013"></a><span cl