PageRenderTime 38ms CodeModel.GetById 28ms app.highlight 5ms RepoModel.GetById 1ms app.codeStats 0ms

/test.data/subviews/model/~session003.test

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