CONSTRUCTOR TABLES of the Grammar form8.grm

• Parameters
• Alphabet V
• Scanner Table
• Tree of the Alphabet V
• Reduce Table
• Precedence Matrix
• Left Context
• Right Context
• Dependent Context
• Semantics

Parameters

struct parm{
	int nr   //tähestiku V pikkus
	int tnr  //tähestiku VT pikkus
	int BRC  //0: G on pööratav
	int Pnr  //Produktsioonide arv
	int dep  //1: sõltuv kontekst
	int itl  //identifikaatorite arv (Parser)
	int ktl  //konstantide arv (Parser)
}

nr=127 tnr=60 BRC=1 Pnr=141 dep=1 itl=0 ktl=0

Alphabet V

# INPUT ( graph ) var ; #i# \bigvee_{ \bigwedge_{ \bigoplus_{ odd : even exactlyone atmostone atleastone none eq atmost_{ atleast_{ level_{ \in V( E( \leftarrow \} B^{ } < \leq \prec \prec^+ \prec^* = \ne ' \geq + - * / ^{ #c# |V( )| |E( | min max \sim \oplus \to \vee \& \neg _{ , \{ \notin program family metaformula input bigformula graphnames varnames graphnames1 grkoma graphname varnames1 varkoma variable limits lbra prefpar bigformula1 atmost atleast level formula rate rbra expression limit constraints1 metavariables set graphname1 metavariable arc limexpression lessrel graphbra node nodekoma metavariables1 metakoma length constraints constrkoma constraint conexpression relation expression1 term factor factor1 primary mmbra pexpression maxminkoma aritmpar leftpart clause logterm literal logvar indexes prefixformula logicpar indexes1 index indexkoma formlist formlist1 formkoma 

Scanner Table

