PageRenderTime 55ms CodeModel.GetById 14ms RepoModel.GetById 0ms app.codeStats 0ms

/test.data/ruleCompressions/model/qualitative/~session011.test

http://github.com/kappamodeler/jkappa
Unknown | 1577 lines | 1577 code | 0 blank | 0 comment | 0 complexity | 035ac438596486bab0ca1c6156c27bf2 MD5 | raw file
Possible License(s): LGPL-3.0, Apache-2.0 
    

  1. <?xml version='1.0' encoding='utf-8'?>
    2. 

  2. <!-- Automaticaly generated by Complx 4.321..10527 -->
    3. 

  3. <ComplxSession Timestamp="02/15/2010 (14:21:41)" CommandLine="complx/complx-build-4.321..10527 test.data/ruleCompressions/model/qualitative/~kappa011.test --output-xml test.data/ruleCompressions/model/qualitative/~session011.test" InputFile="test.data/ruleCompressions/model/qualitative/~kappa011.test" 
    4. 

  4. xsi:schemaLocation="http://plectix.synthesisstudios.com
    5. 

  5. KappaSession.xsd" xmlns="http://plectix.synthesisstudios.com/schemas/kappasession"
    6. 

  6. xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" >
    7. 

  7. <Log>
    8. 

  8. <Entry Type="WARNING" Message="Rule %Auto_41 cannot be applied"/>
    9. 

  9. <Entry Type="WARNING" Message="Rule %Auto_40 cannot be applied"/>
    10. 

  10. <Entry Type="INFO" Message="Compilation(simplx)                      0.00524 s."/>
    11. 

  11. <Entry Type="INFO" Message="Second compilation(pretty printing)      0.000691 s."/>
    12. 

  12. <Entry Type="INFO" Message="Translation                              0.002175 s."/>
    13. 

  13. <Entry Type="INFO" Message="Renaming                                 0.001879 s."/>
    14. 

  14. <Entry Type="INFO" Message="Boolean encoding of the initial system   0.004044 s."/>
    15. 

  15. <Entry Type="INFO" Message="Quotienting rules                        0.00294 s."/>
    16. 

  16. <Entry Type="INFO" Message="Boolean encoding of the quotiented system0.002335 s."/>
    17. 

  17. <Entry Type="INFO" Message="Low-res contact map                      3.7e-05 s."/>
    18. 

  18. <Entry Type="INFO" Message="Reachability analysis                    0.014222 s."/>
    19. 

  19. <Entry Type="INFO" Message="Absract lenses computation               0.009797 s."/>
    20. 

  20. <Entry Type="INFO" Message="Quark computation                        0.000603 s."/>
    21. 

  21. <Entry Type="INFO" Message="count automorphisms in lhs               0.00209 s."/>
    22. 

  22. <Entry Type="INFO" Message="Compression(qualitative)                 0.079765 s."/>
    23. 

  23. <Entry Type="INFO" Message="Compression(quantitative)                0.079415 s."/>
    24. 

  24. <Entry Type="INFO" Message="compute refinement relation closure      0.000494 s."/>
    25. 

  25. <Entry Type="INFO" Message="compute maximal refinement relation      1.4e-05 s."/>
    26. 

  26. <Entry Type="INFO" Message="compute dag-like refinement relation     4.2e-05 s."/>
    27. 

  27. </Log>
    28. 

  28. <RuleSet Name="Original">
    29. 

  29. <Rule Id="2" Name="%Auto_2" Data="R(l!0,r),E(r!0)->R(l,r),E(r)" ForwardRate="1" />
    30. 

  30. <Rule Id="1" Name="%Auto_1" Data="R(l,r),E(r)->R(l!0,r),E(r!0)" ForwardRate="1" />
    31. 

  31. <Rule Id="3" Name="%Auto_3" Data="E(r!0),E(r!1),R(l!0,r),R(l!1,r)->E(r!0),E(r!1),R(l!0,r!2),R(l!1,r!2)" ForwardRate="1" />
    32. 

  32. <Rule Id="4" Name="%Auto_4" Data="E(r!0),E(r!1),R(l!0,r!2),R(l!1,r!2)->E(r!0),E(r!1),R(l!0,r),R(l!1,r)" ForwardRate="1" />
    33. 

  33. <Rule Id="5" Name="%Auto_5" Data="E(r!0),E(r!1),R(Y68~u,l!0,r!2),R(l!1,r!2)->E(r!0),E(r!1),R(Y68~p,l!0,r!2),R(l!1,r!2)" ForwardRate="1" />
    34. 

  34. <Rule Id="6" Name="%Auto_6" Data="R(Y68~p)->R(Y68~u)" ForwardRate="1" />
    35. 

  35. <Rule Id="7" Name="%Auto_7" Data="E(r!0),E(r!1),R(Y48~u,l!0,r!2),R(l!1,r!2)->E(r!0),E(r!1),R(Y48~p,l!0,r!2),R(l!1,r!2)" ForwardRate="1" />
    36. 

  36. <Rule Id="8" Name="%Auto_8" Data="R(Y48~p)->R(Y48~u)" ForwardRate="1" />
    37. 

  37. <Rule Id="9" Name="%Auto_9" Data="R(Y48~p!0,r!_),Sh(Y7~u,pi!0)->R(Y48~p!0,r!_),Sh(Y7~p,pi!0)" ForwardRate="1" />
    38. 

  38. <Rule Id="10" Name="%Auto_10" Data="Sh(Y7~p,pi!_)->Sh(Y7~u,pi!_)" ForwardRate="1" />
    39. 

  39. <Rule Id="11" Name="%Auto_11" Data="Sh(Y7~p,pi)->Sh(Y7~u,pi)" ForwardRate="1" />
    40. 

  40. <Rule Id="12" Name="%Auto_12" Data="R(Y68~p),G(a,b)->R(Y68~p!0),G(a!0,b)" ForwardRate="1" />
    41. 

  41. <Rule Id="13" Name="%Auto_13" Data="R(Y68~p!0),G(a!0,b)->R(Y68~p),G(a,b)" ForwardRate="1" />
    42. 

  42. <Rule Id="14" Name="%Auto_14" Data="R(Y68~p),G(a,b!_)->R(Y68~p!0),G(a!0,b!_)" ForwardRate="1" />
    43. 

  43. <Rule Id="15" Name="%Auto_15" Data="R(Y68~p!0),G(a!0,b!_)->R(Y68~p),G(a,b!_)" ForwardRate="1" />
    44. 

  44. <Rule Id="16" Name="%Auto_16" Data="R(Y68~p!0),G(a!0,b),So(d)->R(Y68~p!0),G(a!0,b!1),So(d!1)" ForwardRate="1" />
    45. 

  45. <Rule Id="17" Name="%Auto_17" Data="R(Y68~p!0),G(a!0,b!1),So(d!1)->R(Y68~p!0),G(a!0,b),So(d)" ForwardRate="1" />
    46. 

  46. <Rule Id="18" Name="%Auto_18" Data="G(a,b),So(d)->G(a,b!0),So(d!0)" ForwardRate="1" />
    47. 

  47. <Rule Id="19" Name="%Auto_19" Data="G(a,b!0),So(d!0)->G(a,b),So(d)" ForwardRate="1" />
    48. 

  48. <Rule Id="20" Name="es" Data="Sh(Y7~p!0,pi),G(a!0,b),So(d)->Sh(Y7~p!0,pi),G(a!0,b!1),So(d!1)" ForwardRate="1" />
    49. 

  49. <Rule Id="21" Name="%Auto_21" Data="Sh(Y7~p!0,pi),G(a!0,b!1),So(d!1)->Sh(Y7~p!0,pi),G(a!0,b),So(d)" ForwardRate="1" />
    50. 

  50. <Rule Id="22" Name="%Auto_22" Data="Sh(Y7~p!0,pi!_),G(a!0,b),So(d)->Sh(Y7~p!0,pi!_),G(a!0,b!1),So(d!1)" ForwardRate="1" />
    51. 

  51. <Rule Id="23" Name="%Auto_23" Data="Sh(Y7~p!0,pi!_),G(a!0,b!1),So(d!1)->Sh(Y7~p!0,pi!_),G(a!0,b),So(d)" ForwardRate="1" />
    52. 

  52. <Rule Id="24" Name="%Auto_24" Data="R(Y48~p),Sh(Y7~u,pi)->R(Y48~p!0),Sh(Y7~u,pi!0)" ForwardRate="1" />
    53. 

  53. <Rule Id="25" Name="%Auto_25" Data="R(Y48~p!0),Sh(Y7~u,pi!0)->R(Y48~p),Sh(Y7~u,pi)" ForwardRate="1" />
    54. 

  54. <Rule Id="26" Name="%Auto_26" Data="R(Y48~p),Sh(Y7~p,pi)->R(Y48~p!0),Sh(Y7~p,pi!0)" ForwardRate="1" />
    55. 

  55. <Rule Id="27" Name="%Auto_27" Data="R(Y48~p!0),Sh(Y7~p,pi!0)->R(Y48~p),Sh(Y7~p,pi)" ForwardRate="1" />
    56. 

  56. <Rule Id="28" Name="%Auto_28" Data="R(Y48~p),Sh(Y7~p!0,pi),G(a!0,b)->R(Y48~p!0),Sh(Y7~p!1,pi!0),G(a!1,b)" ForwardRate="1" />
    57. 

  57. <Rule Id="29" Name="%Auto_29" Data="R(Y48~p!0),Sh(Y7~p!1,pi!0),G(a!1,b)->R(Y48~p),Sh(Y7~p!0,pi),G(a!0,b)" ForwardRate="1" />
    58. 

  58. <Rule Id="30" Name="%Auto_30" Data="R(Y48~p),Sh(Y7~p!0,pi),G(a!0,b!1),So(d!1)->R(Y48~p!0),Sh(Y7~p!1,pi!0),G(a!1,b!2),So(d!2)" ForwardRate="1" />
    59. 

  59. <Rule Id="31" Name="%Auto_31" Data="R(Y48~p!0),Sh(Y7~p!1,pi!0),G(a!1,b!2),So(d!2)->R(Y48~p),Sh(Y7~p!0,pi),G(a!0,b!1),So(d!1)" ForwardRate="1" />
    60. 

  60. <Rule Id="32" Name="%Auto_32" Data="R(Y48~p!0),Sh(Y7~p,pi!0),G(a,b)->R(Y48~p!0),Sh(Y7~p!1,pi!0),G(a!1,b)" ForwardRate="1" />
    61. 

  61. <Rule Id="33" Name="%Auto_33" Data="R(Y48~p!0),Sh(Y7~p!1,pi!0),G(a!1,b)->R(Y48~p!0),Sh(Y7~p,pi!0),G(a,b)" ForwardRate="1" />
    62. 

  62. <Rule Id="34" Name="%Auto_34" Data="Sh(Y7~p,pi),G(a,b)->Sh(Y7~p!0,pi),G(a!0,b)" ForwardRate="1" />
    63. 

  63. <Rule Id="35" Name="%Auto_35" Data="Sh(Y7~p!0,pi),G(a!0,b)->Sh(Y7~p,pi),G(a,b)" ForwardRate="1" />
    64. 

  64. <Rule Id="36" Name="%Auto_36" Data="Sh(Y7~p,pi),G(a,b!_)->Sh(Y7~p!0,pi),G(a!0,b!_)" ForwardRate="1" />
    65. 

  65. <Rule Id="37" Name="%Auto_37" Data="Sh(Y7~p!0,pi),G(a!0,b!_)->Sh(Y7~p,pi),G(a,b!_)" ForwardRate="1" />
    66. 

  66. <Rule Id="38" Name="%Auto_38" Data="R(Y48~p!0),Sh(Y7~p,pi!0),G(a,b!1),So(d!1)->R(Y48~p!0),Sh(Y7~p!1,pi!0),G(a!1,b!2),So(d!2)" ForwardRate="1" />
    67. 

  67. <Rule Id="39" Name="%Auto_39" Data="R(Y48~p!0),Sh(Y7~p!1,pi!0),G(a!1,b!2),So(d!2)->R(Y48~p!0),Sh(Y7~p,pi!0),G(a,b!1),So(d!1)" ForwardRate="1" />
    68. 

  68. <Rule Id="40" Name="%Auto_40" Data="R(l,r!_)->R(l,r)" ForwardRate="1" />
    69. 

  69. <Rule Id="41" Name="%Auto_41" Data="Sh(Y7~u!_)->Sh(Y7~t)" ForwardRate="1" />
    70. 

  70. </RuleSet>
    71. 

  71. <RuleSet Name="Qualitative compression">
    72. 

  72. <Rule Id="1" Name="%Auto_2" Data="R(l!_,r)->R(l,r)" ForwardRate="1"/>
    73. 

  73. <Rule Id="2" Name="%Auto_1" Data="E(r),R(l)->E(r!1),R(l!1)" ForwardRate="1"/>
    74. 

  74. <Rule Id="3" Name="%Auto_3" Data="R(l!_,r),R(l!_,r)->R(l!_,r!1),R(l!_,r!1)" ForwardRate="1"/>
    75. 

  75. <Rule Id="4" Name="%Auto_4" Data="R(r!_)->R(r)" ForwardRate="0.5"/>
    76. 

  76. <Rule Id="5" Name="%Auto_5" Data="R(Y68~u?,r!_)->R(Y68~p?,r!_)" ForwardRate="1"/>
    77. 

  77. <Rule Id="6" Name="%Auto_6" Data="R(Y68~p)->R(Y68~u)" ForwardRate="1"/>
    78. 

  78. <Rule Id="7" Name="%Auto_7" Data="R(Y48~u?,r!_)->R(Y48~p?,r!_)" ForwardRate="1"/>
    79. 

  79. <Rule Id="8" Name="%Auto_8" Data="R(Y48~p)->R(Y48~u)" ForwardRate="1"/>
    80. 

  80. <Rule Id="9" Name="%Auto_9" Data="Sh(Y7~u?,pi!1),R(Y48!1,r!_)->Sh(Y7~p?,pi!1),R(Y48!1,r!_)" ForwardRate="1"/>
    81. 

  81. <Rule Id="10" Name="%Auto_10,%Auto_11" Data="Sh(Y7~p)->Sh(Y7~u)" ForwardRate="1"/>
    82. 

  82. <Rule Id="11" Name="%Auto_12,%Auto_14" Data="G(a),R(Y68~p)->G(a!1),R(Y68~p!1)" ForwardRate="1"/>
    83. 

  83. <Rule Id="12" Name="%Auto_13,%Auto_15" Data="R(Y68!_)->R(Y68)" ForwardRate="1"/>
    84. 

  84. <Rule Id="13" Name="%Auto_16,%Auto_18,%Auto_22,es" Data="G(b),So(d)->G(b!1),So(d!1)" ForwardRate="1"/>
    85. 

  85. <Rule Id="14" Name="%Auto_17,%Auto_19,%Auto_21,%Auto_23" Data="So(d!_)->So(d)" ForwardRate="1"/>
    86. 

  86. <Rule Id="15" Name="%Auto_24,%Auto_26,%Auto_28,%Auto_30" Data="R(Y48~p),Sh(pi)->R(Y48~p!1),Sh(pi!1)" ForwardRate="1"/>
    87. 

  87. <Rule Id="16" Name="%Auto_25,%Auto_27,%Auto_29,%Auto_31" Data="Sh(pi!_)->Sh(pi)" ForwardRate="1"/>
    88. 

  88. <Rule Id="17" Name="%Auto_32,%Auto_34,%Auto_36,%Auto_38" Data="G(a),Sh(Y7~p)->G(a!1),Sh(Y7~p!1)" ForwardRate="1"/>
    89. 

  89. <Rule Id="18" Name="%Auto_33,%Auto_35,%Auto_37,%Auto_39" Data="Sh(Y7!_)->Sh(Y7)" ForwardRate="1"/>
    90. 

  90. <Rule Id="19" Name="%Auto_40" Data="Cannot be applied"/>
    91. 

  91. <Rule Id="20" Name="%Auto_41" Data="Cannot be applied"/>
    92. 

  92. <Map FromSet="Original">
    93. 

  93. <Association FromRule="2" ToRule="1"/>
    94. 

  94. <Association FromRule="1" ToRule="2"/>
    95. 

  95. <Association FromRule="3" ToRule="3"/>
    96. 

  96. <Association FromRule="4" ToRule="4"/>
    97. 

  97. <Association FromRule="5" ToRule="5"/>
    98. 

  98. <Association FromRule="6" ToRule="6"/>
    99. 

  99. <Association FromRule="7" ToRule="7"/>
    100. 

  100. <Association FromRule="8" ToRule="8"/>
    101. 

  101. <Association FromRule="9" ToRule="9"/>
    102. 

  102. <Association FromRule="11" ToRule="10"/>
    103. 

  103. <Association FromRule="10" ToRule="10"/>
    104. 

  104. <Association FromRule="14" ToRule="11"/>
    105. 

  105. <Association FromRule="12" ToRule="11"/>
    106. 

  106. <Association FromRule="15" ToRule="12"/>
    107. 

  107. <Association FromRule="13" ToRule="12"/>
    108. 

  108. <Association FromRule="20" ToRule="13"/>
    109. 

  109. <Association FromRule="22" ToRule="13"/>
    110. 

  110. <Association FromRule="18" ToRule="13"/>
    111. 

  111. <Association FromRule="16" ToRule="13"/>
    112. 

  112. <Association FromRule="23" ToRule="14"/>
    113. 

  113. <Association FromRule="21" ToRule="14"/>
    114. 

  114. <Association FromRule="19" ToRule="14"/>
    115. 

  115. <Association FromRule="17" ToRule="14"/>
    116. 

  116. <Association FromRule="30" ToRule="15"/>
    117. 

  117. <Association FromRule="28" ToRule="15"/>
    118. 

  118. <Association FromRule="26" ToRule="15"/>
    119. 

  119. <Association FromRule="24" ToRule="15"/>
    120. 

  120. <Association FromRule="31" ToRule="16"/>
    121. 

  121. <Association FromRule="29" ToRule="16"/>
    122. 

  122. <Association FromRule="27" ToRule="16"/>
    123. 

  123. <Association FromRule="25" ToRule="16"/>
    124. 

  124. <Association FromRule="38" ToRule="17"/>
    125. 

  125. <Association FromRule="36" ToRule="17"/>
    126. 

  126. <Association FromRule="34" ToRule="17"/>
    127. 

  127. <Association FromRule="32" ToRule="17"/>
    128. 

  128. <Association FromRule="39" ToRule="18"/>
    129. 

  129. <Association FromRule="37" ToRule="18"/>
    130. 

  130. <Association FromRule="35" ToRule="18"/>
    131. 

  131. <Association FromRule="33" ToRule="18"/>
    132. 

  132. <Association FromRule="40" ToRule="19"/>
    133. 

  133. <Association FromRule="41" ToRule="20"/>
    134. 

  134. </Map>
    135. 

  135. </RuleSet>
    136. 

  136. <RuleSet Name="Quantitative compression">
    137. 

  137. <Rule Id="1" Name="%Auto_2" Data="R(l!_,r)->R(l,r)" ForwardRate="1"/>
    138. 

  138. <Rule Id="2" Name="%Auto_1" Data="E(r),R(l)->E(r!1),R(l!1)" ForwardRate="1"/>
    139. 

  139. <Rule Id="3" Name="%Auto_3" Data="R(l!_,r),R(l!_,r)->R(l!_,r!1),R(l!_,r!1)" ForwardRate="1"/>
    140. 

  140. <Rule Id="4" Name="%Auto_4" Data="R(r!_)->R(r)" ForwardRate="0.5"/>
    141. 

  141. <Rule Id="5" Name="%Auto_5" Data="R(Y68~u?,r!_)->R(Y68~p?,r!_)" ForwardRate="1"/>
    142. 

  142. <Rule Id="6" Name="%Auto_6" Data="R(Y68~p)->R(Y68~u)" ForwardRate="1"/>
    143. 

  143. <Rule Id="7" Name="%Auto_7" Data="R(Y48~u?,r!_)->R(Y48~p?,r!_)" ForwardRate="1"/>
    144. 

  144. <Rule Id="8" Name="%Auto_8" Data="R(Y48~p)->R(Y48~u)" ForwardRate="1"/>
    145. 

  145. <Rule Id="9" Name="%Auto_9" Data="Sh(Y7~u?,pi!1),R(Y48!1,r!_)->Sh(Y7~p?,pi!1),R(Y48!1,r!_)" ForwardRate="1"/>
    146. 

  146. <Rule Id="10" Name="%Auto_10" Data="Sh(Y7~p,pi!_)->Sh(Y7~u,pi!_)" ForwardRate="1"/>
    147. 

  147. <Rule Id="11" Name="%Auto_11" Data="Sh(Y7~p,pi)->Sh(Y7~u,pi)" ForwardRate="1"/>
    148. 

  148. <Rule Id="12" Name="%Auto_12" Data="G(a,b),R(Y68~p)->G(a!1,b),R(Y68~p!1)" ForwardRate="1"/>
    149. 

  149. <Rule Id="13" Name="%Auto_13" Data="G(a!1,b),R(Y68!1)->G(a,b),R(Y68)" ForwardRate="1"/>
    150. 

  150. <Rule Id="14" Name="%Auto_14" Data="G(a,b!_),R(Y68~p)->G(a!1,b!_),R(Y68~p!1)" ForwardRate="1"/>
    151. 

  151. <Rule Id="15" Name="%Auto_15" Data="G(a!1,b!_),R(Y68!1)->G(a,b!_),R(Y68)" ForwardRate="1"/>
    152. 

  152. <Rule Id="16" Name="%Auto_16" Data="G(a!1,b),So(d),R(Y68!1)->G(a!2,b!1),So(d!1),R(Y68!2)" ForwardRate="1"/>
    153. 

  153. <Rule Id="17" Name="%Auto_17" Data="G(a!1,b!_),R(Y68!1)->G(a!1,b),R(Y68!1)" ForwardRate="1"/>
    154. 

  154. <Rule Id="18" Name="%Auto_18" Data="G(a,b),So(d)->G(a,b!1),So(d!1)" ForwardRate="1"/>
    155. 

  155. <Rule Id="19" Name="%Auto_19" Data="G(a,b!_)->G(a,b)" ForwardRate="1"/>
    156. 

  156. <Rule Id="20" Name="es" Data="G(a!1,b),So(d),Sh(Y7!1,pi)->G(a!2,b!1),So(d!1),Sh(Y7!2,pi)" ForwardRate="1"/>
    157. 

  157. <Rule Id="21" Name="%Auto_21" Data="G(a!1,b!_),Sh(Y7!1,pi)->G(a!1,b),Sh(Y7!1,pi)" ForwardRate="1"/>
    158. 

  158. <Rule Id="22" Name="%Auto_22" Data="G(a!1,b),So(d),Sh(Y7!1,pi!_)->G(a!2,b!1),So(d!1),Sh(Y7!2,pi!_)" ForwardRate="1"/>
    159. 

  159. <Rule Id="23" Name="%Auto_23" Data="G(a!1,b!_),Sh(Y7!1,pi!_)->G(a!1,b),Sh(Y7!1,pi!_)" ForwardRate="1"/>
    160. 

  160. <Rule Id="24" Name="%Auto_24" Data="R(Y48~p),Sh(Y7~u?,pi)->R(Y48~p!1),Sh(Y7~u?,pi!1)" ForwardRate="1"/>
    161. 

  161. <Rule Id="25" Name="%Auto_25" Data="Sh(Y7~u?,pi!_)->Sh(Y7~u?,pi)" ForwardRate="1"/>
    162. 

  162. <Rule Id="26" Name="%Auto_26" Data="R(Y48~p),Sh(Y7~p,pi)->R(Y48~p!1),Sh(Y7~p,pi!1)" ForwardRate="1"/>
    163. 

  163. <Rule Id="27" Name="%Auto_27" Data="Sh(Y7~p,pi!_)->Sh(Y7~p,pi)" ForwardRate="1"/>
    164. 

  164. <Rule Id="28" Name="%Auto_28" Data="R(Y48~p),Sh(Y7!1,pi),G(a!1,b)->R(Y48~p!1),Sh(Y7!2,pi!1),G(a!2,b)" ForwardRate="1"/>
    165. 

  165. <Rule Id="29" Name="%Auto_29" Data="Sh(Y7!1,pi!_),G(a!1,b)->Sh(Y7!1,pi),G(a!1,b)" ForwardRate="1"/>
    166. 

  166. <Rule Id="30" Name="%Auto_30" Data="R(Y48~p),Sh(Y7!1,pi),G(a!1,b!_)->R(Y48~p!1),Sh(Y7!2,pi!1),G(a!2,b!_)" ForwardRate="1"/>
    167. 

  167. <Rule Id="31" Name="%Auto_31" Data="Sh(Y7!1,pi!_),G(a!1,b!_)->Sh(Y7!1,pi),G(a!1,b!_)" ForwardRate="1"/>
    168. 

  168. <Rule Id="32" Name="%Auto_32" Data="G(a,b),Sh(Y7~p,pi!_)->G(a!1,b),Sh(Y7~p!1,pi!_)" ForwardRate="1"/>
    169. 

  169. <Rule Id="33" Name="%Auto_33" Data="G(a!1,b),Sh(Y7!1,pi!_)->G(a,b),Sh(Y7,pi!_)" ForwardRate="1"/>
    170. 

  170. <Rule Id="34" Name="%Auto_34" Data="G(a,b),Sh(Y7~p,pi)->G(a!1,b),Sh(Y7~p!1,pi)" ForwardRate="1"/>
    171. 

  171. <Rule Id="35" Name="%Auto_35" Data="G(a!1,b),Sh(Y7!1,pi)->G(a,b),Sh(Y7,pi)" ForwardRate="1"/>
    172. 

  172. <Rule Id="36" Name="%Auto_36" Data="G(a,b!_),Sh(Y7~p,pi)->G(a!1,b!_),Sh(Y7~p!1,pi)" ForwardRate="1"/>
    173. 

  173. <Rule Id="37" Name="%Auto_37" Data="G(a!1,b!_),Sh(Y7!1,pi)->G(a,b!_),Sh(Y7,pi)" ForwardRate="1"/>
    174. 

  174. <Rule Id="38" Name="%Auto_38" Data="G(a,b!_),Sh(Y7~p,pi!_)->G(a!1,b!_),Sh(Y7~p!1,pi!_)" ForwardRate="1"/>
    175. 

  175. <Rule Id="39" Name="%Auto_39" Data="G(a!1,b!_),Sh(Y7!1,pi!_)->G(a,b!_),Sh(Y7,pi!_)" ForwardRate="1"/>
    176. 

  176. <Rule Id="40" Name="%Auto_40" Data="Cannot be applied"/>
    177. 

  177. <Rule Id="41" Name="%Auto_41" Data="Cannot be applied"/>
    178. 

  178. <Map FromSet="Original">
    179. 

  179. <Association FromRule="2" ToRule="1"/>
    180. 

  180. <Association FromRule="1" ToRule="2"/>
    181. 

  181. <Association FromRule="3" ToRule="3"/>
    182. 

  182. <Association FromRule="4" ToRule="4"/>
    183. 

  183. <Association FromRule="5" ToRule="5"/>
    184. 

  184. <Association FromRule="6" ToRule="6"/>
    185. 

  185. <Association FromRule="7" ToRule="7"/>
    186. 

  186. <Association FromRule="8" ToRule="8"/>
    187. 

  187. <Association FromRule="9" ToRule="9"/>
    188. 

  188. <Association FromRule="10" ToRule="10"/>
    189. 

  189. <Association FromRule="11" ToRule="11"/>
    190. 

  190. <Association FromRule="12" ToRule="12"/>
    191. 

  191. <Association FromRule="13" ToRule="13"/>
    192. 

  192. <Association FromRule="14" ToRule="14"/>
    193. 

  193. <Association FromRule="15" ToRule="15"/>
    194. 

  194. <Association FromRule="16" ToRule="16"/>
    195. 

  195. <Association FromRule="17" ToRule="17"/>
    196. 

  196. <Association FromRule="18" ToRule="18"/>
    197. 

  197. <Association FromRule="19" ToRule="19"/>
    198. 

  198. <Association FromRule="20" ToRule="20"/>
    199. 

  199. <Association FromRule="21" ToRule="21"/>
    200. 

  200. <Association FromRule="22" ToRule="22"/>
    201. 

  201. <Association FromRule="23" ToRule="23"/>
    202. 

  202. <Association FromRule="24" ToRule="24"/>
    203. 

  203. <Association FromRule="25" ToRule="25"/>
    204. 

  204. <Association FromRule="26" ToRule="26"/>
    205. 

  205. <Association FromRule="27" ToRule="27"/>
    206. 

  206. <Association FromRule="28" ToRule="28"/>
    207. 

  207. <Association FromRule="29" ToRule="29"/>
    208. 

  208. <Association FromRule="30" ToRule="30"/>
    209. 

  209. <Association FromRule="31" ToRule="31"/>
    210. 

  210. <Association FromRule="32" ToRule="32"/>
    211. 

  211. <Association FromRule="33" ToRule="33"/>
    212. 

  212. <Association FromRule="34" ToRule="34"/>
    213. 

  213. <Association FromRule="35" ToRule="35"/>
    214. 

  214. <Association FromRule="36" ToRule="36"/>
    215. 

  215. <Association FromRule="37" ToRule="37"/>
    216. 

  216. <Association FromRule="38" ToRule="38"/>
    217. 

  217. <Association FromRule="39" ToRule="39"/>
    218. 

  218. <Association FromRule="40" ToRule="40"/>
    219. 

  219. <Association FromRule="41" ToRule="41"/>
    220. 

  220. </Map>
    221. 

  221. </RuleSet>
    222. 

  222. <ContactMap Name="Low resolution">
    223. 

  223. <Agent Name="So">
    224. 

  224. <RuleSet Name="Mod">
    225. 

  225. </RuleSet>
    226. 

  226. <RuleSet Name="Test">
    227. 

  227. <Rule Id="16"/>
    228. 

  228. <Rule Id="17"/>
    229. 

  229. <Rule Id="18"/>
    230. 

  230. <Rule Id="19"/>
    231. 

  231. <Rule Id="20"/>
    232. 

  232. <Rule Id="21"/>
    233. 

  233. <Rule Id="22"/>
    234. 

  234. <Rule Id="23"/>
    235. 

  235. <Rule Id="30"/>
    236. 

  236. <Rule Id="31"/>
    237. 

  237. <Rule Id="38"/>
    238. 

  238. <Rule Id="39"/>
    239. 

  239. </RuleSet><Site Name="d" CanChangeState="false" CanBeBound="true">
    240. 

  240. <RuleSet Name="Mod">
    241. 

  241. </RuleSet>
    242. 

  242. <RuleSet Name="Test">
    243. 

  243. </RuleSet></Site>
    244. 

  244. </Agent>
    245. 

  245. <Agent Name="Sh">
    246. 

  246. <RuleSet Name="Mod">
    247. 

  247. </RuleSet>
    248. 

  248. <RuleSet Name="Test">
    249. 

  249. <Rule Id="9"/>
    250. 

  250. <Rule Id="10"/>
    251. 

  251. <Rule Id="11"/>
    252. 

  252. <Rule Id="20"/>
    253. 

  253. <Rule Id="21"/>
    254. 

  254. <Rule Id="22"/>
    255. 

  255. <Rule Id="23"/>
    256. 

  256. <Rule Id="24"/>
    257. 

  257. <Rule Id="25"/>
    258. 

  258. <Rule Id="26"/>
    259. 

  259. <Rule Id="27"/>
    260. 

  260. <Rule Id="28"/>
    261. 

  261. <Rule Id="29"/>
    262. 

  262. <Rule Id="30"/>
    263. 

  263. <Rule Id="31"/>
    264. 

  264. <Rule Id="32"/>
    265. 

  265. <Rule Id="33"/>
    266. 

  266. <Rule Id="34"/>
    267. 

  267. <Rule Id="35"/>
    268. 

  268. <Rule Id="36"/>
    269. 

  269. <Rule Id="37"/>
    270. 

  270. <Rule Id="38"/>
    271. 

  271. <Rule Id="39"/>
    272. 

  272. <Rule Id="41"/>
    273. 

  273. </RuleSet><Site Name="Y7" CanChangeState="true" CanBeBound="true">
    274. 

  274. <RuleSet Name="Mod">
    275. 

  275. <Rule Id="9"/>
    276. 

  276. <Rule Id="10"/>
    277. 

  277. <Rule Id="11"/>
    278. 

  278. <Rule Id="41"/>
    279. 

  279. </RuleSet>
    280. 

  280. <RuleSet Name="Test">
    281. 

  281. <Rule Id="9"/>
    282. 

  282. <Rule Id="10"/>
    283. 

  283. <Rule Id="11"/>
    284. 

  284. <Rule Id="20"/>
    285. 

  285. <Rule Id="21"/>
    286. 

  286. <Rule Id="22"/>
    287. 

  287. <Rule Id="23"/>
    288. 

  288. <Rule Id="24"/>
    289. 

  289. <Rule Id="25"/>
    290. 

  290. <Rule Id="26"/>
    291. 

  291. <Rule Id="27"/>
    292. 

  292. <Rule Id="28"/>
    293. 

  293. <Rule Id="29"/>
    294. 

  294. <Rule Id="30"/>
    295. 

  295. <Rule Id="31"/>
    296. 

  296. <Rule Id="32"/>
    297. 

  297. <Rule Id="33"/>
    298. 

  298. <Rule Id="34"/>
    299. 

  299. <Rule Id="35"/>
    300. 

  300. <Rule Id="36"/>
    301. 

  301. <Rule Id="37"/>
    302. 

  302. <Rule Id="38"/>
    303. 

  303. <Rule Id="39"/>
    304. 

  304. <Rule Id="41"/>
    305. 

  305. </RuleSet></Site>
    306. 

  306. <Site Name="pi" CanChangeState="false" CanBeBound="true">
    307. 

  307. <RuleSet Name="Mod">
    308. 

  308. </RuleSet>
    309. 

  309. <RuleSet Name="Test">
    310. 

  310. </RuleSet></Site>
    311. 

  311. </Agent>
    312. 

  312. <Agent Name="R">
    313. 

  313. <RuleSet Name="Mod">
    314. 

  314. </RuleSet>
    315. 

  315. <RuleSet Name="Test">
    316. 

  316. <Rule Id="1"/>
    317. 

  317. <Rule Id="2"/>
    318. 

  318. <Rule Id="3"/>
    319. 

  319. <Rule Id="4"/>
    320. 

  320. <Rule Id="5"/>
    321. 

  321. <Rule Id="6"/>
    322. 

  322. <Rule Id="7"/>
    323. 

  323. <Rule Id="8"/>
    324. 

  324. <Rule Id="9"/>
    325. 

  325. <Rule Id="12"/>
    326. 

  326. <Rule Id="13"/>
    327. 

  327. <Rule Id="14"/>
    328. 

  328. <Rule Id="15"/>
    329. 

  329. <Rule Id="16"/>
    330. 

  330. <Rule Id="17"/>
    331. 

  331. <Rule Id="24"/>
    332. 

  332. <Rule Id="25"/>
    333. 

  333. <Rule Id="26"/>
    334. 

  334. <Rule Id="27"/>
    335. 

  335. <Rule Id="28"/>
    336. 

  336. <Rule Id="29"/>
    337. 

  337. <Rule Id="30"/>
    338. 

  338. <Rule Id="31"/>
    339. 

  339. <Rule Id="32"/>
    340. 

  340. <Rule Id="33"/>
    341. 

  341. <Rule Id="38"/>
    342. 

  342. <Rule Id="39"/>
    343. 

  343. <Rule Id="40"/>
    344. 

  344. </RuleSet><Site Name="Y48" CanChangeState="true" CanBeBound="true">
    345. 

  345. <RuleSet Name="Mod">
    346. 

  346. <Rule Id="7"/>
    347. 

  347. <Rule Id="8"/>
    348. 

  348. </RuleSet>
    349. 

  349. <RuleSet Name="Test">
    350. 

  350. <Rule Id="7"/>
    351. 

  351. <Rule Id="8"/>
    352. 

  352. <Rule Id="9"/>
    353. 

  353. <Rule Id="24"/>
    354. 

  354. <Rule Id="25"/>
    355. 

  355. <Rule Id="26"/>
    356. 

  356. <Rule Id="27"/>
    357. 

  357. <Rule Id="28"/>
    358. 

  358. <Rule Id="29"/>
    359. 

  359. <Rule Id="30"/>
    360. 

  360. <Rule Id="31"/>
    361. 

  361. <Rule Id="32"/>
    362. 

  362. <Rule Id="33"/>
    363. 

  363. <Rule Id="38"/>
    364. 

  364. <Rule Id="39"/>
    365. 

  365. </RuleSet></Site>
    366. 

  366. <Site Name="Y68" CanChangeState="true" CanBeBound="true">
    367. 

  367. <RuleSet Name="Mod">
    368. 

  368. <Rule Id="5"/>
    369. 

  369. <Rule Id="6"/>
    370. 

  370. </RuleSet>
    371. 

  371. <RuleSet Name="Test">
    372. 

  372. <Rule Id="5"/>
    373. 

  373. <Rule Id="6"/>
    374. 

  374. <Rule Id="12"/>
    375. 

  375. <Rule Id="13"/>
    376. 

  376. <Rule Id="14"/>
    377. 

  377. <Rule Id="15"/>
    378. 

  378. <Rule Id="16"/>
    379. 

  379. <Rule Id="17"/>
    380. 

  380. </RuleSet></Site>
    381. 

  381. <Site Name="l" CanChangeState="false" CanBeBound="true">
    382. 

  382. <RuleSet Name="Mod">
    383. 

  383. </RuleSet>
    384. 

  384. <RuleSet Name="Test">
    385. 

  385. </RuleSet></Site>
    386. 

  386. <Site Name="r" CanChangeState="false" CanBeBound="true">
    387. 

  387. <RuleSet Name="Mod">
    388. 

  388. </RuleSet>
    389. 

  389. <RuleSet Name="Test">
    390. 

  390. </RuleSet></Site>
    391. 

  391. </Agent>
    392. 

  392. <Agent Name="G">
    393. 

  393. <RuleSet Name="Mod">
    394. 

  394. </RuleSet>
    395. 

  395. <RuleSet Name="Test">
    396. 

  396. <Rule Id="12"/>
    397. 

  397. <Rule Id="13"/>
    398. 

  398. <Rule Id="14"/>
    399. 

  399. <Rule Id="15"/>
    400. 

  400. <Rule Id="16"/>
    401. 

  401. <Rule Id="17"/>
    402. 

  402. <Rule Id="18"/>
    403. 

  403. <Rule Id="19"/>
    404. 

  404. <Rule Id="20"/>
    405. 

  405. <Rule Id="21"/>
    406. 

  406. <Rule Id="22"/>
    407. 

  407. <Rule Id="23"/>
    408. 

  408. <Rule Id="28"/>
    409. 

  409. <Rule Id="29"/>
    410. 

  410. <Rule Id="30"/>
    411. 

  411. <Rule Id="31"/>
    412. 

  412. <Rule Id="32"/>
    413. 

  413. <Rule Id="33"/>
    414. 

  414. <Rule Id="34"/>
    415. 

  415. <Rule Id="35"/>
    416. 

  416. <Rule Id="36"/>
    417. 

  417. <Rule Id="37"/>
    418. 

  418. <Rule Id="38"/>
    419. 

  419. <Rule Id="39"/>
    420. 

  420. </RuleSet><Site Name="a" CanChangeState="false" CanBeBound="true">
    421. 

  421. <RuleSet Name="Mod">
    422. 

  422. </RuleSet>
    423. 

  423. <RuleSet Name="Test">
    424. 

  424. </RuleSet></Site>
    425. 

  425. <Site Name="b" CanChangeState="false" CanBeBound="true">
    426. 

  426. <RuleSet Name="Mod">
    427. 

  427. </RuleSet>
    428. 

  428. <RuleSet Name="Test">
    429. 

  429. </RuleSet></Site>
    430. 

  430. </Agent>
    431. 

  431. <Agent Name="E">
    432. 

  432. <RuleSet Name="Mod">
    433. 

  433. </RuleSet>
    434. 

  434. <RuleSet Name="Test">
    435. 

  435. <Rule Id="1"/>
    436. 

  436. <Rule Id="2"/>
    437. 

  437. <Rule Id="3"/>
    438. 

  438. <Rule Id="4"/>
    439. 

  439. <Rule Id="5"/>
    440. 

  440. <Rule Id="7"/>
    441. 

  441. </RuleSet><Site Name="r" CanChangeState="false" CanBeBound="true">
    442. 

  442. <RuleSet Name="Mod">
    443. 

  443. </RuleSet>
    444. 

  444. <RuleSet Name="Test">
    445. 

  445. </RuleSet></Site>
    446. 

  446. </Agent>
    447. 

  447. <Bond FromAgent="R" FromSite="Y68" ToAgent="G" ToSite="a">
    448. 

  448. <RuleSet Name="Mod">
    449. 

  449. <Rule Id="12"/>
    450. 

  450. <Rule Id="13"/>
    451. 

  451. <Rule Id="14"/>
    452. 

  452. <Rule Id="15"/>
    453. 

  453. </RuleSet>
    454. 

  454. <RuleSet Name="Test">
    455. 

  455. <Rule Id="5"/>
    456. 

  456. <Rule Id="6"/>
    457. 

  457. <Rule Id="12"/>
    458. 

  458. <Rule Id="13"/>
    459. 

  459. <Rule Id="14"/>
    460. 

  460. <Rule Id="15"/>
    461. 

  461. <Rule Id="16"/>
    462. 

  462. <Rule Id="17"/>
    463. 

  463. <Rule Id="18"/>
    464. 

  464. <Rule Id="19"/>
    465. 

  465. <Rule Id="32"/>
    466. 

  466. <Rule Id="34"/>
    467. 

  467. <Rule Id="36"/>
    468. 

  468. <Rule Id="38"/>
    469. 

  469. </RuleSet></Bond><Bond FromAgent="R" FromSite="l" ToAgent="E" ToSite="r">
    470. 

  470. <RuleSet Name="Mod">
    471. 

  471. <Rule Id="1"/>
    472. 

  472. <Rule Id="2"/>
    473. 

  473. </RuleSet>
    474. 

  474. <RuleSet Name="Test">
    475. 

  475. <Rule Id="1"/>
    476. 

  476. <Rule Id="2"/>
    477. 

  477. <Rule Id="3"/>
    478. 

  478. <Rule Id="4"/>
    479. 

  479. <Rule Id="5"/>
    480. 

  480. <Rule Id="7"/>
    481. 

  481. <Rule Id="40"/>
    482. 

  482. </RuleSet></Bond><Bond FromAgent="R" FromSite="r" ToAgent="R" ToSite="r">
    483. 

  483. <RuleSet Name="Mod">
    484. 

  484. <Rule Id="3"/>
    485. 

  485. <Rule Id="4"/>
    486. 

  486. <Rule Id="40"/>
    487. 

  487. </RuleSet>
    488. 

  488. <RuleSet Name="Test">
    489. 

  489. <Rule Id="1"/>
    490. 

  490. <Rule Id="2"/>
    491. 

  491. <Rule Id="3"/>
    492. 

  492. <Rule Id="4"/>
    493. 

  493. <Rule Id="5"/>
    494. 

  494. <Rule Id="7"/>
    495. 

  495. <Rule Id="9"/>
    496. 

  496. <Rule Id="40"/>
    497. 

  497. </RuleSet></Bond><Bond FromAgent="Sh" FromSite="Y7" ToAgent="G" ToSite="a">
    498. 

  498. <RuleSet Name="Mod">
    499. 

  499. <Rule Id="32"/>
    500. 

  500. <Rule Id="33"/>
    501. 

  501. <Rule Id="34"/>
    502. 

  502. <Rule Id="35"/>
    503. 

  503. <Rule Id="36"/>
    504. 

  504. <Rule Id="37"/>
    505. 

  505. <Rule Id="38"/>
    506. 

  506. <Rule Id="39"/>
    507. 

  507. <Rule Id="41"/>
    508. 

  508. </RuleSet>
    509. 

  509. <RuleSet Name="Test">
    510. 

  510. <Rule Id="9"/>
    511. 

  511. <Rule Id="10"/>
    512. 

  512. <Rule Id="11"/>
    513. 

  513. <Rule Id="12"/>
    514. 

  514. <Rule Id="14"/>
    515. 

  515. <Rule Id="18"/>
    516. 

  516. <Rule Id="19"/>
    517. 

  517. <Rule Id="20"/>
    518. 

  518. <Rule Id="21"/>
    519. 

  519. <Rule Id="22"/>
    520. 

  520. <Rule Id="23"/>
    521. 

  521. <Rule Id="24"/>
    522. 

  522. <Rule Id="25"/>
    523. 

  523. <Rule Id="26"/>
    524. 

  524. <Rule Id="27"/>
    525. 

  525. <Rule Id="28"/>
    526. 

  526. <Rule Id="29"/>
    527. 

  527. <Rule Id="30"/>
    528. 

  528. <Rule Id="31"/>
    529. 

  529. <Rule Id="32"/>
    530. 

  530. <Rule Id="33"/>
    531. 

  531. <Rule Id="34"/>
    532. 

  532. <Rule Id="35"/>
    533. 

  533. <Rule Id="36"/>
    534. 

  534. <Rule Id="37"/>
    535. 

  535. <Rule Id="38"/>
    536. 

  536. <Rule Id="39"/>
    537. 

  537. <Rule Id="41"/>
    538. 

  538. </RuleSet></Bond><Bond FromAgent="Sh" FromSite="pi" ToAgent="R" ToSite="Y48">
    539. 

  539. <RuleSet Name="Mod">
    540. 

  540. <Rule Id="24"/>
    541. 

  541. <Rule Id="25"/>
    542. 

  542. <Rule Id="26"/>
    543. 

  543. <Rule Id="27"/>
    544. 

  544. <Rule Id="28"/>
    545. 

  545. <Rule Id="29"/>
    546. 

  546. <Rule Id="30"/>
    547. 

  547. <Rule Id="31"/>
    548. 

  548. </RuleSet>
    549. 

  549. <RuleSet Name="Test">
    550. 

  550. <Rule Id="7"/>
    551. 

  551. <Rule Id="8"/>
    552. 

  552. <Rule Id="9"/>
    553. 

  553. <Rule Id="10"/>
    554. 

  554. <Rule Id="11"/>
    555. 

  555. <Rule Id="20"/>
    556. 

  556. <Rule Id="21"/>
    557. 

  557. <Rule Id="22"/>
    558. 

  558. <Rule Id="23"/>
    559. 

  559. <Rule Id="24"/>
    560. 

  560. <Rule Id="25"/>
    561. 

  561. <Rule Id="26"/>
    562. 

  562. <Rule Id="27"/>
    563. 

  563. <Rule Id="28"/>
    564. 

  564. <Rule Id="29"/>
    565. 

  565. <Rule Id="30"/>
    566. 

  566. <Rule Id="31"/>
    567. 

  567. <Rule Id="32"/>
    568. 

  568. <Rule Id="33"/>
    569. 

  569. <Rule Id="34"/>
    570. 

  570. <Rule Id="35"/>
    571. 

  571. <Rule Id="36"/>
    572. 

  572. <Rule Id="37"/>
    573. 

  573. <Rule Id="38"/>
    574. 

  574. <Rule Id="39"/>
    575. 

  575. </RuleSet></Bond><Bond FromAgent="So" FromSite="d" ToAgent="G" ToSite="b">
    576. 

  576. <RuleSet Name="Mod">
    577. 

  577. <Rule Id="16"/>
    578. 

  578. <Rule Id="17"/>
    579. 

  579. <Rule Id="18"/>
    580. 

  580. <Rule Id="19"/>
    581. 

  581. <Rule Id="20"/>
    582. 

  582. <Rule Id="21"/>
    583. 

  583. <Rule Id="22"/>
    584. 

  584. <Rule Id="23"/>
    585. 

  585. </RuleSet>
    586. 

  586. <RuleSet Name="Test">
    587. 

  587. <Rule Id="12"/>
    588. 

  588. <Rule Id="13"/>
    589. 

  589. <Rule Id="14"/>
    590. 

  590. <Rule Id="15"/>
    591. 

  591. <Rule Id="16"/>
    592. 

  592. <Rule Id="17"/>
    593. 

  593. <Rule Id="18"/>
    594. 

  594. <Rule Id="19"/>
    595. 

  595. <Rule Id="20"/>
    596. 

  596. <Rule Id="21"/>
    597. 

  597. <Rule Id="22"/>
    598. 

  598. <Rule Id="23"/>
    599. 

  599. <Rule Id="28"/>
    600. 

  600. <Rule Id="29"/>
    601. 

  601. <Rule Id="30"/>
    602. 

  602. <Rule Id="31"/>
    603. 

  603. <Rule Id="32"/>
    604. 

  604. <Rule Id="33"/>
    605. 

  605. <Rule Id="34"/>
    606. 

  606. <Rule Id="35"/>
    607. 

  607. <Rule Id="36"/>
    608. 

  608. <Rule Id="37"/>
    609. 

  609. <Rule Id="38"/>
    610. 

  610. <Rule Id="39"/>
    611. 

  611. </RuleSet></Bond></ContactMap>
    612. 

  612. <ContactMap Name="High resolution">
    613. 

  613. <Agent Name="So">
    614. 

  614. <RuleSet Name="Mod">
    615. 

  615. </RuleSet>
    616. 

  616. <RuleSet Name="Test">
    617. 

  617. <Rule Id="16"/>
    618. 

  618. <Rule Id="17"/>
    619. 

  619. <Rule Id="18"/>
    620. 

  620. <Rule Id="19"/>
    621. 

  621. <Rule Id="20"/>
    622. 

  622. <Rule Id="21"/>
    623. 

  623. <Rule Id="22"/>
    624. 

  624. <Rule Id="23"/>
    625. 

  625. <Rule Id="30"/>
    626. 

  626. <Rule Id="31"/>
    627. 

  627. <Rule Id="38"/>
    628. 

  628. <Rule Id="39"/>
    629. 

  629. </RuleSet><Site Name="d" CanChangeState="false" CanBeBound="true">
    630. 

  630. <RuleSet Name="Mod">
    631. 

  631. </RuleSet>
    632. 

  632. <RuleSet Name="Test">
    633. 

  633. </RuleSet></Site>
    634. 

  634. </Agent>
    635. 

  635. <Agent Name="Sh">
    636. 

  636. <RuleSet Name="Mod">
    637. 

  637. </RuleSet>
    638. 

  638. <RuleSet Name="Test">
    639. 

  639. <Rule Id="9"/>
    640. 

  640. <Rule Id="10"/>
    641. 

  641. <Rule Id="11"/>
    642. 

  642. <Rule Id="20"/>
    643. 

  643. <Rule Id="21"/>
    644. 

  644. <Rule Id="22"/>
    645. 

  645. <Rule Id="23"/>
    646. 

  646. <Rule Id="24"/>
    647. 

  647. <Rule Id="25"/>
    648. 

  648. <Rule Id="26"/>
    649. 

  649. <Rule Id="27"/>
    650. 

  650. <Rule Id="28"/>
    651. 

  651. <Rule Id="29"/>
    652. 

  652. <Rule Id="30"/>
    653. 

  653. <Rule Id="31"/>
    654. 

  654. <Rule Id="32"/>
    655. 

  655. <Rule Id="33"/>
    656. 

  656. <Rule Id="34"/>
    657. 

  657. <Rule Id="35"/>
    658. 

  658. <Rule Id="36"/>
    659. 

  659. <Rule Id="37"/>
    660. 

  660. <Rule Id="38"/>
    661. 

  661. <Rule Id="39"/>
    662. 

  662. <Rule Id="41"/>
    663. 

  663. </RuleSet><Site Name="Y7" CanChangeState="true" CanBeBound="true">
    664. 

  664. <RuleSet Name="Mod">
    665. 

  665. <Rule Id="9"/>
    666. 

  666. <Rule Id="10"/>
    667. 

  667. <Rule Id="11"/>
    668. 

  668. <Rule Id="41"/>
    669. 

  669. </RuleSet>
    670. 

  670. <RuleSet Name="Test">
    671. 

  671. <Rule Id="9"/>
    672. 

  672. <Rule Id="10"/>
    673. 

  673. <Rule Id="11"/>
    674. 

  674. <Rule Id="20"/>
    675. 

  675. <Rule Id="21"/>
    676. 

  676. <Rule Id="22"/>
    677. 

  677. <Rule Id="23"/>
    678. 

  678. <Rule Id="24"/>
    679. 

  679. <Rule Id="25"/>
    680. 

  680. <Rule Id="26"/>
    681. 

  681. <Rule Id="27"/>
    682. 

  682. <Rule Id="28"/>
    683. 

  683. <Rule Id="29"/>
    684. 

  684. <Rule Id="30"/>
    685. 

  685. <Rule Id="31"/>
    686. 

  686. <Rule Id="32"/>
    687. 

  687. <Rule Id="33"/>
    688. 

  688. <Rule Id="34"/>
    689. 

  689. <Rule Id="35"/>
    690. 

  690. <Rule Id="36"/>
    691. 

  691. <Rule Id="37"/>
    692. 

  692. <Rule Id="38"/>
    693. 

  693. <Rule Id="39"/>
    694. 

  694. <Rule Id="41"/>
    695. 

  695. </RuleSet></Site>
    696. 

  696. <Site Name="pi" CanChangeState="false" CanBeBound="true">
    697. 

  697. <RuleSet Name="Mod">
    698. 

  698. </RuleSet>
    699. 

  699. <RuleSet Name="Test">
    700. 

  700. </RuleSet></Site>
    701. 

  701. </Agent>
    702. 

  702. <Agent Name="R">
    703. 

  703. <RuleSet Name="Mod">
    704. 

  704. </RuleSet>
    705. 

  705. <RuleSet Name="Test">
    706. 

  706. <Rule Id="1"/>
    707. 

  707. <Rule Id="2"/>
    708. 

  708. <Rule Id="3"/>
    709. 

  709. <Rule Id="4"/>
    710. 

  710. <Rule Id="5"/>
    711. 

  711. <Rule Id="6"/>
    712. 

  712. <Rule Id="7"/>
    713. 

  713. <Rule Id="8"/>
    714. 

  714. <Rule Id="9"/>
    715. 

  715. <Rule Id="12"/>
    716. 

  716. <Rule Id="13"/>
    717. 

  717. <Rule Id="14"/>
    718. 

  718. <Rule Id="15"/>
    719. 

  719. <Rule Id="16"/>
    720. 

  720. <Rule Id="17"/>
    721. 

  721. <Rule Id="24"/>
    722. 

  722. <Rule Id="25"/>
    723. 

  723. <Rule Id="26"/>
    724. 

  724. <Rule Id="27"/>
    725. 

  725. <Rule Id="28"/>
    726. 

  726. <Rule Id="29"/>
    727. 

  727. <Rule Id="30"/>
    728. 

  728. <Rule Id="31"/>
    729. 

  729. <Rule Id="32"/>
    730. 

  730. <Rule Id="33"/>
    731. 

  731. <Rule Id="38"/>
    732. 

  732. <Rule Id="39"/>
    733. 

  733. <Rule Id="40"/>
    734. 

  734. </RuleSet><Site Name="Y48" CanChangeState="true" CanBeBound="true">
    735. 

  735. <RuleSet Name="Mod">
    736. 

  736. <Rule Id="7"/>
    737. 

  737. <Rule Id="8"/>
    738. 

  738. </RuleSet>
    739. 

  739. <RuleSet Name="Test">
    740. 

  740. <Rule Id="7"/>
    741. 

  741. <Rule Id="8"/>
    742. 

  742. <Rule Id="9"/>
    743. 

  743. <Rule Id="24"/>
    744. 

  744. <Rule Id="25"/>
    745. 

  745. <Rule Id="26"/>
    746. 

  746. <Rule Id="27"/>
    747. 

  747. <Rule Id="28"/>
    748. 

  748. <Rule Id="29"/>
    749. 

  749. <Rule Id="30"/>
    750. 

  750. <Rule Id="31"/>
    751. 

  751. <Rule Id="32"/>
    752. 

  752. <Rule Id="33"/>
    753. 

  753. <Rule Id="38"/>
    754. 

  754. <Rule Id="39"/>
    755. 

  755. </RuleSet></Site>
    756. 

  756. <Site Name="Y68" CanChangeState="true" CanBeBound="true">
    757. 

  757. <RuleSet Name="Mod">
    758. 

  758. <Rule Id="5"/>
    759. 

  759. <Rule Id="6"/>
    760. 

  760. </RuleSet>
    761. 

  761. <RuleSet Name="Test">
    762. 

  762. <Rule Id="5"/>
    763. 

  763. <Rule Id="6"/>
    764. 

  764. <Rule Id="12"/>
    765. 

  765. <Rule Id="13"/>
    766. 

  766. <Rule Id="14"/>
    767. 

  767. <Rule Id="15"/>
    768. 

  768. <Rule Id="16"/>
    769. 

  769. <Rule Id="17"/>
    770. 

  770. </RuleSet></Site>
    771. 

  771. <Site Name="l" CanChangeState="false" CanBeBound="true">
    772. 

  772. <RuleSet Name="Mod">
    773. 

  773. </RuleSet>
    774. 

  774. <RuleSet Name="Test">
    775. 

  775. </RuleSet></Site>
    776. 

  776. <Site Name="r" CanChangeState="false" CanBeBound="true">
    777. 

  777. <RuleSet Name="Mod">
    778. 

  778. </RuleSet>
    779. 

  779. <RuleSet Name="Test">
    780. 

  780. </RuleSet></Site>
    781. 

  781. </Agent>
    782. 

  782. <Agent Name="G">
    783. 

  783. <RuleSet Name="Mod">
    784. 

  784. </RuleSet>
    785. 

  785. <RuleSet Name="Test">
    786. 

  786. <Rule Id="12"/>
    787. 

  787. <Rule Id="13"/>
    788. 

  788. <Rule Id="14"/>
    789. 

  789. <Rule Id="15"/>
    790. 

  790. <Rule Id="16"/>
    791. 

  791. <Rule Id="17"/>
    792. 

  792. <Rule Id="18"/>
    793. 

  793. <Rule Id="19"/>
    794. 

  794. <Rule Id="20"/>
    795. 

  795. <Rule Id="21"/>
    796. 

  796. <Rule Id="22"/>
    797. 

  797. <Rule Id="23"/>
    798. 

  798. <Rule Id="28"/>
    799. 

  799. <Rule Id="29"/>
    800. 

  800. <Rule Id="30"/>
    801. 

  801. <Rule Id="31"/>
    802. 

  802. <Rule Id="32"/>
    803. 

  803. <Rule Id="33"/>
    804. 

  804. <Rule Id="34"/>
    805. 

  805. <Rule Id="35"/>
    806. 

  806. <Rule Id="36"/>
    807. 

  807. <Rule Id="37"/>
    808. 

  808. <Rule Id="38"/>
    809. 

  809. <Rule Id="39"/>
    810. 

  810. </RuleSet><Site Name="a" CanChangeState="false" CanBeBound="true">
    811. 

  811. <RuleSet Name="Mod">
    812. 

  812. </RuleSet>
    813. 

  813. <RuleSet Name="Test">
    814. 

  814. </RuleSet></Site>
    815. 

  815. <Site Name="b" CanChangeState="false" CanBeBound="true">
    816. 

  816. <RuleSet Name="Mod">
    817. 

  817. </RuleSet>
    818. 

  818. <RuleSet Name="Test">
    819. 

  819. </RuleSet></Site>
    820. 

  820. </Agent>
    821. 

  821. <Agent Name="E">
    822. 

  822. <RuleSet Name="Mod">
    823. 

  823. </RuleSet>
    824. 

  824. <RuleSet Name="Test">
    825. 

  825. <Rule Id="1"/>
    826. 

  826. <Rule Id="2"/>
    827. 

  827. <Rule Id="3"/>
    828. 

  828. <Rule Id="4"/>
    829. 

  829. <Rule Id="5"/>
    830. 

  830. <Rule Id="7"/>
    831. 

  831. </RuleSet><Site Name="r" CanChangeState="false" CanBeBound="true">
    832. 

  832. <RuleSet Name="Mod">
    833. 

  833. </RuleSet>
    834. 

  834. <RuleSet Name="Test">
    835. 

  835. </RuleSet></Site>
    836. 

  836. </Agent>
    837. 

  837. <Bond FromAgent="E" FromSite="r" ToAgent="R" ToSite="l">
    838. 

  838. <RuleSet Name="Mod">
    839. 

  839. <Rule Id="1"/>
    840. 

  840. <Rule Id="2"/>
    841. 

  841. </RuleSet>
    842. 

  842. <RuleSet Name="Test">
    843. 

  843. <Rule Id="1"/>
    844. 

  844. <Rule Id="2"/>
    845. 

  845. <Rule Id="3"/>
    846. 

  846. <Rule Id="4"/>
    847. 

  847. <Rule Id="5"/>
    848. 

  848. <Rule Id="7"/>
    849. 

  849. <Rule Id="40"/>
    850. 

  850. </RuleSet></Bond><Bond FromAgent="G" FromSite="a" ToAgent="R" ToSite="Y68">
    851. 

  851. <RuleSet Name="Mod">
    852. 

  852. <Rule Id="12"/>
    853. 

  853. <Rule Id="13"/>
    854. 

  854. <Rule Id="14"/>
    855. 

  855. <Rule Id="15"/>
    856. 

  856. </RuleSet>
    857. 

  857. <RuleSet Name="Test">
    858. 

  858. <Rule Id="5"/>
    859. 

  859. <Rule Id="6"/>
    860. 

  860. <Rule Id="12"/>
    861. 

  861. <Rule Id="13"/>
    862. 

  862. <Rule Id="14"/>
    863. 

  863. <Rule Id="15"/>
    864. 

  864. <Rule Id="16"/>
    865. 

  865. <Rule Id="17"/>
    866. 

  866. <Rule Id="18"/>
    867. 

  867. <Rule Id="19"/>
    868. 

  868. <Rule Id="32"/>
    869. 

  869. <Rule Id="34"/>
    870. 

  870. <Rule Id="36"/>
    871. 

  871. <Rule Id="38"/>
    872. 

  872. </RuleSet></Bond><Bond FromAgent="G" FromSite="a" ToAgent="Sh" ToSite="Y7">
    873. 

  873. <RuleSet Name="Mod">
    874. 

  874. <Rule Id="32"/>
    875. 

  875. <Rule Id="33"/>
    876. 

  876. <Rule Id="34"/>
    877. 

  877. <Rule Id="35"/>
    878. 

  878. <Rule Id="36"/>
    879. 

  879. <Rule Id="37"/>
    880. 

  880. <Rule Id="38"/>
    881. 

  881. <Rule Id="39"/>
    882. 

  882. <Rule Id="41"/>
    883. 

  883. </RuleSet>
    884. 

  884. <RuleSet Name="Test">
    885. 

  885. <Rule Id="9"/>
    886. 

  886. <Rule Id="10"/>
    887. 

  887. <Rule Id="11"/>
    888. 

  888. <Rule Id="12"/>
    889. 

  889. <Rule Id="14"/>
    890. 

  890. <Rule Id="18"/>
    891. 

  891. <Rule Id="19"/>
    892. 

  892. <Rule Id="20"/>
    893. 

  893. <Rule Id="21"/>
    894. 

  894. <Rule Id="22"/>
    895. 

  895. <Rule Id="23"/>
    896. 

  896. <Rule Id="24"/>
    897. 

  897. <Rule Id="25"/>
    898. 

  898. <Rule Id="26"/>
    899. 

  899. <Rule Id="27"/>
    900. 

  900. <Rule Id="28"/>
    901. 

  901. <Rule Id="29"/>
    902. 

  902. <Rule Id="30"/>
    903. 

  903. <Rule Id="31"/>
    904. 

  904. <Rule Id="32"/>
    905. 

  905. <Rule Id="33"/>
    906. 

  906. <Rule Id="34"/>
    907. 

  907. <Rule Id="35"/>
    908. 

  908. <Rule Id="36"/>
    909. 

  909. <Rule Id="37"/>
    910. 

  910. <Rule Id="38"/>
    911. 

  911. <Rule Id="39"/>
    912. 

  912. <Rule Id="41"/>
    913. 

  913. </RuleSet></Bond><Bond FromAgent="G" FromSite="b" ToAgent="So" ToSite="d">
    914. 

  914. <RuleSet Name="Mod">
    915. 

  915. <Rule Id="16"/>
    916. 

  916. <Rule Id="17"/>
    917. 

  917. <Rule Id="18"/>
    918. 

  918. <Rule Id="19"/>
    919. 

  919. <Rule Id="20"/>
    920. 

  920. <Rule Id="21"/>
    921. 

  921. <Rule Id="22"/>
    922. 

  922. <Rule Id="23"/>
    923. 

  923. </RuleSet>
    924. 

  924. <RuleSet Name="Test">
    925. 

  925. <Rule Id="12"/>
    926. 

  926. <Rule Id="13"/>
    927. 

  927. <Rule Id="14"/>
    928. 

  928. <Rule Id="15"/>
    929. 

  929. <Rule Id="16"/>
    930. 

  930. <Rule Id="17"/>
    931. 

  931. <Rule Id="18"/>
    932. 

  932. <Rule Id="19"/>
    933. 

  933. <Rule Id="20"/>
    934. 

  934. <Rule Id="21"/>
    935. 

  935. <Rule Id="22"/>
    936. 

  936. <Rule Id="23"/>
    937. 

  937. <Rule Id="28"/>
    938. 

  938. <Rule Id="29"/>
    939. 

  939. <Rule Id="30"/>
    940. 

  940. <Rule Id="31"/>
    941. 

  941. <Rule Id="32"/>
    942. 

  942. <Rule Id="33"/>
    943. 

  943. <Rule Id="34"/>
    944. 

  944. <Rule Id="35"/>
    945. 

  945. <Rule Id="36"/>
    946. 

  946. <Rule Id="37"/>
    947. 

  947. <Rule Id="38"/>
    948. 

  948. <Rule Id="39"/>
    949. 

  949. </RuleSet></Bond><Bond FromAgent="R" FromSite="Y48" ToAgent="Sh" ToSite="pi">
    950. 

  950. <RuleSet Name="Mod">
    951. 

  951. <Rule Id="24"/>
    952. 

  952. <Rule Id="25"/>
    953. 

  953. <Rule Id="26"/>
    954. 

  954. <Rule Id="27"/>
    955. 

  955. <Rule Id="28"/>
    956. 

  956. <Rule Id="29"/>
    957. 

  957. <Rule Id="30"/>
    958. 

  958. <Rule Id="31"/>
    959. 

  959. </RuleSet>
    960. 

  960. <RuleSet Name="Test">
    961. 

  961. <Rule Id="7"/>
    962. 

  962. <Rule Id="8"/>
    963. 

  963. <Rule Id="9"/>
    964. 

  964. <Rule Id="10"/>
    965. 

  965. <Rule Id="11"/>
    966. 

  966. <Rule Id="20"/>
    967. 

  967. <Rule Id="21"/>
    968. 

  968. <Rule Id="22"/>
    969. 

  969. <Rule Id="23"/>
    970. 

  970. <Rule Id="24"/>
    971. 

  971. <Rule Id="25"/>
    972. 

  972. <Rule Id="26"/>
    973. 

  973. <Rule Id="27"/>
    974. 

  974. <Rule Id="28"/>
    975. 

  975. <Rule Id="29"/>
    976. 

  976. <Rule Id="30"/>
    977. 

  977. <Rule Id="31"/>
    978. 

  978. <Rule Id="32"/>
    979. 

  979. <Rule Id="33"/>
    980. 

  980. <Rule Id="34"/>
    981. 

  981. <Rule Id="35"/>
    982. 

  982. <Rule Id="36"/>
    983. 

  983. <Rule Id="37"/>
    984. 

  984. <Rule Id="38"/>
    985. 

  985. <Rule Id="39"/>
    986. 

  986. </RuleSet></Bond><Bond FromAgent="R" FromSite="r" ToAgent="R" ToSite="r">
    987. 

  987. <RuleSet Name="Mod">
    988. 

  988. <Rule Id="3"/>
    989. 

  989. <Rule Id="4"/>
    990. 

  990. <Rule Id="40"/>
    991. 

  991. </RuleSet>
    992. 

  992. <RuleSet Name="Test">
    993. 

  993. <Rule Id="1"/>
    994. 

  994. <Rule Id="2"/>
    995. 

  995. <Rule Id="3"/>
    996. 

  996. <Rule Id="4"/>
    997. 

  997. <Rule Id="5"/>
    998. 

  998. <Rule Id="7"/>
    999. 

  999. <Rule Id="9"/>
    1000. 

  1000. <Rule Id="40"/>
    1001. 

  1001. </RuleSet></Bond></ContactMap>
    1002. 

  1002. <InfluenceMap Name="Low resolution">
    1003. 

  1003. <Node Type="RULE" Text="%Auto_2" Id="2" Name="%Auto_2" Data="R(l!0,r),E(r!0)->R(l,r),E(r)"/>
    1004. 

  1004. <Node Type="RULE" Text="%Auto_1" Id="1" Name="%Auto_1" Data="R(l,r),E(r)->R(l!0,r),E(r!0)"/>
    1005. 

  1005. <Node Type="RULE" Text="%Auto_3" Id="3" Name="%Auto_3" Data="E(r!0),E(r!1),R(l!0,r),R(l!1,r)->E(r!0),E(r!1),R(l!0,r!2),R(l!1,r!2)"/>
    1006. 

  1006. <Node Type="RULE" Text="%Auto_4" Id="4" Name="%Auto_4" Data="E(r!0),E(r!1),R(l!0,r!2),R(l!1,r!2)->E(r!0),E(r!1),R(l!0,r),R(l!1,r)"/>
    1007. 

  1007. <Node Type="RULE" Text="%Auto_5" Id="5" Name="%Auto_5" Data="E(r!0),E(r!1),R(Y68~u,l!0,r!2),R(l!1,r!2)->E(r!0),E(r!1),R(Y68~p,l!0,r!2),R(l!1,r!2)"/>
    1008. 

  1008. <Node Type="RULE" Text="%Auto_6" Id="6" Name="%Auto_6" Data="R(Y68~p)->R(Y68~u)"/>
    1009. 

  1009. <Node Type="RULE" Text="%Auto_7" Id="7" Name="%Auto_7" Data="E(r!0),E(r!1),R(Y48~u,l!0,r!2),R(l!1,r!2)->E(r!0),E(r!1),R(Y48~p,l!0,r!2),R(l!1,r!2)"/>
    1010. 

  1010. <Node Type="RULE" Text="%Auto_8" Id="8" Name="%Auto_8" Data="R(Y48~p)->R(Y48~u)"/>
    1011. 

  1011. <Node Type="RULE" Text="%Auto_9" Id="9" Name="%Auto_9" Data="R(Y48~p!0,r!_),Sh(Y7~u,pi!0)->R(Y48~p!0,r!_),Sh(Y7~p,pi!0)"/>
    1012. 

  1012. <Node Type="RULE" Text="%Auto_10" Id="10" Name="%Auto_10" Data="Sh(Y7~p,pi!_)->Sh(Y7~u,pi!_)"/>
    1013. 

  1013. <Node Type="RULE" Text="%Auto_11" Id="11" Name="%Auto_11" Data="Sh(Y7~p,pi)->Sh(Y7~u,pi)"/>
    1014. 

  1014. <Node Type="RULE" Text="%Auto_12" Id="12" Name="%Auto_12" Data="R(Y68~p),G(a,b)->R(Y68~p!0),G(a!0,b)"/>
    1015. 

  1015. <Node Type="RULE" Text="%Auto_13" Id="13" Name="%Auto_13" Data="R(Y68~p!0),G(a!0,b)->R(Y68~p),G(a,b)"/>
    1016. 

  1016. <Node Type="RULE" Text="%Auto_14" Id="14" Name="%Auto_14" Data="R(Y68~p),G(a,b!_)->R(Y68~p!0),G(a!0,b!_)"/>
    1017. 

  1017. <Node Type="RULE" Text="%Auto_15" Id="15" Name="%Auto_15" Data="R(Y68~p!0),G(a!0,b!_)->R(Y68~p),G(a,b!_)"/>
    1018. 

  1018. <Node Type="RULE" Text="%Auto_16" Id="16" Name="%Auto_16" Data="R(Y68~p!0),G(a!0,b),So(d)->R(Y68~p!0),G(a!0,b!1),So(d!1)"/>
    1019. 

  1019. <Node Type="RULE" Text="%Auto_17" Id="17" Name="%Auto_17" Data="R(Y68~p!0),G(a!0,b!1),So(d!1)->R(Y68~p!0),G(a!0,b),So(d)"/>
    1020. 

  1020. <Node Type="RULE" Text="%Auto_18" Id="18" Name="%Auto_18" Data="G(a,b),So(d)->G(a,b!0),So(d!0)"/>
    1021. 

  1021. <Node Type="RULE" Text="%Auto_19" Id="19" Name="%Auto_19" Data="G(a,b!0),So(d!0)->G(a,b),So(d)"/>
    1022. 

  1022. <Node Type="RULE" Text="es" Id="20" Name="es" Data="Sh(Y7~p!0,pi),G(a!0,b),So(d)->Sh(Y7~p!0,pi),G(a!0,b!1),So(d!1)"/>
    1023. 

  1023. <Node Type="RULE" Text="%Auto_21" Id="21" Name="%Auto_21" Data="Sh(Y7~p!0,pi),G(a!0,b!1),So(d!1)->Sh(Y7~p!0,pi),G(a!0,b),So(d)"/>
    1024. 

  1024. <Node Type="RULE" Text="%Auto_22" Id="22" Name="%Auto_22" Data="Sh(Y7~p!0,pi!_),G(a!0,b),So(d)->Sh(Y7~p!0,pi!_),G(a!0,b!1),So(d!1)"/>
    1025. 

  1025. <Node Type="RULE" Text="%Auto_23" Id="23" Name="%Auto_23" Data="Sh(Y7~p!0,pi!_),G(a!0,b!1),So(d!1)->Sh(Y7~p!0,pi!_),G(a!0,b),So(d)"/>
    1026. 

  1026. <Node Type="RULE" Text="%Auto_24" Id="24" Name="%Auto_24" Data="R(Y48~p),Sh(Y7~u,pi)->R(Y48~p!0),Sh(Y7~u,pi!0)"/>
    1027. 

  1027. <Node Type="RULE" Text="%Auto_25" Id="25" Name="%Auto_25" Data="R(Y48~p!0),Sh(Y7~u,pi!0)->R(Y48~p),Sh(Y7~u,pi)"/>
    1028. 

  1028. <Node Type="RULE" Text="%Auto_26" Id="26" Name="%Auto_26" Data="R(Y48~p),Sh(Y7~p,pi)->R(Y48~p!0),Sh(Y7~p,pi!0)"/>
    1029. 

  1029. <Node Type="RULE" Text="%Auto_27" Id="27" Name="%Auto_27" Data="R(Y48~p!0),Sh(Y7~p,pi!0)->R(Y48~p),Sh(Y7~p,pi)"/>
    1030. 

  1030. <Node Type="RULE" Text="%Auto_28" Id="28" Name="%Auto_28" Data="R(Y48~p),Sh(Y7~p!0,pi),G(a!0,b)->R(Y48~p!0),Sh(Y7~p!1,pi!0),G(a!1,b)"/>
    1031. 

  1031. <Node Type="RULE" Text="%Auto_29" Id="29" Name="%Auto_29" Data="R(Y48~p!0),Sh(Y7~p!1,pi!0),G(a!1,b)->R(Y48~p),Sh(Y7~p!0,pi),G(a!0,b)"/>
    1032. 

  1032. <Node Type="RULE" Text="%Auto_30" Id="30" Name="%Auto_30" Data="R(Y48~p),Sh(Y7~p!0,pi),G(a!0,b!1),So(d!1)->R(Y48~p!0),Sh(Y7~p!1,pi!0),G(a!1,b!2),So(d!2)"/>
    1033. 

  1033. <Node Type="RULE" Text="%Auto_31" Id="31" Name="%Auto_31" Data="R(Y48~p!0),Sh(Y7~p!1,pi!0),G(a!1,b!2),So(d!2)->R(Y48~p),Sh(Y7~p!0,pi),G(a!0,b!1),So(d!1)"/>
    1034. 

  1034. <Node Type="RULE" Text="%Auto_32" Id="32" Name="%Auto_32" Data="R(Y48~p!0),Sh(Y7~p,pi!0),G(a,b)->R(Y48~p!0),Sh(Y7~p!1,pi!0),G(a!1,b)"/>
    1035. 

  1035. <Node Type="RULE" Text="%Auto_33" Id="33" Name="%Auto_33" Data="R(Y48~p!0),Sh(Y7~p!1,pi!0),G(a!1,b)->R(Y48~p!0),Sh(Y7~p,pi!0),G(a,b)"/>
    1036. 

  1036. <Node Type="RULE" Text="%Auto_34" Id="34" Name="%Auto_34" Data="Sh(Y7~p,pi),G(a,b)->Sh(Y7~p!0,pi),G(a!0,b)"/>
    1037. 

  1037. <Node Type="RULE" Text="%Auto_35" Id="35" Name="%Auto_35" Data="Sh(Y7~p!0,pi),G(a!0,b)->Sh(Y7~p,pi),G(a,b)"/>
    1038. 

  1038. <Node Type="RULE" Text="%Auto_36" Id="36" Name="%Auto_36" Data="Sh(Y7~p,pi),G(a,b!_)->Sh(Y7~p!0,pi),G(a!0,b!_)"/>
    1039. 

  1039. <Node Type="RULE" Text="%Auto_37" Id="37" Name="%Auto_37" Data="Sh(Y7~p!0,pi),G(a!0,b!_)->Sh(Y7~p,pi),G(a,b!_)"/>
    1040. 

  1040. <Node Type="RULE" Text="%Auto_38" Id="38" Name="%Auto_38" Data="R(Y48~p!0),Sh(Y7~p,pi!0),G(a,b!1),So(d!1)->R(Y48~p!0),Sh(Y7~p!1,pi!0),G(a!1,b!2),So(d!2)"/>
    1041. 

  1041. <Node Type="RULE" Text="%Auto_39" Id="39" Name="%Auto_39" Data="R(Y48~p!0),Sh(Y7~p!1,pi!0),G(a!1,b!2),So(d!2)->R(Y48~p!0),Sh(Y7~p,pi!0),G(a,b!1),So(d!1)"/>
    1042. 

  1042. <Node Type="RULE" Text="%Auto_40" Id="40" Name="%Auto_40" Data="R(l,r!_)->R(l,r)"/>
    1043. 

  1043. <Node Type="RULE" Text="%Auto_41" Id="41" Name="%Auto_41" Data="Sh(Y7~u!_)->Sh(Y7~t)"/>
    1044. 

  1044. <Connection FromNode="1" ToNode="2" Relation="POSITIVE"/>
    1045. 

  1045. <Connection FromNode="1" ToNode="3" Relation="POSITIVE"/>
    1046. 

  1046. <Connection FromNode="1" ToNode="4" Relation="POSITIVE"/>
    1047. 

  1047. <Connection FromNode="1" ToNode="5" Relation="POSITIVE"/>
    1048. 

  1048. <Connection FromNode="1" ToNode="7" Relation="POSITIVE"/>
    1049. 

  1049. <Connection FromNode="2" ToNode="1" Relation="POSITIVE"/>
    1050. 

  1050. <Connection FromNode="2" ToNode="40" Relation="POSITIVE"/>
    1051. 

  1051. <Connection FromNode="3" ToNode="4" Relation="POSITIVE"/>
    1052. 

  1052. <Connection FromNode="3" ToNode="5" Relation="POSITIVE"/>
    1053. 

  1053. <Connection FromNode="3" ToNode="7" Relation="POSITIVE"/>
    1054. 

  1054. <Connection FromNode="3" ToNode="9" Relation="POSITIVE"/>
    1055. 

  1055. <Connection FromNode="3" ToNode="40" Relation="POSITIVE"/>
    1056. 

  1056. <Connection FromNode="4" ToNode="1" Relation="POSITIVE"/>
    1057. 

  1057. <Connection FromNode="4" ToNode="2" Relation="POSITIVE"/>
    1058. 

  1058. <Connection FromNode="4" ToNode="3" Relation="POSITIVE"/>
    1059. 

  1059. <Connection FromNode="5" ToNode="6" Relation="POSITIVE"/>
    1060. 

  1060. <Connection FromNode="5" ToNode="12" Relation="POSITIVE"/>
    1061. 

  1061. <Connection FromNode="5" ToNode="13" Relation="POSITIVE"/>
    1062. 

  1062. <Connection FromNode="5" ToNode="14" Relation="POSITIVE"/>
    1063. 

  1063. <Connection FromNode="5" ToNode="15" Relation="POSITIVE"/>
    1064. 

  1064. <Connection FromNode="5" ToNode="16" Relation="POSITIVE"/>
    1065. 

  1065. <Connection FromNode="5" ToNode="17" Relation="POSITIVE"/>
    1066. 

  1066. <Connection FromNode="6" ToNode="5" Relation="POSITIVE"/>
    1067. 

  1067. <Connection FromNode="7" ToNode="8" Relation="POSITIVE"/>
    1068. 

  1068. <Connection FromNode="7" ToNode="9" Relation="POSITIVE"/>
    1069. 

  1069. <Connection FromNode="7" ToNode="24" Relation="POSITIVE"/>
    1070. 

  1070. <Connection FromNode="7" ToNode="25" Relation="POSITIVE"/>
    1071. 

  1071. <Connection FromNode="7" ToNode="26" Relation="POSITIVE"/>
    1072. 

  1072. <Connection FromNode="7" ToNode="27" Relation="POSITIVE"/>
    1073. 

  1073. <Connection FromNode="7" ToNode="28" Relation="POSITIVE"/>
    1074. 

  1074. <Connection FromNode="7" ToNode="29" Relation="POSITIVE"/>
    1075. 

  1075. <Connection FromNode="7" ToNode="30" Relation="POSITIVE"/>
    1076. 

  1076. <Connection FromNode="7" ToNode="31" Relation="POSITIVE"/>
    1077. 

  1077. <Connection FromNode="7" ToNode="32" Relation="POSITIVE"/>
    1078. 

  1078. <Connection FromNode="7" ToNode="33" Relation="POSITIVE"/>
    1079. 

  1079. <Connection FromNode="7" ToNode="38" Relation="POSITIVE"/>
    1080. 

  1080. <Connection FromNode="7" ToNode="39" Relation="POSITIVE"/>
    1081. 

  1081. <Connection FromNode="8" ToNode="7" Relation="POSITIVE"/>
    1082. 

  1082. <Connection FromNode="9" ToNode="10" Relation="POSITIVE"/>
    1083. 

  1083. <Connection FromNode="9" ToNode="11" Relation="POSITIVE"/>
    1084. 

  1084. <Connection FromNode="9" ToNode="20" Relation="POSITIVE"/>
    1085. 

  1085. <Connection FromNode="9" ToNode="21" Relation="POSITIVE"/>
    1086. 

  1086. <Connection FromNode="9" ToNode="22" Relation="POSITIVE"/>
    1087. 

  1087. <Connection FromNode="9" ToNode="23" Relation="POSITIVE"/>
    1088. 

  1088. <Connection FromNode="9" ToNode="26" Relation="POSITIVE"/>
    1089. 

  1089. <Connection FromNode="9" ToNode="27" Relation="POSITIVE"/>
    1090. 

  1090. <Connection FromNode="9" ToNode="28" Relation="POSITIVE"/>
    1091. 

  1091. <Connection FromNode="9" ToNode="29" Relation="POSITIVE"/>
    1092. 

  1092. <Connection FromNode="9" ToNode="30" Relation="POSITIVE"/>
    1093. 

  1093. <Connection FromNode="9" ToNode="31" Relation="POSITIVE"/>
    1094. 

  1094. <Connection FromNode="9" ToNode="32" Relation="POSITIVE"/>
    1095. 

  1095. <Connection FromNode="9" ToNode="33" Relation="POSITIVE"/>
    1096. 

  1096. <Connection FromNode="9" ToNode="34" Relation="POSITIVE"/>
    1097. 

  1097. <Connection FromNode="9" ToNode="35" Relation="POSITIVE"/>
    1098. 

  1098. <Connection FromNode="9" ToNode="36" Relation="POSITIVE"/>
    1099. 

  1099. <Connection FromNode="9" ToNode="37" Relation="POSITIVE"/>
    1100. 

  1100. <Connection FromNode="9" ToNode="38" Relation="POSITIVE"/>
    1101. 

  1101. <Connection FromNode="9" ToNode="39" Relation="POSITIVE"/>
    1102. 

  1102. <Connection FromNode="10" ToNode="9" Relation="POSITIVE"/>
    1103. 

  1103. <Connection FromNode="10" ToNode="24" Relation="POSITIVE"/>
    1104. 

  1104. <Connection FromNode="10" ToNode="25" Relation="POSITIVE"/>
    1105. 

  1105. <Connection FromNode="10" ToNode="41" Relation="POSITIVE"/>
    1106. 

  1106. <Connection FromNode="11" ToNode="9" Relation="POSITIVE"/>
    1107. 

  1107. <Connection FromNode="11" ToNode="24" Relation="POSITIVE"/>
    1108. 

  1108. <Connection FromNode="11" ToNode="25" Relation="POSITIVE"/>
    1109. 

  1109. <Connection FromNode="11" ToNode="41" Relation="POSITIVE"/>
    1110. 

  1110. <Connection FromNode="12" ToNode="13" Relation="POSITIVE"/>
    1111. 

  1111. <Connection FromNode="12" ToNode="15" Relation="POSITIVE"/>
    1112. 

  1112. <Connection FromNode="12" ToNode="16" Relation="POSITIVE"/>
    1113. 

  1113. <Connection FromNode="12" ToNode="17" Relation="POSITIVE"/>
    1114. 

  1114. <Connection FromNode="13" ToNode="5" Relation="POSITIVE"/>
    1115. 

  1115. <Connection FromNode="13" ToNode="6" Relation="POSITIVE"/>
    1116. 

  1116. <Connection FromNode="13" ToNode="12" Relation="POSITIVE"/>
    1117. 

  1117. <Connection FromNode="13" ToNode="14" Relation="POSITIVE"/>
    1118. 

  1118. <Connection FromNode="13" ToNode="18" Relation="POSITIVE"/>
    1119. 

  1119. <Connection FromNode="13" ToNode="19" Relation="POSITIVE"/>
    1120. 

  1120. <Connection FromNode="13" ToNode="32" Relation="POSITIVE"/>
    1121. 

  1121. <Connection FromNode="13" ToNode="34" Relation="POSITIVE"/>
    1122. 

  1122. <Connection FromNode="13" ToNode="36" Relation="POSITIVE"/>
    1123. 

  1123. <Connection FromNode="13" ToNode="38" Relation="POSITIVE"/>
    1124. 

  1124. <Connection FromNode="14" ToNode="13" Relation="POSITIVE"/>
    1125. 

  1125. <Connection FromNode="14" ToNode="15" Relation="POSITIVE"/>
    1126. 

  1126. <Connection FromNode="14" ToNode="16" Relation="POSITIVE"/>
    1127. 

  1127. <Connection FromNode="14" ToNode="17" Relation="POSITIVE"/>
    1128. 

  1128. <Connection FromNode="15" ToNode="5" Relation="POSITIVE"/>
    1129. 

  1129. <Connection FromNode="15" ToNode="6" Relation="POSITIVE"/>
    1130. 

  1130. <Connection FromNode="15" ToNode="12" Relation="POSITIVE"/>
    1131. 

  1131. <Connection FromNode="15" ToNode="14" Relation="POSITIVE"/>
    1132. 

  1132. <Connection FromNode="15" ToNode="18" Relation="POSITIVE"/>
    1133. 

  1133. <Connection FromNode="15" ToNode="19" Relation="POSITIVE"/>
    1134. 

  1134. <Connection FromNode="15" ToNode="32" Relation="POSITIVE"/>
    1135. 

  1135. <Connection FromNode="15" ToNode="34" Relation="POSITIVE"/>
    1136. 

  1136. <Connection FromNode="15" ToNode="36" Relation="POSITIVE"/>
    1137. 

  1137. <Connection FromNode="15" ToNode="38" Relation="POSITIVE"/>
    1138. 

  1138. <Connection FromNode="16" ToNode="14" Relation="POSITIVE"/>
    1139. 

  1139. <Connection FromNode="16" ToNode="15" Relation="POSITIVE"/>
    1140. 

  1140. <Connection FromNode="16" ToNode="17" Relation="POSITIVE"/>
    1141. 

  1141. <Connection FromNode="16" ToNode="19" Relation="POSITIVE"/>
    1142. 

  1142. <Connection FromNode="16" ToNode="21" Relation="POSITIVE"/>
    1143. 

  1143. <Connection FromNode="16" ToNode="23" Relation="POSITIVE"/>
    1144. 

  1144. <Connection FromNode="16" ToNode="30" Relation="POSITIVE"/>
    1145. 

  1145. <Connection FromNode="16" ToNode="31" Relation="POSITIVE"/>
    1146. 

  1146. <Connection FromNode="16" ToNode="36" Relation="POSITIVE"/>
    1147. 

  1147. <Connection FromNode="16" ToNode="37" Relation="POSITIVE"/>
    1148. 

  1148. <Connection FromNode="16" ToNode="38" Relation="POSITIVE"/>
    1149. 

  1149. <Connection FromNode="16" ToNode="39" Relation="POSITIVE"/>
    1150. 

  1150. <Connection FromNode="17" ToNode="12" Relation="POSITIVE"/>
    1151. 

  1151. <Connection FromNode="17" ToNode="13" Relation="POSITIVE"/>
    1152. 

  1152. <Connection FromNode="17" ToNode="16" Relation="POSITIVE"/>
    1153. 

  1153. <Connection FromNode="17" ToNode="18" Relation="POSITIVE"/>
    1154. 

  1154. <Connection FromNode="17" ToNode="20" Relation="POSITIVE"/>
    1155. 

  1155. <Connection FromNode="17" ToNode="22" Relation="POSITIVE"/>
    1156. 

  1156. <Connection FromNode="17" ToNode="28" Relation="POSITIVE"/>
    1157. 

  1157. <Connection FromNode="17" ToNode="29" Relation="POSITIVE"/>
    1158. 

  1158. <Connection FromNode="17" ToNode="32" Relation="POSITIVE"/>
    1159. 

  1159. <Connection FromNode="17" ToNode="33" Relation="POSITIVE"/>
    1160. 

  1160. <Connection FromNode="17" ToNode="34" Relation="POSITIVE"/>
    1161. 

  1161. <Connection FromNode="17" ToNode="35" Relation="POSITIVE"/>
    1162. 

  1162. <Connection FromNode="18" ToNode="14" Relation="POSITIVE"/>
    1163. 

  1163. <Connection FromNode="18" ToNode="15" Relation="POSITIVE"/>
    1164. 

  1164. <Connection FromNode="18" ToNode="17" Relation="POSITIVE"/>
    1165. 

  1165. <Connection FromNode="18" ToNode="19" Relation="POSITIVE"/>
    1166. 

  1166. <Connection FromNode="18" ToNode="21" Relation="POSITIVE"/>
    1167. 

  1167. <Connection FromNode="18" ToNode="23" Relation="POSITIVE"/>
    1168. 

  1168. <Connection FromNode="18" ToNode="30" Relation="POSITIVE"/>
    1169. 

  1169. <Connection FromNode="18" ToNode="31" Relation="POSITIVE"/>
    1170. 

  1170. <Connection FromNode="18" ToNode="36" Relation="POSITIVE"/>
    1171. 

  1171. <Connection FromNode="18" ToNode="37" Relation="POSITIVE"/>
    1172. 

  1172. <Connection FromNode="18" ToNode="38" Relation="POSITIVE"/>
    1173. 

  1173. <Connection FromNode="18" ToNode="39" Relation="POSITIVE"/>
    1174. 

  1174. <Connection FromNode="19" ToNode="12" Relation="POSITIVE"/>
    1175. 

  1175. <Connection FromNode="19" ToNode="13" Relation="POSITIVE"/>
    1176. 

  1176. <Connection FromNode="19" ToNode="16" Relation="POSITIVE"/>
    1177. 

  1177. <Connection FromNode="19" ToNode="18" Relation="POSITIVE"/>
    1178. 

  1178. <Connection FromNode="19" ToNode="20" Relation="POSITIVE"/>
    1179. 

  1179. <Connection FromNode="19" ToNode="22" Relation="POSITIVE"/>
    1180. 

  1180. <Connection FromNode="19" ToNode="28" Relation="POSITIVE"/>
    1181. 

  1181. <Connection FromNode="19" ToNode="29" Relation="POSITIVE"/>
    1182. 

  1182. <Connection FromNode="19" ToNode="32" Relation="POSITIVE"/>
    1183. 

  1183. <Connection FromNode="19" ToNode="33" Relation="POSITIVE"/>
    1184. 

  1184. <Connection FromNode="19" ToNode="34" Relation="POSITIVE"/>
    1185. 

  1185. <Connection FromNode="19" ToNode="35" Relation="POSITIVE"/>
    1186. 

  1186. <Connection FromNode="20" ToNode="14" Relation="POSITIVE"/>
    1187. 

  1187. <Connection FromNode="20" ToNode="15" Relation="POSITIVE"/>
    1188. 

  1188. <Connection FromNode="20" ToNode="17" Relation="POSITIVE"/>
    1189. 

  1189. <Connection FromNode="20" ToNode="19" Relation="POSITIVE"/>
    1190. 

  1190. <Connection FromNode="20" ToNode="21" Relation="POSITIVE"/>
    1191. 

  1191. <Connection FromNode="20" ToNode="23" Relation="POSITIVE"/>
    1192. 

  1192. <Connection FromNode="20" ToNode="30" Relation="POSITIVE"/>
    1193. 

  1193. <Connection FromNode="20" ToNode="31" Relation="POSITIVE"/>
    1194. 

  1194. <Connection FromNode="20" ToNode="36" Relation="POSITIVE"/>
    1195. 

  1195. <Connection FromNode="20" ToNode="37" Relation="POSITIVE"/>
    1196. 

  1196. <Connection FromNode="20" ToNode="38" Relation="POSITIVE"/>
    1197. 

  1197. <Connection FromNode="20" ToNode="39" Relation="POSITIVE"/>
    1198. 

  1198. <Connection FromNode="21" ToNode="12" Relation="POSITIVE"/>
    1199. 

  1199. <Connection FromNode="21" ToNode="13" Relation="POSITIVE"/>
    1200. 

  1200. <Connection FromNode="21" ToNode="16" Relation="POSITIVE"/>
    1201. 

  1201. <Connection FromNode="21" ToNode="18" Relation="POSITIVE"/>
    1202. 

  1202. <Connection FromNode="21" ToNode="20" Relation="POSITIVE"/>
    1203. 

  1203. <Connection FromNode="21" ToNode="22" Relation="POSITIVE"/>
    1204. 

  1204. <Connection FromNode="21" ToNode="28" Relation="POSITIVE"/>
    1205. 

  1205. <Connection FromNode="21" ToNode="29" Relation="POSITIVE"/>
    1206. 

  1206. <Connection FromNode="21" ToNode="32" Relation="POSITIVE"/>
    1207. 

  1207. <Connection FromNode="21" ToNode="33" Relation="POSITIVE"/>
    1208. 

  1208. <Connection FromNode="21" ToNode="34" Relation="POSITIVE"/>
    1209. 

  1209. <Connection FromNode="21" ToNode="35" Relation="POSITIVE"/>
    1210. 

  1210. <Connection FromNode="22" ToNode="14" Relation="POSITIVE"/>
    1211. 

  1211. <Connection FromNode="22" ToNode="15" Relation="POSITIVE"/>
    1212. 

  1212. <Connection FromNode="22" ToNode="17" Relation="POSITIVE"/>
    1213. 

  1213. <Connection FromNode="22" ToNode="19" Relation="POSITIVE"/>
    1214. 

  1214. <Connection FromNode="22" ToNode="21" Relation="POSITIVE"/>
    1215. 

  1215. <Connection FromNode="22" ToNode="23" Relation="POSITIVE"/>
    1216. 

  1216. <Connection FromNode="22" ToNode="30" Relation="POSITIVE"/>
    1217. 

  1217. <Connection FromNode="22" ToNode="31" Relation="POSITIVE"/>
    1218. 

  1218. <Connection FromNode="22" ToNode="36" Relation="POSITIVE"/>
    1219. 

  1219. <Connection FromNode="22" ToNode="37" Relation="POSITIVE"/>
    1220. 

  1220. <Connection FromNode="22" ToNode="38" Relation="POSITIVE"/>
    1221. 

  1221. <Connection FromNode="22" ToNode="39" Relation="POSITIVE"/>
    1222. 

  1222. <Connection FromNode="23" ToNode="12" Relation="POSITIVE"/>
    1223. 

  1223. <Connection FromNode="23" ToNode="13" Relation="POSITIVE"/>
    1224. 

  1224. <Connection FromNode="23" ToNode="16" Relation="POSITIVE"/>
    1225. 

  1225. <Connection FromNode="23" ToNode="18" Relation="POSITIVE"/>
    1226. 

  1226. <Connection FromNode="23" ToNode="20" Relation="POSITIVE"/>
    1227. 

  1227. <Connection FromNode="23" ToNode="22" Relation="POSITIVE"/>
    1228. 

  1228. <Connection FromNode="23" ToNode="28" Relation="POSITIVE"/>
    1229. 

  1229. <Connection FromNode="23" ToNode="29" Relation="POSITIVE"/>
    1230. 

  1230. <Connection FromNode="23" ToNode="32" Relation="POSITIVE"/>
    1231. 

  1231. <Connection FromNode="23" ToNode="33" Relation="POSITIVE"/>
    1232. 

  1232. <Connection FromNode="23" ToNode="34" Relation="POSITIVE"/>
    1233. 

  1233. <Connection FromNode="23" ToNode="35" Relation="POSITIVE"/>
    1234. 

  1234. <Connection FromNode="24" ToNode="9" Relation="POSITIVE"/>
    1235. 

  1235. <Connection FromNode="24" ToNode="10" Relation="POSITIVE"/>
    1236. 

  1236. <Connection FromNode="24" ToNode="22" Relation="POSITIVE"/>
    1237. 

  1237. <Connection FromNode="24" ToNode="23" Relation="POSITIVE"/>
    1238. 

  1238. <Connection FromNode="24" ToNode="25" Relation="POSITIVE"/>
    1239. 

  1239. <Connection FromNode="24" ToNode="27" Relation="POSITIVE"/>
    1240. 

  1240. <Connection FromNode="24" ToNode="29" Relation="POSITIVE"/>
    1241. 

  1241. <Connection FromNode="24" ToNode="31" Relation="POSITIVE"/>
    1242. 

  1242. <Connection FromNode="24" ToNode="32" Relation="POSITIVE"/>
    1243. 

  1243. <Connection FromNode="24" ToNode="33" Relation="POSITIVE"/>
    1244. 

  1244. <Connection FromNode="24" ToNode="38" Relation="POSITIVE"/>
    1245. 

  1245. <Connection FromNode="24" ToNode="39" Relation="POSITIVE"/>
    1246. 

  1246. <Connection FromNode="25" ToNode="7" Relation="POSITIVE"/>
    1247. 

  1247. <Connection FromNode="25" ToNode="8" Relation="POSITIVE"/>
    1248. 

  1248. <Connection FromNode="25" ToNode="11" Relation="POSITIVE"/>
    1249. 

  1249. <Connection FromNode="25" ToNode="20" Relation="POSITIVE"/>
    1250. 

  1250. <Connection FromNode="25" ToNode="21" Relation="POSITIVE"/>
    1251. 

  1251. <Connection FromNode="25" ToNode="24" Relation="POSITIVE"/>
    1252. 

  1252. <Connection FromNode="25" ToNode="26" Relation="POSITIVE"/>
    1253. 

  1253. <Connection FromNode="25" ToNode="28" Relation="POSITIVE"/>
    1254. 

  1254. <Connection FromNode="25" ToNode="30" Relation="POSITIVE"/>
    1255. 

  1255. <Connection FromNode="25" ToNode="34" Relation="POSITIVE"/>
    1256. 

  1256. <Connection FromNode="25" ToNode="35" Relation="POSITIVE"/>
    1257. 

  1257. <Connection FromNode="25" ToNode="36" Relation="POSITIVE"/>
    1258. 

  1258. <Connection FromNode="25" ToNode="37" Relation="POSITIVE"/>
    1259. 

  1259. <Connection FromNode="26" ToNode="9" Relation="POSITIVE"/>
    1260. 

  1260. <Connection FromNode="26" ToNode="10" Relation="POSITIVE"/>
    1261. 

  1261. <Connection FromNode="26" ToNode="22" Relation="POSITIVE"/>
    1262. 

  1262. <Connection FromNode="26" ToNode="23" Relation="POSITIVE"/>
    1263. 

  1263. <Connection FromNode="26" ToNode="25" Relation="POSITIVE"/>
    1264. 

  1264. <Connection FromNode="26" ToNode="27" Relation="POSITIVE"/>
    1265. 

  1265. <Connection FromNode="26" ToNode="29" Relation="POSITIVE"/>
    1266. 

  1266. <Connection FromNode="26" ToNode="31" Relation="POSITIVE"/>
    1267. 

  1267. <Connection FromNode="26" ToNode="32" Relation="POSITIVE"/>
    1268. 

  1268. <Connection FromNode="26" ToNode="33" Relation="POSITIVE"/>
    1269. 

  1269. <Connection FromNode="26" ToNode="38" Relation="POSITIVE"/>
    1270. 

  1270. <Connection FromNode="26" ToNode="39" Relation="POSITIVE"/>
    1271. 

  1271. <Connection FromNode="27" ToNode="7" Relation="POSITIVE"/>
    1272. 

  1272. <Connection FromNode="27" ToNode="8" Relation="POSITIVE"/>
    1273. 

  1273. <Connection FromNode="27" ToNode="11" Relation="POSITIVE"/>
    1274. 

  1274. <Connection FromNode="27" ToNode="20" Relation="POSITIVE"/>
    1275. 

  1275. <Connection FromNode="27" ToNode="21" Relation="POSITIVE"/>
    1276. 

  1276. <Connection FromNode="27" ToNode="24" Relation="POSITIVE"/>
    1277. 

  1277. <Connection FromNode="27" ToNode="26" Relation="POSITIVE"/>
    1278. 

  1278. <Connection FromNode="27" ToNode="28" Relation="POSITIVE"/>
    1279. 

  1279. <Connection FromNode="27" ToNode="30" Relation="POSITIVE"/>
    1280. 

  1280. <Connection FromNode="27" ToNode="34" Relation="POSITIVE"/>
    1281. 

  1281. <Connection FromNode="27" ToNode="35" Relation="POSITIVE"/>
    1282. 

  1282. <Connection FromNode="27" ToNode="36" Relation="POSITIVE"/>
    1283. 

  1283. <Connection FromNode="27" ToNode="37" Relation="POSITIVE"/>
    1284. 

  1284. <Connection FromNode="28" ToNode="9" Relation="POSITIVE"/>
    1285. 

  1285. <Connection FromNode="28" ToNode="10" Relation="POSITIVE"/>
    1286. 

  1286. <Connection FromNode="28" ToNode="22" Relation="POSITIVE"/>
    1287. 

  1287. <Connection FromNode="28" ToNode="23" Relation="POSITIVE"/>
    1288. 

  1288. <Connection FromNode="28" ToNode="25" Relation="POSITIVE"/>
    1289. 

  1289. <Connection FromNode="28" ToNode="27" Relation="POSITIVE"/>
    1290. 

  1290. <Connection FromNode="28" ToNode="29" Relation="POSITIVE"/>
    1291. 

  1291. <Connection FromNode="28" ToNode="31" Relation="POSITIVE"/>
    1292. 

  1292. <Connection FromNode="28" ToNode="32" Relation="POSITIVE"/>
    1293. 

  1293. <Connection FromNode="28" ToNode="33" Relation="POSITIVE"/>
    1294. 

  1294. <Connection FromNode="28" ToNode="38" Relation="POSITIVE"/>
    1295. 

  1295. <Connection FromNode="28" ToNode="39" Relation="POSITIVE"/>
    1296. 

  1296. <Connection FromNode="29" ToNode="7" Relation="POSITIVE"/>
    1297. 

  1297. <Connection FromNode="29" ToNode="8" Relation="POSITIVE"/>
    1298. 

  1298. <Connection FromNode="29" ToNode="11" Relation="POSITIVE"/>
    1299. 

  1299. <Connection FromNode="29" ToNode="20" Relation="POSITIVE"/>
    1300. 

  1300. <Connection FromNode="29" ToNode="21" Relation="POSITIVE"/>
    1301. 

  1301. <Connection FromNode="29" ToNode="24" Relation="POSITIVE"/>
    1302. 

  1302. <Connection FromNode="29" ToNode="26" Relation="POSITIVE"/>
    1303. 

  1303. <Connection FromNode="29" ToNode="28" Relation="POSITIVE"/>
    1304. 

  1304. <Connection FromNode="29" ToNode="30" Relation="POSITIVE"/>
    1305. 

  1305. <Connection FromNode="29" ToNode="34" Relation="POSITIVE"/>
    1306. 

  1306. <Connection FromNode="29" ToNode="35" Relation="POSITIVE"/>
    1307. 

  1307. <Connection FromNode="29" ToNode="36" Relation="POSITIVE"/>
    1308. 

  1308. <Connection FromNode="29" ToNode="37" Relation="POSITIVE"/>
    1309. 

  1309. <Connection FromNode="30" ToNode="9" Relation="POSITIVE"/>
    1310. 

  1310. <Connection FromNode="30" ToNode="10" Relation="POSITIVE"/>
    1311. 

  1311. <Connection FromNode="30" ToNode="22" Relation="POSITIVE"/>
    1312. 

  1312. <Connection FromNode="30" ToNode="23" Relation="POSITIVE"/>
    1313. 

  1313. <Connection FromNode="30" ToNode="25" Relation="POSITIVE"/>
    1314. 

  1314. <Connection FromNode="30" ToNode="27" Relation="POSITIVE"/>
    1315. 

  1315. <Connection FromNode="30" ToNode="29" Relation="POSITIVE"/>
    1316. 

  1316. <Connection FromNode="30" ToNode="31" Relation="POSITIVE"/>
    1317. 

  1317. <Connection FromNode="30" ToNode="32" Relation="POSITIVE"/>
    1318. 

  1318. <Connection FromNode="30" ToNode="33" Relation="POSITIVE"/>
    1319. 

  1319. <Connection FromNode="30" ToNode="38" Relation="POSITIVE"/>
    1320. 

  1320. <Connection FromNode="30" ToNode="39" Relation="POSITIVE"/>
    1321. 

  1321. <Connection FromNode="31" ToNode="7" Relation="POSITIVE"/>
    1322. 

  1322. <Connection FromNode="31" ToNode="8" Relation="POSITIVE"/>
    1323. 

  1323. <Connection FromNode="31" ToNode="11" Relation="POSITIVE"/>
    1324. 

  1324. <Connection FromNode="31" ToNode="20" Relation="POSITIVE"/>
    1325. 

  1325. <Connection FromNode="31" ToNode="21" Relation="POSITIVE"/>
    1326. 

  1326. <Connection FromNode="31" ToNode="24" Relation="POSITIVE"/>
    1327. 

  1327. <Connection FromNode="31" ToNode="26" Relation="POSITIVE"/>
    1328. 

  1328. <Connection FromNode="31" ToNode="28" Relation="POSITIVE"/>
    1329. 

  1329. <Connection FromNode="31" ToNode="30" Relation="POSITIVE"/>
    1330. 

  1330. <Connection FromNode="31" ToNode="34" Relation="POSITIVE"/>
    1331. 

  1331. <Connection FromNode="31" ToNode="35" Relation="POSITIVE"/>
    1332. 

  1332. <Connection FromNode="31" ToNode="36" Relation="POSITIVE"/>
    1333. 

  1333. <Connection FromNode="31" ToNode="37" Relation="POSITIVE"/>
    1334. 

  1334. <Connection FromNode="32" ToNode="20" Relation="POSITIVE"/>
    1335. 

  1335. <Connection FromNode="32" ToNode="21" Relation="POSITIVE"/>
    1336. 

  1336. <Connection FromNode="32" ToNode="22" Relation="POSITIVE"/>
    1337. 

  1337. <Connection FromNode="32" ToNode="23" Relation="POSITIVE"/>
    1338. 

  1338. <Connection FromNode="32" ToNode="28" Relation="POSITIVE"/>
    1339. 

  1339. <Connection FromNode="32" ToNode="29" Relation="POSITIVE"/>
    1340. 

  1340. <Connection FromNode="32" ToNode="30" Relation="POSITIVE"/>
    1341. 

  1341. <Connection FromNode="32" ToNode="31" Relation="POSITIVE"/>
    1342. 

  1342. <Connection FromNode="32" ToNode="33" Relation="POSITIVE"/>
    1343. 

  1343. <Connection FromNode="32" ToNode="35" Relation="POSITIVE"/>
    1344. 

  1344. <Connection FromNode="32" ToNode="37" Relation="POSITIVE"/>
    1345. 

  1345. <Connection FromNode="32" ToNode="39" Relation="POSITIVE"/>
    1346. 

  1346. <Connection FromNode="32" ToNode="41" Relation="POSITIVE"/>
    1347. 

  1347. <Connection FromNode="33" ToNode="9" Relation="POSITIVE"/>
    1348. 

  1348. <Connection FromNode="33" ToNode="10" Relation="POSITIVE"/>
    1349. 

  1349. <Connection FromNode="33" ToNode="11" Relation="POSITIVE"/>
    1350. 

  1350. <Connection FromNode="33" ToNode="12" Relation="POSITIVE"/>
    1351. 

  1351. <Connection FromNode="33" ToNode="14" Relation="POSITIVE"/>
    1352. 

  1352. <Connection FromNode="33" ToNode="18" Relation="POSITIVE"/>
    1353. 

  1353. <Connection FromNode="33" ToNode="19" Relation="POSITIVE"/>
    1354. 

  1354. <Connection FromNode="33" ToNode="24" Relation="POSITIVE"/>
    1355. 

  1355. <Connection FromNode="33" ToNode="25" Relation="POSITIVE"/>
    1356. 

  1356. <Connection FromNode="33" ToNode="26" Relation="POSITIVE"/>
    1357. 

  1357. <Connection FromNode="33" ToNode="27" Relation="POSITIVE"/>
    1358. 

  1358. <Connection FromNode="33" ToNode="32" Relation="POSITIVE"/>
    1359. 

  1359. <Connection FromNode="33" ToNode="34" Relation="POSITIVE"/>
    1360. 

  1360. <Connection FromNode="33" ToNode="36" Relation="POSITIVE"/>
    1361. 

  1361. <Connection FromNode="33" ToNode="38" Relation="POSITIVE"/>
    1362. 

  1362. <Connection FromNode="34" ToNode="20" Relation="POSITIVE"/>
    1363. 

  1363. <Connection FromNode="34" ToNode="21" Relation="POSITIVE"/>
    1364. 

  1364. <Connection FromNode="34" ToNode="22" Relation="POSITIVE"/>
    1365. 

  1365. <Connection FromNode="34" ToNode="23" Relation="POSITIVE"/>
    1366. 

  1366. <Connection FromNode="34" ToNode="28" Relation="POSITIVE"/>
    1367. 

  1367. <Connection FromNode="34" ToNode="29" Relation="POSITIVE"/>
    1368. 

  1368. <Connection FromNode="34" ToNode="30" Relation="POSITIVE"/>
    1369. 

  1369. <Connection FromNode="34" ToNode="31" Relation="POSITIVE"/>
    1370. 

  1370. <Connection FromNode="34" ToNode="33" Relation="POSITIVE"/>
    1371. 

  1371. <Connection FromNode="34" ToNode="35" Relation="POSITIVE"/>
    1372. 

  1372. <Connection FromNode="34" ToNode="37" Relation="POSITIVE"/>
    1373. 

  1373. <Connection FromNode="34" ToNode="39" Relation="POSITIVE"/>
    1374. 

  1374. <Connection FromNode="34" ToNode="41" Relation="POSITIVE"/>
    1375. 

  1375. <Connection FromNode="35" ToNode="9" Relation="POSITIVE"/>
    1376. 

  1376. <Connection FromNode="35" ToNode="10" Relation="POSITIVE"/>
    1377. 

  1377. <Connection FromNode="35" ToNode="11" Relation="POSITIVE"/>
    1378. 

  1378. <Connection FromNode="35" ToNode="12" Relation="POSITIVE"/>
    1379. 

  1379. <Connection FromNode="35" ToNode="14" Relation="POSITIVE"/>
    1380. 

  1380. <Connection FromNode="35" ToNode="18" Relation="POSITIVE"/>
    1381. 

  1381. <Connection FromNode="35" ToNode="19" Relation="POSITIVE"/>
    1382. 

  1382. <Connection FromNode="35" ToNode="24" Relation="POSITIVE"/>
    1383. 

  1383. <Connection FromNode="35" ToNode="25" Relation="POSITIVE"/>
    1384. 

  1384. <Connection FromNode="35" ToNode="26" Relation="POSITIVE"/>
    1385. 

  1385. <Connection FromNode="35" ToNode="27" Relation="POSITIVE"/>
    1386. 

  1386. <Connection FromNode="35" ToNode="32" Relation="POSITIVE"/>
    1387. 

  1387. <Connection FromNode="35" ToNode="34" Relation="POSITIVE"/>
    1388. 

  1388. <Connection FromNode="35" ToNode="36" Relation="POSITIVE"/>
    1389. 

  1389. <Connection FromNode="35" ToNode="38" Relation="POSITIVE"/>
    1390. 

  1390. <Connection FromNode="36" ToNode="20" Relation="POSITIVE"/>
    1391. 

  1391. <Connection FromNode="36" ToNode="21" Relation="POSITIVE"/>
    1392. 

  1392. <Connection FromNode="36" ToNode="22" Relation="POSITIVE"/>
    1393. 

  1393. <Connection FromNode="36" ToNode="23" Relation="POSITIVE"/>
    1394. 

  1394. <Connection FromNode="36" ToNode="28" Relation="POSITIVE"/>
    1395. 

  1395. <Connection FromNode="36" ToNode="29" Relation="POSITIVE"/>
    1396. 

  1396. <Connection FromNode="36" ToNode="30" Relation="POSITIVE"/>
    1397. 

  1397. <Connection FromNode="36" ToNode="31" Relation="POSITIVE"/>
    1398. 

  1398. <Connection FromNode="36" ToNode="33" Relation="POSITIVE"/>
    1399. 

  1399. <Connection FromNode="36" ToNode="35" Relation="POSITIVE"/>
    1400. 

  1400. <Connection FromNode="36" ToNode="37" Relation="POSITIVE"/>
    1401. 

  1401. <Connection FromNode="36" ToNode="39" Relation="POSITIVE"/>
    1402. 

  1402. <Connection FromNode="36" ToNode="41" Relation="POSITIVE"/>
    1403. 

  1403. <Connection FromNode="37" ToNode="9" Relation="POSITIVE"/>
    1404. 

  1404. <Connection FromNode="37" ToNode="10" Relation="POSITIVE"/>
    1405. 

  1405. <Connection FromNode="37" ToNode="11" Relation="POSITIVE"/>
    1406. 

  1406. <Connection FromNode="37" ToNode="12" Relation="POSITIVE"/>
    1407. 

  1407. <Connection FromNode="37" ToNode="14" Relation="POSITIVE"/>
    1408. 

  1408. <Connection FromNode="37" ToNode="18" Relation="POSITIVE"/>
    1409. 

  1409. <Connection FromNode="37" ToNode="19" Relation="POSITIVE"/>
    1410. 

  1410. <Connection FromNode="37" ToNode="24" Relation="POSITIVE"/>
    1411. 

  1411. <Connection FromNode="37" ToNode="25" Relation="POSITIVE"/>
    1412. 

  1412. <Connection FromNode="37" ToNode="26" Relation="POSITIVE"/>
    1413. 

  1413. <Connection FromNode="37" ToNode="27" Relation="POSITIVE"/>
    1414. 

  1414. <Connection FromNode="37" ToNode="32" Relation="POSITIVE"/>
    1415. 

  1415. <Connection FromNode="37" ToNode="34" Relation="POSITIVE"/>
    1416. 

  1416. <Connection FromNode="37" ToNode="36" Relation="POSITIVE"/>
    1417. 

  1417. <Connection FromNode="37" ToNode="38" Relation="POSITIVE"/>
    1418. 

  1418. <Connection FromNode="38" ToNode="20" Relation="POSITIVE"/>
    1419. 

  1419. <Connection FromNode="38" ToNode="21" Relation="POSITIVE"/>
    1420. 

  1420. <Connection FromNode="38" ToNode="22" Relation="POSITIVE"/>
    1421. 

  1421. <Connection FromNode="38" ToNode="23" Relation="POSITIVE"/>
    1422. 

  1422. <Connection FromNode="38" ToNode="28" Relation="POSITIVE"/>
    1423. 

  1423. <Connection FromNode="38" ToNode="29" Relation="POSITIVE"/>
    1424. 

  1424. <Connection FromNode="38" ToNode="30" Relation="POSITIVE"/>
    1425. 

  1425. <Connection FromNode="38" ToNode="31" Relation="POSITIVE"/>
    1426. 

  1426. <Connection FromNode="38" ToNode="33" Relation="POSITIVE"/>
    1427. 

  1427. <Connection FromNode="38" ToNode="35" Relation="POSITIVE"/>
    1428. 

  1428. <Connection FromNode="38" ToNode="37" Relation="POSITIVE"/>
    1429. 

  1429. <Connection FromNode="38" ToNode="39" Relation="POSITIVE"/>
    1430. 

  1430. <Connection FromNode="38" ToNode="41" Relation="POSITIVE"/>
    1431. 

  1431. <Connection FromNode="39" ToNode="9" Relation="POSITIVE"/>
    1432. 

  1432. <Connection FromNode="39" ToNode="10" Relation="POSITIVE"/>
    1433. 

  1433. <Connection FromNode="39" ToNode="11" Relation="POSITIVE"/>
    1434. 

  1434. <Connection FromNode="39" ToNode="12" Relation="POSITIVE"/>
    1435. 

  1435. <Connection FromNode="39" ToNode="14" Relation="POSITIVE"/>
    1436. 

  1436. <Connection FromNode="39" ToNode="18" Relation="POSITIVE"/>
    1437. 

  1437. <Connection FromNode="39" ToNode="19" Relation="POSITIVE"/>
    1438. 

  1438. <Connection FromNode="39" ToNode="24" Relation="POSITIVE"/>
    1439. 

  1439. <Connection FromNode="39" ToNode="25" Relation="POSITIVE"/>
    1440. 

  1440. <Connection FromNode="39" ToNode="26" Relation="POSITIVE"/>
    1441. 

  1441. <Connection FromNode="39" ToNode="27" Relation="POSITIVE"/>
    1442. 

  1442. <Connection FromNode="39" ToNode="32" Relation="POSITIVE"/>
    1443. 

  1443. <Connection FromNode="39" ToNode="34" Relation="POSITIVE"/>
    1444. 

  1444. <Connection FromNode="39" ToNode="36" Relation="POSITIVE"/>
    1445. 

  1445. <Connection FromNode="39" ToNode="38" Relation="POSITIVE"/>
    1446. 

  1446. <Connection FromNode="40" ToNode="1" Relation="POSITIVE"/>
    1447. 

  1447. <Connection FromNode="40" ToNode="2" Relation="POSITIVE"/>
    1448. 

  1448. <Connection FromNode="40" ToNode="3" Relation="POSITIVE"/>
    1449. 

  1449. <Connection FromNode="41" ToNode="9" Relation="POSITIVE"/>
    1450. 

  1450. <Connection FromNode="41" ToNode="10" Relation="POSITIVE"/>
    1451. 

  1451. <Connection FromNode="41" ToNode="11" Relation="POSITIVE"/>
    1452. 

  1452. <Connection FromNode="41" ToNode="12" Relation="POSITIVE"/>
    1453. 

  1453. <Connection FromNode="41" ToNode="14" Relation="POSITIVE"/>
    1454. 

  1454. <Connection FromNode="41" ToNode="18" Relation="POSITIVE"/>
    1455. 

  1455. <Connection FromNode="41" ToNode="19" Relation="POSITIVE"/>
    1456. 

  1456. <Connection FromNode="41" ToNode="24" Relation="POSITIVE"/>
    1457. 

  1457. <Connection FromNode="41" ToNode="25" Relation="POSITIVE"/>
    1458. 

  1458. <Connection FromNode="41" ToNode="26" Relation="POSITIVE"/>
    1459. 

  1459. <Connection FromNode="41" ToNode="27" Relation="POSITIVE"/>
    1460. 

  1460. <Connection FromNode="41" ToNode="32" Relation="POSITIVE"/>
    1461. 

  1461. <Connection FromNode="41" ToNode="34" Relation="POSITIVE"/>
    1462. 

  1462. <Connection FromNode="41" ToNode="36" Relation="POSITIVE"/>
    1463. 

  1463. <Connection FromNode="41" ToNode="38" Relation="POSITIVE"/>
    1464. 

  1464. </InfluenceMap>
    1465. 

  1465. <Reachables Name="Subviews">
    1466. 

  1466. <Set Agent="E">
    1467. 

  1467. <Tag Data="Agent: E ; Sites: r
    1468. 

  1468. " />
    1469. 

  1469. <Entry Data="E(r)"/>
    1470. 

  1470. <Entry Data="E(r!R.l)"/>
    1471. 

  1471. </Set>
    1472. 

  1472. <Set Agent="G">
    1473. 

  1473. <Tag Data="Agent: G ; Sites: a,b
    1474. 

  1474. " />
    1475. 

  1475. <Entry Data="G(a,b)"/>
    1476. 

  1476. <Entry Data="G(a!R.Y68,b)"/>
    1477. 

  1477. <Entry Data="G(a!Sh.Y7,b)"/>
    1478. 

  1478. <Entry Data="G(a,b!So.d)"/>
    1479. 

  1479. <Entry Data="G(a!R.Y68,b!So.d)"/>
    1480. 

  1480. <Entry Data="G(a!Sh.Y7,b!So.d)"/>
    1481. 

  1481. </Set>
    1482. 

  1482. <Set Agent="R">
    1483. 

  1483. <Tag Data="Agent: R ; Sites: Y48,l,r
    1484. 

  1484. " />
    1485. 

  1485. <Entry Data="R(Y48~p,l,r)"/>
    1486. 

  1486. <Entry Data="R(Y48~p!Sh.pi,l,r)"/>
    1487. 

  1487. <Entry Data="R(Y48~p,l!E.r,r)"/>
    1488. 

  1488. <Entry Data="R(Y48~p!Sh.pi,l!E.r,r)"/>
    1489. 

  1489. <Entry Data="R(Y48~p,l!E.r,r!R.r)"/>
    1490. 

  1490. <Entry Data="R(Y48~p!Sh.pi,l!E.r,r!R.r)"/>
    1491. 

  1491. <Entry Data="R(Y48~u,l,r)"/>
    1492. 

  1492. <Entry Data="R(Y48~u,l!E.r,r)"/>
    1493. 

  1493. <Entry Data="R(Y48~u,l!E.r,r!R.r)"/>
    1494. 

  1494. </Set>
    1495. 

  1495. <Set Agent="R">
    1496. 

  1496. <Tag Data="Agent: R ; Sites: Y68,l,r
    1497. 

  1497. " />
    1498. 

  1498. <Entry Data="R(Y68~p,l,r)"/>
    1499. 

  1499. <Entry Data="R(Y68~p!G.a,l,r)"/>
    1500. 

  1500. <Entry Data="R(Y68~p,l!E.r,r)"/>
    1501. 

  1501. <Entry Data="R(Y68~p!G.a,l!E.r,r)"/>
    1502. 

  1502. <Entry Data="R(Y68~p,l!E.r,r!R.r)"/>
    1503. 

  1503. <Entry Data="R(Y68~p!G.a,l!E.r,r!R.r)"/>
    1504. 

  1504. <Entry Data="R(Y68~u,l,r)"/>
    1505. 

  1505. <Entry Data="R(Y68~u,l!E.r,r)"/>
    1506. 

  1506. <Entry Data="R(Y68~u,l!E.r,r!R.r)"/>
    1507. 

  1507. </Set>
    1508. 

  1508. <Set Agent="R">
    1509. 

  1509. <Tag Data="Agent: R ; Sites: l,r
    1510. 

  1510. " />
    1511. 

  1511. <Entry Data="R(l,r)"/>
    1512. 

  1512. <Entry Data="R(l!E.r,r)"/>
    1513. 

  1513. <Entry Data="R(l!E.r,r!R.r)"/>
    1514. 

  1514. </Set>
    1515. 

  1515. <Set Agent="Sh">
    1516. 

  1516. <Tag Data="Agent: Sh ; Sites: Y7,pi
    1517. 

  1517. " />
    1518. 

  1518. <Entry Data="Sh(Y7~p,pi)"/>
    1519. 

  1519. <Entry Data="Sh(Y7~p!G.a,pi)"/>
    1520. 

  1520. <Entry Data="Sh(Y7~p,pi!R.Y48)"/>
    1521. 

  1521. <Entry Data="Sh(Y7~p!G.a,pi!R.Y48)"/>
    1522. 

  1522. <Entry Data="Sh(Y7~u,pi)"/>
    1523. 

  1523. <Entry Data="Sh(Y7~u,pi!R.Y48)"/>
    1524. 

  1524. </Set>
    1525. 

  1525. <Set Agent="So">
    1526. 

  1526. <Tag Data="Agent: So ; Sites: d
    1527. 

  1527. " />
    1528. 

  1528. <Entry Data="So(d)"/>
    1529. 

  1529. <Entry Data="So(d!G.b)"/>
    1530. 

  1530. </Set>
    1531. 

  1531. </Reachables>
    1532. 

  1532. <Refinement Name="DAG"></Refinement>
    1533. 

  1533. <Refinement Name="Maximal"></Refinement>
    1534. 

  1534. <Automorphisms>
    1535. 

  1535.  <Rule Id="1" Automorphisms="1"/>
    1536. 

  1536. <Rule Id="2" Automorphisms="1"/>
    1537. 

  1537. <Rule Id="3" Automorphisms="2"/>
    1538. 

  1538. <Rule Id="4" Automorphisms="2"/>
    1539. 

  1539. <Rule Id="5" Automorphisms="1"/>
    1540. 

  1540. <Rule Id="6" Automorphisms="1"/>
    1541. 

  1541. <Rule Id="7" Automorphisms="1"/>
    1542. 

  1542. <Rule Id="8" Automorphisms="1"/>
    1543. 

  1543. <Rule Id="9" Automorphisms="1"/>
    1544. 

  1544. <Rule Id="10" Automorphisms="1"/>
    1545. 

  1545. <Rule Id="11" Automorphisms="1"/>
    1546. 

  1546. <Rule Id="12" Automorphisms="1"/>
    1547. 

  1547. <Rule Id="13" Automorphisms="1"/>
    1548. 

  1548. <Rule Id="14" Automorphisms="1"/>
    1549. 

  1549. <Rule Id="15" Automorphisms="1"/>
    1550. 

  1550. <Rule Id="16" Automorphisms="1"/>
    1551. 

  1551. <Rule Id="17" Automorphisms="1"/>
    1552. 

  1552. <Rule Id="18" Automorphisms="1"/>
    1553. 

  1553. <Rule Id="19" Automorphisms="1"/>
    1554. 

  1554. <Rule Id="20" Automorphisms="1"/>
    1555. 

  1555. <Rule Id="21" Automorphisms="1"/>
    1556. 

  1556. <Rule Id="22" Automorphisms="1"/>
    1557. 

  1557. <Rule Id="23" Automorphisms="1"/>
    1558. 

  1558. <Rule Id="24" Automorphisms="1"/>
    1559. 

  1559. <Rule Id="25" Automorphisms="1"/>
    1560. 

  1560. <Rule Id="26" Automorphisms="1"/>
    1561. 

  1561. <Rule Id="27" Automorphisms="1"/>
    1562. 

  1562. <Rule Id="28" Automorphisms="1"/>
    1563. 

  1563. <Rule Id="29" Automorphisms="1"/>
    1564. 

  1564. <Rule Id="30" Automorphisms="1"/>
    1565. 

  1565. <Rule Id="31" Automorphisms="1"/>
    1566. 

  1566. <Rule Id="32" Automorphisms="1"/>
    1567. 

  1567. <Rule Id="33" Automorphisms="1"/>
    1568. 

  1568. <Rule Id="34" Automorphisms="1"/>
    1569. 

  1569. <Rule Id="35" Automorphisms="1"/>
    1570. 

  1570. <Rule Id="36" Automorphisms="1"/>
    1571. 

  1571. <Rule Id="37" Automorphisms="1"/>
    1572. 

  1572. <Rule Id="38" Automorphisms="1"/>
    1573. 

  1573. <Rule Id="39" Automorphisms="1"/>
    1574. 

  1574. <Rule Id="40" Automorphisms="1"/>
    1575. 

  1575. <Rule Id="41" Automorphisms="1"/>
    1576. 

  1576. </Automorphisms>
    1577. 

  1577. </ComplxSession>
    1578. 

  1578.