// Generated from SmtLib2.g4 by ANTLR 4.4
package jkind.solvers.smtlib2;
import org.antlr.v4.runtime.Lexer;
import org.antlr.v4.runtime.CharStream;
import org.antlr.v4.runtime.Token;
import org.antlr.v4.runtime.TokenStream;
import org.antlr.v4.runtime.*;
import org.antlr.v4.runtime.atn.*;
import org.antlr.v4.runtime.dfa.DFA;
import org.antlr.v4.runtime.misc.*;

@SuppressWarnings({"all", "warnings", "unchecked", "unused", "cast"})
public class SmtLib2Lexer extends Lexer {
	static { RuntimeMetaData.checkVersion("4.4", RuntimeMetaData.VERSION); }

	protected static final DFA[] _decisionToDFA;
	protected static final PredictionContextCache _sharedContextCache =
		new PredictionContextCache();
	public static final int
		T__26=1, T__25=2, T__24=3, T__23=4, T__22=5, T__21=6, T__20=7, T__19=8, 
		T__18=9, T__17=10, T__16=11, T__15=12, T__14=13, T__13=14, T__12=15, T__11=16, 
		T__10=17, T__9=18, T__8=19, T__7=20, T__6=21, T__5=22, T__4=23, T__3=24, 
		T__2=25, T__1=26, T__0=27, BOOL=28, INT=29, REAL=30, ID=31, DIV0=32, WS=33, 
		ERROR=34;
	public static String[] modeNames = {
		"DEFAULT_MODE"
	};

	public static final String[] tokenNames = {
		"'\\u0000'", "'\\u0001'", "'\\u0002'", "'\\u0003'", "'\\u0004'", "'\\u0005'", 
		"'\\u0006'", "'\\u0007'", "'\b'", "'\t'", "'\n'", "'\\u000B'", "'\f'", 
		"'\r'", "'\\u000E'", "'\\u000F'", "'\\u0010'", "'\\u0011'", "'\\u0012'", 
		"'\\u0013'", "'\\u0014'", "'\\u0015'", "'\\u0016'", "'\\u0017'", "'\\u0018'", 
		"'\\u0019'", "'\\u001A'", "'\\u001B'", "'\\u001C'", "'\\u001D'", "'\\u001E'", 
		"'\\u001F'", "' '", "'!'", "'\"'"
	};
	public static final String[] ruleNames = {
		"T__26", "T__25", "T__24", "T__23", "T__22", "T__21", "T__20", "T__19", 
		"T__18", "T__17", "T__16", "T__15", "T__14", "T__13", "T__12", "T__11", 
		"T__10", "T__9", "T__8", "T__7", "T__6", "T__5", "T__4", "T__3", "T__2", 
		"T__1", "T__0", "BOOL", "DIGIT", "SYMBOL", "INT", "REAL", "ID", "DIV0", 
		"WS", "ERROR"
	};


	public SmtLib2Lexer(CharStream input) {
		super(input);
		_interp = new LexerATNSimulator(this,_ATN,_decisionToDFA,_sharedContextCache);
	}

	@Override
	public String getGrammarFileName() { return "SmtLib2.g4"; }

	@Override
	public String[] getTokenNames() { return tokenNames; }

	@Override
	public String[] getRuleNames() { return ruleNames; }

	@Override
	public String getSerializedATN() { return _serializedATN; }

	@Override
	public String[] getModeNames() { return modeNames; }

	@Override
	public ATN getATN() { return _ATN; }

