Balanced_Boolean_function loading ...