/* The following code was generated by JFlex 1.4.2 on 27/10/2024, 17:47 */

package de.uni_freiburg.informatik.ultimate.acsl.parser;

import com.github.jhoenicke.javacup.runtime.ComplexSymbolFactory;
import com.github.jhoenicke.javacup.runtime.Symbol;

/**
 * This class is a scanner generated by 
 * <a href="http://www.jflex.de/">JFlex</a> 1.4.2
 * on 27/10/2024, 17:47 from the specification file
 * <tt>Scanner.jflex</tt>
 */
class Scanner implements com.github.jhoenicke.javacup.runtime.Scanner {

  /** This character denotes the end of file */
  public static final int YYEOF = -1;

  /** initial size of the lookahead buffer */
  private static final int ZZ_BUFFERSIZE = 16384;

  /** lexical states */
  public static final int YYINITIAL = 0;

  /**
   * ZZ_LEXSTATE[l] is the state in the DFA for the lexical state l
   * ZZ_LEXSTATE[l+1] is the state in the DFA for the lexical state l
   *                  at the beginning of a line
   * l is of the form l = 2*k, k a non negative integer
   */
  private static final int ZZ_LEXSTATE[] = { 
     0, 0
  };

  /** 
   * Translates characters to character classes
   */
  private static final String ZZ_CMAP_PACKED = 
    "\10\0\1\0\1\1\1\17\1\0\1\0\1\1\14\0\1\1\5\0"+
    "\1\1\1\66\2\0\1\67\1\77\1\64\1\0\1\100\1\101\1\74"+
    "\1\6\1\70\1\63\1\26\1\16\1\25\1\56\1\57\5\2\1\24"+
    "\1\2\1\73\1\72\1\62\1\60\1\61\1\71\1\1\1\110\1\55"+
    "\2\4\1\5\1\11\5\3\1\13\3\3\1\7\1\3\1\107\2\3"+
    "\1\15\1\3\1\106\1\23\2\3\1\104\1\22\1\105\1\75\1\54"+
    "\1\0\1\21\1\42\1\41\1\46\1\30\1\10\1\34\1\43\1\33"+
    "\1\47\1\44\1\12\1\36\1\35\1\40\1\45\1\50\1\31\1\27"+
    "\1\32\1\14\1\20\1\53\1\37\1\52\1\51\1\102\1\65\1\103"+
    "\1\76\55\0\1\0\uff53\0";

  /** 
   * Translates characters to character classes
   */
  private static final char [] ZZ_CMAP = zzUnpackCMap(ZZ_CMAP_PACKED);

  /** 
   * Translates DFA states to action switch labels.
   */
  private static final int [] ZZ_ACTION = zzUnpackAction();

  private static final String ZZ_ACTION_PACKED_0 =
    "\1\1\1\2\1\1\1\3\1\4\1\5\3\4\1\6"+
    "\1\7\1\10\2\4\1\2\1\11\1\3\1\12\15\4"+
    "\1\13\1\14\1\15\1\16\1\17\1\20\1\21\1\22"+
    "\1\23\1\24\1\25\1\26\1\27\1\30\1\31\1\32"+
    "\1\33\1\34\1\35\1\36\1\37\1\40\1\4\1\41"+
    "\1\4\1\0\1\42\1\43\11\4\1\0\3\4\1\44"+
    "\1\4\17\0\1\42\1\0\1\45\13\4\1\46\23\4"+
    "\1\47\1\50\1\51\1\52\1\53\1\54\1\0\1\55"+
    "\1\56\1\0\1\57\1\60\1\61\1\62\1\63\1\64"+
    "\1\65\1\66\1\67\1\42\2\0\1\43\2\4\1\70"+
    "\2\4\1\71\1\4\1\72\4\4\1\10\4\4\7\0"+
    "\1\73\17\0\1\42\1\74\20\4\1\75\26\4\1\76"+
    "\2\0\1\77\1\42\1\43\1\0\6\4\1\100\1\101"+
    "\2\4\1\102\4\4\5\0\1\103\15\0\1\104\5\0"+
    "\1\42\6\4\1\105\1\106\2\4\1\107\4\4\1\110"+
    "\12\4\1\111\3\4\1\112\13\4\1\113\1\114\1\115"+
    "\1\4\1\116\1\4\1\117\1\120\5\4\1\121\3\0"+
    "\1\122\10\0\1\123\1\124\2\0\1\125\4\0\1\126"+
    "\1\43\1\127\3\4\1\130\1\10\2\4\1\131\12\4"+
    "\1\132\2\4\1\133\15\4\1\134\1\4\1\135\3\4"+
    "\1\136\2\4\1\137\1\140\3\0\1\141\1\142\1\0"+
    "\1\143\3\0\1\144\5\0\1\43\1\145\1\146\1\147"+
    "\1\4\1\150\7\4\1\151\1\152\1\153\1\154\5\4"+
    "\1\155\1\4\1\156\3\4\1\157\1\160\3\4\1\161"+
    "\1\162\1\163\1\4\1\0\1\164\1\165\2\0\1\150"+
    "\1\166\1\167\5\0\1\170\1\171\3\4\1\172\1\173"+
    "\6\4\1\174\4\4\1\175\1\176\1\4\5\0\1\177"+
    "\3\0\1\200\4\4\1\201\1\4\1\202\1\203\2\4"+
    "\1\204\1\205\1\206\1\207\7\0\1\4\1\210\1\211"+
    "\1\4\1\212\1\213\1\214\1\215\2\0\1\216\3\0"+
    "\1\217\1\220\1\221\3\0\1\222\1\0\1\223\1\224"+
    "\1\225\1\0\1\226";

  private static int [] zzUnpackAction() {
    int [] result = new int[546];
    int offset = 0;
    offset = zzUnpackAction(ZZ_ACTION_PACKED_0, offset, result);
    return result;
  }

  private static int zzUnpackAction(String packed, int offset, int [] result) {
    int i = 0;       /* index in packed string  */
    int j = offset;  /* index in unpacked array */
    int l = packed.length();
    while (i < l) {
      int count = packed.charAt(i++);
      int value = packed.charAt(i++);
      do result[j++] = value; while (--count > 0);
    }
    return j;
  }


  /** 
   * Translates a state to a row index in the transition table
   */
  private static final int [] ZZ_ROWMAP = zzUnpackRowMap();

