<commit_before><?xml version="1.0" encoding="UTF-8" standalone="no"?>
<launchConfiguration type="org.lamport.tla.toolbox.tool.tlc.modelCheck">
<intAttribute key="autoLockTime" value="15"/>
<stringAttribute key="configurationName" value="Model"/>
<intAttribute key="dfidDepth" value="100"/>
<booleanAttribute key="dfidMode" value="false"/>
<intAttribute key="maxHeapSize" value="500"/>
<booleanAttribute key="mcMode" value="true"/>
<stringAttribute key="modelBehaviorInit" value=""/>
<stringAttribute key="modelBehaviorNext" value=""/>
<stringAttribute key="modelBehaviorSpec" value=""/>
<intAttribute key="modelBehaviorSpecType" value="0"/>
<stringAttribute key="modelBehaviorVars" value=""/>
<booleanAttribute key="modelCorrectnessCheckDeadlock" value="true"/>
<listAttribute key="modelCorrectnessInvariants"/>
<listAttribute key="modelCorrectnessProperties"/>
<stringAttribute key="modelExpressionEval" value="&lt;&lt; Sum( &lt;&lt;2, 3, 4&gt;&gt; ),&#13;&#10;   Product (&lt;&lt; 4, 3, 2 &gt;&gt;),&#13;&#10;   IsNumbering,&#13;&#10;   StateEnumerationAssumption &gt;&gt;&#13;&#10; "/>
<stringAttribute key="modelParameterActionConstraint" value=""/>
<listAttribute key="modelParameterConstants">
<listEntry value="ProofStatesSpec;;&lt;&lt; &lt;&lt; &quot;s1&quot;, &quot;s2&quot; &gt;&gt;, &#13;&#10;   &lt;&lt; &quot;s3&quot; &gt;&gt;, &#13;&#10;   &lt;&lt;&quot;s1&quot;, &quot;s2&quot;, &quot;s4&quot; &gt;&gt;,&#13;&#10;   &lt;&lt;&quot;s3&quot;, &quot;s4&quot;&gt;&gt;&#13;&#10;&gt;&gt;;0;0"/>
</listAttribute>
<stringAttribute key="modelParameterContraint" value=""/>
<listAttribute key="modelParameterDefinitions"/>
<stringAttribute key="modelParameterModelValues" value="{}"/><commit_msg>Let's see if we can commit this.<commit_after><?xml version="1.0" encoding="UTF-8" standalone="no"?>
<launchConfiguration type="org.lamport.tla.toolbox.tool.tlc.modelCheck">
<intAttribute key="autoLockTime" value="15"/>
<stringAttribute key="configurationName" value="Model"/>
<intAttribute key="dfidDepth" value="100"/>
<booleanAttribute key="dfidMode" value="false"/>
<intAttribute key="maxHeapSize" value="500"/>
<booleanAttribute key="mcMode" value="true"/>
<stringAttribute key="modelBehaviorInit" value=""/>
<stringAttribute key="modelBehaviorNext" value=""/>
<stringAttribute key="modelBehaviorSpec" value=""/>
<intAttribute key="modelBehaviorSpecType" value="0"/>
<stringAttribute key="modelBehaviorVars" value=""/>
<booleanAttribute key="modelCorrectnessCheckDeadlock" value="true"/>
<listAttribute key="modelCorrectnessInvariants"/>
<listAttribute key="modelCorrectnessProperties"/>
<stringAttribute key="modelExpressionEval" value="&lt;&lt; Sum( &lt;&lt;2, 3, 4&gt;&gt; ),&#13;&#10;   Product (&lt;&lt; 4, 3, 2 &gt;&gt;),&#13;&#10;   IsNumbering,&#13;&#10;   StateEnumerationAssumption &gt;&gt;&#13;&#10;   &#13;&#10;   \* werwerwrwelkjk werwerwrwr&#13;&#10;   \* wwe lkjl werwer l&#13;&#10;   &#13;&#10;   \* werlw wwwewrel lkjlkjwer&#13;&#10; "/>
<stringAttribute key="modelParameterActionConstraint" value=""/>
<listAttribute key="modelParameterConstants">
<listEntry value="ProofStatesSpec;;&lt;&lt; &lt;&lt; &quot;s1&quot;, &quot;s2&quot; &gt;&gt;, &#13;&#10;   &lt;&lt; &quot;s3&quot; &gt;&gt;, &#13;&#10;   &lt;&lt;&quot;s1&quot;, &quot;s2&quot;, &quot;s4&quot; &gt;&gt;,&#13;&#10;   &lt;&lt;&quot;s3&quot;, &quot;s4&quot;&gt;&gt;&#13;&#10;&gt;&gt;;0;0"/>
</listAttribute>
<stringAttribute key="modelParameterContraint" value=""/>
<listAttribute key="modelParameterDefinitions"/>
<stringAttribute key="modelParameterModelValues" value="{}"/>
{'fraction_non_alphanumeric': 0.22028659735880865, 'fraction_numerical': 0.039336892385501546, 'mean_word_length': 10.672131147540984, 'pattern_counts': {'":': 0, '<': 51, '<?xml version=': 2, '>': 51, 'https://': 0, 'lorem ipsum': 0, 'www.': 1, 'xml': 2}, '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': '6813982', 'n_tokens_mistral': 1287, 'n_tokens_neox': 1166, 'n_words': 204}