CONSTRUCTOR TABLES of the Grammar form8.grm


Parameters

File form8.prm
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

File form8.t
# 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

File form8.tt
\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

File form8.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

File form8.ht
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

File form8.pm
Nr123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127
10220000222220222222222000000000000000000000000000000000200000122200000000000022220000000000000000000000000000000022222022000000
20010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
30041010444440444444444000000000000000000000440444400000400000000400000000000444440040000040000000000000044444040444444044000440
40000000200000000000000000000000000000000000000000000000000000000010202000000000000000000000000000000000000000000000000000000000
54040404444444444444444000040444444444444444000000044444404000000400000000040044440400000000040000000400400000004044444044004004
60000000200000000000000000000000000000000000000000000000000000000001000202000000000000000000000000000000000000000000000000000000
70021000200000000000000000000000000000000000220222200000000000000000000000000000000020100020000000002022022222000200000000000000
84000404000004000000000400440444444444444444004040044444044040000000040040040000000400000000040040400400400000004000000000004004
90020000200000000000000000000000000000000000220222200000000200000000000000100000000022020022202002000000022222000200000000000000
100020000200000000000000000000000000000000000220222200000000200000000000000100000000022020022202002000000022222000200000000000000
110020000200000000000000000000000000000000000220222200000000200000000000000100000000022020022202002000000022222000200000000000000
120020000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000
130020000200000000000000000000000000000000000220222200000000200000000000000100000000022020022202002000000022222000200000000000000
140020000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000
150020000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000
160020000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000
170020000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000
180020000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000
190020000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000
200020000200000000000000000000000000000000000220222200000000000000000000000000000001020000020000000000000022222000200000000000000
210020000200000000000000000000000000000000000220222200000000000000000000000000000001020000020000000000000022222000200000000000000
220020000200000000000000000000000000000000000220222200000000000000000000000000000001020000020000000000000022222000200000000000000
230000000000000000000000011002000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000
240000000200000000000000000000000000000000000000000000000000000000000002000000000000000000100000000000000000000000000000000000000
250000000200000000000000000000000000000000000000000000000000000000000002000000000000000000100000000000000000000000000000000000000
260000000000000000000000000000000000000000000000000000000000200000000000000000000000000000001002000000000000000000000000000000000
270000404000000000000000400040444444444444444000000000000004040000000000000040000000400000000040000000400400000004000000000004000
280020000200000000000000000000000000000000000220222200000000000000000000000000000000020000020000000010000022222000200000000000000
294040404444444444444444000040444444444444444000000044444404000000400000000044044440400000000040000000400400000004044444044004004
300040000400000000000000000000000000000000000440444400000000000000000000000000000000040040040000004000000044444000400000000000000
310040000400000000000000000000000000000000000440444400000000000000000000000000000000040040040000004000000044444000400000000000000
320040000400000000000000000000000000000000000440444400000000000000000000000000000000040040040000004000000044444000400000000000000
330040000400000000000000000000000000000000000440444400000000000000000000000000000000040040040000004000000044444000400000000000000
340040000400000000000000000000000000000000000440444400000000000000000000000000000000040040040000004000000044444000400000000000000
350040000400000000000000000000000000000000000440444400000000000000000000000000000000040000040000000000000044444000400000000000000
360040000400000000000000000000000000000000000440444400000000000000000000000000000000040000040000000000000044444000400000000000000
370040000400000000000000000000000000000000000440444400000000000000000000000000000000040000040000000000000044444000400000000000000
380040000400000000000000000000000000000000000440444400000000000000000000000000000000040000040000000000000044444000400000000000000
390020000200000000000000000000000000000000000220222200000000000000000000000000000000000000020000000000000001222000200000000000000
400020000200000000000000000000000000000000000220222200000000000000000000000000000000000000020000000000000001222000200000000000000
410020000200000000000000000000000000000000000220222200000000000000000000000000000000000000020000000000000001222000200000000000000
420020000200000000000000000000000000000000000220222200000000000000000000000000000000000000020000000000000001222000200000000000000
430020000200000000000000000000000000000000000220222200000000000000000000000000000000000000020000000000000000001000200000000000000
440000404000000000000000000040444444444444444000000000000004000000000000000040000000400000000040000000400400000004000000000004000
450000000200000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000
460000404000000000000000000040444444444444444000000000000004000000000000000040000000400000000040000000400400000004000000000004000
470000000200000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000
480000404200000000000000000040444444444444444000000000000004000000000000000040000000400000010040000000400400000004000000000004000
490000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000100000000000000000
500000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000100000000000000000
510020000200020222222222000000000000000000000000000000000200000000000000000000022210000000000000000000000000000000022222022000000
520020000200020222222222000000000000000000000000000000000200000000000000000000022210000000000000000000000000000000022222022000000
530020000200020222222222000000000000000000000000000000000200000000000000000000022210000000000000000000000000000000022222022000000
540020000200020222222222000000000000000000000000000000000200000000000000000000022200000000000000000000000000000000001222022000000
550020000200020222222222000000000000000000000000000000000200000000000000000000022200000000000000000000000000000000001222022000000
560020000200020222222222000000000000000000000000000000000000000000000000000000022200000000000000000000000000000000000012022000000
570020000200000000000000000000000000000000000220222200000000000000000000000000000000020000020000000000000022222000200000100220000
580040000444440444444444000000000000000000000440444400000400000000400004004000044440040000040000400000044044444000444444044440000
590040000400000000000000000000000000000000000440444400000000000000000000000000000000040000040000400000000044444040400000000000000
600000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
610000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
621000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
634000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
640020000222220222222222000000000000000000000000000000000200000000100000000000022220000000000000000000000000000000022222022000000
654000400000004000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000000004
660000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
670000101000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
680000400000000000000000000000000000000000000000000000000002000000000010000000000000000000000000000000000000000000000000000000000
690000000200000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000
700000400000000000000000000000000000000000000001000000000004000000000040000000000000000000000000000000000000000000000000000000000
710000404000000000000000000000000000000000000000000000000002000000000000010000000000000000000000000000000000000000000000000000000
720000000200000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000
730000404000000000000000000000000000000000000000000000000004000000000000040000000000000000000000000000000000000000000000000000000
740000100000000000000000000000200000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000
750020000222220222222222000000000000000000000000000000000200000000100000000000022220000000000000000000000000000000022222022000000
760020000222220222222222000000000000000000000000000000000200000000200000000000122220000000000000000000000000000000022222022000120
770000100000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
780020000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000
790020000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000
800020000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000
814000400000004000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000000004
820000000000000000000000000000200000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000
830040000000000000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000
840000404000000000000000000010444444444400000000000000000004000000000000000040000000400000000040000000400400000004000000000004000
850000401000000000000000000000400000000000000000000000000000000000000000000040000000000000000000000000000000000000000000000000000
860000400000000000000000000000400000000000000000000000000000000000000000000040000000000000000000000000000000000000000000000000000
870000000000000000000000100000022222000000000000000000000000010000000000000000000000000000000010000000000000000000000000000000000
880000404000000000000000000000400000000000000000000000000000000000000000000040000000000000000000000000000000000000000000000000000
890000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
900000404000000000000000400140444444444444444000010000000004040000000000000040000000400000000040040400400400000004000000000004000
910000000000000000000000100000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000
920000000000000000000000000000022222000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000
930020000200000000000000000000000000000000000220222200000000000000000000000000000000010010020000002000000022222000200000000000000
940000000200000000000000000000000000000000000000000000000000000000000000000000000000000000020000100000000000000000000000000000000
950000000000000000000000000010000000000000000000000000000002000000000000000000000000000000000000010000000000000000000000000000000
960000000200000000000000000000000000000000000000000000000000000000000000000000000000000000020000100000000000000000000000000000000
970000000000000000000000400000044444000000000000000000000002040000000000000000000000000000000040000100000000000000000000000000000
980000000200000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000
990000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000400000000000000000000000400000000000000000000000000002000000000000000040000000000000000000000000100000000000000000000000000
1010020000200000000000000000000000000000000000220222200000000000000000000000000000000020000020000000000012022222000200000000000000
1020000400000000000000000000000400000000000000000000000000004000000000000000040000000000000000000000000400000000000000000000000000
1030000000000000000000000000000022222222200000000000000000000000000000000000000000000000000000000000000000100000000000000000000000
1040020000200000000000000000000000000000000000220222200000000000000000000000000000000010000020000000000000022222000200000000000000
1050000404000000000000000000040444444444411000000000000000004000000000000000040000000400000000040000000400400000004000000000004000
1060000404000000000000000000040444444444444000000000000000004000000000000000040000000400000000040000000400400000004000000000004000
1070000404000000000000000000040444444444444111000000000000004000000000000000040000000400000000040000000400400000004000000000004000
1080000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1090000404000000000000000000040444444444444444000000000000004000000000000000040000000400000000040000000400400000004000000000004000
1100020000200000000000000000000000000000000000220222200000000000000000000000000000000020000020000000000000022222010200000000000000
1110000100000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000001000000000000000
1120020000200000000000000000000000000000000000220222200000000000000000000000000000000010000020000000000000022222000200000000000000
1130020000200000000000000000000000000000000000220222200000000000000000000000000000000020000020000000000000022222010200000000000000
1144000400000004000000000000000000000000000000000000011110004000000000000000000000000000000000000000000000000000000000000000000004
1154000400000004000000000000000000000000000000000000044440004000000000000000000000000000000000000000000000000000000000000000000004
1164000400000004000000000000000000000000000000000000044441004000000000000000000000000000000000000000000000000000000000000000000004
1174000400000004000000000000000000000000000000000000044444004000000000000000000000000000000000000000000000000000000000000000000004
1184000400000004000000000000000000000000000000000000044444014000000000000000000000000000000000000000000000000000000000000000000004
1190000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1204000400000004000000000000000000000000000000000000044444004000000000000000000000000000000000000000000000000000000000000000000004
1210020000222220222222222000000000000000000000000000000000200000000200000000000122220000000000000000000000000000000022222022000000
1220000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1230000000000000000000000000000400000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000001000
1240020000200000000000000000000000000000000000220222200000000000000000000000000000000020000020000000000000022222000200000000120000
1250000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1260000400000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000001
1270020000222220222222222000000000000000000000000000000000200000000100000000000022220000000000000000000000000000000022222022000000



