Jeffrey_Shallit loading ...