// Generated from src/antlr/Certus.g4 by ANTLR 4.9.0-SNAPSHOT


import { ATN } from "antlr4ts/atn/ATN";
import { ATNDeserializer } from "antlr4ts/atn/ATNDeserializer";
import { CharStream } from "antlr4ts/CharStream";
import { Lexer } from "antlr4ts/Lexer";
import { LexerATNSimulator } from "antlr4ts/atn/LexerATNSimulator";
import { NotNull } from "antlr4ts/Decorators";
import { Override } from "antlr4ts/Decorators";
import { RuleContext } from "antlr4ts/RuleContext";
import { Vocabulary } from "antlr4ts/Vocabulary";
import { VocabularyImpl } from "antlr4ts/VocabularyImpl";

import * as Utils from "antlr4ts/misc/Utils";


export class CertusLexer extends Lexer {
	public static readonly T__0 = 1;
	public static readonly T__1 = 2;
	public static readonly T__2 = 3;
	public static readonly T__3 = 4;
	public static readonly T__4 = 5;
	public static readonly T__5 = 6;
	public static readonly T__6 = 7;
	public static readonly T__7 = 8;
	public static readonly T__8 = 9;
	public static readonly T__9 = 10;
	public static readonly T__10 = 11;
	public static readonly T__11 = 12;
	public static readonly T__12 = 13;
	public static readonly T__13 = 14;
	public static readonly ARROW = 15;
	public static readonly ASSIGN = 16;
	public static readonly HAS = 17;
	public static readonly CONTAIN = 18;
	public static readonly OVERLAP = 19;
	public static readonly EXACTLY = 20;
	public static readonly UNION = 21;
	public static readonly INTERSECT = 22;
	public static readonly WITH = 23;
	public static readonly GLOBAL = 24;
	public static readonly END = 25;
	public static readonly AS = 26;
	public static readonly NOT = 27;
	public static readonly INVERT = 28;
	public static readonly COMP = 29;
	public static readonly AND = 30;
	public static readonly OR = 31;
	public static readonly NEQ = 32;
	public static readonly EQ = 33;
	public static readonly GT = 34;
	public static readonly LT = 35;
	public static readonly GEQ = 36;
	public static readonly LEQ = 37;
	public static readonly MACRO_PREFIX = 38;
	public static readonly INDICATOR_PREFIX = 39;
	public static readonly ARTIFACT_PREFIX = 40;
	public static readonly CASES = 41;
	public static readonly OTHERWISE = 42;
	public static readonly FLOAT = 43;
	public static readonly ARG_SEP = 44;
	public static readonly STMT_SEP = 45;
	public static readonly ID = 46;
	public static readonly WS = 47;

	// tslint:disable:no-trailing-whitespace
	public static readonly channelNames: string[] = [
		"DEFAULT_TOKEN_CHANNEL", "HIDDEN",
	];

	// tslint:disable:no-trailing-whitespace
	public static readonly modeNames: string[] = [
		"DEFAULT_MODE",
	];

	public static readonly ruleNames: string[] = [
		"T__0", "T__1", "T__2", "T__3", "T__4", "T__5", "T__6", "T__7", "T__8", 
		"T__9", "T__10", "T__11", "T__12", "T__13", "ARROW", "ASSIGN", "HAS", 
		"CONTAIN", "OVERLAP", "EXACTLY", "UNION", "INTERSECT", "WITH", "GLOBAL", 
		"END", "AS", "NOT", "INVERT", "COMP", "AND", "OR", "NEQ", "EQ", "GT", 
		"LT", "GEQ", "LEQ", "MACRO_PREFIX", "INDICATOR_PREFIX", "ARTIFACT_PREFIX", 
		"CASES", "OTHERWISE", "FLOAT", "ARG_SEP", "STMT_SEP", "ID", "WS",
	];

	private static readonly _LITERAL_NAMES: Array<string | undefined> = [
		undefined, "'('", "')'", "':'", "'\"'", "'min'", "'max'", "'trap'", "'tri'", 
		"'up'", "'down'", "'const'", "'['", "']'", "'crisp'", "'->'", undefined, 
		undefined, undefined, undefined, undefined, undefined, undefined, undefined, 
		undefined, undefined, undefined, undefined, undefined, undefined, undefined, 
		undefined, undefined, undefined, undefined, undefined, undefined, undefined, 
		"'#'", "'$'", "'@'", undefined, undefined, undefined, "','", "';'",
	];
	private static readonly _SYMBOLIC_NAMES: Array<string | undefined> = [
		undefined, undefined, undefined, undefined, undefined, undefined, undefined, 
		undefined, undefined, undefined, undefined, undefined, undefined, undefined, 
		undefined, "ARROW", "ASSIGN", "HAS", "CONTAIN", "OVERLAP", "EXACTLY", 
		"UNION", "INTERSECT", "WITH", "GLOBAL", "END", "AS", "NOT", "INVERT", 
		"COMP", "AND", "OR", "NEQ", "EQ", "GT", "LT", "GEQ", "LEQ", "MACRO_PREFIX", 
		"INDICATOR_PREFIX", "ARTIFACT_PREFIX", "CASES", "OTHERWISE", "FLOAT", 
		"ARG_SEP", "STMT_SEP", "ID", "WS",
	];
	public static readonly VOCABULARY: Vocabulary = new VocabularyImpl(CertusLexer._LITERAL_NAMES, CertusLexer._SYMBOLIC_NAMES, []);

