I have no record of this number, although I haven't managed the 14e queue in a while. Perhaps Lionel or Tom know its status.
Edit: That said, it's a fairly trivial number to factor, so it can be thrown in the queue.
Last fiddled with by frmky on 2015-11-05 at 01:49
|