#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.dominant_clause_len == 6 &&
           profile.positive_block_candidate_len == 6 &&
           profile.top5_occurrence_mass >= 0.5049124315436712 &&
           profile.top5_occurrence_mass <= 0.5183071151359642;
}
