*** This is Jacc: Just another compiler compiler... *** Run of Mon Nov 17 15:34:19 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 141 ms RULES: [0] $START$ --> $ROOTS$ precedence = 1 [1] $ROOTS$ --> RifDocument precedence = 1 [2] $ROOTS$ --> '$RifDocument_switch$' RifDocument precedence = 1 [3] Document --> IriMeta_opt 'DOCUMENT' 'OPENPAR' Base_opt Prefix_star DocumentBody 'CLOSEPAR' precedence = 71 [4] Base --> 'BASE' 'OPENPAR' Iri 'CLOSEPAR' precedence = 71 [5] Prefix --> 'PREFIX' 'OPENPAR' Name Iri 'CLOSEPAR' precedence = 71 [6] DocumentBody --> Import_star Group_opt precedence = 1 [7] Import --> IriMeta_opt 'IMPORT' 'OPENPAR' IriConst Profile_opt 'CLOSEPAR' precedence = 71 [8] Group --> IriMeta_opt 'GROUP' 'OPENPAR' RuleOrGroup_star 'CLOSEPAR' precedence = 71 [9] RuleOrGroup --> Rule precedence = 1 [10] RuleOrGroup --> Group precedence = 1 [11] Rule --> Clause precedence = 1 [12] Rule --> QuantifiedClause precedence = 1 [13] QuantifiedClause --> IriMeta_opt 'FORALL' Var_plus 'OPENPAR' Clause 'CLOSEPAR' precedence = 71 [14] Clause --> AtomicFormula precedence = 1 [15] Clause --> Implies precedence = 1 [16] Implies --> IriMeta_opt Consequent 'IF' Antecedent precedence = 21 [17] Consequent --> AtomicFormula precedence = 1 [18] Consequent --> 'AND' 'OPENPAR' AtomicFormula_star 'CLOSEPAR' precedence = 71 [19] Antecedent --> Formula precedence = 1 [20] Profile --> Term precedence = 1 [21] Base_opt --> precedence = 1 [22] Base_opt --> Base precedence = 1 [23] Prefix_star --> precedence = 1 [24] Prefix_star --> Prefix_star Prefix precedence = 1 [25] Import_star --> precedence = 1 [26] Import_star --> Import_star Import precedence = 1 [27] Profile_opt --> precedence = 1 [28] Profile_opt --> Profile precedence = 1 [29] Group_opt --> precedence = 1 [30] Group_opt --> Group precedence = 1 [31] RuleOrGroup_star --> precedence = 1 [32] RuleOrGroup_star --> RuleOrGroup_star RuleOrGroup precedence = 1 [33] AtomicFormula_star --> precedence = 1 [34] AtomicFormula_star --> AtomicFormula_star AtomicFormula precedence = 1 [35] IriMeta --> 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' precedence = 71 [36] IriMetaBody --> Frame precedence = 1 [37] IriMetaBody --> 'AND' 'OPENPAR' Frame_star 'CLOSEPAR' precedence = 71 [38] Formula --> IriMeta_opt RawFormula precedence = 1 [39] RawFormula --> AtomicFormula precedence = 1 [40] RawFormula --> 'AND' 'OPENPAR' Formula_star 'CLOSEPAR' precedence = 71 [41] RawFormula --> 'OR' 'OPENPAR' Formula_star 'CLOSEPAR' precedence = 71 [42] RawFormula --> 'EXISTS' Var_plus 'OPENPAR' Formula 'CLOSEPAR' precedence = 71 [43] RawFormula --> 'EXTERNAL' 'OPENPAR' AtomOrFrame 'CLOSEPAR' precedence = 71 [44] AtomicFormula --> Atom precedence = 1 [45] AtomicFormula --> Equal precedence = 1 [46] AtomicFormula --> Member precedence = 1 [47] AtomicFormula --> Subclass precedence = 1 [48] AtomicFormula --> Frame precedence = 1 [49] AtomOrFrame --> Atom precedence = 1 [50] AtomOrFrame --> Frame precedence = 1 [51] Atom --> UniTerm precedence = 1 [52] UniTerm --> Const 'OPENPAR' UniTermBody 'CLOSEPAR' precedence = 71 [53] Equal --> Term 'EQUAL' Term precedence = 41 [54] Member --> Term 'MEMBER' Term precedence = 41 [55] Subclass --> Term 'SUBCLASS' Term precedence = 41 [56] Frame --> Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' precedence = 71 [57] FrameAttribute --> Term 'ARROW' Term precedence = 41 [58] Term --> IriMeta_opt RawTerm precedence = 1 [59] RawTerm --> Const precedence = 1 [60] RawTerm --> Var precedence = 1 [61] RawTerm --> Expr precedence = 1 [62] RawTerm --> 'EXTERNAL' 'OPENPAR' Expr 'CLOSEPAR' precedence = 71 [63] Expr --> UniTerm precedence = 1 [64] Const --> FullyQualifiedConstant precedence = 1 [65] Const --> ConstShort precedence = 1 [66] FullyQualifiedConstant --> 'STRING' 'LEXSPACE' SymSpace precedence = 91 [67] SymSpace --> Curie precedence = 1 [68] ConstShort --> 'NUMBER' precedence = 61 [69] ConstShort --> 'STRING' precedence = 61 [70] ConstShort --> 'LOCALNAME' precedence = 61 [71] ConstShort --> 'ANGLEBRACKETIRI' precedence = 61 [72] ConstShort --> Curie precedence = 1 [73] Var --> 'VARIABLE' precedence = 61 [74] UniTermBody --> TermArgument_star precedence = 1 [75] TermArgument --> Term precedence = 1 [76] Var_plus --> Var precedence = 1 [77] Var_plus --> Var_plus Var precedence = 1 [78] IriMeta_opt --> precedence = 1 [79] IriMeta_opt --> IriMeta precedence = 1 [80] IriConst_opt --> precedence = 1 [81] IriConst_opt --> IriConst precedence = 1 [82] IriMetaBody_opt --> precedence = 1 [83] IriMetaBody_opt --> IriMetaBody precedence = 1 [84] Formula_star --> precedence = 1 [85] Formula_star --> Formula_star Formula precedence = 1 [86] TermArgument_star --> precedence = 1 [87] TermArgument_star --> TermArgument TermArgument_star precedence = 101 [88] Frame_star --> precedence = 1 [89] Frame_star --> Frame_star Frame precedence = 1 [90] FrameAttribute_star --> precedence = 1 [91] FrameAttribute_star --> FrameAttribute_star FrameAttribute precedence = 1 [92] Name --> 'IDENTIFIER' precedence = 61 [93] Iri --> 'STRING' precedence = 61 [94] IriConst --> FullyQualifiedConstant precedence = 1 [95] Curie --> 'IDENTIFIER' precedence = 61 [96] Curie --> 'COLON' 'IDENTIFIER' precedence = 61 [97] Curie --> 'IDENTIFIER' 'COLON' 'IDENTIFIER' precedence = 61 [98] $ACTION0$ --> precedence = 1 [99] RifDocument --> $ACTION0$ Document precedence = 1 *** Starting grammar analysis ... *** Preprocessing the grammar ... *** ... in 32 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 'LEASTPREC' [5] 11 none 'DOCUMENT' [6] 11 none 'BASE' [7] 11 none 'PREFIX' [8] 11 none 'IMPORT' [9] 11 none 'GROUP' [10] 21 none 'IF' [11] 31 none 'OR' [12] 31 none 'AND' [13] 31 none 'EXISTS' [14] 31 none 'FORALL' [15] 41 none 'ARROW' [16] 41 none 'EQUAL' [17] 41 none 'MEMBER' [18] 41 none 'SUBCLASS' [19] 51 none 'EXTERNAL' [20] 61 none 'NUMBER' [21] 61 none 'LOCALNAME' [22] 61 none 'VARIABLE' [23] 61 none 'STRING' [24] 61 none 'IDENTIFIER' [25] 61 none 'ANGLEBRACKETIRI' [26] 71 none 'OPENPAR' [27] 71 none 'CLOSEPAR' [28] 71 none 'OPENBRA' [29] 71 none 'CLOSEBRA' [30] 71 none 'OPENMETA' [31] 71 none 'CLOSEMETA' [32] 81 none 'COLON' [33] 91 none 'LEXSPACE' [34] 101 none 'HIGHESTPREC' ---------------------------------------- NON TERMINALS: [0] $START$ FIRST: {'$RifDocument_switch$', 'DOCUMENT', 'OPENMETA'} LSet: {$START$, $ROOTS$, RifDocument, $ACTION0$} [1] $ROOTS$ FIRST: {'$RifDocument_switch$', 'DOCUMENT', 'OPENMETA'} LSet: {$ROOTS$, RifDocument, $ACTION0$} [2] RifDocument FIRST: {'DOCUMENT', 'OPENMETA'} LSet: {RifDocument, $ACTION0$} [3] Document FIRST: {'DOCUMENT', 'OPENMETA'} LSet: {Document, IriMeta_opt, IriMeta} [4] IriMeta_opt (nullable) FIRST: {'OPENMETA'} LSet: {IriMeta_opt, IriMeta} [5] Base_opt (nullable) FIRST: {'BASE'} LSet: {Base_opt, Base} [6] Prefix_star (nullable) FIRST: {'PREFIX'} LSet: {Prefix_star} [7] DocumentBody (nullable) FIRST: {'IMPORT', 'GROUP', 'OPENMETA'} LSet: {DocumentBody, Import_star} [8] Base FIRST: {'BASE'} LSet: {Base} [9] Iri FIRST: {'STRING'} LSet: {Iri} [10] Prefix FIRST: {'PREFIX'} LSet: {Prefix} [11] Name FIRST: {'IDENTIFIER'} LSet: {Name} [12] Import_star (nullable) FIRST: {'IMPORT', 'OPENMETA'} LSet: {Import_star} [13] Group_opt (nullable) FIRST: {'GROUP', 'OPENMETA'} LSet: {IriMeta_opt, Group_opt, Group, IriMeta} [14] Import FIRST: {'IMPORT', 'OPENMETA'} LSet: {IriMeta_opt, Import, IriMeta} [15] IriConst FIRST: {'STRING'} LSet: {IriConst, FullyQualifiedConstant} [16] Profile_opt (nullable) FIRST: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Profile_opt, Profile, Term, IriMeta} [17] Group FIRST: {'GROUP', 'OPENMETA'} LSet: {IriMeta_opt, Group, IriMeta} [18] RuleOrGroup_star (nullable) FIRST: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {RuleOrGroup_star} [19] RuleOrGroup FIRST: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Group, RuleOrGroup, Rule, Clause, QuantifiedClause, AtomicFormula, Implies, Term, IriMeta, Frame, Atom, Equal, Member, Subclass, UniTerm, Const, FullyQualifiedConstant, ConstShort, Curie} [20] Rule FIRST: {'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Rule, Clause, QuantifiedClause, AtomicFormula, Implies, Term, IriMeta, Frame, Atom, Equal, Member, Subclass, UniTerm, Const, FullyQualifiedConstant, ConstShort, Curie} [21] Clause FIRST: {'AND', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Clause, AtomicFormula, Implies, Term, IriMeta, Frame, Atom, Equal, Member, Subclass, UniTerm, Const, FullyQualifiedConstant, ConstShort, Curie} [22] QuantifiedClause FIRST: {'FORALL', 'OPENMETA'} LSet: {IriMeta_opt, QuantifiedClause, IriMeta} [23] Var_plus FIRST: {'VARIABLE'} LSet: {Var_plus, Var} [24] 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} [25] Implies FIRST: {'AND', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} LSet: {IriMeta_opt, Implies, IriMeta} [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 62 ms *** Propagating lookahead symbols ... *** ... in 0 ms *** Grammar analysis completed in 94 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} [98] $ACTION0$ --> . Preceding states: {0} Lookahead set: {'DOCUMENT', 'OPENMETA'} [99] 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 $ACTION0$, go to state 4 ============================= 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$'} [98] $ACTION0$ --> . Preceding states: {3} Lookahead set: {'DOCUMENT', 'OPENMETA'} [99] RifDocument --> . $ACTION0$ Document Preceding states: {3} ----------------------------- With RifDocument, go to state 162 With $ACTION0$, go to state 4 ============================= STATE NUMBER: 4 ============================= [3] Document --> . IriMeta_opt 'DOCUMENT' 'OPENPAR' Base_opt Prefix_star DocumentBody 'CLOSEPAR' Preceding states: {4} [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {4} [78] IriMeta_opt --> . Preceding states: {4} Lookahead set: {'DOCUMENT'} [79] IriMeta_opt --> . IriMeta Preceding states: {4} [99] RifDocument --> $ACTION0$ . Document Preceding states: {0, 3} Follow set: {'$E_O_I$'} ----------------------------- With Document, go to state 5 With IriMeta_opt, go to state 6 With IriMeta, go to state 7 With 'OPENMETA', go to state 8 ============================= STATE NUMBER: 5 ============================= [99] RifDocument --> $ACTION0$ Document . Preceding states: {0, 3} Lookahead set: {'$E_O_I$'} ----------------------------- ============================= STATE NUMBER: 6 ============================= [3] Document --> IriMeta_opt . 'DOCUMENT' 'OPENPAR' Base_opt Prefix_star DocumentBody 'CLOSEPAR' Preceding states: {4} ----------------------------- With 'DOCUMENT', go to state 64 ============================= STATE NUMBER: 7 ============================= [79] IriMeta_opt --> IriMeta . Preceding states: {4, 9, 28, 32, 35, 55, 58, 76, 90, 93, 107, 108, 109, 119, 122, 125, 132, 139, 144, 148, 151, 153, 156} Lookahead set: {'DOCUMENT', 'IMPORT', 'GROUP', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 8 ============================= This state has conflicts: Resolved S/R conflict: choosing S12 over R80, on input 'STRING' ----------------------------- [35] IriMeta --> 'OPENMETA' . IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {4, 9, 28, 32, 35, 55, 58, 76, 90, 93, 107, 108, 109, 119, 122, 125, 132, 139, 144, 148, 151, 153, 156} Follow set: {'AND', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'CLOSEMETA', 'COLON'} [66] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {8} [80] IriConst_opt --> . Preceding states: {8} Lookahead set: {'AND', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'CLOSEMETA', 'COLON'} [81] IriConst_opt --> . IriConst Preceding states: {8} [94] IriConst --> . FullyQualifiedConstant Preceding states: {8} ----------------------------- With IriConst_opt, go to state 9 With FullyQualifiedConstant, go to state 10 With IriConst, go to state 11 With 'STRING', go to state 12 ============================= STATE NUMBER: 9 ============================= [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {9} [35] IriMeta --> 'OPENMETA' IriConst_opt . IriMetaBody_opt 'CLOSEMETA' Preceding states: {4, 9, 28, 32, 35, 55, 58, 76, 90, 93, 107, 108, 109, 119, 122, 125, 132, 139, 144, 148, 151, 153, 156} Follow set: {'CLOSEMETA'} [36] IriMetaBody --> . Frame Preceding states: {9} [37] IriMetaBody --> . 'AND' 'OPENPAR' Frame_star 'CLOSEPAR' Preceding states: {9} [56] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {9} [58] Term --> . IriMeta_opt RawTerm Preceding states: {9} [78] IriMeta_opt --> . Preceding states: {9} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {9} [82] IriMetaBody_opt --> . Preceding states: {9} Lookahead set: {'CLOSEMETA'} [83] IriMetaBody_opt --> . IriMetaBody Preceding states: {9} ----------------------------- With IriMetaBody_opt, go to state 21 With IriMeta, go to state 7 With IriMeta_opt, go to state 22 With 'OPENMETA', go to state 8 With IriMetaBody, go to state 23 With Frame, go to state 24 With 'AND', go to state 25 With Term, go to state 26 ============================= STATE NUMBER: 10 ============================= [94] IriConst --> FullyQualifiedConstant . Preceding states: {8, 155} Lookahead set: {'AND', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'CLOSEMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 11 ============================= [81] IriConst_opt --> IriConst . Preceding states: {8} Lookahead set: {'AND', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'CLOSEMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 12 ============================= [66] FullyQualifiedConstant --> 'STRING' . 'LEXSPACE' SymSpace Preceding states: {8, 155} ----------------------------- With 'LEXSPACE', go to state 13 ============================= STATE NUMBER: 13 ============================= [66] FullyQualifiedConstant --> 'STRING' 'LEXSPACE' . SymSpace Preceding states: {8, 22, 52, 90, 93, 119, 125, 132, 151, 153, 155} Follow set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENPAR', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'CLOSEMETA', 'COLON'} [67] SymSpace --> . Curie Preceding states: {13} [95] Curie --> . 'IDENTIFIER' Preceding states: {13} [96] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {13} [97] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {13} ----------------------------- With SymSpace, go to state 14 With Curie, go to state 15 With 'IDENTIFIER', go to state 16 With 'COLON', go to state 17 ============================= STATE NUMBER: 14 ============================= [66] FullyQualifiedConstant --> 'STRING' 'LEXSPACE' SymSpace . Preceding states: {8, 22, 52, 90, 93, 119, 125, 132, 151, 153, 155} Lookahead set: {'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: 15 ============================= [67] SymSpace --> Curie . Preceding states: {13} Lookahead set: {'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: 16 ============================= This state has conflicts: Resolved S/R conflict: choosing S19 over R95, on input 'COLON' ----------------------------- [95] Curie --> 'IDENTIFIER' . Preceding states: {13, 22, 52, 90, 93, 119, 125, 132, 151, 153} Lookahead set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENPAR', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'CLOSEMETA', 'COLON'} [97] Curie --> 'IDENTIFIER' . 'COLON' 'IDENTIFIER' Preceding states: {13, 22, 52, 90, 93, 119, 125, 132, 151, 153} ----------------------------- With 'COLON', go to state 19 ============================= STATE NUMBER: 17 ============================= [96] Curie --> 'COLON' . 'IDENTIFIER' Preceding states: {13, 22, 52, 90, 93, 119, 125, 132, 151, 153} ----------------------------- With 'IDENTIFIER', go to state 18 ============================= STATE NUMBER: 18 ============================= [96] Curie --> 'COLON' 'IDENTIFIER' . Preceding states: {13, 22, 52, 90, 93, 119, 125, 132, 151, 153} Lookahead set: {'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: 19 ============================= [97] Curie --> 'IDENTIFIER' 'COLON' . 'IDENTIFIER' Preceding states: {13, 22, 52, 90, 93, 119, 125, 132, 151, 153} ----------------------------- With 'IDENTIFIER', go to state 20 ============================= STATE NUMBER: 20 ============================= [97] Curie --> 'IDENTIFIER' 'COLON' 'IDENTIFIER' . Preceding states: {13, 22, 52, 90, 93, 119, 125, 132, 151, 153} Lookahead set: {'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 ============================= [35] IriMeta --> 'OPENMETA' IriConst_opt IriMetaBody_opt . 'CLOSEMETA' Preceding states: {4, 9, 28, 32, 35, 55, 58, 76, 90, 93, 107, 108, 109, 119, 122, 125, 132, 139, 144, 148, 151, 153, 156} ----------------------------- With 'CLOSEMETA', go to state 63 ============================= STATE NUMBER: 22 ============================= [52] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {22} [58] Term --> IriMeta_opt . RawTerm Preceding states: {9, 28, 32, 35, 55, 58, 93, 107, 108, 109, 119, 125, 132, 153, 156} Follow set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} [59] RawTerm --> . Const Preceding states: {22} [60] RawTerm --> . Var Preceding states: {22} [61] RawTerm --> . Expr Preceding states: {22} [62] RawTerm --> . 'EXTERNAL' 'OPENPAR' Expr 'CLOSEPAR' Preceding states: {22} [63] Expr --> . UniTerm Preceding states: {22} [64] Const --> . FullyQualifiedConstant Preceding states: {22} [65] Const --> . ConstShort Preceding states: {22} [66] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {22} [68] ConstShort --> . 'NUMBER' Preceding states: {22} [69] ConstShort --> . 'STRING' Preceding states: {22} [70] ConstShort --> . 'LOCALNAME' Preceding states: {22} [71] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {22} [72] ConstShort --> . Curie Preceding states: {22} [73] Var --> . 'VARIABLE' Preceding states: {22} [95] Curie --> . 'IDENTIFIER' Preceding states: {22} [96] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {22} [97] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {22} ----------------------------- With RawTerm, go to state 38 With Const, go to state 39 With FullyQualifiedConstant, go to state 40 With ConstShort, go to state 41 With Var, go to state 42 With Expr, go to state 43 With 'EXTERNAL', go to state 44 With 'VARIABLE', go to state 45 With UniTerm, go to state 46 With 'STRING', go to state 47 With 'NUMBER', go to state 48 With 'LOCALNAME', go to state 49 With 'ANGLEBRACKETIRI', go to state 50 With Curie, go to state 51 With 'IDENTIFIER', go to state 16 With 'COLON', go to state 17 ============================= STATE NUMBER: 23 ============================= [83] IriMetaBody_opt --> IriMetaBody . Preceding states: {9} Lookahead set: {'CLOSEMETA'} ----------------------------- ============================= STATE NUMBER: 24 ============================= [36] IriMetaBody --> Frame . Preceding states: {9} Lookahead set: {'CLOSEMETA'} ----------------------------- ============================= STATE NUMBER: 25 ============================= [37] IriMetaBody --> 'AND' . 'OPENPAR' Frame_star 'CLOSEPAR' Preceding states: {9} ----------------------------- With 'OPENPAR', go to state 34 ============================= STATE NUMBER: 26 ============================= [56] Frame --> Term . 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {9, 35, 132} ----------------------------- With 'OPENBRA', go to state 27 ============================= STATE NUMBER: 27 ============================= [56] Frame --> Term 'OPENBRA' . FrameAttribute_star 'CLOSEBRA' Preceding states: {9, 35, 90, 93, 119, 125, 132, 151, 153} Follow set: {'CLOSEBRA'} [90] FrameAttribute_star --> . Preceding states: {27} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEBRA', 'OPENMETA', 'COLON'} [91] FrameAttribute_star --> . FrameAttribute_star FrameAttribute Preceding states: {27} ----------------------------- With FrameAttribute_star, go to state 28 ============================= STATE NUMBER: 28 ============================= [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {28} [56] Frame --> Term 'OPENBRA' FrameAttribute_star . 'CLOSEBRA' Preceding states: {9, 35, 90, 93, 119, 125, 132, 151, 153} [57] FrameAttribute --> . Term 'ARROW' Term Preceding states: {28} [58] Term --> . IriMeta_opt RawTerm Preceding states: {28} [78] IriMeta_opt --> . Preceding states: {28} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {28} [91] FrameAttribute_star --> FrameAttribute_star . FrameAttribute Preceding states: {27} Follow set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- With 'CLOSEBRA', go to state 29 With FrameAttribute, go to state 30 With IriMeta, go to state 7 With IriMeta_opt, go to state 22 With 'OPENMETA', go to state 8 With Term, go to state 31 ============================= STATE NUMBER: 29 ============================= [56] Frame --> Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' . Preceding states: {9, 35, 90, 93, 119, 125, 132, 151, 153} Lookahead set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'CLOSEMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 30 ============================= [91] FrameAttribute_star --> FrameAttribute_star FrameAttribute . Preceding states: {27} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 31 ============================= [57] FrameAttribute --> Term . 'ARROW' Term Preceding states: {28} ----------------------------- With 'ARROW', go to state 32 ============================= STATE NUMBER: 32 ============================= [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {32} [57] FrameAttribute --> Term 'ARROW' . Term Preceding states: {28} Follow set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEBRA', 'OPENMETA', 'COLON'} [58] Term --> . IriMeta_opt RawTerm Preceding states: {32} [78] IriMeta_opt --> . Preceding states: {32} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {32} ----------------------------- With Term, go to state 33 With IriMeta, go to state 7 With IriMeta_opt, go to state 22 With 'OPENMETA', go to state 8 ============================= STATE NUMBER: 33 ============================= [57] FrameAttribute --> Term 'ARROW' Term . Preceding states: {28} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 34 ============================= [37] IriMetaBody --> 'AND' 'OPENPAR' . Frame_star 'CLOSEPAR' Preceding states: {9} Follow set: {'CLOSEPAR'} [88] Frame_star --> . Preceding states: {34} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [89] Frame_star --> . Frame_star Frame Preceding states: {34} ----------------------------- With Frame_star, go to state 35 ============================= STATE NUMBER: 35 ============================= [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {35} [37] IriMetaBody --> 'AND' 'OPENPAR' Frame_star . 'CLOSEPAR' Preceding states: {9} [56] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {35} [58] Term --> . IriMeta_opt RawTerm Preceding states: {35} [78] IriMeta_opt --> . Preceding states: {35} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {35} [89] Frame_star --> Frame_star . Frame Preceding states: {34} Follow set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- With 'CLOSEPAR', go to state 36 With Frame, go to state 37 With IriMeta, go to state 7 With IriMeta_opt, go to state 22 With 'OPENMETA', go to state 8 With Term, go to state 26 ============================= STATE NUMBER: 36 ============================= [37] IriMetaBody --> 'AND' 'OPENPAR' Frame_star 'CLOSEPAR' . Preceding states: {9} Lookahead set: {'CLOSEMETA'} ----------------------------- ============================= STATE NUMBER: 37 ============================= [89] Frame_star --> Frame_star Frame . Preceding states: {34} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 38 ============================= [58] Term --> IriMeta_opt RawTerm . Preceding states: {9, 28, 32, 35, 55, 58, 90, 93, 107, 108, 109, 119, 125, 132, 151, 153, 156} Lookahead set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 39 ============================= [52] UniTerm --> Const . 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {22, 93, 153} [59] RawTerm --> Const . Preceding states: {22, 93, 153} Lookahead set: {'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 55 ============================= STATE NUMBER: 40 ============================= [64] Const --> FullyQualifiedConstant . Preceding states: {22, 52, 90, 93, 119, 125, 132, 151, 153} Lookahead set: {'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: 41 ============================= [65] Const --> ConstShort . Preceding states: {22, 52, 90, 93, 119, 125, 132, 151, 153} Lookahead set: {'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: 42 ============================= [60] RawTerm --> Var . Preceding states: {22, 93, 153} Lookahead set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 43 ============================= [61] RawTerm --> Expr . Preceding states: {22, 93, 153} Lookahead set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 44 ============================= [62] RawTerm --> 'EXTERNAL' . 'OPENPAR' Expr 'CLOSEPAR' Preceding states: {22, 93, 153} ----------------------------- With 'OPENPAR', go to state 52 ============================= STATE NUMBER: 45 ============================= [73] Var --> 'VARIABLE' . Preceding states: {22, 93, 113, 130, 137, 150, 153} Lookahead set: {'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: 46 ============================= [63] Expr --> UniTerm . Preceding states: {22, 52} Lookahead set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 47 ============================= [66] FullyQualifiedConstant --> 'STRING' . 'LEXSPACE' SymSpace Preceding states: {22, 52, 90, 93, 119, 125, 132, 151, 153} [69] ConstShort --> 'STRING' . Preceding states: {22, 52, 90, 93, 119, 125, 132, 151, 153} Lookahead set: {'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 13 ============================= STATE NUMBER: 48 ============================= [68] ConstShort --> 'NUMBER' . Preceding states: {22, 52, 90, 93, 119, 125, 132, 151, 153} Lookahead set: {'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: 49 ============================= [70] ConstShort --> 'LOCALNAME' . Preceding states: {22, 52, 90, 93, 119, 125, 132, 151, 153} Lookahead set: {'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: 50 ============================= [71] ConstShort --> 'ANGLEBRACKETIRI' . Preceding states: {22, 52, 90, 93, 119, 125, 132, 151, 153} Lookahead set: {'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 --> Curie . Preceding states: {22, 52, 90, 93, 119, 125, 132, 151, 153} Lookahead set: {'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 ============================= [52] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {52} [62] RawTerm --> 'EXTERNAL' 'OPENPAR' . Expr 'CLOSEPAR' Preceding states: {22, 93, 153} Follow set: {'CLOSEPAR'} [63] Expr --> . UniTerm Preceding states: {52} [64] Const --> . FullyQualifiedConstant Preceding states: {52} [65] Const --> . ConstShort Preceding states: {52} [66] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {52} [68] ConstShort --> . 'NUMBER' Preceding states: {52} [69] ConstShort --> . 'STRING' Preceding states: {52} [70] ConstShort --> . 'LOCALNAME' Preceding states: {52} [71] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {52} [72] ConstShort --> . Curie Preceding states: {52} [95] Curie --> . 'IDENTIFIER' Preceding states: {52} [96] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {52} [97] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {52} ----------------------------- With Expr, go to state 53 With Const, go to state 54 With FullyQualifiedConstant, go to state 40 With ConstShort, go to state 41 With UniTerm, go to state 46 With 'STRING', go to state 47 With 'NUMBER', go to state 48 With 'LOCALNAME', go to state 49 With 'ANGLEBRACKETIRI', go to state 50 With Curie, go to state 51 With 'IDENTIFIER', go to state 16 With 'COLON', go to state 17 ============================= STATE NUMBER: 53 ============================= [62] RawTerm --> 'EXTERNAL' 'OPENPAR' Expr . 'CLOSEPAR' Preceding states: {22, 93, 153} ----------------------------- With 'CLOSEPAR', go to state 62 ============================= STATE NUMBER: 54 ============================= [52] UniTerm --> Const . 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {52, 90, 119, 125, 132, 151} ----------------------------- With 'OPENPAR', go to state 55 ============================= STATE NUMBER: 55 ============================= [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {55} [52] UniTerm --> Const 'OPENPAR' . UniTermBody 'CLOSEPAR' Preceding states: {22, 52, 90, 93, 119, 125, 132, 151, 153} Follow set: {'CLOSEPAR'} [58] Term --> . IriMeta_opt RawTerm Preceding states: {55} [74] UniTermBody --> . TermArgument_star Preceding states: {55} [75] TermArgument --> . Term Preceding states: {55} [78] IriMeta_opt --> . Preceding states: {55} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {55} [86] TermArgument_star --> . Preceding states: {55} Lookahead set: {'CLOSEPAR'} [87] TermArgument_star --> . TermArgument TermArgument_star Preceding states: {55} ----------------------------- With UniTermBody, go to state 56 With IriMeta, go to state 7 With IriMeta_opt, go to state 22 With 'OPENMETA', go to state 8 With TermArgument_star, go to state 57 With TermArgument, go to state 58 With Term, go to state 59 ============================= STATE NUMBER: 56 ============================= [52] UniTerm --> Const 'OPENPAR' UniTermBody . 'CLOSEPAR' Preceding states: {22, 52, 90, 93, 119, 125, 132, 151, 153} ----------------------------- With 'CLOSEPAR', go to state 61 ============================= STATE NUMBER: 57 ============================= [74] UniTermBody --> TermArgument_star . Preceding states: {55} Lookahead set: {'CLOSEPAR'} ----------------------------- ============================= STATE NUMBER: 58 ============================= [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {58} [58] Term --> . IriMeta_opt RawTerm Preceding states: {58} [75] TermArgument --> . Term Preceding states: {58} [78] IriMeta_opt --> . Preceding states: {58} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {58} [86] TermArgument_star --> . Preceding states: {58} Lookahead set: {'CLOSEPAR'} [87] TermArgument_star --> . TermArgument TermArgument_star Preceding states: {58} [87] TermArgument_star --> TermArgument . TermArgument_star Preceding states: {55, 58} Follow set: {'CLOSEPAR'} ----------------------------- With TermArgument_star, go to state 60 With IriMeta, go to state 7 With IriMeta_opt, go to state 22 With 'OPENMETA', go to state 8 With TermArgument, go to state 58 With Term, go to state 59 ============================= STATE NUMBER: 59 ============================= [75] TermArgument --> Term . Preceding states: {55, 58} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 60 ============================= [87] TermArgument_star --> TermArgument TermArgument_star . Preceding states: {55, 58} Lookahead set: {'CLOSEPAR'} ----------------------------- ============================= STATE NUMBER: 61 ============================= [52] UniTerm --> Const 'OPENPAR' UniTermBody 'CLOSEPAR' . Preceding states: {22, 52, 90, 93, 119, 125, 132, 151, 153} Lookahead set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 62 ============================= [62] RawTerm --> 'EXTERNAL' 'OPENPAR' Expr 'CLOSEPAR' . Preceding states: {22, 93, 153} Lookahead set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'ARROW', 'EQUAL', 'MEMBER', 'SUBCLASS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENBRA', 'CLOSEBRA', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 63 ============================= [35] IriMeta --> 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' . Preceding states: {4, 9, 28, 32, 35, 55, 58, 76, 90, 93, 107, 108, 109, 119, 122, 125, 132, 139, 144, 148, 151, 153, 156} Lookahead set: {'DOCUMENT', 'IMPORT', 'GROUP', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 64 ============================= [3] Document --> IriMeta_opt 'DOCUMENT' . 'OPENPAR' Base_opt Prefix_star DocumentBody 'CLOSEPAR' Preceding states: {4} ----------------------------- With 'OPENPAR', go to state 65 ============================= STATE NUMBER: 65 ============================= [3] Document --> IriMeta_opt 'DOCUMENT' 'OPENPAR' . Base_opt Prefix_star DocumentBody 'CLOSEPAR' Preceding states: {4} Follow set: {'PREFIX', 'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} [4] Base --> . 'BASE' 'OPENPAR' Iri 'CLOSEPAR' Preceding states: {65} [21] Base_opt --> . Preceding states: {65} Lookahead set: {'PREFIX', 'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} [22] Base_opt --> . Base Preceding states: {65} ----------------------------- With Base_opt, go to state 66 With Base, go to state 67 With 'BASE', go to state 68 ============================= STATE NUMBER: 66 ============================= [3] Document --> IriMeta_opt 'DOCUMENT' 'OPENPAR' Base_opt . Prefix_star DocumentBody 'CLOSEPAR' Preceding states: {4} Follow set: {'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} [23] Prefix_star --> . Preceding states: {66} Lookahead set: {'PREFIX', 'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} [24] Prefix_star --> . Prefix_star Prefix Preceding states: {66} ----------------------------- With Prefix_star, go to state 73 ============================= STATE NUMBER: 67 ============================= [22] Base_opt --> Base . Preceding states: {65} Lookahead set: {'PREFIX', 'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} ----------------------------- ============================= STATE NUMBER: 68 ============================= [4] Base --> 'BASE' . 'OPENPAR' Iri 'CLOSEPAR' Preceding states: {65} ----------------------------- With 'OPENPAR', go to state 69 ============================= STATE NUMBER: 69 ============================= [4] Base --> 'BASE' 'OPENPAR' . Iri 'CLOSEPAR' Preceding states: {65} Follow set: {'CLOSEPAR'} [93] Iri --> . 'STRING' Preceding states: {69} ----------------------------- With Iri, go to state 70 With 'STRING', go to state 71 ============================= STATE NUMBER: 70 ============================= [4] Base --> 'BASE' 'OPENPAR' Iri . 'CLOSEPAR' Preceding states: {65} ----------------------------- With 'CLOSEPAR', go to state 72 ============================= STATE NUMBER: 71 ============================= [93] Iri --> 'STRING' . Preceding states: {69, 79} Lookahead set: {'CLOSEPAR'} ----------------------------- ============================= STATE NUMBER: 72 ============================= [4] Base --> 'BASE' 'OPENPAR' Iri 'CLOSEPAR' . Preceding states: {65} Lookahead set: {'PREFIX', 'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} ----------------------------- ============================= STATE NUMBER: 73 ============================= [3] Document --> IriMeta_opt 'DOCUMENT' 'OPENPAR' Base_opt Prefix_star . DocumentBody 'CLOSEPAR' Preceding states: {4} Follow set: {'CLOSEPAR'} [5] Prefix --> . 'PREFIX' 'OPENPAR' Name Iri 'CLOSEPAR' Preceding states: {73} [6] DocumentBody --> . Import_star Group_opt Preceding states: {73} [24] Prefix_star --> Prefix_star . Prefix Preceding states: {66} Follow set: {'PREFIX', 'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} [25] Import_star --> . Preceding states: {73} Lookahead set: {'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} [26] Import_star --> . Import_star Import Preceding states: {73} ----------------------------- With DocumentBody, go to state 74 With Prefix, go to state 75 With Import_star, go to state 76 With 'PREFIX', go to state 77 ============================= STATE NUMBER: 74 ============================= [3] Document --> IriMeta_opt 'DOCUMENT' 'OPENPAR' Base_opt Prefix_star DocumentBody . 'CLOSEPAR' Preceding states: {4} ----------------------------- With 'CLOSEPAR', go to state 161 ============================= STATE NUMBER: 75 ============================= [24] Prefix_star --> Prefix_star Prefix . Preceding states: {66} Lookahead set: {'PREFIX', 'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} ----------------------------- ============================= STATE NUMBER: 76 ============================= [6] DocumentBody --> Import_star . Group_opt Preceding states: {73} Follow set: {'CLOSEPAR'} [7] Import --> . IriMeta_opt 'IMPORT' 'OPENPAR' IriConst Profile_opt 'CLOSEPAR' Preceding states: {76} [8] Group --> . IriMeta_opt 'GROUP' 'OPENPAR' RuleOrGroup_star 'CLOSEPAR' Preceding states: {76} [26] Import_star --> Import_star . Import Preceding states: {73} Follow set: {'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} [29] Group_opt --> . Preceding states: {76} Lookahead set: {'CLOSEPAR'} [30] Group_opt --> . Group Preceding states: {76} [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {76} [78] IriMeta_opt --> . Preceding states: {76} Lookahead set: {'IMPORT', 'GROUP'} [79] IriMeta_opt --> . IriMeta Preceding states: {76} ----------------------------- With Group_opt, go to state 83 With Import, go to state 84 With IriMeta, go to state 7 With Group, go to state 85 With IriMeta_opt, go to state 86 With 'OPENMETA', go to state 8 ============================= STATE NUMBER: 77 ============================= [5] Prefix --> 'PREFIX' . 'OPENPAR' Name Iri 'CLOSEPAR' Preceding states: {73} ----------------------------- With 'OPENPAR', go to state 78 ============================= STATE NUMBER: 78 ============================= [5] Prefix --> 'PREFIX' 'OPENPAR' . Name Iri 'CLOSEPAR' Preceding states: {73} Follow set: {'STRING'} [92] Name --> . 'IDENTIFIER' Preceding states: {78} ----------------------------- With Name, go to state 79 With 'IDENTIFIER', go to state 80 ============================= STATE NUMBER: 79 ============================= [5] Prefix --> 'PREFIX' 'OPENPAR' Name . Iri 'CLOSEPAR' Preceding states: {73} Follow set: {'CLOSEPAR'} [93] Iri --> . 'STRING' Preceding states: {79} ----------------------------- With Iri, go to state 81 With 'STRING', go to state 71 ============================= STATE NUMBER: 80 ============================= [92] Name --> 'IDENTIFIER' . Preceding states: {78} Lookahead set: {'STRING'} ----------------------------- ============================= STATE NUMBER: 81 ============================= [5] Prefix --> 'PREFIX' 'OPENPAR' Name Iri . 'CLOSEPAR' Preceding states: {73} ----------------------------- With 'CLOSEPAR', go to state 82 ============================= STATE NUMBER: 82 ============================= [5] Prefix --> 'PREFIX' 'OPENPAR' Name Iri 'CLOSEPAR' . Preceding states: {73} Lookahead set: {'PREFIX', 'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} ----------------------------- ============================= STATE NUMBER: 83 ============================= [6] DocumentBody --> Import_star Group_opt . Preceding states: {73} Lookahead set: {'CLOSEPAR'} ----------------------------- ============================= STATE NUMBER: 84 ============================= [26] Import_star --> Import_star Import . Preceding states: {73} Lookahead set: {'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} ----------------------------- ============================= STATE NUMBER: 85 ============================= [30] Group_opt --> Group . Preceding states: {76} Lookahead set: {'CLOSEPAR'} ----------------------------- ============================= STATE NUMBER: 86 ============================= [7] Import --> IriMeta_opt . 'IMPORT' 'OPENPAR' IriConst Profile_opt 'CLOSEPAR' Preceding states: {76} [8] Group --> IriMeta_opt . 'GROUP' 'OPENPAR' RuleOrGroup_star 'CLOSEPAR' Preceding states: {76} ----------------------------- With 'IMPORT', go to state 87 With 'GROUP', go to state 88 ============================= STATE NUMBER: 87 ============================= [7] Import --> IriMeta_opt 'IMPORT' . 'OPENPAR' IriConst Profile_opt 'CLOSEPAR' Preceding states: {76} ----------------------------- With 'OPENPAR', go to state 155 ============================= STATE NUMBER: 88 ============================= [8] Group --> IriMeta_opt 'GROUP' . 'OPENPAR' RuleOrGroup_star 'CLOSEPAR' Preceding states: {76, 90} ----------------------------- With 'OPENPAR', go to state 89 ============================= STATE NUMBER: 89 ============================= [8] Group --> IriMeta_opt 'GROUP' 'OPENPAR' . RuleOrGroup_star 'CLOSEPAR' Preceding states: {76, 90} Follow set: {'CLOSEPAR'} [31] RuleOrGroup_star --> . Preceding states: {89} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [32] RuleOrGroup_star --> . RuleOrGroup_star RuleOrGroup Preceding states: {89} ----------------------------- With RuleOrGroup_star, go to state 90 ============================= STATE NUMBER: 90 ============================= This state has conflicts: Resolved S/R conflict: choosing S8 over R78, on input 'OPENMETA' Resolved S/R conflict: choosing S47 over R78, on input 'STRING' Resolved S/R conflict: choosing S48 over R78, on input 'NUMBER' Resolved S/R conflict: choosing S49 over R78, on input 'LOCALNAME' Resolved S/R conflict: choosing S50 over R78, on input 'ANGLEBRACKETIRI' Resolved S/R conflict: choosing S16 over R78, on input 'IDENTIFIER' Resolved S/R conflict: choosing S17 over R78, on input 'COLON' ----------------------------- [8] Group --> . IriMeta_opt 'GROUP' 'OPENPAR' RuleOrGroup_star 'CLOSEPAR' Preceding states: {90} [8] Group --> IriMeta_opt 'GROUP' 'OPENPAR' RuleOrGroup_star . 'CLOSEPAR' Preceding states: {76, 90} [9] RuleOrGroup --> . Rule Preceding states: {90} [10] RuleOrGroup --> . Group Preceding states: {90} [11] Rule --> . Clause Preceding states: {90} [12] Rule --> . QuantifiedClause Preceding states: {90} [13] QuantifiedClause --> . IriMeta_opt 'FORALL' Var_plus 'OPENPAR' Clause 'CLOSEPAR' Preceding states: {90} [14] Clause --> . AtomicFormula Preceding states: {90} [15] Clause --> . Implies Preceding states: {90} [16] Implies --> . IriMeta_opt Consequent 'IF' Antecedent Preceding states: {90} [32] RuleOrGroup_star --> RuleOrGroup_star . RuleOrGroup Preceding states: {89} Follow set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {90} [44] AtomicFormula --> . Atom Preceding states: {90} [45] AtomicFormula --> . Equal Preceding states: {90} [46] AtomicFormula --> . Member Preceding states: {90} [47] AtomicFormula --> . Subclass Preceding states: {90} [48] AtomicFormula --> . Frame Preceding states: {90} [51] Atom --> . UniTerm Preceding states: {90} [52] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {90} [53] Equal --> . Term 'EQUAL' Term Preceding states: {90} [54] Member --> . Term 'MEMBER' Term Preceding states: {90} [55] Subclass --> . Term 'SUBCLASS' Term Preceding states: {90} [56] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {90} [58] Term --> . IriMeta_opt RawTerm Preceding states: {90} [64] Const --> . FullyQualifiedConstant Preceding states: {90} [65] Const --> . ConstShort Preceding states: {90} [66] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {90} [68] ConstShort --> . 'NUMBER' Preceding states: {90} [69] ConstShort --> . 'STRING' Preceding states: {90} [70] ConstShort --> . 'LOCALNAME' Preceding states: {90} [71] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {90} [72] ConstShort --> . Curie Preceding states: {90} [78] IriMeta_opt --> . Preceding states: {90} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {90} [95] Curie --> . 'IDENTIFIER' Preceding states: {90} [96] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {90} [97] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {90} ----------------------------- With 'CLOSEPAR', go to state 91 With RuleOrGroup, go to state 92 With IriMeta, go to state 7 With IriMeta_opt, go to state 93 With Rule, go to state 94 With Group, go to state 95 With Clause, go to state 96 With QuantifiedClause, go to state 97 With AtomicFormula, go to state 98 With Implies, go to state 99 With Atom, go to state 100 With Equal, go to state 101 With Member, go to state 102 With Subclass, go to state 103 With Frame, go to state 104 With 'OPENMETA', go to state 8 With Term, go to state 105 With UniTerm, go to state 106 With Const, go to state 54 With FullyQualifiedConstant, go to state 40 With ConstShort, go to state 41 With 'STRING', go to state 47 With 'NUMBER', go to state 48 With 'LOCALNAME', go to state 49 With 'ANGLEBRACKETIRI', go to state 50 With Curie, go to state 51 With 'IDENTIFIER', go to state 16 With 'COLON', go to state 17 ============================= STATE NUMBER: 91 ============================= [8] Group --> IriMeta_opt 'GROUP' 'OPENPAR' RuleOrGroup_star 'CLOSEPAR' . Preceding states: {76, 90} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 92 ============================= [32] RuleOrGroup_star --> RuleOrGroup_star RuleOrGroup . Preceding states: {89} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 93 ============================= This state has conflicts: Resolved S/R conflict: choosing S47 over R78, on input 'STRING' Resolved S/R conflict: choosing S48 over R78, on input 'NUMBER' Resolved S/R conflict: choosing S49 over R78, on input 'LOCALNAME' Resolved S/R conflict: choosing S50 over R78, on input 'ANGLEBRACKETIRI' Resolved S/R conflict: choosing S16 over R78, on input 'IDENTIFIER' Resolved S/R conflict: choosing S17 over R78, on input 'COLON' Resolved S/R conflict: choosing S44 over R78, on input 'EXTERNAL' Resolved S/R conflict: choosing S45 over R78, on input 'VARIABLE' ----------------------------- [8] Group --> IriMeta_opt . 'GROUP' 'OPENPAR' RuleOrGroup_star 'CLOSEPAR' Preceding states: {90} [13] QuantifiedClause --> IriMeta_opt . 'FORALL' Var_plus 'OPENPAR' Clause 'CLOSEPAR' Preceding states: {90} [16] Implies --> IriMeta_opt . Consequent 'IF' Antecedent Preceding states: {90} Follow set: {'IF'} [17] Consequent --> . AtomicFormula Preceding states: {93} [18] Consequent --> . 'AND' 'OPENPAR' AtomicFormula_star 'CLOSEPAR' Preceding states: {93} [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {93} [44] AtomicFormula --> . Atom Preceding states: {93} [45] AtomicFormula --> . Equal Preceding states: {93} [46] AtomicFormula --> . Member Preceding states: {93} [47] AtomicFormula --> . Subclass Preceding states: {93} [48] AtomicFormula --> . Frame Preceding states: {93} [51] Atom --> . UniTerm Preceding states: {93} [52] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {93} [53] Equal --> . Term 'EQUAL' Term Preceding states: {93} [54] Member --> . Term 'MEMBER' Term Preceding states: {93} [55] Subclass --> . Term 'SUBCLASS' Term Preceding states: {93} [56] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {93} [58] Term --> . IriMeta_opt RawTerm Preceding states: {93} [58] Term --> IriMeta_opt . RawTerm Preceding states: {90} Follow set: {'EQUAL', 'MEMBER', 'SUBCLASS', 'OPENBRA'} [59] RawTerm --> . Const Preceding states: {93} [60] RawTerm --> . Var Preceding states: {93} [61] RawTerm --> . Expr Preceding states: {93} [62] RawTerm --> . 'EXTERNAL' 'OPENPAR' Expr 'CLOSEPAR' Preceding states: {93} [63] Expr --> . UniTerm Preceding states: {93} [64] Const --> . FullyQualifiedConstant Preceding states: {93} [65] Const --> . ConstShort Preceding states: {93} [66] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {93} [68] ConstShort --> . 'NUMBER' Preceding states: {93} [69] ConstShort --> . 'STRING' Preceding states: {93} [70] ConstShort --> . 'LOCALNAME' Preceding states: {93} [71] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {93} [72] ConstShort --> . Curie Preceding states: {93} [73] Var --> . 'VARIABLE' Preceding states: {93} [78] IriMeta_opt --> . Preceding states: {93} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {93} [95] Curie --> . 'IDENTIFIER' Preceding states: {93} [96] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {93} [97] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {93} ----------------------------- With 'GROUP', go to state 88 With 'FORALL', go to state 113 With Consequent, go to state 114 With RawTerm, go to state 38 With IriMeta, go to state 7 With Atom, go to state 100 With Equal, go to state 101 With Member, go to state 102 With Subclass, go to state 103 With Frame, go to state 104 With AtomicFormula, go to state 115 With 'AND', go to state 116 With IriMeta_opt, go to state 22 With 'OPENMETA', go to state 8 With Term, go to state 105 With UniTerm, go to state 117 With Const, go to state 39 With FullyQualifiedConstant, go to state 40 With ConstShort, go to state 41 With 'STRING', go to state 47 With 'NUMBER', go to state 48 With 'LOCALNAME', go to state 49 With 'ANGLEBRACKETIRI', go to state 50 With Curie, go to state 51 With 'IDENTIFIER', go to state 16 With 'COLON', go to state 17 With Var, go to state 42 With Expr, go to state 43 With 'EXTERNAL', go to state 44 With 'VARIABLE', go to state 45 ============================= STATE NUMBER: 94 ============================= [9] RuleOrGroup --> Rule . Preceding states: {90} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 95 ============================= [10] RuleOrGroup --> Group . Preceding states: {90} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 96 ============================= [11] Rule --> Clause . Preceding states: {90} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 97 ============================= [12] Rule --> QuantifiedClause . Preceding states: {90} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 98 ============================= [14] Clause --> AtomicFormula . Preceding states: {90, 151} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 99 ============================= [15] Clause --> Implies . Preceding states: {90, 151} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 100 ============================= [44] AtomicFormula --> Atom . Preceding states: {90, 93, 119, 125, 151, 153} Lookahead set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 101 ============================= [45] AtomicFormula --> Equal . Preceding states: {90, 93, 119, 125, 151, 153} Lookahead set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 102 ============================= [46] AtomicFormula --> Member . Preceding states: {90, 93, 119, 125, 151, 153} Lookahead set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 103 ============================= [47] AtomicFormula --> Subclass . Preceding states: {90, 93, 119, 125, 151, 153} Lookahead set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 104 ============================= [48] AtomicFormula --> Frame . Preceding states: {90, 93, 119, 125, 151, 153} Lookahead set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 105 ============================= [53] Equal --> Term . 'EQUAL' Term Preceding states: {90, 93, 119, 125, 151, 153} [54] Member --> Term . 'MEMBER' Term Preceding states: {90, 93, 119, 125, 151, 153} [55] Subclass --> Term . 'SUBCLASS' Term Preceding states: {90, 93, 119, 125, 151, 153} [56] Frame --> Term . 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {90, 93, 119, 125, 151, 153} ----------------------------- With 'EQUAL', go to state 107 With 'MEMBER', go to state 108 With 'SUBCLASS', go to state 109 With 'OPENBRA', go to state 27 ============================= STATE NUMBER: 106 ============================= [51] Atom --> UniTerm . Preceding states: {90, 119, 125, 132, 151} Lookahead set: {'GROUP', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 107 ============================= [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {107} [53] Equal --> Term 'EQUAL' . Term Preceding states: {90, 93, 119, 125, 151, 153} Follow set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [58] Term --> . IriMeta_opt RawTerm Preceding states: {107} [78] IriMeta_opt --> . Preceding states: {107} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {107} ----------------------------- With Term, go to state 112 With IriMeta, go to state 7 With IriMeta_opt, go to state 22 With 'OPENMETA', go to state 8 ============================= STATE NUMBER: 108 ============================= [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {108} [54] Member --> Term 'MEMBER' . Term Preceding states: {90, 93, 119, 125, 151, 153} Follow set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [58] Term --> . IriMeta_opt RawTerm Preceding states: {108} [78] IriMeta_opt --> . Preceding states: {108} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {108} ----------------------------- With Term, go to state 111 With IriMeta, go to state 7 With IriMeta_opt, go to state 22 With 'OPENMETA', go to state 8 ============================= STATE NUMBER: 109 ============================= [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {109} [55] Subclass --> Term 'SUBCLASS' . Term Preceding states: {90, 93, 119, 125, 151, 153} Follow set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [58] Term --> . IriMeta_opt RawTerm Preceding states: {109} [78] IriMeta_opt --> . Preceding states: {109} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {109} ----------------------------- With Term, go to state 110 With IriMeta, go to state 7 With IriMeta_opt, go to state 22 With 'OPENMETA', go to state 8 ============================= STATE NUMBER: 110 ============================= [55] Subclass --> Term 'SUBCLASS' Term . Preceding states: {90, 93, 119, 125, 151, 153} Lookahead set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 111 ============================= [54] Member --> Term 'MEMBER' Term . Preceding states: {90, 93, 119, 125, 151, 153} Lookahead set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 112 ============================= [53] Equal --> Term 'EQUAL' Term . Preceding states: {90, 93, 119, 125, 151, 153} Lookahead set: {'GROUP', 'IF', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 113 ============================= [13] QuantifiedClause --> IriMeta_opt 'FORALL' . Var_plus 'OPENPAR' Clause 'CLOSEPAR' Preceding states: {90} Follow set: {'OPENPAR'} [73] Var --> . 'VARIABLE' Preceding states: {113} [76] Var_plus --> . Var Preceding states: {113} [77] Var_plus --> . Var_plus Var Preceding states: {113} ----------------------------- With Var_plus, go to state 150 With Var, go to state 138 With 'VARIABLE', go to state 45 ============================= STATE NUMBER: 114 ============================= [16] Implies --> IriMeta_opt Consequent . 'IF' Antecedent Preceding states: {90, 151} ----------------------------- With 'IF', go to state 122 ============================= STATE NUMBER: 115 ============================= [17] Consequent --> AtomicFormula . Preceding states: {93, 153} Lookahead set: {'IF'} ----------------------------- ============================= STATE NUMBER: 116 ============================= [18] Consequent --> 'AND' . 'OPENPAR' AtomicFormula_star 'CLOSEPAR' Preceding states: {93, 153} ----------------------------- With 'OPENPAR', go to state 118 ============================= STATE NUMBER: 117 ============================= [51] Atom --> UniTerm . Preceding states: {93, 153} Lookahead set: {'IF'} [63] Expr --> UniTerm . Preceding states: {93, 153} Lookahead set: {'EQUAL', 'MEMBER', 'SUBCLASS', 'OPENBRA'} ----------------------------- ============================= STATE NUMBER: 118 ============================= [18] Consequent --> 'AND' 'OPENPAR' . AtomicFormula_star 'CLOSEPAR' Preceding states: {93, 153} Follow set: {'CLOSEPAR'} [33] AtomicFormula_star --> . Preceding states: {118} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [34] AtomicFormula_star --> . AtomicFormula_star AtomicFormula Preceding states: {118} ----------------------------- With AtomicFormula_star, go to state 119 ============================= STATE NUMBER: 119 ============================= This state has conflicts: Resolved S/R conflict: choosing S47 over R78, on input 'STRING' Resolved S/R conflict: choosing S48 over R78, on input 'NUMBER' Resolved S/R conflict: choosing S49 over R78, on input 'LOCALNAME' Resolved S/R conflict: choosing S50 over R78, on input 'ANGLEBRACKETIRI' Resolved S/R conflict: choosing S16 over R78, on input 'IDENTIFIER' Resolved S/R conflict: choosing S17 over R78, on input 'COLON' ----------------------------- [18] Consequent --> 'AND' 'OPENPAR' AtomicFormula_star . 'CLOSEPAR' Preceding states: {93, 153} [34] AtomicFormula_star --> AtomicFormula_star . AtomicFormula Preceding states: {118} Follow set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {119} [44] AtomicFormula --> . Atom Preceding states: {119} [45] AtomicFormula --> . Equal Preceding states: {119} [46] AtomicFormula --> . Member Preceding states: {119} [47] AtomicFormula --> . Subclass Preceding states: {119} [48] AtomicFormula --> . Frame Preceding states: {119} [51] Atom --> . UniTerm Preceding states: {119} [52] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {119} [53] Equal --> . Term 'EQUAL' Term Preceding states: {119} [54] Member --> . Term 'MEMBER' Term Preceding states: {119} [55] Subclass --> . Term 'SUBCLASS' Term Preceding states: {119} [56] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {119} [58] Term --> . IriMeta_opt RawTerm Preceding states: {119} [64] Const --> . FullyQualifiedConstant Preceding states: {119} [65] Const --> . ConstShort Preceding states: {119} [66] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {119} [68] ConstShort --> . 'NUMBER' Preceding states: {119} [69] ConstShort --> . 'STRING' Preceding states: {119} [70] ConstShort --> . 'LOCALNAME' Preceding states: {119} [71] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {119} [72] ConstShort --> . Curie Preceding states: {119} [78] IriMeta_opt --> . Preceding states: {119} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {119} [95] Curie --> . 'IDENTIFIER' Preceding states: {119} [96] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {119} [97] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {119} ----------------------------- With 'CLOSEPAR', go to state 120 With AtomicFormula, go to state 121 With IriMeta, go to state 7 With Atom, go to state 100 With Equal, go to state 101 With Member, go to state 102 With Subclass, go to state 103 With Frame, go to state 104 With IriMeta_opt, go to state 22 With 'OPENMETA', go to state 8 With Term, go to state 105 With UniTerm, go to state 106 With Const, go to state 54 With FullyQualifiedConstant, go to state 40 With ConstShort, go to state 41 With 'STRING', go to state 47 With 'NUMBER', go to state 48 With 'LOCALNAME', go to state 49 With 'ANGLEBRACKETIRI', go to state 50 With Curie, go to state 51 With 'IDENTIFIER', go to state 16 With 'COLON', go to state 17 ============================= STATE NUMBER: 120 ============================= [18] Consequent --> 'AND' 'OPENPAR' AtomicFormula_star 'CLOSEPAR' . Preceding states: {93, 153} Lookahead set: {'IF'} ----------------------------- ============================= STATE NUMBER: 121 ============================= [34] AtomicFormula_star --> AtomicFormula_star AtomicFormula . Preceding states: {118} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 122 ============================= This state has conflicts: Resolved S/R conflict: choosing S8 over R78, on input 'OPENMETA' ----------------------------- [16] Implies --> IriMeta_opt Consequent 'IF' . Antecedent Preceding states: {90, 151} Follow set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [19] Antecedent --> . Formula Preceding states: {122} [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {122} [38] Formula --> . IriMeta_opt RawFormula Preceding states: {122} [78] IriMeta_opt --> . Preceding states: {122} Lookahead set: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {122} ----------------------------- With Antecedent, go to state 123 With IriMeta, go to state 7 With Formula, go to state 124 With IriMeta_opt, go to state 125 With 'OPENMETA', go to state 8 ============================= STATE NUMBER: 123 ============================= [16] Implies --> IriMeta_opt Consequent 'IF' Antecedent . Preceding states: {90, 151} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 124 ============================= [19] Antecedent --> Formula . Preceding states: {122} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 125 ============================= This state has conflicts: Resolved S/R conflict: choosing S131 over R78, on input 'EXTERNAL' Resolved S/R conflict: choosing S47 over R78, on input 'STRING' Resolved S/R conflict: choosing S48 over R78, on input 'NUMBER' Resolved S/R conflict: choosing S49 over R78, on input 'LOCALNAME' Resolved S/R conflict: choosing S50 over R78, on input 'ANGLEBRACKETIRI' Resolved S/R conflict: choosing S16 over R78, on input 'IDENTIFIER' Resolved S/R conflict: choosing S17 over R78, on input 'COLON' ----------------------------- [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {125} [38] Formula --> IriMeta_opt . RawFormula Preceding states: {122, 139, 144, 148} Follow set: {'GROUP', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [39] RawFormula --> . AtomicFormula Preceding states: {125} [40] RawFormula --> . 'AND' 'OPENPAR' Formula_star 'CLOSEPAR' Preceding states: {125} [41] RawFormula --> . 'OR' 'OPENPAR' Formula_star 'CLOSEPAR' Preceding states: {125} [42] RawFormula --> . 'EXISTS' Var_plus 'OPENPAR' Formula 'CLOSEPAR' Preceding states: {125} [43] RawFormula --> . 'EXTERNAL' 'OPENPAR' AtomOrFrame 'CLOSEPAR' Preceding states: {125} [44] AtomicFormula --> . Atom Preceding states: {125} [45] AtomicFormula --> . Equal Preceding states: {125} [46] AtomicFormula --> . Member Preceding states: {125} [47] AtomicFormula --> . Subclass Preceding states: {125} [48] AtomicFormula --> . Frame Preceding states: {125} [51] Atom --> . UniTerm Preceding states: {125} [52] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {125} [53] Equal --> . Term 'EQUAL' Term Preceding states: {125} [54] Member --> . Term 'MEMBER' Term Preceding states: {125} [55] Subclass --> . Term 'SUBCLASS' Term Preceding states: {125} [56] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {125} [58] Term --> . IriMeta_opt RawTerm Preceding states: {125} [64] Const --> . FullyQualifiedConstant Preceding states: {125} [65] Const --> . ConstShort Preceding states: {125} [66] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {125} [68] ConstShort --> . 'NUMBER' Preceding states: {125} [69] ConstShort --> . 'STRING' Preceding states: {125} [70] ConstShort --> . 'LOCALNAME' Preceding states: {125} [71] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {125} [72] ConstShort --> . Curie Preceding states: {125} [78] IriMeta_opt --> . Preceding states: {125} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {125} [95] Curie --> . 'IDENTIFIER' Preceding states: {125} [96] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {125} [97] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {125} ----------------------------- With RawFormula, go to state 126 With IriMeta, go to state 7 With Atom, go to state 100 With Equal, go to state 101 With Member, go to state 102 With Subclass, go to state 103 With Frame, go to state 104 With IriMeta_opt, go to state 22 With 'OPENMETA', go to state 8 With Term, go to state 105 With AtomicFormula, go to state 127 With 'AND', go to state 128 With 'OR', go to state 129 With 'EXISTS', go to state 130 With 'EXTERNAL', go to state 131 With UniTerm, go to state 106 With Const, go to state 54 With FullyQualifiedConstant, go to state 40 With ConstShort, go to state 41 With 'STRING', go to state 47 With 'NUMBER', go to state 48 With 'LOCALNAME', go to state 49 With 'ANGLEBRACKETIRI', go to state 50 With Curie, go to state 51 With 'IDENTIFIER', go to state 16 With 'COLON', go to state 17 ============================= STATE NUMBER: 126 ============================= [38] Formula --> IriMeta_opt RawFormula . Preceding states: {122, 139, 144, 148} Lookahead set: {'GROUP', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 127 ============================= [39] RawFormula --> AtomicFormula . Preceding states: {125} Lookahead set: {'GROUP', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 128 ============================= [40] RawFormula --> 'AND' . 'OPENPAR' Formula_star 'CLOSEPAR' Preceding states: {125} ----------------------------- With 'OPENPAR', go to state 147 ============================= STATE NUMBER: 129 ============================= [41] RawFormula --> 'OR' . 'OPENPAR' Formula_star 'CLOSEPAR' Preceding states: {125} ----------------------------- With 'OPENPAR', go to state 143 ============================= STATE NUMBER: 130 ============================= [42] RawFormula --> 'EXISTS' . Var_plus 'OPENPAR' Formula 'CLOSEPAR' Preceding states: {125} Follow set: {'OPENPAR'} [73] Var --> . 'VARIABLE' Preceding states: {130} [76] Var_plus --> . Var Preceding states: {130} [77] Var_plus --> . Var_plus Var Preceding states: {130} ----------------------------- With Var_plus, go to state 137 With Var, go to state 138 With 'VARIABLE', go to state 45 ============================= STATE NUMBER: 131 ============================= [43] RawFormula --> 'EXTERNAL' . 'OPENPAR' AtomOrFrame 'CLOSEPAR' Preceding states: {125} ----------------------------- With 'OPENPAR', go to state 132 ============================= STATE NUMBER: 132 ============================= This state has conflicts: Resolved S/R conflict: choosing S47 over R78, on input 'STRING' Resolved S/R conflict: choosing S48 over R78, on input 'NUMBER' Resolved S/R conflict: choosing S49 over R78, on input 'LOCALNAME' Resolved S/R conflict: choosing S50 over R78, on input 'ANGLEBRACKETIRI' Resolved S/R conflict: choosing S16 over R78, on input 'IDENTIFIER' Resolved S/R conflict: choosing S17 over R78, on input 'COLON' ----------------------------- [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {132} [43] RawFormula --> 'EXTERNAL' 'OPENPAR' . AtomOrFrame 'CLOSEPAR' Preceding states: {125} Follow set: {'CLOSEPAR'} [49] AtomOrFrame --> . Atom Preceding states: {132} [50] AtomOrFrame --> . Frame Preceding states: {132} [51] Atom --> . UniTerm Preceding states: {132} [52] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {132} [56] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {132} [58] Term --> . IriMeta_opt RawTerm Preceding states: {132} [64] Const --> . FullyQualifiedConstant Preceding states: {132} [65] Const --> . ConstShort Preceding states: {132} [66] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {132} [68] ConstShort --> . 'NUMBER' Preceding states: {132} [69] ConstShort --> . 'STRING' Preceding states: {132} [70] ConstShort --> . 'LOCALNAME' Preceding states: {132} [71] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {132} [72] ConstShort --> . Curie Preceding states: {132} [78] IriMeta_opt --> . Preceding states: {132} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {132} [95] Curie --> . 'IDENTIFIER' Preceding states: {132} [96] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {132} [97] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {132} ----------------------------- With AtomOrFrame, go to state 133 With IriMeta, go to state 7 With IriMeta_opt, go to state 22 With 'OPENMETA', go to state 8 With Term, go to state 26 With Atom, go to state 134 With Frame, go to state 135 With UniTerm, go to state 106 With Const, go to state 54 With FullyQualifiedConstant, go to state 40 With ConstShort, go to state 41 With 'STRING', go to state 47 With 'NUMBER', go to state 48 With 'LOCALNAME', go to state 49 With 'ANGLEBRACKETIRI', go to state 50 With Curie, go to state 51 With 'IDENTIFIER', go to state 16 With 'COLON', go to state 17 ============================= STATE NUMBER: 133 ============================= [43] RawFormula --> 'EXTERNAL' 'OPENPAR' AtomOrFrame . 'CLOSEPAR' Preceding states: {125} ----------------------------- With 'CLOSEPAR', go to state 136 ============================= STATE NUMBER: 134 ============================= [49] AtomOrFrame --> Atom . Preceding states: {132} Lookahead set: {'CLOSEPAR'} ----------------------------- ============================= STATE NUMBER: 135 ============================= [50] AtomOrFrame --> Frame . Preceding states: {132} Lookahead set: {'CLOSEPAR'} ----------------------------- ============================= STATE NUMBER: 136 ============================= [43] RawFormula --> 'EXTERNAL' 'OPENPAR' AtomOrFrame 'CLOSEPAR' . Preceding states: {125} Lookahead set: {'GROUP', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 137 ============================= [42] RawFormula --> 'EXISTS' Var_plus . 'OPENPAR' Formula 'CLOSEPAR' Preceding states: {125} [73] Var --> . 'VARIABLE' Preceding states: {137} [77] Var_plus --> Var_plus . Var Preceding states: {130} Follow set: {'VARIABLE', 'OPENPAR'} ----------------------------- With 'OPENPAR', go to state 139 With Var, go to state 140 With 'VARIABLE', go to state 45 ============================= STATE NUMBER: 138 ============================= [76] Var_plus --> Var . Preceding states: {113, 130} Lookahead set: {'VARIABLE', 'OPENPAR'} ----------------------------- ============================= STATE NUMBER: 139 ============================= This state has conflicts: Resolved S/R conflict: choosing S8 over R78, on input 'OPENMETA' ----------------------------- [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {139} [38] Formula --> . IriMeta_opt RawFormula Preceding states: {139} [42] RawFormula --> 'EXISTS' Var_plus 'OPENPAR' . Formula 'CLOSEPAR' Preceding states: {125} Follow set: {'CLOSEPAR'} [78] IriMeta_opt --> . Preceding states: {139} Lookahead set: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {139} ----------------------------- With Formula, go to state 141 With IriMeta, go to state 7 With IriMeta_opt, go to state 125 With 'OPENMETA', go to state 8 ============================= STATE NUMBER: 140 ============================= [77] Var_plus --> Var_plus Var . Preceding states: {113, 130} Lookahead set: {'VARIABLE', 'OPENPAR'} ----------------------------- ============================= STATE NUMBER: 141 ============================= [42] RawFormula --> 'EXISTS' Var_plus 'OPENPAR' Formula . 'CLOSEPAR' Preceding states: {125} ----------------------------- With 'CLOSEPAR', go to state 142 ============================= STATE NUMBER: 142 ============================= [42] RawFormula --> 'EXISTS' Var_plus 'OPENPAR' Formula 'CLOSEPAR' . Preceding states: {125} Lookahead set: {'GROUP', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 143 ============================= [41] RawFormula --> 'OR' 'OPENPAR' . Formula_star 'CLOSEPAR' Preceding states: {125} Follow set: {'CLOSEPAR'} [84] Formula_star --> . Preceding states: {143} Lookahead set: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [85] Formula_star --> . Formula_star Formula Preceding states: {143} ----------------------------- With Formula_star, go to state 144 ============================= STATE NUMBER: 144 ============================= This state has conflicts: Resolved S/R conflict: choosing S8 over R78, on input 'OPENMETA' ----------------------------- [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {144} [38] Formula --> . IriMeta_opt RawFormula Preceding states: {144} [41] RawFormula --> 'OR' 'OPENPAR' Formula_star . 'CLOSEPAR' Preceding states: {125} [78] IriMeta_opt --> . Preceding states: {144} Lookahead set: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {144} [85] Formula_star --> Formula_star . Formula Preceding states: {143} Follow set: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- With 'CLOSEPAR', go to state 145 With Formula, go to state 146 With IriMeta, go to state 7 With IriMeta_opt, go to state 125 With 'OPENMETA', go to state 8 ============================= STATE NUMBER: 145 ============================= [41] RawFormula --> 'OR' 'OPENPAR' Formula_star 'CLOSEPAR' . Preceding states: {125} Lookahead set: {'GROUP', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 146 ============================= [85] Formula_star --> Formula_star Formula . Preceding states: {143, 147} Lookahead set: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 147 ============================= [40] RawFormula --> 'AND' 'OPENPAR' . Formula_star 'CLOSEPAR' Preceding states: {125} Follow set: {'CLOSEPAR'} [84] Formula_star --> . Preceding states: {147} Lookahead set: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [85] Formula_star --> . Formula_star Formula Preceding states: {147} ----------------------------- With Formula_star, go to state 148 ============================= STATE NUMBER: 148 ============================= This state has conflicts: Resolved S/R conflict: choosing S8 over R78, on input 'OPENMETA' ----------------------------- [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {148} [38] Formula --> . IriMeta_opt RawFormula Preceding states: {148} [40] RawFormula --> 'AND' 'OPENPAR' Formula_star . 'CLOSEPAR' Preceding states: {125} [78] IriMeta_opt --> . Preceding states: {148} Lookahead set: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {148} [85] Formula_star --> Formula_star . Formula Preceding states: {147} Follow set: {'OR', 'AND', 'EXISTS', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- With 'CLOSEPAR', go to state 149 With Formula, go to state 146 With IriMeta, go to state 7 With IriMeta_opt, go to state 125 With 'OPENMETA', go to state 8 ============================= STATE NUMBER: 149 ============================= [40] RawFormula --> 'AND' 'OPENPAR' Formula_star 'CLOSEPAR' . Preceding states: {125} Lookahead set: {'GROUP', 'OR', 'AND', 'EXISTS', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 150 ============================= [13] QuantifiedClause --> IriMeta_opt 'FORALL' Var_plus . 'OPENPAR' Clause 'CLOSEPAR' Preceding states: {90} [73] Var --> . 'VARIABLE' Preceding states: {150} [77] Var_plus --> Var_plus . Var Preceding states: {113} Follow set: {'VARIABLE', 'OPENPAR'} ----------------------------- With 'OPENPAR', go to state 151 With Var, go to state 140 With 'VARIABLE', go to state 45 ============================= STATE NUMBER: 151 ============================= This state has conflicts: Resolved S/R conflict: choosing S8 over R78, on input 'OPENMETA' Resolved S/R conflict: choosing S47 over R78, on input 'STRING' Resolved S/R conflict: choosing S48 over R78, on input 'NUMBER' Resolved S/R conflict: choosing S49 over R78, on input 'LOCALNAME' Resolved S/R conflict: choosing S50 over R78, on input 'ANGLEBRACKETIRI' Resolved S/R conflict: choosing S16 over R78, on input 'IDENTIFIER' Resolved S/R conflict: choosing S17 over R78, on input 'COLON' ----------------------------- [13] QuantifiedClause --> IriMeta_opt 'FORALL' Var_plus 'OPENPAR' . Clause 'CLOSEPAR' Preceding states: {90} Follow set: {'CLOSEPAR'} [14] Clause --> . AtomicFormula Preceding states: {151} [15] Clause --> . Implies Preceding states: {151} [16] Implies --> . IriMeta_opt Consequent 'IF' Antecedent Preceding states: {151} [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {151} [44] AtomicFormula --> . Atom Preceding states: {151} [45] AtomicFormula --> . Equal Preceding states: {151} [46] AtomicFormula --> . Member Preceding states: {151} [47] AtomicFormula --> . Subclass Preceding states: {151} [48] AtomicFormula --> . Frame Preceding states: {151} [51] Atom --> . UniTerm Preceding states: {151} [52] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {151} [53] Equal --> . Term 'EQUAL' Term Preceding states: {151} [54] Member --> . Term 'MEMBER' Term Preceding states: {151} [55] Subclass --> . Term 'SUBCLASS' Term Preceding states: {151} [56] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {151} [58] Term --> . IriMeta_opt RawTerm Preceding states: {151} [64] Const --> . FullyQualifiedConstant Preceding states: {151} [65] Const --> . ConstShort Preceding states: {151} [66] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {151} [68] ConstShort --> . 'NUMBER' Preceding states: {151} [69] ConstShort --> . 'STRING' Preceding states: {151} [70] ConstShort --> . 'LOCALNAME' Preceding states: {151} [71] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {151} [72] ConstShort --> . Curie Preceding states: {151} [78] IriMeta_opt --> . Preceding states: {151} Lookahead set: {'AND', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'OPENMETA', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {151} [95] Curie --> . 'IDENTIFIER' Preceding states: {151} [96] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {151} [97] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {151} ----------------------------- With Clause, go to state 152 With IriMeta, go to state 7 With AtomicFormula, go to state 98 With Implies, go to state 99 With Atom, go to state 100 With Equal, go to state 101 With Member, go to state 102 With Subclass, go to state 103 With Frame, go to state 104 With IriMeta_opt, go to state 153 With 'OPENMETA', go to state 8 With Term, go to state 105 With UniTerm, go to state 106 With Const, go to state 54 With FullyQualifiedConstant, go to state 40 With ConstShort, go to state 41 With 'STRING', go to state 47 With 'NUMBER', go to state 48 With 'LOCALNAME', go to state 49 With 'ANGLEBRACKETIRI', go to state 50 With Curie, go to state 51 With 'IDENTIFIER', go to state 16 With 'COLON', go to state 17 ============================= STATE NUMBER: 152 ============================= [13] QuantifiedClause --> IriMeta_opt 'FORALL' Var_plus 'OPENPAR' Clause . 'CLOSEPAR' Preceding states: {90} ----------------------------- With 'CLOSEPAR', go to state 154 ============================= STATE NUMBER: 153 ============================= This state has conflicts: Resolved S/R conflict: choosing S47 over R78, on input 'STRING' Resolved S/R conflict: choosing S48 over R78, on input 'NUMBER' Resolved S/R conflict: choosing S49 over R78, on input 'LOCALNAME' Resolved S/R conflict: choosing S50 over R78, on input 'ANGLEBRACKETIRI' Resolved S/R conflict: choosing S16 over R78, on input 'IDENTIFIER' Resolved S/R conflict: choosing S17 over R78, on input 'COLON' Resolved S/R conflict: choosing S44 over R78, on input 'EXTERNAL' Resolved S/R conflict: choosing S45 over R78, on input 'VARIABLE' ----------------------------- [16] Implies --> IriMeta_opt . Consequent 'IF' Antecedent Preceding states: {151} Follow set: {'IF'} [17] Consequent --> . AtomicFormula Preceding states: {153} [18] Consequent --> . 'AND' 'OPENPAR' AtomicFormula_star 'CLOSEPAR' Preceding states: {153} [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {153} [44] AtomicFormula --> . Atom Preceding states: {153} [45] AtomicFormula --> . Equal Preceding states: {153} [46] AtomicFormula --> . Member Preceding states: {153} [47] AtomicFormula --> . Subclass Preceding states: {153} [48] AtomicFormula --> . Frame Preceding states: {153} [51] Atom --> . UniTerm Preceding states: {153} [52] UniTerm --> . Const 'OPENPAR' UniTermBody 'CLOSEPAR' Preceding states: {153} [53] Equal --> . Term 'EQUAL' Term Preceding states: {153} [54] Member --> . Term 'MEMBER' Term Preceding states: {153} [55] Subclass --> . Term 'SUBCLASS' Term Preceding states: {153} [56] Frame --> . Term 'OPENBRA' FrameAttribute_star 'CLOSEBRA' Preceding states: {153} [58] Term --> . IriMeta_opt RawTerm Preceding states: {153} [58] Term --> IriMeta_opt . RawTerm Preceding states: {151} Follow set: {'EQUAL', 'MEMBER', 'SUBCLASS', 'OPENBRA'} [59] RawTerm --> . Const Preceding states: {153} [60] RawTerm --> . Var Preceding states: {153} [61] RawTerm --> . Expr Preceding states: {153} [62] RawTerm --> . 'EXTERNAL' 'OPENPAR' Expr 'CLOSEPAR' Preceding states: {153} [63] Expr --> . UniTerm Preceding states: {153} [64] Const --> . FullyQualifiedConstant Preceding states: {153} [65] Const --> . ConstShort Preceding states: {153} [66] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {153} [68] ConstShort --> . 'NUMBER' Preceding states: {153} [69] ConstShort --> . 'STRING' Preceding states: {153} [70] ConstShort --> . 'LOCALNAME' Preceding states: {153} [71] ConstShort --> . 'ANGLEBRACKETIRI' Preceding states: {153} [72] ConstShort --> . Curie Preceding states: {153} [73] Var --> . 'VARIABLE' Preceding states: {153} [78] IriMeta_opt --> . Preceding states: {153} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {153} [95] Curie --> . 'IDENTIFIER' Preceding states: {153} [96] Curie --> . 'COLON' 'IDENTIFIER' Preceding states: {153} [97] Curie --> . 'IDENTIFIER' 'COLON' 'IDENTIFIER' Preceding states: {153} ----------------------------- With Consequent, go to state 114 With RawTerm, go to state 38 With IriMeta, go to state 7 With Atom, go to state 100 With Equal, go to state 101 With Member, go to state 102 With Subclass, go to state 103 With Frame, go to state 104 With AtomicFormula, go to state 115 With 'AND', go to state 116 With IriMeta_opt, go to state 22 With 'OPENMETA', go to state 8 With Term, go to state 105 With UniTerm, go to state 117 With Const, go to state 39 With FullyQualifiedConstant, go to state 40 With ConstShort, go to state 41 With 'STRING', go to state 47 With 'NUMBER', go to state 48 With 'LOCALNAME', go to state 49 With 'ANGLEBRACKETIRI', go to state 50 With Curie, go to state 51 With 'IDENTIFIER', go to state 16 With 'COLON', go to state 17 With Var, go to state 42 With Expr, go to state 43 With 'EXTERNAL', go to state 44 With 'VARIABLE', go to state 45 ============================= STATE NUMBER: 154 ============================= [13] QuantifiedClause --> IriMeta_opt 'FORALL' Var_plus 'OPENPAR' Clause 'CLOSEPAR' . Preceding states: {90} Lookahead set: {'GROUP', 'AND', 'FORALL', 'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} ----------------------------- ============================= STATE NUMBER: 155 ============================= [7] Import --> IriMeta_opt 'IMPORT' 'OPENPAR' . IriConst Profile_opt 'CLOSEPAR' Preceding states: {76} Follow set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'CLOSEPAR', 'OPENMETA', 'COLON'} [66] FullyQualifiedConstant --> . 'STRING' 'LEXSPACE' SymSpace Preceding states: {155} [94] IriConst --> . FullyQualifiedConstant Preceding states: {155} ----------------------------- With IriConst, go to state 156 With FullyQualifiedConstant, go to state 10 With 'STRING', go to state 12 ============================= STATE NUMBER: 156 ============================= [7] Import --> IriMeta_opt 'IMPORT' 'OPENPAR' IriConst . Profile_opt 'CLOSEPAR' Preceding states: {76} Follow set: {'CLOSEPAR'} [20] Profile --> . Term Preceding states: {156} [27] Profile_opt --> . Preceding states: {156} Lookahead set: {'CLOSEPAR'} [28] Profile_opt --> . Profile Preceding states: {156} [35] IriMeta --> . 'OPENMETA' IriConst_opt IriMetaBody_opt 'CLOSEMETA' Preceding states: {156} [58] Term --> . IriMeta_opt RawTerm Preceding states: {156} [78] IriMeta_opt --> . Preceding states: {156} Lookahead set: {'EXTERNAL', 'NUMBER', 'LOCALNAME', 'VARIABLE', 'STRING', 'IDENTIFIER', 'ANGLEBRACKETIRI', 'COLON'} [79] IriMeta_opt --> . IriMeta Preceding states: {156} ----------------------------- With Profile_opt, go to state 157 With IriMeta, go to state 7 With Profile, go to state 158 With Term, go to state 159 With IriMeta_opt, go to state 22 With 'OPENMETA', go to state 8 ============================= STATE NUMBER: 157 ============================= [7] Import --> IriMeta_opt 'IMPORT' 'OPENPAR' IriConst Profile_opt . 'CLOSEPAR' Preceding states: {76} ----------------------------- With 'CLOSEPAR', go to state 160 ============================= STATE NUMBER: 158 ============================= [28] Profile_opt --> Profile . Preceding states: {156} Lookahead set: {'CLOSEPAR'} ----------------------------- ============================= STATE NUMBER: 159 ============================= [20] Profile --> Term . Preceding states: {156} Lookahead set: {'CLOSEPAR'} ----------------------------- ============================= STATE NUMBER: 160 ============================= [7] Import --> IriMeta_opt 'IMPORT' 'OPENPAR' IriConst Profile_opt 'CLOSEPAR' . Preceding states: {76} Lookahead set: {'IMPORT', 'GROUP', 'CLOSEPAR', 'OPENMETA'} ----------------------------- ============================= STATE NUMBER: 161 ============================= [3] Document --> IriMeta_opt 'DOCUMENT' 'OPENPAR' Base_opt Prefix_star DocumentBody 'CLOSEPAR' . Preceding states: {4} Lookahead set: {'$E_O_I$'} ----------------------------- ============================= STATE NUMBER: 162 ============================= [2] $ROOTS$ --> '$RifDocument_switch$' RifDocument . Preceding states: {0} Lookahead set: {'$E_O_I$'} ----------------------------- *** Compressing parsing tables ... *** 8 rows eliminated in action table *** 119 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] ________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________ [0] - - S3 - R98 - - - - - - - - - - - - - - - - - - - - - - - - R98 - - - - [1] A - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [2] R1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [3] - - - - R98 - - - - - - - - - - - - - - - - - - - - - - - - R98 - - - - [4] - - - - R78 - - - - - - - - - - - - - - - - - - - - - - - - S8 - - - - [5] R99 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [6] - - - - S64 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [7] - - - - R79 - - R79 R79 - R79 R79 R79 R79 - - - - R79 R79 R79 R79 R79 R79 R79 - - - - R79 - R79 - - [8] - - - - - - - - - - - R80 - - - - - - R80 R80 R80 R80 S12 R80 R80 - - - - R80 R80 R80 - - [9] - - - - - - - - - - - S25 - - - - - - R78 R78 R78 R78 R78 R78 R78 - - - - S8 R82 R78 - - [10] - - - - - - - - - - - R94 - - - - - - R94 R94 R94 R94 R94 R94 R94 - R94 - - R94 R94 R94 - - [11] - - - - - - - - - - - R81 - - - - - - R81 R81 R81 R81 R81 R81 R81 - - - - R81 R81 R81 - - [12] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - S13 - [13] - - - - - - - - - - - - - - - - - - - - - - - S16 - - - - - - - S17 - - [14] - - - - - - - - R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 R66 - - [15] - - - - - - - - R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 R67 - - [16] - - - - - - - - R95 R95 R95 R95 R95 R95 R95 R95 R95 R95 R95 R95 R95 R95 R95 R95 R95 R95 R95 R95 R95 R95 R95 S19 - - [17] - - - - - - - - - - - - - - - - - - - - - - - S18 - - - - - - - - - - [18] - - - - - - - - R96 R96 R96 R96 R96 R96 R96 R96 R96 R96 R96 R96 R96 R96 R96 R96 R96 R96 R96 R96 R96 R96 R96 R96 - - [19] - - - - - - - - - - - - - - - - - - - - - - - S20 - - - - - - - - - - [20] - - - - - - - - R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 R97 - - [21] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - S63 - - - [22] - - - - - - - - - - - - - - - - - - S44 S48 S49 S45 S47 S16 S50 - - - - - - S17 - - [23] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - R83 - - - [24] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - R36 - - - [25] - - - - - - - - - - - - - - - - - - - - - - - - - S34 - - - - - - - - [26] - - - - - - - - - - - - - - - - - - - - - - - - - - - S27 - - - - - - [27] - - - - - - - - - - - - - - - - - - R90 R90 R90 R90 R90 R90 R90 - - - R90 R90 - R90 - - [28] - - - - - - - - - - - - - - - - - - R78 R78 R78 R78 R78 R78 R78 - - - S29 S8 - R78 - - [29] - - - - - - - - R56 R56 R56 R56 R56 R56 - - - - R56 R56 R56 R56 R56 R56 R56 - R56 - - R56 R56 R56 - - [30] - - - - - - - - - - - - - - - - - - R91 R91 R91 R91 R91 R91 R91 - - - R91 R91 - R91 - - [31] - - - - - - - - - - - - - - S32 - - - - - - - - - - - - - - - - - - - [32] - - - - - - - - - - - - - - - - - - R78 R78 R78 R78 R78 R78 R78 - - - - S8 - R78 - - [33] - - - - - - - - - - - - - - - - - - R57 R57 R57 R57 R57 R57 R57 - - - R57 R57 - R57 - - [34] - - - - - - - - - - - - - - - - - - R88 R88 R88 R88 R88 R88 R88 - R88 - - R88 - R88 - - [35] - - - - - - - - - - - - - - - - - - R78 R78 R78 R78 R78 R78 R78 - S36 - - S8 - R78 - - [36] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - R37 - - - [37] - - - - - - - - - - - - - - - - - - R89 R89 R89 R89 R89 R89 R89 - R89 - - R89 - R89 - - [38] - - - - - - - - R58 R58 R58 R58 R58 R58 R58 R58 R58 R58 R58 R58 R58 R58 R58 R58 R58 - R58 R58 R58 R58 - R58 - - [39] - - - - - - - - R59 R59 R59 R59 R59 R59 R59 R59 R59 R59 R59 R59 R59 R59 R59 R59 R59 S55 R59 R59 R59 R59 - R59 - - [40] - - - - - - - - R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 R64 - R64 - - [41] - - - - - - - - R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 R65 - R65 - - [42] - - - - - - - - R60 R60 R60 R60 R60 R60 R60 R60 R60 R60 R60 R60 R60 R60 R60 R60 R60 - R60 R60 R60 R60 - R60 - - [43] - - - - - - - - R61 R61 R61 R61 R61 R61 R61 R61 R61 R61 R61 R61 R61 R61 R61 R61 R61 - R61 R61 R61 R61 - R61 - - [44] - - - - - - - - - - - - - - - - - - - - - - - - - S52 - - - - - - - - [45] - - - - - - - - R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 R73 - R73 - - [46] - - - - - - - - R63 R63 R63 R63 R63 R63 R63 R63 R63 R63 R63 R63 R63 R63 R63 R63 R63 - R63 R63 R63 R63 - R63 - - [47] - - - - - - - - R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 R69 - R69 S13 - [48] - - - - - - - - R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 R68 - R68 - - [49] - - - - - - - - R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 R70 - R70 - - [50] - - - - - - - - R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 R71 - R71 - - [51] - - - - - - - - R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 R72 - R72 - - [52] - - - - - - - - - - - - - - - - - - - S48 S49 - S47 S16 S50 - - - - - - S17 - - [53] - - - - - - - - - - - - - - - - - - - - - - - - - - S62 - - - - - - - [54] - - - - - - - - - - - - - - - - - - - - - - - - - S55 - - - - - - - - [55] - - - - - - - - - - - - - - - - - - R78 R78 R78 R78 R78 R78 R78 - R86 - - S8 - R78 - - [56] - - - - - - - - - - - - - - - - - - - - - - - - - - S61 - - - - - - - [57] - - - - - - - - - - - - - - - - - - - - - - - - - - R74 - - - - - - - [58] - - - - - - - - - - - - - - - - - - R78 R78 R78 R78 R78 R78 R78 - R86 - - S8 - R78 - - [59] - - - - - - - - - - - - - - - - - - R75 R75 R75 R75 R75 R75 R75 - R75 - - R75 - R75 - - [60] - - - - - - - - - - - - - - - - - - - - - - - - - - R87 - - - - - - - [61] - - - - - - - - R52 R52 R52 R52 R52 R52 R52 R52 R52 R52 R52 R52 R52 R52 R52 R52 R52 - R52 R52 R52 R52 - R52 - - [62] - - - - - - - - R62 R62 R62 R62 R62 R62 R62 R62 R62 R62 R62 R62 R62 R62 R62 R62 R62 - R62 R62 R62 R62 - R62 - - [63] - - - - R35 - - R35 R35 - R35 R35 R35 R35 - - - - R35 R35 R35 R35 R35 R35 R35 - - - - R35 - R35 - - [64] - - - - - - - - - - - - - - - - - - - - - - - - - S65 - - - - - - - - [65] - - - - - S68 R21 R21 R21 - - - - - - - - - - - - - - - - - R21 - - R21 - - - - [66] - - - - - - R23 R23 R23 - - - - - - - - - - - - - - - - - R23 - - R23 - - - - [67] - - - - - - R22 R22 R22 - - - - - - - - - - - - - - - - - R22 - - R22 - - - - [68] - - - - - - - - - - - - - - - - - - - - - - - - - S69 - - - - - - - - [69] - - - - - - - - - - - - - - - - - - - - - - S71 - - - - - - - - - - - [70] - - - - - - - - - - - - - - - - - - - - - - - - - - S72 - - - - - - - [71] - - - - - - - - - - - - - - - - - - - - - - - - - - R93 - - - - - - - [72] - - - - - - R4 R4 R4 - - - - - - - - - - - - - - - - - R4 - - R4 - - - - [73] - - - - - - S77 R25 R25 - - - - - - - - - - - - - - - - - R25 - - R25 - - - - [74] - - - - - - - - - - - - - - - - - - - - - - - - - - S161 - - - - - - - [75] - - - - - - R24 R24 R24 - - - - - - - - - - - - - - - - - R24 - - R24 - - - - [76] - - - - - - - R78 R78 - - - - - - - - - - - - - - - - - R29 - - S8 - - - - [77] - - - - - - - - - - - - - - - - - - - - - - - - - S78 - - - - - - - - [78] - - - - - - - - - - - - - - - - - - - - - - - S80 - - - - - - - - - - [79] - - - - - - - - - - - - - - - - - - - - - - S71 - - - - - - - - - - - [80] - - - - - - - - - - - - - - - - - - - - - - R92 - - - - - - - - - - - [81] - - - - - - - - - - - - - - - - - - - - - - - - - - S82 - - - - - - - [82] - - - - - - R5 R5 R5 - - - - - - - - - - - - - - - - - R5 - - R5 - - - - [83] - - - - - - - - - - - - - - - - - - - - - - - - - - R6 - - - - - - - [84] - - - - - - - R26 R26 - - - - - - - - - - - - - - - - - R26 - - R26 - - - - [85] - - - - - - - - - - - - - - - - - - - - - - - - - - R30 - - - - - - - [86] - - - - - - - S87 S88 - - - - - - - - - - - - - - - - - - - - - - - - - [87] - - - - - - - - - - - - - - - - - - - - - - - - - S155 - - - - - - - - [88] - - - - - - - - - - - - - - - - - - - - - - - - - S89 - - - - - - - - [89] - - - - - - - - R31 - - R31 - R31 - - - - R31 R31 R31 R31 R31 R31 R31 - R31 - - R31 - R31 - - [90] - - - - - - - - R78 - - R78 - R78 - - - - R78 S48 S49 R78 S47 S16 S50 - S91 - - S8 - S17 - - [91] - - - - - - - - R8 - - R8 - R8 - - - - R8 R8 R8 R8 R8 R8 R8 - R8 - - R8 - R8 - - [92] - - - - - - - - R32 - - R32 - R32 - - - - R32 R32 R32 R32 R32 R32 R32 - R32 - - R32 - R32 - - [93] - - - - - - - - S88 - - S116 - S113 - - - - S44 S48 S49 S45 S47 S16 S50 - - - - S8 - S17 - - [94] - - - - - - - - R9 - - R9 - R9 - - - - R9 R9 R9 R9 R9 R9 R9 - R9 - - R9 - R9 - - [95] - - - - - - - - R10 - - R10 - R10 - - - - R10 R10 R10 R10 R10 R10 R10 - R10 - - R10 - R10 - - [96] - - - - - - - - R11 - - R11 - R11 - - - - R11 R11 R11 R11 R11 R11 R11 - R11 - - R11 - R11 - - [97] - - - - - - - - R12 - - R12 - R12 - - - - R12 R12 R12 R12 R12 R12 R12 - R12 - - R12 - R12 - - [98] - - - - - - - - R14 - - R14 - R14 - - - - R14 R14 R14 R14 R14 R14 R14 - R14 - - R14 - R14 - - [99] - - - - - - - - R15 - - R15 - R15 - - - - R15 R15 R15 R15 R15 R15 R15 - R15 - - R15 - R15 - - [100] - - - - - - - - R44 R44 R44 R44 R44 R44 - - - - R44 R44 R44 R44 R44 R44 R44 - R44 - - R44 - R44 - - [101] - - - - - - - - R45 R45 R45 R45 R45 R45 - - - - R45 R45 R45 R45 R45 R45 R45 - R45 - - R45 - R45 - - [102] - - - - - - - - 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 - - [104] - - - - - - - - R48 R48 R48 R48 R48 R48 - - - - R48 R48 R48 R48 R48 R48 R48 - R48 - - R48 - R48 - - [105] - - - - - - - - - - - - - - - S107 S108 S109 - - - - - - - - - S27 - - - - - - [106] - - - - - - - - R51 - R51 R51 R51 R51 - - - - R51 R51 R51 R51 R51 R51 R51 - R51 - - R51 - R51 - - [107] - - - - - - - - - - - - - - - - - - R78 R78 R78 R78 R78 R78 R78 - - - - S8 - R78 - - [108] - - - - - - - - - - - - - - - - - - R78 R78 R78 R78 R78 R78 R78 - - - - S8 - R78 - - [109] - - - - - - - - - - - - - - - - - - R78 R78 R78 R78 R78 R78 R78 - - - - S8 - R78 - - [110] - - - - - - - - R55 R55 R55 R55 R55 R55 - - - - R55 R55 R55 R55 R55 R55 R55 - R55 - - R55 - R55 - - [111] - - - - - - - - R54 R54 R54 R54 R54 R54 - - - - R54 R54 R54 R54 R54 R54 R54 - R54 - - R54 - R54 - - [112] - - - - - - - - R53 R53 R53 R53 R53 R53 - - - - R53 R53 R53 R53 R53 R53 R53 - R53 - - R53 - R53 - - [113] - - - - - - - - - - - - - - - - - - - - - S45 - - - - - - - - - - - - [114] - - - - - - - - - S122 - - - - - - - - - - - - - - - - - - - - - - - - [115] - - - - - - - - - R17 - - - - - - - - - - - - - - - - - - - - - - - - [116] - - - - - - - - - - - - - - - - - - - - - - - - - S118 - - - - - - - - [117] - - - - - - - - - R51 - - - - - R63 R63 R63 - - - - - - - - - R63 - - - - - - [118] - - - - - - - - - - - - - - - - - - R33 R33 R33 R33 R33 R33 R33 - R33 - - R33 - R33 - - [119] - - - - - - - - - - - - - - - - - - R78 S48 S49 R78 S47 S16 S50 - S120 - - S8 - S17 - - [120] - - - - - - - - - R18 - - - - - - - - - - - - - - - - - - - - - - - - [121] - - - - - - - - - - - - - - - - - - R34 R34 R34 R34 R34 R34 R34 - R34 - - R34 - R34 - - [122] - - - - - - - - - - R78 R78 R78 - - - - - R78 R78 R78 R78 R78 R78 R78 - - - - S8 - R78 - - [123] - - - - - - - - R16 - - R16 - R16 - - - - R16 R16 R16 R16 R16 R16 R16 - R16 - - R16 - R16 - - [124] - - - - - - - - R19 - - R19 - R19 - - - - R19 R19 R19 R19 R19 R19 R19 - R19 - - R19 - R19 - - [125] - - - - - - - - - - S129 S128 S130 - - - - - S131 S48 S49 R78 S47 S16 S50 - - - - S8 - S17 - - [126] - - - - - - - - R38 - R38 R38 R38 R38 - - - - R38 R38 R38 R38 R38 R38 R38 - R38 - - R38 - R38 - - [127] - - - - - - - - R39 - R39 R39 R39 R39 - - - - R39 R39 R39 R39 R39 R39 R39 - R39 - - R39 - R39 - - [128] - - - - - - - - - - - - - - - - - - - - - - - - - S147 - - - - - - - - [129] - - - - - - - - - - - - - - - - - - - - - - - - - S143 - - - - - - - - [130] - - - - - - - - - - - - - - - - - - - - - S45 - - - - - - - - - - - - [131] - - - - - - - - - - - - - - - - - - - - - - - - - S132 - - - - - - - - [132] - - - - - - - - - - - - - - - - - - R78 S48 S49 R78 S47 S16 S50 - - - - S8 - S17 - - [133] - - - - - - - - - - - - - - - - - - - - - - - - - - S136 - - - - - - - [134] - - - - - - - - - - - - - - - - - - - - - - - - - - R49 - - - - - - - [135] - - - - - - - - - - - - - - - - - - - - - - - - - - R50 - - - - - - - [136] - - - - - - - - R43 - R43 R43 R43 R43 - - - - R43 R43 R43 R43 R43 R43 R43 - R43 - - R43 - R43 - - [137] - - - - - - - - - - - - - - - - - - - - - S45 - - - S139 - - - - - - - - [138] - - - - - - - - - - - - - - - - - - - - - R76 - - - R76 - - - - - - - - [139] - - - - - - - - - - R78 R78 R78 - - - - - R78 R78 R78 R78 R78 R78 R78 - - - - S8 - R78 - - [140] - - - - - - - - - - - - - - - - - - - - - R77 - - - R77 - - - - - - - - [141] - - - - - - - - - - - - - - - - - - - - - - - - - - S142 - - - - - - - [142] - - - - - - - - R42 - R42 R42 R42 R42 - - - - R42 R42 R42 R42 R42 R42 R42 - R42 - - R42 - R42 - - [143] - - - - - - - - - - R84 R84 R84 - - - - - R84 R84 R84 R84 R84 R84 R84 - R84 - - R84 - R84 - - [144] - - - - - - - - - - R78 R78 R78 - - - - - R78 R78 R78 R78 R78 R78 R78 - S145 - - S8 - R78 - - [145] - - - - - - - - R41 - R41 R41 R41 R41 - - - - R41 R41 R41 R41 R41 R41 R41 - R41 - - R41 - R41 - - [146] - - - - - - - - - - R85 R85 R85 - - - - - R85 R85 R85 R85 R85 R85 R85 - R85 - - R85 - R85 - - [147] - - - - - - - - - - R84 R84 R84 - - - - - R84 R84 R84 R84 R84 R84 R84 - R84 - - R84 - R84 - - [148] - - - - - - - - - - R78 R78 R78 - - - - - R78 R78 R78 R78 R78 R78 R78 - S149 - - S8 - R78 - - [149] - - - - - - - - R40 - R40 R40 R40 R40 - - - - R40 R40 R40 R40 R40 R40 R40 - R40 - - R40 - R40 - - [150] - - - - - - - - - - - - - - - - - - - - - S45 - - - S151 - - - - - - - - [151] - - - - - - - - - - - R78 - - - - - - R78 S48 S49 R78 S47 S16 S50 - - - - S8 - S17 - - [152] - - - - - - - - - - - - - - - - - - - - - - - - - - S154 - - - - - - - [153] - - - - - - - - - - - S116 - - - - - - S44 S48 S49 S45 S47 S16 S50 - - - - S8 - S17 - - [154] - - - - - - - - R13 - - R13 - R13 - - - - R13 R13 R13 R13 R13 R13 R13 - R13 - - R13 - R13 - - [155] - - - - - - - - - - - - - - - - - - - - - - S12 - - - - - - - - - - - [156] - - - - - - - - - - - - - - - - - - R78 R78 R78 R78 R78 R78 R78 - R27 - - S8 - R78 - - [157] - - - - - - - - - - - - - - - - - - - - - - - - - - S160 - - - - - - - [158] - - - - - - - - - - - - - - - - - - - - - - - - - - R28 - - - - - - - [159] - - - - - - - - - - - - - - - - - - - - - - - - - - R20 - - - - - - - [160] - - - - - - - R7 R7 - - - - - - - - - - - - - - - - - R7 - - R7 - - - - [161] R3 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [162] 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 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 4 [1] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [2] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [3] - 162 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 4 [4] - - 5 6 - - - - - - - - - - - - - - - - - - - - - - - - - - - 7 - - - - - - - - - - - - - - - - - - - - - - - - - - - [5] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [6] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [7] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [8] - - - - - - - - - - - - - - 11 - - - - - - - - - - - - - - - - - 9 - - - - - - - - - - - - - - - - - - - 10 - - - - - - [9] - - - 22 - - - - - - - - - - - - - - - - - - - - - - - - - - 26 7 - 21 23 24 - - - - - - - - - - - - - - - - - - - - - - - [10] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [11] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [12] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [13] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 14 15 - - - [14] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [15] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [16] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [17] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [18] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [19] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [20] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [21] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [22] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 46 39 - - - 38 42 43 40 41 - 51 - - - [23] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [24] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [25] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [26] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [27] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 28 - - - - - - - - - - - [28] - - - 22 - - - - - - - - - - - - - - - - - - - - - - - - - - 31 7 - - - - - - - - - - - - - - - - 30 - - - - - - - - - - [29] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [30] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [31] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [32] - - - 22 - - - - - - - - - - - - - - - - - - - - - - - - - - 33 7 - - - - - - - - - - - - - - - - - - - - - - - - - - - [33] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [34] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 35 - - - - - - - - - - - - - - - - - - - - - - [35] - - - 22 - - - - - - - - - - - - - - - - - - - - - - - - - - 26 7 - - - 37 - - - - - - - - - - - - - - - - - - - - - - - [36] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [37] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [38] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [39] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [40] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [41] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [42] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [43] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [44] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [45] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [46] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [47] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [48] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [49] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [50] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [51] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [52] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 46 54 - - - - - 53 40 41 - 51 - - - [53] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [54] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [55] - - - 22 - - - - - - - - - - - - - - - - - - - - - - - - - - 59 7 - - - - - - - - - - - - - - 56 - - - - - - - - - 57 58 - [56] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [57] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [58] - - - 22 - - - - - - - - - - - - - - - - - - - - - - - - - - 59 7 - - - - - - - - - - - - - - - - - - - - - - - - 60 58 - [59] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [60] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [61] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [62] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [63] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [64] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [65] - - - - 66 - - 67 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [66] - - - - - 73 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [67] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [68] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [69] - - - - - - - - 70 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [70] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [71] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [72] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [73] - - - - - - 74 - - 75 - 76 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [74] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [75] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [76] - - - 86 - - - - - - - - 83 84 - - 85 - - - - - - - - - - - - - - 7 - - - - - - - - - - - - - - - - - - - - - - - - - - - [77] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [78] - - - - - - - - - - 79 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [79] - - - - - - - - 81 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [80] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [81] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [82] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [83] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [84] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [85] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [86] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [87] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [88] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [89] - - - - - - - - - - - - - - - - - 90 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [90] - - - 93 - - - - - - - - - - - - 95 - 92 94 96 97 - 98 99 - - - - - 105 7 - - - 104 - - - - 100 101 102 103 106 54 - - - - - - 40 41 - 51 - - - [91] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [92] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [93] - - - 22 - - - - - - - - - - - - - - - - - - - 115 - 114 - - - - 105 7 - - - 104 - - - - 100 101 102 103 117 39 - - - 38 42 43 40 41 - 51 - - - [94] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [95] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [96] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [97] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [98] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [99] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [100] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [101] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [102] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [103] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [104] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [105] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [106] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [107] - - - 22 - - - - - - - - - - - - - - - - - - - - - - - - - - 112 7 - - - - - - - - - - - - - - - - - - - - - - - - - - - [108] - - - 22 - - - - - - - - - - - - - - - - - - - - - - - - - - 111 7 - - - - - - - - - - - - - - - - - - - - - - - - - - - [109] - - - 22 - - - - - - - - - - - - - - - - - - - - - - - - - - 110 7 - - - - - - - - - - - - - - - - - - - - - - - - - - - [110] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [111] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [112] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [113] - - - - - - - - - - - - - - - - - - - - - - 150 - - - - - - - - - - - - - - - - - - - - - - - - - - - 138 - - - - - - - - [114] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [115] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [116] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [117] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [118] - - - - - - - - - - - - - - - - - - - - - - - - - - - 119 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [119] - - - 22 - - - - - - - - - - - - - - - - - - - 121 - - - - - - 105 7 - - - 104 - - - - 100 101 102 103 106 54 - - - - - - 40 41 - 51 - - - [120] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [121] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [122] - - - 125 - - - - - - - - - - - - - - - - - - - - - - 123 - 124 - - 7 - - - - - - - - - - - - - - - - - - - - - - - - - - - [123] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [124] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [125] - - - 22 - - - - - - - - - - - - - - - - - - - 127 - - - - - - 105 7 - - - 104 - 126 - - 100 101 102 103 106 54 - - - - - - 40 41 - 51 - - - [126] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [127] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [128] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [129] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [130] - - - - - - - - - - - - - - - - - - - - - - 137 - - - - - - - - - - - - - - - - - - - - - - - - - - - 138 - - - - - - - - [131] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [132] - - - 22 - - - - - - - - - - - - - - - - - - - - - - - - - - 26 7 - - - 135 - - - 133 134 - - - 106 54 - - - - - - 40 41 - 51 - - - [133] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [134] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [135] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [136] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [137] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 140 - - - - - - - - [138] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [139] - - - 125 - - - - - - - - - - - - - - - - - - - - - - - - 141 - - 7 - - - - - - - - - - - - - - - - - - - - - - - - - - - [140] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [141] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [142] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [143] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 144 - - - - - - - - - - - - - - - - - - - - [144] - - - 125 - - - - - - - - - - - - - - - - - - - - - - - - 146 - - 7 - - - - - - - - - - - - - - - - - - - - - - - - - - - [145] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [146] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [147] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 148 - - - - - - - - - - - - - - - - - - - - [148] - - - 125 - - - - - - - - - - - - - - - - - - - - - - - - 146 - - 7 - - - - - - - - - - - - - - - - - - - - - - - - - - - [149] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [150] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 140 - - - - - - - - [151] - - - 153 - - - - - - - - - - - - - - - - 152 - - 98 99 - - - - - 105 7 - - - 104 - - - - 100 101 102 103 106 54 - - - - - - 40 41 - 51 - - - [152] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [153] - - - 22 - - - - - - - - - - - - - - - - - - - 115 - 114 - - - - 105 7 - - - 104 - - - - 100 101 102 103 117 39 - - - 38 42 43 40 41 - 51 - - - [154] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [155] - - - - - - - - - - - - - - 156 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 10 - - - - - - [156] - - - 22 - - - - - - - - - - - 157 - - - - - - - - - - - - - 158 159 7 - - - - - - - - - - - - - - - - - - - - - - - - - - - [157] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [158] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [159] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [160] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [161] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [162] - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -