measurements for the different violation types, comparison for differenct generation config

3 files changed, 154 insertions, 132 deletions

diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduum/.gitignore b/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduum/.gitignore
new file mode 100644
index 00000000..17126b28
--- /dev/null
+++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduum/.gitignore
@@ -0,0 +1,4 @@
+# ignore everything in this folder except for this folder it self
+
+*
+!.gitignore
\ No newline at end of file
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduum/1.xmi b/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduum/1.xmi
deleted file mode 100644
index 6bee747f..00000000
--- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduum/1.xmi
+++ /dev/null
@@ -1,130 +0,0 @@
-<?xml version="1.0" encoding="ASCII"?>
-<hu.bme.mit.inf.yakindumm:Statechart xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hu.bme.mit.inf.yakindumm="hu.bme.mit.inf.yakindumm">
-  <regions>
-    <vertices xsi:type="hu.bme.mit.inf.yakindumm:FinalState" incomingTransitions="//@regions.0/@vertices.3/@regions.0/@vertices.2/@outgoingTransitions.1"/>
-    <vertices xsi:type="hu.bme.mit.inf.yakindumm:Exit" incomingTransitions="//@regions.0/@vertices.3/@regions.1/@vertices.1/@outgoingTransitions.5 //@regions.0/@vertices.3/@regions.1/@vertices.1/@outgoingTransitions.7">
-      <outgoingTransitions target="//@regions.0/@vertices.3"/>
-    </vertices>
-    <vertices xsi:type="hu.bme.mit.inf.yakindumm:Exit" incomingTransitions="//@regions.1/@vertices.5/@outgoingTransitions.0 //@regions.0/@vertices.5/@regions.0/@vertices.0/@outgoingTransitions.1 //@regions.0/@vertices.3/@regions.0/@vertices.7/@outgoingTransitions.2"/>
-    <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.5/@regions.0/@vertices.0/@outgoingTransitions.0 //@regions.0/@vertices.3/@outgoingTransitions.4 //@regions.0/@vertices.1/@outgoingTransitions.0 //@regions.0/@vertices.3/@regions.1/@vertices.1/@outgoingTransitions.4">
-      <outgoingTransitions target="//@regions.0/@vertices.3/@regions.1/@vertices.1"/>
-      <outgoingTransitions target="//@regions.0/@vertices.5"/>
-      <outgoingTransitions target="//@regions.0/@vertices.5"/>
-      <outgoingTransitions target="//@regions.0/@vertices.3/@regions.0/@vertices.0"/>
-      <outgoingTransitions target="//@regions.0/@vertices.3"/>
-      <outgoingTransitions target="//@regions.1/@vertices.1"/>
-      <regions>
-        <vertices xsi:type="hu.bme.mit.inf.yakindumm:FinalState" incomingTransitions="//@regions.0/@vertices.3/@regions.0/@vertices.5/@outgoingTransitions.0 //@regions.0/@vertices.3/@outgoingTransitions.3">
-          <outgoingTransitions target="//@regions.1/@vertices.3"/>
-        </vertices>
-        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.3/@regions.1/@vertices.3/@outgoingTransitions.1">
-          <outgoingTransitions target="//@regions.0/@vertices.3/@regions.1/@vertices.1"/>
-          <outgoingTransitions target="//@regions.0/@vertices.5/@regions.0/@vertices.4"/>
-        </vertices>
-        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.3/@regions.0/@vertices.2/@outgoingTransitions.0">
-          <outgoingTransitions target="//@regions.0/@vertices.3/@regions.0/@vertices.2"/>
-          <outgoingTransitions target="//@regions.0/@vertices.0"/>
-        </vertices>
-        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
-          <outgoingTransitions target="//@regions.0/@vertices.3/@regions.0/@vertices.5"/>
-        </vertices>
-        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State"/>
-        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.3/@regions.0/@vertices.5/@outgoingTransitions.1 //@regions.0/@vertices.3/@regions.0/@vertices.3/@outgoingTransitions.0">
-          <outgoingTransitions target="//@regions.0/@vertices.3/@regions.0/@vertices.0"/>
-          <outgoingTransitions target="//@regions.0/@vertices.3/@regions.0/@vertices.5"/>
-          <outgoingTransitions target="//@regions.0/@vertices.5"/>
-          <outgoingTransitions target="//@regions.1/@vertices.3"/>
-        </vertices>
-        <vertices xsi:type="hu.bme.mit.inf.yakindumm:FinalState" incomingTransitions="//@regions.0/@vertices.5/@outgoingTransitions.1 //@regions.0/@vertices.5/@regions.0/@vertices.4/@outgoingTransitions.2"/>
-        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.1/@vertices.0/@outgoingTransitions.0 //@regions.0/@vertices.3/@regions.0/@vertices.7/@outgoingTransitions.1">
-          <outgoingTransitions target="//@regions.1/@vertices.0"/>
-          <outgoingTransitions target="//@regions.0/@vertices.3/@regions.0/@vertices.7"/>
-          <outgoingTransitions target="//@regions.0/@vertices.2"/>
-        </vertices>
-      </regions>
-      <regions>
-        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.3/@regions.1/@vertices.0/@outgoingTransitions.0">
-          <outgoingTransitions target="//@regions.0/@vertices.3/@regions.1/@vertices.0"/>
-        </vertices>
-        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.3/@regions.0/@vertices.1/@outgoingTransitions.0 //@regions.0/@vertices.3/@regions.1/@vertices.1/@outgoingTransitions.1 //@regions.0/@vertices.3/@outgoingTransitions.0 //@regions.0/@vertices.3/@regions.1/@vertices.2/@outgoingTransitions.0 //@regions.1/@vertices.8/@outgoingTransitions.1">
-          <outgoingTransitions target="//@regions.0/@vertices.4"/>
-          <outgoingTransitions target="//@regions.0/@vertices.3/@regions.1/@vertices.1"/>
-          <outgoingTransitions target="//@regions.0/@vertices.5/@regions.0/@vertices.5"/>
-          <outgoingTransitions target="//@regions.1/@vertices.7"/>
-          <outgoingTransitions target="//@regions.0/@vertices.3"/>
-          <outgoingTransitions target="//@regions.0/@vertices.1"/>
-          <outgoingTransitions target="//@regions.1/@vertices.6"/>
-          <outgoingTransitions target="//@regions.0/@vertices.1"/>
-        </vertices>
-        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
-          <outgoingTransitions target="//@regions.0/@vertices.3/@regions.1/@vertices.1"/>
-        </vertices>
-        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.3/@regions.1/@vertices.3/@outgoingTransitions.0">
-          <outgoingTransitions target="//@regions.0/@vertices.3/@regions.1/@vertices.3"/>
-          <outgoingTransitions target="//@regions.0/@vertices.3/@regions.0/@vertices.1"/>
-        </vertices>
-      </regions>
-    </vertices>
-    <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.3/@regions.1/@vertices.1/@outgoingTransitions.0 //@regions.0/@vertices.5/@outgoingTransitions.3">
-      <outgoingTransitions target="//@regions.0/@vertices.6"/>
-    </vertices>
-    <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.3/@regions.0/@vertices.5/@outgoingTransitions.2 //@regions.0/@vertices.3/@outgoingTransitions.1 //@regions.0/@vertices.3/@outgoingTransitions.2 //@regions.0/@vertices.5/@outgoingTransitions.2 //@regions.1/@vertices.2/@outgoingTransitions.0">
-      <outgoingTransitions target="//@regions.1/@vertices.2"/>
-      <outgoingTransitions target="//@regions.0/@vertices.3/@regions.0/@vertices.6"/>
-      <outgoingTransitions target="//@regions.0/@vertices.5"/>
-      <outgoingTransitions target="//@regions.0/@vertices.4"/>
-      <regions>
-        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.1/@vertices.4/@outgoingTransitions.0 //@regions.0/@vertices.5/@regions.0/@vertices.0/@outgoingTransitions.2">
-          <outgoingTransitions target="//@regions.0/@vertices.3"/>
-          <outgoingTransitions target="//@regions.0/@vertices.2"/>
-          <outgoingTransitions target="//@regions.0/@vertices.5/@regions.0/@vertices.0"/>
-          <outgoingTransitions target="//@regions.0/@vertices.5/@regions.0/@vertices.5"/>
-        </vertices>
-        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Exit" incomingTransitions="//@regions.1/@vertices.8/@outgoingTransitions.0"/>
-        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
-          <outgoingTransitions/>
-        </vertices>
-        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.5/@regions.0/@vertices.3/@outgoingTransitions.1">
-          <outgoingTransitions target="//@regions.1/@vertices.0"/>
-          <outgoingTransitions target="//@regions.0/@vertices.5/@regions.0/@vertices.3"/>
-        </vertices>
-        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.5/@regions.0/@vertices.4/@outgoingTransitions.1 //@regions.0/@vertices.3/@regions.0/@vertices.1/@outgoingTransitions.1">
-          <outgoingTransitions target="//@regions.1/@vertices.3"/>
-          <outgoingTransitions target="//@regions.0/@vertices.5/@regions.0/@vertices.4"/>
-          <outgoingTransitions target="//@regions.0/@vertices.3/@regions.0/@vertices.6"/>
-        </vertices>
-        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Exit" incomingTransitions="//@regions.0/@vertices.3/@regions.1/@vertices.1/@outgoingTransitions.2 //@regions.0/@vertices.5/@regions.0/@vertices.0/@outgoingTransitions.3"/>
-      </regions>
-    </vertices>
-    <vertices xsi:type="hu.bme.mit.inf.yakindumm:FinalState" incomingTransitions="//@regions.1/@vertices.0/@outgoingTransitions.1 //@regions.0/@vertices.4/@outgoingTransitions.0 //@regions.1/@vertices.2/@outgoingTransitions.1"/>
-  </regions>
-  <regions>
-    <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.3/@regions.0/@vertices.7/@outgoingTransitions.0 //@regions.0/@vertices.5/@regions.0/@vertices.3/@outgoingTransitions.0 //@regions.1/@vertices.0/@outgoingTransitions.2">
-      <outgoingTransitions target="//@regions.0/@vertices.3/@regions.0/@vertices.7"/>
-      <outgoingTransitions target="//@regions.0/@vertices.6"/>
-      <outgoingTransitions target="//@regions.1/@vertices.0"/>
-      <outgoingTransitions target="//@regions.1/@vertices.5"/>
-    </vertices>
-    <vertices xsi:type="hu.bme.mit.inf.yakindumm:FinalState" incomingTransitions="//@regions.1/@vertices.5/@outgoingTransitions.2 //@regions.0/@vertices.3/@outgoingTransitions.5"/>
-    <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.5/@outgoingTransitions.0">
-      <outgoingTransitions target="//@regions.0/@vertices.5"/>
-      <outgoingTransitions target="//@regions.0/@vertices.6"/>
-    </vertices>
-    <vertices xsi:type="hu.bme.mit.inf.yakindumm:Exit" incomingTransitions="//@regions.0/@vertices.5/@regions.0/@vertices.4/@outgoingTransitions.0 //@regions.0/@vertices.3/@regions.0/@vertices.5/@outgoingTransitions.3 //@regions.0/@vertices.3/@regions.0/@vertices.0/@outgoingTransitions.0"/>
-    <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
-      <outgoingTransitions target="//@regions.0/@vertices.5/@regions.0/@vertices.0"/>
-    </vertices>
-    <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.1/@vertices.0/@outgoingTransitions.3 //@regions.1/@vertices.5/@outgoingTransitions.1">
-      <outgoingTransitions target="//@regions.0/@vertices.2"/>
-      <outgoingTransitions target="//@regions.1/@vertices.5"/>
-      <outgoingTransitions target="//@regions.1/@vertices.1"/>
-      <outgoingTransitions target="//@regions.1/@vertices.8"/>
-    </vertices>
-    <vertices xsi:type="hu.bme.mit.inf.yakindumm:FinalState" incomingTransitions="//@regions.0/@vertices.3/@regions.1/@vertices.1/@outgoingTransitions.6"/>
-    <vertices xsi:type="hu.bme.mit.inf.yakindumm:FinalState" incomingTransitions="//@regions.0/@vertices.3/@regions.1/@vertices.1/@outgoingTransitions.3"/>
-    <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.1/@vertices.5/@outgoingTransitions.3">
-      <outgoingTransitions target="//@regions.0/@vertices.5/@regions.0/@vertices.1"/>
-      <outgoingTransitions target="//@regions.0/@vertices.3/@regions.1/@vertices.1"/>
-    </vertices>
-  </regions>
-</hu.bme.mit.inf.yakindumm:Statechart>
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduum/info.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduum/info.csv
index e11b75f9..c79bc07f 100644
--- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduum/info.csv
+++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduum/info.csv
@@ -1,2 +1,150 @@
-ID,Time,# of Nodes,Out Degree,Node Activity,MPC,Violations
-1,3 : 50.959,100,0.031818181818181815,0.10775510204081633,0.10059701492537314,4
+1
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,4,0,12,6,0,0,0,8
+2
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,5,0,12,13,4,0,0,2
+3
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,3,1,4,9,3,0,0,0
+4
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,1,0,7,12,3,0,0,2
+5
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,1,0,8,7,6,0,0,2
+6
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,5,0,11,6,4,0,1,6
+7
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,4,2,9,10,4,1,0,2
+8
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,3,0,9,7,5,0,0,0
+9
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,6,0,13,8,4,0,0,10
+10
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,2,0,7,8,2,0,0,4
+11
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,2,0,8,7,3,0,0,2
+12
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,5,0,13,4,1,0,0,2
+13
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,3,1,12,20,2,0,0,2
+14
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,6,0,13,7,2,0,0,0
+15
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,2,0,15,12,3,0,2,2
+16
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,3,0,6,10,1,0,0,2
+17
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,4,1,9,7,2,0,0,4
+18
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,1,0,8,12,4,0,0,0
+19
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,4,0,10,10,1,0,0,0
+20
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,4,2,11,11,6,0,0,2
+21
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,3,1,15,12,4,1,0,2
+22
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,5,0,14,4,1,0,0,4
+23
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,3,1,8,11,4,0,0,2
+24
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,1,0,12,10,4,0,0,0
+25
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,1,1,9,1,4,0,0,2
+26
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,5,0,9,4,7,1,0,2
+27
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,3,0,11,31,0,0,0,2
+28
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,5,0,6,12,0,1,0,2
+29
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,3,1,10,10,3,0,0,0
+30
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,1,0,10,23,4,0,0,2
+31
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,4,0,4,8,3,0,0,2
+32
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,3,0,20,3,1,0,0,2
+33
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,1,1,9,11,7,0,0,2
+34
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,3,3,1,11,7,0,0,2
+35
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,2,0,7,14,6,0,0,0
+36
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,4,0,7,10,1,0,0,0
+37
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,1,0,13,8,3,0,1,2
+38
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,4,0,10,2,5,0,0,4
+39
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,3,1,11,8,5,0,0,2
+40
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,3,0,12,19,4,0,0,6
+41
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,7,0,2,14,1,2,0,2
+42
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,3,1,17,5,2,0,0,0
+43
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,4,0,10,6,2,0,0,0
+44
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,4,0,9,5,4,0,0,0
+45
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,1,0,7,13,4,0,0,2
+46
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,4,0,8,6,1,1,0,4
+47
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,5,0,8,11,6,0,0,0
+48
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,2,0,22,4,3,1,0,4
+49
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,4,0,10,5,2,0,0,2
+50
+choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry
+0,0,3,0,13,11,2,0,0,6