<div>Cf.  A048991 and A048992 (Rollman numbers)</div>