  private static final String ZZ_ROWMAP_PACKED_0 =
    "\0\0\0\111\0\222\0\333\0\u0124\0\111\0\u016d\0\u01b6"+
    "\0\u01ff\0\u0124\0\u0248\0\222\0\u0291\0\u02da\0\u0323\0\u0124"+
    "\0\u036c\0\u03b5\0\u03fe\0\u0447\0\u0490\0\u04d9\0\u0522\0\u056b"+
    "\0\u05b4\0\u05fd\0\u0646\0\u068f\0\u06d8\0\u0721\0\u076a\0\u07b3"+
    "\0\u07fc\0\u0845\0\u088e\0\u08d7\0\u0920\0\u0969\0\u0124\0\111"+
    "\0\111\0\111\0\u09b2\0\111\0\u09fb\0\111\0\111\0\111"+
    "\0\111\0\111\0\111\0\u0a44\0\111\0\u0a8d\0\u0124\0\u0ad6"+
    "\0\u0b1f\0\u0b68\0\u0bb1\0\u0bfa\0\u0c43\0\u0c8c\0\u0cd5\0\u0d1e"+
    "\0\u0d67\0\u0db0\0\u0df9\0\u0e42\0\u0e8b\0\u0ed4\0\u0f1d\0\u0f66"+
    "\0\u0124\0\u0faf\0\u0ff8\0\u1041\0\u108a\0\u10d3\0\u111c\0\u1165"+
    "\0\u11ae\0\u11f7\0\u1240\0\u1289\0\u12d2\0\u131b\0\u1364\0\u13ad"+
    "\0\u13f6\0\u143f\0\u1488\0\u14d1\0\u151a\0\u1563\0\u15ac\0\u15f5"+
    "\0\u163e\0\u1687\0\u16d0\0\u1719\0\u1762\0\u17ab\0\u17f4\0\u0124"+
    "\0\u183d\0\u1886\0\u18cf\0\u1918\0\u1961\0\u19aa\0\u19f3\0\u1a3c"+
    "\0\u1a85\0\u1ace\0\u1b17\0\u1b60\0\u1ba9\0\u1bf2\0\u1c3b\0\u1c84"+
    "\0\u1ccd\0\u1d16\0\u1d5f\0\u1da8\0\111\0\111\0\u1df1\0\111"+
    "\0\111\0\u1e3a\0\111\0\111\0\u1e83\0\111\0\111\0\111"+
    "\0\111\0\111\0\111\0\111\0\u0124\0\u0124\0\u1ecc\0\u1f15"+
    "\0\u1f5e\0\111\0\u1fa7\0\u1ff0\0\u0124\0\u2039\0\u2082\0\u0124"+
    "\0\u20cb\0\u0124\0\u2114\0\u215d\0\u21a6\0\u21ef\0\111\0\u2238"+
    "\0\u2281\0\u22ca\0\u2313\0\u235c\0\u23a5\0\u23ee\0\u2437\0\u2480"+
    "\0\u24c9\0\u2512\0\111\0\u255b\0\u25a4\0\u25ed\0\u2636\0\u267f"+
    "\0\u26c8\0\u2711\0\u275a\0\u27a3\0\u27ec\0\u2835\0\u287e\0\u28c7"+
    "\0\u2910\0\u2959\0\u29a2\0\111\0\u29eb\0\u2a34\0\u2a7d\0\u2ac6"+
    "\0\u2b0f\0\u2b58\0\u2ba1\0\u2bea\0\u2c33\0\u2c7c\0\u2cc5\0\u2d0e"+
    "\0\u2d57\0\u2da0\0\u2de9\0\u2e32\0\u2e7b\0\u2ec4\0\u2f0d\0\u2f56"+
    "\0\u2f9f\0\u2fe8\0\u3031\0\u307a\0\u30c3\0\u310c\0\u3155\0\u319e"+
    "\0\u31e7\0\u3230\0\u3279\0\u32c2\0\u330b\0\u3354\0\u339d\0\u33e6"+
    "\0\u342f\0\u3478\0\u34c1\0\111\0\u350a\0\u3553\0\111\0\111"+
    "\0\u359c\0\u35e5\0\u362e\0\u3677\0\u36c0\0\u3709\0\u3752\0\u379b"+
    "\0\u0124\0\u0124\0\u37e4\0\u382d\0\u0124\0\u3876\0\u38bf\0\u3908"+
    "\0\u3951\0\u399a\0\u39e3\0\u3a2c\0\u3a75\0\u3abe\0\111\0\u3b07"+
    "\0\u3b50\0\u3b99\0\u3be2\0\u3c2b\0\u3c74\0\u3cbd\0\u3d06\0\u3d4f"+
    "\0\u3d98\0\u3de1\0\u3e2a\0\u3e73\0\111\0\u3ebc\0\u3f05\0\u3f4e"+
    "\0\u3f97\0\u3fe0\0\u4029\0\u4072\0\u40bb\0\u4104\0\u414d\0\u4196"+
    "\0\u41df\0\u0124\0\u0124\0\u4228\0\u4271\0\u0124\0\u42ba\0\u4303"+
    "\0\u434c\0\u4395\0\u0124\0\u43de\0\u4427\0\u4470\0\u44b9\0\u4502"+
    "\0\u454b\0\u4594\0\u45dd\0\u4626\0\u466f\0\u0124\0\u46b8\0\u4701"+
    "\0\u474a\0\u0124\0\u4793\0\u47dc\0\u4825\0\u486e\0\u48b7\0\u4900"+
    "\0\u4949\0\u4992\0\u49db\0\u4a24\0\u4a6d\0\111\0\111\0\u0124"+
    "\0\u4ab6\0\u0124\0\u4aff\0\u0124\0\u0124\0\u4b48\0\u4b91\0\u4bda"+
    "\0\u4c23\0\u4c6c\0\u4cb5\0\u4cfe\0\u4d47\0\u4d90\0\111\0\u4dd9"+
    "\0\u4e22\0\u4e6b\0\u4eb4\0\u4efd\0\u4f46\0\u4f8f\0\u4fd8\0\111"+
    "\0\u5021\0\u506a\0\u50b3\0\111\0\u50fc\0\u5145\0\u518e\0\u51d7"+
    "\0\111\0\u5220\0\u0124\0\u5269\0\u52b2\0\u52fb\0\u0124\0\u41df"+
    "\0\u5344\0\u538d\0\u0124\0\u53d6\0\u541f\0\u5468\0\u54b1\0\u54fa"+
    "\0\u5543\0\u558c\0\u55d5\0\u561e\0\u5667\0\u0124\0\u56b0\0\u56f9"+
    "\0\u0124\0\u5742\0\u578b\0\u57d4\0\u581d\0\u5866\0\u58af\0\u58f8"+
    "\0\u5941\0\u598a\0\u59d3\0\u5a1c\0\u5a65\0\u5aae\0\u0124\0\u5af7"+
    "\0\u0124\0\u5b40\0\u5b89\0\u5bd2\0\u0124\0\u5c1b\0\u5c64\0\111"+
    "\0\111\0\u5cad\0\u5cf6\0\u5d3f\0\111\0\u5d88\0\u5dd1\0\111"+
    "\0\u5e1a\0\u5e63\0\u5eac\0\111\0\u5ef5\0\u5f3e\0\u5f87\0\u5fd0"+
    "\0\u6019\0\u3f97\0\u0124\0\u0124\0\u0124\0\u6062\0\u0124\0\u60ab"+
    "\0\u60f4\0\u613d\0\u6186\0\u61cf\0\u6218\0\u6261\0\u0124\0\u0124"+
    "\0\u0124\0\u0124\0\u62aa\0\u62f3\0\u633c\0\u6385\0\u63ce\0\u0124"+
    "\0\u6417\0\u0124\0\u6460\0\u64a9\0\u64f2\0\u0124\0\u0124\0\u653b"+
    "\0\u6584\0\u65cd\0\u0124\0\u0124\0\u0124\0\u6616\0\u665f\0\111"+
    "\0\111\0\u66a8\0\u66f1\0\111\0\111\0\111\0\u673a\0\u6783"+
    "\0\u67cc\0\u6815\0\u685e\0\u0124\0\u0124\0\u68a7\0\u68f0\0\u6939"+
    "\0\u0124\0\u0124\0\u6982\0\u69cb\0\u6a14\0\u6a5d\0\u6aa6\0\u6aef"+
    "\0\u0124\0\u6b38\0\u6b81\0\u6bca\0\u6c13\0\u0124\0\u0124\0\u6c5c"+
    "\0\u6ca5\0\u6cee\0\u6d37\0\u6d80\0\u6dc9\0\111\0\u6e12\0\u6e5b"+
    "\0\u6ea4\0\u0124\0\u6eed\0\u6f36\0\u6f7f\0\u6fc8\0\u0124\0\u7011"+
    "\0\u0124\0\u705a\0\u70a3\0\u70ec\0\u0124\0\u0124\0\u0124\0\111"+
    "\0\u7135\0\u717e\0\u71c7\0\u7210\0\u7259\0\u72a2\0\u72eb\0\u7334"+
    "\0\u0124\0\u0124\0\u737d\0\u0124\0\u0124\0\u0124\0\u0124\0\u73c6"+
    "\0\u740f\0\111\0\u7458\0\u74a1\0\u74ea\0\111\0\u0124\0\u0124"+
    "\0\u7533\0\u757c\0\u75c5\0\111\0\u760e\0\111\0\111\0\111"+
    "\0\u7657\0\111";

  private static int [] zzUnpackRowMap() {
    int [] result = new int[546];
    int offset = 0;
    offset = zzUnpackRowMap(ZZ_ROWMAP_PACKED_0, offset, result);
    return result;
  }

  private static int zzUnpackRowMap(String packed, int offset, int [] result) {
    int i = 0;  /* index in packed string  */
    int j = offset;  /* index in unpacked array */
    int l = packed.length();
    while (i < l) {
      int high = packed.charAt(i++) << 16;
      result[j++] = high | packed.charAt(i++);
    }
    return j;
  }

  /** 
   * The transition table of the DFA
   */
  private static final int [] ZZ_TRANS = zzUnpackTrans();

