*** Reading grammar in file HRL.grm ... 
*** Including file keywords.grm ... 
*** Including file ParserCode.grm ... 
*** Including file RCL_basis.grm ... 
*** Including file RCL_valobj.grm ... 
*** Including file RCL_forall.grm ... 
*** Including file RCL_neg.grm ... 
*** Including file RCL_naf.grm ... 
*** Including file RCL_nafneg.grm ... 
***	... in 46 ms

RULES:

[0]	$START$ --> $ROOTS$
	[ precedence = 1 ]
[1]	$ROOTS$ --> ROOT
	[ precedence = 1 ]
[2]	$ROOTS$ --> '$ROOT_switch$' ROOT
	[ precedence = 1 ]
[3]	ROOT --> HRL
	[ precedence = 1 ]
[4]	HRL --> RuleSet
	[ precedence = 1 ]
[5]	RuleSet --> RuleSetItem
	[ precedence = 1 ]
[6]	RuleSet --> RuleSet RuleSetItem
	[ precedence = 1 ]
[7]	RuleSetItem --> Declaration ';'
	[ precedence = 1 ]
[8]	RuleSetItem --> Rule
	[ precedence = 1 ]
[9]	Declaration --> 'Relation' 'Name'
	[ precedence = 1 ]
[10]	Declaration --> 'Function' 'Name'
	[ precedence = 1 ]
[11]	Rule --> HornRule
	[ precedence = 1 ]
[12]	HornRule --> Implication
	[ precedence = 1 ]
[13]	Implication --> HEAD ':-' BODY
	[ precedence = 1 ]
[14]	HEAD --> LITFORM
	[ precedence = 1 ]
[15]	BODY --> CONDIT
	[ precedence = 1 ]
[16]	CONDIT --> LITFORM
	[ precedence = 1 ]
[17]	CONDIT --> QUANTIF
	[ precedence = 1 ]
[18]	CONDIT --> CONJ
	[ precedence = 1 ]
[19]	CONDIT --> DISJ
	[ precedence = 1 ]
[20]	CONJ --> 'And' '(' CONDIT_star ')'
	[ precedence = 1 ]
[21]	DISJ --> 'Or' '(' CONDIT_star ')'
	[ precedence = 1 ]
[22]	QUANTIF --> 'Exists' Var_plus '(' CONDIT ')'
	[ precedence = 1 ]
[23]	LITFORM --> Atom
	[ precedence = 1 ]
[24]	Atom --> 'Rel' '(' TERM_star ')'
	[ precedence = 1 ]
[25]	Atom --> TERM '=' TERM
	[ precedence = 1 ]
[26]	TERM --> 'Var'
	[ precedence = 1 ]
[27]	TERM --> Con
	[ precedence = 1 ]
[28]	TERM --> Expr
	[ precedence = 1 ]
[29]	Expr --> 'Fun' '(' TERM_star ')'
	[ precedence = 1 ]
[30]	CONDIT_star -->
	[ precedence = 1 ]
[31]	CONDIT_star --> CONDIT_plus
	[ precedence = 1 ]
[32]	CONDIT_plus --> CONDIT
	[ precedence = 1 ]
[33]	CONDIT_plus --> CONDIT_plus CONDIT
	[ precedence = 1 ]
[34]	TERM_star -->
	[ precedence = 1 ]
[35]	TERM_star --> TERM_plus
	[ precedence = 1 ]
[36]	TERM_plus --> TERM
	[ precedence = 1 ]
[37]	TERM_plus --> TERM_plus TERM
	[ precedence = 1 ]
[38]	Var_plus --> 'Var'
	[ precedence = 1 ]
[39]	Var_plus --> Var_plus 'Var'
	[ precedence = 1 ]
[40]	Con --> Data
	[ precedence = 1 ]
[41]	Con --> Ind
	[ precedence = 1 ]
[42]	Data --> 'Value'
	[ precedence = 1 ]
[43]	Ind --> 'Name'
	[ precedence = 1 ]
[44]	QUANTIF --> 'Forall' Var_plus '(' CONDIT ')'
	[ precedence = 1 ]
[45]	LITFORM --> 'Neg' Atom
	[ precedence = 1 ]
[46]	LITFORM --> 'Naf' Atom
	[ precedence = 1 ]
[47]	LITFORM --> 'Naf' 'Neg' Atom
	[ precedence = 1 ]

*** Starting grammar analysis ... 
***	Preprocessing the grammar ... 
***	... in 16 ms

TERMINALS:

	----------	-------------	--------
	PRECEDENCE	ASSOCIATIVITY	TERMINAL
	----------	-------------	--------
[0]	1		none		'$EMPTY$'
[1]	1		none		'$E_O_I$'
[2]	1		none		'error'
[3]	1		none		'Name'
[4]	1		none		'Fun'
[5]	1		none		'Rel'
[6]	1		none		'Value'
[7]	1		none		'Var'
[8]	1		none		'$ROOT_switch$'
[9]	1		none		';'
[10]	1		none		'Relation'
[11]	1		none		'Function'
[12]	1		none		':-'
[13]	1		none		'And'
[14]	1		none		'('
[15]	1		none		')'
[16]	1		none		'Or'
[17]	1		none		'Exists'
[18]	1		none		'='
[19]	1		none		'Forall'
[20]	1		none		'Neg'
[21]	1		none		'Naf'
	----------------------------------------

