User:Wythagoras/Rado's sigma function/BB(26,3)