pattern = re.compile(output['pattern'])
check('所有正例实际匹配', all(pattern.fullmatch(text) for text in data['positive']))
check('ASCII位数和前缀反例均不匹配', all(not pattern.fullmatch(text) for text in data['negative']))
(folder / 'pattern.txt').write_text(output['pattern'])
