Ordered_Bell_number loading ...