*** This is Jacc: Just another compiler compiler... *** Run of Thu Aug 15 08:00:37 PDT 2019 *** Reading grammar in file ./sources/FuzzyFOTLattice.grm ... *** Including file ./sources\fff-description.grm ... *** Including file ./sources\fff-declarations.grm ... *** Including file ./sources\fff-parser-javacode.grm ... *** Including file ./sources\fff-grammar-rules.grm ... *** Including file ./sources\fff-ancillary-classes.grm ... *** ... in 77 ms RULES: [0] $START$ --> $ROOTS$ precedence = 1 [1] $ROOTS$ --> Session precedence = 1 [2] $ROOTS$ --> '$Session_switch$' Session precedence = 1 [3] Session --> Clauses Exit precedence = 1 [4] Session --> Exit precedence = 1 [5] Clauses --> Clause precedence = 1 [6] Clauses --> Clauses Clause precedence = 1 [7] $ACTION0$ --> precedence = 1 [8] Clause --> Pragma $ACTION0$ ';' precedence = 1 [9] $ACTION1$ --> precedence = 1 [10] Clause --> SimilarityDegree $ACTION1$ ';' precedence = 1 [11] $ACTION2$ --> precedence = 1 [12] Clause --> Unification $ACTION2$ ';' precedence = 1 [13] $ACTION3$ --> precedence = 1 [14] Clause --> Generalization $ACTION3$ ';' precedence = 1 [15] $ACTION4$ --> precedence = 1 [16] Clause --> 'error' $ACTION4$ ';' precedence = 1 [17] $ACTION5$ --> precedence = 1 [18] Exit --> 'exit' $ACTION5$ ';' precedence = 1 [19] Pragma --> InfoPragma precedence = 1 [20] Pragma --> FunPragma precedence = 1 [21] Pragma --> SigPragma precedence = 1 [22] Pragma --> SimPragma precedence = 1 [23] Pragma --> ClosePragma precedence = 1 [24] Pragma --> ShowPragma precedence = 1 [25] Pragma --> FunclassPragma precedence = 1 [26] Pragma --> TermclassPragma precedence = 1 [27] Pragma --> FunrepPragma precedence = 1 [28] Pragma --> TermrepPragma precedence = 1 [29] Pragma --> MapPragma precedence = 1 [30] Pragma --> CompPragma precedence = 1 [31] Pragma --> LoadPragma precedence = 1 [32] Pragma --> TracePragma precedence = 1 [33] Pragma --> ResetPragma precedence = 1 [34] InfoPragma --> 'INFO' PragmaName_opt precedence = 1 [35] PragmaName_opt --> precedence = 1 [36] PragmaName_opt --> PragmaName precedence = 1 [37] PragmaName --> 'INFO' precedence = 1 [38] PragmaName --> 'FUN' precedence = 1 [39] PragmaName --> 'SIG' precedence = 1 [40] PragmaName --> 'SIM' precedence = 1 [41] PragmaName --> 'CLOSE' precedence = 1 [42] PragmaName --> 'SHOW' precedence = 1 [43] PragmaName --> 'FUNCLASS' precedence = 1 [44] PragmaName --> 'TERMCLASS' precedence = 1 [45] PragmaName --> 'FUNREP' precedence = 1 [46] PragmaName --> 'TERMREP' precedence = 1 [47] PragmaName --> 'MAP' precedence = 1 [48] PragmaName --> 'COMP' precedence = 1 [49] PragmaName --> 'LOAD' precedence = 1 [50] PragmaName --> 'TRACE' precedence = 1 [51] PragmaName --> 'RESET' precedence = 1 [52] $ACTION6$ --> precedence = 1 [53] FunPragma --> 'FUN' $ACTION6$ FunctorsArities_opt precedence = 1 [54] FunctorsArities_opt --> precedence = 1 [55] FunctorsArities_opt --> FunctorsArities precedence = 1 [56] FunctorsArities --> FunctorArity precedence = 1 [57] FunctorsArities --> FunctorsArities FunctorArity precedence = 1 [58] FunctorArity --> 'FUNCTOR' SlashOpt 'NATURAL' precedence = 1 [59] SlashOpt --> precedence = 1 [60] SlashOpt --> '/' precedence = 1 [61] SigPragma --> 'SIG' precedence = 1 [62] $ACTION7$ --> precedence = 1 [63] SimPragma --> 'SIM' $ACTION7$ FuzzyPairs_Opt precedence = 1 [64] FuzzyPairs_Opt --> precedence = 1 [65] FuzzyPairs_Opt --> FuzzyPairs precedence = 1 [66] FuzzyPairs --> FuzzyPair precedence = 1 [67] FuzzyPairs --> FuzzyPairs FuzzyPair precedence = 1 [68] FuzzyPair --> 'FUNCTOR' 'FUNCTOR' 'FUZZYVAL' precedence = 1 [69] ClosePragma --> 'CLOSE' precedence = 1 [70] ShowPragma --> 'SHOW' precedence = 1 [71] FunclassPragma --> 'FUNCLASS' 'FUNCTOR' 'FUZZYVAL' precedence = 1 [72] TermclassPragma --> 'TERMCLASS' Term NaturalOrFuzzyval precedence = 1 [73] NaturalOrFuzzyval --> 'NATURAL' precedence = 1 [74] NaturalOrFuzzyval --> 'FUZZYVAL' precedence = 1 [75] FunrepPragma --> 'FUNREP' 'FUNCTOR' 'FUZZYVAL' precedence = 1 [76] TermrepPragma --> 'TERMREP' Term 'FUZZYVAL' precedence = 1 [77] $ACTION8$ --> precedence = 1 [78] MapPragma --> 'MAP' $ACTION8$ MapPragmaData_opt precedence = 1 [79] MapPragmaData_opt --> precedence = 1 [80] MapPragmaData_opt --> MapPragmaData precedence = 1 [81] MapPragmaData --> FuzzyPair MapPairs_opt precedence = 1 [82] MapPairs_opt --> precedence = 1 [83] MapPairs_opt --> MapPairs precedence = 1 [84] MapPairs --> MapPair MapPairs_opt precedence = 1 [85] MapPair --> 'NATURAL' ':' 'NATURAL' precedence = 1 [86] CompPragma --> 'COMP' precedence = 1 [87] LoadPragma --> 'LOAD' 'STRING' precedence = 1 [88] TracePragma --> 'TRACE' LevelOpt precedence = 1 [89] LevelOpt --> precedence = 1 [90] LevelOpt --> 'NATURAL' precedence = 1 [91] ResetPragma --> 'RESET' precedence = 1 [92] SimilarityDegree --> LhsTerm 'EQS' RhsTerm precedence = 1 [93] Unification --> LhsTerm 'INF' RhsTerm precedence = 1 [94] Generalization --> LhsTerm 'SUP' RhsTerm precedence = 1 [95] $ACTION9$ --> precedence = 1 [96] LhsTerm --> $ACTION9$ Term precedence = 1 [97] $ACTION10$ --> precedence = 1 [98] RhsTerm --> $ACTION10$ Term precedence = 1 [99] Term --> 'VARIABLE' precedence = 1 [100] Term --> Structure precedence = 1 [101] Term --> '(' Term ')' precedence = 1 [102] Structure --> 'FUNCTOR' precedence = 1 [103] $ACTION11$ --> precedence = 1 [104] Structure --> 'FUNCTOR' '(' $ACTION11$ Body ')' precedence = 1 [105] Body --> Term precedence = 1 [106] Body --> Body ',' Term precedence = 1 *** Starting grammar analysis ... *** Preprocessing the grammar ... *** ... in 12 ms TERMINALS: ---------- ------------- -------- PRECEDENCE ASSOCIATIVITY TERMINAL ---------- ------------- -------- [0] 1 none '$EMPTY$' [1] 1 none '$E_O_I$' [2] 1 none 'error' [3] 1 none '$Session_switch$' [4] 1 none 'FUNCTOR' [5] 1 none 'VARIABLE' [6] 1 none 'STRING' [7] 1 none 'NATURAL' [8] 1 none 'INF' [9] 1 none 'SUP' [10] 1 none 'FUZZYVAL' [11] 1 none 'INFO' [12] 1 none 'FUN' [13] 1 none 'SIG' [14] 1 none 'SIM' [15] 1 none 'CLOSE' [16] 1 none 'SHOW' [17] 1 none 'EQS' [18] 1 none 'FUNCLASS' [19] 1 none 'TERMCLASS' [20] 1 none 'FUNREP' [21] 1 none 'TERMREP' [22] 1 none 'MAP' [23] 1 none 'COMP' [24] 1 none 'LOAD' [25] 1 none 'TRACE' [26] 1 none 'RESET' [27] 1 none ';' [28] 1 none 'exit' [29] 1 none '/' [30] 1 none ':' [31] 1 none '(' [32] 1 none ')' [33] 1 none ',' ---------------------------------------- NON TERMINALS: [0] $START$ FIRST: {'error', '$Session_switch$', 'FUNCTOR', 'VARIABLE', 'INFO', 'FUN', 'SIG', 'SIM', 'CLOSE', 'SHOW', 'FUNCLASS', 'TERMCLASS', 'FUNREP', 'TERMREP', 'MAP', 'COMP', 'LOAD', 'TRACE', 'RESET', 'exit', '('} LSet: {$START$, $ROOTS$, Session, Clauses, Exit, Clause, Pragma, SimilarityDegree, Unification, Generalization, InfoPragma, FunPragma, SigPragma, SimPragma, ClosePragma, ShowPragma, FunclassPragma, TermclassPragma, FunrepPragma, TermrepPragma, MapPragma, CompPragma, LoadPragma, TracePragma, ResetPragma, LhsTerm, $ACTION9$} [1] $ROOTS$ FIRST: {'error', '$Session_switch$', 'FUNCTOR', 'VARIABLE', 'INFO', 'FUN', 'SIG', 'SIM', 'CLOSE', 'SHOW', 'FUNCLASS', 'TERMCLASS', 'FUNREP', 'TERMREP', 'MAP', 'COMP', 'LOAD', 'TRACE', 'RESET', 'exit', '('} LSet: {$ROOTS$, Session, Clauses, Exit, Clause, Pragma, SimilarityDegree, Unification, Generalization, InfoPragma, FunPragma, SigPragma, SimPragma, ClosePragma, ShowPragma, FunclassPragma, TermclassPragma, FunrepPragma, TermrepPragma, MapPragma, CompPragma, LoadPragma, TracePragma, ResetPragma, LhsTerm, $ACTION9$} [2] Session FIRST: {'error', 'FUNCTOR', 'VARIABLE', 'INFO', 'FUN', 'SIG', 'SIM', 'CLOSE', 'SHOW', 'FUNCLASS', 'TERMCLASS', 'FUNREP', 'TERMREP', 'MAP', 'COMP', 'LOAD', 'TRACE', 'RESET', 'exit', '('} LSet: {Session, Clauses, Exit, Clause, Pragma, SimilarityDegree, Unification, Generalization, InfoPragma, FunPragma, SigPragma, SimPragma, ClosePragma, ShowPragma, FunclassPragma, TermclassPragma, FunrepPragma, TermrepPragma, MapPragma, CompPragma, LoadPragma, TracePragma, ResetPragma, LhsTerm, $ACTION9$} [3] FuzzyPair FIRST: {'FUNCTOR'} LSet: {FuzzyPair} [4] Clauses FIRST: {'error', 'FUNCTOR', 'VARIABLE', 'INFO', 'FUN', 'SIG', 'SIM', 'CLOSE', 'SHOW', 'FUNCLASS', 'TERMCLASS', 'FUNREP', 'TERMREP', 'MAP', 'COMP', 'LOAD', 'TRACE', 'RESET', '('} LSet: {Clauses, Clause, Pragma, SimilarityDegree, Unification, Generalization, InfoPragma, FunPragma, SigPragma, SimPragma, ClosePragma, ShowPragma, FunclassPragma, TermclassPragma, FunrepPragma, TermrepPragma, MapPragma, CompPragma, LoadPragma, TracePragma, ResetPragma, LhsTerm, $ACTION9$} [5] Exit FIRST: {'exit'} LSet: {Exit} [6] Clause FIRST: {'error', 'FUNCTOR', 'VARIABLE', 'INFO', 'FUN', 'SIG', 'SIM', 'CLOSE', 'SHOW', 'FUNCLASS', 'TERMCLASS', 'FUNREP', 'TERMREP', 'MAP', 'COMP', 'LOAD', 'TRACE', 'RESET', '('} LSet: {Clause, Pragma, SimilarityDegree, Unification, Generalization, InfoPragma, FunPragma, SigPragma, SimPragma, ClosePragma, ShowPragma, FunclassPragma, TermclassPragma, FunrepPragma, TermrepPragma, MapPragma, CompPragma, LoadPragma, TracePragma, ResetPragma, LhsTerm, $ACTION9$} [7] Pragma FIRST: {'INFO', 'FUN', 'SIG', 'SIM', 'CLOSE', 'SHOW', 'FUNCLASS', 'TERMCLASS', 'FUNREP', 'TERMREP', 'MAP', 'COMP', 'LOAD', 'TRACE', 'RESET'} LSet: {Pragma, InfoPragma, FunPragma, SigPragma, SimPragma, ClosePragma, ShowPragma, FunclassPragma, TermclassPragma, FunrepPragma, TermrepPragma, MapPragma, CompPragma, LoadPragma, TracePragma, ResetPragma} [8] $ACTION0$ (nullable) FIRST: {} LSet: {$ACTION0$} [9] SimilarityDegree FIRST: {'FUNCTOR', 'VARIABLE', '('} LSet: {SimilarityDegree, LhsTerm, $ACTION9$} [10] $ACTION1$ (nullable) FIRST: {} LSet: {$ACTION1$} [11] Unification FIRST: {'FUNCTOR', 'VARIABLE', '('} LSet: {Unification, LhsTerm, $ACTION9$} [12] $ACTION2$ (nullable) FIRST: {} LSet: {$ACTION2$} [13] Generalization FIRST: {'FUNCTOR', 'VARIABLE', '('} LSet: {Generalization, LhsTerm, $ACTION9$} [14] $ACTION3$ (nullable) FIRST: {} LSet: {$ACTION3$} [15] $ACTION4$ (nullable) FIRST: {} LSet: {$ACTION4$} [16] $ACTION5$ (nullable) FIRST: {} LSet: {$ACTION5$} [17] InfoPragma FIRST: {'INFO'} LSet: {InfoPragma} [18] FunPragma FIRST: {'FUN'} LSet: {FunPragma} [19] SigPragma FIRST: {'SIG'} LSet: {SigPragma} [20] SimPragma FIRST: {'SIM'} LSet: {SimPragma} [21] ClosePragma FIRST: {'CLOSE'} LSet: {ClosePragma} [22] ShowPragma FIRST: {'SHOW'} LSet: {ShowPragma} [23] FunclassPragma FIRST: {'FUNCLASS'} LSet: {FunclassPragma} [24] TermclassPragma FIRST: {'TERMCLASS'} LSet: {TermclassPragma} [25] FunrepPragma FIRST: {'FUNREP'} LSet: {FunrepPragma} [26] TermrepPragma FIRST: {'TERMREP'} LSet: {TermrepPragma} [27] MapPragma FIRST: {'MAP'} LSet: {MapPragma} [28] CompPragma FIRST: {'COMP'} LSet: {CompPragma} [29] LoadPragma FIRST: {'LOAD'} LSet: {LoadPragma} [30] TracePragma FIRST: {'TRACE'} LSet: {TracePragma} [31] ResetPragma FIRST: {'RESET'} LSet: {ResetPragma} [32] PragmaName_opt (nullable) FIRST: {'INFO', 'FUN', 'SIG', 'SIM', 'CLOSE', 'SHOW', 'FUNCLASS', 'TERMCLASS', 'FUNREP', 'TERMREP', 'MAP', 'COMP', 'LOAD', 'TRACE', 'RESET'} LSet: {PragmaName_opt, PragmaName} [33] PragmaName FIRST: {'INFO', 'FUN', 'SIG', 'SIM', 'CLOSE', 'SHOW', 'FUNCLASS', 'TERMCLASS', 'FUNREP', 'TERMREP', 'MAP', 'COMP', 'LOAD', 'TRACE', 'RESET'} LSet: {PragmaName} [34] FunctorsArities_opt (nullable) FIRST: {'FUNCTOR'} LSet: {FunctorsArities_opt, FunctorsArities, FunctorArity} [35] $ACTION6$ (nullable) FIRST: {} LSet: {$ACTION6$} [36] FunctorsArities FIRST: {'FUNCTOR'} LSet: {FunctorsArities, FunctorArity} [37] FunctorArity FIRST: {'FUNCTOR'} LSet: {FunctorArity} [38] SlashOpt (nullable) FIRST: {'/'} LSet: {SlashOpt} [39] FuzzyPairs_Opt (nullable) FIRST: {'FUNCTOR'} LSet: {FuzzyPair, FuzzyPairs_Opt, FuzzyPairs} [40] $ACTION7$ (nullable) FIRST: {} LSet: {$ACTION7$} [41] FuzzyPairs FIRST: {'FUNCTOR'} LSet: {FuzzyPair, FuzzyPairs} [42] Term FIRST: {'FUNCTOR', 'VARIABLE', '('} LSet: {Term, Structure} [43] NaturalOrFuzzyval FIRST: {'NATURAL', 'FUZZYVAL'} LSet: {NaturalOrFuzzyval} [44] MapPragmaData_opt (nullable) FIRST: {'FUNCTOR'} LSet: {FuzzyPair, MapPragmaData_opt, MapPragmaData} [45] $ACTION8$ (nullable) FIRST: {} LSet: {$ACTION8$} [46] MapPragmaData FIRST: {'FUNCTOR'} LSet: {FuzzyPair, MapPragmaData} [47] MapPairs_opt (nullable) FIRST: {'NATURAL'} LSet: {MapPairs_opt, MapPairs, MapPair} [48] MapPairs FIRST: {'NATURAL'} LSet: {MapPairs, MapPair} [49] MapPair FIRST: {'NATURAL'} LSet: {MapPair} [50] LevelOpt (nullable) FIRST: {'NATURAL'} LSet: {LevelOpt} [51] LhsTerm FIRST: {'FUNCTOR', 'VARIABLE', '('} LSet: {LhsTerm, $ACTION9$} [52] RhsTerm FIRST: {'FUNCTOR', 'VARIABLE', '('} LSet: {RhsTerm, $ACTION10$} [53] $ACTION9$ (nullable) FIRST: {} LSet: {$ACTION9$} [54] $ACTION10$ (nullable) FIRST: {} LSet: {$ACTION10$} [55] Structure FIRST: {'FUNCTOR'} LSet: {Structure} [56] Body FIRST: {'FUNCTOR', 'VARIABLE', '('} LSet: {Term, Structure, Body} [57] $ACTION11$ (nullable) FIRST: {} LSet: {$ACTION11$} *** Building canonical LR states ... *** ... in 12 ms *** Propagating lookahead symbols ... *** ... in 2 ms *** Grammar analysis completed in 64 ms. *** Building parsing tables ... *** ... in 1 ms ============================= STATE NUMBER: 0 ============================= [0] $START$ --> . $ROOTS$ Preceding states: {0} Follow set: {'$E_O_I$'} Preceding states: {0} [1] $ROOTS$ --> . Session Preceding states: {0} [2] $ROOTS$ --> . '$Session_switch$' Session Preceding states: {0} [3] Session --> . Clauses Exit Preceding states: {0} [4] Session --> . Exit Preceding states: {0} [5] Clauses --> . Clause Preceding states: {0} [6] Clauses --> . Clauses Clause Preceding states: {0} [8] Clause --> . Pragma $ACTION0$ ';' Preceding states: {0} [10] Clause --> . SimilarityDegree $ACTION1$ ';' Preceding states: {0} [12] Clause --> . Unification $ACTION2$ ';' Preceding states: {0} [14] Clause --> . Generalization $ACTION3$ ';' Preceding states: {0} [16] Clause --> . 'error' $ACTION4$ ';' Preceding states: {0} [18] Exit --> . 'exit' $ACTION5$ ';' Preceding states: {0} [19] Pragma --> . InfoPragma Preceding states: {0} [20] Pragma --> . FunPragma Preceding states: {0} [21] Pragma --> . SigPragma Preceding states: {0} [22] Pragma --> . SimPragma Preceding states: {0} [23] Pragma --> . ClosePragma Preceding states: {0} [24] Pragma --> . ShowPragma Preceding states: {0} [25] Pragma --> . FunclassPragma Preceding states: {0} [26] Pragma --> . TermclassPragma Preceding states: {0} [27] Pragma --> . FunrepPragma Preceding states: {0} [28] Pragma --> . TermrepPragma Preceding states: {0} [29] Pragma --> . MapPragma Preceding states: {0} [30] Pragma --> . CompPragma Preceding states: {0} [31] Pragma --> . LoadPragma Preceding states: {0} [32] Pragma --> . TracePragma Preceding states: {0} [33] Pragma --> . ResetPragma Preceding states: {0} [34] InfoPragma --> . 'INFO' PragmaName_opt Preceding states: {0} [53] FunPragma --> . 'FUN' $ACTION6$ FunctorsArities_opt Preceding states: {0} [61] SigPragma --> . 'SIG' Preceding states: {0} [63] SimPragma --> . 'SIM' $ACTION7$ FuzzyPairs_Opt Preceding states: {0} [69] ClosePragma --> . 'CLOSE' Preceding states: {0} [70] ShowPragma --> . 'SHOW' Preceding states: {0} [71] FunclassPragma --> . 'FUNCLASS' 'FUNCTOR' 'FUZZYVAL' Preceding states: {0} [72] TermclassPragma --> . 'TERMCLASS' Term NaturalOrFuzzyval Preceding states: {0} [75] FunrepPragma --> . 'FUNREP' 'FUNCTOR' 'FUZZYVAL' Preceding states: {0} [76] TermrepPragma --> . 'TERMREP' Term 'FUZZYVAL' Preceding states: {0} [78] MapPragma --> . 'MAP' $ACTION8$ MapPragmaData_opt Preceding states: {0} [86] CompPragma --> . 'COMP' Preceding states: {0} [87] LoadPragma --> . 'LOAD' 'STRING' Preceding states: {0} [88] TracePragma --> . 'TRACE' LevelOpt Preceding states: {0} [91] ResetPragma --> . 'RESET' Preceding states: {0} [92] SimilarityDegree --> . LhsTerm 'EQS' RhsTerm Preceding states: {0} [93] Unification --> . LhsTerm 'INF' RhsTerm Preceding states: {0} [94] Generalization --> . LhsTerm 'SUP' RhsTerm Preceding states: {0} [95] $ACTION9$ --> . Preceding states: {0} Lookahead set: {'FUNCTOR', 'VARIABLE', '('} [96] LhsTerm --> . $ACTION9$ Term Preceding states: {0} ----------------------------- With $ROOTS$, go to state 1 With Session, go to state 2 With '$Session_switch$', go to state 3 With Clauses, go to state 4 With Exit, go to state 5 With Clause, go to state 6 With 'exit', go to state 7 With Pragma, go to state 8 With SimilarityDegree, go to state 9 With Unification, go to state 10 With Generalization, go to state 11 With 'error', go to state 12 With InfoPragma, go to state 13 With FunPragma, go to state 14 With SigPragma, go to state 15 With SimPragma, go to state 16 With ClosePragma, go to state 17 With ShowPragma, go to state 18 With FunclassPragma, go to state 19 With TermclassPragma, go to state 20 With FunrepPragma, go to state 21 With TermrepPragma, go to state 22 With MapPragma, go to state 23 With CompPragma, go to state 24 With LoadPragma, go to state 25 With TracePragma, go to state 26 With ResetPragma, go to state 27 With LhsTerm, go to state 28 With 'INFO', go to state 29 With 'FUN', go to state 30 With 'SIG', go to state 31 With 'SIM', go to state 32 With 'CLOSE', go to state 33 With 'SHOW', go to state 34 With 'FUNCLASS', go to state 35 With 'TERMCLASS', go to state 36 With 'FUNREP', go to state 37 With 'TERMREP', go to state 38 With 'MAP', go to state 39 With 'COMP', go to state 40 With 'LOAD', go to state 41 With 'TRACE', go to state 42 With 'RESET', go to state 43 With $ACTION9$, go to state 44 ============================= STATE NUMBER: 1 ============================= [0] $START$ --> $ROOTS$ . Preceding states: {0} Lookahead set: {} ----------------------------- ============================= STATE NUMBER: 2 ============================= [1] $ROOTS$ --> Session . Preceding states: {0} Lookahead set: {'$E_O_I$'} ----------------------------- ============================= STATE NUMBER: 3 ============================= [2] $ROOTS$ --> '$Session_switch$' . Session Preceding states: {0} Follow set: {'$E_O_I$'} [3] Session --> . Clauses Exit Preceding states: {3} [4] Session --> . Exit Preceding states: {3} [5] Clauses --> . Clause Preceding states: {3} [6] Clauses --> . Clauses Clause Preceding states: {3} [8] Clause --> . Pragma $ACTION0$ ';' Preceding states: {3} [10] Clause --> . SimilarityDegree $ACTION1$ ';' Preceding states: {3} [12] Clause --> . Unification $ACTION2$ ';' Preceding states: {3} [14] Clause --> . Generalization $ACTION3$ ';' Preceding states: {3} [16] Clause --> . 'error' $ACTION4$ ';' Preceding states: {3} [18] Exit --> . 'exit' $ACTION5$ ';' Preceding states: {3} [19] Pragma --> . InfoPragma Preceding states: {3} [20] Pragma --> . FunPragma Preceding states: {3} [21] Pragma --> . SigPragma Preceding states: {3} [22] Pragma --> . SimPragma Preceding states: {3} [23] Pragma --> . ClosePragma Preceding states: {3} [24] Pragma --> . ShowPragma Preceding states: {3} [25] Pragma --> . FunclassPragma Preceding states: {3} [26] Pragma --> . TermclassPragma Preceding states: {3} [27] Pragma --> . FunrepPragma Preceding states: {3} [28] Pragma --> . TermrepPragma Preceding states: {3} [29] Pragma --> . MapPragma Preceding states: {3} [30] Pragma --> . CompPragma Preceding states: {3} [31] Pragma --> . LoadPragma Preceding states: {3} [32] Pragma --> . TracePragma Preceding states: {3} [33] Pragma --> . ResetPragma Preceding states: {3} [34] InfoPragma --> . 'INFO' PragmaName_opt Preceding states: {3} [53] FunPragma --> . 'FUN' $ACTION6$ FunctorsArities_opt Preceding states: {3} [61] SigPragma --> . 'SIG' Preceding states: {3} [63] SimPragma --> . 'SIM' $ACTION7$ FuzzyPairs_Opt Preceding states: {3} [69] ClosePragma --> . 'CLOSE' Preceding states: {3} [70] ShowPragma --> . 'SHOW' Preceding states: {3} [71] FunclassPragma --> . 'FUNCLASS' 'FUNCTOR' 'FUZZYVAL' Preceding states: {3} [72] TermclassPragma --> . 'TERMCLASS' Term NaturalOrFuzzyval Preceding states: {3} [75] FunrepPragma --> . 'FUNREP' 'FUNCTOR' 'FUZZYVAL' Preceding states: {3} [76] TermrepPragma --> . 'TERMREP' Term 'FUZZYVAL' Preceding states: {3} [78] MapPragma --> . 'MAP' $ACTION8$ MapPragmaData_opt Preceding states: {3} [86] CompPragma --> . 'COMP' Preceding states: {3} [87] LoadPragma --> . 'LOAD' 'STRING' Preceding states: {3} [88] TracePragma --> . 'TRACE' LevelOpt Preceding states: {3} [91] ResetPragma --> . 'RESET' Preceding states: {3} [92] SimilarityDegree --> . LhsTerm 'EQS' RhsTerm Preceding states: {3} [93] Unification --> . LhsTerm 'INF' RhsTerm Preceding states: {3} [94] Generalization --> . LhsTerm 'SUP' RhsTerm Preceding states: {3} [95] $ACTION9$ --> . Preceding states: {3} Lookahead set: {'FUNCTOR', 'VARIABLE', '('} [96] LhsTerm --> . $ACTION9$ Term Preceding states: {3} ----------------------------- With Session, go to state 139 With Clauses, go to state 4 With Exit, go to state 5 With Clause, go to state 6 With 'exit', go to state 7 With Pragma, go to state 8 With SimilarityDegree, go to state 9 With Unification, go to state 10 With Generalization, go to state 11 With 'error', go to state 12 With InfoPragma, go to state 13 With FunPragma, go to state 14 With SigPragma, go to state 15 With SimPragma, go to state 16 With ClosePragma, go to state 17 With ShowPragma, go to state 18 With FunclassPragma, go to state 19 With TermclassPragma, go to state 20 With FunrepPragma, go to state 21 With TermrepPragma, go to state 22 With MapPragma, go to state 23 With CompPragma, go to state 24 With LoadPragma, go to state 25 With TracePragma, go to state 26 With ResetPragma, go to state 27 With LhsTerm, go to state 28 With 'INFO', go to state 29 With 'FUN', go to state 30 With 'SIG', go to state 31 With 'SIM', go to state 32 With 'CLOSE', go to state 33 With 'SHOW', go to state 34 With 'FUNCLASS', go to state 35 With 'TERMCLASS', go to state 36 With 'FUNREP', go to state 37 With 'TERMREP', go to state 38 With 'MAP', go to state 39 With 'COMP', go to state 40 With 'LOAD', go to state 41 With 'TRACE', go to state 42 With 'RESET', go to state 43 With $ACTION9$, go to state 44 ============================= STATE NUMBER: 4 ============================= [3] Session --> Clauses . Exit Preceding states: {0, 3} Follow set: {'$E_O_I$'} [6] Clauses --> Clauses . Clause Preceding states: {0, 3} Follow set: {'error', 'FUNCTOR', 'VARIABLE', 'INFO', 'FUN', 'SIG', 'SIM', 'CLOSE', 'SHOW', 'FUNCLASS', 'TERMCLASS', 'FUNREP', 'TERMREP', 'MAP', 'COMP', 'LOAD', 'TRACE', 'RESET', 'exit', '('} [8] Clause --> . Pragma $ACTION0$ ';' Preceding states: {4} [10] Clause --> . SimilarityDegree $ACTION1$ ';' Preceding states: {4} [12] Clause --> . Unification $ACTION2$ ';' Preceding states: {4} [14] Clause --> . Generalization $ACTION3$ ';' Preceding states: {4} [16] Clause --> . 'error' $ACTION4$ ';' Preceding states: {4} [18] Exit --> . 'exit' $ACTION5$ ';' Preceding states: {4} [19] Pragma --> . InfoPragma Preceding states: {4} [20] Pragma --> . FunPragma Preceding states: {4} [21] Pragma --> . SigPragma Preceding states: {4} [22] Pragma --> . SimPragma Preceding states: {4} [23] Pragma --> . ClosePragma Preceding states: {4} [24] Pragma --> . ShowPragma Preceding states: {4} [25] Pragma --> . FunclassPragma Preceding states: {4} [26] Pragma --> . TermclassPragma Preceding states: {4} [27] Pragma --> . FunrepPragma Preceding states: {4} [28] Pragma --> . TermrepPragma Preceding states: {4} [29] Pragma --> . MapPragma Preceding states: {4} [30] Pragma --> . CompPragma Preceding states: {4} [31] Pragma --> . LoadPragma Preceding states: {4} [32] Pragma --> . TracePragma Preceding states: {4} [33] Pragma --> . ResetPragma Preceding states: {4} [34] InfoPragma --> . 'INFO' PragmaName_opt Preceding states: {4} [53] FunPragma --> . 'FUN' $ACTION6$ FunctorsArities_opt Preceding states: {4} [61] SigPragma --> . 'SIG' Preceding states: {4} [63] SimPragma --> . 'SIM' $ACTION7$ FuzzyPairs_Opt Preceding states: {4} [69] ClosePragma --> . 'CLOSE' Preceding states: {4} [70] ShowPragma --> . 'SHOW' Preceding states: {4} [71] FunclassPragma --> . 'FUNCLASS' 'FUNCTOR' 'FUZZYVAL' Preceding states: {4} [72] TermclassPragma --> . 'TERMCLASS' Term NaturalOrFuzzyval Preceding states: {4} [75] FunrepPragma --> . 'FUNREP' 'FUNCTOR' 'FUZZYVAL' Preceding states: {4} [76] TermrepPragma --> . 'TERMREP' Term 'FUZZYVAL' Preceding states: {4} [78] MapPragma --> . 'MAP' $ACTION8$ MapPragmaData_opt Preceding states: {4} [86] CompPragma --> . 'COMP' Preceding states: {4} [87] LoadPragma --> . 'LOAD' 'STRING' Preceding states: {4} [88] TracePragma --> . 'TRACE' LevelOpt Preceding states: {4} [91] ResetPragma --> . 'RESET' Preceding states: {4} [92] SimilarityDegree --> . LhsTerm 'EQS' RhsTerm Preceding states: {4} [93] Unification --> . LhsTerm 'INF' RhsTerm Preceding states: {4} [94] Generalization --> . LhsTerm 'SUP' RhsTerm Preceding states: {4} [95] $ACTION9$ --> . Preceding states: {4} Lookahead set: {'FUNCTOR', 'VARIABLE', '('} [96] LhsTerm --> . $ACTION9$ Term Preceding states: {4} ----------------------------- With Exit, go to state 137 With Clause, go to state 138 With 'exit', go to state 7 With Pragma, go to state 8 With SimilarityDegree, go to state 9 With Unification, go to state 10 With Generalization, go to state 11 With 'error', go to state 12 With InfoPragma, go to state 13 With FunPragma, go to state 14 With SigPragma, go to state 15 With SimPragma, go to state 16 With ClosePragma, go to state 17 With ShowPragma, go to state 18 With FunclassPragma, go to state 19 With TermclassPragma, go to state 20 With FunrepPragma, go to state 21 With TermrepPragma, go to state 22 With MapPragma, go to state 23 With CompPragma, go to state 24 With LoadPragma, go to state 25 With TracePragma, go to state 26 With ResetPragma, go to state 27 With LhsTerm, go to state 28 With 'INFO', go to state 29 With 'FUN', go to state 30 With 'SIG', go to state 31 With 'SIM', go to state 32 With 'CLOSE', go to state 33 With 'SHOW', go to state 34 With 'FUNCLASS', go to state 35 With 'TERMCLASS', go to state 36 With 'FUNREP', go to state 37 With 'TERMREP', go to state 38 With 'MAP', go to state 39 With 'COMP', go to state 40 With 'LOAD', go to state 41 With 'TRACE', go to state 42 With 'RESET', go to state 43 With $ACTION9$, go to state 44 ============================= STATE NUMBER: 5 ============================= [4] Session --> Exit . Preceding states: {0, 3} Lookahead set: {'$E_O_I$'} ----------------------------- ============================= STATE NUMBER: 6 ============================= [5] Clauses --> Clause . Preceding states: {0, 3} Lookahead set: {'error', 'FUNCTOR', 'VARIABLE', 'INFO', 'FUN', 'SIG', 'SIM', 'CLOSE', 'SHOW', 'FUNCLASS', 'TERMCLASS', 'FUNREP', 'TERMREP', 'MAP', 'COMP', 'LOAD', 'TRACE', 'RESET', 'exit', '('} ----------------------------- ============================= STATE NUMBER: 7 ============================= [17] $ACTION5$ --> . Preceding states: {7} Lookahead set: {';'} [18] Exit --> 'exit' . $ACTION5$ ';' Preceding states: {0, 3, 4} Follow set: {';'} ----------------------------- With $ACTION5$, go to state 135 ============================= STATE NUMBER: 8 ============================= [7] $ACTION0$ --> . Preceding states: {8} Lookahead set: {';'} [8] Clause --> Pragma . $ACTION0$ ';' Preceding states: {0, 3, 4} Follow set: {';'} ----------------------------- With $ACTION0$, go to state 133 ============================= STATE NUMBER: 9 ============================= [9] $ACTION1$ --> . Preceding states: {9} Lookahead set: {';'} [10] Clause --> SimilarityDegree . $ACTION1$ ';' Preceding states: {0, 3, 4} Follow set: {';'} ----------------------------- With $ACTION1$, go to state 131 ============================= STATE NUMBER: 10 ============================= [11] $ACTION2$ --> . Preceding states: {10} Lookahead set: {';'} [12] Clause --> Unification . $ACTION2$ ';' Preceding states: {0, 3, 4} Follow set: {';'} ----------------------------- With $ACTION2$, go to state 129 ============================= STATE NUMBER: 11 ============================= [13] $ACTION3$ --> . Preceding states: {11} Lookahead set: {';'} [14] Clause --> Generalization . $ACTION3$ ';' Preceding states: {0, 3, 4} Follow set: {';'} ----------------------------- With $ACTION3$, go to state 127 ============================= STATE NUMBER: 12 ============================= [15] $ACTION4$ --> . Preceding states: {12} Lookahead set: {';'} [16] Clause --> 'error' . $ACTION4$ ';' Preceding states: {0, 3, 4} Follow set: {';'} ----------------------------- With $ACTION4$, go to state 125 ============================= STATE NUMBER: 13 ============================= [19] Pragma --> InfoPragma . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 14 ============================= [20] Pragma --> FunPragma . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 15 ============================= [21] Pragma --> SigPragma . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 16 ============================= [22] Pragma --> SimPragma . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 17 ============================= [23] Pragma --> ClosePragma . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 18 ============================= [24] Pragma --> ShowPragma . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 19 ============================= [25] Pragma --> FunclassPragma . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 20 ============================= [26] Pragma --> TermclassPragma . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 21 ============================= [27] Pragma --> FunrepPragma . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 22 ============================= [28] Pragma --> TermrepPragma . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 23 ============================= [29] Pragma --> MapPragma . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 24 ============================= [30] Pragma --> CompPragma . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 25 ============================= [31] Pragma --> LoadPragma . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 26 ============================= [32] Pragma --> TracePragma . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 27 ============================= [33] Pragma --> ResetPragma . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 28 ============================= [92] SimilarityDegree --> LhsTerm . 'EQS' RhsTerm Preceding states: {0, 3, 4} [93] Unification --> LhsTerm . 'INF' RhsTerm Preceding states: {0, 3, 4} [94] Generalization --> LhsTerm . 'SUP' RhsTerm Preceding states: {0, 3, 4} ----------------------------- With 'EQS', go to state 117 With 'INF', go to state 118 With 'SUP', go to state 119 ============================= STATE NUMBER: 29 ============================= [34] InfoPragma --> 'INFO' . PragmaName_opt Preceding states: {0, 3, 4} Follow set: {';'} [35] PragmaName_opt --> . Preceding states: {29} Lookahead set: {';'} [36] PragmaName_opt --> . PragmaName Preceding states: {29} [37] PragmaName --> . 'INFO' Preceding states: {29} [38] PragmaName --> . 'FUN' Preceding states: {29} [39] PragmaName --> . 'SIG' Preceding states: {29} [40] PragmaName --> . 'SIM' Preceding states: {29} [41] PragmaName --> . 'CLOSE' Preceding states: {29} [42] PragmaName --> . 'SHOW' Preceding states: {29} [43] PragmaName --> . 'FUNCLASS' Preceding states: {29} [44] PragmaName --> . 'TERMCLASS' Preceding states: {29} [45] PragmaName --> . 'FUNREP' Preceding states: {29} [46] PragmaName --> . 'TERMREP' Preceding states: {29} [47] PragmaName --> . 'MAP' Preceding states: {29} [48] PragmaName --> . 'COMP' Preceding states: {29} [49] PragmaName --> . 'LOAD' Preceding states: {29} [50] PragmaName --> . 'TRACE' Preceding states: {29} [51] PragmaName --> . 'RESET' Preceding states: {29} ----------------------------- With PragmaName_opt, go to state 100 With PragmaName, go to state 101 With 'INFO', go to state 102 With 'FUN', go to state 103 With 'SIG', go to state 104 With 'SIM', go to state 105 With 'CLOSE', go to state 106 With 'SHOW', go to state 107 With 'FUNCLASS', go to state 108 With 'TERMCLASS', go to state 109 With 'FUNREP', go to state 110 With 'TERMREP', go to state 111 With 'MAP', go to state 112 With 'COMP', go to state 113 With 'LOAD', go to state 114 With 'TRACE', go to state 115 With 'RESET', go to state 116 ============================= STATE NUMBER: 30 ============================= [52] $ACTION6$ --> . Preceding states: {30} Lookahead set: {'FUNCTOR', ';'} [53] FunPragma --> 'FUN' . $ACTION6$ FunctorsArities_opt Preceding states: {0, 3, 4} Follow set: {'FUNCTOR', ';'} ----------------------------- With $ACTION6$, go to state 91 ============================= STATE NUMBER: 31 ============================= [61] SigPragma --> 'SIG' . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 32 ============================= [62] $ACTION7$ --> . Preceding states: {32} Lookahead set: {'FUNCTOR', ';'} [63] SimPragma --> 'SIM' . $ACTION7$ FuzzyPairs_Opt Preceding states: {0, 3, 4} Follow set: {'FUNCTOR', ';'} ----------------------------- With $ACTION7$, go to state 86 ============================= STATE NUMBER: 33 ============================= [69] ClosePragma --> 'CLOSE' . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 34 ============================= [70] ShowPragma --> 'SHOW' . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 35 ============================= [71] FunclassPragma --> 'FUNCLASS' . 'FUNCTOR' 'FUZZYVAL' Preceding states: {0, 3, 4} ----------------------------- With 'FUNCTOR', go to state 84 ============================= STATE NUMBER: 36 ============================= [72] TermclassPragma --> 'TERMCLASS' . Term NaturalOrFuzzyval Preceding states: {0, 3, 4} Follow set: {'NATURAL', 'FUZZYVAL'} [99] Term --> . 'VARIABLE' Preceding states: {36} [100] Term --> . Structure Preceding states: {36} [101] Term --> . '(' Term ')' Preceding states: {36} [102] Structure --> . 'FUNCTOR' Preceding states: {36} [104] Structure --> . 'FUNCTOR' '(' $ACTION11$ Body ')' Preceding states: {36} ----------------------------- With Term, go to state 80 With 'VARIABLE', go to state 46 With Structure, go to state 47 With '(', go to state 48 With 'FUNCTOR', go to state 49 ============================= STATE NUMBER: 37 ============================= [75] FunrepPragma --> 'FUNREP' . 'FUNCTOR' 'FUZZYVAL' Preceding states: {0, 3, 4} ----------------------------- With 'FUNCTOR', go to state 78 ============================= STATE NUMBER: 38 ============================= [76] TermrepPragma --> 'TERMREP' . Term 'FUZZYVAL' Preceding states: {0, 3, 4} Follow set: {'FUZZYVAL'} [99] Term --> . 'VARIABLE' Preceding states: {38} [100] Term --> . Structure Preceding states: {38} [101] Term --> . '(' Term ')' Preceding states: {38} [102] Structure --> . 'FUNCTOR' Preceding states: {38} [104] Structure --> . 'FUNCTOR' '(' $ACTION11$ Body ')' Preceding states: {38} ----------------------------- With Term, go to state 76 With 'VARIABLE', go to state 46 With Structure, go to state 47 With '(', go to state 48 With 'FUNCTOR', go to state 49 ============================= STATE NUMBER: 39 ============================= [77] $ACTION8$ --> . Preceding states: {39} Lookahead set: {'FUNCTOR', ';'} [78] MapPragma --> 'MAP' . $ACTION8$ MapPragmaData_opt Preceding states: {0, 3, 4} Follow set: {'FUNCTOR', ';'} ----------------------------- With $ACTION8$, go to state 62 ============================= STATE NUMBER: 40 ============================= [86] CompPragma --> 'COMP' . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 41 ============================= [87] LoadPragma --> 'LOAD' . 'STRING' Preceding states: {0, 3, 4} ----------------------------- With 'STRING', go to state 61 ============================= STATE NUMBER: 42 ============================= [88] TracePragma --> 'TRACE' . LevelOpt Preceding states: {0, 3, 4} Follow set: {';'} [89] LevelOpt --> . Preceding states: {42} Lookahead set: {';'} [90] LevelOpt --> . 'NATURAL' Preceding states: {42} ----------------------------- With LevelOpt, go to state 59 With 'NATURAL', go to state 60 ============================= STATE NUMBER: 43 ============================= [91] ResetPragma --> 'RESET' . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 44 ============================= [96] LhsTerm --> $ACTION9$ . Term Preceding states: {0, 3, 4} Follow set: {'INF', 'SUP', 'EQS'} [99] Term --> . 'VARIABLE' Preceding states: {44} [100] Term --> . Structure Preceding states: {44} [101] Term --> . '(' Term ')' Preceding states: {44} [102] Structure --> . 'FUNCTOR' Preceding states: {44} [104] Structure --> . 'FUNCTOR' '(' $ACTION11$ Body ')' Preceding states: {44} ----------------------------- With Term, go to state 45 With 'VARIABLE', go to state 46 With Structure, go to state 47 With '(', go to state 48 With 'FUNCTOR', go to state 49 ============================= STATE NUMBER: 45 ============================= [96] LhsTerm --> $ACTION9$ Term . Preceding states: {0, 3, 4} Lookahead set: {'INF', 'SUP', 'EQS'} ----------------------------- ============================= STATE NUMBER: 46 ============================= [99] Term --> 'VARIABLE' . Preceding states: {36, 38, 44, 48, 51, 55, 121} Lookahead set: {'NATURAL', 'INF', 'SUP', 'FUZZYVAL', 'EQS', ';', ')', ','} ----------------------------- ============================= STATE NUMBER: 47 ============================= [100] Term --> Structure . Preceding states: {36, 38, 44, 48, 51, 55, 121} Lookahead set: {'NATURAL', 'INF', 'SUP', 'FUZZYVAL', 'EQS', ';', ')', ','} ----------------------------- ============================= STATE NUMBER: 48 ============================= [99] Term --> . 'VARIABLE' Preceding states: {48} [100] Term --> . Structure Preceding states: {48} [101] Term --> . '(' Term ')' Preceding states: {48} [101] Term --> '(' . Term ')' Preceding states: {36, 38, 44, 48, 51, 55, 121} Follow set: {')'} [102] Structure --> . 'FUNCTOR' Preceding states: {48} [104] Structure --> . 'FUNCTOR' '(' $ACTION11$ Body ')' Preceding states: {48} ----------------------------- With Term, go to state 57 With 'VARIABLE', go to state 46 With Structure, go to state 47 With '(', go to state 48 With 'FUNCTOR', go to state 49 ============================= STATE NUMBER: 49 ============================= [102] Structure --> 'FUNCTOR' . Preceding states: {36, 38, 44, 48, 51, 55, 121} Lookahead set: {'NATURAL', 'INF', 'SUP', 'FUZZYVAL', 'EQS', ';', ')', ','} [104] Structure --> 'FUNCTOR' . '(' $ACTION11$ Body ')' Preceding states: {36, 38, 44, 48, 51, 55, 121} ----------------------------- With '(', go to state 50 ============================= STATE NUMBER: 50 ============================= [103] $ACTION11$ --> . Preceding states: {50} Lookahead set: {'FUNCTOR', 'VARIABLE', '('} [104] Structure --> 'FUNCTOR' '(' . $ACTION11$ Body ')' Preceding states: {36, 38, 44, 48, 51, 55, 121} Follow set: {'FUNCTOR', 'VARIABLE', '('} ----------------------------- With $ACTION11$, go to state 51 ============================= STATE NUMBER: 51 ============================= [99] Term --> . 'VARIABLE' Preceding states: {51} [100] Term --> . Structure Preceding states: {51} [101] Term --> . '(' Term ')' Preceding states: {51} [102] Structure --> . 'FUNCTOR' Preceding states: {51} [104] Structure --> . 'FUNCTOR' '(' $ACTION11$ Body ')' Preceding states: {51} [104] Structure --> 'FUNCTOR' '(' $ACTION11$ . Body ')' Preceding states: {36, 38, 44, 48, 51, 55, 121} Follow set: {')'} [105] Body --> . Term Preceding states: {51} [106] Body --> . Body ',' Term Preceding states: {51} ----------------------------- With Body, go to state 52 With 'VARIABLE', go to state 46 With Structure, go to state 47 With '(', go to state 48 With 'FUNCTOR', go to state 49 With Term, go to state 53 ============================= STATE NUMBER: 52 ============================= [104] Structure --> 'FUNCTOR' '(' $ACTION11$ Body . ')' Preceding states: {36, 38, 44, 48, 51, 55, 121} [106] Body --> Body . ',' Term Preceding states: {51} ----------------------------- With ')', go to state 54 With ',', go to state 55 ============================= STATE NUMBER: 53 ============================= [105] Body --> Term . Preceding states: {51} Lookahead set: {')', ','} ----------------------------- ============================= STATE NUMBER: 54 ============================= [104] Structure --> 'FUNCTOR' '(' $ACTION11$ Body ')' . Preceding states: {36, 38, 44, 48, 51, 55, 121} Lookahead set: {'NATURAL', 'INF', 'SUP', 'FUZZYVAL', 'EQS', ';', ')', ','} ----------------------------- ============================= STATE NUMBER: 55 ============================= [99] Term --> . 'VARIABLE' Preceding states: {55} [100] Term --> . Structure Preceding states: {55} [101] Term --> . '(' Term ')' Preceding states: {55} [102] Structure --> . 'FUNCTOR' Preceding states: {55} [104] Structure --> . 'FUNCTOR' '(' $ACTION11$ Body ')' Preceding states: {55} [106] Body --> Body ',' . Term Preceding states: {51} Follow set: {')', ','} ----------------------------- With Term, go to state 56 With 'VARIABLE', go to state 46 With Structure, go to state 47 With '(', go to state 48 With 'FUNCTOR', go to state 49 ============================= STATE NUMBER: 56 ============================= [106] Body --> Body ',' Term . Preceding states: {51} Lookahead set: {')', ','} ----------------------------- ============================= STATE NUMBER: 57 ============================= [101] Term --> '(' Term . ')' Preceding states: {36, 38, 44, 48, 51, 55, 121} ----------------------------- With ')', go to state 58 ============================= STATE NUMBER: 58 ============================= [101] Term --> '(' Term ')' . Preceding states: {36, 38, 44, 48, 51, 55, 121} Lookahead set: {'NATURAL', 'INF', 'SUP', 'FUZZYVAL', 'EQS', ';', ')', ','} ----------------------------- ============================= STATE NUMBER: 59 ============================= [88] TracePragma --> 'TRACE' LevelOpt . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 60 ============================= [90] LevelOpt --> 'NATURAL' . Preceding states: {42} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 61 ============================= [87] LoadPragma --> 'LOAD' 'STRING' . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 62 ============================= [68] FuzzyPair --> . 'FUNCTOR' 'FUNCTOR' 'FUZZYVAL' Preceding states: {62} [78] MapPragma --> 'MAP' $ACTION8$ . MapPragmaData_opt Preceding states: {0, 3, 4} Follow set: {';'} [79] MapPragmaData_opt --> . Preceding states: {62} Lookahead set: {';'} [80] MapPragmaData_opt --> . MapPragmaData Preceding states: {62} [81] MapPragmaData --> . FuzzyPair MapPairs_opt Preceding states: {62} ----------------------------- With MapPragmaData_opt, go to state 63 With 'FUNCTOR', go to state 64 With MapPragmaData, go to state 65 With FuzzyPair, go to state 66 ============================= STATE NUMBER: 63 ============================= [78] MapPragma --> 'MAP' $ACTION8$ MapPragmaData_opt . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 64 ============================= [68] FuzzyPair --> 'FUNCTOR' . 'FUNCTOR' 'FUZZYVAL' Preceding states: {62, 86, 88} ----------------------------- With 'FUNCTOR', go to state 74 ============================= STATE NUMBER: 65 ============================= [80] MapPragmaData_opt --> MapPragmaData . Preceding states: {62} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 66 ============================= [81] MapPragmaData --> FuzzyPair . MapPairs_opt Preceding states: {62} Follow set: {';'} [82] MapPairs_opt --> . Preceding states: {66} Lookahead set: {';'} [83] MapPairs_opt --> . MapPairs Preceding states: {66} [84] MapPairs --> . MapPair MapPairs_opt Preceding states: {66} [85] MapPair --> . 'NATURAL' ':' 'NATURAL' Preceding states: {66} ----------------------------- With MapPairs_opt, go to state 67 With MapPairs, go to state 68 With MapPair, go to state 69 With 'NATURAL', go to state 70 ============================= STATE NUMBER: 67 ============================= [81] MapPragmaData --> FuzzyPair MapPairs_opt . Preceding states: {62} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 68 ============================= [83] MapPairs_opt --> MapPairs . Preceding states: {66, 69} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 69 ============================= [82] MapPairs_opt --> . Preceding states: {69} Lookahead set: {';'} [83] MapPairs_opt --> . MapPairs Preceding states: {69} [84] MapPairs --> . MapPair MapPairs_opt Preceding states: {69} [84] MapPairs --> MapPair . MapPairs_opt Preceding states: {66, 69} Follow set: {';'} [85] MapPair --> . 'NATURAL' ':' 'NATURAL' Preceding states: {69} ----------------------------- With MapPairs_opt, go to state 73 With MapPairs, go to state 68 With MapPair, go to state 69 With 'NATURAL', go to state 70 ============================= STATE NUMBER: 70 ============================= [85] MapPair --> 'NATURAL' . ':' 'NATURAL' Preceding states: {66, 69} ----------------------------- With ':', go to state 71 ============================= STATE NUMBER: 71 ============================= [85] MapPair --> 'NATURAL' ':' . 'NATURAL' Preceding states: {66, 69} ----------------------------- With 'NATURAL', go to state 72 ============================= STATE NUMBER: 72 ============================= [85] MapPair --> 'NATURAL' ':' 'NATURAL' . Preceding states: {66, 69} Lookahead set: {'NATURAL', ';'} ----------------------------- ============================= STATE NUMBER: 73 ============================= [84] MapPairs --> MapPair MapPairs_opt . Preceding states: {66, 69} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 74 ============================= [68] FuzzyPair --> 'FUNCTOR' 'FUNCTOR' . 'FUZZYVAL' Preceding states: {62, 86, 88} ----------------------------- With 'FUZZYVAL', go to state 75 ============================= STATE NUMBER: 75 ============================= [68] FuzzyPair --> 'FUNCTOR' 'FUNCTOR' 'FUZZYVAL' . Preceding states: {62, 86, 88} Lookahead set: {'FUNCTOR', 'NATURAL', ';'} ----------------------------- ============================= STATE NUMBER: 76 ============================= [76] TermrepPragma --> 'TERMREP' Term . 'FUZZYVAL' Preceding states: {0, 3, 4} ----------------------------- With 'FUZZYVAL', go to state 77 ============================= STATE NUMBER: 77 ============================= [76] TermrepPragma --> 'TERMREP' Term 'FUZZYVAL' . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 78 ============================= [75] FunrepPragma --> 'FUNREP' 'FUNCTOR' . 'FUZZYVAL' Preceding states: {0, 3, 4} ----------------------------- With 'FUZZYVAL', go to state 79 ============================= STATE NUMBER: 79 ============================= [75] FunrepPragma --> 'FUNREP' 'FUNCTOR' 'FUZZYVAL' . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 80 ============================= [72] TermclassPragma --> 'TERMCLASS' Term . NaturalOrFuzzyval Preceding states: {0, 3, 4} Follow set: {';'} [73] NaturalOrFuzzyval --> . 'NATURAL' Preceding states: {80} [74] NaturalOrFuzzyval --> . 'FUZZYVAL' Preceding states: {80} ----------------------------- With NaturalOrFuzzyval, go to state 81 With 'NATURAL', go to state 82 With 'FUZZYVAL', go to state 83 ============================= STATE NUMBER: 81 ============================= [72] TermclassPragma --> 'TERMCLASS' Term NaturalOrFuzzyval . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 82 ============================= [73] NaturalOrFuzzyval --> 'NATURAL' . Preceding states: {80} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 83 ============================= [74] NaturalOrFuzzyval --> 'FUZZYVAL' . Preceding states: {80} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 84 ============================= [71] FunclassPragma --> 'FUNCLASS' 'FUNCTOR' . 'FUZZYVAL' Preceding states: {0, 3, 4} ----------------------------- With 'FUZZYVAL', go to state 85 ============================= STATE NUMBER: 85 ============================= [71] FunclassPragma --> 'FUNCLASS' 'FUNCTOR' 'FUZZYVAL' . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 86 ============================= [63] SimPragma --> 'SIM' $ACTION7$ . FuzzyPairs_Opt Preceding states: {0, 3, 4} Follow set: {';'} [64] FuzzyPairs_Opt --> . Preceding states: {86} Lookahead set: {';'} [65] FuzzyPairs_Opt --> . FuzzyPairs Preceding states: {86} [66] FuzzyPairs --> . FuzzyPair Preceding states: {86} [67] FuzzyPairs --> . FuzzyPairs FuzzyPair Preceding states: {86} [68] FuzzyPair --> . 'FUNCTOR' 'FUNCTOR' 'FUZZYVAL' Preceding states: {86} ----------------------------- With FuzzyPairs_Opt, go to state 87 With 'FUNCTOR', go to state 64 With FuzzyPairs, go to state 88 With FuzzyPair, go to state 89 ============================= STATE NUMBER: 87 ============================= [63] SimPragma --> 'SIM' $ACTION7$ FuzzyPairs_Opt . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 88 ============================= [65] FuzzyPairs_Opt --> FuzzyPairs . Preceding states: {86} Lookahead set: {';'} [67] FuzzyPairs --> FuzzyPairs . FuzzyPair Preceding states: {86} Follow set: {'FUNCTOR', ';'} [68] FuzzyPair --> . 'FUNCTOR' 'FUNCTOR' 'FUZZYVAL' Preceding states: {88} ----------------------------- With FuzzyPair, go to state 90 With 'FUNCTOR', go to state 64 ============================= STATE NUMBER: 89 ============================= [66] FuzzyPairs --> FuzzyPair . Preceding states: {86} Lookahead set: {'FUNCTOR', ';'} ----------------------------- ============================= STATE NUMBER: 90 ============================= [67] FuzzyPairs --> FuzzyPairs FuzzyPair . Preceding states: {86} Lookahead set: {'FUNCTOR', ';'} ----------------------------- ============================= STATE NUMBER: 91 ============================= [53] FunPragma --> 'FUN' $ACTION6$ . FunctorsArities_opt Preceding states: {0, 3, 4} Follow set: {';'} [54] FunctorsArities_opt --> . Preceding states: {91} Lookahead set: {';'} [55] FunctorsArities_opt --> . FunctorsArities Preceding states: {91} [56] FunctorsArities --> . FunctorArity Preceding states: {91} [57] FunctorsArities --> . FunctorsArities FunctorArity Preceding states: {91} [58] FunctorArity --> . 'FUNCTOR' SlashOpt 'NATURAL' Preceding states: {91} ----------------------------- With FunctorsArities_opt, go to state 92 With FunctorsArities, go to state 93 With FunctorArity, go to state 94 With 'FUNCTOR', go to state 95 ============================= STATE NUMBER: 92 ============================= [53] FunPragma --> 'FUN' $ACTION6$ FunctorsArities_opt . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 93 ============================= [55] FunctorsArities_opt --> FunctorsArities . Preceding states: {91} Lookahead set: {';'} [57] FunctorsArities --> FunctorsArities . FunctorArity Preceding states: {91} Follow set: {'FUNCTOR', ';'} [58] FunctorArity --> . 'FUNCTOR' SlashOpt 'NATURAL' Preceding states: {93} ----------------------------- With FunctorArity, go to state 99 With 'FUNCTOR', go to state 95 ============================= STATE NUMBER: 94 ============================= [56] FunctorsArities --> FunctorArity . Preceding states: {91} Lookahead set: {'FUNCTOR', ';'} ----------------------------- ============================= STATE NUMBER: 95 ============================= [58] FunctorArity --> 'FUNCTOR' . SlashOpt 'NATURAL' Preceding states: {91, 93} Follow set: {'NATURAL'} [59] SlashOpt --> . Preceding states: {95} Lookahead set: {'NATURAL'} [60] SlashOpt --> . '/' Preceding states: {95} ----------------------------- With SlashOpt, go to state 96 With '/', go to state 97 ============================= STATE NUMBER: 96 ============================= [58] FunctorArity --> 'FUNCTOR' SlashOpt . 'NATURAL' Preceding states: {91, 93} ----------------------------- With 'NATURAL', go to state 98 ============================= STATE NUMBER: 97 ============================= [60] SlashOpt --> '/' . Preceding states: {95} Lookahead set: {'NATURAL'} ----------------------------- ============================= STATE NUMBER: 98 ============================= [58] FunctorArity --> 'FUNCTOR' SlashOpt 'NATURAL' . Preceding states: {91, 93} Lookahead set: {'FUNCTOR', ';'} ----------------------------- ============================= STATE NUMBER: 99 ============================= [57] FunctorsArities --> FunctorsArities FunctorArity . Preceding states: {91} Lookahead set: {'FUNCTOR', ';'} ----------------------------- ============================= STATE NUMBER: 100 ============================= [34] InfoPragma --> 'INFO' PragmaName_opt . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 101 ============================= [36] PragmaName_opt --> PragmaName . Preceding states: {29} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 102 ============================= [37] PragmaName --> 'INFO' . Preceding states: {29} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 103 ============================= [38] PragmaName --> 'FUN' . Preceding states: {29} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 104 ============================= [39] PragmaName --> 'SIG' . Preceding states: {29} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 105 ============================= [40] PragmaName --> 'SIM' . Preceding states: {29} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 106 ============================= [41] PragmaName --> 'CLOSE' . Preceding states: {29} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 107 ============================= [42] PragmaName --> 'SHOW' . Preceding states: {29} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 108 ============================= [43] PragmaName --> 'FUNCLASS' . Preceding states: {29} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 109 ============================= [44] PragmaName --> 'TERMCLASS' . Preceding states: {29} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 110 ============================= [45] PragmaName --> 'FUNREP' . Preceding states: {29} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 111 ============================= [46] PragmaName --> 'TERMREP' . Preceding states: {29} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 112 ============================= [47] PragmaName --> 'MAP' . Preceding states: {29} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 113 ============================= [48] PragmaName --> 'COMP' . Preceding states: {29} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 114 ============================= [49] PragmaName --> 'LOAD' . Preceding states: {29} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 115 ============================= [50] PragmaName --> 'TRACE' . Preceding states: {29} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 116 ============================= [51] PragmaName --> 'RESET' . Preceding states: {29} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 117 ============================= [92] SimilarityDegree --> LhsTerm 'EQS' . RhsTerm Preceding states: {0, 3, 4} Follow set: {';'} [97] $ACTION10$ --> . Preceding states: {117} Lookahead set: {'FUNCTOR', 'VARIABLE', '('} [98] RhsTerm --> . $ACTION10$ Term Preceding states: {117} ----------------------------- With RhsTerm, go to state 124 With $ACTION10$, go to state 121 ============================= STATE NUMBER: 118 ============================= [93] Unification --> LhsTerm 'INF' . RhsTerm Preceding states: {0, 3, 4} Follow set: {';'} [97] $ACTION10$ --> . Preceding states: {118} Lookahead set: {'FUNCTOR', 'VARIABLE', '('} [98] RhsTerm --> . $ACTION10$ Term Preceding states: {118} ----------------------------- With RhsTerm, go to state 123 With $ACTION10$, go to state 121 ============================= STATE NUMBER: 119 ============================= [94] Generalization --> LhsTerm 'SUP' . RhsTerm Preceding states: {0, 3, 4} Follow set: {';'} [97] $ACTION10$ --> . Preceding states: {119} Lookahead set: {'FUNCTOR', 'VARIABLE', '('} [98] RhsTerm --> . $ACTION10$ Term Preceding states: {119} ----------------------------- With RhsTerm, go to state 120 With $ACTION10$, go to state 121 ============================= STATE NUMBER: 120 ============================= [94] Generalization --> LhsTerm 'SUP' RhsTerm . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 121 ============================= [98] RhsTerm --> $ACTION10$ . Term Preceding states: {117, 118, 119} Follow set: {';'} [99] Term --> . 'VARIABLE' Preceding states: {121} [100] Term --> . Structure Preceding states: {121} [101] Term --> . '(' Term ')' Preceding states: {121} [102] Structure --> . 'FUNCTOR' Preceding states: {121} [104] Structure --> . 'FUNCTOR' '(' $ACTION11$ Body ')' Preceding states: {121} ----------------------------- With Term, go to state 122 With 'VARIABLE', go to state 46 With Structure, go to state 47 With '(', go to state 48 With 'FUNCTOR', go to state 49 ============================= STATE NUMBER: 122 ============================= [98] RhsTerm --> $ACTION10$ Term . Preceding states: {117, 118, 119} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 123 ============================= [93] Unification --> LhsTerm 'INF' RhsTerm . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 124 ============================= [92] SimilarityDegree --> LhsTerm 'EQS' RhsTerm . Preceding states: {0, 3, 4} Lookahead set: {';'} ----------------------------- ============================= STATE NUMBER: 125 ============================= [16] Clause --> 'error' $ACTION4$ . ';' Preceding states: {0, 3, 4} ----------------------------- With ';', go to state 126 ============================= STATE NUMBER: 126 ============================= [16] Clause --> 'error' $ACTION4$ ';' . Preceding states: {0, 3, 4} Lookahead set: {'error', 'FUNCTOR', 'VARIABLE', 'INFO', 'FUN', 'SIG', 'SIM', 'CLOSE', 'SHOW', 'FUNCLASS', 'TERMCLASS', 'FUNREP', 'TERMREP', 'MAP', 'COMP', 'LOAD', 'TRACE', 'RESET', 'exit', '('} ----------------------------- ============================= STATE NUMBER: 127 ============================= [14] Clause --> Generalization $ACTION3$ . ';' Preceding states: {0, 3, 4} ----------------------------- With ';', go to state 128 ============================= STATE NUMBER: 128 ============================= [14] Clause --> Generalization $ACTION3$ ';' . Preceding states: {0, 3, 4} Lookahead set: {'error', 'FUNCTOR', 'VARIABLE', 'INFO', 'FUN', 'SIG', 'SIM', 'CLOSE', 'SHOW', 'FUNCLASS', 'TERMCLASS', 'FUNREP', 'TERMREP', 'MAP', 'COMP', 'LOAD', 'TRACE', 'RESET', 'exit', '('} ----------------------------- ============================= STATE NUMBER: 129 ============================= [12] Clause --> Unification $ACTION2$ . ';' Preceding states: {0, 3, 4} ----------------------------- With ';', go to state 130 ============================= STATE NUMBER: 130 ============================= [12] Clause --> Unification $ACTION2$ ';' . Preceding states: {0, 3, 4} Lookahead set: {'error', 'FUNCTOR', 'VARIABLE', 'INFO', 'FUN', 'SIG', 'SIM', 'CLOSE', 'SHOW', 'FUNCLASS', 'TERMCLASS', 'FUNREP', 'TERMREP', 'MAP', 'COMP', 'LOAD', 'TRACE', 'RESET', 'exit', '('} ----------------------------- ============================= STATE NUMBER: 131 ============================= [10] Clause --> SimilarityDegree $ACTION1$ . ';' Preceding states: {0, 3, 4} ----------------------------- With ';', go to state 132 ============================= STATE NUMBER: 132 ============================= [10] Clause --> SimilarityDegree $ACTION1$ ';' . Preceding states: {0, 3, 4} Lookahead set: {'error', 'FUNCTOR', 'VARIABLE', 'INFO', 'FUN', 'SIG', 'SIM', 'CLOSE', 'SHOW', 'FUNCLASS', 'TERMCLASS', 'FUNREP', 'TERMREP', 'MAP', 'COMP', 'LOAD', 'TRACE', 'RESET', 'exit', '('} ----------------------------- ============================= STATE NUMBER: 133 ============================= [8] Clause --> Pragma $ACTION0$ . ';' Preceding states: {0, 3, 4} ----------------------------- With ';', go to state 134 ============================= STATE NUMBER: 134 ============================= [8] Clause --> Pragma $ACTION0$ ';' . Preceding states: {0, 3, 4} Lookahead set: {'error', 'FUNCTOR', 'VARIABLE', 'INFO', 'FUN', 'SIG', 'SIM', 'CLOSE', 'SHOW', 'FUNCLASS', 'TERMCLASS', 'FUNREP', 'TERMREP', 'MAP', 'COMP', 'LOAD', 'TRACE', 'RESET', 'exit', '('} ----------------------------- ============================= STATE NUMBER: 135 ============================= [18] Exit --> 'exit' $ACTION5$ . ';' Preceding states: {0, 3, 4} ----------------------------- With ';', go to state 136 ============================= STATE NUMBER: 136 ============================= [18] Exit --> 'exit' $ACTION5$ ';' . Preceding states: {0, 3, 4} Lookahead set: {'$E_O_I$'} ----------------------------- ============================= STATE NUMBER: 137 ============================= [3] Session --> Clauses Exit . Preceding states: {0, 3} Lookahead set: {'$E_O_I$'} ----------------------------- ============================= STATE NUMBER: 138 ============================= [6] Clauses --> Clauses Clause . Preceding states: {0, 3} Lookahead set: {'error', 'FUNCTOR', 'VARIABLE', 'INFO', 'FUN', 'SIG', 'SIM', 'CLOSE', 'SHOW', 'FUNCLASS', 'TERMCLASS', 'FUNREP', 'TERMREP', 'MAP', 'COMP', 'LOAD', 'TRACE', 'RESET', 'exit', '('} ----------------------------- ============================= STATE NUMBER: 139 ============================= [2] $ROOTS$ --> '$Session_switch$' Session . Preceding states: {0} Lookahead set: {'$E_O_I$'} ----------------------------- *** Compressing parsing tables ... *** 10 rows eliminated in action table *** 105 rows eliminated in goto table *** Table compression completed in 2 ms ACTION 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] [28] [29] [30] [31] [32] [33] ________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________ [0] - S12 S3 R95 R95 - - - - - S29 S30 S31 S32 S33 S34 - S35 S36 S37 S38 S39 S40 S41 S42 S43 - S7 - - R95 - - [1] A - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [2] R1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [3] - S12 - R95 R95 - - - - - S29 S30 S31 S32 S33 S34 - S35 S36 S37 S38 S39 S40 S41 S42 S43 - S7 - - R95 - - [4] - S12 - R95 R95 - - - - - S29 S30 S31 S32 S33 S34 - S35 S36 S37 S38 S39 S40 S41 S42 S43 - S7 - - R95 - - [5] R4 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [6] - R5 - R5 R5 - - - - - R5 R5 R5 R5 R5 R5 - R5 R5 R5 R5 R5 R5 R5 R5 R5 - R5 - - R5 - - [7] - - - - - - - - - - - - - - - - - - - - - - - - - - R17 - - - - - - [8] - - - - - - - - - - - - - - - - - - - - - - - - - - R7 - - - - - - [9] - - - - - - - - - - - - - - - - - - - - - - - - - - R9 - - - - - - [10] - - - - - - - - - - - - - - - - - - - - - - - - - - R11 - - - - - - [11] - - - - - - - - - - - - - - - - - - - - - - - - - - R13 - - - - - - [12] - - - - - - - - - - - - - - - - - - - - - - - - - - R15 - - - - - - [13] - - - - - - - - - - - - - - - - - - - - - - - - - - R19 - - - - - - [14] - - - - - - - - - - - - - - - - - - - - - - - - - - R20 - - - - - - [15] - - - - - - - - - - - - - - - - - - - - - - - - - - R21 - - - - - - [16] - - - - - - - - - - - - - - - - - - - - - - - - - - R22 - - - - - - [17] - - - - - - - - - - - - - - - - - - - - - - - - - - R23 - - - - - - [18] - - - - - - - - - - - - - - - - - - - - - - - - - - R24 - - - - - - [19] - - - - - - - - - - - - - - - - - - - - - - - - - - R25 - - - - - - [20] - - - - - - - - - - - - - - - - - - - - - - - - - - R26 - - - - - - [21] - - - - - - - - - - - - - - - - - - - - - - - - - - R27 - - - - - - [22] - - - - - - - - - - - - - - - - - - - - - - - - - - R28 - - - - - - [23] - - - - - - - - - - - - - - - - - - - - - - - - - - R29 - - - - - - [24] - - - - - - - - - - - - - - - - - - - - - - - - - - R30 - - - - - - [25] - - - - - - - - - - - - - - - - - - - - - - - - - - R31 - - - - - - [26] - - - - - - - - - - - - - - - - - - - - - - - - - - R32 - - - - - - [27] - - - - - - - - - - - - - - - - - - - - - - - - - - R33 - - - - - - [28] - - - - - - - S118 S119 - - - - - - - S117 - - - - - - - - - - - - - - - - [29] - - - - - - - - - - S102 S103 S104 S105 S106 S107 - S108 S109 S110 S111 S112 S113 S114 S115 S116 R35 - - - - - - [30] - - - R52 - - - - - - - - - - - - - - - - - - - - - - R52 - - - - - - [31] - - - - - - - - - - - - - - - - - - - - - - - - - - R61 - - - - - - [32] - - - R62 - - - - - - - - - - - - - - - - - - - - - - R62 - - - - - - [33] - - - - - - - - - - - - - - - - - - - - - - - - - - R69 - - - - - - [34] - - - - - - - - - - - - - - - - - - - - - - - - - - R70 - - - - - - [35] - - - S84 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [36] - - - S49 S46 - - - - - - - - - - - - - - - - - - - - - - - - - S48 - - [37] - - - S78 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [38] - - - S49 S46 - - - - - - - - - - - - - - - - - - - - - - - - - S48 - - [39] - - - R77 - - - - - - - - - - - - - - - - - - - - - - R77 - - - - - - [40] - - - - - - - - - - - - - - - - - - - - - - - - - - R86 - - - - - - [41] - - - - - S61 - - - - - - - - - - - - - - - - - - - - - - - - - - - [42] - - - - - - S60 - - - - - - - - - - - - - - - - - - - R89 - - - - - - [43] - - - - - - - - - - - - - - - - - - - - - - - - - - R91 - - - - - - [44] - - - S49 S46 - - - - - - - - - - - - - - - - - - - - - - - - - S48 - - [45] - - - - - - - R96 R96 - - - - - - - R96 - - - - - - - - - - - - - - - - [46] - - - - - - R99 R99 R99 R99 - - - - - - R99 - - - - - - - - - R99 - - - - R99 R99 [47] - - - - - - R100 R100 R100 R100 - - - - - - R100 - - - - - - - - - R100 - - - - R100 R100 [48] - - - S49 S46 - - - - - - - - - - - - - - - - - - - - - - - - - S48 - - [49] - - - - - - R102 R102 R102 R102 - - - - - - R102 - - - - - - - - - R102 - - - S50 R102 R102 [50] - - - R103 R103 - - - - - - - - - - - - - - - - - - - - - - - - - R103 - - [51] - - - S49 S46 - - - - - - - - - - - - - - - - - - - - - - - - - S48 - - [52] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - S54 S55 [53] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - R105 R105 [54] - - - - - - R104 R104 R104 R104 - - - - - - R104 - - - - - - - - - R104 - - - - R104 R104 [55] - - - S49 S46 - - - - - - - - - - - - - - - - - - - - - - - - - S48 - - [56] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - R106 R106 [57] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - S58 - [58] - - - - - - R101 R101 R101 R101 - - - - - - R101 - - - - - - - - - R101 - - - - R101 R101 [59] - - - - - - - - - - - - - - - - - - - - - - - - - - R88 - - - - - - [60] - - - - - - - - - - - - - - - - - - - - - - - - - - R90 - - - - - - [61] - - - - - - - - - - - - - - - - - - - - - - - - - - R87 - - - - - - [62] - - - S64 - - - - - - - - - - - - - - - - - - - - - - R79 - - - - - - [63] - - - - - - - - - - - - - - - - - - - - - - - - - - R78 - - - - - - [64] - - - S74 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [65] - - - - - - - - - - - - - - - - - - - - - - - - - - R80 - - - - - - [66] - - - - - - S70 - - - - - - - - - - - - - - - - - - - R82 - - - - - - [67] - - - - - - - - - - - - - - - - - - - - - - - - - - R81 - - - - - - [68] - - - - - - - - - - - - - - - - - - - - - - - - - - R83 - - - - - - [69] - - - - - - S70 - - - - - - - - - - - - - - - - - - - R82 - - - - - - [70] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - S71 - - - [71] - - - - - - S72 - - - - - - - - - - - - - - - - - - - - - - - - - - [72] - - - - - - R85 - - - - - - - - - - - - - - - - - - - R85 - - - - - - [73] - - - - - - - - - - - - - - - - - - - - - - - - - - R84 - - - - - - [74] - - - - - - - - - S75 - - - - - - - - - - - - - - - - - - - - - - - [75] - - - R68 - - R68 - - - - - - - - - - - - - - - - - - - R68 - - - - - - [76] - - - - - - - - - S77 - - - - - - - - - - - - - - - - - - - - - - - [77] - - - - - - - - - - - - - - - - - - - - - - - - - - R76 - - - - - - [78] - - - - - - - - - S79 - - - - - - - - - - - - - - - - - - - - - - - [79] - - - - - - - - - - - - - - - - - - - - - - - - - - R75 - - - - - - [80] - - - - - - S82 - - S83 - - - - - - - - - - - - - - - - - - - - - - - [81] - - - - - - - - - - - - - - - - - - - - - - - - - - R72 - - - - - - [82] - - - - - - - - - - - - - - - - - - - - - - - - - - R73 - - - - - - [83] - - - - - - - - - - - - - - - - - - - - - - - - - - R74 - - - - - - [84] - - - - - - - - - S85 - - - - - - - - - - - - - - - - - - - - - - - [85] - - - - - - - - - - - - - - - - - - - - - - - - - - R71 - - - - - - [86] - - - S64 - - - - - - - - - - - - - - - - - - - - - - R64 - - - - - - [87] - - - - - - - - - - - - - - - - - - - - - - - - - - R63 - - - - - - [88] - - - S64 - - - - - - - - - - - - - - - - - - - - - - R65 - - - - - - [89] - - - R66 - - - - - - - - - - - - - - - - - - - - - - R66 - - - - - - [90] - - - R67 - - - - - - - - - - - - - - - - - - - - - - R67 - - - - - - [91] - - - S95 - - - - - - - - - - - - - - - - - - - - - - R54 - - - - - - [92] - - - - - - - - - - - - - - - - - - - - - - - - - - R53 - - - - - - [93] - - - S95 - - - - - - - - - - - - - - - - - - - - - - R55 - - - - - - [94] - - - R56 - - - - - - - - - - - - - - - - - - - - - - R56 - - - - - - [95] - - - - - - R59 - - - - - - - - - - - - - - - - - - - - - S97 - - - - [96] - - - - - - S98 - - - - - - - - - - - - - - - - - - - - - - - - - - [97] - - - - - - R60 - - - - - - - - - - - - - - - - - - - - - - - - - - [98] - - - R58 - - - - - - - - - - - - - - - - - - - - - - R58 - - - - - - [99] - - - R57 - - - - - - - - - - - - - - - - - - - - - - R57 - - - - - - [100] - - - - - - - - - - - - - - - - - - - - - - - - - - R34 - - - - - - [101] - - - - - - - - - - - - - - - - - - - - - - - - - - R36 - - - - - - [102] - - - - - - - - - - - - - - - - - - - - - - - - - - R37 - - - - - - [103] - - - - - - - - - - - - - - - - - - - - - - - - - - R38 - - - - - - [104] - - - - - - - - - - - - - - - - - - - - - - - - - - R39 - - - - - - [105] - - - - - - - - - - - - - - - - - - - - - - - - - - R40 - - - - - - [106] - - - - - - - - - - - - - - - - - - - - - - - - - - R41 - - - - - - [107] - - - - - - - - - - - - - - - - - - - - - - - - - - R42 - - - - - - [108] - - - - - - - - - - - - - - - - - - - - - - - - - - R43 - - - - - - [109] - - - - - - - - - - - - - - - - - - - - - - - - - - R44 - - - - - - [110] - - - - - - - - - - - - - - - - - - - - - - - - - - R45 - - - - - - [111] - - - - - - - - - - - - - - - - - - - - - - - - - - R46 - - - - - - [112] - - - - - - - - - - - - - - - - - - - - - - - - - - R47 - - - - - - [113] - - - - - - - - - - - - - - - - - - - - - - - - - - R48 - - - - - - [114] - - - - - - - - - - - - - - - - - - - - - - - - - - R49 - - - - - - [115] - - - - - - - - - - - - - - - - - - - - - - - - - - R50 - - - - - - [116] - - - - - - - - - - - - - - - - - - - - - - - - - - R51 - - - - - - [117] - - - R97 R97 - - - - - - - - - - - - - - - - - - - - - - - - - R97 - - [118] - - - R97 R97 - - - - - - - - - - - - - - - - - - - - - - - - - R97 - - [119] - - - R97 R97 - - - - - - - - - - - - - - - - - - - - - - - - - R97 - - [120] - - - - - - - - - - - - - - - - - - - - - - - - - - R94 - - - - - - [121] - - - S49 S46 - - - - - - - - - - - - - - - - - - - - - - - - - S48 - - [122] - - - - - - - - - - - - - - - - - - - - - - - - - - R98 - - - - - - [123] - - - - - - - - - - - - - - - - - - - - - - - - - - R93 - - - - - - [124] - - - - - - - - - - - - - - - - - - - - - - - - - - R92 - - - - - - [125] - - - - - - - - - - - - - - - - - - - - - - - - - - S126 - - - - - - [126] - R16 - R16 R16 - - - - - R16 R16 R16 R16 R16 R16 - R16 R16 R16 R16 R16 R16 R16 R16 R16 - R16 - - R16 - - [127] - - - - - - - - - - - - - - - - - - - - - - - - - - S128 - - - - - - [128] - R14 - R14 R14 - - - - - R14 R14 R14 R14 R14 R14 - R14 R14 R14 R14 R14 R14 R14 R14 R14 - R14 - - R14 - - [129] - - - - - - - - - - - - - - - - - - - - - - - - - - S130 - - - - - - [130] - R12 - R12 R12 - - - - - R12 R12 R12 R12 R12 R12 - R12 R12 R12 R12 R12 R12 R12 R12 R12 - R12 - - R12 - - [131] - - - - - - - - - - - - - - - - - - - - - - - - - - S132 - - - - - - [132] - R10 - R10 R10 - - - - - R10 R10 R10 R10 R10 R10 - R10 R10 R10 R10 R10 R10 R10 R10 R10 - R10 - - R10 - - [133] - - - - - - - - - - - - - - - - - - - - - - - - - - S134 - - - - - - [134] - R8 - R8 R8 - - - - - R8 R8 R8 R8 R8 R8 - R8 R8 R8 R8 R8 R8 R8 R8 R8 - R8 - - R8 - - [135] - - - - - - - - - - - - - - - - - - - - - - - - - - S136 - - - - - - [136] R18 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [137] R3 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [138] - R6 - R6 R6 - - - - - R6 R6 R6 R6 R6 R6 - R6 R6 R6 R6 R6 R6 R6 R6 R6 - R6 - - R6 - - [139] 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] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] ______________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________ [0] 1 2 - 4 5 6 8 - 9 - 10 - 11 - - - 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 - - - - - - - - - - - - - - - - - - - 28 - 44 - - - - [1] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [2] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [3] - 139 - 4 5 6 8 - 9 - 10 - 11 - - - 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 - - - - - - - - - - - - - - - - - - - 28 - 44 - - - - [4] - - - - 137 138 8 - 9 - 10 - 11 - - - 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 - - - - - - - - - - - - - - - - - - - 28 - 44 - - - - [5] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [6] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [7] - - - - - - - - - - - - - - - 135 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [8] - - - - - - - 133 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [9] - - - - - - - - - 131 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [10] - - - - - - - - - - - 129 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [11] - - - - - - - - - - - - - 127 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [12] - - - - - - - - - - - - - - 125 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [13] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [14] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [15] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [16] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [17] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [18] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [19] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [20] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [21] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [22] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [23] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [24] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [25] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [26] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [27] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [28] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [29] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 100 101 - - - - - - - - - - - - - - - - - - - - - - - - [30] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 91 - - - - - - - - - - - - - - - - - - - - - - [31] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [32] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 86 - - - - - - - - - - - - - - - - - [33] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [34] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [35] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [36] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 80 - - - - - - - - - - - - 47 - - [37] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [38] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 76 - - - - - - - - - - - - 47 - - [39] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 62 - - - - - - - - - - - - [40] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [41] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [42] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 59 - - - - - - - [43] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [44] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 45 - - - - - - - - - - - - 47 - - [45] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [46] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [47] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [48] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 57 - - - - - - - - - - - - 47 - - [49] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [50] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 51 [51] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 53 - - - - - - - - - - - - 47 52 - [52] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [53] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [54] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [55] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 56 - - - - - - - - - - - - 47 - - [56] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [57] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [58] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [59] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [60] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [61] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [62] - - 66 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 63 - 65 - - - - - - - - - - - [63] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [64] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [65] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [66] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 67 68 69 - - - - - - - - [67] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [68] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [69] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 73 68 69 - - - - - - - - [70] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [71] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [72] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [73] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [74] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [75] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [76] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [77] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [78] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [79] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [80] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 81 - - - - - - - - - - - - - - [81] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [82] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [83] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [84] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [85] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [86] - - 89 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 87 - 88 - - - - - - - - - - - - - - - - [87] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [88] - - 90 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [89] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [90] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [91] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 92 - 93 94 - - - - - - - - - - - - - - - - - - - - [92] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [93] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 99 - - - - - - - - - - - - - - - - - - - - [94] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [95] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 96 - - - - - - - - - - - - - - - - - - - [96] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [97] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [98] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [99] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [100] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [101] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [102] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [103] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [104] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [105] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [106] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [107] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [108] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [109] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [110] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [111] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [112] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [113] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [114] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [115] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [116] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [117] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 124 - 121 - - - [118] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 123 - 121 - - - [119] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 120 - 121 - - - [120] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [121] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 122 - - - - - - - - - - - - 47 - - [122] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [123] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [124] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [125] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [126] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [127] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [128] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [129] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [130] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [131] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [132] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [133] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [134] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [135] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [136] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [137] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [138] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [139] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -