# Generated from PW_explorer/Input_Parsers/Telingo_Parser/Antlr_Files/Telingo_Output.g4 by ANTLR 4.7.1
from antlr4 import *
from io import StringIO
from typing.io import TextIO
import sys


def serializedATN():
    with StringIO() as buf:
        buf.write("\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\2\21")
        buf.write("\u009c\b\1\4\2\t\2\4\3\t\3\4\4\t\4\4\5\t\5\4\6\t\6\4\7")
        buf.write("\t\7\4\b\t\b\4\t\t\t\4\n\t\n\4\13\t\13\4\f\t\f\4\r\t\r")
        buf.write("\4\16\t\16\4\17\t\17\4\20\t\20\3\2\3\2\3\2\3\2\3\2\3\2")
        buf.write("\3\2\3\2\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3")
        buf.write("\3\3\3\3\3\3\4\3\4\3\4\3\4\3\4\3\4\3\5\3\5\3\6\3\6\3\7")
        buf.write("\3\7\3\b\3\b\3\b\3\b\3\b\3\b\3\b\3\t\3\t\3\n\3\n\3\13")
        buf.write("\3\13\3\13\3\13\3\13\3\13\3\13\3\13\3\f\3\f\3\f\3\f\3")
        buf.write("\f\3\f\3\f\3\f\3\f\3\f\3\f\3\f\3\f\3\r\3\r\3\r\3\r\3\r")
        buf.write("\3\r\3\16\3\16\3\16\3\16\3\16\3\16\3\16\3\16\3\16\3\16")
        buf.write("\3\16\3\16\3\16\3\16\3\16\3\16\3\16\3\16\3\16\3\16\3\16")
        buf.write("\3\16\3\16\3\16\3\16\3\16\3\16\3\16\3\16\3\16\3\16\3\16")
        buf.write("\3\16\3\16\3\16\3\16\3\16\5\16\u008f\n\16\3\17\6\17\u0092")
        buf.write("\n\17\r\17\16\17\u0093\3\20\6\20\u0097\n\20\r\20\16\20")
        buf.write("\u0098\3\20\3\20\2\2\21\3\3\5\4\7\5\t\6\13\7\r\b\17\t")
        buf.write("\21\n\23\13\25\f\27\r\31\16\33\17\35\20\37\21\3\2\4\t")
        buf.write("\2#$/<>@C\\^^aac|\5\2\13\f\16\17\"\"\2\u009f\2\3\3\2\2")
        buf.write("\2\2\5\3\2\2\2\2\7\3\2\2\2\2\t\3\2\2\2\2\13\3\2\2\2\2")
        buf.write("\r\3\2\2\2\2\17\3\2\2\2\2\21\3\2\2\2\2\23\3\2\2\2\2\25")
        buf.write("\3\2\2\2\2\27\3\2\2\2\2\31\3\2\2\2\2\33\3\2\2\2\2\35\3")
        buf.write("\2\2\2\2\37\3\2\2\2\3!\3\2\2\2\5)\3\2\2\2\7\67\3\2\2\2")
        buf.write("\t=\3\2\2\2\13?\3\2\2\2\rA\3\2\2\2\17C\3\2\2\2\21J\3\2")
        buf.write("\2\2\23L\3\2\2\2\25N\3\2\2\2\27V\3\2\2\2\31c\3\2\2\2\33")
        buf.write("\u008e\3\2\2\2\35\u0091\3\2\2\2\37\u0096\3\2\2\2!\"\7")
        buf.write("C\2\2\"#\7p\2\2#$\7u\2\2$%\7y\2\2%&\7g\2\2&\'\7t\2\2\'")
        buf.write("(\7<\2\2(\4\3\2\2\2)*\7Q\2\2*+\7r\2\2+,\7v\2\2,-\7k\2")
        buf.write("\2-.\7o\2\2./\7k\2\2/\60\7|\2\2\60\61\7c\2\2\61\62\7v")
        buf.write("\2\2\62\63\7k\2\2\63\64\7q\2\2\64\65\7p\2\2\65\66\7<\2")
        buf.write("\2\66\6\3\2\2\2\678\7U\2\289\7v\2\29:\7c\2\2:;\7v\2\2")
        buf.write(";<\7g\2\2<\b\3\2\2\2=>\7*\2\2>\n\3\2\2\2?@\7+\2\2@\f\3")
        buf.write("\2\2\2AB\7.\2\2B\16\3\2\2\2CD\7O\2\2DE\7q\2\2EF\7f\2\2")
        buf.write("FG\7g\2\2GH\7n\2\2HI\7u\2\2I\20\3\2\2\2JK\7<\2\2K\22\3")
        buf.write("\2\2\2LM\7-\2\2M\24\3\2\2\2NO\7Q\2\2OP\7r\2\2PQ\7v\2\2")
        buf.write("QR\7k\2\2RS\7o\2\2ST\7w\2\2TU\7o\2\2U\26\3\2\2\2VW\7Q")
        buf.write("\2\2WX\7r\2\2XY\7v\2\2YZ\7k\2\2Z[\7o\2\2[\\\7k\2\2\\]")
        buf.write("\7|\2\2]^\7c\2\2^_\7v\2\2_`\7k\2\2`a\7q\2\2ab\7p\2\2b")
        buf.write("\30\3\2\2\2cd\7E\2\2de\7c\2\2ef\7n\2\2fg\7n\2\2gh\7u\2")
        buf.write("\2h\32\3\2\2\2ij\7Q\2\2jk\7R\2\2kl\7V\2\2lm\7K\2\2mn\7")
        buf.write("O\2\2no\7W\2\2op\7O\2\2pq\7\"\2\2qr\7H\2\2rs\7Q\2\2st")
        buf.write("\7W\2\2tu\7P\2\2u\u008f\7F\2\2vw\7W\2\2wx\7P\2\2xy\7U")
        buf.write("\2\2yz\7C\2\2z{\7V\2\2{|\7K\2\2|}\7U\2\2}~\7H\2\2~\177")
        buf.write("\7K\2\2\177\u0080\7C\2\2\u0080\u0081\7D\2\2\u0081\u0082")
        buf.write("\7N\2\2\u0082\u008f\7G\2\2\u0083\u0084\7U\2\2\u0084\u0085")
        buf.write("\7C\2\2\u0085\u0086\7V\2\2\u0086\u0087\7K\2\2\u0087\u0088")
        buf.write("\7U\2\2\u0088\u0089\7H\2\2\u0089\u008a\7K\2\2\u008a\u008b")
        buf.write("\7C\2\2\u008b\u008c\7D\2\2\u008c\u008d\7N\2\2\u008d\u008f")
        buf.write("\7G\2\2\u008ei\3\2\2\2\u008ev\3\2\2\2\u008e\u0083\3\2")
        buf.write("\2\2\u008f\34\3\2\2\2\u0090\u0092\t\2\2\2\u0091\u0090")
        buf.write("\3\2\2\2\u0092\u0093\3\2\2\2\u0093\u0091\3\2\2\2\u0093")
        buf.write("\u0094\3\2\2\2\u0094\36\3\2\2\2\u0095\u0097\t\3\2\2\u0096")
        buf.write("\u0095\3\2\2\2\u0097\u0098\3\2\2\2\u0098\u0096\3\2\2\2")
        buf.write("\u0098\u0099\3\2\2\2\u0099\u009a\3\2\2\2\u009a\u009b\b")
        buf.write("\20\2\2\u009b \3\2\2\2\6\2\u008e\u0093\u0098\3\b\2\2")
        return buf.getvalue()


