Frobenius_number loading ...