Error in A100200, A101248

[franktaw at netscape.net]

There is at least one error in these sequences.  The formulas corresponding to 151 and 252 (A xor A and B xor B) are shown as contingent formula, but they should be antitheorems.  Curiously, 11511 (C xor C) is shown as an antitheorem, but not 12512 (D xor D), etc.
 
I have not done a systematic search to see if there are any other errors in these two sequences or in A101273.
 
Franklin T. Adams-Watters
16 W. Michigan Ave.
Palatine, IL 60067
847-776-7645
___________________________________________________
Try the New Netscape Mail Today!
Virtually Spam-Free | More Storage | Import Your Contact List
http://mail.netscape.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.seqfan.eu/pipermail/seqfan/attachments/20060501/7477434d/attachment.htm>