diff --git a/examples2/automaton/NPDA1.DET.xml b/examples2/automaton/NPDA1.DET.xml
index c73e8d58ab60f0b1130a859a2a6fb605849d4c72..a56147b5a429a4b0e97c54f3f9f274e186665f42 100644
--- a/examples2/automaton/NPDA1.DET.xml
+++ b/examples2/automaton/NPDA1.DET.xml
@@ -286,7 +286,9 @@
</LabeledSymbol>
</pushdownStoreAlphabet>
<initialState>
- <LabelRef id="0"/>
+ <PrimitiveLabel>
+ <Integer>0</Integer>
+ </PrimitiveLabel>
</initialState>
<initialPushdownStoreSymbol>
<LabeledSymbol>
@@ -326,7 +328,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -349,7 +355,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -372,7 +382,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -401,10 +415,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="4"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>1</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -412,7 +434,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="4"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>1</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -422,10 +448,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="3"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>0</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -452,10 +486,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="4"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>1</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -482,7 +524,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -505,7 +551,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -528,7 +578,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -551,7 +605,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -574,7 +632,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -597,7 +659,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -620,7 +686,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -643,7 +713,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -666,7 +740,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -689,7 +767,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -712,7 +794,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -735,7 +821,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -750,7 +840,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="7"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>4</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -760,10 +854,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="7"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>4</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -771,7 +873,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="7"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>4</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -781,7 +887,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -810,10 +920,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="10"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>7</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -821,7 +939,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="10"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>7</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -831,10 +953,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="12"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>9</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -842,7 +972,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="12"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>9</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -852,7 +986,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -867,7 +1005,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="15"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>12</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -877,10 +1019,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="15"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>12</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -888,7 +1038,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="15"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>12</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -898,7 +1052,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -927,10 +1085,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="18"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>15</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -938,7 +1104,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="18"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>15</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -948,10 +1118,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="19"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>16</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -959,7 +1137,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="19"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>16</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -969,10 +1151,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="22"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>19</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -980,7 +1170,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="22"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>19</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -990,10 +1184,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="5"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>2</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -1020,10 +1222,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="7"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>4</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -1050,10 +1260,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="8"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>5</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -1061,7 +1279,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="8"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>5</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
<LabeledSymbol>
<PrimitiveLabel>
<Integer>8</Integer>
@@ -1076,10 +1298,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="10"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>7</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -1087,7 +1317,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="8"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>5</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
<LabeledSymbol>
<PrimitiveLabel>
<Integer>8</Integer>
@@ -1102,10 +1336,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="12"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>9</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -1132,7 +1374,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1166,10 +1412,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="15"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>12</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -1196,10 +1450,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="16"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -1207,7 +1469,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
<LabeledSymbol>
<PrimitiveLabel>
<Integer>20</Integer>
@@ -1222,10 +1488,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="18"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>15</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -1252,10 +1526,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="19"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>16</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -1263,7 +1545,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
<LabeledSymbol>
<PrimitiveLabel>
<Integer>18</Integer>
@@ -1278,10 +1564,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="22"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>19</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -1289,7 +1583,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
<LabeledSymbol>
<PrimitiveLabel>
<Integer>20</Integer>
@@ -1304,7 +1602,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1327,7 +1629,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1356,7 +1662,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1390,7 +1700,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1413,7 +1727,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1436,7 +1754,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1451,7 +1773,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="18"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>15</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -1461,7 +1787,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1476,7 +1806,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="19"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>16</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -1486,7 +1820,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1501,7 +1839,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
<LabeledSymbol>
<PrimitiveLabel>
<Integer>17</Integer>
@@ -1516,7 +1858,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1531,7 +1877,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
<LabeledSymbol>
<PrimitiveLabel>
<Integer>18</Integer>
@@ -1546,10 +1896,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="14"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>11</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -1565,10 +1923,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="14"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>11</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -1590,10 +1956,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="14"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>11</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -1606,7 +1980,11 @@
<Integer>10</Integer>
</PrimitiveLabel>
</LabeledSymbol>
- <SymbolRef id="14"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>11</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -1616,7 +1994,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1639,7 +2021,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1662,7 +2048,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1685,7 +2075,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1714,7 +2108,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1743,7 +2141,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1772,7 +2174,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1806,10 +2212,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="14"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>11</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -1822,7 +2236,11 @@
<Integer>10</Integer>
</PrimitiveLabel>
</LabeledSymbol>
- <SymbolRef id="14"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>11</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -1832,7 +2250,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1852,7 +2274,11 @@
<Integer>10</Integer>
</PrimitiveLabel>
</LabeledSymbol>
- <SymbolRef id="14"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>11</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -1862,7 +2288,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1885,7 +2315,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1908,7 +2342,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1931,7 +2369,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1954,7 +2396,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -1977,7 +2423,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2000,7 +2450,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2023,7 +2477,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2046,7 +2504,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2069,12 +2531,16 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
- </input>
- <pop>
<LabeledSymbol>
<PrimitiveLabel>
- <Integer>37</Integer>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ </input>
+ <pop>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>37</Integer>
</PrimitiveLabel>
</LabeledSymbol>
</pop>
@@ -2092,7 +2558,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2115,7 +2585,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2138,7 +2612,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2167,7 +2645,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2196,7 +2678,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2225,7 +2711,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2254,7 +2744,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2283,7 +2777,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2312,7 +2810,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2341,7 +2843,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2370,7 +2876,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2399,7 +2909,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2428,7 +2942,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2457,7 +2975,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2486,7 +3008,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2501,7 +3027,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
<LabeledSymbol>
<PrimitiveLabel>
<Integer>17</Integer>
@@ -2516,7 +3046,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2531,7 +3065,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
<LabeledSymbol>
<PrimitiveLabel>
<Integer>18</Integer>
@@ -2546,7 +3084,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2561,8 +3103,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -2572,10 +3122,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -2583,8 +3141,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -2594,10 +3160,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -2605,8 +3179,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -2616,7 +3198,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2631,8 +3217,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -2642,7 +3236,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2657,8 +3255,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -2668,7 +3274,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2683,8 +3293,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -2694,7 +3312,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2709,8 +3331,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -2720,7 +3350,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2735,8 +3369,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -2746,7 +3388,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2761,8 +3407,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -2772,7 +3426,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2787,8 +3445,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -2798,7 +3464,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2821,10 +3491,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -2840,10 +3518,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -2859,12 +3545,16 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
- </input>
- <pop>
<LabeledSymbol>
<PrimitiveLabel>
- <Integer>20</Integer>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ </input>
+ <pop>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>20</Integer>
</PrimitiveLabel>
</LabeledSymbol>
</pop>
@@ -2882,7 +3572,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2911,10 +3605,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -2936,10 +3638,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -2961,7 +3671,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -2990,7 +3704,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3005,8 +3723,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -3016,10 +3742,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -3027,8 +3761,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -3038,10 +3780,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -3049,8 +3799,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -3060,7 +3818,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3075,8 +3837,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -3086,7 +3856,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3109,7 +3883,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3132,7 +3910,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3155,7 +3937,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3178,7 +3964,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3201,7 +3991,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3224,7 +4018,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3247,7 +4045,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3270,7 +4072,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3293,7 +4099,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3316,7 +4126,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3339,7 +4153,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3362,7 +4180,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3385,7 +4207,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3408,7 +4234,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3437,7 +4267,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3466,7 +4300,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3495,7 +4333,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3524,7 +4366,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3553,10 +4399,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="29"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>26</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -3564,7 +4418,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="29"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>26</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -3574,10 +4432,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="30"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>27</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -3585,7 +4451,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="30"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>27</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -3595,10 +4465,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="31"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>28</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -3606,7 +4484,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="31"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>28</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -3616,10 +4498,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="32"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>29</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -3627,7 +4517,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="32"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>29</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -3637,10 +4531,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="33"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>30</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -3648,7 +4550,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="33"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>30</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -3658,7 +4564,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3673,7 +4583,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="41"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>38</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -3683,9 +4597,13 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
- </input>
- <pop>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ </input>
+ <pop>
<LabeledSymbol>
<PrimitiveLabel>
<Integer>33</Integer>
@@ -3712,10 +4630,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="41"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>38</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -3723,7 +4649,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="41"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>38</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -3733,10 +4663,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="42"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>39</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -3744,7 +4682,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="42"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>39</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -3754,7 +4696,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3788,7 +4734,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3822,7 +4772,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3837,7 +4791,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="36"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>33</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
<LabeledSymbol>
<PrimitiveLabel>
<Integer>35</Integer>
@@ -3852,7 +4810,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3886,7 +4848,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -3901,7 +4867,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="36"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>33</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
<LabeledSymbol>
<PrimitiveLabel>
<Integer>37</Integer>
@@ -3916,10 +4886,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="29"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>26</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -3946,10 +4924,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="30"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>27</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -3976,10 +4962,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="31"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>28</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -3987,7 +4981,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="36"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>33</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
<LabeledSymbol>
<PrimitiveLabel>
<Integer>35</Integer>
@@ -4002,10 +5000,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="32"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>29</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -4032,10 +5038,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="33"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>30</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -4043,7 +5057,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="36"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>33</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
<LabeledSymbol>
<PrimitiveLabel>
<Integer>37</Integer>
@@ -4058,10 +5076,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="34"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>31</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -4088,10 +5114,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="36"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>33</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -4099,7 +5133,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="36"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>33</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
<LabeledSymbol>
<PrimitiveLabel>
<Integer>41</Integer>
@@ -4114,10 +5152,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="41"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>38</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -4144,10 +5190,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="42"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>39</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -4155,7 +5209,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="36"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>33</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
<LabeledSymbol>
<PrimitiveLabel>
<Integer>41</Integer>
@@ -4170,7 +5228,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4193,10 +5255,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="14"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>11</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -4212,7 +5282,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4235,7 +5309,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4264,10 +5342,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="14"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>11</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -4289,7 +5375,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4318,10 +5408,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="6"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>3</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -4334,7 +5432,11 @@
<Integer>10</Integer>
</PrimitiveLabel>
</LabeledSymbol>
- <SymbolRef id="14"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>11</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -4344,10 +5446,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="14"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>11</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -4360,7 +5470,11 @@
<Integer>10</Integer>
</PrimitiveLabel>
</LabeledSymbol>
- <SymbolRef id="14"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>11</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -4370,7 +5484,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4390,7 +5508,11 @@
<Integer>10</Integer>
</PrimitiveLabel>
</LabeledSymbol>
- <SymbolRef id="14"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>11</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -4400,7 +5522,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4423,7 +5549,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4446,7 +5576,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4469,14 +5603,22 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="20"/>
- </pop>
- <to>
- <PrimitiveLabel>
- <Integer>7</Integer>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ </pop>
+ <to>
+ <PrimitiveLabel>
+ <Integer>7</Integer>
</PrimitiveLabel>
</to>
<push/>
@@ -4488,10 +5630,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -4507,7 +5657,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4530,7 +5684,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4553,7 +5711,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4576,7 +5738,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4599,7 +5765,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4622,7 +5792,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4645,7 +5819,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4668,7 +5846,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4697,7 +5879,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4726,7 +5912,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4755,10 +5945,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -4780,10 +5978,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -4805,7 +6011,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4834,7 +6044,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4863,7 +6077,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4892,7 +6110,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4921,7 +6143,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4950,7 +6176,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -4979,7 +6209,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5008,10 +6242,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="9"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>6</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -5019,8 +6261,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -5030,10 +6280,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="11"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>8</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -5041,8 +6299,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -5052,7 +6318,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5067,8 +6337,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -5078,10 +6356,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -5089,8 +6375,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -5100,10 +6394,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -5111,8 +6413,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -5122,7 +6432,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5137,8 +6451,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -5148,7 +6470,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5163,8 +6489,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -5174,7 +6508,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5189,8 +6527,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -5200,7 +6546,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5215,8 +6565,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -5226,7 +6584,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5241,10 +6603,18 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
- </push>
- </transition>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ </push>
+ </transition>
<transition>
<from>
<PrimitiveLabel>
@@ -5252,7 +6622,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5267,8 +6641,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -5278,7 +6660,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5293,8 +6679,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -5304,10 +6698,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="14"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>11</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -5323,7 +6725,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5346,10 +6752,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="14"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>11</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -5371,7 +6785,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5386,7 +6804,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="24"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>21</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -5396,10 +6818,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="14"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>11</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -5412,7 +6842,11 @@
<Integer>10</Integer>
</PrimitiveLabel>
</LabeledSymbol>
- <SymbolRef id="14"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>11</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -5422,10 +6856,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="35"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>32</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -5433,8 +6875,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="13"/>
- <SymbolRef id="14"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>10</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>11</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -5444,7 +6894,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5467,10 +6921,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -5486,10 +6948,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -5505,7 +6975,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5528,7 +7002,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5551,7 +7029,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5574,7 +7056,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5597,7 +7083,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5620,7 +7110,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5643,7 +7137,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5666,7 +7164,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5695,10 +7197,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -5720,10 +7230,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -5745,7 +7263,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5774,7 +7296,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5803,7 +7329,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5832,7 +7362,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5847,7 +7381,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="25"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>22</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -5857,7 +7395,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5872,7 +7414,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="26"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>23</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -5882,7 +7428,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5911,7 +7461,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -5940,10 +7494,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="17"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>14</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -5951,8 +7513,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -5962,10 +7532,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -5973,8 +7551,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -5984,10 +7570,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -5995,8 +7589,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -6006,10 +7608,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="23"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>20</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -6017,8 +7627,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -6028,10 +7646,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="37"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>34</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -6039,8 +7665,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -6050,10 +7684,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="38"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>35</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -6061,8 +7703,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -6072,10 +7722,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="39"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>36</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -6083,8 +7741,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -6094,10 +7760,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="40"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>37</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -6105,8 +7779,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -6116,10 +7798,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="43"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>40</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -6127,8 +7817,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -6138,10 +7836,18 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
- <SymbolRef id="44"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>41</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</pop>
<to>
<PrimitiveLabel>
@@ -6149,8 +7855,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -6160,7 +7874,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6183,7 +7901,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6212,7 +7934,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6232,7 +7958,11 @@
<Integer>10</Integer>
</PrimitiveLabel>
</LabeledSymbol>
- <SymbolRef id="14"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>11</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -6242,7 +7972,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6265,7 +7999,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6288,7 +8026,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6311,7 +8053,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6334,7 +8080,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6357,7 +8107,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="0"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a0</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6380,7 +8134,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6409,7 +8167,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6438,7 +8200,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6467,7 +8233,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6496,7 +8266,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6511,7 +8285,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="27"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>24</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -6521,7 +8299,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="1"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a1</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6536,7 +8318,11 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="28"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>25</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -6546,7 +8332,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6561,8 +8351,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -6572,7 +8370,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6587,8 +8389,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -6598,7 +8408,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6613,8 +8427,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -6624,7 +8446,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6639,8 +8465,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -6650,7 +8484,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6665,8 +8503,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="20"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>17</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
<transition>
@@ -6676,7 +8522,11 @@
</PrimitiveLabel>
</from>
<input>
- <SymbolRef id="2"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>a2</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</input>
<pop>
<LabeledSymbol>
@@ -6691,8 +8541,16 @@
</PrimitiveLabel>
</to>
<push>
- <SymbolRef id="16"/>
- <SymbolRef id="21"/>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>13</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Integer>18</Integer>
+ </PrimitiveLabel>
+ </LabeledSymbol>
</push>
</transition>
</transitions>
diff --git a/examples2/rte/rte.xml b/examples2/rte/rte.xml
index 03b7f8153083370c14a4db18d1d6b028b2be264c..5b58614b8a68d19f06304b02771cdded0405e11d 100644
--- a/examples2/rte/rte.xml
+++ b/examples2/rte/rte.xml
@@ -1,38 +1,137 @@
+<?xml version="1.0"?>
<FormalRTE>
- <alphabet>
- <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol>
- <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol>
- <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol>
- <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>d</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol>
- </alphabet>
- <substSymbolAlphabet>
- <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>y</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol>
- <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol>
- </substSymbolAlphabet>
- <substitution>
- <RankedSymbol><SymbolRef id="5"/><Unsigned>0</Unsigned></RankedSymbol>
- <iteration>
- <RankedSymbol><SymbolRef id="4"/><Unsigned>0</Unsigned></RankedSymbol>
- <symbol>
- <RankedSymbol><SymbolRef id="3"/><Unsigned>1</Unsigned></RankedSymbol>
- <symbol>
- <RankedSymbol><SymbolRef id="0"/><Unsigned>2</Unsigned></RankedSymbol>
- <substSymbol>
- <RankedSymbol><SymbolRef id="4"/><Unsigned>0</Unsigned></RankedSymbol>
- </substSymbol>
- <substSymbol>
- <RankedSymbol><SymbolRef id="5"/><Unsigned>0</Unsigned></RankedSymbol>
- </substSymbol>
- </symbol>
- </symbol>
- </iteration>
- <alternation>
- <symbol>
- <RankedSymbol><SymbolRef id="1"/><Unsigned>0</Unsigned></RankedSymbol>
- </symbol>
- <symbol>
- <RankedSymbol><SymbolRef id="2"/><Unsigned>0</Unsigned></RankedSymbol>
- </symbol>
- </alternation>
- </substitution>
+ <alphabet>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>2</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>b</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>c</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>d</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>1</Unsigned>
+ </RankedSymbol>
+ </alphabet>
+ <substSymbolAlphabet>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>y</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>z</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </substSymbolAlphabet>
+ <substitution>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>z</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <iteration>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>y</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <symbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>d</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>1</Unsigned>
+ </RankedSymbol>
+ <symbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>2</Unsigned>
+ </RankedSymbol>
+ <substSymbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>y</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </substSymbol>
+ <substSymbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>z</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </substSymbol>
+ </symbol>
+ </symbol>
+ </iteration>
+ <alternation>
+ <symbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>b</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </symbol>
+ <symbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>c</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </symbol>
+ </alternation>
+ </substitution>
</FormalRTE>
diff --git a/examples2/rte/rte1.xml b/examples2/rte/rte1.xml
index 87b8435a329b1e0e574fd88bad41b096f72fa295..34c85ce3bb098a699aaa40cd78ab84880617f5a8 100644
--- a/examples2/rte/rte1.xml
+++ b/examples2/rte/rte1.xml
@@ -1,51 +1,169 @@
+<?xml version="1.0"?>
<FormalRTE>
- <alphabet>
- <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol>
- <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol>
- <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol>
- <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>d</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol>
- </alphabet>
- <substSymbolAlphabet>
- <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>y</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol>
- <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol>
- </substSymbolAlphabet>
- <substitution>
- <RankedSymbol><SymbolRef id="4"/><Unsigned>0</Unsigned></RankedSymbol>
-
- <substitution>
- <RankedSymbol><SymbolRef id="5"/><Unsigned>0</Unsigned></RankedSymbol>
- <iteration>
- <RankedSymbol><SymbolRef id="4"/><Unsigned>0</Unsigned></RankedSymbol>
- <symbol>
- <RankedSymbol><SymbolRef id="3"/><Unsigned>1</Unsigned></RankedSymbol>
- <symbol>
- <RankedSymbol><SymbolRef id="0"/><Unsigned>2</Unsigned></RankedSymbol>
- <substSymbol>
- <RankedSymbol><SymbolRef id="4"/><Unsigned>0</Unsigned></RankedSymbol>
- </substSymbol>
- <substSymbol>
- <RankedSymbol><SymbolRef id="5"/><Unsigned>0</Unsigned></RankedSymbol>
- </substSymbol>
- </symbol>
- </symbol>
- </iteration>
- <alternation>
- <symbol>
- <RankedSymbol><SymbolRef id="1"/><Unsigned>0</Unsigned></RankedSymbol>
- </symbol>
- <symbol>
- <RankedSymbol><SymbolRef id="2"/><Unsigned>0</Unsigned></RankedSymbol>
- </symbol>
- </alternation>
- </substitution>
-
- <alternation>
- <symbol>
- <RankedSymbol><SymbolRef id="1"/><Unsigned>0</Unsigned></RankedSymbol>
- </symbol>
- <symbol>
- <RankedSymbol><SymbolRef id="2"/><Unsigned>0</Unsigned></RankedSymbol>
- </symbol>
- </alternation>
- </substitution>
+ <alphabet>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>2</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>b</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>c</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>d</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>1</Unsigned>
+ </RankedSymbol>
+ </alphabet>
+ <substSymbolAlphabet>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>y</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>z</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </substSymbolAlphabet>
+ <substitution>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>y</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <substitution>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>z</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <iteration>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>y</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <symbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>d</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>1</Unsigned>
+ </RankedSymbol>
+ <symbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>2</Unsigned>
+ </RankedSymbol>
+ <substSymbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>y</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </substSymbol>
+ <substSymbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>z</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </substSymbol>
+ </symbol>
+ </symbol>
+ </iteration>
+ <alternation>
+ <symbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>b</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </symbol>
+ <symbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>c</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </symbol>
+ </alternation>
+ </substitution>
+ <alternation>
+ <symbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>b</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </symbol>
+ <symbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>c</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </symbol>
+ </alternation>
+ </substitution>
</FormalRTE>
diff --git a/examples2/tree/aarbology.test1.nonlinear.pattern.xml b/examples2/tree/aarbology.test1.nonlinear.pattern.xml
index 63aa6eaa6507457bb08bab6a124af5e550622ebd..5de0b43dc04d550ee3979ede72d96021eecb7e09 100644
--- a/examples2/tree/aarbology.test1.nonlinear.pattern.xml
+++ b/examples2/tree/aarbology.test1.nonlinear.pattern.xml
@@ -1,2 +1,143 @@
<?xml version="1.0"?>
-<RankedNonlinearPattern><subtreeWildcard><RankedSymbol><SubtreeWildcardSymbol/><Unsigned>0</Unsigned></RankedSymbol></subtreeWildcard><nonlinearVariables><RankedSymbol><NonlinearVariableSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></NonlinearVariableSymbol><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><NonlinearVariableSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol></NonlinearVariableSymbol><Unsigned>0</Unsigned></RankedSymbol></nonlinearVariables><alphabet><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><RankedSymbol><SymbolRef id="0"/><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><SymbolRef id="2"/><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><SymbolRef id="4"/><Unsigned>0</Unsigned></RankedSymbol></alphabet><content><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><Children><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><Children><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><Children><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><Children><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><Children><RankedSymbol><NonlinearVariableSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol></NonlinearVariableSymbol><Unsigned>0</Unsigned></RankedSymbol></Children></Children></Children></Children></Children></content></RankedNonlinearPattern>
+<RankedNonlinearPattern>
+ <subtreeWildcard>
+ <RankedSymbol>
+ <SubtreeWildcardSymbol/>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </subtreeWildcard>
+ <nonlinearVariables>
+ <RankedSymbol>
+ <NonlinearVariableSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ </NonlinearVariableSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <NonlinearVariableSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>b</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ </NonlinearVariableSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </nonlinearVariables>
+ <alphabet>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>b</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>c</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>1</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <SubtreeWildcardSymbol/>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <NonlinearVariableSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ </NonlinearVariableSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <NonlinearVariableSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>b</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ </NonlinearVariableSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </alphabet>
+ <content>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>c</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>1</Unsigned>
+ </RankedSymbol>
+ <Children>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>c</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>1</Unsigned>
+ </RankedSymbol>
+ <Children>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>c</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>1</Unsigned>
+ </RankedSymbol>
+ <Children>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>c</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>1</Unsigned>
+ </RankedSymbol>
+ <Children>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>c</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>1</Unsigned>
+ </RankedSymbol>
+ <Children>
+ <RankedSymbol>
+ <NonlinearVariableSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ </NonlinearVariableSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </Children>
+ </Children>
+ </Children>
+ </Children>
+ </Children>
+ </content>
+</RankedNonlinearPattern>
diff --git a/examples2/tree/aarbology.test2.pattern.xml b/examples2/tree/aarbology.test2.pattern.xml
index 301a75dc59e10e6107dd8545473c3dadaf48cc28..b9bb5ab696c229ac8c4bb092d8c764444bad7e38 100644
--- a/examples2/tree/aarbology.test2.pattern.xml
+++ b/examples2/tree/aarbology.test2.pattern.xml
@@ -1,2 +1,69 @@
<?xml version="1.0"?>
-<RankedPattern><subtreeWildcard><RankedSymbol><SubtreeWildcardSymbol/><Unsigned>0</Unsigned></RankedSymbol></subtreeWildcard><alphabet><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol><RankedSymbol><SymbolRef id="0"/><Unsigned>0</Unsigned></RankedSymbol></alphabet><content><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol><Children><RankedSymbol><SubtreeWildcardSymbol/><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><Children><RankedSymbol><SubtreeWildcardSymbol/><Unsigned>0</Unsigned></RankedSymbol></Children></Children></content></RankedPattern>
+<RankedPattern>
+ <subtreeWildcard>
+ <RankedSymbol>
+ <SubtreeWildcardSymbol/>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </subtreeWildcard>
+ <alphabet>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>b</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>1</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>c</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>2</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <SubtreeWildcardSymbol/>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </alphabet>
+ <content>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>c</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>2</Unsigned>
+ </RankedSymbol>
+ <Children>
+ <RankedSymbol>
+ <SubtreeWildcardSymbol/>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>b</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>1</Unsigned>
+ </RankedSymbol>
+ <Children>
+ <RankedSymbol>
+ <SubtreeWildcardSymbol/>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </Children>
+ </Children>
+ </content>
+</RankedPattern>
diff --git a/examples2/tree/aarbology.test3.nonlinear.pattern.xml b/examples2/tree/aarbology.test3.nonlinear.pattern.xml
index 8aaa1c36dcf85fa045d08602fbb691416a0119ee..86a202163b2b62f545afce5c120f3ddd4ac5041c 100644
--- a/examples2/tree/aarbology.test3.nonlinear.pattern.xml
+++ b/examples2/tree/aarbology.test3.nonlinear.pattern.xml
@@ -1,2 +1,77 @@
<?xml version="1.0"?>
-<RankedNonlinearPattern><subtreeWildcard><RankedSymbol><SubtreeWildcardSymbol/><Unsigned>0</Unsigned></RankedSymbol></subtreeWildcard><nonlinearVariables><RankedSymbol><NonlinearVariableSymbol><LabeledSymbol><PrimitiveLabel><String>A</String></PrimitiveLabel></LabeledSymbol></NonlinearVariableSymbol><Unsigned>0</Unsigned></RankedSymbol></nonlinearVariables><alphabet><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol><RankedSymbol><SymbolRef id="0"/><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><SymbolRef id="2"/><Unsigned>0</Unsigned></RankedSymbol></alphabet><content><RankedSymbol><SymbolRef id="3"/><Unsigned>2</Unsigned></RankedSymbol><Children><RankedSymbol><SymbolRef id="2"/><Unsigned>0</Unsigned></RankedSymbol><RankedSymbol><NonlinearVariableSymbol><LabeledSymbol><PrimitiveLabel><String>A</String></PrimitiveLabel></LabeledSymbol></NonlinearVariableSymbol><Unsigned>0</Unsigned></RankedSymbol></Children></content></RankedNonlinearPattern>
+<RankedNonlinearPattern>
+ <subtreeWildcard>
+ <RankedSymbol>
+ <SubtreeWildcardSymbol/>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </subtreeWildcard>
+ <nonlinearVariables>
+ <RankedSymbol>
+ <NonlinearVariableSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>A</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ </NonlinearVariableSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </nonlinearVariables>
+ <alphabet>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>2</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <SubtreeWildcardSymbol/>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <NonlinearVariableSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>A</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ </NonlinearVariableSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </alphabet>
+ <content>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>2</Unsigned>
+ </RankedSymbol>
+ <Children>
+ <RankedSymbol>
+ <NonlinearVariableSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>A</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ </NonlinearVariableSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <NonlinearVariableSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <String>A</String>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ </NonlinearVariableSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </Children>
+ </content>
+</RankedNonlinearPattern>
diff --git a/examples2/tree/aarbology.test3.subject.xml b/examples2/tree/aarbology.test3.subject.xml
index fdc8a9c7aed8d1e534bdbc47ae41b8f9d62c4f1a..0f0dc7671591b47112ce35e6deb6feaaaa16286f 100644
--- a/examples2/tree/aarbology.test3.subject.xml
+++ b/examples2/tree/aarbology.test3.subject.xml
@@ -1,2 +1,133 @@
<?xml version="1.0"?>
-<RankedTree><alphabet><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol></alphabet><content><RankedSymbol><SymbolRef id="1"/><Unsigned>2</Unsigned></RankedSymbol><Children><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol><Children><RankedSymbol><SymbolRef id="0"/><Unsigned>1</Unsigned></RankedSymbol><Children><RankedSymbol><SymbolRef id="2"/><Unsigned>0</Unsigned></RankedSymbol></Children><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><Children><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol></Children></Children><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol><Children><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><Children><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol></Children><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol><Children><RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol></Children></Children></Children></content></RankedTree>
+<RankedTree>
+ <alphabet>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>1</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>2</Unsigned>
+ </RankedSymbol>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>b</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </alphabet>
+ <content>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>2</Unsigned>
+ </RankedSymbol>
+ <Children>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>2</Unsigned>
+ </RankedSymbol>
+ <Children>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>1</Unsigned>
+ </RankedSymbol>
+ <Children>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>b</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </Children>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>1</Unsigned>
+ </RankedSymbol>
+ <Children>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>b</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </Children>
+ </Children>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>2</Unsigned>
+ </RankedSymbol>
+ <Children>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>1</Unsigned>
+ </RankedSymbol>
+ <Children>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>b</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </Children>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>a</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>1</Unsigned>
+ </RankedSymbol>
+ <Children>
+ <RankedSymbol>
+ <LabeledSymbol>
+ <PrimitiveLabel>
+ <Character>b</Character>
+ </PrimitiveLabel>
+ </LabeledSymbol>
+ <Unsigned>0</Unsigned>
+ </RankedSymbol>
+ </Children>
+ </Children>
+ </Children>
+ </content>
+</RankedTree>