class Telingo_OutputLexer(Lexer):

    atn = ATNDeserializer().deserialize(serializedATN())

    decisionsToDFA = [ DFA(ds, i) for i, ds in enumerate(atn.decisionToState) ]

    T__0 = 1
    T__1 = 2
    T__2 = 3
    T__3 = 4
    T__4 = 5
    T__5 = 6
    T__6 = 7
    T__7 = 8
    T__8 = 9
    T__9 = 10
    T__10 = 11
    T__11 = 12
    OPTIMUM_FOUND = 13
    TEXT = 14
    WHITESPACE = 15

    channelNames = [ u"DEFAULT_TOKEN_CHANNEL", u"HIDDEN" ]

    modeNames = [ "DEFAULT_MODE" ]

    literalNames = [ "<INVALID>",
            "'Answer:'", "'Optimization:'", "'State'", "'('", "')'", "','", 
            "'Models'", "':'", "'+'", "'Optimum'", "'Optimization'", "'Calls'" ]

    symbolicNames = [ "<INVALID>",
            "OPTIMUM_FOUND", "TEXT", "WHITESPACE" ]

    ruleNames = [ "T__0", "T__1", "T__2", "T__3", "T__4", "T__5", "T__6", 
                  "T__7", "T__8", "T__9", "T__10", "T__11", "OPTIMUM_FOUND", 
                  "TEXT", "WHITESPACE" ]

    grammarFileName = "Telingo_Output.g4"

    def __init__(self, input=None, output:TextIO = sys.stdout):
        super().__init__(input, output)
        self.checkVersion("4.7.1")
        self._interp = LexerATNSimulator(self, self.atn, self.decisionsToDFA, PredictionContextCache())
        self._actions = None
        self._predicates = None