	// @Override
	// @NotNull
	public get vocabulary(): Vocabulary {
		return CertusLexer.VOCABULARY;
	}
	// tslint:enable:no-trailing-whitespace


	constructor(input: CharStream) {
		super(input);
		this._interp = new LexerATNSimulator(CertusLexer._ATN, this);
	}

	// @Override
	public get grammarFileName(): string { return "Certus.g4"; }

	// @Override
	public get ruleNames(): string[] { return CertusLexer.ruleNames; }

	// @Override
	public get serializedATN(): string { return CertusLexer._serializedATN; }

	// @Override
	public get channelNames(): string[] { return CertusLexer.channelNames; }

	// @Override
	public get modeNames(): string[] { return CertusLexer.modeNames; }

	public static readonly _serializedATN: string =
		"\x03\uC91D\uCABA\u058D\uAFBA\u4F53\u0607\uEA8B\uC241\x021\u01CB\b\x01" +
		"\x04\x02\t\x02\x04\x03\t\x03\x04\x04\t\x04\x04\x05\t\x05\x04\x06\t\x06" +
		"\x04\x07\t\x07\x04\b\t\b\x04\t\t\t\x04\n\t\n\x04\v\t\v\x04\f\t\f\x04\r" +
		"\t\r\x04\x0E\t\x0E\x04\x0F\t\x0F\x04\x10\t\x10\x04\x11\t\x11\x04\x12\t" +
		"\x12\x04\x13\t\x13\x04\x14\t\x14\x04\x15\t\x15\x04\x16\t\x16\x04\x17\t" +
		"\x17\x04\x18\t\x18\x04\x19\t\x19\x04\x1A\t\x1A\x04\x1B\t\x1B\x04\x1C\t" +
		"\x1C\x04\x1D\t\x1D\x04\x1E\t\x1E\x04\x1F\t\x1F\x04 \t \x04!\t!\x04\"\t" +
		"\"\x04#\t#\x04$\t$\x04%\t%\x04&\t&\x04\'\t\'\x04(\t(\x04)\t)\x04*\t*\x04" +
		"+\t+\x04,\t,\x04-\t-\x04.\t.\x04/\t/\x040\t0\x03\x02\x03\x02\x03\x03\x03" +
		"\x03\x03\x04\x03\x04\x03\x05\x03\x05\x03\x06\x03\x06\x03\x06\x03\x06\x03" +
		"\x07\x03\x07\x03\x07\x03\x07\x03\b\x03\b\x03\b\x03\b\x03\b\x03\t\x03\t" +
		"\x03\t\x03\t\x03\n\x03\n\x03\n\x03\v\x03\v\x03\v\x03\v\x03\v\x03\f\x03" +
		"\f\x03\f\x03\f\x03\f\x03\f\x03\r\x03\r\x03\x0E\x03\x0E\x03\x0F\x03\x0F" +
		"\x03\x0F\x03\x0F\x03\x0F\x03\x0F\x03\x10\x03\x10\x03\x10\x03\x11\x03\x11" +
		"\x03\x11\x03\x11\x05\x11\x9A\n\x11\x03\x12\x03\x12\x03\x12\x03\x12\x03" +
		"\x12\x03\x12\x05\x12\xA2\n\x12\x03\x13\x03\x13\x03\x13\x03\x13\x03\x13" +
		"\x03\x13\x03\x13\x03\x13\x03\x13\x03\x13\x03\x13\x03\x13\x03\x13\x03\x13" +
		"\x03\x13\x03\x13\x05\x13\xB4\n\x13\x03\x14\x03\x14\x03\x14\x03\x14\x03" +
		"\x14\x03\x14\x03\x14\x03\x14\x03\x14\x03\x14\x03\x14\x03\x14\x03\x14\x03" +
		"\x14\x03\x14\x03\x14\x05\x14\xC6\n\x14\x03\x15\x03\x15\x03\x15\x03\x15" +
		"\x03\x15\x03\x15\x03\x15\x03\x15\x03\x15\x03\x15\x03\x15\x03\x15\x03\x15" +
		"\x03\x15\x03\x15\x03\x15\x05\x15\xD8\n\x15\x03\x16\x03\x16\x03\x16\x03" +
		"\x16\x03\x16\x03\x16\x03\x16\x03\x16\x03\x16\x03\x16\x05\x16\xE4\n\x16" +
		"\x03\x17\x03\x17\x03\x17\x03\x17\x03\x17\x03\x17\x03\x17\x03\x17\x03\x17" +
		"\x03\x17\x03\x17\x03\x17\x03\x17\x03\x17\x03\x17\x03\x17\x03\x17\x03\x17" +
		"\x05\x17\xF8\n\x17\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18\x03" +
		"\x18\x03\x18\x05\x18\u0102\n\x18\x03\x19\x03\x19\x03\x19\x03\x19\x03\x19" +
		"\x03\x19\x03\x19\x03\x19\x03\x19\x03\x19\x03\x19\x03\x19\x05\x19\u0110" +
		"\n\x19\x03\x1A\x03\x1A\x03\x1A\x03\x1A\x03\x1A\x03\x1A\x05\x1A\u0118\n" +
		"\x1A\x03\x1B\x03\x1B\x03\x1B\x03\x1B\x05\x1B\u011E\n\x1B\x03\x1C\x03\x1C" +
		"\x03\x1C\x03\x1C\x03\x1C\x03\x1C\x03\x1C\x05\x1C\u0127\n\x1C\x03\x1D\x03" +
		"\x1D\x03\x1D\x03\x1D\x03\x1D\x03\x1D\x03\x1D\x03\x1D\x03\x1D\x03\x1D\x03" +
		"\x1D\x03\x1D\x05\x1D\u0135\n\x1D\x03\x1E\x03\x1E\x03\x1E\x03\x1E\x03\x1E" +
		"\x03\x1E\x03\x1E\x03\x1E\x05\x1E\u013F\n\x1E\x03\x1F\x03\x1F\x03\x1F\x03" +
		"\x1F\x03\x1F\x03\x1F\x03\x1F\x05\x1F\u0148\n\x1F\x03 \x03 \x03 \x03 \x03" +
		" \x05 \u014F\n \x03!\x03!\x03!\x03!\x03!\x03!\x03!\x03!\x05!\u0159\n!" +
		"\x03\"\x03\"\x03\"\x03\"\x03\"\x05\"\u0160\n\"\x03#\x03#\x03#\x03#\x03" +
		"#\x05#\u0167\n#\x03$\x03$\x03$\x03$\x03$\x05$\u016E\n$\x03%\x03%\x03%" +
		"\x03%\x03%\x03%\x03%\x03%\x05%\u0178\n%\x03&\x03&\x03&\x03&\x03&\x03&" +
		"\x03&\x03&\x05&\u0182\n&\x03\'\x03\'\x03(\x03(\x03)\x03)\x03*\x03*\x03" +
		"*\x03*\x03*\x03*\x03*\x03*\x03*\x03*\x05*\u0194\n*\x03+\x03+\x03+\x03" +
		"+\x03+\x03+\x03+\x03+\x03+\x03+\x03+\x03+\x03+\x03+\x03+\x03+\x03+\x03" +
		"+\x05+\u01A8\n+\x03,\x05,\u01AB\n,\x03,\x06,\u01AE\n,\r,\x0E,\u01AF\x03" +
		",\x03,\x06,\u01B4\n,\r,\x0E,\u01B5\x05,\u01B8\n,\x03-\x03-\x03.\x03.\x03" +
		"/\x03/\x07/\u01C0\n/\f/\x0E/\u01C3\v/\x030\x060\u01C6\n0\r0\x0E0\u01C7" +
		"\x030\x030\x02\x02\x021\x03\x02\x03\x05\x02\x04\x07\x02\x05\t\x02\x06" +
		"\v\x02\x07\r\x02\b\x0F\x02\t\x11\x02\n\x13\x02\v\x15\x02\f\x17\x02\r\x19" +
		"\x02\x0E\x1B\x02\x0F\x1D\x02\x10\x1F\x02\x11!\x02\x12#\x02\x13%\x02\x14" +
		"\'\x02\x15)\x02\x16+\x02\x17-\x02\x18/\x02\x191\x02\x1A3\x02\x1B5\x02" +
		"\x1C7\x02\x1D9\x02\x1E;\x02\x1F=\x02 ?\x02!A\x02\"C\x02#E\x02$G\x02%I" +
		"\x02&K\x02\'M\x02(O\x02)Q\x02*S\x02+U\x02,W\x02-Y\x02.[\x02/]\x020_\x02" +
		"1\x03\x02\x06\x03\x022;\x04\x02C\\c|\x06\x022;C\\aac|\x05\x02\v\f\x0F" +
		"\x0F\"\"\x02\u01F2\x02\x03\x03\x02\x02\x02\x02\x05\x03\x02\x02\x02\x02" +
		"\x07\x03\x02\x02\x02\x02\t\x03\x02\x02\x02\x02\v\x03\x02\x02\x02\x02\r" +
		"\x03\x02\x02\x02\x02\x0F\x03\x02\x02\x02\x02\x11\x03\x02\x02\x02\x02\x13" +
		"\x03\x02\x02\x02\x02\x15\x03\x02\x02\x02\x02\x17\x03\x02\x02\x02\x02\x19" +
		"\x03\x02\x02\x02\x02\x1B\x03\x02\x02\x02\x02\x1D\x03\x02\x02\x02\x02\x1F" +
		"\x03\x02\x02\x02\x02!\x03\x02\x02\x02\x02#\x03\x02\x02\x02\x02%\x03\x02" +
		"\x02\x02\x02\'\x03\x02\x02\x02\x02)\x03\x02\x02\x02\x02+\x03\x02\x02\x02" +
		"\x02-\x03\x02\x02\x02\x02/\x03\x02\x02\x02\x021\x03\x02\x02\x02\x023\x03" +
		"\x02\x02\x02\x025\x03\x02\x02\x02\x027\x03\x02\x02\x02\x029\x03\x02\x02" +
		"\x02\x02;\x03\x02\x02\x02\x02=\x03\x02\x02\x02\x02?\x03\x02\x02\x02\x02" +
		"A\x03\x02\x02\x02\x02C\x03\x02\x02\x02\x02E\x03\x02\x02\x02\x02G\x03\x02" +
		"\x02\x02\x02I\x03\x02\x02\x02\x02K\x03\x02\x02\x02\x02M\x03\x02\x02\x02" +
		"\x02O\x03\x02\x02\x02\x02Q\x03\x02\x02\x02\x02S\x03\x02\x02\x02\x02U\x03" +
		"\x02\x02\x02\x02W\x03\x02\x02\x02\x02Y\x03\x02\x02\x02\x02[\x03\x02\x02" +
		"\x02\x02]\x03\x02\x02\x02\x02_\x03\x02\x02\x02\x03a\x03\x02\x02\x02\x05" +
		"c\x03\x02\x02\x02\x07e\x03\x02\x02\x02\tg\x03\x02\x02\x02\vi\x03\x02\x02" +
		"\x02\rm\x03\x02\x02\x02\x0Fq\x03\x02\x02\x02\x11v\x03\x02\x02\x02\x13" +
		"z\x03\x02\x02\x02\x15}\x03\x02\x02\x02\x17\x82\x03\x02\x02\x02\x19\x88" +
		"\x03\x02\x02\x02\x1B\x8A\x03\x02\x02\x02\x1D\x8C\x03\x02\x02\x02\x1F\x92" +
		"\x03\x02\x02\x02!\x99\x03\x02\x02\x02#\xA1\x03\x02\x02\x02%\xB3\x03\x02" +
		"\x02\x02\'\xC5\x03\x02\x02\x02)\xD7\x03\x02\x02\x02+\xE3\x03\x02\x02\x02" +
		"-\xF7\x03\x02\x02\x02/\u0101\x03\x02\x02\x021\u010F\x03\x02\x02\x023\u0117" +
		"\x03\x02\x02\x025\u011D\x03\x02\x02\x027\u0126\x03\x02\x02\x029\u0134" +
		"\x03\x02\x02\x02;\u013E\x03\x02\x02\x02=\u0147\x03\x02\x02\x02?\u014E" +
		"\x03\x02\x02\x02A\u0158\x03\x02\x02\x02C\u015F\x03\x02\x02\x02E\u0166" +
		"\x03\x02\x02\x02G\u016D\x03\x02\x02\x02I\u0177\x03\x02\x02\x02K\u0181" +
		"\x03\x02\x02\x02M\u0183\x03\x02\x02\x02O\u0185\x03\x02\x02\x02Q\u0187" +
		"\x03\x02\x02\x02S\u0193\x03\x02\x02\x02U\u01A7\x03\x02\x02\x02W\u01AA" +
		"\x03\x02\x02\x02Y\u01B9\x03\x02\x02\x02[\u01BB\x03\x02\x02\x02]\u01BD" +
		"\x03\x02\x02\x02_\u01C5\x03\x02\x02\x02ab\x07*\x02\x02b\x04\x03\x02\x02" +
		"\x02cd\x07+\x02\x02d\x06\x03\x02\x02\x02ef\x07<\x02\x02f\b\x03\x02\x02" +
		"\x02gh\x07$\x02\x02h\n\x03\x02\x02\x02ij\x07o\x02\x02jk\x07k\x02\x02k" +
		"l\x07p\x02\x02l\f\x03\x02\x02\x02mn\x07o\x02\x02no\x07c\x02\x02op\x07" +
		"z\x02\x02p\x0E\x03\x02\x02\x02qr\x07v\x02\x02rs\x07t\x02\x02st\x07c\x02" +
		"\x02tu\x07r\x02\x02u\x10\x03\x02\x02\x02vw\x07v\x02\x02wx\x07t\x02\x02" +
		"xy\x07k\x02\x02y\x12\x03\x02\x02\x02z{\x07w\x02\x02{|\x07r\x02\x02|\x14" +
		"\x03\x02\x02\x02}~\x07f\x02\x02~\x7F\x07q\x02\x02\x7F\x80\x07y\x02\x02" +
		"\x80\x81\x07p\x02\x02\x81\x16\x03\x02\x02\x02\x82\x83\x07e\x02\x02\x83" +
		"\x84\x07q\x02\x02\x84\x85\x07p\x02\x02\x85\x86\x07u\x02\x02\x86\x87\x07" +
		"v\x02\x02\x87\x18\x03\x02\x02\x02\x88\x89\x07]\x02\x02\x89\x1A\x03\x02" +
		"\x02\x02\x8A\x8B\x07_\x02\x02\x8B\x1C\x03\x02\x02\x02\x8C\x8D\x07e\x02" +
		"\x02\x8D\x8E\x07t\x02\x02\x8E\x8F\x07k\x02\x02\x8F\x90\x07u\x02\x02\x90" +
		"\x91\x07r\x02\x02\x91\x1E\x03\x02\x02\x02\x92\x93\x07/\x02\x02\x93\x94" +
		"\x07@\x02\x02\x94 \x03\x02\x02\x02\x95\x96\x07k\x02\x02\x96\x9A\x07u\x02" +
		"\x02\x97\x98\x07K\x02\x02\x98\x9A\x07U\x02\x02\x99\x95\x03\x02\x02\x02" +
		"\x99\x97\x03\x02\x02\x02\x9A\"\x03\x02\x02\x02\x9B\x9C\x07j\x02\x02\x9C" +
		"\x9D\x07c\x02\x02\x9D\xA2\x07u\x02\x02\x9E\x9F\x07J\x02\x02\x9F\xA0\x07" +
		"C\x02\x02\xA0\xA2\x07U\x02\x02\xA1\x9B\x03\x02\x02\x02\xA1\x9E\x03\x02" +
		"\x02\x02\xA2$\x03\x02\x02\x02\xA3\xA4\x07e\x02\x02\xA4\xA5\x07q\x02\x02" +
		"\xA5\xA6\x07p\x02\x02\xA6\xA7\x07v\x02\x02\xA7\xA8\x07c\x02\x02\xA8\xA9" +
		"\x07k\x02\x02\xA9\xAA\x07p\x02\x02\xAA\xB4\x07u\x02\x02\xAB\xAC\x07E\x02" +
		"\x02\xAC\xAD\x07Q\x02\x02\xAD\xAE\x07P\x02\x02\xAE\xAF\x07V\x02\x02\xAF" +
		"\xB0\x07C\x02\x02\xB0\xB1\x07K\x02\x02\xB1\xB2\x07P\x02\x02\xB2\xB4\x07" +
		"U\x02\x02\xB3\xA3\x03\x02\x02\x02\xB3\xAB\x03\x02\x02\x02\xB4&\x03\x02" +
		"\x02\x02\xB5\xB6\x07q\x02\x02\xB6\xB7\x07x\x02\x02\xB7\xB8\x07g\x02\x02" +
		"\xB8\xB9\x07t\x02\x02\xB9\xBA\x07n\x02\x02\xBA\xBB\x07c\x02\x02\xBB\xBC" +
		"\x07r\x02\x02\xBC\xC6\x07u\x02\x02\xBD\xBE\x07Q\x02\x02\xBE\xBF\x07X\x02" +
		"\x02\xBF\xC0\x07G\x02\x02\xC0\xC1\x07T\x02\x02\xC1\xC2\x07N\x02\x02\xC2" +
		"\xC3\x07C\x02\x02\xC3\xC4\x07R\x02\x02\xC4\xC6\x07U\x02\x02\xC5\xB5\x03" +
		"\x02\x02\x02\xC5\xBD\x03\x02\x02\x02\xC6(\x03\x02\x02\x02\xC7\xC8\x07" +
		"g\x02\x02\xC8\xC9\x07z\x02\x02\xC9\xCA\x07c\x02\x02\xCA\xCB\x07e\x02\x02" +
		"\xCB\xCC\x07v\x02\x02\xCC\xCD\x07n\x02\x02\xCD\xD8\x07{\x02\x02\xCE\xCF" +
		"\x07?\x02\x02\xCF\xD8\x07?\x02\x02\xD0\xD1\x07G\x02\x02\xD1\xD2\x07Z\x02" +
		"\x02\xD2\xD3\x07C\x02\x02\xD3\xD4\x07E\x02\x02\xD4\xD5\x07V\x02\x02\xD5" +
		"\xD6\x07N\x02\x02\xD6\xD8\x07[\x02\x02\xD7\xC7\x03\x02\x02\x02\xD7\xCE" +
		"\x03\x02\x02\x02\xD7\xD0\x03\x02\x02\x02\xD8*\x03\x02\x02\x02\xD9\xDA" +
		"\x07w\x02\x02\xDA\xDB\x07p\x02\x02\xDB\xDC\x07k\x02\x02\xDC\xDD\x07q\x02" +
		"\x02\xDD\xE4\x07p\x02\x02\xDE\xDF\x07W\x02\x02\xDF\xE0\x07P\x02\x02\xE0" +
		"\xE1\x07K\x02\x02\xE1\xE2\x07Q\x02\x02\xE2\xE4\x07P\x02\x02\xE3\xD9\x03" +
		"\x02\x02\x02\xE3\xDE\x03\x02\x02\x02\xE4,\x03\x02\x02\x02\xE5\xE6\x07" +
		"k\x02\x02\xE6\xE7\x07p\x02\x02\xE7\xE8\x07v\x02\x02\xE8\xE9\x07g\x02\x02" +
		"\xE9\xEA\x07t\x02\x02\xEA\xEB\x07u\x02\x02\xEB\xEC\x07g\x02\x02\xEC\xED" +
		"\x07e\x02\x02\xED\xF8\x07v\x02\x02\xEE\xEF\x07K\x02\x02\xEF\xF0\x07P\x02" +
		"\x02\xF0\xF1\x07V\x02\x02\xF1\xF2\x07G\x02\x02\xF2\xF3\x07T\x02\x02\xF3" +
		"\xF4\x07U\x02\x02\xF4\xF5\x07G\x02\x02\xF5\xF6\x07E\x02\x02\xF6\xF8\x07" +
		"V\x02\x02\xF7\xE5\x03\x02\x02\x02\xF7\xEE\x03\x02\x02\x02\xF8.\x03\x02" +
		"\x02\x02\xF9\xFA\x07y\x02\x02\xFA\xFB\x07k\x02\x02\xFB\xFC\x07v\x02\x02" +
		"\xFC\u0102\x07j\x02\x02\xFD\xFE\x07Y\x02\x02\xFE\xFF\x07K\x02\x02\xFF" +
		"\u0100\x07V\x02\x02\u0100\u0102\x07J\x02\x02\u0101\xF9\x03\x02\x02\x02" +
		"\u0101\xFD\x03\x02\x02\x02\u01020\x03\x02\x02\x02\u0103\u0104\x07i\x02" +
		"\x02\u0104\u0105\x07n\x02\x02\u0105\u0106\x07q\x02\x02\u0106\u0107\x07" +
		"d\x02\x02\u0107\u0108\x07c\x02\x02\u0108\u0110\x07n\x02\x02\u0109\u010A" +
		"\x07I\x02\x02\u010A\u010B\x07N\x02\x02\u010B\u010C\x07Q\x02\x02\u010C" +
		"\u010D\x07D\x02\x02\u010D\u010E\x07C\x02\x02\u010E\u0110\x07N\x02\x02" +
		"\u010F\u0103\x03\x02\x02\x02\u010F\u0109\x03\x02\x02\x02\u01102\x03\x02" +
		"\x02\x02\u0111\u0112\x07g\x02\x02\u0112\u0113\x07p\x02\x02\u0113\u0118" +
		"\x07f\x02\x02\u0114\u0115\x07G\x02\x02\u0115\u0116\x07P\x02\x02\u0116" +
		"\u0118\x07F\x02\x02\u0117\u0111\x03\x02\x02\x02\u0117\u0114\x03\x02\x02" +
		"\x02\u01184\x03\x02\x02\x02\u0119\u011A\x07c\x02\x02\u011A\u011E\x07u" +
		"\x02\x02\u011B\u011C\x07C\x02\x02\u011C\u011E\x07U\x02\x02\u011D\u0119" +
		"\x03\x02\x02\x02\u011D\u011B\x03\x02\x02\x02\u011E6\x03\x02\x02\x02\u011F" +
		"\u0127\x07#\x02\x02\u0120\u0121\x07p\x02\x02\u0121\u0122\x07q\x02\x02" +
		"\u0122\u0127\x07v\x02\x02\u0123\u0124\x07P\x02\x02\u0124\u0125\x07Q\x02" +
		"\x02\u0125\u0127\x07V\x02\x02\u0126\u011F\x03\x02\x02\x02\u0126\u0120" +
		"\x03\x02\x02\x02\u0126\u0123\x03\x02\x02\x02\u01278\x03\x02\x02\x02\u0128" +
		"\u0129\x07k\x02\x02\u0129\u012A\x07p\x02\x02\u012A\u012B\x07x\x02\x02" +
		"\u012B\u012C\x07g\x02\x02\u012C\u012D\x07t\x02\x02\u012D\u0135\x07v\x02" +
		"\x02\u012E\u012F\x07K\x02\x02\u012F\u0130\x07P\x02\x02\u0130\u0131\x07" +
		"X\x02\x02\u0131\u0132\x07G\x02\x02\u0132\u0133\x07T\x02\x02\u0133\u0135" +
		"\x07V\x02\x02\u0134\u0128\x03\x02\x02\x02\u0134\u012E\x03\x02\x02\x02" +
		"\u0135:\x03\x02\x02\x02\u0136\u0137\x07e\x02\x02\u0137\u0138\x07q\x02" +
		"\x02\u0138\u0139\x07o\x02\x02\u0139\u013F\x07r\x02\x02\u013A\u013B\x07" +
		"E\x02\x02\u013B\u013C\x07Q\x02\x02\u013C\u013D\x07O\x02\x02\u013D\u013F" +
		"\x07R\x02\x02\u013E\u0136\x03\x02\x02\x02\u013E\u013A\x03\x02\x02\x02" +
		"\u013F<\x03\x02\x02\x02\u0140\u0148\x07(\x02\x02\u0141\u0142\x07c\x02" +
		"\x02\u0142\u0143\x07p\x02\x02\u0143\u0148\x07f\x02\x02\u0144\u0145\x07" +
		"C\x02\x02\u0145\u0146\x07P\x02\x02\u0146\u0148\x07F\x02\x02\u0147\u0140" +
		"\x03\x02\x02\x02\u0147\u0141\x03\x02\x02\x02\u0147\u0144\x03\x02\x02\x02" +
		"\u0148>\x03\x02\x02\x02\u0149\u014F\x07~\x02\x02\u014A\u014B\x07q\x02" +
		"\x02\u014B\u014F\x07t\x02\x02\u014C\u014D\x07Q\x02\x02\u014D\u014F\x07" +
		"T\x02\x02\u014E\u0149\x03\x02\x02\x02\u014E\u014A\x03\x02\x02\x02\u014E" +
		"\u014C\x03\x02\x02\x02\u014F@\x03\x02\x02\x02\u0150\u0151\x07#\x02\x02" +
		"\u0151\u0159\x07?\x02\x02\u0152\u0153\x07p\x02\x02\u0153\u0154\x07g\x02" +
		"\x02\u0154\u0159\x07s\x02\x02\u0155\u0156\x07P\x02\x02\u0156\u0157\x07" +
		"G\x02\x02\u0157\u0159\x07S\x02\x02\u0158\u0150\x03\x02\x02\x02\u0158\u0152" +
		"\x03\x02\x02\x02\u0158\u0155\x03\x02\x02\x02\u0159B\x03\x02\x02\x02\u015A" +
		"\u0160\x07?\x02\x02\u015B\u015C\x07g\x02\x02\u015C\u0160\x07s\x02\x02" +
		"\u015D\u015E\x07G\x02\x02\u015E\u0160\x07S\x02\x02\u015F\u015A\x03\x02" +
		"\x02\x02\u015F\u015B\x03\x02\x02\x02\u015F\u015D\x03\x02\x02\x02\u0160" +
		"D\x03\x02\x02\x02\u0161\u0167\x07@\x02\x02\u0162\u0163\x07i\x02\x02\u0163" +
		"\u0167\x07v\x02\x02\u0164\u0165\x07I\x02\x02\u0165\u0167\x07V\x02\x02" +
		"\u0166\u0161\x03\x02\x02\x02\u0166\u0162\x03\x02\x02\x02\u0166\u0164\x03" +
		"\x02\x02\x02\u0167F\x03\x02\x02\x02\u0168\u016E\x07>\x02\x02\u0169\u016A" +
		"\x07n\x02\x02\u016A\u016E\x07v\x02\x02\u016B\u016C\x07N\x02\x02\u016C" +
		"\u016E\x07V\x02\x02\u016D\u0168\x03\x02\x02\x02\u016D\u0169\x03\x02\x02" +
		"\x02\u016D\u016B\x03\x02\x02\x02\u016EH\x03\x02\x02\x02\u016F\u0170\x07" +
		"@\x02\x02\u0170\u0178\x07?\x02\x02\u0171\u0172\x07i\x02\x02\u0172\u0173" +
		"\x07g\x02\x02\u0173\u0178\x07s\x02\x02\u0174\u0175\x07I\x02\x02\u0175" +
		"\u0176\x07G\x02\x02\u0176\u0178\x07S\x02\x02\u0177\u016F\x03\x02\x02\x02" +
		"\u0177\u0171\x03\x02\x02\x02\u0177\u0174\x03\x02\x02\x02\u0178J\x03\x02" +
		"\x02\x02\u0179\u017A\x07>\x02\x02\u017A\u0182\x07?\x02\x02\u017B\u017C" +
		"\x07n\x02\x02\u017C\u017D\x07g\x02\x02\u017D\u0182\x07s\x02\x02\u017E" +
		"\u017F\x07N\x02\x02\u017F\u0180\x07G\x02\x02\u0180\u0182\x07S\x02\x02" +
		"\u0181\u0179\x03\x02\x02\x02\u0181\u017B\x03\x02\x02\x02\u0181\u017E\x03" +
		"\x02\x02\x02\u0182L\x03\x02\x02\x02\u0183\u0184\x07%\x02\x02\u0184N\x03" +
		"\x02\x02\x02\u0185\u0186\x07&\x02\x02\u0186P\x03\x02\x02\x02\u0187\u0188" +
		"\x07B\x02\x02\u0188R\x03\x02\x02\x02\u0189\u018A\x07e\x02\x02\u018A\u018B" +
		"\x07c\x02\x02\u018B\u018C\x07u\x02\x02\u018C\u018D\x07g\x02\x02\u018D" +
		"\u0194\x07u\x02\x02\u018E\u018F\x07E\x02\x02\u018F\u0190\x07C\x02\x02" +
		"\u0190\u0191\x07U\x02\x02\u0191\u0192\x07G\x02\x02\u0192\u0194\x07U\x02" +
		"\x02\u0193\u0189\x03\x02\x02\x02\u0193\u018E\x03\x02\x02\x02\u0194T\x03" +
		"\x02\x02\x02\u0195\u0196\x07q\x02\x02\u0196\u0197\x07v\x02\x02\u0197\u0198" +
		"\x07j\x02\x02\u0198\u0199\x07g\x02\x02\u0199\u019A\x07t\x02\x02\u019A" +
		"\u019B\x07y\x02\x02\u019B\u019C\x07k\x02\x02\u019C\u019D\x07u\x02\x02" +
		"\u019D\u01A8\x07g\x02\x02\u019E\u019F\x07Q\x02\x02\u019F\u01A0\x07V\x02" +
		"\x02\u01A0\u01A1\x07J\x02\x02\u01A1\u01A2\x07G\x02\x02\u01A2\u01A3\x07" +
		"T\x02\x02\u01A3\u01A4\x07Y\x02\x02\u01A4\u01A5\x07K\x02\x02\u01A5\u01A6" +
		"\x07U\x02\x02\u01A6\u01A8\x07G\x02\x02\u01A7\u0195\x03\x02\x02\x02\u01A7" +
		"\u019E\x03\x02\x02\x02\u01A8V\x03\x02\x02\x02\u01A9\u01AB\x07/\x02\x02" +
		"\u01AA\u01A9\x03\x02\x02\x02\u01AA\u01AB\x03\x02\x02\x02\u01AB\u01AD\x03" +
		"\x02\x02\x02\u01AC\u01AE\t\x02\x02\x02\u01AD\u01AC\x03\x02\x02\x02\u01AE" +
		"\u01AF\x03\x02\x02\x02\u01AF\u01AD\x03\x02\x02\x02\u01AF\u01B0\x03\x02" +
		"\x02\x02\u01B0\u01B7\x03\x02\x02\x02\u01B1\u01B3\v\x02\x02\x02\u01B2\u01B4" +
		"\t\x02\x02\x02\u01B3\u01B2\x03\x02\x02\x02\u01B4\u01B5\x03\x02\x02\x02" +
		"\u01B5\u01B3\x03\x02\x02\x02\u01B5\u01B6\x03\x02\x02\x02\u01B6\u01B8\x03" +
		"\x02\x02\x02\u01B7\u01B1\x03\x02\x02\x02\u01B7\u01B8\x03\x02\x02\x02\u01B8" +
		"X\x03\x02\x02\x02\u01B9\u01BA\x07.\x02\x02\u01BAZ\x03\x02\x02\x02\u01BB" +
		"\u01BC\x07=\x02\x02\u01BC\\\x03\x02\x02\x02\u01BD\u01C1\t\x03\x02\x02" +
		"\u01BE\u01C0\t\x04\x02\x02\u01BF\u01BE\x03\x02\x02\x02\u01C0\u01C3\x03" +
		"\x02\x02\x02\u01C1\u01BF\x03\x02\x02\x02\u01C1\u01C2\x03\x02\x02\x02\u01C2" +
		"^\x03\x02\x02\x02\u01C3\u01C1\x03\x02\x02\x02\u01C4\u01C6\t\x05\x02\x02" +
		"\u01C5\u01C4\x03\x02\x02\x02\u01C6\u01C7\x03\x02\x02\x02\u01C7\u01C5\x03" +
		"\x02\x02\x02\u01C7\u01C8\x03\x02\x02\x02\u01C8\u01C9\x03\x02\x02\x02\u01C9" +
		"\u01CA\b0\x02\x02\u01CA`\x03\x02\x02\x02!\x02\x99\xA1\xB3\xC5\xD7\xE3" +
		"\xF7\u0101\u010F\u0117\u011D\u0126\u0134\u013E\u0147\u014E\u0158\u015F" +
		"\u0166\u016D\u0177\u0181\u0193\u01A7\u01AA\u01AF\u01B5\u01B7\u01C1\u01C7" +
		"\x03\b\x02\x02";
	public static __ATN: ATN;
	public static get _ATN(): ATN {
		if (!CertusLexer.__ATN) {
			CertusLexer.__ATN = new ATNDeserializer().deserialize(Utils.toCharArray(CertusLexer._serializedATN));
		}

		return CertusLexer.__ATN;
	}

}