/* Generated By:55&JavaCC: Do not edit this line. TLAplusParserConstants.java */
package tla2sany.parser;
public interface TLAplusParserConstants {
int EOF = 0;
int BEGIN_MODULE = 1;
int BEGIN_PRAGMA = 2;
int _BM1 = 3;
int CASE0 = 5;
int CASE1 = 6;
int CASE1b = 7;
int CASE1c = 8;
int CASE2 = 9;
int CASE2b = 10;
int CASE2c = 11;
int CASE3 = 12;
int CASE6 = 13;
int CASE6b = 14;
int CASE6c = 15;
int CASEN = 16;
int LETTER = 17;
int DIGIT = 18;
int NUMBER = 19;
int _BM2 = 20;
int _BM0 = 34;
int SEPARATOR = 35;
int END_MODULE = 36;
int ACTION = 37;
int ASSUME = 38;
int ASSUMPTION = 39;
int CASE = 40;
int CHOOSE = 41;
int CONSTANT = 42;
int ELSE = 43;
int EXCEPT = 44;
int EXISTS = 45;
int EXTENDS = 46;
int FORALL = 47;
int IF = 48;
int INSTANCE = 49;
int LET = 50;
int LETIN = 51;
int LOCAL = 52;
int MODULE = 53;
int NEW = 54;
int OTHER = 55;
int PROPOSITION = 56;
int SF = 57;
int T_EXISTS = 58;
int T_FORALL = 59;
int THEN = 60;
int BY = 61;
int ONLY = 62;
int DEFINE = 63;
int DF = 64;
int THEOREM = 65;
int USE = 66;
int HIDE = 67;
int HAVE = 68;
int OBVIOUS = 69;
int OMITTED = 70;
int LAMBDA = 71;
int TAKE = 72;
int PROOF = 73;
int PROVE = 74;
int QED = 75;
int RECURSIVE = 76;
int STATE = 77;
int TEMPORAL = 78;
int PICK = 79;
int WITNESS = 80;
int SUFFICES = 81;
int VARIABLE = 82;
int WF = 83;
int WITH = 84;
int COMMA = 85;
int COLON = 86;
int COLONCOLON = 87;
int DOT = 88;
int US = 89;
int DEF = 90;
int LBR = 91;
int RBR = 92;
int DEFBREAK = 93;
int LSB = 94;
int ARSB = 95;
int RSB = 96;
int LWB = 97;
int RWB = 98;
int LBC = 99;
int RBC = 100;
int LAB = 101;
int ARAB = 102;
int RAB = 103;
int BANG = 104;
int ARROW = 105;
int SUBSTITUTE = 106;
int MAPTO = 107;
int NUMBER_LITERAL = 108;
int STRING_LITERAL = 109;
int BAND = 110;
int BOR = 111;
int op_57 = 112;
int op_68 = 113;
int op_69 = 114;
int op_70 = 115;
int op_76 = 116;
int op_26 = 117;
int op_29 = 118;
int op_58 = 119;
int CASESEP = 120;
int op_61 = 121;
int op_112 = 122;
int op_113 = 123;
int op_114 = 124;
int op_115 = 125;
int op_116 = 126;
int op_1 = 127;
int AND = 128;
int op_3 = 129;
int op_4 = 130;
int OR = 131;
int op_6 = 132;
int op_7 = 133;
int op_8 = 134;
int op_9 = 135;
int op_10 = 136;
int op_11 = 137;
int op_12 = 138;
int op_13 = 139;
int op_14 = 140;
int op_15 = 141;
int op_16 = 142;
int op_17 = 143;
int op_18 = 144;
int op_19 = 145;
int IN = 146;
int op_21 = 147;
int op_22 = 148;
int op_23 = 149;
int op_24 = 150;
int op_25 = 151;
int op_27 = 152;
int op_30 = 153;
int op_31 = 154;
int op_32 = 155;
int op_33 = 156;
int op_34 = 157;
int op_35 = 158;
int op_36 = 159;
int op_37 = 160;
int op_38 = 161;
int op_39 = 162;
int op_40 = 163;
int op_41 = 164;
int op_42 = 165;
int op_43 = 166;
int op_44 = 167;
int op_45 = 168;
int op_46 = 169;
int op_47 = 170;
int op_48 = 171;
int op_49 = 172;
int op_50 = 173;
int op_51 = 174;
int op_52 = 175;
int op_53 = 176;
int op_54 = 177;
int op_55 = 178;
int op_56 = 179;
int op_59 = 180;
int op_62 = 181;
int op_63 = 182;
int op_64 = 183;
int EQUALS = 184;
int op_66 = 185;
int op_67 = 186;
int op_71 = 187;
int op_72 = 188;
int op_73 = 189;
int op_74 = 190;
int op_75 = 191;
int op_77 = 192;
int op_78 = 193;
int op_79 = 194;
int op_80 = 195;
int op_81 = 196;
int op_82 = 197;
int op_83 = 198;
int op_84 = 199;
int op_85 = 200;
int op_86 = 201;
int op_87 = 202;
int op_88 = 203;
int op_89 = 204;
int op_90 = 205;
int op_91 = 206;
int op_92 = 207;
int op_93 = 208;
int op_94 = 209;
int op_95 = 210;
int op_96 = 211;
int op_97 = 212;
int op_98 = 213;
int op_100 = 214;
int op_101 = 215;
int op_102 = 216;
int op_103 = 217;
int op_104 = 218;
int op_105 = 219;
int op_106 = 220;
int op_107 = 221;
int op_108 = 222;
int op_109 = 223;
int op_110 = 224;
int op_111 = 225;
int op_117 = 226;
int op_118 = 227;
int op_119 = 228;
int IDENTIFIER = 229;
int ProofLevelLexeme = 230;
int ProofImplicitLevelLexeme = 231;
int ProofStepLexeme = 232;
int ProofImplicitStepLexeme = 233;
int ProofStepDotLexeme = 234;
int BareLevelLexeme = 235;
int UnnumberedStepLexeme = 236;
int DEFAULT = 0;
int PRAGMA = 1;
int SPEC = 2;
int IN_COMMENT = 3;
int EMBEDDED = 4;
int IN_EOL_COMMENT = 5;
String[] tokenImage = {
"<EOF>",
"<BEGIN_MODULE>",
"\"--->\"",
"<_BM1>",
"<token of kind 4>",
"<CASE0>",
"<CASE1>",
"<CASE1b>",
"<CASE1c>",
"<CASE2>",
"<CASE2b>",
"<CASE2c>",
"<CASE3>",
"<CASE6>",
"<CASE6b>",
"<CASE6c>",
"<CASEN>",
"<LETTER>",
"<DIGIT>",
"<NUMBER>",
"<_BM2>",
"<token of kind 21>",
"\" \"",
"\"\\t\"",
"\"\\n\"",
"\"\\r\"",
"<token of kind 26>",
"\"\\\\*\"",
"<token of kind 28>",
"\"*)\"",
"\"*)\"",
"<token of kind 31>",
"<token of kind 32>",
"<token of kind 33>",
"<_BM0>",
"<SEPARATOR>",
"<END_MODULE>",
"<ACTION>",
"\"ASSUME\"",
"<ASSUMPTION>",
"\"CASE\"",
"\"CHOOSE\"",
"<CONSTANT>",
"\"ELSE\"",
"\"EXCEPT\"",
"<EXISTS>",
"\"EXTENDS\"",
"<FORALL>",
"\"IF\"",
"\"INSTANCE\"",
"\"LET\"",
"\"IN\"",
"\"LOCAL\"",
"\"MODULE\"",
"\"NEW\"",
"\"OTHER\"",
"<PROPOSITION>",
"\"SF_\"",
"\"\\\\EE\"",
"\"\\\\AA\"",
"\"THEN\"",
"\"BY\"",
"\"ONLY\"",
"\"DEFINE\"",
"<DF>",
"\"THEOREM\"",
"\"USE\"",
"\"HIDE\"",
"\"HAVE\"",
"\"OBVIOUS\"",
"\"OMITTED\"",
"\"LAMBDA\"",
"\"TAKE\"",
"\"PROOF\"",
"\"PROVE\"",
"\"QED\"",
"\"RECURSIVE\"",
"\"STATE\"",
"<TEMPORAL>",
"\"PICK\"",
"\"WITNESS\"",
"\"SUFFICES\"",
"<VARIABLE>",
"\"WF_\"",
"\"WITH\"",
"\",\"",
"\":\"",
"\"::\"",
"\".\"",
"\"_\"",
"\"==\"",
"\"(\"",
"\")\"",
"\"-|-\"",
"\"[\"",
"\"]_\"",
"\"]\"",
"\"{|\"",
"\"|}\"",
"\"{\"",
"\"}\"",
"\"<<\"",
"\">>_\"",
"\">>\"",
"\"!\"",
"\"->\"",
"\"<-\"",
"\"|->\"",
"<NUMBER_LITERAL>",
"<STRING_LITERAL>",
"<BAND>",
"<BOR>",
"\"\\\'\"",
"\"^+\"",
"\"^*\"",
"\"^#\"",
"\"-.\"",
"\"\\\\lnot\"",
"\"\\\\neg\"",
"\"~\"",
"\"[]\"",
"\"<>\"",
"\"ENABLED\"",
"\"UNCHANGED\"",
"\"SUBSET\"",
"\"UNION\"",
"\"DOMAIN\"",
"\"//\"",
"\"/\\\\\"",
"\"/=\"",
"\"/\"",
"\"\\\\/\"",
"\"\\\\approx\"",
"\"\\\\asymp\"",
"\"\\\\bigcirc\"",
"\"\\\\bullet\"",
"\"\\\\cap\"",
"\"\\\\cdot\"",
"\"\\\\circ\"",
"\"\\\\cong\"",
"\"\\\\cup\"",
"\"\\\\div\"",
"\"\\\\doteq\"",
"\"\\\\equiv\"",
"\"\\\\geq\"",
"\"\\\\gg\"",
"\"\\\\in\"",
"\"\\\\intersect\"",
"\"\\\\union\"",
"\"\\\\land\"",
"\"\\\\leq\"",
"\"\\\\ll\"",
"\"\\\\lor\"",
"\"\\\\o\"",
"\"\\\\odot\"",
"\"\\\\ominus\"",
"\"\\\\oplus\"",
"\"\\\\oslash\"",
"\"\\\\otimes\"",
"\"\\\\prec\"",
"\"\\\\preceq\"",
"\"\\\\propto\"",
"\"\\\\sim\"",
"\"\\\\simeq\"",
"\"\\\\sqcap\"",
"\"\\\\sqcup\"",
"\"\\\\sqsubset\"",
"\"\\\\sqsupset\"",
"\"\\\\sqsubseteq\"",
"\"\\\\sqsupseteq\"",
"\"\\\\star\"",
"\"\\\\subset\"",
"\"\\\\subseteq\"",
"\"\\\\succ\"",
"\"\\\\succeq\"",
"\"\\\\supset\"",
"\"\\\\supseteq\"",
"\"\\\\uplus\"",
"\"\\\\wr\"",
"\"\\\\\"",
"\"~>\"",
"\"=>\"",
"\"=<\"",
"\"=|\"",
"\"=\"",
"\"##\"",
"\"#\"",
"\"^^\"",
"\"^\"",
"\"--\"",
"\"-|\"",
"\"-+->\"",
"\"-\"",
"\"**\"",
"\"*\"",
"\"++\"",
"\"+\"",
"\"<=>\"",
"\"<:\"",
"\"<=\"",
"\"<\"",
"\">=\"",
"\">\"",
"\"...\"",
"\"..\"",
"\"||\"",
"\"|\"",
"\"|-\"",
"\"|=\"",
"\"&&\"",
"\"&\"",
"\"$$\"",
"\"$\"",
"\"??\"",
"\"%%\"",
"\"%\"",
"\"@@\"",
"\"!!\"",
"\":>\"",
"\":=\"",
"\"::=\"",
"\"(+)\"",
"\"(-)\"",
"\"(.)\"",
"\"(/)\"",
"\"(\\\\X)\"",
"\"\\\\notin\"",
"\"\\\\times\"",
"\"\\\\X\"",
"<IDENTIFIER>",
"<ProofLevelLexeme>",
"<ProofImplicitLevelLexeme>",
"<ProofStepLexeme>",
"<ProofImplicitStepLexeme>",
"<ProofStepDotLexeme>",
"<BareLevelLexeme>",
"<UnnumberedStepLexeme>",
};
}