#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.positive_block_candidate_len >= 10 &&
           profile.positive_block_candidate_len <= 20 &&
           profile.binary_clause_fraction >= 0.61 &&
           profile.binary_clause_fraction <= 0.67 &&
           profile.normalized_clause_span_mean >= 0.49 &&
           profile.normalized_clause_span_mean <= 0.52;
}
