Start of CONSTRUCTOR for the Grammar form8.grm Sun Mar 03 11:01:01 2019

Terminal alphabet

# 1 = #
# 2 = INPUT
# 3 = (
# 4 = graph
# 5 = )
# 6 = var
# 7 = ;
# 8 = #i#
# 9 = \bigvee_{
#10 = \bigwedge_{
#11 = \bigoplus_{
#12 = odd
#13 = :
#14 = even
#15 = exactlyone
#16 = atmostone
#17 = atleastone
#18 = none
#19 = eq
#20 = atmost_{
#21 = atleast_{
#22 = level_{
#23 = \in
#24 = V(
#25 = E(
#26 = \leftarrow
#27 = \}
#28 = B^{
#29 = }
#30 = <
#31 = \leq
#32 = \prec
#33 = \prec^+
#34 = \prec^*
#35 = =
#36 = \ne
#37 = '
#38 = \geq
#39 = +
#40 = -
#41 = *
#42 = /
#43 = ^{
#44 = #c#
#45 = |V(
#46 = )|
#47 = |E(
#48 = |
#49 = min
#50 = max
#51 = \sim
#52 = \oplus
#53 = \to
#54 = \vee
#55 = \&
#56 = \neg
#57 = _{
#58 = ,
#59 = \{
#60 = \notin

Nonterminal alphabet

#61 = `program'
#62 = `family'
#63 = `metaformula'
#64 = `input'
#65 = `bigformula'
#66 = `graphnames'
#67 = `varnames'
#68 = `graphnames1'
#69 = `grkoma'
#70 = `graphname'
#71 = `varnames1'
#72 = `varkoma'
#73 = `variable'
#74 = `limits'
#75 = `lbra'
#76 = `prefpar'
#77 = `bigformula1'
#78 = `atmost'
#79 = `atleast'
#80 = `level'
#81 = `formula'
#82 = `rate'
#83 = `rbra'
#84 = `expression'
#85 = `limit'
#86 = `constraints1'
#87 = `metavariables'
#88 = `set'
#89 = `graphname1'
#90 = `metavariable'
#91 = `arc'
#92 = `limexpression'
#93 = `lessrel'
#94 = `graphbra'
#95 = `node'
#96 = `nodekoma'
#97 = `metavariables1'
#98 = `metakoma'
#99 = `length'
#100 = `constraints'
#101 = `constrkoma'
#102 = `constraint'
#103 = `conexpression'
#104 = `relation'
#105 = `expression1'
#106 = `term'
#107 = `factor'
#108 = `factor1'
#109 = `primary'
#110 = `mmbra'
#111 = `pexpression'
#112 = `maxminkoma'
#113 = `aritmpar'
#114 = `leftpart'
#115 = `clause'
#116 = `logterm'
#117 = `literal'
#118 = `logvar'
#119 = `indexes'
#120 = `prefixformula'
#121 = `logicpar'
#122 = `indexes1'
#123 = `index'
#124 = `indexkoma'
#125 = `formlist'
#126 = `formlist1'
#127 = `formkoma'

Productions

P 1: `program' -> # `family' #
P 2: `family' -> `metaformula'
P 3: `metaformula' -> `input' `bigformula'
P 4: `metaformula' -> `bigformula'
P 5: `input' -> INPUT ( graph `graphnames' )
P 6: `input' -> INPUT ( var `varnames' )
P 7: `input' -> INPUT ( var `varnames' ; graph `graphnames' )
P 8: `graphnames' -> `graphnames1'
P 9: `graphnames1' -> `graphnames1' `grkoma' `graphname'
P10: `graphnames1' -> `graphname'
P11: `graphname' -> #i#
P12: `varnames' -> `varnames1'
P13: `varnames1' -> `varnames1' `varkoma' `variable'
P14: `varnames1' -> `variable'
P15: `variable' -> #i#
P16: `bigformula' -> \bigvee_{ `limits' `lbra' `bigformula'
P17: `bigformula' -> \bigwedge_{ `limits' `lbra' `bigformula'
P18: `bigformula' -> \bigoplus_{ `limits' `lbra' `bigformula'
P19: `bigformula' -> odd `prefpar' `bigformula1' : `limits' )
P20: `bigformula' -> even `prefpar' `bigformula1' : `limits' )
P21: `bigformula' -> exactlyone `prefpar' `bigformula1' : `limits' )
P22: `bigformula' -> atmostone `prefpar' `bigformula1' : `limits' )
P23: `bigformula' -> atleastone `prefpar' `bigformula1' : `limits' )
P24: `bigformula' -> none `prefpar' `bigformula1' : `limits' )
P25: `bigformula' -> eq `prefpar' `bigformula1' : `limits' )
P26: `bigformula' -> `atmost' `prefpar' `bigformula1' : `limits' )
P27: `bigformula' -> `atleast' `prefpar' `bigformula1' : `limits' )
P28: `bigformula' -> `level' `prefpar' `bigformula1' : `limits' )
P29: `bigformula' -> `formula'
P30: `bigformula1' -> `bigformula'
P31: `atmost' -> atmost_{ `rate' `rbra'
P32: `atleast' -> atleast_{ `rate' `rbra'
P33: `level' -> level_{ `rate' `rbra'
P34: `rate' -> `expression'
P35: `limits' -> `limit' ; `constraints1'
P36: `limits' -> `limit'
P37: `limit' -> `metavariables' \in `set'
P38: `limit' -> `metavariables' \in V( `graphname1' )
P39: `limit' -> `metavariables' \in E( `graphname1' )
P40: `limit' -> `metavariable' \leftarrow `arc' \in E( `graphname1' )
P41: `limit' -> `arc' \in E( `graphname1' )
P42: `limit' -> `limexpression' `lessrel' `metavariables' `lessrel' `expression'
P43: `limexpression' -> `expression'
P44: `graphname1' -> `graphname'
P45: `arc' -> `graphbra' `node' `nodekoma' `node' \}
P46: `metavariables' -> `metavariables1'
P47: `metavariables1' -> `metavariables1' `metakoma' `metavariable'
P48: `metavariables1' -> `metavariable'
P49: `metavariable' -> #i#
P50: `set' -> B^{ `length' }
P51: `length' -> `expression'
P52: `node' -> `metavariable'
P53: `lessrel' -> <
P54: `lessrel' -> \leq
P55: `lessrel' -> \prec
P56: `lessrel' -> \prec^+
P57: `lessrel' -> \prec^*
P58: `constraints1' -> `constraints'
P59: `constraints' -> `constraints' `constrkoma' `constraint'
P60: `constraints' -> `constraint'
P61: `constraint' -> `conexpression' `relation' `expression'
P62: `conexpression' -> `expression'
P63: `relation' -> <
P64: `relation' -> \leq
P65: `relation' -> \prec
P66: `relation' -> \prec^+
P67: `relation' -> \prec^*
P68: `relation' -> =
P69: `relation' -> \ne
P70: `relation' -> '
P71: `relation' -> \geq
P72: `expression' -> `expression1'
P73: `expression1' -> `expression1' + `term'
P74: `expression1' -> `expression1' - `term'
P75: `expression1' -> `term'
P76: `term' -> `factor' * `term'
P77: `term' -> `factor' / `term'
P78: `term' -> `factor'
P79: `factor' -> `factor1' }
P80: `factor' -> `primary'
P81: `factor1' -> `factor' ^{ `primary'
P82: `primary' -> #c#
P83: `primary' -> `metavariable'
P84: `primary' -> |V( `graphname' )|
P85: `primary' -> |E( `graphname' )|
P86: `primary' -> | `metavariable' |
P87: `primary' -> min `mmbra' `pexpression' `maxminkoma' `expression' \}
P88: `primary' -> max `mmbra' `pexpression' `maxminkoma' `expression' \}
P89: `primary' -> `aritmpar' `pexpression' )
P90: `pexpression' -> `expression'
P91: `formula' -> `leftpart' \sim `formula'
P92: `formula' -> `leftpart' \oplus `formula'
P93: `formula' -> `leftpart' \to `formula'
P94: `formula' -> `leftpart'
P95: `leftpart' -> `leftpart' \vee `clause'
P96: `leftpart' -> `clause'
P97: `clause' -> `logterm' \& `clause'
P98: `clause' -> `logterm'
P99: `logterm' -> \neg `literal'
P100: `logterm' -> `literal'
P101: `literal' -> `logvar'
P102: `literal' -> `logvar' _{ `indexes' }
P103: `literal' -> `prefixformula'
P104: `literal' -> `logicpar' `bigformula1' )
P105: `logvar' -> #i#
P106: `indexes' -> `indexes1'
P107: `indexes1' -> `index' `indexkoma' `indexes1'
P108: `indexes1' -> `index'
P109: `index' -> `expression'
P110: `prefixformula' -> odd `prefpar' `formlist' )
P111: `prefixformula' -> even `prefpar' `formlist' )
P112: `prefixformula' -> exactlyone `prefpar' `formlist' )
P113: `prefixformula' -> atmostone `prefpar' `formlist' )
P114: `prefixformula' -> atleastone `prefpar' `formlist' )
P115: `prefixformula' -> none `prefpar' `formlist' )
P116: `prefixformula' -> eq `prefpar' `formlist' )
P117: `prefixformula' -> `atmost' `prefpar' `formlist' )
P118: `prefixformula' -> `atleast' `prefpar' `formlist' )
P119: `prefixformula' -> `level' `prefpar' `formlist' )
P120: `formlist' -> `formlist1'
P121: `formlist1' -> `formlist1' `formkoma' `bigformula'
P122: `formlist1' -> `bigformula'
P123: `grkoma' -> ,
P124: `varkoma' -> ,
P125: `metakoma' -> ,
P126: `nodekoma' -> ,
P127: `constrkoma' -> ,
P128: `maxminkoma' -> ,
P129: `indexkoma' -> ,
P130: `formkoma' -> ,
P131: `graphbra' -> \{
P132: `mmbra' -> \{
P133: `logicpar' -> (
P134: `aritmpar' -> (
P135: `prefpar' -> (
P136: `rbra' -> }
P137: `lbra' -> }
P138: `limit' -> `metavariables' \notin E( `graphname1' )
P139: `limit' -> `metavariable' \leftarrow `arc' \notin E( `graphname1' )
P140: `limit' -> `arc' \notin E( `graphname1' )

Leftmost-set

Symbol123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127
61.program*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
62.family0**0000*****0*********000000000000000000000000000000000*000000***000000000000****00000000000000000000000000000000*****0**000000
63.metaformula0**0000*****0*********000000000000000000000000000000000*0000000**000000000000****00000000000000000000000000000000*****0**000000
64.input0*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
65.bigformula00*0000*****0*********000000000000000000000000000000000*000000000000000000000****00000000000000000000000000000000*****0**000000
66.graphnames0000000*00000000000000000000000000000000000000000000000000000000000*0*000000000000000000000000000000000000000000000000000000000
67.varnames0000000*00000000000000000000000000000000000000000000000000000000000000*0*000000000000000000000000000000000000000000000000000000
68.graphnames10000000*00000000000000000000000000000000000000000000000000000000000*0*000000000000000000000000000000000000000000000000000000000
69.grkoma000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000
70.graphname0000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
71.varnames10000000*00000000000000000000000000000000000000000000000000000000000000*0*000000000000000000000000000000000000000000000000000000
72.varkoma000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000
73.variable0000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
74.limits00*0000*00000000000000000000000000000000000**0****00000000*000000000000000000000000**0*00***0*00*0000000*****000*00000000000000
75.lbra0000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
76.prefpar00*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
77.bigformula100*0000*****0*********000000000000000000000000000000000*00000000*000000000000****00000000000000000000000000000000*****0**000000
78.atmost0000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
79.atleast00000000000000000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
80.level000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
81.formula00*0000*000*0*********000000000000000000000000000000000*000000000000000000000***000000000000000000000000000000000*****0**000000
82.rate00*0000*00000000000000000000000000000000000**0****000000000000000000000000000000000*00000*00000000000000*****000*00000000000000
83.rbra0000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
84.expression00*0000*00000000000000000000000000000000000**0****000000000000000000000000000000000000000*00000000000000*****000*00000000000000
85.limit00*0000*00000000000000000000000000000000000**0****00000000*000000000000000000000000*00*00***0*00*0000000*****000*00000000000000
86.constraints100*0000*00000000000000000000000000000000000**0****000000000000000000000000000000000*00000*000000000*0**0*****000*00000000000000
87.metavariables0000000*000000000000000000000000000000000000000000000000000000000000000000000000000000000*000000*000000000000000000000000000000
88.set000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
89.graphname10000000*0000000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000
90.metavariable0000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
91.arc0000000000000000000000000000000000000000000000000000000000*0000000000000000000000000000000000*000000000000000000000000000000000
92.limexpression00*0000*00000000000000000000000000000000000**0****000000000000000000000000000000000*00000*00000000000000*****000*00000000000000
93.lessrel00000000000000000000000000000*****000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
94.graphbra0000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000
95.node0000000*000000000000000000000000000000000000000000000000000000000000000000000000000000000*0000000000000000000000000000000000000
96.nodekoma000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000
97.metavariables10000000*000000000000000000000000000000000000000000000000000000000000000000000000000000000*000000*000000000000000000000000000000
98.metakoma000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000
99.length00*0000*00000000000000000000000000000000000**0****000000000000000000000000000000000*00000*00000000000000*****000*00000000000000
100.constraints00*0000*00000000000000000000000000000000000**0****000000000000000000000000000000000*00000*000000000*0**0*****000*00000000000000
101.constrkoma000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000
102.constraint00*0000*00000000000000000000000000000000000**0****000000000000000000000000000000000*00000*000000000000*0*****000*00000000000000
103.conexpression00*0000*00000000000000000000000000000000000**0****000000000000000000000000000000000*00000*00000000000000*****000*00000000000000
104.relation00000000000000000000000000000*********00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
105.expression100*0000*00000000000000000000000000000000000**0****000000000000000000000000000000000000000*00000000000000*****000*00000000000000
106.term00*0000*00000000000000000000000000000000000**0****000000000000000000000000000000000000000*0000000000000000***000*00000000000000
107.factor00*0000*00000000000000000000000000000000000**0****000000000000000000000000000000000000000*0000000000000000***000*00000000000000
108.factor100*0000*00000000000000000000000000000000000**0****000000000000000000000000000000000000000*0000000000000000***000*00000000000000
109.primary00*0000*00000000000000000000000000000000000**0****000000000000000000000000000000000000000*0000000000000000000000*00000000000000
110.mmbra0000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000
111.pexpression00*0000*00000000000000000000000000000000000**0****000000000000000000000000000000000*00000*00000000000000*****000*00000000000000
112.maxminkoma000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000
113.aritmpar00*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
114.leftpart00*0000*000*0*********000000000000000000000000000000000*000000000000000000000***000000000000000000000000000000000*****0**000000
115.clause00*0000*000*0*********000000000000000000000000000000000*000000000000000000000***00000000000000000000000000000000000***0**000000
116.logterm00*0000*000*0*********000000000000000000000000000000000*000000000000000000000***000000000000000000000000000000000000**0**000000
117.literal00*0000*000*0*********0000000000000000000000000000000000000000000000000000000***0000000000000000000000000000000000000*0**000000
118.logvar0000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
119.indexes00*0000*00000000000000000000000000000000000**0****000000000000000000000000000000000*00000*00000000000000*****000*00000000**0000
120.prefixformula00000000000*0*********0000000000000000000000000000000000000000000000000000000***00000000000000000000000000000000000000000000000
121.logicpar00*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
122.indexes100*0000*00000000000000000000000000000000000**0****000000000000000000000000000000000*00000*00000000000000*****000*000000000*0000
123.index00*0000*00000000000000000000000000000000000**0****000000000000000000000000000000000*00000*00000000000000*****000*00000000000000
124.indexkoma000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000
125.formlist00*0000*****0*********000000000000000000000000000000000*00000000*000000000000****00000000000000000000000000000000*****0**0000*0
126.formlist100*0000*****0*********000000000000000000000000000000000*00000000*000000000000****00000000000000000000000000000000*****0**0000*0
127.formkoma000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000

Rightmost-set

Symbol123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127
61.program*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
62.family0000*00*00000000000000000000*000000000000000000000000000000000*0*000000000000000*00000000000000000000000000000000*****0*0000000
63.metaformula0000*00*00000000000000000000*00000000000000000000000000000000000*000000000000000*00000000000000000000000000000000*****0*0000000
64.input0000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
65.bigformula0000*00*00000000000000000000*00000000000000000000000000000000000*000000000000000*00000000000000000000000000000000*****0*0000000
66.graphnames0000000*00000000000000000000000000000000000000000000000000000000000*0*000000000000000000000000000000000000000000000000000000000
67.varnames0000000*00000000000000000000000000000000000000000000000000000000000000*0*000000000000000000000000000000000000000000000000000000
68.graphnames10000000*0000000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000
69.grkoma000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000
70.graphname0000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
71.varnames10000000*0000000000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000
72.varkoma000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000
73.variable0000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
74.limits0000*00*000000000000000000*0*00000000000000*0*0*00000000000000000000000000000000000***0*0*000000000*0*00***0*000000000000000000
75.lbra0000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
76.prefpar00*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
77.bigformula10000*00*00000000000000000000*00000000000000000000000000000000000*000000000000000*00000000000000000000000000000000*****0*0000000
78.atmost0000000000000000000000000000*00000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000
79.atleast0000000000000000000000000000*00000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000
80.level0000000000000000000000000000*00000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000
81.formula0000*00*00000000000000000000*000000000000000000000000000000000000000000000000000*00000000000000000000000000000000*****0*0000000
82.rate0000*00*000000000000000000*0*00000000000000*0*0*00000000000000000000000000000000000*00000*00000000000000***0*000000000000000000
83.rbra0000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
84.expression0000*00*000000000000000000*0*00000000000000*0*0*00000000000000000000000000000000000000000*00000000000000***0*000000000000000000
85.limit0000*00*000000000000000000*0*00000000000000*0*0*00000000000000000000000000000000000*000*0*00000000000000***0*000000000000000000
86.constraints10000*00*000000000000000000*0*00000000000000*0*0*00000000000000000000000000000000000*00000*000000000*0*00***0*000000000000000000
87.metavariables0000000*000000000000000000000000000000000000000000000000000000000000000000000000000000000*000000*000000000000000000000000000000
88.set0000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
89.graphname10000000*0000000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000
90.metavariable0000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
91.arc00000000000000000000000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
92.limexpression0000*00*000000000000000000*0*00000000000000*0*0*00000000000000000000000000000000000*00000*00000000000000***0*000000000000000000
93.lessrel00000000000000000000000000000*****000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
94.graphbra0000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000
95.node0000000*000000000000000000000000000000000000000000000000000000000000000000000000000000000*0000000000000000000000000000000000000
96.nodekoma000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000
97.metavariables10000000*000000000000000000000000000000000000000000000000000000000000000000000000000000000*0000000000000000000000000000000000000
98.metakoma000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000
99.length0000*00*000000000000000000*0*00000000000000*0*0*00000000000000000000000000000000000*00000*00000000000000***0*000000000000000000
100.constraints0000*00*000000000000000000*0*00000000000000*0*0*00000000000000000000000000000000000*00000*00000000000*00***0*000000000000000000
101.constrkoma000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000
102.constraint0000*00*000000000000000000*0*00000000000000*0*0*00000000000000000000000000000000000*00000*00000000000000***0*000000000000000000
103.conexpression0000*00*000000000000000000*0*00000000000000*0*0*00000000000000000000000000000000000*00000*00000000000000***0*000000000000000000
104.relation00000000000000000000000000000*********00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
105.expression10000*00*000000000000000000*0*00000000000000*0*0*00000000000000000000000000000000000000000*000000000000000**0*000000000000000000
106.term0000*00*000000000000000000*0*00000000000000*0*0*00000000000000000000000000000000000000000*000000000000000**0*000000000000000000
107.factor0000*00*000000000000000000*0*00000000000000*0*0*00000000000000000000000000000000000000000*000000000000000000*000000000000000000
108.factor10000*00*000000000000000000*0000000000000000*0*0*00000000000000000000000000000000000000000*000000000000000000*000000000000000000
109.primary0000*00*000000000000000000*0000000000000000*0*0*00000000000000000000000000000000000000000*0000000000000000000000000000000000000
110.mmbra0000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000
111.pexpression0000*00*000000000000000000*0*00000000000000*0*0*00000000000000000000000000000000000*00000*00000000000000***0*000000000000000000
112.maxminkoma000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000
113.aritmpar00*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
114.leftpart0000*00*00000000000000000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000****0*0000000
115.clause0000*00*00000000000000000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000****0*0000000
116.logterm0000*00*00000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000**0*0000000
117.literal0000*00*00000000000000000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*0*0000000
118.logvar0000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
119.indexes0000*00*000000000000000000*0*00000000000000*0*0*00000000000000000000000000000000000*00000*00000000000000***0*000000000000**0000
120.prefixformula0000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
121.logicpar00*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
122.indexes10000*00*000000000000000000*0*00000000000000*0*0*00000000000000000000000000000000000*00000*00000000000000***0*000000000000**0000
123.index0000*00*000000000000000000*0*00000000000000*0*0*00000000000000000000000000000000000*00000*00000000000000***0*000000000000000000
124.indexkoma000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000
125.formlist0000*00*00000000000000000000*00000000000000000000000000000000000*000000000000000*00000000000000000000000000000000*****0*00000*0
126.formlist10000*00*00000000000000000000*00000000000000000000000000000000000*000000000000000*00000000000000000000000000000000*****0*0000000
127.formkoma000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000