  private static final String ZZ_TRANS_PACKED_0 =
    "\1\2\1\3\1\4\3\5\1\6\1\5\1\7\1\5"+
    "\1\10\1\5\1\11\1\12\1\13\1\14\1\15\1\16"+
    "\1\17\1\20\1\4\1\21\1\22\1\23\1\24\1\25"+
    "\1\26\1\27\1\30\1\5\1\31\2\5\1\32\1\33"+
    "\2\5\1\34\1\35\4\5\1\36\1\37\1\5\2\4"+
    "\1\40\1\41\1\42\1\43\1\44\1\45\1\46\1\47"+
    "\1\50\1\51\1\52\1\53\1\54\1\55\1\56\1\57"+
    "\1\60\1\61\1\62\1\63\1\64\1\65\1\66\1\67"+
    "\1\70\112\0\1\3\15\0\1\3\73\0\1\4\2\0"+
    "\1\71\4\0\4\72\6\0\2\4\1\73\1\0\1\71"+
    "\25\0\2\4\33\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\31\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\3\5\1\74\1\5\1\75\1\5"+
    "\2\0\2\5\1\0\3\5\1\0\11\5\1\76\17\5"+
    "\7\0\1\5\16\0\3\5\2\0\4\5\1\0\7\5"+
    "\2\0\1\5\1\77\1\0\3\5\1\0\1\100\1\101"+
    "\1\5\1\102\5\5\1\103\17\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\6\5\1\104\22\5\7\0\1\5\16\0"+
    "\3\5\16\0\1\105\74\0\4\5\1\0\7\5\2\0"+
    "\1\5\1\106\1\0\3\5\1\0\11\5\1\107\17\5"+
    "\7\0\1\5\16\0\3\5\2\0\4\5\1\0\7\5"+
    "\2\0\2\5\1\0\3\5\1\0\1\110\2\5\1\111"+
    "\4\5\1\112\20\5\7\0\1\5\16\0\3\5\10\0"+
    "\1\113\1\0\1\114\1\0\1\115\3\0\1\116\1\117"+
    "\5\0\1\120\1\121\1\122\1\123\1\124\1\0\1\125"+
    "\1\126\1\0\1\127\1\0\1\130\10\0\1\131\37\0"+
    "\1\132\2\0\1\71\4\0\4\72\5\0\1\133\2\132"+
    "\1\73\1\0\1\71\6\0\1\133\16\0\2\132\33\0"+
    "\1\73\21\0\2\73\1\134\27\0\2\73\33\0\4\5"+
    "\1\0\3\5\1\135\3\5\2\0\2\5\1\0\3\5"+
    "\1\0\3\5\1\136\1\137\7\5\1\140\1\5\1\141"+
    "\12\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\3\5\1\142\3\5\2\0\2\5\1\0\3\5\1\0"+
    "\6\5\1\143\1\5\1\144\20\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\1\5\1\145\27\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\1\5\1\146\21\5\1\147\5\5\7\0"+
    "\1\5\16\0\3\5\2\0\4\5\1\0\1\5\1\150"+
    "\5\5\2\0\2\5\1\0\3\5\1\0\6\5\1\151"+
    "\1\152\21\5\7\0\1\5\16\0\3\5\2\0\4\5"+
    "\1\0\3\5\1\153\3\5\2\0\2\5\1\0\3\5"+
    "\1\0\1\154\13\5\1\155\14\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\11\5\1\156\17\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\1\5\1\157"+
    "\1\0\3\5\1\0\11\5\1\160\2\5\1\161\14\5"+
    "\7\0\1\5\16\0\3\5\2\0\4\5\1\0\7\5"+
    "\2\0\2\5\1\0\3\5\1\0\1\5\1\162\1\163"+
    "\6\5\1\164\17\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\2\5\1\165\26\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\1\5\1\166\2\5\1\167\4\5\1\170\17\5\7\0"+
    "\1\5\16\0\3\5\2\0\4\5\1\0\7\5\2\0"+
    "\2\5\1\0\3\5\1\0\2\5\1\171\26\5\7\0"+
    "\1\5\16\0\3\5\2\0\4\5\1\0\7\5\2\0"+
    "\2\5\1\0\3\5\1\0\25\5\1\172\1\173\2\5"+
    "\7\0\1\5\16\0\3\5\60\0\1\174\110\0\1\175"+
    "\1\176\107\0\1\177\1\200\1\201\1\202\7\0\1\203"+
    "\76\0\1\204\1\0\1\205\111\0\1\206\111\0\1\207"+
    "\103\0\1\210\111\0\1\211\11\0\1\212\112\0\1\213"+
    "\120\0\1\214\5\0\4\5\1\0\6\5\1\215\2\0"+
    "\2\5\1\0\3\5\1\0\31\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\1\216\6\5\2\0\2\5"+
    "\1\0\3\5\1\0\31\5\7\0\1\5\16\0\3\5"+
    "\2\0\1\217\3\0\1\220\15\0\2\217\30\0\2\217"+
    "\3\0\1\220\37\0\4\72\75\0\1\73\2\0\1\221"+
    "\2\0\4\222\10\0\2\73\2\0\1\221\25\0\2\73"+
    "\33\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\11\5\1\223\17\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\6\5\1\224\22\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\2\5\1\225\26\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\13\5\1\226\15\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\3\5\1\227\25\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\3\5\1\230\3\5\1\231\21\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\3\5\1\232\3\5"+
    "\2\0\2\5\1\0\3\5\1\0\31\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\5\5\1\233\1\234\2\5\1\235"+
    "\17\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\1\236\30\5"+
    "\7\0\1\5\16\0\3\5\17\105\1\237\71\105\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\2\5\1\240\26\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\4\5\1\241\24\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\1\242\30\5\7\0\1\5\16\0\3\5\2\0\4\5"+
    "\1\0\7\5\2\0\2\5\1\0\3\5\1\0\4\5"+
    "\1\243\24\5\7\0\1\5\16\0\3\5\21\0\1\244"+
    "\7\0\1\245\6\0\1\246\71\0\1\247\6\0\1\250"+
    "\115\0\1\251\74\0\1\252\121\0\1\253\106\0\1\254"+
    "\116\0\1\255\1\256\101\0\1\257\111\0\1\260\20\0"+
    "\1\261\73\0\1\262\67\0\1\263\23\0\1\264\71\0"+
    "\1\265\101\0\1\266\110\0\1\267\6\0\1\270\122\0"+
    "\1\271\57\0\1\132\2\0\1\71\4\0\4\72\6\0"+
    "\2\132\1\73\1\0\1\71\25\0\2\132\31\0\2\272"+
    "\1\273\1\272\2\273\2\272\2\273\5\272\1\0\1\272"+
    "\1\273\2\272\2\273\2\272\1\273\10\272\2\273\3\272"+
    "\1\273\6\272\3\273\30\272\1\273\26\0\1\274\64\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\4\5\1\275\24\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\2\5\1\276\26\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\5\5\1\277\14\5\1\300\6\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\11\5\1\301\17\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\1\5\1\302"+
    "\1\0\3\5\1\0\31\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\1\303\30\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\5\5\1\304\1\5\2\0\2\5\1\0"+
    "\3\5\1\0\1\305\30\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\4\5\1\306\24\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\1\5\1\307\1\0"+
    "\3\5\1\0\3\5\1\310\15\5\1\311\7\5\7\0"+
    "\1\5\16\0\3\5\2\0\4\5\1\0\7\5\2\0"+
    "\2\5\1\0\3\5\1\0\2\5\1\312\26\5\7\0"+
    "\1\5\16\0\3\5\2\0\4\5\1\0\7\5\2\0"+
    "\2\5\1\0\3\5\1\0\16\5\1\313\12\5\7\0"+
    "\1\5\16\0\3\5\2\0\4\5\1\0\7\5\2\0"+
    "\1\314\1\5\1\0\3\5\1\0\3\5\1\315\6\5"+
    "\1\316\4\5\1\317\11\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\16\5\1\320\12\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\11\5\1\321\17\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\3\5\1\322\25\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\11\5\1\323\17\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\17\5\1\324\11\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\1\325\30\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\6\5\1\326\1\327\21\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\1\5\1\330\1\0"+
    "\3\5\1\0\31\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\14\5\1\331\14\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\1\5\1\332\27\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\11\5\1\333\17\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\1\5\1\334\1\0\3\5"+
    "\1\0\1\5\1\335\27\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\12\5\1\336\16\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\1\337\30\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\5\5\1\340\1\5\2\0\2\5\1\0"+
    "\3\5\1\0\31\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\4\5\1\341\24\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\4\5\1\342\24\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\11\5\1\343\17\5\7\0\1\5\16\0\3\5\61\0"+
    "\1\344\107\0\1\345\113\0\1\346\106\0\1\347\31\0"+
    "\1\217\5\0\4\350\10\0\2\217\30\0\2\217\33\0"+
    "\1\217\21\0\2\217\30\0\2\217\33\0\1\351\3\0"+
    "\1\352\15\0\2\351\30\0\2\351\3\0\1\352\27\0"+
    "\4\5\1\0\7\5\2\0\1\5\1\353\1\0\3\5"+
    "\1\0\31\5\7\0\1\5\16\0\3\5\2\0\4\5"+
    "\1\0\7\5\2\0\2\5\1\0\3\5\1\0\12\5"+
    "\1\354\16\5\7\0\1\5\16\0\3\5\2\0\4\5"+
    "\1\0\7\5\2\0\2\5\1\0\3\5\1\0\1\5"+
    "\1\355\27\5\7\0\1\5\16\0\3\5\2\0\4\5"+
    "\1\0\7\5\2\0\1\5\1\356\1\0\3\5\1\0"+
    "\31\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\7\5\1\357"+
    "\21\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\4\5\1\360"+
    "\24\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\5\5\1\361"+
    "\23\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\16\5\1\362"+
    "\12\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\4\5\1\363"+
    "\24\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\4\5\1\364"+
    "\24\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\17\5\1\365"+
    "\11\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\5\5\1\366\1\5\2\0\2\5\1\0\3\5\1\0"+
    "\1\5\1\367\2\5\1\370\24\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\11\5\1\371\17\5\7\0\1\5\16\0"+
    "\3\5\12\0\1\372\126\0\1\373\7\0\1\374\101\0"+
    "\1\375\115\0\1\376\104\0\1\377\111\0\1\u0100\67\0"+
    "\1\u0101\143\0\1\u0102\110\0\1\u0103\76\0\1\u0104\104\0"+
    "\1\u0105\75\0\1\u0106\141\0\1\u0107\75\0\1\u0108\1\u0109"+
    "\67\0\1\u010a\130\0\1\u010b\70\0\1\u010c\144\0\1\u010d"+
    "\102\0\1\u010e\77\0\1\u010f\113\0\1\u0110\60\0\1\u0111"+
    "\1\0\2\u0111\2\0\2\u0111\7\0\1\u0111\2\0\2\u0111"+
    "\2\0\1\u0111\10\0\2\u0111\3\0\1\u0111\6\0\3\u0111"+
    "\30\0\3\u0111\1\273\1\u0111\2\273\1\u0111\1\u0112\2\273"+
    "\4\u0113\1\u0111\1\0\1\u0111\1\273\2\u0111\2\273\2\u0111"+
    "\1\273\10\u0111\2\273\2\u0111\1\u0112\1\273\6\u0111\3\273"+
    "\30\u0111\1\273\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\12\5\1\u0114\16\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\5\5\1\u0115\1\5"+
    "\2\0\2\5\1\0\3\5\1\0\31\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\6\5\1\u0116\22\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\1\5\1\u0117\27\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\2\5\1\u0118\26\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\12\5\1\u0119\16\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\1\5\1\u011a\27\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\7\5\1\u011b\21\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\5\5\1\u011c\1\5"+
    "\2\0\2\5\1\0\3\5\1\0\31\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\1\u011d\30\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\3\5\1\u011e\3\5\2\0"+
    "\2\5\1\0\3\5\1\0\17\5\1\u011f\11\5\7\0"+
    "\1\5\16\0\3\5\2\0\4\5\1\0\5\5\1\u0120"+
    "\1\5\2\0\2\5\1\0\3\5\1\0\31\5\7\0"+
    "\1\5\16\0\3\5\2\0\4\5\1\0\5\5\1\u0121"+
    "\1\5\2\0\2\5\1\0\3\5\1\0\31\5\7\0"+
    "\1\5\16\0\3\5\2\0\4\5\1\0\7\5\2\0"+
    "\2\5\1\0\3\5\1\0\7\5\1\u0122\21\5\7\0"+
    "\1\5\16\0\3\5\2\0\4\5\1\0\7\5\2\0"+
    "\2\5\1\0\3\5\1\0\1\5\1\u0123\27\5\7\0"+
    "\1\5\16\0\3\5\2\0\4\5\1\0\7\5\2\0"+
    "\1\5\1\u0124\1\0\3\5\1\0\31\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\1\5\1\u0125\27\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\3\5\1\u0126\3\5"+
    "\2\0\2\5\1\0\3\5\1\0\31\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\5\5\1\u0127\1\5"+
    "\2\0\2\5\1\0\3\5\1\0\31\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\1\5"+
    "\1\u0128\1\0\3\5\1\0\31\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\13\5\1\u0129\15\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\1\5\1\u012a"+
    "\1\0\3\5\1\0\31\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\1\u012b\30\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\5\5\1\u012c\1\5\2\0\2\5\1\0"+
    "\3\5\1\0\1\5\1\u012d\27\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\1\5\1\u012e\27\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\1\u012f\2\5\1\u0130\25\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\16\5\1\u0131\12\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\2\5\1\u0132\26\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\1\5"+
    "\1\u0133\1\0\3\5\1\0\31\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\1\5\1\u0134"+
    "\1\0\3\5\1\0\31\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\3\5\1\u0135\3\5\2\0\2\5"+
    "\1\0\3\5\1\0\31\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\5\5\1\u0136\23\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\17\5\1\u0137\11\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\2\5\1\u0138\26\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\20\5\1\u0139\10\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\13\5\1\u013a\15\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\3\5\1\u013b\25\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\6\5\1\u013c\22\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\11\5\1\u013d\17\5\7\0\1\5\16\0\3\5"+
    "\61\0\1\u013e\110\0\1\u013f\31\0\1\351\5\0\4\222"+
    "\10\0\2\351\30\0\2\351\33\0\1\351\21\0\2\351"+
    "\30\0\2\351\33\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\3\5\1\u0140\25\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\3\5\1\u0141\25\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\3\5\1\u0142\3\5"+
    "\2\0\2\5\1\0\3\5\1\0\31\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\2\5\1\u0143\26\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\1\5"+
    "\1\u0144\1\0\3\5\1\0\31\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\12\5\1\u0145\16\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\5\5\1\u0146\23\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\1\5\1\u0147"+
    "\1\0\3\5\1\0\31\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\7\5\1\u0148\21\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\2\5\1\u0149\26\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\5\5\1\u014a\23\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\7\5\1\u014b\21\5\7\0\1\5\16\0\3\5"+
    "\27\0\1\u014c\110\0\1\u014d\1\u014e\116\0\1\u014f\73\0"+
    "\1\u0150\131\0\1\u0151\106\0\1\u0152\103\0\1\u0153\76\0"+
    "\1\u0154\121\0\1\u0155\105\0\1\u0156\75\0\1\u0157\124\0"+
    "\1\u0158\110\0\1\u0159\110\0\1\u015a\112\0\1\u015b\70\0"+
    "\1\u015c\141\0\1\u015d\57\0\1\u015e\137\0\1\u015f\77\0"+
    "\1\u0160\123\0\1\u0161\47\0\1\u0111\1\0\2\u0111\1\0"+
    "\1\221\2\u0111\7\0\1\u0111\2\0\2\u0111\2\0\1\u0111"+
    "\10\0\2\u0111\2\0\1\221\1\u0111\6\0\3\u0111\30\0"+
    "\1\u0111\2\0\1\u0162\1\0\2\u0111\1\352\1\221\2\u0111"+
    "\7\0\1\u0111\2\0\2\u0162\2\0\1\u0111\10\0\2\u0111"+
    "\2\0\1\221\1\u0111\6\0\1\u0111\2\u0162\3\0\1\352"+
    "\24\0\1\u0111\2\0\1\u0111\1\0\2\u0111\1\0\1\221"+
    "\2\u0111\4\72\3\0\1\u0111\2\0\2\u0111\2\0\1\u0111"+
    "\10\0\2\u0111\2\0\1\221\1\u0111\6\0\3\u0111\30\0"+
    "\1\u0111\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\1\5\1\u0163\27\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\12\5\1\u0164\16\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\1\5\1\u0165\27\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\11\5\1\u0166\17\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\3\5\1\u0167\25\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\1\5\1\u0168\27\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\2\5\1\u0169\26\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\3\5\1\u016a\25\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\1\u016b\30\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\2\5\1\u016c\26\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\4\5\1\u016d\24\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\4\5\1\u016e\24\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\2\5\1\u016f\26\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\5\5\1\u0170\23\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\5\5\1\u0171\1\5\2\0\2\5"+
    "\1\0\3\5\1\0\31\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\12\5\1\u0172\16\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\12\5\1\u0173\16\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\1\5\1\u0174\1\0"+
    "\3\5\1\0\31\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\2\5\1\u0175\26\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\3\5\1\u0176\25\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\3\5\1\u0177\3\5\2\0\2\5\1\0"+
    "\3\5\1\0\31\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\3\5\1\u0178\3\5\2\0\2\5\1\0"+
    "\3\5\1\0\31\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\3\5\1\u0179\25\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\2\5\1\u017a\1\5\1\u017b\24\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\3\5\1\u017c\3\5\2\0"+
    "\2\5\1\0\3\5\1\0\31\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\1\u017d\1\5"+
    "\1\0\3\5\1\0\31\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\15\5\1\u017e\13\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\1\5\1\u017f\27\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\7\5\1\u0180\21\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\4\5\1\u0181\24\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\1\5\1\u0182\27\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\11\5\1\u0183\17\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\3\5\1\u0184\3\5\2\0\2\5"+
    "\1\0\3\5\1\0\31\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\1\5\1\u0185\27\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\3\5\1\u0186\25\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\3\5\1\u0187\3\5\2\0\2\5"+
    "\1\0\3\5\1\0\31\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\4\5\1\u0188\24\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\3\5\1\u0189\25\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\6\5\1\u018a\22\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\6\5\1\u018b\22\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\1\5\1\u018c\27\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\3\5\1\u018d\25\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\6\5\1\u018e\22\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\1\5\1\u018f\1\0"+
    "\3\5\1\0\31\5\7\0\1\5\16\0\3\5\30\0"+
    "\1\u0190\123\0\1\u0191\66\0\1\u0192\101\0\1\u0193\144\0"+
    "\1\u0194\77\0\1\u0195\121\0\1\u0196\73\0\1\u0197\131\0"+
    "\1\u0198\70\0\1\u0199\70\0\1\u019a\136\0\1\u019b\101\0"+
    "\1\u019c\112\0\1\u019d\110\0\1\u019e\115\0\1\u019f\114\0"+
    "\1\u01a0\120\0\1\u01a1\36\0\1\u0162\1\0\2\u0111\1\0"+
    "\1\221\2\u01a2\2\222\5\0\1\u0111\2\0\2\u0162\2\0"+
    "\1\u0111\10\0\2\u0111\2\0\1\221\1\u0111\6\0\1\u0111"+
    "\2\u0162\30\0\1\u0111\2\0\4\5\1\0\7\5\2\0"+
    "\2\5\1\0\3\5\1\0\3\5\1\u01a3\25\5\7\0"+
    "\1\5\16\0\3\5\2\0\4\5\1\0\7\5\2\0"+
    "\2\5\1\0\3\5\1\0\17\5\1\u01a4\11\5\7\0"+
    "\1\5\16\0\3\5\2\0\4\5\1\0\1\5\1\u01a5"+
    "\5\5\2\0\2\5\1\0\3\5\1\0\31\5\7\0"+
    "\1\5\16\0\3\5\2\0\4\5\1\0\7\5\2\0"+
    "\2\5\1\0\3\5\1\0\1\5\1\u01a6\27\5\7\0"+
    "\1\5\16\0\3\5\2\0\4\5\1\0\7\5\2\0"+
    "\2\5\1\0\3\5\1\0\1\u01a7\30\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\6\5\1\u01a8\22\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\2\5\1\u01a9\26\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\6\5\1\u01aa\22\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\4\5\1\u01ab\24\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\1\5\1\u01ac\27\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\17\5\1\u01ad\11\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\3\5\1\u01ae\25\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\3\5\1\u01af\25\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\3\5\1\u01b0\3\5"+
    "\2\0\2\5\1\0\3\5\1\0\31\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\3\5\1\u01b1\25\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\1\5\1\u01b2\27\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\1\5\1\u01b3\5\5"+
    "\2\0\2\5\1\0\3\5\1\0\31\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\1\5"+
    "\1\u01b4\1\0\3\5\1\0\31\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\6\5\1\u01b5\22\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\1\5\1\u01b6\27\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\4\5\1\u01b7\24\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\2\5\1\0"+
    "\3\5\1\0\1\u01b8\30\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\1\5\1\u01b9\1\0"+
    "\3\5\1\0\31\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\1\5\1\u01ba\1\0\3\5"+
    "\1\0\31\5\7\0\1\5\16\0\3\5\2\0\4\5"+
    "\1\0\7\5\2\0\2\5\1\0\3\5\1\0\12\5"+
    "\1\u01bb\16\5\7\0\1\5\16\0\3\5\2\0\4\5"+
    "\1\0\7\5\2\0\1\5\1\u01bc\1\0\3\5\1\0"+
    "\31\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\4\5\1\u01bd"+
    "\24\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\1\5\1\u01be"+
    "\27\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\1\u01bf\30\5"+
    "\7\0\1\5\16\0\3\5\2\0\4\5\1\0\7\5"+
    "\2\0\2\5\1\0\3\5\1\0\27\5\1\u01c0\1\5"+
    "\7\0\1\5\16\0\3\5\2\0\4\5\1\0\7\5"+
    "\2\0\2\5\1\0\3\5\1\0\11\5\1\u01c1\17\5"+
    "\7\0\1\5\16\0\3\5\2\0\4\5\1\0\7\5"+
    "\2\0\2\5\1\0\3\5\1\0\1\5\1\u01c2\27\5"+
    "\7\0\1\5\16\0\3\5\2\0\4\5\1\0\7\5"+
    "\2\0\2\5\1\0\3\5\1\0\3\5\1\u01c3\25\5"+
    "\7\0\1\5\16\0\3\5\2\0\4\5\1\0\7\5"+
    "\2\0\2\5\1\0\3\5\1\0\1\u01c4\30\5\7\0"+
    "\1\5\16\0\3\5\2\0\4\5\1\0\7\5\2\0"+
    "\2\5\1\0\3\5\1\0\1\u01c5\30\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\3\5\1\u01c6\25\5\7\0\1\5"+
    "\16\0\3\5\42\0\1\u01c7\60\0\1\u01c8\117\0\1\u01c9"+
    "\143\0\1\u01ca\55\0\1\u01cb\116\0\1\u01cc\113\0\1\u01cd"+
    "\66\0\1\u01ce\121\0\1\u01cf\124\0\1\u01d0\114\0\1\u01d1"+
    "\123\0\1\u01d2\55\0\1\u01d3\71\0\4\5\1\0\7\5"+
    "\2\0\2\5\1\0\3\5\1\0\1\u01d4\30\5\7\0"+
    "\1\5\16\0\3\5\2\0\4\5\1\0\7\5\2\0"+
    "\2\5\1\0\3\5\1\0\1\u01d5\30\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\2\5"+
    "\1\0\3\5\1\0\1\5\1\u01d6\27\5\7\0\1\5"+
    "\16\0\3\5\2\0\4\5\1\0\7\5\2\0\1\5"+
    "\1\u01d7\1\0\3\5\1\0\31\5\7\0\1\5\16\0"+
    "\3\5\2\0\4\5\1\0\7\5\2\0\1\5\1\u01d8"+
    "\1\0\3\5\1\0\31\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\2\5\1\u01d9\26\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\1\5\1\u01da\27\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\4\5\1\u01db\24\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\4\5\1\u01dc\24\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\12\5\1\u01dd\16\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\5\5\1\u01de\1\5\2\0\2\5"+
    "\1\0\3\5\1\0\31\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\3\5\1\u01df\25\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\11\5\1\u01e0\17\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\6\5\1\u01e1\22\5\7\0\1\5\16\0\3\5"+
    "\2\0\4\5\1\0\7\5\2\0\1\5\1\u01e2\1\0"+
    "\3\5\1\0\31\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\1\u01e3\30\5\7\0\1\5\16\0\3\5\2\0\4\5"+
    "\1\0\7\5\2\0\2\5\1\0\3\5\1\0\6\5"+
    "\1\u01e4\22\5\7\0\1\5\16\0\3\5\2\0\4\5"+
    "\1\0\7\5\2\0\2\5\1\0\3\5\1\0\30\5"+
    "\1\u01e5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\6\5\1\u01e6"+
    "\22\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\17\5\1\u01e7"+
    "\11\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\4\5\1\u01e8"+
    "\24\5\7\0\1\5\16\0\3\5\12\0\1\u01e9\127\0"+
    "\1\u01ea\1\0\1\u01eb\107\0\1\u01ec\70\0\1\u01ed\132\0"+
    "\1\u01ee\75\0\1\u01ef\101\0\1\u01f0\144\0\1\u01f1\44\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\1\u01f2\30\5\7\0\1\5\16\0\3\5\2\0\4\5"+
    "\1\0\7\5\2\0\2\5\1\0\3\5\1\0\3\5"+
    "\1\u01f3\25\5\7\0\1\5\16\0\3\5\2\0\4\5"+
    "\1\0\7\5\2\0\2\5\1\0\3\5\1\0\6\5"+
    "\1\u01f4\22\5\7\0\1\5\16\0\3\5\2\0\4\5"+
    "\1\0\7\5\2\0\1\u01f5\1\5\1\0\3\5\1\0"+
    "\31\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\1\5\1\u01f6"+
    "\27\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\3\5\1\u01f7"+
    "\25\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\1\5\1\u01f8"+
    "\27\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\1\5\1\u01f9"+
    "\27\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\2\5\1\u01fa"+
    "\26\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\3\5\1\u01fb"+
    "\25\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\1\5\1\u01fc"+
    "\27\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\3\5\1\u01fd"+
    "\25\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\1\5\1\u01fe\1\5\1\0"+
    "\31\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\12\5\1\u01ff"+
    "\16\5\7\0\1\5\16\0\3\5\30\0\1\u0200\101\0"+
    "\1\u0201\124\0\1\u0202\103\0\1\u0203\113\0\1\u0204\117\0"+
    "\1\u0205\76\0\1\u0206\126\0\1\u0207\44\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\1\5\1\u0208"+
    "\27\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\3\5\1\u0209"+
    "\25\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\1\5\1\u020a"+
    "\27\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\3\5\1\u020b\3\5\2\0\2\5\1\0\3\5\1\0"+
    "\31\5\7\0\1\5\16\0\3\5\2\0\4\5\1\0"+
    "\7\5\2\0\2\5\1\0\3\5\1\0\1\u020c\30\5"+
    "\7\0\1\5\16\0\3\5\2\0\4\5\1\0\7\5"+
    "\2\0\2\5\1\0\3\5\1\0\1\u020d\30\5\7\0"+
    "\1\5\16\0\3\5\2\0\4\5\1\0\7\5\2\0"+
    "\2\5\1\0\3\5\1\0\1\5\1\u020e\27\5\7\0"+
    "\1\5\16\0\3\5\2\0\4\5\1\0\7\5\2\0"+
    "\2\5\1\0\3\5\1\0\1\u020f\30\5\7\0\1\5"+
    "\16\0\3\5\35\0\1\u0210\121\0\1\u0211\110\0\1\u0212"+
    "\113\0\1\u0213\51\0\1\u0214\133\0\1\u0215\104\0\1\u0216"+
    "\61\0\4\5\1\0\7\5\2\0\2\5\1\0\3\5"+
    "\1\0\1\u0217\30\5\7\0\1\5\16\0\3\5\2\0"+
    "\4\5\1\0\7\5\2\0\2\5\1\0\3\5\1\0"+
    "\17\5\1\u0218\11\5\7\0\1\5\16\0\3\5\34\0"+
    "\1\u0219\104\0\1\u021a\110\0\1\u021b\110\0\1\u021c\114\0"+
    "\1\u021d\104\0\1\u021e\117\0\1\u021f\117\0\1\u0220\74\0"+
    "\1\u0221\121\0\1\u0222\45\0";

