lucene-java-3.5.0/lucene/src/java/org/apache/lucene/analysis/standard/std31/StandardTokenizerImpl31.java

   1 /* The following code was generated by JFlex 1.5.0-SNAPSHOT on 9/30/11 1:23 PM */
   2
   3 package org.apache.lucene.analysis.standard.std31;
   4
   5 /**
   6  * Licensed to the Apache Software Foundation (ASF) under one or more
   7  * contributor license agreements.  See the NOTICE file distributed with
   8  * this work for additional information regarding copyright ownership.
   9  * The ASF licenses this file to You under the Apache License, Version 2.0
  10  * (the "License"); you may not use this file except in compliance with
  11  * the License.  You may obtain a copy of the License at
  12  *
  13  *     http://www.apache.org/licenses/LICENSE-2.0
  14  *
  15  * Unless required by applicable law or agreed to in writing, software
  16  * distributed under the License is distributed on an "AS IS" BASIS,
  17  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  18  * See the License for the specific language governing permissions and
  19  * limitations under the License.
  20  */
  21
  22 import org.apache.lucene.analysis.standard.StandardTokenizer;
  23 import org.apache.lucene.analysis.standard.StandardTokenizerInterface;
  24 import org.apache.lucene.analysis.tokenattributes.CharTermAttribute;
  25
  26 /**
  27  * This class implements StandardTokenizer, except with a bug
  28  * (https://issues.apache.org/jira/browse/LUCENE-3358) where Han and Hiragana
  29  * characters would be split from combining characters:
  30  * @deprecated This class is only for exact backwards compatibility
  31  */
  32 @Deprecated
  33
  34 /**
  35  * This class is a scanner generated by
  36  * <a href="http://www.jflex.de/">JFlex</a> 1.5.0-SNAPSHOT
  37  * on 9/30/11 1:23 PM from the specification file
  38  * <tt>/lucene/3x/lucene/src/java/org/apache/lucene/analysis/standard/std31/StandardTokenizerImpl31.jflex</tt>
  39  */
  40 public final class StandardTokenizerImpl31 implements StandardTokenizerInterface {
  41
  42   /** This character denotes the end of file */
  43   public static final int YYEOF = -1;
  44
  45   /** initial size of the lookahead buffer */
  46   private static final int ZZ_BUFFERSIZE = 16384;
  47
  48   /** lexical states */
  49   public static final int YYINITIAL = 0;
  50
  51   /**
  52    * ZZ_LEXSTATE[l] is the state in the DFA for the lexical state l
  53    * ZZ_LEXSTATE[l+1] is the state in the DFA for the lexical state l
  54    *                  at the beginning of a line
  55    * l is of the form l = 2*k, k a non negative integer
  56    */
  57   private static final int ZZ_LEXSTATE[] = {
  58      0, 0
  59   };
  60
  61   /**
  62    * Translates characters to character classes
  63    */
  64   private static final String ZZ_CMAP_PACKED =
  65     "\47\0\1\140\4\0\1\137\1\0\1\140\1\0\12\134\1\136\1\137"+
  66     "\5\0\32\132\4\0\1\141\1\0\32\132\57\0\1\132\2\0\1\133"+
  67     "\7\0\1\132\1\0\1\136\2\0\1\132\5\0\27\132\1\0\37\132"+
  68     "\1\0\u01ca\132\4\0\14\132\16\0\5\132\7\0\1\132\1\0\1\132"+
  69     "\21\0\160\133\5\132\1\0\2\132\2\0\4\132\1\137\7\0\1\132"+
  70     "\1\136\3\132\1\0\1\132\1\0\24\132\1\0\123\132\1\0\213\132"+
  71     "\1\0\7\133\236\132\11\0\46\132\2\0\1\132\7\0\47\132\1\0"+
  72     "\1\137\7\0\55\133\1\0\1\133\1\0\2\133\1\0\2\133\1\0"+
  73     "\1\133\10\0\33\132\5\0\4\132\1\136\13\0\4\133\10\0\2\137"+
  74     "\2\0\13\133\5\0\53\132\25\133\12\134\1\0\1\134\1\137\1\0"+
  75     "\2\132\1\133\143\132\1\0\1\132\7\133\1\133\1\0\6\133\2\132"+
  76     "\2\133\1\0\4\133\2\132\12\134\3\132\2\0\1\132\17\0\1\133"+
  77     "\1\132\1\133\36\132\33\133\2\0\131\132\13\133\1\132\16\0\12\134"+
  78     "\41\132\11\133\2\132\2\0\1\137\1\0\1\132\5\0\26\132\4\133"+
  79     "\1\132\11\133\1\132\3\133\1\132\5\133\22\0\31\132\3\133\244\0"+
  80     "\4\133\66\132\3\133\1\132\22\133\1\132\7\133\12\132\2\133\2\0"+
  81     "\12\134\1\0\7\132\1\0\7\132\1\0\3\133\1\0\10\132\2\0"+
  82     "\2\132\2\0\26\132\1\0\7\132\1\0\1\132\3\0\4\132\2\0"+
  83     "\1\133\1\132\7\133\2\0\2\133\2\0\3\133\1\132\10\0\1\133"+
  84     "\4\0\2\132\1\0\3\132\2\133\2\0\12\134\2\132\17\0\3\133"+
  85     "\1\0\6\132\4\0\2\132\2\0\26\132\1\0\7\132\1\0\2\132"+
  86     "\1\0\2\132\1\0\2\132\2\0\1\133\1\0\5\133\4\0\2\133"+
  87     "\2\0\3\133\3\0\1\133\7\0\4\132\1\0\1\132\7\0\12\134"+
  88     "\2\133\3\132\1\133\13\0\3\133\1\0\11\132\1\0\3\132\1\0"+
  89     "\26\132\1\0\7\132\1\0\2\132\1\0\5\132\2\0\1\133\1\132"+
  90     "\10\133\1\0\3\133\1\0\3\133\2\0\1\132\17\0\2\132\2\133"+
  91     "\2\0\12\134\21\0\3\133\1\0\10\132\2\0\2\132\2\0\26\132"+
  92     "\1\0\7\132\1\0\2\132\1\0\5\132\2\0\1\133\1\132\7\133"+
  93     "\2\0\2\133\2\0\3\133\10\0\2\133\4\0\2\132\1\0\3\132"+
  94     "\2\133\2\0\12\134\1\0\1\132\20\0\1\133\1\132\1\0\6\132"+
  95     "\3\0\3\132\1\0\4\132\3\0\2\132\1\0\1\132\1\0\2\132"+
  96     "\3\0\2\132\3\0\3\132\3\0\14\132\4\0\5\133\3\0\3\133"+
  97     "\1\0\4\133\2\0\1\132\6\0\1\133\16\0\12\134\21\0\3\133"+
  98     "\1\0\10\132\1\0\3\132\1\0\27\132\1\0\12\132\1\0\5\132"+
  99     "\3\0\1\132\7\133\1\0\3\133\1\0\4\133\7\0\2\133\1\0"+
 100     "\2\132\6\0\2\132\2\133\2\0\12\134\22\0\2\133\1\0\10\132"+
 101     "\1\0\3\132\1\0\27\132\1\0\12\132\1\0\5\132\2\0\1\133"+
 102     "\1\132\7\133\1\0\3\133\1\0\4\133\7\0\2\133\7\0\1\132"+
 103     "\1\0\2\132\2\133\2\0\12\134\1\0\2\132\17\0\2\133\1\0"+
 104     "\10\132\1\0\3\132\1\0\51\132\2\0\1\132\7\133\1\0\3\133"+
 105     "\1\0\4\133\1\132\10\0\1\133\10\0\2\132\2\133\2\0\12\134"+
 106     "\12\0\6\132\2\0\2\133\1\0\22\132\3\0\30\132\1\0\11\132"+
 107     "\1\0\1\132\2\0\7\132\3\0\1\133\4\0\6\133\1\0\1\133"+
 108     "\1\0\10\133\22\0\2\133\15\0\60\142\1\143\2\142\7\143\5\0"+
 109     "\7\142\10\143\1\0\12\134\47\0\2\142\1\0\1\142\2\0\2\142"+
 110     "\1\0\1\142\2\0\1\142\6\0\4\142\1\0\7\142\1\0\3\142"+
 111     "\1\0\1\142\1\0\1\142\2\0\2\142\1\0\4\142\1\143\2\142"+
 112     "\6\143\1\0\2\143\1\142\2\0\5\142\1\0\1\142\1\0\6\143"+
 113     "\2\0\12\134\2\0\2\142\42\0\1\132\27\0\2\133\6\0\12\134"+
 114     "\13\0\1\133\1\0\1\133\1\0\1\133\4\0\2\133\10\132\1\0"+
 115     "\44\132\4\0\24\133\1\0\2\133\5\132\13\133\1\0\44\133\11\0"+
 116     "\1\133\71\0\53\142\24\143\1\142\12\134\6\0\6\142\4\143\4\142"+
 117     "\3\143\1\142\3\143\2\142\7\143\3\142\4\143\15\142\14\143\1\142"+
 118     "\1\143\12\134\4\143\2\142\46\132\12\0\53\132\1\0\1\132\3\0"+
 119     "\u0100\146\111\132\1\0\4\132\2\0\7\132\1\0\1\132\1\0\4\132"+
 120     "\2\0\51\132\1\0\4\132\2\0\41\132\1\0\4\132\2\0\7\132"+
 121     "\1\0\1\132\1\0\4\132\2\0\17\132\1\0\71\132\1\0\4\132"+
 122     "\2\0\103\132\2\0\3\133\40\0\20\132\20\0\125\132\14\0\u026c\132"+
 123     "\2\0\21\132\1\0\32\132\5\0\113\132\3\0\3\132\17\0\15\132"+
 124     "\1\0\4\132\3\133\13\0\22\132\3\133\13\0\22\132\2\133\14\0"+
 125     "\15\132\1\0\3\132\1\0\2\133\14\0\64\142\2\143\36\143\3\0"+
 126     "\1\142\4\0\1\142\1\143\2\0\12\134\41\0\3\133\2\0\12\134"+
 127     "\6\0\130\132\10\0\51\132\1\133\1\132\5\0\106\132\12\0\35\132"+
 128     "\3\0\14\133\4\0\14\133\12\0\12\134\36\142\2\0\5\142\13\0"+
 129     "\54\142\4\0\21\143\7\142\2\143\6\0\12\134\1\142\3\0\2\142"+
 130     "\40\0\27\132\5\133\4\0\65\142\12\143\1\0\35\143\2\0\1\133"+
 131     "\12\134\6\0\12\134\6\0\16\142\122\0\5\133\57\132\21\133\7\132"+
 132     "\4\0\12\134\21\0\11\133\14\0\3\133\36\132\12\133\3\0\2\132"+
 133     "\12\134\6\0\46\132\16\133\14\0\44\132\24\133\10\0\12\134\3\0"+
 134     "\3\132\12\134\44\132\122\0\3\133\1\0\25\133\4\132\1\133\4\132"+
 135     "\1\133\15\0\300\132\47\133\25\0\4\133\u0116\132\2\0\6\132\2\0"+
 136     "\46\132\2\0\6\132\2\0\10\132\1\0\1\132\1\0\1\132\1\0"+
 137     "\1\132\1\0\37\132\2\0\65\132\1\0\7\132\1\0\1\132\3\0"+
 138     "\3\132\1\0\7\132\3\0\4\132\2\0\6\132\4\0\15\132\5\0"+
 139     "\3\132\1\0\7\132\17\0\2\133\2\133\10\0\2\140\12\0\1\140"+
 140     "\2\0\1\136\2\0\5\133\20\0\2\141\3\0\1\137\17\0\1\141"+
 141     "\13\0\5\133\5\0\6\133\1\0\1\132\15\0\1\132\20\0\15\132"+
 142     "\63\0\41\133\21\0\1\132\4\0\1\132\2\0\12\132\1\0\1\132"+
 143     "\3\0\5\132\6\0\1\132\1\0\1\132\1\0\1\132\1\0\4\132"+
 144     "\1\0\13\132\2\0\4\132\5\0\5\132\4\0\1\132\21\0\51\132"+
 145     "\u032d\0\64\132\u0716\0\57\132\1\0\57\132\1\0\205\132\6\0\4\132"+
 146     "\3\133\16\0\46\132\12\0\66\132\11\0\1\132\17\0\1\133\27\132"+
 147     "\11\0\7\132\1\0\7\132\1\0\7\132\1\0\7\132\1\0\7\132"+
 148     "\1\0\7\132\1\0\7\132\1\0\7\132\1\0\40\133\57\0\1\132"+
 149     "\120\0\32\144\1\0\131\144\14\0\326\144\57\0\1\132\1\0\1\144"+
 150     "\31\0\11\144\4\133\2\133\1\0\5\135\2\0\3\144\1\132\1\132"+
 151     "\4\0\126\145\2\0\2\133\2\135\3\145\133\135\1\0\4\135\5\0"+
 152     "\51\132\3\0\136\146\21\0\33\132\65\0\20\135\37\0\101\0\37\0"+
 153     "\121\0\57\135\1\0\130\135\250\0\u19b6\144\112\0\u51cc\144\64\0\u048d\132"+
 154     "\103\0\56\132\2\0\u010d\132\3\0\20\132\12\134\2\132\24\0\57\132"+
 155     "\4\133\11\0\2\133\1\0\31\132\10\0\120\132\2\133\45\0\11\132"+
 156     "\2\0\147\132\2\0\4\132\1\0\2\132\16\0\12\132\120\0\10\132"+
 157     "\1\133\3\132\1\133\4\132\1\133\27\132\5\133\30\0\64\132\14\0"+
 158     "\2\133\62\132\21\133\13\0\12\134\6\0\22\133\6\132\3\0\1\132"+
 159     "\4\0\12\134\34\132\10\133\2\0\27\132\15\133\14\0\35\146\3\0"+
 160     "\4\133\57\132\16\133\16\0\1\132\12\134\46\0\51\132\16\133\11\0"+
 161     "\3\132\1\133\10\132\2\133\2\0\12\134\6\0\33\142\1\143\4\0"+
 162     "\60\142\1\143\1\142\3\143\2\142\2\143\5\142\2\143\1\142\1\143"+
 163     "\1\142\30\0\5\142\41\0\6\132\2\0\6\132\2\0\6\132\11\0"+
 164     "\7\132\1\0\7\132\221\0\43\132\10\133\1\0\2\133\2\0\12\134"+
 165     "\6\0\u2ba4\146\14\0\27\146\4\0\61\146\4\0\1\31\1\25\1\46"+
 166     "\1\43\1\13\3\0\1\7\1\5\2\0\1\3\1\1\14\0\1\11"+
 167     "\21\0\1\112\7\0\1\65\1\17\6\0\1\130\3\0\1\120\1\120"+
 168     "\1\120\1\120\1\120\1\120\1\120\1\120\1\120\1\120\1\120\1\120"+
 169     "\1\120\1\120\1\120\1\120\1\120\1\120\1\120\1\120\1\120\1\120"+
 170     "\1\120\1\120\1\120\1\120\1\120\1\120\1\120\1\120\1\120\1\120"+
 171     "\1\120\1\120\1\120\1\120\1\120\1\120\1\120\1\120\1\120\1\121"+
 172     "\1\120\1\120\1\120\1\125\1\123\17\0\1\114\u02c1\0\1\70\277\0"+
 173     "\1\113\1\71\1\2\3\124\2\35\1\124\1\35\2\124\1\14\21\124"+
 174     "\2\60\7\73\1\72\7\73\7\52\1\15\1\52\1\75\2\45\1\44"+
 175     "\1\75\1\45\1\44\10\75\2\63\5\61\2\54\5\61\1\6\10\37"+
 176     "\5\21\3\27\12\106\20\27\3\42\32\30\1\26\2\24\2\110\1\111"+
 177     "\2\110\2\111\2\110\1\111\3\24\1\16\2\24\12\64\1\74\1\41"+
 178     "\1\34\1\64\6\41\1\34\66\41\5\115\6\103\1\51\4\103\2\51"+
 179     "\10\103\1\51\7\100\1\12\2\100\32\103\1\12\4\100\1\12\5\102"+
 180     "\1\101\1\102\3\101\7\102\1\101\23\102\5\67\3\102\6\67\2\67"+
 181     "\6\66\10\66\2\100\7\66\36\100\4\66\102\100\15\115\1\77\2\115"+
 182     "\1\131\3\117\1\115\2\117\5\115\4\117\4\116\1\115\3\116\1\115"+
 183     "\5\116\26\56\4\23\1\105\2\104\4\122\1\104\2\122\3\76\33\122"+
 184     "\35\55\3\122\35\126\3\122\6\126\2\33\31\126\1\33\17\126\6\122"+
 185     "\4\22\1\10\37\22\1\10\4\22\25\62\1\127\11\62\21\55\5\62"+
 186     "\1\57\12\40\13\62\4\55\1\50\6\55\12\122\17\55\1\47\3\53"+
 187     "\15\20\11\36\1\32\24\36\2\20\11\36\1\32\31\36\1\32\4\20"+
 188     "\4\36\2\32\2\107\1\4\5\107\52\4\u1900\0\u012e\144\2\0\76\144"+
 189     "\2\0\152\144\46\0\7\132\14\0\5\132\5\0\1\132\1\133\12\132"+
 190     "\1\0\15\132\1\0\5\132\1\0\1\132\1\0\2\132\1\0\2\132"+
 191     "\1\0\154\132\41\0\u016b\132\22\0\100\132\2\0\66\132\50\0\14\132"+
 192     "\4\0\20\133\1\137\2\0\1\136\1\137\13\0\7\133\14\0\2\141"+
 193     "\30\0\3\141\1\137\1\0\1\140\1\0\1\137\1\136\32\0\5\132"+
 194     "\1\0\207\132\2\0\1\133\7\0\1\140\4\0\1\137\1\0\1\140"+
 195     "\1\0\12\134\1\136\1\137\5\0\32\132\4\0\1\141\1\0\32\132"+
 196     "\13\0\70\135\2\133\37\146\3\0\6\146\2\0\6\146\2\0\6\146"+
 197     "\2\0\3\146\34\0\3\133\4\0";
 198
 199   /**
 200    * Translates characters to character classes
 201    */
 202   private static final char [] ZZ_CMAP = zzUnpackCMap(ZZ_CMAP_PACKED);
 203
 204   /**
 205    * Translates DFA states to action switch labels.
 206    */
 207   private static final int [] ZZ_ACTION = zzUnpackAction();
 208
 209   private static final String ZZ_ACTION_PACKED_0 =
 210     "\1\0\23\1\1\2\1\3\1\4\1\1\1\5\1\6"+
 211     "\1\7\1\10\15\0\1\2\1\0\1\2\10\0\1\3"+
 212     "\15\0\1\2\57\0";
 213
 214   private static int [] zzUnpackAction() {
 215     int [] result = new int[114];
 216     int offset = 0;
 217     offset = zzUnpackAction(ZZ_ACTION_PACKED_0, offset, result);
 218     return result;
 219   }
 220
 221   private static int zzUnpackAction(String packed, int offset, int [] result) {
 222     int i = 0;       /* index in packed string  */
 223     int j = offset;  /* index in unpacked array */
 224     int l = packed.length();
 225     while (i < l) {
 226       int count = packed.charAt(i++);
 227       int value = packed.charAt(i++);
 228       do result[j++] = value; while (--count > 0);
 229     }
 230     return j;
 231   }
 232
 233
 234   /**
 235    * Translates a state to a row index in the transition table
 236    */
 237   private static final int [] ZZ_ROWMAP = zzUnpackRowMap();
 238
 239   private static final String ZZ_ROWMAP_PACKED_0 =
 240     "\0\0\0\147\0\316\0\u0135\0\u019c\0\u0203\0\u026a\0\u02d1"+
 241     "\0\u0338\0\u039f\0\u0406\0\u046d\0\u04d4\0\u053b\0\u05a2\0\u0609"+
 242     "\0\u0670\0\u06d7\0\u073e\0\u07a5\0\u080c\0\u0873\0\u08da\0\u0941"+
 243     "\0\u09a8\0\147\0\147\0\u0a0f\0\316\0\u0135\0\u019c\0\u0203"+
 244     "\0\u026a\0\u0a76\0\u0add\0\u0b44\0\u0bab\0\u046d\0\u0c12\0\u0c79"+
 245     "\0\u0ce0\0\u0d47\0\u0dae\0\u0e15\0\u0e7c\0\u0338\0\u039f\0\u0ee3"+
 246     "\0\u0f4a\0\u0fb1\0\u1018\0\u107f\0\u10e6\0\u114d\0\u11b4\0\u121b"+
 247     "\0\u1282\0\u12e9\0\u1350\0\u13b7\0\u141e\0\u1485\0\u14ec\0\u1553"+
 248     "\0\u15ba\0\u0941\0\u1621\0\u1688\0\u16ef\0\u1756\0\u17bd\0\u1824"+
 249     "\0\u188b\0\u18f2\0\u1959\0\u19c0\0\u1a27\0\u1a8e\0\u1af5\0\u1b5c"+
 250     "\0\u1bc3\0\u1c2a\0\u1c91\0\u1cf8\0\u1d5f\0\u1dc6\0\u1e2d\0\u1e94"+
 251     "\0\u1efb\0\u1f62\0\u1fc9\0\u2030\0\u2097\0\u20fe\0\u2165\0\u21cc"+
 252     "\0\u2233\0\u229a\0\u2301\0\u2368\0\u23cf\0\u2436\0\u249d\0\u2504"+
 253     "\0\u256b\0\u25d2\0\u2639\0\u26a0\0\u2707\0\u276e\0\u27d5\0\u283c"+
 254     "\0\u28a3\0\u290a";
 255
 256   private static int [] zzUnpackRowMap() {
 257     int [] result = new int[114];
 258     int offset = 0;
 259     offset = zzUnpackRowMap(ZZ_ROWMAP_PACKED_0, offset, result);
 260     return result;
 261   }
 262
 263   private static int zzUnpackRowMap(String packed, int offset, int [] result) {
 264     int i = 0;  /* index in packed string  */
 265     int j = offset;  /* index in unpacked array */
 266     int l = packed.length();
 267     while (i < l) {
 268       int high = packed.charAt(i++) << 16;
 269       result[j++] = high | packed.charAt(i++);
 270     }
 271     return j;
 272   }
 273
 274   /**
 275    * The transition table of the DFA
 276    */
 277   private static final int [] ZZ_TRANS = zzUnpackTrans();
 278
 279   private static final String ZZ_TRANS_PACKED_0 =
 280     "\1\2\1\3\1\2\1\4\1\2\1\5\1\2\1\6"+
 281     "\1\2\1\7\1\2\1\10\3\2\1\11\5\2\1\12"+
 282     "\3\2\1\13\11\2\1\14\2\2\1\15\43\2\1\16"+
 283     "\1\2\1\17\3\2\1\20\1\21\1\2\1\22\1\2"+
 284     "\1\23\2\2\1\24\1\2\1\25\1\2\1\26\1\27"+
 285     "\3\2\1\30\2\31\1\32\1\33\1\34\151\0\1\25"+
 286     "\11\0\1\25\20\0\1\25\22\0\1\25\10\0\3\25"+
 287     "\17\0\1\25\10\0\1\25\24\0\1\25\1\0\1\25"+
 288     "\1\0\1\25\1\0\1\25\1\0\1\25\1\0\3\25"+
 289     "\1\0\5\25\1\0\3\25\1\0\11\25\1\0\2\25"+
 290     "\1\0\16\25\1\0\2\25\1\0\21\25\1\0\1\25"+
 291     "\1\0\3\25\2\0\1\25\1\0\1\25\1\0\2\25"+
 292     "\1\0\1\25\17\0\1\25\3\0\1\25\5\0\2\25"+
 293     "\3\0\1\25\13\0\1\25\1\0\1\25\4\0\2\25"+
 294     "\4\0\1\25\1\0\1\25\3\0\2\25\1\0\1\25"+
 295     "\5\0\3\25\1\0\1\25\15\0\1\25\10\0\1\25"+
 296     "\24\0\1\25\3\0\1\25\1\0\1\25\1\0\1\25"+
 297     "\1\0\3\25\2\0\4\25\1\0\3\25\2\0\3\25"+
 298     "\1\0\4\25\1\0\2\25\2\0\3\25\1\0\11\25"+
 299     "\1\0\2\25\1\0\16\25\1\0\2\25\1\0\1\25"+
 300     "\1\0\3\25\2\0\1\25\1\0\1\25\1\0\2\25"+
 301     "\1\0\1\25\17\0\1\25\3\0\1\25\3\0\1\25"+
 302     "\1\0\3\25\2\0\1\25\1\0\2\25\1\0\3\25"+
 303     "\3\0\2\25\1\0\1\25\1\0\2\25\1\0\2\25"+
 304     "\3\0\2\25\1\0\1\25\1\0\1\25\1\0\2\25"+
 305     "\1\0\2\25\1\0\2\25\1\0\5\25\1\0\5\25"+
 306     "\1\0\2\25\1\0\2\25\1\0\1\25\1\0\3\25"+
 307     "\4\0\1\25\4\0\1\25\31\0\3\25\5\0\1\25"+
 308     "\1\0\1\25\1\0\1\25\4\0\1\25\14\0\1\25"+
 309     "\5\0\1\25\11\0\2\25\12\0\1\26\1\0\2\25"+
 310     "\12\0\1\25\24\0\1\25\1\0\1\26\7\0\2\25"+
 311     "\2\0\5\25\2\0\2\25\4\0\6\25\1\0\2\25"+
 312     "\4\0\5\25\1\0\5\25\1\0\2\25\1\0\3\25"+
 313     "\1\0\4\25\1\0\5\25\1\26\1\0\1\25\1\0"+
 314     "\1\25\1\0\3\25\2\0\1\25\1\0\1\25\1\0"+
 315     "\1\25\2\0\1\25\17\0\1\25\3\0\1\25\5\0"+
 316     "\2\25\3\0\1\25\4\0\3\25\4\0\1\25\1\0"+
 317     "\1\25\2\0\1\25\1\0\2\25\4\0\1\25\1\0"+
 318     "\1\25\3\0\2\25\1\0\1\25\5\0\3\25\1\0"+
 319     "\1\25\10\0\1\25\1\0\2\26\1\0\1\25\10\0"+
 320     "\1\25\24\0\1\25\3\0\1\25\6\0\2\25\5\0"+
 321     "\1\25\1\0\1\25\1\0\1\25\1\0\11\25\2\0"+
 322     "\1\25\4\0\1\25\4\0\6\25\2\0\1\25\1\0"+
 323     "\1\25\1\0\3\25\3\0\2\25\4\0\3\25\1\0"+
 324     "\1\25\10\0\1\25\1\0\2\25\21\0\1\25\11\0"+
 325     "\2\25\17\0\1\25\6\0\2\25\4\0\1\25\5\0"+
 326     "\1\25\2\0\1\25\5\0\3\25\1\0\1\25\15\0"+
 327     "\1\25\10\0\1\25\24\0\1\25\3\0\1\25\5\0"+
 328     "\1\25\32\0\15\25\5\0\3\25\1\0\1\25\5\0"+
 329     "\1\25\7\0\1\25\2\0\1\25\5\0\1\25\2\0"+
 330     "\1\25\1\0\1\25\106\0\1\33\21\0\1\27\35\0"+
 331     "\1\32\3\0\1\32\3\0\1\32\1\0\3\32\2\0"+
 332     "\1\32\2\0\1\32\1\0\3\32\3\0\2\32\1\0"+
 333     "\1\32\1\0\2\32\1\0\2\32\3\0\2\32\1\0"+
 334     "\1\32\3\0\2\32\1\0\2\32\1\0\2\32\1\0"+
 335     "\5\32\1\0\5\32\2\0\1\32\1\0\2\32\1\0"+
 336     "\1\32\1\0\3\32\4\0\1\32\4\0\1\32\17\0"+
 337     "\1\32\1\0\1\32\1\0\1\32\1\0\1\32\1\0"+
 338     "\1\32\1\0\3\32\1\0\5\32\1\0\3\32\1\0"+
 339     "\11\32\1\0\2\32\1\0\16\32\1\0\2\32\1\0"+
 340     "\21\32\1\0\1\32\1\0\3\32\2\0\1\32\1\0"+
 341     "\1\32\1\0\2\32\1\0\1\32\17\0\1\32\1\0"+
 342     "\1\32\1\0\1\32\3\0\1\32\1\0\3\32\1\0"+
 343     "\2\32\1\0\2\32\1\0\3\32\1\0\11\32\1\0"+
 344     "\2\32\1\0\16\32\1\0\2\32\1\0\21\32\1\0"+
 345     "\1\32\1\0\3\32\2\0\1\32\1\0\1\32\1\0"+
 346     "\2\32\1\0\1\32\17\0\1\32\11\0\1\32\20\0"+
 347     "\1\32\33\0\1\32\21\0\1\32\10\0\1\32\24\0"+
 348     "\1\32\1\0\1\32\1\0\1\32\1\0\1\32\1\0"+
 349     "\1\32\1\0\3\32\1\0\5\32\1\0\3\32\1\0"+
 350     "\6\32\1\0\2\32\1\0\2\32\1\0\10\32\1\0"+
 351     "\5\32\1\0\2\32\1\0\21\32\1\0\1\32\1\0"+
 352     "\3\32\2\0\1\32\1\0\1\32\1\0\2\32\1\0"+
 353     "\1\32\146\0\1\33\16\0\1\35\1\0\1\36\1\0"+
 354     "\1\37\1\0\1\40\1\0\1\41\1\0\1\42\3\0"+
 355     "\1\43\5\0\1\44\3\0\1\45\11\0\1\46\2\0"+
 356     "\1\47\16\0\1\50\2\0\1\51\41\0\2\25\1\52"+
 357     "\1\0\1\53\1\0\1\53\1\54\1\0\1\25\2\0"+
 358     "\1\25\1\0\1\35\1\0\1\36\1\0\1\37\1\0"+
 359     "\1\40\1\0\1\41\1\0\1\55\3\0\1\56\5\0"+
 360     "\1\57\3\0\1\60\11\0\1\46\2\0\1\61\16\0"+
 361     "\1\62\2\0\1\63\41\0\1\25\2\26\2\0\2\64"+
 362     "\1\65\1\0\1\26\2\0\1\25\13\0\1\66\15\0"+
 363     "\1\67\14\0\1\70\16\0\1\71\2\0\1\72\21\0"+
 364     "\1\73\20\0\1\27\1\0\1\27\3\0\1\54\1\0"+
 365     "\1\27\4\0\1\35\1\0\1\36\1\0\1\37\1\0"+
 366     "\1\40\1\0\1\41\1\0\1\74\3\0\1\56\5\0"+
 367     "\1\57\3\0\1\75\11\0\1\46\2\0\1\76\16\0"+
 368     "\1\77\2\0\1\100\21\0\1\101\17\0\1\25\1\102"+
 369     "\1\26\1\103\3\0\1\102\1\0\1\102\2\0\1\25"+
 370     "\142\0\2\31\4\0\1\35\1\0\1\36\1\0\1\37"+
 371     "\1\0\1\40\1\0\1\41\1\0\1\104\3\0\1\43"+
 372     "\5\0\1\44\3\0\1\105\11\0\1\46\2\0\1\106"+
 373     "\16\0\1\107\2\0\1\110\41\0\1\25\1\34\1\52"+
 374     "\1\0\1\53\1\0\1\53\1\54\1\0\1\34\2\0"+
 375     "\1\34\2\0\1\25\11\0\3\25\5\0\1\25\1\0"+
 376     "\1\25\1\0\1\25\4\0\1\25\4\0\1\25\1\0"+
 377     "\2\25\4\0\1\25\5\0\1\25\3\0\1\25\4\0"+
 378     "\5\25\10\0\1\52\1\0\2\25\1\0\1\25\10\0"+
 379     "\1\25\24\0\1\25\1\0\1\52\7\0\2\25\2\0"+
 380     "\5\25\2\0\2\25\4\0\6\25\1\0\2\25\4\0"+
 381     "\5\25\1\0\5\25\1\0\2\25\1\0\3\25\1\0"+
 382     "\4\25\1\0\5\25\1\52\1\0\1\25\1\0\1\25"+
 383     "\1\0\3\25\2\0\1\25\1\0\1\25\1\0\1\25"+
 384     "\2\0\1\25\17\0\1\25\3\0\1\25\5\0\2\25"+
 385     "\3\0\1\25\4\0\3\25\4\0\1\25\1\0\1\25"+
 386     "\2\0\1\25\1\0\2\25\4\0\1\25\1\0\1\25"+
 387     "\3\0\2\25\1\0\1\25\5\0\3\25\1\0\1\25"+
 388     "\10\0\1\25\1\0\2\52\1\0\1\25\10\0\1\25"+
 389     "\24\0\1\25\3\0\1\25\6\0\2\25\5\0\1\25"+
 390     "\1\0\1\25\1\0\1\25\1\0\11\25\2\0\1\25"+
 391     "\4\0\1\25\4\0\6\25\2\0\1\25\1\0\1\25"+
 392     "\1\0\3\25\1\0\1\25\1\0\2\25\4\0\3\25"+
 393     "\1\0\1\25\10\0\1\25\1\0\2\25\21\0\1\25"+
 394     "\3\0\1\25\5\0\1\25\32\0\15\25\5\0\3\25"+
 395     "\1\0\1\25\5\0\3\25\5\0\1\25\2\0\2\25"+
 396     "\4\0\1\25\2\0\1\25\1\0\1\25\103\0\2\25"+
 397     "\6\0\1\25\56\0\1\25\3\0\1\25\2\0\1\25"+
 398     "\3\0\1\25\5\0\1\25\7\0\1\25\4\0\2\25"+
 399     "\3\0\2\25\1\0\1\25\4\0\1\25\1\0\1\25"+
 400     "\2\0\2\25\1\0\3\25\1\0\1\25\2\0\4\25"+
 401     "\2\0\1\25\41\0\1\35\1\0\1\36\1\0\1\37"+
 402     "\1\0\1\40\1\0\1\41\1\0\1\111\3\0\1\43"+
 403     "\5\0\1\44\3\0\1\112\11\0\1\46\2\0\1\113"+
 404     "\16\0\1\114\2\0\1\115\41\0\1\25\2\52\2\0"+
 405     "\2\116\1\54\1\0\1\52\2\0\1\25\1\0\1\35"+
 406     "\1\0\1\36\1\0\1\37\1\0\1\40\1\0\1\41"+
 407     "\1\0\1\117\3\0\1\120\5\0\1\121\3\0\1\122"+
 408     "\11\0\1\46\2\0\1\123\16\0\1\124\2\0\1\125"+
 409     "\41\0\1\25\1\53\7\0\1\53\2\0\1\25\1\0"+
 410     "\1\35\1\0\1\36\1\0\1\37\1\0\1\40\1\0"+
 411     "\1\41\1\0\1\126\3\0\1\43\5\0\1\44\3\0"+
 412     "\1\127\11\0\1\46\2\0\1\130\16\0\1\131\2\0"+
 413     "\1\132\21\0\1\101\17\0\1\25\1\54\1\52\1\103"+
 414     "\3\0\1\54\1\0\1\54\2\0\1\25\2\0\1\26"+
 415     "\11\0\3\25\5\0\1\25\1\0\1\25\1\0\1\25"+
 416     "\4\0\1\25\4\0\1\26\1\0\2\26\4\0\1\25"+
 417     "\5\0\1\25\3\0\1\26\4\0\1\26\2\25\2\26"+
 418     "\10\0\1\26\1\0\2\25\1\0\1\26\10\0\1\25"+
 419     "\24\0\1\25\3\0\1\25\6\0\2\25\5\0\1\25"+
 420     "\1\0\1\25\1\0\1\25\1\0\11\25\2\0\1\25"+
 421     "\4\0\1\25\4\0\6\25\2\0\1\25\1\0\1\25"+
 422     "\1\0\3\25\1\0\1\26\1\0\2\25\4\0\3\25"+
 423     "\1\0\1\25\10\0\1\25\1\0\2\25\21\0\1\25"+
 424     "\3\0\1\25\5\0\1\25\32\0\15\25\5\0\3\25"+
 425     "\1\0\1\25\5\0\1\25\2\26\5\0\1\25\2\0"+
 426     "\1\25\1\26\4\0\1\25\2\0\1\25\1\0\1\25"+
 427     "\103\0\2\26\6\0\1\26\56\0\1\26\3\0\1\26"+
 428     "\2\0\1\26\3\0\1\26\5\0\1\26\7\0\1\26"+
 429     "\4\0\2\26\3\0\2\26\1\0\1\26\4\0\1\26"+
 430     "\1\0\1\26\2\0\2\26\1\0\3\26\1\0\1\26"+
 431     "\2\0\4\26\2\0\1\26\53\0\1\133\3\0\1\134"+
 432     "\5\0\1\135\3\0\1\136\14\0\1\137\16\0\1\140"+
 433     "\2\0\1\141\42\0\1\64\1\26\6\0\1\64\4\0"+
 434     "\1\35\1\0\1\36\1\0\1\37\1\0\1\40\1\0"+
 435     "\1\41\1\0\1\142\3\0\1\56\5\0\1\57\3\0"+
 436     "\1\143\11\0\1\46\2\0\1\144\16\0\1\145\2\0"+
 437     "\1\146\21\0\1\101\17\0\1\25\1\65\1\26\1\103"+
 438     "\3\0\1\65\1\0\1\65\2\0\1\25\2\0\1\27"+
 439     "\37\0\1\27\1\0\2\27\16\0\1\27\4\0\1\27"+
 440     "\2\0\2\27\15\0\1\27\132\0\1\27\153\0\2\27"+
 441     "\11\0\1\27\115\0\2\27\6\0\1\27\56\0\1\27"+
 442     "\3\0\1\27\2\0\1\27\3\0\1\27\5\0\1\27"+
 443     "\7\0\1\27\4\0\2\27\3\0\2\27\1\0\1\27"+
 444     "\4\0\1\27\1\0\1\27\2\0\2\27\1\0\3\27"+
 445     "\1\0\1\27\2\0\4\27\2\0\1\27\153\0\1\27"+
 446     "\35\0\1\102\11\0\3\25\5\0\1\25\1\0\1\25"+
 447     "\1\0\1\25\4\0\1\25\4\0\1\102\1\0\2\102"+
 448     "\4\0\1\25\5\0\1\25\3\0\1\102\4\0\1\102"+
 449     "\2\25\2\102\10\0\1\26\1\0\2\25\1\0\1\102"+
 450     "\10\0\1\25\24\0\1\25\3\0\1\25\6\0\2\25"+
 451     "\5\0\1\25\1\0\1\25\1\0\1\25\1\0\11\25"+
 452     "\2\0\1\25\4\0\1\25\4\0\6\25\2\0\1\25"+
 453     "\1\0\1\25\1\0\3\25\1\0\1\102\1\0\2\25"+
 454     "\4\0\3\25\1\0\1\25\10\0\1\25\1\0\2\25"+
 455     "\21\0\1\25\3\0\1\25\5\0\1\25\32\0\15\25"+
 456     "\5\0\3\25\1\0\1\25\5\0\1\25\2\102\5\0"+
 457     "\1\25\2\0\1\25\1\102\4\0\1\25\2\0\1\25"+
 458     "\1\0\1\25\103\0\2\102\6\0\1\102\56\0\1\102"+
 459     "\3\0\1\102\2\0\1\102\3\0\1\102\5\0\1\102"+
 460     "\7\0\1\102\4\0\2\102\3\0\2\102\1\0\1\102"+
 461     "\4\0\1\102\1\0\1\102\2\0\2\102\1\0\3\102"+
 462     "\1\0\1\102\2\0\4\102\2\0\1\102\153\0\1\103"+
 463     "\46\0\1\147\15\0\1\150\14\0\1\151\16\0\1\152"+
 464     "\2\0\1\153\21\0\1\101\20\0\1\103\1\0\1\103"+
 465     "\3\0\1\54\1\0\1\103\5\0\1\34\11\0\3\25"+
 466     "\5\0\1\25\1\0\1\25\1\0\1\25\4\0\1\25"+
 467     "\4\0\1\34\1\0\2\34\4\0\1\25\5\0\1\25"+
 468     "\3\0\1\34\4\0\1\34\2\25\2\34\10\0\1\52"+
 469     "\1\0\2\25\1\0\1\34\10\0\1\25\24\0\1\25"+
 470     "\3\0\1\25\6\0\2\25\5\0\1\25\1\0\1\25"+
 471     "\1\0\1\25\1\0\11\25\2\0\1\25\4\0\1\25"+
 472     "\4\0\6\25\2\0\1\25\1\0\1\25\1\0\3\25"+
 473     "\1\0\1\34\1\0\2\25\4\0\3\25\1\0\1\25"+
 474     "\10\0\1\25\1\0\2\25\21\0\1\25\3\0\1\25"+
 475     "\5\0\1\25\32\0\15\25\5\0\3\25\1\0\1\25"+
 476     "\5\0\1\25\2\34\5\0\1\25\2\0\1\25\1\34"+
 477     "\4\0\1\25\2\0\1\25\1\0\1\25\103\0\2\34"+
 478     "\6\0\1\34\56\0\1\34\3\0\1\34\2\0\1\34"+
 479     "\3\0\1\34\5\0\1\34\7\0\1\34\4\0\2\34"+
 480     "\3\0\2\34\1\0\1\34\4\0\1\34\1\0\1\34"+
 481     "\2\0\2\34\1\0\3\34\1\0\1\34\2\0\4\34"+
 482     "\2\0\1\34\42\0\1\52\11\0\3\25\5\0\1\25"+
 483     "\1\0\1\25\1\0\1\25\4\0\1\25\4\0\1\52"+
 484     "\1\0\2\52\4\0\1\25\5\0\1\25\3\0\1\52"+
 485     "\4\0\1\52\2\25\2\52\10\0\1\52\1\0\2\25"+
 486     "\1\0\1\52\10\0\1\25\24\0\1\25\3\0\1\25"+
 487     "\6\0\2\25\5\0\1\25\1\0\1\25\1\0\1\25"+
 488     "\1\0\11\25\2\0\1\25\4\0\1\25\4\0\6\25"+
 489     "\2\0\1\25\1\0\1\25\1\0\3\25\1\0\1\52"+
 490     "\1\0\2\25\4\0\3\25\1\0\1\25\10\0\1\25"+
 491     "\1\0\2\25\21\0\1\25\3\0\1\25\5\0\1\25"+
 492     "\32\0\15\25\5\0\3\25\1\0\1\25\5\0\1\25"+
 493     "\2\52\5\0\1\25\2\0\1\25\1\52\4\0\1\25"+
 494     "\2\0\1\25\1\0\1\25\103\0\2\52\6\0\1\52"+
 495     "\56\0\1\52\3\0\1\52\2\0\1\52\3\0\1\52"+
 496     "\5\0\1\52\7\0\1\52\4\0\2\52\3\0\2\52"+
 497     "\1\0\1\52\4\0\1\52\1\0\1\52\2\0\2\52"+
 498     "\1\0\3\52\1\0\1\52\2\0\4\52\2\0\1\52"+
 499     "\53\0\1\154\3\0\1\155\5\0\1\156\3\0\1\157"+
 500     "\14\0\1\160\16\0\1\161\2\0\1\162\42\0\1\116"+
 501     "\1\52\6\0\1\116\5\0\1\53\11\0\3\25\5\0"+
 502     "\1\25\1\0\1\25\1\0\1\25\4\0\1\25\4\0"+
 503     "\1\53\1\0\2\53\4\0\1\25\5\0\1\25\3\0"+
 504     "\1\53\4\0\1\53\2\25\2\53\12\0\2\25\1\0"+
 505     "\1\53\10\0\1\25\24\0\1\25\11\0\2\25\2\0"+
 506     "\5\25\2\0\2\25\4\0\6\25\1\0\2\25\4\0"+
 507     "\5\25\1\0\5\25\1\0\2\25\1\0\3\25\1\0"+
 508     "\4\25\1\0\5\25\2\0\1\25\1\0\1\25\1\0"+
 509     "\3\25\2\0\1\25\1\0\1\25\1\0\1\25\2\0"+
 510     "\1\25\17\0\1\25\3\0\1\25\5\0\2\25\3\0"+
 511     "\1\25\4\0\3\25\4\0\1\25\1\0\1\25\2\0"+
 512     "\1\25\1\0\2\25\4\0\1\25\1\0\1\25\3\0"+
 513     "\2\25\1\0\1\25\5\0\3\25\1\0\1\25\10\0"+
 514     "\1\25\4\0\1\25\10\0\1\25\24\0\1\25\3\0"+
 515     "\1\25\6\0\2\25\5\0\1\25\1\0\1\25\1\0"+
 516     "\1\25\1\0\11\25\2\0\1\25\4\0\1\25\4\0"+
 517     "\6\25\2\0\1\25\1\0\1\25\1\0\3\25\1\0"+
 518     "\1\53\1\0\2\25\4\0\3\25\1\0\1\25\10\0"+
 519     "\1\25\1\0\2\25\21\0\1\25\3\0\1\25\5\0"+
 520     "\1\25\32\0\15\25\5\0\3\25\1\0\1\25\5\0"+
 521     "\1\25\2\53\5\0\1\25\2\0\1\25\1\53\4\0"+
 522     "\1\25\2\0\1\25\1\0\1\25\103\0\2\53\6\0"+
 523     "\1\53\56\0\1\53\3\0\1\53\2\0\1\53\3\0"+
 524     "\1\53\5\0\1\53\7\0\1\53\4\0\2\53\3\0"+
 525     "\2\53\1\0\1\53\4\0\1\53\1\0\1\53\2\0"+
 526     "\2\53\1\0\3\53\1\0\1\53\2\0\4\53\2\0"+
 527     "\1\53\42\0\1\54\11\0\3\25\5\0\1\25\1\0"+
 528     "\1\25\1\0\1\25\4\0\1\25\4\0\1\54\1\0"+
 529     "\2\54\4\0\1\25\5\0\1\25\3\0\1\54\4\0"+
 530     "\1\54\2\25\2\54\10\0\1\52\1\0\2\25\1\0"+
 531     "\1\54\10\0\1\25\24\0\1\25\3\0\1\25\6\0"+
 532     "\2\25\5\0\1\25\1\0\1\25\1\0\1\25\1\0"+
 533     "\11\25\2\0\1\25\4\0\1\25\4\0\6\25\2\0"+
 534     "\1\25\1\0\1\25\1\0\3\25\1\0\1\54\1\0"+
 535     "\2\25\4\0\3\25\1\0\1\25\10\0\1\25\1\0"+
 536     "\2\25\21\0\1\25\3\0\1\25\5\0\1\25\32\0"+
 537     "\15\25\5\0\3\25\1\0\1\25\5\0\1\25\2\54"+
 538     "\5\0\1\25\2\0\1\25\1\54\4\0\1\25\2\0"+
 539     "\1\25\1\0\1\25\103\0\2\54\6\0\1\54\56\0"+
 540     "\1\54\3\0\1\54\2\0\1\54\3\0\1\54\5\0"+
 541     "\1\54\7\0\1\54\4\0\2\54\3\0\2\54\1\0"+
 542     "\1\54\4\0\1\54\1\0\1\54\2\0\2\54\1\0"+
 543     "\3\54\1\0\1\54\2\0\4\54\2\0\1\54\42\0"+
 544     "\1\64\37\0\1\64\1\0\2\64\16\0\1\64\4\0"+
 545     "\1\64\2\0\2\64\10\0\1\26\4\0\1\64\37\0"+
 546     "\1\26\102\0\1\26\147\0\2\26\134\0\1\64\153\0"+
 547     "\2\64\11\0\1\64\115\0\2\64\6\0\1\64\56\0"+
 548     "\1\64\3\0\1\64\2\0\1\64\3\0\1\64\5\0"+
 549     "\1\64\7\0\1\64\4\0\2\64\3\0\2\64\1\0"+
 550     "\1\64\4\0\1\64\1\0\1\64\2\0\2\64\1\0"+
 551     "\3\64\1\0\1\64\2\0\4\64\2\0\1\64\42\0"+
 552     "\1\65\11\0\3\25\5\0\1\25\1\0\1\25\1\0"+
 553     "\1\25\4\0\1\25\4\0\1\65\1\0\2\65\4\0"+
 554     "\1\25\5\0\1\25\3\0\1\65\4\0\1\65\2\25"+
 555     "\2\65\10\0\1\26\1\0\2\25\1\0\1\65\10\0"+
 556     "\1\25\24\0\1\25\3\0\1\25\6\0\2\25\5\0"+
 557     "\1\25\1\0\1\25\1\0\1\25\1\0\11\25\2\0"+
 558     "\1\25\4\0\1\25\4\0\6\25\2\0\1\25\1\0"+
 559     "\1\25\1\0\3\25\1\0\1\65\1\0\2\25\4\0"+
 560     "\3\25\1\0\1\25\10\0\1\25\1\0\2\25\21\0"+
 561     "\1\25\3\0\1\25\5\0\1\25\32\0\15\25\5\0"+
 562     "\3\25\1\0\1\25\5\0\1\25\2\65\5\0\1\25"+
 563     "\2\0\1\25\1\65\4\0\1\25\2\0\1\25\1\0"+
 564     "\1\25\103\0\2\65\6\0\1\65\56\0\1\65\3\0"+
 565     "\1\65\2\0\1\65\3\0\1\65\5\0\1\65\7\0"+
 566     "\1\65\4\0\2\65\3\0\2\65\1\0\1\65\4\0"+
 567     "\1\65\1\0\1\65\2\0\2\65\1\0\3\65\1\0"+
 568     "\1\65\2\0\4\65\2\0\1\65\42\0\1\103\37\0"+
 569     "\1\103\1\0\2\103\16\0\1\103\4\0\1\103\2\0"+
 570     "\2\103\15\0\1\103\132\0\1\103\153\0\2\103\11\0"+
 571     "\1\103\115\0\2\103\6\0\1\103\56\0\1\103\3\0"+
 572     "\1\103\2\0\1\103\3\0\1\103\5\0\1\103\7\0"+
 573     "\1\103\4\0\2\103\3\0\2\103\1\0\1\103\4\0"+
 574     "\1\103\1\0\1\103\2\0\2\103\1\0\3\103\1\0"+
 575     "\1\103\2\0\4\103\2\0\1\103\42\0\1\116\37\0"+
 576     "\1\116\1\0\2\116\16\0\1\116\4\0\1\116\2\0"+
 577     "\2\116\10\0\1\52\4\0\1\116\37\0\1\52\102\0"+
 578     "\1\52\147\0\2\52\134\0\1\116\153\0\2\116\11\0"+
 579     "\1\116\115\0\2\116\6\0\1\116\56\0\1\116\3\0"+
 580     "\1\116\2\0\1\116\3\0\1\116\5\0\1\116\7\0"+
 581     "\1\116\4\0\2\116\3\0\2\116\1\0\1\116\4\0"+
 582     "\1\116\1\0\1\116\2\0\2\116\1\0\3\116\1\0"+
 583     "\1\116\2\0\4\116\2\0\1\116\40\0";
 584
 585   private static int [] zzUnpackTrans() {
 586     int [] result = new int[10609];
 587     int offset = 0;
 588     offset = zzUnpackTrans(ZZ_TRANS_PACKED_0, offset, result);
 589     return result;
 590   }
 591
 592   private static int zzUnpackTrans(String packed, int offset, int [] result) {
 593     int i = 0;       /* index in packed string  */
 594     int j = offset;  /* index in unpacked array */
 595     int l = packed.length();
 596     while (i < l) {
 597       int count = packed.charAt(i++);
 598       int value = packed.charAt(i++);
 599       value--;
 600       do result[j++] = value; while (--count > 0);
 601     }
 602     return j;
 603   }
 604
 605
 606   /* error codes */
 607   private static final int ZZ_UNKNOWN_ERROR = 0;
 608   private static final int ZZ_NO_MATCH = 1;
 609   private static final int ZZ_PUSHBACK_2BIG = 2;
 610
 611   /* error messages for the codes above */
 612   private static final String ZZ_ERROR_MSG[] = {
 613     "Unkown internal scanner error",
 614     "Error: could not match input",
 615     "Error: pushback value was too large"
 616   };
 617
 618   /**
 619    * ZZ_ATTRIBUTE[aState] contains the attributes of state <code>aState</code>
 620    */
 621   private static final int [] ZZ_ATTRIBUTE = zzUnpackAttribute();
 622
 623   private static final String ZZ_ATTRIBUTE_PACKED_0 =
 624     "\1\0\1\11\27\1\2\11\1\1\15\0\1\1\1\0"+
 625     "\1\1\10\0\1\1\15\0\1\1\57\0";
 626
 627   private static int [] zzUnpackAttribute() {
 628     int [] result = new int[114];
 629     int offset = 0;
 630     offset = zzUnpackAttribute(ZZ_ATTRIBUTE_PACKED_0, offset, result);
 631     return result;
 632   }
 633
 634   private static int zzUnpackAttribute(String packed, int offset, int [] result) {
 635     int i = 0;       /* index in packed string  */
 636     int j = offset;  /* index in unpacked array */
 637     int l = packed.length();
 638     while (i < l) {
 639       int count = packed.charAt(i++);
 640       int value = packed.charAt(i++);
 641       do result[j++] = value; while (--count > 0);
 642     }
 643     return j;
 644   }
 645
 646   /** the input device */
 647   private java.io.Reader zzReader;
 648
 649   /** the current state of the DFA */
 650   private int zzState;
 651
 652   /** the current lexical state */
 653   private int zzLexicalState = YYINITIAL;
 654
 655   /** this buffer contains the current text to be matched and is
 656       the source of the yytext() string */
 657   private char zzBuffer[] = new char[ZZ_BUFFERSIZE];
 658
 659   /** the textposition at the last accepting state */
 660   private int zzMarkedPos;
 661
 662   /** the current text position in the buffer */
 663   private int zzCurrentPos;
 664
 665   /** startRead marks the beginning of the yytext() string in the buffer */
 666   private int zzStartRead;
 667
 668   /** endRead marks the last character in the buffer, that has been read
 669       from input */
 670   private int zzEndRead;
 671
 672   /** number of newlines encountered up to the start of the matched text */
 673   private int yyline;
 674
 675   /** the number of characters up to the start of the matched text */
 676   private int yychar;
 677
 678   /**
 679    * the number of characters from the last newline up to the start of the
 680    * matched text
 681    */
 682   private int yycolumn;
 683
 684   /**
 685    * zzAtBOL == true <=> the scanner is currently at the beginning of a line
 686    */
 687   private boolean zzAtBOL = true;
 688
 689   /** zzAtEOF == true <=> the scanner is at the EOF */
 690   private boolean zzAtEOF;
 691
 692   /** denotes if the user-EOF-code has already been executed */
 693   private boolean zzEOFDone;
 694
 695   /* user code: */
 696   /** Alphanumeric sequences */
 697   public static final int WORD_TYPE = StandardTokenizer.ALPHANUM;
 698
 699   /** Numbers */
 700   public static final int NUMERIC_TYPE = StandardTokenizer.NUM;
 701
 702   /**
 703    * Chars in class \p{Line_Break = Complex_Context} are from South East Asian
 704    * scripts (Thai, Lao, Myanmar, Khmer, etc.).  Sequences of these are kept
 705    * together as as a single token rather than broken up, because the logic
 706    * required to break them at word boundaries is too complex for UAX#29.
 707    * <p>
 708    * See Unicode Line Breaking Algorithm: http://www.unicode.org/reports/tr14/#SA
 709    */
 710   public static final int SOUTH_EAST_ASIAN_TYPE = StandardTokenizer.SOUTHEAST_ASIAN;
 711
 712   public static final int IDEOGRAPHIC_TYPE = StandardTokenizer.IDEOGRAPHIC;
 713
 714   public static final int HIRAGANA_TYPE = StandardTokenizer.HIRAGANA;
 715
 716   public static final int KATAKANA_TYPE = StandardTokenizer.KATAKANA;
 717
 718   public static final int HANGUL_TYPE = StandardTokenizer.HANGUL;
 719
 720   public final int yychar()
 721   {
 722     return yychar;
 723   }
 724
 725   /**
 726    * Fills CharTermAttribute with the current token text.
 727    */
 728   public final void getText(CharTermAttribute t) {
 729     t.copyBuffer(zzBuffer, zzStartRead, zzMarkedPos-zzStartRead);
 730   }
 731
 732
 733   /**
 734    * Creates a new scanner
 735    * There is also a java.io.InputStream version of this constructor.
 736    *
 737    * @param   in  the java.io.Reader to read input from.
 738    */
 739   public StandardTokenizerImpl31(java.io.Reader in) {
 740     this.zzReader = in;
 741   }
 742
 743   /**
 744    * Creates a new scanner.
 745    * There is also java.io.Reader version of this constructor.
 746    *
 747    * @param   in  the java.io.Inputstream to read input from.
 748    */
 749   public StandardTokenizerImpl31(java.io.InputStream in) {
 750     this(new java.io.InputStreamReader(in));
 751   }
 752
 753   /**
 754    * Unpacks the compressed character translation table.
 755    *
 756    * @param packed   the packed character translation table
 757    * @return         the unpacked character translation table
 758    */
 759   private static char [] zzUnpackCMap(String packed) {
 760     char [] map = new char[0x10000];
 761     int i = 0;  /* index in packed string  */
 762     int j = 0;  /* index in unpacked array */
 763     while (i < 2650) {
 764       int  count = packed.charAt(i++);
 765       char value = packed.charAt(i++);
 766       do map[j++] = value; while (--count > 0);
 767     }
 768     return map;
 769   }
 770
 771
 772   /**
 773    * Refills the input buffer.
 774    *
 775    * @return      <code>false</code>, iff there was new input.
 776    *
 777    * @exception   java.io.IOException  if any I/O-Error occurs
 778    */
 779   private boolean zzRefill() throws java.io.IOException {
 780
 781     /* first: make room (if you can) */
 782     if (zzStartRead > 0) {
 783       System.arraycopy(zzBuffer, zzStartRead,
 784                        zzBuffer, 0,
 785                        zzEndRead-zzStartRead);
 786
 787       /* translate stored positions */
 788       zzEndRead-= zzStartRead;
 789       zzCurrentPos-= zzStartRead;
 790       zzMarkedPos-= zzStartRead;
 791       zzStartRead = 0;
 792     }
 793
 794     /* is the buffer big enough? */
 795     if (zzCurrentPos >= zzBuffer.length) {
 796       /* if not: blow it up */
 797       char newBuffer[] = new char[zzCurrentPos*2];
 798       System.arraycopy(zzBuffer, 0, newBuffer, 0, zzBuffer.length);
 799       zzBuffer = newBuffer;
 800     }
 801
 802     /* finally: fill the buffer with new input */
 803     int numRead = zzReader.read(zzBuffer, zzEndRead,
 804                                             zzBuffer.length-zzEndRead);
 805
 806     if (numRead > 0) {
 807       zzEndRead+= numRead;
 808       return false;
 809     }
 810     // unlikely but not impossible: read 0 characters, but not at end of stream
 811     if (numRead == 0) {
 812       int c = zzReader.read();
 813       if (c == -1) {
 814         return true;
 815       } else {
 816         zzBuffer[zzEndRead++] = (char) c;
 817         return false;
 818       }
 819     }
 820
 821         // numRead < 0
 822     return true;
 823   }
 824
 825
 826   /**
 827    * Closes the input stream.
 828    */
 829   public final void yyclose() throws java.io.IOException {
 830     zzAtEOF = true;            /* indicate end of file */
 831     zzEndRead = zzStartRead;  /* invalidate buffer    */
 832
 833     if (zzReader != null)
 834       zzReader.close();
 835   }
 836
 837
 838   /**
 839    * Resets the scanner to read from a new input stream.
 840    * Does not close the old reader.
 841    *
 842    * All internal variables are reset, the old input stream
 843    * <b>cannot</b> be reused (internal buffer is discarded and lost).
 844    * Lexical state is set to <tt>ZZ_INITIAL</tt>.
 845    *
 846    * Internal scan buffer is resized down to its initial length, if it has grown.
 847    *
 848    * @param reader   the new input stream
 849    */
 850   public final void yyreset(java.io.Reader reader) {
 851     zzReader = reader;
 852     zzAtBOL  = true;
 853     zzAtEOF  = false;
 854     zzEOFDone = false;
 855     zzEndRead = zzStartRead = 0;
 856     zzCurrentPos = zzMarkedPos = 0;
 857     yyline = yychar = yycolumn = 0;
 858     zzLexicalState = YYINITIAL;
 859     if (zzBuffer.length > ZZ_BUFFERSIZE)
 860       zzBuffer = new char[ZZ_BUFFERSIZE];
 861   }
 862
 863
 864   /**
 865    * Returns the current lexical state.
 866    */
 867   public final int yystate() {
 868     return zzLexicalState;
 869   }
 870
 871
 872   /**
 873    * Enters a new lexical state
 874    *
 875    * @param newState the new lexical state
 876    */
 877   public final void yybegin(int newState) {
 878     zzLexicalState = newState;
 879   }
 880
 881
 882   /**
 883    * Returns the text matched by the current regular expression.
 884    */
 885   public final String yytext() {
 886     return new String( zzBuffer, zzStartRead, zzMarkedPos-zzStartRead );
 887   }
 888
 889
 890   /**
 891    * Returns the character at position <tt>pos</tt> from the
 892    * matched text.
 893    *
 894    * It is equivalent to yytext().charAt(pos), but faster
 895    *
 896    * @param pos the position of the character to fetch.
 897    *            A value from 0 to yylength()-1.
 898    *
 899    * @return the character at position pos
 900    */
 901   public final char yycharat(int pos) {
 902     return zzBuffer[zzStartRead+pos];
 903   }
 904
 905
 906   /**
 907    * Returns the length of the matched text region.
 908    */
 909   public final int yylength() {
 910     return zzMarkedPos-zzStartRead;
 911   }
 912
 913
 914   /**
 915    * Reports an error that occured while scanning.
 916    *
 917    * In a wellformed scanner (no or only correct usage of
 918    * yypushback(int) and a match-all fallback rule) this method
 919    * will only be called with things that "Can't Possibly Happen".
 920    * If this method is called, something is seriously wrong
 921    * (e.g. a JFlex bug producing a faulty scanner etc.).
 922    *
 923    * Usual syntax/scanner level error handling should be done
 924    * in error fallback rules.
 925    *
 926    * @param   errorCode  the code of the errormessage to display
 927    */
 928   private void zzScanError(int errorCode) {
 929     String message;
 930     try {
 931       message = ZZ_ERROR_MSG[errorCode];
 932     }
 933     catch (ArrayIndexOutOfBoundsException e) {
 934       message = ZZ_ERROR_MSG[ZZ_UNKNOWN_ERROR];
 935     }
 936
 937     throw new Error(message);
 938   }
 939
 940
 941   /**
 942    * Pushes the specified amount of characters back into the input stream.
 943    *
 944    * They will be read again by then next call of the scanning method
 945    *
 946    * @param number  the number of characters to be read again.
 947    *                This number must not be greater than yylength()!
 948    */
 949   public void yypushback(int number)  {
 950     if ( number > yylength() )
 951       zzScanError(ZZ_PUSHBACK_2BIG);
 952
 953     zzMarkedPos -= number;
 954   }
 955
 956
 957   /**
 958    * Resumes scanning until the next regular expression is matched,
 959    * the end of input is encountered or an I/O-Error occurs.
 960    *
 961    * @return      the next token
 962    * @exception   java.io.IOException  if any I/O-Error occurs
 963    */
 964   public int getNextToken() throws java.io.IOException {
 965     int zzInput;
 966     int zzAction;
 967
 968     // cached fields:
 969     int zzCurrentPosL;
 970     int zzMarkedPosL;
 971     int zzEndReadL = zzEndRead;
 972     char [] zzBufferL = zzBuffer;
 973     char [] zzCMapL = ZZ_CMAP;
 974
 975     int [] zzTransL = ZZ_TRANS;
 976     int [] zzRowMapL = ZZ_ROWMAP;
 977     int [] zzAttrL = ZZ_ATTRIBUTE;
 978
 979     while (true) {
 980       zzMarkedPosL = zzMarkedPos;
 981
 982       yychar+= zzMarkedPosL-zzStartRead;
 983
 984       zzAction = -1;
 985
 986       zzCurrentPosL = zzCurrentPos = zzStartRead = zzMarkedPosL;
 987
 988       zzState = ZZ_LEXSTATE[zzLexicalState];
 989
 990       // set up zzAction for empty match case:
 991       int zzAttributes = zzAttrL[zzState];
 992       if ( (zzAttributes & 1) == 1 ) {
 993         zzAction = zzState;
 994       }
 995
 996
 997       zzForAction: {
 998         while (true) {
 999
1000           if (zzCurrentPosL < zzEndReadL)
1001             zzInput = zzBufferL[zzCurrentPosL++];
1002           else if (zzAtEOF) {
1003             zzInput = YYEOF;
1004             break zzForAction;
1005           }
1006           else {
1007             // store back cached positions
1008             zzCurrentPos  = zzCurrentPosL;
1009             zzMarkedPos   = zzMarkedPosL;
1010             boolean eof = zzRefill();
1011             // get translated positions and possibly new buffer
1012             zzCurrentPosL  = zzCurrentPos;
1013             zzMarkedPosL   = zzMarkedPos;
1014             zzBufferL      = zzBuffer;
1015             zzEndReadL     = zzEndRead;
1016             if (eof) {
1017               zzInput = YYEOF;
1018               break zzForAction;
1019             }
1020             else {
1021               zzInput = zzBufferL[zzCurrentPosL++];
1022             }
1023           }
1024           int zzNext = zzTransL[ zzRowMapL[zzState] + zzCMapL[zzInput] ];
1025           if (zzNext == -1) break zzForAction;
1026           zzState = zzNext;
1027
1028           zzAttributes = zzAttrL[zzState];
1029           if ( (zzAttributes & 1) == 1 ) {
1030             zzAction = zzState;
1031             zzMarkedPosL = zzCurrentPosL;
1032             if ( (zzAttributes & 8) == 8 ) break zzForAction;
1033           }
1034
1035         }
1036       }
1037
1038       // store back cached position
1039       zzMarkedPos = zzMarkedPosL;
1040
1041       switch (zzAction < 0 ? zzAction : ZZ_ACTION[zzAction]) {
1042         case 2:
1043           { return WORD_TYPE;
1044           }
1045         case 9: break;
1046         case 5:
1047           { return SOUTH_EAST_ASIAN_TYPE;
1048           }
1049         case 10: break;
1050         case 4:
1051           { return KATAKANA_TYPE;
1052           }
1053         case 11: break;
1054         case 6:
1055           { return IDEOGRAPHIC_TYPE;
1056           }
1057         case 12: break;
1058         case 8:
1059           { return HANGUL_TYPE;
1060           }
1061         case 13: break;
1062         case 3:
1063           { return NUMERIC_TYPE;
1064           }
1065         case 14: break;
1066         case 7:
1067           { return HIRAGANA_TYPE;
1068           }
1069         case 15: break;
1070         case 1:
1071           { /* Break so we don't hit fall-through warning: */ break; /* Not numeric, word, ideographic, hiragana, or SE Asian -- ignore it. */
1072           }
1073         case 16: break;
1074         default:
1075           if (zzInput == YYEOF && zzStartRead == zzCurrentPos) {
1076             zzAtEOF = true;
1077               {
1078                 return StandardTokenizerInterface.YYEOF;
1079               }
1080           }
1081           else {
1082             zzScanError(ZZ_NO_MATCH);
1083           }
1084       }
1085     }
1086   }
1087
1088
1089 }