Leftmost & rightmost sets

`program' leftmost set: `#'
`program' rightmost set: #

`family' leftmost set: `INPUT' , `(' , `#i#' , `\bigvee_{' , `\bigwedge_{' , `\bigoplus_{' , `odd' , `even' , `exactlyone' , `atmostone' , `atleastone' , `none' , `eq' , `atmost_{' , `atleast_{' , `level_{' , `\neg' , `metaformula' , `input' , `bigformula' , `atmost' , `atleast' , `level' , `formula' , `leftpart' , `clause' , `logterm' , `literal' , `logvar' , `prefixformula' , `logicpar'
`family' rightmost set: ) , #i# , } , metaformula , bigformula , formula , leftpart , clause , logterm , literal , logvar , prefixformula

`metaformula' leftmost set: `INPUT' , `(' , `#i#' , `\bigvee_{' , `\bigwedge_{' , `\bigoplus_{' , `odd' , `even' , `exactlyone' , `atmostone' , `atleastone' , `none' , `eq' , `atmost_{' , `atleast_{' , `level_{' , `\neg' , `input' , `bigformula' , `atmost' , `atleast' , `level' , `formula' , `leftpart' , `clause' , `logterm' , `literal' , `logvar' , `prefixformula' , `logicpar'
`metaformula' rightmost set: ) , #i# , } , bigformula , formula , leftpart , clause , logterm , literal , logvar , prefixformula

`input' leftmost set: `INPUT'
`input' rightmost set: )

`bigformula' leftmost set: `(' , `#i#' , `\bigvee_{' , `\bigwedge_{' , `\bigoplus_{' , `odd' , `even' , `exactlyone' , `atmostone' , `atleastone' , `none' , `eq' , `atmost_{' , `atleast_{' , `level_{' , `\neg' , `atmost' , `atleast' , `level' , `formula' , `leftpart' , `clause' , `logterm' , `literal' , `logvar' , `prefixformula' , `logicpar'
`bigformula' rightmost set: ) , #i# , } , bigformula , formula , leftpart , clause , logterm , literal , logvar , prefixformula

`graphnames' leftmost set: `#i#' , `graphnames1' , `graphname'
`graphnames' rightmost set: #i# , graphnames1 , graphname

`varnames' leftmost set: `#i#' , `varnames1' , `variable'
`varnames' rightmost set: #i# , varnames1 , variable

`graphnames1' leftmost set: `#i#' , `graphnames1' , `graphname'
`graphnames1' rightmost set: #i# , graphname

`grkoma' leftmost set: `,'
`grkoma' rightmost set: ,

`graphname' leftmost set: `#i#'
`graphname' rightmost set: #i#

`varnames1' leftmost set: `#i#' , `varnames1' , `variable'
`varnames1' rightmost set: #i# , variable

`varkoma' leftmost set: `,'
`varkoma' rightmost set: ,

`variable' leftmost set: `#i#'
`variable' rightmost set: #i#

`limits' leftmost set: `(' , `#i#' , `#c#' , `|V(' , `|E(' , `|' , `min' , `max' , `\{' , `expression' , `limit' , `metavariables' , `metavariable' , `arc' , `limexpression' , `graphbra' , `metavariables1' , `expression1' , `term' , `factor' , `factor1' , `primary' , `aritmpar'
`limits' rightmost set: ) , #i# , \} , } , #c# , )| , | , expression , limit , constraints1 , set , metavariable , constraints , constraint , expression1 , term , factor , primary

`lbra' leftmost set: `}'
`lbra' rightmost set: }

`prefpar' leftmost set: `('
`prefpar' rightmost set: (

`bigformula1' leftmost set: `(' , `#i#' , `\bigvee_{' , `\bigwedge_{' , `\bigoplus_{' , `odd' , `even' , `exactlyone' , `atmostone' , `atleastone' , `none' , `eq' , `atmost_{' , `atleast_{' , `level_{' , `\neg' , `bigformula' , `atmost' , `atleast' , `level' , `formula' , `leftpart' , `clause' , `logterm' , `literal' , `logvar' , `prefixformula' , `logicpar'
`bigformula1' rightmost set: ) , #i# , } , bigformula , formula , leftpart , clause , logterm , literal , logvar , prefixformula

`atmost' leftmost set: `atmost_{'
`atmost' rightmost set: } , rbra

`atleast' leftmost set: `atleast_{'
`atleast' rightmost set: } , rbra

`level' leftmost set: `level_{'
`level' rightmost set: } , rbra

`formula' leftmost set: `(' , `#i#' , `odd' , `even' , `exactlyone' , `atmostone' , `atleastone' , `none' , `eq' , `atmost_{' , `atleast_{' , `level_{' , `\neg' , `atmost' , `atleast' , `level' , `leftpart' , `clause' , `logterm' , `literal' , `logvar' , `prefixformula' , `logicpar'
`formula' rightmost set: ) , #i# , } , formula , leftpart , clause , logterm , literal , logvar , prefixformula

`rate' leftmost set: `(' , `#i#' , `#c#' , `|V(' , `|E(' , `|' , `min' , `max' , `expression' , `metavariable' , `expression1' , `term' , `factor' , `factor1' , `primary' , `aritmpar'
`rate' rightmost set: ) , #i# , \} , } , #c# , )| , | , expression , metavariable , expression1 , term , factor , primary

`rbra' leftmost set: `}'
`rbra' rightmost set: }

`expression' leftmost set: `(' , `#i#' , `#c#' , `|V(' , `|E(' , `|' , `min' , `max' , `metavariable' , `expression1' , `term' , `factor' , `factor1' , `primary' , `aritmpar'
`expression' rightmost set: ) , #i# , \} , } , #c# , )| , | , metavariable , expression1 , term , factor , primary

`limit' leftmost set: `(' , `#i#' , `#c#' , `|V(' , `|E(' , `|' , `min' , `max' , `\{' , `expression' , `metavariables' , `metavariable' , `arc' , `limexpression' , `graphbra' , `metavariables1' , `expression1' , `term' , `factor' , `factor1' , `primary' , `aritmpar'
`limit' rightmost set: ) , #i# , \} , } , #c# , )| , | , expression , set , metavariable , expression1 , term , factor , primary

`constraints1' leftmost set: `(' , `#i#' , `#c#' , `|V(' , `|E(' , `|' , `min' , `max' , `expression' , `metavariable' , `constraints' , `constraint' , `conexpression' , `expression1' , `term' , `factor' , `factor1' , `primary' , `aritmpar'
`constraints1' rightmost set: ) , #i# , \} , } , #c# , )| , | , expression , metavariable , constraints , constraint , expression1 , term , factor , primary

`metavariables' leftmost set: `#i#' , `metavariable' , `metavariables1'
`metavariables' rightmost set: #i# , metavariable , metavariables1

`set' leftmost set: `B^{'
`set' rightmost set: }

`graphname1' leftmost set: `#i#' , `graphname'
`graphname1' rightmost set: #i# , graphname

`metavariable' leftmost set: `#i#'
`metavariable' rightmost set: #i#

`arc' leftmost set: `\{' , `graphbra'
`arc' rightmost set: \}

`limexpression' leftmost set: `(' , `#i#' , `#c#' , `|V(' , `|E(' , `|' , `min' , `max' , `expression' , `metavariable' , `expression1' , `term' , `factor' , `factor1' , `primary' , `aritmpar'
`limexpression' rightmost set: ) , #i# , \} , } , #c# , )| , | , expression , metavariable , expression1 , term , factor , primary

`lessrel' leftmost set: `<' , `\leq' , `\prec' , `\prec^+' , `\prec^*'
`lessrel' rightmost set: < , \leq , \prec , \prec^+ , \prec^*

`graphbra' leftmost set: `\{'
`graphbra' rightmost set: \{

`node' leftmost set: `#i#' , `metavariable'
`node' rightmost set: #i# , metavariable

`nodekoma' leftmost set: `,'
`nodekoma' rightmost set: ,

`metavariables1' leftmost set: `#i#' , `metavariable' , `metavariables1'
`metavariables1' rightmost set: #i# , metavariable

`metakoma' leftmost set: `,'
`metakoma' rightmost set: ,

`length' leftmost set: `(' , `#i#' , `#c#' , `|V(' , `|E(' , `|' , `min' , `max' , `expression' , `metavariable' , `expression1' , `term' , `factor' , `factor1' , `primary' , `aritmpar'
`length' rightmost set: ) , #i# , \} , } , #c# , )| , | , expression , metavariable , expression1 , term , factor , primary

`constraints' leftmost set: `(' , `#i#' , `#c#' , `|V(' , `|E(' , `|' , `min' , `max' , `expression' , `metavariable' , `constraints' , `constraint' , `conexpression' , `expression1' , `term' , `factor' , `factor1' , `primary' , `aritmpar'
`constraints' rightmost set: ) , #i# , \} , } , #c# , )| , | , expression , metavariable , constraint , expression1 , term , factor , primary

`constrkoma' leftmost set: `,'
`constrkoma' rightmost set: ,

`constraint' leftmost set: `(' , `#i#' , `#c#' , `|V(' , `|E(' , `|' , `min' , `max' , `expression' , `metavariable' , `conexpression' , `expression1' , `term' , `factor' , `factor1' , `primary' , `aritmpar'
`constraint' rightmost set: ) , #i# , \} , } , #c# , )| , | , expression , metavariable , expression1 , term , factor , primary

`conexpression' leftmost set: `(' , `#i#' , `#c#' , `|V(' , `|E(' , `|' , `min' , `max' , `expression' , `metavariable' , `expression1' , `term' , `factor' , `factor1' , `primary' , `aritmpar'
`conexpression' rightmost set: ) , #i# , \} , } , #c# , )| , | , expression , metavariable , expression1 , term , factor , primary

`relation' leftmost set: `<' , `\leq' , `\prec' , `\prec^+' , `\prec^*' , `=' , `\ne' , `'' , `\geq'
`relation' rightmost set: < , \leq , \prec , \prec^+ , \prec^* , = , \ne , ' , \geq

`expression1' leftmost set: `(' , `#i#' , `#c#' , `|V(' , `|E(' , `|' , `min' , `max' , `metavariable' , `expression1' , `term' , `factor' , `factor1' , `primary' , `aritmpar'
`expression1' rightmost set: ) , #i# , \} , } , #c# , )| , | , metavariable , term , factor , primary

`term' leftmost set: `(' , `#i#' , `#c#' , `|V(' , `|E(' , `|' , `min' , `max' , `metavariable' , `factor' , `factor1' , `primary' , `aritmpar'
`term' rightmost set: ) , #i# , \} , } , #c# , )| , | , metavariable , term , factor , primary

`factor' leftmost set: `(' , `#i#' , `#c#' , `|V(' , `|E(' , `|' , `min' , `max' , `metavariable' , `factor' , `factor1' , `primary' , `aritmpar'
`factor' rightmost set: ) , #i# , \} , } , #c# , )| , | , metavariable , primary

`factor1' leftmost set: `(' , `#i#' , `#c#' , `|V(' , `|E(' , `|' , `min' , `max' , `metavariable' , `factor' , `factor1' , `primary' , `aritmpar'
`factor1' rightmost set: ) , #i# , \} , #c# , )| , | , metavariable , primary

`primary' leftmost set: `(' , `#i#' , `#c#' , `|V(' , `|E(' , `|' , `min' , `max' , `metavariable' , `aritmpar'
`primary' rightmost set: ) , #i# , \} , #c# , )| , | , metavariable

`mmbra' leftmost set: `\{'
`mmbra' rightmost set: \{

`pexpression' leftmost set: `(' , `#i#' , `#c#' , `|V(' , `|E(' , `|' , `min' , `max' , `expression' , `metavariable' , `expression1' , `term' , `factor' , `factor1' , `primary' , `aritmpar'
`pexpression' rightmost set: ) , #i# , \} , } , #c# , )| , | , expression , metavariable , expression1 , term , factor , primary

`maxminkoma' leftmost set: `,'
`maxminkoma' rightmost set: ,

`aritmpar' leftmost set: `('
`aritmpar' rightmost set: (

`leftpart' leftmost set: `(' , `#i#' , `odd' , `even' , `exactlyone' , `atmostone' , `atleastone' , `none' , `eq' , `atmost_{' , `atleast_{' , `level_{' , `\neg' , `atmost' , `atleast' , `level' , `leftpart' , `clause' , `logterm' , `literal' , `logvar' , `prefixformula' , `logicpar'
`leftpart' rightmost set: ) , #i# , } , clause , logterm , literal , logvar , prefixformula

`clause' leftmost set: `(' , `#i#' , `odd' , `even' , `exactlyone' , `atmostone' , `atleastone' , `none' , `eq' , `atmost_{' , `atleast_{' , `level_{' , `\neg' , `atmost' , `atleast' , `level' , `logterm' , `literal' , `logvar' , `prefixformula' , `logicpar'
`clause' rightmost set: ) , #i# , } , clause , logterm , literal , logvar , prefixformula

`logterm' leftmost set: `(' , `#i#' , `odd' , `even' , `exactlyone' , `atmostone' , `atleastone' , `none' , `eq' , `atmost_{' , `atleast_{' , `level_{' , `\neg' , `atmost' , `atleast' , `level' , `literal' , `logvar' , `prefixformula' , `logicpar'
`logterm' rightmost set: ) , #i# , } , literal , logvar , prefixformula

`literal' leftmost set: `(' , `#i#' , `odd' , `even' , `exactlyone' , `atmostone' , `atleastone' , `none' , `eq' , `atmost_{' , `atleast_{' , `level_{' , `atmost' , `atleast' , `level' , `logvar' , `prefixformula' , `logicpar'
`literal' rightmost set: ) , #i# , } , logvar , prefixformula

`logvar' leftmost set: `#i#'
`logvar' rightmost set: #i#

`indexes' leftmost set: `(' , `#i#' , `#c#' , `|V(' , `|E(' , `|' , `min' , `max' , `expression' , `metavariable' , `expression1' , `term' , `factor' , `factor1' , `primary' , `aritmpar' , `indexes1' , `index'
`indexes' rightmost set: ) , #i# , \} , } , #c# , )| , | , expression , metavariable , expression1 , term , factor , primary , indexes1 , index

`prefixformula' leftmost set: `odd' , `even' , `exactlyone' , `atmostone' , `atleastone' , `none' , `eq' , `atmost_{' , `atleast_{' , `level_{' , `atmost' , `atleast' , `level'
`prefixformula' rightmost set: )

`logicpar' leftmost set: `('
`logicpar' rightmost set: (

`indexes1' leftmost set: `(' , `#i#' , `#c#' , `|V(' , `|E(' , `|' , `min' , `max' , `expression' , `metavariable' , `expression1' , `term' , `factor' , `factor1' , `primary' , `aritmpar' , `index'
`indexes1' rightmost set: ) , #i# , \} , } , #c# , )| , | , expression , metavariable , expression1 , term , factor , primary , indexes1 , index

`index' leftmost set: `(' , `#i#' , `#c#' , `|V(' , `|E(' , `|' , `min' , `max' , `expression' , `metavariable' , `expression1' , `term' , `factor' , `factor1' , `primary' , `aritmpar'
`index' rightmost set: ) , #i# , \} , } , #c# , )| , | , expression , metavariable , expression1 , term , factor , primary

`indexkoma' leftmost set: `,'
`indexkoma' rightmost set: ,

`formlist' leftmost set: `(' , `#i#' , `\bigvee_{' , `\bigwedge_{' , `\bigoplus_{' , `odd' , `even' , `exactlyone' , `atmostone' , `atleastone' , `none' , `eq' , `atmost_{' , `atleast_{' , `level_{' , `\neg' , `bigformula' , `atmost' , `atleast' , `level' , `formula' , `leftpart' , `clause' , `logterm' , `literal' , `logvar' , `prefixformula' , `logicpar' , `formlist1'
`formlist' rightmost set: ) , #i# , } , bigformula , formula , leftpart , clause , logterm , literal , logvar , prefixformula , formlist1

`formlist1' leftmost set: `(' , `#i#' , `\bigvee_{' , `\bigwedge_{' , `\bigoplus_{' , `odd' , `even' , `exactlyone' , `atmostone' , `atleastone' , `none' , `eq' , `atmost_{' , `atleast_{' , `level_{' , `\neg' , `bigformula' , `atmost' , `atleast' , `level' , `formula' , `leftpart' , `clause' , `logterm' , `literal' , `logvar' , `prefixformula' , `logicpar' , `formlist1'
`formlist1' rightmost set: ) , #i# , } , bigformula , formula , leftpart , clause , logterm , literal , logvar , prefixformula

`formkoma' leftmost set: `,'
`formkoma' rightmost set: ,

Precedence matrix

Symbol123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127
1.#0<<0000<<<<<0<<<<<<<<<000000000000000000000000000000000<00000=<<<000000000000<<<<00000000000000000000000000000000<<<<<0<<000000
2.INPUT00=0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
3.(00>=0=0>>>>>0>>>>>>>>>000000000000000000000>>0>>>>00000>00000000>00000000000>>>>>00>00000>00000000000000>>>>>0>0>>>>>>0>>000>>0
4.graph0000000<000000000000000000000000000000000000000000000000000000000=0<0<000000000000000000000000000000000000000000000000000000000
5.)>0>0>0>>>>>>>>>>>>>>>>0000>0>>>>>>>>>>>>>>>0000000>>>>>>0>000000>000000000>00>>>>0>000000000>0000000>00>0000000>0>>>>>0>>00>00>
6.var0000000<0000000000000000000000000000000000000000000000000000000000=000<0<000000000000000000000000000000000000000000000000000000
7.;00<=000<00000000000000000000000000000000000<<0<<<<000000000000000000000000000000000<0=000<000000000<0<<0<<<<<000<00000000000000
8.#i#>000>0>00000>000000000>00>>0>>>>>>>>>>>>>>>00>0>00>>>>>0>>0>00000000>00>00>0000000>000000000>00>0>00>00>0000000>00000000000>00>
9.\bigvee_{00<0000<00000000000000000000000000000000000<<0<<<<00000000<00000000000000=000000000<<0<00<<<0<00<0000000<<<<<000<00000000000000
10.\bigwedge_{00<0000<00000000000000000000000000000000000<<0<<<<00000000<00000000000000=000000000<<0<00<<<0<00<0000000<<<<<000<00000000000000
11.\bigoplus_{00<0000<00000000000000000000000000000000000<<0<<<<00000000<00000000000000=000000000<<0<00<<<0<00<0000000<<<<<000<00000000000000
12.odd00<000000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
13.:00<0000<00000000000000000000000000000000000<<0<<<<00000000<00000000000000=000000000<<0<00<<<0<00<0000000<<<<<000<00000000000000
14.even00<000000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
15.exactlyone00<000000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
16.atmostone00<000000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
17.atleastone00<000000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
18.none00<000000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
19.eq00<000000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
20.atmost_{00<0000<00000000000000000000000000000000000<<0<<<<0000000000000000000000000000000=0<00000<00000000000000<<<<<000<00000000000000
21.atleast_{00<0000<00000000000000000000000000000000000<<0<<<<0000000000000000000000000000000=0<00000<00000000000000<<<<<000<00000000000000
22.level_{00<0000<00000000000000000000000000000000000<<0<<<<0000000000000000000000000000000=0<00000<00000000000000<<<<<000<00000000000000
23.\in00000000000000000000000==00<00000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000
24.V(0000000<0000000000000000000000000000000000000000000000000000000000000<000000000000000000=00000000000000000000000000000000000000
25.E(0000000<0000000000000000000000000000000000000000000000000000000000000<000000000000000000=00000000000000000000000000000000000000
26.\leftarrow0000000000000000000000000000000000000000000000000000000000<0000000000000000000000000000000=00<000000000000000000000000000000000
27.\}0000>0>000000000000000>000>0>>>>>>>>>>>>>>>00000000000000>0>00000000000000>0000000>000000000>0000000>00>0000000>00000000000>000
28.B^{00<0000<00000000000000000000000000000000000<<0<<<<000000000000000000000000000000000<00000<00000000=00000<<<<<000<00000000000000
29.}>0>0>0>>>>>>>>>>>>>>>>0000>0>>>>>>>>>>>>>>>0000000>>>>>>0>000000>000000000>>0>>>>0>000000000>0000000>00>0000000>0>>>>>0>>00>00>
30.<00>0000>00000000000000000000000000000000000>>0>>>>000000000000000000000000000000000>00>00>000000>0000000>>>>>000>00000000000000
31.\leq00>0000>00000000000000000000000000000000000>>0>>>>000000000000000000000000000000000>00>00>000000>0000000>>>>>000>00000000000000
32.\prec00>0000>00000000000000000000000000000000000>>0>>>>000000000000000000000000000000000>00>00>000000>0000000>>>>>000>00000000000000
33.\prec^+00>0000>00000000000000000000000000000000000>>0>>>>000000000000000000000000000000000>00>00>000000>0000000>>>>>000>00000000000000
34.\prec^*00>0000>00000000000000000000000000000000000>>0>>>>000000000000000000000000000000000>00>00>000000>0000000>>>>>000>00000000000000
35.=00>0000>00000000000000000000000000000000000>>0>>>>000000000000000000000000000000000>00000>00000000000000>>>>>000>00000000000000
36.\ne00>0000>00000000000000000000000000000000000>>0>>>>000000000000000000000000000000000>00000>00000000000000>>>>>000>00000000000000
37.'00>0000>00000000000000000000000000000000000>>0>>>>000000000000000000000000000000000>00000>00000000000000>>>>>000>00000000000000
38.\geq00>0000>00000000000000000000000000000000000>>0>>>>000000000000000000000000000000000>00000>00000000000000>>>>>000>00000000000000
39.+00<0000<00000000000000000000000000000000000<<0<<<<000000000000000000000000000000000000000<000000000000000=<<<000<00000000000000
40.-00<0000<00000000000000000000000000000000000<<0<<<<000000000000000000000000000000000000000<000000000000000=<<<000<00000000000000
41.*00<0000<00000000000000000000000000000000000<<0<<<<000000000000000000000000000000000000000<000000000000000=<<<000<00000000000000
42./00<0000<00000000000000000000000000000000000<<0<<<<000000000000000000000000000000000000000<000000000000000=<<<000<00000000000000
43.^{00<0000<00000000000000000000000000000000000<<0<<<<000000000000000000000000000000000000000<000000000000000000=000<00000000000000
44.#c#0000>0>0000000000000000000>0>>>>>>>>>>>>>>>00000000000000>0000000000000000>0000000>000000000>0000000>00>0000000>00000000000>000
45.|V(0000000<0000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000000000
46.)|0000>0>0000000000000000000>0>>>>>>>>>>>>>>>00000000000000>0000000000000000>0000000>000000000>0000000>00>0000000>00000000000>000
47.|E(0000000<0000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000000000
48.|0000>0><000000000000000000>0>>>>>>>>>>>>>>>00000000000000>0000000000000000>0000000>000000=00>0000000>00>0000000>00000000000>000
49.min0000000000000000000000000000000000000000000000000000000000<00000000000000000000000000000000000000000000000000=00000000000000000
50.max0000000000000000000000000000000000000000000000000000000000<00000000000000000000000000000000000000000000000000=00000000000000000
51.\sim00<0000<000<0<<<<<<<<<000000000000000000000000000000000<000000000000000000000<<<=00000000000000000000000000000000<<<<<0<<000000
52.\oplus00<0000<000<0<<<<<<<<<000000000000000000000000000000000<000000000000000000000<<<=00000000000000000000000000000000<<<<<0<<000000
53.\to00<0000<000<0<<<<<<<<<000000000000000000000000000000000<000000000000000000000<<<=00000000000000000000000000000000<<<<<0<<000000
54.\vee00<0000<000<0<<<<<<<<<000000000000000000000000000000000<000000000000000000000<<<0000000000000000000000000000000000=<<<0<<000000
55.\&00<0000<000<0<<<<<<<<<000000000000000000000000000000000<000000000000000000000<<<0000000000000000000000000000000000=<<<0<<000000
56.\neg00<0000<000<0<<<<<<<<<0000000000000000000000000000000000000000000000000000000<<<000000000000000000000000000000000000=<0<<000000
57._{00<0000<00000000000000000000000000000000000<<0<<<<000000000000000000000000000000000<00000<00000000000000<<<<<000<00000=00<<0000
58.,00>0000>>>>>0>>>>>>>>>000000000000000000000>>0>>>>00000>00000000>0000>00>0000>>>>00>00000>0000>000000>>0>>>>>000>>>>>>0>>>>0000
59.\{00>0000>00000000000000000000000000000000000>>0>>>>000000000000000000000000000000000>00000>0000>000000000>>>>>0>0>00000000000000
60.\notin000000000000000000000000=000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
61.program0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
62.family=000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
63.metaformula>000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
64.input00<0000<<<<<0<<<<<<<<<000000000000000000000000000000000<00000000=000000000000<<<<00000000000000000000000000000000<<<<<0<<000000
65.bigformula>000>0000000>00000000000000000000000000000000000000000000>00000000000000000000000000000000000000000000000000000000000000000000>
66.graphnames0000=00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
67.varnames0000=0=000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
68.graphnames10000>0000000000000000000000000000000000000000000000000000<0000000000=0000000000000000000000000000000000000000000000000000000000
69.grkoma0000000<0000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000000000
70.graphname0000>0000000000000000000000000000000000000000=00000000000>0000000000>0000000000000000000000000000000000000000000000000000000000
71.varnames10000>0>00000000000000000000000000000000000000000000000000<0000000000000=0000000000000000000000000000000000000000000000000000000
72.varkoma0000000<0000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000000
73.variable0000>0>00000000000000000000000000000000000000000000000000>0000000000000>0000000000000000000000000000000000000000000000000000000
74.limits0000=00000000000000000000000<000000000000000000000000000000000000000000000=0000000000000000000000000000000000000000000000000000
75.lbra00<0000<<<<<0<<<<<<<<<000000000000000000000000000000000<00000000=000000000000<<<<00000000000000000000000000000000<<<<<0<<000000
76.prefpar00<0000<<<<<0<<<<<<<<<000000000000000000000000000000000<00000000<00000000000=<<<<00000000000000000000000000000000<<<<<0<<000=<0
77.bigformula10000=0000000=000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
78.atmost00<000000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
79.atleast00<000000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
80.level00<000000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
81.formula>000>0000000>00000000000000000000000000000000000000000000>00000000000000000000000000000000000000000000000000000000000000000000>
82.rate0000000000000000000000000000<00000000000000000000000000000000000000000000000000000=00000000000000000000000000000000000000000000
83.rbra00>000000000000000000000000000000000000000000000000000000000000000000000000>000000000000000000000000000000000000000000000000000
84.expression0000>0>0000000000000000000=0>>>>>>>>>>0000000000000000000>0000000000000000>0000000>000000000>0000000>00>0000000>00000000000>000
85.limit0000>0=000000000000000000000>000000000000000000000000000000000000000000000>0000000000000000000000000000000000000000000000000000
86.constraints10000>00000000000000000000000>000000000000000000000000000000000000000000000>0000000000000000000000000000000000000000000000000000
87.metavariables0000000000000000000000=000000<<<<<0000000000000000000000000=00000000000000000000000000000000=0000000000000000000000000000000000
88.set0000>0>000000000000000000000>000000000000000000000000000000000000000000000>0000000000000000000000000000000000000000000000000000
89.graphname10000=00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
90.metavariable0000>0>000000000000000>00=>0>>>>>>>>>>>>>>>0000=000000000>0>00000000000000>0000000>000000000>00>0>00>00>0000000>00000000000>000
91.arc0000000000000000000000=000000000000000000000000000000000000=0000000000000000000000000000000000000000000000000000000000000000000
92.limexpression00000000000000000000000000000<<<<<0000000000000000000000000000000000000000000000000000000000=0000000000000000000000000000000000
93.lessrel00<0000<00000000000000000000000000000000000<<0<<<<000000000000000000000000000000000=00=00<000000<0000000<<<<<000<00000000000000
94.graphbra0000000<000000000000000000000000000000000000000000000000000000000000000000000000000000000<0000=00000000000000000000000000000000
95.node00000000000000000000000000=000000000000000000000000000000<0000000000000000000000000000000000000=0000000000000000000000000000000
96.nodekoma0000000<000000000000000000000000000000000000000000000000000000000000000000000000000000000<0000=00000000000000000000000000000000
97.metavariables10000000000000000000000>000000>>>>>00000000000000000000000<0>00000000000000000000000000000000>0000=00000000000000000000000000000
98.metakoma0000000<000000000000000000000000000000000000000000000000000000000000000000000000000000000=0000000000000000000000000000000000000
99.length0000000000000000000000000000=00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100.constraints0000>00000000000000000000000>0000000000000000000000000000<0000000000000000>0000000000000000000000000=00000000000000000000000000
101.constrkoma00<0000<00000000000000000000000000000000000<<0<<<<000000000000000000000000000000000<00000<00000000000=<0<<<<<000<00000000000000
102.constraint0000>00000000000000000000000>0000000000000000000000000000>0000000000000000>0000000000000000000000000>00000000000000000000000000
103.conexpression00000000000000000000000000000<<<<<<<<<00000000000000000000000000000000000000000000000000000000000000000=00000000000000000000000
104.relation00<0000<00000000000000000000000000000000000<<0<<<<000000000000000000000000000000000=00000<00000000000000<<<<<000<00000000000000
105.expression10000>0>0000000000000000000>0>>>>>>>>>>==00000000000000000>0000000000000000>0000000>000000000>0000000>00>0000000>00000000000>000
106.term0000>0>0000000000000000000>0>>>>>>>>>>>>00000000000000000>0000000000000000>0000000>000000000>0000000>00>0000000>00000000000>000
107.factor0000>0>0000000000000000000>0>>>>>>>>>>>>===00000000000000>0000000000000000>0000000>000000000>0000000>00>0000000>00000000000>000
108.factor10000000000000000000000000000=00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
109.primary0000>0>0000000000000000000>0>>>>>>>>>>>>>>>00000000000000>0000000000000000>0000000>000000000>0000000>00>0000000>00000000000>000
110.mmbra00<0000<00000000000000000000000000000000000<<0<<<<000000000000000000000000000000000<00000<00000000000000<<<<<0=0<00000000000000
111.pexpression0000=0000000000000000000000000000000000000000000000000000<00000000000000000000000000000000000000000000000000000=000000000000000
112.maxminkoma00<0000<00000000000000000000000000000000000<<0<<<<000000000000000000000000000000000=00000<00000000000000<<<<<000<00000000000000
113.aritmpar00<0000<00000000000000000000000000000000000<<0<<<<000000000000000000000000000000000<00000<00000000000000<<<<<0=0<00000000000000
114.leftpart>000>0000000>0000000000000000000000000000000000000====000>00000000000000000000000000000000000000000000000000000000000000000000>
115.clause>000>0000000>0000000000000000000000000000000000000>>>>000>00000000000000000000000000000000000000000000000000000000000000000000>
116.logterm>000>0000000>0000000000000000000000000000000000000>>>>=00>00000000000000000000000000000000000000000000000000000000000000000000>
117.literal>000>0000000>0000000000000000000000000000000000000>>>>>00>00000000000000000000000000000000000000000000000000000000000000000000>
118.logvar>000>0000000>0000000000000000000000000000000000000>>>>>0=>00000000000000000000000000000000000000000000000000000000000000000000>
119.indexes0000000000000000000000000000=00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
120.prefixformula>000>0000000>0000000000000000000000000000000000000>>>>>00>00000000000000000000000000000000000000000000000000000000000000000000>
121.logicpar00<0000<<<<<0<<<<<<<<<000000000000000000000000000000000<00000000<00000000000=<<<<00000000000000000000000000000000<<<<<0<<000000
122.indexes10000000000000000000000000000>00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
123.index0000000000000000000000000000>0000000000000000000000000000<00000000000000000000000000000000000000000000000000000000000000000=000
124.indexkoma00<0000<00000000000000000000000000000000000<<0<<<<000000000000000000000000000000000<00000<00000000000000<<<<<000<00000000=<0000
125.formlist0000=00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
126.formlist10000>0000000000000000000000000000000000000000000000000000<00000000000000000000000000000000000000000000000000000000000000000000=
127.formkoma00<0000<<<<<0<<<<<<<<<000000000000000000000000000000000<00000000=000000000000<<<<00000000000000000000000000000000<<<<<0<<000000
The relationships of symbol #1 #:
<• INPUT<• (<• #i#<• \bigvee_{<• \bigwedge_{<• \bigoplus_{<• odd<• even<• exactlyone<• atmostone<• atleastone<• none<• eq<• atmost_{<• atleast_{<• level_{<• \neg=• `family'<• `metaformula'<• `input'<• `bigformula'<• `atmost'<• `atleast'<• `level'<• `formula'<• `leftpart'<• `clause'<• `logterm'<• `literal'<• `logvar'<• `prefixformula'<• `logicpar'

The relationships of symbol #2 INPUT:
=• (

The relationships of symbol #3 (:
•> (=• graph=• var•> #i#•> \bigvee_{•> \bigwedge_{•> \bigoplus_{•> odd•> even•> exactlyone•> atmostone•> atleastone•> none•> eq•> atmost_{•> atleast_{•> level_{•> #c#•> |V(•> |E(•> |•> min•> max•> \neg•> `bigformula'•> `bigformula1'•> `atmost'•> `atleast'•> `level'•> `formula'•> `expression'•> `metavariable'•> `expression1'•> `term'•> `factor'•> `factor1'•> `primary'•> `pexpression'•> `aritmpar'•> `leftpart'•> `clause'•> `logterm'•> `literal'•> `logvar'•> `prefixformula'•> `logicpar'•> `formlist'•> `formlist1'

The relationships of symbol #4 graph:
<• #i#=• `graphnames'<• `graphnames1'<• `graphname'

The relationships of symbol #5 ):
•> #•> (•> )•> ;•> #i#•> \bigvee_{•> \bigwedge_{•> \bigoplus_{•> odd•> :•> even•> exactlyone•> atmostone•> atleastone•> none•> eq•> atmost_{•> atleast_{•> level_{•> \}•> }•> <•> \leq•> \prec•> \prec^+•> \prec^*•> =•> \ne•> '•> \geq•> +•> -•> *•> /•> ^{•> \sim•> \oplus•> \to•> \vee•> \&•> \neg•> ,•> `bigformula'•> `lbra'•> `atmost'•> `atleast'•> `level'•> `formula'•> `rbra'•> `lessrel'•> `constrkoma'•> `relation'•> `maxminkoma'•> `leftpart'•> `clause'•> `logterm'•> `literal'•> `logvar'•> `prefixformula'•> `logicpar'•> `indexkoma'•> `formkoma'

The relationships of symbol #6 var:
<• #i#=• `varnames'<• `varnames1'<• `variable'

The relationships of symbol #7 ;:
<• (=• graph<• #i#<• #c#<• |V(<• |E(<• |<• min<• max<• `expression'=• `constraints1'<• `metavariable'<• `constraints'<• `constraint'<• `conexpression'<• `expression1'<• `term'<• `factor'<• `factor1'<• `primary'<• `aritmpar'

The relationships of symbol #8 #i#:
•> #•> )•> ;•> :•> \in•> \leftarrow•> \}•> }•> <•> \leq•> \prec•> \prec^+•> \prec^*•> =•> \ne•> '•> \geq•> +•> -•> *•> /•> ^{•> )|•> |•> \sim•> \oplus•> \to•> \vee•> \&•> _{•> ,•> \notin•> `grkoma'•> `varkoma'•> `lbra'•> `rbra'•> `lessrel'•> `nodekoma'•> `metakoma'•> `constrkoma'•> `relation'•> `maxminkoma'•> `indexkoma'•> `formkoma'

The relationships of symbol #9 \bigvee_{:
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max<• \{=• `limits'<• `expression'<• `limit'<• `metavariables'<• `metavariable'<• `arc'<• `limexpression'<• `graphbra'<• `metavariables1'<• `expression1'<• `term'<• `factor'<• `factor1'<• `primary'<• `aritmpar'

The relationships of symbol #10 \bigwedge_{:
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max<• \{=• `limits'<• `expression'<• `limit'<• `metavariables'<• `metavariable'<• `arc'<• `limexpression'<• `graphbra'<• `metavariables1'<• `expression1'<• `term'<• `factor'<• `factor1'<• `primary'<• `aritmpar'

The relationships of symbol #11 \bigoplus_{:
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max<• \{=• `limits'<• `expression'<• `limit'<• `metavariables'<• `metavariable'<• `arc'<• `limexpression'<• `graphbra'<• `metavariables1'<• `expression1'<• `term'<• `factor'<• `factor1'<• `primary'<• `aritmpar'

The relationships of symbol #12 odd:
<• (=• `prefpar'

The relationships of symbol #13 ::
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max<• \{=• `limits'<• `expression'<• `limit'<• `metavariables'<• `metavariable'<• `arc'<• `limexpression'<• `graphbra'<• `metavariables1'<• `expression1'<• `term'<• `factor'<• `factor1'<• `primary'<• `aritmpar'

The relationships of symbol #14 even:
<• (=• `prefpar'

The relationships of symbol #15 exactlyone:
<• (=• `prefpar'

The relationships of symbol #16 atmostone:
<• (=• `prefpar'

The relationships of symbol #17 atleastone:
<• (=• `prefpar'

The relationships of symbol #18 none:
<• (=• `prefpar'

The relationships of symbol #19 eq:
<• (=• `prefpar'

The relationships of symbol #20 atmost_{:
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max=• `rate'<• `expression'<• `metavariable'<• `expression1'<• `term'<• `factor'<• `factor1'<• `primary'<• `aritmpar'

The relationships of symbol #21 atleast_{:
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max=• `rate'<• `expression'<• `metavariable'<• `expression1'<• `term'<• `factor'<• `factor1'<• `primary'<• `aritmpar'

The relationships of symbol #22 level_{:
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max=• `rate'<• `expression'<• `metavariable'<• `expression1'<• `term'<• `factor'<• `factor1'<• `primary'<• `aritmpar'

The relationships of symbol #23 \in:
=• V(=• E(<• B^{=• `set'

The relationships of symbol #24 V(:
<• #i#<• `graphname'=• `graphname1'

The relationships of symbol #25 E(:
<• #i#<• `graphname'=• `graphname1'

The relationships of symbol #26 \leftarrow:
<• \{=• `arc'<• `graphbra'

The relationships of symbol #27 \}:
•> )•> ;•> \in•> \}•> }•> <•> \leq•> \prec•> \prec^+•> \prec^*•> =•> \ne•> '•> \geq•> +•> -•> *•> /•> ^{•> ,•> \notin•> `lbra'•> `rbra'•> `lessrel'•> `constrkoma'•> `relation'•> `maxminkoma'•> `indexkoma'

The relationships of symbol #28 B^{:
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max<• `expression'<• `metavariable'=• `length'<• `expression1'<• `term'<• `factor'<• `factor1'<• `primary'<• `aritmpar'

The relationships of symbol #29 }:
•> #•> (•> )•> ;•> #i#•> \bigvee_{•> \bigwedge_{•> \bigoplus_{•> odd•> :•> even•> exactlyone•> atmostone•> atleastone•> none•> eq•> atmost_{•> atleast_{•> level_{•> \}•> }•> <•> \leq•> \prec•> \prec^+•> \prec^*•> =•> \ne•> '•> \geq•> +•> -•> *•> /•> ^{•> \sim•> \oplus•> \to•> \vee•> \&•> \neg•> ,•> `bigformula'•> `lbra'•> `prefpar'•> `atmost'•> `atleast'•> `level'•> `formula'•> `rbra'•> `lessrel'•> `constrkoma'•> `relation'•> `maxminkoma'•> `leftpart'•> `clause'•> `logterm'•> `literal'•> `logvar'•> `prefixformula'•> `logicpar'•> `indexkoma'•> `formkoma'

The relationships of symbol #30 <:
•> (•> #i#•> #c#•> |V(•> |E(•> |•> min•> max•> `expression'•> `metavariables'•> `metavariable'•> `metavariables1'•> `expression1'•> `term'•> `factor'•> `factor1'•> `primary'•> `aritmpar'

The relationships of symbol #31 \leq:
•> (•> #i#•> #c#•> |V(•> |E(•> |•> min•> max•> `expression'•> `metavariables'•> `metavariable'•> `metavariables1'•> `expression1'•> `term'•> `factor'•> `factor1'•> `primary'•> `aritmpar'

The relationships of symbol #32 \prec:
•> (•> #i#•> #c#•> |V(•> |E(•> |•> min•> max•> `expression'•> `metavariables'•> `metavariable'•> `metavariables1'•> `expression1'•> `term'•> `factor'•> `factor1'•> `primary'•> `aritmpar'

The relationships of symbol #33 \prec^+:
•> (•> #i#•> #c#•> |V(•> |E(•> |•> min•> max•> `expression'•> `metavariables'•> `metavariable'•> `metavariables1'•> `expression1'•> `term'•> `factor'•> `factor1'•> `primary'•> `aritmpar'

The relationships of symbol #34 \prec^*:
•> (•> #i#•> #c#•> |V(•> |E(•> |•> min•> max•> `expression'•> `metavariables'•> `metavariable'•> `metavariables1'•> `expression1'•> `term'•> `factor'•> `factor1'•> `primary'•> `aritmpar'

The relationships of symbol #35 =:
•> (•> #i#•> #c#•> |V(•> |E(•> |•> min•> max•> `expression'•> `metavariable'•> `expression1'•> `term'•> `factor'•> `factor1'•> `primary'•> `aritmpar'

The relationships of symbol #36 \ne:
•> (•> #i#•> #c#•> |V(•> |E(•> |•> min•> max•> `expression'•> `metavariable'•> `expression1'•> `term'•> `factor'•> `factor1'•> `primary'•> `aritmpar'

The relationships of symbol #37 ':
•> (•> #i#•> #c#•> |V(•> |E(•> |•> min•> max•> `expression'•> `metavariable'•> `expression1'•> `term'•> `factor'•> `factor1'•> `primary'•> `aritmpar'

The relationships of symbol #38 \geq:
•> (•> #i#•> #c#•> |V(•> |E(•> |•> min•> max•> `expression'•> `metavariable'•> `expression1'•> `term'•> `factor'•> `factor1'•> `primary'•> `aritmpar'

The relationships of symbol #39 +:
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max<• `metavariable'=• `term'<• `factor'<• `factor1'<• `primary'<• `aritmpar'

The relationships of symbol #40 -:
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max<• `metavariable'=• `term'<• `factor'<• `factor1'<• `primary'<• `aritmpar'

The relationships of symbol #41 *:
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max<• `metavariable'=• `term'<• `factor'<• `factor1'<• `primary'<• `aritmpar'

The relationships of symbol #42 /:
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max<• `metavariable'=• `term'<• `factor'<• `factor1'<• `primary'<• `aritmpar'

The relationships of symbol #43 ^{:
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max<• `metavariable'=• `primary'<• `aritmpar'

The relationships of symbol #44 #c#:
•> )•> ;•> \}•> }•> <•> \leq•> \prec•> \prec^+•> \prec^*•> =•> \ne•> '•> \geq•> +•> -•> *•> /•> ^{•> ,•> `lbra'•> `rbra'•> `lessrel'•> `constrkoma'•> `relation'•> `maxminkoma'•> `indexkoma'

The relationships of symbol #45 |V(:
<• #i#=• `graphname'

The relationships of symbol #46 )|:
•> )•> ;•> \}•> }•> <•> \leq•> \prec•> \prec^+•> \prec^*•> =•> \ne•> '•> \geq•> +•> -•> *•> /•> ^{•> ,•> `lbra'•> `rbra'•> `lessrel'•> `constrkoma'•> `relation'•> `maxminkoma'•> `indexkoma'

The relationships of symbol #47 |E(:
<• #i#=• `graphname'

The relationships of symbol #48 |:
•> )•> ;<• #i#•> \}•> }•> <•> \leq•> \prec•> \prec^+•> \prec^*•> =•> \ne•> '•> \geq•> +•> -•> *•> /•> ^{•> ,•> `lbra'•> `rbra'=• `metavariable'•> `lessrel'•> `constrkoma'•> `relation'•> `maxminkoma'•> `indexkoma'

The relationships of symbol #49 min:
<• \{=• `mmbra'

The relationships of symbol #50 max:
<• \{=• `mmbra'

The relationships of symbol #51 \sim:
<• (<• #i#<• odd<• even<• exactlyone<• atmostone<• atleastone<• none<• eq<• atmost_{<• atleast_{<• level_{<• \neg<• `atmost'<• `atleast'<• `level'=• `formula'<• `leftpart'<• `clause'<• `logterm'<• `literal'<• `logvar'<• `prefixformula'<• `logicpar'

The relationships of symbol #52 \oplus:
<• (<• #i#<• odd<• even<• exactlyone<• atmostone<• atleastone<• none<• eq<• atmost_{<• atleast_{<• level_{<• \neg<• `atmost'<• `atleast'<• `level'=• `formula'<• `leftpart'<• `clause'<• `logterm'<• `literal'<• `logvar'<• `prefixformula'<• `logicpar'

The relationships of symbol #53 \to:
<• (<• #i#<• odd<• even<• exactlyone<• atmostone<• atleastone<• none<• eq<• atmost_{<• atleast_{<• level_{<• \neg<• `atmost'<• `atleast'<• `level'=• `formula'<• `leftpart'<• `clause'<• `logterm'<• `literal'<• `logvar'<• `prefixformula'<• `logicpar'

The relationships of symbol #54 \vee:
<• (<• #i#<• odd<• even<• exactlyone<• atmostone<• atleastone<• none<• eq<• atmost_{<• atleast_{<• level_{<• \neg<• `atmost'<• `atleast'<• `level'=• `clause'<• `logterm'<• `literal'<• `logvar'<• `prefixformula'<• `logicpar'

The relationships of symbol #55 \&:
<• (<• #i#<• odd<• even<• exactlyone<• atmostone<• atleastone<• none<• eq<• atmost_{<• atleast_{<• level_{<• \neg<• `atmost'<• `atleast'<• `level'=• `clause'<• `logterm'<• `literal'<• `logvar'<• `prefixformula'<• `logicpar'

The relationships of symbol #56 \neg:
<• (<• #i#<• odd<• even<• exactlyone<• atmostone<• atleastone<• none<• eq<• atmost_{<• atleast_{<• level_{<• `atmost'<• `atleast'<• `level'=• `literal'<• `logvar'<• `prefixformula'<• `logicpar'

The relationships of symbol #57 _{:
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max<• `expression'<• `metavariable'<• `expression1'<• `term'<• `factor'<• `factor1'<• `primary'<• `aritmpar'=• `indexes'<• `indexes1'<• `index'

The relationships of symbol #58 ,:
•> (•> #i#•> \bigvee_{•> \bigwedge_{•> \bigoplus_{•> odd•> even•> exactlyone•> atmostone•> atleastone•> none•> eq•> atmost_{•> atleast_{•> level_{•> #c#•> |V(•> |E(•> |•> min•> max•> \neg•> `bigformula'•> `graphname'•> `variable'•> `atmost'•> `atleast'•> `level'•> `formula'•> `expression'•> `metavariable'•> `node'•> `constraint'•> `conexpression'•> `expression1'•> `term'•> `factor'•> `factor1'•> `primary'•> `aritmpar'•> `leftpart'•> `clause'•> `logterm'•> `literal'•> `logvar'•> `prefixformula'•> `logicpar'•> `indexes1'•> `index'

The relationships of symbol #59 \{:
•> (•> #i#•> #c#•> |V(•> |E(•> |•> min•> max•> `expression'•> `metavariable'•> `node'•> `expression1'•> `term'•> `factor'•> `factor1'•> `primary'•> `pexpression'•> `aritmpar'

The relationships of symbol #60 \notin:
=• E(

The relationships of symbol #61 `program':

The relationships of symbol #62 `family':
=• #

The relationships of symbol #63 `metaformula':
•> #

The relationships of symbol #64 `input':
<• (<• #i#<• \bigvee_{<• \bigwedge_{<• \bigoplus_{<• odd<• even<• exactlyone<• atmostone<• atleastone<• none<• eq<• atmost_{<• atleast_{<• level_{<• \neg=• `bigformula'<• `atmost'<• `atleast'<• `level'<• `formula'<• `leftpart'<• `clause'<• `logterm'<• `literal'<• `logvar'<• `prefixformula'<• `logicpar'

The relationships of symbol #65 `bigformula':
•> #•> )•> :•> ,•> `formkoma'

The relationships of symbol #66 `graphnames':
=• )

The relationships of symbol #67 `varnames':
=• )=• ;

The relationships of symbol #68 `graphnames1':
•> )<• ,=• `grkoma'

The relationships of symbol #69 `grkoma':
<• #i#=• `graphname'

The relationships of symbol #70 `graphname':
•> )=• )|•> ,•> `grkoma'

The relationships of symbol #71 `varnames1':
•> )•> ;<• ,=• `varkoma'

The relationships of symbol #72 `varkoma':
<• #i#=• `variable'

The relationships of symbol #73 `variable':
•> )•> ;•> ,•> `varkoma'

The relationships of symbol #74 `limits':
=• )<• }=• `lbra'

The relationships of symbol #75 `lbra':
<• (<• #i#<• \bigvee_{<• \bigwedge_{<• \bigoplus_{<• odd<• even<• exactlyone<• atmostone<• atleastone<• none<• eq<• atmost_{<• atleast_{<• level_{<• \neg=• `bigformula'<• `atmost'<• `atleast'<• `level'<• `formula'<• `leftpart'<• `clause'<• `logterm'<• `literal'<• `logvar'<• `prefixformula'<• `logicpar'

The relationships of symbol #76 `prefpar':
<• (<• #i#<• \bigvee_{<• \bigwedge_{<• \bigoplus_{<• odd<• even<• exactlyone<• atmostone<• atleastone<• none<• eq<• atmost_{<• atleast_{<• level_{<• \neg<• `bigformula'=• `bigformula1'<• `atmost'<• `atleast'<• `level'<• `formula'<• `leftpart'<• `clause'<• `logterm'<• `literal'<• `logvar'<• `prefixformula'<• `logicpar'=• `formlist'<• `formlist1'

The relationships of symbol #77 `bigformula1':
=• )=• :

The relationships of symbol #78 `atmost':
<• (=• `prefpar'

The relationships of symbol #79 `atleast':
<• (=• `prefpar'

The relationships of symbol #80 `level':
<• (=• `prefpar'

The relationships of symbol #81 `formula':
•> #•> )•> :•> ,•> `formkoma'

The relationships of symbol #82 `rate':
<• }=• `rbra'

The relationships of symbol #83 `rbra':
•> (•> `prefpar'

The relationships of symbol #84 `expression':
•> )•> ;=• \}•> }•> <•> \leq•> \prec•> \prec^+•> \prec^*•> =•> \ne•> '•> \geq•> ,•> `lbra'•> `rbra'•> `lessrel'•> `constrkoma'•> `relation'•> `maxminkoma'•> `indexkoma'

The relationships of symbol #85 `limit':
•> )=• ;•> }•> `lbra'

The relationships of symbol #86 `constraints1':
•> )•> }•> `lbra'

The relationships of symbol #87 `metavariables':
=• \in<• <<• \leq<• \prec<• \prec^+<• \prec^*=• \notin=• `lessrel'

The relationships of symbol #88 `set':
•> )•> ;•> }•> `lbra'

The relationships of symbol #89 `graphname1':
=• )

The relationships of symbol #90 `metavariable':
•> )•> ;•> \in=• \leftarrow•> \}•> }•> <•> \leq•> \prec•> \prec^+•> \prec^*•> =•> \ne•> '•> \geq•> +•> -•> *•> /•> ^{=• |•> ,•> \notin•> `lbra'•> `rbra'•> `lessrel'•> `nodekoma'•> `metakoma'•> `constrkoma'•> `relation'•> `maxminkoma'•> `indexkoma'

The relationships of symbol #91 `arc':
=• \in=• \notin

The relationships of symbol #92 `limexpression':
<• <<• \leq<• \prec<• \prec^+<• \prec^*=• `lessrel'

The relationships of symbol #93 `lessrel':
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max=• `expression'=• `metavariables'<• `metavariable'<• `metavariables1'<• `expression1'<• `term'<• `factor'<• `factor1'<• `primary'<• `aritmpar'

The relationships of symbol #94 `graphbra':
<• #i#<• `metavariable'=• `node'

The relationships of symbol #95 `node':
=• \}<• ,=• `nodekoma'

The relationships of symbol #96 `nodekoma':
<• #i#<• `metavariable'=• `node'

The relationships of symbol #97 `metavariables1':
•> \in•> <•> \leq•> \prec•> \prec^+•> \prec^*<• ,•> \notin•> `lessrel'=• `metakoma'

The relationships of symbol #98 `metakoma':
<• #i#=• `metavariable'

The relationships of symbol #99 `length':
=• }

The relationships of symbol #100 `constraints':
•> )•> }<• ,•> `lbra'=• `constrkoma'

The relationships of symbol #101 `constrkoma':
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max<• `expression'<• `metavariable'=• `constraint'<• `conexpression'<• `expression1'<• `term'<• `factor'<• `factor1'<• `primary'<• `aritmpar'

The relationships of symbol #102 `constraint':
•> )•> }•> ,•> `lbra'•> `constrkoma'

The relationships of symbol #103 `conexpression':
<• <<• \leq<• \prec<• \prec^+<• \prec^*<• =<• \ne<• '<• \geq=• `relation'

The relationships of symbol #104 `relation':
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max=• `expression'<• `metavariable'<• `expression1'<• `term'<• `factor'<• `factor1'<• `primary'<• `aritmpar'

The relationships of symbol #105 `expression1':
•> )•> ;•> \}•> }•> <•> \leq•> \prec•> \prec^+•> \prec^*•> =•> \ne•> '•> \geq=• +=• -•> ,•> `lbra'•> `rbra'•> `lessrel'•> `constrkoma'•> `relation'•> `maxminkoma'•> `indexkoma'

The relationships of symbol #106 `term':
•> )•> ;•> \}•> }•> <•> \leq•> \prec•> \prec^+•> \prec^*•> =•> \ne•> '•> \geq•> +•> -•> ,•> `lbra'•> `rbra'•> `lessrel'•> `constrkoma'•> `relation'•> `maxminkoma'•> `indexkoma'

The relationships of symbol #107 `factor':
•> )•> ;•> \}•> }•> <•> \leq•> \prec•> \prec^+•> \prec^*•> =•> \ne•> '•> \geq•> +•> -=• *=• /=• ^{•> ,•> `lbra'•> `rbra'•> `lessrel'•> `constrkoma'•> `relation'•> `maxminkoma'•> `indexkoma'

The relationships of symbol #108 `factor1':
=• }

The relationships of symbol #109 `primary':
•> )•> ;•> \}•> }•> <•> \leq•> \prec•> \prec^+•> \prec^*•> =•> \ne•> '•> \geq•> +•> -•> *•> /•> ^{•> ,•> `lbra'•> `rbra'•> `lessrel'•> `constrkoma'•> `relation'•> `maxminkoma'•> `indexkoma'

The relationships of symbol #110 `mmbra':
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max<• `expression'<• `metavariable'<• `expression1'<• `term'<• `factor'<• `factor1'<• `primary'=• `pexpression'<• `aritmpar'

The relationships of symbol #111 `pexpression':
=• )<• ,=• `maxminkoma'

The relationships of symbol #112 `maxminkoma':
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max=• `expression'<• `metavariable'<• `expression1'<• `term'<• `factor'<• `factor1'<• `primary'<• `aritmpar'

The relationships of symbol #113 `aritmpar':
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max<• `expression'<• `metavariable'<• `expression1'<• `term'<• `factor'<• `factor1'<• `primary'=• `pexpression'<• `aritmpar'

The relationships of symbol #114 `leftpart':
•> #•> )•> :=• \sim=• \oplus=• \to=• \vee•> ,•> `formkoma'

The relationships of symbol #115 `clause':
•> #•> )•> :•> \sim•> \oplus•> \to•> \vee•> ,•> `formkoma'

The relationships of symbol #116 `logterm':
•> #•> )•> :•> \sim•> \oplus•> \to•> \vee=• \&•> ,•> `formkoma'

The relationships of symbol #117 `literal':
•> #•> )•> :•> \sim•> \oplus•> \to•> \vee•> \&•> ,•> `formkoma'

The relationships of symbol #118 `logvar':
•> #•> )•> :•> \sim•> \oplus•> \to•> \vee•> \&=• _{•> ,•> `formkoma'

The relationships of symbol #119 `indexes':
=• }

The relationships of symbol #120 `prefixformula':
•> #•> )•> :•> \sim•> \oplus•> \to•> \vee•> \&•> ,•> `formkoma'

The relationships of symbol #121 `logicpar':
<• (<• #i#<• \bigvee_{<• \bigwedge_{<• \bigoplus_{<• odd<• even<• exactlyone<• atmostone<• atleastone<• none<• eq<• atmost_{<• atleast_{<• level_{<• \neg<• `bigformula'=• `bigformula1'<• `atmost'<• `atleast'<• `level'<• `formula'<• `leftpart'<• `clause'<• `logterm'<• `literal'<• `logvar'<• `prefixformula'<• `logicpar'

The relationships of symbol #122 `indexes1':
•> }

The relationships of symbol #123 `index':
•> }<• ,=• `indexkoma'

The relationships of symbol #124 `indexkoma':
<• (<• #i#<• #c#<• |V(<• |E(<• |<• min<• max<• `expression'<• `metavariable'<• `expression1'<• `term'<• `factor'<• `factor1'<• `primary'<• `aritmpar'=• `indexes1'<• `index'

The relationships of symbol #125 `formlist':
=• )

The relationships of symbol #126 `formlist1':
•> )<• ,=• `formkoma'

The relationships of symbol #127 `formkoma':
<• (<• #i#<• \bigvee_{<• \bigwedge_{<• \bigoplus_{<• odd<• even<• exactlyone<• atmostone<• atleastone<• none<• eq<• atmost_{<• atleast_{<• level_{<• \neg=• `bigformula'<• `atmost'<• `atleast'<• `level'<• `formula'<• `leftpart'<• `clause'<• `logterm'<• `literal'<• `logvar'<• `prefixformula'<• `logicpar'

Grammar form8.grm is a precedence grammar

Grammar form8.grm is not invertible

Left Context


Symbol123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127
61.program0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
62.family*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
63.metaformula*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
64.input*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
65.bigformula*00000000000000000000000000000000000000000000000000000000000000*0000000000**00000000000000000000000000000000000000000000*00000*
66.graphnames000*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
67.varnames00000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
68.graphnames1000*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
69.grkoma0000000000000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000
70.graphname000*0000000000000000000**0000000000000000000*0*000000000000000000000*0000000000000000000000000000000000000000000000000000000000
71.varnames100000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
72.varkoma0000000000000000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000
73.variable00000*00000000000000000000000000000000000000000000000000000000000000000*0000000000000000000000000000000000000000000000000000000
74.limits00000000***0*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
75.lbra0000000000000000000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000
76.prefpar00000000000*0******0000000000000000000000000000000000000000000000000000000000***00000000000000000000000000000000000000000000000
77.bigformula1000000000000000000000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000*000000
78.atmost*0000000000000000000000000000000000000000000000000******0000000*0000000000**00000000000000000000000000000000000000000000*00000*
79.atleast*0000000000000000000000000000000000000000000000000******0000000*0000000000**00000000000000000000000000000000000000000000*00000*
80.level*0000000000000000000000000000000000000000000000000******0000000*0000000000**00000000000000000000000000000000000000000000*00000*
81.formula*0000000000000000000000000000000000000000000000000***0000000000*0000000000**00000000000000000000000000000000000000000000*00000*
82.rate0000000000000000000***000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
83.rbra000000000000000000000000000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000
84.expression000000*0***0*000000***00000*0000000000000000000000000000*00000000000000000000000000000000000*0000000*00*00000*0**0000000000*000
85.limit00000000***0*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
86.constraints1000000*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
87.metavariables00000000***0*0000000000000000000000000000000000000000000000000000000000000000000000000000000*0000000000000000000000000000000000
88.set0000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
89.graphname100000000000000000000000**000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
90.metavariable000000*0***0*000000***00000*0000000000*****0000*00000000*00000000000000000000000000000000000**0*0*00*00*00000*0**0000000000*000
91.arc00000000***0*000000000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
92.limexpression00000000***0*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
93.lessrel00000000000000000000000000000000000000000000000000000000000000000000000000000000000000*0000*00000000000000000000000000000000000
94.graphbra00000000***0*000000000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
95.node000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*0*0000000000000000000000000000000
96.nodekoma0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000
97.metavariables100000000***0*0000000000000000000000000000000000000000000000000000000000000000000000000000000*0000000000000000000000000000000000
98.metakoma000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000
99.length000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100.constraints000000*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
101.constrkoma000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*000000000000000000000000000
102.constraint000000*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*00000000000000000000000000
103.conexpression000000*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*00000000000000000000000000
104.relation000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*000000000000000000000000
105.expression1000000*0***0*000000***00000*0000000000000000000000000000*00000000000000000000000000000000000*0000000*00*00000*0**0000000000*000
106.term000000*0***0*000000***00000*0000000000****00000000000000*00000000000000000000000000000000000*0000000*00*00000*0**0000000000*000
107.factor000000*0***0*000000***00000*0000000000****00000000000000*00000000000000000000000000000000000*0000000*00*00000*0**0000000000*000
108.factor1000000*0***0*000000***00000*0000000000****00000000000000*00000000000000000000000000000000000*0000000*00*00000*0**0000000000*000
109.primary000000*0***0*000000***00000*0000000000*****0000000000000*00000000000000000000000000000000000*0000000*00*00000*0**0000000000*000
110.mmbra000000000000000000000000000000000000000000000000**00000000000000000000000000000000000000000000000000000000000000000000000000000
111.pexpression0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*00*00000000000000
112.maxminkoma00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*0000000000000000
113.aritmpar000000*0***0*000000***00000*0000000000*****0000000000000*00000000000000000000000000000000000*0000000*00*00000*0**0000000000*000
114.leftpart*0000000000000000000000000000000000000000000000000***0000000000*0000000000**00000000000000000000000000000000000000000000*00000*
115.clause*0000000000000000000000000000000000000000000000000*****00000000*0000000000**00000000000000000000000000000000000000000000*00000*
116.logterm*0000000000000000000000000000000000000000000000000*****00000000*0000000000**00000000000000000000000000000000000000000000*00000*
117.literal*0000000000000000000000000000000000000000000000000******0000000*0000000000**00000000000000000000000000000000000000000000*00000*
118.logvar*0000000000000000000000000000000000000000000000000******0000000*0000000000**00000000000000000000000000000000000000000000*00000*
119.indexes00000000000000000000000000000000000000000000000000000000*0000000000000000000000000000000000000000000000000000000000000000000000
120.prefixformula*0000000000000000000000000000000000000000000000000******0000000*0000000000**00000000000000000000000000000000000000000000*00000*
121.logicpar*0000000000000000000000000000000000000000000000000******0000000*0000000000**00000000000000000000000000000000000000000000*00000*
122.indexes100000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000*000
123.index00000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000*000
124.indexkoma00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*0000
125.formlist000000000000000000000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000
126.formlist1000000000000000000000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000
127.formkoma00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*0

Right Context


Symbol123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960
61.program000000000000000000000000000000000000000000000000000000000000
62.family*00000000000000000000000000000000000000000000000000000000000
63.metaformula*00000000000000000000000000000000000000000000000000000000000
64.input00*0000*****0*********000000000000000000000000000000000*0000
65.bigformula*000*0000000*00000000000000000000000000000000000000000000*00
66.graphnames0000*0000000000000000000000000000000000000000000000000000000
67.varnames0000*0*00000000000000000000000000000000000000000000000000000
68.graphnames10000*0000000000000000000000000000000000000000000000000000*00
69.grkoma0000000*0000000000000000000000000000000000000000000000000000
70.graphname0000*0000000000000000000000000000000000000000*00000000000*00
71.varnames10000*0*00000000000000000000000000000000000000000000000000*00
72.varkoma0000000*0000000000000000000000000000000000000000000000000000
73.variable0000*0*00000000000000000000000000000000000000000000000000*00
74.limits0000*00000000000000000000000*0000000000000000000000000000000
75.lbra00*0000*****0*********000000000000000000000000000000000*0000
76.prefpar00*0000*****0*********000000000000000000000000000000000*0000
77.bigformula10000*0000000*00000000000000000000000000000000000000000000000
78.atmost00*000000000000000000000000000000000000000000000000000000000
79.atleast00*000000000000000000000000000000000000000000000000000000000
80.level00*000000000000000000000000000000000000000000000000000000000
81.formula*000*0000000*00000000000000000000000000000000000000000000*00
82.rate0000000000000000000000000000*0000000000000000000000000000000
83.rbra00*000000000000000000000000000000000000000000000000000000000
84.expression0000*0*0000000000000000000*0**********0000000000000000000*00
85.limit0000*0*000000000000000000000*0000000000000000000000000000000
86.constraints10000*00000000000000000000000*0000000000000000000000000000000
87.metavariables0000000000000000000000*000000*****0000000000000000000000000*
88.set0000*0*000000000000000000000*0000000000000000000000000000000
89.graphname10000*0000000000000000000000000000000000000000000000000000000
90.metavariable0000*0*000000000000000*00**0***************0000*000000000*0*
91.arc0000000000000000000000*000000000000000000000000000000000000*
92.limexpression00000000000000000000000000000*****00000000000000000000000000
93.lessrel00*0000*00000000000000000000000000000000000**0****0000000000
94.graphbra0000000*0000000000000000000000000000000000000000000000000000
95.node00000000000000000000000000*000000000000000000000000000000*00
96.nodekoma0000000*0000000000000000000000000000000000000000000000000000
97.metavariables10000000000000000000000*000000*****00000000000000000000000*0*
98.metakoma0000000*0000000000000000000000000000000000000000000000000000
99.length0000000000000000000000000000*0000000000000000000000000000000
100.constraints0000*00000000000000000000000*0000000000000000000000000000*00
101.constrkoma00*0000*00000000000000000000000000000000000**0****0000000000
102.constraint0000*00000000000000000000000*0000000000000000000000000000*00
103.conexpression00000000000000000000000000000*********0000000000000000000000
104.relation00*0000*00000000000000000000000000000000000**0****0000000000
105.expression10000*0*0000000000000000000*0************00000000000000000*00
106.term0000*0*0000000000000000000*0************00000000000000000*00
107.factor0000*0*0000000000000000000*0***************00000000000000*00
108.factor10000000000000000000000000000*0000000000000000000000000000000
109.primary0000*0*0000000000000000000*0***************00000000000000*00
110.mmbra00*0000*00000000000000000000000000000000000**0****0000000000
111.pexpression0000*0000000000000000000000000000000000000000000000000000*00
112.maxminkoma00*0000*00000000000000000000000000000000000**0****0000000000
113.aritmpar00*0000*00000000000000000000000000000000000**0****0000000000
114.leftpart*000*0000000*0000000000000000000000000000000000000****000*00
115.clause*000*0000000*0000000000000000000000000000000000000****000*00
116.logterm*000*0000000*0000000000000000000000000000000000000*****00*00
117.literal*000*0000000*0000000000000000000000000000000000000*****00*00
118.logvar*000*0000000*0000000000000000000000000000000000000*****0**00
119.indexes0000000000000000000000000000*0000000000000000000000000000000
120.prefixformula*000*0000000*0000000000000000000000000000000000000*****00*00
121.logicpar00*0000*****0*********000000000000000000000000000000000*0000
122.indexes10000000000000000000000000000*0000000000000000000000000000000
123.index0000000000000000000000000000*0000000000000000000000000000*00
124.indexkoma00*0000*00000000000000000000000000000000000**0****0000000000
125.formlist0000*0000000000000000000000000000000000000000000000000000000
126.formlist10000*0000000000000000000000000000000000000000000000000000*00
127.formkoma00*0000*****0*********000000000000000000000000000000000*0000


Independent context

`program' left context:
`program' right context:

`family' left context: #
`family' right context: #

`metaformula' left context: #
`metaformula' right context: #

`input' left context: #
`input' right context: ( , #i# , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , odd , even , exactlyone , atmostone , atleastone , none , eq , atmost_{ , atleast_{ , level_{ , \neg

`bigformula' left context: # , `input' , `lbra' , `prefpar' , `logicpar' , `formkoma'
`bigformula' right context: # , ) , : , ,

`graphnames' left context: graph
`graphnames' right context: )

`varnames' left context: var
`varnames' right context: ) , ;

`graphnames1' left context: graph
`graphnames1' right context: ) , ,

`grkoma' left context: `graphnames1'
`grkoma' right context: #i#

`graphname' left context: graph , V( , E( , |V( , |E( , `grkoma'
`graphname' right context: ) , )| , ,

`varnames1' left context: var
`varnames1' right context: ) , ; , ,

`varkoma' left context: `varnames1'
`varkoma' right context: #i#

`variable' left context: var , `varkoma'
`variable' right context: ) , ; , ,

`limits' left context: \bigvee_{ , \bigwedge_{ , \bigoplus_{ , :
`limits' right context: ) , }

`lbra' left context: `limits'
`lbra' right context: ( , #i# , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , odd , even , exactlyone , atmostone , atleastone , none , eq , atmost_{ , atleast_{ , level_{ , \neg

`prefpar' left context: odd , even , exactlyone , atmostone , atleastone , none , eq , `atmost' , `atleast' , `level'
`prefpar' right context: ( , #i# , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , odd , even , exactlyone , atmostone , atleastone , none , eq , atmost_{ , atleast_{ , level_{ , \neg

`bigformula1' left context: `prefpar' , `logicpar'
`bigformula1' right context: ) , :

`atmost' left context: # , \sim , \oplus , \to , \vee , \& , \neg , `input' , `lbra' , `prefpar' , `logicpar' , `formkoma'
`atmost' right context: (

`atleast' left context: # , \sim , \oplus , \to , \vee , \& , \neg , `input' , `lbra' , `prefpar' , `logicpar' , `formkoma'
`atleast' right context: (

`level' left context: # , \sim , \oplus , \to , \vee , \& , \neg , `input' , `lbra' , `prefpar' , `logicpar' , `formkoma'
`level' right context: (

`formula' left context: # , \sim , \oplus , \to , `input' , `lbra' , `prefpar' , `logicpar' , `formkoma'
`formula' right context: # , ) , : , ,

`rate' left context: atmost_{ , atleast_{ , level_{
`rate' right context: }

`rbra' left context: `rate'
`rbra' right context: (

`expression' left context: ; , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , atmost_{ , atleast_{ , level_{ , B^{ , _{ , `lessrel' , `constrkoma' , `relation' , `mmbra' , `maxminkoma' , `aritmpar' , `indexkoma'
`expression' right context: ) , ; , \} , } , < , \leq , \prec , \prec^+ , \prec^* , = , \ne , ' , \geq , ,

`limit' left context: \bigvee_{ , \bigwedge_{ , \bigoplus_{ , :
`limit' right context: ) , ; , }

`constraints1' left context: ;
`constraints1' right context: ) , }

`metavariables' left context: \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , `lessrel'
`metavariables' right context: \in , < , \leq , \prec , \prec^+ , \prec^* , \notin

`set' left context: \in
`set' right context: ) , ; , }

`graphname1' left context: V( , E(
`graphname1' right context: )

`metavariable' left context: ; , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , atmost_{ , atleast_{ , level_{ , B^{ , + , - , * , / , ^{ , | , _{ , `lessrel' , `graphbra' , `nodekoma' , `metakoma' , `constrkoma' , `relation' , `mmbra' , `maxminkoma' , `aritmpar' , `indexkoma'
`metavariable' right context: ) , ; , \in , \leftarrow , \} , } , < , \leq , \prec , \prec^+ , \prec^* , = , \ne , ' , \geq , + , - , * , / , ^{ , | , , , \notin

`arc' left context: \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , \leftarrow
`arc' right context: \in , \notin

`limexpression' left context: \bigvee_{ , \bigwedge_{ , \bigoplus_{ , :
`limexpression' right context: < , \leq , \prec , \prec^+ , \prec^*

`lessrel' left context: `metavariables' , `limexpression'
`lessrel' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`graphbra' left context: \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , \leftarrow
`graphbra' right context: #i#

`node' left context: `graphbra' , `nodekoma'
`node' right context: \} , ,

`nodekoma' left context: `node'
`nodekoma' right context: #i#

`metavariables1' left context: \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , `lessrel'
`metavariables1' right context: \in , < , \leq , \prec , \prec^+ , \prec^* , , , \notin

`metakoma' left context: `metavariables1'
`metakoma' right context: #i#

`length' left context: B^{
`length' right context: }

`constraints' left context: ;
`constraints' right context: ) , } , ,

`constrkoma' left context: `constraints'
`constrkoma' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`constraint' left context: ; , `constrkoma'
`constraint' right context: ) , } , ,

`conexpression' left context: ; , `constrkoma'
`conexpression' right context: < , \leq , \prec , \prec^+ , \prec^* , = , \ne , ' , \geq

`relation' left context: `conexpression'
`relation' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`expression1' left context: ; , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , atmost_{ , atleast_{ , level_{ , B^{ , _{ , `lessrel' , `constrkoma' , `relation' , `mmbra' , `maxminkoma' , `aritmpar' , `indexkoma'
`expression1' right context: ) , ; , \} , } , < , \leq , \prec , \prec^+ , \prec^* , = , \ne , ' , \geq , + , - , ,

`term' left context: ; , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , atmost_{ , atleast_{ , level_{ , B^{ , + , - , * , / , _{ , `lessrel' , `constrkoma' , `relation' , `mmbra' , `maxminkoma' , `aritmpar' , `indexkoma'
`term' right context: ) , ; , \} , } , < , \leq , \prec , \prec^+ , \prec^* , = , \ne , ' , \geq , + , - , ,

`factor' left context: ; , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , atmost_{ , atleast_{ , level_{ , B^{ , + , - , * , / , _{ , `lessrel' , `constrkoma' , `relation' , `mmbra' , `maxminkoma' , `aritmpar' , `indexkoma'
`factor' right context: ) , ; , \} , } , < , \leq , \prec , \prec^+ , \prec^* , = , \ne , ' , \geq , + , - , * , / , ^{ , ,

`factor1' left context: ; , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , atmost_{ , atleast_{ , level_{ , B^{ , + , - , * , / , _{ , `lessrel' , `constrkoma' , `relation' , `mmbra' , `maxminkoma' , `aritmpar' , `indexkoma'
`factor1' right context: }

`primary' left context: ; , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , atmost_{ , atleast_{ , level_{ , B^{ , + , - , * , / , ^{ , _{ , `lessrel' , `constrkoma' , `relation' , `mmbra' , `maxminkoma' , `aritmpar' , `indexkoma'
`primary' right context: ) , ; , \} , } , < , \leq , \prec , \prec^+ , \prec^* , = , \ne , ' , \geq , + , - , * , / , ^{ , ,

`mmbra' left context: min , max
`mmbra' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`pexpression' left context: `mmbra' , `aritmpar'
`pexpression' right context: ) , ,

`maxminkoma' left context: `pexpression'
`maxminkoma' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`aritmpar' left context: ; , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , atmost_{ , atleast_{ , level_{ , B^{ , + , - , * , / , ^{ , _{ , `lessrel' , `constrkoma' , `relation' , `mmbra' , `maxminkoma' , `aritmpar' , `indexkoma'
`aritmpar' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`leftpart' left context: # , \sim , \oplus , \to , `input' , `lbra' , `prefpar' , `logicpar' , `formkoma'
`leftpart' right context: # , ) , : , \sim , \oplus , \to , \vee , ,

`clause' left context: # , \sim , \oplus , \to , \vee , \& , `input' , `lbra' , `prefpar' , `logicpar' , `formkoma'
`clause' right context: # , ) , : , \sim , \oplus , \to , \vee , ,

`logterm' left context: # , \sim , \oplus , \to , \vee , \& , `input' , `lbra' , `prefpar' , `logicpar' , `formkoma'
`logterm' right context: # , ) , : , \sim , \oplus , \to , \vee , \& , ,

`literal' left context: # , \sim , \oplus , \to , \vee , \& , \neg , `input' , `lbra' , `prefpar' , `logicpar' , `formkoma'
`literal' right context: # , ) , : , \sim , \oplus , \to , \vee , \& , ,

`logvar' left context: # , \sim , \oplus , \to , \vee , \& , \neg , `input' , `lbra' , `prefpar' , `logicpar' , `formkoma'
`logvar' right context: # , ) , : , \sim , \oplus , \to , \vee , \& , _{ , ,

`indexes' left context: _{
`indexes' right context: }

`prefixformula' left context: # , \sim , \oplus , \to , \vee , \& , \neg , `input' , `lbra' , `prefpar' , `logicpar' , `formkoma'
`prefixformula' right context: # , ) , : , \sim , \oplus , \to , \vee , \& , ,

`logicpar' left context: # , \sim , \oplus , \to , \vee , \& , \neg , `input' , `lbra' , `prefpar' , `logicpar' , `formkoma'
`logicpar' right context: ( , #i# , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , odd , even , exactlyone , atmostone , atleastone , none , eq , atmost_{ , atleast_{ , level_{ , \neg

`indexes1' left context: _{ , `indexkoma'
`indexes1' right context: }

`index' left context: _{ , `indexkoma'
`index' right context: } , ,

`indexkoma' left context: `index'
`indexkoma' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`formlist' left context: `prefpar'
`formlist' right context: )

`formlist1' left context: `prefpar'
`formlist1' right context: ) , ,

`formkoma' left context: `formlist1'
`formkoma' right context: ( , #i# , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , odd , even , exactlyone , atmostone , atleastone , none , eq , atmost_{ , atleast_{ , level_{ , \neg

Equivalent definitions:
`aritmpar' —> ( & `prefpar' —> ( & `logicpar' —> (
`aritmpar' left context: ; , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , atmost_{ , atleast_{ , level_{ , B^{ , + , - , * , / , ^{ , _{ , `lessrel' , `constrkoma' , `relation' , `mmbra' , `maxminkoma' , `aritmpar' , `indexkoma'
`aritmpar' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`prefpar' left context: odd , even , exactlyone , atmostone , atleastone , none , eq , `atmost' , `atleast' , `level'
`prefpar' right context: ( , #i# , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , odd , even , exactlyone , atmostone , atleastone , none , eq , atmost_{ , atleast_{ , level_{ , \neg

`logicpar' left context: # , \sim , \oplus , \to , \vee , \& , \neg , `input' , `lbra' , `prefpar' , `logicpar' , `formkoma'
`logicpar' right context: ( , #i# , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , odd , even , exactlyone , atmostone , atleastone , none , eq , atmost_{ , atleast_{ , level_{ , \neg


The left context of `aritmpar' and `prefpar' is different
The left context of `aritmpar' and `logicpar' is different
The left context of `prefpar' and `logicpar' is different

Equivalent definitions:
`graphname' —> #i# & `variable' —> #i# & `metavariable' —> #i# & `logvar' —> #i#
`graphname' left context: graph , V( , E( , |V( , |E( , `grkoma'
`graphname' right context: ) , )| , ,

`variable' left context: var , `varkoma'
`variable' right context: ) , ; , ,

`metavariable' left context: ; , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , atmost_{ , atleast_{ , level_{ , B^{ , + , - , * , / , ^{ , | , _{ , `lessrel' , `graphbra' , `nodekoma' , `metakoma' , `constrkoma' , `relation' , `mmbra' , `maxminkoma' , `aritmpar' , `indexkoma'
`metavariable' right context: ) , ; , \in , \leftarrow , \} , } , < , \leq , \prec , \prec^+ , \prec^* , = , \ne , ' , \geq , + , - , * , / , ^{ , | , , , \notin

`logvar' left context: # , \sim , \oplus , \to , \vee , \& , \neg , `input' , `lbra' , `prefpar' , `logicpar' , `formkoma'
`logvar' right context: # , ) , : , \sim , \oplus , \to , \vee , \& , _{ , ,


The left context of `graphname' and `variable' is different
The left context of `graphname' and `metavariable' is different
The left context of `graphname' and `logvar' is different
The left context of `variable' and `metavariable' is different
The left context of `variable' and `logvar' is different
The left context of `metavariable' and `logvar' is different

Equivalent definitions:
`lbra' —> } & `rbra' —> }
`lbra' left context: `limits'
`lbra' right context: ( , #i# , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , odd , even , exactlyone , atmostone , atleastone , none , eq , atmost_{ , atleast_{ , level_{ , \neg

`rbra' left context: `rate'
`rbra' right context: (


The left context of `lbra' and `rbra' is different

Equivalent definitions:
`lessrel' —> < & `relation' —> <
`lessrel' left context: `metavariables' , `limexpression'
`lessrel' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`relation' left context: `conexpression'
`relation' right context: ( , #i# , #c# , |V( , |E( , | , min , max


The left context of `lessrel' and `relation' is different

Equivalent definitions:
`lessrel' —> \leq & `relation' —> \leq
`lessrel' left context: `metavariables' , `limexpression'
`lessrel' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`relation' left context: `conexpression'
`relation' right context: ( , #i# , #c# , |V( , |E( , | , min , max


The left context of `lessrel' and `relation' is different

Equivalent definitions:
`lessrel' —> \prec & `relation' —> \prec
`lessrel' left context: `metavariables' , `limexpression'
`lessrel' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`relation' left context: `conexpression'
`relation' right context: ( , #i# , #c# , |V( , |E( , | , min , max


The left context of `lessrel' and `relation' is different

Equivalent definitions:
`lessrel' —> \prec^+ & `relation' —> \prec^+
`lessrel' left context: `metavariables' , `limexpression'
`lessrel' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`relation' left context: `conexpression'
`relation' right context: ( , #i# , #c# , |V( , |E( , | , min , max


The left context of `lessrel' and `relation' is different

Equivalent definitions:
`lessrel' —> \prec^* & `relation' —> \prec^*
`lessrel' left context: `metavariables' , `limexpression'
`lessrel' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`relation' left context: `conexpression'
`relation' right context: ( , #i# , #c# , |V( , |E( , | , min , max


The left context of `lessrel' and `relation' is different

Equivalent definitions:
`constrkoma' —> , & `varkoma' —> , & `nodekoma' —> , & `metakoma' —> , & `maxminkoma' —> , & `indexkoma' —> , & `grkoma' —> , & `formkoma' —> ,
`constrkoma' left context: `constraints'
`constrkoma' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`varkoma' left context: `varnames1'
`varkoma' right context: #i#

`nodekoma' left context: `node'
`nodekoma' right context: #i#

`metakoma' left context: `metavariables1'
`metakoma' right context: #i#

`maxminkoma' left context: `pexpression'
`maxminkoma' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`indexkoma' left context: `index'
`indexkoma' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`grkoma' left context: `graphnames1'
`grkoma' right context: #i#

`formkoma' left context: `formlist1'
`formkoma' right context: ( , #i# , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , odd , even , exactlyone , atmostone , atleastone , none , eq , atmost_{ , atleast_{ , level_{ , \neg


The left context of `constrkoma' and `varkoma' is different
The left context of `constrkoma' and `nodekoma' is different
The left context of `constrkoma' and `metakoma' is different
The left context of `constrkoma' and `maxminkoma' is different
The left context of `constrkoma' and `indexkoma' is different
The left context of `constrkoma' and `grkoma' is different
The left context of `constrkoma' and `formkoma' is different
The left context of `varkoma' and `nodekoma' is different
The left context of `varkoma' and `metakoma' is different
The left context of `varkoma' and `maxminkoma' is different
The left context of `varkoma' and `indexkoma' is different
The left context of `varkoma' and `grkoma' is different
The left context of `varkoma' and `formkoma' is different
The left context of `nodekoma' and `metakoma' is different
The left context of `nodekoma' and `maxminkoma' is different
The left context of `nodekoma' and `indexkoma' is different
The left context of `nodekoma' and `grkoma' is different
The left context of `nodekoma' and `formkoma' is different
The left context of `metakoma' and `maxminkoma' is different
The left context of `metakoma' and `indexkoma' is different
The left context of `metakoma' and `grkoma' is different
The left context of `metakoma' and `formkoma' is different
The left context of `maxminkoma' and `indexkoma' is different
The left context of `maxminkoma' and `grkoma' is different
The left context of `maxminkoma' and `formkoma' is different
The left context of `indexkoma' and `grkoma' is different
The left context of `indexkoma' and `formkoma' is different
The left context of `grkoma' and `formkoma' is different

Equivalent definitions:
`graphbra' —> \{ & `mmbra' —> \{
`graphbra' left context: \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , \leftarrow
`graphbra' right context: #i#

`mmbra' left context: min , max
`mmbra' right context: ( , #i# , #c# , |V( , |E( , | , min , max


The left context of `graphbra' and `mmbra' is different

Equivalent definitions:
`bigformula1' —> `bigformula' & `metaformula' —> `bigformula' & `formlist1' —> `bigformula'
`bigformula1' left context: `prefpar' , `logicpar'
`bigformula1' right context: ) , :

`metaformula' left context: #
`metaformula' right context: #

`formlist1' left context: `prefpar'
`formlist1' right context: ) , ,


The left context of `bigformula1' and `metaformula' is different
The independent context of `bigformula1' and `formlist1' is not different
independent context didn't help us. I'll try to use the dependent one.


I'll find the subsets of dependent context of `bigformula1'
gamma1: the source is the production
P=27 `bigformula' -> `atleast' `prefpar' `bigformula1' : `limits' )
{`prefpar' , :}
gamma1: the source is the production
P=26 `bigformula' -> `atmost' `prefpar' `bigformula1' : `limits' )
{`prefpar' , :}
gamma1: the source is the production
P=28 `bigformula' -> `level' `prefpar' `bigformula1' : `limits' )
{`prefpar' , :}
gamma1: the source is the production
P=104 `literal' -> `logicpar' `bigformula1' )
{`logicpar' , )}
gamma1: the source is the production
P=21 `bigformula' -> exactlyone `prefpar' `bigformula1' : `limits' )
{`prefpar' , :}
gamma1: the source is the production
P=20 `bigformula' -> even `prefpar' `bigformula1' : `limits' )
{`prefpar' , :}
gamma1: the source is the production
P=19 `bigformula' -> odd `prefpar' `bigformula1' : `limits' )
{`prefpar' , :}
gamma1: the source is the production
P=25 `bigformula' -> eq `prefpar' `bigformula1' : `limits' )
{`prefpar' , :}
gamma1: the source is the production
P=24 `bigformula' -> none `prefpar' `bigformula1' : `limits' )
{`prefpar' , :}
gamma1: the source is the production
P=23 `bigformula' -> atleastone `prefpar' `bigformula1' : `limits' )
{`prefpar' , :}
gamma1: the source is the production
P=22 `bigformula' -> atmostone `prefpar' `bigformula1' : `limits' )
{`prefpar' , :}

The set of dependent context of `bigformula1':
{`prefpar' , :} {`logicpar' , )}


I'll find the subsets of dependent context of `formlist1'
gamma3: the source is the production
P=121 `formlist1' -> `formlist1' `formkoma' `bigformula'
{`prefpar' , ,}
gamma4: the source is the production
P=120 `formlist' -> `formlist1'


I'll find the subsets of dependent context of `formlist'
gamma1: the source is the production
P=113 `prefixformula' -> atmostone `prefpar' `formlist' )
{`prefpar' , )}
gamma1: the source is the production
P=114 `prefixformula' -> atleastone `prefpar' `formlist' )
{`prefpar' , )}
gamma1: the source is the production
P=115 `prefixformula' -> none `prefpar' `formlist' )
{`prefpar' , )}
gamma1: the source is the production
P=116 `prefixformula' -> eq `prefpar' `formlist' )
{`prefpar' , )}
gamma1: the source is the production
P=110 `prefixformula' -> odd `prefpar' `formlist' )
{`prefpar' , )}
gamma1: the source is the production
P=111 `prefixformula' -> even `prefpar' `formlist' )
{`prefpar' , )}
gamma1: the source is the production
P=112 `prefixformula' -> exactlyone `prefpar' `formlist' )
{`prefpar' , )}
gamma1: the source is the production
P=119 `prefixformula' -> `level' `prefpar' `formlist' )
{`prefpar' , )}
gamma1: the source is the production
P=117 `prefixformula' -> `atmost' `prefpar' `formlist' )
{`prefpar' , )}
gamma1: the source is the production
P=118 `prefixformula' -> `atleast' `prefpar' `formlist' )
{`prefpar' , )}

The set of dependent context of `formlist':
{`prefpar' , )}

The set of dependent context of `formlist1':
{`prefpar' , )} {`prefpar' , ,}

test_dep_con bigformula1 and formlist1

dependent context of `bigformula1' and `formlist1' is different
The left context of `metaformula' and `formlist1' is different

Equivalent definitions:
`graphname1' —> `graphname' & `graphnames1' —> `graphname'
`graphname1' left context: V( , E(
`graphname1' right context: )

`graphnames1' left context: graph
`graphnames1' right context: ) , ,


The left context of `graphname1' and `graphnames1' is different

Equivalent definitions:
`conexpression' —> `expression' & `rate' —> `expression' & `pexpression' —> `expression' & `limexpression' —> `expression' & `length' —> `expression' & `index' —> `expression'
`conexpression' left context: ; , `constrkoma'
`conexpression' right context: < , \leq , \prec , \prec^+ , \prec^* , = , \ne , ' , \geq

`rate' left context: atmost_{ , atleast_{ , level_{
`rate' right context: }

`pexpression' left context: `mmbra' , `aritmpar'
`pexpression' right context: ) , ,

`limexpression' left context: \bigvee_{ , \bigwedge_{ , \bigoplus_{ , :
`limexpression' right context: < , \leq , \prec , \prec^+ , \prec^*

`length' left context: B^{
`length' right context: }

`index' left context: _{ , `indexkoma'
`index' right context: } , ,


The left context of `conexpression' and `rate' is different
The left context of `conexpression' and `pexpression' is different
The left context of `conexpression' and `limexpression' is different
The left context of `conexpression' and `length' is different
The left context of `conexpression' and `index' is different
The left context of `rate' and `pexpression' is different
The left context of `rate' and `limexpression' is different
The left context of `rate' and `length' is different
The left context of `rate' and `index' is different
The left context of `pexpression' and `limexpression' is different
The left context of `pexpression' and `length' is different
The left context of `pexpression' and `index' is different
The left context of `limexpression' and `length' is different
The left context of `limexpression' and `index' is different
The left context of `length' and `index' is different

Equivalent definitions:
`metavariables1' —> `metavariable' & `primary' —> `metavariable' & `node' —> `metavariable'
`metavariables1' left context: \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , `lessrel'
`metavariables1' right context: \in , < , \leq , \prec , \prec^+ , \prec^* , , , \notin

`primary' left context: ; , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , atmost_{ , atleast_{ , level_{ , B^{ , + , - , * , / , ^{ , _{ , `lessrel' , `constrkoma' , `relation' , `mmbra' , `maxminkoma' , `aritmpar' , `indexkoma'
`primary' right context: ) , ; , \} , } , < , \leq , \prec , \prec^+ , \prec^* , = , \ne , ' , \geq , + , - , * , / , ^{ , ,

`node' left context: `graphbra' , `nodekoma'
`node' right context: \} , ,


The independent context of `metavariables1' and `primary' is not different
independent context didn't help us. I'll try to use the dependent one.


I'll find the subsets of dependent context of `metavariables1'
gamma3: the source is the production
P=47 `metavariables1' -> `metavariables1' `metakoma' `metavariable'
{\bigvee_{ , ,} {\bigwedge_{ , ,} {\bigoplus_{ , ,} {: , ,} {`lessrel' , ,}
gamma4: the source is the production
P=46 `metavariables' -> `metavariables1'


I'll find the subsets of dependent context of `metavariables'
gamma3: the source is the production
P=38 `limit' -> `metavariables' \in V( `graphname1' )
{\bigvee_{ , \in} {\bigwedge_{ , \in} {\bigoplus_{ , \in} {: , \in}
gamma3: the source is the production
P=39 `limit' -> `metavariables' \in E( `graphname1' )
{\bigvee_{ , \in} {\bigwedge_{ , \in} {\bigoplus_{ , \in} {: , \in}
gamma3: the source is the production
P=37 `limit' -> `metavariables' \in `set'
{\bigvee_{ , \in} {\bigwedge_{ , \in} {\bigoplus_{ , \in} {: , \in}
gamma3: the source is the production
P=138 `limit' -> `metavariables' \notin E( `graphname1' )
{\bigvee_{ , \notin} {\bigwedge_{ , \notin} {\bigoplus_{ , \notin} {: , \notin}
gamma1: the source is the production
P=42 `limit' -> `limexpression' `lessrel' `metavariables' `lessrel' `expression'
{`lessrel' , <} {`lessrel' , \leq} {`lessrel' , \prec} {`lessrel' , \prec^+} {`lessrel' , \prec^*}

The set of dependent context of `metavariables':
{\bigvee_{ , \in} {\bigvee_{ , \notin} {\bigwedge_{ , \in} {\bigwedge_{ , \notin} {\bigoplus_{ , \in} {\bigoplus_{ , \notin} {: , \in} {: , \notin} {`lessrel' , <} {`lessrel' , \leq} {`lessrel' , \prec} {`lessrel' , \prec^+} {`lessrel' , \prec^*}

The set of dependent context of `metavariables1':
{\bigvee_{ , \in} {\bigvee_{ , ,} {\bigvee_{ , \notin} {\bigwedge_{ , \in} {\bigwedge_{ , ,} {\bigwedge_{ , \notin} {\bigoplus_{ , \in} {\bigoplus_{ , ,} {\bigoplus_{ , \notin} {: , \in} {: , ,} {: , \notin} {`lessrel' , <} {`lessrel' , \leq} {`lessrel' , \prec} {`lessrel' , \prec^+} {`lessrel' , \prec^*} {`lessrel' , ,}


I'll find the subsets of dependent context of `primary'
gamma2: the source is the production
P=81 `factor1' -> `factor' ^{ `primary'
{^{ , }}
gamma4: the source is the production
P=80 `factor' -> `primary'


I'll find the subsets of dependent context of `factor'
gamma3: the source is the production
P=76 `term' -> `factor' * `term'
{; , *} {\bigvee_{ , *} {\bigwedge_{ , *} {\bigoplus_{ , *} {: , *} {atmost_{ , *} {atleast_{ , *} {level_{ , *} {B^{ , *} {+ , *} {- , *} {* , *} {/ , *} {_{ , *} {`lessrel' , *} {`constrkoma' , *} {`relation' , *} {`mmbra' , *} {`maxminkoma' , *} {`aritmpar' , *} {`indexkoma' , *}
gamma3: the source is the production
P=77 `term' -> `factor' / `term'
{; , /} {\bigvee_{ , /} {\bigwedge_{ , /} {\bigoplus_{ , /} {: , /} {atmost_{ , /} {atleast_{ , /} {level_{ , /} {B^{ , /} {+ , /} {- , /} {* , /} {/ , /} {_{ , /} {`lessrel' , /} {`constrkoma' , /} {`relation' , /} {`mmbra' , /} {`maxminkoma' , /} {`aritmpar' , /} {`indexkoma' , /}
gamma3: the source is the production
P=81 `factor1' -> `factor' ^{ `primary'
{; , ^{} {\bigvee_{ , ^{} {\bigwedge_{ , ^{} {\bigoplus_{ , ^{} {: , ^{} {atmost_{ , ^{} {atleast_{ , ^{} {level_{ , ^{} {B^{ , ^{} {+ , ^{} {- , ^{} {* , ^{} {/ , ^{} {_{ , ^{} {`lessrel' , ^{} {`constrkoma' , ^{} {`relation' , ^{} {`mmbra' , ^{} {`maxminkoma' , ^{} {`aritmpar' , ^{} {`indexkoma' , ^{}
gamma4: the source is the production
P=78 `term' -> `factor'


I'll find the subsets of dependent context of `term'
gamma2: the source is the production
P=73 `expression1' -> `expression1' + `term'
{+ , )} {+ , ;} {+ , \}} {+ , }} {+ , <} {+ , \leq} {+ , \prec} {+ , \prec^+} {+ , \prec^*} {+ , =} {+ , \ne} {+ , '} {+ , \geq} {+ , +} {+ , -} {+ , ,}
gamma2: the source is the production
P=76 `term' -> `factor' * `term'
{* , )} {* , ;} {* , \}} {* , }} {* , <} {* , \leq} {* , \prec} {* , \prec^+} {* , \prec^*} {* , =} {* , \ne} {* , '} {* , \geq} {* , +} {* , -} {* , ,}
gamma2: the source is the production
P=77 `term' -> `factor' / `term'
{/ , )} {/ , ;} {/ , \}} {/ , }} {/ , <} {/ , \leq} {/ , \prec} {/ , \prec^+} {/ , \prec^*} {/ , =} {/ , \ne} {/ , '} {/ , \geq} {/ , +} {/ , -} {/ , ,}
gamma2: the source is the production
P=74 `expression1' -> `expression1' - `term'
{- , )} {- , ;} {- , \}} {- , }} {- , <} {- , \leq} {- , \prec} {- , \prec^+} {- , \prec^*} {- , =} {- , \ne} {- , '} {- , \geq} {- , +} {- , -} {- , ,}
gamma4: the source is the production
P=75 `expression1' -> `term'


I'll find the subsets of dependent context of `expression1'
gamma3: the source is the production
P=73 `expression1' -> `expression1' + `term'
{; , +} {\bigvee_{ , +} {\bigwedge_{ , +} {\bigoplus_{ , +} {: , +} {atmost_{ , +} {atleast_{ , +} {level_{ , +} {B^{ , +} {_{ , +} {`lessrel' , +} {`constrkoma' , +} {`relation' , +} {`mmbra' , +} {`maxminkoma' , +} {`aritmpar' , +} {`indexkoma' , +}
gamma3: the source is the production
P=74 `expression1' -> `expression1' - `term'
{; , -} {\bigvee_{ , -} {\bigwedge_{ , -} {\bigoplus_{ , -} {: , -} {atmost_{ , -} {atleast_{ , -} {level_{ , -} {B^{ , -} {_{ , -} {`lessrel' , -} {`constrkoma' , -} {`relation' , -} {`mmbra' , -} {`maxminkoma' , -} {`aritmpar' , -} {`indexkoma' , -}
gamma4: the source is the production
P=72 `expression' -> `expression1'


I'll find the subsets of dependent context of `expression'
gamma1: the source is the production
P=88 `primary' -> max `mmbra' `pexpression' `maxminkoma' `expression' \}
{`maxminkoma' , \}}
gamma1: the source is the production
P=87 `primary' -> min `mmbra' `pexpression' `maxminkoma' `expression' \}
{`maxminkoma' , \}}
gamma4: the source is the production
P=62 `conexpression' -> `expression'


I'll find the subsets of dependent context of `conexpression'
gamma3: the source is the production
P=61 `constraint' -> `conexpression' `relation' `expression'
{; , <} {; , \leq} {; , \prec} {; , \prec^+} {; , \prec^*} {; , =} {; , \ne} {; , '} {; , \geq} {`constrkoma' , <} {`constrkoma' , \leq} {`constrkoma' , \prec} {`constrkoma' , \prec^+} {`constrkoma' , \prec^*} {`constrkoma' , =} {`constrkoma' , \ne} {`constrkoma' , '} {`constrkoma' , \geq}

The set of dependent context of `conexpression':
{; , <} {; , \leq} {; , \prec} {; , \prec^+} {; , \prec^*} {; , =} {; , \ne} {; , '} {; , \geq} {`constrkoma' , <} {`constrkoma' , \leq} {`constrkoma' , \prec} {`constrkoma' , \prec^+} {`constrkoma' , \prec^*} {`constrkoma' , =} {`constrkoma' , \ne} {`constrkoma' , '} {`constrkoma' , \geq}
gamma4: the source is the production
P=34 `rate' -> `expression'


I'll find the subsets of dependent context of `rate'
gamma1: the source is the production
P=32 `atleast' -> atleast_{ `rate' `rbra'
{atleast_{ , }}
gamma1: the source is the production
P=31 `atmost' -> atmost_{ `rate' `rbra'
{atmost_{ , }}
gamma1: the source is the production
P=33 `level' -> level_{ `rate' `rbra'
{level_{ , }}

The set of dependent context of `rate':
{atmost_{ , }} {atleast_{ , }} {level_{ , }}
gamma4: the source is the production
P=90 `pexpression' -> `expression'


I'll find the subsets of dependent context of `pexpression'
gamma1: the source is the production
P=88 `primary' -> max `mmbra' `pexpression' `maxminkoma' `expression' \}
{`mmbra' , ,}
gamma1: the source is the production
P=87 `primary' -> min `mmbra' `pexpression' `maxminkoma' `expression' \}
{`mmbra' , ,}
gamma1: the source is the production
P=89 `primary' -> `aritmpar' `pexpression' )
{`aritmpar' , )}

The set of dependent context of `pexpression':
{`mmbra' , ,} {`aritmpar' , )}
gamma4: the source is the production
P=43 `limexpression' -> `expression'


I'll find the subsets of dependent context of `limexpression'
gamma3: the source is the production
P=42 `limit' -> `limexpression' `lessrel' `metavariables' `lessrel' `expression'
{\bigvee_{ , <} {\bigvee_{ , \leq} {\bigvee_{ , \prec} {\bigvee_{ , \prec^+} {\bigvee_{ , \prec^*} {\bigwedge_{ , <} {\bigwedge_{ , \leq} {\bigwedge_{ , \prec} {\bigwedge_{ , \prec^+} {\bigwedge_{ , \prec^*} {\bigoplus_{ , <} {\bigoplus_{ , \leq} {\bigoplus_{ , \prec} {\bigoplus_{ , \prec^+} {\bigoplus_{ , \prec^*} {: , <} {: , \leq} {: , \prec} {: , \prec^+} {: , \prec^*}

The set of dependent context of `limexpression':
{\bigvee_{ , <} {\bigvee_{ , \leq} {\bigvee_{ , \prec} {\bigvee_{ , \prec^+} {\bigvee_{ , \prec^*} {\bigwedge_{ , <} {\bigwedge_{ , \leq} {\bigwedge_{ , \prec} {\bigwedge_{ , \prec^+} {\bigwedge_{ , \prec^*} {\bigoplus_{ , <} {\bigoplus_{ , \leq} {\bigoplus_{ , \prec} {\bigoplus_{ , \prec^+} {\bigoplus_{ , \prec^*} {: , <} {: , \leq} {: , \prec} {: , \prec^+} {: , \prec^*}
gamma4: the source is the production
P=51 `length' -> `expression'


I'll find the subsets of dependent context of `length'
gamma1: the source is the production
P=50 `set' -> B^{ `length' }
{B^{ , }}

The set of dependent context of `length':
{B^{ , }}
gamma4: the source is the production
P=109 `index' -> `expression'


I'll find the subsets of dependent context of `index'
gamma4: the source is the production
P=108 `indexes1' -> `index'


I'll find the subsets of dependent context of `indexes1'
gamma4: the source is the production
P=106 `indexes' -> `indexes1'


I'll find the subsets of dependent context of `indexes'
gamma1: the source is the production
P=102 `literal' -> `logvar' _{ `indexes' }
{_{ , }}

The set of dependent context of `indexes':
{_{ , }}
gamma2: the source is the production
P=107 `indexes1' -> `index' `indexkoma' `indexes1'
{`indexkoma' , }}

The set of dependent context of `indexes1':
{_{ , }} {`indexkoma' , }}
gamma3: the source is the production
P=107 `indexes1' -> `index' `indexkoma' `indexes1'
{_{ , ,} {`indexkoma' , ,}

The set of dependent context of `index':
{_{ , }} {_{ , ,} {`indexkoma' , }} {`indexkoma' , ,}
gamma2: the source is the production
P=61 `constraint' -> `conexpression' `relation' `expression'
{`relation' , )} {`relation' , }} {`relation' , ,}
gamma2: the source is the production
P=42 `limit' -> `limexpression' `lessrel' `metavariables' `lessrel' `expression'
{`lessrel' , )} {`lessrel' , ;} {`lessrel' , }}

The set of dependent context of `expression':
{; , <} {; , \leq} {; , \prec} {; , \prec^+} {; , \prec^*} {; , =} {; , \ne} {; , '} {; , \geq} {\bigvee_{ , <} {\bigvee_{ , \leq} {\bigvee_{ , \prec} {\bigvee_{ , \prec^+} {\bigvee_{ , \prec^*} {\bigwedge_{ , <} {\bigwedge_{ , \leq} {\bigwedge_{ , \prec} {\bigwedge_{ , \prec^+} {\bigwedge_{ , \prec^*} {\bigoplus_{ , <} {\bigoplus_{ , \leq} {\bigoplus_{ , \prec} {\bigoplus_{ , \prec^+} {\bigoplus_{ , \prec^*} {: , <} {: , \leq} {: , \prec} {: , \prec^+} {: , \prec^*} {atmost_{ , }} {atleast_{ , }} {level_{ , }} {B^{ , }} {_{ , }} {_{ , ,} {`lessrel' , )} {`lessrel' , ;} {`lessrel' , }} {`constrkoma' , <} {`constrkoma' , \leq} {`constrkoma' , \prec} {`constrkoma' , \prec^+} {`constrkoma' , \prec^*} {`constrkoma' , =} {`constrkoma' , \ne} {`constrkoma' , '} {`constrkoma' , \geq} {`relation' , )} {`relation' , }} {`relation' , ,} {`mmbra' , ,} {`maxminkoma' , \}} {`aritmpar' , )} {`indexkoma' , }} {`indexkoma' , ,}

The set of dependent context of `expression1':
{; , <} {; , \leq} {; , \prec} {; , \prec^+} {; , \prec^*} {; , =} {; , \ne} {; , '} {; , \geq} {; , +} {; , -} {\bigvee_{ , <} {\bigvee_{ , \leq} {\bigvee_{ , \prec} {\bigvee_{ , \prec^+} {\bigvee_{ , \prec^*} {\bigvee_{ , +} {\bigvee_{ , -} {\bigwedge_{ , <} {\bigwedge_{ , \leq} {\bigwedge_{ , \prec} {\bigwedge_{ , \prec^+} {\bigwedge_{ , \prec^*} {\bigwedge_{ , +} {\bigwedge_{ , -} {\bigoplus_{ , <} {\bigoplus_{ , \leq} {\bigoplus_{ , \prec} {\bigoplus_{ , \prec^+} {\bigoplus_{ , \prec^*} {\bigoplus_{ , +} {\bigoplus_{ , -} {: , <} {: , \leq} {: , \prec} {: , \prec^+} {: , \prec^*} {: , +} {: , -} {atmost_{ , }} {atmost_{ , +} {atmost_{ , -} {atleast_{ , }} {atleast_{ , +} {atleast_{ , -} {level_{ , }} {level_{ , +} {level_{ , -} {B^{ , }} {B^{ , +} {B^{ , -} {_{ , }} {_{ , +} {_{ , -} {_{ , ,} {`lessrel' , )} {`lessrel' , ;} {`lessrel' , }} {`lessrel' , +} {`lessrel' , -} {`constrkoma' , <} {`constrkoma' , \leq} {`constrkoma' , \prec} {`constrkoma' , \prec^+} {`constrkoma' , \prec^*} {`constrkoma' , =} {`constrkoma' , \ne} {`constrkoma' , '} {`constrkoma' , \geq} {`constrkoma' , +} {`constrkoma' , -} {`relation' , )} {`relation' , }} {`relation' , +} {`relation' , -} {`relation' , ,} {`mmbra' , +} {`mmbra' , -} {`mmbra' , ,} {`maxminkoma' , \}} {`maxminkoma' , +} {`maxminkoma' , -} {`aritmpar' , )} {`aritmpar' , +} {`aritmpar' , -} {`indexkoma' , }} {`indexkoma' , +} {`indexkoma' , -} {`indexkoma' , ,}

The set of dependent context of `term':
{; , <} {; , \leq} {; , \prec} {; , \prec^+} {; , \prec^*} {; , =} {; , \ne} {; , '} {; , \geq} {; , +} {; , -} {\bigvee_{ , <} {\bigvee_{ , \leq} {\bigvee_{ , \prec} {\bigvee_{ , \prec^+} {\bigvee_{ , \prec^*} {\bigvee_{ , +} {\bigvee_{ , -} {\bigwedge_{ , <} {\bigwedge_{ , \leq} {\bigwedge_{ , \prec} {\bigwedge_{ , \prec^+} {\bigwedge_{ , \prec^*} {\bigwedge_{ , +} {\bigwedge_{ , -} {\bigoplus_{ , <} {\bigoplus_{ , \leq} {\bigoplus_{ , \prec} {\bigoplus_{ , \prec^+} {\bigoplus_{ , \prec^*} {\bigoplus_{ , +} {\bigoplus_{ , -} {: , <} {: , \leq} {: , \prec} {: , \prec^+} {: , \prec^*} {: , +} {: , -} {atmost_{ , }} {atmost_{ , +} {atmost_{ , -} {atleast_{ , }} {atleast_{ , +} {atleast_{ , -} {level_{ , }} {level_{ , +} {level_{ , -} {B^{ , }} {B^{ , +} {B^{ , -} {+ , )} {+ , ;} {+ , \}} {+ , }} {+ , <} {+ , \leq} {+ , \prec} {+ , \prec^+} {+ , \prec^*} {+ , =} {+ , \ne} {+ , '} {+ , \geq} {+ , +} {+ , -} {+ , ,} {- , )} {- , ;} {- , \}} {- , }} {- , <} {- , \leq} {- , \prec} {- , \prec^+} {- , \prec^*} {- , =} {- , \ne} {- , '} {- , \geq} {- , +} {- , -} {- , ,} {* , )} {* , ;} {* , \}} {* , }} {* , <} {* , \leq} {* , \prec} {* , \prec^+} {* , \prec^*} {* , =} {* , \ne} {* , '} {* , \geq} {* , +} {* , -} {* , ,} {/ , )} {/ , ;} {/ , \}} {/ , }} {/ , <} {/ , \leq} {/ , \prec} {/ , \prec^+} {/ , \prec^*} {/ , =} {/ , \ne} {/ , '} {/ , \geq} {/ , +} {/ , -} {/ , ,} {_{ , }} {_{ , +} {_{ , -} {_{ , ,} {`lessrel' , )} {`lessrel' , ;} {`lessrel' , }} {`lessrel' , +} {`lessrel' , -} {`constrkoma' , <} {`constrkoma' , \leq} {`constrkoma' , \prec} {`constrkoma' , \prec^+} {`constrkoma' , \prec^*} {`constrkoma' , =} {`constrkoma' , \ne} {`constrkoma' , '} {`constrkoma' , \geq} {`constrkoma' , +} {`constrkoma' , -} {`relation' , )} {`relation' , }} {`relation' , +} {`relation' , -} {`relation' , ,} {`mmbra' , +} {`mmbra' , -} {`mmbra' , ,} {`maxminkoma' , \}} {`maxminkoma' , +} {`maxminkoma' , -} {`aritmpar' , )} {`aritmpar' , +} {`aritmpar' , -} {`indexkoma' , }} {`indexkoma' , +} {`indexkoma' , -} {`indexkoma' , ,}

The set of dependent context of `factor':
{; , <} {; , \leq} {; , \prec} {; , \prec^+} {; , \prec^*} {; , =} {; , \ne} {; , '} {; , \geq} {; , +} {; , -} {; , *} {; , /} {; , ^{} {\bigvee_{ , <} {\bigvee_{ , \leq} {\bigvee_{ , \prec} {\bigvee_{ , \prec^+} {\bigvee_{ , \prec^*} {\bigvee_{ , +} {\bigvee_{ , -} {\bigvee_{ , *} {\bigvee_{ , /} {\bigvee_{ , ^{} {\bigwedge_{ , <} {\bigwedge_{ , \leq} {\bigwedge_{ , \prec} {\bigwedge_{ , \prec^+} {\bigwedge_{ , \prec^*} {\bigwedge_{ , +} {\bigwedge_{ , -} {\bigwedge_{ , *} {\bigwedge_{ , /} {\bigwedge_{ , ^{} {\bigoplus_{ , <} {\bigoplus_{ , \leq} {\bigoplus_{ , \prec} {\bigoplus_{ , \prec^+} {\bigoplus_{ , \prec^*} {\bigoplus_{ , +} {\bigoplus_{ , -} {\bigoplus_{ , *} {\bigoplus_{ , /} {\bigoplus_{ , ^{} {: , <} {: , \leq} {: , \prec} {: , \prec^+} {: , \prec^*} {: , +} {: , -} {: , *} {: , /} {: , ^{} {atmost_{ , }} {atmost_{ , +} {atmost_{ , -} {atmost_{ , *} {atmost_{ , /} {atmost_{ , ^{} {atleast_{ , }} {atleast_{ , +} {atleast_{ , -} {atleast_{ , *} {atleast_{ , /} {atleast_{ , ^{} {level_{ , }} {level_{ , +} {level_{ , -} {level_{ , *} {level_{ , /} {level_{ , ^{} {B^{ , }} {B^{ , +} {B^{ , -} {B^{ , *} {B^{ , /} {B^{ , ^{} {+ , )} {+ , ;} {+ , \}} {+ , }} {+ , <} {+ , \leq} {+ , \prec} {+ , \prec^+} {+ , \prec^*} {+ , =} {+ , \ne} {+ , '} {+ , \geq} {+ , +} {+ , -} {+ , *} {+ , /} {+ , ^{} {+ , ,} {- , )} {- , ;} {- , \}} {- , }} {- , <} {- , \leq} {- , \prec} {- , \prec^+} {- , \prec^*} {- , =} {- , \ne} {- , '} {- , \geq} {- , +} {- , -} {- , *} {- , /} {- , ^{} {- , ,} {* , )} {* , ;} {* , \}} {* , }} {* , <} {* , \leq} {* , \prec} {* , \prec^+} {* , \prec^*} {* , =} {* , \ne} {* , '} {* , \geq} {* , +} {* , -} {* , *} {* , /} {* , ^{} {* , ,} {/ , )} {/ , ;} {/ , \}} {/ , }} {/ , <} {/ , \leq} {/ , \prec} {/ , \prec^+} {/ , \prec^*} {/ , =} {/ , \ne} {/ , '} {/ , \geq} {/ , +} {/ , -} {/ , *} {/ , /} {/ , ^{} {/ , ,} {_{ , }} {_{ , +} {_{ , -} {_{ , *} {_{ , /} {_{ , ^{} {_{ , ,} {`lessrel' , )} {`lessrel' , ;} {`lessrel' , }} {`lessrel' , +} {`lessrel' , -} {`lessrel' , *} {`lessrel' , /} {`lessrel' , ^{} {`constrkoma' , <} {`constrkoma' , \leq} {`constrkoma' , \prec} {`constrkoma' , \prec^+} {`constrkoma' , \prec^*} {`constrkoma' , =} {`constrkoma' , \ne} {`constrkoma' , '} {`constrkoma' , \geq} {`constrkoma' , +} {`constrkoma' , -} {`constrkoma' , *} {`constrkoma' , /} {`constrkoma' , ^{} {`relation' , )} {`relation' , }} {`relation' , +} {`relation' , -} {`relation' , *} {`relation' , /} {`relation' , ^{} {`relation' , ,} {`mmbra' , +} {`mmbra' , -} {`mmbra' , *} {`mmbra' , /} {`mmbra' , ^{} {`mmbra' , ,} {`maxminkoma' , \}} {`maxminkoma' , +} {`maxminkoma' , -} {`maxminkoma' , *} {`maxminkoma' , /} {`maxminkoma' , ^{} {`aritmpar' , )} {`aritmpar' , +} {`aritmpar' , -} {`aritmpar' , *} {`aritmpar' , /} {`aritmpar' , ^{} {`indexkoma' , }} {`indexkoma' , +} {`indexkoma' , -} {`indexkoma' , *} {`indexkoma' , /} {`indexkoma' , ^{} {`indexkoma' , ,}

The set of dependent context of `primary':
{; , <} {; , \leq} {; , \prec} {; , \prec^+} {; , \prec^*} {; , =} {; , \ne} {; , '} {; , \geq} {; , +} {; , -} {; , *} {; , /} {; , ^{} {\bigvee_{ , <} {\bigvee_{ , \leq} {\bigvee_{ , \prec} {\bigvee_{ , \prec^+} {\bigvee_{ , \prec^*} {\bigvee_{ , +} {\bigvee_{ , -} {\bigvee_{ , *} {\bigvee_{ , /} {\bigvee_{ , ^{} {\bigwedge_{ , <} {\bigwedge_{ , \leq} {\bigwedge_{ , \prec} {\bigwedge_{ , \prec^+} {\bigwedge_{ , \prec^*} {\bigwedge_{ , +} {\bigwedge_{ , -} {\bigwedge_{ , *} {\bigwedge_{ , /} {\bigwedge_{ , ^{} {\bigoplus_{ , <} {\bigoplus_{ , \leq} {\bigoplus_{ , \prec} {\bigoplus_{ , \prec^+} {\bigoplus_{ , \prec^*} {\bigoplus_{ , +} {\bigoplus_{ , -} {\bigoplus_{ , *} {\bigoplus_{ , /} {\bigoplus_{ , ^{} {: , <} {: , \leq} {: , \prec} {: , \prec^+} {: , \prec^*} {: , +} {: , -} {: , *} {: , /} {: , ^{} {atmost_{ , }} {atmost_{ , +} {atmost_{ , -} {atmost_{ , *} {atmost_{ , /} {atmost_{ , ^{} {atleast_{ , }} {atleast_{ , +} {atleast_{ , -} {atleast_{ , *} {atleast_{ , /} {atleast_{ , ^{} {level_{ , }} {level_{ , +} {level_{ , -} {level_{ , *} {level_{ , /} {level_{ , ^{} {B^{ , }} {B^{ , +} {B^{ , -} {B^{ , *} {B^{ , /} {B^{ , ^{} {+ , )} {+ , ;} {+ , \}} {+ , }} {+ , <} {+ , \leq} {+ , \prec} {+ , \prec^+} {+ , \prec^*} {+ , =} {+ , \ne} {+ , '} {+ , \geq} {+ , +} {+ , -} {+ , *} {+ , /} {+ , ^{} {+ , ,} {- , )} {- , ;} {- , \}} {- , }} {- , <} {- , \leq} {- , \prec} {- , \prec^+} {- , \prec^*} {- , =} {- , \ne} {- , '} {- , \geq} {- , +} {- , -} {- , *} {- , /} {- , ^{} {- , ,} {* , )} {* , ;} {* , \}} {* , }} {* , <} {* , \leq} {* , \prec} {* , \prec^+} {* , \prec^*} {* , =} {* , \ne} {* , '} {* , \geq} {* , +} {* , -} {* , *} {* , /} {* , ^{} {* , ,} {/ , )} {/ , ;} {/ , \}} {/ , }} {/ , <} {/ , \leq} {/ , \prec} {/ , \prec^+} {/ , \prec^*} {/ , =} {/ , \ne} {/ , '} {/ , \geq} {/ , +} {/ , -} {/ , *} {/ , /} {/ , ^{} {/ , ,} {^{ , }} {_{ , }} {_{ , +} {_{ , -} {_{ , *} {_{ , /} {_{ , ^{} {_{ , ,} {`lessrel' , )} {`lessrel' , ;} {`lessrel' , }} {`lessrel' , +} {`lessrel' , -} {`lessrel' , *} {`lessrel' , /} {`lessrel' , ^{} {`constrkoma' , <} {`constrkoma' , \leq} {`constrkoma' , \prec} {`constrkoma' , \prec^+} {`constrkoma' , \prec^*} {`constrkoma' , =} {`constrkoma' , \ne} {`constrkoma' , '} {`constrkoma' , \geq} {`constrkoma' , +} {`constrkoma' , -} {`constrkoma' , *} {`constrkoma' , /} {`constrkoma' , ^{} {`relation' , )} {`relation' , }} {`relation' , +} {`relation' , -} {`relation' , *} {`relation' , /} {`relation' , ^{} {`relation' , ,} {`mmbra' , +} {`mmbra' , -} {`mmbra' , *} {`mmbra' , /} {`mmbra' , ^{} {`mmbra' , ,} {`maxminkoma' , \}} {`maxminkoma' , +} {`maxminkoma' , -} {`maxminkoma' , *} {`maxminkoma' , /} {`maxminkoma' , ^{} {`aritmpar' , )} {`aritmpar' , +} {`aritmpar' , -} {`aritmpar' , *} {`aritmpar' , /} {`aritmpar' , ^{} {`indexkoma' , }} {`indexkoma' , +} {`indexkoma' , -} {`indexkoma' , *} {`indexkoma' , /} {`indexkoma' , ^{} {`indexkoma' , ,}

test_dep_con metavariables1 and primary

dependent context of `metavariables1' and `primary' is different
The left context of `metavariables1' and `node' is different
The left context of `primary' and `node' is different

Grammar form8.grm is BRC(1,1)-reducible

Dependent context


dependent context of `bigformula1':
{`prefpar' , :} {`logicpar' , )}

dependent context of `rate':
{atmost_{ , }} {atleast_{ , }} {level_{ , }}

dependent context of `expression':
{; , <} {; , \leq} {; , \prec} {; , \prec^+} {; , \prec^*} {; , =} {; , \ne} {; , '} {; , \geq} {\bigvee_{ , <} {\bigvee_{ , \leq} {\bigvee_{ , \prec} {\bigvee_{ , \prec^+} {\bigvee_{ , \prec^*} {\bigwedge_{ , <} {\bigwedge_{ , \leq} {\bigwedge_{ , \prec} {\bigwedge_{ , \prec^+} {\bigwedge_{ , \prec^*} {\bigoplus_{ , <} {\bigoplus_{ , \leq} {\bigoplus_{ , \prec} {\bigoplus_{ , \prec^+} {\bigoplus_{ , \prec^*} {: , <} {: , \leq} {: , \prec} {: , \prec^+} {: , \prec^*} {atmost_{ , }} {atleast_{ , }} {level_{ , }} {B^{ , }} {_{ , }} {_{ , ,} {`lessrel' , )} {`lessrel' , ;} {`lessrel' , }} {`constrkoma' , <} {`constrkoma' , \leq} {`constrkoma' , \prec} {`constrkoma' , \prec^+} {`constrkoma' , \prec^*} {`constrkoma' , =} {`constrkoma' , \ne} {`constrkoma' , '} {`constrkoma' , \geq} {`relation' , )} {`relation' , }} {`relation' , ,} {`mmbra' , ,} {`maxminkoma' , \}} {`aritmpar' , )} {`indexkoma' , }} {`indexkoma' , ,}

dependent context of `metavariables':
{\bigvee_{ , \in} {\bigvee_{ , \notin} {\bigwedge_{ , \in} {\bigwedge_{ , \notin} {\bigoplus_{ , \in} {\bigoplus_{ , \notin} {: , \in} {: , \notin} {`lessrel' , <} {`lessrel' , \leq} {`lessrel' , \prec} {`lessrel' , \prec^+} {`lessrel' , \prec^*}

dependent context of `limexpression':
{\bigvee_{ , <} {\bigvee_{ , \leq} {\bigvee_{ , \prec} {\bigvee_{ , \prec^+} {\bigvee_{ , \prec^*} {\bigwedge_{ , <} {\bigwedge_{ , \leq} {\bigwedge_{ , \prec} {\bigwedge_{ , \prec^+} {\bigwedge_{ , \prec^*} {\bigoplus_{ , <} {\bigoplus_{ , \leq} {\bigoplus_{ , \prec} {\bigoplus_{ , \prec^+} {\bigoplus_{ , \prec^*} {: , <} {: , \leq} {: , \prec} {: , \prec^+} {: , \prec^*}

dependent context of `metavariables1':
{\bigvee_{ , \in} {\bigvee_{ , ,} {\bigvee_{ , \notin} {\bigwedge_{ , \in} {\bigwedge_{ , ,} {\bigwedge_{ , \notin} {\bigoplus_{ , \in} {\bigoplus_{ , ,} {\bigoplus_{ , \notin} {: , \in} {: , ,} {: , \notin} {`lessrel' , <} {`lessrel' , \leq} {`lessrel' , \prec} {`lessrel' , \prec^+} {`lessrel' , \prec^*} {`lessrel' , ,}

dependent context of `length':
{B^{ , }}

dependent context of `conexpression':
{; , <} {; , \leq} {; , \prec} {; , \prec^+} {; , \prec^*} {; , =} {; , \ne} {; , '} {; , \geq} {`constrkoma' , <} {`constrkoma' , \leq} {`constrkoma' , \prec} {`constrkoma' , \prec^+} {`constrkoma' , \prec^*} {`constrkoma' , =} {`constrkoma' , \ne} {`constrkoma' , '} {`constrkoma' , \geq}

dependent context of `expression1':
{; , <} {; , \leq} {; , \prec} {; , \prec^+} {; , \prec^*} {; , =} {; , \ne} {; , '} {; , \geq} {; , +} {; , -} {\bigvee_{ , <} {\bigvee_{ , \leq} {\bigvee_{ , \prec} {\bigvee_{ , \prec^+} {\bigvee_{ , \prec^*} {\bigvee_{ , +} {\bigvee_{ , -} {\bigwedge_{ , <} {\bigwedge_{ , \leq} {\bigwedge_{ , \prec} {\bigwedge_{ , \prec^+} {\bigwedge_{ , \prec^*} {\bigwedge_{ , +} {\bigwedge_{ , -} {\bigoplus_{ , <} {\bigoplus_{ , \leq} {\bigoplus_{ , \prec} {\bigoplus_{ , \prec^+} {\bigoplus_{ , \prec^*} {\bigoplus_{ , +} {\bigoplus_{ , -} {: , <} {: , \leq} {: , \prec} {: , \prec^+} {: , \prec^*} {: , +} {: , -} {atmost_{ , }} {atmost_{ , +} {atmost_{ , -} {atleast_{ , }} {atleast_{ , +} {atleast_{ , -} {level_{ , }} {level_{ , +} {level_{ , -} {B^{ , }} {B^{ , +} {B^{ , -} {_{ , }} {_{ , +} {_{ , -} {_{ , ,} {`lessrel' , )} {`lessrel' , ;} {`lessrel' , }} {`lessrel' , +} {`lessrel' , -} {`constrkoma' , <} {`constrkoma' , \leq} {`constrkoma' , \prec} {`constrkoma' , \prec^+} {`constrkoma' , \prec^*} {`constrkoma' , =} {`constrkoma' , \ne} {`constrkoma' , '} {`constrkoma' , \geq} {`constrkoma' , +} {`constrkoma' , -} {`relation' , )} {`relation' , }} {`relation' , +} {`relation' , -} {`relation' , ,} {`mmbra' , +} {`mmbra' , -} {`mmbra' , ,} {`maxminkoma' , \}} {`maxminkoma' , +} {`maxminkoma' , -} {`aritmpar' , )} {`aritmpar' , +} {`aritmpar' , -} {`indexkoma' , }} {`indexkoma' , +} {`indexkoma' , -} {`indexkoma' , ,}

dependent context of `term':
{; , <} {; , \leq} {; , \prec} {; , \prec^+} {; , \prec^*} {; , =} {; , \ne} {; , '} {; , \geq} {; , +} {; , -} {\bigvee_{ , <} {\bigvee_{ , \leq} {\bigvee_{ , \prec} {\bigvee_{ , \prec^+} {\bigvee_{ , \prec^*} {\bigvee_{ , +} {\bigvee_{ , -} {\bigwedge_{ , <} {\bigwedge_{ , \leq} {\bigwedge_{ , \prec} {\bigwedge_{ , \prec^+} {\bigwedge_{ , \prec^*} {\bigwedge_{ , +} {\bigwedge_{ , -} {\bigoplus_{ , <} {\bigoplus_{ , \leq} {\bigoplus_{ , \prec} {\bigoplus_{ , \prec^+} {\bigoplus_{ , \prec^*} {\bigoplus_{ , +} {\bigoplus_{ , -} {: , <} {: , \leq} {: , \prec} {: , \prec^+} {: , \prec^*} {: , +} {: , -} {atmost_{ , }} {atmost_{ , +} {atmost_{ , -} {atleast_{ , }} {atleast_{ , +} {atleast_{ , -} {level_{ , }} {level_{ , +} {level_{ , -} {B^{ , }} {B^{ , +} {B^{ , -} {+ , )} {+ , ;} {+ , \}} {+ , }} {+ , <} {+ , \leq} {+ , \prec} {+ , \prec^+} {+ , \prec^*} {+ , =} {+ , \ne} {+ , '} {+ , \geq} {+ , +} {+ , -} {+ , ,} {- , )} {- , ;} {- , \}} {- , }} {- , <} {- , \leq} {- , \prec} {- , \prec^+} {- , \prec^*} {- , =} {- , \ne} {- , '} {- , \geq} {- , +} {- , -} {- , ,} {* , )} {* , ;} {* , \}} {* , }} {* , <} {* , \leq} {* , \prec} {* , \prec^+} {* , \prec^*} {* , =} {* , \ne} {* , '} {* , \geq} {* , +} {* , -} {* , ,} {/ , )} {/ , ;} {/ , \}} {/ , }} {/ , <} {/ , \leq} {/ , \prec} {/ , \prec^+} {/ , \prec^*} {/ , =} {/ , \ne} {/ , '} {/ , \geq} {/ , +} {/ , -} {/ , ,} {_{ , }} {_{ , +} {_{ , -} {_{ , ,} {`lessrel' , )} {`lessrel' , ;} {`lessrel' , }} {`lessrel' , +} {`lessrel' , -} {`constrkoma' , <} {`constrkoma' , \leq} {`constrkoma' , \prec} {`constrkoma' , \prec^+} {`constrkoma' , \prec^*} {`constrkoma' , =} {`constrkoma' , \ne} {`constrkoma' , '} {`constrkoma' , \geq} {`constrkoma' , +} {`constrkoma' , -} {`relation' , )} {`relation' , }} {`relation' , +} {`relation' , -} {`relation' , ,} {`mmbra' , +} {`mmbra' , -} {`mmbra' , ,} {`maxminkoma' , \}} {`maxminkoma' , +} {`maxminkoma' , -} {`aritmpar' , )} {`aritmpar' , +} {`aritmpar' , -} {`indexkoma' , }} {`indexkoma' , +} {`indexkoma' , -} {`indexkoma' , ,}

dependent context of `factor':
{; , <} {; , \leq} {; , \prec} {; , \prec^+} {; , \prec^*} {; , =} {; , \ne} {; , '} {; , \geq} {; , +} {; , -} {; , *} {; , /} {; , ^{} {\bigvee_{ , <} {\bigvee_{ , \leq} {\bigvee_{ , \prec} {\bigvee_{ , \prec^+} {\bigvee_{ , \prec^*} {\bigvee_{ , +} {\bigvee_{ , -} {\bigvee_{ , *} {\bigvee_{ , /} {\bigvee_{ , ^{} {\bigwedge_{ , <} {\bigwedge_{ , \leq} {\bigwedge_{ , \prec} {\bigwedge_{ , \prec^+} {\bigwedge_{ , \prec^*} {\bigwedge_{ , +} {\bigwedge_{ , -} {\bigwedge_{ , *} {\bigwedge_{ , /} {\bigwedge_{ , ^{} {\bigoplus_{ , <} {\bigoplus_{ , \leq} {\bigoplus_{ , \prec} {\bigoplus_{ , \prec^+} {\bigoplus_{ , \prec^*} {\bigoplus_{ , +} {\bigoplus_{ , -} {\bigoplus_{ , *} {\bigoplus_{ , /} {\bigoplus_{ , ^{} {: , <} {: , \leq} {: , \prec} {: , \prec^+} {: , \prec^*} {: , +} {: , -} {: , *} {: , /} {: , ^{} {atmost_{ , }} {atmost_{ , +} {atmost_{ , -} {atmost_{ , *} {atmost_{ , /} {atmost_{ , ^{} {atleast_{ , }} {atleast_{ , +} {atleast_{ , -} {atleast_{ , *} {atleast_{ , /} {atleast_{ , ^{} {level_{ , }} {level_{ , +} {level_{ , -} {level_{ , *} {level_{ , /} {level_{ , ^{} {B^{ , }} {B^{ , +} {B^{ , -} {B^{ , *} {B^{ , /} {B^{ , ^{} {+ , )} {+ , ;} {+ , \}} {+ , }} {+ , <} {+ , \leq} {+ , \prec} {+ , \prec^+} {+ , \prec^*} {+ , =} {+ , \ne} {+ , '} {+ , \geq} {+ , +} {+ , -} {+ , *} {+ , /} {+ , ^{} {+ , ,} {- , )} {- , ;} {- , \}} {- , }} {- , <} {- , \leq} {- , \prec} {- , \prec^+} {- , \prec^*} {- , =} {- , \ne} {- , '} {- , \geq} {- , +} {- , -} {- , *} {- , /} {- , ^{} {- , ,} {* , )} {* , ;} {* , \}} {* , }} {* , <} {* , \leq} {* , \prec} {* , \prec^+} {* , \prec^*} {* , =} {* , \ne} {* , '} {* , \geq} {* , +} {* , -} {* , *} {* , /} {* , ^{} {* , ,} {/ , )} {/ , ;} {/ , \}} {/ , }} {/ , <} {/ , \leq} {/ , \prec} {/ , \prec^+} {/ , \prec^*} {/ , =} {/ , \ne} {/ , '} {/ , \geq} {/ , +} {/ , -} {/ , *} {/ , /} {/ , ^{} {/ , ,} {_{ , }} {_{ , +} {_{ , -} {_{ , *} {_{ , /} {_{ , ^{} {_{ , ,} {`lessrel' , )} {`lessrel' , ;} {`lessrel' , }} {`lessrel' , +} {`lessrel' , -} {`lessrel' , *} {`lessrel' , /} {`lessrel' , ^{} {`constrkoma' , <} {`constrkoma' , \leq} {`constrkoma' , \prec} {`constrkoma' , \prec^+} {`constrkoma' , \prec^*} {`constrkoma' , =} {`constrkoma' , \ne} {`constrkoma' , '} {`constrkoma' , \geq} {`constrkoma' , +} {`constrkoma' , -} {`constrkoma' , *} {`constrkoma' , /} {`constrkoma' , ^{} {`relation' , )} {`relation' , }} {`relation' , +} {`relation' , -} {`relation' , *} {`relation' , /} {`relation' , ^{} {`relation' , ,} {`mmbra' , +} {`mmbra' , -} {`mmbra' , *} {`mmbra' , /} {`mmbra' , ^{} {`mmbra' , ,} {`maxminkoma' , \}} {`maxminkoma' , +} {`maxminkoma' , -} {`maxminkoma' , *} {`maxminkoma' , /} {`maxminkoma' , ^{} {`aritmpar' , )} {`aritmpar' , +} {`aritmpar' , -} {`aritmpar' , *} {`aritmpar' , /} {`aritmpar' , ^{} {`indexkoma' , }} {`indexkoma' , +} {`indexkoma' , -} {`indexkoma' , *} {`indexkoma' , /} {`indexkoma' , ^{} {`indexkoma' , ,}

dependent context of `primary':
{; , <} {; , \leq} {; , \prec} {; , \prec^+} {; , \prec^*} {; , =} {; , \ne} {; , '} {; , \geq} {; , +} {; , -} {; , *} {; , /} {; , ^{} {\bigvee_{ , <} {\bigvee_{ , \leq} {\bigvee_{ , \prec} {\bigvee_{ , \prec^+} {\bigvee_{ , \prec^*} {\bigvee_{ , +} {\bigvee_{ , -} {\bigvee_{ , *} {\bigvee_{ , /} {\bigvee_{ , ^{} {\bigwedge_{ , <} {\bigwedge_{ , \leq} {\bigwedge_{ , \prec} {\bigwedge_{ , \prec^+} {\bigwedge_{ , \prec^*} {\bigwedge_{ , +} {\bigwedge_{ , -} {\bigwedge_{ , *} {\bigwedge_{ , /} {\bigwedge_{ , ^{} {\bigoplus_{ , <} {\bigoplus_{ , \leq} {\bigoplus_{ , \prec} {\bigoplus_{ , \prec^+} {\bigoplus_{ , \prec^*} {\bigoplus_{ , +} {\bigoplus_{ , -} {\bigoplus_{ , *} {\bigoplus_{ , /} {\bigoplus_{ , ^{} {: , <} {: , \leq} {: , \prec} {: , \prec^+} {: , \prec^*} {: , +} {: , -} {: , *} {: , /} {: , ^{} {atmost_{ , }} {atmost_{ , +} {atmost_{ , -} {atmost_{ , *} {atmost_{ , /} {atmost_{ , ^{} {atleast_{ , }} {atleast_{ , +} {atleast_{ , -} {atleast_{ , *} {atleast_{ , /} {atleast_{ , ^{} {level_{ , }} {level_{ , +} {level_{ , -} {level_{ , *} {level_{ , /} {level_{ , ^{} {B^{ , }} {B^{ , +} {B^{ , -} {B^{ , *} {B^{ , /} {B^{ , ^{} {+ , )} {+ , ;} {+ , \}} {+ , }} {+ , <} {+ , \leq} {+ , \prec} {+ , \prec^+} {+ , \prec^*} {+ , =} {+ , \ne} {+ , '} {+ , \geq} {+ , +} {+ , -} {+ , *} {+ , /} {+ , ^{} {+ , ,} {- , )} {- , ;} {- , \}} {- , }} {- , <} {- , \leq} {- , \prec} {- , \prec^+} {- , \prec^*} {- , =} {- , \ne} {- , '} {- , \geq} {- , +} {- , -} {- , *} {- , /} {- , ^{} {- , ,} {* , )} {* , ;} {* , \}} {* , }} {* , <} {* , \leq} {* , \prec} {* , \prec^+} {* , \prec^*} {* , =} {* , \ne} {* , '} {* , \geq} {* , +} {* , -} {* , *} {* , /} {* , ^{} {* , ,} {/ , )} {/ , ;} {/ , \}} {/ , }} {/ , <} {/ , \leq} {/ , \prec} {/ , \prec^+} {/ , \prec^*} {/ , =} {/ , \ne} {/ , '} {/ , \geq} {/ , +} {/ , -} {/ , *} {/ , /} {/ , ^{} {/ , ,} {^{ , }} {_{ , }} {_{ , +} {_{ , -} {_{ , *} {_{ , /} {_{ , ^{} {_{ , ,} {`lessrel' , )} {`lessrel' , ;} {`lessrel' , }} {`lessrel' , +} {`lessrel' , -} {`lessrel' , *} {`lessrel' , /} {`lessrel' , ^{} {`constrkoma' , <} {`constrkoma' , \leq} {`constrkoma' , \prec} {`constrkoma' , \prec^+} {`constrkoma' , \prec^*} {`constrkoma' , =} {`constrkoma' , \ne} {`constrkoma' , '} {`constrkoma' , \geq} {`constrkoma' , +} {`constrkoma' , -} {`constrkoma' , *} {`constrkoma' , /} {`constrkoma' , ^{} {`relation' , )} {`relation' , }} {`relation' , +} {`relation' , -} {`relation' , *} {`relation' , /} {`relation' , ^{} {`relation' , ,} {`mmbra' , +} {`mmbra' , -} {`mmbra' , *} {`mmbra' , /} {`mmbra' , ^{} {`mmbra' , ,} {`maxminkoma' , \}} {`maxminkoma' , +} {`maxminkoma' , -} {`maxminkoma' , *} {`maxminkoma' , /} {`maxminkoma' , ^{} {`aritmpar' , )} {`aritmpar' , +} {`aritmpar' , -} {`aritmpar' , *} {`aritmpar' , /} {`aritmpar' , ^{} {`indexkoma' , }} {`indexkoma' , +} {`indexkoma' , -} {`indexkoma' , *} {`indexkoma' , /} {`indexkoma' , ^{} {`indexkoma' , ,}

dependent context of `pexpression':
{`mmbra' , ,} {`aritmpar' , )}

dependent context of `indexes':
{_{ , }}

dependent context of `indexes1':
{_{ , }} {`indexkoma' , }}

dependent context of `index':
{_{ , }} {_{ , ,} {`indexkoma' , }} {`indexkoma' , ,}

dependent context of `formlist':
{`prefpar' , )}

dependent context of `formlist1':
{`prefpar' , )} {`prefpar' , ,}

Semantics

Semantics file is form8.sem
#i#=100
#c#=101
P1=1 $P 1: `program' -> # `family' #
P3=2 $P 3: `metaformula' -> `input' `bigformula'
P4=3 $P 4: `metaformula' -> `bigformula'
P5=4 $P 5: `input' -> INPUT ( graph `graphnames' )
P6=5 $P 6: `input' -> INPUT ( var `varnames' )
P7=6 $P 7: `input' -> INPUT ( var `varnames' ; graph `graphnames' )
P9=7 $P 9: `graphnames1' -> `graphnames1' `grkoma' `graphname'
P10=94 $P10: `graphnames1' -> `graphname'
P13=8 $P13: `varnames1' -> `varnames1' `varkoma' `variable'
P14=95 $P14: `varnames1' -> `variable'
P16=9 $P16: `bigformula' -> \bigvee_{ `limits' `lbra' `bigformula'
P17=10 $P17: `bigformula' -> \bigwedge_{ `limits' `lbra' `bigformula'
P18=11 $P18: `bigformula' -> \bigoplus_{ `limits' `lbra' `bigformula'
P19=12 $P19: `bigformula' -> odd `prefpar' `bigformula1' : `limits' )
P20=13 $P20: `bigformula' -> even `prefpar' `bigformula1' : `limits' )
P21=14 $P21: `bigformula' -> exactlyone `prefpar' `bigformula1' : `limits' )
P22=15 $P22: `bigformula' -> atmostone `prefpar' `bigformula1' : `limits' )
P23=16 $P23: `bigformula' -> atleastone `prefpar' `bigformula1' : `limits' )
P24=17 $P24: `bigformula' -> none `prefpar' `bigformula1' : `limits' )
P25=18 $P25: `bigformula' -> eq `prefpar' `bigformula1' : `limits' )
P26=19 $P26: `bigformula' -> `atmost' `prefpar' `bigformula1' : `limits' )
P27=20 $P27: `bigformula' -> `atleast' `prefpar' `bigformula1' : `limits' )
P28=21 $P28: `bigformula' -> `level' `prefpar' `bigformula1' : `limits' )
P29=22 $P29: `bigformula' -> `formula'
P35=23 $P35: `limits' -> `limit' ; `constraints1'
P36=24 $P36: `limits' -> `limit'
P37=25 $P37: `limit' -> `metavariables' \in `set'
P38=26 $P38: `limit' -> `metavariables' \in V( `graphname1' )
P39=27 $P39: `limit' -> `metavariables' \in E( `graphname1' )
P40=28 $P40: `limit' -> `metavariable' \leftarrow `arc' \in E( `graphname1' )
P41=29 $P41: `limit' -> `arc' \in E( `graphname1' )
P42=30 $P42: `limit' -> `limexpression' `lessrel' `metavariables' `lessrel' `expression'
P47=31 $P47: `metavariables1' -> `metavariables1' `metakoma' `metavariable'
P48=32 $P48: `metavariables1' -> `metavariable'
P53=33 $P53: `lessrel' -> <
P54=34 $P54: `lessrel' -> \leq
P55=35 $P55: `lessrel' -> \prec
P56=36 $P56: `lessrel' -> \prec^+
P57=37 $P57: `lessrel' -> \prec^*
P59=38 $P59: `constraints' -> `constraints' `constrkoma' `constraint'
P60=39 $P60: `constraints' -> `constraint'
P61=40 $P61: `constraint' -> `conexpression' `relation' `expression'
P63=41 $P63: `relation' -> <
P64=42 $P64: `relation' -> \leq
P65=43 $P65: `relation' -> \prec
P66=44 $P66: `relation' -> \prec^+
P67=45 $P67: `relation' -> \prec^*
P68=46 $P68: `relation' -> =
P69=47 $P69: `relation' -> \ne
P70=48 $P70: `relation' -> '
P71=49 $P71: `relation' -> \geq
P73=50 $P73: `expression1' -> `expression1' + `term'
P74=51 $P74: `expression1' -> `expression1' - `term'
P75=52 $P75: `expression1' -> `term'
P76=53 $P76: `term' -> `factor' * `term'
P77=54 $P77: `term' -> `factor' / `term'
P78=55 $P78: `term' -> `factor'
P79=56 $P79: `factor' -> `factor1' }
P80=57 $P80: `factor' -> `primary'
P82=58 $P82: `primary' -> #c#
P83=59 $P83: `primary' -> `metavariable'
P84=60 $P84: `primary' -> |V( `graphname' )|
P85=61 $P85: `primary' -> |E( `graphname' )|
P86=62 $P86: `primary' -> | `metavariable' |
P87=63 $P87: `primary' -> min `mmbra' `pexpression' `maxminkoma' `expression' \}
P88=64 $P88: `primary' -> max `mmbra' `pexpression' `maxminkoma' `expression' \}
P89=65 $P89: `primary' -> `aritmpar' `pexpression' )
P91=66 $P91: `formula' -> `leftpart' \sim `formula'
P92=67 $P92: `formula' -> `leftpart' \oplus `formula'
P93=68 $P93: `formula' -> `leftpart' \to `formula'
P94=69 $P94: `formula' -> `leftpart'
P95=70 $P95: `leftpart' -> `leftpart' \vee `clause'
P96=71 $P96: `leftpart' -> `clause'
P97=72 $P97: `clause' -> `logterm' \& `clause'
P98=73 $P98: `clause' -> `logterm'
P99=74 $P99: `logterm' -> \neg `literal'
P100=75 $P100: `logterm' -> `literal'
P101=76 $P101: `literal' -> `logvar'
P102=77 $P102: `literal' -> `logvar' _{ `indexes' }
P103=78 $P103: `literal' -> `prefixformula'
P104=79 $P104: `literal' -> `logicpar' `bigformula1' )
P107=80 $P107: `indexes1' -> `index' `indexkoma' `indexes1'
P108=81 $P108: `indexes1' -> `index'
P110=82 $P110: `prefixformula' -> odd `prefpar' `formlist' )
P111=83 $P111: `prefixformula' -> even `prefpar' `formlist' )
P112=84 $P112: `prefixformula' -> exactlyone `prefpar' `formlist' )
P113=85 $P113: `prefixformula' -> atmostone `prefpar' `formlist' )
P114=86 $P114: `prefixformula' -> atleastone `prefpar' `formlist' )
P115=87 $P115: `prefixformula' -> none `prefpar' `formlist' )
P116=88 $P116: `prefixformula' -> eq `prefpar' `formlist' )
P117=89 $P117: `prefixformula' -> `atmost' `prefpar' `formlist' )
P118=90 $P118: `prefixformula' -> `atleast' `prefpar' `formlist' )
P119=91 $P119: `prefixformula' -> `level' `prefpar' `formlist' )
P121=92 $P121: `formlist1' -> `formlist1' `formkoma' `bigformula'
P122=93 $P122: `formlist1' -> `bigformula'
P138=138 $P138: `limit' -> `metavariables' \notin E( `graphname1' )
P139=139 $P139: `limit' -> `metavariable' \leftarrow `arc' \notin E( `graphname1' )
P140=140 $P140: `limit' -> `arc' \notin E( `graphname1' )

Result tables


FileSize
form8.prm28
form8.pm16384
form8.t2560
form8.tt1220
form8.ht6936
form8.sm808
form8.v8296
form8.lc16384
form8.rc16384
form8.dc17597
Look at result tables

Finish of CONSTRUCTOR Sun Mar 03 11:01:01 2019