/test.data/subviews/model/~session003.test
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>