Left Context

File form8.lc
Nr123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127
610000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
621000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
631000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
641000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
651000000000000000000000000000000000000000000000000000000000000001000000000011000000000000000000000000000000000000000000001000001
660001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
670000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
680001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
690000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000
700001000000000000000000011000000000000000000010100000000000000000000010000000000000000000000000000000000000000000000000000000000
710000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
720000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000
730000010000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000
740000000011101000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
750000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000
760000000000010111111000000000000000000000000000000000000000000000000000000000011100000000000000000000000000000000000000000000000
770000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000001000000
781000000000000000000000000000000000000000000000000011111100000001000000000011000000000000000000000000000000000000000000001000001
791000000000000000000000000000000000000000000000000011111100000001000000000011000000000000000000000000000000000000000000001000001
801000000000000000000000000000000000000000000000000011111100000001000000000011000000000000000000000000000000000000000000001000001
811000000000000000000000000000000000000000000000000011100000000001000000000011000000000000000000000000000000000000000000001000001
820000000000000000000111000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
830000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000
840000001011101000000111000001000000000000000000000000000010000000000000000000000000000000000010000000100100000101100000000001000
850000000011101000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
860000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
870000000011101000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000
880000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
890000000000000000000000011000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
900000001011101000000111000001000000000011111000010000000010000000000000000000000000000000000011010100100100000101100000000001000
910000000011101000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
920000000011101000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
930000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100000000000000000000000000000000000
940000000011101000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
950000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001010000000000000000000000000000000
960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000
970000000011101000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000
980000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000
990000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000
1020000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000
1030000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000
1040000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000
1050000001011101000000111000001000000000000000000000000000010000000000000000000000000000000000010000000100100000101100000000001000
1060000001011101000000111000001000000000011110000000000000010000000000000000000000000000000000010000000100100000101100000000001000
1070000001011101000000111000001000000000011110000000000000010000000000000000000000000000000000010000000100100000101100000000001000
1080000001011101000000111000001000000000011110000000000000010000000000000000000000000000000000010000000100100000101100000000001000
1090000001011101000000111000001000000000011111000000000000010000000000000000000000000000000000010000000100100000101100000000001000
1100000000000000000000000000000000000000000000000001100000000000000000000000000000000000000000000000000000000000000000000000000000
1110000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100100000000000000
1120000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000
1130000001011101000000111000001000000000011111000000000000010000000000000000000000000000000000010000000100100000101100000000001000
1141000000000000000000000000000000000000000000000000011100000000001000000000011000000000000000000000000000000000000000000001000001
1151000000000000000000000000000000000000000000000000011111000000001000000000011000000000000000000000000000000000000000000001000001
1161000000000000000000000000000000000000000000000000011111000000001000000000011000000000000000000000000000000000000000000001000001
1171000000000000000000000000000000000000000000000000011111100000001000000000011000000000000000000000000000000000000000000001000001
1181000000000000000000000000000000000000000000000000011111100000001000000000011000000000000000000000000000000000000000000001000001
1190000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000
1201000000000000000000000000000000000000000000000000011111100000001000000000011000000000000000000000000000000000000000000001000001
1211000000000000000000000000000000000000000000000000011111100000001000000000011000000000000000000000000000000000000000000001000001
1220000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000001000
1230000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000001000
1240000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000
1250000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000
1260000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000
1270000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010



