User:Wythagoras/Rado's sigma function/Progress on the 42 Hardly Non-Regular TMs