/test.data/ruleCompressions/model/qualitative/~session011.test
Unknown | 1577 lines | 1577 code | 0 blank | 0 comment | 0 complexity | 035ac438596486bab0ca1c6156c27bf2 MD5 | raw file
Possible License(s): LGPL-3.0, Apache-2.0
- <?xml version='1.0' encoding='utf-8'?>
- <!-- Automaticaly generated by Complx 4.321..10527 -->
- <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"
- xsi:schemaLocation="http://plectix.synthesisstudios.com
- KappaSession.xsd" xmlns="http://plectix.synthesisstudios.com/schemas/kappasession"
- xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" >
- <Log>
- <Entry Type="WARNING" Message="Rule %Auto_41 cannot be applied"/>
- <Entry Type="WARNING" Message="Rule %Auto_40 cannot be applied"/>
- <Entry Type="INFO" Message="Compilation(simplx) 0.00524 s."/>
- <Entry Type="INFO" Message="Second compilation(pretty printing) 0.000691 s."/>
- <Entry Type="INFO" Message="Translation 0.002175 s."/>
- <Entry Type="INFO" Message="Renaming 0.001879 s."/>
- <Entry Type="INFO" Message="Boolean encoding of the initial system 0.004044 s."/>
- <Entry Type="INFO" Message="Quotienting rules 0.00294 s."/>
- <Entry Type="INFO" Message="Boolean encoding of the quotiented system0.002335 s."/>
- <Entry Type="INFO" Message="Low-res contact map 3.7e-05 s."/>
- <Entry Type="INFO" Message="Reachability analysis 0.014222 s."/>
- <Entry Type="INFO" Message="Absract lenses computation 0.009797 s."/>
- <Entry Type="INFO" Message="Quark computation 0.000603 s."/>
- <Entry Type="INFO" Message="count automorphisms in lhs 0.00209 s."/>
- <Entry Type="INFO" Message="Compression(qualitative) 0.079765 s."/>
- <Entry Type="INFO" Message="Compression(quantitative) 0.079415 s."/>
- <Entry Type="INFO" Message="compute refinement relation closure 0.000494 s."/>
- <Entry Type="INFO" Message="compute maximal refinement relation 1.4e-05 s."/>
- <Entry Type="INFO" Message="compute dag-like refinement relation 4.2e-05 s."/>
- </Log>
- <RuleSet Name="Original">
- <Rule Id="2" Name="%Auto_2" Data="R(l!0,r),E(r!0)->R(l,r),E(r)" ForwardRate="1" />
- <Rule Id="1" Name="%Auto_1" Data="R(l,r),E(r)->R(l!0,r),E(r!0)" ForwardRate="1" />
- <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" />
- <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" />
- <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" />
- <Rule Id="6" Name="%Auto_6" Data="R(Y68~p)->R(Y68~u)" ForwardRate="1" />
- <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" />
- <Rule Id="8" Name="%Auto_8" Data="R(Y48~p)->R(Y48~u)" ForwardRate="1" />
- <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" />
- <Rule Id="10" Name="%Auto_10" Data="Sh(Y7~p,pi!_)->Sh(Y7~u,pi!_)" ForwardRate="1" />
- <Rule Id="11" Name="%Auto_11" Data="Sh(Y7~p,pi)->Sh(Y7~u,pi)" ForwardRate="1" />
- <Rule Id="12" Name="%Auto_12" Data="R(Y68~p),G(a,b)->R(Y68~p!0),G(a!0,b)" ForwardRate="1" />
- <Rule Id="13" Name="%Auto_13" Data="R(Y68~p!0),G(a!0,b)->R(Y68~p),G(a,b)" ForwardRate="1" />
- <Rule Id="14" Name="%Auto_14" Data="R(Y68~p),G(a,b!_)->R(Y68~p!0),G(a!0,b!_)" ForwardRate="1" />
- <Rule Id="15" Name="%Auto_15" Data="R(Y68~p!0),G(a!0,b!_)->R(Y68~p),G(a,b!_)" ForwardRate="1" />
- <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" />
- <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" />
- <Rule Id="18" Name="%Auto_18" Data="G(a,b),So(d)->G(a,b!0),So(d!0)" ForwardRate="1" />
- <Rule Id="19" Name="%Auto_19" Data="G(a,b!0),So(d!0)->G(a,b),So(d)" ForwardRate="1" />
- <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" />
- <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" />
- <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" />
- <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" />
- <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" />
- <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" />
- <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" />
- <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" />
- <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" />
- <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" />
- <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" />
- <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" />
- <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" />
- <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" />
- <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" />
- <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" />
- <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" />
- <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" />
- <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" />
- <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" />
- <Rule Id="40" Name="%Auto_40" Data="R(l,r!_)->R(l,r)" ForwardRate="1" />
- <Rule Id="41" Name="%Auto_41" Data="Sh(Y7~u!_)->Sh(Y7~t)" ForwardRate="1" />
- </RuleSet>
- <RuleSet Name="Qualitative compression">
- <Rule Id="1" Name="%Auto_2" Data="R(l!_,r)->R(l,r)" ForwardRate="1"/>
- <Rule Id="2" Name="%Auto_1" Data="E(r),R(l)->E(r!1),R(l!1)" ForwardRate="1"/>
- <Rule Id="3" Name="%Auto_3" Data="R(l!_,r),R(l!_,r)->R(l!_,r!1),R(l!_,r!1)" ForwardRate="1"/>
- <Rule Id="4" Name="%Auto_4" Data="R(r!_)->R(r)" ForwardRate="0.5"/>
- <Rule Id="5" Name="%Auto_5" Data="R(Y68~u?,r!_)->R(Y68~p?,r!_)" ForwardRate="1"/>
- <Rule Id="6" Name="%Auto_6" Data="R(Y68~p)->R(Y68~u)" ForwardRate="1"/>
- <Rule Id="7" Name="%Auto_7" Data="R(Y48~u?,r!_)->R(Y48~p?,r!_)" ForwardRate="1"/>
- <Rule Id="8" Name="%Auto_8" Data="R(Y48~p)->R(Y48~u)" ForwardRate="1"/>
- <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"/>
- <Rule Id="10" Name="%Auto_10,%Auto_11" Data="Sh(Y7~p)->Sh(Y7~u)" ForwardRate="1"/>
- <Rule Id="11" Name="%Auto_12,%Auto_14" Data="G(a),R(Y68~p)->G(a!1),R(Y68~p!1)" ForwardRate="1"/>
- <Rule Id="12" Name="%Auto_13,%Auto_15" Data="R(Y68!_)->R(Y68)" ForwardRate="1"/>
- <Rule Id="13" Name="%Auto_16,%Auto_18,%Auto_22,es" Data="G(b),So(d)->G(b!1),So(d!1)" ForwardRate="1"/>
- <Rule Id="14" Name="%Auto_17,%Auto_19,%Auto_21,%Auto_23" Data="So(d!_)->So(d)" ForwardRate="1"/>
- <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"/>
- <Rule Id="16" Name="%Auto_25,%Auto_27,%Auto_29,%Auto_31" Data="Sh(pi!_)->Sh(pi)" ForwardRate="1"/>
- <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"/>
- <Rule Id="18" Name="%Auto_33,%Auto_35,%Auto_37,%Auto_39" Data="Sh(Y7!_)->Sh(Y7)" ForwardRate="1"/>
- <Rule Id="19" Name="%Auto_40" Data="Cannot be applied"/>
- <Rule Id="20" Name="%Auto_41" Data="Cannot be applied"/>
- <Map FromSet="Original">
- <Association FromRule="2" ToRule="1"/>
- <Association FromRule="1" ToRule="2"/>
- <Association FromRule="3" ToRule="3"/>
- <Association FromRule="4" ToRule="4"/>
- <Association FromRule="5" ToRule="5"/>
- <Association FromRule="6" ToRule="6"/>
- <Association FromRule="7" ToRule="7"/>
- <Association FromRule="8" ToRule="8"/>
- <Association FromRule="9" ToRule="9"/>
- <Association FromRule="11" ToRule="10"/>
- <Association FromRule="10" ToRule="10"/>
- <Association FromRule="14" ToRule="11"/>
- <Association FromRule="12" ToRule="11"/>
- <Association FromRule="15" ToRule="12"/>
- <Association FromRule="13" ToRule="12"/>
- <Association FromRule="20" ToRule="13"/>
- <Association FromRule="22" ToRule="13"/>
- <Association FromRule="18" ToRule="13"/>
- <Association FromRule="16" ToRule="13"/>
- <Association FromRule="23" ToRule="14"/>
- <Association FromRule="21" ToRule="14"/>
- <Association FromRule="19" ToRule="14"/>
- <Association FromRule="17" ToRule="14"/>
- <Association FromRule="30" ToRule="15"/>
- <Association FromRule="28" ToRule="15"/>
- <Association FromRule="26" ToRule="15"/>
- <Association FromRule="24" ToRule="15"/>
- <Association FromRule="31" ToRule="16"/>
- <Association FromRule="29" ToRule="16"/>
- <Association FromRule="27" ToRule="16"/>
- <Association FromRule="25" ToRule="16"/>
- <Association FromRule="38" ToRule="17"/>
- <Association FromRule="36" ToRule="17"/>
- <Association FromRule="34" ToRule="17"/>
- <Association FromRule="32" ToRule="17"/>
- <Association FromRule="39" ToRule="18"/>
- <Association FromRule="37" ToRule="18"/>
- <Association FromRule="35" ToRule="18"/>
- <Association FromRule="33" ToRule="18"/>
- <Association FromRule="40" ToRule="19"/>
- <Association FromRule="41" ToRule="20"/>
- </Map>
- </RuleSet>
- <RuleSet Name="Quantitative compression">
- <Rule Id="1" Name="%Auto_2" Data="R(l!_,r)->R(l,r)" ForwardRate="1"/>
- <Rule Id="2" Name="%Auto_1" Data="E(r),R(l)->E(r!1),R(l!1)" ForwardRate="1"/>
- <Rule Id="3" Name="%Auto_3" Data="R(l!_,r),R(l!_,r)->R(l!_,r!1),R(l!_,r!1)" ForwardRate="1"/>
- <Rule Id="4" Name="%Auto_4" Data="R(r!_)->R(r)" ForwardRate="0.5"/>
- <Rule Id="5" Name="%Auto_5" Data="R(Y68~u?,r!_)->R(Y68~p?,r!_)" ForwardRate="1"/>
- <Rule Id="6" Name="%Auto_6" Data="R(Y68~p)->R(Y68~u)" ForwardRate="1"/>
- <Rule Id="7" Name="%Auto_7" Data="R(Y48~u?,r!_)->R(Y48~p?,r!_)" ForwardRate="1"/>
- <Rule Id="8" Name="%Auto_8" Data="R(Y48~p)->R(Y48~u)" ForwardRate="1"/>
- <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"/>
- <Rule Id="10" Name="%Auto_10" Data="Sh(Y7~p,pi!_)->Sh(Y7~u,pi!_)" ForwardRate="1"/>
- <Rule Id="11" Name="%Auto_11" Data="Sh(Y7~p,pi)->Sh(Y7~u,pi)" ForwardRate="1"/>
- <Rule Id="12" Name="%Auto_12" Data="G(a,b),R(Y68~p)->G(a!1,b),R(Y68~p!1)" ForwardRate="1"/>
- <Rule Id="13" Name="%Auto_13" Data="G(a!1,b),R(Y68!1)->G(a,b),R(Y68)" ForwardRate="1"/>
- <Rule Id="14" Name="%Auto_14" Data="G(a,b!_),R(Y68~p)->G(a!1,b!_),R(Y68~p!1)" ForwardRate="1"/>
- <Rule Id="15" Name="%Auto_15" Data="G(a!1,b!_),R(Y68!1)->G(a,b!_),R(Y68)" ForwardRate="1"/>
- <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"/>
- <Rule Id="17" Name="%Auto_17" Data="G(a!1,b!_),R(Y68!1)->G(a!1,b),R(Y68!1)" ForwardRate="1"/>
- <Rule Id="18" Name="%Auto_18" Data="G(a,b),So(d)->G(a,b!1),So(d!1)" ForwardRate="1"/>
- <Rule Id="19" Name="%Auto_19" Data="G(a,b!_)->G(a,b)" ForwardRate="1"/>
- <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"/>
- <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"/>
- <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"/>
- <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"/>
- <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"/>
- <Rule Id="25" Name="%Auto_25" Data="Sh(Y7~u?,pi!_)->Sh(Y7~u?,pi)" ForwardRate="1"/>
- <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"/>
- <Rule Id="27" Name="%Auto_27" Data="Sh(Y7~p,pi!_)->Sh(Y7~p,pi)" ForwardRate="1"/>
- <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"/>
- <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"/>
- <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"/>
- <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"/>
- <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"/>
- <Rule Id="33" Name="%Auto_33" Data="G(a!1,b),Sh(Y7!1,pi!_)->G(a,b),Sh(Y7,pi!_)" ForwardRate="1"/>
- <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"/>
- <Rule Id="35" Name="%Auto_35" Data="G(a!1,b),Sh(Y7!1,pi)->G(a,b),Sh(Y7,pi)" ForwardRate="1"/>
- <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"/>
- <Rule Id="37" Name="%Auto_37" Data="G(a!1,b!_),Sh(Y7!1,pi)->G(a,b!_),Sh(Y7,pi)" ForwardRate="1"/>
- <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"/>
- <Rule Id="39" Name="%Auto_39" Data="G(a!1,b!_),Sh(Y7!1,pi!_)->G(a,b!_),Sh(Y7,pi!_)" ForwardRate="1"/>
- <Rule Id="40" Name="%Auto_40" Data="Cannot be applied"/>
- <Rule Id="41" Name="%Auto_41" Data="Cannot be applied"/>
- <Map FromSet="Original">
- <Association FromRule="2" ToRule="1"/>
- <Association FromRule="1" ToRule="2"/>
- <Association FromRule="3" ToRule="3"/>
- <Association FromRule="4" ToRule="4"/>
- <Association FromRule="5" ToRule="5"/>
- <Association FromRule="6" ToRule="6"/>
- <Association FromRule="7" ToRule="7"/>
- <Association FromRule="8" ToRule="8"/>
- <Association FromRule="9" ToRule="9"/>
- <Association FromRule="10" ToRule="10"/>
- <Association FromRule="11" ToRule="11"/>
- <Association FromRule="12" ToRule="12"/>
- <Association FromRule="13" ToRule="13"/>
- <Association FromRule="14" ToRule="14"/>
- <Association FromRule="15" ToRule="15"/>
- <Association FromRule="16" ToRule="16"/>
- <Association FromRule="17" ToRule="17"/>
- <Association FromRule="18" ToRule="18"/>
- <Association FromRule="19" ToRule="19"/>
- <Association FromRule="20" ToRule="20"/>
- <Association FromRule="21" ToRule="21"/>
- <Association FromRule="22" ToRule="22"/>
- <Association FromRule="23" ToRule="23"/>
- <Association FromRule="24" ToRule="24"/>
- <Association FromRule="25" ToRule="25"/>
- <Association FromRule="26" ToRule="26"/>
- <Association FromRule="27" ToRule="27"/>
- <Association FromRule="28" ToRule="28"/>
- <Association FromRule="29" ToRule="29"/>
- <Association FromRule="30" ToRule="30"/>
- <Association FromRule="31" ToRule="31"/>
- <Association FromRule="32" ToRule="32"/>
- <Association FromRule="33" ToRule="33"/>
- <Association FromRule="34" ToRule="34"/>
- <Association FromRule="35" ToRule="35"/>
- <Association FromRule="36" ToRule="36"/>
- <Association FromRule="37" ToRule="37"/>
- <Association FromRule="38" ToRule="38"/>
- <Association FromRule="39" ToRule="39"/>
- <Association FromRule="40" ToRule="40"/>
- <Association FromRule="41" ToRule="41"/>
- </Map>
- </RuleSet>
- <ContactMap Name="Low resolution">
- <Agent Name="So">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="16"/>
- <Rule Id="17"/>
- <Rule Id="18"/>
- <Rule Id="19"/>
- <Rule Id="20"/>
- <Rule Id="21"/>
- <Rule Id="22"/>
- <Rule Id="23"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- </RuleSet><Site Name="d" CanChangeState="false" CanBeBound="true">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- </RuleSet></Site>
- </Agent>
- <Agent Name="Sh">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="9"/>
- <Rule Id="10"/>
- <Rule Id="11"/>
- <Rule Id="20"/>
- <Rule Id="21"/>
- <Rule Id="22"/>
- <Rule Id="23"/>
- <Rule Id="24"/>
- <Rule Id="25"/>
- <Rule Id="26"/>
- <Rule Id="27"/>
- <Rule Id="28"/>
- <Rule Id="29"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- <Rule Id="32"/>
- <Rule Id="33"/>
- <Rule Id="34"/>
- <Rule Id="35"/>
- <Rule Id="36"/>
- <Rule Id="37"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- <Rule Id="41"/>
- </RuleSet><Site Name="Y7" CanChangeState="true" CanBeBound="true">
- <RuleSet Name="Mod">
- <Rule Id="9"/>
- <Rule Id="10"/>
- <Rule Id="11"/>
- <Rule Id="41"/>
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="9"/>
- <Rule Id="10"/>
- <Rule Id="11"/>
- <Rule Id="20"/>
- <Rule Id="21"/>
- <Rule Id="22"/>
- <Rule Id="23"/>
- <Rule Id="24"/>
- <Rule Id="25"/>
- <Rule Id="26"/>
- <Rule Id="27"/>
- <Rule Id="28"/>
- <Rule Id="29"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- <Rule Id="32"/>
- <Rule Id="33"/>
- <Rule Id="34"/>
- <Rule Id="35"/>
- <Rule Id="36"/>
- <Rule Id="37"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- <Rule Id="41"/>
- </RuleSet></Site>
- <Site Name="pi" CanChangeState="false" CanBeBound="true">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- </RuleSet></Site>
- </Agent>
- <Agent Name="R">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="1"/>
- <Rule Id="2"/>
- <Rule Id="3"/>
- <Rule Id="4"/>
- <Rule Id="5"/>
- <Rule Id="6"/>
- <Rule Id="7"/>
- <Rule Id="8"/>
- <Rule Id="9"/>
- <Rule Id="12"/>
- <Rule Id="13"/>
- <Rule Id="14"/>
- <Rule Id="15"/>
- <Rule Id="16"/>
- <Rule Id="17"/>
- <Rule Id="24"/>
- <Rule Id="25"/>
- <Rule Id="26"/>
- <Rule Id="27"/>
- <Rule Id="28"/>
- <Rule Id="29"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- <Rule Id="32"/>
- <Rule Id="33"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- <Rule Id="40"/>
- </RuleSet><Site Name="Y48" CanChangeState="true" CanBeBound="true">
- <RuleSet Name="Mod">
- <Rule Id="7"/>
- <Rule Id="8"/>
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="7"/>
- <Rule Id="8"/>
- <Rule Id="9"/>
- <Rule Id="24"/>
- <Rule Id="25"/>
- <Rule Id="26"/>
- <Rule Id="27"/>
- <Rule Id="28"/>
- <Rule Id="29"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- <Rule Id="32"/>
- <Rule Id="33"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- </RuleSet></Site>
- <Site Name="Y68" CanChangeState="true" CanBeBound="true">
- <RuleSet Name="Mod">
- <Rule Id="5"/>
- <Rule Id="6"/>
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="5"/>
- <Rule Id="6"/>
- <Rule Id="12"/>
- <Rule Id="13"/>
- <Rule Id="14"/>
- <Rule Id="15"/>
- <Rule Id="16"/>
- <Rule Id="17"/>
- </RuleSet></Site>
- <Site Name="l" CanChangeState="false" CanBeBound="true">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- </RuleSet></Site>
- <Site Name="r" CanChangeState="false" CanBeBound="true">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- </RuleSet></Site>
- </Agent>
- <Agent Name="G">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="12"/>
- <Rule Id="13"/>
- <Rule Id="14"/>
- <Rule Id="15"/>
- <Rule Id="16"/>
- <Rule Id="17"/>
- <Rule Id="18"/>
- <Rule Id="19"/>
- <Rule Id="20"/>
- <Rule Id="21"/>
- <Rule Id="22"/>
- <Rule Id="23"/>
- <Rule Id="28"/>
- <Rule Id="29"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- <Rule Id="32"/>
- <Rule Id="33"/>
- <Rule Id="34"/>
- <Rule Id="35"/>
- <Rule Id="36"/>
- <Rule Id="37"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- </RuleSet><Site Name="a" CanChangeState="false" CanBeBound="true">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- </RuleSet></Site>
- <Site Name="b" CanChangeState="false" CanBeBound="true">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- </RuleSet></Site>
- </Agent>
- <Agent Name="E">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="1"/>
- <Rule Id="2"/>
- <Rule Id="3"/>
- <Rule Id="4"/>
- <Rule Id="5"/>
- <Rule Id="7"/>
- </RuleSet><Site Name="r" CanChangeState="false" CanBeBound="true">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- </RuleSet></Site>
- </Agent>
- <Bond FromAgent="R" FromSite="Y68" ToAgent="G" ToSite="a">
- <RuleSet Name="Mod">
- <Rule Id="12"/>
- <Rule Id="13"/>
- <Rule Id="14"/>
- <Rule Id="15"/>
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="5"/>
- <Rule Id="6"/>
- <Rule Id="12"/>
- <Rule Id="13"/>
- <Rule Id="14"/>
- <Rule Id="15"/>
- <Rule Id="16"/>
- <Rule Id="17"/>
- <Rule Id="18"/>
- <Rule Id="19"/>
- <Rule Id="32"/>
- <Rule Id="34"/>
- <Rule Id="36"/>
- <Rule Id="38"/>
- </RuleSet></Bond><Bond FromAgent="R" FromSite="l" ToAgent="E" ToSite="r">
- <RuleSet Name="Mod">
- <Rule Id="1"/>
- <Rule Id="2"/>
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="1"/>
- <Rule Id="2"/>
- <Rule Id="3"/>
- <Rule Id="4"/>
- <Rule Id="5"/>
- <Rule Id="7"/>
- <Rule Id="40"/>
- </RuleSet></Bond><Bond FromAgent="R" FromSite="r" ToAgent="R" ToSite="r">
- <RuleSet Name="Mod">
- <Rule Id="3"/>
- <Rule Id="4"/>
- <Rule Id="40"/>
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="1"/>
- <Rule Id="2"/>
- <Rule Id="3"/>
- <Rule Id="4"/>
- <Rule Id="5"/>
- <Rule Id="7"/>
- <Rule Id="9"/>
- <Rule Id="40"/>
- </RuleSet></Bond><Bond FromAgent="Sh" FromSite="Y7" ToAgent="G" ToSite="a">
- <RuleSet Name="Mod">
- <Rule Id="32"/>
- <Rule Id="33"/>
- <Rule Id="34"/>
- <Rule Id="35"/>
- <Rule Id="36"/>
- <Rule Id="37"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- <Rule Id="41"/>
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="9"/>
- <Rule Id="10"/>
- <Rule Id="11"/>
- <Rule Id="12"/>
- <Rule Id="14"/>
- <Rule Id="18"/>
- <Rule Id="19"/>
- <Rule Id="20"/>
- <Rule Id="21"/>
- <Rule Id="22"/>
- <Rule Id="23"/>
- <Rule Id="24"/>
- <Rule Id="25"/>
- <Rule Id="26"/>
- <Rule Id="27"/>
- <Rule Id="28"/>
- <Rule Id="29"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- <Rule Id="32"/>
- <Rule Id="33"/>
- <Rule Id="34"/>
- <Rule Id="35"/>
- <Rule Id="36"/>
- <Rule Id="37"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- <Rule Id="41"/>
- </RuleSet></Bond><Bond FromAgent="Sh" FromSite="pi" ToAgent="R" ToSite="Y48">
- <RuleSet Name="Mod">
- <Rule Id="24"/>
- <Rule Id="25"/>
- <Rule Id="26"/>
- <Rule Id="27"/>
- <Rule Id="28"/>
- <Rule Id="29"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="7"/>
- <Rule Id="8"/>
- <Rule Id="9"/>
- <Rule Id="10"/>
- <Rule Id="11"/>
- <Rule Id="20"/>
- <Rule Id="21"/>
- <Rule Id="22"/>
- <Rule Id="23"/>
- <Rule Id="24"/>
- <Rule Id="25"/>
- <Rule Id="26"/>
- <Rule Id="27"/>
- <Rule Id="28"/>
- <Rule Id="29"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- <Rule Id="32"/>
- <Rule Id="33"/>
- <Rule Id="34"/>
- <Rule Id="35"/>
- <Rule Id="36"/>
- <Rule Id="37"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- </RuleSet></Bond><Bond FromAgent="So" FromSite="d" ToAgent="G" ToSite="b">
- <RuleSet Name="Mod">
- <Rule Id="16"/>
- <Rule Id="17"/>
- <Rule Id="18"/>
- <Rule Id="19"/>
- <Rule Id="20"/>
- <Rule Id="21"/>
- <Rule Id="22"/>
- <Rule Id="23"/>
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="12"/>
- <Rule Id="13"/>
- <Rule Id="14"/>
- <Rule Id="15"/>
- <Rule Id="16"/>
- <Rule Id="17"/>
- <Rule Id="18"/>
- <Rule Id="19"/>
- <Rule Id="20"/>
- <Rule Id="21"/>
- <Rule Id="22"/>
- <Rule Id="23"/>
- <Rule Id="28"/>
- <Rule Id="29"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- <Rule Id="32"/>
- <Rule Id="33"/>
- <Rule Id="34"/>
- <Rule Id="35"/>
- <Rule Id="36"/>
- <Rule Id="37"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- </RuleSet></Bond></ContactMap>
- <ContactMap Name="High resolution">
- <Agent Name="So">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="16"/>
- <Rule Id="17"/>
- <Rule Id="18"/>
- <Rule Id="19"/>
- <Rule Id="20"/>
- <Rule Id="21"/>
- <Rule Id="22"/>
- <Rule Id="23"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- </RuleSet><Site Name="d" CanChangeState="false" CanBeBound="true">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- </RuleSet></Site>
- </Agent>
- <Agent Name="Sh">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="9"/>
- <Rule Id="10"/>
- <Rule Id="11"/>
- <Rule Id="20"/>
- <Rule Id="21"/>
- <Rule Id="22"/>
- <Rule Id="23"/>
- <Rule Id="24"/>
- <Rule Id="25"/>
- <Rule Id="26"/>
- <Rule Id="27"/>
- <Rule Id="28"/>
- <Rule Id="29"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- <Rule Id="32"/>
- <Rule Id="33"/>
- <Rule Id="34"/>
- <Rule Id="35"/>
- <Rule Id="36"/>
- <Rule Id="37"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- <Rule Id="41"/>
- </RuleSet><Site Name="Y7" CanChangeState="true" CanBeBound="true">
- <RuleSet Name="Mod">
- <Rule Id="9"/>
- <Rule Id="10"/>
- <Rule Id="11"/>
- <Rule Id="41"/>
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="9"/>
- <Rule Id="10"/>
- <Rule Id="11"/>
- <Rule Id="20"/>
- <Rule Id="21"/>
- <Rule Id="22"/>
- <Rule Id="23"/>
- <Rule Id="24"/>
- <Rule Id="25"/>
- <Rule Id="26"/>
- <Rule Id="27"/>
- <Rule Id="28"/>
- <Rule Id="29"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- <Rule Id="32"/>
- <Rule Id="33"/>
- <Rule Id="34"/>
- <Rule Id="35"/>
- <Rule Id="36"/>
- <Rule Id="37"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- <Rule Id="41"/>
- </RuleSet></Site>
- <Site Name="pi" CanChangeState="false" CanBeBound="true">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- </RuleSet></Site>
- </Agent>
- <Agent Name="R">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="1"/>
- <Rule Id="2"/>
- <Rule Id="3"/>
- <Rule Id="4"/>
- <Rule Id="5"/>
- <Rule Id="6"/>
- <Rule Id="7"/>
- <Rule Id="8"/>
- <Rule Id="9"/>
- <Rule Id="12"/>
- <Rule Id="13"/>
- <Rule Id="14"/>
- <Rule Id="15"/>
- <Rule Id="16"/>
- <Rule Id="17"/>
- <Rule Id="24"/>
- <Rule Id="25"/>
- <Rule Id="26"/>
- <Rule Id="27"/>
- <Rule Id="28"/>
- <Rule Id="29"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- <Rule Id="32"/>
- <Rule Id="33"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- <Rule Id="40"/>
- </RuleSet><Site Name="Y48" CanChangeState="true" CanBeBound="true">
- <RuleSet Name="Mod">
- <Rule Id="7"/>
- <Rule Id="8"/>
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="7"/>
- <Rule Id="8"/>
- <Rule Id="9"/>
- <Rule Id="24"/>
- <Rule Id="25"/>
- <Rule Id="26"/>
- <Rule Id="27"/>
- <Rule Id="28"/>
- <Rule Id="29"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- <Rule Id="32"/>
- <Rule Id="33"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- </RuleSet></Site>
- <Site Name="Y68" CanChangeState="true" CanBeBound="true">
- <RuleSet Name="Mod">
- <Rule Id="5"/>
- <Rule Id="6"/>
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="5"/>
- <Rule Id="6"/>
- <Rule Id="12"/>
- <Rule Id="13"/>
- <Rule Id="14"/>
- <Rule Id="15"/>
- <Rule Id="16"/>
- <Rule Id="17"/>
- </RuleSet></Site>
- <Site Name="l" CanChangeState="false" CanBeBound="true">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- </RuleSet></Site>
- <Site Name="r" CanChangeState="false" CanBeBound="true">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- </RuleSet></Site>
- </Agent>
- <Agent Name="G">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="12"/>
- <Rule Id="13"/>
- <Rule Id="14"/>
- <Rule Id="15"/>
- <Rule Id="16"/>
- <Rule Id="17"/>
- <Rule Id="18"/>
- <Rule Id="19"/>
- <Rule Id="20"/>
- <Rule Id="21"/>
- <Rule Id="22"/>
- <Rule Id="23"/>
- <Rule Id="28"/>
- <Rule Id="29"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- <Rule Id="32"/>
- <Rule Id="33"/>
- <Rule Id="34"/>
- <Rule Id="35"/>
- <Rule Id="36"/>
- <Rule Id="37"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- </RuleSet><Site Name="a" CanChangeState="false" CanBeBound="true">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- </RuleSet></Site>
- <Site Name="b" CanChangeState="false" CanBeBound="true">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- </RuleSet></Site>
- </Agent>
- <Agent Name="E">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="1"/>
- <Rule Id="2"/>
- <Rule Id="3"/>
- <Rule Id="4"/>
- <Rule Id="5"/>
- <Rule Id="7"/>
- </RuleSet><Site Name="r" CanChangeState="false" CanBeBound="true">
- <RuleSet Name="Mod">
- </RuleSet>
- <RuleSet Name="Test">
- </RuleSet></Site>
- </Agent>
- <Bond FromAgent="E" FromSite="r" ToAgent="R" ToSite="l">
- <RuleSet Name="Mod">
- <Rule Id="1"/>
- <Rule Id="2"/>
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="1"/>
- <Rule Id="2"/>
- <Rule Id="3"/>
- <Rule Id="4"/>
- <Rule Id="5"/>
- <Rule Id="7"/>
- <Rule Id="40"/>
- </RuleSet></Bond><Bond FromAgent="G" FromSite="a" ToAgent="R" ToSite="Y68">
- <RuleSet Name="Mod">
- <Rule Id="12"/>
- <Rule Id="13"/>
- <Rule Id="14"/>
- <Rule Id="15"/>
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="5"/>
- <Rule Id="6"/>
- <Rule Id="12"/>
- <Rule Id="13"/>
- <Rule Id="14"/>
- <Rule Id="15"/>
- <Rule Id="16"/>
- <Rule Id="17"/>
- <Rule Id="18"/>
- <Rule Id="19"/>
- <Rule Id="32"/>
- <Rule Id="34"/>
- <Rule Id="36"/>
- <Rule Id="38"/>
- </RuleSet></Bond><Bond FromAgent="G" FromSite="a" ToAgent="Sh" ToSite="Y7">
- <RuleSet Name="Mod">
- <Rule Id="32"/>
- <Rule Id="33"/>
- <Rule Id="34"/>
- <Rule Id="35"/>
- <Rule Id="36"/>
- <Rule Id="37"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- <Rule Id="41"/>
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="9"/>
- <Rule Id="10"/>
- <Rule Id="11"/>
- <Rule Id="12"/>
- <Rule Id="14"/>
- <Rule Id="18"/>
- <Rule Id="19"/>
- <Rule Id="20"/>
- <Rule Id="21"/>
- <Rule Id="22"/>
- <Rule Id="23"/>
- <Rule Id="24"/>
- <Rule Id="25"/>
- <Rule Id="26"/>
- <Rule Id="27"/>
- <Rule Id="28"/>
- <Rule Id="29"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- <Rule Id="32"/>
- <Rule Id="33"/>
- <Rule Id="34"/>
- <Rule Id="35"/>
- <Rule Id="36"/>
- <Rule Id="37"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- <Rule Id="41"/>
- </RuleSet></Bond><Bond FromAgent="G" FromSite="b" ToAgent="So" ToSite="d">
- <RuleSet Name="Mod">
- <Rule Id="16"/>
- <Rule Id="17"/>
- <Rule Id="18"/>
- <Rule Id="19"/>
- <Rule Id="20"/>
- <Rule Id="21"/>
- <Rule Id="22"/>
- <Rule Id="23"/>
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="12"/>
- <Rule Id="13"/>
- <Rule Id="14"/>
- <Rule Id="15"/>
- <Rule Id="16"/>
- <Rule Id="17"/>
- <Rule Id="18"/>
- <Rule Id="19"/>
- <Rule Id="20"/>
- <Rule Id="21"/>
- <Rule Id="22"/>
- <Rule Id="23"/>
- <Rule Id="28"/>
- <Rule Id="29"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- <Rule Id="32"/>
- <Rule Id="33"/>
- <Rule Id="34"/>
- <Rule Id="35"/>
- <Rule Id="36"/>
- <Rule Id="37"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- </RuleSet></Bond><Bond FromAgent="R" FromSite="Y48" ToAgent="Sh" ToSite="pi">
- <RuleSet Name="Mod">
- <Rule Id="24"/>
- <Rule Id="25"/>
- <Rule Id="26"/>
- <Rule Id="27"/>
- <Rule Id="28"/>
- <Rule Id="29"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="7"/>
- <Rule Id="8"/>
- <Rule Id="9"/>
- <Rule Id="10"/>
- <Rule Id="11"/>
- <Rule Id="20"/>
- <Rule Id="21"/>
- <Rule Id="22"/>
- <Rule Id="23"/>
- <Rule Id="24"/>
- <Rule Id="25"/>
- <Rule Id="26"/>
- <Rule Id="27"/>
- <Rule Id="28"/>
- <Rule Id="29"/>
- <Rule Id="30"/>
- <Rule Id="31"/>
- <Rule Id="32"/>
- <Rule Id="33"/>
- <Rule Id="34"/>
- <Rule Id="35"/>
- <Rule Id="36"/>
- <Rule Id="37"/>
- <Rule Id="38"/>
- <Rule Id="39"/>
- </RuleSet></Bond><Bond FromAgent="R" FromSite="r" ToAgent="R" ToSite="r">
- <RuleSet Name="Mod">
- <Rule Id="3"/>
- <Rule Id="4"/>
- <Rule Id="40"/>
- </RuleSet>
- <RuleSet Name="Test">
- <Rule Id="1"/>
- <Rule Id="2"/>
- <Rule Id="3"/>
- <Rule Id="4"/>
- <Rule Id="5"/>
- <Rule Id="7"/>
- <Rule Id="9"/>
- <Rule Id="40"/>
- </RuleSet></Bond></ContactMap>
- <InfluenceMap Name="Low resolution">
- <Node Type="RULE" Text="%Auto_2" Id="2" Name="%Auto_2" Data="R(l!0,r),E(r!0)->R(l,r),E(r)"/>
- <Node Type="RULE" Text="%Auto_1" Id="1" Name="%Auto_1" Data="R(l,r),E(r)->R(l!0,r),E(r!0)"/>
- <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)"/>
- <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)"/>
- <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)"/>
- <Node Type="RULE" Text="%Auto_6" Id="6" Name="%Auto_6" Data="R(Y68~p)->R(Y68~u)"/>
- <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)"/>
- <Node Type="RULE" Text="%Auto_8" Id="8" Name="%Auto_8" Data="R(Y48~p)->R(Y48~u)"/>
- <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)"/>
- <Node Type="RULE" Text="%Auto_10" Id="10" Name="%Auto_10" Data="Sh(Y7~p,pi!_)->Sh(Y7~u,pi!_)"/>
- <Node Type="RULE" Text="%Auto_11" Id="11" Name="%Auto_11" Data="Sh(Y7~p,pi)->Sh(Y7~u,pi)"/>
- <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)"/>
- <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)"/>
- <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!_)"/>
- <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!_)"/>
- <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)"/>
- <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)"/>
- <Node Type="RULE" Text="%Auto_18" Id="18" Name="%Auto_18" Data="G(a,b),So(d)->G(a,b!0),So(d!0)"/>
- <Node Type="RULE" Text="%Auto_19" Id="19" Name="%Auto_19" Data="G(a,b!0),So(d!0)->G(a,b),So(d)"/>
- <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)"/>
- <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)"/>
- <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)"/>
- <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)"/>
- <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)"/>
- <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)"/>
- <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)"/>
- <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)"/>
- <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)"/>
- <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)"/>
- <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)"/>
- <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)"/>
- <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)"/>
- <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)"/>
- <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)"/>
- <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)"/>
- <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!_)"/>
- <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!_)"/>
- <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)"/>
- <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)"/>
- <Node Type="RULE" Text="%Auto_40" Id="40" Name="%Auto_40" Data="R(l,r!_)->R(l,r)"/>
- <Node Type="RULE" Text="%Auto_41" Id="41" Name="%Auto_41" Data="Sh(Y7~u!_)->Sh(Y7~t)"/>
- <Connection FromNode="1" ToNode="2" Relation="POSITIVE"/>
- <Connection FromNode="1" ToNode="3" Relation="POSITIVE"/>
- <Connection FromNode="1" ToNode="4" Relation="POSITIVE"/>
- <Connection FromNode="1" ToNode="5" Relation="POSITIVE"/>
- <Connection FromNode="1" ToNode="7" Relation="POSITIVE"/>
- <Connection FromNode="2" ToNode="1" Relation="POSITIVE"/>
- <Connection FromNode="2" ToNode="40" Relation="POSITIVE"/>
- <Connection FromNode="3" ToNode="4" Relation="POSITIVE"/>
- <Connection FromNode="3" ToNode="5" Relation="POSITIVE"/>
- <Connection FromNode="3" ToNode="7" Relation="POSITIVE"/>
- <Connection FromNode="3" ToNode="9" Relation="POSITIVE"/>
- <Connection FromNode="3" ToNode="40" Relation="POSITIVE"/>
- <Connection FromNode="4" ToNode="1" Relation="POSITIVE"/>
- <Connection FromNode="4" ToNode="2" Relation="POSITIVE"/>
- <Connection FromNode="4" ToNode="3" Relation="POSITIVE"/>
- <Connection FromNode="5" ToNode="6" Relation="POSITIVE"/>
- <Connection FromNode="5" ToNode="12" Relation="POSITIVE"/>
- <Connection FromNode="5" ToNode="13" Relation="POSITIVE"/>
- <Connection FromNode="5" ToNode="14" Relation="POSITIVE"/>
- <Connection FromNode="5" ToNode="15" Relation="POSITIVE"/>
- <Connection FromNode="5" ToNode="16" Relation="POSITIVE"/>
- <Connection FromNode="5" ToNode="17" Relation="POSITIVE"/>
- <Connection FromNode="6" ToNode="5" Relation="POSITIVE"/>
- <Connection FromNode="7" ToNode="8" Relation="POSITIVE"/>
- <Connection FromNode="7" ToNode="9" Relation="POSITIVE"/>
- <Connection FromNode="7" ToNode="24" Relation="POSITIVE"/>
- <Connection FromNode="7" ToNode="25" Relation="POSITIVE"/>
- <Connection FromNode="7" ToNode="26" Relation="POSITIVE"/>
- <Connection FromNode="7" ToNode="27" Relation="POSITIVE"/>
- <Connection FromNode="7" ToNode="28" Relation="POSITIVE"/>
- <Connection FromNode="7" ToNode="29" Relation="POSITIVE"/>
- <Connection FromNode="7" ToNode="30" Relation="POSITIVE"/>
- <Connection FromNode="7" ToNode="31" Relation="POSITIVE"/>
- <Connection FromNode="7" ToNode="32" Relation="POSITIVE"/>
- <Connection FromNode="7" ToNode="33" Relation="POSITIVE"/>
- <Connection FromNode="7" ToNode="38" Relation="POSITIVE"/>
- <Connection FromNode="7" ToNode="39" Relation="POSITIVE"/>
- <Connection FromNode="8" ToNode="7" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="10" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="11" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="20" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="21" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="22" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="23" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="26" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="27" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="28" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="29" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="30" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="31" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="32" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="33" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="34" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="35" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="36" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="37" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="38" Relation="POSITIVE"/>
- <Connection FromNode="9" ToNode="39" Relation="POSITIVE"/>
- <Connection FromNode="10" ToNode="9" Relation="POSITIVE"/>
- <Connection FromNode="10" ToNode="24" Relation="POSITIVE"/>
- <Connection FromNode="10" ToNode="25" Relation="POSITIVE"/>
- <Connection FromNode="10" ToNode="41" Relation="POSITIVE"/>
- <Connection FromNode="11" ToNode="9" Relation="POSITIVE"/>
- <Connection FromNode="11" ToNode="24" Relation="POSITIVE"/>
- <Connection FromNode="11" ToNode="25" Relation="POSITIVE"/>
- <Connection FromNode="11" ToNode="41" Relation="POSITIVE"/>
- <Connection FromNode="12" ToNode="13" Relation="POSITIVE"/>
- <Connection FromNode="12" ToNode="15" Relation="POSITIVE"/>
- <Connection FromNode="12" ToNode="16" Relation="POSITIVE"/>
- <Connection FromNode="12" ToNode="17" Relation="POSITIVE"/>
- <Connection FromNode="13" ToNode="5" Relation="POSITIVE"/>
- <Connection FromNode="13" ToNode="6" Relation="POSITIVE"/>
- <Connection FromNode="13" ToNode="12" Relation="POSITIVE"/>
- <Connection FromNode="13" ToNode="14" Relation="POSITIVE"/>
- <Connection FromNode="13" ToNode="18" Relation="POSITIVE"/>
- <Connection FromNode="13" ToNode="19" Relation="POSITIVE"/>
- <Connection FromNode="13" ToNode="32" Relation="POSITIVE"/>
- <Connection FromNode="13" ToNode="34" Relation="POSITIVE"/>
- <Connection FromNode="13" ToNode="36" Relation="POSITIVE"/>
- <Connection FromNode="13" ToNode="38" Relation="POSITIVE"/>
- <Connection FromNode="14" ToNode="13" Relation="POSITIVE"/>
- <Connection FromNode="14" ToNode="15" Relation="POSITIVE"/>
- <Connection FromNode="14" ToNode="16" Relation="POSITIVE"/>
- <Connection FromNode="14" ToNode="17" Relation="POSITIVE"/>
- <Connection FromNode="15" ToNode="5" Relation="POSITIVE"/>
- <Connection FromNode="15" ToNode="6" Relation="POSITIVE"/>
- <Connection FromNode="15" ToNode="12" Relation="POSITIVE"/>
- <Connection FromNode="15" ToNode="14" Relation="POSITIVE"/>
- <Connection FromNode="15" ToNode="18" Relation="POSITIVE"/>
- <Connection FromNode="15" ToNode="19" Relation="POSITIVE"/>
- <Connection FromNode="15" ToNode="32" Relation="POSITIVE"/>
- <Connection FromNode="15" ToNode="34" Relation="POSITIVE"/>
- <Connection FromNode="15" ToNode="36" Relation="POSITIVE"/>
- <Connection FromNode="15" ToNode="38" Relation="POSITIVE"/>
- <Connection FromNode="16" ToNode="14" Relation="POSITIVE"/>
- <Connection FromNode="16" ToNode="15" Relation="POSITIVE"/>
- <Connection FromNode="16" ToNode="17" Relation="POSITIVE"/>
- <Connection FromNode="16" ToNode="19" Relation="POSITIVE"/>
- <Connection FromNode="16" ToNode="21" Relation="POSITIVE"/>
- <Connection FromNode="16" ToNode="23" Relation="POSITIVE"/>
- <Connection FromNode="16" ToNode="30" Relation="POSITIVE"/>
- <Connection FromNode="16" ToNode="31" Relation="POSITIVE"/>
- <Connection FromNode="16" ToNode="36" Relation="POSITIVE"/>
- <Connection FromNode="16" ToNode="37" Relation="POSITIVE"/>
- <Connection FromNode="16" ToNode="38" Relation="POSITIVE"/>
- <Connection FromNode="16" ToNode="39" Relation="POSITIVE"/>
- <Connection FromNode="17" ToNode="12" Relation="POSITIVE"/>
- <Connection FromNode="17" ToNode="13" Relation="POSITIVE"/>
- <Connection FromNode="17" ToNode="16" Relation="POSITIVE"/>
- <Connection FromNode="17" ToNode="18" Relation="POSITIVE"/>
- <Connection FromNode="17" ToNode="20" Relation="POSITIVE"/>
- <Connection FromNode="17" ToNode="22" Relation="POSITIVE"/>
- <Connection FromNode="17" ToNode="28" Relation="POSITIVE"/>
- <Connection FromNode="17" ToNode="29" Relation="POSITIVE"/>
- <Connection FromNode="17" ToNode="32" Relation="POSITIVE"/>
- <Connection FromNode="17" ToNode="33" Relation="POSITIVE"/>
- <Connection FromNode="17" ToNode="34" Relation="POSITIVE"/>
- <Connection FromNode="17" ToNode="35" Relation="POSITIVE"/>
- <Connection FromNode="18" ToNode="14" Relation="POSITIVE"/>
- <Connection FromNode="18" ToNode="15" Relation="POSITIVE"/>
- <Connection FromNode="18" ToNode="17" Relation="POSITIVE"/>
- <Connection FromNode="18" ToNode="19" Relation="POSITIVE"/>
- <Connection FromNode="18" ToNode="21" Relation="POSITIVE"/>
- <Connection FromNode="18" ToNode="23" Relation="POSITIVE"/>
- <Connection FromNode="18" ToNode="30" Relation="POSITIVE"/>
- <Connection FromNode="18" ToNode="31" Relation="POSITIVE"/>
- <Connection FromNode="18" ToNode="36" Relation="POSITIVE"/>
- <Connection FromNode="18" ToNode="37" Relation="POSITIVE"/>
- <Connection FromNode="18" ToNode="38" Relation="POSITIVE"/>
- <Connection FromNode="18" ToNode="39" Relation="POSITIVE"/>
- <Connection FromNode="19" ToNode="12" Relation="POSITIVE"/>
- <Connection FromNode="19" ToNode="13" Relation="POSITIVE"/>
- <Connection FromNode="19" ToNode="16" Relation="POSITIVE"/>
- <Connection FromNode="19" ToNode="18" Relation="POSITIVE"/>
- <Connection FromNode="19" ToNode="20" Relation="POSITIVE"/>
- <Connection FromNode="19" ToNode="22" Relation="POSITIVE"/>
- <Connection FromNode="19" ToNode="28" Relation="POSITIVE"/>
- <Connection FromNode="19" ToNode="29" Relation="POSITIVE"/>
- <Connection FromNode="19" ToNode="32" Relation="POSITIVE"/>
- <Connection FromNode="19" ToNode="33" Relation="POSITIVE"/>
- <Connection FromNode="19" ToNode="34" Relation="POSITIVE"/>
- <Connection FromNode="19" ToNode="35" Relation="POSITIVE"/>
- <Connection FromNode="20" ToNode="14" Relation="POSITIVE"/>
- <Connection FromNode="20" ToNode="15" Relation="POSITIVE"/>
- <Connection FromNode="20" ToNode="17" Relation="POSITIVE"/>
- <Connection FromNode="20" ToNode="19" Relation="POSITIVE"/>
- <Connection FromNode="20" ToNode="21" Relation="POSITIVE"/>
- <Connection FromNode="20" ToNode="23" Relation="POSITIVE"/>
- <Connection FromNode="20" ToNode="30" Relation="POSITIVE"/>
- <Connection FromNode="20" ToNode="31" Relation="POSITIVE"/>
- <Connection FromNode="20" ToNode="36" Relation="POSITIVE"/>
- <Connection FromNode="20" ToNode="37" Relation="POSITIVE"/>
- <Connection FromNode="20" ToNode="38" Relation="POSITIVE"/>
- <Connection FromNode="20" ToNode="39" Relation="POSITIVE"/>
- <Connection FromNode="21" ToNode="12" Relation="POSITIVE"/>
- <Connection FromNode="21" ToNode="13" Relation="POSITIVE"/>
- <Connection FromNode="21" ToNode="16" Relation="POSITIVE"/>
- <Connection FromNode="21" ToNode="18" Relation="POSITIVE"/>
- <Connection FromNode="21" ToNode="20" Relation="POSITIVE"/>
- <Connection FromNode="21" ToNode="22" Relation="POSITIVE"/>
- <Connection FromNode="21" ToNode="28" Relation="POSITIVE"/>
- <Connection FromNode="21" ToNode="29" Relation="POSITIVE"/>
- <Connection FromNode="21" ToNode="32" Relation="POSITIVE"/>
- <Connection FromNode="21" ToNode="33" Relation="POSITIVE"/>
- <Connection FromNode="21" ToNode="34" Relation="POSITIVE"/>
- <Connection FromNode="21" ToNode="35" Relation="POSITIVE"/>
- <Connection FromNode="22" ToNode="14" Relation="POSITIVE"/>
- <Connection FromNode="22" ToNode="15" Relation="POSITIVE"/>
- <Connection FromNode="22" ToNode="17" Relation="POSITIVE"/>
- <Connection FromNode="22" ToNode="19" Relation="POSITIVE"/>
- <Connection FromNode="22" ToNode="21" Relation="POSITIVE"/>
- <Connection FromNode="22" ToNode="23" Relation="POSITIVE"/>
- <Connection FromNode="22" ToNode="30" Relation="POSITIVE"/>
- <Connection FromNode="22" ToNode="31" Relation="POSITIVE"/>
- <Connection FromNode="22" ToNode="36" Relation="POSITIVE"/>
- <Connection FromNode="22" ToNode="37" Relation="POSITIVE"/>
- <Connection FromNode="22" ToNode="38" Relation="POSITIVE"/>
- <Connection FromNode="22" ToNode="39" Relation="POSITIVE"/>
- <Connection FromNode="23" ToNode="12" Relation="POSITIVE"/>
- <Connection FromNode="23" ToNode="13" Relation="POSITIVE"/>
- <Connection FromNode="23" ToNode="16" Relation="POSITIVE"/>
- <Connection FromNode="23" ToNode="18" Relation="POSITIVE"/>
- <Connection FromNode="23" ToNode="20" Relation="POSITIVE"/>
- <Connection FromNode="23" ToNode="22" Relation="POSITIVE"/>
- <Connection FromNode="23" ToNode="28" Relation="POSITIVE"/>
- <Connection FromNode="23" ToNode="29" Relation="POSITIVE"/>
- <Connection FromNode="23" ToNode="32" Relation="POSITIVE"/>
- <Connection FromNode="23" ToNode="33" Relation="POSITIVE"/>
- <Connection FromNode="23" ToNode="34" Relation="POSITIVE"/>
- <Connection FromNode="23" ToNode="35" Relation="POSITIVE"/>
- <Connection FromNode="24" ToNode="9" Relation="POSITIVE"/>
- <Connection FromNode="24" ToNode="10" Relation="POSITIVE"/>
- <Connection FromNode="24" ToNode="22" Relation="POSITIVE"/>
- <Connection FromNode="24" ToNode="23" Relation="POSITIVE"/>
- <Connection FromNode="24" ToNode="25" Relation="POSITIVE"/>
- <Connection FromNode="24" ToNode="27" Relation="POSITIVE"/>
- <Connection FromNode="24" ToNode="29" Relation="POSITIVE"/>
- <Connection FromNode="24" ToNode="31" Relation="POSITIVE"/>
- <Connection FromNode="24" ToNode="32" Relation="POSITIVE"/>
- <Connection FromNode="24" ToNode="33" Relation="POSITIVE"/>
- <Connection FromNode="24" ToNode="38" Relation="POSITIVE"/>
- <Connection FromNode="24" ToNode="39" Relation="POSITIVE"/>
- <Connection FromNode="25" ToNode="7" Relation="POSITIVE"/>
- <Connection FromNode="25" ToNode="8" Relation="POSITIVE"/>
- <Connection FromNode="25" ToNode="11" Relation="POSITIVE"/>
- <Connection FromNode="25" ToNode="20" Relation="POSITIVE"/>
- <Connection FromNode="25" ToNode="21" Relation="POSITIVE"/>
- <Connection FromNode="25" ToNode="24" Relation="POSITIVE"/>
- <Connection FromNode="25" ToNode="26" Relation="POSITIVE"/>
- <Connection FromNode="25" ToNode="28" Relation="POSITIVE"/>
- <Connection FromNode="25" ToNode="30" Relation="POSITIVE"/>
- <Connection FromNode="25" ToNode="34" Relation="POSITIVE"/>
- <Connection FromNode="25" ToNode="35" Relation="POSITIVE"/>
- <Connection FromNode="25" ToNode="36" Relation="POSITIVE"/>
- <Connection FromNode="25" ToNode="37" Relation="POSITIVE"/>
- <Connection FromNode="26" ToNode="9" Relation="POSITIVE"/>
- <Connection FromNode="26" ToNode="10" Relation="POSITIVE"/>
- <Connection FromNode="26" ToNode="22" Relation="POSITIVE"/>
- <Connection FromNode="26" ToNode="23" Relation="POSITIVE"/>
- <Connection FromNode="26" ToNode="25" Relation="POSITIVE"/>
- <Connection FromNode="26" ToNode="27" Relation="POSITIVE"/>
- <Connection FromNode="26" ToNode="29" Relation="POSITIVE"/>
- <Connection FromNode="26" ToNode="31" Relation="POSITIVE"/>
- <Connection FromNode="26" ToNode="32" Relation="POSITIVE"/>
- <Connection FromNode="26" ToNode="33" Relation="POSITIVE"/>
- <Connection FromNode="26" ToNode="38" Relation="POSITIVE"/>
- <Connection FromNode="26" ToNode="39" Relation="POSITIVE"/>
- <Connection FromNode="27" ToNode="7" Relation="POSITIVE"/>
- <Connection FromNode="27" ToNode="8" Relation="POSITIVE"/>
- <Connection FromNode="27" ToNode="11" Relation="POSITIVE"/>
- <Connection FromNode="27" ToNode="20" Relation="POSITIVE"/>
- <Connection FromNode="27" ToNode="21" Relation="POSITIVE"/>
- <Connection FromNode="27" ToNode="24" Relation="POSITIVE"/>
- <Connection FromNode="27" ToNode="26" Relation="POSITIVE"/>
- <Connection FromNode="27" ToNode="28" Relation="POSITIVE"/>
- <Connection FromNode="27" ToNode="30" Relation="POSITIVE"/>
- <Connection FromNode="27" ToNode="34" Relation="POSITIVE"/>
- <Connection FromNode="27" ToNode="35" Relation="POSITIVE"/>
- <Connection FromNode="27" ToNode="36" Relation="POSITIVE"/>
- <Connection FromNode="27" ToNode="37" Relation="POSITIVE"/>
- <Connection FromNode="28" ToNode="9" Relation="POSITIVE"/>
- <Connection FromNode="28" ToNode="10" Relation="POSITIVE"/>
- <Connection FromNode="28" ToNode="22" Relation="POSITIVE"/>
- <Connection FromNode="28" ToNode="23" Relation="POSITIVE"/>
- <Connection FromNode="28" ToNode="25" Relation="POSITIVE"/>
- <Connection FromNode="28" ToNode="27" Relation="POSITIVE"/>
- <Connection FromNode="28" ToNode="29" Relation="POSITIVE"/>
- <Connection FromNode="28" ToNode="31" Relation="POSITIVE"/>
- <Connection FromNode="28" ToNode="32" Relation="POSITIVE"/>
- <Connection FromNode="28" ToNode="33" Relation="POSITIVE"/>
- <Connection FromNode="28" ToNode="38" Relation="POSITIVE"/>
- <Connection FromNode="28" ToNode="39" Relation="POSITIVE"/>
- <Connection FromNode="29" ToNode="7" Relation="POSITIVE"/>
- <Connection FromNode="29" ToNode="8" Relation="POSITIVE"/>
- <Connection FromNode="29" ToNode="11" Relation="POSITIVE"/>
- <Connection FromNode="29" ToNode="20" Relation="POSITIVE"/>
- <Connection FromNode="29" ToNode="21" Relation="POSITIVE"/>
- <Connection FromNode="29" ToNode="24" Relation="POSITIVE"/>
- <Connection FromNode="29" ToNode="26" Relation="POSITIVE"/>
- <Connection FromNode="29" ToNode="28" Relation="POSITIVE"/>
- <Connection FromNode="29" ToNode="30" Relation="POSITIVE"/>
- <Connection FromNode="29" ToNode="34" Relation="POSITIVE"/>
- <Connection FromNode="29" ToNode="35" Relation="POSITIVE"/>
- <Connection FromNode="29" ToNode="36" Relation="POSITIVE"/>
- <Connection FromNode="29" ToNode="37" Relation="POSITIVE"/>
- <Connection FromNode="30" ToNode="9" Relation="POSITIVE"/>
- <Connection FromNode="30" ToNode="10" Relation="POSITIVE"/>
- <Connection FromNode="30" ToNode="22" Relation="POSITIVE"/>
- <Connection FromNode="30" ToNode="23" Relation="POSITIVE"/>
- <Connection FromNode="30" ToNode="25" Relation="POSITIVE"/>
- <Connection FromNode="30" ToNode="27" Relation="POSITIVE"/>
- <Connection FromNode="30" ToNode="29" Relation="POSITIVE"/>
- <Connection FromNode="30" ToNode="31" Relation="POSITIVE"/>
- <Connection FromNode="30" ToNode="32" Relation="POSITIVE"/>
- <Connection FromNode="30" ToNode="33" Relation="POSITIVE"/>
- <Connection FromNode="30" ToNode="38" Relation="POSITIVE"/>
- <Connection FromNode="30" ToNode="39" Relation="POSITIVE"/>
- <Connection FromNode="31" ToNode="7" Relation="POSITIVE"/>
- <Connection FromNode="31" ToNode="8" Relation="POSITIVE"/>
- <Connection FromNode="31" ToNode="11" Relation="POSITIVE"/>
- <Connection FromNode="31" ToNode="20" Relation="POSITIVE"/>
- <Connection FromNode="31" ToNode="21" Relation="POSITIVE"/>
- <Connection FromNode="31" ToNode="24" Relation="POSITIVE"/>
- <Connection FromNode="31" ToNode="26" Relation="POSITIVE"/>
- <Connection FromNode="31" ToNode="28" Relation="POSITIVE"/>
- <Connection FromNode="31" ToNode="30" Relation="POSITIVE"/>
- <Connection FromNode="31" ToNode="34" Relation="POSITIVE"/>
- <Connection FromNode="31" ToNode="35" Relation="POSITIVE"/>
- <Connection FromNode="31" ToNode="36" Relation="POSITIVE"/>
- <Connection FromNode="31" ToNode="37" Relation="POSITIVE"/>
- <Connection FromNode="32" ToNode="20" Relation="POSITIVE"/>
- <Connection FromNode="32" ToNode="21" Relation="POSITIVE"/>
- <Connection FromNode="32" ToNode="22" Relation="POSITIVE"/>
- <Connection FromNode="32" ToNode="23" Relation="POSITIVE"/>
- <Connection FromNode="32" ToNode="28" Relation="POSITIVE"/>
- <Connection FromNode="32" ToNode="29" Relation="POSITIVE"/>
- <Connection FromNode="32" ToNode="30" Relation="POSITIVE"/>
- <Connection FromNode="32" ToNode="31" Relation="POSITIVE"/>
- <Connection FromNode="32" ToNode="33" Relation="POSITIVE"/>
- <Connection FromNode="32" ToNode="35" Relation="POSITIVE"/>
- <Connection FromNode="32" ToNode="37" Relation="POSITIVE"/>
- <Connection FromNode="32" ToNode="39" Relation="POSITIVE"/>
- <Connection FromNode="32" ToNode="41" Relation="POSITIVE"/>
- <Connection FromNode="33" ToNode="9" Relation="POSITIVE"/>
- <Connection FromNode="33" ToNode="10" Relation="POSITIVE"/>
- <Connection FromNode="33" ToNode="11" Relation="POSITIVE"/>
- <Connection FromNode="33" ToNode="12" Relation="POSITIVE"/>
- <Connection FromNode="33" ToNode="14" Relation="POSITIVE"/>
- <Connection FromNode="33" ToNode="18" Relation="POSITIVE"/>
- <Connection FromNode="33" ToNode="19" Relation="POSITIVE"/>
- <Connection FromNode="33" ToNode="24" Relation="POSITIVE"/>
- <Connection FromNode="33" ToNode="25" Relation="POSITIVE"/>
- <Connection FromNode="33" ToNode="26" Relation="POSITIVE"/>
- <Connection FromNode="33" ToNode="27" Relation="POSITIVE"/>
- <Connection FromNode="33" ToNode="32" Relation="POSITIVE"/>
- <Connection FromNode="33" ToNode="34" Relation="POSITIVE"/>
- <Connection FromNode="33" ToNode="36" Relation="POSITIVE"/>
- <Connection FromNode="33" ToNode="38" Relation="POSITIVE"/>
- <Connection FromNode="34" ToNode="20" Relation="POSITIVE"/>
- <Connection FromNode="34" ToNode="21" Relation="POSITIVE"/>
- <Connection FromNode="34" ToNode="22" Relation="POSITIVE"/>
- <Connection FromNode="34" ToNode="23" Relation="POSITIVE"/>
- <Connection FromNode="34" ToNode="28" Relation="POSITIVE"/>
- <Connection FromNode="34" ToNode="29" Relation="POSITIVE"/>
- <Connection FromNode="34" ToNode="30" Relation="POSITIVE"/>
- <Connection FromNode="34" ToNode="31" Relation="POSITIVE"/>
- <Connection FromNode="34" ToNode="33" Relation="POSITIVE"/>
- <Connection FromNode="34" ToNode="35" Relation="POSITIVE"/>
- <Connection FromNode="34" ToNode="37" Relation="POSITIVE"/>
- <Connection FromNode="34" ToNode="39" Relation="POSITIVE"/>
- <Connection FromNode="34" ToNode="41" Relation="POSITIVE"/>
- <Connection FromNode="35" ToNode="9" Relation="POSITIVE"/>
- <Connection FromNode="35" ToNode="10" Relation="POSITIVE"/>
- <Connection FromNode="35" ToNode="11" Relation="POSITIVE"/>
- <Connection FromNode="35" ToNode="12" Relation="POSITIVE"/>
- <Connection FromNode="35" ToNode="14" Relation="POSITIVE"/>
- <Connection FromNode="35" ToNode="18" Relation="POSITIVE"/>
- <Connection FromNode="35" ToNode="19" Relation="POSITIVE"/>
- <Connection FromNode="35" ToNode="24" Relation="POSITIVE"/>
- <Connection FromNode="35" ToNode="25" Relation="POSITIVE"/>
- <Connection FromNode="35" ToNode="26" Relation="POSITIVE"/>
- <Connection FromNode="35" ToNode="27" Relation="POSITIVE"/>
- <Connection FromNode="35" ToNode="32" Relation="POSITIVE"/>
- <Connection FromNode="35" ToNode="34" Relation="POSITIVE"/>
- <Connection FromNode="35" ToNode="36" Relation="POSITIVE"/>
- <Connection FromNode="35" ToNode="38" Relation="POSITIVE"/>
- <Connection FromNode="36" ToNode="20" Relation="POSITIVE"/>
- <Connection FromNode="36" ToNode="21" Relation="POSITIVE"/>
- <Connection FromNode="36" ToNode="22" Relation="POSITIVE"/>
- <Connection FromNode="36" ToNode="23" Relation="POSITIVE"/>
- <Connection FromNode="36" ToNode="28" Relation="POSITIVE"/>
- <Connection FromNode="36" ToNode="29" Relation="POSITIVE"/>
- <Connection FromNode="36" ToNode="30" Relation="POSITIVE"/>
- <Connection FromNode="36" ToNode="31" Relation="POSITIVE"/>
- <Connection FromNode="36" ToNode="33" Relation="POSITIVE"/>
- <Connection FromNode="36" ToNode="35" Relation="POSITIVE"/>
- <Connection FromNode="36" ToNode="37" Relation="POSITIVE"/>
- <Connection FromNode="36" ToNode="39" Relation="POSITIVE"/>
- <Connection FromNode="36" ToNode="41" Relation="POSITIVE"/>
- <Connection FromNode="37" ToNode="9" Relation="POSITIVE"/>
- <Connection FromNode="37" ToNode="10" Relation="POSITIVE"/>
- <Connection FromNode="37" ToNode="11" Relation="POSITIVE"/>
- <Connection FromNode="37" ToNode="12" Relation="POSITIVE"/>
- <Connection FromNode="37" ToNode="14" Relation="POSITIVE"/>
- <Connection FromNode="37" ToNode="18" Relation="POSITIVE"/>
- <Connection FromNode="37" ToNode="19" Relation="POSITIVE"/>
- <Connection FromNode="37" ToNode="24" Relation="POSITIVE"/>
- <Connection FromNode="37" ToNode="25" Relation="POSITIVE"/>
- <Connection FromNode="37" ToNode="26" Relation="POSITIVE"/>
- <Connection FromNode="37" ToNode="27" Relation="POSITIVE"/>
- <Connection FromNode="37" ToNode="32" Relation="POSITIVE"/>
- <Connection FromNode="37" ToNode="34" Relation="POSITIVE"/>
- <Connection FromNode="37" ToNode="36" Relation="POSITIVE"/>
- <Connection FromNode="37" ToNode="38" Relation="POSITIVE"/>
- <Connection FromNode="38" ToNode="20" Relation="POSITIVE"/>
- <Connection FromNode="38" ToNode="21" Relation="POSITIVE"/>
- <Connection FromNode="38" ToNode="22" Relation="POSITIVE"/>
- <Connection FromNode="38" ToNode="23" Relation="POSITIVE"/>
- <Connection FromNode="38" ToNode="28" Relation="POSITIVE"/>
- <Connection FromNode="38" ToNode="29" Relation="POSITIVE"/>
- <Connection FromNode="38" ToNode="30" Relation="POSITIVE"/>
- <Connection FromNode="38" ToNode="31" Relation="POSITIVE"/>
- <Connection FromNode="38" ToNode="33" Relation="POSITIVE"/>
- <Connection FromNode="38" ToNode="35" Relation="POSITIVE"/>
- <Connection FromNode="38" ToNode="37" Relation="POSITIVE"/>
- <Connection FromNode="38" ToNode="39" Relation="POSITIVE"/>
- <Connection FromNode="38" ToNode="41" Relation="POSITIVE"/>
- <Connection FromNode="39" ToNode="9" Relation="POSITIVE"/>
- <Connection FromNode="39" ToNode="10" Relation="POSITIVE"/>
- <Connection FromNode="39" ToNode="11" Relation="POSITIVE"/>
- <Connection FromNode="39" ToNode="12" Relation="POSITIVE"/>
- <Connection FromNode="39" ToNode="14" Relation="POSITIVE"/>
- <Connection FromNode="39" ToNode="18" Relation="POSITIVE"/>
- <Connection FromNode="39" ToNode="19" Relation="POSITIVE"/>
- <Connection FromNode="39" ToNode="24" Relation="POSITIVE"/>
- <Connection FromNode="39" ToNode="25" Relation="POSITIVE"/>
- <Connection FromNode="39" ToNode="26" Relation="POSITIVE"/>
- <Connection FromNode="39" ToNode="27" Relation="POSITIVE"/>
- <Connection FromNode="39" ToNode="32" Relation="POSITIVE"/>
- <Connection FromNode="39" ToNode="34" Relation="POSITIVE"/>
- <Connection FromNode="39" ToNode="36" Relation="POSITIVE"/>
- <Connection FromNode="39" ToNode="38" Relation="POSITIVE"/>
- <Connection FromNode="40" ToNode="1" Relation="POSITIVE"/>
- <Connection FromNode="40" ToNode="2" Relation="POSITIVE"/>
- <Connection FromNode="40" ToNode="3" Relation="POSITIVE"/>
- <Connection FromNode="41" ToNode="9" Relation="POSITIVE"/>
- <Connection FromNode="41" ToNode="10" Relation="POSITIVE"/>
- <Connection FromNode="41" ToNode="11" Relation="POSITIVE"/>
- <Connection FromNode="41" ToNode="12" Relation="POSITIVE"/>
- <Connection FromNode="41" ToNode="14" Relation="POSITIVE"/>
- <Connection FromNode="41" ToNode="18" Relation="POSITIVE"/>
- <Connection FromNode="41" ToNode="19" Relation="POSITIVE"/>
- <Connection FromNode="41" ToNode="24" Relation="POSITIVE"/>
- <Connection FromNode="41" ToNode="25" Relation="POSITIVE"/>
- <Connection FromNode="41" ToNode="26" Relation="POSITIVE"/>
- <Connection FromNode="41" ToNode="27" Relation="POSITIVE"/>
- <Connection FromNode="41" ToNode="32" Relation="POSITIVE"/>
- <Connection FromNode="41" ToNode="34" Relation="POSITIVE"/>
- <Connection FromNode="41" ToNode="36" Relation="POSITIVE"/>
- <Connection FromNode="41" ToNode="38" Relation="POSITIVE"/>
- </InfluenceMap>
- <Reachables Name="Subviews">
- <Set Agent="E">
- <Tag Data="Agent: E ; Sites: r
- " />
- <Entry Data="E(r)"/>
- <Entry Data="E(r!R.l)"/>
- </Set>
- <Set Agent="G">
- <Tag Data="Agent: G ; Sites: a,b
- " />
- <Entry Data="G(a,b)"/>
- <Entry Data="G(a!R.Y68,b)"/>
- <Entry Data="G(a!Sh.Y7,b)"/>
- <Entry Data="G(a,b!So.d)"/>
- <Entry Data="G(a!R.Y68,b!So.d)"/>
- <Entry Data="G(a!Sh.Y7,b!So.d)"/>
- </Set>
- <Set Agent="R">
- <Tag Data="Agent: R ; Sites: Y48,l,r
- " />
- <Entry Data="R(Y48~p,l,r)"/>
- <Entry Data="R(Y48~p!Sh.pi,l,r)"/>
- <Entry Data="R(Y48~p,l!E.r,r)"/>
- <Entry Data="R(Y48~p!Sh.pi,l!E.r,r)"/>
- <Entry Data="R(Y48~p,l!E.r,r!R.r)"/>
- <Entry Data="R(Y48~p!Sh.pi,l!E.r,r!R.r)"/>
- <Entry Data="R(Y48~u,l,r)"/>
- <Entry Data="R(Y48~u,l!E.r,r)"/>
- <Entry Data="R(Y48~u,l!E.r,r!R.r)"/>
- </Set>
- <Set Agent="R">
- <Tag Data="Agent: R ; Sites: Y68,l,r
- " />
- <Entry Data="R(Y68~p,l,r)"/>
- <Entry Data="R(Y68~p!G.a,l,r)"/>
- <Entry Data="R(Y68~p,l!E.r,r)"/>
- <Entry Data="R(Y68~p!G.a,l!E.r,r)"/>
- <Entry Data="R(Y68~p,l!E.r,r!R.r)"/>
- <Entry Data="R(Y68~p!G.a,l!E.r,r!R.r)"/>
- <Entry Data="R(Y68~u,l,r)"/>
- <Entry Data="R(Y68~u,l!E.r,r)"/>
- <Entry Data="R(Y68~u,l!E.r,r!R.r)"/>
- </Set>
- <Set Agent="R">
- <Tag Data="Agent: R ; Sites: l,r
- " />
- <Entry Data="R(l,r)"/>
- <Entry Data="R(l!E.r,r)"/>
- <Entry Data="R(l!E.r,r!R.r)"/>
- </Set>
- <Set Agent="Sh">
- <Tag Data="Agent: Sh ; Sites: Y7,pi
- " />
- <Entry Data="Sh(Y7~p,pi)"/>
- <Entry Data="Sh(Y7~p!G.a,pi)"/>
- <Entry Data="Sh(Y7~p,pi!R.Y48)"/>
- <Entry Data="Sh(Y7~p!G.a,pi!R.Y48)"/>
- <Entry Data="Sh(Y7~u,pi)"/>
- <Entry Data="Sh(Y7~u,pi!R.Y48)"/>
- </Set>
- <Set Agent="So">
- <Tag Data="Agent: So ; Sites: d
- " />
- <Entry Data="So(d)"/>
- <Entry Data="So(d!G.b)"/>
- </Set>
- </Reachables>
- <Refinement Name="DAG"></Refinement>
- <Refinement Name="Maximal"></Refinement>
- <Automorphisms>
- <Rule Id="1" Automorphisms="1"/>
- <Rule Id="2" Automorphisms="1"/>
- <Rule Id="3" Automorphisms="2"/>
- <Rule Id="4" Automorphisms="2"/>
- <Rule Id="5" Automorphisms="1"/>
- <Rule Id="6" Automorphisms="1"/>
- <Rule Id="7" Automorphisms="1"/>
- <Rule Id="8" Automorphisms="1"/>
- <Rule Id="9" Automorphisms="1"/>
- <Rule Id="10" Automorphisms="1"/>
- <Rule Id="11" Automorphisms="1"/>
- <Rule Id="12" Automorphisms="1"/>
- <Rule Id="13" Automorphisms="1"/>
- <Rule Id="14" Automorphisms="1"/>
- <Rule Id="15" Automorphisms="1"/>
- <Rule Id="16" Automorphisms="1"/>
- <Rule Id="17" Automorphisms="1"/>
- <Rule Id="18" Automorphisms="1"/>
- <Rule Id="19" Automorphisms="1"/>
- <Rule Id="20" Automorphisms="1"/>
- <Rule Id="21" Automorphisms="1"/>
- <Rule Id="22" Automorphisms="1"/>
- <Rule Id="23" Automorphisms="1"/>
- <Rule Id="24" Automorphisms="1"/>
- <Rule Id="25" Automorphisms="1"/>
- <Rule Id="26" Automorphisms="1"/>
- <Rule Id="27" Automorphisms="1"/>
- <Rule Id="28" Automorphisms="1"/>
- <Rule Id="29" Automorphisms="1"/>
- <Rule Id="30" Automorphisms="1"/>
- <Rule Id="31" Automorphisms="1"/>
- <Rule Id="32" Automorphisms="1"/>
- <Rule Id="33" Automorphisms="1"/>
- <Rule Id="34" Automorphisms="1"/>
- <Rule Id="35" Automorphisms="1"/>
- <Rule Id="36" Automorphisms="1"/>
- <Rule Id="37" Automorphisms="1"/>
- <Rule Id="38" Automorphisms="1"/>
- <Rule Id="39" Automorphisms="1"/>
- <Rule Id="40" Automorphisms="1"/>
- <Rule Id="41" Automorphisms="1"/>
- </Automorphisms>
- </ComplxSession>