  private static int [] zzUnpackTrans() {
    int [] result = new int[30368];
    int offset = 0;
    offset = zzUnpackTrans(ZZ_TRANS_PACKED_0, offset, result);
    return result;
  }

  private static int zzUnpackTrans(String packed, int offset, int [] result) {
    int i = 0;       /* index in packed string  */
    int j = offset;  /* index in unpacked array */
    int l = packed.length();
    while (i < l) {
      int count = packed.charAt(i++);
      int value = packed.charAt(i++);
      value--;
      do result[j++] = value; while (--count > 0);
    }
    return j;
  }


  /* error codes */
  private static final int ZZ_UNKNOWN_ERROR = 0;
  private static final int ZZ_NO_MATCH = 1;
  private static final int ZZ_PUSHBACK_2BIG = 2;

  /* error messages for the codes above */
  private static final String ZZ_ERROR_MSG[] = {
    "Unkown internal scanner error",
    "Error: could not match input",
    "Error: pushback value was too large"
  };

  /**
   * ZZ_ATTRIBUTE[aState] contains the attributes of state <code>aState</code>
   */
  private static final int [] ZZ_ATTRIBUTE = zzUnpackAttribute();

  private static final String ZZ_ATTRIBUTE_PACKED_0 =
    "\1\1\1\11\3\1\1\11\41\1\3\11\1\1\1\11"+
    "\1\1\6\11\1\1\1\11\3\1\1\0\13\1\1\0"+
    "\5\1\17\0\1\1\1\0\41\1\2\11\1\1\2\11"+
    "\1\0\2\11\1\0\7\11\3\1\2\0\1\11\14\1"+
    "\1\11\4\1\7\0\1\11\17\0\1\1\1\11\47\1"+
    "\1\11\2\0\2\11\1\1\1\0\17\1\5\0\1\11"+
    "\15\0\1\11\5\0\53\1\2\11\14\1\3\0\1\11"+
    "\10\0\1\11\1\1\2\0\1\11\4\0\1\11\56\1"+
    "\2\11\3\0\1\11\1\1\1\0\1\11\3\0\1\11"+
    "\5\0\45\1\1\0\2\11\2\0\3\11\5\0\25\1"+
    "\5\0\1\11\3\0\16\1\1\11\7\0\10\1\2\0"+
    "\1\11\3\0\1\11\2\1\3\0\1\11\1\0\3\11"+
    "\1\0\1\11";

