# Generated from BraketPragmasLexer.g4 by ANTLR 4.9.2
from antlr4 import *
from io import StringIO
import sys
if sys.version_info[1] > 5:
from typing import TextIO
else:
from typing.io import TextIO
[docs]
def serializedATN():
with StringIO() as buf:
buf.write("\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\2\u0084")
buf.write("\u04e1\b\1\b\1\b\1\4\2\t\2\4\3\t\3\4\4\t\4\4\5\t\5\4\6")
buf.write("\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")
buf.write("\4\r\t\r\4\16\t\16\4\17\t\17\4\20\t\20\4\21\t\21\4\22")
buf.write("\t\22\4\23\t\23\4\24\t\24\4\25\t\25\4\26\t\26\4\27\t\27")
buf.write("\4\30\t\30\4\31\t\31\4\32\t\32\4\33\t\33\4\34\t\34\4\35")
buf.write("\t\35\4\36\t\36\4\37\t\37\4 \t \4!\t!\4\"\t\"\4#\t#\4")
buf.write("$\t$\4%\t%\4&\t&\4\'\t\'\4(\t(\4)\t)\4*\t*\4+\t+\4,\t")
buf.write(",\4-\t-\4.\t.\4/\t/\4\60\t\60\4\61\t\61\4\62\t\62\4\63")
buf.write("\t\63\4\64\t\64\4\65\t\65\4\66\t\66\4\67\t\67\48\t8\4")
buf.write("9\t9\4:\t:\4;\t;\4<\t<\4=\t=\4>\t>\4?\t?\4@\t@\4A\tA\4")
buf.write("B\tB\4C\tC\4D\tD\4E\tE\4F\tF\4G\tG\4H\tH\4I\tI\4J\tJ\4")
buf.write("K\tK\4L\tL\4M\tM\4N\tN\4O\tO\4P\tP\4Q\tQ\4R\tR\4S\tS\4")
buf.write("T\tT\4U\tU\4V\tV\4W\tW\4X\tX\4Y\tY\4Z\tZ\4[\t[\4\\\t\\")
buf.write("\4]\t]\4^\t^\4_\t_\4`\t`\4a\ta\4b\tb\4c\tc\4d\td\4e\t")
buf.write("e\4f\tf\4g\tg\4h\th\4i\ti\4j\tj\4k\tk\4l\tl\4m\tm\4n\t")
buf.write("n\4o\to\4p\tp\4q\tq\4r\tr\4s\ts\4t\tt\4u\tu\4v\tv\4w\t")
buf.write("w\4x\tx\4y\ty\4z\tz\4{\t{\4|\t|\4}\t}\4~\t~\4\177\t\177")
buf.write("\4\u0080\t\u0080\4\u0081\t\u0081\4\u0082\t\u0082\4\u0083")
buf.write("\t\u0083\4\u0084\t\u0084\4\u0085\t\u0085\4\u0086\t\u0086")
buf.write("\4\u0087\t\u0087\4\u0088\t\u0088\4\u0089\t\u0089\3\2\3")
buf.write("\2\3\2\3\2\3\2\3\2\3\2\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3")
buf.write("\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\5\3\5\3\5\3\5\3\5\3\5\3")
buf.write("\6\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\7\3\7\3\7\3\7\3\7")
buf.write("\3\7\3\7\3\7\3\7\3\7\3\7\3\7\3\7\3\b\3\b\3\b\3\b\3\b\3")
buf.write("\b\3\b\3\b\3\b\3\b\3\b\3\b\3\t\3\t\3\t\3\t\3\t\3\t\3\t")
buf.write("\3\t\3\t\3\t\3\t\3\t\3\t\3\t\3\t\3\n\3\n\3\n\3\n\3\n\3")
buf.write("\n\3\n\3\n\3\n\3\n\3\13\3\13\3\13\3\13\3\13\3\13\3\13")
buf.write("\3\13\3\13\3\13\3\13\3\13\3\f\3\f\3\f\3\f\3\f\3\f\3\f")
buf.write("\3\f\3\f\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\16\3\16\3\17\3")
buf.write("\17\3\20\3\20\3\21\3\21\3\22\3\22\3\23\3\23\3\23\3\23")
buf.write("\3\23\3\23\3\23\3\23\3\23\3\23\3\24\3\24\3\24\3\24\3\25")
buf.write("\3\25\3\26\3\26\3\26\3\26\3\26\3\26\3\26\3\26\3\26\3\27")
buf.write("\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3\30")
buf.write("\3\30\3\30\3\30\3\30\3\30\3\30\3\30\3\30\3\30\3\30\3\30")
buf.write("\3\30\3\30\3\31\3\31\3\31\3\31\3\31\3\31\3\31\3\31\3\31")
buf.write("\3\31\3\31\3\31\3\31\3\32\3\32\3\32\3\32\3\32\3\32\3\32")
buf.write("\3\32\3\32\3\32\3\32\3\32\3\32\3\32\3\32\3\32\3\32\3\32")
buf.write("\3\32\3\32\3\32\3\32\3\32\3\33\3\33\3\33\3\33\3\33\3\33")
buf.write("\3\33\3\33\3\33\3\33\3\33\3\33\3\33\3\33\3\33\3\33\3\33")
buf.write("\3\33\3\33\3\33\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34")
buf.write("\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\35")
buf.write("\3\35\3\35\3\35\3\35\3\35\3\35\3\35\3\35\3\35\3\35\3\35")
buf.write("\3\35\3\35\3\35\3\35\3\35\3\35\3\35\3\35\3\35\3\35\3\35")
buf.write("\3\35\3\35\3\35\3\35\3\35\3\35\3\35\3\36\3\36\3\36\3\36")
buf.write("\3\36\3\36\3\36\3\36\3\36\3\36\3\36\3\36\3\36\3\36\3\37")
buf.write("\3\37\3\37\3\37\3\37\3\37\3 \3 \3 \3 \3 \3 \3 \3 \3 \3")
buf.write(" \3 \3!\3!\3!\3!\3!\3!\3!\3!\3\"\3\"\3\"\3\"\3\"\3\"\3")
buf.write("\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3#\3#\3#\3#\3$\3$\3$\3")
buf.write("$\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(\3)\3)\3)\3)\3)\3)\3*\3*\3*\3*\3*")
buf.write("\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/\3/\3/\3/\3\60\3\60\3\60\3\60\3\60")
buf.write("\3\60\3\61\3\61\3\61\3\62\5\62\u02b1\n\62\3\62\3\62\3")
buf.write("\62\3\62\3\62\3\62\3\62\3\62\3\62\3\63\3\63\3\63\3\63")
buf.write("\3\63\3\64\3\64\3\64\3\64\3\64\3\64\3\65\3\65\3\65\3\65")
buf.write("\3\65\3\65\3\65\3\66\3\66\3\66\3\66\3\66\3\66\3\67\3\67")
buf.write("\3\67\3\67\3\67\3\67\3\67\3\67\38\38\38\38\38\39\39\3")
buf.write("9\39\39\39\3:\3:\3:\3:\3:\3;\3;\3;\3;\3;\3<\3<\3<\3<\3")
buf.write("=\3=\3=\3=\3>\3>\3>\3>\3>\3?\3?\3?\3?\3?\3?\3@\3@\3@\3")
buf.write("@\3@\3@\3A\3A\3A\3A\3A\3A\3A\3A\3B\3B\3B\3B\3B\3B\3C\3")
buf.write("C\3C\3C\3C\3C\3C\3C\3C\3D\3D\3D\3D\3D\3D\3D\3D\3E\3E\3")
buf.write("E\3E\3E\3E\3E\3F\3F\3F\3F\3G\3G\3G\3G\3H\3H\3H\3H\3H\3")
buf.write("I\3I\3I\3I\3I\3I\3I\3I\3J\3J\3J\3J\3J\3K\3K\3K\3K\3K\3")
buf.write("K\3K\3K\3K\3K\3K\3L\3L\3L\3L\3L\3L\3M\3M\3M\3M\3M\3M\3")
buf.write("N\3N\3N\3N\3N\3N\3N\3N\3O\3O\3O\3O\3O\3O\3O\3O\3P\3P\3")
buf.write("P\3P\3P\3P\3P\3P\3P\5P\u037a\nP\3Q\3Q\3R\3R\3S\3S\3T\3")
buf.write("T\3U\3U\3V\3V\3W\3W\3X\3X\3Y\3Y\3Z\3Z\3[\3[\3\\\3\\\3")
buf.write("\\\3]\3]\3^\3^\3^\3_\3_\3`\3`\3a\3a\3a\3b\3b\3c\3c\3d")
buf.write("\3d\3e\3e\3e\3f\3f\3g\3g\3g\3h\3h\3i\3i\3j\3j\3k\3k\3")
buf.write("k\3k\5k\u03b9\nk\3l\3l\3l\3l\3l\3l\3l\3l\3l\3l\3l\3l\3")
buf.write("l\3l\3l\3l\3l\3l\3l\3l\3l\3l\3l\3l\3l\3l\3l\5l\u03d6\n")
buf.write("l\3m\3m\3m\3m\3m\5m\u03dd\nm\3n\3n\3n\3n\5n\u03e3\nn\3")
buf.write("o\3o\3o\3p\3p\5p\u03ea\np\3p\7p\u03ed\np\fp\16p\u03f0")
buf.write("\13p\3p\3p\3q\3q\3q\3q\5q\u03f8\nq\3q\3q\5q\u03fc\nq\7")
buf.write("q\u03fe\nq\fq\16q\u0401\13q\3q\3q\3r\3r\3r\3r\3r\5r\u040a")
buf.write("\nr\7r\u040c\nr\fr\16r\u040f\13r\3r\3r\3s\3s\5s\u0415")
buf.write("\ns\7s\u0417\ns\fs\16s\u041a\13s\3s\3s\3t\3t\3t\3t\5t")
buf.write("\u0422\nt\3t\3t\5t\u0426\nt\7t\u0428\nt\ft\16t\u042b\13")
buf.write("t\3t\3t\3u\3u\3v\3v\3w\3w\3w\5w\u0436\nw\3x\3x\5x\u043a")
buf.write("\nx\3y\3y\7y\u043e\ny\fy\16y\u0441\13y\3z\3z\6z\u0445")
buf.write("\nz\rz\16z\u0446\3{\3{\3{\5{\u044c\n{\3{\3{\3|\3|\3|\3")
buf.write("|\3|\3|\5|\u0456\n|\3|\3|\3|\5|\u045b\n|\3|\5|\u045e\n")
buf.write("|\5|\u0460\n|\3}\3}\3}\3}\3}\3}\3}\3}\3}\3}\3}\5}\u046d")
buf.write("\n}\3~\3~\5~\u0471\n~\3~\3~\3\177\3\177\3\177\5\177\u0478")
buf.write("\n\177\7\177\u047a\n\177\f\177\16\177\u047d\13\177\3\177")
buf.write("\3\177\3\177\3\u0080\3\u0080\6\u0080\u0484\n\u0080\r\u0080")
buf.write("\16\u0080\u0485\3\u0080\3\u0080\3\u0080\6\u0080\u048b")
buf.write("\n\u0080\r\u0080\16\u0080\u048c\3\u0080\5\u0080\u0490")
buf.write("\n\u0080\3\u0081\6\u0081\u0493\n\u0081\r\u0081\16\u0081")
buf.write("\u0494\3\u0081\3\u0081\3\u0082\6\u0082\u049a\n\u0082\r")
buf.write("\u0082\16\u0082\u049b\3\u0082\3\u0082\3\u0083\3\u0083")
buf.write("\3\u0083\3\u0083\7\u0083\u04a4\n\u0083\f\u0083\16\u0083")
buf.write("\u04a7\13\u0083\3\u0083\3\u0083\3\u0084\3\u0084\3\u0084")
buf.write("\3\u0084\7\u0084\u04af\n\u0084\f\u0084\16\u0084\u04b2")
buf.write("\13\u0084\3\u0084\3\u0084\3\u0084\3\u0084\3\u0084\3\u0085")
buf.write("\6\u0085\u04ba\n\u0085\r\u0085\16\u0085\u04bb\3\u0085")
buf.write("\3\u0085\3\u0086\6\u0086\u04c1\n\u0086\r\u0086\16\u0086")
buf.write("\u04c2\3\u0086\3\u0086\6\u0086\u04c7\n\u0086\r\u0086\16")
buf.write("\u0086\u04c8\5\u0086\u04cb\n\u0086\3\u0086\3\u0086\3\u0087")
buf.write("\6\u0087\u04d0\n\u0087\r\u0087\16\u0087\u04d1\3\u0087")
buf.write("\3\u0087\3\u0088\3\u0088\3\u0088\3\u0088\3\u0088\3\u0089")
buf.write("\3\u0089\7\u0089\u04dd\n\u0089\f\u0089\16\u0089\u04e0")
buf.write("\13\u0089\5\u0485\u048c\u04b0\2\u008a\5\3\7\4\t\5\13\6")
buf.write("\r\7\17\b\21\t\23\n\25\13\27\f\31\r\33\16\35\17\37\20")
buf.write("!\21#\22%\23\'\24)\25+\26-\27/\30\61\31\63\32\65\33\67")
buf.write("\349\35;\36=\37? A!C\"E#G$I%K&M\'O(Q)S*U+W,Y-[.]/_\60")
buf.write("a\61c\62e\63g\64i\65k\66m\67o8q9s:u;w<y={>}?\177@\u0081")
buf.write("A\u0083B\u0085C\u0087D\u0089E\u008bF\u008dG\u008fH\u0091")
buf.write("I\u0093J\u0095K\u0097L\u0099M\u009bN\u009dO\u009fP\u00a1")
buf.write("Q\u00a3R\u00a5S\u00a7T\u00a9U\u00abV\u00adW\u00afX\u00b1")
buf.write("Y\u00b3Z\u00b5[\u00b7\\\u00b9]\u00bb^\u00bd_\u00bf`\u00c1")
buf.write("a\u00c3b\u00c5c\u00c7d\u00c9e\u00cbf\u00cdg\u00cfh\u00d1")
buf.write("i\u00d3j\u00d5k\u00d7l\u00d9m\u00dbn\u00ddo\u00dfp\u00e1")
buf.write("q\u00e3r\u00e5s\u00e7t\u00e9u\u00eb\2\u00ed\2\u00ef\2")
buf.write("\u00f1\2\u00f3v\u00f5w\u00f7\2\u00f9x\u00fb\2\u00fdy\u00ff")
buf.write("z\u0101{\u0103|\u0105}\u0107~\u0109\177\u010b\u0080\u010d")
buf.write("\u0081\u010f\u0082\u0111\u0083\u0113\u0084\5\2\3\4\16")
buf.write("\4\2>>@@\3\2\62\63\3\2\629\3\2\62;\5\2\62;CHch\4\2C\\")
buf.write("c|\4\2GGgg\5\2\13\f\17\17$$\5\2\13\f\17\17))\4\2\13\13")
buf.write("\"\"\4\2\f\f\17\17\5\2\13\f\17\17\"\"\3\u024e\2C\2\\\2")
buf.write("c\2|\2\u00ac\2\u00ac\2\u00b7\2\u00b7\2\u00bc\2\u00bc\2")
buf.write("\u00c2\2\u00d8\2\u00da\2\u00f8\2\u00fa\2\u02c3\2\u02c8")
buf.write("\2\u02d3\2\u02e2\2\u02e6\2\u02ee\2\u02ee\2\u02f0\2\u02f0")
buf.write("\2\u0372\2\u0376\2\u0378\2\u0379\2\u037c\2\u037f\2\u0381")
buf.write("\2\u0381\2\u0388\2\u0388\2\u038a\2\u038c\2\u038e\2\u038e")
buf.write("\2\u0390\2\u03a3\2\u03a5\2\u03f7\2\u03f9\2\u0483\2\u048c")
buf.write("\2\u0531\2\u0533\2\u0558\2\u055b\2\u055b\2\u0563\2\u0589")
buf.write("\2\u05d2\2\u05ec\2\u05f2\2\u05f4\2\u0622\2\u064c\2\u0670")
buf.write("\2\u0671\2\u0673\2\u06d5\2\u06d7\2\u06d7\2\u06e7\2\u06e8")
buf.write("\2\u06f0\2\u06f1\2\u06fc\2\u06fe\2\u0701\2\u0701\2\u0712")
buf.write("\2\u0712\2\u0714\2\u0731\2\u074f\2\u07a7\2\u07b3\2\u07b3")
buf.write("\2\u07cc\2\u07ec\2\u07f6\2\u07f7\2\u07fc\2\u07fc\2\u0802")
buf.write("\2\u0817\2\u081c\2\u081c\2\u0826\2\u0826\2\u082a\2\u082a")
buf.write("\2\u0842\2\u085a\2\u0862\2\u086c\2\u08a2\2\u08b6\2\u08b8")
buf.write("\2\u08bf\2\u0906\2\u093b\2\u093f\2\u093f\2\u0952\2\u0952")
buf.write("\2\u095a\2\u0963\2\u0973\2\u0982\2\u0987\2\u098e\2\u0991")
buf.write("\2\u0992\2\u0995\2\u09aa\2\u09ac\2\u09b2\2\u09b4\2\u09b4")
buf.write("\2\u09b8\2\u09bb\2\u09bf\2\u09bf\2\u09d0\2\u09d0\2\u09de")
buf.write("\2\u09df\2\u09e1\2\u09e3\2\u09f2\2\u09f3\2\u09fe\2\u09fe")
buf.write("\2\u0a07\2\u0a0c\2\u0a11\2\u0a12\2\u0a15\2\u0a2a\2\u0a2c")
buf.write("\2\u0a32\2\u0a34\2\u0a35\2\u0a37\2\u0a38\2\u0a3a\2\u0a3b")
buf.write("\2\u0a5b\2\u0a5e\2\u0a60\2\u0a60\2\u0a74\2\u0a76\2\u0a87")
buf.write("\2\u0a8f\2\u0a91\2\u0a93\2\u0a95\2\u0aaa\2\u0aac\2\u0ab2")
buf.write("\2\u0ab4\2\u0ab5\2\u0ab7\2\u0abb\2\u0abf\2\u0abf\2\u0ad2")
buf.write("\2\u0ad2\2\u0ae2\2\u0ae3\2\u0afb\2\u0afb\2\u0b07\2\u0b0e")
buf.write("\2\u0b11\2\u0b12\2\u0b15\2\u0b2a\2\u0b2c\2\u0b32\2\u0b34")
buf.write("\2\u0b35\2\u0b37\2\u0b3b\2\u0b3f\2\u0b3f\2\u0b5e\2\u0b5f")
buf.write("\2\u0b61\2\u0b63\2\u0b73\2\u0b73\2\u0b85\2\u0b85\2\u0b87")
buf.write("\2\u0b8c\2\u0b90\2\u0b92\2\u0b94\2\u0b97\2\u0b9b\2\u0b9c")
buf.write("\2\u0b9e\2\u0b9e\2\u0ba0\2\u0ba1\2\u0ba5\2\u0ba6\2\u0baa")
buf.write("\2\u0bac\2\u0bb0\2\u0bbb\2\u0bd2\2\u0bd2\2\u0c07\2\u0c0e")
buf.write("\2\u0c10\2\u0c12\2\u0c14\2\u0c2a\2\u0c2c\2\u0c3b\2\u0c3f")
buf.write("\2\u0c3f\2\u0c5a\2\u0c5c\2\u0c62\2\u0c63\2\u0c82\2\u0c82")
buf.write("\2\u0c87\2\u0c8e\2\u0c90\2\u0c92\2\u0c94\2\u0caa\2\u0cac")
buf.write("\2\u0cb5\2\u0cb7\2\u0cbb\2\u0cbf\2\u0cbf\2\u0ce0\2\u0ce0")
buf.write("\2\u0ce2\2\u0ce3\2\u0cf3\2\u0cf4\2\u0d07\2\u0d0e\2\u0d10")
buf.write("\2\u0d12\2\u0d14\2\u0d3c\2\u0d3f\2\u0d3f\2\u0d50\2\u0d50")
buf.write("\2\u0d56\2\u0d58\2\u0d61\2\u0d63\2\u0d7c\2\u0d81\2\u0d87")
buf.write("\2\u0d98\2\u0d9c\2\u0db3\2\u0db5\2\u0dbd\2\u0dbf\2\u0dbf")
buf.write("\2\u0dc2\2\u0dc8\2\u0e03\2\u0e32\2\u0e34\2\u0e35\2\u0e42")
buf.write("\2\u0e48\2\u0e83\2\u0e84\2\u0e86\2\u0e86\2\u0e89\2\u0e8a")
buf.write("\2\u0e8c\2\u0e8c\2\u0e8f\2\u0e8f\2\u0e96\2\u0e99\2\u0e9b")
buf.write("\2\u0ea1\2\u0ea3\2\u0ea5\2\u0ea7\2\u0ea7\2\u0ea9\2\u0ea9")
buf.write("\2\u0eac\2\u0ead\2\u0eaf\2\u0eb2\2\u0eb4\2\u0eb5\2\u0ebf")
buf.write("\2\u0ebf\2\u0ec2\2\u0ec6\2\u0ec8\2\u0ec8\2\u0ede\2\u0ee1")
buf.write("\2\u0f02\2\u0f02\2\u0f42\2\u0f49\2\u0f4b\2\u0f6e\2\u0f8a")
buf.write("\2\u0f8e\2\u1002\2\u102c\2\u1041\2\u1041\2\u1052\2\u1057")
buf.write("\2\u105c\2\u105f\2\u1063\2\u1063\2\u1067\2\u1068\2\u1070")
buf.write("\2\u1072\2\u1077\2\u1083\2\u1090\2\u1090\2\u10a2\2\u10c7")
buf.write("\2\u10c9\2\u10c9\2\u10cf\2\u10cf\2\u10d2\2\u10fc\2\u10fe")
buf.write("\2\u124a\2\u124c\2\u124f\2\u1252\2\u1258\2\u125a\2\u125a")
buf.write("\2\u125c\2\u125f\2\u1262\2\u128a\2\u128c\2\u128f\2\u1292")
buf.write("\2\u12b2\2\u12b4\2\u12b7\2\u12ba\2\u12c0\2\u12c2\2\u12c2")
buf.write("\2\u12c4\2\u12c7\2\u12ca\2\u12d8\2\u12da\2\u1312\2\u1314")
buf.write("\2\u1317\2\u131a\2\u135c\2\u1382\2\u1391\2\u13a2\2\u13f7")
buf.write("\2\u13fa\2\u13ff\2\u1403\2\u166e\2\u1671\2\u1681\2\u1683")
buf.write("\2\u169c\2\u16a2\2\u16ec\2\u16f0\2\u16fa\2\u1702\2\u170e")
buf.write("\2\u1710\2\u1713\2\u1722\2\u1733\2\u1742\2\u1753\2\u1762")
buf.write("\2\u176e\2\u1770\2\u1772\2\u1782\2\u17b5\2\u17d9\2\u17d9")
buf.write("\2\u17de\2\u17de\2\u1822\2\u1879\2\u1882\2\u1886\2\u1889")
buf.write("\2\u18aa\2\u18ac\2\u18ac\2\u18b2\2\u18f7\2\u1902\2\u1920")
buf.write("\2\u1952\2\u196f\2\u1972\2\u1976\2\u1982\2\u19ad\2\u19b2")
buf.write("\2\u19cb\2\u1a02\2\u1a18\2\u1a22\2\u1a56\2\u1aa9\2\u1aa9")
buf.write("\2\u1b07\2\u1b35\2\u1b47\2\u1b4d\2\u1b85\2\u1ba2\2\u1bb0")
buf.write("\2\u1bb1\2\u1bbc\2\u1be7\2\u1c02\2\u1c25\2\u1c4f\2\u1c51")
buf.write("\2\u1c5c\2\u1c7f\2\u1c82\2\u1c8a\2\u1ceb\2\u1cee\2\u1cf0")
buf.write("\2\u1cf3\2\u1cf7\2\u1cf8\2\u1d02\2\u1dc1\2\u1e02\2\u1f17")
buf.write("\2\u1f1a\2\u1f1f\2\u1f22\2\u1f47\2\u1f4a\2\u1f4f\2\u1f52")
buf.write("\2\u1f59\2\u1f5b\2\u1f5b\2\u1f5d\2\u1f5d\2\u1f5f\2\u1f5f")
buf.write("\2\u1f61\2\u1f7f\2\u1f82\2\u1fb6\2\u1fb8\2\u1fbe\2\u1fc0")
buf.write("\2\u1fc0\2\u1fc4\2\u1fc6\2\u1fc8\2\u1fce\2\u1fd2\2\u1fd5")
buf.write("\2\u1fd8\2\u1fdd\2\u1fe2\2\u1fee\2\u1ff4\2\u1ff6\2\u1ff8")
buf.write("\2\u1ffe\2\u2073\2\u2073\2\u2081\2\u2081\2\u2092\2\u209e")
buf.write("\2\u2104\2\u2104\2\u2109\2\u2109\2\u210c\2\u2115\2\u2117")
buf.write("\2\u2117\2\u211b\2\u211f\2\u2126\2\u2126\2\u2128\2\u2128")
buf.write("\2\u212a\2\u212a\2\u212c\2\u212f\2\u2131\2\u213b\2\u213e")
buf.write("\2\u2141\2\u2147\2\u214b\2\u2150\2\u2150\2\u2162\2\u218a")
buf.write("\2\u2c02\2\u2c30\2\u2c32\2\u2c60\2\u2c62\2\u2ce6\2\u2ced")
buf.write("\2\u2cf0\2\u2cf4\2\u2cf5\2\u2d02\2\u2d27\2\u2d29\2\u2d29")
buf.write("\2\u2d2f\2\u2d2f\2\u2d32\2\u2d69\2\u2d71\2\u2d71\2\u2d82")
buf.write("\2\u2d98\2\u2da2\2\u2da8\2\u2daa\2\u2db0\2\u2db2\2\u2db8")
buf.write("\2\u2dba\2\u2dc0\2\u2dc2\2\u2dc8\2\u2dca\2\u2dd0\2\u2dd2")
buf.write("\2\u2dd8\2\u2dda\2\u2de0\2\u2e31\2\u2e31\2\u3007\2\u3009")
buf.write("\2\u3023\2\u302b\2\u3033\2\u3037\2\u303a\2\u303e\2\u3043")
buf.write("\2\u3098\2\u309f\2\u30a1\2\u30a3\2\u30fc\2\u30fe\2\u3101")
buf.write("\2\u3107\2\u3130\2\u3133\2\u3190\2\u31a2\2\u31bc\2\u31f2")
buf.write("\2\u3201\2\u3402\2\u4db7\2\u4e02\2\u9fec\2\ua002\2\ua48e")
buf.write("\2\ua4d2\2\ua4ff\2\ua502\2\ua60e\2\ua612\2\ua621\2\ua62c")
buf.write("\2\ua62d\2\ua642\2\ua670\2\ua681\2\ua69f\2\ua6a2\2\ua6f1")
buf.write("\2\ua719\2\ua721\2\ua724\2\ua78a\2\ua78d\2\ua7b0\2\ua7b2")
buf.write("\2\ua7b9\2\ua7f9\2\ua803\2\ua805\2\ua807\2\ua809\2\ua80c")
buf.write("\2\ua80e\2\ua824\2\ua842\2\ua875\2\ua884\2\ua8b5\2\ua8f4")
buf.write("\2\ua8f9\2\ua8fd\2\ua8fd\2\ua8ff\2\ua8ff\2\ua90c\2\ua927")
buf.write("\2\ua932\2\ua948\2\ua962\2\ua97e\2\ua986\2\ua9b4\2\ua9d1")
buf.write("\2\ua9d1\2\ua9e2\2\ua9e6\2\ua9e8\2\ua9f1\2\ua9fc\2\uaa00")
buf.write("\2\uaa02\2\uaa2a\2\uaa42\2\uaa44\2\uaa46\2\uaa4d\2\uaa62")
buf.write("\2\uaa78\2\uaa7c\2\uaa7c\2\uaa80\2\uaab1\2\uaab3\2\uaab3")
buf.write("\2\uaab7\2\uaab8\2\uaabb\2\uaabf\2\uaac2\2\uaac2\2\uaac4")
buf.write("\2\uaac4\2\uaadd\2\uaadf\2\uaae2\2\uaaec\2\uaaf4\2\uaaf6")
buf.write("\2\uab03\2\uab08\2\uab0b\2\uab10\2\uab13\2\uab18\2\uab22")
buf.write("\2\uab28\2\uab2a\2\uab30\2\uab32\2\uab5c\2\uab5e\2\uab67")
buf.write("\2\uab72\2\uabe4\2\uac02\2\ud7a5\2\ud7b2\2\ud7c8\2\ud7cd")
buf.write("\2\ud7fd\2\uf902\2\ufa6f\2\ufa72\2\ufadb\2\ufb02\2\ufb08")
buf.write("\2\ufb15\2\ufb19\2\ufb1f\2\ufb1f\2\ufb21\2\ufb2a\2\ufb2c")
buf.write("\2\ufb38\2\ufb3a\2\ufb3e\2\ufb40\2\ufb40\2\ufb42\2\ufb43")
buf.write("\2\ufb45\2\ufb46\2\ufb48\2\ufbb3\2\ufbd5\2\ufd3f\2\ufd52")
buf.write("\2\ufd91\2\ufd94\2\ufdc9\2\ufdf2\2\ufdfd\2\ufe72\2\ufe76")
buf.write("\2\ufe78\2\ufefe\2\uff23\2\uff3c\2\uff43\2\uff5c\2\uff68")
buf.write("\2\uffc0\2\uffc4\2\uffc9\2\uffcc\2\uffd1\2\uffd4\2\uffd9")
buf.write("\2\uffdc\2\uffde\2\2\3\r\3\17\3(\3*\3<\3>\3?\3A\3O\3R")
buf.write("\3_\3\u0082\3\u00fc\3\u0142\3\u0176\3\u0282\3\u029e\3")
buf.write("\u02a2\3\u02d2\3\u0302\3\u0321\3\u032f\3\u034c\3\u0352")
buf.write("\3\u0377\3\u0382\3\u039f\3\u03a2\3\u03c5\3\u03ca\3\u03d1")
buf.write("\3\u03d3\3\u03d7\3\u0402\3\u049f\3\u04b2\3\u04d5\3\u04da")
buf.write("\3\u04fd\3\u0502\3\u0529\3\u0532\3\u0565\3\u0602\3\u0738")
buf.write("\3\u0742\3\u0757\3\u0762\3\u0769\3\u0802\3\u0807\3\u080a")
buf.write("\3\u080a\3\u080c\3\u0837\3\u0839\3\u083a\3\u083e\3\u083e")
buf.write("\3\u0841\3\u0857\3\u0862\3\u0878\3\u0882\3\u08a0\3\u08e2")
buf.write("\3\u08f4\3\u08f6\3\u08f7\3\u0902\3\u0917\3\u0922\3\u093b")
buf.write("\3\u0982\3\u09b9\3\u09c0\3\u09c1\3\u0a02\3\u0a02\3\u0a12")
buf.write("\3\u0a15\3\u0a17\3\u0a19\3\u0a1b\3\u0a35\3\u0a62\3\u0a7e")
buf.write("\3\u0a82\3\u0a9e\3\u0ac2\3\u0ac9\3\u0acb\3\u0ae6\3\u0b02")
buf.write("\3\u0b37\3\u0b42\3\u0b57\3\u0b62\3\u0b74\3\u0b82\3\u0b93")
buf.write("\3\u0c02\3\u0c4a\3\u0c82\3\u0cb4\3\u0cc2\3\u0cf4\3\u1005")
buf.write("\3\u1039\3\u1085\3\u10b1\3\u10d2\3\u10ea\3\u1105\3\u1128")
buf.write("\3\u1152\3\u1174\3\u1178\3\u1178\3\u1185\3\u11b4\3\u11c3")
buf.write("\3\u11c6\3\u11dc\3\u11dc\3\u11de\3\u11de\3\u1202\3\u1213")
buf.write("\3\u1215\3\u122d\3\u1282\3\u1288\3\u128a\3\u128a\3\u128c")
buf.write("\3\u128f\3\u1291\3\u129f\3\u12a1\3\u12aa\3\u12b2\3\u12e0")
buf.write("\3\u1307\3\u130e\3\u1311\3\u1312\3\u1315\3\u132a\3\u132c")
buf.write("\3\u1332\3\u1334\3\u1335\3\u1337\3\u133b\3\u133f\3\u133f")
buf.write("\3\u1352\3\u1352\3\u135f\3\u1363\3\u1402\3\u1436\3\u1449")
buf.write("\3\u144c\3\u1482\3\u14b1\3\u14c6\3\u14c7\3\u14c9\3\u14c9")
buf.write("\3\u1582\3\u15b0\3\u15da\3\u15dd\3\u1602\3\u1631\3\u1646")
buf.write("\3\u1646\3\u1682\3\u16ac\3\u1702\3\u171b\3\u18a2\3\u18e1")
buf.write("\3\u1901\3\u1901\3\u1a02\3\u1a02\3\u1a0d\3\u1a34\3\u1a3c")
buf.write("\3\u1a3c\3\u1a52\3\u1a52\3\u1a5e\3\u1a85\3\u1a88\3\u1a8b")
buf.write("\3\u1ac2\3\u1afa\3\u1c02\3\u1c0a\3\u1c0c\3\u1c30\3\u1c42")
buf.write("\3\u1c42\3\u1c74\3\u1c91\3\u1d02\3\u1d08\3\u1d0a\3\u1d0b")
buf.write("\3\u1d0d\3\u1d32\3\u1d48\3\u1d48\3\u2002\3\u239b\3\u2402")
buf.write("\3\u2470\3\u2482\3\u2545\3\u3002\3\u3430\3\u4402\3\u4648")
buf.write("\3\u6802\3\u6a3a\3\u6a42\3\u6a60\3\u6ad2\3\u6aef\3\u6b02")
buf.write("\3\u6b31\3\u6b42\3\u6b45\3\u6b65\3\u6b79\3\u6b7f\3\u6b91")
buf.write("\3\u6f02\3\u6f46\3\u6f52\3\u6f52\3\u6f95\3\u6fa1\3\u6fe2")
buf.write("\3\u6fe3\3\u7002\3\u87ee\3\u8802\3\u8af4\3\ub002\3\ub120")
buf.write("\3\ub172\3\ub2fd\3\ubc02\3\ubc6c\3\ubc72\3\ubc7e\3\ubc82")
buf.write("\3\ubc8a\3\ubc92\3\ubc9b\3\ud402\3\ud456\3\ud458\3\ud49e")
buf.write("\3\ud4a0\3\ud4a1\3\ud4a4\3\ud4a4\3\ud4a7\3\ud4a8\3\ud4ab")
buf.write("\3\ud4ae\3\ud4b0\3\ud4bb\3\ud4bd\3\ud4bd\3\ud4bf\3\ud4c5")
buf.write("\3\ud4c7\3\ud507\3\ud509\3\ud50c\3\ud50f\3\ud516\3\ud518")
buf.write("\3\ud51e\3\ud520\3\ud53b\3\ud53d\3\ud540\3\ud542\3\ud546")
buf.write("\3\ud548\3\ud548\3\ud54c\3\ud552\3\ud554\3\ud6a7\3\ud6aa")
buf.write("\3\ud6c2\3\ud6c4\3\ud6dc\3\ud6de\3\ud6fc\3\ud6fe\3\ud716")
buf.write("\3\ud718\3\ud736\3\ud738\3\ud750\3\ud752\3\ud770\3\ud772")
buf.write("\3\ud78a\3\ud78c\3\ud7aa\3\ud7ac\3\ud7c4\3\ud7c6\3\ud7cd")
buf.write("\3\ue802\3\ue8c6\3\ue902\3\ue945\3\uee02\3\uee05\3\uee07")
buf.write("\3\uee21\3\uee23\3\uee24\3\uee26\3\uee26\3\uee29\3\uee29")
buf.write("\3\uee2b\3\uee34\3\uee36\3\uee39\3\uee3b\3\uee3b\3\uee3d")
buf.write("\3\uee3d\3\uee44\3\uee44\3\uee49\3\uee49\3\uee4b\3\uee4b")
buf.write("\3\uee4d\3\uee4d\3\uee4f\3\uee51\3\uee53\3\uee54\3\uee56")
buf.write("\3\uee56\3\uee59\3\uee59\3\uee5b\3\uee5b\3\uee5d\3\uee5d")
buf.write("\3\uee5f\3\uee5f\3\uee61\3\uee61\3\uee63\3\uee64\3\uee66")
buf.write("\3\uee66\3\uee69\3\uee6c\3\uee6e\3\uee74\3\uee76\3\uee79")
buf.write("\3\uee7b\3\uee7e\3\uee80\3\uee80\3\uee82\3\uee8b\3\uee8d")
buf.write("\3\uee9d\3\ueea3\3\ueea5\3\ueea7\3\ueeab\3\ueead\3\ueebd")
buf.write("\3\2\4\ua6d8\4\ua702\4\ub736\4\ub742\4\ub81f\4\ub822\4")
buf.write("\ucea3\4\uceb2\4\uebe2\4\uf802\4\ufa1f\4\u0516\2\5\3\2")
buf.write("\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")
buf.write("\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")
buf.write("\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")
buf.write("\3\2\2\2\2!\3\2\2\2\2#\3\2\2\2\2%\3\2\2\2\2\'\3\2\2\2")
buf.write("\2)\3\2\2\2\2+\3\2\2\2\2-\3\2\2\2\2/\3\2\2\2\2\61\3\2")
buf.write("\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")
buf.write("\2;\3\2\2\2\2=\3\2\2\2\2?\3\2\2\2\2A\3\2\2\2\2C\3\2\2")
buf.write("\2\2E\3\2\2\2\2G\3\2\2\2\2I\3\2\2\2\2K\3\2\2\2\2M\3\2")
buf.write("\2\2\2O\3\2\2\2\2Q\3\2\2\2\2S\3\2\2\2\2U\3\2\2\2\2W\3")
buf.write("\2\2\2\2Y\3\2\2\2\2[\3\2\2\2\2]\3\2\2\2\2_\3\2\2\2\2a")
buf.write("\3\2\2\2\2c\3\2\2\2\2e\3\2\2\2\2g\3\2\2\2\2i\3\2\2\2\2")
buf.write("k\3\2\2\2\2m\3\2\2\2\2o\3\2\2\2\2q\3\2\2\2\2s\3\2\2\2")
buf.write("\2u\3\2\2\2\2w\3\2\2\2\2y\3\2\2\2\2{\3\2\2\2\2}\3\2\2")
buf.write("\2\2\177\3\2\2\2\2\u0081\3\2\2\2\2\u0083\3\2\2\2\2\u0085")
buf.write("\3\2\2\2\2\u0087\3\2\2\2\2\u0089\3\2\2\2\2\u008b\3\2\2")
buf.write("\2\2\u008d\3\2\2\2\2\u008f\3\2\2\2\2\u0091\3\2\2\2\2\u0093")
buf.write("\3\2\2\2\2\u0095\3\2\2\2\2\u0097\3\2\2\2\2\u0099\3\2\2")
buf.write("\2\2\u009b\3\2\2\2\2\u009d\3\2\2\2\2\u009f\3\2\2\2\2\u00a1")
buf.write("\3\2\2\2\2\u00a3\3\2\2\2\2\u00a5\3\2\2\2\2\u00a7\3\2\2")
buf.write("\2\2\u00a9\3\2\2\2\2\u00ab\3\2\2\2\2\u00ad\3\2\2\2\2\u00af")
buf.write("\3\2\2\2\2\u00b1\3\2\2\2\2\u00b3\3\2\2\2\2\u00b5\3\2\2")
buf.write("\2\2\u00b7\3\2\2\2\2\u00b9\3\2\2\2\2\u00bb\3\2\2\2\2\u00bd")
buf.write("\3\2\2\2\2\u00bf\3\2\2\2\2\u00c1\3\2\2\2\2\u00c3\3\2\2")
buf.write("\2\2\u00c5\3\2\2\2\2\u00c7\3\2\2\2\2\u00c9\3\2\2\2\2\u00cb")
buf.write("\3\2\2\2\2\u00cd\3\2\2\2\2\u00cf\3\2\2\2\2\u00d1\3\2\2")
buf.write("\2\2\u00d3\3\2\2\2\2\u00d5\3\2\2\2\2\u00d7\3\2\2\2\2\u00d9")
buf.write("\3\2\2\2\2\u00db\3\2\2\2\2\u00dd\3\2\2\2\2\u00df\3\2\2")
buf.write("\2\2\u00e1\3\2\2\2\2\u00e3\3\2\2\2\2\u00e5\3\2\2\2\2\u00e7")
buf.write("\3\2\2\2\2\u00e9\3\2\2\2\2\u00f3\3\2\2\2\2\u00f5\3\2\2")
buf.write("\2\2\u00f9\3\2\2\2\2\u00fd\3\2\2\2\2\u00ff\3\2\2\2\2\u0101")
buf.write("\3\2\2\2\2\u0103\3\2\2\2\2\u0105\3\2\2\2\2\u0107\3\2\2")
buf.write("\2\2\u0109\3\2\2\2\3\u010b\3\2\2\2\3\u010d\3\2\2\2\4\u010f")
buf.write("\3\2\2\2\4\u0111\3\2\2\2\4\u0113\3\2\2\2\5\u0115\3\2\2")
buf.write("\2\7\u011c\3\2\2\2\t\u0124\3\2\2\2\13\u012b\3\2\2\2\r")
buf.write("\u0131\3\2\2\2\17\u013a\3\2\2\2\21\u0147\3\2\2\2\23\u0153")
buf.write("\3\2\2\2\25\u0162\3\2\2\2\27\u016c\3\2\2\2\31\u0178\3")
buf.write("\2\2\2\33\u0181\3\2\2\2\35\u0188\3\2\2\2\37\u018a\3\2")
buf.write("\2\2!\u018c\3\2\2\2#\u018e\3\2\2\2%\u0190\3\2\2\2\'\u0192")
buf.write("\3\2\2\2)\u019c\3\2\2\2+\u01a0\3\2\2\2-\u01a2\3\2\2\2")
buf.write("/\u01ab\3\2\2\2\61\u01b6\3\2\2\2\63\u01c4\3\2\2\2\65\u01d1")
buf.write("\3\2\2\2\67\u01e8\3\2\2\29\u01fc\3\2\2\2;\u020e\3\2\2")
buf.write("\2=\u022c\3\2\2\2?\u023a\3\2\2\2A\u0240\3\2\2\2C\u024b")
buf.write("\3\2\2\2E\u0253\3\2\2\2G\u0261\3\2\2\2I\u0265\3\2\2\2")
buf.write("K\u026c\3\2\2\2M\u0271\3\2\2\2O\u0278\3\2\2\2Q\u027c\3")
buf.write("\2\2\2S\u0280\3\2\2\2U\u0286\3\2\2\2W\u028f\3\2\2\2Y\u0292")
buf.write("\3\2\2\2[\u0297\3\2\2\2]\u029b\3\2\2\2_\u02a2\3\2\2\2")
buf.write("a\u02a6\3\2\2\2c\u02ac\3\2\2\2e\u02b0\3\2\2\2g\u02bb\3")
buf.write("\2\2\2i\u02c0\3\2\2\2k\u02c6\3\2\2\2m\u02cd\3\2\2\2o\u02d3")
buf.write("\3\2\2\2q\u02db\3\2\2\2s\u02e0\3\2\2\2u\u02e6\3\2\2\2")
buf.write("w\u02eb\3\2\2\2y\u02f0\3\2\2\2{\u02f4\3\2\2\2}\u02f8\3")
buf.write("\2\2\2\177\u02fd\3\2\2\2\u0081\u0303\3\2\2\2\u0083\u0309")
buf.write("\3\2\2\2\u0085\u0311\3\2\2\2\u0087\u0317\3\2\2\2\u0089")
buf.write("\u0320\3\2\2\2\u008b\u0328\3\2\2\2\u008d\u032f\3\2\2\2")
buf.write("\u008f\u0333\3\2\2\2\u0091\u0337\3\2\2\2\u0093\u033c\3")
buf.write("\2\2\2\u0095\u0344\3\2\2\2\u0097\u0349\3\2\2\2\u0099\u0354")
buf.write("\3\2\2\2\u009b\u035a\3\2\2\2\u009d\u0360\3\2\2\2\u009f")
buf.write("\u0368\3\2\2\2\u00a1\u0379\3\2\2\2\u00a3\u037b\3\2\2\2")
buf.write("\u00a5\u037d\3\2\2\2\u00a7\u037f\3\2\2\2\u00a9\u0381\3")
buf.write("\2\2\2\u00ab\u0383\3\2\2\2\u00ad\u0385\3\2\2\2\u00af\u0387")
buf.write("\3\2\2\2\u00b1\u0389\3\2\2\2\u00b3\u038b\3\2\2\2\u00b5")
buf.write("\u038d\3\2\2\2\u00b7\u038f\3\2\2\2\u00b9\u0391\3\2\2\2")
buf.write("\u00bb\u0394\3\2\2\2\u00bd\u0396\3\2\2\2\u00bf\u0399\3")
buf.write("\2\2\2\u00c1\u039b\3\2\2\2\u00c3\u039d\3\2\2\2\u00c5\u03a0")
buf.write("\3\2\2\2\u00c7\u03a2\3\2\2\2\u00c9\u03a4\3\2\2\2\u00cb")
buf.write("\u03a6\3\2\2\2\u00cd\u03a9\3\2\2\2\u00cf\u03ab\3\2\2\2")
buf.write("\u00d1\u03ae\3\2\2\2\u00d3\u03b0\3\2\2\2\u00d5\u03b2\3")
buf.write("\2\2\2\u00d7\u03b8\3\2\2\2\u00d9\u03d5\3\2\2\2\u00db\u03dc")
buf.write("\3\2\2\2\u00dd\u03e2\3\2\2\2\u00df\u03e4\3\2\2\2\u00e1")
buf.write("\u03e9\3\2\2\2\u00e3\u03f7\3\2\2\2\u00e5\u0404\3\2\2\2")
buf.write("\u00e7\u0418\3\2\2\2\u00e9\u0421\3\2\2\2\u00eb\u042e\3")
buf.write("\2\2\2\u00ed\u0430\3\2\2\2\u00ef\u0435\3\2\2\2\u00f1\u0439")
buf.write("\3\2\2\2\u00f3\u043b\3\2\2\2\u00f5\u0442\3\2\2\2\u00f7")
buf.write("\u0448\3\2\2\2\u00f9\u045f\3\2\2\2\u00fb\u046c\3\2\2\2")
buf.write("\u00fd\u0470\3\2\2\2\u00ff\u0474\3\2\2\2\u0101\u048f\3")
buf.write("\2\2\2\u0103\u0492\3\2\2\2\u0105\u0499\3\2\2\2\u0107\u049f")
buf.write("\3\2\2\2\u0109\u04aa\3\2\2\2\u010b\u04b9\3\2\2\2\u010d")
buf.write("\u04c0\3\2\2\2\u010f\u04cf\3\2\2\2\u0111\u04d5\3\2\2\2")
buf.write("\u0113\u04da\3\2\2\2\u0115\u0116\7d\2\2\u0116\u0117\7")
buf.write("t\2\2\u0117\u0118\7c\2\2\u0118\u0119\7m\2\2\u0119\u011a")
buf.write("\7g\2\2\u011a\u011b\7v\2\2\u011b\6\3\2\2\2\u011c\u011d")
buf.write("\7w\2\2\u011d\u011e\7p\2\2\u011e\u011f\7k\2\2\u011f\u0120")
buf.write("\7v\2\2\u0120\u0121\7c\2\2\u0121\u0122\7t\2\2\u0122\u0123")
buf.write("\7{\2\2\u0123\b\3\2\2\2\u0124\u0125\7t\2\2\u0125\u0126")
buf.write("\7g\2\2\u0126\u0127\7u\2\2\u0127\u0128\7w\2\2\u0128\u0129")
buf.write("\7n\2\2\u0129\u012a\7v\2\2\u012a\n\3\2\2\2\u012b\u012c")
buf.write("\7p\2\2\u012c\u012d\7q\2\2\u012d\u012e\7k\2\2\u012e\u012f")
buf.write("\7u\2\2\u012f\u0130\7g\2\2\u0130\f\3\2\2\2\u0131\u0132")
buf.write("\7x\2\2\u0132\u0133\7g\2\2\u0133\u0134\7t\2\2\u0134\u0135")
buf.write("\7d\2\2\u0135\u0136\7c\2\2\u0136\u0137\7v\2\2\u0137\u0138")
buf.write("\7k\2\2\u0138\u0139\7o\2\2\u0139\16\3\2\2\2\u013a\u013b")
buf.write("\7u\2\2\u013b\u013c\7v\2\2\u013c\u013d\7c\2\2\u013d\u013e")
buf.write("\7v\2\2\u013e\u013f\7g\2\2\u013f\u0140\7a\2\2\u0140\u0141")
buf.write("\7x\2\2\u0141\u0142\7g\2\2\u0142\u0143\7e\2\2\u0143\u0144")
buf.write("\7v\2\2\u0144\u0145\7q\2\2\u0145\u0146\7t\2\2\u0146\20")
buf.write("\3\2\2\2\u0147\u0148\7r\2\2\u0148\u0149\7t\2\2\u0149\u014a")
buf.write("\7q\2\2\u014a\u014b\7d\2\2\u014b\u014c\7c\2\2\u014c\u014d")
buf.write("\7d\2\2\u014d\u014e\7k\2\2\u014e\u014f\7n\2\2\u014f\u0150")
buf.write("\7k\2\2\u0150\u0151\7v\2\2\u0151\u0152\7{\2\2\u0152\22")
buf.write("\3\2\2\2\u0153\u0154\7f\2\2\u0154\u0155\7g\2\2\u0155\u0156")
buf.write("\7p\2\2\u0156\u0157\7u\2\2\u0157\u0158\7k\2\2\u0158\u0159")
buf.write("\7v\2\2\u0159\u015a\7{\2\2\u015a\u015b\7a\2\2\u015b\u015c")
buf.write("\7o\2\2\u015c\u015d\7c\2\2\u015d\u015e\7v\2\2\u015e\u015f")
buf.write("\7t\2\2\u015f\u0160\7k\2\2\u0160\u0161\7z\2\2\u0161\24")
buf.write("\3\2\2\2\u0162\u0163\7c\2\2\u0163\u0164\7o\2\2\u0164\u0165")
buf.write("\7r\2\2\u0165\u0166\7n\2\2\u0166\u0167\7k\2\2\u0167\u0168")
buf.write("\7v\2\2\u0168\u0169\7w\2\2\u0169\u016a\7f\2\2\u016a\u016b")
buf.write("\7g\2\2\u016b\26\3\2\2\2\u016c\u016d\7g\2\2\u016d\u016e")
buf.write("\7z\2\2\u016e\u016f\7r\2\2\u016f\u0170\7g\2\2\u0170\u0171")
buf.write("\7e\2\2\u0171\u0172\7v\2\2\u0172\u0173\7c\2\2\u0173\u0174")
buf.write("\7v\2\2\u0174\u0175\7k\2\2\u0175\u0176\7q\2\2\u0176\u0177")
buf.write("\7p\2\2\u0177\30\3\2\2\2\u0178\u0179\7x\2\2\u0179\u017a")
buf.write("\7c\2\2\u017a\u017b\7t\2\2\u017b\u017c\7k\2\2\u017c\u017d")
buf.write("\7c\2\2\u017d\u017e\7p\2\2\u017e\u017f\7e\2\2\u017f\u0180")
buf.write("\7g\2\2\u0180\32\3\2\2\2\u0181\u0182\7u\2\2\u0182\u0183")
buf.write("\7c\2\2\u0183\u0184\7o\2\2\u0184\u0185\7r\2\2\u0185\u0186")
buf.write("\7n\2\2\u0186\u0187\7g\2\2\u0187\34\3\2\2\2\u0188\u0189")
buf.write("\7z\2\2\u0189\36\3\2\2\2\u018a\u018b\7{\2\2\u018b \3\2")
buf.write("\2\2\u018c\u018d\7|\2\2\u018d\"\3\2\2\2\u018e\u018f\7")
buf.write("k\2\2\u018f$\3\2\2\2\u0190\u0191\7j\2\2\u0191&\3\2\2\2")
buf.write("\u0192\u0193\7j\2\2\u0193\u0194\7g\2\2\u0194\u0195\7t")
buf.write("\2\2\u0195\u0196\7o\2\2\u0196\u0197\7k\2\2\u0197\u0198")
buf.write("\7v\2\2\u0198\u0199\7k\2\2\u0199\u019a\7c\2\2\u019a\u019b")
buf.write("\7p\2\2\u019b(\3\2\2\2\u019c\u019d\7c\2\2\u019d\u019e")
buf.write("\7n\2\2\u019e\u019f\7n\2\2\u019f*\3\2\2\2\u01a0\u01a1")
buf.write("\7B\2\2\u01a1,\3\2\2\2\u01a2\u01a3\7d\2\2\u01a3\u01a4")
buf.write("\7k\2\2\u01a4\u01a5\7v\2\2\u01a5\u01a6\7a\2\2\u01a6\u01a7")
buf.write("\7h\2\2\u01a7\u01a8\7n\2\2\u01a8\u01a9\7k\2\2\u01a9\u01aa")
buf.write("\7r\2\2\u01aa.\3\2\2\2\u01ab\u01ac\7r\2\2\u01ac\u01ad")
buf.write("\7j\2\2\u01ad\u01ae\7c\2\2\u01ae\u01af\7u\2\2\u01af\u01b0")
buf.write("\7g\2\2\u01b0\u01b1\7a\2\2\u01b1\u01b2\7h\2\2\u01b2\u01b3")
buf.write("\7n\2\2\u01b3\u01b4\7k\2\2\u01b4\u01b5\7r\2\2\u01b5\60")
buf.write("\3\2\2\2\u01b6\u01b7\7r\2\2\u01b7\u01b8\7c\2\2\u01b8\u01b9")
buf.write("\7w\2\2\u01b9\u01ba\7n\2\2\u01ba\u01bb\7k\2\2\u01bb\u01bc")
buf.write("\7a\2\2\u01bc\u01bd\7e\2\2\u01bd\u01be\7j\2\2\u01be\u01bf")
buf.write("\7c\2\2\u01bf\u01c0\7p\2\2\u01c0\u01c1\7p\2\2\u01c1\u01c2")
buf.write("\7g\2\2\u01c2\u01c3\7n\2\2\u01c3\62\3\2\2\2\u01c4\u01c5")
buf.write("\7f\2\2\u01c5\u01c6\7g\2\2\u01c6\u01c7\7r\2\2\u01c7\u01c8")
buf.write("\7q\2\2\u01c8\u01c9\7n\2\2\u01c9\u01ca\7c\2\2\u01ca\u01cb")
buf.write("\7t\2\2\u01cb\u01cc\7k\2\2\u01cc\u01cd\7|\2\2\u01cd\u01ce")
buf.write("\7k\2\2\u01ce\u01cf\7p\2\2\u01cf\u01d0\7i\2\2\u01d0\64")
buf.write("\3\2\2\2\u01d1\u01d2\7v\2\2\u01d2\u01d3\7y\2\2\u01d3\u01d4")
buf.write("\7q\2\2\u01d4\u01d5\7a\2\2\u01d5\u01d6\7s\2\2\u01d6\u01d7")
buf.write("\7w\2\2\u01d7\u01d8\7d\2\2\u01d8\u01d9\7k\2\2\u01d9\u01da")
buf.write("\7v\2\2\u01da\u01db\7a\2\2\u01db\u01dc\7f\2\2\u01dc\u01dd")
buf.write("\7g\2\2\u01dd\u01de\7r\2\2\u01de\u01df\7q\2\2\u01df\u01e0")
buf.write("\7n\2\2\u01e0\u01e1\7c\2\2\u01e1\u01e2\7t\2\2\u01e2\u01e3")
buf.write("\7k\2\2\u01e3\u01e4\7|\2\2\u01e4\u01e5\7k\2\2\u01e5\u01e6")
buf.write("\7p\2\2\u01e6\u01e7\7i\2\2\u01e7\66\3\2\2\2\u01e8\u01e9")
buf.write("\7v\2\2\u01e9\u01ea\7y\2\2\u01ea\u01eb\7q\2\2\u01eb\u01ec")
buf.write("\7a\2\2\u01ec\u01ed\7s\2\2\u01ed\u01ee\7w\2\2\u01ee\u01ef")
buf.write("\7d\2\2\u01ef\u01f0\7k\2\2\u01f0\u01f1\7v\2\2\u01f1\u01f2")
buf.write("\7a\2\2\u01f2\u01f3\7f\2\2\u01f3\u01f4\7g\2\2\u01f4\u01f5")
buf.write("\7r\2\2\u01f5\u01f6\7j\2\2\u01f6\u01f7\7c\2\2\u01f7\u01f8")
buf.write("\7u\2\2\u01f8\u01f9\7k\2\2\u01f9\u01fa\7p\2\2\u01fa\u01fb")
buf.write("\7i\2\2\u01fb8\3\2\2\2\u01fc\u01fd\7c\2\2\u01fd\u01fe")
buf.write("\7o\2\2\u01fe\u01ff\7r\2\2\u01ff\u0200\7n\2\2\u0200\u0201")
buf.write("\7k\2\2\u0201\u0202\7v\2\2\u0202\u0203\7w\2\2\u0203\u0204")
buf.write("\7f\2\2\u0204\u0205\7g\2\2\u0205\u0206\7a\2\2\u0206\u0207")
buf.write("\7f\2\2\u0207\u0208\7c\2\2\u0208\u0209\7o\2\2\u0209\u020a")
buf.write("\7r\2\2\u020a\u020b\7k\2\2\u020b\u020c\7p\2\2\u020c\u020d")
buf.write("\7i\2\2\u020d:\3\2\2\2\u020e\u020f\7i\2\2\u020f\u0210")
buf.write("\7g\2\2\u0210\u0211\7p\2\2\u0211\u0212\7g\2\2\u0212\u0213")
buf.write("\7t\2\2\u0213\u0214\7c\2\2\u0214\u0215\7n\2\2\u0215\u0216")
buf.write("\7k\2\2\u0216\u0217\7|\2\2\u0217\u0218\7g\2\2\u0218\u0219")
buf.write("\7f\2\2\u0219\u021a\7a\2\2\u021a\u021b\7c\2\2\u021b\u021c")
buf.write("\7o\2\2\u021c\u021d\7r\2\2\u021d\u021e\7n\2\2\u021e\u021f")
buf.write("\7k\2\2\u021f\u0220\7v\2\2\u0220\u0221\7w\2\2\u0221\u0222")
buf.write("\7f\2\2\u0222\u0223\7g\2\2\u0223\u0224\7a\2\2\u0224\u0225")
buf.write("\7f\2\2\u0225\u0226\7c\2\2\u0226\u0227\7o\2\2\u0227\u0228")
buf.write("\7r\2\2\u0228\u0229\7k\2\2\u0229\u022a\7p\2\2\u022a\u022b")
buf.write("\7i\2\2\u022b<\3\2\2\2\u022c\u022d\7r\2\2\u022d\u022e")
buf.write("\7j\2\2\u022e\u022f\7c\2\2\u022f\u0230\7u\2\2\u0230\u0231")
buf.write("\7g\2\2\u0231\u0232\7a\2\2\u0232\u0233\7f\2\2\u0233\u0234")
buf.write("\7c\2\2\u0234\u0235\7o\2\2\u0235\u0236\7r\2\2\u0236\u0237")
buf.write("\7k\2\2\u0237\u0238\7p\2\2\u0238\u0239\7i\2\2\u0239>\3")
buf.write("\2\2\2\u023a\u023b\7m\2\2\u023b\u023c\7t\2\2\u023c\u023d")
buf.write("\7c\2\2\u023d\u023e\7w\2\2\u023e\u023f\7u\2\2\u023f@\3")
buf.write("\2\2\2\u0240\u0241\7Q\2\2\u0241\u0242\7R\2\2\u0242\u0243")
buf.write("\7G\2\2\u0243\u0244\7P\2\2\u0244\u0245\7S\2\2\u0245\u0246")
buf.write("\7C\2\2\u0246\u0247\7U\2\2\u0247\u0248\7O\2\2\u0248\u0249")
buf.write("\3\2\2\2\u0249\u024a\b \2\2\u024aB\3\2\2\2\u024b\u024c")
buf.write("\7k\2\2\u024c\u024d\7p\2\2\u024d\u024e\7e\2\2\u024e\u024f")
buf.write("\7n\2\2\u024f\u0250\7w\2\2\u0250\u0251\7f\2\2\u0251\u0252")
buf.write("\7g\2\2\u0252D\3\2\2\2\u0253\u0254\7f\2\2\u0254\u0255")
buf.write("\7g\2\2\u0255\u0256\7h\2\2\u0256\u0257\7e\2\2\u0257\u0258")
buf.write("\7c\2\2\u0258\u0259\7n\2\2\u0259\u025a\7i\2\2\u025a\u025b")
buf.write("\7t\2\2\u025b\u025c\7c\2\2\u025c\u025d\7o\2\2\u025d\u025e")
buf.write("\7o\2\2\u025e\u025f\7c\2\2\u025f\u0260\7t\2\2\u0260F\3")
buf.write("\2\2\2\u0261\u0262\7f\2\2\u0262\u0263\7g\2\2\u0263\u0264")
buf.write("\7h\2\2\u0264H\3\2\2\2\u0265\u0266\7f\2\2\u0266\u0267")
buf.write("\7g\2\2\u0267\u0268\7h\2\2\u0268\u0269\7e\2\2\u0269\u026a")
buf.write("\7c\2\2\u026a\u026b\7n\2\2\u026bJ\3\2\2\2\u026c\u026d")
buf.write("\7i\2\2\u026d\u026e\7c\2\2\u026e\u026f\7v\2\2\u026f\u0270")
buf.write("\7g\2\2\u0270L\3\2\2\2\u0271\u0272\7g\2\2\u0272\u0273")
buf.write("\7z\2\2\u0273\u0274\7v\2\2\u0274\u0275\7g\2\2\u0275\u0276")
buf.write("\7t\2\2\u0276\u0277\7p\2\2\u0277N\3\2\2\2\u0278\u0279")
buf.write("\7d\2\2\u0279\u027a\7q\2\2\u027a\u027b\7z\2\2\u027bP\3")
buf.write("\2\2\2\u027c\u027d\7n\2\2\u027d\u027e\7g\2\2\u027e\u027f")
buf.write("\7v\2\2\u027fR\3\2\2\2\u0280\u0281\7d\2\2\u0281\u0282")
buf.write("\7t\2\2\u0282\u0283\7g\2\2\u0283\u0284\7c\2\2\u0284\u0285")
buf.write("\7m\2\2\u0285T\3\2\2\2\u0286\u0287\7e\2\2\u0287\u0288")
buf.write("\7q\2\2\u0288\u0289\7p\2\2\u0289\u028a\7v\2\2\u028a\u028b")
buf.write("\7k\2\2\u028b\u028c\7p\2\2\u028c\u028d\7w\2\2\u028d\u028e")
buf.write("\7g\2\2\u028eV\3\2\2\2\u028f\u0290\7k\2\2\u0290\u0291")
buf.write("\7h\2\2\u0291X\3\2\2\2\u0292\u0293\7g\2\2\u0293\u0294")
buf.write("\7n\2\2\u0294\u0295\7u\2\2\u0295\u0296\7g\2\2\u0296Z\3")
buf.write("\2\2\2\u0297\u0298\7g\2\2\u0298\u0299\7p\2\2\u0299\u029a")
buf.write("\7f\2\2\u029a\\\3\2\2\2\u029b\u029c\7t\2\2\u029c\u029d")
buf.write("\7g\2\2\u029d\u029e\7v\2\2\u029e\u029f\7w\2\2\u029f\u02a0")
buf.write("\7t\2\2\u02a0\u02a1\7p\2\2\u02a1^\3\2\2\2\u02a2\u02a3")
buf.write("\7h\2\2\u02a3\u02a4\7q\2\2\u02a4\u02a5\7t\2\2\u02a5`\3")
buf.write("\2\2\2\u02a6\u02a7\7y\2\2\u02a7\u02a8\7j\2\2\u02a8\u02a9")
buf.write("\7k\2\2\u02a9\u02aa\7n\2\2\u02aa\u02ab\7g\2\2\u02abb\3")
buf.write("\2\2\2\u02ac\u02ad\7k\2\2\u02ad\u02ae\7p\2\2\u02aed\3")
buf.write("\2\2\2\u02af\u02b1\7%\2\2\u02b0\u02af\3\2\2\2\u02b0\u02b1")
buf.write("\3\2\2\2\u02b1\u02b2\3\2\2\2\u02b2\u02b3\7r\2\2\u02b3")
buf.write("\u02b4\7t\2\2\u02b4\u02b5\7c\2\2\u02b5\u02b6\7i\2\2\u02b6")
buf.write("\u02b7\7o\2\2\u02b7\u02b8\7c\2\2\u02b8\u02b9\3\2\2\2\u02b9")
buf.write("\u02ba\b\62\3\2\u02baf\3\2\2\2\u02bb\u02bc\7B\2\2\u02bc")
buf.write("\u02bd\5\u00f3y\2\u02bd\u02be\3\2\2\2\u02be\u02bf\b\63")
buf.write("\3\2\u02bfh\3\2\2\2\u02c0\u02c1\7k\2\2\u02c1\u02c2\7p")
buf.write("\2\2\u02c2\u02c3\7r\2\2\u02c3\u02c4\7w\2\2\u02c4\u02c5")
buf.write("\7v\2\2\u02c5j\3\2\2\2\u02c6\u02c7\7q\2\2\u02c7\u02c8")
buf.write("\7w\2\2\u02c8\u02c9\7v\2\2\u02c9\u02ca\7r\2\2\u02ca\u02cb")
buf.write("\7w\2\2\u02cb\u02cc\7v\2\2\u02ccl\3\2\2\2\u02cd\u02ce")
buf.write("\7e\2\2\u02ce\u02cf\7q\2\2\u02cf\u02d0\7p\2\2\u02d0\u02d1")
buf.write("\7u\2\2\u02d1\u02d2\7v\2\2\u02d2n\3\2\2\2\u02d3\u02d4")
buf.write("\7o\2\2\u02d4\u02d5\7w\2\2\u02d5\u02d6\7v\2\2\u02d6\u02d7")
buf.write("\7c\2\2\u02d7\u02d8\7d\2\2\u02d8\u02d9\7n\2\2\u02d9\u02da")
buf.write("\7g\2\2\u02dap\3\2\2\2\u02db\u02dc\7s\2\2\u02dc\u02dd")
buf.write("\7t\2\2\u02dd\u02de\7g\2\2\u02de\u02df\7i\2\2\u02dfr\3")
buf.write("\2\2\2\u02e0\u02e1\7s\2\2\u02e1\u02e2\7w\2\2\u02e2\u02e3")
buf.write("\7d\2\2\u02e3\u02e4\7k\2\2\u02e4\u02e5\7v\2\2\u02e5t\3")
buf.write("\2\2\2\u02e6\u02e7\7e\2\2\u02e7\u02e8\7t\2\2\u02e8\u02e9")
buf.write("\7g\2\2\u02e9\u02ea\7i\2\2\u02eav\3\2\2\2\u02eb\u02ec")
buf.write("\7d\2\2\u02ec\u02ed\7q\2\2\u02ed\u02ee\7q\2\2\u02ee\u02ef")
buf.write("\7n\2\2\u02efx\3\2\2\2\u02f0\u02f1\7d\2\2\u02f1\u02f2")
buf.write("\7k\2\2\u02f2\u02f3\7v\2\2\u02f3z\3\2\2\2\u02f4\u02f5")
buf.write("\7k\2\2\u02f5\u02f6\7p\2\2\u02f6\u02f7\7v\2\2\u02f7|\3")
buf.write("\2\2\2\u02f8\u02f9\7w\2\2\u02f9\u02fa\7k\2\2\u02fa\u02fb")
buf.write("\7p\2\2\u02fb\u02fc\7v\2\2\u02fc~\3\2\2\2\u02fd\u02fe")
buf.write("\7h\2\2\u02fe\u02ff\7n\2\2\u02ff\u0300\7q\2\2\u0300\u0301")
buf.write("\7c\2\2\u0301\u0302\7v\2\2\u0302\u0080\3\2\2\2\u0303\u0304")
buf.write("\7c\2\2\u0304\u0305\7p\2\2\u0305\u0306\7i\2\2\u0306\u0307")
buf.write("\7n\2\2\u0307\u0308\7g\2\2\u0308\u0082\3\2\2\2\u0309\u030a")
buf.write("\7e\2\2\u030a\u030b\7q\2\2\u030b\u030c\7o\2\2\u030c\u030d")
buf.write("\7r\2\2\u030d\u030e\7n\2\2\u030e\u030f\7g\2\2\u030f\u0310")
buf.write("\7z\2\2\u0310\u0084\3\2\2\2\u0311\u0312\7c\2\2\u0312\u0313")
buf.write("\7t\2\2\u0313\u0314\7t\2\2\u0314\u0315\7c\2\2\u0315\u0316")
buf.write("\7{\2\2\u0316\u0086\3\2\2\2\u0317\u0318\7f\2\2\u0318\u0319")
buf.write("\7w\2\2\u0319\u031a\7t\2\2\u031a\u031b\7c\2\2\u031b\u031c")
buf.write("\7v\2\2\u031c\u031d\7k\2\2\u031d\u031e\7q\2\2\u031e\u031f")
buf.write("\7p\2\2\u031f\u0088\3\2\2\2\u0320\u0321\7u\2\2\u0321\u0322")
buf.write("\7v\2\2\u0322\u0323\7t\2\2\u0323\u0324\7g\2\2\u0324\u0325")
buf.write("\7v\2\2\u0325\u0326\7e\2\2\u0326\u0327\7j\2\2\u0327\u008a")
buf.write("\3\2\2\2\u0328\u0329\7i\2\2\u0329\u032a\7r\2\2\u032a\u032b")
buf.write("\7j\2\2\u032b\u032c\7c\2\2\u032c\u032d\7u\2\2\u032d\u032e")
buf.write("\7g\2\2\u032e\u008c\3\2\2\2\u032f\u0330\7k\2\2\u0330\u0331")
buf.write("\7p\2\2\u0331\u0332\7x\2\2\u0332\u008e\3\2\2\2\u0333\u0334")
buf.write("\7r\2\2\u0334\u0335\7q\2\2\u0335\u0336\7y\2\2\u0336\u0090")
buf.write("\3\2\2\2\u0337\u0338\7e\2\2\u0338\u0339\7v\2\2\u0339\u033a")
buf.write("\7t\2\2\u033a\u033b\7n\2\2\u033b\u0092\3\2\2\2\u033c\u033d")
buf.write("\7p\2\2\u033d\u033e\7g\2\2\u033e\u033f\7i\2\2\u033f\u0340")
buf.write("\7e\2\2\u0340\u0341\7v\2\2\u0341\u0342\7t\2\2\u0342\u0343")
buf.write("\7n\2\2\u0343\u0094\3\2\2\2\u0344\u0345\7%\2\2\u0345\u0346")
buf.write("\7f\2\2\u0346\u0347\7k\2\2\u0347\u0348\7o\2\2\u0348\u0096")
buf.write("\3\2\2\2\u0349\u034a\7f\2\2\u034a\u034b\7w\2\2\u034b\u034c")
buf.write("\7t\2\2\u034c\u034d\7c\2\2\u034d\u034e\7v\2\2\u034e\u034f")
buf.write("\7k\2\2\u034f\u0350\7q\2\2\u0350\u0351\7p\2\2\u0351\u0352")
buf.write("\7q\2\2\u0352\u0353\7h\2\2\u0353\u0098\3\2\2\2\u0354\u0355")
buf.write("\7f\2\2\u0355\u0356\7g\2\2\u0356\u0357\7n\2\2\u0357\u0358")
buf.write("\7c\2\2\u0358\u0359\7{\2\2\u0359\u009a\3\2\2\2\u035a\u035b")
buf.write("\7t\2\2\u035b\u035c\7g\2\2\u035c\u035d\7u\2\2\u035d\u035e")
buf.write("\7g\2\2\u035e\u035f\7v\2\2\u035f\u009c\3\2\2\2\u0360\u0361")
buf.write("\7o\2\2\u0361\u0362\7g\2\2\u0362\u0363\7c\2\2\u0363\u0364")
buf.write("\7u\2\2\u0364\u0365\7w\2\2\u0365\u0366\7t\2\2\u0366\u0367")
buf.write("\7g\2\2\u0367\u009e\3\2\2\2\u0368\u0369\7d\2\2\u0369\u036a")
buf.write("\7c\2\2\u036a\u036b\7t\2\2\u036b\u036c\7t\2\2\u036c\u036d")
buf.write("\7k\2\2\u036d\u036e\7g\2\2\u036e\u036f\7t\2\2\u036f\u00a0")
buf.write("\3\2\2\2\u0370\u0371\7v\2\2\u0371\u0372\7t\2\2\u0372\u0373")
buf.write("\7w\2\2\u0373\u037a\7g\2\2\u0374\u0375\7h\2\2\u0375\u0376")
buf.write("\7c\2\2\u0376\u0377\7n\2\2\u0377\u0378\7u\2\2\u0378\u037a")
buf.write("\7g\2\2\u0379\u0370\3\2\2\2\u0379\u0374\3\2\2\2\u037a")
buf.write("\u00a2\3\2\2\2\u037b\u037c\7]\2\2\u037c\u00a4\3\2\2\2")
buf.write("\u037d\u037e\7_\2\2\u037e\u00a6\3\2\2\2\u037f\u0380\7")
buf.write("}\2\2\u0380\u00a8\3\2\2\2\u0381\u0382\7\177\2\2\u0382")
buf.write("\u00aa\3\2\2\2\u0383\u0384\7*\2\2\u0384\u00ac\3\2\2\2")
buf.write("\u0385\u0386\7+\2\2\u0386\u00ae\3\2\2\2\u0387\u0388\7")
buf.write("<\2\2\u0388\u00b0\3\2\2\2\u0389\u038a\7=\2\2\u038a\u00b2")
buf.write("\3\2\2\2\u038b\u038c\7\60\2\2\u038c\u00b4\3\2\2\2\u038d")
buf.write("\u038e\7.\2\2\u038e\u00b6\3\2\2\2\u038f\u0390\7?\2\2\u0390")
buf.write("\u00b8\3\2\2\2\u0391\u0392\7/\2\2\u0392\u0393\7@\2\2\u0393")
buf.write("\u00ba\3\2\2\2\u0394\u0395\7-\2\2\u0395\u00bc\3\2\2\2")
buf.write("\u0396\u0397\7-\2\2\u0397\u0398\7-\2\2\u0398\u00be\3\2")
buf.write("\2\2\u0399\u039a\7/\2\2\u039a\u00c0\3\2\2\2\u039b\u039c")
buf.write("\7,\2\2\u039c\u00c2\3\2\2\2\u039d\u039e\7,\2\2\u039e\u039f")
buf.write("\7,\2\2\u039f\u00c4\3\2\2\2\u03a0\u03a1\7\61\2\2\u03a1")
buf.write("\u00c6\3\2\2\2\u03a2\u03a3\7\'\2\2\u03a3\u00c8\3\2\2\2")
buf.write("\u03a4\u03a5\7~\2\2\u03a5\u00ca\3\2\2\2\u03a6\u03a7\7")
buf.write("~\2\2\u03a7\u03a8\7~\2\2\u03a8\u00cc\3\2\2\2\u03a9\u03aa")
buf.write("\7(\2\2\u03aa\u00ce\3\2\2\2\u03ab\u03ac\7(\2\2\u03ac\u03ad")
buf.write("\7(\2\2\u03ad\u00d0\3\2\2\2\u03ae\u03af\7`\2\2\u03af\u00d2")
buf.write("\3\2\2\2\u03b0\u03b1\7\u0080\2\2\u03b1\u00d4\3\2\2\2\u03b2")
buf.write("\u03b3\7#\2\2\u03b3\u00d6\3\2\2\2\u03b4\u03b5\7?\2\2\u03b5")
buf.write("\u03b9\7?\2\2\u03b6\u03b7\7#\2\2\u03b7\u03b9\7?\2\2\u03b8")
buf.write("\u03b4\3\2\2\2\u03b8\u03b6\3\2\2\2\u03b9\u00d8\3\2\2\2")
buf.write("\u03ba\u03bb\7-\2\2\u03bb\u03d6\7?\2\2\u03bc\u03bd\7/")
buf.write("\2\2\u03bd\u03d6\7?\2\2\u03be\u03bf\7,\2\2\u03bf\u03d6")
buf.write("\7?\2\2\u03c0\u03c1\7\61\2\2\u03c1\u03d6\7?\2\2\u03c2")
buf.write("\u03c3\7(\2\2\u03c3\u03d6\7?\2\2\u03c4\u03c5\7~\2\2\u03c5")
buf.write("\u03d6\7?\2\2\u03c6\u03c7\7\u0080\2\2\u03c7\u03d6\7?\2")
buf.write("\2\u03c8\u03c9\7`\2\2\u03c9\u03d6\7?\2\2\u03ca\u03cb\7")
buf.write(">\2\2\u03cb\u03cc\7>\2\2\u03cc\u03d6\7?\2\2\u03cd\u03ce")
buf.write("\7@\2\2\u03ce\u03cf\7@\2\2\u03cf\u03d6\7?\2\2\u03d0\u03d1")
buf.write("\7\'\2\2\u03d1\u03d6\7?\2\2\u03d2\u03d3\7,\2\2\u03d3\u03d4")
buf.write("\7,\2\2\u03d4\u03d6\7?\2\2\u03d5\u03ba\3\2\2\2\u03d5\u03bc")
buf.write("\3\2\2\2\u03d5\u03be\3\2\2\2\u03d5\u03c0\3\2\2\2\u03d5")
buf.write("\u03c2\3\2\2\2\u03d5\u03c4\3\2\2\2\u03d5\u03c6\3\2\2\2")
buf.write("\u03d5\u03c8\3\2\2\2\u03d5\u03ca\3\2\2\2\u03d5\u03cd\3")
buf.write("\2\2\2\u03d5\u03d0\3\2\2\2\u03d5\u03d2\3\2\2\2\u03d6\u00da")
buf.write("\3\2\2\2\u03d7\u03dd\t\2\2\2\u03d8\u03d9\7@\2\2\u03d9")
buf.write("\u03dd\7?\2\2\u03da\u03db\7>\2\2\u03db\u03dd\7?\2\2\u03dc")
buf.write("\u03d7\3\2\2\2\u03dc\u03d8\3\2\2\2\u03dc\u03da\3\2\2\2")
buf.write("\u03dd\u00dc\3\2\2\2\u03de\u03df\7@\2\2\u03df\u03e3\7")
buf.write("@\2\2\u03e0\u03e1\7>\2\2\u03e1\u03e3\7>\2\2\u03e2\u03de")
buf.write("\3\2\2\2\u03e2\u03e0\3\2\2\2\u03e3\u00de\3\2\2\2\u03e4")
buf.write("\u03e5\7k\2\2\u03e5\u03e6\7o\2\2\u03e6\u00e0\3\2\2\2\u03e7")
buf.write("\u03ea\5\u00e7s\2\u03e8\u03ea\5\u00f9|\2\u03e9\u03e7\3")
buf.write("\2\2\2\u03e9\u03e8\3\2\2\2\u03ea\u03ee\3\2\2\2\u03eb\u03ed")
buf.write("\7\"\2\2\u03ec\u03eb\3\2\2\2\u03ed\u03f0\3\2\2\2\u03ee")
buf.write("\u03ec\3\2\2\2\u03ee\u03ef\3\2\2\2\u03ef\u03f1\3\2\2\2")
buf.write("\u03f0\u03ee\3\2\2\2\u03f1\u03f2\5\u00dfo\2\u03f2\u00e2")
buf.write("\3\2\2\2\u03f3\u03f4\7\62\2\2\u03f4\u03f8\7d\2\2\u03f5")
buf.write("\u03f6\7\62\2\2\u03f6\u03f8\7D\2\2\u03f7\u03f3\3\2\2\2")
buf.write("\u03f7\u03f5\3\2\2\2\u03f8\u03ff\3\2\2\2\u03f9\u03fb\t")
buf.write("\3\2\2\u03fa\u03fc\7a\2\2\u03fb\u03fa\3\2\2\2\u03fb\u03fc")
buf.write("\3\2\2\2\u03fc\u03fe\3\2\2\2\u03fd\u03f9\3\2\2\2\u03fe")
buf.write("\u0401\3\2\2\2\u03ff\u03fd\3\2\2\2\u03ff\u0400\3\2\2\2")
buf.write("\u0400\u0402\3\2\2\2\u0401\u03ff\3\2\2\2\u0402\u0403\t")
buf.write("\3\2\2\u0403\u00e4\3\2\2\2\u0404\u0405\7\62\2\2\u0405")
buf.write("\u0406\7q\2\2\u0406\u040d\3\2\2\2\u0407\u0409\t\4\2\2")
buf.write("\u0408\u040a\7a\2\2\u0409\u0408\3\2\2\2\u0409\u040a\3")
buf.write("\2\2\2\u040a\u040c\3\2\2\2\u040b\u0407\3\2\2\2\u040c\u040f")
buf.write("\3\2\2\2\u040d\u040b\3\2\2\2\u040d\u040e\3\2\2\2\u040e")
buf.write("\u0410\3\2\2\2\u040f\u040d\3\2\2\2\u0410\u0411\t\4\2\2")
buf.write("\u0411\u00e6\3\2\2\2\u0412\u0414\t\5\2\2\u0413\u0415\7")
buf.write("a\2\2\u0414\u0413\3\2\2\2\u0414\u0415\3\2\2\2\u0415\u0417")
buf.write("\3\2\2\2\u0416\u0412\3\2\2\2\u0417\u041a\3\2\2\2\u0418")
buf.write("\u0416\3\2\2\2\u0418\u0419\3\2\2\2\u0419\u041b\3\2\2\2")
buf.write("\u041a\u0418\3\2\2\2\u041b\u041c\t\5\2\2\u041c\u00e8\3")
buf.write("\2\2\2\u041d\u041e\7\62\2\2\u041e\u0422\7z\2\2\u041f\u0420")
buf.write("\7\62\2\2\u0420\u0422\7Z\2\2\u0421\u041d\3\2\2\2\u0421")
buf.write("\u041f\3\2\2\2\u0422\u0429\3\2\2\2\u0423\u0425\t\6\2\2")
buf.write("\u0424\u0426\7a\2\2\u0425\u0424\3\2\2\2\u0425\u0426\3")
buf.write("\2\2\2\u0426\u0428\3\2\2\2\u0427\u0423\3\2\2\2\u0428\u042b")
buf.write("\3\2\2\2\u0429\u0427\3\2\2\2\u0429\u042a\3\2\2\2\u042a")
buf.write("\u042c\3\2\2\2\u042b\u0429\3\2\2\2\u042c\u042d\t\6\2\2")
buf.write("\u042d\u00ea\3\2\2\2\u042e\u042f\t\16\2\2\u042f\u00ec")
buf.write("\3\2\2\2\u0430\u0431\t\7\2\2\u0431\u00ee\3\2\2\2\u0432")
buf.write("\u0436\7a\2\2\u0433\u0436\5\u00ebu\2\u0434\u0436\5\u00ed")
buf.write("v\2\u0435\u0432\3\2\2\2\u0435\u0433\3\2\2\2\u0435\u0434")
buf.write("\3\2\2\2\u0436\u00f0\3\2\2\2\u0437\u043a\5\u00efw\2\u0438")
buf.write("\u043a\t\5\2\2\u0439\u0437\3\2\2\2\u0439\u0438\3\2\2\2")
buf.write("\u043a\u00f2\3\2\2\2\u043b\u043f\5\u00efw\2\u043c\u043e")
buf.write("\5\u00f1x\2\u043d\u043c\3\2\2\2\u043e\u0441\3\2\2\2\u043f")
buf.write("\u043d\3\2\2\2\u043f\u0440\3\2\2\2\u0440\u00f4\3\2\2\2")
buf.write("\u0441\u043f\3\2\2\2\u0442\u0444\7&\2\2\u0443\u0445\t")
buf.write("\5\2\2\u0444\u0443\3\2\2\2\u0445\u0446\3\2\2\2\u0446\u0444")
buf.write("\3\2\2\2\u0446\u0447\3\2\2\2\u0447\u00f6\3\2\2\2\u0448")
buf.write("\u044b\t\b\2\2\u0449\u044c\5\u00bb]\2\u044a\u044c\5\u00bf")
buf.write("_\2\u044b\u0449\3\2\2\2\u044b\u044a\3\2\2\2\u044b\u044c")
buf.write("\3\2\2\2\u044c\u044d\3\2\2\2\u044d\u044e\5\u00e7s\2\u044e")
buf.write("\u00f8\3\2\2\2\u044f\u0450\5\u00e7s\2\u0450\u0451\5\u00f7")
buf.write("{\2\u0451\u0460\3\2\2\2\u0452\u0453\5\u00b3Y\2\u0453\u0455")
buf.write("\5\u00e7s\2\u0454\u0456\5\u00f7{\2\u0455\u0454\3\2\2\2")
buf.write("\u0455\u0456\3\2\2\2\u0456\u0460\3\2\2\2\u0457\u0458\5")
buf.write("\u00e7s\2\u0458\u045a\5\u00b3Y\2\u0459\u045b\5\u00e7s")
buf.write("\2\u045a\u0459\3\2\2\2\u045a\u045b\3\2\2\2\u045b\u045d")
buf.write("\3\2\2\2\u045c\u045e\5\u00f7{\2\u045d\u045c\3\2\2\2\u045d")
buf.write("\u045e\3\2\2\2\u045e\u0460\3\2\2\2\u045f\u044f\3\2\2\2")
buf.write("\u045f\u0452\3\2\2\2\u045f\u0457\3\2\2\2\u0460\u00fa\3")
buf.write("\2\2\2\u0461\u0462\7f\2\2\u0462\u046d\7v\2\2\u0463\u0464")
buf.write("\7p\2\2\u0464\u046d\7u\2\2\u0465\u0466\7w\2\2\u0466\u046d")
buf.write("\7u\2\2\u0467\u0468\7\u00b7\2\2\u0468\u046d\7u\2\2\u0469")
buf.write("\u046a\7o\2\2\u046a\u046d\7u\2\2\u046b\u046d\7u\2\2\u046c")
buf.write("\u0461\3\2\2\2\u046c\u0463\3\2\2\2\u046c\u0465\3\2\2\2")
buf.write("\u046c\u0467\3\2\2\2\u046c\u0469\3\2\2\2\u046c\u046b\3")
buf.write("\2\2\2\u046d\u00fc\3\2\2\2\u046e\u0471\5\u00e7s\2\u046f")
buf.write("\u0471\5\u00f9|\2\u0470\u046e\3\2\2\2\u0470\u046f\3\2")
buf.write("\2\2\u0471\u0472\3\2\2\2\u0472\u0473\5\u00fb}\2\u0473")
buf.write("\u00fe\3\2\2\2\u0474\u047b\7$\2\2\u0475\u0477\t\3\2\2")
buf.write("\u0476\u0478\7a\2\2\u0477\u0476\3\2\2\2\u0477\u0478\3")
buf.write("\2\2\2\u0478\u047a\3\2\2\2\u0479\u0475\3\2\2\2\u047a\u047d")
buf.write("\3\2\2\2\u047b\u0479\3\2\2\2\u047b\u047c\3\2\2\2\u047c")
buf.write("\u047e\3\2\2\2\u047d\u047b\3\2\2\2\u047e\u047f\t\3\2\2")
buf.write("\u047f\u0480\7$\2\2\u0480\u0100\3\2\2\2\u0481\u0483\7")
buf.write("$\2\2\u0482\u0484\n\t\2\2\u0483\u0482\3\2\2\2\u0484\u0485")
buf.write("\3\2\2\2\u0485\u0486\3\2\2\2\u0485\u0483\3\2\2\2\u0486")
buf.write("\u0487\3\2\2\2\u0487\u0490\7$\2\2\u0488\u048a\7)\2\2\u0489")
buf.write("\u048b\n\n\2\2\u048a\u0489\3\2\2\2\u048b\u048c\3\2\2\2")
buf.write("\u048c\u048d\3\2\2\2\u048c\u048a\3\2\2\2\u048d\u048e\3")
buf.write("\2\2\2\u048e\u0490\7)\2\2\u048f\u0481\3\2\2\2\u048f\u0488")
buf.write("\3\2\2\2\u0490\u0102\3\2\2\2\u0491\u0493\t\13\2\2\u0492")
buf.write("\u0491\3\2\2\2\u0493\u0494\3\2\2\2\u0494\u0492\3\2\2\2")
buf.write("\u0494\u0495\3\2\2\2\u0495\u0496\3\2\2\2\u0496\u0497\b")
buf.write("\u0081\4\2\u0497\u0104\3\2\2\2\u0498\u049a\t\f\2\2\u0499")
buf.write("\u0498\3\2\2\2\u049a\u049b\3\2\2\2\u049b\u0499\3\2\2\2")
buf.write("\u049b\u049c\3\2\2\2\u049c\u049d\3\2\2\2\u049d\u049e\b")
buf.write("\u0082\4\2\u049e\u0106\3\2\2\2\u049f\u04a0\7\61\2\2\u04a0")
buf.write("\u04a1\7\61\2\2\u04a1\u04a5\3\2\2\2\u04a2\u04a4\n\f\2")
buf.write("\2\u04a3\u04a2\3\2\2\2\u04a4\u04a7\3\2\2\2\u04a5\u04a3")
buf.write("\3\2\2\2\u04a5\u04a6\3\2\2\2\u04a6\u04a8\3\2\2\2\u04a7")
buf.write("\u04a5\3\2\2\2\u04a8\u04a9\b\u0083\4\2\u04a9\u0108\3\2")
buf.write("\2\2\u04aa\u04ab\7\61\2\2\u04ab\u04ac\7,\2\2\u04ac\u04b0")
buf.write("\3\2\2\2\u04ad\u04af\13\2\2\2\u04ae\u04ad\3\2\2\2\u04af")
buf.write("\u04b2\3\2\2\2\u04b0\u04b1\3\2\2\2\u04b0\u04ae\3\2\2\2")
buf.write("\u04b1\u04b3\3\2\2\2\u04b2\u04b0\3\2\2\2\u04b3\u04b4\7")
buf.write(",\2\2\u04b4\u04b5\7\61\2\2\u04b5\u04b6\3\2\2\2\u04b6\u04b7")
buf.write("\b\u0084\4\2\u04b7\u010a\3\2\2\2\u04b8\u04ba\t\r\2\2\u04b9")
buf.write("\u04b8\3\2\2\2\u04ba\u04bb\3\2\2\2\u04bb\u04b9\3\2\2\2")
buf.write("\u04bb\u04bc\3\2\2\2\u04bc\u04bd\3\2\2\2\u04bd\u04be\b")
buf.write("\u0085\4\2\u04be\u010c\3\2\2\2\u04bf\u04c1\t\5\2\2\u04c0")
buf.write("\u04bf\3\2\2\2\u04c1\u04c2\3\2\2\2\u04c2\u04c0\3\2\2\2")
buf.write("\u04c2\u04c3\3\2\2\2\u04c3\u04ca\3\2\2\2\u04c4\u04c6\7")
buf.write("\60\2\2\u04c5\u04c7\t\5\2\2\u04c6\u04c5\3\2\2\2\u04c7")
buf.write("\u04c8\3\2\2\2\u04c8\u04c6\3\2\2\2\u04c8\u04c9\3\2\2\2")
buf.write("\u04c9\u04cb\3\2\2\2\u04ca\u04c4\3\2\2\2\u04ca\u04cb\3")
buf.write("\2\2\2\u04cb\u04cc\3\2\2\2\u04cc\u04cd\b\u0086\5\2\u04cd")
buf.write("\u010e\3\2\2\2\u04ce\u04d0\t\13\2\2\u04cf\u04ce\3\2\2")
buf.write("\2\u04d0\u04d1\3\2\2\2\u04d1\u04cf\3\2\2\2\u04d1\u04d2")
buf.write("\3\2\2\2\u04d2\u04d3\3\2\2\2\u04d3\u04d4\b\u0087\4\2\u04d4")
buf.write("\u0110\3\2\2\2\u04d5\u04d6\t\f\2\2\u04d6\u04d7\3\2\2\2")
buf.write("\u04d7\u04d8\b\u0088\5\2\u04d8\u04d9\b\u0088\4\2\u04d9")
buf.write("\u0112\3\2\2\2\u04da\u04de\n\r\2\2\u04db\u04dd\n\f\2\2")
buf.write("\u04dc\u04db\3\2\2\2\u04dd\u04e0\3\2\2\2\u04de\u04dc\3")
buf.write("\2\2\2\u04de\u04df\3\2\2\2\u04df\u0114\3\2\2\2\u04e0\u04de")
buf.write("\3\2\2\2\61\2\3\4\u02b0\u0379\u03b8\u03d5\u03dc\u03e2")
buf.write("\u03e9\u03ee\u03f7\u03fb\u03ff\u0409\u040d\u0414\u0418")
buf.write("\u0421\u0425\u0429\u0435\u0439\u043f\u0446\u044b\u0455")
buf.write("\u045a\u045d\u045f\u046c\u0470\u0477\u047b\u0485\u048c")
buf.write("\u048f\u0494\u049b\u04a5\u04b0\u04bb\u04c2\u04c8\u04ca")
buf.write("\u04d1\u04de\6\7\3\2\7\4\2\b\2\2\6\2\2")
return buf.getvalue()
[docs]
class BraketPragmasLexer(Lexer):
atn = ATNDeserializer().deserialize(serializedATN())
decisionsToDFA = [ DFA(ds, i) for i, ds in enumerate(atn.decisionToState) ]
VERSION_IDENTIFIER = 1
EAT_TO_LINE_END = 2
BRAKET = 1
UNITARY = 2
RESULT = 3
NOISE = 4
VERBATIM = 5
STATE_VECTOR = 6
PROBABILITY = 7
DENSITY_MATRIX = 8
AMPLITUDE = 9
EXPECTATION = 10
VARIANCE = 11
SAMPLE = 12
X = 13
Y = 14
Z = 15
I = 16
H = 17
HERMITIAN = 18
ALL = 19
AT = 20
BIT_FLIP = 21
PHASE_FLIP = 22
PAULI_CHANNEL = 23
DEPOLARIZING = 24
TWO_QUBIT_DEPOLARIZING = 25
TWO_QUBIT_DEPHASING = 26
AMPLITUDE_DAMPING = 27
GENERALIZED_AMPLITUDE_DAMPING = 28
PHASE_DAMPING = 29
KRAUS = 30
OPENQASM = 31
INCLUDE = 32
DEFCALGRAMMAR = 33
DEF = 34
DEFCAL = 35
GATE = 36
EXTERN = 37
BOX = 38
LET = 39
BREAK = 40
CONTINUE = 41
IF = 42
ELSE = 43
END = 44
RETURN = 45
FOR = 46
WHILE = 47
IN = 48
PRAGMA = 49
AnnotationKeyword = 50
INPUT = 51
OUTPUT = 52
CONST = 53
MUTABLE = 54
QREG = 55
QUBIT = 56
CREG = 57
BOOL = 58
BIT = 59
INT = 60
UINT = 61
FLOAT = 62
ANGLE = 63
COMPLEX = 64
ARRAY = 65
DURATION = 66
STRETCH = 67
GPHASE = 68
INV = 69
POW = 70
CTRL = 71
NEGCTRL = 72
DIM = 73
DURATIONOF = 74
DELAY = 75
RESET = 76
MEASURE = 77
BARRIER = 78
BooleanLiteral = 79
LBRACKET = 80
RBRACKET = 81
LBRACE = 82
RBRACE = 83
LPAREN = 84
RPAREN = 85
COLON = 86
SEMICOLON = 87
DOT = 88
COMMA = 89
EQUALS = 90
ARROW = 91
PLUS = 92
DOUBLE_PLUS = 93
MINUS = 94
ASTERISK = 95
DOUBLE_ASTERISK = 96
SLASH = 97
PERCENT = 98
PIPE = 99
DOUBLE_PIPE = 100
AMPERSAND = 101
DOUBLE_AMPERSAND = 102
CARET = 103
TILDE = 104
EXCLAMATION_POINT = 105
EqualityOperator = 106
CompoundAssignmentOperator = 107
ComparisonOperator = 108
BitshiftOperator = 109
IMAG = 110
ImaginaryLiteral = 111
BinaryIntegerLiteral = 112
OctalIntegerLiteral = 113
DecimalIntegerLiteral = 114
HexIntegerLiteral = 115
Identifier = 116
HardwareQubit = 117
FloatLiteral = 118
TimingLiteral = 119
BitstringLiteral = 120
StringLiteral = 121
Whitespace = 122
Newline = 123
LineComment = 124
BlockComment = 125
VERSION_IDENTIFER_WHITESPACE = 126
VersionSpecifier = 127
EAT_INITIAL_SPACE = 128
EAT_LINE_END = 129
RemainingLineContent = 130
channelNames = [ u"DEFAULT_TOKEN_CHANNEL", u"HIDDEN" ]
modeNames = [ "DEFAULT_MODE", "VERSION_IDENTIFIER", "EAT_TO_LINE_END" ]
literalNames = [ "<INVALID>",
"'braket'", "'unitary'", "'result'", "'noise'", "'verbatim'",
"'state_vector'", "'probability'", "'density_matrix'", "'amplitude'",
"'expectation'", "'variance'", "'sample'", "'x'", "'y'", "'z'",
"'i'", "'h'", "'hermitian'", "'all'", "'@'", "'bit_flip'", "'phase_flip'",
"'pauli_channel'", "'depolarizing'", "'two_qubit_depolarizing'",
"'two_qubit_dephasing'", "'amplitude_damping'", "'generalized_amplitude_damping'",
"'phase_damping'", "'kraus'", "'OPENQASM'", "'include'", "'defcalgrammar'",
"'def'", "'defcal'", "'gate'", "'extern'", "'box'", "'let'",
"'break'", "'continue'", "'if'", "'else'", "'end'", "'return'",
"'for'", "'while'", "'in'", "'input'", "'output'", "'const'",
"'mutable'", "'qreg'", "'qubit'", "'creg'", "'bool'", "'bit'",
"'int'", "'uint'", "'float'", "'angle'", "'complex'", "'array'",
"'duration'", "'stretch'", "'gphase'", "'inv'", "'pow'", "'ctrl'",
"'negctrl'", "'#dim'", "'durationof'", "'delay'", "'reset'",
"'measure'", "'barrier'", "'['", "']'", "'{'", "'}'", "'('",
"')'", "':'", "';'", "'.'", "','", "'='", "'->'", "'+'", "'++'",
"'-'", "'*'", "'**'", "'/'", "'%'", "'|'", "'||'", "'&'", "'&&'",
"'^'", "'~'", "'!'", "'im'" ]
symbolicNames = [ "<INVALID>",
"BRAKET", "UNITARY", "RESULT", "NOISE", "VERBATIM", "STATE_VECTOR",
"PROBABILITY", "DENSITY_MATRIX", "AMPLITUDE", "EXPECTATION",
"VARIANCE", "SAMPLE", "X", "Y", "Z", "I", "H", "HERMITIAN",
"ALL", "AT", "BIT_FLIP", "PHASE_FLIP", "PAULI_CHANNEL", "DEPOLARIZING",
"TWO_QUBIT_DEPOLARIZING", "TWO_QUBIT_DEPHASING", "AMPLITUDE_DAMPING",
"GENERALIZED_AMPLITUDE_DAMPING", "PHASE_DAMPING", "KRAUS", "OPENQASM",
"INCLUDE", "DEFCALGRAMMAR", "DEF", "DEFCAL", "GATE", "EXTERN",
"BOX", "LET", "BREAK", "CONTINUE", "IF", "ELSE", "END", "RETURN",
"FOR", "WHILE", "IN", "PRAGMA", "AnnotationKeyword", "INPUT",
"OUTPUT", "CONST", "MUTABLE", "QREG", "QUBIT", "CREG", "BOOL",
"BIT", "INT", "UINT", "FLOAT", "ANGLE", "COMPLEX", "ARRAY",
"DURATION", "STRETCH", "GPHASE", "INV", "POW", "CTRL", "NEGCTRL",
"DIM", "DURATIONOF", "DELAY", "RESET", "MEASURE", "BARRIER",
"BooleanLiteral", "LBRACKET", "RBRACKET", "LBRACE", "RBRACE",
"LPAREN", "RPAREN", "COLON", "SEMICOLON", "DOT", "COMMA", "EQUALS",
"ARROW", "PLUS", "DOUBLE_PLUS", "MINUS", "ASTERISK", "DOUBLE_ASTERISK",
"SLASH", "PERCENT", "PIPE", "DOUBLE_PIPE", "AMPERSAND", "DOUBLE_AMPERSAND",
"CARET", "TILDE", "EXCLAMATION_POINT", "EqualityOperator", "CompoundAssignmentOperator",
"ComparisonOperator", "BitshiftOperator", "IMAG", "ImaginaryLiteral",
"BinaryIntegerLiteral", "OctalIntegerLiteral", "DecimalIntegerLiteral",
"HexIntegerLiteral", "Identifier", "HardwareQubit", "FloatLiteral",
"TimingLiteral", "BitstringLiteral", "StringLiteral", "Whitespace",
"Newline", "LineComment", "BlockComment", "VERSION_IDENTIFER_WHITESPACE",
"VersionSpecifier", "EAT_INITIAL_SPACE", "EAT_LINE_END", "RemainingLineContent" ]
ruleNames = [ "BRAKET", "UNITARY", "RESULT", "NOISE", "VERBATIM", "STATE_VECTOR",
"PROBABILITY", "DENSITY_MATRIX", "AMPLITUDE", "EXPECTATION",
"VARIANCE", "SAMPLE", "X", "Y", "Z", "I", "H", "HERMITIAN",
"ALL", "AT", "BIT_FLIP", "PHASE_FLIP", "PAULI_CHANNEL",
"DEPOLARIZING", "TWO_QUBIT_DEPOLARIZING", "TWO_QUBIT_DEPHASING",
"AMPLITUDE_DAMPING", "GENERALIZED_AMPLITUDE_DAMPING",
"PHASE_DAMPING", "KRAUS", "OPENQASM", "INCLUDE", "DEFCALGRAMMAR",
"DEF", "DEFCAL", "GATE", "EXTERN", "BOX", "LET", "BREAK",
"CONTINUE", "IF", "ELSE", "END", "RETURN", "FOR", "WHILE",
"IN", "PRAGMA", "AnnotationKeyword", "INPUT", "OUTPUT",
"CONST", "MUTABLE", "QREG", "QUBIT", "CREG", "BOOL", "BIT",
"INT", "UINT", "FLOAT", "ANGLE", "COMPLEX", "ARRAY", "DURATION",
"STRETCH", "GPHASE", "INV", "POW", "CTRL", "NEGCTRL",
"DIM", "DURATIONOF", "DELAY", "RESET", "MEASURE", "BARRIER",
"BooleanLiteral", "LBRACKET", "RBRACKET", "LBRACE", "RBRACE",
"LPAREN", "RPAREN", "COLON", "SEMICOLON", "DOT", "COMMA",
"EQUALS", "ARROW", "PLUS", "DOUBLE_PLUS", "MINUS", "ASTERISK",
"DOUBLE_ASTERISK", "SLASH", "PERCENT", "PIPE", "DOUBLE_PIPE",
"AMPERSAND", "DOUBLE_AMPERSAND", "CARET", "TILDE", "EXCLAMATION_POINT",
"EqualityOperator", "CompoundAssignmentOperator", "ComparisonOperator",
"BitshiftOperator", "IMAG", "ImaginaryLiteral", "BinaryIntegerLiteral",
"OctalIntegerLiteral", "DecimalIntegerLiteral", "HexIntegerLiteral",
"ValidUnicode", "Letter", "FirstIdCharacter", "GeneralIdCharacter",
"Identifier", "HardwareQubit", "FloatLiteralExponent",
"FloatLiteral", "TimeUnit", "TimingLiteral", "BitstringLiteral",
"StringLiteral", "Whitespace", "Newline", "LineComment",
"BlockComment", "VERSION_IDENTIFER_WHITESPACE", "VersionSpecifier",
"EAT_INITIAL_SPACE", "EAT_LINE_END", "RemainingLineContent" ]
grammarFileName = "BraketPragmasLexer.g4"
def __init__(self, input=None, output:TextIO = sys.stdout):
super().__init__(input, output)
self.checkVersion("4.9.2")
self._interp = LexerATNSimulator(self, self.atn, self.decisionsToDFA, PredictionContextCache())
self._actions = None
self._predicates = None