Right Context

File form8.rc
Nr123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960
61000000000000000000000000000000000000000000000000000000000000
62100000000000000000000000000000000000000000000000000000000000
63100000000000000000000000000000000000000000000000000000000000
64001000011111011111111100000000000000000000000000000000010000
65100010000000100000000000000000000000000000000000000000000100
66000010000000000000000000000000000000000000000000000000000000
67000010100000000000000000000000000000000000000000000000000000
68000010000000000000000000000000000000000000000000000000000100
69000000010000000000000000000000000000000000000000000000000000
70000010000000000000000000000000000000000000000100000000000100
71000010100000000000000000000000000000000000000000000000000100
72000000010000000000000000000000000000000000000000000000000000
73000010100000000000000000000000000000000000000000000000000100
74000010000000000000000000000010000000000000000000000000000000
75001000011111011111111100000000000000000000000000000000010000
76001000011111011111111100000000000000000000000000000000010000
77000010000000100000000000000000000000000000000000000000000000
78001000000000000000000000000000000000000000000000000000000000
79001000000000000000000000000000000000000000000000000000000000
80001000000000000000000000000000000000000000000000000000000000
81100010000000100000000000000000000000000000000000000000000100
82000000000000000000000000000010000000000000000000000000000000
83001000000000000000000000000000000000000000000000000000000000
84000010100000000000000000001011111111110000000000000000000100
85000010100000000000000000000010000000000000000000000000000000
86000010000000000000000000000010000000000000000000000000000000
87000000000000000000000010000001111100000000000000000000000001
88000010100000000000000000000010000000000000000000000000000000
89000010000000000000000000000000000000000000000000000000000000
90000010100000000000000010011011111111111111100001000000000101
91000000000000000000000010000000000000000000000000000000000001
92000000000000000000000000000001111100000000000000000000000000
93001000010000000000000000000000000000000000011011110000000000
94000000010000000000000000000000000000000000000000000000000000
95000000000000000000000000001000000000000000000000000000000100
96000000010000000000000000000000000000000000000000000000000000
97000000000000000000000010000001111100000000000000000000000101
98000000010000000000000000000000000000000000000000000000000000
99000000000000000000000000000010000000000000000000000000000000
100000010000000000000000000000010000000000000000000000000000100
101001000010000000000000000000000000000000000011011110000000000
102000010000000000000000000000010000000000000000000000000000100
103000000000000000000000000000001111111110000000000000000000000
104001000010000000000000000000000000000000000011011110000000000
105000010100000000000000000001011111111111100000000000000000100
106000010100000000000000000001011111111111100000000000000000100
107000010100000000000000000001011111111111111100000000000000100
108000000000000000000000000000010000000000000000000000000000000
109000010100000000000000000001011111111111111100000000000000100
110001000010000000000000000000000000000000000011011110000000000
111000010000000000000000000000000000000000000000000000000000100
112001000010000000000000000000000000000000000011011110000000000
113001000010000000000000000000000000000000000011011110000000000
114100010000000100000000000000000000000000000000000001111000100
115100010000000100000000000000000000000000000000000001111000100
116100010000000100000000000000000000000000000000000001111100100
117100010000000100000000000000000000000000000000000001111100100
118100010000000100000000000000000000000000000000000001111101100
119000000000000000000000000000010000000000000000000000000000000
120100010000000100000000000000000000000000000000000001111100100
121001000011111011111111100000000000000000000000000000000010000
122000000000000000000000000000010000000000000000000000000000000
123000000000000000000000000000010000000000000000000000000000100
124001000010000000000000000000000000000000000011011110000000000
125000010000000000000000000000000000000000000000000000000000000
126000010000000000000000000000000000000000000000000000000000100
127001000011111011111111100000000000000000000000000000000010000





