<kpt_db name="complete.map" kpt_version="1.1">
  <key_points_set type="reference" hier_sep="/">
    <key_point id="1" type="register">
      <name>inst3/counter[2]</name>
    </key_point>
    <key_point id="2" type="register">
      <name>inst3/counter[0]</name>
    </key_point>
    <key_point id="3" type="register">
      <name>inst3/freq2</name>
    </key_point>
    <key_point id="4" type="register">
      <name>inst/count[0]</name>
    </key_point>
    <key_point id="5" type="register">
      <name>inst/count[3]</name>
    </key_point>
    <key_point id="6" type="register">
      <name>inst/c[2]</name>
    </key_point>
    <key_point id="7" type="register">
      <name>inst/c[0]</name>
    </key_point>
    <key_point id="8" type="register">
      <name>inst/count[2]</name>
    </key_point>
    <key_point id="9" type="register">
      <name>inst/count[1]</name>
    </key_point>
    <key_point id="10" type="register">
      <name>inst3/counter[1]</name>
    </key_point>
    <key_point id="11" type="register">
      <name>inst/c[1]</name>
    </key_point>
    <key_point id="12" type="register">
      <name>inst/c[3]</name>
    </key_point>
  </key_points_set>
  <key_points_set type="transition" hier_sep="|">
  </key_points_set>
  <key_points_set type="transformed" hier_sep="|">
    <key_point id="13" type="register">
      <name>freq_div:inst3|counter[0]</name>
    </key_point>
    <key_point id="14" type="register">
      <name>counter:inst|c[3]</name>
    </key_point>
    <key_point id="15" type="register">
      <name>freq_div:inst3|counter[2]</name>
    </key_point>
    <key_point id="16" type="register">
      <name>counter:inst|c[1]</name>
    </key_point>
    <key_point id="17" type="register">
      <name>freq_div:inst3|counter[1]</name>
    </key_point>
    <key_point id="18" type="register">
      <name>counter:inst|c[2]</name>
    </key_point>
    <key_point id="19" type="register">
      <name>counter:inst|c[0]</name>
    </key_point>
    <key_point id="20" type="register">
      <name>freq_div:inst3|freq2</name>
    </key_point>
  </key_points_set>
  <transformations_set hier_sep="|">
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="1" type="proxy"></kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="15" type="proxy"></kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="2" type="proxy"></kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="13" type="proxy"></kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="10" type="proxy"></kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="17" type="proxy"></kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="11" type="proxy"></kp>
          <kp id="9" type="equiv"></kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="16" type="proxy"></kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="3" type="proxy"></kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="20" type="proxy"></kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="12" type="proxy"></kp>
          <kp id="5" type="equiv"></kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="14" type="proxy"></kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="7" type="proxy"></kp>
          <kp id="4" type="equiv"></kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="19" type="proxy"></kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="6" type="proxy"></kp>
          <kp id="8" type="equiv"></kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="18" type="proxy"></kp>
        </kp_state>
      </kp_set>
    </transformation>
  </transformations_set>
</kpt_db>
