Binary_quadratic_form loading ...