Dependent Context

File form8.dc

DEP[77]=007F6DF0
L[76]=007F6D80
rc[13]=1
L[121]=007F6D10
rc[5]=1

DEP[82]=007F9990
L[20]=007F98B0
rc[29]=1
L[21]=007F9920
rc[29]=1
L[22]=007F9840
rc[29]=1

DEP[84]=007F8060
L[7]=007F9C30
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1
L[9]=007FAE60
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1
L[10]=007FADF0
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1
L[11]=007FAD80
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1
L[13]=007FAD10
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1
L[20]=007F97D0
rc[29]=1
L[21]=007F9760
rc[29]=1
L[22]=007F96F0
rc[29]=1
L[28]=007FAA00
rc[29]=1
L[57]=007FA0D0
rc[29]=1 rc[58]=1
L[93]=007FBF40
rc[5]=1 rc[7]=1 rc[29]=1
L[101]=007F9BC0
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1
L[104]=007FBFB0
rc[5]=1 rc[29]=1 rc[58]=1
L[110]=007F9370
rc[58]=1
L[112]=007F9FB0
rc[27]=1
L[113]=007F9300
rc[5]=1
L[124]=007FA060
rc[29]=1 rc[58]=1

DEP[87]=007F6140
L[9]=007F60D0
rc[23]=1 rc[60]=1
L[10]=007F6060
rc[23]=1 rc[60]=1
L[11]=007F7FB0
rc[23]=1 rc[60]=1
L[13]=007F7F40
rc[23]=1 rc[60]=1
L[93]=007F7ED0
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1

DEP[92]=007F90D0
L[9]=007F9060
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1
L[10]=007FAFB0
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1
L[11]=007FAF40
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1
L[13]=007FAED0
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1

DEP[97]=007F65A0
L[9]=007F6530
rc[23]=1 rc[58]=1 rc[60]=1
L[10]=007F64C0
rc[23]=1 rc[58]=1 rc[60]=1
L[11]=007F6450
rc[23]=1 rc[58]=1 rc[60]=1
L[13]=007F63E0
rc[23]=1 rc[58]=1 rc[60]=1
L[93]=007F6370
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[58]=1

DEP[99]=007FAAE0
L[28]=007FAA70
rc[29]=1

DEP[103]=007F9D80
L[7]=007F9D10
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1
L[101]=007F9CA0
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1

DEP[105]=007F8A00
L[7]=007F8990
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1
L[9]=007F8920
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[39]=1 rc[40]=1
L[10]=007F88B0
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[39]=1 rc[40]=1
L[11]=007F8840
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[39]=1 rc[40]=1
L[13]=007F87D0
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[39]=1 rc[40]=1
L[20]=007F8760
rc[29]=1 rc[39]=1 rc[40]=1
L[21]=007F86F0
rc[29]=1 rc[39]=1 rc[40]=1
L[22]=007F8680
rc[29]=1 rc[39]=1 rc[40]=1
L[28]=007F8610
rc[29]=1 rc[39]=1 rc[40]=1
L[57]=007F85A0
rc[29]=1 rc[39]=1 rc[40]=1 rc[58]=1
L[93]=007F8530
rc[5]=1 rc[7]=1 rc[29]=1 rc[39]=1 rc[40]=1
L[101]=007F84C0
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1
L[104]=007F8450
rc[5]=1 rc[29]=1 rc[39]=1 rc[40]=1 rc[58]=1
L[110]=007F83E0
rc[39]=1 rc[40]=1 rc[58]=1
L[112]=007F8370
rc[27]=1 rc[39]=1 rc[40]=1
L[113]=007F8300
rc[5]=1 rc[39]=1 rc[40]=1
L[124]=007F8290
rc[29]=1 rc[39]=1 rc[40]=1 rc[58]=1

