Instance 64-multi_context_system_querying-0-0.asp

Name	64-multi_context_system_querying-0-0.asp
Classes	[Root] Unclassified (3031) Multi Context System Querying (19) Model and Solve Track 3D ASP Competition (14)
Submitter	Barbara Nardi
Author	Peter Schüller
Description
Created	2012-03-30 12:11
Modified	2012-03-30 12:11
Languages	Facts
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	ctx(ctx1). ctxrule(ctx1,r1). ctxrulehead(r1,a1). ctxrulebody(r1,b1,neg). ctxrule(ctx1,r2). ctxrulehead(r2,b1). ctxrulebody(r2,c1,neg). ctxrule(ctx1,r3). ctxrulehead(r3,c1). ctxrulebody(r3,d1,neg). ctxrule(ctx1,r4). ctxrulehead(r4,d1). ctxrulebody(r4,e1,neg). ctxrule(ctx1,r5). ctxrulehead(r5,e1). ctxrulebody(r5,f1,neg). ctxrule(ctx1,r6). ctxrulehead(r6,f1). ctxrulebody(r6,g1,neg). ctxrule(ctx1,r7). ctxrulehead(r7,g1). ctxrulebody(r7,h1,neg). ctxrule(ctx1,r8). ctxrulehead(r8,h1). ctxrulebody(r8,g1,neg). ctxrule(ctx1,r9). ctxrulehead(r9,i1). ctxrulebody(r9,j1,neg). ctxrule(ctx1,r10). ctxrulehead(r10,j1). ctxrulebody(r10,k1,neg). ctxrule(ctx1,r11). ctxrulehead(r11,k1). ctxrulebody(r11,l1,neg). ctxrule(ctx1,r12). ctxrulehead(r12,l1). ctxrulebody(r12,p1,pos). ctxrulebody(r12,m1,neg). ctxrule(ctx1,r13). ctxrulehead(r13,m1). ctxrulebody(r13,n1,neg). ctxrule(ctx1,r14). ctxrulehead(r14,n1). ctxrulebody(r14,a1,pos). ctxrulebody(r14,o1,neg). ctxrule(ctx1,r15). ctxrulehead(r15,o1). ctxrulebody(r15,p1,neg). ctxrule(ctx1,r16). ctxrulehead(r16,p1). ctxrulebody(r16,o1,neg). ctxrule(ctx1,r17). ctxrulehead(r17,q1). ctxrulebody(r17,r1,neg). ctxrule(ctx1,r18). ctxrulehead(r18,r1). ctxrulebody(r18,q1,neg). ctxrule(ctx1,r19). ctxrulehead(r19,s1). ctxrulebody(r19,t1,neg). ctxrule(ctx1,r20). ctxrulehead(r20,t1). ctxrulebody(r20,l1,pos). ctxrulebody(r20,s1,neg). ctxrule(ctx1,r21). ctxrulehead(r21,u1). ctxrulebody(r21,v1,neg). ctxrule(ctx1,r22). ctxrulehead(r22,v1). ctxrulebody(r22,u1,neg). ctxrule(ctx1,r23). ctxrulehead(r23,w1). ctxrulebody(r23,x1,neg). ctxrule(ctx1,r24). ctxrulehead(r24,x1). ctxrulebody(r24,w1,neg). brule(ctx1,br1). brulehead(br1,v1). brulebody(br1,ctx3,c3,neg). brule(ctx1,br2). brulehead(br2,b1). brulebody(br2,ctx2,p2,pos). brule(ctx1,br3). brulehead(br3,t1). brulebody(br3,ctx3,i3,pos). brulebody(br3,ctx3,v3,neg). brule(ctx1,br4). brulehead(br4,p1). brulebody(br4,ctx3,t3,pos). brule(ctx1,br5). brulehead(br5,a1). brulebody(br5,ctx3,c3,pos). brulebody(br5,ctx3,t3,neg). brule(ctx1,br6). brulehead(br6,k1). brulebody(br6,ctx3,l3,pos). brule(ctx1,br7). brulehead(br7,d1). brulebody(br7,ctx2,e2,neg). brule(ctx1,br8). brulehead(br8,d1). brulebody(br8,ctx2,s2,neg). brule(ctx1,br9). brulehead(br9,x1). brulebody(br9,ctx2,x2,pos). brulebody(br9,ctx3,e3,neg). brule(ctx1,br10). brulehead(br10,x1). brulebody(br10,ctx3,m3,pos). brule(ctx1,br11). brulehead(br11,d1). brulebody(br11,ctx2,m2,pos). brulebody(br11,ctx2,t2,neg). brule(ctx1,br12). brulehead(br12,d1). brulebody(br12,ctx3,u3,neg). brule(ctx1,br13). brulehead(br13,j1). brulebody(br13,ctx3,y3,pos). brulebody(br13,ctx2,w2,neg). brule(ctx1,br14). brulehead(br14,h1). brulebody(br14,ctx2,x2,neg). brulebody(br14,ctx2,e2,neg). brule(ctx1,br15). brulehead(br15,e1). brulebody(br15,ctx3,i3,neg). brule(ctx1,br16). brulehead(br16,j1). brulebody(br16,ctx2,q2,pos). ctx(ctx2). ctxrule(ctx2,r25). ctxrulehead(r25,a2). ctxrulebody(r25,b2,neg). ctxrule(ctx2,r26). ctxrulehead(r26,b2). ctxrulebody(r26,c2,neg). ctxrule(ctx2,r27). ctxrulehead(r27,c2). ctxrulebody(r27,d2,neg). ctxrule(ctx2,r28). ctxrulehead(r28,d2). ctxrulebody(r28,c2,neg). ctxrule(ctx2,r29). ctxrulehead(r29,e2). ctxrulebody(r29,f2,neg). ctxrule(ctx2,r30). ctxrulehead(r30,f2). ctxrulebody(r30,e2,neg). ctxrule(ctx2,r31). ctxrulehead(r31,g2). ctxrulebody(r31,h2,neg). ctxrule(ctx2,r32). ctxrulehead(r32,h2). ctxrulebody(r32,g2,neg). ctxrule(ctx2,r33). ctxrulehead(r33,i2). ctxrulebody(r33,j2,neg). ctxrule(ctx2,r34). ctxrulehead(r34,j2). ctxrulebody(r34,g2,pos). ctxrulebody(r34,k2,neg). ctxrule(ctx2,r35). ctxrulehead(r35,k2). ctxrulebody(r35,l2,neg). ctxrule(ctx2,r36). ctxrulehead(r36,l2). ctxrulebody(r36,k2,neg). ctxrule(ctx2,r37). ctxrulehead(r37,m2). ctxrulebody(r37,g2,pos). ctxrulebody(r37,n2,neg). ctxrule(ctx2,r38). ctxrulehead(r38,n2). ctxrulebody(r38,o2,neg). ctxrule(ctx2,r39). ctxrulehead(r39,o2). ctxrulebody(r39,p2,neg). ctxrule(ctx2,r40). ctxrulehead(r40,p2). ctxrulebody(r40,o2,neg). ctxrule(ctx2,r41). ctxrulehead(r41,q2). ctxrulebody(r41,c2,pos). ctxrulebody(r41,r2,neg). ctxrule(ctx2,r42). ctxrulehead(r42,r2). ctxrulebody(r42,q2,neg). ctxrule(ctx2,r43). ctxrulehead(r43,s2). ctxrulebody(r43,t2,neg). ctxrule(ctx2,r44). ctxrulehead(r44,t2). ctxrulebody(r44,s2,neg). ctxrule(ctx2,r45). ctxrulehead(r45,u2). ctxrulebody(r45,v2,neg). ctxrule(ctx2,r46). ctxrulehead(r46,v2). ctxrulebody(r46,w2,neg). ctxrule(ctx2,r47). ctxrulehead(r47,w2). ctxrulebody(r47,x2,neg). ctxrule(ctx2,r48). ctxrulehead(r48,x2). ctxrulebody(r48,w2,neg). brule(ctx2,br17). brulehead(br17,l2). brulebody(br17,ctx3,r3,pos). brule(ctx2,br18). brulehead(br18,e2). brulebody(br18,ctx3,i3,neg). brulebody(br18,ctx3,r3,neg). brule(ctx2,br19). brulehead(br19,u2). brulebody(br19,ctx3,c3,pos). brulebody(br19,ctx3,y3,neg). brule(ctx2,br20). brulehead(br20,o2). brulebody(br20,ctx3,y3,pos). brulebody(br20,ctx3,e3,neg). brule(ctx2,br21). brulehead(br21,f2). brulebody(br21,ctx3,e3,pos). brulebody(br21,ctx3,r3,neg). brule(ctx2,br22). brulehead(br22,h2). brulebody(br22,ctx3,u3,pos). brulebody(br22,ctx3,l3,neg). brule(ctx2,br23). brulehead(br23,t2). brulebody(br23,ctx3,u3,pos). brule(ctx2,br24). brulehead(br24,u2). brulebody(br24,ctx3,y3,pos). brule(ctx2,br25). brulehead(br25,x2). brulebody(br25,ctx3,u3,pos). brulebody(br25,ctx3,r3,neg). brule(ctx2,br26). brulehead(br26,s2). brulebody(br26,ctx3,m3,pos). brule(ctx2,br27). brulehead(br27,d2). brulebody(br27,ctx3,i3,neg). ctx(ctx3). ctxrule(ctx3,r49). ctxrulehead(r49,a3). ctxrulebody(r49,b3,neg). ctxrule(ctx3,r50). ctxrulehead(r50,b3). ctxrulebody(r50,c3,neg). ctxrule(ctx3,r51). ctxrulehead(r51,c3). ctxrulebody(r51,d3,neg). ctxrule(ctx3,r52). ctxrulehead(r52,d3). ctxrulebody(r52,q3,pos). ctxrulebody(r52,e3,neg). ctxrule(ctx3,r53). ctxrulehead(r53,e3). ctxrulebody(r53,r3,pos). ctxrulebody(r53,f3,neg). ctxrule(ctx3,r54). ctxrulehead(r54,f3). ctxrulebody(r54,g3,neg). ctxrule(ctx3,r55). ctxrulehead(r55,g3). ctxrulebody(r55,h3,neg). ctxrule(ctx3,r56). ctxrulehead(r56,h3). ctxrulebody(r56,i3,neg). ctxrule(ctx3,r57). ctxrulehead(r57,i3). ctxrulebody(r57,j3,neg). ctxrule(ctx3,r58). ctxrulehead(r58,j3). ctxrulebody(r58,k3,neg). ctxrule(ctx3,r59). ctxrulehead(r59,k3). ctxrulebody(r59,l3,neg). ctxrule(ctx3,r60). ctxrulehead(r60,l3). ctxrulebody(r60,k3,neg). ctxrule(ctx3,r61). ctxrulehead(r61,m3). ctxrulebody(r61,n3,neg). ctxrule(ctx3,r62). ctxrulehead(r62,n3). ctxrulebody(r62,o3,neg). ctxrule(ctx3,r63). ctxrulehead(r63,o3). ctxrulebody(r63,p3,neg). ctxrule(ctx3,r64). ctxrulehead(r64,p3). ctxrulebody(r64,q3,neg). ctxrule(ctx3,r65). ctxrulehead(r65,q3). ctxrulebody(r65,r3,neg). ctxrule(ctx3,r66). ctxrulehead(r66,r3). ctxrulebody(r66,s3,neg). ctxrule(ctx3,r67). ctxrulehead(r67,s3). ctxrulebody(r67,j3,pos). ctxrulebody(r67,t3,neg). ctxrule(ctx3,r68). ctxrulehead(r68,t3). ctxrulebody(r68,s3,neg). ctxrule(ctx3,r69). ctxrulehead(r69,u3). ctxrulebody(r69,v3,neg). ctxrule(ctx3,r70). ctxrulehead(r70,v3). ctxrulebody(r70,w3,neg). ctxrule(ctx3,r71). ctxrulehead(r71,w3). ctxrulebody(r71,x3,neg). ctxrule(ctx3,r72). ctxrulehead(r72,x3). ctxrulebody(r72,y3,neg). brule(ctx3,br28). brulehead(br28,n3). brulebody(br28,ctx4,g4,pos). brulebody(br28,ctx4,m4,neg). brule(ctx3,br29). brulehead(br29,g3). brulebody(br29,ctx4,q4,pos). brulebody(br29,ctx4,u4,neg). brule(ctx3,br30). brulehead(br30,f3). brulebody(br30,ctx4,d4,pos). brule(ctx3,br31). brulehead(br31,a3). brulebody(br31,ctx4,g4,pos). brule(ctx3,br32). brulehead(br32,i3). brulebody(br32,ctx4,q4,neg). brule(ctx3,br33). brulehead(br33,m3). brulebody(br33,ctx4,q4,neg). brulebody(br33,ctx4,m4,neg). brule(ctx3,br34). brulehead(br34,g3). brulebody(br34,ctx4,v4,pos). brulebody(br34,ctx4,q4,neg). brule(ctx3,br35). brulehead(br35,a3). brulebody(br35,ctx4,g4,pos). brulebody(br35,ctx4,y4,pos). brule(ctx3,br36). brulehead(br36,c3). brulebody(br36,ctx4,v4,pos). brule(ctx3,br37). brulehead(br37,b3). brulebody(br37,ctx4,g4,neg). brule(ctx3,br38). brulehead(br38,v3). brulebody(br38,ctx4,y4,neg). brule(ctx3,br39). brulehead(br39,e3). brulebody(br39,ctx4,v4,pos). brulebody(br39,ctx4,d4,neg). brule(ctx3,br40). brulehead(br40,u3). brulebody(br40,ctx4,e4,pos). brulebody(br40,ctx4,m4,neg). brule(ctx3,br41). brulehead(br41,x3). brulebody(br41,ctx4,y4,pos). brule(ctx3,br42). brulehead(br42,s3). brulebody(br42,ctx4,d4,pos). brule(ctx3,br43). brulehead(br43,u3). brulebody(br43,ctx4,q4,pos). brulebody(br43,ctx4,u4,neg). brule(ctx3,br44). brulehead(br44,q3). brulebody(br44,ctx4,d4,pos). brulebody(br44,ctx4,g4,neg). brule(ctx3,br45). brulehead(br45,b3). brulebody(br45,ctx4,a4,neg). ctx(ctx4). ctxrule(ctx4,r73). ctxrulehead(r73,a4). ctxrulebody(r73,b4,neg). ctxrule(ctx4,r74). ctxrulehead(r74,b4). ctxrulebody(r74,b4,pos). ctxrulebody(r74,c4,neg). ctxrule(ctx4,r75). ctxrulehead(r75,c4). ctxrulebody(r75,g4,pos). ctxrulebody(r75,d4,neg). ctxrule(ctx4,r76). ctxrulehead(r76,d4). ctxrulebody(r76,c4,neg). ctxrule(ctx4,r77). ctxrulehead(r77,e4). ctxrulebody(r77,f4,neg). ctxrule(ctx4,r78). ctxrulehead(r78,f4). ctxrulebody(r78,g4,neg). ctxrule(ctx4,r79). ctxrulehead(r79,g4). ctxrulebody(r79,h4,neg). ctxrule(ctx4,r80). ctxrulehead(r80,h4). ctxrulebody(r80,a4,pos). ctxrulebody(r80,g4,neg). ctxrule(ctx4,r81). ctxrulehead(r81,i4). ctxrulebody(r81,j4,neg). ctxrule(ctx4,r82). ctxrulehead(r82,j4). ctxrulebody(r82,k4,neg). ctxrule(ctx4,r83). ctxrulehead(r83,k4). ctxrulebody(r83,l4,neg). ctxrule(ctx4,r84). ctxrulehead(r84,l4). ctxrulebody(r84,k4,neg). ctxrule(ctx4,r85). ctxrulehead(r85,m4). ctxrulebody(r85,n4,neg). ctxrule(ctx4,r86). ctxrulehead(r86,n4). ctxrulebody(r86,m4,neg). ctxrule(ctx4,r87). ctxrulehead(r87,o4). ctxrulebody(r87,p4,neg). ctxrule(ctx4,r88). ctxrulehead(r88,p4). ctxrulebody(r88,o4,neg). ctxrule(ctx4,r89). ctxrulehead(r89,q4). ctxrulebody(r89,r4,neg). ctxrule(ctx4,r90). ctxrulehead(r90,r4). ctxrulebody(r90,y4,pos). ctxrulebody(r90,q4,neg). ctxrule(ctx4,r91). ctxrulehead(r91,s4). ctxrulebody(r91,t4,neg). ctxrule(ctx4,r92). ctxrulehead(r92,t4). ctxrulebody(r92,u4,neg). ctxrule(ctx4,r93). ctxrulehead(r93,u4). ctxrulebody(r93,v4,neg). ctxrule(ctx4,r94). ctxrulehead(r94,v4). ctxrulebody(r94,w4,neg). ctxrule(ctx4,r95). ctxrulehead(r95,w4). ctxrulebody(r95,x4,neg). ctxrule(ctx4,r96). ctxrulehead(r96,x4). ctxrulebody(r96,y4,neg). brule(ctx4,br46). brulehead(br46,o4). brulebody(br46,ctx5,u5,neg). brule(ctx4,br47). brulehead(br47,s4). brulebody(br47,ctx6,b6,pos). brule(ctx4,br48). brulehead(br48,p4). brulebody(br48,ctx7,m7,neg). brulebody(br48,ctx7,n7,neg). brule(ctx4,br49). brulehead(br49,n4). brulebody(br49,ctx5,t5,neg). brulebody(br49,ctx6,b6,neg). brule(ctx4,br50). brulehead(br50,b4). brulebody(br50,ctx6,p6,neg). brule(ctx4,br51). brulehead(br51,f4). brulebody(br51,ctx7,b7,pos). brule(ctx4,br52). brulehead(br52,m4). brulebody(br52,ctx6,n6,pos). brule(ctx4,br53). brulehead(br53,k4). brulebody(br53,ctx5,u5,neg). brulebody(br53,ctx6,a6,neg). brule(ctx4,br54). brulehead(br54,e4). brulebody(br54,ctx6,p6,pos). brulebody(br54,ctx6,b6,pos). brule(ctx4,br55). brulehead(br55,q4). brulebody(br55,ctx7,j7,neg). brule(ctx4,br56). brulehead(br56,w4). brulebody(br56,ctx7,a7,pos). brulebody(br56,ctx7,e7,neg). brule(ctx4,br57). brulehead(br57,r4). brulebody(br57,ctx7,m7,neg). brulebody(br57,ctx6,l6,neg). brule(ctx4,br58). brulehead(br58,a4). brulebody(br58,ctx6,b6,pos). brulebody(br58,ctx5,u5,pos). brule(ctx4,br59). brulehead(br59,f4). brulebody(br59,ctx6,u6,neg). brulebody(br59,ctx7,q7,neg). brule(ctx4,br60). brulehead(br60,j4). brulebody(br60,ctx6,y6,pos). brulebody(br60,ctx7,b7,neg). brule(ctx4,br61). brulehead(br61,w4). brulebody(br61,ctx5,e5,neg). brule(ctx4,br62). brulehead(br62,w4). brulebody(br62,ctx5,b5,pos). brulebody(br62,ctx7,e7,neg). brule(ctx4,br63). brulehead(br63,m4). brulebody(br63,ctx5,x5,pos). brulebody(br63,ctx5,u5,neg). ctx(ctx5). ctxrule(ctx5,r97). ctxrulehead(r97,a5). ctxrulebody(r97,q5,pos). ctxrulebody(r97,b5,neg). ctxrule(ctx5,r98). ctxrulehead(r98,b5). ctxrulebody(r98,a5,neg). ctxrule(ctx5,r99). ctxrulehead(r99,c5). ctxrulebody(r99,d5,neg). ctxrule(ctx5,r100). ctxrulehead(r100,d5). ctxrulebody(r100,c5,neg). ctxrule(ctx5,r101). ctxrulehead(r101,e5). ctxrulebody(r101,f5,neg). ctxrule(ctx5,r102). ctxrulehead(r102,f5). ctxrulebody(r102,g5,neg). ctxrule(ctx5,r103). ctxrulehead(r103,g5). ctxrulebody(r103,o5,pos). ctxrulebody(r103,h5,neg). ctxrule(ctx5,r104). ctxrulehead(r104,h5). ctxrulebody(r104,i5,neg). ctxrule(ctx5,r105). ctxrulehead(r105,i5). ctxrulebody(r105,j5,neg). ctxrule(ctx5,r106). ctxrulehead(r106,j5). ctxrulebody(r106,i5,neg). ctxrule(ctx5,r107). ctxrulehead(r107,k5). ctxrulebody(r107,l5,neg). ctxrule(ctx5,r108). ctxrulehead(r108,l5). ctxrulebody(r108,m5,neg). ctxrule(ctx5,r109). ctxrulehead(r109,m5). ctxrulebody(r109,n5,neg). ctxrule(ctx5,r110). ctxrulehead(r110,n5). ctxrulebody(r110,o5,neg). ctxrule(ctx5,r111). ctxrulehead(r111,o5). ctxrulebody(r111,k5,pos). ctxrulebody(r111,p5,neg). ctxrule(ctx5,r112). ctxrulehead(r112,p5). ctxrulebody(r112,o5,neg). ctxrule(ctx5,r113). ctxrulehead(r113,q5). ctxrulebody(r113,r5,neg). ctxrule(ctx5,r114). ctxrulehead(r114,r5). ctxrulebody(r114,q5,neg). ctxrule(ctx5,r115). ctxrulehead(r115,s5). ctxrulebody(r115,t5,neg). ctxrule(ctx5,r116). ctxrulehead(r116,t5). ctxrulebody(r116,u5,neg). ctxrule(ctx5,r117). ctxrulehead(r117,u5). ctxrulebody(r117,v5,neg). ctxrule(ctx5,r118). ctxrulehead(r118,v5). ctxrulebody(r118,y5,pos). ctxrulebody(r118,u5,neg). ctxrule(ctx5,r119). ctxrulehead(r119,w5). ctxrulebody(r119,x5,neg). ctxrule(ctx5,r120). ctxrulehead(r120,x5). ctxrulebody(r120,w5,neg). brule(ctx5,br64). brulehead(br64,i5). brulebody(br64,ctx2,y2,pos). brulebody(br64,ctx10,n10,neg). brule(ctx5,br65). brulehead(br65,h5). brulebody(br65,ctx2,m2,neg). brule(ctx5,br66). brulehead(br66,v5). brulebody(br66,ctx10,g10,pos). brulebody(br66,ctx2,x2,neg). brule(ctx5,br67). brulehead(br67,w5). brulebody(br67,ctx2,y2,pos). brulebody(br67,ctx10,g10,neg). brule(ctx5,br68). brulehead(br68,u5). brulebody(br68,ctx2,e2,neg). brulebody(br68,ctx10,h10,neg). brule(ctx5,br69). brulehead(br69,o5). brulebody(br69,ctx10,n10,neg). brulebody(br69,ctx10,h10,neg). brule(ctx5,br70). brulehead(br70,i5). brulebody(br70,ctx2,s2,pos). brule(ctx5,br71). brulehead(br71,q5). brulebody(br71,ctx10,q10,pos). brulebody(br71,ctx11,b11,neg). brule(ctx5,br72). brulehead(br72,c5). brulebody(br72,ctx10,i10,neg). brule(ctx5,br73). brulehead(br73,r5). brulebody(br73,ctx10,h10,neg). brule(ctx5,br74). brulehead(br74,b5). brulebody(br74,ctx11,s11,pos). brulebody(br74,ctx11,u11,pos). brule(ctx5,br75). brulehead(br75,s5). brulebody(br75,ctx10,r10,neg). brule(ctx5,br76). brulehead(br76,q5). brulebody(br76,ctx10,r10,neg). brule(ctx5,br77). brulehead(br77,m5). brulebody(br77,ctx11,j11,pos). brulebody(br77,ctx2,y2,neg). brule(ctx5,br78). brulehead(br78,e5). brulebody(br78,ctx11,s11,pos). brulebody(br78,ctx2,v2,neg). brule(ctx5,br79). brulehead(br79,n5). brulebody(br79,ctx10,i10,pos). brulebody(br79,ctx10,g10,neg). brule(ctx5,br80). brulehead(br80,w5). brulebody(br80,ctx2,m2,pos). ctx(ctx6). ctxrule(ctx6,r121). ctxrulehead(r121,a6). ctxrulebody(r121,e6,pos). ctxrulebody(r121,b6,neg). ctxrule(ctx6,r122). ctxrulehead(r122,b6). ctxrulebody(r122,a6,neg). ctxrule(ctx6,r123). ctxrulehead(r123,c6). ctxrulebody(r123,u6,pos). ctxrulebody(r123,d6,neg). ctxrule(ctx6,r124). ctxrulehead(r124,d6). ctxrulebody(r124,c6,neg). ctxrule(ctx6,r125). ctxrulehead(r125,e6). ctxrulebody(r125,f6,neg). ctxrule(ctx6,r126). ctxrulehead(r126,f6). ctxrulebody(r126,e6,neg). ctxrule(ctx6,r127). ctxrulehead(r127,g6). ctxrulebody(r127,d6,pos). ctxrulebody(r127,h6,neg). ctxrule(ctx6,r128). ctxrulehead(r128,h6). ctxrulebody(r128,g6,neg). ctxrule(ctx6,r129). ctxrulehead(r129,i6). ctxrulebody(r129,j6,neg). ctxrule(ctx6,r130). ctxrulehead(r130,j6). ctxrulebody(r130,k6,neg). ctxrule(ctx6,r131). ctxrulehead(r131,k6). ctxrulebody(r131,l6,neg). ctxrule(ctx6,r132). ctxrulehead(r132,l6). ctxrulebody(r132,k6,neg). ctxrule(ctx6,r133). ctxrulehead(r133,m6). ctxrulebody(r133,n6,neg). ctxrule(ctx6,r134). ctxrulehead(r134,n6). ctxrulebody(r134,o6,neg). ctxrule(ctx6,r135). ctxrulehead(r135,o6). ctxrulebody(r135,p6,neg). ctxrule(ctx6,r136). ctxrulehead(r136,p6). ctxrulebody(r136,q6,neg). ctxrule(ctx6,r137). ctxrulehead(r137,q6). ctxrulebody(r137,r6,neg). ctxrule(ctx6,r138). ctxrulehead(r138,r6). ctxrulebody(r138,s6,neg). ctxrule(ctx6,r139). ctxrulehead(r139,s6). ctxrulebody(r139,t6,neg). ctxrule(ctx6,r140). ctxrulehead(r140,t6). ctxrulebody(r140,s6,neg). ctxrule(ctx6,r141). ctxrulehead(r141,u6). ctxrulebody(r141,y6,pos). ctxrulebody(r141,v6,neg). ctxrule(ctx6,r142). ctxrulehead(r142,v6). ctxrulebody(r142,u6,neg). ctxrule(ctx6,r143). ctxrulehead(r143,w6). ctxrulebody(r143,x6,neg). ctxrule(ctx6,r144). ctxrulehead(r144,x6). ctxrulebody(r144,w6,neg). brule(ctx6,br81). brulehead(br81,i6). brulebody(br81,ctx7,j7,pos). brule(ctx6,br82). brulehead(br82,y6). brulebody(br82,ctx7,j7,neg). brule(ctx6,br83). brulehead(br83,m6). brulebody(br83,ctx7,a7,pos). brulebody(br83,ctx7,q7,neg). brule(ctx6,br84). brulehead(br84,w6). brulebody(br84,ctx7,r7,pos). brulebody(br84,ctx7,e7,pos). brule(ctx6,br85). brulehead(br85,h6). brulebody(br85,ctx7,r7,neg). brule(ctx6,br86). brulehead(br86,c6). brulebody(br86,ctx7,b7,pos). brulebody(br86,ctx7,a7,pos). brule(ctx6,br87). brulehead(br87,i6). brulebody(br87,ctx7,i7,neg). brule(ctx6,br88). brulehead(br88,g6). brulebody(br88,ctx7,m7,pos). brulebody(br88,ctx7,n7,neg). brule(ctx6,br89). brulehead(br89,x6). brulebody(br89,ctx7,q7,neg). brulebody(br89,ctx7,u7,neg). brule(ctx6,br90). brulehead(br90,f6). brulebody(br90,ctx7,q7,pos). brulebody(br90,ctx7,u7,pos). brule(ctx6,br91). brulehead(br91,w6). brulebody(br91,ctx7,m7,pos). brule(ctx6,br92). brulehead(br92,b6). brulebody(br92,ctx7,u7,pos). brule(ctx6,br93). brulehead(br93,n6). brulebody(br93,ctx7,n7,pos). brule(ctx6,br94). brulehead(br94,i6). brulebody(br94,ctx7,r7,pos). brulebody(br94,ctx7,n7,neg). brule(ctx6,br95). brulehead(br95,c6). brulebody(br95,ctx7,a7,pos). brulebody(br95,ctx7,n7,neg). brule(ctx6,br96). brulehead(br96,j6). brulebody(br96,ctx7,b7,pos). ctx(ctx7). ctxrule(ctx7,r145). ctxrulehead(r145,a7). ctxrulebody(r145,c7,pos). ctxrulebody(r145,b7,neg). ctxrule(ctx7,r146). ctxrulehead(r146,b7). ctxrulebody(r146,c7,neg). ctxrule(ctx7,r147). ctxrulehead(r147,c7). ctxrulebody(r147,d7,neg). ctxrule(ctx7,r148). ctxrulehead(r148,d7). ctxrulebody(r148,e7,neg). ctxrule(ctx7,r149). ctxrulehead(r149,e7). ctxrulebody(r149,f7,neg). ctxrule(ctx7,r150). ctxrulehead(r150,f7). ctxrulebody(r150,e7,neg). ctxrule(ctx7,r151). ctxrulehead(r151,g7). ctxrulebody(r151,u7,pos). ctxrulebody(r151,h7,neg). ctxrule(ctx7,r152). ctxrulehead(r152,h7). ctxrulebody(r152,i7,neg). ctxrule(ctx7,r153). ctxrulehead(r153,i7). ctxrulebody(r153,j7,neg). ctxrule(ctx7,r154). ctxrulehead(r154,j7). ctxrulebody(r154,k7,neg). ctxrule(ctx7,r155). ctxrulehead(r155,k7). ctxrulebody(r155,l7,neg). ctxrule(ctx7,r156). ctxrulehead(r156,l7). ctxrulebody(r156,k7,neg). ctxrule(ctx7,r157). ctxrulehead(r157,m7). ctxrulebody(r157,n7,neg). ctxrule(ctx7,r158). ctxrulehead(r158,n7). ctxrulebody(r158,m7,neg). ctxrule(ctx7,r159). ctxrulehead(r159,o7). ctxrulebody(r159,u7,pos). ctxrulebody(r159,p7,neg). ctxrule(ctx7,r160). ctxrulehead(r160,p7). ctxrulebody(r160,o7,neg). ctxrule(ctx7,r161). ctxrulehead(r161,q7). ctxrulebody(r161,r7,neg). ctxrule(ctx7,r162). ctxrulehead(r162,r7). ctxrulebody(r162,s7,neg). ctxrule(ctx7,r163). ctxrulehead(r163,s7). ctxrulebody(r163,t7,neg). ctxrule(ctx7,r164). ctxrulehead(r164,t7). ctxrulebody(r164,u7,neg). ctxrule(ctx7,r165). ctxrulehead(r165,u7). ctxrulebody(r165,v7,neg). ctxrule(ctx7,r166). ctxrulehead(r166,v7). ctxrulebody(r166,u7,neg). ctxrule(ctx7,r167). ctxrulehead(r167,w7). ctxrulebody(r167,x7,neg). ctxrule(ctx7,r168). ctxrulehead(r168,x7). ctxrulebody(r168,w7,neg). brule(ctx7,br97). brulehead(br97,s7). brulebody(br97,ctx8,d8,neg). brule(ctx7,br98). brulehead(br98,n7). brulebody(br98,ctx8,p8,neg). brule(ctx7,br99). brulehead(br99,u7). brulebody(br99,ctx8,v8,neg). brulebody(br99,ctx8,k8,neg). brule(ctx7,br100). brulehead(br100,k7). brulebody(br100,ctx8,d8,pos). brulebody(br100,ctx8,f8,pos). brule(ctx7,br101). brulehead(br101,j7). brulebody(br101,ctx8,d8,neg). brulebody(br101,ctx8,e8,neg). brule(ctx7,br102). brulehead(br102,y7). brulebody(br102,ctx8,j8,neg). brule(ctx7,br103). brulehead(br103,w7). brulebody(br103,ctx8,p8,pos). brulebody(br103,ctx8,d8,pos). brule(ctx7,br104). brulehead(br104,s7). brulebody(br104,ctx8,i8,neg). brule(ctx7,br105). brulehead(br105,u7). brulebody(br105,ctx8,v8,pos). brulebody(br105,ctx8,j8,neg). brule(ctx7,br106). brulehead(br106,i7). brulebody(br106,ctx8,p8,neg). brule(ctx7,br107). brulehead(br107,k7). brulebody(br107,ctx8,p8,neg). brulebody(br107,ctx8,f8,neg). brule(ctx7,br108). brulehead(br108,n7). brulebody(br108,ctx8,f8,pos). brulebody(br108,ctx8,e8,neg). ctx(ctx8). ctxrule(ctx8,r169). ctxrulehead(r169,a8). ctxrulebody(r169,b8,neg). ctxrule(ctx8,r170). ctxrulehead(r170,b8). ctxrulebody(r170,c8,neg). ctxrule(ctx8,r171). ctxrulehead(r171,c8). ctxrulebody(r171,d8,neg). ctxrule(ctx8,r172). ctxrulehead(r172,d8). ctxrulebody(r172,e8,neg). ctxrule(ctx8,r173). ctxrulehead(r173,e8). ctxrulebody(r173,f8,neg). ctxrule(ctx8,r174). ctxrulehead(r174,f8). ctxrulebody(r174,g8,neg). ctxrule(ctx8,r175). ctxrulehead(r175,g8). ctxrulebody(r175,h8,neg). ctxrule(ctx8,r176). ctxrulehead(r176,h8). ctxrulebody(r176,i8,neg). ctxrule(ctx8,r177). ctxrulehead(r177,i8). ctxrulebody(r177,x8,pos). ctxrulebody(r177,j8,neg). ctxrule(ctx8,r178). ctxrulehead(r178,j8). ctxrulebody(r178,k8,neg). ctxrule(ctx8,r179). ctxrulehead(r179,k8). ctxrulebody(r179,l8,neg). ctxrule(ctx8,r180). ctxrulehead(r180,l8). ctxrulebody(r180,m8,neg). ctxrule(ctx8,r181). ctxrulehead(r181,m8). ctxrulebody(r181,n8,neg). ctxrule(ctx8,r182). ctxrulehead(r182,n8). ctxrulebody(r182,m8,neg). ctxrule(ctx8,r183). ctxrulehead(r183,o8). ctxrulebody(r183,p8,neg). ctxrule(ctx8,r184). ctxrulehead(r184,p8). ctxrulebody(r184,q8,neg). ctxrule(ctx8,r185). ctxrulehead(r185,q8). ctxrulebody(r185,r8,neg). ctxrule(ctx8,r186). ctxrulehead(r186,r8). ctxrulebody(r186,t8,pos). ctxrulebody(r186,q8,neg). ctxrule(ctx8,r187). ctxrulehead(r187,s8). ctxrulebody(r187,t8,neg). ctxrule(ctx8,r188). ctxrulehead(r188,t8). ctxrulebody(r188,q8,pos). ctxrulebody(r188,s8,neg). ctxrule(ctx8,r189). ctxrulehead(r189,u8). ctxrulebody(r189,l8,pos). ctxrulebody(r189,v8,neg). ctxrule(ctx8,r190). ctxrulehead(r190,v8). ctxrulebody(r190,u8,neg). ctxrule(ctx8,r191). ctxrulehead(r191,w8). ctxrulebody(r191,x8,neg). ctxrule(ctx8,r192). ctxrulehead(r192,x8). ctxrulebody(r192,t8,pos). ctxrulebody(r192,w8,neg). brule(ctx8,br109). brulehead(br109,j8). brulebody(br109,ctx15,t15,neg). brule(ctx8,br110). brulehead(br110,w8). brulebody(br110,ctx14,q14,neg). brule(ctx8,br111). brulehead(br111,n8). brulebody(br111,ctx15,y15,pos). brulebody(br111,ctx9,e9,neg). brule(ctx8,br112). brulehead(br112,v8). brulebody(br112,ctx9,e9,pos). brule(ctx8,br113). brulehead(br113,j8). brulebody(br113,ctx9,k9,neg). brulebody(br113,ctx9,t9,neg). brule(ctx8,br114). brulehead(br114,e8). brulebody(br114,ctx15,e15,pos). brule(ctx8,br115). brulehead(br115,l8). brulebody(br115,ctx15,c15,pos). brulebody(br115,ctx9,k9,neg). brule(ctx8,br116). brulehead(br116,q8). brulebody(br116,ctx14,w14,pos). brulebody(br116,ctx14,a14,neg). brule(ctx8,br117). brulehead(br117,k8). brulebody(br117,ctx9,k9,pos). brule(ctx8,br118). brulehead(br118,e8). brulebody(br118,ctx9,c9,pos). brulebody(br118,ctx14,w14,neg). brule(ctx8,br119). brulehead(br119,e8). brulebody(br119,ctx14,f14,neg). brulebody(br119,ctx14,m14,neg). brule(ctx8,br120). brulehead(br120,l8). brulebody(br120,ctx9,c9,neg). brulebody(br120,ctx9,o9,neg). brule(ctx8,br121). brulehead(br121,y8). brulebody(br121,ctx9,o9,pos). brule(ctx8,br122). brulehead(br122,o8). brulebody(br122,ctx15,h15,pos). brulebody(br122,ctx9,t9,pos). brule(ctx8,br123). brulehead(br123,f8). brulebody(br123,ctx15,s15,neg). brule(ctx8,br124). brulehead(br124,b8). brulebody(br124,ctx14,q14,neg). brule(ctx8,br125). brulehead(br125,o8). brulebody(br125,ctx14,c14,neg). brule(ctx8,br126). brulehead(br126,k8). brulebody(br126,ctx14,m14,pos). brulebody(br126,ctx15,y15,pos). brule(ctx8,br127). brulehead(br127,e8). brulebody(br127,ctx14,a14,pos). brulebody(br127,ctx15,t15,pos). ctx(ctx9). ctxrule(ctx9,r193). ctxrulehead(r193,a9). ctxrulebody(r193,e9,pos). ctxrulebody(r193,b9,neg). ctxrule(ctx9,r194). ctxrulehead(r194,b9). ctxrulebody(r194,u9,pos). ctxrulebody(r194,a9,neg). ctxrule(ctx9,r195). ctxrulehead(r195,c9). ctxrulebody(r195,d9,neg). ctxrule(ctx9,r196). ctxrulehead(r196,d9). ctxrulebody(r196,c9,neg). ctxrule(ctx9,r197). ctxrulehead(r197,e9). ctxrulebody(r197,f9,neg). ctxrule(ctx9,r198). ctxrulehead(r198,f9). ctxrulebody(r198,e9,neg). ctxrule(ctx9,r199). ctxrulehead(r199,g9). ctxrulebody(r199,h9,neg). ctxrule(ctx9,r200). ctxrulehead(r200,h9). ctxrulebody(r200,m9,pos). ctxrulebody(r200,i9,neg). ctxrule(ctx9,r201). ctxrulehead(r201,i9). ctxrulebody(r201,j9,neg). ctxrule(ctx9,r202). ctxrulehead(r202,j9). ctxrulebody(r202,i9,neg). ctxrule(ctx9,r203). ctxrulehead(r203,k9). ctxrulebody(r203,u9,pos). ctxrulebody(r203,l9,neg). ctxrule(ctx9,r204). ctxrulehead(r204,l9). ctxrulebody(r204,k9,neg). ctxrule(ctx9,r205). ctxrulehead(r205,m9). ctxrulebody(r205,g9,pos). ctxrulebody(r205,n9,neg). ctxrule(ctx9,r206). ctxrulehead(r206,n9). ctxrulebody(r206,o9,neg). ctxrule(ctx9,r207). ctxrulehead(r207,o9). ctxrulebody(r207,p9,neg). ctxrule(ctx9,r208). ctxrulehead(r208,p9). ctxrulebody(r208,q9,neg). ctxrule(ctx9,r209). ctxrulehead(r209,q9). ctxrulebody(r209,u9,pos). ctxrulebody(r209,r9,neg). ctxrule(ctx9,r210). ctxrulehead(r210,r9). ctxrulebody(r210,s9,neg). ctxrule(ctx9,r211). ctxrulehead(r211,s9). ctxrulebody(r211,i9,pos). ctxrulebody(r211,t9,neg). ctxrule(ctx9,r212). ctxrulehead(r212,t9). ctxrulebody(r212,u9,neg). ctxrule(ctx9,r213). ctxrulehead(r213,u9). ctxrulebody(r213,v9,neg). ctxrule(ctx9,r214). ctxrulehead(r214,v9). ctxrulebody(r214,r9,pos). ctxrulebody(r214,w9,neg). ctxrule(ctx9,r215). ctxrulehead(r215,w9). ctxrulebody(r215,x9,neg). ctxrule(ctx9,r216). ctxrulehead(r216,x9). ctxrulebody(r216,y9,neg). brule(ctx9,br128). brulehead(br128,f9). brulebody(br128,ctx18,q18,pos). brulebody(br128,ctx18,u18,pos). brule(ctx9,br129). brulehead(br129,e9). brulebody(br129,ctx6,u6,neg). brule(ctx9,br130). brulehead(br130,s9). brulebody(br130,ctx18,l18,pos). brulebody(br130,ctx19,f19,neg). brule(ctx9,br131). brulehead(br131,i9). brulebody(br131,ctx6,a6,neg). brule(ctx9,br132). brulehead(br132,e9). brulebody(br132,ctx6,b6,neg). brule(ctx9,br133). brulehead(br133,i9). brulebody(br133,ctx19,o19,neg). brule(ctx9,br134). brulehead(br134,p9). brulebody(br134,ctx18,p18,pos). brulebody(br134,ctx18,j18,neg). brule(ctx9,br135). brulehead(br135,g9). brulebody(br135,ctx18,l18,pos). brulebody(br135,ctx6,b6,pos). brule(ctx9,br136). brulehead(br136,c9). brulebody(br136,ctx6,y6,pos). brule(ctx9,br137). brulehead(br137,a9). brulebody(br137,ctx6,h6,pos). brulebody(br137,ctx19,v19,pos). brule(ctx9,br138). brulehead(br138,p9). brulebody(br138,ctx6,h6,pos). brulebody(br138,ctx18,w18,neg). brule(ctx9,br139). brulehead(br139,b9). brulebody(br139,ctx18,w18,pos). brule(ctx9,br140). brulehead(br140,f9). brulebody(br140,ctx18,p18,pos). brulebody(br140,ctx19,v19,neg). ctx(ctx10). ctxrule(ctx10,r217). ctxrulehead(r217,a10). ctxrulebody(r217,c10,pos). ctxrulebody(r217,b10,neg). ctxrule(ctx10,r218). ctxrulehead(r218,b10). ctxrulebody(r218,c10,neg). ctxrule(ctx10,r219). ctxrulehead(r219,c10). ctxrulebody(r219,d10,neg). ctxrule(ctx10,r220). ctxrulehead(r220,d10). ctxrulebody(r220,n10,pos). ctxrulebody(r220,e10,neg). ctxrule(ctx10,r221). ctxrulehead(r221,e10). ctxrulebody(r221,f10,neg). ctxrule(ctx10,r222). ctxrulehead(r222,f10). ctxrulebody(r222,g10,neg). ctxrule(ctx10,r223). ctxrulehead(r223,g10). ctxrulebody(r223,h10,neg). ctxrule(ctx10,r224). ctxrulehead(r224,h10). ctxrulebody(r224,i10,neg). ctxrule(ctx10,r225). ctxrulehead(r225,i10). ctxrulebody(r225,j10,neg). ctxrule(ctx10,r226). ctxrulehead(r226,j10). ctxrulebody(r226,k10,neg). ctxrule(ctx10,r227). ctxrulehead(r227,k10). ctxrulebody(r227,k10,pos). ctxrulebody(r227,l10,neg). ctxrule(ctx10,r228). ctxrulehead(r228,l10). ctxrulebody(r228,m10,neg). ctxrule(ctx10,r229). ctxrulehead(r229,m10). ctxrulebody(r229,n10,neg). ctxrule(ctx10,r230). ctxrulehead(r230,n10). ctxrulebody(r230,m10,neg). ctxrule(ctx10,r231). ctxrulehead(r231,o10). ctxrulebody(r231,p10,neg). ctxrule(ctx10,r232). ctxrulehead(r232,p10). ctxrulebody(r232,q10,neg). ctxrule(ctx10,r233). ctxrulehead(r233,q10). ctxrulebody(r233,r10,neg). ctxrule(ctx10,r234). ctxrulehead(r234,r10). ctxrulebody(r234,j10,pos). ctxrulebody(r234,q10,neg). ctxrule(ctx10,r235). ctxrulehead(r235,s10). ctxrulebody(r235,t10,neg). ctxrule(ctx10,r236). ctxrulehead(r236,t10). ctxrulebody(r236,n10,pos). ctxrulebody(r236,s10,neg). ctxrule(ctx10,r237). ctxrulehead(r237,u10). ctxrulebody(r237,v10,neg). ctxrule(ctx10,r238). ctxrulehead(r238,v10). ctxrulebody(r238,d10,pos). ctxrulebody(r238,w10,neg). ctxrule(ctx10,r239). ctxrulehead(r239,w10). ctxrulebody(r239,x10,neg). ctxrule(ctx10,r240). ctxrulehead(r240,x10). ctxrulebody(r240,y10,neg). brule(ctx10,br141). brulehead(br141,y10). brulebody(br141,ctx11,g11,pos). brulebody(br141,ctx11,b11,neg). brule(ctx10,br142). brulehead(br142,s10). brulebody(br142,ctx11,j11,pos). brulebody(br142,ctx11,n11,neg). brule(ctx10,br143). brulehead(br143,j10). brulebody(br143,ctx11,q11,pos). brulebody(br143,ctx11,k11,pos). brule(ctx10,br144). brulehead(br144,b10). brulebody(br144,ctx11,u11,pos). brulebody(br144,ctx11,k11,neg). brule(ctx10,br145). brulehead(br145,s10). brulebody(br145,ctx11,u11,pos). brule(ctx10,br146). brulehead(br146,i10). brulebody(br146,ctx11,d11,pos). brulebody(br146,ctx11,g11,neg). brule(ctx10,br147). brulehead(br147,x10). brulebody(br147,ctx11,j11,neg). brulebody(br147,ctx11,u11,neg). brule(ctx10,br148). brulehead(br148,d10). brulebody(br148,ctx11,b11,neg). brule(ctx10,br149). brulehead(br149,u10). brulebody(br149,ctx11,d11,pos). brule(ctx10,br150). brulehead(br150,k10). brulebody(br150,ctx11,j11,pos). brule(ctx10,br151). brulehead(br151,p10). brulebody(br151,ctx11,d11,pos). brule(ctx10,br152). brulehead(br152,f10). brulebody(br152,ctx11,s11,neg). brulebody(br152,ctx11,n11,neg). ctx(ctx11). ctxrule(ctx11,r241). ctxrulehead(r241,a11). ctxrulebody(r241,b11,neg). ctxrule(ctx11,r242). ctxrulehead(r242,b11). ctxrulebody(r242,n11,pos). ctxrulebody(r242,c11,neg). ctxrule(ctx11,r243). ctxrulehead(r243,c11). ctxrulebody(r243,v11,pos). ctxrulebody(r243,d11,neg). ctxrule(ctx11,r244). ctxrulehead(r244,d11). ctxrulebody(r244,e11,neg). ctxrule(ctx11,r245). ctxrulehead(r245,e11). ctxrulebody(r245,r11,pos). ctxrulebody(r245,f11,neg). ctxrule(ctx11,r246). ctxrulehead(r246,f11). ctxrulebody(r246,g11,neg). ctxrule(ctx11,r247). ctxrulehead(r247,g11). ctxrulebody(r247,h11,neg). ctxrule(ctx11,r248). ctxrulehead(r248,h11). ctxrulebody(r248,h11,pos). ctxrulebody(r248,i11,neg). ctxrule(ctx11,r249). ctxrulehead(r249,i11). ctxrulebody(r249,j11,neg). ctxrule(ctx11,r250). ctxrulehead(r250,j11). ctxrulebody(r250,k11,neg). ctxrule(ctx11,r251). ctxrulehead(r251,k11). ctxrulebody(r251,l11,neg). ctxrule(ctx11,r252). ctxrulehead(r252,l11). ctxrulebody(r252,m11,neg). ctxrule(ctx11,r253). ctxrulehead(r253,m11). ctxrulebody(r253,n11,neg). ctxrule(ctx11,r254). ctxrulehead(r254,n11). ctxrulebody(r254,o11,neg). ctxrule(ctx11,r255). ctxrulehead(r255,o11). ctxrulebody(r255,p11,neg). ctxrule(ctx11,r256). ctxrulehead(r256,p11). ctxrulebody(r256,q11,neg). ctxrule(ctx11,r257). ctxrulehead(r257,q11). ctxrulebody(r257,r11,neg). ctxrule(ctx11,r258). ctxrulehead(r258,r11). ctxrulebody(r258,r11,pos). ctxrulebody(r258,q11,neg). ctxrule(ctx11,r259). ctxrulehead(r259,s11). ctxrulebody(r259,b11,pos). ctxrulebody(r259,t11,neg). ctxrule(ctx11,r260). ctxrulehead(r260,t11). ctxrulebody(r260,s11,neg). ctxrule(ctx11,r261). ctxrulehead(r261,u11). ctxrulebody(r261,v11,neg). ctxrule(ctx11,r262). ctxrulehead(r262,v11). ctxrulebody(r262,l11,pos). ctxrulebody(r262,w11,neg). ctxrule(ctx11,r263). ctxrulehead(r263,w11). ctxrulebody(r263,x11,neg). ctxrule(ctx11,r264). ctxrulehead(r264,x11). ctxrulebody(r264,w11,neg). brule(ctx11,br153). brulehead(br153,j11). brulebody(br153,ctx12,v12,pos). brulebody(br153,ctx12,l12,neg). brule(ctx11,br154). brulehead(br154,o11). brulebody(br154,ctx12,f12,pos). brule(ctx11,br155). brulehead(br155,s11). brulebody(br155,ctx12,j12,neg). brule(ctx11,br156). brulehead(br156,d11). brulebody(br156,ctx12,v12,neg). brule(ctx11,br157). brulehead(br157,c11). brulebody(br157,ctx12,n12,pos). brulebody(br157,ctx12,m12,pos). brule(ctx11,br158). brulehead(br158,t11). brulebody(br158,ctx12,m12,pos). brule(ctx11,br159). brulehead(br159,h11). brulebody(br159,ctx12,n12,neg). brule(ctx11,br160). brulehead(br160,w11). brulebody(br160,ctx12,n12,neg). brule(ctx11,br161). brulehead(br161,s11). brulebody(br161,ctx12,a12,pos). brule(ctx11,br162). brulehead(br162,w11). brulebody(br162,ctx12,j12,pos). brule(ctx11,br163). brulehead(br163,g11). brulebody(br163,ctx12,a12,pos). brulebody(br163,ctx12,l12,neg). brule(ctx11,br164). brulehead(br164,r11). brulebody(br164,ctx12,i12,neg). brulebody(br164,ctx12,f12,neg). brule(ctx11,br165). brulehead(br165,s11). brulebody(br165,ctx12,l12,pos). brule(ctx11,br166). brulehead(br166,b11). brulebody(br166,ctx12,i12,pos). brulebody(br166,ctx12,l12,pos). brule(ctx11,br167). brulehead(br167,t11). brulebody(br167,ctx12,v12,neg). brulebody(br167,ctx12,l12,neg). brule(ctx11,br168). brulehead(br168,s11). brulebody(br168,ctx12,j12,neg). brule(ctx11,br169). brulehead(br169,p11). brulebody(br169,ctx12,i12,neg). brulebody(br169,ctx12,t12,neg). ctx(ctx12). ctxrule(ctx12,r265). ctxrulehead(r265,a12). ctxrulebody(r265,b12,neg). ctxrule(ctx12,r266). ctxrulehead(r266,b12). ctxrulebody(r266,a12,neg). ctxrule(ctx12,r267). ctxrulehead(r267,c12). ctxrulebody(r267,d12,neg). ctxrule(ctx12,r268). ctxrulehead(r268,d12). ctxrulebody(r268,i12,pos). ctxrulebody(r268,e12,neg). ctxrule(ctx12,r269). ctxrulehead(r269,e12). ctxrulebody(r269,f12,neg). ctxrule(ctx12,r270). ctxrulehead(r270,f12). ctxrulebody(r270,e12,neg). ctxrule(ctx12,r271). ctxrulehead(r271,g12). ctxrulebody(r271,b12,pos). ctxrulebody(r271,h12,neg). ctxrule(ctx12,r272). ctxrulehead(r272,h12). ctxrulebody(r272,g12,neg). ctxrule(ctx12,r273). ctxrulehead(r273,i12). ctxrulebody(r273,j12,neg). ctxrule(ctx12,r274). ctxrulehead(r274,j12). ctxrulebody(r274,k12,neg). ctxrule(ctx12,r275). ctxrulehead(r275,k12). ctxrulebody(r275,l12,neg). ctxrule(ctx12,r276). ctxrulehead(r276,l12). ctxrulebody(r276,m12,neg). ctxrule(ctx12,r277). ctxrulehead(r277,m12). ctxrulebody(r277,n12,neg). ctxrule(ctx12,r278). ctxrulehead(r278,n12). ctxrulebody(r278,o12,neg). ctxrule(ctx12,r279). ctxrulehead(r279,o12). ctxrulebody(r279,g12,pos). ctxrulebody(r279,p12,neg). ctxrule(ctx12,r280). ctxrulehead(r280,p12). ctxrulebody(r280,o12,neg). ctxrule(ctx12,r281). ctxrulehead(r281,q12). ctxrulebody(r281,r12,neg). ctxrule(ctx12,r282). ctxrulehead(r282,r12). ctxrulebody(r282,s12,neg). ctxrule(ctx12,r283). ctxrulehead(r283,s12). ctxrulebody(r283,w12,pos). ctxrulebody(r283,t12,neg). ctxrule(ctx12,r284). ctxrulehead(r284,t12). ctxrulebody(r284,k12,pos). ctxrulebody(r284,s12,neg). ctxrule(ctx12,r285). ctxrulehead(r285,u12). ctxrulebody(r285,v12,neg). ctxrule(ctx12,r286). ctxrulehead(r286,v12). ctxrulebody(r286,g12,pos). ctxrulebody(r286,w12,neg). ctxrule(ctx12,r287). ctxrulehead(r287,w12). ctxrulebody(r287,n12,pos). ctxrulebody(r287,x12,neg). ctxrule(ctx12,r288). ctxrulehead(r288,x12). ctxrulebody(r288,r12,pos). ctxrulebody(r288,w12,neg). brule(ctx12,br170). brulehead(br170,b12). brulebody(br170,ctx13,h13,neg). brule(ctx12,br171). brulehead(br171,d12). brulebody(br171,ctx23,j23,pos). brulebody(br171,ctx23,l23,neg). brule(ctx12,br172). brulehead(br172,h12). brulebody(br172,ctx23,u23,pos). brulebody(br172,ctx23,j23,neg). brule(ctx12,br173). brulehead(br173,l12). brulebody(br173,ctx22,u22,pos). brulebody(br173,ctx13,r13,neg). brule(ctx12,br174). brulehead(br174,u12). brulebody(br174,ctx22,c22,pos). brulebody(br174,ctx23,s23,neg). brule(ctx12,br175). brulehead(br175,y12). brulebody(br175,ctx22,a22,pos). brulebody(br175,ctx23,j23,neg). brule(ctx12,br176). brulehead(br176,l12). brulebody(br176,ctx22,c22,neg). brulebody(br176,ctx22,u22,neg). brule(ctx12,br177). brulehead(br177,k12). brulebody(br177,ctx13,o13,neg). brule(ctx12,br178). brulehead(br178,n12). brulebody(br178,ctx13,x13,pos). brule(ctx12,br179). brulehead(br179,o12). brulebody(br179,ctx22,s22,pos). brule(ctx12,br180). brulehead(br180,l12). brulebody(br180,ctx13,b13,neg). brule(ctx12,br181). brulehead(br181,b12). brulebody(br181,ctx23,g23,pos). brule(ctx12,br182). brulehead(br182,j12). brulebody(br182,ctx13,o13,pos). brule(ctx12,br183). brulehead(br183,y12). brulebody(br183,ctx13,a13,pos). brulebody(br183,ctx23,g23,pos). brule(ctx12,br184). brulehead(br184,t12). brulebody(br184,ctx13,s13,pos). brule(ctx12,br185). brulehead(br185,y12). brulebody(br185,ctx22,u22,pos). brulebody(br185,ctx23,j23,neg). ctx(ctx13). ctxrule(ctx13,r289). ctxrulehead(r289,a13). ctxrulebody(r289,b13,neg). ctxrule(ctx13,r290). ctxrulehead(r290,b13). ctxrulebody(r290,y13,pos). ctxrulebody(r290,a13,neg). ctxrule(ctx13,r291). ctxrulehead(r291,c13). ctxrulebody(r291,h13,pos). ctxrulebody(r291,d13,neg). ctxrule(ctx13,r292). ctxrulehead(r292,d13). ctxrulebody(r292,e13,neg). ctxrule(ctx13,r293). ctxrulehead(r293,e13). ctxrulebody(r293,f13,neg). ctxrule(ctx13,r294). ctxrulehead(r294,f13). ctxrulebody(r294,p13,pos). ctxrulebody(r294,e13,neg). ctxrule(ctx13,r295). ctxrulehead(r295,g13). ctxrulebody(r295,h13,neg). ctxrule(ctx13,r296). ctxrulehead(r296,h13). ctxrulebody(r296,i13,neg). ctxrule(ctx13,r297). ctxrulehead(r297,i13). ctxrulebody(r297,j13,neg). ctxrule(ctx13,r298). ctxrulehead(r298,j13). ctxrulebody(r298,i13,neg). ctxrule(ctx13,r299). ctxrulehead(r299,k13). ctxrulebody(r299,l13,neg). ctxrule(ctx13,r300). ctxrulehead(r300,l13). ctxrulebody(r300,k13,neg). ctxrule(ctx13,r301). ctxrulehead(r301,m13). ctxrulebody(r301,n13,neg). ctxrule(ctx13,r302). ctxrulehead(r302,n13). ctxrulebody(r302,m13,neg). ctxrule(ctx13,r303). ctxrulehead(r303,o13). ctxrulebody(r303,r13,pos). ctxrulebody(r303,p13,neg). ctxrule(ctx13,r304). ctxrulehead(r304,p13). ctxrulebody(r304,i13,pos). ctxrulebody(r304,o13,neg). ctxrule(ctx13,r305). ctxrulehead(r305,q13). ctxrulebody(r305,r13,neg). ctxrule(ctx13,r306). ctxrulehead(r306,r13). ctxrulebody(r306,q13,neg). ctxrule(ctx13,r307). ctxrulehead(r307,s13). ctxrulebody(r307,t13,neg). ctxrule(ctx13,r308). ctxrulehead(r308,t13). ctxrulebody(r308,w13,pos). ctxrulebody(r308,u13,neg). ctxrule(ctx13,r309). ctxrulehead(r309,u13). ctxrulebody(r309,a13,pos). ctxrulebody(r309,v13,neg). ctxrule(ctx13,r310). ctxrulehead(r310,v13). ctxrulebody(r310,w13,neg). ctxrule(ctx13,r311). ctxrulehead(r311,w13). ctxrulebody(r311,x13,neg). ctxrule(ctx13,r312). ctxrulehead(r312,x13). ctxrulebody(r312,w13,neg). brule(ctx13,br186). brulehead(br186,f13). brulebody(br186,ctx10,h10,neg). brulebody(br186,ctx10,s10,neg). brule(ctx13,br187). brulehead(br187,f13). brulebody(br187,ctx27,k27,pos). brulebody(br187,ctx27,b27,neg). brule(ctx13,br188). brulehead(br188,i13). brulebody(br188,ctx27,g27,pos). brulebody(br188,ctx10,h10,neg). brule(ctx13,br189). brulehead(br189,o13). brulebody(br189,ctx10,r10,pos). brule(ctx13,br190). brulehead(br190,p13). brulebody(br190,ctx27,b27,pos). brule(ctx13,br191). brulehead(br191,j13). brulebody(br191,ctx10,i10,pos). brulebody(br191,ctx26,a26,neg). brule(ctx13,br192). brulehead(br192,k13). brulebody(br192,ctx27,i27,pos). brulebody(br192,ctx27,u27,pos). brule(ctx13,br193). brulehead(br193,k13). brulebody(br193,ctx27,v27,pos). brulebody(br193,ctx10,r10,pos). brule(ctx13,br194). brulehead(br194,v13). brulebody(br194,ctx26,a26,pos). brule(ctx13,br195). brulehead(br195,t13). brulebody(br195,ctx27,b27,pos). brulebody(br195,ctx27,k27,pos). brule(ctx13,br196). brulehead(br196,g13). brulebody(br196,ctx10,g10,neg). brule(ctx13,br197). brulehead(br197,r13). brulebody(br197,ctx10,n10,neg). brule(ctx13,br198). brulehead(br198,p13). brulebody(br198,ctx27,c27,pos). brule(ctx13,br199). brulehead(br199,d13). brulebody(br199,ctx26,f26,neg). brule(ctx13,br200). brulehead(br200,q13). brulebody(br200,ctx26,r26,pos). brulebody(br200,ctx27,c27,pos). ctx(ctx14). ctxrule(ctx14,r313). ctxrulehead(r313,a14). ctxrulebody(r313,b14,neg). ctxrule(ctx14,r314). ctxrulehead(r314,b14). ctxrulebody(r314,a14,neg). ctxrule(ctx14,r315). ctxrulehead(r315,c14). ctxrulebody(r315,d14,neg). ctxrule(ctx14,r316). ctxrulehead(r316,d14). ctxrulebody(r316,e14,neg). ctxrule(ctx14,r317). ctxrulehead(r317,e14). ctxrulebody(r317,f14,neg). ctxrule(ctx14,r318). ctxrulehead(r318,f14). ctxrulebody(r318,g14,neg). ctxrule(ctx14,r319). ctxrulehead(r319,g14). ctxrulebody(r319,h14,neg). ctxrule(ctx14,r320). ctxrulehead(r320,h14). ctxrulebody(r320,i14,neg). ctxrule(ctx14,r321). ctxrulehead(r321,i14). ctxrulebody(r321,j14,neg). ctxrule(ctx14,r322). ctxrulehead(r322,j14). ctxrulebody(r322,d14,pos). ctxrulebody(r322,i14,neg). ctxrule(ctx14,r323). ctxrulehead(r323,k14). ctxrulebody(r323,t14,pos). ctxrulebody(r323,l14,neg). ctxrule(ctx14,r324). ctxrulehead(r324,l14). ctxrulebody(r324,m14,neg). ctxrule(ctx14,r325). ctxrulehead(r325,m14). ctxrulebody(r325,n14,neg). ctxrule(ctx14,r326). ctxrulehead(r326,n14). ctxrulebody(r326,a14,pos). ctxrulebody(r326,o14,neg). ctxrule(ctx14,r327). ctxrulehead(r327,o14). ctxrulebody(r327,p14,neg). ctxrule(ctx14,r328). ctxrulehead(r328,p14). ctxrulebody(r328,d14,pos). ctxrulebody(r328,o14,neg). ctxrule(ctx14,r329). ctxrulehead(r329,q14). ctxrulebody(r329,r14,neg). ctxrule(ctx14,r330). ctxrulehead(r330,r14). ctxrulebody(r330,s14,neg). ctxrule(ctx14,r331). ctxrulehead(r331,s14). ctxrulebody(r331,t14,neg). ctxrule(ctx14,r332). ctxrulehead(r332,t14). ctxrulebody(r332,s14,neg). ctxrule(ctx14,r333). ctxrulehead(r333,u14). ctxrulebody(r333,v14,neg). ctxrule(ctx14,r334). ctxrulehead(r334,v14). ctxrulebody(r334,u14,neg). ctxrule(ctx14,r335). ctxrulehead(r335,w14). ctxrulebody(r335,x14,neg). ctxrule(ctx14,r336). ctxrulehead(r336,x14). ctxrulebody(r336,w14,neg). brule(ctx14,br201). brulehead(br201,h14). brulebody(br201,ctx15,e15,pos). brule(ctx14,br202). brulehead(br202,a14). brulebody(br202,ctx15,w15,neg). brulebody(br202,ctx15,c15,neg). brule(ctx14,br203). brulehead(br203,f14). brulebody(br203,ctx15,w15,neg). brule(ctx14,br204). brulehead(br204,a14). brulebody(br204,ctx15,w15,pos). brulebody(br204,ctx15,h15,neg). brule(ctx14,br205). brulehead(br205,n14). brulebody(br205,ctx15,e15,pos). brule(ctx14,br206). brulehead(br206,n14). brulebody(br206,ctx15,s15,neg). brule(ctx14,br207). brulehead(br207,f14). brulebody(br207,ctx15,s15,neg). brulebody(br207,ctx15,e15,neg). brule(ctx14,br208). brulehead(br208,c14). brulebody(br208,ctx15,k15,neg). brulebody(br208,ctx15,h15,neg). brule(ctx14,br209). brulehead(br209,e14). brulebody(br209,ctx15,i15,neg). brule(ctx14,br210). brulehead(br210,q14). brulebody(br210,ctx15,j15,pos). brule(ctx14,br211). brulehead(br211,b14). brulebody(br211,ctx15,c15,pos). brule(ctx14,br212). brulehead(br212,t14). brulebody(br212,ctx15,t15,pos). brulebody(br212,ctx15,e15,neg). brule(ctx14,br213). brulehead(br213,d14). brulebody(br213,ctx15,s15,pos). brulebody(br213,ctx15,c15,pos). brule(ctx14,br214). brulehead(br214,v14). brulebody(br214,ctx15,j15,neg). brulebody(br214,ctx15,c15,neg). brule(ctx14,br215). brulehead(br215,w14). brulebody(br215,ctx15,k15,pos). ctx(ctx15). ctxrule(ctx15,r337). ctxrulehead(r337,a15). ctxrulebody(r337,b15,neg). ctxrule(ctx15,r338). ctxrulehead(r338,b15). ctxrulebody(r338,r15,pos). ctxrulebody(r338,c15,neg). ctxrule(ctx15,r339). ctxrulehead(r339,c15). ctxrulebody(r339,d15,neg). ctxrule(ctx15,r340). ctxrulehead(r340,d15). ctxrulebody(r340,c15,neg). ctxrule(ctx15,r341). ctxrulehead(r341,e15). ctxrulebody(r341,f15,neg). ctxrule(ctx15,r342). ctxrulehead(r342,f15). ctxrulebody(r342,e15,neg). ctxrule(ctx15,r343). ctxrulehead(r343,g15). ctxrulebody(r343,h15,neg). ctxrule(ctx15,r344). ctxrulehead(r344,h15). ctxrulebody(r344,g15,neg). ctxrule(ctx15,r345). ctxrulehead(r345,i15). ctxrulebody(r345,j15,neg). ctxrule(ctx15,r346). ctxrulehead(r346,j15). ctxrulebody(r346,i15,neg). ctxrule(ctx15,r347). ctxrulehead(r347,k15). ctxrulebody(r347,l15,neg). ctxrule(ctx15,r348). ctxrulehead(r348,l15). ctxrulebody(r348,k15,neg). ctxrule(ctx15,r349). ctxrulehead(r349,m15). ctxrulebody(r349,n15,neg). ctxrule(ctx15,r350). ctxrulehead(r350,n15). ctxrulebody(r350,o15,neg). ctxrule(ctx15,r351). ctxrulehead(r351,o15). ctxrulebody(r351,d15,pos). ctxrulebody(r351,p15,neg). ctxrule(ctx15,r352). ctxrulehead(r352,p15). ctxrulebody(r352,m15,pos). ctxrulebody(r352,o15,neg). ctxrule(ctx15,r353). ctxrulehead(r353,q15). ctxrulebody(r353,r15,neg). ctxrule(ctx15,r354). ctxrulehead(r354,r15). ctxrulebody(r354,s15,neg). ctxrule(ctx15,r355). ctxrulehead(r355,s15). ctxrulebody(r355,u15,pos). ctxrulebody(r355,t15,neg). ctxrule(ctx15,r356). ctxrulehead(r356,t15). ctxrulebody(r356,u15,neg). ctxrule(ctx15,r357). ctxrulehead(r357,u15). ctxrulebody(r357,v15,neg). ctxrule(ctx15,r358). ctxrulehead(r358,v15). ctxrulebody(r358,w15,neg). ctxrule(ctx15,r359). ctxrulehead(r359,w15). ctxrulebody(r359,x15,neg). ctxrule(ctx15,r360). ctxrulehead(r360,x15). ctxrulebody(r360,w15,neg). brule(ctx15,br216). brulehead(br216,u15). brulebody(br216,ctx16,p16,pos). brulebody(br216,ctx16,j16,neg). brule(ctx15,br217). brulehead(br217,j15). brulebody(br217,ctx16,i16,neg). brulebody(br217,ctx16,r16,neg). brule(ctx15,br218). brulehead(br218,i15). brulebody(br218,ctx16,g16,neg). brule(ctx15,br219). brulehead(br219,m15). brulebody(br219,ctx16,g16,pos). brule(ctx15,br220). brulehead(br220,w15). brulebody(br220,ctx16,y16,pos). brule(ctx15,br221). brulehead(br221,c15). brulebody(br221,ctx16,a16,neg). brule(ctx15,br222). brulehead(br222,n15). brulebody(br222,ctx16,w16,neg). brulebody(br222,ctx16,a16,neg). brule(ctx15,br223). brulehead(br223,i15). brulebody(br223,ctx16,p16,pos). brule(ctx15,br224). brulehead(br224,c15). brulebody(br224,ctx16,w16,neg). brulebody(br224,ctx16,r16,neg). brule(ctx15,br225). brulehead(br225,m15). brulebody(br225,ctx16,r16,neg). brulebody(br225,ctx16,j16,neg). brule(ctx15,br226). brulehead(br226,b15). brulebody(br226,ctx16,a16,neg). brule(ctx15,br227). brulehead(br227,o15). brulebody(br227,ctx16,w16,pos). brulebody(br227,ctx16,j16,pos). brule(ctx15,br228). brulehead(br228,u15). brulebody(br228,ctx16,y16,pos). brulebody(br228,ctx16,r16,pos). brule(ctx15,br229). brulehead(br229,h15). brulebody(br229,ctx16,p16,pos). brulebody(br229,ctx16,j16,pos). ctx(ctx16). ctxrule(ctx16,r361). ctxrulehead(r361,a16). ctxrulebody(r361,b16,neg). ctxrule(ctx16,r362). ctxrulehead(r362,b16). ctxrulebody(r362,c16,neg). ctxrule(ctx16,r363). ctxrulehead(r363,c16). ctxrulebody(r363,a16,pos). ctxrulebody(r363,d16,neg). ctxrule(ctx16,r364). ctxrulehead(r364,d16). ctxrulebody(r364,e16,neg). ctxrule(ctx16,r365). ctxrulehead(r365,e16). ctxrulebody(r365,f16,neg). ctxrule(ctx16,r366). ctxrulehead(r366,f16). ctxrulebody(r366,e16,neg). ctxrule(ctx16,r367). ctxrulehead(r367,g16). ctxrulebody(r367,h16,neg). ctxrule(ctx16,r368). ctxrulehead(r368,h16). ctxrulebody(r368,g16,neg). ctxrule(ctx16,r369). ctxrulehead(r369,i16). ctxrulebody(r369,j16,neg). ctxrule(ctx16,r370). ctxrulehead(r370,j16). ctxrulebody(r370,k16,neg). ctxrule(ctx16,r371). ctxrulehead(r371,k16). ctxrulebody(r371,c16,pos). ctxrulebody(r371,l16,neg). ctxrule(ctx16,r372). ctxrulehead(r372,l16). ctxrulebody(r372,m16,neg). ctxrule(ctx16,r373). ctxrulehead(r373,m16). ctxrulebody(r373,n16,neg). ctxrule(ctx16,r374). ctxrulehead(r374,n16). ctxrulebody(r374,f16,pos). ctxrulebody(r374,m16,neg). ctxrule(ctx16,r375). ctxrulehead(r375,o16). ctxrulebody(r375,p16,neg). ctxrule(ctx16,r376). ctxrulehead(r376,p16). ctxrulebody(r376,q16,neg). ctxrule(ctx16,r377). ctxrulehead(r377,q16). ctxrulebody(r377,r16,neg). ctxrule(ctx16,r378). ctxrulehead(r378,r16). ctxrulebody(r378,q16,neg). ... (This is only a excerpt, because of a very long content and a possible freeze of firefox. Please download for whole content.)

Actions

Navigation

Instance 64-multi_context_system_querying-0-0.asp