TopScore          322 courgette/adjustment_method_2.cc     VLOG(2) << "score "  << TopScore() << "  " << ToString(program_info_)
TopScore          772 courgette/adjustment_method_2.cc       int old_score = candidates->TopScore();
TopScore          776 courgette/adjustment_method_2.cc         int new_score = candidates->TopScore();