The number of atoms in a primefree atomic domain. Issue 12 (2nd December 2017)