DEP[106]=007F8DF0
L[7]=007FBED0
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1
L[9]=007FBE60
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[39]=1 rc[40]=1
L[10]=007FBDF0
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[39]=1 rc[40]=1
L[11]=007FBD80
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[39]=1 rc[40]=1
L[13]=007FBD10
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[39]=1 rc[40]=1
L[20]=007FBCA0
rc[29]=1 rc[39]=1 rc[40]=1
L[21]=007FBC30
rc[29]=1 rc[39]=1 rc[40]=1
L[22]=007FBBC0
rc[29]=1 rc[39]=1 rc[40]=1
L[28]=007FBB50
rc[29]=1 rc[39]=1 rc[40]=1
L[39]=007F8D80
rc[5]=1 rc[7]=1 rc[27]=1 rc[29]=1 rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1 rc[58]=1
L[40]=007F8C30
rc[5]=1 rc[7]=1 rc[27]=1 rc[29]=1 rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1 rc[58]=1
L[41]=007F8D10
rc[5]=1 rc[7]=1 rc[27]=1 rc[29]=1 rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1 rc[58]=1
L[42]=007F8CA0
rc[5]=1 rc[7]=1 rc[27]=1 rc[29]=1 rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1 rc[58]=1
L[57]=007FBAE0
rc[29]=1 rc[39]=1 rc[40]=1 rc[58]=1
L[93]=007FBA70
rc[5]=1 rc[7]=1 rc[29]=1 rc[39]=1 rc[40]=1
L[101]=007FBA00
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1
L[104]=007FB990
rc[5]=1 rc[29]=1 rc[39]=1 rc[40]=1 rc[58]=1
L[110]=007FB920
rc[39]=1 rc[40]=1 rc[58]=1
L[112]=007FB8B0
rc[27]=1 rc[39]=1 rc[40]=1
L[113]=007FB840
rc[5]=1 rc[39]=1 rc[40]=1
L[124]=007FB7D0
rc[29]=1 rc[39]=1 rc[40]=1 rc[58]=1