  private static int [] zzUnpackAttribute() {
    int [] result = new int[546];
    int offset = 0;
    offset = zzUnpackAttribute(ZZ_ATTRIBUTE_PACKED_0, offset, result);
    return result;
  }

  private static int zzUnpackAttribute(String packed, int offset, int [] result) {
    int i = 0;       /* index in packed string  */
    int j = offset;  /* index in unpacked array */
    int l = packed.length();
    while (i < l) {
      int count = packed.charAt(i++);
      int value = packed.charAt(i++);
      do result[j++] = value; while (--count > 0);
    }
    return j;
  }

  /** the input device */
  private java.io.Reader zzReader;

  /** the current state of the DFA */
  private int zzState;

  /** the current lexical state */
  private int zzLexicalState = YYINITIAL;

  /** this buffer contains the current text to be matched and is
      the source of the yytext() string */
  private char zzBuffer[] = new char[ZZ_BUFFERSIZE];

  /** the textposition at the last accepting state */
  private int zzMarkedPos;

  /** the current text position in the buffer */
  private int zzCurrentPos;

  /** startRead marks the beginning of the yytext() string in the buffer */
  private int zzStartRead;

  /** endRead marks the last character in the buffer, that has been read
      from input */
  private int zzEndRead;

  /** number of newlines encountered up to the start of the matched text */
  private int yyline;

