Lines Matching defs:thm_up_a