
<html>

<body>

<font size=3>At 07:58 PM 2/14/2003, Jon Perry wrote:<br>

<blockquote type=cite class=cite cite>A031873<br><br>

is deletable in my opinion.<br><br>

not offering anything over: A003022</font></blockquote><br>

They're different sequences.<br>

</body>

</html>