Re: [math-fun] A new factor of the Fermat number F12