<commit_before>style proof
style proofIsDone
style proofIsIncomplete
style proofIsPending
style rules
style inference
style tagBox
style tag
style sibling
style junct
style expand
style viewport
style commaList
style relMark
style offsetBox
style working
style page
style errorStyle
style turnstile
style centerTable
style offsetInner
style green
style primaryConnective
style primaryExpr

open Json
open List
open Common<commit_msg>Remove dead styles.<commit_after>style proof
style proofIsDone
style proofIsIncomplete
style proofIsPending
style inference
style tagBox
style tag
style sibling
style junct
style expand
style commaList
style working
style page
style errorStyle
style turnstile
style centerTable
style offsetInner
style green
style primaryConnective
style primaryExpr

open Json
open List
open Common
{'fraction_non_alphanumeric': 0.008588957055214725, 'fraction_numerical': 0.0, 'mean_word_length': 6.846153846153846, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, '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': '4964701', 'n_tokens_mistral': 214, 'n_tokens_neox': 209, 'n_words': 101}