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 05-multi_context_system_querying-0-0.asp

Name	05-multi_context_system_querying-0-0.asp
Classes	[Root]    Unclassified (3031)    Multi Context System Querying (19)    Training Instances 3D ASP Competition (5)
Submitter	Barbara Nardi
Author	Peter Schüller
Description
Created	2012-03-29 10:22
Modified	2012-03-29 10:22
Languages	Facts
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	% master file generated by generate_master_file.py for prefix 502-20-10-20 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,i1,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,k1,neg). ctxrule(ctx1,r13). ctxrulehead(r13,m1). ctxrulebody(r13,1,neg). ctxrule(ctx1,r14). ctxrulehead(r14,n1). ctxrulebody(r14,1,neg). ctxrule(ctx1,r15). ctxrulehead(r15,o1). ctxrulebody(r15,p1,neg). ctxrule(ctx1,r16). ctxrulehead(r16,p1). ctxrulebody(r16,1,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,1,neg). brule(ctx1,br1). brulehead(br1,l1). brulebody(br1,ctx2,k2,neg). brule(ctx1,br2). brulehead(br2,n1). brulebody(br2,ctx3,k3,pos). brule(ctx1,br3). brulehead(br3,m1). brulebody(br3,ctx3,g3,neg). brule(ctx1,br4). brulehead(br4,p1). brulebody(br4,ctx2,k2,pos). brule(ctx1,br5). brulehead(br5,b1). brulebody(br5,ctx2,e2,pos). brulebody(br5,ctx3,d3,pos). brule(ctx1,br6). brulehead(br6,e1). brulebody(br6,ctx2,j2,neg). brule(ctx1,br7). brulehead(br7,e1). brulebody(br7,ctx2,e2,neg). brulebody(br7,ctx3,s3,neg). brule(ctx1,br8). brulehead(br8,n1). brulebody(br8,ctx3,s3,neg). brule(ctx1,br9). brulehead(br9,j1). brulebody(br9,ctx2,e2,neg). brulebody(br9,ctx3,k3,neg). brule(ctx1,br10). brulehead(br10,o1). brulebody(br10,ctx3,i3,neg). ctx(ctx2). ctxrule(ctx2,r20). ctxrulehead(r20,a2). ctxrulebody(r20,b2,neg). ctxrule(ctx2,r21). ctxrulehead(r21,b2). ctxrulebody(r21,c2,neg). ctxrule(ctx2,r22). ctxrulehead(r22,c2). ctxrulebody(r22,d2,neg). ctxrule(ctx2,r23). ctxrulehead(r23,d2). ctxrulebody(r23,e2,neg). ctxrule(ctx2,r24). ctxrulehead(r24,e2). ctxrulebody(r24,f2,neg). ctxrule(ctx2,r25). ctxrulehead(r25,f2). ctxrulebody(r25,g2,neg). ctxrule(ctx2,r26). ctxrulehead(r26,g2). ctxrulebody(r26,h2,neg). ctxrule(ctx2,r27). ctxrulehead(r27,h2). ctxrulebody(r27,i2,neg). ctxrule(ctx2,r28). ctxrulehead(r28,i2). ctxrulebody(r28,j2,neg). ctxrule(ctx2,r29). ctxrulehead(r29,j2). ctxrulebody(r29,i2,neg). ctxrule(ctx2,r30). ctxrulehead(r30,k2). ctxrulebody(r30,l2,neg). ctxrule(ctx2,r31). ctxrulehead(r31,l2). ctxrulebody(r31,m2,neg). ctxrule(ctx2,r32). ctxrulehead(r32,m2). ctxrulebody(r32,2,neg). ctxrule(ctx2,r33). ctxrulehead(r33,n2). ctxrulebody(r33,2,neg). ctxrule(ctx2,r34). ctxrulehead(r34,o2). ctxrulebody(r34,p2,neg). ctxrule(ctx2,r35). ctxrulehead(r35,p2). ctxrulebody(r35,2,neg). ctxrule(ctx2,r36). ctxrulehead(r36,q2). ctxrulebody(r36,r2,neg). ctxrule(ctx2,r37). ctxrulehead(r37,r2). ctxrulebody(r37,s2,neg). ctxrule(ctx2,r38). ctxrulehead(r38,s2). ctxrulebody(r38,2,neg). ctxrule(ctx2,r39). ctxrulehead(r39,t2). ctxrulebody(r39,s2,neg). brule(ctx2,br11). brulehead(br11,l2). brulebody(br11,ctx3,a3,pos). brulebody(br11,ctx4,p4,neg). brule(ctx2,br12). brulehead(br12,c2). brulebody(br12,ctx4,g4,pos). brule(ctx2,br13). brulehead(br13,g2). brulebody(br13,ctx4,a4,neg). brule(ctx2,br14). brulehead(br14,i2). brulebody(br14,ctx3,s3,pos). brulebody(br14,ctx3,b3,neg). brule(ctx2,br15). brulehead(br15,t2). brulebody(br15,ctx4,m4,neg). brule(ctx2,br16). brulehead(br16,n2). brulebody(br16,ctx4,m4,neg). brule(ctx2,br17). brulehead(br17,n2). brulebody(br17,ctx3,p3,neg). brulebody(br17,ctx3,i3,neg). brule(ctx2,br18). brulehead(br18,h2). brulebody(br18,ctx4,b4,pos). ctx(ctx3). ctxrule(ctx3,r40). ctxrulehead(r40,a3). ctxrulebody(r40,b3,neg). ctxrule(ctx3,r41). ctxrulehead(r41,b3). ctxrulebody(r41,a3,neg). ctxrule(ctx3,r42). ctxrulehead(r42,c3). ctxrulebody(r42,d3,neg). ctxrule(ctx3,r43). ctxrulehead(r43,d3). ctxrulebody(r43,c3,neg). ctxrule(ctx3,r44). ctxrulehead(r44,e3). ctxrulebody(r44,f3,neg). ctxrule(ctx3,r45). ctxrulehead(r45,f3). ctxrulebody(r45,g3,neg). ctxrule(ctx3,r46). ctxrulehead(r46,g3). ctxrulebody(r46,h3,neg). ctxrule(ctx3,r47). ctxrulehead(r47,h3). ctxrulebody(r47,g3,neg). ctxrule(ctx3,r48). ctxrulehead(r48,i3). ctxrulebody(r48,j3,neg). ctxrule(ctx3,r49). ctxrulehead(r49,j3). ctxrulebody(r49,i3,neg). ctxrule(ctx3,r50). ctxrulehead(r50,k3). ctxrulebody(r50,l3,neg). ctxrule(ctx3,r51). ctxrulehead(r51,l3). ctxrulebody(r51,m3,neg). ctxrule(ctx3,r52). ctxrulehead(r52,m3). ctxrulebody(r52,3,neg). ctxrule(ctx3,r53). ctxrulehead(r53,n3). ctxrulebody(r53,3,neg). ctxrule(ctx3,r54). ctxrulehead(r54,o3). ctxrulebody(r54,p3,neg). ctxrule(ctx3,r55). ctxrulehead(r55,p3). ctxrulebody(r55,3,neg). ctxrule(ctx3,r56). ctxrulehead(r56,q3). ctxrulebody(r56,r3,neg). ctxrule(ctx3,r57). ctxrulehead(r57,r3). ctxrulebody(r57,s3,neg). ctxrule(ctx3,r58). ctxrulehead(r58,s3). ctxrulebody(r58,3,neg). ctxrule(ctx3,r59). ctxrulehead(r59,t3). ctxrulebody(r59,s3,neg). brule(ctx3,br19). brulehead(br19,l3). brulebody(br19,ctx4,d4,pos). brule(ctx3,br20). brulehead(br20,o3). brulebody(br20,ctx4,f4,pos). brulebody(br20,ctx4,b4,neg). brule(ctx3,br21). brulehead(br21,m3). brulebody(br21,ctx4,d4,pos). brulebody(br21,ctx4,c4,pos). brule(ctx3,br22). brulehead(br22,e3). brulebody(br22,ctx4,s4,pos). brule(ctx3,br23). brulehead(br23,s3). brulebody(br23,ctx4,p4,pos). brulebody(br23,ctx4,m4,neg). brule(ctx3,br24). brulehead(br24,c3). brulebody(br24,ctx4,d4,pos). brulebody(br24,ctx4,h4,neg). brule(ctx3,br25). brulehead(br25,n3). brulebody(br25,ctx4,f4,pos). brulebody(br25,ctx4,h4,pos). brule(ctx3,br26). brulehead(br26,q3). brulebody(br26,ctx4,d4,pos). brulebody(br26,ctx4,c4,neg). brule(ctx3,br27). brulehead(br27,g3). brulebody(br27,ctx4,s4,pos). brule(ctx3,br28). brulehead(br28,c3). brulebody(br28,ctx4,h4,pos). brule(ctx3,br29). brulehead(br29,o3). brulebody(br29,ctx4,b4,neg). brule(ctx3,br30). brulehead(br30,j3). brulebody(br30,ctx4,p4,neg). ctx(ctx4). ctxrule(ctx4,r60). ctxrulehead(r60,a4). ctxrulebody(r60,b4,neg). ctxrule(ctx4,r61). ctxrulehead(r61,b4). ctxrulebody(r61,c4,neg). ctxrule(ctx4,r62). ctxrulehead(r62,c4). ctxrulebody(r62,d4,neg). ctxrule(ctx4,r63). ctxrulehead(r63,d4). ctxrulebody(r63,c4,neg). ctxrule(ctx4,r64). ctxrulehead(r64,e4). ctxrulebody(r64,f4,neg). ctxrule(ctx4,r65). ctxrulehead(r65,f4). ctxrulebody(r65,e4,neg). ctxrule(ctx4,r66). ctxrulehead(r66,g4). ctxrulebody(r66,h4,neg). ctxrule(ctx4,r67). ctxrulehead(r67,h4). ctxrulebody(r67,g4,neg). ctxrule(ctx4,r68). ctxrulehead(r68,i4). ctxrulebody(r68,j4,neg). ctxrule(ctx4,r69). ctxrulehead(r69,j4). ctxrulebody(r69,i4,neg). ctxrule(ctx4,r70). ctxrulehead(r70,k4). ctxrulebody(r70,l4,neg). ctxrule(ctx4,r71). ctxrulehead(r71,l4). ctxrulebody(r71,m4,neg). ctxrule(ctx4,r72). ctxrulehead(r72,m4). ctxrulebody(r72,4,neg). ctxrule(ctx4,r73). ctxrulehead(r73,n4). ctxrulebody(r73,4,neg). ctxrule(ctx4,r74). ctxrulehead(r74,o4). ctxrulebody(r74,p4,neg). ctxrule(ctx4,r75). ctxrulehead(r75,p4). ctxrulebody(r75,4,neg). ctxrule(ctx4,r76). ctxrulehead(r76,q4). ctxrulebody(r76,r4,neg). ctxrule(ctx4,r77). ctxrulehead(r77,r4). ctxrulebody(r77,s4,neg). ctxrule(ctx4,r78). ctxrulehead(r78,s4). ctxrulebody(r78,4,neg). ctxrule(ctx4,r79). ctxrulehead(r79,t4). ctxrulebody(r79,s4,neg). brule(ctx4,br31). brulehead(br31,d4). brulebody(br31,ctx5,e5,pos). brulebody(br31,ctx6,k6,neg). brule(ctx4,br32). brulehead(br32,n4). brulebody(br32,ctx6,g6,neg). brule(ctx4,br33). brulehead(br33,j4). brulebody(br33,ctx6,g6,pos). brulebody(br33,ctx5,g5,neg). brule(ctx4,br34). brulehead(br34,g4). brulebody(br34,ctx5,m5,neg). brulebody(br34,ctx6,n6,neg). brule(ctx4,br35). brulehead(br35,i4). brulebody(br35,ctx5,g5,neg). brulebody(br35,ctx6,r6,neg). brule(ctx4,br36). brulehead(br36,m4). brulebody(br36,ctx5,j5,pos). brulebody(br36,ctx6,e6,pos). brule(ctx4,br37). brulehead(br37,t4). brulebody(br37,ctx6,r6,neg). brule(ctx4,br38). brulehead(br38,n4). brulebody(br38,ctx6,f6,neg). brulebody(br38,ctx6,r6,neg). brule(ctx4,br39). brulehead(br39,o4). brulebody(br39,ctx6,k6,neg). brule(ctx4,br40). brulehead(br40,b4). brulebody(br40,ctx6,i6,pos). brule(ctx4,br41). brulehead(br41,g4). brulebody(br41,ctx5,a5,pos). brule(ctx4,br42). brulehead(br42,l4). brulebody(br42,ctx5,i5,pos). brulebody(br42,ctx6,i6,neg). ctx(ctx5). ctxrule(ctx5,r80). ctxrulehead(r80,a5). ctxrulebody(r80,b5,neg). ctxrule(ctx5,r81). ctxrulehead(r81,b5). ctxrulebody(r81,a5,neg). ctxrule(ctx5,r82). ctxrulehead(r82,c5). ctxrulebody(r82,d5,neg). ctxrule(ctx5,r83). ctxrulehead(r83,d5). ctxrulebody(r83,c5,neg). ctxrule(ctx5,r84). ctxrulehead(r84,e5). ctxrulebody(r84,f5,neg). ctxrule(ctx5,r85). ctxrulehead(r85,f5). ctxrulebody(r85,e5,neg). ctxrule(ctx5,r86). ctxrulehead(r86,g5). ctxrulebody(r86,h5,neg). ctxrule(ctx5,r87). ctxrulehead(r87,h5). ctxrulebody(r87,i5,neg). ctxrule(ctx5,r88). ctxrulehead(r88,i5). ctxrulebody(r88,j5,neg). ctxrule(ctx5,r89). ctxrulehead(r89,j5). ctxrulebody(r89,k5,neg). ctxrule(ctx5,r90). ctxrulehead(r90,k5). ctxrulebody(r90,l5,neg). ctxrule(ctx5,r91). ctxrulehead(r91,l5). ctxrulebody(r91,k5,neg). ctxrule(ctx5,r92). ctxrulehead(r92,m5). ctxrulebody(r92,5,neg). ctxrule(ctx5,r93). ctxrulehead(r93,n5). ctxrulebody(r93,5,neg). ctxrule(ctx5,r94). ctxrulehead(r94,o5). ctxrulebody(r94,p5,neg). ctxrule(ctx5,r95). ctxrulehead(r95,p5). ctxrulebody(r95,5,neg). ctxrule(ctx5,r96). ctxrulehead(r96,q5). ctxrulebody(r96,r5,neg). ctxrule(ctx5,r97). ctxrulehead(r97,r5). ctxrulebody(r97,q5,neg). ctxrule(ctx5,r98). ctxrulehead(r98,s5). ctxrulebody(r98,5,neg). brule(ctx5,br43). brulehead(br43,f5). brulebody(br43,ctx7,p7,neg). brule(ctx5,br44). brulehead(br44,i5). brulebody(br44,ctx7,s7,pos). brulebody(br44,ctx7,r7,neg). brule(ctx5,br45). brulehead(br45,l5). brulebody(br45,ctx7,g7,neg). brule(ctx5,br46). brulehead(br46,c5). brulebody(br46,ctx6,i6,pos). brulebody(br46,ctx6,n6,pos). brule(ctx5,br47). brulehead(br47,j5). brulebody(br47,ctx6,n6,pos). brule(ctx5,br48). brulehead(br48,l5). brulebody(br48,ctx6,r6,neg). brule(ctx5,br49). brulehead(br49,e5). brulebody(br49,ctx6,n6,neg). brulebody(br49,ctx7,d7,neg). brule(ctx5,br50). brulehead(br50,q5). brulebody(br50,ctx6,i6,pos). brule(ctx5,br51). brulehead(br51,j5). brulebody(br51,ctx6,i6,pos). brulebody(br51,ctx6,h6,neg). ctx(ctx6). ctxrule(ctx6,r99). ctxrulehead(r99,a6). ctxrulebody(r99,b6,neg). ctxrule(ctx6,r100). ctxrulehead(r100,b6). ctxrulebody(r100,a6,neg). ctxrule(ctx6,r101). ctxrulehead(r101,c6). ctxrulebody(r101,d6,neg). ctxrule(ctx6,r102). ctxrulehead(r102,d6). ctxrulebody(r102,c6,neg). ctxrule(ctx6,r103). ctxrulehead(r103,e6). ctxrulebody(r103,f6,neg). ctxrule(ctx6,r104). ctxrulehead(r104,f6). ctxrulebody(r104,g6,neg). ctxrule(ctx6,r105). ctxrulehead(r105,g6). ctxrulebody(r105,h6,neg). ctxrule(ctx6,r106). ctxrulehead(r106,h6). ctxrulebody(r106,g6,neg). ctxrule(ctx6,r107). ctxrulehead(r107,i6). ctxrulebody(r107,j6,neg). ctxrule(ctx6,r108). ctxrulehead(r108,j6). ctxrulebody(r108,i6,neg). ctxrule(ctx6,r109). ctxrulehead(r109,k6). ctxrulebody(r109,l6,neg). ctxrule(ctx6,r110). ctxrulehead(r110,l6). ctxrulebody(r110,m6,neg). ctxrule(ctx6,r111). ctxrulehead(r111,m6). ctxrulebody(r111,6,neg). ctxrule(ctx6,r112). ctxrulehead(r112,n6). ctxrulebody(r112,6,neg). ctxrule(ctx6,r113). ctxrulehead(r113,o6). ctxrulebody(r113,p6,neg). ctxrule(ctx6,r114). ctxrulehead(r114,p6). ctxrulebody(r114,q6,neg). ctxrule(ctx6,r115). ctxrulehead(r115,q6). ctxrulebody(r115,r6,neg). ctxrule(ctx6,r116). ctxrulehead(r116,r6). ctxrulebody(r116,s6,neg). ctxrule(ctx6,r117). ctxrulehead(r117,s6). ctxrulebody(r117,6,neg). ctxrule(ctx6,r118). ctxrulehead(r118,t6). ctxrulebody(r118,s6,neg). brule(ctx6,br52). brulehead(br52,b6). brulebody(br52,ctx7,q7,neg). brule(ctx6,br53). brulehead(br53,t6). brulebody(br53,ctx7,m7,pos). brulebody(br53,ctx7,e7,neg). brule(ctx6,br54). brulehead(br54,n6). brulebody(br54,ctx7,g7,pos). brulebody(br54,ctx7,p7,pos). brule(ctx6,br55). brulehead(br55,k6). brulebody(br55,ctx7,e7,pos). brulebody(br55,ctx7,p7,pos). brule(ctx6,br56). brulehead(br56,r6). brulebody(br56,ctx7,d7,neg). brule(ctx6,br57). brulehead(br57,p6). brulebody(br57,ctx7,e7,neg). brulebody(br57,ctx7,q7,neg). brule(ctx6,br58). brulehead(br58,i6). brulebody(br58,ctx7,p7,pos). brulebody(br58,ctx7,e7,neg). ctx(ctx7). ctxrule(ctx7,r119). ctxrulehead(r119,a7). ctxrulebody(r119,b7,neg). ctxrule(ctx7,r120). ctxrulehead(r120,b7). ctxrulebody(r120,a7,neg). ctxrule(ctx7,r121). ctxrulehead(r121,c7). ctxrulebody(r121,d7,neg). ctxrule(ctx7,r122). ctxrulehead(r122,d7). ctxrulebody(r122,e7,neg). ctxrule(ctx7,r123). ctxrulehead(r123,e7). ctxrulebody(r123,f7,neg). ctxrule(ctx7,r124). ctxrulehead(r124,f7). ctxrulebody(r124,e7,neg). ctxrule(ctx7,r125). ctxrulehead(r125,g7). ctxrulebody(r125,h7,neg). ctxrule(ctx7,r126). ctxrulehead(r126,h7). ctxrulebody(r126,g7,neg). ctxrule(ctx7,r127). ctxrulehead(r127,i7). ctxrulebody(r127,j7,neg). ctxrule(ctx7,r128). ctxrulehead(r128,j7). ctxrulebody(r128,i7,neg). ctxrule(ctx7,r129). ctxrulehead(r129,k7). ctxrulebody(r129,l7,neg). ctxrule(ctx7,r130). ctxrulehead(r130,l7). ctxrulebody(r130,m7,neg). ctxrule(ctx7,r131). ctxrulehead(r131,m7). ctxrulebody(r131,7,neg). ctxrule(ctx7,r132). ctxrulehead(r132,n7). ctxrulebody(r132,m7,neg). ctxrule(ctx7,r133). ctxrulehead(r133,o7). ctxrulebody(r133,p7,neg). ctxrule(ctx7,r134). ctxrulehead(r134,p7). ctxrulebody(r134,7,neg). ctxrule(ctx7,r135). ctxrulehead(r135,q7). ctxrulebody(r135,r7,neg). ctxrule(ctx7,r136). ctxrulehead(r136,r7). ctxrulebody(r136,s7,neg). ctxrule(ctx7,r137). ctxrulehead(r137,s7). ctxrulebody(r137,7,neg). ctxrule(ctx7,r138). ctxrulehead(r138,t7). ctxrulebody(r138,s7,neg). brule(ctx7,br59). brulehead(br59,s7). brulebody(br59,ctx8,j8,pos). brulebody(br59,ctx9,f9,pos). brule(ctx7,br60). brulehead(br60,c7). brulebody(br60,ctx9,l9,neg). brulebody(br60,ctx9,i9,neg). brule(ctx7,br61). brulehead(br61,b7). brulebody(br61,ctx9,a9,pos). brule(ctx7,br62). brulehead(br62,b7). brulebody(br62,ctx8,d8,pos). brule(ctx7,br63). brulehead(br63,f7). brulebody(br63,ctx8,a8,pos). brule(ctx7,br64). brulehead(br64,l7). brulebody(br64,ctx8,d8,neg). brulebody(br64,ctx9,l9,neg). brule(ctx7,br65). brulehead(br65,i7). brulebody(br65,ctx8,a8,pos). brulebody(br65,ctx9,e9,neg). brule(ctx7,br66). brulehead(br66,n7). brulebody(br66,ctx9,m9,neg). ctx(ctx8). ctxrule(ctx8,r139). ctxrulehead(r139,a8). ctxrulebody(r139,b8,neg). ctxrule(ctx8,r140). ctxrulehead(r140,b8). ctxrulebody(r140,c8,neg). ctxrule(ctx8,r141). ctxrulehead(r141,c8). ctxrulebody(r141,d8,neg). ctxrule(ctx8,r142). ctxrulehead(r142,d8). ctxrulebody(r142,e8,neg). ctxrule(ctx8,r143). ctxrulehead(r143,e8). ctxrulebody(r143,f8,neg). ctxrule(ctx8,r144). ctxrulehead(r144,f8). ctxrulebody(r144,g8,neg). ctxrule(ctx8,r145). ctxrulehead(r145,g8). ctxrulebody(r145,h8,neg). ctxrule(ctx8,r146). ctxrulehead(r146,h8). ctxrulebody(r146,i8,neg). ctxrule(ctx8,r147). ctxrulehead(r147,i8). ctxrulebody(r147,j8,neg). ctxrule(ctx8,r148). ctxrulehead(r148,j8). ctxrulebody(r148,k8,neg). ctxrule(ctx8,r149). ctxrulehead(r149,k8). ctxrulebody(r149,l8,neg). ctxrule(ctx8,r150). ctxrulehead(r150,l8). ctxrulebody(r150,m8,neg). ctxrule(ctx8,r151). ctxrulehead(r151,m8). ctxrulebody(r151,8,neg). ctxrule(ctx8,r152). ctxrulehead(r152,n8). ctxrulebody(r152,m8,neg). ctxrule(ctx8,r153). ctxrulehead(r153,o8). ctxrulebody(r153,p8,neg). ctxrule(ctx8,r154). ctxrulehead(r154,p8). ctxrulebody(r154,q8,neg). ctxrule(ctx8,r155). ctxrulehead(r155,q8). ctxrulebody(r155,r8,neg). ctxrule(ctx8,r156). ctxrulehead(r156,r8). ctxrulebody(r156,q8,neg). ctxrule(ctx8,r157). ctxrulehead(r157,s8). ctxrulebody(r157,8,neg). brule(ctx8,br67). brulehead(br67,a8). brulebody(br67,ctx9,f9,neg). brule(ctx8,br68). brulehead(br68,l8). brulebody(br68,ctx10,h10,pos). brulebody(br68,ctx10,r10,pos). brule(ctx8,br69). brulehead(br69,p8). brulebody(br69,ctx10,i10,neg). brule(ctx8,br70). brulehead(br70,c8). brulebody(br70,ctx9,p9,pos). brule(ctx8,br71). brulehead(br71,p8). brulebody(br71,ctx10,f10,neg). brule(ctx8,br72). brulehead(br72,p8). brulebody(br72,ctx10,i10,pos). brulebody(br72,ctx9,p9,neg). brule(ctx8,br73). brulehead(br73,i8). brulebody(br73,ctx10,a10,neg). brulebody(br73,ctx10,h10,neg). brule(ctx8,br74). brulehead(br74,n8). brulebody(br74,ctx10,c10,pos). brule(ctx8,br75). brulehead(br75,d8). brulebody(br75,ctx9,l9,pos). brulebody(br75,ctx10,c10,neg). brule(ctx8,br76). brulehead(br76,n8). brulebody(br76,ctx9,r9,pos). brulebody(br76,ctx9,a9,neg). brule(ctx8,br77). brulehead(br77,e8). brulebody(br77,ctx10,c10,pos). brule(ctx8,br78). brulehead(br78,s8). brulebody(br78,ctx10,r10,pos). brulebody(br78,ctx9,m9,neg). ctx(ctx9). ctxrule(ctx9,r158). ctxrulehead(r158,a9). ctxrulebody(r158,b9,neg). ctxrule(ctx9,r159). ctxrulehead(r159,b9). ctxrulebody(r159,a9,neg). ctxrule(ctx9,r160). ctxrulehead(r160,c9). ctxrulebody(r160,d9,neg). ctxrule(ctx9,r161). ctxrulehead(r161,d9). ctxrulebody(r161,e9,neg). ctxrule(ctx9,r162). ctxrulehead(r162,e9). ctxrulebody(r162,f9,neg). ctxrule(ctx9,r163). ctxrulehead(r163,f9). ctxrulebody(r163,e9,neg). ctxrule(ctx9,r164). ctxrulehead(r164,g9). ctxrulebody(r164,h9,neg). ctxrule(ctx9,r165). ctxrulehead(r165,h9). ctxrulebody(r165,g9,neg). ctxrule(ctx9,r166). ctxrulehead(r166,i9). ctxrulebody(r166,j9,neg). ctxrule(ctx9,r167). ctxrulehead(r167,j9). ctxrulebody(r167,k9,neg). ctxrule(ctx9,r168). ctxrulehead(r168,k9). ctxrulebody(r168,l9,neg). ctxrule(ctx9,r169). ctxrulehead(r169,l9). ctxrulebody(r169,k9,neg). ctxrule(ctx9,r170). ctxrulehead(r170,m9). ctxrulebody(r170,9,neg). ctxrule(ctx9,r171). ctxrulehead(r171,n9). ctxrulebody(r171,9,neg). ctxrule(ctx9,r172). ctxrulehead(r172,o9). ctxrulebody(r172,p9,neg). ctxrule(ctx9,r173). ctxrulehead(r173,p9). ctxrulebody(r173,9,neg). ctxrule(ctx9,r174). ctxrulehead(r174,q9). ctxrulebody(r174,r9,neg). ctxrule(ctx9,r175). ctxrulehead(r175,r9). ctxrulebody(r175,q9,neg). ctxrule(ctx9,r176). ctxrulehead(r176,s9). ctxrulebody(r176,9,neg). ctxrule(ctx9,r177). ctxrulehead(r177,t9). ctxrulebody(r177,s9,neg). brule(ctx9,br79). brulehead(br79,j9). brulebody(br79,ctx10,f10,pos). brulebody(br79,ctx10,c10,pos). brule(ctx9,br80). brulehead(br80,t9). brulebody(br80,ctx10,s10,neg). brule(ctx9,br81). brulehead(br81,e9). brulebody(br81,ctx10,h10,neg). brulebody(br81,ctx10,m10,neg). brule(ctx9,br82). brulehead(br82,k9). brulebody(br82,ctx10,f10,neg). brule(ctx9,br83). brulehead(br83,f9). brulebody(br83,ctx10,c10,pos). brulebody(br83,ctx10,l10,neg). brule(ctx9,br84). brulehead(br84,a9). brulebody(br84,ctx10,t10,pos). brule(ctx9,br85). brulehead(br85,t9). brulebody(br85,ctx10,t10,neg). brule(ctx9,br86). brulehead(br86,b9). brulebody(br86,ctx10,l10,neg). brule(ctx9,br87). brulehead(br87,p9). brulebody(br87,ctx10,c10,pos). brulebody(br87,ctx10,t10,pos). brule(ctx9,br88). brulehead(br88,h9). brulebody(br88,ctx10,l10,pos). brule(ctx9,br89). brulehead(br89,p9). brulebody(br89,ctx10,a10,pos). brule(ctx9,br90). brulehead(br90,i9). brulebody(br90,ctx10,s10,neg). brulebody(br90,ctx10,i10,neg). ctx(ctx10). ctxrule(ctx10,r178). ctxrulehead(r178,a10). ctxrulebody(r178,b10,neg). ctxrule(ctx10,r179). ctxrulehead(r179,b10). ctxrulebody(r179,c10,neg). ctxrule(ctx10,r180). ctxrulehead(r180,c10). ctxrulebody(r180,d10,neg). ctxrule(ctx10,r181). ctxrulehead(r181,d10). ctxrulebody(r181,e10,neg). ctxrule(ctx10,r182). ctxrulehead(r182,e10). ctxrulebody(r182,f10,neg). ctxrule(ctx10,r183). ctxrulehead(r183,f10). ctxrulebody(r183,g10,neg). ctxrule(ctx10,r184). ctxrulehead(r184,g10). ctxrulebody(r184,h10,neg). ctxrule(ctx10,r185). ctxrulehead(r185,h10). ctxrulebody(r185,g10,neg). ctxrule(ctx10,r186). ctxrulehead(r186,i10). ctxrulebody(r186,j10,neg). ctxrule(ctx10,r187). ctxrulehead(r187,j10). ctxrulebody(r187,k10,neg). ctxrule(ctx10,r188). ctxrulehead(r188,k10). ctxrulebody(r188,l10,neg). ctxrule(ctx10,r189). ctxrulehead(r189,l10). ctxrulebody(r189,k10,neg). ctxrule(ctx10,r190). ctxrulehead(r190,m10). ctxrulebody(r190,10,neg). ctxrule(ctx10,r191). ctxrulehead(r191,n10). ctxrulebody(r191,m10,neg). ctxrule(ctx10,r192). ctxrulehead(r192,o10). ctxrulebody(r192,p10,neg). ctxrule(ctx10,r193). ctxrulehead(r193,p10). ctxrulebody(r193,10,neg). ctxrule(ctx10,r194). ctxrulehead(r194,q10). ctxrulebody(r194,r10,neg). ctxrule(ctx10,r195). ctxrulehead(r195,r10). ctxrulebody(r195,s10,neg). ctxrule(ctx10,r196). ctxrulehead(r196,s10). ctxrulebody(r196,10,neg). brule(ctx10,br91). brulehead(br91,p10). brulebody(br91,ctx11,d11,neg). brulebody(br91,ctx12,a12,neg). brule(ctx10,br92). brulehead(br92,i10). brulebody(br92,ctx12,i12,neg). brule(ctx10,br93). brulehead(br93,e10). brulebody(br93,ctx11,p11,pos). brule(ctx10,br94). brulehead(br94,g10). brulebody(br94,ctx12,i12,neg). brule(ctx10,br95). brulehead(br95,b10). brulebody(br95,ctx12,t12,pos). brulebody(br95,ctx11,p11,neg). brule(ctx10,br96). brulehead(br96,d10). brulebody(br96,ctx11,k11,neg). brule(ctx10,br97). brulehead(br97,h10). brulebody(br97,ctx12,q12,pos). brule(ctx10,br98). brulehead(br98,p10). brulebody(br98,ctx11,l11,neg). brule(ctx10,br99). brulehead(br99,k10). brulebody(br99,ctx11,p11,pos). brulebody(br99,ctx12,o12,pos). brule(ctx10,br100). brulehead(br100,h10). brulebody(br100,ctx12,e12,pos). brulebody(br100,ctx12,h12,neg). ctx(ctx11). ctxrule(ctx11,r197). ctxrulehead(r197,a11). ctxrulebody(r197,b11,neg). ctxrule(ctx11,r198). ctxrulehead(r198,b11). ctxrulebody(r198,a11,neg). ctxrule(ctx11,r199). ctxrulehead(r199,c11). ctxrulebody(r199,d11,neg). ctxrule(ctx11,r200). ctxrulehead(r200,d11). ctxrulebody(r200,e11,neg). ctxrule(ctx11,r201). ctxrulehead(r201,e11). ctxrulebody(r201,f11,neg). ctxrule(ctx11,r202). ctxrulehead(r202,f11). ctxrulebody(r202,e11,neg). ctxrule(ctx11,r203). ctxrulehead(r203,g11). ctxrulebody(r203,h11,neg). ctxrule(ctx11,r204). ctxrulehead(r204,h11). ctxrulebody(r204,i11,neg). ctxrule(ctx11,r205). ctxrulehead(r205,i11). ctxrulebody(r205,j11,neg). ctxrule(ctx11,r206). ctxrulehead(r206,j11). ctxrulebody(r206,i11,neg). ctxrule(ctx11,r207). ctxrulehead(r207,k11). ctxrulebody(r207,l11,neg). ctxrule(ctx11,r208). ctxrulehead(r208,l11). ctxrulebody(r208,k11,neg). ctxrule(ctx11,r209). ctxrulehead(r209,m11). ctxrulebody(r209,11,neg). ctxrule(ctx11,r210). ctxrulehead(r210,n11). ctxrulebody(r210,m11,neg). ctxrule(ctx11,r211). ctxrulehead(r211,o11). ctxrulebody(r211,p11,neg). ctxrule(ctx11,r212). ctxrulehead(r212,p11). ctxrulebody(r212,q11,neg). ctxrule(ctx11,r213). ctxrulehead(r213,q11). ctxrulebody(r213,r11,neg). ctxrule(ctx11,r214). ctxrulehead(r214,r11). ctxrulebody(r214,q11,neg). ctxrule(ctx11,r215). ctxrulehead(r215,s11). ctxrulebody(r215,11,neg). ctxrule(ctx11,r216). ctxrulehead(r216,t11). ctxrulebody(r216,s11,neg). brule(ctx11,br101). brulehead(br101,t11). brulebody(br101,ctx13,m13,neg). brule(ctx11,br102). brulehead(br102,t11). brulebody(br102,ctx12,o12,neg). brulebody(br102,ctx13,n13,neg). brule(ctx11,br103). brulehead(br103,p11). brulebody(br103,ctx13,j13,neg). brule(ctx11,br104). brulehead(br104,j11). brulebody(br104,ctx13,r13,pos). brulebody(br104,ctx12,o12,neg). brule(ctx11,br105). brulehead(br105,f11). brulebody(br105,ctx13,o13,pos). brule(ctx11,br106). brulehead(br106,a11). brulebody(br106,ctx12,m12,neg). brule(ctx11,br107). brulehead(br107,n11). brulebody(br107,ctx13,i13,pos). brule(ctx11,br108). brulehead(br108,j11). brulebody(br108,ctx12,a12,pos). brule(ctx11,br109). brulehead(br109,g11). brulebody(br109,ctx12,i12,pos). brulebody(br109,ctx13,d13,neg). brule(ctx11,br110). brulehead(br110,g11). brulebody(br110,ctx13,m13,neg). brulebody(br110,ctx13,d13,neg). ctx(ctx12). ctxrule(ctx12,r217). ctxrulehead(r217,a12). ctxrulebody(r217,b12,neg). ctxrule(ctx12,r218). ctxrulehead(r218,b12). ctxrulebody(r218,a12,neg). ctxrule(ctx12,r219). ctxrulehead(r219,c12). ctxrulebody(r219,d12,neg). ctxrule(ctx12,r220). ctxrulehead(r220,d12). ctxrulebody(r220,c12,neg). ctxrule(ctx12,r221). ctxrulehead(r221,e12). ctxrulebody(r221,f12,neg). ctxrule(ctx12,r222). ctxrulehead(r222,f12). ctxrulebody(r222,e12,neg). ctxrule(ctx12,r223). ctxrulehead(r223,g12). ctxrulebody(r223,h12,neg). ctxrule(ctx12,r224). ctxrulehead(r224,h12). ctxrulebody(r224,g12,neg). ctxrule(ctx12,r225). ctxrulehead(r225,i12). ctxrulebody(r225,j12,neg). ctxrule(ctx12,r226). ctxrulehead(r226,j12). ctxrulebody(r226,k12,neg). ctxrule(ctx12,r227). ctxrulehead(r227,k12). ctxrulebody(r227,l12,neg). ctxrule(ctx12,r228). ctxrulehead(r228,l12). ctxrulebody(r228,m12,neg). ctxrule(ctx12,r229). ctxrulehead(r229,m12). ctxrulebody(r229,12,neg). ctxrule(ctx12,r230). ctxrulehead(r230,n12). ctxrulebody(r230,m12,neg). ctxrule(ctx12,r231). ctxrulehead(r231,o12). ctxrulebody(r231,p12,neg). ctxrule(ctx12,r232). ctxrulehead(r232,p12). ctxrulebody(r232,12,neg). ctxrule(ctx12,r233). ctxrulehead(r233,q12). ctxrulebody(r233,r12,neg). ctxrule(ctx12,r234). ctxrulehead(r234,r12). ctxrulebody(r234,s12,neg). ctxrule(ctx12,r235). ctxrulehead(r235,s12). ctxrulebody(r235,12,neg). brule(ctx12,br111). brulehead(br111,k12). brulebody(br111,ctx13,s13,pos). brule(ctx12,br112). brulehead(br112,g12). brulebody(br112,ctx13,r13,pos). brule(ctx12,br113). brulehead(br113,n12). brulebody(br113,ctx13,g13,neg). brulebody(br113,ctx13,r13,neg). brule(ctx12,br114). brulehead(br114,r12). brulebody(br114,ctx13,d13,neg). brulebody(br114,ctx13,i13,neg). brule(ctx12,br115). brulehead(br115,q12). brulebody(br115,ctx13,m13,neg). brule(ctx12,br116). brulehead(br116,m12). brulebody(br116,ctx13,i13,pos). brule(ctx12,br117). brulehead(br117,l12). brulebody(br117,ctx13,j13,neg). brule(ctx12,br118). brulehead(br118,q12). brulebody(br118,ctx13,i13,pos). brule(ctx12,br119). brulehead(br119,n12). brulebody(br119,ctx13,o13,neg). brulebody(br119,ctx13,d13,neg). brule(ctx12,br120). brulehead(br120,g12). brulebody(br120,ctx13,m13,neg). brule(ctx12,br121). brulehead(br121,g12). brulebody(br121,ctx13,n13,neg). brule(ctx12,br122). brulehead(br122,n12). brulebody(br122,ctx13,g13,neg). brulebody(br122,ctx13,n13,neg). ctx(ctx13). ctxrule(ctx13,r236). ctxrulehead(r236,a13). ctxrulebody(r236,b13,neg). ctxrule(ctx13,r237). ctxrulehead(r237,b13). ctxrulebody(r237,c13,neg). ctxrule(ctx13,r238). ctxrulehead(r238,c13). ctxrulebody(r238,d13,neg). ctxrule(ctx13,r239). ctxrulehead(r239,d13). ctxrulebody(r239,c13,neg). ctxrule(ctx13,r240). ctxrulehead(r240,e13). ctxrulebody(r240,f13,neg). ctxrule(ctx13,r241). ctxrulehead(r241,f13). ctxrulebody(r241,g13,neg). ctxrule(ctx13,r242). ctxrulehead(r242,g13). ctxrulebody(r242,h13,neg). ctxrule(ctx13,r243). ctxrulehead(r243,h13). ctxrulebody(r243,i13,neg). ctxrule(ctx13,r244). ctxrulehead(r244,i13). ctxrulebody(r244,j13,neg). ctxrule(ctx13,r245). ctxrulehead(r245,j13). ctxrulebody(r245,i13,neg). ctxrule(ctx13,r246). ctxrulehead(r246,k13). ctxrulebody(r246,l13,neg). ctxrule(ctx13,r247). ctxrulehead(r247,l13). ctxrulebody(r247,m13,neg). ctxrule(ctx13,r248). ctxrulehead(r248,m13). ctxrulebody(r248,13,neg). ctxrule(ctx13,r249). ctxrulehead(r249,n13). ctxrulebody(r249,m13,neg). ctxrule(ctx13,r250). ctxrulehead(r250,o13). ctxrulebody(r250,p13,neg). ctxrule(ctx13,r251). ctxrulehead(r251,p13). ctxrulebody(r251,q13,neg). ctxrule(ctx13,r252). ctxrulehead(r252,q13). ctxrulebody(r252,r13,neg). ctxrule(ctx13,r253). ctxrulehead(r253,r13). ctxrulebody(r253,s13,neg). ctxrule(ctx13,r254). ctxrulehead(r254,s13). ctxrulebody(r254,13,neg). ctxrule(ctx13,r255). ctxrulehead(r255,t13). ctxrulebody(r255,s13,neg). brule(ctx13,br123). brulehead(br123,n13). brulebody(br123,ctx15,r15,pos). brulebody(br123,ctx15,e15,neg). brule(ctx13,br124). brulehead(br124,j13). brulebody(br124,ctx14,h14,neg). brule(ctx13,br125). brulehead(br125,p13). brulebody(br125,ctx15,e15,pos). brulebody(br125,ctx15,f15,pos). brule(ctx13,br126). brulehead(br126,a13). brulebody(br126,ctx14,j14,pos). brulebody(br126,ctx14,n14,neg). brule(ctx13,br127). brulehead(br127,i13). brulebody(br127,ctx15,j15,pos). brulebody(br127,ctx14,e14,neg). brule(ctx13,br128). brulehead(br128,n13). brulebody(br128,ctx15,i15,neg). brulebody(br128,ctx14,t14,neg). brule(ctx13,br129). brulehead(br129,a13). brulebody(br129,ctx15,j15,pos). brulebody(br129,ctx14,d14,pos). brule(ctx13,br130). brulehead(br130,b13). brulebody(br130,ctx15,k15,pos). brule(ctx13,br131). brulehead(br131,g13). brulebody(br131,ctx14,j14,neg). brulebody(br131,ctx15,l15,neg). brule(ctx13,br132). brulehead(br132,c13). brulebody(br132,ctx15,n15,neg). brulebody(br132,ctx14,p14,neg). brule(ctx13,br133). brulehead(br133,d13). brulebody(br133,ctx15,a15,neg). brulebody(br133,ctx14,d14,neg). brule(ctx13,br134). brulehead(br134,k13). brulebody(br134,ctx14,q14,pos). brulebody(br134,ctx15,i15,pos). brule(ctx13,br135). brulehead(br135,s13). brulebody(br135,ctx14,k14,pos). brule(ctx13,br136). brulehead(br136,b13). brulebody(br136,ctx15,i15,pos). ctx(ctx14). ctxrule(ctx14,r256). ctxrulehead(r256,a14). ctxrulebody(r256,b14,neg). ctxrule(ctx14,r257). ctxrulehead(r257,b14). ctxrulebody(r257,c14,neg). ctxrule(ctx14,r258). ctxrulehead(r258,c14). ctxrulebody(r258,d14,neg). ctxrule(ctx14,r259). ctxrulehead(r259,d14). ctxrulebody(r259,e14,neg). ctxrule(ctx14,r260). ctxrulehead(r260,e14). ctxrulebody(r260,f14,neg). ctxrule(ctx14,r261). ctxrulehead(r261,f14). ctxrulebody(r261,g14,neg). ctxrule(ctx14,r262). ctxrulehead(r262,g14). ctxrulebody(r262,h14,neg). ctxrule(ctx14,r263). ctxrulehead(r263,h14). ctxrulebody(r263,g14,neg). ctxrule(ctx14,r264). ctxrulehead(r264,i14). ctxrulebody(r264,j14,neg). ctxrule(ctx14,r265). ctxrulehead(r265,j14). ctxrulebody(r265,i14,neg). ctxrule(ctx14,r266). ctxrulehead(r266,k14). ctxrulebody(r266,l14,neg). ctxrule(ctx14,r267). ctxrulehead(r267,l14). ctxrulebody(r267,k14,neg). ctxrule(ctx14,r268). ctxrulehead(r268,m14). ctxrulebody(r268,14,neg). ctxrule(ctx14,r269). ctxrulehead(r269,n14). ctxrulebody(r269,m14,neg). ctxrule(ctx14,r270). ctxrulehead(r270,o14). ctxrulebody(r270,p14,neg). ctxrule(ctx14,r271). ctxrulehead(r271,p14). ctxrulebody(r271,14,neg). ctxrule(ctx14,r272). ctxrulehead(r272,q14). ctxrulebody(r272,r14,neg). ctxrule(ctx14,r273). ctxrulehead(r273,r14). ctxrulebody(r273,q14,neg). ctxrule(ctx14,r274). ctxrulehead(r274,s14). ctxrulebody(r274,14,neg). ctxrule(ctx14,r275). ctxrulehead(r275,t14). ctxrulebody(r275,s14,neg). brule(ctx14,br137). brulehead(br137,q14). brulebody(br137,ctx15,k15,pos). brulebody(br137,ctx15,f15,neg). brule(ctx14,br138). brulehead(br138,p14). brulebody(br138,ctx15,k15,pos). brule(ctx14,br139). brulehead(br139,i14). brulebody(br139,ctx15,l15,pos). brule(ctx14,br140). brulehead(br140,o14). brulebody(br140,ctx15,l15,pos). brulebody(br140,ctx16,i16,neg). brule(ctx14,br141). brulehead(br141,e14). brulebody(br141,ctx15,r15,pos). brulebody(br141,ctx16,f16,pos). brule(ctx14,br142). brulehead(br142,r14). brulebody(br142,ctx16,g16,pos). brulebody(br142,ctx16,o16,neg). brule(ctx14,br143). brulehead(br143,g14). brulebody(br143,ctx16,n16,pos). brulebody(br143,ctx16,d16,neg). brule(ctx14,br144). brulehead(br144,q14). brulebody(br144,ctx15,k15,neg). brule(ctx14,br145). brulehead(br145,j14). brulebody(br145,ctx16,l16,pos). brule(ctx14,br146). brulehead(br146,b14). brulebody(br146,ctx15,n15,neg). brule(ctx14,br147). brulehead(br147,f14). brulebody(br147,ctx15,k15,pos). brulebody(br147,ctx15,a15,pos). ctx(ctx15). ctxrule(ctx15,r276). ctxrulehead(r276,a15). ctxrulebody(r276,b15,neg). ctxrule(ctx15,r277). ctxrulehead(r277,b15). ctxrulebody(r277,c15,neg). ctxrule(ctx15,r278). ctxrulehead(r278,c15). ctxrulebody(r278,d15,neg). ctxrule(ctx15,r279). ctxrulehead(r279,d15). ctxrulebody(r279,e15,neg). ctxrule(ctx15,r280). ctxrulehead(r280,e15). ctxrulebody(r280,f15,neg). ctxrule(ctx15,r281). ctxrulehead(r281,f15). ctxrulebody(r281,g15,neg). ctxrule(ctx15,r282). ctxrulehead(r282,g15). ctxrulebody(r282,h15,neg). ctxrule(ctx15,r283). ctxrulehead(r283,h15). ctxrulebody(r283,i15,neg). ctxrule(ctx15,r284). ctxrulehead(r284,i15). ctxrulebody(r284,j15,neg). ctxrule(ctx15,r285). ctxrulehead(r285,j15). ctxrulebody(r285,i15,neg). ctxrule(ctx15,r286). ctxrulehead(r286,k15). ctxrulebody(r286,l15,neg). ctxrule(ctx15,r287). ctxrulehead(r287,l15). ctxrulebody(r287,k15,neg). ctxrule(ctx15,r288). ctxrulehead(r288,m15). ctxrulebody(r288,15,neg). ctxrule(ctx15,r289). ctxrulehead(r289,n15). ctxrulebody(r289,15,neg). ctxrule(ctx15,r290). ctxrulehead(r290,o15). ctxrulebody(r290,p15,neg). ctxrule(ctx15,r291). ctxrulehead(r291,p15). ctxrulebody(r291,q15,neg). ctxrule(ctx15,r292). ctxrulehead(r292,q15). ctxrulebody(r292,r15,neg). ctxrule(ctx15,r293). ctxrulehead(r293,r15). ctxrulebody(r293,q15,neg). ctxrule(ctx15,r294). ctxrulehead(r294,s15). ctxrulebody(r294,15,neg). ctxrule(ctx15,r295). ctxrulehead(r295,t15). ctxrulebody(r295,s15,neg). brule(ctx15,br148). brulehead(br148,c15). brulebody(br148,ctx16,n16,pos). brulebody(br148,ctx16,o16,neg). brule(ctx15,br149). brulehead(br149,b15). brulebody(br149,ctx16,n16,pos). brulebody(br149,ctx16,o16,pos). brule(ctx15,br150). brulehead(br150,e15). brulebody(br150,ctx16,n16,neg). brulebody(br150,ctx16,a16,neg). brule(ctx15,br151). brulehead(br151,m15). brulebody(br151,ctx16,l16,pos). brule(ctx15,br152). brulehead(br152,e15). brulebody(br152,ctx16,d16,pos). brule(ctx15,br153). brulehead(br153,o15). brulebody(br153,ctx16,f16,pos). brulebody(br153,ctx16,a16,neg). brule(ctx15,br154). brulehead(br154,q15). brulebody(br154,ctx16,p16,pos). brulebody(br154,ctx16,i16,neg). brule(ctx15,br155). brulehead(br155,k15). brulebody(br155,ctx16,g16,neg). brule(ctx15,br156). brulehead(br156,a15). brulebody(br156,ctx16,o16,pos). ctx(ctx16). ctxrule(ctx16,r296). ctxrulehead(r296,a16). ctxrulebody(r296,b16,neg). ctxrule(ctx16,r297). ctxrulehead(r297,b16). ctxrulebody(r297,a16,neg). ctxrule(ctx16,r298). ctxrulehead(r298,c16). ctxrulebody(r298,d16,neg). ctxrule(ctx16,r299). ctxrulehead(r299,d16). ctxrulebody(r299,e16,neg). ctxrule(ctx16,r300). ctxrulehead(r300,e16). ctxrulebody(r300,f16,neg). ctxrule(ctx16,r301). ctxrulehead(r301,f16). ctxrulebody(r301,e16,neg). ctxrule(ctx16,r302). ctxrulehead(r302,g16). ctxrulebody(r302,h16,neg). ctxrule(ctx16,r303). ctxrulehead(r303,h16). ctxrulebody(r303,g16,neg). ctxrule(ctx16,r304). ctxrulehead(r304,i16). ctxrulebody(r304,j16,neg). ctxrule(ctx16,r305). ctxrulehead(r305,j16). ctxrulebody(r305,i16,neg). ctxrule(ctx16,r306). ctxrulehead(r306,k16). ctxrulebody(r306,l16,neg). ctxrule(ctx16,r307). ctxrulehead(r307,l16). ctxrulebody(r307,k16,neg). ctxrule(ctx16,r308). ctxrulehead(r308,m16). ctxrulebody(r308,16,neg). ctxrule(ctx16,r309). ctxrulehead(r309,n16). ctxrulebody(r309,m16,neg). ctxrule(ctx16,r310). ctxrulehead(r310,o16). ctxrulebody(r310,p16,neg). ctxrule(ctx16,r311). ctxrulehead(r311,p16). ctxrulebody(r311,q16,neg). ctxrule(ctx16,r312). ctxrulehead(r312,q16). ctxrulebody(r312,r16,neg). ctxrule(ctx16,r313). ctxrulehead(r313,r16). ctxrulebody(r313,s16,neg). ctxrule(ctx16,r314). ctxrulehead(r314,s16). ctxrulebody(r314,16,neg). brule(ctx16,br157). brulehead(br157,j16). brulebody(br157,ctx17,e17,pos). brulebody(br157,ctx17,r17,pos). brule(ctx16,br158). brulehead(br158,n16). brulebody(br158,ctx18,s18,pos). brule(ctx16,br159). brulehead(br159,d16). brulebody(br159,ctx17,p17,pos). brule(ctx16,br160). brulehead(br160,j16). brulebody(br160,ctx18,j18,pos). brule(ctx16,br161). brulehead(br161,a16). brulebody(br161,ctx18,k18,pos). brulebody(br161,ctx18,a18,pos). brule(ctx16,br162). brulehead(br162,o16). brulebody(br162,ctx17,n17,pos). brule(ctx16,br163). brulehead(br163,d16). brulebody(br163,ctx18,s18,neg). brule(ctx16,br164). brulehead(br164,g16). brulebody(br164,ctx18,p18,pos). brule(ctx16,br165). brulehead(br165,r16). brulebody(br165,ctx17,i17,pos). brule(ctx16,br166). brulehead(br166,j16). brulebody(br166,ctx17,r17,neg). brule(ctx16,br167). brulehead(br167,f16). brulebody(br167,ctx18,s18,neg). ctx(ctx17). ctxrule(ctx17,r315). ctxrulehead(r315,a17). ctxrulebody(r315,b17,neg). ctxrule(ctx17,r316). ctxrulehead(r316,b17). ctxrulebody(r316,c17,neg). ctxrule(ctx17,r317). ctxrulehead(r317,c17). ctxrulebody(r317,d17,neg). ctxrule(ctx17,r318). ctxrulehead(r318,d17). ctxrulebody(r318,e17,neg). ctxrule(ctx17,r319). ctxrulehead(r319,e17). ctxrulebody(r319,f17,neg). ctxrule(ctx17,r320). ctxrulehead(r320,f17). ctxrulebody(r320,g17,neg). ctxrule(ctx17,r321). ctxrulehead(r321,g17). ctxrulebody(r321,h17,neg). ctxrule(ctx17,r322). ctxrulehead(r322,h17). ctxrulebody(r322,g17,neg). ctxrule(ctx17,r323). ctxrulehead(r323,i17). ctxrulebody(r323,j17,neg). ctxrule(ctx17,r324). ctxrulehead(r324,j17). ctxrulebody(r324,i17,neg). ctxrule(ctx17,r325). ctxrulehead(r325,k17). ctxrulebody(r325,l17,neg). ctxrule(ctx17,r326). ctxrulehead(r326,l17). ctxrulebody(r326,k17,neg). ctxrule(ctx17,r327). ctxrulehead(r327,m17). ctxrulebody(r327,17,neg). ctxrule(ctx17,r328). ctxrulehead(r328,n17). ctxrulebody(r328,m17,neg). ctxrule(ctx17,r329). ctxrulehead(r329,o17). ctxrulebody(r329,p17,neg). ctxrule(ctx17,r330). ctxrulehead(r330,p17). ctxrulebody(r330,17,neg). ctxrule(ctx17,r331). ctxrulehead(r331,q17). ctxrulebody(r331,r17,neg). ctxrule(ctx17,r332). ctxrulehead(r332,r17). ctxrulebody(r332,s17,neg). ctxrule(ctx17,r333). ctxrulehead(r333,s17). ctxrulebody(r333,17,neg). brule(ctx17,br168). brulehead(br168,k17). brulebody(br168,ctx19,m19,neg). brule(ctx17,br169). brulehead(br169,o17). brulebody(br169,ctx19,n19,neg). brule(ctx17,br170). brulehead(br170,c17). brulebody(br170,ctx18,j18,pos). brulebody(br170,ctx19,b19,pos). brule(ctx17,br171). brulehead(br171,c17). brulebody(br171,ctx18,j18,pos). brule(ctx17,br172). brulehead(br172,a17). brulebody(br172,ctx18,e18,neg). brule(ctx17,br173). brulehead(br173,e17). brulebody(br173,ctx19,s19,pos). brule(ctx17,br174). brulehead(br174,n17). brulebody(br174,ctx19,t19,neg). brulebody(br174,ctx19,d19,neg). brule(ctx17,br175). brulehead(br175,q17). brulebody(br175,ctx19,m19,pos). brulebody(br175,ctx19,j19,neg). brule(ctx17,br176). brulehead(br176,f17). brulebody(br176,ctx19,s19,pos). brulebody(br176,ctx18,j18,neg). brule(ctx17,br177). brulehead(br177,d17). brulebody(br177,ctx18,b18,neg). brulebody(br177,ctx19,n19,neg). ctx(ctx18). ctxrule(ctx18,r334). ctxrulehead(r334,a18). ctxrulebody(r334,b18,neg). ctxrule(ctx18,r335). ctxrulehead(r335,b18). ctxrulebody(r335,c18,neg). ctxrule(ctx18,r336). ctxrulehead(r336,c18). ctxrulebody(r336,d18,neg). ctxrule(ctx18,r337). ctxrulehead(r337,d18). ctxrulebody(r337,c18,neg). ctxrule(ctx18,r338). ctxrulehead(r338,e18). ctxrulebody(r338,f18,neg). ctxrule(ctx18,r339). ctxrulehead(r339,f18). ctxrulebody(r339,e18,neg). ctxrule(ctx18,r340). ctxrulehead(r340,g18). ctxrulebody(r340,h18,neg). ctxrule(ctx18,r341). ctxrulehead(r341,h18). ctxrulebody(r341,i18,neg). ctxrule(ctx18,r342). ctxrulehead(r342,i18). ctxrulebody(r342,j18,neg). ctxrule(ctx18,r343). ctxrulehead(r343,j18). ctxrulebody(r343,k18,neg). ctxrule(ctx18,r344). ctxrulehead(r344,k18). ctxrulebody(r344,l18,neg). ctxrule(ctx18,r345). ctxrulehead(r345,l18). ctxrulebody(r345,m18,neg). ctxrule(ctx18,r346). ctxrulehead(r346,m18). ctxrulebody(r346,18,neg). ctxrule(ctx18,r347). ctxrulehead(r347,n18). ctxrulebody(r347,m18,neg). ctxrule(ctx18,r348). ctxrulehead(r348,o18). ctxrulebody(r348,p18,neg). ctxrule(ctx18,r349). ctxrulehead(r349,p18). ctxrulebody(r349,18,neg). ctxrule(ctx18,r350). ctxrulehead(r350,q18). ctxrulebody(r350,r18,neg). ctxrule(ctx18,r351). ctxrulehead(r351,r18). ctxrulebody(r351,s18,neg). ctxrule(ctx18,r352). ctxrulehead(r352,s18). ctxrulebody(r352,18,neg). brule(ctx18,br178). brulehead(br178,n18). brulebody(br178,ctx19,a19,pos). brulebody(br178,ctx19,o19,pos). brule(ctx18,br179). brulehead(br179,e18). brulebody(br179,ctx19,j19,neg). brulebody(br179,ctx19,t19,neg). brule(ctx18,br180). brulehead(br180,l18). brulebody(br180,ctx19,a19,pos). brule(ctx18,br181). brulehead(br181,o18). brulebody(br181,ctx19,n19,pos). brulebody(br181,ctx19,b19,neg). brule(ctx18,br182). brulehead(br182,c18). brulebody(br182,ctx19,r19,neg). brule(ctx18,br183). brulehead(br183,m18). brulebody(br183,ctx19,a19,neg). brule(ctx18,br184). brulehead(br184,j18). brulebody(br184,ctx19,n19,pos). brule(ctx18,br185). brulehead(br185,b18). brulebody(br185,ctx19,n19,pos). brulebody(br185,ctx19,b19,neg). ctx(ctx19). ctxrule(ctx19,r353). ctxrulehead(r353,a19). ctxrulebody(r353,b19,neg). ctxrule(ctx19,r354). ctxrulehead(r354,b19). ctxrulebody(r354,c19,neg). ctxrule(ctx19,r355). ctxrulehead(r355,c19). ctxrulebody(r355,d19,neg). ctxrule(ctx19,r356). ctxrulehead(r356,d19). ctxrulebody(r356,e19,neg). ctxrule(ctx19,r357). ctxrulehead(r357,e19). ctxrulebody(r357,f19,neg). ctxrule(ctx19,r358). ctxrulehead(r358,f19). ctxrulebody(r358,g19,neg). ctxrule(ctx19,r359). ctxrulehead(r359,g19). ctxrulebody(r359,h19,neg). ctxrule(ctx19,r360). ctxrulehead(r360,h19). ctxrulebody(r360,i19,neg). ctxrule(ctx19,r361). ctxrulehead(r361,i19). ctxrulebody(r361,j19,neg). ctxrule(ctx19,r362). ctxrulehead(r362,j19). ctxrulebody(r362,i19,neg). ctxrule(ctx19,r363). ctxrulehead(r363,k19). ctxrulebody(r363,l19,neg). ctxrule(ctx19,r364). ctxrulehead(r364,l19). ctxrulebody(r364,m19,neg). ctxrule(ctx19,r365). ctxrulehead(r365,m19). ctxrulebody(r365,19,neg). ctxrule(ctx19,r366). ctxrulehead(r366,n19). ctxrulebody(r366,m19,neg). ctxrule(ctx19,r367). ctxrulehead(r367,o19). ctxrulebody(r367,p19,neg). ctxrule(ctx19,r368). ctxrulehead(r368,p19). ctxrulebody(r368,q19,neg). ctxrule(ctx19,r369). ctxrulehead(r369,q19). ctxrulebody(r369,r19,neg). ctxrule(ctx19,r370). ctxrulehead(r370,r19). ctxrulebody(r370,s19,neg). ctxrule(ctx19,r371). ctxrulehead(r371,s19). ctxrulebody(r371,19,neg). brule(ctx19,br186). brulehead(br186,h19). brulebody(br186,ctx20,k20,pos). brule(ctx19,br187). brulehead(br187,q19). brulebody(br187,ctx21,m21,pos). brulebody(br187,ctx20,s20,neg). brule(ctx19,br188). brulehead(br188,a19). brulebody(br188,ctx20,s20,neg). brule(ctx19,br189). brulehead(br189,o19). brulebody(br189,ctx21,n21,pos). brulebody(br189,ctx20,g20,neg). brule(ctx19,br190). brulehead(br190,g19). brulebody(br190,ctx21,f21,pos). brule(ctx19,br191). brulehead(br191,o19). brulebody(br191,ctx21,n21,pos). brulebody(br191,ctx21,f21,neg). brule(ctx19,br192). brulehead(br192,b19). brulebody(br192,ctx21,f21,pos). brule(ctx19,br193). brulehead(br193,e19). brulebody(br193,ctx21,p21,pos). brulebody(br193,ctx20,k20,neg). brule(ctx19,br194). brulehead(br194,s19). brulebody(br194,ctx20,k20,pos). brulebody(br194,ctx21,q21,neg). brule(ctx19,br195). brulehead(br195,p19). brulebody(br195,ctx21,p21,pos). brule(ctx19,br196). brulehead(br196,r19). brulebody(br196,ctx21,i21,pos). brulebody(br196,ctx20,e20,neg). ctx(ctx20). ctxrule(ctx20,r372). ctxrulehead(r372,a20). ctxrulebody(r372,b20,neg). ctxrule(ctx20,r373). ctxrulehead(r373,b20). ctxrulebody(r373,c20,neg). ctxrule(ctx20,r374). ctxrulehead(r374,c20). ctxrulebody(r374,d20,neg). ctxrule(ctx20,r375). ctxrulehead(r375,d20). ctxrulebody(r375,c20,neg). ctxrule(ctx20,r376). ctxrulehead(r376,e20). ctxrulebody(r376,f20,neg). ctxrule(ctx20,r377). ctxrulehead(r377,f20). ctxrulebody(r377,g20,neg). ctxrule(ctx20,r378). ctxrulehead(r378,g20). ctxrulebody(r378,h20,neg). ctxrule(ctx20,r379). ctxrulehead(r379,h20). ctxrulebody(r379,i20,neg). ctxrule(ctx20,r380). ctxrulehead(r380,i20). ctxrulebody(r380,j20,neg). ctxrule(ctx20,r381). ctxrulehead(r381,j20). ctxrulebody(r381,k20,neg). ctxrule(ctx20,r382). ctxrulehead(r382,k20). ctxrulebody(r382,l20,neg). ctxrule(ctx20,r383). ctxrulehead(r383,l20). ctxrulebody(r383,k20,neg). ctxrule(ctx20,r384). ctxrulehead(r384,m20). ctxrulebody(r384,20,neg). ctxrule(ctx20,r385). ctxrulehead(r385,n20). ctxrulebody(r385,20,neg). ctxrule(ctx20,r386). ctxrulehead(r386,o20). ctxrulebody(r386,p20,neg). ctxrule(ctx20,r387). ctxrulehead(r387,p20). ctxrulebody(r387,20,neg). ctxrule(ctx20,r388). ctxrulehead(r388,q20). ctxrulebody(r388,r20,neg). ctxrule(ctx20,r389). ctxrulehead(r389,r20). ctxrulebody(r389,s20,neg). ctxrule(ctx20,r390). ctxrulehead(r390,s20). ctxrulebody(r390,20,neg). brule(ctx20,br197). brulehead(br197,h20). brulebody(br197,ctx21,p21,pos). brule(ctx20,br198). brulehead(br198,l20). brulebody(br198,ctx21,o21,pos). brulebody(br198,ctx21,q21,neg). brule(ctx20,br199). brulehead(br199,a20). brulebody(br199,ctx21,i21,pos). brulebody(br199,ctx22,k22,neg). brule(ctx20,br200). brulehead(br200,e20). brulebody(br200,ctx22,e22,pos). brule(ctx20,br201). brulehead(br201,h20). brulebody(br201,ctx21,r21,neg). brule(ctx20,br202). brulehead(br202,c20). brulebody(br202,ctx22,a22,neg). brule(ctx20,br203). brulehead(br203,g20). brulebody(br203,ctx21,i21,neg). brulebody(br203,ctx22,a22,neg). brule(ctx20,br204). brulehead(br204,s20). brulebody(br204,ctx22,g22,neg). brule(ctx20,br205). brulehead(br205,j20). brulebody(br205,ctx22,q22,neg). brulebody(br205,ctx21,n21,neg). brule(ctx20,br206). brulehead(br206,e20). brulebody(br206,ctx22,o22,neg). brule(ctx20,br207). brulehead(br207,m20). brulebody(br207,ctx21,r21,neg). ctx(ctx21). ctxrule(ctx21,r391). ctxrulehead(r391,a21). ctxrulebody(r391,b21,neg). ctxrule(ctx21,r392). ctxrulehead(r392,b21). ctxrulebody(r392,c21,neg). ctxrule(ctx21,r393). ctxrulehead(r393,c21). ctxrulebody(r393,d21,neg). ctxrule(ctx21,r394). ctxrulehead(r394,d21). ctxrulebody(r394,e21,neg). ctxrule(ctx21,r395). ctxrulehead(r395,e21). ctxrulebody(r395,f21,neg). ctxrule(ctx21,r396). ctxrulehead(r396,f21). ctxrulebody(r396,g21,neg). ctxrule(ctx21,r397). ctxrulehead(r397,g21). ctxrulebody(r397,h21,neg). ctxrule(ctx21,r398). ctxrulehead(r398,h21). ctxrulebody(r398,i21,neg). ctxrule(ctx21,r399). ctxrulehead(r399,i21). ctxrulebody(r399,j21,neg). ctxrule(ctx21,r400). ctxrulehead(r400,j21). ctxrulebody(r400,i21,neg). ctxrule(ctx21,r401). ctxrulehead(r401,k21). ctxrulebody(r401,l21,neg). ctxrule(ctx21,r402). ctxrulehead(r402,l21). ctxrulebody(r402,m21,neg). ctxrule(ctx21,r403). ctxrulehead(r403,m21). ctxrulebody(r403,21,neg). ctxrule(ctx21,r404). ctxrulehead(r404,n21). ctxrulebody(r404,21,neg). ctxrule(ctx21,r405). ctxrulehead(r405,o21). ctxrulebody(r405,p21,neg). ctxrule(ctx21,r406). ctxrulehead(r406,p21). ctxrulebody(r406,21,neg). ctxrule(ctx21,r407). ctxrulehead(r407,q21). ctxrulebody(r407,r21,neg). ctxrule(ctx21,r408). ctxrulehead(r408,r21). ctxrulebody(r408,q21,neg). ctxrule(ctx21,r409). ctxrulehead(r409,s21). ctxrulebody(r409,21,neg). brule(ctx21,br208). brulehead(br208,q21). brulebody(br208,ctx22,a22,pos). brulebody(br208,ctx22,g22,pos). brule(ctx21,br209). brulehead(br209,m21). brulebody(br209,ctx22,e22,pos). brulebody(br209,ctx22,t22,neg). brule(ctx21,br210). brulehead(br210,o21). brulebody(br210,ctx22,k22,pos). brulebody(br210,ctx22,i22,neg). brule(ctx21,br211). brulehead(br211,c21). brulebody(br211,ctx22,e22,pos). brule(ctx21,br212). brulehead(br212,c21). brulebody(br212,ctx22,i22,pos). brulebody(br212,ctx22,a22,pos). brule(ctx21,br213). brulehead(br213,t21). brulebody(br213,ctx22,a22,neg). brule(ctx21,br214). brulehead(br214,k21). brulebody(br214,ctx22,i22,pos). brulebody(br214,ctx22,q22,neg). brule(ctx21,br215). brulehead(br215,h21). brulebody(br215,ctx22,q22,neg). brulebody(br215,ctx22,l22,neg). brule(ctx21,br216). brulehead(br216,a21). brulebody(br216,ctx22,g22,neg). brulebody(br216,ctx22,e22,neg). brule(ctx21,br217). brulehead(br217,n21). brulebody(br217,ctx22,g22,neg). brule(ctx21,br218). brulehead(br218,h21). brulebody(br218,ctx22,o22,neg). brulebody(br218,ctx22,k22,neg). brule(ctx21,br219). brulehead(br219,f21). brulebody(br219,ctx22,t22,pos). brulebody(br219,ctx22,i22,neg). ctx(ctx22). ctxrule(ctx22,r410). ctxrulehead(r410,a22). ctxrulebody(r410,b22,neg). ctxrule(ctx22,r411). ctxrulehead(r411,b22). ctxrulebody(r411,c22,neg). ctxrule(ctx22,r412). ctxrulehead(r412,c22). ctxrulebody(r412,d22,neg). ctxrule(ctx22,r413). ctxrulehead(r413,d22). ctxrulebody(r413,e22,neg). ctxrule(ctx22,r414). ctxrulehead(r414,e22). ctxrulebody(r414,f22,neg). ctxrule(ctx22,r415). ctxrulehead(r415,f22). ctxrulebody(r415,e22,neg). ctxrule(ctx22,r416). ctxrulehead(r416,g22). ctxrulebody(r416,h22,neg). ctxrule(ctx22,r417). ctxrulehead(r417,h22). ctxrulebody(r417,g22,neg). ctxrule(ctx22,r418). ctxrulehead(r418,i22). ctxrulebody(r418,j22,neg). ctxrule(ctx22,r419). ctxrulehead(r419,j22). ctxrulebody(r419,k22,neg). ctxrule(ctx22,r420). ctxrulehead(r420,k22). ctxrulebody(r420,l22,neg). ctxrule(ctx22,r421). ctxrulehead(r421,l22). ctxrulebody(r421,k22,neg). ctxrule(ctx22,r422). ctxrulehead(r422,m22). ctxrulebody(r422,22,neg). ctxrule(ctx22,r423). ctxrulehead(r423,n22). ctxrulebody(r423,22,neg). ctxrule(ctx22,r424). ctxrulehead(r424,o22). ctxrulebody(r424,p22,neg). ctxrule(ctx22,r425). ctxrulehead(r425,p22). ctxrulebody(r425,22,neg). ctxrule(ctx22,r426). ctxrulehead(r426,q22). ctxrulebody(r426,r22,neg). ctxrule(ctx22,r427). ctxrulehead(r427,r22). ctxrulebody(r427,q22,neg). ctxrule(ctx22,r428). ctxrulehead(r428,s22). ctxrulebody(r428,22,neg). ctxrule(ctx22,r429). ctxrulehead(r429,t22). ctxrulebody(r429,s22,neg). brule(ctx22,br220). brulehead(br220,d22). brulebody(br220,ctx24,s24,pos). brule(ctx22,br221). brulehead(br221,i22). brulebody(br221,ctx23,n23,pos). brulebody(br221,ctx24,e24,neg). brule(ctx22,br222). brulehead(br222,d22). brulebody(br222,ctx24,i24,pos). brule(ctx22,br223). brulehead(br223,e22). brulebody(br223,ctx24,k24,pos). brulebody(br223,ctx23,p23,neg). brule(ctx22,br224). brulehead(br224,d22). brulebody(br224,ctx24,s24,pos). brulebody(br224,ctx23,t23,pos). brule(ctx22,br225). brulehead(br225,n22). brulebody(br225,ctx24,p24,pos). brule(ctx22,br226). brulehead(br226,e22). brulebody(br226,ctx23,q23,pos). brulebody(br226,ctx24,g24,neg). brule(ctx22,br227). brulehead(br227,r22). brulebody(br227,ctx24,e24,pos). brule(ctx22,br228). brulehead(br228,h22). brulebody(br228,ctx23,p23,pos). brule(ctx22,br229). brulehead(br229,p22). brulebody(br229,ctx23,m23,neg). brule(ctx22,br230). brulehead(br230,o22). brulebody(br230,ctx24,i24,pos). brulebody(br230,ctx24,e24,neg). ctx(ctx23). ctxrule(ctx23,r430). ctxrulehead(r430,a23). ctxrulebody(r430,b23,neg). ctxrule(ctx23,r431). ctxrulehead(r431,b23). ctxrulebody(r431,c23,neg). ctxrule(ctx23,r432). ... (This is only a excerpt, because of a very long content and a possible freeze of firefox. Please download for whole content.)