DEP[107]=007F7A00
L[7]=007F7990
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[9]=007F7920
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[10]=007F78B0
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[11]=007F7840
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[13]=007F77D0
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[20]=007F7760
rc[29]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[21]=007F76F0
rc[29]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[22]=007F7680
rc[29]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[28]=007F7610
rc[29]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[39]=007F75A0
rc[5]=1 rc[7]=1 rc[27]=1 rc[29]=1 rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1 rc[58]=1
L[40]=007F7530
rc[5]=1 rc[7]=1 rc[27]=1 rc[29]=1 rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1 rc[58]=1
L[41]=007F74C0
rc[5]=1 rc[7]=1 rc[27]=1 rc[29]=1 rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1 rc[58]=1
L[42]=007F7450
rc[5]=1 rc[7]=1 rc[27]=1 rc[29]=1 rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1 rc[58]=1
L[57]=007F73E0
rc[29]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1 rc[58]=1
L[93]=007F7370
rc[5]=1 rc[7]=1 rc[29]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[101]=007F7300
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[104]=007F7290
rc[5]=1 rc[29]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1 rc[58]=1
L[110]=007F7220
rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1 rc[58]=1
L[112]=007F71B0
rc[27]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[113]=007F7140
rc[5]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[124]=007F70D0
rc[29]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1 rc[58]=1

DEP[109]=007F7CA0
L[7]=007FB760
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[9]=007FB6F0
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[10]=007FB680
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[11]=007FB610
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[13]=007FB5A0
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[20]=007FB530
rc[29]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[21]=007FB4C0
rc[29]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[22]=007FB450
rc[29]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[28]=007FB3E0
rc[29]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[39]=007FB370
rc[5]=1 rc[7]=1 rc[27]=1 rc[29]=1 rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1 rc[58]=1
L[40]=007FB300
rc[5]=1 rc[7]=1 rc[27]=1 rc[29]=1 rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1 rc[58]=1
L[41]=007FB290
rc[5]=1 rc[7]=1 rc[27]=1 rc[29]=1 rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1 rc[58]=1
L[42]=007FB220
rc[5]=1 rc[7]=1 rc[27]=1 rc[29]=1 rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1 rc[58]=1
L[43]=007F7C30
rc[29]=1
L[57]=007FB1B0
rc[29]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1 rc[58]=1
L[93]=007FB140
rc[5]=1 rc[7]=1 rc[29]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[101]=007FB0D0
rc[30]=1 rc[31]=1 rc[32]=1 rc[33]=1 rc[34]=1 rc[35]=1 rc[36]=1 rc[37]=1 rc[38]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[104]=007FB060
rc[5]=1 rc[29]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1 rc[58]=1
L[110]=007FCFB0
rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1 rc[58]=1
L[112]=007FCF40
rc[27]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[113]=007FCED0
rc[5]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1
L[124]=007FCE60
rc[29]=1 rc[39]=1 rc[40]=1 rc[41]=1 rc[42]=1 rc[43]=1 rc[58]=1

DEP[111]=007F94C0
L[110]=007F9450
rc[58]=1
L[113]=007F93E0
rc[5]=1

DEP[119]=007FA370
L[57]=007FA300
rc[29]=1

DEP[122]=007FA5A0
L[57]=007FA290
rc[29]=1
L[124]=007FA220
rc[29]=1

DEP[123]=007FA7D0
L[57]=007FA1B0
rc[29]=1 rc[58]=1
L[124]=007FA140
rc[29]=1 rc[58]=1

DEP[125]=007F6840
L[76]=007F67D0
rc[5]=1

DEP[126]=007F6AE0
L[76]=007F6A70
rc[5]=1 rc[58]=1



Semantics

File form8.sm

0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 101 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 3 4 5 6 0 7 94 0 0 8 95 0 9 10 11 12 13 14 15 16 17 18 19 20 21 22 0 0 0 0 0 23 24 25 26 27 28 29 30 0 0 0 0 31 32 0 0 0 0 33 34 35 36 37 0 38 39 40 0 41 42 43 44 45 46 47 48 49 0 50 51 52 53 54 55 56 57 0 58 59 60 61 62 63 64 65 0 66 67 68 69 70 71 72 73 74 75 76 77 78 79 0 0 80 81 0 82 83 84 85 86 87 88 89 90 91 0 92 93 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 138 139 140 0