  /** the number of characters up to the start of the matched text */
  private int yychar;

  /**
   * the number of characters from the last newline up to the start of the 
   * matched text
   */
  private int yycolumn;

  /** 
   * zzAtBOL == true <=> the scanner is currently at the beginning of a line
   */
  private boolean zzAtBOL = true;

  /** zzAtEOF == true <=> the scanner is at the EOF */
  private boolean zzAtEOF;

  /* user code: */
	public Scanner(java.io.InputStream r, ComplexSymbolFactory sf){
		this(r);
		this.sf=sf;
	}
	private ComplexSymbolFactory sf;
	
	private Symbol symbol(String text, int type) {
		ComplexSymbolFactory.Location left = new ComplexSymbolFactory.Location(yyline-1, yycolumn);
		ComplexSymbolFactory.Location right = new ComplexSymbolFactory.Location(yyline-1, yycolumn+yylength());
    	return sf.newSymbol(text, type, left, right);
  	}
  
  	private Symbol symbol(String text, int type, String value) {
    	ComplexSymbolFactory.Location left = new ComplexSymbolFactory.Location(yyline-1, yycolumn);
		ComplexSymbolFactory.Location right = new ComplexSymbolFactory.Location(yyline-1, yycolumn+yylength());
    	return sf.newSymbol(text, type, left, right, value);
    }


  /**
   * Creates a new scanner
   * There is also a java.io.InputStream version of this constructor.
   *
   * @param   in  the java.io.Reader to read input from.
   */
  Scanner(java.io.Reader in) {
    this.zzReader = in;
  }

  /**
   * Creates a new scanner.
   * There is also java.io.Reader version of this constructor.
   *
   * @param   in  the java.io.Inputstream to read input from.
   */
  Scanner(java.io.InputStream in) {
    this(new java.io.InputStreamReader(in));
  }

  /** 
   * Unpacks the compressed character translation table.
   *
   * @param packed   the packed character translation table
   * @return         the unpacked character translation table
   */
  private static char [] zzUnpackCMap(String packed) {
    char [] map = new char[0x10000];
    int i = 0;  /* index in packed string  */
    int j = 0;  /* index in unpacked array */
    while (i < 188) {
      int  count = packed.charAt(i++);
      char value = packed.charAt(i++);
      do map[j++] = value; while (--count > 0);
    }
    return map;
  }


  /**
   * Refills the input buffer.
   *
   * @return      <code>false</code>, iff there was new input.
   * 
   * @exception   java.io.IOException  if any I/O-Error occurs
   */
  private boolean zzRefill() throws java.io.IOException {

    /* first: make room (if you can) */
    if (zzStartRead > 0) {
      System.arraycopy(zzBuffer, zzStartRead,
                       zzBuffer, 0,
                       zzEndRead-zzStartRead);

      /* translate stored positions */
      zzEndRead-= zzStartRead;
      zzCurrentPos-= zzStartRead;
      zzMarkedPos-= zzStartRead;
      zzStartRead = 0;
    }

    /* is the buffer big enough? */
    if (zzCurrentPos >= zzBuffer.length) {
      /* if not: blow it up */
      char newBuffer[] = new char[zzCurrentPos*2];
      System.arraycopy(zzBuffer, 0, newBuffer, 0, zzBuffer.length);
      zzBuffer = newBuffer;
    }

    /* finally: fill the buffer with new input */
    int numRead = zzReader.read(zzBuffer, zzEndRead,
                                            zzBuffer.length-zzEndRead);

    if (numRead > 0) {
      zzEndRead+= numRead;
      return false;
    }
    // unlikely but not impossible: read 0 characters, but not at end of stream    
    if (numRead == 0) {
      int c = zzReader.read();
      if (c == -1) {
        return true;
      } else {
        zzBuffer[zzEndRead++] = (char) c;
        return false;
      }     
    }

	// numRead < 0
    return true;
  }

    
  /**
   * Closes the input stream.
   */
  public final void yyclose() throws java.io.IOException {
    zzAtEOF = true;            /* indicate end of file */
    zzEndRead = zzStartRead;  /* invalidate buffer    */

    if (zzReader != null)
      zzReader.close();
  }


  /**
   * Resets the scanner to read from a new input stream.
   * Does not close the old reader.
   *
   * All internal variables are reset, the old input stream 
   * <b>cannot</b> be reused (internal buffer is discarded and lost).
   * Lexical state is set to <tt>ZZ_INITIAL</tt>.
   *
   * @param reader   the new input stream 
   */
  public final void yyreset(java.io.Reader reader) {
    zzReader = reader;
    zzAtBOL  = true;
    zzAtEOF  = false;
    zzEndRead = zzStartRead = 0;
    zzCurrentPos = zzMarkedPos = 0;
    yyline = yychar = yycolumn = 0;
    zzLexicalState = YYINITIAL;
  }


  /**
   * Returns the current lexical state.
   */
  public final int yystate() {
    return zzLexicalState;
  }


  /**
   * Enters a new lexical state
   *
   * @param newState the new lexical state
   */
  public final void yybegin(int newState) {
    zzLexicalState = newState;
  }


  /**
   * Returns the text matched by the current regular expression.
   */
  public final String yytext() {
    return new String( zzBuffer, zzStartRead, zzMarkedPos-zzStartRead );
  }


  /**
   * Returns the character at position <tt>pos</tt> from the 
   * matched text. 
   * 
   * It is equivalent to yytext().charAt(pos), but faster
   *
   * @param pos the position of the character to fetch. 
   *            A value from 0 to yylength()-1.
   *
   * @return the character at position pos
   */
  public final char yycharat(int pos) {
    return zzBuffer[zzStartRead+pos];
  }


  /**
   * Returns the length of the matched text region.
   */
  public final int yylength() {
    return zzMarkedPos-zzStartRead;
  }


  /**
   * Reports an error that occured while scanning.
   *
   * In a wellformed scanner (no or only correct usage of 
   * yypushback(int) and a match-all fallback rule) this method 
   * will only be called with things that "Can't Possibly Happen".
   * If this method is called, something is seriously wrong
   * (e.g. a JFlex bug producing a faulty scanner etc.).
   *
   * Usual syntax/scanner level error handling should be done
   * in error fallback rules.
   *
   * @param   errorCode  the code of the errormessage to display
   */
  private void zzScanError(int errorCode) {
    String message;
    try {
      message = ZZ_ERROR_MSG[errorCode];
    }
    catch (ArrayIndexOutOfBoundsException e) {
      message = ZZ_ERROR_MSG[ZZ_UNKNOWN_ERROR];
    }

    throw new Error(message);
  } 


