Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Instance 72-multi_context_system_querying-0-0.asp

Name	72-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:15
Modified	2012-03-30 12:15
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,c1,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,g1,pos). 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,m1,neg). ctxrule(ctx1,r13). ctxrulehead(r13,m1). ctxrulebody(r13,b1,pos). ctxrulebody(r13,n1,neg). ctxrule(ctx1,r14). ctxrulehead(r14,n1). ctxrulebody(r14,m1,neg). ctxrule(ctx1,r15). ctxrulehead(r15,o1). ctxrulebody(r15,p1,neg). ctxrule(ctx1,r16). ctxrulehead(r16,p1). ctxrulebody(r16,q1,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,u1,neg). ctxrule(ctx1,r21). ctxrulehead(r21,u1). ctxrulebody(r21,v1,neg). ctxrule(ctx1,r22). ctxrulehead(r22,v1). ctxrulebody(r22,g1,pos). 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,g3,pos). brule(ctx1,br2). brulehead(br2,t1). brulebody(br2,ctx2,t2,pos). brulebody(br2,ctx3,o3,neg). brule(ctx1,br3). brulehead(br3,p1). brulebody(br3,ctx3,e3,pos). brule(ctx1,br4). brulehead(br4,d1). brulebody(br4,ctx2,c2,pos). brule(ctx1,br5). brulehead(br5,l1). brulebody(br5,ctx3,o3,pos). brule(ctx1,br6). brulehead(br6,v1). brulebody(br6,ctx3,x3,pos). brulebody(br6,ctx2,r2,pos). brule(ctx1,br7). brulehead(br7,t1). brulebody(br7,ctx2,q2,pos). brule(ctx1,br8). brulehead(br8,l1). brulebody(br8,ctx3,u3,pos). brule(ctx1,br9). brulehead(br9,a1). brulebody(br9,ctx2,c2,neg). brulebody(br9,ctx3,q3,neg). brule(ctx1,br10). brulehead(br10,e1). brulebody(br10,ctx2,o2,neg). brule(ctx1,br11). brulehead(br11,a1). brulebody(br11,ctx3,e3,pos). brulebody(br11,ctx2,t2,neg). brule(ctx1,br12). brulehead(br12,g1). brulebody(br12,ctx3,f3,pos). brulebody(br12,ctx2,q2,pos). brule(ctx1,br13). brulehead(br13,l1). brulebody(br13,ctx3,e3,neg). brule(ctx1,br14). brulehead(br14,w1). brulebody(br14,ctx3,c3,pos). brulebody(br14,ctx3,l3,neg). 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,g2,neg). ctxrule(ctx2,r31). ctxrulehead(r31,g2). ctxrulebody(r31,h2,neg). ctxrule(ctx2,r32). ctxrulehead(r32,h2). ctxrulebody(r32,i2,neg). ctxrule(ctx2,r33). ctxrulehead(r33,i2). ctxrulebody(r33,j2,neg). ctxrule(ctx2,r34). ctxrulehead(r34,j2). ctxrulebody(r34,i2,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,n2,neg). ctxrule(ctx2,r38). ctxrulehead(r38,n2). ctxrulebody(r38,a2,pos). 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,r2,neg). ctxrule(ctx2,r42). ctxrulehead(r42,r2). ctxrulebody(r42,q2,neg). ctxrule(ctx2,r43). ctxrulehead(r43,s2). ctxrulebody(r43,v2,pos). ctxrulebody(r43,t2,neg). ctxrule(ctx2,r44). ctxrulehead(r44,t2). ctxrulebody(r44,j2,pos). ctxrulebody(r44,u2,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,br15). brulehead(br15,p2). brulebody(br15,ctx3,e3,neg). brule(ctx2,br16). brulehead(br16,d2). brulebody(br16,ctx3,n3,pos). brulebody(br16,ctx3,g3,neg). brule(ctx2,br17). brulehead(br17,b2). brulebody(br17,ctx3,x3,pos). brule(ctx2,br18). brulehead(br18,s2). brulebody(br18,ctx3,u3,neg). brule(ctx2,br19). brulehead(br19,a2). brulebody(br19,ctx3,l3,neg). brule(ctx2,br20). brulehead(br20,k2). brulebody(br20,ctx3,f3,pos). brule(ctx2,br21). brulehead(br21,y2). brulebody(br21,ctx3,x3,pos). brulebody(br21,ctx3,f3,neg). brule(ctx2,br22). brulehead(br22,v2). brulebody(br22,ctx3,g3,neg). brulebody(br22,ctx3,x3,neg). brule(ctx2,br23). brulehead(br23,g2). brulebody(br23,ctx3,l3,pos). brule(ctx2,br24). brulehead(br24,r2). brulebody(br24,ctx3,q3,pos). brule(ctx2,br25). brulehead(br25,q2). brulebody(br25,ctx3,q3,neg). brule(ctx2,br26). brulehead(br26,x2). brulebody(br26,ctx3,x3,pos). brulebody(br26,ctx3,n3,neg). brule(ctx2,br27). brulehead(br27,t2). brulebody(br27,ctx3,c3,pos). brulebody(br27,ctx3,f3,neg). brule(ctx2,br28). brulehead(br28,l2). brulebody(br28,ctx3,o3,pos). brule(ctx2,br29). brulehead(br29,h2). brulebody(br29,ctx3,n3,neg). brulebody(br29,ctx3,e3,neg). ctx(ctx3). ctxrule(ctx3,r49). ctxrulehead(r49,a3). ctxrulebody(r49,w3,pos). 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,c3,neg). ctxrule(ctx3,r53). ctxrulehead(r53,e3). ctxrulebody(r53,f3,neg). ctxrule(ctx3,r54). ctxrulehead(r54,f3). ctxrulebody(r54,e3,neg). ctxrule(ctx3,r55). ctxrulehead(r55,g3). ctxrulebody(r55,b3,pos). ctxrulebody(r55,h3,neg). ctxrule(ctx3,r56). ctxrulehead(r56,h3). ctxrulebody(r56,g3,neg). ctxrule(ctx3,r57). ctxrulehead(r57,i3). ctxrulebody(r57,j3,neg). ctxrule(ctx3,r58). ctxrulehead(r58,j3). ctxrulebody(r58,i3,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,b3,pos). ctxrulebody(r62,m3,neg). ctxrule(ctx3,r63). ctxrulehead(r63,o3). ctxrulebody(r63,x3,pos). ctxrulebody(r63,p3,neg). ctxrule(ctx3,r64). ctxrulehead(r64,p3). ctxrulebody(r64,o3,neg). ctxrule(ctx3,r65). ctxrulehead(r65,q3). ctxrulebody(r65,r3,neg). ctxrule(ctx3,r66). ctxrulehead(r66,r3). ctxrulebody(r66,b3,pos). ctxrulebody(r66,q3,neg). ctxrule(ctx3,r67). ctxrulehead(r67,s3). 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,u3,neg). ctxrule(ctx3,r71). ctxrulehead(r71,w3). ctxrulebody(r71,x3,neg). ctxrule(ctx3,r72). ctxrulehead(r72,x3). ctxrulebody(r72,w3,neg). brule(ctx3,br30). brulehead(br30,r3). brulebody(br30,ctx4,s4,pos). brulebody(br30,ctx4,e4,neg). brule(ctx3,br31). brulehead(br31,b3). brulebody(br31,ctx4,c4,neg). brule(ctx3,br32). brulehead(br32,g3). brulebody(br32,ctx4,j4,pos). brulebody(br32,ctx4,s4,neg). brule(ctx3,br33). brulehead(br33,k3). brulebody(br33,ctx4,b4,neg). brule(ctx3,br34). brulehead(br34,w3). brulebody(br34,ctx4,g4,pos). brulebody(br34,ctx4,c4,pos). brule(ctx3,br35). brulehead(br35,u3). brulebody(br35,ctx4,v4,neg). brule(ctx3,br36). brulehead(br36,y3). brulebody(br36,ctx4,f4,neg). brule(ctx3,br37). brulehead(br37,n3). brulebody(br37,ctx4,t4,pos). brule(ctx3,br38). brulehead(br38,j3). brulebody(br38,ctx4,t4,neg). brule(ctx3,br39). brulehead(br39,j3). brulebody(br39,ctx4,s4,pos). brulebody(br39,ctx4,j4,pos). brule(ctx3,br40). brulehead(br40,v3). brulebody(br40,ctx4,g4,neg). brulebody(br40,ctx4,f4,neg). brule(ctx3,br41). brulehead(br41,q3). brulebody(br41,ctx4,c4,neg). brule(ctx3,br42). brulehead(br42,g3). brulebody(br42,ctx4,f4,neg). ctx(ctx4). ctxrule(ctx4,r73). ctxrulehead(r73,a4). ctxrulebody(r73,b4,neg). ctxrule(ctx4,r74). ctxrulehead(r74,b4). ctxrulebody(r74,a4,neg). ctxrule(ctx4,r75). ctxrulehead(r75,c4). ctxrulebody(r75,c4,pos). ctxrulebody(r75,d4,neg). ctxrule(ctx4,r76). ctxrulehead(r76,d4). ctxrulebody(r76,e4,neg). ctxrule(ctx4,r77). ctxrulehead(r77,e4). ctxrulebody(r77,k4,pos). ctxrulebody(r77,f4,neg). ctxrule(ctx4,r78). ctxrulehead(r78,f4). ctxrulebody(r78,e4,neg). ctxrule(ctx4,r79). ctxrulehead(r79,g4). ctxrulebody(r79,h4,neg). ctxrule(ctx4,r80). ctxrulehead(r80,h4). ctxrulebody(r80,g4,neg). ctxrule(ctx4,r81). ctxrulehead(r81,i4). ctxrulebody(r81,j4,neg). ctxrule(ctx4,r82). ctxrulehead(r82,j4). ctxrulebody(r82,h4,pos). ctxrulebody(r82,k4,neg). ctxrule(ctx4,r83). ctxrulehead(r83,k4). ctxrulebody(r83,n4,pos). ctxrulebody(r83,l4,neg). ctxrule(ctx4,r84). ctxrulehead(r84,l4). ctxrulebody(r84,m4,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,q4,neg). ctxrule(ctx4,r89). ctxrulehead(r89,q4). ctxrulebody(r89,r4,neg). ctxrule(ctx4,r90). ctxrulehead(r90,r4). ctxrulebody(r90,s4,neg). ctxrule(ctx4,r91). ctxrulehead(r91,s4). ctxrulebody(r91,o4,pos). 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,u4,neg). ctxrule(ctx4,r95). ctxrulehead(r95,w4). ctxrulebody(r95,i4,pos). ctxrulebody(r95,x4,neg). ctxrule(ctx4,r96). ctxrulehead(r96,x4). ctxrulebody(r96,y4,neg). brule(ctx4,br43). brulehead(br43,i4). brulebody(br43,ctx5,y5,neg). brule(ctx4,br44). brulehead(br44,u4). brulebody(br44,ctx7,v7,neg). brulebody(br44,ctx6,u6,neg). brule(ctx4,br45). brulehead(br45,q4). brulebody(br45,ctx7,k7,pos). brulebody(br45,ctx6,d6,pos). brule(ctx4,br46). brulehead(br46,x4). brulebody(br46,ctx6,c6,neg). brulebody(br46,ctx6,n6,neg). brule(ctx4,br47). brulehead(br47,s4). brulebody(br47,ctx7,j7,neg). brule(ctx4,br48). brulehead(br48,l4). brulebody(br48,ctx6,c6,pos). brulebody(br48,ctx6,f6,neg). brule(ctx4,br49). brulehead(br49,y4). brulebody(br49,ctx6,u6,pos). brulebody(br49,ctx6,g6,neg). brule(ctx4,br50). brulehead(br50,p4). brulebody(br50,ctx6,r6,pos). brulebody(br50,ctx6,f6,neg). brule(ctx4,br51). brulehead(br51,b4). brulebody(br51,ctx7,t7,neg). brule(ctx4,br52). brulehead(br52,l4). brulebody(br52,ctx5,f5,neg). brule(ctx4,br53). brulehead(br53,f4). brulebody(br53,ctx7,o7,pos). ctx(ctx5). ctxrule(ctx5,r97). ctxrulehead(r97,a5). ctxrulebody(r97,b5,neg). ctxrule(ctx5,r98). ctxrulehead(r98,b5). ctxrulebody(r98,c5,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,a5,pos). ctxrulebody(r102,e5,neg). ctxrule(ctx5,r103). ctxrulehead(r103,g5). ctxrulebody(r103,h5,neg). ctxrule(ctx5,r104). ctxrulehead(r104,h5). ctxrulebody(r104,i5,neg). ctxrule(ctx5,r105). ctxrulehead(r105,i5). ctxrulebody(r105,d5,pos). ctxrulebody(r105,j5,neg). ctxrule(ctx5,r106). ctxrulehead(r106,j5). ctxrulebody(r106,i5,neg). ctxrule(ctx5,r107). ctxrulehead(r107,k5). ctxrulebody(r107,a5,pos). 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,d5,pos). ctxrulebody(r110,m5,neg). ctxrule(ctx5,r111). ctxrulehead(r111,o5). ctxrulebody(r111,q5,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,w5,neg). ctxrule(ctx5,r119). ctxrulehead(r119,w5). ctxrulebody(r119,x5,neg). ctxrule(ctx5,r120). ctxrulehead(r120,x5). ctxrulebody(r120,w5,neg). brule(ctx5,br54). brulehead(br54,e5). brulebody(br54,ctx2,k2,pos). brulebody(br54,ctx2,o2,neg). brule(ctx5,br55). brulehead(br55,l5). brulebody(br55,ctx10,h10,pos). brulebody(br55,ctx2,k2,neg). brule(ctx5,br56). brulehead(br56,l5). brulebody(br56,ctx2,r2,neg). brulebody(br56,ctx2,m2,neg). brule(ctx5,br57). brulehead(br57,q5). brulebody(br57,ctx2,b2,pos). brule(ctx5,br58). brulehead(br58,b5). brulebody(br58,ctx10,x10,pos). brulebody(br58,ctx10,u10,neg). brule(ctx5,br59). brulehead(br59,m5). brulebody(br59,ctx11,p11,pos). brulebody(br59,ctx10,m10,pos). brule(ctx5,br60). brulehead(br60,y5). brulebody(br60,ctx10,k10,pos). brule(ctx5,br61). brulehead(br61,n5). brulebody(br61,ctx11,y11,pos). brule(ctx5,br62). brulehead(br62,c5). brulebody(br62,ctx11,q11,neg). brule(ctx5,br63). brulehead(br63,j5). brulebody(br63,ctx2,b2,pos). brulebody(br63,ctx2,c2,neg). brule(ctx5,br64). brulehead(br64,v5). brulebody(br64,ctx11,b11,pos). brule(ctx5,br65). brulehead(br65,u5). brulebody(br65,ctx2,c2,pos). brulebody(br65,ctx2,k2,neg). brule(ctx5,br66). brulehead(br66,p5). brulebody(br66,ctx10,r10,neg). ctx(ctx6). ctxrule(ctx6,r121). ctxrulehead(r121,a6). ctxrulebody(r121,b6,neg). ctxrule(ctx6,r122). ctxrulehead(r122,b6). ctxrulebody(r122,k6,pos). ctxrulebody(r122,c6,neg). ctxrule(ctx6,r123). ctxrulehead(r123,c6). ctxrulebody(r123,d6,neg). ctxrule(ctx6,r124). ctxrulehead(r124,d6). ctxrulebody(r124,e6,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,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,i6,neg). ctxrule(ctx6,r131). ctxrulehead(r131,k6). ctxrulebody(r131,l6,neg). ctxrule(ctx6,r132). ctxrulehead(r132,l6). ctxrulebody(r132,m6,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,y6,pos). ctxrulebody(r135,p6,neg). ctxrule(ctx6,r136). ctxrulehead(r136,p6). ctxrulebody(r136,o6,neg). ctxrule(ctx6,r137). ctxrulehead(r137,q6). ctxrulebody(r137,r6,neg). ctxrule(ctx6,r138). ctxrulehead(r138,r6). ctxrulebody(r138,p6,pos). ctxrulebody(r138,q6,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,p6,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,br67). brulehead(br67,k6). brulebody(br67,ctx7,v7,pos). brule(ctx6,br68). brulehead(br68,e6). brulebody(br68,ctx7,s7,pos). brule(ctx6,br69). brulehead(br69,x6). brulebody(br69,ctx7,j7,pos). brulebody(br69,ctx7,n7,pos). brule(ctx6,br70). brulehead(br70,y6). brulebody(br70,ctx7,t7,neg). brulebody(br70,ctx7,u7,neg). brule(ctx6,br71). brulehead(br71,r6). brulebody(br71,ctx7,j7,pos). brulebody(br71,ctx7,k7,neg). brule(ctx6,br72). brulehead(br72,l6). brulebody(br72,ctx7,s7,pos). brulebody(br72,ctx7,k7,neg). brule(ctx6,br73). brulehead(br73,k6). brulebody(br73,ctx7,q7,neg). brulebody(br73,ctx7,v7,neg). brule(ctx6,br74). brulehead(br74,p6). brulebody(br74,ctx7,j7,pos). brule(ctx6,br75). brulehead(br75,t6). brulebody(br75,ctx7,t7,pos). brule(ctx6,br76). brulehead(br76,y6). brulebody(br76,ctx7,u7,pos). brulebody(br76,ctx7,o7,pos). brule(ctx6,br77). brulehead(br77,r6). brulebody(br77,ctx7,k7,neg). brule(ctx6,br78). brulehead(br78,m6). brulebody(br78,ctx7,k7,neg). brule(ctx6,br79). brulehead(br79,t6). brulebody(br79,ctx7,v7,pos). brulebody(br79,ctx7,k7,neg). brule(ctx6,br80). brulehead(br80,m6). brulebody(br80,ctx7,o7,pos). brulebody(br80,ctx7,k7,pos). brule(ctx6,br81). brulehead(br81,d6). brulebody(br81,ctx7,q7,pos). brule(ctx6,br82). brulehead(br82,s6). brulebody(br82,ctx7,r7,pos). brulebody(br82,ctx7,v7,pos). ctx(ctx7). ctxrule(ctx7,r145). ctxrulehead(r145,a7). ctxrulebody(r145,b7,neg). ctxrule(ctx7,r146). ctxrulehead(r146,b7). ctxrulebody(r146,a7,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,l7,pos). ctxrulebody(r149,f7,neg). ctxrule(ctx7,r150). ctxrulehead(r150,f7). ctxrulebody(r150,d7,pos). ctxrulebody(r150,g7,neg). ctxrule(ctx7,r151). ctxrulehead(r151,g7). 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,g7,pos). ctxrulebody(r154,k7,neg). ctxrule(ctx7,r155). ctxrulehead(r155,k7). ctxrulebody(r155,y7,pos). ctxrulebody(r155,l7,neg). ctxrule(ctx7,r156). ctxrulehead(r156,l7). ctxrulebody(r156,m7,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,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,l7,pos). ctxrulebody(r162,q7,neg). ctxrule(ctx7,r163). ctxrulehead(r163,s7). ctxrulebody(r163,n7,pos). ctxrulebody(r163,t7,neg). ctxrule(ctx7,r164). ctxrulehead(r164,t7). ctxrulebody(r164,s7,neg). ctxrule(ctx7,r165). ctxrulehead(r165,u7). ctxrulebody(r165,v7,neg). ctxrule(ctx7,r166). ctxrulehead(r166,v7). ctxrulebody(r166,w7,neg). ctxrule(ctx7,r167). ctxrulehead(r167,w7). ctxrulebody(r167,x7,neg). ctxrule(ctx7,r168). ctxrulehead(r168,x7). ctxrulebody(r168,w7,neg). brule(ctx7,br83). brulehead(br83,d7). brulebody(br83,ctx8,o8,pos). brulebody(br83,ctx8,w8,neg). brule(ctx7,br84). brulehead(br84,p7). brulebody(br84,ctx8,m8,neg). brulebody(br84,ctx8,u8,neg). brule(ctx7,br85). brulehead(br85,e7). brulebody(br85,ctx8,u8,pos). brule(ctx7,br86). brulehead(br86,k7). brulebody(br86,ctx8,p8,pos). brulebody(br86,ctx8,u8,neg). brule(ctx7,br87). brulehead(br87,n7). brulebody(br87,ctx8,s8,neg). brule(ctx7,br88). brulehead(br88,l7). brulebody(br88,ctx8,n8,pos). brulebody(br88,ctx8,a8,pos). brule(ctx7,br89). brulehead(br89,a7). brulebody(br89,ctx8,u8,neg). brule(ctx7,br90). brulehead(br90,w7). brulebody(br90,ctx8,o8,pos). brulebody(br90,ctx8,w8,neg). brule(ctx7,br91). brulehead(br91,k7). brulebody(br91,ctx8,p8,pos). brulebody(br91,ctx8,u8,neg). brule(ctx7,br92). brulehead(br92,j7). brulebody(br92,ctx8,u8,pos). brulebody(br92,ctx8,w8,neg). brule(ctx7,br93). brulehead(br93,k7). brulebody(br93,ctx8,o8,neg). brulebody(br93,ctx8,r8,neg). brule(ctx7,br94). brulehead(br94,r7). brulebody(br94,ctx8,s8,pos). brule(ctx7,br95). brulehead(br95,q7). brulebody(br95,ctx8,w8,neg). brule(ctx7,br96). brulehead(br96,i7). brulebody(br96,ctx8,b8,pos). brulebody(br96,ctx8,s8,neg). brule(ctx7,br97). brulehead(br97,n7). brulebody(br97,ctx8,s8,pos). brule(ctx7,br98). brulehead(br98,e7). brulebody(br98,ctx8,u8,neg). brule(ctx7,br99). brulehead(br99,u7). brulebody(br99,ctx8,n8,pos). ctx(ctx8). ctxrule(ctx8,r169). ctxrulehead(r169,a8). ctxrulebody(r169,b8,neg). ctxrule(ctx8,r170). ctxrulehead(r170,b8). ctxrulebody(r170,o8,pos). ctxrulebody(r170,a8,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,j8,neg). ctxrule(ctx8,r178). ctxrulehead(r178,j8). ctxrulebody(r178,i8,neg). ctxrule(ctx8,r179). ctxrulehead(r179,k8). ctxrulebody(r179,l8,neg). ctxrule(ctx8,r180). ctxrulehead(r180,l8). ctxrulebody(r180,k8,neg). ctxrule(ctx8,r181). ctxrulehead(r181,m8). ctxrulebody(r181,f8,pos). ctxrulebody(r181,n8,neg). ctxrule(ctx8,r182). ctxrulehead(r182,n8). ctxrulebody(r182,q8,pos). ctxrulebody(r182,o8,neg). ctxrule(ctx8,r183). ctxrulehead(r183,o8). ctxrulebody(r183,g8,pos). 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,s8,neg). ctxrule(ctx8,r187). ctxrulehead(r187,s8). ctxrulebody(r187,t8,neg). ctxrule(ctx8,r188). ctxrulehead(r188,t8). ctxrulebody(r188,s8,neg). ctxrule(ctx8,r189). ctxrulehead(r189,u8). ctxrulebody(r189,v8,neg). ctxrule(ctx8,r190). ctxrulehead(r190,v8). ctxrulebody(r190,w8,neg). ctxrule(ctx8,r191). ctxrulehead(r191,w8). ctxrulebody(r191,w8,pos). ctxrulebody(r191,x8,neg). ctxrule(ctx8,r192). ctxrulehead(r192,x8). ctxrulebody(r192,w8,neg). brule(ctx8,br100). brulehead(br100,b8). brulebody(br100,ctx14,l14,pos). brulebody(br100,ctx9,m9,pos). brule(ctx8,br101). brulehead(br101,b8). brulebody(br101,ctx14,v14,neg). brule(ctx8,br102). brulehead(br102,m8). brulebody(br102,ctx15,w15,pos). brule(ctx8,br103). brulehead(br103,w8). brulebody(br103,ctx14,l14,pos). brule(ctx8,br104). brulehead(br104,r8). brulebody(br104,ctx15,l15,pos). brulebody(br104,ctx14,d14,neg). brule(ctx8,br105). brulehead(br105,k8). brulebody(br105,ctx14,q14,pos). brulebody(br105,ctx15,i15,neg). brule(ctx8,br106). brulehead(br106,r8). brulebody(br106,ctx15,w15,pos). brule(ctx8,br107). brulehead(br107,g8). brulebody(br107,ctx15,i15,neg). brule(ctx8,br108). brulehead(br108,v8). brulebody(br108,ctx14,p14,pos). brulebody(br108,ctx15,m15,neg). brule(ctx8,br109). brulehead(br109,n8). brulebody(br109,ctx14,p14,pos). brule(ctx8,br110). brulehead(br110,t8). brulebody(br110,ctx14,u14,pos). brulebody(br110,ctx15,j15,pos). brule(ctx8,br111). brulehead(br111,e8). brulebody(br111,ctx14,o14,pos). brulebody(br111,ctx9,b9,pos). ctx(ctx9). ctxrule(ctx9,r193). ctxrulehead(r193,a9). ctxrulebody(r193,b9,neg). ctxrule(ctx9,r194). ctxrulehead(r194,b9). 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,a9,pos). 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,i9,neg). ctxrule(ctx9,r201). ctxrulehead(r201,i9). ctxrulebody(r201,j9,neg). ctxrule(ctx9,r202). ctxrulehead(r202,j9). ctxrulebody(r202,k9,neg). ctxrule(ctx9,r203). ctxrulehead(r203,k9). ctxrulebody(r203,l9,neg). ctxrule(ctx9,r204). ctxrulehead(r204,l9). ctxrulebody(r204,m9,neg). ctxrule(ctx9,r205). ctxrulehead(r205,m9). ctxrulebody(r205,n9,neg). ctxrule(ctx9,r206). ctxrulehead(r206,n9). ctxrulebody(r206,a9,pos). ctxrulebody(r206,m9,neg). ctxrule(ctx9,r207). ctxrulehead(r207,o9). ctxrulebody(r207,p9,neg). ctxrule(ctx9,r208). ctxrulehead(r208,p9). ctxrulebody(r208,t9,pos). ctxrulebody(r208,o9,neg). ctxrule(ctx9,r209). ctxrulehead(r209,q9). ctxrulebody(r209,r9,neg). ctxrule(ctx9,r210). ctxrulehead(r210,r9). ctxrulebody(r210,s9,neg). ctxrule(ctx9,r211). ctxrulehead(r211,s9). ctxrulebody(r211,t9,neg). ctxrule(ctx9,r212). ctxrulehead(r212,t9). ctxrulebody(r212,r9,pos). ctxrulebody(r212,u9,neg). ctxrule(ctx9,r213). ctxrulehead(r213,u9). ctxrulebody(r213,v9,neg). ctxrule(ctx9,r214). ctxrulehead(r214,v9). ctxrulebody(r214,u9,neg). ctxrule(ctx9,r215). ctxrulehead(r215,w9). ctxrulebody(r215,x9,neg). ctxrule(ctx9,r216). ctxrulehead(r216,x9). ctxrulebody(r216,y9,neg). brule(ctx9,br112). brulehead(br112,l9). brulebody(br112,ctx6,u6,pos). brule(ctx9,br113). brulehead(br113,o9). brulebody(br113,ctx19,s19,neg). brule(ctx9,br114). brulehead(br114,v9). brulebody(br114,ctx18,a18,neg). brule(ctx9,br115). brulehead(br115,c9). brulebody(br115,ctx18,j18,pos). brule(ctx9,br116). brulehead(br116,u9). brulebody(br116,ctx19,l19,neg). brulebody(br116,ctx19,y19,neg). brule(ctx9,br117). brulehead(br117,r9). brulebody(br117,ctx18,k18,pos). brulebody(br117,ctx19,f19,neg). brule(ctx9,br118). brulehead(br118,k9). brulebody(br118,ctx18,u18,neg). brule(ctx9,br119). brulehead(br119,x9). brulebody(br119,ctx6,c6,neg). brule(ctx9,br120). brulehead(br120,y9). brulebody(br120,ctx18,w18,neg). brule(ctx9,br121). brulehead(br121,s9). brulebody(br121,ctx18,s18,pos). brulebody(br121,ctx19,y19,pos). brule(ctx9,br122). brulehead(br122,h9). brulebody(br122,ctx18,x18,neg). brulebody(br122,ctx19,j19,neg). brule(ctx9,br123). brulehead(br123,j9). brulebody(br123,ctx6,g6,pos). brulebody(br123,ctx6,x6,pos). brule(ctx9,br124). brulehead(br124,i9). brulebody(br124,ctx6,g6,pos). brulebody(br124,ctx18,x18,neg). brule(ctx9,br125). brulehead(br125,t9). brulebody(br125,ctx19,r19,neg). brule(ctx9,br126). brulehead(br126,j9). brulebody(br126,ctx18,s18,pos). brulebody(br126,ctx19,m19,neg). brule(ctx9,br127). brulehead(br127,u9). brulebody(br127,ctx18,s18,pos). brulebody(br127,ctx19,j19,neg). brule(ctx9,br128). brulehead(br128,s9). brulebody(br128,ctx6,t6,neg). brulebody(br128,ctx19,s19,neg). brule(ctx9,br129). brulehead(br129,n9). brulebody(br129,ctx19,n19,neg). ctx(ctx10). ctxrule(ctx10,r217). ctxrulehead(r217,a10). ctxrulebody(r217,e10,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,e10,neg). ctxrule(ctx10,r221). ctxrulehead(r221,e10). ctxrulebody(r221,f10,neg). ctxrule(ctx10,r222). ctxrulehead(r222,f10). ctxrulebody(r222,e10,neg). ctxrule(ctx10,r223). ctxrulehead(r223,g10). ctxrulebody(r223,m10,pos). 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,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,o10,neg). ctxrule(ctx10,r231). ctxrulehead(r231,o10). ctxrulebody(r231,o10,pos). 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,s10,neg). ctxrule(ctx10,r235). ctxrulehead(r235,s10). ctxrulebody(r235,t10,neg). ctxrule(ctx10,r236). ctxrulehead(r236,t10). ctxrulebody(r236,u10,neg). ctxrule(ctx10,r237). ctxrulehead(r237,u10). ctxrulebody(r237,v10,neg). ctxrule(ctx10,r238). ctxrulehead(r238,v10). 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,br130). brulehead(br130,m10). brulebody(br130,ctx11,a11,pos). brulebody(br130,ctx11,b11,pos). brule(ctx10,br131). brulehead(br131,t10). brulebody(br131,ctx11,y11,neg). brule(ctx10,br132). brulehead(br132,b10). brulebody(br132,ctx11,o11,neg). brule(ctx10,br133). brulehead(br133,f10). brulebody(br133,ctx11,b11,pos). brule(ctx10,br134). brulehead(br134,h10). brulebody(br134,ctx11,l11,pos). brulebody(br134,ctx11,q11,neg). brule(ctx10,br135). brulehead(br135,t10). brulebody(br135,ctx11,o11,neg). brule(ctx10,br136). brulehead(br136,n10). brulebody(br136,ctx11,q11,neg). brule(ctx10,br137). brulehead(br137,n10). brulebody(br137,ctx11,p11,neg). brule(ctx10,br138). brulehead(br138,d10). brulebody(br138,ctx11,l11,pos). brule(ctx10,br139). brulehead(br139,m10). brulebody(br139,ctx11,y11,neg). brulebody(br139,ctx11,u11,neg). brule(ctx10,br140). brulehead(br140,h10). brulebody(br140,ctx11,q11,pos). brulebody(br140,ctx11,l11,neg). brule(ctx10,br141). brulehead(br141,p10). brulebody(br141,ctx11,u11,neg). brule(ctx10,br142). brulehead(br142,k10). brulebody(br142,ctx11,o11,pos). brule(ctx10,br143). brulehead(br143,o10). brulebody(br143,ctx11,b11,neg). brule(ctx10,br144). brulehead(br144,r10). brulebody(br144,ctx11,u11,pos). brulebody(br144,ctx11,g11,neg). brule(ctx10,br145). brulehead(br145,v10). brulebody(br145,ctx11,p11,pos). brulebody(br145,ctx11,o11,pos). brule(ctx10,br146). brulehead(br146,c10). brulebody(br146,ctx11,p11,neg). brulebody(br146,ctx11,u11,neg). brule(ctx10,br147). brulehead(br147,r10). brulebody(br147,ctx11,g11,neg). brulebody(br147,ctx11,p11,neg). brule(ctx10,br148). brulehead(br148,e10). brulebody(br148,ctx11,u11,pos). brulebody(br148,ctx11,p11,neg). ctx(ctx11). ctxrule(ctx11,r241). ctxrulehead(r241,a11). ctxrulebody(r241,a11,pos). ctxrulebody(r241,b11,neg). ctxrule(ctx11,r242). ctxrulehead(r242,b11). ctxrulebody(r242,c11,neg). ctxrule(ctx11,r243). ctxrulehead(r243,c11). ctxrulebody(r243,d11,neg). ctxrule(ctx11,r244). ctxrulehead(r244,d11). ctxrulebody(r244,e11,neg). ctxrule(ctx11,r245). ctxrulehead(r245,e11). ctxrulebody(r245,f11,neg). ctxrule(ctx11,r246). ctxrulehead(r246,f11). ctxrulebody(r246,f11,pos). ctxrulebody(r246,e11,neg). ctxrule(ctx11,r247). ctxrulehead(r247,g11). ctxrulebody(r247,h11,neg). ctxrule(ctx11,r248). ctxrulehead(r248,h11). ctxrulebody(r248,o11,pos). ctxrulebody(r248,g11,neg). ctxrule(ctx11,r249). ctxrulehead(r249,i11). ctxrulebody(r249,j11,neg). ctxrule(ctx11,r250). ctxrulehead(r250,j11). ctxrulebody(r250,i11,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,m11,neg). ctxrule(ctx11,r255). ctxrulehead(r255,o11). ctxrulebody(r255,p11,neg). ctxrule(ctx11,r256). ctxrulehead(r256,p11). ctxrulebody(r256,o11,neg). ctxrule(ctx11,r257). ctxrulehead(r257,q11). ctxrulebody(r257,r11,neg). ctxrule(ctx11,r258). ctxrulehead(r258,r11). ctxrulebody(r258,w11,pos). ctxrulebody(r258,s11,neg). ctxrule(ctx11,r259). ctxrulehead(r259,s11). ctxrulebody(r259,t11,neg). ctxrule(ctx11,r260). ctxrulehead(r260,t11). ctxrulebody(r260,e11,pos). ctxrulebody(r260,s11,neg). ctxrule(ctx11,r261). ctxrulehead(r261,u11). ctxrulebody(r261,v11,neg). ctxrule(ctx11,r262). ctxrulehead(r262,v11). ctxrulebody(r262,a11,pos). ctxrulebody(r262,w11,neg). ctxrule(ctx11,r263). ctxrulehead(r263,w11). ctxrulebody(r263,i11,pos). ctxrulebody(r263,x11,neg). ctxrule(ctx11,r264). ctxrulehead(r264,x11). ctxrulebody(r264,w11,neg). brule(ctx11,br149). brulehead(br149,e11). brulebody(br149,ctx12,j12,neg). brule(ctx11,br150). brulehead(br150,x11). brulebody(br150,ctx12,s12,neg). brule(ctx11,br151). brulehead(br151,y11). brulebody(br151,ctx12,o12,neg). brulebody(br151,ctx12,j12,neg). brule(ctx11,br152). brulehead(br152,q11). brulebody(br152,ctx12,s12,pos). brulebody(br152,ctx12,u12,neg). brule(ctx11,br153). brulehead(br153,q11). brulebody(br153,ctx12,s12,neg). brulebody(br153,ctx12,o12,neg). brule(ctx11,br154). brulehead(br154,m11). brulebody(br154,ctx12,h12,pos). brule(ctx11,br155). brulehead(br155,g11). brulebody(br155,ctx12,j12,pos). brulebody(br155,ctx12,s12,pos). brule(ctx11,br156). brulehead(br156,t11). brulebody(br156,ctx12,h12,pos). brulebody(br156,ctx12,j12,pos). brule(ctx11,br157). brulehead(br157,h11). brulebody(br157,ctx12,j12,neg). brulebody(br157,ctx12,m12,neg). brule(ctx11,br158). brulehead(br158,n11). brulebody(br158,ctx12,s12,pos). brule(ctx11,br159). brulehead(br159,s11). brulebody(br159,ctx12,o12,pos). brule(ctx11,br160). brulehead(br160,h11). brulebody(br160,ctx12,y12,pos). ctx(ctx12). ctxrule(ctx12,r265). ctxrulehead(r265,a12). ctxrulebody(r265,v12,pos). ctxrulebody(r265,b12,neg). ctxrule(ctx12,r266). ctxrulehead(r266,b12). ctxrulebody(r266,c12,neg). ctxrule(ctx12,r267). ctxrulehead(r267,c12). ctxrulebody(r267,d12,neg). ctxrule(ctx12,r268). ctxrulehead(r268,d12). ctxrulebody(r268,p12,pos). ctxrulebody(r268,e12,neg). ctxrule(ctx12,r269). ctxrulehead(r269,e12). ctxrulebody(r269,f12,neg). ctxrule(ctx12,r270). ctxrulehead(r270,f12). ctxrulebody(r270,j12,pos). ctxrulebody(r270,g12,neg). ctxrule(ctx12,r271). ctxrulehead(r271,g12). ctxrulebody(r271,a12,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,y12,pos). ctxrulebody(r274,k12,neg). ctxrule(ctx12,r275). ctxrulehead(r275,k12). ctxrulebody(r275,l12,neg). ctxrule(ctx12,r276). ctxrulehead(r276,l12). ctxrulebody(r276,k12,neg). ctxrule(ctx12,r277). ctxrulehead(r277,m12). ctxrulebody(r277,j12,pos). ctxrulebody(r277,n12,neg). ctxrule(ctx12,r278). ctxrulehead(r278,n12). ctxrulebody(r278,y12,pos). ctxrulebody(r278,m12,neg). ctxrule(ctx12,r279). ctxrulehead(r279,o12). ctxrulebody(r279,p12,neg). ctxrule(ctx12,r280). ctxrulehead(r280,p12). ctxrulebody(r280,q12,neg). ctxrule(ctx12,r281). ctxrulehead(r281,q12). ctxrulebody(r281,l12,pos). ctxrulebody(r281,r12,neg). ctxrule(ctx12,r282). ctxrulehead(r282,r12). ctxrulebody(r282,s12,neg). ctxrule(ctx12,r283). ctxrulehead(r283,s12). ctxrulebody(r283,n12,pos). ctxrulebody(r283,t12,neg). ctxrule(ctx12,r284). ctxrulehead(r284,t12). ctxrulebody(r284,s12,neg). ctxrule(ctx12,r285). ctxrulehead(r285,u12). ctxrulebody(r285,v12,neg). ctxrule(ctx12,r286). ctxrulehead(r286,v12). ctxrulebody(r286,u12,neg). ctxrule(ctx12,r287). ctxrulehead(r287,w12). ctxrulebody(r287,x12,neg). ctxrule(ctx12,r288). ctxrulehead(r288,x12). ctxrulebody(r288,w12,neg). brule(ctx12,br161). brulehead(br161,j12). brulebody(br161,ctx13,w13,neg). brule(ctx12,br162). brulehead(br162,u12). brulebody(br162,ctx22,p22,neg). brulebody(br162,ctx23,a23,neg). brule(ctx12,br163). brulehead(br163,e12). brulebody(br163,ctx22,a22,pos). brulebody(br163,ctx22,d22,neg). brule(ctx12,br164). brulehead(br164,b12). brulebody(br164,ctx13,t13,neg). brulebody(br164,ctx23,j23,neg). brule(ctx12,br165). brulehead(br165,g12). brulebody(br165,ctx23,f23,neg). brulebody(br165,ctx23,x23,neg). brule(ctx12,br166). brulehead(br166,n12). brulebody(br166,ctx13,y13,pos). brule(ctx12,br167). brulehead(br167,m12). brulebody(br167,ctx13,x13,neg). brule(ctx12,br168). brulehead(br168,u12). brulebody(br168,ctx13,v13,neg). brule(ctx12,br169). brulehead(br169,e12). brulebody(br169,ctx22,j22,neg). brule(ctx12,br170). brulehead(br170,i12). brulebody(br170,ctx23,j23,neg). brulebody(br170,ctx13,t13,neg). brule(ctx12,br171). brulehead(br171,w12). brulebody(br171,ctx23,f23,pos). brule(ctx12,br172). brulehead(br172,x12). brulebody(br172,ctx23,l23,pos). brule(ctx12,br173). brulehead(br173,h12). brulebody(br173,ctx23,c23,pos). brulebody(br173,ctx23,f23,neg). brule(ctx12,br174). brulehead(br174,o12). brulebody(br174,ctx23,a23,neg). ctx(ctx13). ctxrule(ctx13,r289). ctxrulehead(r289,a13). ctxrulebody(r289,c13,pos). ctxrulebody(r289,b13,neg). ctxrule(ctx13,r290). ctxrulehead(r290,b13). ctxrulebody(r290,a13,neg). ctxrule(ctx13,r291). ctxrulehead(r291,c13). 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,g13,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,k13,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,o13,neg). ctxrule(ctx13,r303). ctxrulehead(r303,o13). ctxrulebody(r303,p13,neg). ctxrule(ctx13,r304). ctxrulehead(r304,p13). ctxrulebody(r304,n13,pos). ctxrulebody(r304,o13,neg). ctxrule(ctx13,r305). ctxrulehead(r305,q13). ctxrulebody(r305,t13,pos). ctxrulebody(r305,r13,neg). ctxrule(ctx13,r306). ctxrulehead(r306,r13). ctxrulebody(r306,s13,neg). ctxrule(ctx13,r307). ctxrulehead(r307,s13). ctxrulebody(r307,j13,pos). ctxrulebody(r307,t13,neg). ctxrule(ctx13,r308). ctxrulehead(r308,t13). ctxrulebody(r308,s13,neg). ctxrule(ctx13,r309). ctxrulehead(r309,u13). ctxrulebody(r309,v13,neg). ctxrule(ctx13,r310). ctxrulehead(r310,v13). ctxrulebody(r310,k13,pos). ctxrulebody(r310,u13,neg). ctxrule(ctx13,r311). ctxrulehead(r311,w13). ctxrulebody(r311,x13,neg). ctxrule(ctx13,r312). ctxrulehead(r312,x13). ctxrulebody(r312,w13,neg). brule(ctx13,br175). brulehead(br175,t13). brulebody(br175,ctx26,e26,pos). brulebody(br175,ctx10,y10,pos). brule(ctx13,br176). brulehead(br176,g13). brulebody(br176,ctx26,g26,pos). brulebody(br176,ctx10,e10,neg). brule(ctx13,br177). brulehead(br177,g13). brulebody(br177,ctx10,r10,neg). brule(ctx13,br178). brulehead(br178,r13). brulebody(br178,ctx10,m10,pos). brulebody(br178,ctx26,w26,neg). brule(ctx13,br179). brulehead(br179,m13). brulebody(br179,ctx27,i27,neg). brule(ctx13,br180). brulehead(br180,m13). brulebody(br180,ctx26,w26,neg). brule(ctx13,br181). brulehead(br181,n13). brulebody(br181,ctx26,n26,neg). brule(ctx13,br182). brulehead(br182,g13). brulebody(br182,ctx26,g26,neg). brule(ctx13,br183). brulehead(br183,h13). brulebody(br183,ctx10,u10,neg). brule(ctx13,br184). brulehead(br184,j13). brulebody(br184,ctx26,k26,pos). brule(ctx13,br185). brulehead(br185,w13). brulebody(br185,ctx27,d27,pos). brule(ctx13,br186). brulehead(br186,b13). brulebody(br186,ctx10,m10,pos). brule(ctx13,br187). brulehead(br187,s13). brulebody(br187,ctx27,u27,pos). brulebody(br187,ctx27,v27,pos). brule(ctx13,br188). brulehead(br188,d13). brulebody(br188,ctx10,e10,pos). brulebody(br188,ctx27,o27,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,c14,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,g14,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,l14,neg). ctxrule(ctx14,r324). ctxrulehead(r324,l14). ctxrulebody(r324,i14,pos). ctxrulebody(r324,m14,neg). ctxrule(ctx14,r325). ctxrulehead(r325,m14). ctxrulebody(r325,n14,neg). ctxrule(ctx14,r326). ctxrulehead(r326,n14). ctxrulebody(r326,s14,pos). ctxrulebody(r326,m14,neg). ctxrule(ctx14,r327). ctxrulehead(r327,o14). ctxrulebody(r327,t14,pos). ctxrulebody(r327,p14,neg). ctxrule(ctx14,r328). ctxrulehead(r328,p14). ctxrulebody(r328,m14,pos). ctxrulebody(r328,o14,neg). ctxrule(ctx14,r329). ctxrulehead(r329,q14). ctxrulebody(r329,e14,pos). ctxrulebody(r329,r14,neg). ctxrule(ctx14,r330). ctxrulehead(r330,r14). ctxrulebody(r330,k14,pos). ctxrulebody(r330,q14,neg). ctxrule(ctx14,r331). ctxrulehead(r331,s14). ctxrulebody(r331,t14,neg). ctxrule(ctx14,r332). ctxrulehead(r332,t14). ctxrulebody(r332,u14,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,y14,neg). brule(ctx14,br189). brulehead(br189,e14). brulebody(br189,ctx15,p15,neg). brulebody(br189,ctx15,x15,neg). brule(ctx14,br190). brulehead(br190,e14). brulebody(br190,ctx15,l15,pos). brulebody(br190,ctx15,u15,neg). brule(ctx14,br191). brulehead(br191,i14). brulebody(br191,ctx15,i15,pos). brulebody(br191,ctx15,w15,neg). brule(ctx14,br192). brulehead(br192,p14). brulebody(br192,ctx15,w15,pos). brulebody(br192,ctx15,x15,neg). brule(ctx14,br193). brulehead(br193,l14). brulebody(br193,ctx15,u15,pos). brulebody(br193,ctx15,m15,pos). brule(ctx14,br194). brulehead(br194,c14). brulebody(br194,ctx15,n15,pos). brulebody(br194,ctx15,j15,pos). brule(ctx14,br195). brulehead(br195,c14). brulebody(br195,ctx15,n15,neg). brulebody(br195,ctx15,x15,neg). brule(ctx14,br196). brulehead(br196,k14). brulebody(br196,ctx15,n15,pos). brulebody(br196,ctx15,l15,neg). brule(ctx14,br197). brulehead(br197,o14). brulebody(br197,ctx15,i15,pos). brule(ctx14,br198). brulehead(br198,y14). brulebody(br198,ctx15,i15,neg). brule(ctx14,br199). brulehead(br199,d14). brulebody(br199,ctx15,j15,pos). ctx(ctx15). ctxrule(ctx15,r337). ctxrulehead(r337,a15). ctxrulebody(r337,b15,neg). ctxrule(ctx15,r338). ctxrulehead(r338,b15). ctxrulebody(r338,a15,neg). ctxrule(ctx15,r339). ctxrulehead(r339,c15). ctxrulebody(r339,d15,neg). ctxrule(ctx15,r340). ctxrulehead(r340,d15). ctxrulebody(r340,e15,neg). ctxrule(ctx15,r341). ctxrulehead(r341,e15). ctxrulebody(r341,r15,pos). ctxrulebody(r341,f15,neg). ctxrule(ctx15,r342). ctxrulehead(r342,f15). ctxrulebody(r342,v15,pos). ctxrulebody(r342,g15,neg). ctxrule(ctx15,r343). ctxrulehead(r343,g15). ctxrulebody(r343,b15,pos). ctxrulebody(r343,h15,neg). ctxrule(ctx15,r344). ctxrulehead(r344,h15). ctxrulebody(r344,g15,neg). ctxrule(ctx15,r345). ctxrulehead(r345,i15). ctxrulebody(r345,o15,pos). 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,a15,pos). ctxrulebody(r349,n15,neg). ctxrule(ctx15,r350). ctxrulehead(r350,n15). ctxrulebody(r350,m15,neg). ctxrule(ctx15,r351). ctxrulehead(r351,o15). ctxrulebody(r351,p15,neg). ctxrule(ctx15,r352). ctxrulehead(r352,p15). ctxrulebody(r352,q15,neg). ctxrule(ctx15,r353). ctxrulehead(r353,q15). ctxrulebody(r353,r15,neg). ctxrule(ctx15,r354). ctxrulehead(r354,r15). ctxrulebody(r354,q15,neg). ctxrule(ctx15,r355). ctxrulehead(r355,s15). 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,u15,neg). ctxrule(ctx15,r359). ctxrulehead(r359,w15). ctxrulebody(r359,x15,neg). ctxrule(ctx15,r360). ctxrulehead(r360,x15). ctxrulebody(r360,y15,neg). brule(ctx15,br200). brulehead(br200,n15). brulebody(br200,ctx16,b16,neg). brulebody(br200,ctx16,d16,neg). brule(ctx15,br201). brulehead(br201,d15). brulebody(br201,ctx16,p16,pos). brulebody(br201,ctx16,k16,neg). brule(ctx15,br202). brulehead(br202,c15). brulebody(br202,ctx16,y16,pos). brule(ctx15,br203). brulehead(br203,g15). brulebody(br203,ctx16,d16,pos). brulebody(br203,ctx16,p16,pos). brule(ctx15,br204). brulehead(br204,p15). brulebody(br204,ctx16,r16,neg). brulebody(br204,ctx16,q16,neg). brule(ctx15,br205). brulehead(br205,o15). brulebody(br205,ctx16,r16,pos). brule(ctx15,br206). brulehead(br206,m15). brulebody(br206,ctx16,d16,pos). brulebody(br206,ctx16,y16,neg). brule(ctx15,br207). brulehead(br207,k15). brulebody(br207,ctx16,b16,pos). brulebody(br207,ctx16,l16,neg). brule(ctx15,br208). brulehead(br208,f15). brulebody(br208,ctx16,k16,neg). brule(ctx15,br209). brulehead(br209,n15). brulebody(br209,ctx16,q16,neg). brulebody(br209,ctx16,k16,neg). brule(ctx15,br210). brulehead(br210,i15). brulebody(br210,ctx16,x16,pos). brulebody(br210,ctx16,l16,neg). brule(ctx15,br211). brulehead(br211,f15). brulebody(br211,ctx16,d16,neg). brulebody(br211,ctx16,l16,neg). brule(ctx15,br212). brulehead(br212,p15). brulebody(br212,ctx16,l16,neg). brulebody(br212,ctx16,p16,neg). ctx(ctx16). ctxrule(ctx16,r361). ctxrulehead(r361,a16). ctxrulebody(r361,b16,neg). ctxrule(ctx16,r362). ctxrulehead(r362,b16). ctxrulebody(r362,a16,neg). ctxrule(ctx16,r363). ctxrulehead(r363,c16). ctxrulebody(r363,d16,neg). ctxrule(ctx16,r364). ctxrulehead(r364,d16). ctxrulebody(r364,c16,neg). ctxrule(ctx16,r365). ctxrulehead(r365,e16). ctxrulebody(r365,o16,pos). ctxrulebody(r365,f16,neg). ctxrule(ctx16,r366). ctxrulehead(r366,f16). ctxrulebody(r366,g16,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,i16,neg). ctxrule(ctx16,r371). ctxrulehead(r371,k16). 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,o16,neg). ctxrule(ctx16,r375). ctxrulehead(r375,o16). ctxrulebody(r375,p16,neg). ctxrule(ctx16,r376). ctxrulehead(r376,p16). ctxrulebody(r376,r16,pos). ctxrulebody(r376,o16,neg). ctxrule(ctx16,r377). ctxrulehead(r377,q16). ctxrulebody(r377,r16,neg). ctxrule(ctx16,r378). ctxrulehead(r378,r16). ctxrulebody(r378,q16,neg). ctxrule(ctx16,r379). ctxrulehead(r379,s16). ctxrulebody(r379,t16,neg). ctxrule(ctx16,r380). ctxrulehead(r380,t16). ctxrulebody(r380,u16,neg). ctxrule(ctx16,r381). ctxrulehead(r381,u16). ctxrulebody(r381,v16,neg). ctxrule(ctx16,r382). ctxrulehead(r382,v16). ctxrulebody(r382,w16,neg). ctxrule(ctx16,r383). ctxrulehead(r383,w16). ctxrulebody(r383,x16,neg). ctxrule(ctx16,r384). ctxrulehead(r384,x16). ctxrulebody(r384,y16,neg). brule(ctx16,br213). brulehead(br213,k16). brulebody(br213,ctx17,s17,neg). brule(ctx16,br214). brulehead(br214,w16). brulebody(br214,ctx31,g31,neg). brule(ctx16,br215). brulehead(br215,i16). brulebody(br215,ctx31,v31,pos). brulebody(br215,ctx30,o30,pos). brule(ctx16,br216). brulehead(br216,s16). brulebody(br216,ctx17,w17,pos). brulebody(br216,ctx30,x30,neg). brule(ctx16,br217). brulehead(br217,y16). brulebody(br217,ctx31,s31,pos). brulebody(br217,ctx31,e31,neg). brule(ctx16,br218). brulehead(br218,f16). brulebody(br218,ctx30,g30,pos). brule(ctx16,br219). brulehead(br219,n16). brulebody(br219,ctx17,s17,pos). brule(ctx16,br220). brulehead(br220,l16). brulebody(br220,ctx30,m30,neg). brule(ctx16,br221). brulehead(br221,i16). brulebody(br221,ctx31,l31,neg). brulebody(br221,ctx30,m30,neg). brule(ctx16,br222). brulehead(br222,w16). brulebody(br222,ctx17,x17,neg). brulebody(br222,ctx30,r30,neg). brule(ctx16,br223). brulehead(br223,i16). brulebody(br223,ctx31,u31,pos). brulebody(br223,ctx31,o31,neg). brule(ctx16,br224). brulehead(br224,a16). ... (This is only a excerpt, because of a very long content and a possible freeze of firefox. Please download for whole content.)