<p>And of course I muffed my reply. "Searching" made me think of Knuth's volume on sorting and searching. That primed my feeble neuron to think of Tim's work on Python's sorting algorithm, and it blurted that out before I remembered the OP's original question only concerned searching.</p>

<p>Must be lack of sleep. Yeah, that's it. Sorry about that. </p>
<p>Skip<br>
</p>