User:Wythagoras/Rado's sigma function/BB(12,4)