<commit_before><commit_msg>Added exercise<commit_after><?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE nta PUBLIC "-//Uppaal Team//DTD Flat System 1.0//EN" "http://www.docs.uu.se/docs/rtmv/uppaal/xml/flat-1_0.dtd">
<nta>
  <declaration>//Insert declarations of global clocks, variables, constants and channels.
</declaration>
  <template>
    <name x="5" y="5">P</name>
    <parameter x="5" y="20"/>
    <declaration>//Insert local declarations of clocks, variables and constants.
</declaration>
  <location x="272" y="112" id="id0"><name x="280" y="80">s0</name><label kind="invariant" x="262" y="127"/></location><location x="272" y="240" id="id1"><name x="288" y="216">s1</name><label kind="invariant" x="262" y="255"/></location><location x="272" y="368" id="id2"><name x="288" y="360">s3</name><label kind="invariant" x="262" y="383"/></location><location x="144" y="240" id="id3"><name x="152" y="208">s4</name><label kind="invariant" x="134" y="255"/></location><location x="400" y="240" id="id4"><name x="416" y="216">s2</name><label kind="invariant" x="390" y="255"/></location><init ref="id0"/><transition><source ref="id0"/><target ref="id1"/></transition><transition><source ref="id1"/><target ref="id4"/></transition><transition><source ref="id0"/><target ref="id4"/></transition><transition><source ref="id1"/><target ref="id2"/></transition><transition><source ref="id2"/><target ref="id3"/></transition><transition><source ref="id3"/><target ref="id1"/></transition><transition><source ref="id4"/><target ref="id2"/></transition></template>
  <instantiation>//Insert process assignments.
</instantiation>
  <system>//Edit system definition.
system P;</system>
</nta>
{'fraction_non_alphanumeric': 0.25074272133095665, 'fraction_numerical': 0.0748663101604278, 'mean_word_length': 7.1352657004830915, 'pattern_counts': {'":': 0, '<': 74, '<?xml version=': 1, '>': 74, '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': '7345301', 'n_tokens_mistral': 641, 'n_tokens_neox': 561, 'n_words': 106}