Wonderful! I am glad the conjecture is proved. One note: I believe Emmanuel Vantieghem, not me, should be credited with the conjecture that C(2^m-1) is divisible by 3 for m>8. His email was immediately prior to mine and was the result of a great deal of data. Best, William