  /**
   * Pushes the specified amount of characters back into the input stream.
   *
   * They will be read again by then next call of the scanning method
   *
   * @param number  the number of characters to be read again.
   *                This number must not be greater than yylength()!
   */
  public void yypushback(int number)  {
    if ( number > yylength() )
      zzScanError(ZZ_PUSHBACK_2BIG);

    zzMarkedPos -= number;
  }


  /**
   * Resumes scanning until the next regular expression is matched,
   * the end of input is encountered or an I/O-Error occurs.
   *
   * @return      the next token
   * @exception   java.io.IOException  if any I/O-Error occurs
   */
  public com.github.jhoenicke.javacup.runtime.Symbol next_token() throws java.io.IOException {
    int zzInput;
    int zzAction;

    // cached fields:
    int zzCurrentPosL;
    int zzMarkedPosL;
    int zzEndReadL = zzEndRead;
    char [] zzBufferL = zzBuffer;
    char [] zzCMapL = ZZ_CMAP;

    int [] zzTransL = ZZ_TRANS;
    int [] zzRowMapL = ZZ_ROWMAP;
    int [] zzAttrL = ZZ_ATTRIBUTE;

    while (true) {
      zzMarkedPosL = zzMarkedPos;

      boolean zzR = false;
      for (zzCurrentPosL = zzStartRead; zzCurrentPosL < zzMarkedPosL;
                                                             zzCurrentPosL++) {
        switch (zzBufferL[zzCurrentPosL]) {
        case '\u000B':
        case '\u000C':
        case '\u0085':
        case '\u2028':
        case '\u2029':
          yyline++;
          yycolumn = 0;
          zzR = false;
          break;
        case '\r':
          yyline++;
          yycolumn = 0;
          zzR = true;
          break;
        case '\n':
          if (zzR)
            zzR = false;
          else {
            yyline++;
            yycolumn = 0;
          }
          break;
        default:
          zzR = false;
          yycolumn++;
        }
      }

      if (zzR) {
        // peek one character ahead if it is \n (if we have counted one line too much)
        boolean zzPeek;
        if (zzMarkedPosL < zzEndReadL)
          zzPeek = zzBufferL[zzMarkedPosL] == '\n';
        else if (zzAtEOF)
          zzPeek = false;
        else {
          boolean eof = zzRefill();
          zzEndReadL = zzEndRead;
          zzMarkedPosL = zzMarkedPos;
          zzBufferL = zzBuffer;
          if (eof) 
            zzPeek = false;
          else 
            zzPeek = zzBufferL[zzMarkedPosL] == '\n';
        }
        if (zzPeek) yyline--;
      }
      zzAction = -1;

      zzCurrentPosL = zzCurrentPos = zzStartRead = zzMarkedPosL;
  
      zzState = ZZ_LEXSTATE[zzLexicalState];


      zzForAction: {
        while (true) {
    
          if (zzCurrentPosL < zzEndReadL)
            zzInput = zzBufferL[zzCurrentPosL++];
          else if (zzAtEOF) {
            zzInput = YYEOF;
            break zzForAction;
          }
          else {
            // store back cached positions
            zzCurrentPos  = zzCurrentPosL;
            zzMarkedPos   = zzMarkedPosL;
            boolean eof = zzRefill();
            // get translated positions and possibly new buffer
            zzCurrentPosL  = zzCurrentPos;
            zzMarkedPosL   = zzMarkedPos;
            zzBufferL      = zzBuffer;
            zzEndReadL     = zzEndRead;
            if (eof) {
              zzInput = YYEOF;
              break zzForAction;
            }
            else {
              zzInput = zzBufferL[zzCurrentPosL++];
            }
          }
          int zzNext = zzTransL[ zzRowMapL[zzState] + zzCMapL[zzInput] ];
          if (zzNext == -1) break zzForAction;
          zzState = zzNext;

          int zzAttributes = zzAttrL[zzState];
          if ( (zzAttributes & 1) == 1 ) {
            zzAction = zzState;
            zzMarkedPosL = zzCurrentPosL;
            if ( (zzAttributes & 8) == 8 ) break zzForAction;
          }

        }
      }

      // store back cached position
      zzMarkedPos = zzMarkedPosL;

      switch (zzAction < 0 ? zzAction : ZZ_ACTION[zzAction]) {
        case 51: 
          { return symbol("coloncolon",sym.COLONCOLON);
          }
        case 151: break;
        case 80: 
          { return symbol("logic",sym.LOGIC);
          }
        case 152: break;
        case 17: 
          { return symbol("not",sym.NOT);
          }
        case 153: break;
        case 122: 
          { return symbol("integer",sym.INTEGER, yytext());
          }
        case 154: break;
        case 16: 
          { return symbol("pipe",sym.PIPE);
          }
        case 155: break;
        case 62: 
          { return symbol("implies",sym.IMPLIES);
          }
        case 156: break;
        case 74: 
          { return symbol("char",sym.CHAR, yytext());
          }
        case 157: break;
        case 63: 
          { return symbol("bimplies",sym.BIMPLIES);
          }
        case 158: break;
        case 49: 
          { return symbol("ne",sym.NE);
          }
        case 159: break;
        case 99: 
          { return symbol("empty",sym.EMPTY);
          }
        case 160: break;
        case 102: 
          { return symbol("signed",sym.SIGNED, yytext());
          }
        case 161: break;
        case 109: 
          { return symbol("breaks",sym.BREAKS);
          }
        case 162: break;
        case 31: 
          { return symbol("lsquare",sym.LSQUARE);
          }
        case 163: break;
        case 48: 
          { return symbol("or",sym.OR);
          }
        case 164: break;
        case 145: 
          { return symbol("modelfield",sym.MODEL);
          }
        case 165: break;
        case 66: 
          { return symbol("void",sym.VOID);
          }
        case 166: break;
        case 79: 
          { return symbol("lemma",sym.LEMMA);
          }
        case 167: break;
        case 130: 
          { return symbol("complete",sym.COMPLETE);
          }
        case 168: break;
        case 78: 
          { return symbol("label",sym.LABEL);
          }
        case 169: break;
        case 56: 
          { return symbol("for",sym.FOR);
          }
        case 170: break;
        case 44: 
          { return symbol("ltlt",sym.LTLT);
          }
        case 171: break;
        case 140: 
          { return symbol("predicate",sym.PREDICATE);
          }
        case 172: break;
        case 75: 
          { return symbol("iff",sym.IFF);
          }
        case 173: break;
        case 105: 
          { return symbol("impact",sym.IMPACT);
          }
        case 174: break;
        case 54: 
          { return symbol("until",sym.WEAKUNTIL);
          }
        case 175: break;
        case 27: 
          { return symbol("lpar",sym.LPAR);
          }
        case 176: break;
        case 71: 
          { return symbol("real",sym.REAL, yytext());
          }
        case 177: break;
        case 85: 
          { return symbol("null",sym.NULL);
          }
        case 178: break;
        case 134: 
          { return symbol("axiomatic",sym.AXIOMATIC);
          }
        case 179: break;
        case 98: 
          { return symbol("valid",sym.VALID);
          }
        case 180: break;
        case 101: 
          { return symbol("struct",sym.STRUCT);
          }
        case 181: break;
        case 12: 
          { return symbol("gt",sym.GT);
          }
        case 182: break;
        case 23: 
          { return symbol("star",sym.STAR);
          }
        case 183: break;
        case 32: 
          { return symbol("rsquare",sym.RSQUARE);
          }
        case 184: break;
        case 138: 
          { return symbol("continues",sym.CONTINUES);
          }
        case 185: break;
        case 103: 
          { return symbol("sizeof",sym.SIZEOF);
          }
        case 186: break;
        case 70: 
          { return symbol("enum",sym.ENUM);
          }
        case 187: break;
        case 55: 
          { return symbol("ap",sym.AP);
          }
        case 188: break;
        case 82: 
          { return symbol("from",sym.FROM);
          }
        case 189: break;
        case 97: 
          { return symbol("union",sym.BSUNION);
          }
        case 190: break;
        case 1: 
          { /* ignore */
          }
        case 191: break;
        case 57: 
          { return symbol("let",sym.EXT_LET);
          }
        case 192: break;
        case 146: 
          { return symbol("mallocable",sym.MALLOCABLE);
          }
        case 193: break;
        case 90: 
          { return symbol("ghost",sym.GHOST);
          }
        case 194: break;
        case 95: 
          { return symbol("false",sym.FALSE);
          }
        case 195: break;
        case 13: 
          { return symbol("lt",sym.LT);
          }
        case 196: break;
        case 47: 
          { return symbol("and",sym.AND);
          }
        case 197: break;
        case 39: 
          { return symbol("eq",sym.EQ);
          }
        case 198: break;
        case 14: 
          { return symbol("minus",sym.MINUS);
          }
        case 199: break;
        case 11: 
          { return symbol("equal",sym.EQUAL);
          }
        case 200: break;
        case 36: 
          { return symbol("at",sym.EXT_AT);
          }
        case 201: break;
        case 68: 
          { return symbol("old",sym.OLD);
          }
        case 202: break;
        case 7: 
          { return symbol("slash",sym.SLASH);
          }
        case 203: break;
        case 28: 
          { return symbol("rpar",sym.RPAR);
          }
        case 204: break;
        case 88: 
          { return symbol("short",sym.SHORT, yytext());
          }
        case 205: break;
        case 94: 
          { return symbol("assert",sym.ASSERT);
          }
        case 206: break;
        case 25: 
          { return symbol("tilde",sym.TILDE);
          }
        case 207: break;
        case 22: 
          { return symbol("colon",sym.COLON);
          }
        case 208: break;
        case 89: 
          { return symbol("reads",sym.READS);
          }
        case 209: break;
        case 142: 
          { return symbol("separated",sym.SEPARATED);
          }
        case 210: break;
        case 150: 
          { return symbol("block_length",sym.BLOCK_LENGTH);
          }
        case 211: break;
        case 19: 
          { return symbol("comma",sym.COMMA);
          }
        case 212: break;
        case 35: 
          { return symbol(yytext(), sym.CONSTANT_FLOAT, yytext());
          }
        case 213: break;
        case 67: 
          { return symbol("let",sym.LET);
          }
        case 214: break;
        case 91: 
          { return symbol("const",sym.CONST);
          }
        case 215: break;
        case 116: 
          { return symbol("forall",sym.FORALL);
          }
        case 216: break;
        case 15: 
          { return symbol("amp",sym.AMP);
          }
        case 217: break;
        case 83: 
          { return symbol("true",sym.TRUE);
          }
        case 218: break;
        case 9: 
          { return symbol("next",sym.NEXT);
          }
        case 219: break;
        case 135: 
          { return symbol("freeable",sym.FREEABLE);
          }
        case 220: break;
        case 92: 
          { return symbol("_Bool",sym.BOOL, yytext());
          }
        case 221: break;
        case 121: 
          { return symbol("returns",sym.RETURNS);
          }
        case 222: break;
        case 6: 
          { return symbol("until",sym.UNTIL);
          }
        case 223: break;
        case 41: 
          { return symbol("gtgt",sym.GTGT);
          }
        case 224: break;
        case 2: 
          { return symbol("error",sym.error, yytext());
          }
        case 225: break;
        case 38: 
          { return symbol("if",sym.IF);
          }
        case 226: break;
        case 143: 
          { return symbol("base_addr",sym.BASE_ADDR);
          }
        case 227: break;
        case 136: 
          { return symbol("invariant",sym.INVARIANT);
          }
        case 228: break;
        case 5: 
          { return symbol("plus",sym.PLUS);
          }
        case 229: break;
        case 10: 
          { return symbol("dot",sym.DOT);
          }
        case 230: break;
        case 120: 
          { return symbol("ensures",sym.ENSURES);
          }
        case 231: break;
        case 58: 
          { return symbol("global",sym.LTL);
          }
        case 232: break;
        case 72: 
          { return symbol("type",sym.TYPE);
          }
        case 233: break;
        case 124: 
          { return symbol("boolean",sym.BOOLEAN, yytext());
          }
        case 234: break;
        case 69: 
          { return symbol("else",sym.ELSE);
          }
        case 235: break;
        case 73: 
          { return symbol("case",sym.CASE);
          }
        case 236: break;
        case 60: 
          { return symbol("dotdotdot",sym.DOTDOTDOT);
          }
        case 237: break;
        case 106: 
          { return symbol("global",sym.GLOBAL);
          }
        case 238: break;
        case 144: 
          { return symbol("terminates",sym.TERMINATES);
          }
        case 239: break;
        case 126: 
          { return symbol("unsigned",sym.UNSIGNED, yytext());
          }
        case 240: break;
        case 29: 
          { return symbol("lbrace",sym.LBRACE);
          }
        case 241: break;
        case 81: 
          { return symbol("axiom",sym.AXIOM);
          }
        case 242: break;
        case 84: 
          { return symbol("type",sym.BSTYPE);
          }
        case 243: break;
        case 119: 
          { return symbol("typeof",sym.TYPEOF);
          }
        case 244: break;
        case 30: 
          { return symbol("rbrace",sym.RBRACE);
          }
        case 245: break;
        case 34: 
          { return symbol(yytext(), sym.CONSTANT, yytext());
          }
        case 246: break;
        case 108: 
          { return symbol("module",sym.MODULE);
          }
        case 247: break;
        case 117: 
          { return symbol("lambda",sym.LAMBDA);
          }
        case 248: break;
        case 133: 
          { return symbol("__int128",sym.INT128, yytext());
          }
        case 249: break;
        case 59: 
          { return symbol("at",sym.AT);
          }
        case 250: break;
        case 131: 
          { return symbol("behavior",sym.BEHAVIOR);
          }
        case 251: break;
        case 123: 
          { return symbol("include",sym.INCLUDE);
          }
        case 252: break;
        case 132: 
          { return symbol("disjoint",sym.DISJOINT);
          }
        case 253: break;
        case 112: 
          { return symbol("writes",sym.WRITES);
          }
        case 254: break;
        case 50: 
          { return symbol("colongt",sym.COLONGT);
          }
        case 255: break;
        case 65: 
          { return symbol("loop",sym.LOOP);
          }
        case 256: break;
        case 113: 
          { return symbol("variant",sym.VARIANT);
          }
        case 257: break;
        case 76: 
          { return symbol("biff",sym.BIFF);
          }
        case 258: break;
        case 127: 
          { return symbol("nothing",sym.NOTHING);
          }
        case 259: break;
        case 26: 
          { return symbol("percent",sym.PERCENT);
          }
        case 260: break;
        case 53: 
          { return symbol("globally",sym.GLOBALLY);
          }
        case 261: break;
        case 137: 
          { return symbol("inductive",sym.INDUCTIVE);
          }
        case 262: break;
        case 37: 
          { return symbol("dotdot",sym.DOTDOT);
          }
        case 263: break;
        case 33: 
          { return symbol("until",sym.RELEASE);
          }
        case 264: break;
        case 128: 
          { return symbol("requires",sym.REQUIRES);
          }
        case 265: break;
        case 100: 
          { return symbol("inter",sym.INTER);
          }
        case 266: break;
        case 129: 
          { return symbol("contract",sym.CONTRACT);
          }
        case 267: break;
        case 107: 
          { return sf.newSymbol("gstart", sym.GSTART);
          }
        case 268: break;
        case 148: 
          { return symbol("valid_index",sym.VALID_INDEX);
          }
        case 269: break;
        case 149: 
          { return symbol("initialized",sym.INITIALIZED);
          }
        case 270: break;
        case 139: 
          { return symbol("behaviors",sym.BEHAVIORS);
          }
        case 271: break;
        case 110: 
          { return symbol("pragma",sym.PRAGMA);
          }
        case 272: break;
        case 114: 
          { return symbol("assumes",sym.ASSUMES);
          }
        case 273: break;
        case 45: 
          { return symbol("ltcolon",sym.LTCOLON);
          }
        case 274: break;
        case 86: 
          { return symbol("with",sym.WITH);
          }
        case 275: break;
        case 40: 
          { return symbol("ge",sym.GE);
          }
        case 276: break;
        case 77: 
          { return symbol("float",sym.FLOAT, yytext());
          }
        case 277: break;
        case 42: 
          { return symbol("le",sym.LE);
          }
        case 278: break;
        case 64: 
          { return symbol("long",sym.LONG, yytext());
          }
        case 279: break;
        case 24: 
          { return symbol("hat",sym.HAT);
          }
        case 280: break;
        case 111: 
          { return symbol("double",sym.DOUBLE, yytext());
          }
        case 281: break;
        case 3: 
          { return symbol(yytext(), sym.CONSTANT10, yytext());
          }
        case 282: break;
        case 61: 
          { return symbol("int",sym.INT, yytext());
          }
        case 283: break;
        case 147: 
          { return symbol("valid_range",sym.VALID_RANGE);
          }
        case 284: break;
        case 104: 
          { return symbol("exists",sym.EXISTS);
          }
        case 285: break;
        case 115: 
          { return symbol("assigns",sym.ASSIGNS);
          }
        case 286: break;
        case 4: 
          { return symbol(yytext(), sym.IDENTIFIER, yytext());
          }
        case 287: break;
        case 87: 
          { return symbol("slice",sym.SLICE);
          }
        case 288: break;
        case 96: 
          { return symbol("fresh",sym.FRESH);
          }
        case 289: break;
        case 52: 
          { return symbol("hathat",sym.HATHAT);
          }
        case 290: break;
        case 141: 
          { return symbol("decreases",sym.DECREASES);
          }
        case 291: break;
        case 118: 
          { return symbol("result",sym.RESULT);
          }
        case 292: break;
        case 93: 
          { return sf.newSymbol("lstart", sym.LSTART);
          }
        case 293: break;
        case 125: 
          { return symbol("function",sym.FUNCTION);
          }
        case 294: break;
        case 46: 
          { return symbol("arrow",sym.ARROW);
          }
        case 295: break;
        case 18: 
          { return symbol("dollar",sym.DOLLAR);
          }
        case 296: break;
        case 43: 
          { return symbol("finally",sym.FINALLY);
          }
        case 297: break;
        case 20: 
          { return symbol("question",sym.QUESTION);
          }
        case 298: break;
        case 8: 
          { 
          }
        case 299: break;
        case 21: 
          { return symbol("semicolon",sym.SEMICOLON);
          }
        case 300: break;
        default: 
          if (zzInput == YYEOF && zzStartRead == zzCurrentPos) {
            zzAtEOF = true;
              {
                return symbol("eof",sym.EOF);
              }
          } 
          else {
            zzScanError(ZZ_NO_MATCH);
          }
      }
    }
  }


}