PageRenderTime 16ms CodeModel.GetById 9ms app.highlight 4ms 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

Large files files are truncated, but you can click here to view the full file

   1<?xml version='1.0' encoding='utf-8'?>
   2<!-- Automaticaly generated by Complx 4.321..10527 -->
   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" 
   4xsi:schemaLocation="http://plectix.synthesisstudios.com
   5KappaSession.xsd" xmlns="http://plectix.synthesisstudios.com/schemas/kappasession"
   6xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" >
   7<Log>
   8<Entry Type="WARNING" Message="Rule %Auto_41 cannot be applied"/>
   9<Entry Type="WARNING" Message="Rule %Auto_40 cannot be applied"/>
  10<Entry Type="INFO" Message="Compilation(simplx)                      0.00524 s."/>
  11<Entry Type="INFO" Message="Second compilation(pretty printing)      0.000691 s."/>
  12<Entry Type="INFO" Message="Translation                              0.002175 s."/>
  13<Entry Type="INFO" Message="Renaming                                 0.001879 s."/>
  14<Entry Type="INFO" Message="Boolean encoding of the initial system   0.004044 s."/>
  15<Entry Type="INFO" Message="Quotienting rules                        0.00294 s."/>
  16<Entry Type="INFO" Message="Boolean encoding of the quotiented system0.002335 s."/>
  17<Entry Type="INFO" Message="Low-res contact map                      3.7e-05 s."/>
  18<Entry Type="INFO" Message="Reachability analysis                    0.014222 s."/>
  19<Entry Type="INFO" Message="Absract lenses computation               0.009797 s."/>
  20<Entry Type="INFO" Message="Quark computation                        0.000603 s."/>
  21<Entry Type="INFO" Message="count automorphisms in lhs               0.00209 s."/>
  22<Entry Type="INFO" Message="Compression(qualitative)                 0.079765 s."/>
  23<Entry Type="INFO" Message="Compression(quantitative)                0.079415 s."/>
  24<Entry Type="INFO" Message="compute refinement relation closure      0.000494 s."/>
  25<Entry Type="INFO" Message="compute maximal refinement relation      1.4e-05 s."/>
  26<Entry Type="INFO" Message="compute dag-like refinement relation     4.2e-05 s."/>
  27</Log>
  28<RuleSet Name="Original">
  29<Rule Id="2" Name="%Auto_2" Data="R(l!0,r),E(r!0)->R(l,r),E(r)" ForwardRate="1" />
  30<Rule Id="1" Name="%Auto_1" Data="R(l,r),E(r)->R(l!0,r),E(r!0)" ForwardRate="1" />
  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<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<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<Rule Id="6" Name="%Auto_6" Data="R(Y68~p)->R(Y68~u)" ForwardRate="1" />
  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<Rule Id="8" Name="%Auto_8" Data="R(Y48~p)->R(Y48~u)" ForwardRate="1" />
  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<Rule Id="10" Name="%Auto_10" Data="Sh(Y7~p,pi!_)->Sh(Y7~u,pi!_)" ForwardRate="1" />
  39<Rule Id="11" Name="%Auto_11" Data="Sh(Y7~p,pi)->Sh(Y7~u,pi)" ForwardRate="1" />
  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<Rule Id="13" Name="%Auto_13" Data="R(Y68~p!0),G(a!0,b)->R(Y68~p),G(a,b)" ForwardRate="1" />
  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<Rule Id="15" Name="%Auto_15" Data="R(Y68~p!0),G(a!0,b!_)->R(Y68~p),G(a,b!_)" ForwardRate="1" />
  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<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<Rule Id="18" Name="%Auto_18" Data="G(a,b),So(d)->G(a,b!0),So(d!0)" ForwardRate="1" />
  47<Rule Id="19" Name="%Auto_19" Data="G(a,b!0),So(d!0)->G(a,b),So(d)" ForwardRate="1" />
  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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<Rule Id="40" Name="%Auto_40" Data="R(l,r!_)->R(l,r)" ForwardRate="1" />
  69<Rule Id="41" Name="%Auto_41" Data="Sh(Y7~u!_)->Sh(Y7~t)" ForwardRate="1" />
  70</RuleSet>
  71<RuleSet Name="Qualitative compression">
  72<Rule Id="1" Name="%Auto_2" Data="R(l!_,r)->R(l,r)" ForwardRate="1"/>
  73<Rule Id="2" Name="%Auto_1" Data="E(r),R(l)->E(r!1),R(l!1)" ForwardRate="1"/>
  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<Rule Id="4" Name="%Auto_4" Data="R(r!_)->R(r)" ForwardRate="0.5"/>
  76<Rule Id="5" Name="%Auto_5" Data="R(Y68~u?,r!_)->R(Y68~p?,r!_)" ForwardRate="1"/>
  77<Rule Id="6" Name="%Auto_6" Data="R(Y68~p)->R(Y68~u)" ForwardRate="1"/>
  78<Rule Id="7" Name="%Auto_7" Data="R(Y48~u?,r!_)->R(Y48~p?,r!_)" ForwardRate="1"/>
  79<Rule Id="8" Name="%Auto_8" Data="R(Y48~p)->R(Y48~u)" ForwardRate="1"/>
  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<Rule Id="10" Name="%Auto_10,%Auto_11" Data="Sh(Y7~p)->Sh(Y7~u)" ForwardRate="1"/>
  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<Rule Id="12" Name="%Auto_13,%Auto_15" Data="R(Y68!_)->R(Y68)" ForwardRate="1"/>
  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<Rule Id="14" Name="%Auto_17,%Auto_19,%Auto_21,%Auto_23" Data="So(d!_)->So(d)" ForwardRate="1"/>
  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<Rule Id="16" Name="%Auto_25,%Auto_27,%Auto_29,%Auto_31" Data="Sh(pi!_)->Sh(pi)" ForwardRate="1"/>
  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<Rule Id="18" Name="%Auto_33,%Auto_35,%Auto_37,%Auto_39" Data="Sh(Y7!_)->Sh(Y7)" ForwardRate="1"/>
  90<Rule Id="19" Name="%Auto_40" Data="Cannot be applied"/>
  91<Rule Id="20" Name="%Auto_41" Data="Cannot be applied"/>
  92<Map FromSet="Original">
  93<Association FromRule="2" ToRule="1"/>
  94<Association FromRule="1" ToRule="2"/>
  95<Association FromRule="3" ToRule="3"/>
  96<Association FromRule="4" ToRule="4"/>
  97<Association FromRule="5" ToRule="5"/>
  98<Association FromRule="6" ToRule="6"/>
  99<Association FromRule="7" ToRule="7"/>
 100<Association FromRule="8" ToRule="8"/>
 101<Association FromRule="9" ToRule="9"/>
 102<Association FromRule="11" ToRule="10"/>
 103<Association FromRule="10" ToRule="10"/>
 104<Association FromRule="14" ToRule="11"/>
 105<Association FromRule="12" ToRule="11"/>
 106<Association FromRule="15" ToRule="12"/>
 107<Association FromRule="13" ToRule="12"/>
 108<Association FromRule="20" ToRule="13"/>
 109<Association FromRule="22" ToRule="13"/>
 110<Association FromRule="18" ToRule="13"/>
 111<Association FromRule="16" ToRule="13"/>
 112<Association FromRule="23" ToRule="14"/>
 113<Association FromRule="21" ToRule="14"/>
 114<Association FromRule="19" ToRule="14"/>
 115<Association FromRule="17" ToRule="14"/>
 116<Association FromRule="30" ToRule="15"/>
 117<Association FromRule="28" ToRule="15"/>
 118<Association FromRule="26" ToRule="15"/>
 119<Association FromRule="24" ToRule="15"/>
 120<Association FromRule="31" ToRule="16"/>
 121<Association FromRule="29" ToRule="16"/>
 122<Association FromRule="27" ToRule="16"/>
 123<Association FromRule="25" ToRule="16"/>
 124<Association FromRule="38" ToRule="17"/>
 125<Association FromRule="36" ToRule="17"/>
 126<Association FromRule="34" ToRule="17"/>
 127<Association FromRule="32" ToRule="17"/>
 128<Association FromRule="39" ToRule="18"/>
 129<Association FromRule="37" ToRule="18"/>
 130<Association FromRule="35" ToRule="18"/>
 131<Association FromRule="33" ToRule="18"/>
 132<Association FromRule="40" ToRule="19"/>
 133<Association FromRule="41" ToRule="20"/>
 134</Map>
 135</RuleSet>
 136<RuleSet Name="Quantitative compression">
 137<Rule Id="1" Name="%Auto_2" Data="R(l!_,r)->R(l,r)" ForwardRate="1"/>
 138<Rule Id="2" Name="%Auto_1" Data="E(r),R(l)->E(r!1),R(l!1)" ForwardRate="1"/>
 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<Rule Id="4" Name="%Auto_4" Data="R(r!_)->R(r)" ForwardRate="0.5"/>
 141<Rule Id="5" Name="%Auto_5" Data="R(Y68~u?,r!_)->R(Y68~p?,r!_)" ForwardRate="1"/>
 142<Rule Id="6" Name="%Auto_6" Data="R(Y68~p)->R(Y68~u)" ForwardRate="1"/>
 143<Rule Id="7" Name="%Auto_7" Data="R(Y48~u?,r!_)->R(Y48~p?,r!_)" ForwardRate="1"/>
 144<Rule Id="8" Name="%Auto_8" Data="R(Y48~p)->R(Y48~u)" ForwardRate="1"/>
 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<Rule Id="10" Name="%Auto_10" Data="Sh(Y7~p,pi!_)->Sh(Y7~u,pi!_)" ForwardRate="1"/>
 147<Rule Id="11" Name="%Auto_11" Data="Sh(Y7~p,pi)->Sh(Y7~u,pi)" ForwardRate="1"/>
 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<Rule Id="13" Name="%Auto_13" Data="G(a!1,b),R(Y68!1)->G(a,b),R(Y68)" ForwardRate="1"/>
 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<Rule Id="15" Name="%Auto_15" Data="G(a!1,b!_),R(Y68!1)->G(a,b!_),R(Y68)" ForwardRate="1"/>
 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<Rule Id="17" Name="%Auto_17" Data="G(a!1,b!_),R(Y68!1)->G(a!1,b),R(Y68!1)" ForwardRate="1"/>
 154<Rule Id="18" Name="%Auto_18" Data="G(a,b),So(d)->G(a,b!1),So(d!1)" ForwardRate="1"/>
 155<Rule Id="19" Name="%Auto_19" Data="G(a,b!_)->G(a,b)" ForwardRate="1"/>
 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<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<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<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<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<Rule Id="25" Name="%Auto_25" Data="Sh(Y7~u?,pi!_)->Sh(Y7~u?,pi)" ForwardRate="1"/>
 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<Rule Id="27" Name="%Auto_27" Data="Sh(Y7~p,pi!_)->Sh(Y7~p,pi)" ForwardRate="1"/>
 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<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<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<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<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<Rule Id="33" Name="%Auto_33" Data="G(a!1,b),Sh(Y7!1,pi!_)->G(a,b),Sh(Y7,pi!_)" ForwardRate="1"/>
 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<Rule Id="35" Name="%Auto_35" Data="G(a!1,b),Sh(Y7!1,pi)->G(a,b),Sh(Y7,pi)" ForwardRate="1"/>
 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<Rule Id="37" Name="%Auto_37" Data="G(a!1,b!_),Sh(Y7!1,pi)->G(a,b!_),Sh(Y7,pi)" ForwardRate="1"/>
 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<Rule Id="39" Name="%Auto_39" Data="G(a!1,b!_),Sh(Y7!1,pi!_)->G(a,b!_),Sh(Y7,pi!_)" ForwardRate="1"/>
 176<Rule Id="40" Name="%Auto_40" Data="Cannot be applied"/>
 177<Rule Id="41" Name="%Auto_41" Data="Cannot be applied"/>
 178<Map FromSet="Original">
 179<Association FromRule="2" ToRule="1"/>
 180<Association FromRule="1" ToRule="2"/>
 181<Association FromRule="3" ToRule="3"/>
 182<Association FromRule="4" ToRule="4"/>
 183<Association FromRule="5" ToRule="5"/>
 184<Association FromRule="6" ToRule="6"/>
 185<Association FromRule="7" ToRule="7"/>
 186<Association FromRule="8" ToRule="8"/>
 187<Association FromRule="9" ToRule="9"/>
 188<Association FromRule="10" ToRule="10"/>
 189<Association FromRule="11" ToRule="11"/>
 190<Association FromRule="12" ToRule="12"/>
 191<Association FromRule="13" ToRule="13"/>
 192<Association FromRule="14" ToRule="14"/>
 193<Association FromRule="15" ToRule="15"/>
 194<Association FromRule="16" ToRule="16"/>
 195<Association FromRule="17" ToRule="17"/>
 196<Association FromRule="18" ToRule="18"/>
 197<Association FromRule="19" ToRule="19"/>
 198<Association FromRule="20" ToRule="20"/>
 199<Association FromRule="21" ToRule="21"/>
 200<Association FromRule="22" ToRule="22"/>
 201<Association FromRule="23" ToRule="23"/>
 202<Association FromRule="24" ToRule="24"/>
 203<Association FromRule="25" ToRule="25"/>
 204<Association FromRule="26" ToRule="26"/>
 205<Association FromRule="27" ToRule="27"/>
 206<Association FromRule="28" ToRule="28"/>
 207<Association FromRule="29" ToRule="29"/>
 208<Association FromRule="30" ToRule="30"/>
 209<Association FromRule="31" ToRule="31"/>
 210<Association FromRule="32" ToRule="32"/>
 211<Association FromRule="33" ToRule="33"/>
 212<Association FromRule="34" ToRule="34"/>
 213<Association FromRule="35" ToRule="35"/>
 214<Association FromRule="36" ToRule="36"/>
 215<Association FromRule="37" ToRule="37"/>
 216<Association FromRule="38" ToRule="38"/>
 217<Association FromRule="39" ToRule="39"/>
 218<Association FromRule="40" ToRule="40"/>
 219<Association FromRule="41" ToRule="41"/>
 220</Map>
 221</RuleSet>
 222<ContactMap Name="Low resolution">
 223<Agent Name="So">
 224<RuleSet Name="Mod">
 225</RuleSet>
 226<RuleSet Name="Test">
 227<Rule Id="16"/>
 228<Rule Id="17"/>
 229<Rule Id="18"/>
 230<Rule Id="19"/>
 231<Rule Id="20"/>
 232<Rule Id="21"/>
 233<Rule Id="22"/>
 234<Rule Id="23"/>
 235<Rule Id="30"/>
 236<Rule Id="31"/>
 237<Rule Id="38"/>
 238<Rule Id="39"/>
 239</RuleSet><Site Name="d" CanChangeState="false" CanBeBound="true">
 240<RuleSet Name="Mod">
 241</RuleSet>
 242<RuleSet Name="Test">
 243</RuleSet></Site>
 244</Agent>
 245<Agent Name="Sh">
 246<RuleSet Name="Mod">
 247</RuleSet>
 248<RuleSet Name="Test">
 249<Rule Id="9"/>
 250<Rule Id="10"/>
 251<Rule Id="11"/>
 252<Rule Id="20"/>
 253<Rule Id="21"/>
 254<Rule Id="22"/>
 255<Rule Id="23"/>
 256<Rule Id="24"/>
 257<Rule Id="25"/>
 258<Rule Id="26"/>
 259<Rule Id="27"/>
 260<Rule Id="28"/>
 261<Rule Id="29"/>
 262<Rule Id="30"/>
 263<Rule Id="31"/>
 264<Rule Id="32"/>
 265<Rule Id="33"/>
 266<Rule Id="34"/>
 267<Rule Id="35"/>
 268<Rule Id="36"/>
 269<Rule Id="37"/>
 270<Rule Id="38"/>
 271<Rule Id="39"/>
 272<Rule Id="41"/>
 273</RuleSet><Site Name="Y7" CanChangeState="true" CanBeBound="true">
 274<RuleSet Name="Mod">
 275<Rule Id="9"/>
 276<Rule Id="10"/>
 277<Rule Id="11"/>
 278<Rule Id="41"/>
 279</RuleSet>
 280<RuleSet Name="Test">
 281<Rule Id="9"/>
 282<Rule Id="10"/>
 283<Rule Id="11"/>
 284<Rule Id="20"/>
 285<Rule Id="21"/>
 286<Rule Id="22"/>
 287<Rule Id="23"/>
 288<Rule Id="24"/>
 289<Rule Id="25"/>
 290<Rule Id="26"/>
 291<Rule Id="27"/>
 292<Rule Id="28"/>
 293<Rule Id="29"/>
 294<Rule Id="30"/>
 295<Rule Id="31"/>
 296<Rule Id="32"/>
 297<Rule Id="33"/>
 298<Rule Id="34"/>
 299<Rule Id="35"/>
 300<Rule Id="36"/>
 301<Rule Id="37"/>
 302<Rule Id="38"/>
 303<Rule Id="39"/>
 304<Rule Id="41"/>
 305</RuleSet></Site>
 306<Site Name="pi" CanChangeState="false" CanBeBound="true">
 307<RuleSet Name="Mod">
 308</RuleSet>
 309<RuleSet Name="Test">
 310</RuleSet></Site>
 311</Agent>
 312<Agent Name="R">
 313<RuleSet Name="Mod">
 314</RuleSet>
 315<RuleSet Name="Test">
 316<Rule Id="1"/>
 317<Rule Id="2"/>
 318<Rule Id="3"/>
 319<Rule Id="4"/>
 320<Rule Id="5"/>
 321<Rule Id="6"/>
 322<Rule Id="7"/>
 323<Rule Id="8"/>
 324<Rule Id="9"/>
 325<Rule Id="12"/>
 326<Rule Id="13"/>
 327<Rule Id="14"/>
 328<Rule Id="15"/>
 329<Rule Id="16"/>
 330<Rule Id="17"/>
 331<Rule Id="24"/>
 332<Rule Id="25"/>
 333<Rule Id="26"/>
 334<Rule Id="27"/>
 335<Rule Id="28"/>
 336<Rule Id="29"/>
 337<Rule Id="30"/>
 338<Rule Id="31"/>
 339<Rule Id="32"/>
 340<Rule Id="33"/>
 341<Rule Id="38"/>
 342<Rule Id="39"/>
 343<Rule Id="40"/>
 344</RuleSet><Site Name="Y48" CanChangeState="true" CanBeBound="true">
 345<RuleSet Name="Mod">
 346<Rule Id="7"/>
 347<Rule Id="8"/>
 348</RuleSet>
 349<RuleSet Name="Test">
 350<Rule Id="7"/>
 351<Rule Id="8"/>
 352<Rule Id="9"/>
 353<Rule Id="24"/>
 354<Rule Id="25"/>
 355<Rule Id="26"/>
 356<Rule Id="27"/>
 357<Rule Id="28"/>
 358<Rule Id="29"/>
 359<Rule Id="30"/>
 360<Rule Id="31"/>
 361<Rule Id="32"/>
 362<Rule Id="33"/>
 363<Rule Id="38"/>
 364<Rule Id="39"/>
 365</RuleSet></Site>
 366<Site Name="Y68" CanChangeState="true" CanBeBound="true">
 367<RuleSet Name="Mod">
 368<Rule Id="5"/>
 369<Rule Id="6"/>
 370</RuleSet>
 371<RuleSet Name="Test">
 372<Rule Id="5"/>
 373<Rule Id="6"/>
 374<Rule Id="12"/>
 375<Rule Id="13"/>
 376<Rule Id="14"/>
 377<Rule Id="15"/>
 378<Rule Id="16"/>
 379<Rule Id="17"/>
 380</RuleSet></Site>
 381<Site Name="l" CanChangeState="false" CanBeBound="true">
 382<RuleSet Name="Mod">
 383</RuleSet>
 384<RuleSet Name="Test">
 385</RuleSet></Site>
 386<Site Name="r" CanChangeState="false" CanBeBound="true">
 387<RuleSet Name="Mod">
 388</RuleSet>
 389<RuleSet Name="Test">
 390</RuleSet></Site>
 391</Agent>
 392<Agent Name="G">
 393<RuleSet Name="Mod">
 394</RuleSet>
 395<RuleSet Name="Test">
 396<Rule Id="12"/>
 397<Rule Id="13"/>
 398<Rule Id="14"/>
 399<Rule Id="15"/>
 400<Rule Id="16"/>
 401<Rule Id="17"/>
 402<Rule Id="18"/>
 403<Rule Id="19"/>
 404<Rule Id="20"/>
 405<Rule Id="21"/>
 406<Rule Id="22"/>
 407<Rule Id="23"/>
 408<Rule Id="28"/>
 409<Rule Id="29"/>
 410<Rule Id="30"/>
 411<Rule Id="31"/>
 412<Rule Id="32"/>
 413<Rule Id="33"/>
 414<Rule Id="34"/>
 415<Rule Id="35"/>
 416<Rule Id="36"/>
 417<Rule Id="37"/>
 418<Rule Id="38"/>
 419<Rule Id="39"/>
 420</RuleSet><Site Name="a" CanChangeState="false" CanBeBound="true">
 421<RuleSet Name="Mod">
 422</RuleSet>
 423<RuleSet Name="Test">
 424</RuleSet></Site>
 425<Site Name="b" CanChangeState="false" CanBeBound="true">
 426<RuleSet Name="Mod">
 427</RuleSet>
 428<RuleSet Name="Test">
 429</RuleSet></Site>
 430</Agent>
 431<Agent Name="E">
 432<RuleSet Name="Mod">
 433</RuleSet>
 434<RuleSet Name="Test">
 435<Rule Id="1"/>
 436<Rule Id="2"/>
 437<Rule Id="3"/>
 438<Rule Id="4"/>
 439<Rule Id="5"/>
 440<Rule Id="7"/>
 441</RuleSet><Site Name="r" CanChangeState="false" CanBeBound="true">
 442<RuleSet Name="Mod">
 443</RuleSet>
 444<RuleSet Name="Test">
 445</RuleSet></Site>
 446</Agent>
 447<Bond FromAgent="R" FromSite="Y68" ToAgent="G" ToSite="a">
 448<RuleSet Name="Mod">
 449<Rule Id="12"/>
 450<Rule Id="13"/>
 451<Rule Id="14"/>
 452<Rule Id="15"/>
 453</RuleSet>
 454<RuleSet Name="Test">
 455<Rule Id="5"/>
 456<Rule Id="6"/>
 457<Rule Id="12"/>
 458<Rule Id="13"/>
 459<Rule Id="14"/>
 460<Rule Id="15"/>
 461<Rule Id="16"/>
 462<Rule Id="17"/>
 463<Rule Id="18"/>
 464<Rule Id="19"/>
 465<Rule Id="32"/>
 466<Rule Id="34"/>
 467<Rule Id="36"/>
 468<Rule Id="38"/>
 469</RuleSet></Bond><Bond FromAgent="R" FromSite="l" ToAgent="E" ToSite="r">
 470<RuleSet Name="Mod">
 471<Rule Id="1"/>
 472<Rule Id="2"/>
 473</RuleSet>
 474<RuleSet Name="Test">
 475<Rule Id="1"/>
 476<Rule Id="2"/>
 477<Rule Id="3"/>
 478<Rule Id="4"/>
 479<Rule Id="5"/>
 480<Rule Id="7"/>
 481<Rule Id="40"/>
 482</RuleSet></Bond><Bond FromAgent="R" FromSite="r" ToAgent="R" ToSite="r">
 483<RuleSet Name="Mod">
 484<Rule Id="3"/>
 485<Rule Id="4"/>
 486<Rule Id="40"/>
 487</RuleSet>
 488<RuleSet Name="Test">
 489<Rule Id="1"/>
 490<Rule Id="2"/>
 491<Rule Id="3"/>
 492<Rule Id="4"/>
 493<Rule Id="5"/>
 494<Rule Id="7"/>
 495<Rule Id="9"/>
 496<Rule Id="40"/>
 497</RuleSet></Bond><Bond FromAgent="Sh" FromSite="Y7" ToAgent="G" ToSite="a">
 498<RuleSet Name="Mod">
 499<Rule Id="32"/>
 500<Rule Id="33"/>
 501<Rule Id="34"/>
 502<Rule Id="35"/>
 503<Rule Id="36"/>
 504<Rule Id="37"/>
 505<Rule Id="38"/>
 506<Rule Id="39"/>
 507<Rule Id="41"/>
 508</RuleSet>
 509<RuleSet Name="Test">
 510<Rule Id="9"/>
 511<Rule Id="10"/>
 512<Rule Id="11"/>
 513<Rule Id="12"/>
 514<Rule Id="14"/>
 515<Rule Id="18"/>
 516<Rule Id="19"/>
 517<Rule Id="20"/>
 518<Rule Id="21"/>
 519<Rule Id="22"/>
 520<Rule Id="23"/>
 521<Rule Id="24"/>
 522<Rule Id="25"/>
 523<Rule Id="26"/>
 524<Rule Id="27"/>
 525<Rule Id="28"/>
 526<Rule Id="29"/>
 527<Rule Id="30"/>
 528<Rule Id="31"/>
 529<Rule Id="32"/>
 530<Rule Id="33"/>
 531<Rule Id="34"/>
 532<Rule Id="35"/>
 533<Rule Id="36"/>
 534<Rule Id="37"/>
 535<Rule Id="38"/>
 536<Rule Id="39"/>
 537<Rule Id="41"/>
 538</RuleSet></Bond><Bond FromAgent="Sh" FromSite="pi" ToAgent="R" ToSite="Y48">
 539<RuleSet Name="Mod">
 540<Rule Id="24"/>
 541<Rule Id="25"/>
 542<Rule Id="26"/>
 543<Rule Id="27"/>
 544<Rule Id="28"/>
 545<Rule Id="29"/>
 546<Rule Id="30"/>
 547<Rule Id="31"/>
 548</RuleSet>
 549<RuleSet Name="Test">
 550<Rule Id="7"/>
 551<Rule Id="8"/>
 552<Rule Id="9"/>
 553<Rule Id="10"/>
 554<Rule Id="11"/>
 555<Rule Id="20"/>
 556<Rule Id="21"/>
 557<Rule Id="22"/>
 558<Rule Id="23"/>
 559<Rule Id="24"/>
 560<Rule Id="25"/>
 561<Rule Id="26"/>
 562<Rule Id="27"/>
 563<Rule Id="28"/>
 564<Rule Id="29"/>
 565<Rule Id="30"/>
 566<Rule Id="31"/>
 567<Rule Id="32"/>
 568<Rule Id="33"/>
 569<Rule Id="34"/>
 570<Rule Id="35"/>
 571<Rule Id="36"/>
 572<Rule Id="37"/>
 573<Rule Id="38"/>
 574<Rule Id="39"/>
 575</RuleSet></Bond><Bond FromAgent="So" FromSite="d" ToAgent="G" ToSite="b">
 576<RuleSet Name="Mod">
 577<Rule Id="16"/>
 578<Rule Id="17"/>
 579<Rule Id="18"/>
 580<Rule Id="19"/>
 581<Rule Id="20"/>
 582<Rule Id="21"/>
 583<Rule Id="22"/>
 584<Rule Id="23"/>
 585</RuleSet>
 586<RuleSet Name="Test">
 587<Rule Id="12"/>
 588<Rule Id="13"/>
 589<Rule Id="14"/>
 590<Rule Id="15"/>
 591<Rule Id="16"/>
 592<Rule Id="17"/>
 593<Rule Id="18"/>
 594<Rule Id="19"/>
 595<Rule Id="20"/>
 596<Rule Id="21"/>
 597<Rule Id="22"/>
 598<Rule Id="23"/>
 599<Rule Id="28"/>
 600<Rule Id="29"/>
 601<Rule Id="30"/>
 602<Rule Id="31"/>
 603<Rule Id="32"/>
 604<Rule Id="33"/>
 605<Rule Id="34"/>
 606<Rule Id="35"/>
 607<Rule Id="36"/>
 608<Rule Id="37"/>
 609<Rule Id="38"/>
 610<Rule Id="39"/>
 611</RuleSet></Bond></ContactMap>
 612<ContactMap Name="High resolution">
 613<Agent Name="So">
 614<RuleSet Name="Mod">
 615</RuleSet>
 616<RuleSet Name="Test">
 617<Rule Id="16"/>
 618<Rule Id="17"/>
 619<Rule Id="18"/>
 620<Rule Id="19"/>
 621<Rule Id="20"/>
 622<Rule Id="21"/>
 623<Rule Id="22"/>
 624<Rule Id="23"/>
 625<Rule Id="30"/>
 626<Rule Id="31"/>
 627<Rule Id="38"/>
 628<Rule Id="39"/>
 629</RuleSet><Site Name="d" CanChangeState="false" CanBeBound="true">
 630<RuleSet Name="Mod">
 631</RuleSet>
 632<RuleSet Name="Test">
 633</RuleSet></Site>
 634</Agent>
 635<Agent Name="Sh">
 636<RuleSet Name="Mod">
 637</RuleSet>
 638<RuleSet Name="Test">
 639<Rule Id="9"/>
 640<Rule Id="10"/>
 641<Rule Id="11"/>
 642<Rule Id="20"/>
 643<Rule Id="21"/>
 644<Rule Id="22"/>
 645<Rule Id="23"/>
 646<Rule Id="24"/>
 647<Rule Id="25"/>
 648<Rule Id="26"/>
 649<Rule Id="27"/>
 650<Rule Id="28"/>
 651<Rule Id="29"/>
 652<Rule Id="30"/>
 653<Rule Id="31"/>
 654<Rule Id="32"/>
 655<Rule Id="33"/>
 656<Rule Id="34"/>
 657<Rule Id="35"/>
 658<Rule Id="36"/>
 659<Rule Id="37"/>
 660<Rule Id="38"/>
 661<Rule Id="39"/>
 662<Rule Id="41"/>
 663</RuleSet><Site Name="Y7" CanChangeState="true" CanBeBound="true">
 664<RuleSet Name="Mod">
 665<Rule Id="9"/>
 666<Rule Id="10"/>
 667<Rule Id="11"/>
 668<Rule Id="41"/>
 669</RuleSet>
 670<RuleSet Name="Test">
 671<Rule Id="9"/>
 672<Rule Id="10"/>
 673<Rule Id="11"/>
 674<Rule Id="20"/>
 675<Rule Id="21"/>
 676<Rule Id="22"/>
 677<Rule Id="23"/>
 678<Rule Id="24"/>
 679<Rule Id="25"/>
 680<Rule Id="26"/>
 681<Rule Id="27"/>
 682<Rule Id="28"/>
 683<Rule Id="29"/>
 684<Rule Id="30"/>
 685<Rule Id="31"/>
 686<Rule Id="32"/>
 687<Rule Id="33"/>
 688<Rule Id="34"/>
 689<Rule Id="35"/>
 690<Rule Id="36"/>
 691<Rule Id="37"/>
 692<Rule Id="38"/>
 693<Rule Id="39"/>
 694<Rule Id="41"/>
 695</RuleSet></Site>
 696<Site Name="pi" CanChangeState="false" CanBeBound="true">
 697<RuleSet Name="Mod">
 698</RuleSet>
 699<RuleSet Name="Test">
 700</RuleSet></Site>
 701</Agent>
 702<Agent Name="R">
 703<RuleSet Name="Mod">
 704</RuleSet>
 705<RuleSet Name="Test">
 706<Rule Id="1"/>
 707<Rule Id="2"/>
 708<Rule Id="3"/>
 709<Rule Id="4"/>
 710<Rule Id="5"/>
 711<Rule Id="6"/>
 712<Rule Id="7"/>
 713<Rule Id="8"/>
 714<Rule Id="9"/>
 715<Rule Id="12"/>
 716<Rule Id="13"/>
 717<Rule Id="14"/>
 718<Rule Id="15"/>
 719<Rule Id="16"/>
 720<Rule Id="17"/>
 721<Rule Id="24"/>
 722<Rule Id="25"/>
 723<Rule Id="26"/>
 724<Rule Id="27"/>
 725<Rule Id="28"/>
 726<Rule Id="29"/>
 727<Rule Id="30"/>
 728<Rule Id="31"/>
 729<Rule Id="32"/>
 730<Rule Id="33"/>
 731<Rule Id="38"/>
 732<Rule Id="39"/>
 733<Rule Id="40"/>
 734</RuleSet><Site Name="Y48" CanChangeState="true" CanBeBound="true">
 735<RuleSet Name="Mod">
 736<Rule Id="7"/>
 737<Rule Id="8"/>
 738</RuleSet>
 739<RuleSet Name="Test">
 740<Rule Id="7"/>
 741<Rule Id="8"/>
 742<Rule Id="9"/>
 743<Rule Id="24"/>
 744<Rule Id="25"/>
 745<Rule Id="26"/>
 746<Rule Id="27"/>
 747<Rule Id="28"/>
 748<Rule Id="29"/>
 749<Rule Id="30"/>
 750<Rule Id="31"/>
 751<Rule Id="32"/>
 752<Rule Id="33"/>
 753<Rule Id="38"/>
 754<Rule Id="39"/>
 755</RuleSet></Site>
 756<Site Name="Y68" CanChangeState="true" CanBeBound="true">
 757<RuleSet Name="Mod">
 758<Rule Id="5"/>
 759<Rule Id="6"/>
 760</RuleSet>
 761<RuleSet Name="Test">
 762<Rule Id="5"/>
 763<Rule Id="6"/>
 764<Rule Id="12"/>
 765<Rule Id="13"/>
 766<Rule Id="14"/>
 767<Rule Id="15"/>
 768<Rule Id="16"/>
 769<Rule Id="17"/>
 770</RuleSet></Site>
 771<Site Name="l" CanChangeState="false" CanBeBound="true">
 772<RuleSet Name="Mod">
 773</RuleSet>
 774<RuleSet Name="Test">
 775</RuleSet></Site>
 776<Site Name="r" CanChangeState="false" CanBeBound="true">
 777<RuleSet Name="Mod">
 778</RuleSet>
 779<RuleSet Name="Test">
 780</RuleSet></Site>
 781</Agent>
 782<Agent Name="G">
 783<RuleSet Name="Mod">
 784</RuleSet>
 785<RuleSet Name="Test">
 786<Rule Id="12"/>
 787<Rule Id="13"/>
 788<Rule Id="14"/>
 789<Rule Id="15"/>
 790<Rule Id="16"/>
 791<Rule Id="17"/>
 792<Rule Id="18"/>
 793<Rule Id="19"/>
 794<Rule Id="20"/>
 795<Rule Id="21"/>
 796<Rule Id="22"/>
 797<Rule Id="23"/>
 798<Rule Id="28"/>
 799<Rule Id="29"/>
 800<Rule Id="30"/>
 801<Rule Id="31"/>
 802<Rule Id="32"/>
 803<Rule Id="33"/>
 804<Rule Id="34"/>
 805<Rule Id="35"/>
 806<Rule Id="36"/>
 807<Rule Id="37"/>
 808<Rule Id="38"/>
 809<Rule Id="39"/>
 810</RuleSet><Site Name="a" CanChangeState="false" CanBeBound="true">
 811<RuleSet Name="Mod">
 812</RuleSet>
 813<RuleSet Name="Test">
 814</RuleSet></Site>
 815<Site Name="b" CanChangeState="false" CanBeBound="true">
 816<RuleSet Name="Mod">
 817</RuleSet>
 818<RuleSet Name="Test">
 819</RuleSet></Site>
 820</Agent>
 821<Agent Name="E">
 822<RuleSet Name="Mod">
 823</RuleSet>
 824<RuleSet Name="Test">
 825<Rule Id="1"/>
 826<Rule Id="2"/>
 827<Rule Id="3"/>
 828<Rule Id="4"/>
 829<Rule Id="5"/>
 830<Rule Id="7"/>
 831</RuleSet><Site Name="r" CanChangeState="false" CanBeBound="true">
 832<RuleSet Name="Mod">
 833</RuleSet>
 834<RuleSet Name="Test">
 835</RuleSet></Site>
 836</Agent>
 837<Bond FromAgent="E" FromSite="r" ToAgent="R" ToSite="l">
 838<RuleSet Name="Mod">
 839<Rule Id="1"/>
 840<Rule Id="2"/>
 841</RuleSet>
 842<RuleSet Name="Test">
 843<Rule Id="1"/>
 844<Rule Id="2"/>
 845<Rule Id="3"/>
 846<Rule Id="4"/>
 847<Rule Id="5"/>
 848<Rule Id="7"/>
 849<Rule Id="40"/>
 850</RuleSet></Bond><Bond FromAgent="G" FromSite="a" ToAgent="R" ToSite="Y68">
 851<RuleSet Name="Mod">
 852<Rule Id="12"/>
 853<Rule Id="13"/>
 854<Rule Id="14"/>
 855<Rule Id="15"/>
 856</RuleSet>
 857<RuleSet Name="Test">
 858<Rule Id="5"/>
 859<Rule Id="6"/>
 860<Rule Id="12"/>
 861<Rule Id="13"/>
 862<Rule Id="14"/>
 863<Rule Id="15"/>
 864<Rule Id="16"/>
 865<Rule Id="17"/>
 866<Rule Id="18"/>
 867<Rule Id="19"/>
 868<Rule Id="32"/>
 869<Rule Id="34"/>
 870<Rule Id="36"/>
 871<Rule Id="38"/>
 872</RuleSet></Bond><Bond FromAgent="G" FromSite="a" ToAgent="Sh" ToSite="Y7">
 873<RuleSet Name="Mod">
 874<Rule Id="32"/>
 875<Rule Id="33"/>
 876<Rule Id="34"/>
 877<Rule Id="35"/>
 878<Rule Id="36"/>
 879<Rule Id="37"/>
 880<Rule Id="38"/>
 881<Rule Id="39"/>
 882<Rule Id="41"/>
 883</RuleSet>
 884<RuleSet Name="Test">
 885<Rule Id="9"/>
 886<Rule Id="10"/>
 887<Rule Id="11"/>
 888<Rule Id="12"/>
 889<Rule Id="14"/>
 890<Rule Id="18"/>
 891<Rule Id="19"/>
 892<Rule Id="20"/>
 893<Rule Id="21"/>
 894<Rule Id="22"/>
 895<Rule Id="23"/>
 896<Rule Id="24"/>
 897<Rule Id="25"/>
 898<Rule Id="26"/>
 899<Rule Id="27"/>
 900<Rule Id="28"/>
 901<Rule Id="29"/>
 902<Rule Id="30"/>
 903<Rule Id="31"/>
 904<Rule Id="32"/>
 905<Rule Id="33"/>
 906<Rule Id="34"/>
 907<Rule Id="35"/>
 908<Rule Id="36"/>
 909<Rule Id="37"/>
 910<Rule Id="38"/>
 911<Rule Id="39"/>
 912<Rule Id="41"/>
 913</RuleSet></Bond><Bond FromAgent="G" FromSite="b" ToAgent="So" ToSite="d">
 914<RuleSet Name="Mod">
 915<Rule Id="16"/>
 916<Rule Id="17"/>
 917<Rule Id="18"/>
 918<Rule Id="19"/>
 919<Rule Id="20"/>
 920<Rule Id="21"/>
 921<Rule Id="22"/>
 922<Rule Id="23"/>
 923</RuleSet>
 924<RuleSet Name="Test">
 925<Rule Id="12"/>
 926<Rule Id="13"/>
 927<Rule Id="14"/>
 928<Rule Id="15"/>
 929<Rule Id="16"/>
 930<Rule Id="17"/>
 931<Rule Id="18"/>
 932<Rule Id="19"/>
 933<Rule Id="20"/>
 934<Rule Id="21"/>
 935<Rule Id="22"/>
 936<Rule Id="23"/>
 937<Rule Id="28"/>
 938<Rule Id="29"/>
 939<Rule Id="30"/>
 940<Rule Id="31"/>
 941<Rule Id="32"/>
 942<Rule Id="33"/>
 943<Rule Id="34"/>
 944<Rule Id="35"/>
 945<Rule Id="36"/>
 946<Rule Id="37"/>
 947<Rule Id="38"/>
 948<Rule Id="39"/>
 949</RuleSet></Bond><Bond FromAgent="R" FromSite="Y48" ToAgent="Sh" ToSite="pi">
 950<RuleSet Name="Mod">
 951<Rule Id="24"/>
 952<Rule Id="25"/>
 953<Rule Id="26"/>
 954<Rule Id="27"/>
 955<Rule Id="28"/>
 956<Rule Id="29"/>
 957<Rule Id="30"/>
 958<Rule Id="31"/>
 959</RuleSet>
 960<RuleSet Name="Test">
 961<Rule Id="7"/>
 962<Rule Id="8"/>
 963<Rule Id="9"/>
 964<Rule Id="10"/>
 965<Rule Id="11"/>
 966<Rule Id="20"/>
 967<Rule Id="21"/>
 968<Rule Id="22"/>
 969<Rule Id="23"/>
 970<Rule Id="24"/>
 971<Rule Id="25"/>
 972<Rule Id="26"/>
 973<Rule Id="27"/>
 974<Rule Id="28"/>
 975<Rule Id="29"/>
 976<Rule Id="30"/>
 977<Rule Id="31"/>
 978<Rule Id="32"/>
 979<Rule Id="33"/>
 980<Rule Id="34"/>
 981<Rule Id="35"/>
 982<Rule Id="36"/>
 983<Rule Id="37"/>
 984<Rule Id="38"/>
 985<Rule Id="39"/>
 986</RuleSet></Bond><Bond FromAgent="R" FromSite="r" ToAgent="R" ToSite="r">
 987<RuleSet Name="Mod">
 988<Rule Id="3"/>
 989<Rule Id="4"/>
 990<Rule Id="40"/>
 991</RuleSet>
 992<RuleSet Name="Test">
 993<Rule Id="1"/>
 994<Rule Id="2"/>
 995<Rule Id="3"/>
 996<Rule Id="4"/>
 997<Rule Id="5"/>
 998<Rule Id="7"/>
 999<Rule Id="9"/>
