Recall that BALANCED is derived from SEC-TIONS5+6 by adding positive examples, but no negative examples.
we have explored several possible algorithms with the help of a machine learning system, and we have found that these automatically derived algorithms perform well on crossvalidation tests.