\bigwedge_{ \bigoplus_{ exactlyone atleastone \leftarrow \bigvee_{ atleast_{ atmostone atmost_{ level_{ \prec^+ \prec^* \oplus \notin graph \prec INPUT \leq \geq \sim even \vee \neg none B^{ #c# |V( |E( min max #i# var \to \in odd \ne \} V( )| E( \& eq _{ \{ ^{ ; # | = : ' } + - * / < , ) (  

Tree of the Alphabet V

struct R{
	int P;         /* produktsiooni jrk-nr */
	int sem;       /* semantikakood */
	int n;         /* NT definitsiooni pikkus */
	int *d;        /* NT definitsioon */
	struct R *alt; /* NT alternatiivne definitsioon */
}

struct D{
	int tunnus;  /* 0: NT, 1: T */
	int code;    /* vahekeelne kood */
	int L;       /* NT või id/const nime pikkus  */
	int loc;     /* ident | const : nr */
	int icx;     /* itl või ktl - IT või KT index */
	struct D *left;   /* kahendpuu viidad (võti on T[code]) */
	struct D *right;
	struct R *def;
}

 D 007E1910: tunnus=1 code=1 L=1 loc=0 icx=0 left=00000000 right=007E1870 def=00000000   (#)
 D 007E3CB0: tunnus=1 code=44 L=3 loc=0 icx=0 left=00000000 right=00000000 def=00000000   (#c#)
 D 007E1410: tunnus=1 code=8 L=3 loc=0 icx=0 left=007E3CB0 right=007E3F30 def=00000000   (#i#)
 D 007E3F30: tunnus=1 code=37 L=1 loc=0 icx=0 left=00000000 right=00000000 def=00000000   (')
 D 007E1820: tunnus=1 code=3 L=1 loc=0 icx=0 left=007E1410 right=007E1780 def=00000000   (()
 D 007E1780: tunnus=1 code=5 L=1 loc=0 icx=0 left=00000000 right=007E1500 def=00000000   ())
 D 007E3C10: tunnus=1 code=46 L=2 loc=0 icx=0 left=00000000 right=00000000 def=00000000   ()|)
 D 007E3DF0: tunnus=1 code=41 L=1 loc=0 icx=0 left=007E3C10 right=00000000 def=00000000   (*)
 D 007E3E90: tunnus=1 code=39 L=1 loc=0 icx=0 left=007E3DF0 right=007E3E40 def=00000000   (+)
 D 007E3080: tunnus=1 code=58 L=1 loc=0 icx=0 left=00000000 right=00000000 def=00000000   (,)
 D 007E3E40: tunnus=1 code=40 L=1 loc=0 icx=0 left=007E3080 right=007E3DA0 def=00000000   (-)
 D 007E3DA0: tunnus=1 code=42 L=1 loc=0 icx=0 left=00000000 right=00000000 def=00000000   (/)
 D 007E1230: tunnus=1 code=13 L=1 loc=0 icx=0 left=007E3E90 right=00000000 def=00000000   (:)
 D 007E1500: tunnus=1 code=7 L=1 loc=0 icx=0 left=007E1230 right=007E2710 def=00000000   (;)
 D 007E2300: tunnus=1 code=30 L=1 loc=0 icx=0 left=00000000 right=007E3FD0 def=00000000   (<)
 D 007E3FD0: tunnus=1 code=35 L=1 loc=0 icx=0 left=00000000 right=00000000 def=00000000   (=)
 D 007E23A0: tunnus=1 code=28 L=3 loc=0 icx=0 left=007E2300 right=00000000 def=00000000   (B^{)
 D 007E2710: tunnus=1 code=25 L=2 loc=0 icx=0 left=007E23A0 right=00000000 def=00000000   (E()
 D 007E1870: tunnus=1 code=2 L=5 loc=0 icx=0 left=007E1820 right=007E17D0 def=00000000   (INPUT)
 D 007E2800: tunnus=1 code=24 L=2 loc=0 icx=0 left=00000000 right=007E37B0 def=00000000   (V()
 D 007E37B0: tunnus=1 code=55 L=2 loc=0 icx=0 left=00000000 right=00000000 def=00000000   (\&)
 D 007E12D0: tunnus=1 code=11 L=11 loc=0 icx=0 left=007E2800 right=00000000 def=00000000   (\bigoplus_{)
 D 007E1370: tunnus=1 code=9 L=9 loc=0 icx=0 left=007E12D0 right=007E1320 def=00000000   (\bigvee_{)
 D 007E1320: tunnus=1 code=10 L=11 loc=0 icx=0 left=00000000 right=007E1190 def=00000000   (\bigwedge_{)
 D 007E3EE0: tunnus=1 code=38 L=4 loc=0 icx=0 left=00000000 right=00000000 def=00000000   (\geq)
 D 007E28A0: tunnus=1 code=23 L=3 loc=0 icx=0 left=007E3EE0 right=007E2670 def=00000000   (\in)
 D 007E2670: tunnus=1 code=26 L=10 loc=0 icx=0 left=00000000 right=007E2440 def=00000000   (\leftarrow)
 D 007E22B0: tunnus=1 code=31 L=4 loc=0 icx=0 left=00000000 right=007E2260 def=00000000   (\leq)
 D 007E3F80: tunnus=1 code=36 L=3 loc=0 icx=0 left=00000000 right=007E38A0 def=00000000   (\ne)
 D 007E3760: tunnus=1 code=56 L=4 loc=0 icx=0 left=00000000 right=007E4BC0 def=00000000   (\neg)
 D 007E4BC0: tunnus=1 code=60 L=6 loc=0 icx=0 left=00000000 right=00000000 def=00000000   (\notin)
 D 007E38A0: tunnus=1 code=52 L=6 loc=0 icx=0 left=007E3760 right=00000000 def=00000000   (\oplus)
 D 007E2260: tunnus=1 code=32 L=5 loc=0 icx=0 left=007E3F80 right=007E2210 def=00000000   (\prec)
 D 007E21C0: tunnus=1 code=34 L=7 loc=0 icx=0 left=00000000 right=00000000 def=00000000   (\prec^*)
 D 007E2210: tunnus=1 code=33 L=7 loc=0 icx=0 left=007E21C0 right=007E38F0 def=00000000   (\prec^+)
 D 007E38F0: tunnus=1 code=51 L=4 loc=0 icx=0 left=00000000 right=007E3850 def=00000000   (\sim)
 D 007E3850: tunnus=1 code=53 L=3 loc=0 icx=0 left=00000000 right=007E3800 def=00000000   (\to)
 D 007E3800: tunnus=1 code=54 L=4 loc=0 icx=0 left=00000000 right=007E4DF0 def=00000000   (\vee)
 D 007E4DF0: tunnus=1 code=59 L=2 loc=0 icx=0 left=00000000 right=00000000 def=00000000   (\{)
 D 007E2440: tunnus=1 code=27 L=2 loc=0 icx=0 left=007E22B0 right=007E3D00 def=00000000   (\})
 D 007E3D00: tunnus=1 code=43 L=2 loc=0 icx=0 left=00000000 right=007E3710 def=00000000   (^{)
 D 007E3710: tunnus=1 code=57 L=2 loc=0 icx=0 left=00000000 right=007E7960 def=00000000   (_{)
 D 007E8330: tunnus=0 code=91 L=3 loc=0 icx=0 left=00000000 right=007EC630 def=007E98F0   (arc)
 R 007E98F0: P=45 sem=0 n=5 d=007E98B0 alt=00000000
 d 007E98B0: 94 95 96 95 27 
 D 007EC630: tunnus=0 code=113 L=8 loc=0 icx=0 left=00000000 right=00000000 def=007F0A40   (aritmpar)
 R 007F0A40: P=134 sem=0 n=1 d=007F0A10 alt=00000000
 d 007F0A10: 3 
 D 007E7960: tunnus=0 code=79 L=7 loc=0 icx=0 left=007E8330 right=00000000 def=007E8F90   (atleast)
 R 007E8F90: P=32 sem=0 n=3 d=007E8F50 alt=00000000
 d 007E8F50: 21 82 83 
 D 007E2990: tunnus=1 code=21 L=9 loc=0 icx=0 left=007E28A0 right=00000000 def=00000000   (atleast_{)
 D 007E2E90: tunnus=1 code=17 L=10 loc=0 icx=0 left=007E2990 right=007E29E0 def=00000000   (atleastone)
 D 007E7BD0: tunnus=0 code=78 L=6 loc=0 icx=0 left=00000000 right=00000000 def=007E7180   (atmost)
 R 007E7180: P=31 sem=0 n=3 d=007E7140 alt=00000000
 d 007E7140: 20 82 83 
 D 007E29E0: tunnus=1 code=20 L=8 loc=0 icx=0 left=007E7BD0 right=00000000 def=00000000   (atmost_{)
 D 007E2F80: tunnus=1 code=16 L=9 loc=0 icx=0 left=007E2E90 right=007E2CB0 def=00000000   (atmostone)
 D 007E4530: tunnus=0 code=65 L=10 loc=0 icx=0 left=00000000 right=007E6C50 def=007E7440   (bigformula)
 R 007E7440: P=29 sem=0 n=1 d=007E7410 alt=007E7520
 d 007E7410: 81 
 R 007E7520: P=28 sem=0 n=6 d=007E74D0 alt=007E7790
 d 007E74D0: 80 76 77 13 74 5 
 R 007E7790: P=27 sem=0 n=6 d=007E7740 alt=007E7A00
 d 007E7740: 79 76 77 13 74 5 
 R 007E7A00: P=26 sem=0 n=6 d=007E79B0 alt=007E7C70
 d 007E79B0: 78 76 77 13 74 5 
 R 007E7C70: P=25 sem=0 n=6 d=007E7C20 alt=007E6030
 d 007E7C20: 19 76 77 13 74 5 
 R 007E6030: P=24 sem=0 n=6 d=007E7E90 alt=007E6160
 d 007E7E90: 18 76 77 13 74 5 
 R 007E6160: P=23 sem=0 n=6 d=007E6110 alt=007E63D0
 d 007E6110: 17 76 77 13 74 5 
 R 007E63D0: P=22 sem=0 n=6 d=007E6380 alt=007E6640
 d 007E6380: 16 76 77 13 74 5 
 R 007E6640: P=21 sem=0 n=6 d=007E65F0 alt=007E68B0
 d 007E65F0: 15 76 77 13 74 5 
 R 007E68B0: P=20 sem=0 n=6 d=007E6860 alt=007E6B20
 d 007E6860: 14 76 77 13 74 5 
 R 007E6B20: P=19 sem=0 n=6 d=007E6AD0 alt=007E6D80
 d 007E6AD0: 12 76 77 13 74 5 
 R 007E6D80: P=18 sem=0 n=4 d=007E6D40 alt=007E6F40
 d 007E6D40: 11 74 75 65 
 R 007E6F40: P=17 sem=0 n=4 d=007E6F00 alt=007E5130
 d 007E6F00: 10 74 75 65 
 R 007E5130: P=16 sem=0 n=4 d=007E50F0 alt=00000000
 d 007E50F0: 9 74 75 65 
 D 007E6C50: tunnus=0 code=77 L=11 loc=0 icx=0 left=00000000 right=007E8B40 def=007E7330   (bigformula1)
 R 007E7330: P=30 sem=0 n=1 d=007E7300 alt=00000000
 d 007E7300: 65 
 D 007EDD50: tunnus=0 code=115 L=6 loc=0 icx=0 left=00000000 right=00000000 def=007ED9C0   (clause)
 R 007ED9C0: P=98 sem=0 n=1 d=007ED990 alt=007EDA90
 d 007ED990: 116 
 R 007EDA90: P=97 sem=0 n=3 d=007EDA50 alt=00000000
 d 007EDA50: 116 55 115 
 D 007EA7E0: tunnus=0 code=103 L=13 loc=0 icx=0 left=007EDD50 right=00000000 def=007EA5E0   (conexpression)
 R 007EA5E0: P=62 sem=0 n=1 d=007EA5B0 alt=00000000
 d 007EA5B0: 84 
 D 007EA9C0: tunnus=0 code=102 L=10 loc=0 icx=0 left=007EA7E0 right=00000000 def=007EA700   (constraint)
 R 007EA700: P=61 sem=0 n=3 d=007EA6C0 alt=00000000
 d 007EA6C0: 103 104 84 
 D 007EAB70: tunnus=0 code=100 L=11 loc=0 icx=0 left=007EA9C0 right=00000000 def=007EA8B0   (constraints)
 R 007EA8B0: P=60 sem=0 n=1 d=007EA880 alt=007EA980
 d 007EA880: 102 
 R 007EA980: P=59 sem=0 n=3 d=007EA940 alt=00000000
 d 007EA940: 100 101 102 
 D 007E8B40: tunnus=0 code=86 L=12 loc=0 icx=0 left=007EAB70 right=007EAA10 def=007EAB30   (constraints1)
 R 007EAB30: P=58 sem=0 n=1 d=007EAB00 alt=00000000
 d 007EAB00: 100 
 D 007EAA10: tunnus=0 code=101 L=10 loc=0 icx=0 left=00000000 right=00000000 def=007EF1F0   (constrkoma)
 R 007EF1F0: P=127 sem=0 n=1 d=007EF1C0 alt=00000000
 d 007EF1C0: 58 
 D 007E2CB0: tunnus=1 code=19 L=2 loc=0 icx=0 left=007E4530 right=00000000 def=00000000   (eq)
 D 007E1190: tunnus=1 code=14 L=4 loc=0 icx=0 left=007E2F80 right=007E10A0 def=00000000   (even)
 D 007E10A0: tunnus=1 code=15 L=10 loc=0 icx=0 left=00000000 right=007E4800 def=00000000   (exactlyone)
 D 007E8CF0: tunnus=0 code=84 L=10 loc=0 icx=0 left=00000000 right=007EBDD0 def=007EBD90   (expression)
 R 007EBD90: P=72 sem=0 n=1 d=007EBD60 alt=00000000
 d 007EBD60: 105 
 D 007EBDD0: tunnus=0 code=105 L=11 loc=0 icx=0 left=00000000 right=007EB8D0 def=007EB9A0   (expression1)
 R 007EB9A0: P=75 sem=0 n=1 d=007EB970 alt=007EBA70
 d 007EB970: 106 
 R 007EBA70: P=74 sem=0 n=3 d=007EBA30 alt=007EBBE0
 d 007EBA30: 105 40 106 
 R 007EBBE0: P=73 sem=0 n=3 d=007EBBA0 alt=00000000
 d 007EBBA0: 105 39 106 
 D 007EB8D0: tunnus=0 code=107 L=6 loc=0 icx=0 left=00000000 right=007EB4E0 def=007EB380   (factor)
 R 007EB380: P=80 sem=0 n=1 d=007EB350 alt=007EB450
 d 007EB350: 109 
 R 007EB450: P=79 sem=0 n=2 d=007EB410 alt=00000000
 d 007EB410: 108 29 
 D 007EB4E0: tunnus=0 code=108 L=7 loc=0 icx=0 left=00000000 right=00000000 def=007EB1D0   (factor1)
 R 007EB1D0: P=81 sem=0 n=3 d=007EB190 alt=00000000
 d 007EB190: 107 43 109 
 D 007E4800: tunnus=0 code=62 L=6 loc=0 icx=0 left=007E8CF0 right=007E7480 def=007E4650   (family)
 R 007E4650: P=2 sem=0 n=1 d=007E4620 alt=00000000
 d 007E4620: 63 
 D 007EF8A0: tunnus=0 code=127 L=8 loc=0 icx=0 left=00000000 right=00000000 def=007F0E80   (formkoma)
 R 007F0E80: P=130 sem=0 n=1 d=007F0E50 alt=00000000
 d 007F0E50: 58 
 D 007EEB50: tunnus=0 code=125 L=8 loc=0 icx=0 left=007EF8A0 right=007EFA00 def=007EF9C0   (formlist)
 R 007EF9C0: P=120 sem=0 n=1 d=007EF990 alt=00000000
 d 007EF990: 126 
 D 007EFA00: tunnus=0 code=126 L=9 loc=0 icx=0 left=00000000 right=00000000 def=007EF740   (formlist1)
 R 007EF740: P=122 sem=0 n=1 d=007EF710 alt=007EF810
 d 007EF710: 65 
 R 007EF810: P=121 sem=0 n=3 d=007EF7D0 alt=00000000
 d 007EF7D0: 126 127 65 
 D 007E7480: tunnus=0 code=81 L=7 loc=0 icx=0 left=007EEB50 right=00000000 def=007EDEC0   (formula)
 R 007EDEC0: P=94 sem=0 n=1 d=007EDE90 alt=007EDF90
 d 007EDE90: 114 
 R 007EDF90: P=93 sem=0 n=3 d=007EDF50 alt=007EC110
 d 007EDF50: 114 53 81 
 R 007EC110: P=92 sem=0 n=3 d=007EC0D0 alt=007EC280
 d 007EC0D0: 114 52 81 
 R 007EC280: P=91 sem=0 n=3 d=007EC240 alt=00000000
 d 007EC240: 114 51 81 
 D 007E17D0: tunnus=1 code=4 L=5 loc=0 icx=0 left=007E1370 right=007E1690 def=00000000   (graph)
 D 007E9A70: tunnus=0 code=94 L=8 loc=0 icx=0 left=00000000 right=00000000 def=007F0D70   (graphbra)
 R 007F0D70: P=131 sem=0 n=1 d=007F0D40 alt=00000000
 d 007F0D40: 59 
 D 007E59F0: tunnus=0 code=70 L=9 loc=0 icx=0 left=007E9A70 right=007E8700 def=007E57D0   (graphname)
 R 007E57D0: P=11 sem=0 n=1 d=007E57A0 alt=00000000
 d 007E57A0: 8 
 D 007E8700: tunnus=0 code=89 L=10 loc=0 icx=0 left=00000000 right=00000000 def=007E9B40   (graphname1)
 R 007E9B40: P=44 sem=0 n=1 d=007E9B10 alt=00000000
 d 007E9B10: 70 
 D 007E4260: tunnus=0 code=66 L=10 loc=0 icx=0 left=007E59F0 right=007E5BA0 def=007E5B60   (graphnames)
 R 007E5B60: P=8 sem=0 n=1 d=007E5B30 alt=00000000
 d 007E5B30: 68 
 D 007E5BA0: tunnus=0 code=68 L=11 loc=0 icx=0 left=00000000 right=007E5A40 def=007E58E0   (graphnames1)
 R 007E58E0: P=10 sem=0 n=1 d=007E58B0 alt=007E59B0
 d 007E58B0: 70 
 R 007E59B0: P=9 sem=0 n=3 d=007E5970 alt=00000000
 d 007E5970: 68 69 70 
 D 007E5A40: tunnus=0 code=69 L=6 loc=0 icx=0 left=00000000 right=007ED560 def=007EF630   (grkoma)
 R 007EF630: P=123 sem=0 n=1 d=007EF600 alt=00000000
 d 007EF600: 58 
 D 007EEF80: tunnus=0 code=123 L=5 loc=0 icx=0 left=00000000 right=00000000 def=007EECC0   (index)
 R 007EECC0: P=109 sem=0 n=1 d=007EEC90 alt=00000000
 d 007EEC90: 84 
 D 007ED560: tunnus=0 code=119 L=7 loc=0 icx=0 left=007EEF80 right=007ED0B0 def=007ED070   (indexes)
 R 007ED070: P=106 sem=0 n=1 d=007ED040 alt=00000000
 d 007ED040: 122 
 D 007ED0B0: tunnus=0 code=122 L=8 loc=0 icx=0 left=00000000 right=007EEF30 def=007EEDD0   (indexes1)
 R 007EEDD0: P=108 sem=0 n=1 d=007EEDA0 alt=007EEEA0
 d 007EEDA0: 123 
 R 007EEEA0: P=107 sem=0 n=3 d=007EEE60 alt=00000000
 d 007EEE60: 123 124 122 
 D 007EEF30: tunnus=0 code=124 L=9 loc=0 icx=0 left=00000000 right=00000000 def=007F0F90   (indexkoma)
 R 007F0F90: P=129 sem=0 n=1 d=007F0F60 alt=00000000
 d 007F0F60: 58 
 D 007E4580: tunnus=0 code=64 L=5 loc=0 icx=0 left=007E4260 right=007E51C0 def=007E5C90   (input)
 R 007E5C90: P=7 sem=0 n=8 d=007E5C40 alt=007E5F90
 d 007E5C40: 2 3 6 67 7 4 66 5 
 R 007E5F90: P=6 sem=0 n=5 d=007E5F50 alt=007E41D0
 d 007E5F50: 2 3 6 67 5 
 R 007E41D0: P=5 sem=0 n=5 d=007E4190 alt=00000000
 d 007E4190: 2 3 4 66 5 
 D 007E51C0: tunnus=0 code=75 L=4 loc=0 icx=0 left=00000000 right=007E76F0 def=007F0710   (lbra)
 R 007F0710: P=137 sem=0 n=1 d=007F06E0 alt=00000000
 d 007F06E0: 29 
 D 007EC360: tunnus=0 code=114 L=8 loc=0 icx=0 left=00000000 right=00000000 def=007EDC40   (leftpart)
 R 007EDC40: P=96 sem=0 n=1 d=007EDC10 alt=007EDD10
 d 007EDC10: 115 
 R 007EDD10: P=95 sem=0 n=3 d=007EDCD0 alt=00000000
 d 007EDCD0: 114 54 115 
 D 007E9320: tunnus=0 code=99 L=6 loc=0 icx=0 left=007EC360 right=00000000 def=007E9170   (length)
 R 007E9170: P=51 sem=0 n=1 d=007E9140 alt=00000000
 d 007E9140: 84 
 D 007E9EA0: tunnus=0 code=93 L=7 loc=0 icx=0 left=007E9320 right=00000000 def=007EAC40   (lessrel)
 R 007EAC40: P=57 sem=0 n=1 d=007EAC10 alt=007EAD00
 d 007EAC10: 34 
 R 007EAD00: P=56 sem=0 n=1 d=007EACD0 alt=007EADC0
 d 007EACD0: 33 
 R 007EADC0: P=55 sem=0 n=1 d=007EAD90 alt=007EAE80
 d 007EAD90: 32 
 R 007EAE80: P=54 sem=0 n=1 d=007EAE50 alt=007EAF40
 d 007EAE50: 31 
 R 007EAF40: P=53 sem=0 n=1 d=007EAF10 alt=00000000
 d 007EAF10: 30 
 D 007E76F0: tunnus=0 code=80 L=5 loc=0 icx=0 left=007E9EA0 right=00000000 def=007E8DD0   (level)
 R 007E8DD0: P=33 sem=0 n=3 d=007E8D90 alt=00000000
 d 007E8D90: 22 82 83 
 D 007E2940: tunnus=1 code=22 L=7 loc=0 icx=0 left=007E4580 right=007E3A80 def=00000000   (level_{)
 D 007E9EF0: tunnus=0 code=92 L=13 loc=0 icx=0 left=00000000 right=00000000 def=007E9C50   (limexpression)
 R 007E9C50: P=43 sem=0 n=1 d=007E9C20 alt=00000000
 d 007E9C20: 84 
 D 007E8BE0: tunnus=0 code=85 L=5 loc=0 icx=0 left=007E9EF0 right=00000000 def=007F1F40   (limit)
 R 007F1F40: P=140 sem=0 n=5 d=007F1F00 alt=007F01C0
 d 007F1F00: 91 60 25 89 5 
 R 007F01C0: P=139 sem=0 n=7 d=007F0170 alt=007F04C0
 d 007F0170: 90 26 91 60 25 89 5 
 R 007F04C0: P=138 sem=0 n=5 d=007F0480 alt=007E9D70
 d 007F0480: 87 60 25 89 5 
 R 007E9D70: P=42 sem=0 n=5 d=007E9D30 alt=007E8030
 d 007E9D30: 92 93 87 93 84 
 R 007E8030: P=41 sem=0 n=5 d=007E9F40 alt=007E81B0
 d 007E9F40: 91 23 25 89 5 
 R 007E81B0: P=40 sem=0 n=7 d=007E8160 alt=007E8460
 d 007E8160: 90 26 91 23 25 89 5 
 R 007E8460: P=39 sem=0 n=5 d=007E8420 alt=007E8670
 d 007E8420: 87 23 25 89 5 
 R 007E8670: P=38 sem=0 n=5 d=007E8630 alt=007E8880
 d 007E8630: 87 23 24 89 5 
 R 007E8880: P=37 sem=0 n=3 d=007E8840 alt=00000000
 d 007E8840: 87 23 88 
 D 007E5210: tunnus=0 code=74 L=6 loc=0 icx=0 left=007E8BE0 right=007EDB70 def=007E8A30   (limits)
 R 007E8A30: P=36 sem=0 n=1 d=007E8A00 alt=007E8B00
 d 007E8A00: 85 
 R 007E8B00: P=35 sem=0 n=3 d=007E8AC0 alt=00000000
 d 007E8AC0: 85 7 86 
 D 007ED8A0: tunnus=0 code=117 L=7 loc=0 icx=0 left=00000000 right=007ED380 def=007ED2A0   (literal)
 R 007ED2A0: P=104 sem=0 n=3 d=007ED260 alt=007ED400
 d 007ED260: 121 77 5 
 R 007ED400: P=103 sem=0 n=1 d=007ED3D0 alt=007ED4D0
 d 007ED3D0: 120 
 R 007ED4D0: P=102 sem=0 n=4 d=007ED490 alt=007ED680
 d 007ED490: 118 57 119 29 
 R 007ED680: P=101 sem=0 n=1 d=007ED650 alt=00000000
 d 007ED650: 118 
 D 007ED380: tunnus=0 code=121 L=8 loc=0 icx=0 left=00000000 right=00000000 def=007F0B50   (logicpar)
 R 007F0B50: P=133 sem=0 n=1 d=007F0B20 alt=00000000
 d 007F0B20: 3 
 D 007EDB70: tunnus=0 code=116 L=7 loc=0 icx=0 left=007ED8A0 right=007ED6C0 def=007ED790   (logterm)
 R 007ED790: P=100 sem=0 n=1 d=007ED760 alt=007ED860
 d 007ED760: 117 
 R 007ED860: P=99 sem=0 n=2 d=007ED820 alt=00000000
 d 007ED820: 56 117 
 D 007ED6C0: tunnus=0 code=118 L=6 loc=0 icx=0 left=00000000 right=00000000 def=007ED180   (logvar)
 R 007ED180: P=105 sem=0 n=1 d=007ED150 alt=00000000
 d 007ED150: 8 
 D 007E39E0: tunnus=1 code=50 L=3 loc=0 icx=0 left=007E5210 right=007E4690 def=00000000   (max)
 D 007ECA20: tunnus=0 code=112 L=10 loc=0 icx=0 left=00000000 right=00000000 def=007EF0E0   (maxminkoma)
 R 007EF0E0: P=128 sem=0 n=1 d=007EF0B0 alt=00000000
 d 007EF0B0: 58 
 D 007E4690: tunnus=0 code=63 L=11 loc=0 icx=0 left=007ECA20 right=007E8960 def=007E4420   (metaformula)
 R 007E4420: P=4 sem=0 n=1 d=007E43F0 alt=007E44F0
 d 007E43F0: 65 
 R 007E44F0: P=3 sem=0 n=2 d=007E44B0 alt=00000000
 d 007E44B0: 64 65 
 D 007E96B0: tunnus=0 code=98 L=8 loc=0 icx=0 left=00000000 right=00000000 def=007EF410   (metakoma)
 R 007EF410: P=125 sem=0 n=1 d=007EF3E0 alt=00000000
 d 007EF3E0: 58 
 D 007E83D0: tunnus=0 code=90 L=12 loc=0 icx=0 left=007E96B0 right=00000000 def=007E9440   (metavariable)
 R 007E9440: P=49 sem=0 n=1 d=007E9410 alt=00000000
 d 007E9410: 8 
 D 007E8960: tunnus=0 code=87 L=13 loc=0 icx=0 left=007E83D0 right=007E9810 def=007E97D0   (metavariables)
 R 007E97D0: P=46 sem=0 n=1 d=007E97A0 alt=00000000
 d 007E97A0: 97 
 D 007E9810: tunnus=0 code=97 L=14 loc=0 icx=0 left=00000000 right=00000000 def=007E9550   (metavariables1)
 R 007E9550: P=48 sem=0 n=1 d=007E9520 alt=007E9620
 d 007E9520: 90 
 R 007E9620: P=47 sem=0 n=3 d=007E95E0 alt=00000000
 d 007E95E0: 97 98 90 
 D 007E3A80: tunnus=1 code=49 L=3 loc=0 icx=0 left=007E39E0 right=007E9A20 def=00000000   (min)
 D 007ECAC0: tunnus=0 code=110 L=5 loc=0 icx=0 left=00000000 right=00000000 def=007F0C60   (mmbra)
 R 007F0C60: P=132 sem=0 n=1 d=007F0C30 alt=00000000
 d 007F0C30: 59 
 D 007E9A20: tunnus=0 code=95 L=4 loc=0 icx=0 left=007ECAC0 right=007E99D0 def=007E9060   (node)
 R 007E9060: P=52 sem=0 n=1 d=007E9030 alt=00000000
 d 007E9030: 90 
 D 007E99D0: tunnus=0 code=96 L=8 loc=0 icx=0 left=00000000 right=00000000 def=007EF300   (nodekoma)
 R 007EF300: P=126 sem=0 n=1 d=007EF2D0 alt=00000000
 d 007EF2D0: 58 
 D 007E2DA0: tunnus=1 code=18 L=4 loc=0 icx=0 left=007E2940 right=00000000 def=00000000   (none)
 D 007E1280: tunnus=1 code=12 L=3 loc=0 icx=0 left=007E2DA0 right=007E48A0 def=00000000   (odd)
 D 007ECA70: tunnus=0 code=111 L=11 loc=0 icx=0 left=00000000 right=007ED440 def=007EC430   (pexpression)
 R 007EC430: P=90 sem=0 n=1 d=007EC400 alt=00000000
 d 007EC400: 84 
 D 007ED440: tunnus=0 code=120 L=13 loc=0 icx=0 left=00000000 right=00000000 def=007EFAE0   (prefixformula)
 R 007EFAE0: P=119 sem=0 n=4 d=007EFAA0 alt=007EFCA0
 d 007EFAA0: 80 76 125 5 
 R 007EFCA0: P=118 sem=0 n=4 d=007EFC60 alt=007EFE60
 d 007EFC60: 79 76 125 5 
 R 007EFE60: P=117 sem=0 n=4 d=007EFE20 alt=007EE040
 d 007EFE20: 78 76 125 5 
 R 007EE040: P=116 sem=0 n=4 d=007EFFE0 alt=007EE200
 d 007EFFE0: 19 76 125 5 
 R 007EE200: P=115 sem=0 n=4 d=007EE1C0 alt=007EE3C0
 d 007EE1C0: 18 76 125 5 
 R 007EE3C0: P=114 sem=0 n=4 d=007EE380 alt=007EE580
 d 007EE380: 17 76 125 5 
 R 007EE580: P=113 sem=0 n=4 d=007EE540 alt=007EE740
 d 007EE540: 16 76 125 5 
 R 007EE740: P=112 sem=0 n=4 d=007EE700 alt=007EE900
 d 007EE700: 15 76 125 5 
 R 007EE900: P=111 sem=0 n=4 d=007EE8C0 alt=007EEAC0
 d 007EE8C0: 14 76 125 5 
 R 007EEAC0: P=110 sem=0 n=4 d=007EEA80 alt=00000000
 d 007EEA80: 12 76 125 5 
 D 007E6CA0: tunnus=0 code=76 L=7 loc=0 icx=0 left=007ECA70 right=007EB3C0 def=007F0930   (prefpar)
 R 007F0930: P=135 sem=0 n=1 d=007F0900 alt=00000000
 d 007F0900: 3 
 D 007EB3C0: tunnus=0 code=109 L=7 loc=0 icx=0 left=00000000 right=00000000 def=007EC550   (primary)
 R 007EC550: P=89 sem=0 n=3 d=007EC510 alt=007EC6D0
 d 007EC510: 113 111 5 
 R 007EC6D0: P=88 sem=0 n=6 d=007EC680 alt=007EC940
 d 007EC680: 50 110 111 112 84 27 
 R 007EC940: P=87 sem=0 n=6 d=007EC8F0 alt=007ECBA0
 d 007EC8F0: 49 110 111 112 84 27 
 R 007ECBA0: P=86 sem=0 n=3 d=007ECB60 alt=007ECD10
 d 007ECB60: 48 90 48 
 R 007ECD10: P=85 sem=0 n=3 d=007ECCD0 alt=007ECE80
 d 007ECCD0: 47 70 46 
 R 007ECE80: P=84 sem=0 n=3 d=007ECE40 alt=007ECFE0
 d 007ECE40: 45 70 46 
 R 007ECFE0: P=83 sem=0 n=1 d=007ECFB0 alt=007EB0B0
 d 007ECFB0: 90 
 R 007EB0B0: P=82 sem=0 n=1 d=007EB080 alt=00000000
 d 007EB080: 44 
 D 007E48A0: tunnus=0 code=61 L=7 loc=0 icx=0 left=007E6CA0 right=007E7210 def=007E4770   (program)
 R 007E4770: P=1 sem=0 n=3 d=007E4730 alt=00000000
 d 007E4730: 1 62 1 
 D 007E7210: tunnus=0 code=82 L=4 loc=0 icx=0 left=00000000 right=007E71C0 def=007E8CB0   (rate)
 R 007E8CB0: P=34 sem=0 n=1 d=007E8C80 alt=00000000
 d 007E8C80: 84 
 D 007E71C0: tunnus=0 code=83 L=4 loc=0 icx=0 left=00000000 right=007E88C0 def=007F0820   (rbra)
 R 007F0820: P=136 sem=0 n=1 d=007F07F0 alt=00000000
 d 007F07F0: 29 
 D 007EA790: tunnus=0 code=104 L=8 loc=0 icx=0 left=00000000 right=00000000 def=007EBEA0   (relation)
 R 007EBEA0: P=71 sem=0 n=1 d=007EBE70 alt=007EBF60
 d 007EBE70: 38 
 R 007EBF60: P=70 sem=0 n=1 d=007EBF30 alt=007EA050
 d 007EBF30: 37 
 R 007EA050: P=69 sem=0 n=1 d=007EBFF0 alt=007EA110
 d 007EBFF0: 36 
 R 007EA110: P=68 sem=0 n=1 d=007EA0E0 alt=007EA1D0
 d 007EA0E0: 35 
 R 007EA1D0: P=67 sem=0 n=1 d=007EA1A0 alt=007EA290
 d 007EA1A0: 34 
 R 007EA290: P=66 sem=0 n=1 d=007EA260 alt=007EA350
 d 007EA260: 33 
 R 007EA350: P=65 sem=0 n=1 d=007EA320 alt=007EA410
 d 007EA320: 32 
 R 007EA410: P=64 sem=0 n=1 d=007EA3E0 alt=007EA4D0
 d 007EA3E0: 31 
 R 007EA4D0: P=63 sem=0 n=1 d=007EA4A0 alt=00000000
 d 007EA4A0: 30 
 D 007E88C0: tunnus=0 code=88 L=3 loc=0 icx=0 left=007EA790 right=007EBC20 def=007E9290   (set)
 R 007E9290: P=50 sem=0 n=3 d=007E9250 alt=00000000
 d 007E9250: 28 99 29 
 D 007EBC20: tunnus=0 code=106 L=4 loc=0 icx=0 left=00000000 right=00000000 def=007EB5B0   (term)
 R 007EB5B0: P=78 sem=0 n=1 d=007EB580 alt=007EB680
 d 007EB580: 107 
 R 007EB680: P=77 sem=0 n=3 d=007EB640 alt=007EB7F0
 d 007EB640: 107 42 106 
 R 007EB7F0: P=76 sem=0 n=3 d=007EB7B0 alt=00000000
 d 007EB7B0: 107 41 106 
 D 007E1690: tunnus=1 code=6 L=3 loc=0 icx=0 left=007E1280 right=007E2350 def=00000000   (var)
 D 007E5550: tunnus=0 code=73 L=8 loc=0 icx=0 left=00000000 right=00000000 def=007E5330   (variable)
 R 007E5330: P=15 sem=0 n=1 d=007E5300 alt=00000000
 d 007E5300: 8 
 D 007E55A0: tunnus=0 code=72 L=7 loc=0 icx=0 left=007E5550 right=00000000 def=007EF520   (varkoma)
 R 007EF520: P=124 sem=0 n=1 d=007EF4F0 alt=00000000
 d 007EF4F0: 58 
 D 007E4050: tunnus=0 code=67 L=8 loc=0 icx=0 left=007E55A0 right=007E5700 def=007E56C0   (varnames)
 R 007E56C0: P=12 sem=0 n=1 d=007E5690 alt=00000000
 d 007E5690: 71 
 D 007E5700: tunnus=0 code=71 L=9 loc=0 icx=0 left=00000000 right=00000000 def=007E5440   (varnames1)
 R 007E5440: P=14 sem=0 n=1 d=007E5410 alt=007E5510
 d 007E5410: 73 
 R 007E5510: P=13 sem=0 n=3 d=007E54D0 alt=00000000
 d 007E54D0: 71 72 73 
 D 007E3B20: tunnus=1 code=48 L=1 loc=0 icx=0 left=007E4050 right=00000000 def=00000000   (|)
 D 007E3BC0: tunnus=1 code=47 L=3 loc=0 icx=0 left=007E3B20 right=00000000 def=00000000   (|E()
 D 007E3C60: tunnus=1 code=45 L=3 loc=0 icx=0 left=007E3BC0 right=00000000 def=00000000   (|V()
 D 007E2350: tunnus=1 code=29 L=1 loc=0 icx=0 left=007E3C60 right=00000000 def=00000000   (})

Reduce Table

struct h{
	int P;          /* produktsiooni jrk-nr */
	int n;          /* definitsiooni pikkus  */
	int NT;         /* defineeritav nonterminal  */
	int *d;         /* definitsioon */
	int nc;         /* 1 - sõltuv kontekst */
	char *c;        /* reservis */
	struct h *same; /* sama parem pool */
	struct h *col;  /* põrkeviit */
}

 h 007F26D0: P=7 n=8 NT=64 d=007F2680 nc=0 same=00000000 col=00000000  (input)
 d 007F2680: 2 3 6 67 7 4 66 5 
 h 007F4E20: P=3 n=2 NT=63 d=007F4DE0 nc=0 same=00000000 col=00000000  (metaformula)
 d 007F4DE0: 64 65 
 h 007F1D90: P=134 n=1 NT=113 d=007F1D60 nc=0 same=007F4870 col=00000000  (aritmpar)
 d 007F1D60: 3 
 h 007F4870: P=135 n=1 NT=76 d=007F4840 nc=0 same=007F4FA0 col=00000000  (prefpar)
 d 007F4840: 3 
 h 007F4FA0: P=133 n=1 NT=121 d=007F4F70 nc=0 same=00000000 col=00000000  (logicpar)
 d 007F4F70: 3 
 h 007F3480: P=38 n=5 NT=85 d=007F3440 nc=0 same=00000000 col=007F3920  (limit)
 d 007F3440: 87 23 24 89 5 
 h 007F3920: P=35 n=3 NT=74 d=007F38E0 nc=0 same=00000000 col=00000000  (limits)
 d 007F38E0: 85 7 86 
 h 007F3510: P=39 n=5 NT=85 d=007F34D0 nc=0 same=00000000 col=00000000  (limit)
 d 007F34D0: 87 23 25 89 5 
 h 007F2490: P=11 n=1 NT=70 d=007F2460 nc=0 same=007F5470 col=00000000  (graphname)
 d 007F2460: 8 
 h 007F5470: P=15 n=1 NT=73 d=007F5440 nc=0 same=007F4C90 col=00000000  (variable)
 d 007F5440: 8 
 h 007F4C90: P=49 n=1 NT=90 d=007F4C60 nc=0 same=007F4F20 col=00000000  (metavariable)
 d 007F4C60: 8 
 h 007F4F20: P=105 n=1 NT=118 d=007F4EF0 nc=0 same=00000000 col=00000000  (logvar)
 d 007F4EF0: 8 
 h 007F3640: P=41 n=5 NT=85 d=007F3600 nc=0 same=00000000 col=00000000  (limit)
 d 007F3600: 91 23 25 89 5 
 h 007F4140: P=88 n=6 NT=109 d=007F40F0 nc=0 same=00000000 col=007F1B60  (primary)
 d 007F40F0: 50 110 111 112 84 27 
 h 007F1B60: P=27 n=6 NT=65 d=007F1B10 nc=0 same=00000000 col=00000000  (bigformula)
 d 007F1B10: 79 76 77 13 74 5 
 h 007F1AC0: P=26 n=6 NT=65 d=007F1A70 nc=0 same=00000000 col=00000000  (bigformula)
 d 007F1A70: 78 76 77 13 74 5 
 h 007F40A0: P=87 n=6 NT=109 d=007F4050 nc=0 same=00000000 col=00000000  (primary)
 d 007F4050: 49 110 111 112 84 27 
 h 007F2970: P=91 n=3 NT=81 d=007F2930 nc=0 same=00000000 col=00000000  (formula)
 d 007F2930: 114 51 81 
 h 007F1C00: P=28 n=6 NT=65 d=007F1BB0 nc=0 same=00000000 col=00000000  (bigformula)
 d 007F1BB0: 80 76 77 13 74 5 
 h 007F1EB0: P=32 n=3 NT=79 d=007F1E70 nc=0 same=00000000 col=00000000  (atleast)
 d 007F1E70: 21 82 83 
 h 007F1D10: P=31 n=3 NT=78 d=007F1CD0 nc=0 same=00000000 col=00000000  (atmost)
 d 007F1CD0: 20 82 83 
 h 007F2A90: P=93 n=3 NT=81 d=007F2A50 nc=0 same=00000000 col=00000000  (formula)
 d 007F2A50: 114 53 81 
 h 007F3E40: P=33 n=3 NT=80 d=007F3E00 nc=0 same=00000000 col=007F2A00  (level)
 d 007F3E00: 22 82 83 
 h 007F2A00: P=92 n=3 NT=81 d=007F29C0 nc=0 same=00000000 col=00000000  (formula)
 d 007F29C0: 114 52 81 
 h 007F33F0: P=37 n=3 NT=85 d=007F33B0 nc=0 same=00000000 col=00000000  (limit)
 d 007F33B0: 87 23 88 
 h 007F41D0: P=89 n=3 NT=109 d=007F4190 nc=0 same=00000000 col=00000000  (primary)
 d 007F4190: 113 111 5 
 h 007F3EC0: P=137 n=1 NT=75 d=007F3E90 nc=0 same=007F5CA0 col=00000000  (lbra)
 d 007F3E90: 29 
 h 007F5CA0: P=136 n=1 NT=83 d=007F5C70 nc=0 same=00000000 col=00000000  (rbra)
 d 007F5C70: 29 
 h 007F3BB0: P=53 n=1 NT=93 d=007F3B80 nc=0 same=007F5790 col=00000000  (lessrel)
 d 007F3B80: 30 
 h 007F5790: P=63 n=1 NT=104 d=007F5760 nc=0 same=00000000 col=00000000  (relation)
 d 007F5760: 30 
 h 007F3C30: P=54 n=1 NT=93 d=007F3C00 nc=0 same=007F5810 col=00000000  (lessrel)
 d 007F3C00: 31 
 h 007F5810: P=64 n=1 NT=104 d=007F57E0 nc=0 same=00000000 col=00000000  (relation)
 d 007F57E0: 31 
 h 007F3CB0: P=55 n=1 NT=93 d=007F3C80 nc=0 same=007F5890 col=00000000  (lessrel)
 d 007F3C80: 32 
 h 007F5890: P=65 n=1 NT=104 d=007F5860 nc=0 same=00000000 col=00000000  (relation)
 d 007F5860: 32 
 h 007F3D30: P=56 n=1 NT=93 d=007F3D00 nc=0 same=007F5910 col=00000000  (lessrel)
 d 007F3D00: 33 
 h 007F5910: P=66 n=1 NT=104 d=007F58E0 nc=0 same=00000000 col=00000000  (relation)
 d 007F58E0: 33 
 h 007F3890: P=140 n=5 NT=85 d=007F3850 nc=0 same=00000000 col=007F3DB0  (limit)
 d 007F3850: 91 60 25 89 5 
 h 007F3DB0: P=57 n=1 NT=93 d=007F3D80 nc=0 same=007F5990 col=00000000  (lessrel)
 d 007F3D80: 34 
 h 007F5990: P=67 n=1 NT=104 d=007F5960 nc=0 same=00000000 col=00000000  (relation)
 d 007F5960: 34 
 h 007F5A10: P=68 n=1 NT=104 d=007F59E0 nc=0 same=00000000 col=00000000  (relation)
 d 007F59E0: 35 
 h 007F5A90: P=69 n=1 NT=104 d=007F5A60 nc=0 same=00000000 col=007F4410  (relation)
 d 007F5A60: 36 
 h 007F4410: P=113 n=4 NT=120 d=007F43D0 nc=0 same=00000000 col=007F2D40  (prefixformula)
 d 007F43D0: 16 76 125 5 
 h 007F2D40: P=73 n=3 NT=105 d=007F2D00 nc=0 same=00000000 col=00000000  (expression1)
 d 007F2D00: 105 39 106 
 h 007F5B10: P=70 n=1 NT=104 d=007F5AE0 nc=0 same=00000000 col=007F44A0  (relation)
 d 007F5AE0: 37 
 h 007F44A0: P=114 n=4 NT=120 d=007F4460 nc=0 same=00000000 col=007F30C0  (prefixformula)
 d 007F4460: 17 76 125 5 
 h 007F30C0: P=102 n=4 NT=117 d=007F3080 nc=0 same=00000000 col=007F1E20  (literal)
 d 007F3080: 118 57 119 29 
 h 007F1E20: P=45 n=5 NT=91 d=007F1DE0 nc=0 same=00000000 col=00000000  (arc)
 d 007F1DE0: 94 95 96 95 27 
 h 007F5B90: P=71 n=1 NT=104 d=007F5B60 nc=0 same=00000000 col=007F4530  (relation)
 d 007F5B60: 38 
 h 007F4530: P=115 n=4 NT=120 d=007F44F0 nc=0 same=00000000 col=00000000  (prefixformula)
 d 007F44F0: 18 76 125 5 
 h 007F45C0: P=116 n=4 NT=120 d=007F4580 nc=0 same=00000000 col=00000000  (prefixformula)
 d 007F4580: 19 76 125 5 
 h 007F5600: P=76 n=3 NT=106 d=007F55C0 nc=0 same=00000000 col=00000000  (term)
 d 007F55C0: 107 41 106 
 h 007F5690: P=77 n=3 NT=106 d=007F5650 nc=0 same=00000000 col=007F2DD0  (term)
 d 007F5650: 107 42 106 
 h 007F2DD0: P=74 n=3 NT=105 d=007F2D90 nc=0 same=00000000 col=00000000  (expression1)
 d 007F2D90: 105 40 106 
 h 007F5DA0: P=82 n=1 NT=109 d=007F5D70 nc=0 same=00000000 col=00000000  (primary)
 d 007F5D70: 44 
 h 007F2BA0: P=81 n=3 NT=108 d=007F2B60 nc=0 same=00000000 col=00000000  (factor1)
 d 007F2B60: 107 43 109 
 h 007F3760: P=138 n=5 NT=85 d=007F3720 nc=0 same=00000000 col=00000000  (limit)
 d 007F3720: 87 60 25 89 5 
 h 007F1070: P=97 n=3 NT=115 d=007F1030 nc=0 same=00000000 col=00000000  (clause)
 d 007F1030: 116 55 115 
 h 007F31D0: P=104 n=3 NT=117 d=007F3190 nc=0 same=00000000 col=00000000  (literal)
 d 007F3190: 121 77 5 
 h 007F3A30: P=95 n=3 NT=114 d=007F39F0 nc=0 same=00000000 col=00000000  (leftpart)
 d 007F39F0: 114 54 115 
 h 007F4260: P=110 n=4 NT=120 d=007F4220 nc=0 same=00000000 col=00000000  (prefixformula)
 d 007F4220: 12 76 125 5 
 h 007F42F0: P=111 n=4 NT=120 d=007F42B0 nc=0 same=00000000 col=007F2FD0  (prefixformula)
 d 007F42B0: 14 76 125 5 
 h 007F2FD0: P=127 n=1 NT=101 d=007F2FA0 nc=0 same=007F54F0 col=00000000  (constrkoma)
 d 007F2FA0: 58 
 h 007F54F0: P=124 n=1 NT=72 d=007F54C0 nc=0 same=007F4980 col=00000000  (varkoma)
 d 007F54C0: 58 
 h 007F4980: P=126 n=1 NT=96 d=007F4950 nc=0 same=007F4C10 col=00000000  (nodekoma)
 d 007F4950: 58 
 h 007F4C10: P=125 n=1 NT=98 d=007F4BE0 nc=0 same=007F4D90 col=00000000  (metakoma)
 d 007F4BE0: 58 
 h 007F4D90: P=128 n=1 NT=112 d=007F4D60 nc=0 same=007F3F40 col=00000000  (maxminkoma)
 d 007F4D60: 58 
 h 007F3F40: P=129 n=1 NT=124 d=007F3F10 nc=0 same=007F2200 col=00000000  (indexkoma)
 d 007F3F10: 58 
 h 007F2200: P=123 n=1 NT=69 d=007F21D0 nc=0 same=007F2860 col=00000000  (grkoma)
 d 007F21D0: 58 
 h 007F2860: P=130 n=1 NT=127 d=007F2830 nc=0 same=00000000 col=00000000  (formkoma)
 d 007F2830: 58 
 h 007F4380: P=112 n=4 NT=120 d=007F4340 nc=0 same=00000000 col=007F2410  (prefixformula)
 d 007F4340: 15 76 125 5 
 h 007F2410: P=131 n=1 NT=94 d=007F23E0 nc=0 same=007F4A00 col=00000000  (graphbra)
 d 007F23E0: 59 
 h 007F4A00: P=132 n=1 NT=110 d=007F49D0 nc=0 same=00000000 col=00000000  (mmbra)
 d 007F49D0: 59 
 h 007F4900: P=1 n=3 NT=61 d=007F48C0 nc=0 same=00000000 col=00000000  (program)
 d 007F48C0: 1 62 1 
 h 007F2F50: P=2 n=1 NT=62 d=007F2F20 nc=0 same=00000000 col=00000000  (family)
 d 007F2F20: 63 
 h 007F2760: P=121 n=3 NT=126 d=007F2720 nc=0 same=00000000 col=00000000  (formlist1)
 d 007F2720: 126 127 65 
 h 007F2630: P=6 n=5 NT=64 d=007F25F0 nc=0 same=00000000 col=007F1410  (input)
 d 007F25F0: 2 3 6 67 5 
 h 007F1410: P=30 n=1 NT=77 d=007F13E0 nc=1 same=007F4EA0 col=00000000  (bigformula1)
 d 007F13E0: 65 
 h 007F4EA0: P=4 n=1 NT=63 d=007F4E70 nc=0 same=007F27E0 col=00000000  (metaformula)
 d 007F4E70: 65 
 h 007F27E0: P=122 n=1 NT=126 d=007F27B0 nc=1 same=00000000 col=00000000  (formlist1)
 d 007F27B0: 65 
 h 007F25A0: P=5 n=5 NT=64 d=007F2560 nc=0 same=00000000 col=00000000  (input)
 d 007F2560: 2 3 4 66 5 
 h 007F2510: P=8 n=1 NT=66 d=007F24E0 nc=0 same=00000000 col=00000000  (graphnames)
 d 007F24E0: 68 
 h 007F5EB0: P=84 n=3 NT=109 d=007F5E70 nc=0 same=00000000 col=00000000  (primary)
 d 007F5E70: 45 70 46 
 h 007F5370: P=13 n=3 NT=71 d=007F5330 nc=0 same=00000000 col=007F2390  (varnames1)
 d 007F5330: 71 72 73 
 h 007F2390: P=44 n=1 NT=89 d=007F2360 nc=0 same=007F2310 col=00000000  (graphname1)
 d 007F2360: 70 
 h 007F2310: P=10 n=1 NT=68 d=007F22E0 nc=0 same=00000000 col=00000000  (graphnames1)
 d 007F22E0: 70 
 h 007F5570: P=12 n=1 NT=67 d=007F5540 nc=0 same=00000000 col=007F5F40  (varnames)
 d 007F5540: 71 
 h 007F5F40: P=85 n=3 NT=109 d=007F5F00 nc=0 same=00000000 col=007F2290  (primary)
 d 007F5F00: 47 70 46 
 h 007F2290: P=9 n=3 NT=68 d=007F2250 nc=0 same=00000000 col=00000000  (graphnames1)
 d 007F2250: 68 69 70 
 h 007F53F0: P=14 n=1 NT=71 d=007F53C0 nc=0 same=00000000 col=007F35B0  (varnames1)
 d 007F53C0: 73 
 h 007F35B0: P=40 n=7 NT=85 d=007F3560 nc=0 same=00000000 col=007F14A0  (limit)
 d 007F3560: 90 26 91 23 25 89 5 
 h 007F14A0: P=16 n=4 NT=65 d=007F1460 nc=0 same=00000000 col=00000000  (bigformula)
 d 007F1460: 9 74 75 65 
 h 007F1530: P=17 n=4 NT=65 d=007F14F0 nc=0 same=00000000 col=00000000  (bigformula)
 d 007F14F0: 10 74 75 65 
 h 007F15C0: P=18 n=4 NT=65 d=007F1580 nc=0 same=00000000 col=00000000  (bigformula)
 d 007F1580: 11 74 75 65 
 h 007F17A0: P=21 n=6 NT=65 d=007F1750 nc=0 same=00000000 col=00000000  (bigformula)
 d 007F1750: 15 76 77 13 74 5 
 h 007F3260: P=99 n=2 NT=116 d=007F3220 nc=0 same=00000000 col=007F1700  (logterm)
 d 007F3220: 56 117 
 h 007F1700: P=20 n=6 NT=65 d=007F16B0 nc=0 same=00000000 col=00000000  (bigformula)
 d 007F16B0: 14 76 77 13 74 5 
 h 007F1660: P=19 n=6 NT=65 d=007F1610 nc=0 same=00000000 col=00000000  (bigformula)
 d 007F1610: 12 76 77 13 74 5 
 h 007F1A20: P=25 n=6 NT=65 d=007F19D0 nc=0 same=00000000 col=00000000  (bigformula)
 d 007F19D0: 19 76 77 13 74 5 
 h 007F1980: P=24 n=6 NT=65 d=007F1930 nc=0 same=00000000 col=007F1C80  (bigformula)
 d 007F1930: 18 76 77 13 74 5 
 h 007F1C80: P=29 n=1 NT=65 d=007F1C50 nc=0 same=00000000 col=00000000  (bigformula)
 d 007F1C50: 81 
 h 007F18E0: P=23 n=6 NT=65 d=007F1890 nc=0 same=00000000 col=00000000  (bigformula)
 d 007F1890: 17 76 77 13 74 5 
 h 007F1840: P=22 n=6 NT=65 d=007F17F0 nc=0 same=00000000 col=00000000  (bigformula)
 d 007F17F0: 16 76 77 13 74 5 
 h 007F1170: P=62 n=1 NT=103 d=007F1140 nc=0 same=007F5D20 col=00000000  (conexpression)
 d 007F1140: 84 
 h 007F5D20: P=34 n=1 NT=82 d=007F5CF0 nc=0 same=007F47F0 col=00000000  (rate)
 d 007F5CF0: 84 
 h 007F47F0: P=90 n=1 NT=111 d=007F47C0 nc=0 same=007F3360 col=00000000  (pexpression)
 d 007F47C0: 84 
 h 007F3360: P=43 n=1 NT=92 d=007F3330 nc=0 same=007F3B30 col=00000000  (limexpression)
 d 007F3330: 84 
 h 007F3B30: P=51 n=1 NT=99 d=007F3B00 nc=0 same=007F2100 col=00000000  (length)
 d 007F3B00: 84 
 h 007F2100: P=109 n=1 NT=123 d=007F20D0 nc=0 same=00000000 col=00000000  (index)
 d 007F20D0: 84 
 h 007F39A0: P=36 n=1 NT=74 d=007F3970 nc=0 same=00000000 col=00000000  (limits)
 d 007F3970: 85 
 h 007F4B10: P=47 n=3 NT=97 d=007F4AD0 nc=0 same=00000000 col=00000000  (metavariables1)
 d 007F4AD0: 97 98 90 
 h 007F5FD0: P=86 n=3 NT=109 d=007F5F90 nc=0 same=00000000 col=007F4B90  (primary)
 d 007F5F90: 48 90 48 
 h 007F4B90: P=48 n=1 NT=97 d=007F4B60 nc=1 same=007F5E20 col=00000000  (metavariables1)
 d 007F4B60: 90 
 h 007F5E20: P=83 n=1 NT=109 d=007F5DF0 nc=1 same=007F4A80 col=00000000  (primary)
 d 007F5DF0: 90 
 h 007F4A80: P=52 n=1 NT=95 d=007F4A50 nc=0 same=00000000 col=00000000  (node)
 d 007F4A50: 90 
 h 007F1200: P=61 n=3 NT=102 d=007F11C0 nc=0 same=00000000 col=00000000  (constraint)
 d 007F11C0: 103 104 84 
 h 007F36D0: P=42 n=5 NT=85 d=007F3690 nc=0 same=00000000 col=00000000  (limit)
 d 007F3690: 92 93 87 93 84 
 h 007F4D10: P=46 n=1 NT=87 d=007F4CE0 nc=1 same=00000000 col=00000000  (metavariables)
 d 007F4CE0: 97 
 h 007F5C20: P=50 n=3 NT=88 d=007F5BE0 nc=0 same=00000000 col=007F3800  (set)
 d 007F5BE0: 28 99 29 
 h 007F3800: P=139 n=7 NT=85 d=007F37B0 nc=0 same=00000000 col=00000000  (limit)
 d 007F37B0: 90 26 91 60 25 89 5 
 h 007F4770: P=119 n=4 NT=120 d=007F4730 nc=0 same=00000000 col=007F1390  (prefixformula)
 d 007F4730: 80 76 125 5 
 h 007F1390: P=58 n=1 NT=86 d=007F1360 nc=0 same=00000000 col=00000000  (constraints1)
 d 007F1360: 100 
 h 007F1310: P=60 n=1 NT=100 d=007F12E0 nc=0 same=00000000 col=00000000  (constraints)
 d 007F12E0: 102 
 h 007F1290: P=59 n=3 NT=100 d=007F1250 nc=0 same=00000000 col=00000000  (constraints)
 d 007F1250: 100 101 102 
 h 007F2ED0: P=72 n=1 NT=84 d=007F2EA0 nc=1 same=00000000 col=00000000  (expression)
 d 007F2EA0: 105 
 h 007F2E50: P=75 n=1 NT=105 d=007F2E20 nc=1 same=00000000 col=00000000  (expression1)
 d 007F2E20: 106 
 h 007F5710: P=78 n=1 NT=106 d=007F56E0 nc=1 same=00000000 col=00000000  (term)
 d 007F56E0: 107 
 h 007F2CB0: P=80 n=1 NT=107 d=007F2C80 nc=1 same=00000000 col=00000000  (factor)
 d 007F2C80: 109 
 h 007F2C30: P=79 n=2 NT=107 d=007F2BF0 nc=0 same=00000000 col=00000000  (factor)
 d 007F2BF0: 108 29 
 h 007F2B10: P=94 n=1 NT=81 d=007F2AE0 nc=0 same=00000000 col=00000000  (formula)
 d 007F2AE0: 114 
 h 007F3AB0: P=96 n=1 NT=114 d=007F3A80 nc=0 same=00000000 col=00000000  (leftpart)
 d 007F3A80: 115 
 h 007F10F0: P=98 n=1 NT=115 d=007F10C0 nc=0 same=00000000 col=00000000  (clause)
 d 007F10C0: 116 
 h 007F32E0: P=100 n=1 NT=116 d=007F32B0 nc=0 same=00000000 col=00000000  (logterm)
 d 007F32B0: 117 
 h 007F3030: P=101 n=1 NT=117 d=007F4FF0 nc=0 same=00000000 col=00000000  (literal)
 d 007F4FF0: 118 
 h 007F3140: P=103 n=1 NT=117 d=007F3110 nc=0 same=00000000 col=00000000  (literal)
 d 007F3110: 120 
 h 007F4650: P=117 n=4 NT=120 d=007F4610 nc=0 same=00000000 col=007F2180  (prefixformula)
 d 007F4610: 78 76 125 5 
 h 007F2180: P=106 n=1 NT=119 d=007F2150 nc=1 same=00000000 col=00000000  (indexes)
 d 007F2150: 122 
 h 007F46E0: P=118 n=4 NT=120 d=007F46A0 nc=0 same=00000000 col=007F2080  (prefixformula)
 d 007F46A0: 79 76 125 5 
 h 007F2080: P=108 n=1 NT=122 d=007F2050 nc=1 same=00000000 col=00000000  (indexes1)
 d 007F2050: 123 
 h 007F3FD0: P=107 n=3 NT=122 d=007F3F90 nc=0 same=00000000 col=00000000  (indexes1)
 d 007F3F90: 123 124 122 
 h 007F28E0: P=120 n=1 NT=125 d=007F28B0 nc=1 same=00000000 col=00000000  (formlist)
 d 007F28B0: 126 

Precedence Matrix