NON TERMINALS:

  [0]	$START$
	FIRST:	 {'Name', 'Fun', 'Rel', 'Value', 'Var', '$ROOT_switch$', 'Relation', 'Function', 'Neg', 'Naf'}
	LSet:	 {$START$, $ROOTS$, ROOT, HRL, RuleSet, RuleSetItem, Declaration, Rule, HornRule, Implication, HEAD, LITFORM, Atom, TERM, Con, Expr, Data, Ind}

  [1]	$ROOTS$
	FIRST:	 {'Name', 'Fun', 'Rel', 'Value', 'Var', '$ROOT_switch$', 'Relation', 'Function', 'Neg', 'Naf'}
	LSet:	 {$ROOTS$, ROOT, HRL, RuleSet, RuleSetItem, Declaration, Rule, HornRule, Implication, HEAD, LITFORM, Atom, TERM, Con, Expr, Data, Ind}

  [2]	ROOT
	FIRST:	 {'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'Neg', 'Naf'}
	LSet:	 {ROOT, HRL, RuleSet, RuleSetItem, Declaration, Rule, HornRule, Implication, HEAD, LITFORM, Atom, TERM, Con, Expr, Data, Ind}

  [3]	HRL
	FIRST:	 {'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'Neg', 'Naf'}
	LSet:	 {HRL, RuleSet, RuleSetItem, Declaration, Rule, HornRule, Implication, HEAD, LITFORM, Atom, TERM, Con, Expr, Data, Ind}

  [4]	RuleSet
	FIRST:	 {'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'Neg', 'Naf'}
	LSet:	 {RuleSet, RuleSetItem, Declaration, Rule, HornRule, Implication, HEAD, LITFORM, Atom, TERM, Con, Expr, Data, Ind}

  [5]	RuleSetItem
	FIRST:	 {'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'Neg', 'Naf'}
	LSet:	 {RuleSetItem, Declaration, Rule, HornRule, Implication, HEAD, LITFORM, Atom, TERM, Con, Expr, Data, Ind}

  [6]	Declaration
	FIRST:	 {'Relation', 'Function'}
	LSet:	 {Declaration}

  [7]	Rule
	FIRST:	 {'Name', 'Fun', 'Rel', 'Value', 'Var', 'Neg', 'Naf'}
	LSet:	 {Rule, HornRule, Implication, HEAD, LITFORM, Atom, TERM, Con, Expr, Data, Ind}

  [8]	HornRule
	FIRST:	 {'Name', 'Fun', 'Rel', 'Value', 'Var', 'Neg', 'Naf'}
	LSet:	 {HornRule, Implication, HEAD, LITFORM, Atom, TERM, Con, Expr, Data, Ind}

  [9]	Implication
	FIRST:	 {'Name', 'Fun', 'Rel', 'Value', 'Var', 'Neg', 'Naf'}
	LSet:	 {Implication, HEAD, LITFORM, Atom, TERM, Con, Expr, Data, Ind}

  [10]	HEAD
	FIRST:	 {'Name', 'Fun', 'Rel', 'Value', 'Var', 'Neg', 'Naf'}
	LSet:	 {HEAD, LITFORM, Atom, TERM, Con, Expr, Data, Ind}

  [11]	BODY
	FIRST:	 {'Name', 'Fun', 'Rel', 'Value', 'Var', 'And', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
	LSet:	 {BODY, LITFORM, CONDIT, QUANTIF, CONJ, DISJ, Atom, TERM, Con, Expr, Data, Ind}

  [12]	LITFORM
	FIRST:	 {'Name', 'Fun', 'Rel', 'Value', 'Var', 'Neg', 'Naf'}
	LSet:	 {LITFORM, Atom, TERM, Con, Expr, Data, Ind}

  [13]	CONDIT
	FIRST:	 {'Name', 'Fun', 'Rel', 'Value', 'Var', 'And', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
	LSet:	 {LITFORM, CONDIT, QUANTIF, CONJ, DISJ, Atom, TERM, Con, Expr, Data, Ind}

  [14]	QUANTIF
	FIRST:	 {'Exists', 'Forall'}
	LSet:	 {QUANTIF}

  [15]	CONJ
	FIRST:	 {'And'}
	LSet:	 {CONJ}

  [16]	DISJ
	FIRST:	 {'Or'}
	LSet:	 {DISJ}

  [17]	CONDIT_star	(nullable)
	FIRST:	 {'Name', 'Fun', 'Rel', 'Value', 'Var', 'And', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
	LSet:	 {LITFORM, CONDIT, QUANTIF, CONJ, DISJ, CONDIT_star, Atom, TERM, Con, Expr, CONDIT_plus, Data, Ind}

  [18]	Var_plus
	FIRST:	 {'Var'}
	LSet:	 {Var_plus}

  [19]	Atom
	FIRST:	 {'Name', 'Fun', 'Rel', 'Value', 'Var'}
	LSet:	 {Atom, TERM, Con, Expr, Data, Ind}

  [20]	TERM_star	(nullable)
	FIRST:	 {'Name', 'Fun', 'Value', 'Var'}
	LSet:	 {TERM_star, TERM, Con, Expr, TERM_plus, Data, Ind}

  [21]	TERM
	FIRST:	 {'Name', 'Fun', 'Value', 'Var'}
	LSet:	 {TERM, Con, Expr, Data, Ind}

  [22]	Con
	FIRST:	 {'Name', 'Value'}
	LSet:	 {Con, Data, Ind}

  [23]	Expr
	FIRST:	 {'Fun'}
	LSet:	 {Expr}

  [24]	CONDIT_plus
	FIRST:	 {'Name', 'Fun', 'Rel', 'Value', 'Var', 'And', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
	LSet:	 {LITFORM, CONDIT, QUANTIF, CONJ, DISJ, Atom, TERM, Con, Expr, CONDIT_plus, Data, Ind}

  [25]	TERM_plus
	FIRST:	 {'Name', 'Fun', 'Value', 'Var'}
	LSet:	 {TERM, Con, Expr, TERM_plus, Data, Ind}

  [26]	Data
	FIRST:	 {'Value'}
	LSet:	 {Data}

  [27]	Ind
	FIRST:	 {'Name'}
	LSet:	 {Ind}


***	Building canonical LR states ... 
***	 ... in 16 ms
***	Propagating lookahead symbols ... 
***	 ... in 16 ms
*** Grammar analysis completed in 63 ms.
*** Building parsing tables ... 
***	... in 0 ms



=============================
STATE NUMBER: 0
=============================
[0] $START$ --> . $ROOTS$
	Preceding states: {0}
	Follow set: {'$E_O_I$'}
	Preceding states: {0}
[1] $ROOTS$ --> . ROOT
	Preceding states: {0}
[2] $ROOTS$ --> . '$ROOT_switch$' ROOT
	Preceding states: {0}
[3] ROOT --> . HRL
	Preceding states: {0}
[4] HRL --> . RuleSet
	Preceding states: {0}
[5] RuleSet --> . RuleSetItem
	Preceding states: {0}
[6] RuleSet --> . RuleSet RuleSetItem
	Preceding states: {0}
[7] RuleSetItem --> . Declaration ';'
	Preceding states: {0}
[8] RuleSetItem --> . Rule
	Preceding states: {0}
[9] Declaration --> . 'Relation' 'Name'
	Preceding states: {0}
[10] Declaration --> . 'Function' 'Name'
	Preceding states: {0}
[11] Rule --> . HornRule
	Preceding states: {0}
[12] HornRule --> . Implication
	Preceding states: {0}
[13] Implication --> . HEAD ':-' BODY
	Preceding states: {0}
[14] HEAD --> . LITFORM
	Preceding states: {0}
[23] LITFORM --> . Atom
	Preceding states: {0}
[24] Atom --> . 'Rel' '(' TERM_star ')'
	Preceding states: {0}
[25] Atom --> . TERM '=' TERM
	Preceding states: {0}
[26] TERM --> . 'Var'
	Preceding states: {0}
[27] TERM --> . Con
	Preceding states: {0}
[28] TERM --> . Expr
	Preceding states: {0}
[29] Expr --> . 'Fun' '(' TERM_star ')'
	Preceding states: {0}
[40] Con --> . Data
	Preceding states: {0}
[41] Con --> . Ind
	Preceding states: {0}
[42] Data --> . 'Value'
	Preceding states: {0}
[43] Ind --> . 'Name'
	Preceding states: {0}
[45] LITFORM --> . 'Neg' Atom
	Preceding states: {0}
[46] LITFORM --> . 'Naf' Atom
	Preceding states: {0}
[47] LITFORM --> . 'Naf' 'Neg' Atom
	Preceding states: {0}
-----------------------------
With $ROOTS$, go to state 1
With ROOT, go to state 2
With '$ROOT_switch$', go to state 3
With HRL, go to state 4
With RuleSet, go to state 5
With RuleSetItem, go to state 6
With Declaration, go to state 7
With Rule, go to state 8
With 'Relation', go to state 9
With 'Function', go to state 10
With HornRule, go to state 11
With Implication, go to state 12
With HEAD, go to state 13
With LITFORM, go to state 14
With Atom, go to state 15
With 'Neg', go to state 16
With 'Naf', go to state 17
With 'Rel', go to state 18
With TERM, go to state 19
With 'Var', go to state 20
With Con, go to state 21
With Expr, go to state 22
With Data, go to state 23
With Ind, go to state 24
With 'Fun', go to state 25
With 'Value', go to state 26
With 'Name', go to state 27

=============================
STATE NUMBER: 1
=============================
[0] $START$ --> $ROOTS$ .
	Preceding states: {0}
	Lookahead set: {}
-----------------------------

=============================
STATE NUMBER: 2
=============================
[1] $ROOTS$ --> ROOT .
	Preceding states: {0}
	Lookahead set: {'$E_O_I$'}
-----------------------------

=============================
STATE NUMBER: 3
=============================
[2] $ROOTS$ --> '$ROOT_switch$' . ROOT
	Preceding states: {0}
	Follow set: {'$E_O_I$'}
[3] ROOT --> . HRL
	Preceding states: {3}
[4] HRL --> . RuleSet
	Preceding states: {3}
[5] RuleSet --> . RuleSetItem
	Preceding states: {3}
[6] RuleSet --> . RuleSet RuleSetItem
	Preceding states: {3}
[7] RuleSetItem --> . Declaration ';'
	Preceding states: {3}
[8] RuleSetItem --> . Rule
	Preceding states: {3}
[9] Declaration --> . 'Relation' 'Name'
	Preceding states: {3}
[10] Declaration --> . 'Function' 'Name'
	Preceding states: {3}
[11] Rule --> . HornRule
	Preceding states: {3}
[12] HornRule --> . Implication
	Preceding states: {3}
[13] Implication --> . HEAD ':-' BODY
	Preceding states: {3}
[14] HEAD --> . LITFORM
	Preceding states: {3}
[23] LITFORM --> . Atom
	Preceding states: {3}
[24] Atom --> . 'Rel' '(' TERM_star ')'
	Preceding states: {3}
[25] Atom --> . TERM '=' TERM
	Preceding states: {3}
[26] TERM --> . 'Var'
	Preceding states: {3}
[27] TERM --> . Con
	Preceding states: {3}
[28] TERM --> . Expr
	Preceding states: {3}
[29] Expr --> . 'Fun' '(' TERM_star ')'
	Preceding states: {3}
[40] Con --> . Data
	Preceding states: {3}
[41] Con --> . Ind
	Preceding states: {3}
[42] Data --> . 'Value'
	Preceding states: {3}
[43] Ind --> . 'Name'
	Preceding states: {3}
[45] LITFORM --> . 'Neg' Atom
	Preceding states: {3}
[46] LITFORM --> . 'Naf' Atom
	Preceding states: {3}
[47] LITFORM --> . 'Naf' 'Neg' Atom
	Preceding states: {3}
-----------------------------
With ROOT, go to state 77
With HRL, go to state 4
With RuleSet, go to state 5
With RuleSetItem, go to state 6
With Declaration, go to state 7
With Rule, go to state 8
With 'Relation', go to state 9
With 'Function', go to state 10
With HornRule, go to state 11
With Implication, go to state 12
With HEAD, go to state 13
With LITFORM, go to state 14
With Atom, go to state 15
With 'Neg', go to state 16
With 'Naf', go to state 17
With 'Rel', go to state 18
With TERM, go to state 19
With 'Var', go to state 20
With Con, go to state 21
With Expr, go to state 22
With Data, go to state 23
With Ind, go to state 24
With 'Fun', go to state 25
With 'Value', go to state 26
With 'Name', go to state 27

=============================
STATE NUMBER: 4
=============================
[3] ROOT --> HRL .
	Preceding states: {0, 3}
	Lookahead set: {'$E_O_I$'}
-----------------------------

=============================
STATE NUMBER: 5
=============================
[4] HRL --> RuleSet .
	Preceding states: {0, 3}
	Lookahead set: {'$E_O_I$'}
[6] RuleSet --> RuleSet . RuleSetItem
	Preceding states: {0, 3}
	Follow set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'Neg', 'Naf'}
[7] RuleSetItem --> . Declaration ';'
	Preceding states: {5}
[8] RuleSetItem --> . Rule
	Preceding states: {5}
[9] Declaration --> . 'Relation' 'Name'
	Preceding states: {5}
[10] Declaration --> . 'Function' 'Name'
	Preceding states: {5}
[11] Rule --> . HornRule
	Preceding states: {5}
[12] HornRule --> . Implication
	Preceding states: {5}
[13] Implication --> . HEAD ':-' BODY
	Preceding states: {5}
[14] HEAD --> . LITFORM
	Preceding states: {5}
[23] LITFORM --> . Atom
	Preceding states: {5}
[24] Atom --> . 'Rel' '(' TERM_star ')'
	Preceding states: {5}
[25] Atom --> . TERM '=' TERM
	Preceding states: {5}
[26] TERM --> . 'Var'
	Preceding states: {5}
[27] TERM --> . Con
	Preceding states: {5}
[28] TERM --> . Expr
	Preceding states: {5}
[29] Expr --> . 'Fun' '(' TERM_star ')'
	Preceding states: {5}
[40] Con --> . Data
	Preceding states: {5}
[41] Con --> . Ind
	Preceding states: {5}
[42] Data --> . 'Value'
	Preceding states: {5}
[43] Ind --> . 'Name'
	Preceding states: {5}
[45] LITFORM --> . 'Neg' Atom
	Preceding states: {5}
[46] LITFORM --> . 'Naf' Atom
	Preceding states: {5}
[47] LITFORM --> . 'Naf' 'Neg' Atom
	Preceding states: {5}
-----------------------------
With RuleSetItem, go to state 76
With Declaration, go to state 7
With Rule, go to state 8
With 'Relation', go to state 9
With 'Function', go to state 10
With HornRule, go to state 11
With Implication, go to state 12
With HEAD, go to state 13
With LITFORM, go to state 14
With Atom, go to state 15
With 'Neg', go to state 16
With 'Naf', go to state 17
With 'Rel', go to state 18
With TERM, go to state 19
With 'Var', go to state 20
With Con, go to state 21
With Expr, go to state 22
With Data, go to state 23
With Ind, go to state 24
With 'Fun', go to state 25
With 'Value', go to state 26
With 'Name', go to state 27

=============================
STATE NUMBER: 6
=============================
[5] RuleSet --> RuleSetItem .
	Preceding states: {0, 3}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 7
=============================
[7] RuleSetItem --> Declaration . ';'
	Preceding states: {0, 3, 5}
-----------------------------
With ';', go to state 75

=============================
STATE NUMBER: 8
=============================
[8] RuleSetItem --> Rule .
	Preceding states: {0, 3, 5}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 9
=============================
[9] Declaration --> 'Relation' . 'Name'
	Preceding states: {0, 3, 5}
-----------------------------
With 'Name', go to state 74

=============================
STATE NUMBER: 10
=============================
[10] Declaration --> 'Function' . 'Name'
	Preceding states: {0, 3, 5}
-----------------------------
With 'Name', go to state 73

=============================
STATE NUMBER: 11
=============================
[11] Rule --> HornRule .
	Preceding states: {0, 3, 5}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 12
=============================
[12] HornRule --> Implication .
	Preceding states: {0, 3, 5}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 13
=============================
[13] Implication --> HEAD . ':-' BODY
	Preceding states: {0, 3, 5}
-----------------------------
With ':-', go to state 43

=============================
STATE NUMBER: 14
=============================
[14] HEAD --> LITFORM .
	Preceding states: {0, 3, 5}
	Lookahead set: {':-'}
-----------------------------

=============================
STATE NUMBER: 15
=============================
[23] LITFORM --> Atom .
	Preceding states: {0, 3, 5, 43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', ':-', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 16
=============================
[24] Atom --> . 'Rel' '(' TERM_star ')'
	Preceding states: {16}
[25] Atom --> . TERM '=' TERM
	Preceding states: {16}
[26] TERM --> . 'Var'
	Preceding states: {16}
[27] TERM --> . Con
	Preceding states: {16}
[28] TERM --> . Expr
	Preceding states: {16}
[29] Expr --> . 'Fun' '(' TERM_star ')'
	Preceding states: {16}
[40] Con --> . Data
	Preceding states: {16}
[41] Con --> . Ind
	Preceding states: {16}
[42] Data --> . 'Value'
	Preceding states: {16}
[43] Ind --> . 'Name'
	Preceding states: {16}
[45] LITFORM --> 'Neg' . Atom
	Preceding states: {0, 3, 5, 43, 54, 56, 60, 66, 70}
	Follow set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', ':-', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
-----------------------------
With Atom, go to state 42
With 'Rel', go to state 18
With TERM, go to state 19
With 'Var', go to state 20
With Con, go to state 21
With Expr, go to state 22
With Data, go to state 23
With Ind, go to state 24
With 'Fun', go to state 25
With 'Value', go to state 26
With 'Name', go to state 27

=============================
STATE NUMBER: 17
=============================
[24] Atom --> . 'Rel' '(' TERM_star ')'
	Preceding states: {17}
[25] Atom --> . TERM '=' TERM
	Preceding states: {17}
[26] TERM --> . 'Var'
	Preceding states: {17}
[27] TERM --> . Con
	Preceding states: {17}
[28] TERM --> . Expr
	Preceding states: {17}
[29] Expr --> . 'Fun' '(' TERM_star ')'
	Preceding states: {17}
[40] Con --> . Data
	Preceding states: {17}
[41] Con --> . Ind
	Preceding states: {17}
[42] Data --> . 'Value'
	Preceding states: {17}
[43] Ind --> . 'Name'
	Preceding states: {17}
[46] LITFORM --> 'Naf' . Atom
	Preceding states: {0, 3, 5, 43, 54, 56, 60, 66, 70}
	Follow set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', ':-', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
[47] LITFORM --> 'Naf' . 'Neg' Atom
	Preceding states: {0, 3, 5, 43, 54, 56, 60, 66, 70}
-----------------------------
With Atom, go to state 39
With 'Neg', go to state 40
With 'Rel', go to state 18
With TERM, go to state 19
With 'Var', go to state 20
With Con, go to state 21
With Expr, go to state 22
With Data, go to state 23
With Ind, go to state 24
With 'Fun', go to state 25
With 'Value', go to state 26
With 'Name', go to state 27

=============================
STATE NUMBER: 18
=============================
[24] Atom --> 'Rel' . '(' TERM_star ')'
	Preceding states: {0, 3, 5, 16, 17, 40, 43, 54, 56, 60, 66, 70}
-----------------------------
With '(', go to state 36

=============================
STATE NUMBER: 19
=============================
[25] Atom --> TERM . '=' TERM
	Preceding states: {0, 3, 5, 16, 17, 40, 43, 54, 56, 60, 66, 70}
-----------------------------
With '=', go to state 34

=============================
STATE NUMBER: 20
=============================
[26] TERM --> 'Var' .
	Preceding states: {0, 3, 5, 16, 17, 28, 30, 34, 36, 40, 43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', ':-', 'And', ')', 'Or', 'Exists', '=', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 21
=============================
[27] TERM --> Con .
	Preceding states: {0, 3, 5, 16, 17, 28, 30, 34, 36, 40, 43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', ':-', 'And', ')', 'Or', 'Exists', '=', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 22
=============================
[28] TERM --> Expr .
	Preceding states: {0, 3, 5, 16, 17, 28, 30, 34, 36, 40, 43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', ':-', 'And', ')', 'Or', 'Exists', '=', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 23
=============================
[40] Con --> Data .
	Preceding states: {0, 3, 5, 16, 17, 28, 30, 34, 36, 40, 43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', ':-', 'And', ')', 'Or', 'Exists', '=', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 24
=============================
[41] Con --> Ind .
	Preceding states: {0, 3, 5, 16, 17, 28, 30, 34, 36, 40, 43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', ':-', 'And', ')', 'Or', 'Exists', '=', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 25
=============================
[29] Expr --> 'Fun' . '(' TERM_star ')'
	Preceding states: {0, 3, 5, 16, 17, 28, 30, 34, 36, 40, 43, 54, 56, 60, 66, 70}
-----------------------------
With '(', go to state 28

=============================
STATE NUMBER: 26
=============================
[42] Data --> 'Value' .
	Preceding states: {0, 3, 5, 16, 17, 28, 30, 34, 36, 40, 43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', ':-', 'And', ')', 'Or', 'Exists', '=', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 27
=============================
[43] Ind --> 'Name' .
	Preceding states: {0, 3, 5, 16, 17, 28, 30, 34, 36, 40, 43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', ':-', 'And', ')', 'Or', 'Exists', '=', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 28
=============================
[26] TERM --> . 'Var'
	Preceding states: {28}
[27] TERM --> . Con
	Preceding states: {28}
[28] TERM --> . Expr
	Preceding states: {28}
[29] Expr --> . 'Fun' '(' TERM_star ')'
	Preceding states: {28}
[29] Expr --> 'Fun' '(' . TERM_star ')'
	Preceding states: {0, 3, 5, 16, 17, 28, 30, 34, 36, 40, 43, 54, 56, 60, 66, 70}
	Follow set: {')'}
[34] TERM_star --> .
	Preceding states: {28}
	Lookahead set: {')'}
[35] TERM_star --> . TERM_plus
	Preceding states: {28}
[36] TERM_plus --> . TERM
	Preceding states: {28}
[37] TERM_plus --> . TERM_plus TERM
	Preceding states: {28}
[40] Con --> . Data
	Preceding states: {28}
[41] Con --> . Ind
	Preceding states: {28}
[42] Data --> . 'Value'
	Preceding states: {28}
[43] Ind --> . 'Name'
	Preceding states: {28}
-----------------------------
With TERM_star, go to state 29
With TERM_plus, go to state 30
With 'Var', go to state 20
With Con, go to state 21
With Expr, go to state 22
With Data, go to state 23
With Ind, go to state 24
With 'Fun', go to state 25
With TERM, go to state 31
With 'Value', go to state 26
With 'Name', go to state 27

=============================
STATE NUMBER: 29
=============================
[29] Expr --> 'Fun' '(' TERM_star . ')'
	Preceding states: {0, 3, 5, 16, 17, 28, 30, 34, 36, 40, 43, 54, 56, 60, 66, 70}
-----------------------------
With ')', go to state 33

=============================
STATE NUMBER: 30
=============================
[26] TERM --> . 'Var'
	Preceding states: {30}
[27] TERM --> . Con
	Preceding states: {30}
[28] TERM --> . Expr
	Preceding states: {30}
[29] Expr --> . 'Fun' '(' TERM_star ')'
	Preceding states: {30}
[35] TERM_star --> TERM_plus .
	Preceding states: {28, 36}
	Lookahead set: {')'}
[37] TERM_plus --> TERM_plus . TERM
	Preceding states: {28, 36}
	Follow set: {'Name', 'Fun', 'Value', 'Var', ')'}
[40] Con --> . Data
	Preceding states: {30}
[41] Con --> . Ind
	Preceding states: {30}
[42] Data --> . 'Value'
	Preceding states: {30}
[43] Ind --> . 'Name'
	Preceding states: {30}
-----------------------------
With TERM, go to state 32
With 'Var', go to state 20
With Con, go to state 21
With Expr, go to state 22
With Data, go to state 23
With Ind, go to state 24
With 'Fun', go to state 25
With 'Value', go to state 26
With 'Name', go to state 27

=============================
STATE NUMBER: 31
=============================
[36] TERM_plus --> TERM .
	Preceding states: {28, 36}
	Lookahead set: {'Name', 'Fun', 'Value', 'Var', ')'}
-----------------------------

=============================
STATE NUMBER: 32
=============================
[37] TERM_plus --> TERM_plus TERM .
	Preceding states: {28, 36}
	Lookahead set: {'Name', 'Fun', 'Value', 'Var', ')'}
-----------------------------

=============================
STATE NUMBER: 33
=============================
[29] Expr --> 'Fun' '(' TERM_star ')' .
	Preceding states: {0, 3, 5, 16, 17, 28, 30, 34, 36, 40, 43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', ':-', 'And', ')', 'Or', 'Exists', '=', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 34
=============================
[25] Atom --> TERM '=' . TERM
	Preceding states: {0, 3, 5, 16, 17, 40, 43, 54, 56, 60, 66, 70}
	Follow set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', ':-', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
[26] TERM --> . 'Var'
	Preceding states: {34}
[27] TERM --> . Con
	Preceding states: {34}
[28] TERM --> . Expr
	Preceding states: {34}
[29] Expr --> . 'Fun' '(' TERM_star ')'
	Preceding states: {34}
[40] Con --> . Data
	Preceding states: {34}
[41] Con --> . Ind
	Preceding states: {34}
[42] Data --> . 'Value'
	Preceding states: {34}
[43] Ind --> . 'Name'
	Preceding states: {34}
-----------------------------
With TERM, go to state 35
With 'Var', go to state 20
With Con, go to state 21
With Expr, go to state 22
With Data, go to state 23
With Ind, go to state 24
With 'Fun', go to state 25
With 'Value', go to state 26
With 'Name', go to state 27

=============================
STATE NUMBER: 35
=============================
[25] Atom --> TERM '=' TERM .
	Preceding states: {0, 3, 5, 16, 17, 40, 43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', ':-', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 36
=============================
[24] Atom --> 'Rel' '(' . TERM_star ')'
	Preceding states: {0, 3, 5, 16, 17, 40, 43, 54, 56, 60, 66, 70}
	Follow set: {')'}
[26] TERM --> . 'Var'
	Preceding states: {36}
[27] TERM --> . Con
	Preceding states: {36}
[28] TERM --> . Expr
	Preceding states: {36}
[29] Expr --> . 'Fun' '(' TERM_star ')'
	Preceding states: {36}
[34] TERM_star --> .
	Preceding states: {36}
	Lookahead set: {')'}
[35] TERM_star --> . TERM_plus
	Preceding states: {36}
[36] TERM_plus --> . TERM
	Preceding states: {36}
[37] TERM_plus --> . TERM_plus TERM
	Preceding states: {36}
[40] Con --> . Data
	Preceding states: {36}
[41] Con --> . Ind
	Preceding states: {36}
[42] Data --> . 'Value'
	Preceding states: {36}
[43] Ind --> . 'Name'
	Preceding states: {36}
-----------------------------
With TERM_star, go to state 37
With TERM_plus, go to state 30
With 'Var', go to state 20
With Con, go to state 21
With Expr, go to state 22
With Data, go to state 23
With Ind, go to state 24
With 'Fun', go to state 25
With TERM, go to state 31
With 'Value', go to state 26
With 'Name', go to state 27

=============================
STATE NUMBER: 37
=============================
[24] Atom --> 'Rel' '(' TERM_star . ')'
	Preceding states: {0, 3, 5, 16, 17, 40, 43, 54, 56, 60, 66, 70}
-----------------------------
With ')', go to state 38

=============================
STATE NUMBER: 38
=============================
[24] Atom --> 'Rel' '(' TERM_star ')' .
	Preceding states: {0, 3, 5, 16, 17, 40, 43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', ':-', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 39
=============================
[46] LITFORM --> 'Naf' Atom .
	Preceding states: {0, 3, 5, 43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', ':-', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 40
=============================
[24] Atom --> . 'Rel' '(' TERM_star ')'
	Preceding states: {40}
[25] Atom --> . TERM '=' TERM
	Preceding states: {40}
[26] TERM --> . 'Var'
	Preceding states: {40}
[27] TERM --> . Con
	Preceding states: {40}
[28] TERM --> . Expr
	Preceding states: {40}
[29] Expr --> . 'Fun' '(' TERM_star ')'
	Preceding states: {40}
[40] Con --> . Data
	Preceding states: {40}
[41] Con --> . Ind
	Preceding states: {40}
[42] Data --> . 'Value'
	Preceding states: {40}
[43] Ind --> . 'Name'
	Preceding states: {40}
[47] LITFORM --> 'Naf' 'Neg' . Atom
	Preceding states: {0, 3, 5, 43, 54, 56, 60, 66, 70}
	Follow set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', ':-', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
-----------------------------
With Atom, go to state 41
With 'Rel', go to state 18
With TERM, go to state 19
With 'Var', go to state 20
With Con, go to state 21
With Expr, go to state 22
With Data, go to state 23
With Ind, go to state 24
With 'Fun', go to state 25
With 'Value', go to state 26
With 'Name', go to state 27

=============================
STATE NUMBER: 41
=============================
[47] LITFORM --> 'Naf' 'Neg' Atom .
	Preceding states: {0, 3, 5, 43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', ':-', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 42
=============================
[45] LITFORM --> 'Neg' Atom .
	Preceding states: {0, 3, 5, 43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', ':-', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 43
=============================
[13] Implication --> HEAD ':-' . BODY
	Preceding states: {0, 3, 5}
	Follow set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'Neg', 'Naf'}
[15] BODY --> . CONDIT
	Preceding states: {43}
[16] CONDIT --> . LITFORM
	Preceding states: {43}
[17] CONDIT --> . QUANTIF
	Preceding states: {43}
[18] CONDIT --> . CONJ
	Preceding states: {43}
[19] CONDIT --> . DISJ
	Preceding states: {43}
[20] CONJ --> . 'And' '(' CONDIT_star ')'
	Preceding states: {43}
[21] DISJ --> . 'Or' '(' CONDIT_star ')'
	Preceding states: {43}
[22] QUANTIF --> . 'Exists' Var_plus '(' CONDIT ')'
	Preceding states: {43}
[23] LITFORM --> . Atom
	Preceding states: {43}
[24] Atom --> . 'Rel' '(' TERM_star ')'
	Preceding states: {43}
[25] Atom --> . TERM '=' TERM
	Preceding states: {43}
[26] TERM --> . 'Var'
	Preceding states: {43}
[27] TERM --> . Con
	Preceding states: {43}
[28] TERM --> . Expr
	Preceding states: {43}
[29] Expr --> . 'Fun' '(' TERM_star ')'
	Preceding states: {43}
[40] Con --> . Data
	Preceding states: {43}
[41] Con --> . Ind
	Preceding states: {43}
[42] Data --> . 'Value'
	Preceding states: {43}
[43] Ind --> . 'Name'
	Preceding states: {43}
[44] QUANTIF --> . 'Forall' Var_plus '(' CONDIT ')'
	Preceding states: {43}
[45] LITFORM --> . 'Neg' Atom
	Preceding states: {43}
[46] LITFORM --> . 'Naf' Atom
	Preceding states: {43}
[47] LITFORM --> . 'Naf' 'Neg' Atom
	Preceding states: {43}
-----------------------------
With BODY, go to state 44
With CONDIT, go to state 45
With Atom, go to state 15
With 'Neg', go to state 16
With 'Naf', go to state 17
With LITFORM, go to state 46
With QUANTIF, go to state 47
With CONJ, go to state 48
With DISJ, go to state 49
With 'Exists', go to state 50
With 'Forall', go to state 51
With 'And', go to state 52
With 'Or', go to state 53
With 'Rel', go to state 18
With TERM, go to state 19
With 'Var', go to state 20
With Con, go to state 21
With Expr, go to state 22
With Data, go to state 23
With Ind, go to state 24
With 'Fun', go to state 25
With 'Value', go to state 26
With 'Name', go to state 27

=============================
STATE NUMBER: 44
=============================
[13] Implication --> HEAD ':-' BODY .
	Preceding states: {0, 3, 5}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 45
=============================
[15] BODY --> CONDIT .
	Preceding states: {43}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 46
=============================
[16] CONDIT --> LITFORM .
	Preceding states: {43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 47
=============================
[17] CONDIT --> QUANTIF .
	Preceding states: {43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 48
=============================
[18] CONDIT --> CONJ .
	Preceding states: {43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 49
=============================
[19] CONDIT --> DISJ .
	Preceding states: {43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 50
=============================
[22] QUANTIF --> 'Exists' . Var_plus '(' CONDIT ')'
	Preceding states: {43, 54, 56, 60, 66, 70}
	Follow set: {'('}
[38] Var_plus --> . 'Var'
	Preceding states: {50}
[39] Var_plus --> . Var_plus 'Var'
	Preceding states: {50}
-----------------------------
With Var_plus, go to state 69
With 'Var', go to state 64

=============================
STATE NUMBER: 51
=============================
[38] Var_plus --> . 'Var'
	Preceding states: {51}
[39] Var_plus --> . Var_plus 'Var'
	Preceding states: {51}
[44] QUANTIF --> 'Forall' . Var_plus '(' CONDIT ')'
	Preceding states: {43, 54, 56, 60, 66, 70}
	Follow set: {'('}
-----------------------------
With Var_plus, go to state 63
With 'Var', go to state 64

=============================
STATE NUMBER: 52
=============================
[20] CONJ --> 'And' . '(' CONDIT_star ')'
	Preceding states: {43, 54, 56, 60, 66, 70}
-----------------------------
With '(', go to state 60

=============================
STATE NUMBER: 53
=============================
[21] DISJ --> 'Or' . '(' CONDIT_star ')'
	Preceding states: {43, 54, 56, 60, 66, 70}
-----------------------------
With '(', go to state 54

=============================
STATE NUMBER: 54
=============================
[16] CONDIT --> . LITFORM
	Preceding states: {54}
[17] CONDIT --> . QUANTIF
	Preceding states: {54}
[18] CONDIT --> . CONJ
	Preceding states: {54}
[19] CONDIT --> . DISJ
	Preceding states: {54}
[20] CONJ --> . 'And' '(' CONDIT_star ')'
	Preceding states: {54}
[21] DISJ --> . 'Or' '(' CONDIT_star ')'
	Preceding states: {54}
[21] DISJ --> 'Or' '(' . CONDIT_star ')'
	Preceding states: {43, 54, 56, 60, 66, 70}
	Follow set: {')'}
[22] QUANTIF --> . 'Exists' Var_plus '(' CONDIT ')'
	Preceding states: {54}
[23] LITFORM --> . Atom
	Preceding states: {54}
[24] Atom --> . 'Rel' '(' TERM_star ')'
	Preceding states: {54}
[25] Atom --> . TERM '=' TERM
	Preceding states: {54}
[26] TERM --> . 'Var'
	Preceding states: {54}
[27] TERM --> . Con
	Preceding states: {54}
[28] TERM --> . Expr
	Preceding states: {54}
[29] Expr --> . 'Fun' '(' TERM_star ')'
	Preceding states: {54}
[30] CONDIT_star --> .
	Preceding states: {54}
	Lookahead set: {')'}
[31] CONDIT_star --> . CONDIT_plus
	Preceding states: {54}
[32] CONDIT_plus --> . CONDIT
	Preceding states: {54}
[33] CONDIT_plus --> . CONDIT_plus CONDIT
	Preceding states: {54}
[40] Con --> . Data
	Preceding states: {54}
[41] Con --> . Ind
	Preceding states: {54}
[42] Data --> . 'Value'
	Preceding states: {54}
[43] Ind --> . 'Name'
	Preceding states: {54}
[44] QUANTIF --> . 'Forall' Var_plus '(' CONDIT ')'
	Preceding states: {54}
[45] LITFORM --> . 'Neg' Atom
	Preceding states: {54}
[46] LITFORM --> . 'Naf' Atom
	Preceding states: {54}
[47] LITFORM --> . 'Naf' 'Neg' Atom
	Preceding states: {54}
-----------------------------
With CONDIT_star, go to state 55
With Atom, go to state 15
With 'Neg', go to state 16
With 'Naf', go to state 17
With LITFORM, go to state 46
With QUANTIF, go to state 47
With CONJ, go to state 48
With DISJ, go to state 49
With 'Exists', go to state 50
With 'Forall', go to state 51
With 'And', go to state 52
With 'Or', go to state 53
With CONDIT_plus, go to state 56
With 'Rel', go to state 18
With TERM, go to state 19
With 'Var', go to state 20
With Con, go to state 21
With Expr, go to state 22
With Data, go to state 23
With Ind, go to state 24
With 'Fun', go to state 25
With CONDIT, go to state 57
With 'Value', go to state 26
With 'Name', go to state 27

=============================
STATE NUMBER: 55
=============================
[21] DISJ --> 'Or' '(' CONDIT_star . ')'
	Preceding states: {43, 54, 56, 60, 66, 70}
-----------------------------
With ')', go to state 59

=============================
STATE NUMBER: 56
=============================
[16] CONDIT --> . LITFORM
	Preceding states: {56}
[17] CONDIT --> . QUANTIF
	Preceding states: {56}
[18] CONDIT --> . CONJ
	Preceding states: {56}
[19] CONDIT --> . DISJ
	Preceding states: {56}
[20] CONJ --> . 'And' '(' CONDIT_star ')'
	Preceding states: {56}
[21] DISJ --> . 'Or' '(' CONDIT_star ')'
	Preceding states: {56}
[22] QUANTIF --> . 'Exists' Var_plus '(' CONDIT ')'
	Preceding states: {56}
[23] LITFORM --> . Atom
	Preceding states: {56}
[24] Atom --> . 'Rel' '(' TERM_star ')'
	Preceding states: {56}
[25] Atom --> . TERM '=' TERM
	Preceding states: {56}
[26] TERM --> . 'Var'
	Preceding states: {56}
[27] TERM --> . Con
	Preceding states: {56}
[28] TERM --> . Expr
	Preceding states: {56}
[29] Expr --> . 'Fun' '(' TERM_star ')'
	Preceding states: {56}
[31] CONDIT_star --> CONDIT_plus .
	Preceding states: {54, 60}
	Lookahead set: {')'}
[33] CONDIT_plus --> CONDIT_plus . CONDIT
	Preceding states: {54, 60}
	Follow set: {'Name', 'Fun', 'Rel', 'Value', 'Var', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
[40] Con --> . Data
	Preceding states: {56}
[41] Con --> . Ind
	Preceding states: {56}
[42] Data --> . 'Value'
	Preceding states: {56}
[43] Ind --> . 'Name'
	Preceding states: {56}
[44] QUANTIF --> . 'Forall' Var_plus '(' CONDIT ')'
	Preceding states: {56}
[45] LITFORM --> . 'Neg' Atom
	Preceding states: {56}
[46] LITFORM --> . 'Naf' Atom
	Preceding states: {56}
[47] LITFORM --> . 'Naf' 'Neg' Atom
	Preceding states: {56}
-----------------------------
With CONDIT, go to state 58
With Atom, go to state 15
With 'Neg', go to state 16
With 'Naf', go to state 17
With LITFORM, go to state 46
With QUANTIF, go to state 47
With CONJ, go to state 48
With DISJ, go to state 49
With 'Exists', go to state 50
With 'Forall', go to state 51
With 'And', go to state 52
With 'Or', go to state 53
With 'Rel', go to state 18
With TERM, go to state 19
With 'Var', go to state 20
With Con, go to state 21
With Expr, go to state 22
With Data, go to state 23
With Ind, go to state 24
With 'Fun', go to state 25
With 'Value', go to state 26
With 'Name', go to state 27

=============================
STATE NUMBER: 57
=============================
[32] CONDIT_plus --> CONDIT .
	Preceding states: {54, 60}
	Lookahead set: {'Name', 'Fun', 'Rel', 'Value', 'Var', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 58
=============================
[33] CONDIT_plus --> CONDIT_plus CONDIT .
	Preceding states: {54, 60}
	Lookahead set: {'Name', 'Fun', 'Rel', 'Value', 'Var', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 59
=============================
[21] DISJ --> 'Or' '(' CONDIT_star ')' .
	Preceding states: {43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 60
=============================
[16] CONDIT --> . LITFORM
	Preceding states: {60}
[17] CONDIT --> . QUANTIF
	Preceding states: {60}
[18] CONDIT --> . CONJ
	Preceding states: {60}
[19] CONDIT --> . DISJ
	Preceding states: {60}
[20] CONJ --> . 'And' '(' CONDIT_star ')'
	Preceding states: {60}
[20] CONJ --> 'And' '(' . CONDIT_star ')'
	Preceding states: {43, 54, 56, 60, 66, 70}
	Follow set: {')'}
[21] DISJ --> . 'Or' '(' CONDIT_star ')'
	Preceding states: {60}
[22] QUANTIF --> . 'Exists' Var_plus '(' CONDIT ')'
	Preceding states: {60}
[23] LITFORM --> . Atom
	Preceding states: {60}
[24] Atom --> . 'Rel' '(' TERM_star ')'
	Preceding states: {60}
[25] Atom --> . TERM '=' TERM
	Preceding states: {60}
[26] TERM --> . 'Var'
	Preceding states: {60}
[27] TERM --> . Con
	Preceding states: {60}
[28] TERM --> . Expr
	Preceding states: {60}
[29] Expr --> . 'Fun' '(' TERM_star ')'
	Preceding states: {60}
[30] CONDIT_star --> .
	Preceding states: {60}
	Lookahead set: {')'}
[31] CONDIT_star --> . CONDIT_plus
	Preceding states: {60}
[32] CONDIT_plus --> . CONDIT
	Preceding states: {60}
[33] CONDIT_plus --> . CONDIT_plus CONDIT
	Preceding states: {60}
[40] Con --> . Data
	Preceding states: {60}
[41] Con --> . Ind
	Preceding states: {60}
[42] Data --> . 'Value'
	Preceding states: {60}
[43] Ind --> . 'Name'
	Preceding states: {60}
[44] QUANTIF --> . 'Forall' Var_plus '(' CONDIT ')'
	Preceding states: {60}
[45] LITFORM --> . 'Neg' Atom
	Preceding states: {60}
[46] LITFORM --> . 'Naf' Atom
	Preceding states: {60}
[47] LITFORM --> . 'Naf' 'Neg' Atom
	Preceding states: {60}
-----------------------------
With CONDIT_star, go to state 61
With Atom, go to state 15
With 'Neg', go to state 16
With 'Naf', go to state 17
With LITFORM, go to state 46
With QUANTIF, go to state 47
With CONJ, go to state 48
With DISJ, go to state 49
With 'Exists', go to state 50
With 'Forall', go to state 51
With 'And', go to state 52
With 'Or', go to state 53
With CONDIT_plus, go to state 56
With 'Rel', go to state 18
With TERM, go to state 19
With 'Var', go to state 20
With Con, go to state 21
With Expr, go to state 22
With Data, go to state 23
With Ind, go to state 24
With 'Fun', go to state 25
With CONDIT, go to state 57
With 'Value', go to state 26
With 'Name', go to state 27

=============================
STATE NUMBER: 61
=============================
[20] CONJ --> 'And' '(' CONDIT_star . ')'
	Preceding states: {43, 54, 56, 60, 66, 70}
-----------------------------
With ')', go to state 62

=============================
STATE NUMBER: 62
=============================
[20] CONJ --> 'And' '(' CONDIT_star ')' .
	Preceding states: {43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 63
=============================
[39] Var_plus --> Var_plus . 'Var'
	Preceding states: {51}
[44] QUANTIF --> 'Forall' Var_plus . '(' CONDIT ')'
	Preceding states: {43, 54, 56, 60, 66, 70}
-----------------------------
With 'Var', go to state 65
With '(', go to state 66

=============================
STATE NUMBER: 64
=============================
[38] Var_plus --> 'Var' .
	Preceding states: {50, 51}
	Lookahead set: {'Var', '('}
-----------------------------

=============================
STATE NUMBER: 65
=============================
[39] Var_plus --> Var_plus 'Var' .
	Preceding states: {50, 51}
	Lookahead set: {'Var', '('}
-----------------------------

=============================
STATE NUMBER: 66
=============================
[16] CONDIT --> . LITFORM
	Preceding states: {66}
[17] CONDIT --> . QUANTIF
	Preceding states: {66}
[18] CONDIT --> . CONJ
	Preceding states: {66}
[19] CONDIT --> . DISJ
	Preceding states: {66}
[20] CONJ --> . 'And' '(' CONDIT_star ')'
	Preceding states: {66}
[21] DISJ --> . 'Or' '(' CONDIT_star ')'
	Preceding states: {66}
[22] QUANTIF --> . 'Exists' Var_plus '(' CONDIT ')'
	Preceding states: {66}
[23] LITFORM --> . Atom
	Preceding states: {66}
[24] Atom --> . 'Rel' '(' TERM_star ')'
	Preceding states: {66}
[25] Atom --> . TERM '=' TERM
	Preceding states: {66}
[26] TERM --> . 'Var'
	Preceding states: {66}
[27] TERM --> . Con
	Preceding states: {66}
[28] TERM --> . Expr
	Preceding states: {66}
[29] Expr --> . 'Fun' '(' TERM_star ')'
	Preceding states: {66}
[40] Con --> . Data
	Preceding states: {66}
[41] Con --> . Ind
	Preceding states: {66}
[42] Data --> . 'Value'
	Preceding states: {66}
[43] Ind --> . 'Name'
	Preceding states: {66}
[44] QUANTIF --> . 'Forall' Var_plus '(' CONDIT ')'
	Preceding states: {66}
[44] QUANTIF --> 'Forall' Var_plus '(' . CONDIT ')'
	Preceding states: {43, 54, 56, 60, 66, 70}
	Follow set: {')'}
[45] LITFORM --> . 'Neg' Atom
	Preceding states: {66}
[46] LITFORM --> . 'Naf' Atom
	Preceding states: {66}
[47] LITFORM --> . 'Naf' 'Neg' Atom
	Preceding states: {66}
-----------------------------
With CONDIT, go to state 67
With Atom, go to state 15
With 'Neg', go to state 16
With 'Naf', go to state 17
With LITFORM, go to state 46
With QUANTIF, go to state 47
With CONJ, go to state 48
With DISJ, go to state 49
With 'Exists', go to state 50
With 'Forall', go to state 51
With 'And', go to state 52
With 'Or', go to state 53
With 'Rel', go to state 18
With TERM, go to state 19
With 'Var', go to state 20
With Con, go to state 21
With Expr, go to state 22
With Data, go to state 23
With Ind, go to state 24
With 'Fun', go to state 25
With 'Value', go to state 26
With 'Name', go to state 27

=============================
STATE NUMBER: 67
=============================
[44] QUANTIF --> 'Forall' Var_plus '(' CONDIT . ')'
	Preceding states: {43, 54, 56, 60, 66, 70}
-----------------------------
With ')', go to state 68

=============================
STATE NUMBER: 68
=============================
[44] QUANTIF --> 'Forall' Var_plus '(' CONDIT ')' .
	Preceding states: {43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 69
=============================
[22] QUANTIF --> 'Exists' Var_plus . '(' CONDIT ')'
	Preceding states: {43, 54, 56, 60, 66, 70}
[39] Var_plus --> Var_plus . 'Var'
	Preceding states: {50}
-----------------------------
With '(', go to state 70
With 'Var', go to state 65

=============================
STATE NUMBER: 70
=============================
[16] CONDIT --> . LITFORM
	Preceding states: {70}
[17] CONDIT --> . QUANTIF
	Preceding states: {70}
[18] CONDIT --> . CONJ
	Preceding states: {70}
[19] CONDIT --> . DISJ
	Preceding states: {70}
[20] CONJ --> . 'And' '(' CONDIT_star ')'
	Preceding states: {70}
[21] DISJ --> . 'Or' '(' CONDIT_star ')'
	Preceding states: {70}
[22] QUANTIF --> . 'Exists' Var_plus '(' CONDIT ')'
	Preceding states: {70}
[22] QUANTIF --> 'Exists' Var_plus '(' . CONDIT ')'
	Preceding states: {43, 54, 56, 60, 66, 70}
	Follow set: {')'}
[23] LITFORM --> . Atom
	Preceding states: {70}
[24] Atom --> . 'Rel' '(' TERM_star ')'
	Preceding states: {70}
[25] Atom --> . TERM '=' TERM
	Preceding states: {70}
[26] TERM --> . 'Var'
	Preceding states: {70}
[27] TERM --> . Con
	Preceding states: {70}
[28] TERM --> . Expr
	Preceding states: {70}
[29] Expr --> . 'Fun' '(' TERM_star ')'
	Preceding states: {70}
[40] Con --> . Data
	Preceding states: {70}
[41] Con --> . Ind
	Preceding states: {70}
[42] Data --> . 'Value'
	Preceding states: {70}
[43] Ind --> . 'Name'
	Preceding states: {70}
[44] QUANTIF --> . 'Forall' Var_plus '(' CONDIT ')'
	Preceding states: {70}
[45] LITFORM --> . 'Neg' Atom
	Preceding states: {70}
[46] LITFORM --> . 'Naf' Atom
	Preceding states: {70}
[47] LITFORM --> . 'Naf' 'Neg' Atom
	Preceding states: {70}
-----------------------------
With CONDIT, go to state 71
With Atom, go to state 15
With 'Neg', go to state 16
With 'Naf', go to state 17
With LITFORM, go to state 46
With QUANTIF, go to state 47
With CONJ, go to state 48
With DISJ, go to state 49
With 'Exists', go to state 50
With 'Forall', go to state 51
With 'And', go to state 52
With 'Or', go to state 53
With 'Rel', go to state 18
With TERM, go to state 19
With 'Var', go to state 20
With Con, go to state 21
With Expr, go to state 22
With Data, go to state 23
With Ind, go to state 24
With 'Fun', go to state 25
With 'Value', go to state 26
With 'Name', go to state 27

=============================
STATE NUMBER: 71
=============================
[22] QUANTIF --> 'Exists' Var_plus '(' CONDIT . ')'
	Preceding states: {43, 54, 56, 60, 66, 70}
-----------------------------
With ')', go to state 72

=============================
STATE NUMBER: 72
=============================
[22] QUANTIF --> 'Exists' Var_plus '(' CONDIT ')' .
	Preceding states: {43, 54, 56, 60, 66, 70}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'And', ')', 'Or', 'Exists', 'Forall', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 73
=============================
[10] Declaration --> 'Function' 'Name' .
	Preceding states: {0, 3, 5}
	Lookahead set: {';'}
-----------------------------

=============================
STATE NUMBER: 74
=============================
[9] Declaration --> 'Relation' 'Name' .
	Preceding states: {0, 3, 5}
	Lookahead set: {';'}
-----------------------------

=============================
STATE NUMBER: 75
=============================
[7] RuleSetItem --> Declaration ';' .
	Preceding states: {0, 3, 5}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 76
=============================
[6] RuleSet --> RuleSet RuleSetItem .
	Preceding states: {0, 3}
	Lookahead set: {'$E_O_I$', 'Name', 'Fun', 'Rel', 'Value', 'Var', 'Relation', 'Function', 'Neg', 'Naf'}
-----------------------------

=============================
STATE NUMBER: 77
=============================
[2] $ROOTS$ --> '$ROOT_switch$' ROOT .
	Preceding states: {0}
	Lookahead set: {'$E_O_I$'}
-----------------------------
*** Compressing parsing tables ... 
***	6 rows eliminated in action table
***	59 rows eliminated in goto table
*** Table compression completed in 0 ms


ACTION TABLE:

	[1]	[2]	[3]	[4]	[5]	[6]	[7]	[8]	[9]	[10]	[11]	[12]	[13]	[14]	[15]	[16]	[17]	[18]	[19]	[20]	[21]
	________________________________________________________________________________________________________________________________________________________________________
[0]	 - 	 - 	 S27	 S25	 S18	 S26	 S20	 S3	 - 	 S9	 S10	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 S16	 S17
[1]	 A	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[2]	 R1	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[3]	 - 	 - 	 S27	 S25	 S18	 S26	 S20	 - 	 - 	 S9	 S10	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 S16	 S17
[4]	 R3	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[5]	 R4	 - 	 S27	 S25	 S18	 S26	 S20	 - 	 - 	 S9	 S10	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 S16	 S17
[6]	 R5	 - 	 R5	 R5	 R5	 R5	 R5	 - 	 - 	 R5	 R5	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 R5	 R5
[7]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 S75	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[8]	 R8	 - 	 R8	 R8	 R8	 R8	 R8	 - 	 - 	 R8	 R8	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 R8	 R8
[9]	 - 	 - 	 S74	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[10]	 - 	 - 	 S73	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[11]	 R11	 - 	 R11	 R11	 R11	 R11	 R11	 - 	 - 	 R11	 R11	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 R11	 R11
[12]	 R12	 - 	 R12	 R12	 R12	 R12	 R12	 - 	 - 	 R12	 R12	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 R12	 R12
[13]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 S43	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[14]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 R14	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[15]	 R23	 - 	 R23	 R23	 R23	 R23	 R23	 - 	 - 	 R23	 R23	 R23	 R23	 - 	 R23	 R23	 R23	 - 	 R23	 R23	 R23
[16]	 - 	 - 	 S27	 S25	 S18	 S26	 S20	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[17]	 - 	 - 	 S27	 S25	 S18	 S26	 S20	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 S40	 - 
[18]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 S36	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[19]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 S34	 - 	 - 	 - 
[20]	 R26	 - 	 R26	 R26	 R26	 R26	 R26	 - 	 - 	 R26	 R26	 R26	 R26	 - 	 R26	 R26	 R26	 R26	 R26	 R26	 R26
[21]	 R27	 - 	 R27	 R27	 R27	 R27	 R27	 - 	 - 	 R27	 R27	 R27	 R27	 - 	 R27	 R27	 R27	 R27	 R27	 R27	 R27
[22]	 R28	 - 	 R28	 R28	 R28	 R28	 R28	 - 	 - 	 R28	 R28	 R28	 R28	 - 	 R28	 R28	 R28	 R28	 R28	 R28	 R28
[23]	 R40	 - 	 R40	 R40	 R40	 R40	 R40	 - 	 - 	 R40	 R40	 R40	 R40	 - 	 R40	 R40	 R40	 R40	 R40	 R40	 R40
[24]	 R41	 - 	 R41	 R41	 R41	 R41	 R41	 - 	 - 	 R41	 R41	 R41	 R41	 - 	 R41	 R41	 R41	 R41	 R41	 R41	 R41
[25]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 S28	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[26]	 R42	 - 	 R42	 R42	 R42	 R42	 R42	 - 	 - 	 R42	 R42	 R42	 R42	 - 	 R42	 R42	 R42	 R42	 R42	 R42	 R42
[27]	 R43	 - 	 R43	 R43	 R43	 R43	 R43	 - 	 - 	 R43	 R43	 R43	 R43	 - 	 R43	 R43	 R43	 R43	 R43	 R43	 R43
[28]	 - 	 - 	 S27	 S25	 - 	 S26	 S20	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 R34	 - 	 - 	 - 	 - 	 - 	 - 
[29]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 S33	 - 	 - 	 - 	 - 	 - 	 - 
[30]	 - 	 - 	 S27	 S25	 - 	 S26	 S20	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 R35	 - 	 - 	 - 	 - 	 - 	 - 
[31]	 - 	 - 	 R36	 R36	 - 	 R36	 R36	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 R36	 - 	 - 	 - 	 - 	 - 	 - 
[32]	 - 	 - 	 R37	 R37	 - 	 R37	 R37	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 R37	 - 	 - 	 - 	 - 	 - 	 - 
[33]	 R29	 - 	 R29	 R29	 R29	 R29	 R29	 - 	 - 	 R29	 R29	 R29	 R29	 - 	 R29	 R29	 R29	 R29	 R29	 R29	 R29
[34]	 - 	 - 	 S27	 S25	 - 	 S26	 S20	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[35]	 R25	 - 	 R25	 R25	 R25	 R25	 R25	 - 	 - 	 R25	 R25	 R25	 R25	 - 	 R25	 R25	 R25	 - 	 R25	 R25	 R25
[36]	 - 	 - 	 S27	 S25	 - 	 S26	 S20	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 R34	 - 	 - 	 - 	 - 	 - 	 - 
[37]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 S38	 - 	 - 	 - 	 - 	 - 	 - 
[38]	 R24	 - 	 R24	 R24	 R24	 R24	 R24	 - 	 - 	 R24	 R24	 R24	 R24	 - 	 R24	 R24	 R24	 - 	 R24	 R24	 R24
[39]	 R46	 - 	 R46	 R46	 R46	 R46	 R46	 - 	 - 	 R46	 R46	 R46	 R46	 - 	 R46	 R46	 R46	 - 	 R46	 R46	 R46
[40]	 - 	 - 	 S27	 S25	 S18	 S26	 S20	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[41]	 R47	 - 	 R47	 R47	 R47	 R47	 R47	 - 	 - 	 R47	 R47	 R47	 R47	 - 	 R47	 R47	 R47	 - 	 R47	 R47	 R47
[42]	 R45	 - 	 R45	 R45	 R45	 R45	 R45	 - 	 - 	 R45	 R45	 R45	 R45	 - 	 R45	 R45	 R45	 - 	 R45	 R45	 R45
[43]	 - 	 - 	 S27	 S25	 S18	 S26	 S20	 - 	 - 	 - 	 - 	 - 	 S52	 - 	 - 	 S53	 S50	 - 	 S51	 S16	 S17
[44]	 R13	 - 	 R13	 R13	 R13	 R13	 R13	 - 	 - 	 R13	 R13	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 R13	 R13
[45]	 R15	 - 	 R15	 R15	 R15	 R15	 R15	 - 	 - 	 R15	 R15	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 R15	 R15
[46]	 R16	 - 	 R16	 R16	 R16	 R16	 R16	 - 	 - 	 R16	 R16	 - 	 R16	 - 	 R16	 R16	 R16	 - 	 R16	 R16	 R16
[47]	 R17	 - 	 R17	 R17	 R17	 R17	 R17	 - 	 - 	 R17	 R17	 - 	 R17	 - 	 R17	 R17	 R17	 - 	 R17	 R17	 R17
[48]	 R18	 - 	 R18	 R18	 R18	 R18	 R18	 - 	 - 	 R18	 R18	 - 	 R18	 - 	 R18	 R18	 R18	 - 	 R18	 R18	 R18
[49]	 R19	 - 	 R19	 R19	 R19	 R19	 R19	 - 	 - 	 R19	 R19	 - 	 R19	 - 	 R19	 R19	 R19	 - 	 R19	 R19	 R19
[50]	 - 	 - 	 - 	 - 	 - 	 - 	 S64	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[51]	 - 	 - 	 - 	 - 	 - 	 - 	 S64	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[52]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 S60	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[53]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 S54	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[54]	 - 	 - 	 S27	 S25	 S18	 S26	 S20	 - 	 - 	 - 	 - 	 - 	 S52	 - 	 R30	 S53	 S50	 - 	 S51	 S16	 S17
[55]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 S59	 - 	 - 	 - 	 - 	 - 	 - 
[56]	 - 	 - 	 S27	 S25	 S18	 S26	 S20	 - 	 - 	 - 	 - 	 - 	 S52	 - 	 R31	 S53	 S50	 - 	 S51	 S16	 S17
[57]	 - 	 - 	 R32	 R32	 R32	 R32	 R32	 - 	 - 	 - 	 - 	 - 	 R32	 - 	 R32	 R32	 R32	 - 	 R32	 R32	 R32
[58]	 - 	 - 	 R33	 R33	 R33	 R33	 R33	 - 	 - 	 - 	 - 	 - 	 R33	 - 	 R33	 R33	 R33	 - 	 R33	 R33	 R33
[59]	 R21	 - 	 R21	 R21	 R21	 R21	 R21	 - 	 - 	 R21	 R21	 - 	 R21	 - 	 R21	 R21	 R21	 - 	 R21	 R21	 R21
[60]	 - 	 - 	 S27	 S25	 S18	 S26	 S20	 - 	 - 	 - 	 - 	 - 	 S52	 - 	 R30	 S53	 S50	 - 	 S51	 S16	 S17
[61]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 S62	 - 	 - 	 - 	 - 	 - 	 - 
[62]	 R20	 - 	 R20	 R20	 R20	 R20	 R20	 - 	 - 	 R20	 R20	 - 	 R20	 - 	 R20	 R20	 R20	 - 	 R20	 R20	 R20
[63]	 - 	 - 	 - 	 - 	 - 	 - 	 S65	 - 	 - 	 - 	 - 	 - 	 - 	 S66	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[64]	 - 	 - 	 - 	 - 	 - 	 - 	 R38	 - 	 - 	 - 	 - 	 - 	 - 	 R38	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[65]	 - 	 - 	 - 	 - 	 - 	 - 	 R39	 - 	 - 	 - 	 - 	 - 	 - 	 R39	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[66]	 - 	 - 	 S27	 S25	 S18	 S26	 S20	 - 	 - 	 - 	 - 	 - 	 S52	 - 	 - 	 S53	 S50	 - 	 S51	 S16	 S17
[67]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 S68	 - 	 - 	 - 	 - 	 - 	 - 
[68]	 R44	 - 	 R44	 R44	 R44	 R44	 R44	 - 	 - 	 R44	 R44	 - 	 R44	 - 	 R44	 R44	 R44	 - 	 R44	 R44	 R44
[69]	 - 	 - 	 - 	 - 	 - 	 - 	 S65	 - 	 - 	 - 	 - 	 - 	 - 	 S70	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[70]	 - 	 - 	 S27	 S25	 S18	 S26	 S20	 - 	 - 	 - 	 - 	 - 	 S52	 - 	 - 	 S53	 S50	 - 	 S51	 S16	 S17
[71]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 S72	 - 	 - 	 - 	 - 	 - 	 - 
[72]	 R22	 - 	 R22	 R22	 R22	 R22	 R22	 - 	 - 	 R22	 R22	 - 	 R22	 - 	 R22	 R22	 R22	 - 	 R22	 R22	 R22
[73]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 R10	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[74]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 R9	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[75]	 R7	 - 	 R7	 R7	 R7	 R7	 R7	 - 	 - 	 R7	 R7	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 R7	 R7
[76]	 R6	 - 	 R6	 R6	 R6	 R6	 R6	 - 	 - 	 R6	 R6	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 R6	 R6
[77]	 R2	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 

GOTO TABLE:

	[1]	[2]	[3]	[4]	[5]	[6]	[7]	[8]	[9]	[10]	[11]	[12]	[13]	[14]	[15]	[16]	[17]	[18]	[19]	[20]	[21]	[22]	[23]	[24]	[25]	[26]	[27]
	____________________________________________________________________________________________________________________________________________________________________________________________________
[0]	 1 	 2 	 4 	 5 	 6 	 7 	 8 	 11 	 12 	 13 	 - 	 14 	 - 	 - 	 - 	 - 	 - 	 - 	 15 	 - 	 19 	 21 	 22 	 - 	 - 	 23 	 24 
[1]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[2]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[3]	 - 	 77 	 4 	 5 	 6 	 7 	 8 	 11 	 12 	 13 	 - 	 14 	 - 	 - 	 - 	 - 	 - 	 - 	 15 	 - 	 19 	 21 	 22 	 - 	 - 	 23 	 24 
[4]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[5]	 - 	 - 	 - 	 - 	 76 	 7 	 8 	 11 	 12 	 13 	 - 	 14 	 - 	 - 	 - 	 - 	 - 	 - 	 15 	 - 	 19 	 21 	 22 	 - 	 - 	 23 	 24 
[6]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[7]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[8]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[9]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[10]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[11]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[12]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[13]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[14]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[15]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[16]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 42 	 - 	 19 	 21 	 22 	 - 	 - 	 23 	 24 
[17]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 39 	 - 	 19 	 21 	 22 	 - 	 - 	 23 	 24 
[18]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[19]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[20]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[21]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[22]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[23]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[24]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[25]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[26]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[27]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[28]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 29 	 31 	 21 	 22 	 - 	 30 	 23 	 24 
[29]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[30]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 32 	 21 	 22 	 - 	 - 	 23 	 24 
[31]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[32]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[33]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[34]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 35 	 21 	 22 	 - 	 - 	 23 	 24 
[35]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[36]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 37 	 31 	 21 	 22 	 - 	 30 	 23 	 24 
[37]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[38]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[39]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[40]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 41 	 - 	 19 	 21 	 22 	 - 	 - 	 23 	 24 
[41]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[42]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[43]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 44 	 46 	 45 	 47 	 48 	 49 	 - 	 - 	 15 	 - 	 19 	 21 	 22 	 - 	 - 	 23 	 24 
[44]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[45]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[46]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[47]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[48]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[49]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[50]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 69 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[51]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 63 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[52]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[53]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[54]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 46 	 57 	 47 	 48 	 49 	 55 	 - 	 15 	 - 	 19 	 21 	 22 	 56 	 - 	 23 	 24 
[55]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[56]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 46 	 58 	 47 	 48 	 49 	 - 	 - 	 15 	 - 	 19 	 21 	 22 	 - 	 - 	 23 	 24 
[57]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[58]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[59]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[60]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 46 	 57 	 47 	 48 	 49 	 61 	 - 	 15 	 - 	 19 	 21 	 22 	 56 	 - 	 23 	 24 
[61]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[62]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[63]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[64]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[65]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[66]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 46 	 67 	 47 	 48 	 49 	 - 	 - 	 15 	 - 	 19 	 21 	 22 	 - 	 - 	 23 	 24 
[67]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[68]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[69]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[70]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 46 	 71 	 47 	 48 	 49 	 - 	 - 	 15 	 - 	 19 	 21 	 22 	 - 	 - 	 23 	 24 
[71]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[72]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[73]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[74]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[75]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[76]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 
[77]	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 - 	 -