	public static final String _serializedATN =
		"\3\u0430\ud6d1\u8206\uad2d\u4417\uaef1\u8d80\uaadd\2$\u00e7\b\1\4\2\t"+
		"\2\4\3\t\3\4\4\t\4\4\5\t\5\4\6\t\6\4\7\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\4\16\t\16\4\17\t\17\4\20\t\20\4\21\t\21\4\22\t\22"+
		"\4\23\t\23\4\24\t\24\4\25\t\25\4\26\t\26\4\27\t\27\4\30\t\30\4\31\t\31"+
		"\4\32\t\32\4\33\t\33\4\34\t\34\4\35\t\35\4\36\t\36\4\37\t\37\4 \t \4!"+
		"\t!\4\"\t\"\4#\t#\4$\t$\4%\t%\3\2\3\2\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3"+
		"\3\4\3\4\3\4\3\4\3\4\3\5\3\5\3\6\3\6\3\6\3\7\3\7\3\b\3\b\3\t\3\t\3\t\3"+
		"\t\3\t\3\t\3\t\3\n\3\n\3\n\3\n\3\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13"+
		"\3\13\3\13\3\13\3\f\3\f\3\f\3\f\3\f\3\r\3\r\3\r\3\r\3\r\3\r\3\16\3\16"+
		"\3\16\3\16\3\17\3\17\3\17\3\17\3\20\3\20\3\20\3\21\3\21\3\22\3\22\3\23"+
		"\3\23\3\24\3\24\3\24\3\25\3\25\3\25\3\26\3\26\3\26\3\26\3\27\3\27\3\27"+
		"\3\27\3\30\3\30\3\31\3\31\3\31\3\31\3\32\3\32\3\33\3\33\3\33\3\33\3\34"+
		"\3\34\3\35\3\35\3\35\3\35\3\35\3\35\3\35\3\35\3\35\5\35\u00bb\n\35\3\36"+
		"\3\36\3\37\3\37\3 \6 \u00c2\n \r \16 \u00c3\3!\6!\u00c7\n!\r!\16!\u00c8"+
		"\3!\3!\6!\u00cd\n!\r!\16!\u00ce\3\"\3\"\3\"\7\"\u00d4\n\"\f\"\16\"\u00d7"+
		"\13\"\3\"\5\"\u00da\n\"\3#\3#\3#\3$\6$\u00e0\n$\r$\16$\u00e1\3$\3$\3%"+
		"\3%\2\2&\3\3\5\4\7\5\t\6\13\7\r\b\17\t\21\n\23\13\25\f\27\r\31\16\33\17"+
		"\35\20\37\21!\22#\23%\24\'\25)\26+\27-\30/\31\61\32\63\33\65\34\67\35"+
		"9\36;\2=\2?\37A C!E\"G#I$\3\2\5\3\2\62;\t\2##%\'))/\60Bac|\u0080\u0080"+
		"\5\2\13\f\16\17\"\"\u00ec\2\3\3\2\2\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\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\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\2\2\2\2\37\3"+
		"\2\2\2\2!\3\2\2\2\2#\3\2\2\2\2%\3\2\2\2\2\'\3\2\2\2\2)\3\2\2\2\2+\3\2"+
		"\2\2\2-\3\2\2\2\2/\3\2\2\2\2\61\3\2\2\2\2\63\3\2\2\2\2\65\3\2\2\2\2\67"+
		"\3\2\2\2\29\3\2\2\2\2?\3\2\2\2\2A\3\2\2\2\2C\3\2\2\2\2E\3\2\2\2\2G\3\2"+
		"\2\2\2I\3\2\2\2\3K\3\2\2\2\5M\3\2\2\2\7U\3\2\2\2\tZ\3\2\2\2\13\\\3\2\2"+
		"\2\r_\3\2\2\2\17a\3\2\2\2\21c\3\2\2\2\23j\3\2\2\2\25n\3\2\2\2\27y\3\2"+
		"\2\2\31~\3\2\2\2\33\u0084\3\2\2\2\35\u0088\3\2\2\2\37\u008c\3\2\2\2!\u008f"+
		"\3\2\2\2#\u0091\3\2\2\2%\u0093\3\2\2\2\'\u0095\3\2\2\2)\u0098\3\2\2\2"+
		"+\u009b\3\2\2\2-\u009f\3\2\2\2/\u00a3\3\2\2\2\61\u00a5\3\2\2\2\63\u00a9"+
		"\3\2\2\2\65\u00ab\3\2\2\2\67\u00af\3\2\2\29\u00ba\3\2\2\2;\u00bc\3\2\2"+
		"\2=\u00be\3\2\2\2?\u00c1\3\2\2\2A\u00c6\3\2\2\2C\u00d9\3\2\2\2E\u00db"+
		"\3\2\2\2G\u00df\3\2\2\2I\u00e5\3\2\2\2KL\7\61\2\2L\4\3\2\2\2MN\7v\2\2"+
		"NO\7q\2\2OP\7a\2\2PQ\7t\2\2QR\7g\2\2RS\7c\2\2ST\7n\2\2T\6\3\2\2\2UV\7"+
		"D\2\2VW\7q\2\2WX\7q\2\2XY\7n\2\2Y\b\3\2\2\2Z[\7?\2\2[\n\3\2\2\2\\]\7>"+
		"\2\2]^\7?\2\2^\f\3\2\2\2_`\7*\2\2`\16\3\2\2\2ab\7,\2\2b\20\3\2\2\2cd\7"+
		"v\2\2de\7q\2\2ef\7a\2\2fg\7k\2\2gh\7p\2\2hi\7v\2\2i\22\3\2\2\2jk\7k\2"+
		"\2kl\7v\2\2lm\7g\2\2m\24\3\2\2\2no\7f\2\2op\7g\2\2pq\7h\2\2qr\7k\2\2r"+
		"s\7p\2\2st\7g\2\2tu\7/\2\2uv\7h\2\2vw\7w\2\2wx\7p\2\2x\26\3\2\2\2yz\7"+
		"T\2\2z{\7g\2\2{|\7c\2\2|}\7n\2\2}\30\3\2\2\2~\177\7o\2\2\177\u0080\7q"+
		"\2\2\u0080\u0081\7f\2\2\u0081\u0082\7g\2\2\u0082\u0083\7n\2\2\u0083\32"+
		"\3\2\2\2\u0084\u0085\7K\2\2\u0085\u0086\7p\2\2\u0086\u0087\7v\2\2\u0087"+
		"\34\3\2\2\2\u0088\u0089\7o\2\2\u0089\u008a\7q\2\2\u008a\u008b\7f\2\2\u008b"+
		"\36\3\2\2\2\u008c\u008d\7@\2\2\u008d\u008e\7?\2\2\u008e \3\2\2\2\u008f"+
		"\u0090\7~\2\2\u0090\"\3\2\2\2\u0091\u0092\7>\2\2\u0092$\3\2\2\2\u0093"+
		"\u0094\7@\2\2\u0094&\3\2\2\2\u0095\u0096\7q\2\2\u0096\u0097\7t\2\2\u0097"+
		"(\3\2\2\2\u0098\u0099\7?\2\2\u0099\u009a\7@\2\2\u009a*\3\2\2\2\u009b\u009c"+
		"\7n\2\2\u009c\u009d\7g\2\2\u009d\u009e\7v\2\2\u009e,\3\2\2\2\u009f\u00a0"+
		"\7f\2\2\u00a0\u00a1\7k\2\2\u00a1\u00a2\7x\2\2\u00a2.\3\2\2\2\u00a3\u00a4"+
		"\7+\2\2\u00a4\60\3\2\2\2\u00a5\u00a6\7c\2\2\u00a6\u00a7\7p\2\2\u00a7\u00a8"+
		"\7f\2\2\u00a8\62\3\2\2\2\u00a9\u00aa\7-\2\2\u00aa\64\3\2\2\2\u00ab\u00ac"+
		"\7p\2\2\u00ac\u00ad\7q\2\2\u00ad\u00ae\7v\2\2\u00ae\66\3\2\2\2\u00af\u00b0"+
		"\7/\2\2\u00b08\3\2\2\2\u00b1\u00b2\7v\2\2\u00b2\u00b3\7t\2\2\u00b3\u00b4"+
		"\7w\2\2\u00b4\u00bb\7g\2\2\u00b5\u00b6\7h\2\2\u00b6\u00b7\7c\2\2\u00b7"+
		"\u00b8\7n\2\2\u00b8\u00b9\7u\2\2\u00b9\u00bb\7g\2\2\u00ba\u00b1\3\2\2"+
		"\2\u00ba\u00b5\3\2\2\2\u00bb:\3\2\2\2\u00bc\u00bd\t\2\2\2\u00bd<\3\2\2"+
		"\2\u00be\u00bf\t\3\2\2\u00bf>\3\2\2\2\u00c0\u00c2\5;\36\2\u00c1\u00c0"+
		"\3\2\2\2\u00c2\u00c3\3\2\2\2\u00c3\u00c1\3\2\2\2\u00c3\u00c4\3\2\2\2\u00c4"+
		"@\3\2\2\2\u00c5\u00c7\5;\36\2\u00c6\u00c5\3\2\2\2\u00c7\u00c8\3\2\2\2"+
		"\u00c8\u00c6\3\2\2\2\u00c8\u00c9\3\2\2\2\u00c9\u00ca\3\2\2\2\u00ca\u00cc"+
		"\7\60\2\2\u00cb\u00cd\5;\36\2\u00cc\u00cb\3\2\2\2\u00cd\u00ce\3\2\2\2"+
		"\u00ce\u00cc\3\2\2\2\u00ce\u00cf\3\2\2\2\u00cfB\3\2\2\2\u00d0\u00d5\5"+
		"=\37\2\u00d1\u00d4\5=\37\2\u00d2\u00d4\5;\36\2\u00d3\u00d1\3\2\2\2\u00d3"+
		"\u00d2\3\2\2\2\u00d4\u00d7\3\2\2\2\u00d5\u00d3\3\2\2\2\u00d5\u00d6\3\2"+
		"\2\2\u00d6\u00da\3\2\2\2\u00d7\u00d5\3\2\2\2\u00d8\u00da\5E#\2\u00d9\u00d0"+
		"\3\2\2\2\u00d9\u00d8\3\2\2\2\u00daD\3\2\2\2\u00db\u00dc\7\61\2\2\u00dc"+
		"\u00dd\7\62\2\2\u00ddF\3\2\2\2\u00de\u00e0\t\4\2\2\u00df\u00de\3\2\2\2"+
		"\u00e0\u00e1\3\2\2\2\u00e1\u00df\3\2\2\2\u00e1\u00e2\3\2\2\2\u00e2\u00e3"+
		"\3\2\2\2\u00e3\u00e4\b$\2\2\u00e4H\3\2\2\2\u00e5\u00e6\13\2\2\2\u00e6"+
		"J\3\2\2\2\13\2\u00ba\u00c3\u00c8\u00ce\u00d3\u00d5\u00d9\u00e1\3\b\2\2";
	public static final ATN _ATN =
		new ATNDeserializer().deserialize(_serializedATN.toCharArray());
	static {
		_decisionToDFA = new DFA[_ATN.getNumberOfDecisions()];
		for (int i = 0; i < _ATN.getNumberOfDecisions(); i++) {
			_decisionToDFA[i] = new DFA(_ATN.getDecisionState(i), i);
		}
	}
}