 <!-- image --> <a href="http://www.cs.washington.edu/homes/segal/stp.html"> <img align=left border=0 src="http://www.cs.washington.edu/homes/hinshaw/images/stp-small.gif" alt="[STP riders]"></a> </td>
