2013-11-19 11:40:42+00:00 (A001595 might be a record for lowest-index sequence found while believing I had a new one)