*** This is Jacc: Just another compiler compiler... *** Run of Mon Nov 17 12:18:14 PST 2008 *** Reading grammar in file ./sources/BLD.grm ... *** Including file ./sources\BLD_doc.grm ... *** Including file ./sources\Keywords.grm ... *** Including file ./sources\ParserCode.grm ... *** Defining XML namespace prefix: rif = "http://www.w3.org/2007/rif#" *** Defining XML namespace prefix: xsi = "http://www.w3.org/2001/XMLSchema-instance" *** Defining XML namespace prefix: xs = "http://www.w3.org/2001/XMLSchema#" *** Setting XML root to Document *** Including file ./sources\BLR.grm ... *** Including file ./sources\BLC.grm ... *** Including file ./sources\AdHoc.grm ... *** ... in 140 ms RULES: [0] $START$ --> $ROOTS$ precedence = 1 [1] $ROOTS$ --> RifDocument precedence = 1 [2] $ROOTS$ --> '$RifDocument_switch$' RifDocument precedence = 1 [3] $ROOTS$ --> '$Implies_switch$' Implies precedence = 1 [4] $ROOTS$ --> '$Clause_switch$' Clause precedence = 1 [5] Document --> IriMeta_opt 'DOCUMENT' 'OPENPAR' Base_opt Prefix_star DocumentBody 'CLOSEPAR' precedence = 71 [6] Base --> 'BASE' 'OPENPAR' Iri 'CLOSEPAR' precedence = 71 [7] Prefix --> 'PREFIX' 'OPENPAR' Name Iri 'CLOSEPAR' precedence = 71 [8] DocumentBody --> Import_star Group_opt precedence = 1 [9] Import --> IriMeta_opt 'IMPORT' 'OPENPAR' IriConst Profile_opt 'CLOSEPAR' precedence = 71 [10] Group --> IriMeta_opt 'GROUP' 'OPENPAR' RuleOrGroup_star 'CLOSEPAR' precedence = 71 [11] RuleOrGroup --> Rule precedence = 1 [12] RuleOrGroup --> Group precedence = 1 [13] Rule --> Clause precedence = 1 [14] Rule --> QuantifiedClause precedence = 1 [15] QuantifiedClause --> IriMeta_opt 'FORALL' Var_plus 'OPENPAR' Clause 'CLOSEPAR' precedence = 71 [16] Clause --> AtomicFormula precedence = 1 [17] Clause --> Implies precedence = 1 [18] Implies --> IriMeta_opt Consequent 'IF' Antecedent precedence = 21 [19] Consequent --> AtomicFormula precedence = 1 [20] Consequent --> 'AND' 'OPENPAR' AtomicFormula_star 'CLOSEPAR' precedence = 71 [21] Antecedent --> Formula precedence = 1 [22] Profile --> Term precedence = 1 [23] Base_opt --> precedence = 1 [24] Base_opt --> Base precedence = 1 [25] Prefix_star --> precedence = 1 [26] Prefix_star --> Prefix_star Prefix precedence = 1 [27] Import_star --> precedence = 1 [28] Import_star --> Import_star Import precedence = 1 [29] Profile_opt --> precedence = 1 [30] Profile_opt --> Profile precedence = 1 [31] Group_opt --> precedence = 1 [32] Group_opt --> Group precedence = 1 [33] RuleOrGroup_star --> precedence = 1 [34] RuleOrGroup_star --> RuleOrGroup_star RuleOrGroup precedence = 1 [35] AtomicFormula_star --> precedence = 1 [36] AtomicFormula_star --> AtomicFormula_star AtomicFormula precedence = 1 [37] IriMeta --> 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' precedence = 71 [38] IriMetaBody --> Frame precedence = 1 [39] IriMetaBody --> 'AND' 'OPENPAR' Frame_star 'CLOSEPAR' precedence = 71 [40] Formula --> IriMeta_opt RawFormula precedence = 1 [41] RawFormula --> AtomicFormula precedence = 1 [42] RawFormula --> 'AND' 'OPENPAR' Formula_star 'CLOSEPAR' precedence = 71 [43] RawFormula --> 'OR' 'OPENPAR' Formula_star 'CLOSEPAR' precedence = 71 [44] RawFormula --> 'EXISTS' Var_plus 'OPENPAR' Formula 'CLOSEPAR' precedence = 71 [45] RawFormula --> 'EXTERNAL' 'OPENPAR' AtomOrFrame 'CLOSEPAR' precedence = 71 [46] AtomicFormula --> Atom precedence = 1 [47] AtomicFormula --> Equal precedence = 1 [48] AtomicFormula --> Member precedence = 1 [49] AtomicFormula --> Subclass precedence = 1 [50] AtomicFormula --> Frame precedence = 1 [51] AtomOrFrame --> Atom precedence = 1 [52] AtomOrFrame --> Frame precedence = 1 [53] Atom --> UniTerm precedence = 1 [54] UniTerm --> Const 'OPENPAR' UniTermBody 'CLOSEPAR' precedence = 71 [55] Equal --> Term 'EQUAL' Term precedence = 41 [56] Member --> Term 'MEMBER' Term precedence = 41 [57] Subclass --> Term 'SUBCLASS' Term precedence = 41 [58] Frame --> Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' precedence = 71 [59] FrameAttribute --> Term 'ARROW' Term precedence = 41 [60] Term --> IriMeta_opt RawTerm precedence = 1 [61] RawTerm --> Const precedence = 1 [62] RawTerm --> Var precedence = 1 [63] RawTerm --> Expr precedence = 1 [64] RawTerm --> 'EXTERNAL' 'OPENPAR' Expr 'CLOSEPAR' precedence = 71 [65] Expr --> UniTerm precedence = 1 [66] Const --> FullyQualifiedConstant precedence = 1 [67] Const --> ConstShort precedence = 1 [68] FullyQualifiedConstant --> 'STRING' 'LEXSPACE' SymSpace precedence = 91 [69] SymSpace --> Curie precedence = 1 [70] ConstShort --> 'NUMBER' precedence = 61 [71] ConstShort --> 'STRING' precedence = 61 [72] ConstShort --> 'LOCALNAME' precedence = 61 [73] ConstShort --> 'ANGLEBRACKETIRI' precedence = 61 [74] ConstShort --> Curie precedence = 1 [75] Var --> 'VARIABLE' precedence = 61 [76] UniTermBody --> TermArgument_star precedence = 1 [77] TermArgument --> Term precedence = 1 [78] Var_plus --> Var precedence = 1 [79] Var_plus --> Var_plus Var precedence = 1 [80] IriMeta_opt --> precedence = 1 [81] IriMeta_opt --> IriMeta precedence = 1 [82] IriConst_opt --> precedence = 1 [83] IriConst_opt --> IriConst precedence = 1 [84] IriMetaBody_opt --> precedence = 1 [85] IriMetaBody_opt --> IriMetaBody precedence = 1 [86] Formula_star --> precedence = 1 [87] Formula_star --> Formula_star Formula precedence = 1 [88] TermArgument_star --> precedence = 1 [89] TermArgument_star --> TermArgument TermArgument_star precedence = 101 [90] Frame_star --> precedence = 1 [91] Frame_star --> Frame_star Frame precedence = 1 [92] FrameAttribute_star --> precedence = 1 [93] FrameAttribute_star --> FrameAttribute_star FrameAttribute precedence = 1 [94] Name --> 'IDENTIFIER' precedence = 61 [95] Iri --> 'STRING' precedence = 61 [96] IriConst --> FullyQualifiedConstant precedence = 1 [97] Curie --> 'IDENTIFIER' precedence = 61 [98] Curie --> 'COLON' 'IDENTIFIER' precedence = 61 [99] Curie --> 'IDENTIFIER' 'COLON' 'IDENTIFIER' precedence = 61 [100] $ACTION0$ --> precedence = 1 [101] RifDocument --> $ACTION0$ Document precedence = 1 *** Starting grammar analysis ... *** Preprocessing the grammar ... *** ... in 31 ms TERMINALS: ---------- ------------- -------- PRECEDENCE ASSOCIATIVITY TERMINAL ---------- ------------- -------- [0] 1 none '$EMPTY$' [1] 1 none '$E_O_I$' [2] 1 none 'error' [3] 1 none '$RifDocument_switch$' [4] 1 none '$Implies_switch$' [5] 1 none '$Clause_switch$' [6] 1 none 'LEASTPREC' [7] 11 none 'DOCUMENT' [8] 11 none 'BASE' [9] 11 none 'PREFIX' [10] 11 none 'IMPORT' [11] 11 none 'GROUP' [12] 21 none 'IF' [13] 31 none 'OR' [14] 31 none 'AND' [15] 31 none 'EXISTS' [16] 31 none 'FORALL' [17] 41 none 'ARROW' [18] 41 none 'EQUAL' [19] 41 none 'MEMBER' [20] 41 none 'SUBCLASS' [21] 51 none 'EXTERNAL' [22] 61 none 'NUMBER' [23] 61 none 'LOCALNAME' [24] 61 none 'VARIABLE' [25] 61 none 'STRING' [26] 61 none 'IDENTIFIER' [27] 61 none 'ANGLEBRACKETIRI' [28] 71 none 'OPENPAR' [29] 71 none 'CLOSEPAR' [30] 71 none 'OPENBRA' [31] 71 none 'CLOSEBRA' [32] 71 none 'OPENMETA' [33] 71 none 'CLOSEMETA' [34] 81 none 'COLON' [35] 91 none 'LEXSPACE' [36] 101 none 'HIGHESTPREC' ---------------------------------------- NON TERMINALS: [0] $START$ FIRST: {'$RifDocument_switch$', '$Implies_switch$', '$Clause_switch$', 'DOCUMENT', 'OPENMETA'} LSet: {$START$, $ROOTS$, RifDocument, $ACTION0$} [1] $ROOTS$ FIRST: {'$RifDocument_switch$', '$Implies_switch$', '$Clause_switch$', 'DOCUMENT', 'OPENMETA'} LSet: {$ROOTS$, RifDocument, $ACTION0$} [2] RifDocument FIRST: {'DOCUMENT', 'OPENMETA'} LSet: {RifDocument, $ACTION0$} [3] Implies FIRST: {'AND', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {Implies, IriMeta_opt, IriMeta} [4] Clause FIRST: {'AND', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {Implies, Clause, IriMeta_opt, AtomicFormula, Term, IriMeta, Frame, Atom, Equal, Member, Subclass, UniTerm, Const, FullyQualifiedConstant, ConstShort, Curie} [5] Document FIRST: {'DOCUMENT', 'OPENMETA'} LSet: {Document, IriMeta_opt, IriMeta} [6] IriMeta_opt (nullable) FIRST: {'OPENMETA'} LSet: {IriMeta_opt, IriMeta} [7] Base_opt (nullable) FIRST: {'BASE'} LSet: {Base_opt, Base} [8] Prefix_star (nullable) FIRST: {'PREFIX'} LSet: {Prefix_star} [9] DocumentBody (nullable) FIRST: {'IMPORT', 'GROUP', 'OPENMETA'} LSet: {DocumentBody, Import_star} [10] Base FIRST: {'BASE'} LSet: {Base} [11] Iri FIRST: {'STRING'} LSet: {Iri} [12] Prefix FIRST: {'PREFIX'} LSet: {Prefix} [13] Name FIRST: {'IDENTIFIER'} LSet: {Name} [14] Import_star (nullable) FIRST: {'IMPORT', 'OPENMETA'} LSet: {Import_star} [15] Group_opt (nullable) FIRST: {'GROUP', 'OPENMETA'} LSet: {IriMeta_opt, Group_opt, Group, IriMeta} [16] Import FIRST: {'IMPORT', 'OPENMETA'} LSet: {IriMeta_opt, Import, IriMeta} [17] IriConst FIRST: {'STRING'} LSet: {IriConst, FullyQualifiedConstant} [18] Profile_opt (nullable) FIRST: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Profile_opt, Profile, Term, IriMeta} [19] Group FIRST: {'GROUP', 'OPENMETA'} LSet: {IriMeta_opt, Group, IriMeta} [20] RuleOrGroup_star (nullable) FIRST: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {RuleOrGroup_star} [21] RuleOrGroup FIRST: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {Implies, Clause, IriMeta_opt, Group, RuleOrGroup, Rule, QuantifiedClause, AtomicFormula, Term, IriMeta, Frame, Atom, Equal, Member, Subclass, UniTerm, Const, FullyQualifiedConstant, ConstShort, Curie} [22] Rule FIRST: {'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {Implies, Clause, IriMeta_opt, Rule, QuantifiedClause, AtomicFormula, Term, IriMeta, Frame, Atom, Equal, Member, Subclass, UniTerm, Const, FullyQualifiedConstant, ConstShort, Curie} [23] QuantifiedClause FIRST: {'FORALL', 'OPENMETA'} LSet: {IriMeta_opt, QuantifiedClause, IriMeta} [24] Var_plus FIRST: {'VARIABLE'} LSet: {Var_plus, Var} [25] AtomicFormula FIRST: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, AtomicFormula, Term, IriMeta, Frame, Atom, Equal, Member, Subclass, UniTerm, Const, FullyQualifiedConstant, ConstShort, Curie} [26] Consequent FIRST: {'AND', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, AtomicFormula, Consequent, Term, IriMeta, Frame, Atom, Equal, Member, Subclass, UniTerm, Const, FullyQualifiedConstant, ConstShort, Curie} [27] Antecedent FIRST: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Antecedent, Formula, IriMeta} [28] AtomicFormula_star (nullable) FIRST: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {AtomicFormula_star} [29] Formula FIRST: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Formula, IriMeta} [30] Profile FIRST: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Profile, Term, IriMeta} [31] Term FIRST: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Term, IriMeta} [32] IriMeta FIRST: {'OPENMETA'} LSet: {IriMeta} [33] IriConst_opt (nullable) FIRST: {'STRING'} LSet: {IriConst, IriConst_opt, FullyQualifiedConstant} [34] IriMetaBody_opt (nullable) FIRST: {'AND', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Term, IriMeta, IriMetaBody_opt, IriMetaBody, Frame} [35] IriMetaBody FIRST: {'AND', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Term, IriMeta, IriMetaBody, Frame} [36] Frame FIRST: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Term, IriMeta, Frame} [37] Frame_star (nullable) FIRST: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {Frame_star} [38] RawFormula FIRST: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, AtomicFormula, Term, IriMeta, Frame, RawFormula, Atom, Equal, Member, Subclass, UniTerm, Const, FullyQualifiedConstant, ConstShort, Curie} [39] Formula_star (nullable) FIRST: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {Formula_star} [40] AtomOrFrame FIRST: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Term, IriMeta, Frame, AtomOrFrame, Atom, UniTerm, Const, FullyQualifiedConstant, ConstShort, Curie} [41] Atom FIRST: {'NUMBER', 'LOCALNAME', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} LSet: {Atom, UniTerm, Const, FullyQualifiedConstant, ConstShort, Curie} [42] Equal FIRST: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Term, IriMeta, Equal} [43] Member FIRST: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Term, IriMeta, Member} [44] Subclass FIRST: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Term, IriMeta, Subclass} [45] UniTerm FIRST: {'NUMBER', 'LOCALNAME', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} LSet: {UniTerm, Const, FullyQualifiedConstant, ConstShort, Curie} [46] Const FIRST: {'NUMBER', 'LOCALNAME', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} LSet: {Const, FullyQualifiedConstant, ConstShort, Curie} [47] UniTermBody (nullable) FIRST: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Term, IriMeta, UniTermBody, TermArgument_star, TermArgument} [48] FrameAttribute_star (nullable) FIRST: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {FrameAttribute_star} [49] FrameAttribute FIRST: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Term, IriMeta, FrameAttribute} [50] RawTerm FIRST: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} LSet: {UniTerm, Const, RawTerm, Var, Expr, FullyQualifiedConstant, ConstShort, Curie} [51] Var FIRST: {'VARIABLE'} LSet: {Var} [52] Expr FIRST: {'NUMBER', 'LOCALNAME', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} LSet: {UniTerm, Const, Expr, FullyQualifiedConstant, ConstShort, Curie} [53] FullyQualifiedConstant FIRST: {'STRING'} LSet: {FullyQualifiedConstant} [54] ConstShort FIRST: {'NUMBER', 'LOCALNAME', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} LSet: {ConstShort, Curie} [55] SymSpace FIRST: {'IDENTIFIER', 'COLON'} LSet: {SymSpace, Curie} [56] Curie FIRST: {'IDENTIFIER', 'COLON'} LSet: {Curie} [57] TermArgument_star (nullable) FIRST: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Term, IriMeta, TermArgument_star, TermArgument} [58] TermArgument FIRST: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Term, IriMeta, TermArgument} [59] $ACTION0$ (nullable) FIRST: {} LSet: {$ACTION0$} *** Building canonical LR states ... *** ... in 47 ms *** Propagating lookahead symbols ... *** ... in 15 ms *** Grammar analysis completed in 109 ms. *** Building parsing tables ... *** ... in 16 ms ============================= STATE NUMBER: 0 ============================= [0] $START$ --> . $ROOTS$ Preceding states: {0} Follow set: {'$E_O_I$'} Preceding states: {0} [1] $ROOTS$ --> . RifDocument Preceding states: {0} [2] $ROOTS$ --> . '$RifDocument_switch$' RifDocument Preceding states: {0} [3] $ROOTS$ --> . '$Implies_switch$' Implies Preceding states: {0} [4] $ROOTS$ --> . '$Clause_switch$' Clause Preceding states: {0} [100] $ACTION0$ --> . Preceding states: {0} Lookahead set: {'DOCUMENT', 'OPENMETA'} [101] RifDocument --> . $ACTION0$ Document Preceding states: {0} ----------------------------- With $ROOTS$, go to state 1 With RifDocument, go to state 2 With '$RifDocument_switch$', go to state 3 With '$Implies_switch$', go to state 4 With '$Clause_switch$', go to state 5 With $ACTION0$, go to state 6 ============================= STATE NUMBER: 1 ============================= [0] $START$ --> $ROOTS$ . Preceding states: {0} Lookahead set: {} ----------------------------- ============================= STATE NUMBER: 2 ============================= [1] $ROOTS$ --> RifDocument . Preceding states: {0} Lookahead set: {'$E_O_I$'} ----------------------------- ============================= STATE NUMBER: 3 ============================= [2] $ROOTS$ --> '$RifDocument_switch$' . RifDocument Preceding states: {0} Follow set: {'$E_O_I$'} [100] $ACTION0$ --> . Preceding states: {3} Lookahead set: {'DOCUMENT', 'OPENMETA'} [101] RifDocument --> . $ACTION0$ Document Preceding states: {3} ----------------------------- With RifDocument, go to state 167 With $ACTION0$, go to state 6 ============================= STATE NUMBER: 4 ============================= This state has conflicts: Resolved S/R conflict: choosing S10 over R80, on input 'OPENMETA' ----------------------------- [3] $ROOTS$ --> '$Implies_switch$' . Implies Preceding states: {0} Follow set: {'$E_O_I$'} [18] Implies --> . IriMeta_opt Consequent 'IF' Antecedent Preceding states: {4} [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {4} [80] IriMeta_opt --> . Preceding states: {4} Lookahead set: {'AND', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {4} ----------------------------- With Implies, go to state 165 With IriMeta_opt, go to state 166 With IriMeta, go to state 9 With 'OPENMETA', go to state 10 ============================= STATE NUMBER: 5 ============================= This state has conflicts: Resolved S/R conflict: choosing S10 over R80, on input 'OPENMETA' Resolved S/R conflict: choosing S49 over R80, on input 'STRING' Resolved S/R conflict: choosing S50 over R80, on input 'NUMBER' Resolved S/R conflict: choosing S51 over R80, on input 'LOCALNAME' Resolved S/R conflict: choosing S52 over R80, on input 'ANGLEBRACKETIRI' Resolved S/R conflict: choosing S18 over R80, on input 'IDENTIFIER' Resolved S/R conflict: choosing S19 over R80, on input 'COLON' ----------------------------- [4] $ROOTS$ --> '$Clause_switch$' . Clause Preceding states: {0} Follow set: {'$E_O_I$'} [16] Clause --> . AtomicFormula Preceding states: {5} [17] Clause --> . Implies Preceding states: {5} [18] Implies --> . IriMeta_opt Consequent 'IF' Antecedent Preceding states: {5} [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {5} [46] AtomicFormula --> . Atom Preceding states: {5} [47] AtomicFormula --> . Equal Preceding states: {5} [48] AtomicFormula --> . Member Preceding states: {5} [49] AtomicFormula --> . Subclass Preceding states: {5} [50] AtomicFormula --> . Frame Preceding states: {5} [53] Atom --> . UniTerm Preceding states: {5} [54] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {5} [55] Equal --> . Term 'EQUAL' Term Preceding states: {5} [56] Member --> . Term 'MEMBER' Term Preceding states: {5} [57] Subclass --> . Term 'SUBCLASS' Term Preceding states: {5} [58] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {5} [60] Term --> . IriMeta_opt RawTerm Preceding states: {5} [66] Const --> . FullyQualifiedConstant Preceding states: {5} [67] Const --> . ConstShort Preceding states: {5} [68] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {5} [70] ConstShort --> . 'NUMBER' Preceding states: {5} [71] ConstShort --> . 'STRING' Preceding states: {5} [72] ConstShort --> . 'LOCALNAME' Preceding states: {5} [73] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {5} [74] ConstShort --> . Curie Preceding states: {5} [80] IriMeta_opt --> . Preceding states: {5} Lookahead set: {'AND', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {5} [97] Curie --> . 'IDENTIFIER' Preceding states: {5} [98] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {5} [99] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {5} ----------------------------- With Clause, go to state 164 With IriMeta_opt, go to state 155 With AtomicFormula, go to state 96 With Implies, go to state 97 With IriMeta, go to state 9 With Atom, go to state 102 With Equal, go to state 103 With Member, go to state 104 With Subclass, go to state 105 With Frame, go to state 106 With 'OPENMETA', go to state 10 With Term, go to state 107 With UniTerm, go to state 108 With Const, go to state 56 With FullyQualifiedConstant, go to state 42 With ConstShort, go to state 43 With 'STRING', go to state 49 With 'NUMBER', go to state 50 With 'LOCALNAME', go to state 51 With 'ANGLEBRACKETIRI', go to state 52 With Curie, go to state 53 With 'IDENTIFIER', go to state 18 With 'COLON', go to state 19 ============================= STATE NUMBER: 6 ============================= [5] Document --> . IriMeta_opt 'DOCUMENT' 'OPENPAR' Base_opt Prefix_star DocumentBody 'CLOSEPAR' Preceding states: {6} [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {6} [80] IriMeta_opt --> . Preceding states: {6} Lookahead set: {'DOCUMENT'} [81] IriMeta_opt --> . IriMeta Preceding states: {6} [101] RifDocument --> $ACTION0$ . Document Preceding states: {0, 3} Follow set: {'$E_O_I$'} ----------------------------- With Document, go to state 7 With IriMeta_opt, go to state 8 With IriMeta, go to state 9 With 'OPENMETA', go to state 10 ============================= STATE NUMBER: 7 ============================= [101] RifDocument --> $ACTION0$ Document . Preceding states: {0, 3} Lookahead set: {'$E_O_I$'} ----------------------------- ============================= STATE NUMBER: 8 ============================= [5] Document --> IriMeta_opt . 'DOCUMENT' 'OPENPAR' Base_opt Prefix_star DocumentBody 'CLOSEPAR' Preceding states: {6} ----------------------------- With 'DOCUMENT', go to state 66 ============================= STATE NUMBER: 9 ============================= [81] IriMeta_opt --> IriMeta . Preceding states: {4, 5, 6, 11, 30, 34, 37, 57, 60, 78, 92, 95, 109, 110, 111, 121, 124, 127, 134, 141, 146, 150, 153, 155, 158, 166} Lookahead set: {'DOCUMENT', 'IMPORT', 'GROUP', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 10 ============================= This state has conflicts: Resolved S/R conflict: choosing S14 over R82, on input 'STRING' ----------------------------- [37] IriMeta --> 'OPENMETA' . IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {4, 5, 6, 11, 30, 34, 37, 57, 60, 78, 92, 95, 109, 110, 111, 121, 124, 127, 134, 141, 146, 150, 153, 155, 158, 166} Follow set: {'AND', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'CLOSEMETA', 'COLON'} [68] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {10} [82] IriConst_opt --> . Preceding states: {10} Lookahead set: {'AND', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'CLOSEMETA', 'COLON'} [83] IriConst_opt --> . IriConst Preceding states: {10} [96] IriConst --> . FullyQualifiedConstant Preceding states: {10} ----------------------------- With IriConst_opt, go to state 11 With FullyQualifiedConstant, go to state 12 With IriConst, go to state 13 With 'STRING', go to state 14 ============================= STATE NUMBER: 11 ============================= [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {11} [37] IriMeta --> 'OPENMETA' IriConst_opt . IriMetaBody_opt 'CLOSEMETA' Preceding states: {4, 5, 6, 11, 30, 34, 37, 57, 60, 78, 92, 95, 109, 110, 111, 121, 124, 127, 134, 141, 146, 150, 153, 155, 158, 166} Follow set: {'CLOSEMETA'} [38] IriMetaBody --> . Frame Preceding states: {11} [39] IriMetaBody --> . 'AND' 'OPENPAR' Frame_star 'CLOSEPAR' Preceding states: {11} [58] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {11} [60] Term --> . IriMeta_opt RawTerm Preceding states: {11} [80] IriMeta_opt --> . Preceding states: {11} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {11} [84] IriMetaBody_opt --> . Preceding states: {11} Lookahead set: {'CLOSEMETA'} [85] IriMetaBody_opt --> . IriMetaBody Preceding states: {11} ----------------------------- With IriMetaBody_opt, go to state 23 With IriMeta, go to state 9 With IriMeta_opt, go to state 24 With 'OPENMETA', go to state 10 With IriMetaBody, go to state 25 With Frame, go to state 26 With 'AND', go to state 27 With Term, go to state 28 ============================= STATE NUMBER: 12 ============================= [96] IriConst --> FullyQualifiedConstant . Preceding states: {10, 157} Lookahead set: {'AND', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'CLOSEMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 13 ============================= [83] IriConst_opt --> IriConst . Preceding states: {10} Lookahead set: {'AND', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'CLOSEMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 14 ============================= [68] FullyQualifiedConstant --> 'STRING' . 'LEXSPACE' SymSpace Preceding states: {10, 157} ----------------------------- With 'LEXSPACE', go to state 15 ============================= STATE NUMBER: 15 ============================= [68] FullyQualifiedConstant --> 'STRING' 'LEXSPACE' . SymSpace Preceding states: {5, 10, 24, 54, 92, 95, 121, 127, 134, 153, 155, 157, 166} Follow set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENPAR', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'CLOSEMETA', 'COLON'} [69] SymSpace --> . Curie Preceding states: {15} [97] Curie --> . 'IDENTIFIER' Preceding states: {15} [98] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {15} [99] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {15} ----------------------------- With SymSpace, go to state 16 With Curie, go to state 17 With 'IDENTIFIER', go to state 18 With 'COLON', go to state 19 ============================= STATE NUMBER: 16 ============================= [68] FullyQualifiedConstant --> 'STRING' 'LEXSPACE' SymSpace . Preceding states: {5, 10, 24, 54, 92, 95, 121, 127, 134, 153, 155, 157, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENPAR', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'CLOSEMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 17 ============================= [69] SymSpace --> Curie . Preceding states: {15} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENPAR', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'CLOSEMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 18 ============================= This state has conflicts: Resolved S/R conflict: choosing S21 over R97, on input 'COLON' ----------------------------- [97] Curie --> 'IDENTIFIER' . Preceding states: {5, 15, 24, 54, 92, 95, 121, 127, 134, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENPAR', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'CLOSEMETA', 'COLON'} [99] Curie --> 'IDENTIFIER' . 'COLON' 'IDENTIFIER' Preceding states: {5, 15, 24, 54, 92, 95, 121, 127, 134, 153, 155, 166} ----------------------------- With 'COLON', go to state 21 ============================= STATE NUMBER: 19 ============================= [98] Curie --> 'COLON' . 'IDENTIFIER' Preceding states: {5, 15, 24, 54, 92, 95, 121, 127, 134, 153, 155, 166} ----------------------------- With 'IDENTIFIER', go to state 20 ============================= STATE NUMBER: 20 ============================= [98] Curie --> 'COLON' 'IDENTIFIER' . Preceding states: {5, 15, 24, 54, 92, 95, 121, 127, 134, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENPAR', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'CLOSEMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 21 ============================= [99] Curie --> 'IDENTIFIER' 'COLON' . 'IDENTIFIER' Preceding states: {5, 15, 24, 54, 92, 95, 121, 127, 134, 153, 155, 166} ----------------------------- With 'IDENTIFIER', go to state 22 ============================= STATE NUMBER: 22 ============================= [99] Curie --> 'IDENTIFIER' 'COLON' 'IDENTIFIER' . Preceding states: {5, 15, 24, 54, 92, 95, 121, 127, 134, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENPAR', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'CLOSEMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 23 ============================= [37] IriMeta --> 'OPENMETA' IriConst_opt IriMetaBody_opt . 'CLOSEMETA' Preceding states: {4, 5, 6, 11, 30, 34, 37, 57, 60, 78, 92, 95, 109, 110, 111, 121, 124, 127, 134, 141, 146, 150, 153, 155, 158, 166} ----------------------------- With 'CLOSEMETA', go to state 65 ============================= STATE NUMBER: 24 ============================= [54] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {24} [60] Term --> IriMeta_opt . RawTerm Preceding states: {11, 30, 34, 37, 57, 60, 95, 109, 110, 111, 121, 127, 134, 155, 158, 166} Follow set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} [61] RawTerm --> . Const Preceding states: {24} [62] RawTerm --> . Var Preceding states: {24} [63] RawTerm --> . Expr Preceding states: {24} [64] RawTerm --> . 'EXTERNAL' 'OPENPAR' Expr 'CLOSEPAR' Preceding states: {24} [65] Expr --> . UniTerm Preceding states: {24} [66] Const --> . FullyQualifiedConstant Preceding states: {24} [67] Const --> . ConstShort Preceding states: {24} [68] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {24} [70] ConstShort --> . 'NUMBER' Preceding states: {24} [71] ConstShort --> . 'STRING' Preceding states: {24} [72] ConstShort --> . 'LOCALNAME' Preceding states: {24} [73] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {24} [74] ConstShort --> . Curie Preceding states: {24} [75] Var --> . 'VARIABLE' Preceding states: {24} [97] Curie --> . 'IDENTIFIER' Preceding states: {24} [98] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {24} [99] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {24} ----------------------------- With RawTerm, go to state 40 With Const, go to state 41 With FullyQualifiedConstant, go to state 42 With ConstShort, go to state 43 With Var, go to state 44 With Expr, go to state 45 With 'EXTERNAL', go to state 46 With 'VARIABLE', go to state 47 With UniTerm, go to state 48 With 'STRING', go to state 49 With 'NUMBER', go to state 50 With 'LOCALNAME', go to state 51 With 'ANGLEBRACKETIRI', go to state 52 With Curie, go to state 53 With 'IDENTIFIER', go to state 18 With 'COLON', go to state 19 ============================= STATE NUMBER: 25 ============================= [85] IriMetaBody_opt --> IriMetaBody . Preceding states: {11} Lookahead set: {'CLOSEMETA'} ----------------------------- ============================= STATE NUMBER: 26 ============================= [38] IriMetaBody --> Frame . Preceding states: {11} Lookahead set: {'CLOSEMETA'} ----------------------------- ============================= STATE NUMBER: 27 ============================= [39] IriMetaBody --> 'AND' . 'OPENPAR' Frame_star 'CLOSEPAR' Preceding states: {11} ----------------------------- With 'OPENPAR', go to state 36 ============================= STATE NUMBER: 28 ============================= [58] Frame --> Term . 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {11, 37, 134} ----------------------------- With 'OPENBRA', go to state 29 ============================= STATE NUMBER: 29 ============================= [58] Frame --> Term 'OPENBRA' . FrameAttribute_star 'CLOSEBRA' Preceding states: {5, 11, 37, 92, 95, 121, 127, 134, 153, 155, 166} Follow set: {'CLOSEBRA'} [92] FrameAttribute_star --> . Preceding states: {29} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEBRA', 'OPENMETA', 'COLON'} [93] FrameAttribute_star --> . FrameAttribute_star FrameAttribute Preceding states: {29} ----------------------------- With FrameAttribute_star, go to state 30 ============================= STATE NUMBER: 30 ============================= [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {30} [58] Frame --> Term 'OPENBRA' FrameAttribute_star . 'CLOSEBRA' Preceding states: {5, 11, 37, 92, 95, 121, 127, 134, 153, 155, 166} [59] FrameAttribute --> . Term 'ARROW' Term Preceding states: {30} [60] Term --> . IriMeta_opt RawTerm Preceding states: {30} [80] IriMeta_opt --> . Preceding states: {30} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {30} [93] FrameAttribute_star --> FrameAttribute_star . FrameAttribute Preceding states: {29} Follow set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- With 'CLOSEBRA', go to state 31 With FrameAttribute, go to state 32 With IriMeta, go to state 9 With IriMeta_opt, go to state 24 With 'OPENMETA', go to state 10 With Term, go to state 33 ============================= STATE NUMBER: 31 ============================= [58] Frame --> Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' . Preceding states: {5, 11, 37, 92, 95, 121, 127, 134, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'CLOSEMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 32 ============================= [93] FrameAttribute_star --> FrameAttribute_star FrameAttribute . Preceding states: {29} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 33 ============================= [59] FrameAttribute --> Term . 'ARROW' Term Preceding states: {30} ----------------------------- With 'ARROW', go to state 34 ============================= STATE NUMBER: 34 ============================= [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {34} [59] FrameAttribute --> Term 'ARROW' . Term Preceding states: {30} Follow set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEBRA', 'OPENMETA', 'COLON'} [60] Term --> . IriMeta_opt RawTerm Preceding states: {34} [80] IriMeta_opt --> . Preceding states: {34} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {34} ----------------------------- With Term, go to state 35 With IriMeta, go to state 9 With IriMeta_opt, go to state 24 With 'OPENMETA', go to state 10 ============================= STATE NUMBER: 35 ============================= [59] FrameAttribute --> Term 'ARROW' Term . Preceding states: {30} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 36 ============================= [39] IriMetaBody --> 'AND' 'OPENPAR' . Frame_star 'CLOSEPAR' Preceding states: {11} Follow set: {'CLOSEPAR'} [90] Frame_star --> . Preceding states: {36} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [91] Frame_star --> . Frame_star Frame Preceding states: {36} ----------------------------- With Frame_star, go to state 37 ============================= STATE NUMBER: 37 ============================= [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {37} [39] IriMetaBody --> 'AND' 'OPENPAR' Frame_star . 'CLOSEPAR' Preceding states: {11} [58] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {37} [60] Term --> . IriMeta_opt RawTerm Preceding states: {37} [80] IriMeta_opt --> . Preceding states: {37} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {37} [91] Frame_star --> Frame_star . Frame Preceding states: {36} Follow set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- With 'CLOSEPAR', go to state 38 With Frame, go to state 39 With IriMeta, go to state 9 With IriMeta_opt, go to state 24 With 'OPENMETA', go to state 10 With Term, go to state 28 ============================= STATE NUMBER: 38 ============================= [39] IriMetaBody --> 'AND' 'OPENPAR' Frame_star 'CLOSEPAR' . Preceding states: {11} Lookahead set: {'CLOSEMETA'} ----------------------------- ============================= STATE NUMBER: 39 ============================= [91] Frame_star --> Frame_star Frame . Preceding states: {36} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 40 ============================= [60] Term --> IriMeta_opt RawTerm . Preceding states: {5, 11, 30, 34, 37, 57, 60, 92, 95, 109, 110, 111, 121, 127, 134, 153, 155, 158, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 41 ============================= [54] UniTerm --> Const . 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {24, 95, 155} [61] RawTerm --> Const . Preceding states: {24, 95, 155} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- With 'OPENPAR', go to state 57 ============================= STATE NUMBER: 42 ============================= [66] Const --> FullyQualifiedConstant . Preceding states: {5, 24, 54, 92, 95, 121, 127, 134, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENPAR', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 43 ============================= [67] Const --> ConstShort . Preceding states: {5, 24, 54, 92, 95, 121, 127, 134, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENPAR', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 44 ============================= [62] RawTerm --> Var . Preceding states: {24, 95, 155} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 45 ============================= [63] RawTerm --> Expr . Preceding states: {24, 95, 155} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 46 ============================= [64] RawTerm --> 'EXTERNAL' . 'OPENPAR' Expr 'CLOSEPAR' Preceding states: {24, 95, 155} ----------------------------- With 'OPENPAR', go to state 54 ============================= STATE NUMBER: 47 ============================= [75] Var --> 'VARIABLE' . Preceding states: {24, 95, 115, 132, 139, 152, 155} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENPAR', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 48 ============================= [65] Expr --> UniTerm . Preceding states: {24, 54} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 49 ============================= [68] FullyQualifiedConstant --> 'STRING' . 'LEXSPACE' SymSpace Preceding states: {5, 24, 54, 92, 95, 121, 127, 134, 153, 155, 166} [71] ConstShort --> 'STRING' . Preceding states: {5, 24, 54, 92, 95, 121, 127, 134, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENPAR', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- With 'LEXSPACE', go to state 15 ============================= STATE NUMBER: 50 ============================= [70] ConstShort --> 'NUMBER' . Preceding states: {5, 24, 54, 92, 95, 121, 127, 134, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENPAR', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 51 ============================= [72] ConstShort --> 'LOCALNAME' . Preceding states: {5, 24, 54, 92, 95, 121, 127, 134, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENPAR', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 52 ============================= [73] ConstShort --> 'ANGLEBRACKETIRI' . Preceding states: {5, 24, 54, 92, 95, 121, 127, 134, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENPAR', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 53 ============================= [74] ConstShort --> Curie . Preceding states: {5, 24, 54, 92, 95, 121, 127, 134, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENPAR', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 54 ============================= [54] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {54} [64] RawTerm --> 'EXTERNAL' 'OPENPAR' . Expr 'CLOSEPAR' Preceding states: {24, 95, 155} Follow set: {'CLOSEPAR'} [65] Expr --> . UniTerm Preceding states: {54} [66] Const --> . FullyQualifiedConstant Preceding states: {54} [67] Const --> . ConstShort Preceding states: {54} [68] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {54} [70] ConstShort --> . 'NUMBER' Preceding states: {54} [71] ConstShort --> . 'STRING' Preceding states: {54} [72] ConstShort --> . 'LOCALNAME' Preceding states: {54} [73] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {54} [74] ConstShort --> . Curie Preceding states: {54} [97] Curie --> . 'IDENTIFIER' Preceding states: {54} [98] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {54} [99] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {54} ----------------------------- With Expr, go to state 55 With Const, go to state 56 With FullyQualifiedConstant, go to state 42 With ConstShort, go to state 43 With UniTerm, go to state 48 With 'STRING', go to state 49 With 'NUMBER', go to state 50 With 'LOCALNAME', go to state 51 With 'ANGLEBRACKETIRI', go to state 52 With Curie, go to state 53 With 'IDENTIFIER', go to state 18 With 'COLON', go to state 19 ============================= STATE NUMBER: 55 ============================= [64] RawTerm --> 'EXTERNAL' 'OPENPAR' Expr . 'CLOSEPAR' Preceding states: {24, 95, 155} ----------------------------- With 'CLOSEPAR', go to state 64 ============================= STATE NUMBER: 56 ============================= [54] UniTerm --> Const . 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {5, 54, 92, 121, 127, 134, 153, 166} ----------------------------- With 'OPENPAR', go to state 57 ============================= STATE NUMBER: 57 ============================= [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {57} [54] UniTerm --> Const 'OPENPAR' . UniTermBody 'CLOSEPAR' Preceding states: {5, 24, 54, 92, 95, 121, 127, 134, 153, 155, 166} Follow set: {'CLOSEPAR'} [60] Term --> . IriMeta_opt RawTerm Preceding states: {57} [76] UniTermBody --> . TermArgument_star Preceding states: {57} [77] TermArgument --> . Term Preceding states: {57} [80] IriMeta_opt --> . Preceding states: {57} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {57} [88] TermArgument_star --> . Preceding states: {57} Lookahead set: {'CLOSEPAR'} [89] TermArgument_star --> . TermArgument TermArgument_star Preceding states: {57} ----------------------------- With UniTermBody, go to state 58 With IriMeta, go to state 9 With IriMeta_opt, go to state 24 With 'OPENMETA', go to state 10 With TermArgument_star, go to state 59 With TermArgument, go to state 60 With Term, go to state 61 ============================= STATE NUMBER: 58 ============================= [54] UniTerm --> Const 'OPENPAR' UniTermBody . 'CLOSEPAR' Preceding states: {5, 24, 54, 92, 95, 121, 127, 134, 153, 155, 166} ----------------------------- With 'CLOSEPAR', go to state 63 ============================= STATE NUMBER: 59 ============================= [76] UniTermBody --> TermArgument_star . Preceding states: {57} Lookahead set: {'CLOSEPAR'} ----------------------------- ============================= STATE NUMBER: 60 ============================= [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {60} [60] Term --> . IriMeta_opt RawTerm Preceding states: {60} [77] TermArgument --> . Term Preceding states: {60} [80] IriMeta_opt --> . Preceding states: {60} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {60} [88] TermArgument_star --> . Preceding states: {60} Lookahead set: {'CLOSEPAR'} [89] TermArgument_star --> . TermArgument TermArgument_star Preceding states: {60} [89] TermArgument_star --> TermArgument . TermArgument_star Preceding states: {57, 60} Follow set: {'CLOSEPAR'} ----------------------------- With TermArgument_star, go to state 62 With IriMeta, go to state 9 With IriMeta_opt, go to state 24 With 'OPENMETA', go to state 10 With TermArgument, go to state 60 With Term, go to state 61 ============================= STATE NUMBER: 61 ============================= [77] TermArgument --> Term . Preceding states: {57, 60} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 62 ============================= [89] TermArgument_star --> TermArgument TermArgument_star . Preceding states: {57, 60} Lookahead set: {'CLOSEPAR'} ----------------------------- ============================= STATE NUMBER: 63 ============================= [54] UniTerm --> Const 'OPENPAR' UniTermBody 'CLOSEPAR' . Preceding states: {5, 24, 54, 92, 95, 121, 127, 134, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 64 ============================= [64] RawTerm --> 'EXTERNAL' 'OPENPAR' Expr 'CLOSEPAR' . Preceding states: {24, 95, 155} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 65 ============================= [37] IriMeta --> 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' . Preceding states: {4, 5, 6, 11, 30, 34, 37, 57, 60, 78, 92, 95, 109, 110, 111, 121, 124, 127, 134, 141, 146, 150, 153, 155, 158, 166} Lookahead set: {'DOCUMENT', 'IMPORT', 'GROUP', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 66 ============================= [5] Document --> IriMeta_opt 'DOCUMENT' . 'OPENPAR' Base_opt Prefix_star DocumentBody 'CLOSEPAR' Preceding states: {6} ----------------------------- With 'OPENPAR', go to state 67 ============================= STATE NUMBER: 67 ============================= [5] Document --> IriMeta_opt 'DOCUMENT' 'OPENPAR' . Base_opt Prefix_star DocumentBody 'CLOSEPAR' Preceding states: {6} Follow set: {'PREFIX', 'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} [6] Base --> . 'BASE' 'OPENPAR' Iri 'CLOSEPAR' Preceding states: {67} [23] Base_opt --> . Preceding states: {67} Lookahead set: {'PREFIX', 'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} [24] Base_opt --> . Base Preceding states: {67} ----------------------------- With Base_opt, go to state 68 With Base, go to state 69 With 'BASE', go to state 70 ============================= STATE NUMBER: 68 ============================= [5] Document --> IriMeta_opt 'DOCUMENT' 'OPENPAR' Base_opt . Prefix_star DocumentBody 'CLOSEPAR' Preceding states: {6} Follow set: {'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} [25] Prefix_star --> . Preceding states: {68} Lookahead set: {'PREFIX', 'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} [26] Prefix_star --> . Prefix_star Prefix Preceding states: {68} ----------------------------- With Prefix_star, go to state 75 ============================= STATE NUMBER: 69 ============================= [24] Base_opt --> Base . Preceding states: {67} Lookahead set: {'PREFIX', 'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} ----------------------------- ============================= STATE NUMBER: 70 ============================= [6] Base --> 'BASE' . 'OPENPAR' Iri 'CLOSEPAR' Preceding states: {67} ----------------------------- With 'OPENPAR', go to state 71 ============================= STATE NUMBER: 71 ============================= [6] Base --> 'BASE' 'OPENPAR' . Iri 'CLOSEPAR' Preceding states: {67} Follow set: {'CLOSEPAR'} [95] Iri --> . 'STRING' Preceding states: {71} ----------------------------- With Iri, go to state 72 With 'STRING', go to state 73 ============================= STATE NUMBER: 72 ============================= [6] Base --> 'BASE' 'OPENPAR' Iri . 'CLOSEPAR' Preceding states: {67} ----------------------------- With 'CLOSEPAR', go to state 74 ============================= STATE NUMBER: 73 ============================= [95] Iri --> 'STRING' . Preceding states: {71, 81} Lookahead set: {'CLOSEPAR'} ----------------------------- ============================= STATE NUMBER: 74 ============================= [6] Base --> 'BASE' 'OPENPAR' Iri 'CLOSEPAR' . Preceding states: {67} Lookahead set: {'PREFIX', 'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} ----------------------------- ============================= STATE NUMBER: 75 ============================= [5] Document --> IriMeta_opt 'DOCUMENT' 'OPENPAR' Base_opt Prefix_star . DocumentBody 'CLOSEPAR' Preceding states: {6} Follow set: {'CLOSEPAR'} [7] Prefix --> . 'PREFIX' 'OPENPAR' Name Iri 'CLOSEPAR' Preceding states: {75} [8] DocumentBody --> . Import_star Group_opt Preceding states: {75} [26] Prefix_star --> Prefix_star . Prefix Preceding states: {68} Follow set: {'PREFIX', 'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} [27] Import_star --> . Preceding states: {75} Lookahead set: {'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} [28] Import_star --> . Import_star Import Preceding states: {75} ----------------------------- With DocumentBody, go to state 76 With Prefix, go to state 77 With Import_star, go to state 78 With 'PREFIX', go to state 79 ============================= STATE NUMBER: 76 ============================= [5] Document --> IriMeta_opt 'DOCUMENT' 'OPENPAR' Base_opt Prefix_star DocumentBody . 'CLOSEPAR' Preceding states: {6} ----------------------------- With 'CLOSEPAR', go to state 163 ============================= STATE NUMBER: 77 ============================= [26] Prefix_star --> Prefix_star Prefix . Preceding states: {68} Lookahead set: {'PREFIX', 'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} ----------------------------- ============================= STATE NUMBER: 78 ============================= [8] DocumentBody --> Import_star . Group_opt Preceding states: {75} Follow set: {'CLOSEPAR'} [9] Import --> . IriMeta_opt 'IMPORT' 'OPENPAR' IriConst Profile_opt 'CLOSEPAR' Preceding states: {78} [10] Group --> . IriMeta_opt 'GROUP' 'OPENPAR' RuleOrGroup_star 'CLOSEPAR' Preceding states: {78} [28] Import_star --> Import_star . Import Preceding states: {75} Follow set: {'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} [31] Group_opt --> . Preceding states: {78} Lookahead set: {'CLOSEPAR'} [32] Group_opt --> . Group Preceding states: {78} [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {78} [80] IriMeta_opt --> . Preceding states: {78} Lookahead set: {'IMPORT', 'GROUP'} [81] IriMeta_opt --> . IriMeta Preceding states: {78} ----------------------------- With Group_opt, go to state 85 With Import, go to state 86 With IriMeta, go to state 9 With Group, go to state 87 With IriMeta_opt, go to state 88 With 'OPENMETA', go to state 10 ============================= STATE NUMBER: 79 ============================= [7] Prefix --> 'PREFIX' . 'OPENPAR' Name Iri 'CLOSEPAR' Preceding states: {75} ----------------------------- With 'OPENPAR', go to state 80 ============================= STATE NUMBER: 80 ============================= [7] Prefix --> 'PREFIX' 'OPENPAR' . Name Iri 'CLOSEPAR' Preceding states: {75} Follow set: {'STRING'} [94] Name --> . 'IDENTIFIER' Preceding states: {80} ----------------------------- With Name, go to state 81 With 'IDENTIFIER', go to state 82 ============================= STATE NUMBER: 81 ============================= [7] Prefix --> 'PREFIX' 'OPENPAR' Name . Iri 'CLOSEPAR' Preceding states: {75} Follow set: {'CLOSEPAR'} [95] Iri --> . 'STRING' Preceding states: {81} ----------------------------- With Iri, go to state 83 With 'STRING', go to state 73 ============================= STATE NUMBER: 82 ============================= [94] Name --> 'IDENTIFIER' . Preceding states: {80} Lookahead set: {'STRING'} ----------------------------- ============================= STATE NUMBER: 83 ============================= [7] Prefix --> 'PREFIX' 'OPENPAR' Name Iri . 'CLOSEPAR' Preceding states: {75} ----------------------------- With 'CLOSEPAR', go to state 84 ============================= STATE NUMBER: 84 ============================= [7] Prefix --> 'PREFIX' 'OPENPAR' Name Iri 'CLOSEPAR' . Preceding states: {75} Lookahead set: {'PREFIX', 'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} ----------------------------- ============================= STATE NUMBER: 85 ============================= [8] DocumentBody --> Import_star Group_opt . Preceding states: {75} Lookahead set: {'CLOSEPAR'} ----------------------------- ============================= STATE NUMBER: 86 ============================= [28] Import_star --> Import_star Import . Preceding states: {75} Lookahead set: {'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} ----------------------------- ============================= STATE NUMBER: 87 ============================= [32] Group_opt --> Group . Preceding states: {78} Lookahead set: {'CLOSEPAR'} ----------------------------- ============================= STATE NUMBER: 88 ============================= [9] Import --> IriMeta_opt . 'IMPORT' 'OPENPAR' IriConst Profile_opt 'CLOSEPAR' Preceding states: {78} [10] Group --> IriMeta_opt . 'GROUP' 'OPENPAR' RuleOrGroup_star 'CLOSEPAR' Preceding states: {78} ----------------------------- With 'IMPORT', go to state 89 With 'GROUP', go to state 90 ============================= STATE NUMBER: 89 ============================= [9] Import --> IriMeta_opt 'IMPORT' . 'OPENPAR' IriConst Profile_opt 'CLOSEPAR' Preceding states: {78} ----------------------------- With 'OPENPAR', go to state 157 ============================= STATE NUMBER: 90 ============================= [10] Group --> IriMeta_opt 'GROUP' . 'OPENPAR' RuleOrGroup_star 'CLOSEPAR' Preceding states: {78, 92} ----------------------------- With 'OPENPAR', go to state 91 ============================= STATE NUMBER: 91 ============================= [10] Group --> IriMeta_opt 'GROUP' 'OPENPAR' . RuleOrGroup_star 'CLOSEPAR' Preceding states: {78, 92} Follow set: {'CLOSEPAR'} [33] RuleOrGroup_star --> . Preceding states: {91} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [34] RuleOrGroup_star --> . RuleOrGroup_star RuleOrGroup Preceding states: {91} ----------------------------- With RuleOrGroup_star, go to state 92 ============================= STATE NUMBER: 92 ============================= This state has conflicts: Resolved S/R conflict: choosing S10 over R80, on input 'OPENMETA' Resolved S/R conflict: choosing S49 over R80, on input 'STRING' Resolved S/R conflict: choosing S50 over R80, on input 'NUMBER' Resolved S/R conflict: choosing S51 over R80, on input 'LOCALNAME' Resolved S/R conflict: choosing S52 over R80, on input 'ANGLEBRACKETIRI' Resolved S/R conflict: choosing S18 over R80, on input 'IDENTIFIER' Resolved S/R conflict: choosing S19 over R80, on input 'COLON' ----------------------------- [10] Group --> . IriMeta_opt 'GROUP' 'OPENPAR' RuleOrGroup_star 'CLOSEPAR' Preceding states: {92} [10] Group --> IriMeta_opt 'GROUP' 'OPENPAR' RuleOrGroup_star . 'CLOSEPAR' Preceding states: {78, 92} [11] RuleOrGroup --> . Rule Preceding states: {92} [12] RuleOrGroup --> . Group Preceding states: {92} [13] Rule --> . Clause Preceding states: {92} [14] Rule --> . QuantifiedClause Preceding states: {92} [15] QuantifiedClause --> . IriMeta_opt 'FORALL' Var_plus 'OPENPAR' Clause 'CLOSEPAR' Preceding states: {92} [16] Clause --> . AtomicFormula Preceding states: {92} [17] Clause --> . Implies Preceding states: {92} [18] Implies --> . IriMeta_opt Consequent 'IF' Antecedent Preceding states: {92} [34] RuleOrGroup_star --> RuleOrGroup_star . RuleOrGroup Preceding states: {91} Follow set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {92} [46] AtomicFormula --> . Atom Preceding states: {92} [47] AtomicFormula --> . Equal Preceding states: {92} [48] AtomicFormula --> . Member Preceding states: {92} [49] AtomicFormula --> . Subclass Preceding states: {92} [50] AtomicFormula --> . Frame Preceding states: {92} [53] Atom --> . UniTerm Preceding states: {92} [54] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {92} [55] Equal --> . Term 'EQUAL' Term Preceding states: {92} [56] Member --> . Term 'MEMBER' Term Preceding states: {92} [57] Subclass --> . Term 'SUBCLASS' Term Preceding states: {92} [58] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {92} [60] Term --> . IriMeta_opt RawTerm Preceding states: {92} [66] Const --> . FullyQualifiedConstant Preceding states: {92} [67] Const --> . ConstShort Preceding states: {92} [68] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {92} [70] ConstShort --> . 'NUMBER' Preceding states: {92} [71] ConstShort --> . 'STRING' Preceding states: {92} [72] ConstShort --> . 'LOCALNAME' Preceding states: {92} [73] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {92} [74] ConstShort --> . Curie Preceding states: {92} [80] IriMeta_opt --> . Preceding states: {92} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {92} [97] Curie --> . 'IDENTIFIER' Preceding states: {92} [98] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {92} [99] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {92} ----------------------------- With 'CLOSEPAR', go to state 93 With RuleOrGroup, go to state 94 With IriMeta_opt, go to state 95 With AtomicFormula, go to state 96 With Implies, go to state 97 With IriMeta, go to state 9 With Rule, go to state 98 With Group, go to state 99 With Clause, go to state 100 With QuantifiedClause, go to state 101 With Atom, go to state 102 With Equal, go to state 103 With Member, go to state 104 With Subclass, go to state 105 With Frame, go to state 106 With 'OPENMETA', go to state 10 With Term, go to state 107 With UniTerm, go to state 108 With Const, go to state 56 With FullyQualifiedConstant, go to state 42 With ConstShort, go to state 43 With 'STRING', go to state 49 With 'NUMBER', go to state 50 With 'LOCALNAME', go to state 51 With 'ANGLEBRACKETIRI', go to state 52 With Curie, go to state 53 With 'IDENTIFIER', go to state 18 With 'COLON', go to state 19 ============================= STATE NUMBER: 93 ============================= [10] Group --> IriMeta_opt 'GROUP' 'OPENPAR' RuleOrGroup_star 'CLOSEPAR' . Preceding states: {78, 92} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 94 ============================= [34] RuleOrGroup_star --> RuleOrGroup_star RuleOrGroup . Preceding states: {91} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 95 ============================= This state has conflicts: Resolved S/R conflict: choosing S49 over R80, on input 'STRING' Resolved S/R conflict: choosing S50 over R80, on input 'NUMBER' Resolved S/R conflict: choosing S51 over R80, on input 'LOCALNAME' Resolved S/R conflict: choosing S52 over R80, on input 'ANGLEBRACKETIRI' Resolved S/R conflict: choosing S18 over R80, on input 'IDENTIFIER' Resolved S/R conflict: choosing S19 over R80, on input 'COLON' Resolved S/R conflict: choosing S46 over R80, on input 'EXTERNAL' Resolved S/R conflict: choosing S47 over R80, on input 'VARIABLE' ----------------------------- [10] Group --> IriMeta_opt . 'GROUP' 'OPENPAR' RuleOrGroup_star 'CLOSEPAR' Preceding states: {92} [15] QuantifiedClause --> IriMeta_opt . 'FORALL' Var_plus 'OPENPAR' Clause 'CLOSEPAR' Preceding states: {92} [18] Implies --> IriMeta_opt . Consequent 'IF' Antecedent Preceding states: {92} Follow set: {'IF'} [19] Consequent --> . AtomicFormula Preceding states: {95} [20] Consequent --> . 'AND' 'OPENPAR' AtomicFormula_star 'CLOSEPAR' Preceding states: {95} [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {95} [46] AtomicFormula --> . Atom Preceding states: {95} [47] AtomicFormula --> . Equal Preceding states: {95} [48] AtomicFormula --> . Member Preceding states: {95} [49] AtomicFormula --> . Subclass Preceding states: {95} [50] AtomicFormula --> . Frame Preceding states: {95} [53] Atom --> . UniTerm Preceding states: {95} [54] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {95} [55] Equal --> . Term 'EQUAL' Term Preceding states: {95} [56] Member --> . Term 'MEMBER' Term Preceding states: {95} [57] Subclass --> . Term 'SUBCLASS' Term Preceding states: {95} [58] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {95} [60] Term --> . IriMeta_opt RawTerm Preceding states: {95} [60] Term --> IriMeta_opt . RawTerm Preceding states: {92} Follow set: {'EQUAL', 'MEMBER', 'SUBCLASS', 'OPENBRA'} [61] RawTerm --> . Const Preceding states: {95} [62] RawTerm --> . Var Preceding states: {95} [63] RawTerm --> . Expr Preceding states: {95} [64] RawTerm --> . 'EXTERNAL' 'OPENPAR' Expr 'CLOSEPAR' Preceding states: {95} [65] Expr --> . UniTerm Preceding states: {95} [66] Const --> . FullyQualifiedConstant Preceding states: {95} [67] Const --> . ConstShort Preceding states: {95} [68] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {95} [70] ConstShort --> . 'NUMBER' Preceding states: {95} [71] ConstShort --> . 'STRING' Preceding states: {95} [72] ConstShort --> . 'LOCALNAME' Preceding states: {95} [73] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {95} [74] ConstShort --> . Curie Preceding states: {95} [75] Var --> . 'VARIABLE' Preceding states: {95} [80] IriMeta_opt --> . Preceding states: {95} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {95} [97] Curie --> . 'IDENTIFIER' Preceding states: {95} [98] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {95} [99] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {95} ----------------------------- With 'GROUP', go to state 90 With 'FORALL', go to state 115 With Consequent, go to state 116 With RawTerm, go to state 40 With IriMeta, go to state 9 With Atom, go to state 102 With Equal, go to state 103 With Member, go to state 104 With Subclass, go to state 105 With Frame, go to state 106 With AtomicFormula, go to state 117 With 'AND', go to state 118 With IriMeta_opt, go to state 24 With 'OPENMETA', go to state 10 With Term, go to state 107 With UniTerm, go to state 119 With Const, go to state 41 With FullyQualifiedConstant, go to state 42 With ConstShort, go to state 43 With 'STRING', go to state 49 With 'NUMBER', go to state 50 With 'LOCALNAME', go to state 51 With 'ANGLEBRACKETIRI', go to state 52 With Curie, go to state 53 With 'IDENTIFIER', go to state 18 With 'COLON', go to state 19 With Var, go to state 44 With Expr, go to state 45 With 'EXTERNAL', go to state 46 With 'VARIABLE', go to state 47 ============================= STATE NUMBER: 96 ============================= [16] Clause --> AtomicFormula . Preceding states: {5, 92, 153} Lookahead set: {'$E_O_I$', 'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 97 ============================= [17] Clause --> Implies . Preceding states: {5, 92, 153} Lookahead set: {'$E_O_I$', 'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 98 ============================= [11] RuleOrGroup --> Rule . Preceding states: {92} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 99 ============================= [12] RuleOrGroup --> Group . Preceding states: {92} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 100 ============================= [13] Rule --> Clause . Preceding states: {92} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 101 ============================= [14] Rule --> QuantifiedClause . Preceding states: {92} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 102 ============================= [46] AtomicFormula --> Atom . Preceding states: {5, 92, 95, 121, 127, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 103 ============================= [47] AtomicFormula --> Equal . Preceding states: {5, 92, 95, 121, 127, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 104 ============================= [48] AtomicFormula --> Member . Preceding states: {5, 92, 95, 121, 127, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 105 ============================= [49] AtomicFormula --> Subclass . Preceding states: {5, 92, 95, 121, 127, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 106 ============================= [50] AtomicFormula --> Frame . Preceding states: {5, 92, 95, 121, 127, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 107 ============================= [55] Equal --> Term . 'EQUAL' Term Preceding states: {5, 92, 95, 121, 127, 153, 155, 166} [56] Member --> Term . 'MEMBER' Term Preceding states: {5, 92, 95, 121, 127, 153, 155, 166} [57] Subclass --> Term . 'SUBCLASS' Term Preceding states: {5, 92, 95, 121, 127, 153, 155, 166} [58] Frame --> Term . 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {5, 92, 95, 121, 127, 153, 155, 166} ----------------------------- With 'EQUAL', go to state 109 With 'MEMBER', go to state 110 With 'SUBCLASS', go to state 111 With 'OPENBRA', go to state 29 ============================= STATE NUMBER: 108 ============================= [53] Atom --> UniTerm . Preceding states: {5, 92, 121, 127, 134, 153, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 109 ============================= [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {109} [55] Equal --> Term 'EQUAL' . Term Preceding states: {5, 92, 95, 121, 127, 153, 155, 166} Follow set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [60] Term --> . IriMeta_opt RawTerm Preceding states: {109} [80] IriMeta_opt --> . Preceding states: {109} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {109} ----------------------------- With Term, go to state 114 With IriMeta, go to state 9 With IriMeta_opt, go to state 24 With 'OPENMETA', go to state 10 ============================= STATE NUMBER: 110 ============================= [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {110} [56] Member --> Term 'MEMBER' . Term Preceding states: {5, 92, 95, 121, 127, 153, 155, 166} Follow set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [60] Term --> . IriMeta_opt RawTerm Preceding states: {110} [80] IriMeta_opt --> . Preceding states: {110} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {110} ----------------------------- With Term, go to state 113 With IriMeta, go to state 9 With IriMeta_opt, go to state 24 With 'OPENMETA', go to state 10 ============================= STATE NUMBER: 111 ============================= [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {111} [57] Subclass --> Term 'SUBCLASS' . Term Preceding states: {5, 92, 95, 121, 127, 153, 155, 166} Follow set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [60] Term --> . IriMeta_opt RawTerm Preceding states: {111} [80] IriMeta_opt --> . Preceding states: {111} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {111} ----------------------------- With Term, go to state 112 With IriMeta, go to state 9 With IriMeta_opt, go to state 24 With 'OPENMETA', go to state 10 ============================= STATE NUMBER: 112 ============================= [57] Subclass --> Term 'SUBCLASS' Term . Preceding states: {5, 92, 95, 121, 127, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 113 ============================= [56] Member --> Term 'MEMBER' Term . Preceding states: {5, 92, 95, 121, 127, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 114 ============================= [55] Equal --> Term 'EQUAL' Term . Preceding states: {5, 92, 95, 121, 127, 153, 155, 166} Lookahead set: {'$E_O_I$', 'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 115 ============================= [15] QuantifiedClause --> IriMeta_opt 'FORALL' . Var_plus 'OPENPAR' Clause 'CLOSEPAR' Preceding states: {92} Follow set: {'OPENPAR'} [75] Var --> . 'VARIABLE' Preceding states: {115} [78] Var_plus --> . Var Preceding states: {115} [79] Var_plus --> . Var_plus Var Preceding states: {115} ----------------------------- With Var_plus, go to state 152 With Var, go to state 140 With 'VARIABLE', go to state 47 ============================= STATE NUMBER: 116 ============================= [18] Implies --> IriMeta_opt Consequent . 'IF' Antecedent Preceding states: {4, 5, 92, 153} ----------------------------- With 'IF', go to state 124 ============================= STATE NUMBER: 117 ============================= [19] Consequent --> AtomicFormula . Preceding states: {95, 155, 166} Lookahead set: {'IF'} ----------------------------- ============================= STATE NUMBER: 118 ============================= [20] Consequent --> 'AND' . 'OPENPAR' AtomicFormula_star 'CLOSEPAR' Preceding states: {95, 155, 166} ----------------------------- With 'OPENPAR', go to state 120 ============================= STATE NUMBER: 119 ============================= [53] Atom --> UniTerm . Preceding states: {95, 155} Lookahead set: {'IF'} [65] Expr --> UniTerm . Preceding states: {95, 155} Lookahead set: {'EQUAL', 'MEMBER', 'SUBCLASS', 'OPENBRA'} ----------------------------- ============================= STATE NUMBER: 120 ============================= [20] Consequent --> 'AND' 'OPENPAR' . AtomicFormula_star 'CLOSEPAR' Preceding states: {95, 155, 166} Follow set: {'CLOSEPAR'} [35] AtomicFormula_star --> . Preceding states: {120} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [36] AtomicFormula_star --> . AtomicFormula_star AtomicFormula Preceding states: {120} ----------------------------- With AtomicFormula_star, go to state 121 ============================= STATE NUMBER: 121 ============================= This state has conflicts: Resolved S/R conflict: choosing S49 over R80, on input 'STRING' Resolved S/R conflict: choosing S50 over R80, on input 'NUMBER' Resolved S/R conflict: choosing S51 over R80, on input 'LOCALNAME' Resolved S/R conflict: choosing S52 over R80, on input 'ANGLEBRACKETIRI' Resolved S/R conflict: choosing S18 over R80, on input 'IDENTIFIER' Resolved S/R conflict: choosing S19 over R80, on input 'COLON' ----------------------------- [20] Consequent --> 'AND' 'OPENPAR' AtomicFormula_star . 'CLOSEPAR' Preceding states: {95, 155, 166} [36] AtomicFormula_star --> AtomicFormula_star . AtomicFormula Preceding states: {120} Follow set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {121} [46] AtomicFormula --> . Atom Preceding states: {121} [47] AtomicFormula --> . Equal Preceding states: {121} [48] AtomicFormula --> . Member Preceding states: {121} [49] AtomicFormula --> . Subclass Preceding states: {121} [50] AtomicFormula --> . Frame Preceding states: {121} [53] Atom --> . UniTerm Preceding states: {121} [54] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {121} [55] Equal --> . Term 'EQUAL' Term Preceding states: {121} [56] Member --> . Term 'MEMBER' Term Preceding states: {121} [57] Subclass --> . Term 'SUBCLASS' Term Preceding states: {121} [58] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {121} [60] Term --> . IriMeta_opt RawTerm Preceding states: {121} [66] Const --> . FullyQualifiedConstant Preceding states: {121} [67] Const --> . ConstShort Preceding states: {121} [68] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {121} [70] ConstShort --> . 'NUMBER' Preceding states: {121} [71] ConstShort --> . 'STRING' Preceding states: {121} [72] ConstShort --> . 'LOCALNAME' Preceding states: {121} [73] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {121} [74] ConstShort --> . Curie Preceding states: {121} [80] IriMeta_opt --> . Preceding states: {121} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {121} [97] Curie --> . 'IDENTIFIER' Preceding states: {121} [98] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {121} [99] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {121} ----------------------------- With 'CLOSEPAR', go to state 122 With AtomicFormula, go to state 123 With IriMeta, go to state 9 With Atom, go to state 102 With Equal, go to state 103 With Member, go to state 104 With Subclass, go to state 105 With Frame, go to state 106 With IriMeta_opt, go to state 24 With 'OPENMETA', go to state 10 With Term, go to state 107 With UniTerm, go to state 108 With Const, go to state 56 With FullyQualifiedConstant, go to state 42 With ConstShort, go to state 43 With 'STRING', go to state 49 With 'NUMBER', go to state 50 With 'LOCALNAME', go to state 51 With 'ANGLEBRACKETIRI', go to state 52 With Curie, go to state 53 With 'IDENTIFIER', go to state 18 With 'COLON', go to state 19 ============================= STATE NUMBER: 122 ============================= [20] Consequent --> 'AND' 'OPENPAR' AtomicFormula_star 'CLOSEPAR' . Preceding states: {95, 155, 166} Lookahead set: {'IF'} ----------------------------- ============================= STATE NUMBER: 123 ============================= [36] AtomicFormula_star --> AtomicFormula_star AtomicFormula . Preceding states: {120} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 124 ============================= This state has conflicts: Resolved S/R conflict: choosing S10 over R80, on input 'OPENMETA' ----------------------------- [18] Implies --> IriMeta_opt Consequent 'IF' . Antecedent Preceding states: {4, 5, 92, 153} Follow set: {'$E_O_I$', 'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [21] Antecedent --> . Formula Preceding states: {124} [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {124} [40] Formula --> . IriMeta_opt RawFormula Preceding states: {124} [80] IriMeta_opt --> . Preceding states: {124} Lookahead set: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {124} ----------------------------- With Antecedent, go to state 125 With IriMeta, go to state 9 With Formula, go to state 126 With IriMeta_opt, go to state 127 With 'OPENMETA', go to state 10 ============================= STATE NUMBER: 125 ============================= [18] Implies --> IriMeta_opt Consequent 'IF' Antecedent . Preceding states: {4, 5, 92, 153} Lookahead set: {'$E_O_I$', 'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 126 ============================= [21] Antecedent --> Formula . Preceding states: {124} Lookahead set: {'$E_O_I$', 'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 127 ============================= This state has conflicts: Resolved S/R conflict: choosing S133 over R80, on input 'EXTERNAL' Resolved S/R conflict: choosing S49 over R80, on input 'STRING' Resolved S/R conflict: choosing S50 over R80, on input 'NUMBER' Resolved S/R conflict: choosing S51 over R80, on input 'LOCALNAME' Resolved S/R conflict: choosing S52 over R80, on input 'ANGLEBRACKETIRI' Resolved S/R conflict: choosing S18 over R80, on input 'IDENTIFIER' Resolved S/R conflict: choosing S19 over R80, on input 'COLON' ----------------------------- [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {127} [40] Formula --> IriMeta_opt . RawFormula Preceding states: {124, 141, 146, 150} Follow set: {'$E_O_I$', 'GROUP', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [41] RawFormula --> . AtomicFormula Preceding states: {127} [42] RawFormula --> . 'AND' 'OPENPAR' Formula_star 'CLOSEPAR' Preceding states: {127} [43] RawFormula --> . 'OR' 'OPENPAR' Formula_star 'CLOSEPAR' Preceding states: {127} [44] RawFormula --> . 'EXISTS' Var_plus 'OPENPAR' Formula 'CLOSEPAR' Preceding states: {127} [45] RawFormula --> . 'EXTERNAL' 'OPENPAR' AtomOrFrame 'CLOSEPAR' Preceding states: {127} [46] AtomicFormula --> . Atom Preceding states: {127} [47] AtomicFormula --> . Equal Preceding states: {127} [48] AtomicFormula --> . Member Preceding states: {127} [49] AtomicFormula --> . Subclass Preceding states: {127} [50] AtomicFormula --> . Frame Preceding states: {127} [53] Atom --> . UniTerm Preceding states: {127} [54] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {127} [55] Equal --> . Term 'EQUAL' Term Preceding states: {127} [56] Member --> . Term 'MEMBER' Term Preceding states: {127} [57] Subclass --> . Term 'SUBCLASS' Term Preceding states: {127} [58] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {127} [60] Term --> . IriMeta_opt RawTerm Preceding states: {127} [66] Const --> . FullyQualifiedConstant Preceding states: {127} [67] Const --> . ConstShort Preceding states: {127} [68] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {127} [70] ConstShort --> . 'NUMBER' Preceding states: {127} [71] ConstShort --> . 'STRING' Preceding states: {127} [72] ConstShort --> . 'LOCALNAME' Preceding states: {127} [73] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {127} [74] ConstShort --> . Curie Preceding states: {127} [80] IriMeta_opt --> . Preceding states: {127} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {127} [97] Curie --> . 'IDENTIFIER' Preceding states: {127} [98] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {127} [99] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {127} ----------------------------- With RawFormula, go to state 128 With IriMeta, go to state 9 With Atom, go to state 102 With Equal, go to state 103 With Member, go to state 104 With Subclass, go to state 105 With Frame, go to state 106 With IriMeta_opt, go to state 24 With 'OPENMETA', go to state 10 With Term, go to state 107 With AtomicFormula, go to state 129 With 'AND', go to state 130 With 'OR', go to state 131 With 'EXISTS', go to state 132 With 'EXTERNAL', go to state 133 With UniTerm, go to state 108 With Const, go to state 56 With FullyQualifiedConstant, go to state 42 With ConstShort, go to state 43 With 'STRING', go to state 49 With 'NUMBER', go to state 50 With 'LOCALNAME', go to state 51 With 'ANGLEBRACKETIRI', go to state 52 With Curie, go to state 53 With 'IDENTIFIER', go to state 18 With 'COLON', go to state 19 ============================= STATE NUMBER: 128 ============================= [40] Formula --> IriMeta_opt RawFormula . Preceding states: {124, 141, 146, 150} Lookahead set: {'$E_O_I$', 'GROUP', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 129 ============================= [41] RawFormula --> AtomicFormula . Preceding states: {127} Lookahead set: {'$E_O_I$', 'GROUP', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 130 ============================= [42] RawFormula --> 'AND' . 'OPENPAR' Formula_star 'CLOSEPAR' Preceding states: {127} ----------------------------- With 'OPENPAR', go to state 149 ============================= STATE NUMBER: 131 ============================= [43] RawFormula --> 'OR' . 'OPENPAR' Formula_star 'CLOSEPAR' Preceding states: {127} ----------------------------- With 'OPENPAR', go to state 145 ============================= STATE NUMBER: 132 ============================= [44] RawFormula --> 'EXISTS' . Var_plus 'OPENPAR' Formula 'CLOSEPAR' Preceding states: {127} Follow set: {'OPENPAR'} [75] Var --> . 'VARIABLE' Preceding states: {132} [78] Var_plus --> . Var Preceding states: {132} [79] Var_plus --> . Var_plus Var Preceding states: {132} ----------------------------- With Var_plus, go to state 139 With Var, go to state 140 With 'VARIABLE', go to state 47 ============================= STATE NUMBER: 133 ============================= [45] RawFormula --> 'EXTERNAL' . 'OPENPAR' AtomOrFrame 'CLOSEPAR' Preceding states: {127} ----------------------------- With 'OPENPAR', go to state 134 ============================= STATE NUMBER: 134 ============================= This state has conflicts: Resolved S/R conflict: choosing S49 over R80, on input 'STRING' Resolved S/R conflict: choosing S50 over R80, on input 'NUMBER' Resolved S/R conflict: choosing S51 over R80, on input 'LOCALNAME' Resolved S/R conflict: choosing S52 over R80, on input 'ANGLEBRACKETIRI' Resolved S/R conflict: choosing S18 over R80, on input 'IDENTIFIER' Resolved S/R conflict: choosing S19 over R80, on input 'COLON' ----------------------------- [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {134} [45] RawFormula --> 'EXTERNAL' 'OPENPAR' . AtomOrFrame 'CLOSEPAR' Preceding states: {127} Follow set: {'CLOSEPAR'} [51] AtomOrFrame --> . Atom Preceding states: {134} [52] AtomOrFrame --> . Frame Preceding states: {134} [53] Atom --> . UniTerm Preceding states: {134} [54] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {134} [58] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {134} [60] Term --> . IriMeta_opt RawTerm Preceding states: {134} [66] Const --> . FullyQualifiedConstant Preceding states: {134} [67] Const --> . ConstShort Preceding states: {134} [68] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {134} [70] ConstShort --> . 'NUMBER' Preceding states: {134} [71] ConstShort --> . 'STRING' Preceding states: {134} [72] ConstShort --> . 'LOCALNAME' Preceding states: {134} [73] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {134} [74] ConstShort --> . Curie Preceding states: {134} [80] IriMeta_opt --> . Preceding states: {134} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {134} [97] Curie --> . 'IDENTIFIER' Preceding states: {134} [98] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {134} [99] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {134} ----------------------------- With AtomOrFrame, go to state 135 With IriMeta, go to state 9 With IriMeta_opt, go to state 24 With 'OPENMETA', go to state 10 With Term, go to state 28 With Atom, go to state 136 With Frame, go to state 137 With UniTerm, go to state 108 With Const, go to state 56 With FullyQualifiedConstant, go to state 42 With ConstShort, go to state 43 With 'STRING', go to state 49 With 'NUMBER', go to state 50 With 'LOCALNAME', go to state 51 With 'ANGLEBRACKETIRI', go to state 52 With Curie, go to state 53 With 'IDENTIFIER', go to state 18 With 'COLON', go to state 19 ============================= STATE NUMBER: 135 ============================= [45] RawFormula --> 'EXTERNAL' 'OPENPAR' AtomOrFrame . 'CLOSEPAR' Preceding states: {127} ----------------------------- With 'CLOSEPAR', go to state 138 ============================= STATE NUMBER: 136 ============================= [51] AtomOrFrame --> Atom . Preceding states: {134} Lookahead set: {'CLOSEPAR'} ----------------------------- ============================= STATE NUMBER: 137 ============================= [52] AtomOrFrame --> Frame . Preceding states: {134} Lookahead set: {'CLOSEPAR'} ----------------------------- ============================= STATE NUMBER: 138 ============================= [45] RawFormula --> 'EXTERNAL' 'OPENPAR' AtomOrFrame 'CLOSEPAR' . Preceding states: {127} Lookahead set: {'$E_O_I$', 'GROUP', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 139 ============================= [44] RawFormula --> 'EXISTS' Var_plus . 'OPENPAR' Formula 'CLOSEPAR' Preceding states: {127} [75] Var --> . 'VARIABLE' Preceding states: {139} [79] Var_plus --> Var_plus . Var Preceding states: {132} Follow set: {'VARIABLE', 'OPENPAR'} ----------------------------- With 'OPENPAR', go to state 141 With Var, go to state 142 With 'VARIABLE', go to state 47 ============================= STATE NUMBER: 140 ============================= [78] Var_plus --> Var . Preceding states: {115, 132} Lookahead set: {'VARIABLE', 'OPENPAR'} ----------------------------- ============================= STATE NUMBER: 141 ============================= This state has conflicts: Resolved S/R conflict: choosing S10 over R80, on input 'OPENMETA' ----------------------------- [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {141} [40] Formula --> . IriMeta_opt RawFormula Preceding states: {141} [44] RawFormula --> 'EXISTS' Var_plus 'OPENPAR' . Formula 'CLOSEPAR' Preceding states: {127} Follow set: {'CLOSEPAR'} [80] IriMeta_opt --> . Preceding states: {141} Lookahead set: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {141} ----------------------------- With Formula, go to state 143 With IriMeta, go to state 9 With IriMeta_opt, go to state 127 With 'OPENMETA', go to state 10 ============================= STATE NUMBER: 142 ============================= [79] Var_plus --> Var_plus Var . Preceding states: {115, 132} Lookahead set: {'VARIABLE', 'OPENPAR'} ----------------------------- ============================= STATE NUMBER: 143 ============================= [44] RawFormula --> 'EXISTS' Var_plus 'OPENPAR' Formula . 'CLOSEPAR' Preceding states: {127} ----------------------------- With 'CLOSEPAR', go to state 144 ============================= STATE NUMBER: 144 ============================= [44] RawFormula --> 'EXISTS' Var_plus 'OPENPAR' Formula 'CLOSEPAR' . Preceding states: {127} Lookahead set: {'$E_O_I$', 'GROUP', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 145 ============================= [43] RawFormula --> 'OR' 'OPENPAR' . Formula_star 'CLOSEPAR' Preceding states: {127} Follow set: {'CLOSEPAR'} [86] Formula_star --> . Preceding states: {145} Lookahead set: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [87] Formula_star --> . Formula_star Formula Preceding states: {145} ----------------------------- With Formula_star, go to state 146 ============================= STATE NUMBER: 146 ============================= This state has conflicts: Resolved S/R conflict: choosing S10 over R80, on input 'OPENMETA' ----------------------------- [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {146} [40] Formula --> . IriMeta_opt RawFormula Preceding states: {146} [43] RawFormula --> 'OR' 'OPENPAR' Formula_star . 'CLOSEPAR' Preceding states: {127} [80] IriMeta_opt --> . Preceding states: {146} Lookahead set: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {146} [87] Formula_star --> Formula_star . Formula Preceding states: {145} Follow set: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- With 'CLOSEPAR', go to state 147 With Formula, go to state 148 With IriMeta, go to state 9 With IriMeta_opt, go to state 127 With 'OPENMETA', go to state 10 ============================= STATE NUMBER: 147 ============================= [43] RawFormula --> 'OR' 'OPENPAR' Formula_star 'CLOSEPAR' . Preceding states: {127} Lookahead set: {'$E_O_I$', 'GROUP', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 148 ============================= [87] Formula_star --> Formula_star Formula . Preceding states: {145, 149} Lookahead set: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 149 ============================= [42] RawFormula --> 'AND' 'OPENPAR' . Formula_star 'CLOSEPAR' Preceding states: {127} Follow set: {'CLOSEPAR'} [86] Formula_star --> . Preceding states: {149} Lookahead set: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [87] Formula_star --> . Formula_star Formula Preceding states: {149} ----------------------------- With Formula_star, go to state 150 ============================= STATE NUMBER: 150 ============================= This state has conflicts: Resolved S/R conflict: choosing S10 over R80, on input 'OPENMETA' ----------------------------- [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {150} [40] Formula --> . IriMeta_opt RawFormula Preceding states: {150} [42] RawFormula --> 'AND' 'OPENPAR' Formula_star . 'CLOSEPAR' Preceding states: {127} [80] IriMeta_opt --> . Preceding states: {150} Lookahead set: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {150} [87] Formula_star --> Formula_star . Formula Preceding states: {149} Follow set: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- With 'CLOSEPAR', go to state 151 With Formula, go to state 148 With IriMeta, go to state 9 With IriMeta_opt, go to state 127 With 'OPENMETA', go to state 10 ============================= STATE NUMBER: 151 ============================= [42] RawFormula --> 'AND' 'OPENPAR' Formula_star 'CLOSEPAR' . Preceding states: {127} Lookahead set: {'$E_O_I$', 'GROUP', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 152 ============================= [15] QuantifiedClause --> IriMeta_opt 'FORALL' Var_plus . 'OPENPAR' Clause 'CLOSEPAR' Preceding states: {92} [75] Var --> . 'VARIABLE' Preceding states: {152} [79] Var_plus --> Var_plus . Var Preceding states: {115} Follow set: {'VARIABLE', 'OPENPAR'} ----------------------------- With 'OPENPAR', go to state 153 With Var, go to state 142 With 'VARIABLE', go to state 47 ============================= STATE NUMBER: 153 ============================= This state has conflicts: Resolved S/R conflict: choosing S10 over R80, on input 'OPENMETA' Resolved S/R conflict: choosing S49 over R80, on input 'STRING' Resolved S/R conflict: choosing S50 over R80, on input 'NUMBER' Resolved S/R conflict: choosing S51 over R80, on input 'LOCALNAME' Resolved S/R conflict: choosing S52 over R80, on input 'ANGLEBRACKETIRI' Resolved S/R conflict: choosing S18 over R80, on input 'IDENTIFIER' Resolved S/R conflict: choosing S19 over R80, on input 'COLON' ----------------------------- [15] QuantifiedClause --> IriMeta_opt 'FORALL' Var_plus 'OPENPAR' . Clause 'CLOSEPAR' Preceding states: {92} Follow set: {'CLOSEPAR'} [16] Clause --> . AtomicFormula Preceding states: {153} [17] Clause --> . Implies Preceding states: {153} [18] Implies --> . IriMeta_opt Consequent 'IF' Antecedent Preceding states: {153} [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {153} [46] AtomicFormula --> . Atom Preceding states: {153} [47] AtomicFormula --> . Equal Preceding states: {153} [48] AtomicFormula --> . Member Preceding states: {153} [49] AtomicFormula --> . Subclass Preceding states: {153} [50] AtomicFormula --> . Frame Preceding states: {153} [53] Atom --> . UniTerm Preceding states: {153} [54] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {153} [55] Equal --> . Term 'EQUAL' Term Preceding states: {153} [56] Member --> . Term 'MEMBER' Term Preceding states: {153} [57] Subclass --> . Term 'SUBCLASS' Term Preceding states: {153} [58] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {153} [60] Term --> . IriMeta_opt RawTerm Preceding states: {153} [66] Const --> . FullyQualifiedConstant Preceding states: {153} [67] Const --> . ConstShort Preceding states: {153} [68] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {153} [70] ConstShort --> . 'NUMBER' Preceding states: {153} [71] ConstShort --> . 'STRING' Preceding states: {153} [72] ConstShort --> . 'LOCALNAME' Preceding states: {153} [73] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {153} [74] ConstShort --> . Curie Preceding states: {153} [80] IriMeta_opt --> . Preceding states: {153} Lookahead set: {'AND', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {153} [97] Curie --> . 'IDENTIFIER' Preceding states: {153} [98] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {153} [99] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {153} ----------------------------- With Clause, go to state 154 With IriMeta_opt, go to state 155 With AtomicFormula, go to state 96 With Implies, go to state 97 With IriMeta, go to state 9 With Atom, go to state 102 With Equal, go to state 103 With Member, go to state 104 With Subclass, go to state 105 With Frame, go to state 106 With 'OPENMETA', go to state 10 With Term, go to state 107 With UniTerm, go to state 108 With Const, go to state 56 With FullyQualifiedConstant, go to state 42 With ConstShort, go to state 43 With 'STRING', go to state 49 With 'NUMBER', go to state 50 With 'LOCALNAME', go to state 51 With 'ANGLEBRACKETIRI', go to state 52 With Curie, go to state 53 With 'IDENTIFIER', go to state 18 With 'COLON', go to state 19 ============================= STATE NUMBER: 154 ============================= [15] QuantifiedClause --> IriMeta_opt 'FORALL' Var_plus 'OPENPAR' Clause . 'CLOSEPAR' Preceding states: {92} ----------------------------- With 'CLOSEPAR', go to state 156 ============================= STATE NUMBER: 155 ============================= This state has conflicts: Resolved S/R conflict: choosing S49 over R80, on input 'STRING' Resolved S/R conflict: choosing S50 over R80, on input 'NUMBER' Resolved S/R conflict: choosing S51 over R80, on input 'LOCALNAME' Resolved S/R conflict: choosing S52 over R80, on input 'ANGLEBRACKETIRI' Resolved S/R conflict: choosing S18 over R80, on input 'IDENTIFIER' Resolved S/R conflict: choosing S19 over R80, on input 'COLON' Resolved S/R conflict: choosing S46 over R80, on input 'EXTERNAL' Resolved S/R conflict: choosing S47 over R80, on input 'VARIABLE' ----------------------------- [18] Implies --> IriMeta_opt . Consequent 'IF' Antecedent Preceding states: {5, 153} Follow set: {'IF'} [19] Consequent --> . AtomicFormula Preceding states: {155} [20] Consequent --> . 'AND' 'OPENPAR' AtomicFormula_star 'CLOSEPAR' Preceding states: {155} [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {155} [46] AtomicFormula --> . Atom Preceding states: {155} [47] AtomicFormula --> . Equal Preceding states: {155} [48] AtomicFormula --> . Member Preceding states: {155} [49] AtomicFormula --> . Subclass Preceding states: {155} [50] AtomicFormula --> . Frame Preceding states: {155} [53] Atom --> . UniTerm Preceding states: {155} [54] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {155} [55] Equal --> . Term 'EQUAL' Term Preceding states: {155} [56] Member --> . Term 'MEMBER' Term Preceding states: {155} [57] Subclass --> . Term 'SUBCLASS' Term Preceding states: {155} [58] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {155} [60] Term --> . IriMeta_opt RawTerm Preceding states: {155} [60] Term --> IriMeta_opt . RawTerm Preceding states: {5, 153} Follow set: {'EQUAL', 'MEMBER', 'SUBCLASS', 'OPENBRA'} [61] RawTerm --> . Const Preceding states: {155} [62] RawTerm --> . Var Preceding states: {155} [63] RawTerm --> . Expr Preceding states: {155} [64] RawTerm --> . 'EXTERNAL' 'OPENPAR' Expr 'CLOSEPAR' Preceding states: {155} [65] Expr --> . UniTerm Preceding states: {155} [66] Const --> . FullyQualifiedConstant Preceding states: {155} [67] Const --> . ConstShort Preceding states: {155} [68] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {155} [70] ConstShort --> . 'NUMBER' Preceding states: {155} [71] ConstShort --> . 'STRING' Preceding states: {155} [72] ConstShort --> . 'LOCALNAME' Preceding states: {155} [73] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {155} [74] ConstShort --> . Curie Preceding states: {155} [75] Var --> . 'VARIABLE' Preceding states: {155} [80] IriMeta_opt --> . Preceding states: {155} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {155} [97] Curie --> . 'IDENTIFIER' Preceding states: {155} [98] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {155} [99] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {155} ----------------------------- With Consequent, go to state 116 With RawTerm, go to state 40 With IriMeta, go to state 9 With Atom, go to state 102 With Equal, go to state 103 With Member, go to state 104 With Subclass, go to state 105 With Frame, go to state 106 With AtomicFormula, go to state 117 With 'AND', go to state 118 With IriMeta_opt, go to state 24 With 'OPENMETA', go to state 10 With Term, go to state 107 With UniTerm, go to state 119 With Const, go to state 41 With FullyQualifiedConstant, go to state 42 With ConstShort, go to state 43 With 'STRING', go to state 49 With 'NUMBER', go to state 50 With 'LOCALNAME', go to state 51 With 'ANGLEBRACKETIRI', go to state 52 With Curie, go to state 53 With 'IDENTIFIER', go to state 18 With 'COLON', go to state 19 With Var, go to state 44 With Expr, go to state 45 With 'EXTERNAL', go to state 46 With 'VARIABLE', go to state 47 ============================= STATE NUMBER: 156 ============================= [15] QuantifiedClause --> IriMeta_opt 'FORALL' Var_plus 'OPENPAR' Clause 'CLOSEPAR' . Preceding states: {92} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 157 ============================= [9] Import --> IriMeta_opt 'IMPORT' 'OPENPAR' . IriConst Profile_opt 'CLOSEPAR' Preceding states: {78} Follow set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [68] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {157} [96] IriConst --> . FullyQualifiedConstant Preceding states: {157} ----------------------------- With IriConst, go to state 158 With FullyQualifiedConstant, go to state 12 With 'STRING', go to state 14 ============================= STATE NUMBER: 158 ============================= [9] Import --> IriMeta_opt 'IMPORT' 'OPENPAR' IriConst . Profile_opt 'CLOSEPAR' Preceding states: {78} Follow set: {'CLOSEPAR'} [22] Profile --> . Term Preceding states: {158} [29] Profile_opt --> . Preceding states: {158} Lookahead set: {'CLOSEPAR'} [30] Profile_opt --> . Profile Preceding states: {158} [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {158} [60] Term --> . IriMeta_opt RawTerm Preceding states: {158} [80] IriMeta_opt --> . Preceding states: {158} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {158} ----------------------------- With Profile_opt, go to state 159 With IriMeta, go to state 9 With Profile, go to state 160 With Term, go to state 161 With IriMeta_opt, go to state 24 With 'OPENMETA', go to state 10 ============================= STATE NUMBER: 159 ============================= [9] Import --> IriMeta_opt 'IMPORT' 'OPENPAR' IriConst Profile_opt . 'CLOSEPAR' Preceding states: {78} ----------------------------- With 'CLOSEPAR', go to state 162 ============================= STATE NUMBER: 160 ============================= [30] Profile_opt --> Profile . Preceding states: {158} Lookahead set: {'CLOSEPAR'} ----------------------------- ============================= STATE NUMBER: 161 ============================= [22] Profile --> Term . Preceding states: {158} Lookahead set: {'CLOSEPAR'} ----------------------------- ============================= STATE NUMBER: 162 ============================= [9] Import --> IriMeta_opt 'IMPORT' 'OPENPAR' IriConst Profile_opt 'CLOSEPAR' . Preceding states: {78} Lookahead set: {'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} ----------------------------- ============================= STATE NUMBER: 163 ============================= [5] Document --> IriMeta_opt 'DOCUMENT' 'OPENPAR' Base_opt Prefix_star DocumentBody 'CLOSEPAR' . Preceding states: {6} Lookahead set: {'$E_O_I$'} ----------------------------- ============================= STATE NUMBER: 164 ============================= [4] $ROOTS$ --> '$Clause_switch$' Clause . Preceding states: {0} Lookahead set: {'$E_O_I$'} ----------------------------- ============================= STATE NUMBER: 165 ============================= [3] $ROOTS$ --> '$Implies_switch$' Implies . Preceding states: {0} Lookahead set: {'$E_O_I$'} ----------------------------- ============================= STATE NUMBER: 166 ============================= This state has conflicts: Resolved S/R conflict: choosing S49 over R80, on input 'STRING' Resolved S/R conflict: choosing S50 over R80, on input 'NUMBER' Resolved S/R conflict: choosing S51 over R80, on input 'LOCALNAME' Resolved S/R conflict: choosing S52 over R80, on input 'ANGLEBRACKETIRI' Resolved S/R conflict: choosing S18 over R80, on input 'IDENTIFIER' Resolved S/R conflict: choosing S19 over R80, on input 'COLON' ----------------------------- [18] Implies --> IriMeta_opt . Consequent 'IF' Antecedent Preceding states: {4} Follow set: {'IF'} [19] Consequent --> . AtomicFormula Preceding states: {166} [20] Consequent --> . 'AND' 'OPENPAR' AtomicFormula_star 'CLOSEPAR' Preceding states: {166} [37] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {166} [46] AtomicFormula --> . Atom Preceding states: {166} [47] AtomicFormula --> . Equal Preceding states: {166} [48] AtomicFormula --> . Member Preceding states: {166} [49] AtomicFormula --> . Subclass Preceding states: {166} [50] AtomicFormula --> . Frame Preceding states: {166} [53] Atom --> . UniTerm Preceding states: {166} [54] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {166} [55] Equal --> . Term 'EQUAL' Term Preceding states: {166} [56] Member --> . Term 'MEMBER' Term Preceding states: {166} [57] Subclass --> . Term 'SUBCLASS' Term Preceding states: {166} [58] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {166} [60] Term --> . IriMeta_opt RawTerm Preceding states: {166} [66] Const --> . FullyQualifiedConstant Preceding states: {166} [67] Const --> . ConstShort Preceding states: {166} [68] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {166} [70] ConstShort --> . 'NUMBER' Preceding states: {166} [71] ConstShort --> . 'STRING' Preceding states: {166} [72] ConstShort --> . 'LOCALNAME' Preceding states: {166} [73] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {166} [74] ConstShort --> . Curie Preceding states: {166} [80] IriMeta_opt --> . Preceding states: {166} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [81] IriMeta_opt --> . IriMeta Preceding states: {166} [97] Curie --> . 'IDENTIFIER' Preceding states: {166} [98] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {166} [99] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {166} ----------------------------- With Consequent, go to state 116 With IriMeta, go to state 9 With Atom, go to state 102 With Equal, go to state 103 With Member, go to state 104 With Subclass, go to state 105 With Frame, go to state 106 With AtomicFormula, go to state 117 With 'AND', go to state 118 With IriMeta_opt, go to state 24 With 'OPENMETA', go to state 10 With Term, go to state 107 With UniTerm, go to state 108 With Const, go to state 56 With FullyQualifiedConstant, go to state 42 With ConstShort, go to state 43 With 'STRING', go to state 49 With 'NUMBER', go to state 50 With 'LOCALNAME', go to state 51 With 'ANGLEBRACKETIRI', go to state 52 With Curie, go to state 53 With 'IDENTIFIER', go to state 18 With 'COLON', go to state 19 ============================= STATE NUMBER: 167 ============================= [2] $ROOTS$ --> '$RifDocument_switch$' RifDocument . Preceding states: {0} Lookahead set: {'$E_O_I$'} ----------------------------- *** Compressing parsing tables ... *** 9 rows eliminated in action table *** 121 rows eliminated in goto table *** Table compression completed in 0 ms ACTION TABLE: [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] ________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________ [0] - - S3 S4 S5 - R100 - - - - - - - - - - - - - - - - - - - - - - - - R100 - - - - [1] A - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [2] R1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [3] - - - - - - R100 - - - - - - - - - - - - - - - - - - - - - - - - R100 - - - - [4] - - - - - - - - - - - - - R80 - - - - - - R80 R80 R80 R80 R80 R80 R80 - - - - S10 - R80 - - [5] - - - - - - - - - - - - - R80 - - - - - - R80 S50 S51 R80 S49 S18 S52 - - - - S10 - S19 - - [6] - - - - - - R80 - - - - - - - - - - - - - - - - - - - - - - - - S10 - - - - [7] R101 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [8] - - - - - - S66 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [9] - - - - - - R81 - - R81 R81 - R81 R81 R81 R81 - - - - R81 R81 R81 R81 R81 R81 R81 - - - - R81 - R81 - - [10] - - - - - - - - - - - - - R82 - - - - - - R82 R82 R82 R82 S14 R82 R82 - - - - R82 R82 R82 - - [11] - - - - - - - - - - - - - S27 - - - - - - R80 R80 R80 R80 R80 R80 R80 - - - - S10 R84 R80 - - [12] - - - - - - - - - - - - - R96 - - - - - - R96 R96 R96 R96 R96 R96 R96 - R96 - - R96 R96 R96 - - [13] - - - - - - - - - - - - - R83 - - - - - - R83 R83 R83 R83 R83 R83 R83 - - - - R83 R83 R83 - - [14] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - S15 - [15] - - - - - - - - - - - - - - - - - - - - - - - - - S18 - - - - - - - S19 - - [16] R68 - - - - - - - - - R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 - - [17] R69 - - - - - - - - - R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 - - [18] R97 - - - - - - - - - R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 S21 - - [19] - - - - - - - - - - - - - - - - - - - - - - - - - S20 - - - - - - - - - - [20] R98 - - - - - - - - - R98 R98 R98 R98 R98 R98 R98 R98 R98 R98 R98 R98 R98 R98 R98 R98 R98 R98 R98 R98 R98 R98 R98 R98 - - [21] - - - - - - - - - - - - - - - - - - - - - - - - - S22 - - - - - - - - - - [22] R99 - - - - - - - - - R99 R99 R99 R99 R99 R99 R99 R99 R99 R99 R99 R99 R99 R99 R99 R99 R99 R99 R99 R99 R99 R99 R99 R99 - - [23] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - S65 - - - [24] - - - - - - - - - - - - - - - - - - - - S46 S50 S51 S47 S49 S18 S52 - - - - - - S19 - - [25] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - R85 - - - [26] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - R38 - - - [27] - - - - - - - - - - - - - - - - - - - - - - - - - - - S36 - - - - - - - - [28] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - S29 - - - - - - [29] - - - - - - - - - - - - - - - - - - - - R92 R92 R92 R92 R92 R92 R92 - - - R92 R92 - R92 - - [30] - - - - - - - - - - - - - - - - - - - - R80 R80 R80 R80 R80 R80 R80 - - - S31 S10 - R80 - - [31] R58 - - - - - - - - - R58 R58 R58 R58 R58 R58 - - - - R58 R58 R58 R58 R58 R58 R58 - R58 - - R58 R58 R58 - - [32] - - - - - - - - - - - - - - - - - - - - R93 R93 R93 R93 R93 R93 R93 - - - R93 R93 - R93 - - [33] - - - - - - - - - - - - - - - - S34 - - - - - - - - - - - - - - - - - - - [34] - - - - - - - - - - - - - - - - - - - - R80 R80 R80 R80 R80 R80 R80 - - - - S10 - R80 - - [35] - - - - - - - - - - - - - - - - - - - - R59 R59 R59 R59 R59 R59 R59 - - - R59 R59 - R59 - - [36] - - - - - - - - - - - - - - - - - - - - R90 R90 R90 R90 R90 R90 R90 - R90 - - R90 - R90 - - [37] - - - - - - - - - - - - - - - - - - - - R80 R80 R80 R80 R80 R80 R80 - S38 - - S10 - R80 - - [38] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - R39 - - - [39] - - - - - - - - - - - - - - - - - - - - R91 R91 R91 R91 R91 R91 R91 - R91 - - R91 - R91 - - [40] R60 - - - - - - - - - R60 R60 R60 R60 R60 R60 R60 R60 R60 R60 R60 R60 R60 R60 R60 R60 R60 - R60 R60 R60 R60 - R60 - - [41] R61 - - - - - - - - - R61 R61 R61 R61 R61 R61 R61 R61 R61 R61 R61 R61 R61 R61 R61 R61 R61 S57 R61 R61 R61 R61 - R61 - - [42] R66 - - - - - - - - - R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 - R66 - - [43] R67 - - - - - - - - - R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 - R67 - - [44] R62 - - - - - - - - - R62 R62 R62 R62 R62 R62 R62 R62 R62 R62 R62 R62 R62 R62 R62 R62 R62 - R62 R62 R62 R62 - R62 - - [45] R63 - - - - - - - - - R63 R63 R63 R63 R63 R63 R63 R63 R63 R63 R63 R63 R63 R63 R63 R63 R63 - R63 R63 R63 R63 - R63 - - [46] - - - - - - - - - - - - - - - - - - - - - - - - - - - S54 - - - - - - - - [47] R75 - - - - - - - - - R75 R75 R75 R75 R75 R75 R75 R75 R75 R75 R75 R75 R75 R75 R75 R75 R75 R75 R75 R75 R75 R75 - R75 - - [48] R65 - - - - - - - - - R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 - R65 R65 R65 R65 - R65 - - [49] R71 - - - - - - - - - R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 - R71 S15 - [50] R70 - - - - - - - - - R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 - R70 - - [51] R72 - - - - - - - - - R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 - R72 - - [52] R73 - - - - - - - - - R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 - R73 - - [53] R74 - - - - - - - - - R74 R74 R74 R74 R74 R74 R74 R74 R74 R74 R74 R74 R74 R74 R74 R74 R74 R74 R74 R74 R74 R74 - R74 - - [54] - - - - - - - - - - - - - - - - - - - - - S50 S51 - S49 S18 S52 - - - - - - S19 - - [55] - - - - - - - - - - - - - - - - - - - - - - - - - - - - S64 - - - - - - - [56] - - - - - - - - - - - - - - - - - - - - - - - - - - - S57 - - - - - - - - [57] - - - - - - - - - - - - - - - - - - - - R80 R80 R80 R80 R80 R80 R80 - R88 - - S10 - R80 - - [58] - - - - - - - - - - - - - - - - - - - - - - - - - - - - S63 - - - - - - - [59] - - - - - - - - - - - - - - - - - - - - - - - - - - - - R76 - - - - - - - [60] - - - - - - - - - - - - - - - - - - - - R80 R80 R80 R80 R80 R80 R80 - R88 - - S10 - R80 - - [61] - - - - - - - - - - - - - - - - - - - - R77 R77 R77 R77 R77 R77 R77 - R77 - - R77 - R77 - - [62] - - - - - - - - - - - - - - - - - - - - - - - - - - - - R89 - - - - - - - [63] R54 - - - - - - - - - R54 R54 R54 R54 R54 R54 R54 R54 R54 R54 R54 R54 R54 R54 R54 R54 R54 - R54 R54 R54 R54 - R54 - - [64] R64 - - - - - - - - - R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 - R64 R64 R64 R64 - R64 - - [65] - - - - - - R37 - - R37 R37 - R37 R37 R37 R37 - - - - R37 R37 R37 R37 R37 R37 R37 - - - - R37 - R37 - - [66] - - - - - - - - - - - - - - - - - - - - - - - - - - - S67 - - - - - - - - [67] - - - - - - - S70 R23 R23 R23 - - - - - - - - - - - - - - - - - R23 - - R23 - - - - [68] - - - - - - - - R25 R25 R25 - - - - - - - - - - - - - - - - - R25 - - R25 - - - - [69] - - - - - - - - R24 R24 R24 - - - - - - - - - - - - - - - - - R24 - - R24 - - - - [70] - - - - - - - - - - - - - - - - - - - - - - - - - - - S71 - - - - - - - - [71] - - - - - - - - - - - - - - - - - - - - - - - - S73 - - - - - - - - - - - [72] - - - - - - - - - - - - - - - - - - - - - - - - - - - - S74 - - - - - - - [73] - - - - - - - - - - - - - - - - - - - - - - - - - - - - R95 - - - - - - - [74] - - - - - - - - R6 R6 R6 - - - - - - - - - - - - - - - - - R6 - - R6 - - - - [75] - - - - - - - - S79 R27 R27 - - - - - - - - - - - - - - - - - R27 - - R27 - - - - [76] - - - - - - - - - - - - - - - - - - - - - - - - - - - - S163 - - - - - - - [77] - - - - - - - - R26 R26 R26 - - - - - - - - - - - - - - - - - R26 - - R26 - - - - [78] - - - - - - - - - R80 R80 - - - - - - - - - - - - - - - - - R31 - - S10 - - - - [79] - - - - - - - - - - - - - - - - - - - - - - - - - - - S80 - - - - - - - - [80] - - - - - - - - - - - - - - - - - - - - - - - - - S82 - - - - - - - - - - [81] - - - - - - - - - - - - - - - - - - - - - - - - S73 - - - - - - - - - - - [82] - - - - - - - - - - - - - - - - - - - - - - - - R94 - - - - - - - - - - - [83] - - - - - - - - - - - - - - - - - - - - - - - - - - - - S84 - - - - - - - [84] - - - - - - - - R7 R7 R7 - - - - - - - - - - - - - - - - - R7 - - R7 - - - - [85] - - - - - - - - - - - - - - - - - - - - - - - - - - - - R8 - - - - - - - [86] - - - - - - - - - R28 R28 - - - - - - - - - - - - - - - - - R28 - - R28 - - - - [87] - - - - - - - - - - - - - - - - - - - - - - - - - - - - R32 - - - - - - - [88] - - - - - - - - - S89 S90 - - - - - - - - - - - - - - - - - - - - - - - - - [89] - - - - - - - - - - - - - - - - - - - - - - - - - - - S157 - - - - - - - - [90] - - - - - - - - - - - - - - - - - - - - - - - - - - - S91 - - - - - - - - [91] - - - - - - - - - - R33 - - R33 - R33 - - - - R33 R33 R33 R33 R33 R33 R33 - R33 - - R33 - R33 - - [92] - - - - - - - - - - R80 - - R80 - R80 - - - - R80 S50 S51 R80 S49 S18 S52 - S93 - - S10 - S19 - - [93] - - - - - - - - - - R10 - - R10 - R10 - - - - R10 R10 R10 R10 R10 R10 R10 - R10 - - R10 - R10 - - [94] - - - - - - - - - - R34 - - R34 - R34 - - - - R34 R34 R34 R34 R34 R34 R34 - R34 - - R34 - R34 - - [95] - - - - - - - - - - S90 - - S118 - S115 - - - - S46 S50 S51 S47 S49 S18 S52 - - - - S10 - S19 - - [96] R16 - - - - - - - - - R16 - - R16 - R16 - - - - R16 R16 R16 R16 R16 R16 R16 - R16 - - R16 - R16 - - [97] R17 - - - - - - - - - R17 - - R17 - R17 - - - - R17 R17 R17 R17 R17 R17 R17 - R17 - - R17 - R17 - - [98] - - - - - - - - - - R11 - - R11 - R11 - - - - R11 R11 R11 R11 R11 R11 R11 - R11 - - R11 - R11 - - [99] - - - - - - - - - - R12 - - R12 - R12 - - - - R12 R12 R12 R12 R12 R12 R12 - R12 - - R12 - R12 - - [100] - - - - - - - - - - R13 - - R13 - R13 - - - - R13 R13 R13 R13 R13 R13 R13 - R13 - - R13 - R13 - - [101] - - - - - - - - - - R14 - - R14 - R14 - - - - R14 R14 R14 R14 R14 R14 R14 - R14 - - R14 - R14 - - [102] R46 - - - - - - - - - R46 R46 R46 R46 R46 R46 - - - - R46 R46 R46 R46 R46 R46 R46 - R46 - - R46 - R46 - - [103] R47 - - - - - - - - - R47 R47 R47 R47 R47 R47 - - - - R47 R47 R47 R47 R47 R47 R47 - R47 - - R47 - R47 - - [104] R48 - - - - - - - - - R48 R48 R48 R48 R48 R48 - - - - R48 R48 R48 R48 R48 R48 R48 - R48 - - R48 - R48 - - [105] R49 - - - - - - - - - R49 R49 R49 R49 R49 R49 - - - - R49 R49 R49 R49 R49 R49 R49 - R49 - - R49 - R49 - - [106] R50 - - - - - - - - - R50 R50 R50 R50 R50 R50 - - - - R50 R50 R50 R50 R50 R50 R50 - R50 - - R50 - R50 - - [107] - - - - - - - - - - - - - - - - - S109 S110 S111 - - - - - - - - - S29 - - - - - - [108] R53 - - - - - - - - - R53 R53 R53 R53 R53 R53 - - - - R53 R53 R53 R53 R53 R53 R53 - R53 - - R53 - R53 - - [109] - - - - - - - - - - - - - - - - - - - - R80 R80 R80 R80 R80 R80 R80 - - - - S10 - R80 - - [110] - - - - - - - - - - - - - - - - - - - - R80 R80 R80 R80 R80 R80 R80 - - - - S10 - R80 - - [111] - - - - - - - - - - - - - - - - - - - - R80 R80 R80 R80 R80 R80 R80 - - - - S10 - R80 - - [112] R57 - - - - - - - - - R57 R57 R57 R57 R57 R57 - - - - R57 R57 R57 R57 R57 R57 R57 - R57 - - R57 - R57 - - [113] R56 - - - - - - - - - R56 R56 R56 R56 R56 R56 - - - - R56 R56 R56 R56 R56 R56 R56 - R56 - - R56 - R56 - - [114] R55 - - - - - - - - - R55 R55 R55 R55 R55 R55 - - - - R55 R55 R55 R55 R55 R55 R55 - R55 - - R55 - R55 - - [115] - - - - - - - - - - - - - - - - - - - - - - - S47 - - - - - - - - - - - - [116] - - - - - - - - - - - S124 - - - - - - - - - - - - - - - - - - - - - - - - [117] - - - - - - - - - - - R19 - - - - - - - - - - - - - - - - - - - - - - - - [118] - - - - - - - - - - - - - - - - - - - - - - - - - - - S120 - - - - - - - - [119] - - - - - - - - - - - R53 - - - - - R65 R65 R65 - - - - - - - - - R65 - - - - - - [120] - - - - - - - - - - - - - - - - - - - - R35 R35 R35 R35 R35 R35 R35 - R35 - - R35 - R35 - - [121] - - - - - - - - - - - - - - - - - - - - R80 S50 S51 R80 S49 S18 S52 - S122 - - S10 - S19 - - [122] - - - - - - - - - - - R20 - - - - - - - - - - - - - - - - - - - - - - - - [123] - - - - - - - - - - - - - - - - - - - - R36 R36 R36 R36 R36 R36 R36 - R36 - - R36 - R36 - - [124] - - - - - - - - - - - - R80 R80 R80 - - - - - R80 R80 R80 R80 R80 R80 R80 - - - - S10 - R80 - - [125] R18 - - - - - - - - - R18 - - R18 - R18 - - - - R18 R18 R18 R18 R18 R18 R18 - R18 - - R18 - R18 - - [126] R21 - - - - - - - - - R21 - - R21 - R21 - - - - R21 R21 R21 R21 R21 R21 R21 - R21 - - R21 - R21 - - [127] - - - - - - - - - - - - S131 S130 S132 - - - - - S133 S50 S51 R80 S49 S18 S52 - - - - S10 - S19 - - [128] R40 - - - - - - - - - R40 - R40 R40 R40 R40 - - - - R40 R40 R40 R40 R40 R40 R40 - R40 - - R40 - R40 - - [129] R41 - - - - - - - - - R41 - R41 R41 R41 R41 - - - - R41 R41 R41 R41 R41 R41 R41 - R41 - - R41 - R41 - - [130] - - - - - - - - - - - - - - - - - - - - - - - - - - - S149 - - - - - - - - [131] - - - - - - - - - - - - - - - - - - - - - - - - - - - S145 - - - - - - - - [132] - - - - - - - - - - - - - - - - - - - - - - - S47 - - - - - - - - - - - - [133] - - - - - - - - - - - - - - - - - - - - - - - - - - - S134 - - - - - - - - [134] - - - - - - - - - - - - - - - - - - - - R80 S50 S51 R80 S49 S18 S52 - - - - S10 - S19 - - [135] - - - - - - - - - - - - - - - - - - - - - - - - - - - - S138 - - - - - - - [136] - - - - - - - - - - - - - - - - - - - - - - - - - - - - R51 - - - - - - - [137] - - - - - - - - - - - - - - - - - - - - - - - - - - - - R52 - - - - - - - [138] R45 - - - - - - - - - R45 - R45 R45 R45 R45 - - - - R45 R45 R45 R45 R45 R45 R45 - R45 - - R45 - R45 - - [139] - - - - - - - - - - - - - - - - - - - - - - - S47 - - - S141 - - - - - - - - [140] - - - - - - - - - - - - - - - - - - - - - - - R78 - - - R78 - - - - - - - - [141] - - - - - - - - - - - - R80 R80 R80 - - - - - R80 R80 R80 R80 R80 R80 R80 - - - - S10 - R80 - - [142] - - - - - - - - - - - - - - - - - - - - - - - R79 - - - R79 - - - - - - - - [143] - - - - - - - - - - - - - - - - - - - - - - - - - - - - S144 - - - - - - - [144] R44 - - - - - - - - - R44 - R44 R44 R44 R44 - - - - R44 R44 R44 R44 R44 R44 R44 - R44 - - R44 - R44 - - [145] - - - - - - - - - - - - R86 R86 R86 - - - - - R86 R86 R86 R86 R86 R86 R86 - R86 - - R86 - R86 - - [146] - - - - - - - - - - - - R80 R80 R80 - - - - - R80 R80 R80 R80 R80 R80 R80 - S147 - - S10 - R80 - - [147] R43 - - - - - - - - - R43 - R43 R43 R43 R43 - - - - R43 R43 R43 R43 R43 R43 R43 - R43 - - R43 - R43 - - [148] - - - - - - - - - - - - R87 R87 R87 - - - - - R87 R87 R87 R87 R87 R87 R87 - R87 - - R87 - R87 - - [149] - - - - - - - - - - - - R86 R86 R86 - - - - - R86 R86 R86 R86 R86 R86 R86 - R86 - - R86 - R86 - - [150] - - - - - - - - - - - - R80 R80 R80 - - - - - R80 R80 R80 R80 R80 R80 R80 - S151 - - S10 - R80 - - [151] R42 - - - - - - - - - R42 - R42 R42 R42 R42 - - - - R42 R42 R42 R42 R42 R42 R42 - R42 - - R42 - R42 - - [152] - - - - - - - - - - - - - - - - - - - - - - - S47 - - - S153 - - - - - - - - [153] - - - - - - - - - - - - - R80 - - - - - - R80 S50 S51 R80 S49 S18 S52 - - - - S10 - S19 - - [154] - - - - - - - - - - - - - - - - - - - - - - - - - - - - S156 - - - - - - - [155] - - - - - - - - - - - - - S118 - - - - - - S46 S50 S51 S47 S49 S18 S52 - - - - S10 - S19 - - [156] - - - - - - - - - - R15 - - R15 - R15 - - - - R15 R15 R15 R15 R15 R15 R15 - R15 - - R15 - R15 - - [157] - - - - - - - - - - - - - - - - - - - - - - - - S14 - - - - - - - - - - - [158] - - - - - - - - - - - - - - - - - - - - R80 R80 R80 R80 R80 R80 R80 - R29 - - S10 - R80 - - [159] - - - - - - - - - - - - - - - - - - - - - - - - - - - - S162 - - - - - - - [160] - - - - - - - - - - - - - - - - - - - - - - - - - - - - R30 - - - - - - - [161] - - - - - - - - - - - - - - - - - - - - - - - - - - - - R22 - - - - - - - [162] - - - - - - - - - R9 R9 - - - - - - - - - - - - - - - - - R9 - - R9 - - - - [163] R5 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [164] R4 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [165] R3 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [166] - - - - - - - - - - - - - S118 - - - - - - R80 S50 S51 R80 S49 S18 S52 - - - - S10 - S19 - - [167] 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] [58] [59] ____________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________ [0] 1 2 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 6 [1] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [2] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [3] - 167 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 6 [4] - - 165 - - 166 - - - - - - - - - - - - - - - - - - - - - - - - - 9 - - - - - - - - - - - - - - - - - - - - - - - - - - - [5] - - 97 164 - 155 - - - - - - - - - - - - - - - - - - 96 - - - - - 107 9 - - - 106 - - - - 102 103 104 105 108 56 - - - - - - 42 43 - 53 - - - [6] - - - - 7 8 - - - - - - - - - - - - - - - - - - - - - - - - - 9 - - - - - - - - - - - - - - - - - - - - - - - - - - - [7] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [8] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [9] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [10] - - - - - - - - - - - - - - - - 13 - - - - - - - - - - - - - - - 11 - - - - - - - - - - - - - - - - - - - 12 - - - - - - [11] - - - - - 24 - - - - - - - - - - - - - - - - - - - - - - - - 28 9 - 23 25 26 - - - - - - - - - - - - - - - - - - - - - - - [12] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [13] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [14] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [15] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 16 17 - - - [16] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [17] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [18] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [19] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [20] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [21] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [22] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [23] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [24] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 48 41 - - - 40 44 45 42 43 - 53 - - - [25] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [26] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [27] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [28] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [29] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 30 - - - - - - - - - - - [30] - - - - - 24 - - - - - - - - - - - - - - - - - - - - - - - - 33 9 - - - - - - - - - - - - - - - - 32 - - - - - - - - - - [31] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [32] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [33] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [34] - - - - - 24 - - - - - - - - - - - - - - - - - - - - - - - - 35 9 - - - - - - - - - - - - - - - - - - - - - - - - - - - [35] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [36] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 37 - - - - - - - - - - - - - - - - - - - - - - [37] - - - - - 24 - - - - - - - - - - - - - - - - - - - - - - - - 28 9 - - - 39 - - - - - - - - - - - - - - - - - - - - - - - [38] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [39] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [40] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [41] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [42] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [43] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [44] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [45] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [46] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [47] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [48] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [49] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [50] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [51] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [52] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [53] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [54] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 48 56 - - - - - 55 42 43 - 53 - - - [55] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [56] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [57] - - - - - 24 - - - - - - - - - - - - - - - - - - - - - - - - 61 9 - - - - - - - - - - - - - - 58 - - - - - - - - - 59 60 - [58] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [59] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [60] - - - - - 24 - - - - - - - - - - - - - - - - - - - - - - - - 61 9 - - - - - - - - - - - - - - - - - - - - - - - - 62 60 - [61] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [62] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [63] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [64] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [65] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [66] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [67] - - - - - - 68 - - 69 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [68] - - - - - - - 75 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [69] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [70] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [71] - - - - - - - - - - 72 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [72] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [73] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [74] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [75] - - - - - - - - 76 - - 77 - 78 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [76] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [77] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [78] - - - - - 88 - - - - - - - - 85 86 - - 87 - - - - - - - - - - - - 9 - - - - - - - - - - - - - - - - - - - - - - - - - - - [79] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [80] - - - - - - - - - - - - 81 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [81] - - - - - - - - - - 83 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [82] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [83] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [84] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [85] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [86] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [87] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [88] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [89] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [90] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [91] - - - - - - - - - - - - - - - - - - - 92 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [92] - - 97 100 - 95 - - - - - - - - - - - - 99 - 94 98 101 - 96 - - - - - 107 9 - - - 106 - - - - 102 103 104 105 108 56 - - - - - - 42 43 - 53 - - - [93] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [94] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [95] - - - - - 24 - - - - - - - - - - - - - - - - - - 117 116 - - - - 107 9 - - - 106 - - - - 102 103 104 105 119 41 - - - 40 44 45 42 43 - 53 - - - [96] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [97] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [98] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [99] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [100] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [101] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [102] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [103] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [104] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [105] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [106] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [107] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [108] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [109] - - - - - 24 - - - - - - - - - - - - - - - - - - - - - - - - 114 9 - - - - - - - - - - - - - - - - - - - - - - - - - - - [110] - - - - - 24 - - - - - - - - - - - - - - - - - - - - - - - - 113 9 - - - - - - - - - - - - - - - - - - - - - - - - - - - [111] - - - - - 24 - - - - - - - - - - - - - - - - - - - - - - - - 112 9 - - - - - - - - - - - - - - - - - - - - - - - - - - - [112] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [113] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [114] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [115] - - - - - - - - - - - - - - - - - - - - - - - 152 - - - - - - - - - - - - - - - - - - - - - - - - - - 140 - - - - - - - - [116] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [117] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [118] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [119] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [120] - - - - - - - - - - - - - - - - - - - - - - - - - - - 121 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [121] - - - - - 24 - - - - - - - - - - - - - - - - - - 123 - - - - - 107 9 - - - 106 - - - - 102 103 104 105 108 56 - - - - - - 42 43 - 53 - - - [122] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [123] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [124] - - - - - 127 - - - - - - - - - - - - - - - - - - - - 125 - 126 - - 9 - - - - - - - - - - - - - - - - - - - - - - - - - - - [125] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [126] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [127] - - - - - 24 - - - - - - - - - - - - - - - - - - 129 - - - - - 107 9 - - - 106 - 128 - - 102 103 104 105 108 56 - - - - - - 42 43 - 53 - - - [128] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [129] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [130] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [131] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [132] - - - - - - - - - - - - - - - - - - - - - - - 139 - - - - - - - - - - - - - - - - - - - - - - - - - - 140 - - - - - - - - [133] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [134] - - - - - 24 - - - - - - - - - - - - - - - - - - - - - - - - 28 9 - - - 137 - - - 135 136 - - - 108 56 - - - - - - 42 43 - 53 - - - [135] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [136] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [137] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [138] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [139] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 142 - - - - - - - - [140] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [141] - - - - - 127 - - - - - - - - - - - - - - - - - - - - - - 143 - - 9 - - - - - - - - - - - - - - - - - - - - - - - - - - - [142] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [143] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [144] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [145] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 146 - - - - - - - - - - - - - - - - - - - - [146] - - - - - 127 - - - - - - - - - - - - - - - - - - - - - - 148 - - 9 - - - - - - - - - - - - - - - - - - - - - - - - - - - [147] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [148] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [149] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 150 - - - - - - - - - - - - - - - - - - - - [150] - - - - - 127 - - - - - - - - - - - - - - - - - - - - - - 148 - - 9 - - - - - - - - - - - - - - - - - - - - - - - - - - - [151] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [152] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 142 - - - - - - - - [153] - - 97 154 - 155 - - - - - - - - - - - - - - - - - - 96 - - - - - 107 9 - - - 106 - - - - 102 103 104 105 108 56 - - - - - - 42 43 - 53 - - - [154] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [155] - - - - - 24 - - - - - - - - - - - - - - - - - - 117 116 - - - - 107 9 - - - 106 - - - - 102 103 104 105 119 41 - - - 40 44 45 42 43 - 53 - - - [156] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [157] - - - - - - - - - - - - - - - - 158 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 12 - - - - - - [158] - - - - - 24 - - - - - - - - - - - 159 - - - - - - - - - - - 160 161 9 - - - - - - - - - - - - - - - - - - - - - - - - - - - [159] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [160] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [161] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [162] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [163] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [164] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [165] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [166] - - - - - 24 - - - - - - - - - - - - - - - - - - 117 116 - - - - 107 9 - - - 106 - - - - 102 103 104 105 108 56 - - - - - - 42 43 - 53 - - - [167] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -