Sierpiński_number loading ...