<commit_before>{
    "packages": [
        "https://github.com/leanprover/smt2_interface",
        "https://github.com/leanprover/super",
        "https://github.com/leanprover/mini_crush",
        "https://github.com/leanprover/library_dev"
    ]
}<commit_msg>chore(script/package_registry): remove library_dev from test suite<commit_after>{
    "packages": [
        "https://github.com/leanprover/smt2_interface",
        "https://github.com/leanprover/super",
        "https://github.com/leanprover/mini_crush"
    ]
}
{'fraction_non_alphanumeric': 0.16283524904214558, 'fraction_numerical': 0.0038314176245210726, 'mean_word_length': 3.054263565891473, 'pattern_counts': {'":': 2, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 7, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4598583', 'n_tokens_mistral': 177, 'n_tokens_neox': 180, 'n_words': 16}