We've run through a similar, less ambitious exercise in some colloborative work here (summarized 3 years ago), to find the cases where tau(n)=tau(n+1): https://vixra.org/abs/1911.0287