1000<Rule Id="40"/>
1001</RuleSet></Bond></ContactMap>
1002<InfluenceMap Name="Low resolution">
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<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<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<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<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<Node Type="RULE" Text="%Auto_6" Id="6" Name="%Auto_6" Data="R(Y68~p)->R(Y68~u)"/>
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<Node Type="RULE" Text="%Auto_8" Id="8" Name="%Auto_8" Data="R(Y48~p)->R(Y48~u)"/>
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<Node Type="RULE" Text="%Auto_10" Id="10" Name="%Auto_10" Data="Sh(Y7~p,pi!_)->Sh(Y7~u,pi!_)"/>
1013<Node Type="RULE" Text="%Auto_11" Id="11" Name="%Auto_11" Data="Sh(Y7~p,pi)->Sh(Y7~u,pi)"/>
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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<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<Node Type="RULE" Text="%Auto_40" Id="40" Name="%Auto_40" Data="R(l,r!_)->R(l,r)"/>
1043<Node Type="RULE" Text="%Auto_41" Id="41" Name="%Auto_41" Data="Sh(Y7~u!_)->Sh(Y7~t)"/>
1044<Connection FromNode="1" ToNode="2" Relation="POSITIVE"/>
1045<Connection FromNode="1" ToNode="3" Relation="POSITIVE"/>
1046<Connection FromNode="1" ToNode="4" Relation="POSITIVE"/>
1047<Connection FromNode="1" ToNode="5" Relation="POSITIVE"/>
1048<Connection FromNode="1" ToNode="7" Relation="POSITIVE"/>
1049<Connection FromNode="2" ToNode="1" Relation="POSITIVE"/>
1050<Connection FromNode="2" ToNode="40" Relation="POSITIVE"/>
1051<Connection FromNode="3" ToNode="4" Relation="POSITIVE"/>
1052<Connection FromNode="3" ToNode="5" Relation="POSITIVE"/>
1053<Connection FromNode="3" ToNode="7" Relation="POSITIVE"/>
1054<Connection FromNode="3" ToNode="9" Relation="POSITIVE"/>
1055<Connection FromNode="3" ToNode="40" Relation="POSITIVE"/>
1056<Connection FromNode="4" ToNode="1" Relation="POSITIVE"/>
1057<Connection FromNode="4" ToNode="2" Relation="POSITIVE"/>
1058<Connection FromNode="4" ToNode="3" Relation="POSITIVE"/>
1059<Connection FromNode="5" ToNode="6" Relation="POSITIVE"/>
1060<Connection FromNode="5" ToNode="12" Relation="POSITIVE"/>
1061<Connection FromNode="5" ToNode="13" Relation="POSITIVE"/>
1062<Connection FromNode="5" ToNode="14" Relation="POSITIVE"/>
1063<Connection FromNode="5" ToNode="15" Relation="POSITIVE"/>
1064<Connection FromNode="5" ToNode="16" Relation="POSITIVE"/>
1065<Connection FromNode="5" ToNode="17" Relation="POSITIVE"/>
1066<Connection FromNode="6" ToNode="5" Relation="POSITIVE"/>
1067<Connection FromNode="7" ToNode="8" Relation="POSITIVE"/>
1068<Connection FromNode="7" ToNode="9" Relation="POSITIVE"/>
1069<Connection FromNode="7" ToNode="24" Relation="POSITIVE"/>
1070<Connection FromNode="7" ToNode="25" Relation="POSITIVE"/>
1071<Connection FromNode="7" ToNode="26" Relation="POSITIVE"/>
1072<Connection FromNode="7" ToNode="27" Relation="POSITIVE"/>
1073<Connection FromNode="7" ToNode="28" Relation="POSITIVE"/>
1074<Connection FromNode="7" ToNode="29" Relation="POSITIVE"/>
1075<Connection FromNode="7" ToNode="30" Relation="POSITIVE"/>
1076<Connection FromNode="7" ToNode="31" Relation="POSITIVE"/>
1077<Connection FromNode="7" ToNode="32" Relation="POSITIVE"/>
1078<Connection FromNode="7" ToNode="33" Relation="POSITIVE"/>
1079<Connection FromNode="7" ToNode="38" Relation="POSITIVE"/>
1080<Connection FromNode="7" ToNode="39" Relation="POSITIVE"/>
1081<Connection FromNode="8" ToNode="7" Relation="POSITIVE"/>
1082<Connection FromNode="9" ToNode="10" Relation="POSITIVE"/>
1083<Connection FromNode="9" ToNode="11" Relation="POSITIVE"/>
1084<Connection FromNode="9" ToNode="20" Relation="POSITIVE"/>
1085<Connection FromNode="9" ToNode="21" Relation="POSITIVE"/>
1086<Connection FromNode="9" ToNode="22" Relation="POSITIVE"/>
1087<Connection FromNode="9" ToNode="23" Relation="POSITIVE"/>
1088<Connection FromNode="9" ToNode="26" Relation="POSITIVE"/>
1089<Connection FromNode="9" ToNode="27" Relation="POSITIVE"/>
1090<Connection FromNode="9" ToNode="28" Relation="POSITIVE"/>
1091<Connection FromNode="9" ToNode="29" Relation="POSITIVE"/>
1092<Connection FromNode="9" ToNode="30" Relation="POSITIVE"/>
1093<Connection FromNode="9" ToNode="31" Relation="POSITIVE"/>
1094<Connection FromNode="9" ToNode="32" Relation="POSITIVE"/>
1095<Connection FromNode="9" ToNode="33" Relation="POSITIVE"/>
1096<Connection FromNode="9" ToNode="34" Relation="POSITIVE"/>
1097<Connection FromNode="9" ToNode="35" Relation="POSITIVE"/>
1098<Connection FromNode="9" ToNode="36" Relation="POSITIVE"/>
1099<Connection FromNode="9" ToNode="37" Relation="POSITIVE"/>
1100<Connection FromNode="9" ToNode="38" Relation="POSITIVE"/>
1101<Connection FromNode="9" ToNode="39" Relation="POSITIVE"/>
1102<Connection FromNode="10" ToNode="9" Relation="POSITIVE"/>
1103<Connection FromNode="10" ToNode="24" Relation="POSITIVE"/>
1104<Connection FromNode="10" ToNode="25" Relation="POSITIVE"/>
1105<Connection FromNode="10" ToNode="41" Relation="POSITIVE"/>
1106<Connection FromNode="11" ToNode="9" Relation="POSITIVE"/>
1107<Connection FromNode="11" ToNode="24" Relation="POSITIVE"/>
1108<Connection FromNode="11" ToNode="25" Relation="POSITIVE"/>
1109<Connection FromNode="11" ToNode="41" Relation="POSITIVE"/>
1110<Connection FromNode="12" ToNode="13" Relation="POSITIVE"/>
1111<Connection FromNode="12" ToNode="15" Relation="POSITIVE"/>
1112<Connection FromNode="12" ToNode="16" Relation="POSITIVE"/>
1113<Connection FromNode="12" ToNode="17" Relation="POSITIVE"/>
1114<Connection FromNode="13" ToNode="5" Relation="POSITIVE"/>
1115<Connection FromNode="13" ToNode="6" Relation="POSITIVE"/>
1116<Connection FromNode="13" ToNode="12" Relation="POSITIVE"/>
1117<Connection FromNode="13" ToNode="14" Relation="POSITIVE"/>
1118<Connection FromNode="13" ToNode="18" Relation="POSITIVE"/>
1119<Connection FromNode="13" ToNode="19" Relation="POSITIVE"/>
1120<Connection FromNode="13" ToNode="32" Relation="POSITIVE"/>
1121<Connection FromNode="13" ToNode="34" Relation="POSITIVE"/>
1122<Connection FromNode="13" ToNode="36" Relation="POSITIVE"/>
1123<Connection FromNode="13" ToNode="38" Relation="POSITIVE"/>
1124<Connection FromNode="14" ToNode="13" Relation="POSITIVE"/>
1125<Connection FromNode="14" ToNode="15" Relation="POSITIVE"/>
1126<Connection FromNode="14" ToNode="16" Relation="POSITIVE"/>
1127<Connection FromNode="14" ToNode="17" Relation="POSITIVE"/>
1128<Connection FromNode="15" ToNode="5" Relation="POSITIVE"/>
1129<Connection FromNode="15" ToNode="6" Relation="POSITIVE"/>
1130<Connection FromNode="15" ToNode="12" Relation="POSITIVE"/>
1131<Connection FromNode="15" ToNode="14" Relation="POSITIVE"/>
1132<Connection FromNode="15" ToNode="18" Relation="POSITIVE"/>
1133<Connection FromNode="15" ToNode="19" Relation="POSITIVE"/>
1134<Connection FromNode="15" ToNode="32" Relation="POSITIVE"/>
1135<Connection FromNode="15" ToNode="34" Relation="POSITIVE"/>
1136<Connection FromNode="15" ToNode="36" Relation="POSITIVE"/>
1137<Connection FromNode="15" ToNode="38" Relation="POSITIVE"/>
1138<Connection FromNode="16" ToNode="14" Relation="POSITIVE"/>
1139<Connection FromNode="16" ToNode="15" Relation="POSITIVE"/>
1140<Connection FromNode="16" ToNode="17" Relation="POSITIVE"/>
1141<Connection FromNode="16" ToNode="19" Relation="POSITIVE"/>
1142<Connection FromNode="16" ToNode="21" Relation="POSITIVE"/>
1143<Connection FromNode="16" ToNode="23" Relation="POSITIVE"/>
1144<Connection FromNode="16" ToNode="30" Relation="POSITIVE"/>
1145<Connection FromNode="16" ToNode="31" Relation="POSITIVE"/>
1146<Connection FromNode="16" ToNode="36" Relation="POSITIVE"/>
1147<Connection FromNode="16" ToNode="37" Relation="POSITIVE"/>
1148<Connection FromNode="16" ToNode="38" Relation="POSITIVE"/>
1149<Connection FromNode="16" ToNode="39" Relation="POSITIVE"/>
1150<Connection FromNode="17" ToNode="12" Relation="POSITIVE"/>
1151<Connection FromNode="17" ToNode="13" Relation="POSITIVE"/>
1152<Connection FromNode="17" ToNode="16" Relation="POSITIVE"/>
1153<Connection FromNode="17" ToNode="18" Relation="POSITIVE"/>
1154<Connection FromNode="17" ToNode="20" Relation="POSITIVE"/>
1155<Connection FromNode="17" ToNode="22" Relation="POSITIVE"/>
1156<Connection FromNode="17" ToNode="28" Relation="POSITIVE"/>
1157<Connection FromNode="17" ToNode="29" Relation="POSITIVE"/>
1158<Connection FromNode="17" ToNode="32" Relation="POSITIVE"/>
1159<Connection FromNode="17" ToNode="33" Relation="POSITIVE"/>
1160<Connection FromNode="17" ToNode="34" Relation="POSITIVE"/>
1161<Connection FromNode="17" ToNode="35" Relation="POSITIVE"/>
1162<Connection FromNode="18" ToNode="14" Relation="POSITIVE"/>
1163<Connection FromNode="18" ToNode="15" Relation="POSITIVE"/>
1164<Connection FromNode="18" ToNode="17" Relation="POSITIVE"/>
1165<Connection FromNode="18" ToNode="19" Relation="POSITIVE"/>
1166<Connection FromNode="18" ToNode="21" Relation="POSITIVE"/>
1167<Connection FromNode="18" ToNode="23" Relation="POSITIVE"/>
1168<Connection FromNode="18" ToNode="30" Relation="POSITIVE"/>
1169<Connection FromNode="18" ToNode="31" Relation="POSITIVE"/>
1170<Connection FromNode="18" ToNode="36" Relation="POSITIVE"/>
1171<Connection FromNode="18" ToNode="37" Relation="POSITIVE"/>
1172<Connection FromNode="18" ToNode="38" Relation="POSITIVE"/>
1173<Connection FromNode="18" ToNode="39" Relation="POSITIVE"/>
1174<Connection FromNode="19" ToNode="12" Relation="POSITIVE"/>
1175<Connection FromNode="19" ToNode="13" Relation="POSITIVE"/>
1176<Connection FromNode="19" ToNode="16" Relation="POSITIVE"/>
1177<Connection FromNode="19" ToNode="18" Relation="POSITIVE"/>
1178<Connection FromNode="19" ToNode="20" Relation="POSITIVE"/>
1179<Connection FromNode="19" ToNode="22" Relation="POSITIVE"/>
1180<Connection FromNode="19" ToNode="28" Relation="POSITIVE"/>
1181<Connection FromNode="19" ToNode="29" Relation="POSITIVE"/>
1182<Connection FromNode="19" ToNode="32" Relation="POSITIVE"/>
1183<Connection FromNode="19" ToNode="33" Relation="POSITIVE"/>
1184<Connection FromNode="19" ToNode="34" Relation="POSITIVE"/>
1185<Connection FromNode="19" ToNode="35" Relation="POSITIVE"/>
1186<Connection FromNode="20" ToNode="14" Relation="POSITIVE"/>
1187<Connection FromNode="20" ToNode="15" Relation="POSITIVE"/>
1188<Connection FromNode="20" ToNode="17" Relation="POSITIVE"/>
1189<Connection FromNode="20" ToNode="19" Relation="POSITIVE"/>
1190<Connection FromNode="20" ToNode="21" Relation="POSITIVE"/>
1191<Connection FromNode="20" ToNode="23" Relation="POSITIVE"/>
1192<Connection FromNode="20" ToNode="30" Relation="POSITIVE"/>
1193<Connection FromNode="20" ToNode="31" Relation="POSITIVE"/>
1194<Connection FromNode="20" ToNode="36" Relation="POSITIVE"/>
1195<Connection FromNode="20" ToNode="37" Relation="POSITIVE"/>
1196<Connection FromNode="20" ToNode="38" Relation="POSITIVE"/>
1197<Connection FromNode="20" ToNode="39" Relation="POSITIVE"/>
1198<Connection FromNode="21" ToNode="12" Relation="POSITIVE"/>
1199<Connection FromNode="21" ToNode="13" Relation="POSITIVE"/>
1200<Connection FromNode="21" ToNode="16" Relation="POSITIVE"/>
1201<Connection FromNode="21" ToNode="18" Relation="POSITIVE"/>
1202<Connection FromNode="21" ToNode="20" Relation="POSITIVE"/>
1203<Connection FromNode="21" ToNode="22" Relation="POSITIVE"/>
1204<Connection FromNode="21" ToNode="28" Relation="POSITIVE"/>
1205<Connection FromNode="21" ToNode="29" Relation="POSITIVE"/>
1206<Connection FromNode="21" ToNode="32" Relation="POSITIVE"/>
1207<Connection FromNode="21" ToNode="33" Relation="POSITIVE"/>
1208<Connection FromNode="21" ToNode="34" Relation="POSITIVE"/>
1209<Connection FromNode="21" ToNode="35" Relation="POSITIVE"/>
1210<Connection FromNode="22" ToNode="14" Relation="POSITIVE"/>
1211<Connection FromNode="22" ToNode="15" Relation="POSITIVE"/>
1212<Connection FromNode="22" ToNode="17" Relation="POSITIVE"/>
1213<Connection FromNode="22" ToNode="19" Relation="POSITIVE"/>
1214<Connection FromNode="22" ToNode="21" Relation="POSITIVE"/>
1215<Connection FromNode="22" ToNode="23" Relation="POSITIVE"/>
1216<Connection FromNode="22" ToNode="30" Relation="POSITIVE"/>
1217<Connection FromNode="22" ToNode="31" Relation="POSITIVE"/>
1218<Connection FromNode="22" ToNode="36" Relation="POSITIVE"/>
1219<Connection FromNode="22" ToNode="37" Relation="POSITIVE"/>
1220<Connection FromNode="22" ToNode="38" Relation="POSITIVE"/>
1221<Connection FromNode="22" ToNode="39" Relation="POSITIVE"/>
1222<Connection FromNode="23" ToNode="12" Relation="POSITIVE"/>
1223<Connection FromNode="23" ToNode="13" Relation="POSITIVE"/>
1224<Connection FromNode="23" ToNode="16" Relation="POSITIVE"/>
1225<Connection FromNode="23" ToNode="18" Relation="POSITIVE"/>
1226<Connection FromNode="23" ToNode="20" Relation="POSITIVE"/>
1227<Connection FromNode="23" ToNode="22" Relation="POSITIVE"/>
1228<Connection FromNode="23" ToNode="28" Relation="POSITIVE"/>
1229<Connection FromNode="23" ToNode="29" Relation="POSITIVE"/>
1230<Connection FromNode="23" ToNode="32" Relation="POSITIVE"/>
1231<Connection FromNode="23" ToNode="33" Relation="POSITIVE"/>
1232<Connection FromNode="23" ToNode="34" Relation="POSITIVE"/>
1233<Connection FromNode="23" ToNode="35" Relation="POSITIVE"/>
1234<Connection FromNode="24" ToNode="9" Relation="POSITIVE"/>
1235<Connection FromNode="24" ToNode="10" Relation="POSITIVE"/>
1236<Connection FromNode="24" ToNode="22" Relation="POSITIVE"/>
1237<Connection FromNode="24" ToNode="23" Relation="POSITIVE"/>
1238<Connection FromNode="24" ToNode="25" Relation="POSITIVE"/>
1239<Connection FromNode="24" ToNode="27" Relation="POSITIVE"/>
1240<Connection FromNode="24" ToNode="29" Relation="POSITIVE"/>
1241<Connection FromNode="24" ToNode="31" Relation="POSITIVE"/>
1242<Connection FromNode="24" ToNode="32" Relation="POSITIVE"/>
1243<Connection FromNode="24" ToNode="33" Relation="POSITIVE"/>
1244<Connection FromNode="24" ToNode="38" Relation="POSITIVE"/>
1245<Connection FromNode="24" ToNode="39" Relation="POSITIVE"/>
1246<Connection FromNode="25" ToNode="7" Relation="POSITIVE"/>
1247<Connection FromNode="25" ToNode="8" Relation="POSITIVE"/>
1248<Connection FromNode="25" ToNode="11" Relation="POSITIVE"/>
1249<Connection FromNode="25" ToNode="20" Relation="POSITIVE"/>
1250<Connection FromNode="25" ToNode="21" Relation="POSITIVE"/>
1251<Connection FromNode="25" ToNode="24" Relation="POSITIVE"/>
1252<Connection FromNode="25" ToNode="26" Relation="POSITIVE"/>
1253<Connection FromNode="25" ToNode="28" Relation="POSITIVE"/>
1254<Connection FromNode="25" ToNode="30" Relation="POSITIVE"/>
1255<Connection FromNode="25" ToNode="34" Relation="POSITIVE"/>
1256<Connection FromNode="25" ToNode="35" Relation="POSITIVE"/>
1257<Connection FromNode="25" ToNode="36" Relation="POSITIVE"/>
1258<Connection FromNode="25" ToNode="37" Relation="POSITIVE"/>
1259<Connection FromNode="26" ToNode="9" Relation="POSITIVE"/>
1260<Connection FromNode="26" ToNode="10" Relation="POSITIVE"/>
1261<Connection FromNode="26" ToNode="22" Relation="POSITIVE"/>
1262<Connection FromNode="26" ToNode="23" Relation="POSITIVE"/>
1263<Connection FromNode="26" ToNode="25" Relation="POSITIVE"/>
1264<Connection FromNode="26" ToNode="27" Relation="POSITIVE"/>
1265<Connection FromNode="26" ToNode="29" Relation="POSITIVE"/>
1266<Connection FromNode="26" ToNode="31" Relation="POSITIVE"/>
1267<Connection FromNode="26" ToNode="32" Relation="POSITIVE"/>
1268<Connection FromNode="26" ToNode="33" Relation="POSITIVE"/>
1269<Connection FromNode="26" ToNode="38" Relation="POSITIVE"/>
1270<Connection FromNode="26" ToNode="39" Relation="POSITIVE"/>
1271<Connection FromNode="27" ToNode="7" Relation="POSITIVE"/>
1272<Connection FromNode="27" ToNode="8" Relation="POSITIVE"/>
1273<Connection FromNode="27" ToNode="11" Relation="POSITIVE"/>
1274<Connection FromNode="27" ToNode="20" Relation="POSITIVE"/>
1275<Connection FromNode="27" ToNode="21" Relation="POSITIVE"/>
1276<Connection FromNode="27" ToNode="24" Relation="POSITIVE"/>
1277<Connection FromNode="27" ToNode="26" Relation="POSITIVE"/>
1278<Connection FromNode="27" ToNode="28" Relation="POSITIVE"/>
1279<Connection FromNode="27" ToNode="30" Relation="POSITIVE"/>
1280<Connection FromNode="27" ToNode="34" Relation="POSITIVE"/>
1281<Connection FromNode="27" ToNode="35" Relation="POSITIVE"/>
1282<Connection FromNode="27" ToNode="36" Relation="POSITIVE"/>
1283<Connection FromNode="27" ToNode="37" Relation="POSITIVE"/>
1284<Connection FromNode="28" ToNode="9" Relation="POSITIVE"/>
1285<Connection FromNode="28" ToNode="10" Relation="POSITIVE"/>
1286<Connection FromNode="28" ToNode="22" Relation="POSITIVE"/>
1287<Connection FromNode="28" ToNode="23" Relation="POSITIVE"/>
1288<Connection FromNode="28" ToNode="25" Relation="POSITIVE"/>
1289<Connection FromNode="28" ToNode="27" Relation="POSITIVE"/>
1290<Connection FromNode="28" ToNode="29" Relation="POSITIVE"/>
1291<Connection FromNode="28" ToNode="31" Relation="POSITIVE"/>
1292<Connection FromNode="28" ToNode="32" Relation="POSITIVE"/>
1293<Connection FromNode="28" ToNode="33" Relation="POSITIVE"/>
1294<Connection FromNode="28" ToNode="38" Relation="POSITIVE"/>
1295<Connection FromNode="28" ToNode="39" Relation="POSITIVE"/>
1296<Connection FromNode="29" ToNode="7" Relation="POSITIVE"/>
1297<Connection FromNode="29" ToNode="8" Relation="POSITIVE"/>
1298<Connection FromNode="29" ToNode="11" …

Large files files are truncated, but you can click here to view the full file