diff software/mpdl-services/mpiwg-mpdl-lt/src/de/mpg/mpiwg/berlin/mpdl/lt/text/norm/lang/MpdlNormalizerLexLA.java @ 23:e845310098ba

diverse Korrekturen
author Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
date Tue, 27 Nov 2012 12:35:19 +0100
parents 4a3641ae14d2
children
line wrap: on
line diff
--- a/software/mpdl-services/mpiwg-mpdl-lt/src/de/mpg/mpiwg/berlin/mpdl/lt/text/norm/lang/MpdlNormalizerLexLA.java	Wed Dec 14 13:57:09 2011 +0100
+++ b/software/mpdl-services/mpiwg-mpdl-lt/src/de/mpg/mpiwg/berlin/mpdl/lt/text/norm/lang/MpdlNormalizerLexLA.java	Tue Nov 27 12:35:19 2012 +0100
@@ -1,4 +1,4 @@
-/* The following code was generated by JFlex 1.4.3 on 05.09.11 10:35 */
+/* The following code was generated by JFlex 1.4.3 on 28.03.12 18:57 */
 
 /*
  * Normalization rules for Latin text
@@ -15,8 +15,8 @@
 /**
  * This class is a scanner generated by 
  * <a href="http://www.jflex.de/">JFlex</a> 1.4.3
- * on 05.09.11 10:35 from the specification file
- * <tt>MpdlNormalizerLexLA.lex</tt>
+ * on 28.03.12 18:57 from the specification file
+ * <tt>/Users/jwillenborg/test/jflexNew/MpdlNormalizerLexLA.lex</tt>
  */
 public class MpdlNormalizerLexLA {
 
@@ -27,10 +27,10 @@
   private static final int ZZ_BUFFERSIZE = 16384;
 
   /** lexical states */
-  public static final int RENAISSANCE_DICT = 8;
-  public static final int SEARCH = 10;
-  public static final int RENAISSANCE_DISP = 4;
-  public static final int DICT = 6;
+  public static final int RENAISSANCE_DICT = 10;
+  public static final int RENAISSANCE_DISP = 8;
+  public static final int SEARCH = 6;
+  public static final int DICT = 4;
   public static final int YYINITIAL = 0;
   public static final int RENAISSANCE_SEARCH = 12;
   public static final int DISP = 2;
@@ -42,23 +42,24 @@
    * l is of the form l = 2*k, k a non negative integer
    */
   private static final int ZZ_LEXSTATE[] = { 
-     0,  0,  1,  2,  1,  2,  3,  4,  3,  4,  5,  6,  5, 6
+     0,  0,  1,  2,  3,  4,  5,  6,  1,  2,  3,  4,  5, 6
   };
 
   /** 
    * Translates characters to character classes
    */
   private static final String ZZ_CMAP_PACKED = 
-    "\12\0\1\6\25\0\1\5\14\0\1\4\22\0\1\0\1\1\3\2"+
-    "\1\1\2\2\1\53\1\1\1\0\1\2\1\3\2\2\1\1\1\2"+
-    "\1\46\1\3\2\2\1\64\1\65\2\2\1\66\1\2\6\0\1\57"+
-    "\1\2\1\47\1\43\1\11\2\2\1\51\1\14\1\27\1\2\1\50"+
-    "\1\40\1\13\1\61\1\17\1\7\1\16\1\32\1\15\1\10\1\12"+
-    "\2\2\1\66\1\2\62\0\1\4\30\0\1\25\30\0\1\23\1\37"+
-    "\1\31\1\55\3\0\1\24\1\0\1\41\1\33\1\0\1\60\1\45"+
-    "\1\34\1\52\1\62\2\0\1\42\1\35\1\54\4\0\1\44\1\36"+
-    "\1\56\1\63\34\0\1\24\71\0\1\26\53\0\1\20\u0181\0\1\30"+
-    "\ud4fe\0\1\21\u0590\0\1\22\u226e\0";
+    "\12\0\1\6\25\0\1\5\14\0\1\24\1\0\1\23\14\0\1\21"+
+    "\1\0\1\22\1\0\1\0\1\1\3\2\1\1\2\2\1\57\1\1"+
+    "\1\0\1\2\1\3\2\2\1\1\1\2\1\52\1\3\2\2\1\70"+
+    "\1\71\2\2\1\72\1\2\6\0\1\63\1\2\1\53\1\47\1\11"+
+    "\2\2\1\55\1\14\1\33\1\2\1\54\1\44\1\13\1\65\1\17"+
+    "\1\7\1\16\1\36\1\15\1\10\1\12\2\2\1\72\1\2\62\0"+
+    "\1\4\30\0\1\31\30\0\1\27\1\43\1\35\1\61\3\0\1\30"+
+    "\1\0\1\45\1\37\1\0\1\64\1\51\1\40\1\56\1\66\2\0"+
+    "\1\46\1\41\1\60\4\0\1\50\1\42\1\62\1\67\34\0\1\30"+
+    "\71\0\1\32\53\0\1\20\u0181\0\1\34\ud4fe\0\1\25\u0590\0\1\26"+
+    "\u226e\0";
 
   /** 
    * Translates characters to character classes
@@ -71,21 +72,21 @@
   private static final int [] ZZ_ACTION = zzUnpackAction();
 
   private static final String ZZ_ACTION_PACKED_0 =
-    "\12\0\1\1\1\2\2\3\1\1\1\4\1\3\1\2"+
-    "\1\3\1\2\1\5\1\1\1\6\1\7\1\10\1\11"+
+    "\14\0\1\1\1\2\2\3\1\1\1\4\1\3\1\2"+
+    "\1\3\1\2\1\5\3\1\1\6\1\7\1\10\1\11"+
     "\11\1\1\3\2\1\3\2\1\3\1\12\1\3\2\2"+
-    "\1\3\1\5\3\3\1\1\1\2\1\13\1\14\4\0"+
+    "\1\3\1\5\3\3\1\1\1\2\1\13\1\14\5\0"+
     "\1\15\1\16\1\17\1\20\1\0\1\21\1\22\1\23"+
     "\1\24\1\0\1\25\20\0\1\26\3\0\1\27\3\0"+
     "\1\30\1\0\1\31\3\0\1\32\1\33\1\34\1\0"+
-    "\1\35\1\36\2\0\1\37\20\0\1\40\1\0\1\41"+
+    "\1\35\1\36\2\0\1\37\22\0\1\40\1\0\1\41"+
     "\1\0\1\42\1\0\1\43\1\44\1\45\1\46\1\0"+
     "\1\47\1\0\1\50\1\0\1\51\1\0\1\52\4\0"+
-    "\1\53\10\0\1\54\6\0\1\55\3\0\1\56\1\57"+
-    "\1\60\2\0\1\61\5\0\1\53";
+    "\1\53\10\0\1\12\1\0\1\54\6\0\1\55\3\0"+
+    "\1\56\1\57\1\60\3\0\1\61\5\0\1\53\1\0";
 
   private static int [] zzUnpackAction() {
-    int [] result = new int[179];
+    int [] result = new int[190];
     int offset = 0;
     offset = zzUnpackAction(ZZ_ACTION_PACKED_0, offset, result);
     return result;
@@ -110,32 +111,33 @@
   private static final int [] ZZ_ROWMAP = zzUnpackRowMap();
 
   private static final String ZZ_ROWMAP_PACKED_0 =
-    "\0\0\0\67\0\156\0\245\0\334\0\u0113\0\u014a\0\u0181"+
-    "\0\u01b8\0\u01ef\0\u0226\0\u0226\0\u0226\0\u025d\0\u0294\0\u0226"+
-    "\0\u02cb\0\u0302\0\u0339\0\u0370\0\u0226\0\u01ef\0\u0226\0\u0226"+
-    "\0\u0226\0\u0226\0\u03a7\0\u03de\0\u0415\0\u044c\0\u0483\0\u04ba"+
-    "\0\u04f1\0\u0528\0\u055f\0\u0596\0\u05cd\0\u0604\0\u063b\0\u0672"+
-    "\0\u06a9\0\u06e0\0\u0226\0\u0717\0\u074e\0\u0785\0\u07bc\0\u07f3"+
-    "\0\u082a\0\u0861\0\u0898\0\u08cf\0\u0906\0\u0226\0\u0226\0\u093d"+
-    "\0\u0974\0\u09ab\0\u09e2\0\u0226\0\u0226\0\u0226\0\u0226\0\u0a19"+
-    "\0\u0226\0\u0226\0\u0226\0\u0226\0\u0a50\0\u0226\0\u0a87\0\u0abe"+
-    "\0\u0af5\0\u0b2c\0\u0b63\0\u0b9a\0\u0bd1\0\u0c08\0\u0c3f\0\u0c76"+
-    "\0\u0cad\0\u0ce4\0\u0d1b\0\u0d52\0\u0d89\0\u0dc0\0\u0226\0\u0df7"+
-    "\0\u0e2e\0\u0e65\0\u0226\0\u0e9c\0\u0ed3\0\u0f0a\0\u0226\0\u0f41"+
-    "\0\u0226\0\u0f78\0\u0faf\0\u0fe6\0\u0226\0\u0226\0\u0226\0\u101d"+
-    "\0\u0226\0\u0226\0\u1054\0\u108b\0\u0226\0\u10c2\0\u10f9\0\u1130"+
-    "\0\u1167\0\u119e\0\u11d5\0\u120c\0\u1243\0\u127a\0\u0226\0\u12b1"+
-    "\0\u12e8\0\u131f\0\u1356\0\u138d\0\u08cf\0\u0226\0\u13c4\0\u0226"+
-    "\0\u13fb\0\u0226\0\u1432\0\u0226\0\u0226\0\u0226\0\u0226\0\u1469"+
-    "\0\u0226\0\u14a0\0\u0226\0\u14d7\0\u0226\0\u150e\0\u0226\0\u1545"+
-    "\0\u157c\0\u15b3\0\u07bc\0\u15ea\0\u1621\0\u1658\0\u168f\0\u16c6"+
-    "\0\u16fd\0\u0226\0\u1734\0\u176b\0\u0226\0\u17a2\0\u17d9\0\u1810"+
-    "\0\u1847\0\u187e\0\u18b5\0\u0226\0\u18ec\0\u1923\0\u195a\0\u0226"+
-    "\0\u0226\0\u0226\0\u1991\0\u19c8\0\u0226\0\u19ff\0\u1a36\0\u1a6d"+
-    "\0\u1aa4\0\u1adb\0\u0226";
+    "\0\0\0\73\0\166\0\261\0\354\0\u0127\0\u0162\0\u019d"+
+    "\0\u01d8\0\u0213\0\u024e\0\u0289\0\u02c4\0\u02c4\0\u02c4\0\u02ff"+
+    "\0\u033a\0\u02c4\0\u0375\0\u03b0\0\u03eb\0\u0426\0\u02c4\0\u0213"+
+    "\0\u0461\0\u0289\0\u02c4\0\u02c4\0\u02c4\0\u02c4\0\u049c\0\u04d7"+
+    "\0\u0512\0\u054d\0\u0588\0\u05c3\0\u05fe\0\u0639\0\u0674\0\u06af"+
+    "\0\u06ea\0\u0725\0\u0760\0\u079b\0\u07d6\0\u0811\0\u02c4\0\u084c"+
+    "\0\u0887\0\u08c2\0\u08fd\0\u0938\0\u0973\0\u09ae\0\u09e9\0\u0a24"+
+    "\0\u0a5f\0\u02c4\0\u02c4\0\u0a9a\0\u0ad5\0\u0b10\0\u0b4b\0\u0b86"+
+    "\0\u02c4\0\u02c4\0\u02c4\0\u02c4\0\u0bc1\0\u02c4\0\u02c4\0\u02c4"+
+    "\0\u02c4\0\u0bfc\0\u02c4\0\u0c37\0\u0c72\0\u0cad\0\u0ce8\0\u0d23"+
+    "\0\u0d5e\0\u0d99\0\u0dd4\0\u0e0f\0\u0e4a\0\u0e85\0\u0ec0\0\u0efb"+
+    "\0\u0f36\0\u0f71\0\u0fac\0\u02c4\0\u0fe7\0\u1022\0\u105d\0\u02c4"+
+    "\0\u1098\0\u10d3\0\u110e\0\u02c4\0\u1149\0\u02c4\0\u1184\0\u11bf"+
+    "\0\u11fa\0\u02c4\0\u02c4\0\u02c4\0\u1235\0\u02c4\0\u02c4\0\u1270"+
+    "\0\u12ab\0\u02c4\0\u12e6\0\u1321\0\u135c\0\u1397\0\u13d2\0\u140d"+
+    "\0\u1448\0\u1483\0\u14be\0\u02c4\0\u14f9\0\u1534\0\u156f\0\u15aa"+
+    "\0\u15e5\0\u1620\0\u165b\0\u0a24\0\u02c4\0\u1696\0\u02c4\0\u16d1"+
+    "\0\u02c4\0\u170c\0\u02c4\0\u02c4\0\u02c4\0\u02c4\0\u1747\0\u02c4"+
+    "\0\u1782\0\u02c4\0\u17bd\0\u02c4\0\u17f8\0\u02c4\0\u1833\0\u186e"+
+    "\0\u18a9\0\u08fd\0\u18e4\0\u191f\0\u195a\0\u1995\0\u19d0\0\u1a0b"+
+    "\0\u02c4\0\u1a46\0\u1a81\0\u14f9\0\u1abc\0\u02c4\0\u1af7\0\u1b32"+
+    "\0\u1b6d\0\u1ba8\0\u1be3\0\u1c1e\0\u02c4\0\u1c59\0\u1c94\0\u1ccf"+
+    "\0\u02c4\0\u02c4\0\u02c4\0\u1d0a\0\u1d45\0\u1d80\0\u02c4\0\u1dbb"+
+    "\0\u1df6\0\u1e31\0\u1e6c\0\u1ea7\0\u02c4\0\u1ee2";
 
   private static int [] zzUnpackRowMap() {
-    int [] result = new int[179];
+    int [] result = new int[190];
     int offset = 0;
     offset = zzUnpackRowMap(ZZ_ROWMAP_PACKED_0, offset, result);
     return result;
@@ -158,110 +160,119 @@
   private static final int [] ZZ_TRANS = zzUnpackTrans();
 
   private static final String ZZ_TRANS_PACKED_0 =
-    "\21\0\1\12\45\0\1\13\1\14\1\15\1\16\1\17"+
-    "\1\13\1\20\1\21\1\22\1\14\1\23\1\15\1\24"+
-    "\1\15\1\16\1\15\1\25\1\26\1\13\1\27\1\30"+
-    "\1\31\1\32\2\13\1\33\1\15\1\34\1\35\1\36"+
-    "\1\37\1\40\1\15\1\41\1\42\1\15\1\43\1\13"+
-    "\1\44\1\15\1\16\1\15\1\13\1\15\1\13\1\45"+
-    "\1\46\1\47\1\13\1\50\2\13\1\51\1\52\1\53"+
-    "\1\13\1\14\1\15\1\16\1\17\1\13\1\20\1\54"+
-    "\1\55\1\14\1\23\1\15\1\56\1\15\1\16\1\57"+
-    "\1\60\1\26\1\13\1\27\1\30\1\31\1\32\2\13"+
-    "\1\33\1\15\1\34\1\35\1\36\1\37\1\40\1\15"+
-    "\1\41\1\42\1\15\1\43\1\13\1\61\1\15\1\16"+
-    "\1\62\1\13\1\63\1\64\1\45\1\46\1\47\1\13"+
-    "\1\50\2\13\1\65\1\52\1\53\1\13\1\14\1\15"+
-    "\1\16\1\17\1\13\1\66\1\21\1\22\1\14\1\23"+
-    "\1\15\1\24\1\15\1\16\1\15\1\25\1\26\1\13"+
-    "\1\27\1\30\1\31\1\32\2\13\1\33\1\15\1\34"+
-    "\1\35\1\36\1\37\1\40\1\15\1\41\1\42\1\15"+
-    "\1\43\1\13\1\44\1\15\1\16\1\15\1\13\1\15"+
-    "\1\13\1\45\1\46\1\47\1\13\1\50\2\13\1\51"+
-    "\1\52\1\53\1\13\1\14\1\15\1\16\1\17\1\13"+
-    "\1\66\1\54\1\55\1\14\1\23\1\15\1\56\1\15"+
-    "\1\16\1\57\1\60\1\26\1\13\1\27\1\30\1\31"+
-    "\1\32\2\13\1\33\1\15\1\34\1\35\1\36\1\37"+
-    "\1\40\1\15\1\41\1\42\1\15\1\43\1\13\1\61"+
-    "\1\15\1\16\1\62\1\13\1\63\1\64\1\45\1\46"+
-    "\1\47\1\13\1\50\2\13\1\65\1\52\1\53\1\13"+
-    "\1\14\1\15\1\16\1\17\1\13\1\67\1\21\1\22"+
-    "\1\14\1\23\1\15\1\24\1\15\1\16\1\15\1\25"+
-    "\1\26\1\13\1\27\1\30\1\31\1\32\2\13\1\33"+
-    "\1\15\1\34\1\35\1\36\1\37\1\40\1\15\1\41"+
-    "\1\42\1\15\1\43\1\13\1\44\1\15\1\16\1\15"+
-    "\1\13\1\15\1\13\1\45\1\46\1\47\1\13\1\50"+
-    "\2\13\1\51\1\52\1\53\1\13\1\14\1\15\1\16"+
-    "\1\17\1\13\1\67\1\54\1\55\1\14\1\23\1\15"+
-    "\1\56\1\15\1\16\1\57\1\60\1\26\1\13\1\27"+
-    "\1\30\1\31\1\32\2\13\1\33\1\15\1\34\1\35"+
-    "\1\36\1\37\1\40\1\15\1\41\1\42\1\15\1\43"+
-    "\1\13\1\61\1\15\1\16\1\62\1\13\1\63\1\64"+
-    "\1\45\1\46\1\47\1\13\1\50\2\13\1\65\1\52"+
-    "\1\53\14\0\1\70\2\0\1\71\1\72\53\0\1\73"+
-    "\103\0\1\74\145\0\1\75\52\0\1\75\6\0\1\76"+
-    "\73\0\1\77\15\0\1\100\37\0\1\101\6\0\2\101"+
-    "\2\0\1\101\7\0\3\101\30\0\1\101\1\0\1\101"+
-    "\1\102\1\103\1\101\4\0\2\104\1\105\2\0\1\104"+
-    "\2\0\2\104\1\0\4\104\2\0\1\104\6\0\1\104"+
-    "\5\0\1\104\2\0\1\104\2\0\4\104\1\0\1\104"+
-    "\11\0\1\104\30\0\1\106\46\0\1\107\2\0\2\110"+
-    "\1\0\2\111\13\0\1\111\5\0\1\111\35\0\1\112"+
-    "\2\0\2\113\1\0\2\114\13\0\1\114\5\0\1\114"+
-    "\35\0\1\115\2\0\2\116\1\0\2\117\13\0\1\117"+
-    "\5\0\1\117\35\0\1\120\2\0\2\121\1\0\2\122"+
-    "\13\0\1\122\5\0\1\122\35\0\1\123\1\0\1\124"+
-    "\2\125\1\0\2\126\13\0\1\126\5\0\1\126\34\0"+
-    "\1\127\1\107\22\0\1\130\5\0\1\131\6\0\1\132"+
-    "\25\0\1\133\1\112\5\0\1\134\1\135\13\0\1\136"+
-    "\42\0\1\137\1\120\33\0\1\140\31\0\1\141\23\0"+
-    "\1\142\5\0\1\143\7\0\1\144\30\0\1\145\52\0"+
-    "\1\146\7\0\1\127\1\107\6\0\1\147\102\0\1\150"+
-    "\114\0\1\30\66\0\1\32\1\0\1\151\5\0\1\101"+
-    "\6\0\2\101\2\0\1\101\7\0\3\101\30\0\1\101"+
-    "\1\0\1\101\2\0\1\101\4\0\2\152\1\153\2\0"+
-    "\1\152\2\0\2\152\1\0\4\152\2\0\1\152\6\0"+
-    "\1\152\5\0\1\152\2\0\1\152\2\0\4\152\1\0"+
-    "\1\152\11\0\1\152\11\0\1\154\1\0\1\77\15\0"+
-    "\1\100\37\0\1\155\6\0\2\155\2\0\1\155\7\0"+
-    "\3\155\30\0\1\155\1\0\1\155\1\102\1\103\1\155"+
-    "\15\0\1\156\13\0\1\106\50\0\1\157\65\0\1\160"+
-    "\1\157\65\0\1\161\1\0\1\145\52\0\1\146\53\0"+
-    "\1\162\66\0\1\163\22\0\1\137\61\0\1\155\6\0"+
-    "\2\155\2\0\1\155\7\0\3\155\30\0\1\155\1\0"+
-    "\1\155\2\0\1\155\15\0\1\164\64\0\1\165\65\0"+
-    "\1\166\1\165\61\0\1\167\72\0\1\170\63\0\1\171"+
-    "\71\0\1\110\67\0\1\172\64\0\1\107\2\0\2\110"+
-    "\63\0\1\113\67\0\1\173\64\0\1\112\2\0\2\113"+
-    "\63\0\1\116\67\0\1\174\64\0\1\115\2\0\2\116"+
-    "\63\0\1\121\67\0\1\175\64\0\1\120\2\0\2\121"+
-    "\63\0\1\125\64\0\1\176\71\0\1\177\64\0\1\123"+
-    "\2\0\2\125\61\0\1\200\1\201\65\0\1\202\1\203"+
-    "\65\0\1\204\66\0\1\205\66\0\1\206\66\0\1\207"+
-    "\1\210\65\0\1\211\1\212\65\0\1\213\1\214\65\0"+
-    "\1\215\1\216\65\0\1\217\66\0\1\213\65\0\1\220"+
-    "\126\0\1\221\25\0\1\222\10\0\1\223\67\0\1\224"+
-    "\54\0\1\225\12\0\1\223\114\0\1\226\70\0\1\227"+
-    "\66\0\1\230\23\0\1\231\10\0\1\71\67\0\1\232"+
-    "\54\0\1\233\12\0\1\71\60\0\1\234\57\0\2\104"+
-    "\3\0\1\104\2\0\2\104\1\0\4\104\2\0\1\104"+
-    "\6\0\1\104\5\0\1\104\2\0\1\104\2\0\4\104"+
-    "\1\0\1\104\11\0\1\104\7\0\1\127\66\0\1\133"+
-    "\66\0\1\235\66\0\1\141\70\0\1\236\66\0\1\237"+
-    "\66\0\1\240\66\0\1\241\66\0\1\242\66\0\1\243"+
-    "\60\0\2\152\3\0\1\152\2\0\2\152\1\0\4\152"+
-    "\2\0\1\152\6\0\1\152\5\0\1\152\2\0\1\152"+
-    "\2\0\4\152\1\0\1\152\11\0\1\152\7\0\1\244"+
-    "\65\0\1\245\65\0\1\246\67\0\1\247\67\0\1\250"+
-    "\66\0\1\251\66\0\1\252\65\0\1\253\66\0\1\254"+
-    "\67\0\1\255\71\0\1\256\66\0\1\257\66\0\1\260"+
-    "\66\0\1\261\66\0\1\150\66\0\1\262\72\0\1\223"+
-    "\56\0\1\263\100\0\1\223\64\0\1\71\70\0\1\71"+
-    "\55\0\1\200\66\0\1\202\66\0\1\207\66\0\1\211"+
-    "\66\0\1\215\60\0";
+    "\21\0\1\12\2\0\1\13\1\14\45\0\1\15\1\16"+
+    "\1\17\1\20\1\21\1\15\1\22\1\23\1\24\1\16"+
+    "\1\25\1\17\1\26\1\17\1\20\1\17\1\27\1\30"+
+    "\2\15\1\31\1\32\1\15\1\33\1\34\1\35\1\36"+
+    "\2\15\1\37\1\17\1\40\1\41\1\42\1\43\1\44"+
+    "\1\17\1\45\1\46\1\17\1\47\1\15\1\50\1\17"+
+    "\1\20\1\17\1\15\1\17\1\15\1\51\1\52\1\53"+
+    "\1\15\1\54\2\15\1\55\1\56\1\57\1\15\1\16"+
+    "\1\17\1\20\1\21\1\15\1\22\1\60\1\61\1\16"+
+    "\1\25\1\17\1\62\1\17\1\20\1\63\1\64\1\30"+
+    "\2\15\1\31\1\32\1\15\1\33\1\34\1\35\1\36"+
+    "\2\15\1\37\1\17\1\40\1\41\1\42\1\43\1\44"+
+    "\1\17\1\45\1\46\1\17\1\47\1\15\1\65\1\17"+
+    "\1\20\1\66\1\15\1\67\1\70\1\51\1\52\1\53"+
+    "\1\15\1\54\2\15\1\71\1\56\1\57\1\15\1\16"+
+    "\1\17\1\20\1\21\1\15\1\72\1\23\1\24\1\16"+
+    "\1\25\1\17\1\26\1\17\1\20\1\17\1\27\1\30"+
+    "\2\15\1\31\1\32\1\15\1\33\1\34\1\35\1\36"+
+    "\2\15\1\37\1\17\1\40\1\41\1\42\1\43\1\44"+
+    "\1\17\1\45\1\46\1\17\1\47\1\15\1\50\1\17"+
+    "\1\20\1\17\1\15\1\17\1\15\1\51\1\52\1\53"+
+    "\1\15\1\54\2\15\1\55\1\56\1\57\1\15\1\16"+
+    "\1\17\1\20\1\21\1\15\1\72\1\60\1\61\1\16"+
+    "\1\25\1\17\1\62\1\17\1\20\1\63\1\64\1\30"+
+    "\2\15\1\31\1\32\1\15\1\33\1\34\1\35\1\36"+
+    "\2\15\1\37\1\17\1\40\1\41\1\42\1\43\1\44"+
+    "\1\17\1\45\1\46\1\17\1\47\1\15\1\65\1\17"+
+    "\1\20\1\66\1\15\1\67\1\70\1\51\1\52\1\53"+
+    "\1\15\1\54\2\15\1\71\1\56\1\57\1\15\1\16"+
+    "\1\17\1\20\1\21\1\15\1\73\1\23\1\24\1\16"+
+    "\1\25\1\17\1\26\1\17\1\20\1\17\1\27\1\30"+
+    "\2\15\1\31\1\32\1\15\1\33\1\34\1\35\1\36"+
+    "\2\15\1\37\1\17\1\40\1\41\1\42\1\43\1\44"+
+    "\1\17\1\45\1\46\1\17\1\47\1\15\1\50\1\17"+
+    "\1\20\1\17\1\15\1\17\1\15\1\51\1\52\1\53"+
+    "\1\15\1\54\2\15\1\55\1\56\1\57\1\15\1\16"+
+    "\1\17\1\20\1\21\1\15\1\73\1\60\1\61\1\16"+
+    "\1\25\1\17\1\62\1\17\1\20\1\63\1\64\1\30"+
+    "\2\15\1\31\1\32\1\15\1\33\1\34\1\35\1\36"+
+    "\2\15\1\37\1\17\1\40\1\41\1\42\1\43\1\44"+
+    "\1\17\1\45\1\46\1\17\1\47\1\15\1\65\1\17"+
+    "\1\20\1\66\1\15\1\67\1\70\1\51\1\52\1\53"+
+    "\1\15\1\54\2\15\1\71\1\56\1\57\14\0\1\74"+
+    "\2\0\1\75\1\76\57\0\1\77\65\0\21\100\2\0"+
+    "\50\100\21\0\1\12\77\0\1\101\151\0\1\102\56\0"+
+    "\1\102\6\0\1\103\77\0\1\104\21\0\1\105\37\0"+
+    "\1\106\6\0\2\106\2\0\1\106\13\0\3\106\30\0"+
+    "\1\106\1\0\1\106\1\107\1\110\1\106\4\0\2\111"+
+    "\1\112\2\0\1\111\2\0\2\111\1\0\4\111\3\0"+
+    "\1\112\2\0\1\111\6\0\1\111\5\0\1\111\2\0"+
+    "\1\111\2\0\4\111\1\0\1\111\11\0\1\111\34\0"+
+    "\1\113\44\0\1\103\13\0\1\12\60\0\1\114\2\0"+
+    "\2\115\1\0\2\116\17\0\1\116\5\0\1\116\35\0"+
+    "\1\117\2\0\2\120\1\0\2\121\17\0\1\121\5\0"+
+    "\1\121\35\0\1\122\2\0\2\123\1\0\2\124\17\0"+
+    "\1\124\5\0\1\124\35\0\1\125\2\0\2\126\1\0"+
+    "\2\127\17\0\1\127\5\0\1\127\35\0\1\130\1\0"+
+    "\1\131\2\132\1\0\2\133\17\0\1\133\5\0\1\133"+
+    "\34\0\1\134\1\114\26\0\1\135\5\0\1\136\6\0"+
+    "\1\137\25\0\1\140\1\117\5\0\1\141\1\142\17\0"+
+    "\1\143\42\0\1\144\1\125\37\0\1\145\31\0\1\146"+
+    "\27\0\1\147\5\0\1\150\7\0\1\151\30\0\1\152"+
+    "\56\0\1\153\7\0\1\134\1\114\6\0\1\154\112\0"+
+    "\1\155\120\0\1\34\72\0\1\36\1\0\1\156\5\0"+
+    "\1\106\6\0\2\106\2\0\1\106\13\0\3\106\30\0"+
+    "\1\106\1\0\1\106\2\0\1\106\4\0\2\157\1\160"+
+    "\2\0\1\157\2\0\2\157\1\0\4\157\3\0\1\160"+
+    "\2\0\1\157\6\0\1\157\5\0\1\157\2\0\1\157"+
+    "\2\0\4\157\1\0\1\157\11\0\1\157\11\0\1\161"+
+    "\1\0\1\104\21\0\1\105\37\0\1\162\6\0\2\162"+
+    "\2\0\1\162\13\0\3\162\30\0\1\162\1\0\1\162"+
+    "\1\107\1\110\1\162\15\0\1\163\17\0\1\113\50\0"+
+    "\1\164\71\0\1\165\1\164\71\0\1\166\1\0\1\152"+
+    "\56\0\1\153\57\0\1\167\72\0\1\170\22\0\1\144"+
+    "\65\0\1\162\6\0\2\162\2\0\1\162\13\0\3\162"+
+    "\30\0\1\162\1\0\1\162\2\0\1\162\15\0\1\171"+
+    "\70\0\1\172\71\0\1\173\1\172\65\0\1\174\17\0"+
+    "\1\174\46\0\21\100\1\0\1\175\1\176\47\100\10\0"+
+    "\1\177\67\0\1\200\75\0\1\115\73\0\1\201\70\0"+
+    "\1\114\2\0\2\115\67\0\1\120\73\0\1\202\70\0"+
+    "\1\117\2\0\2\120\67\0\1\123\73\0\1\203\70\0"+
+    "\1\122\2\0\2\123\67\0\1\126\73\0\1\204\70\0"+
+    "\1\125\2\0\2\126\67\0\1\132\70\0\1\205\75\0"+
+    "\1\206\70\0\1\130\2\0\2\132\65\0\1\207\1\210"+
+    "\71\0\1\211\1\212\71\0\1\213\72\0\1\214\72\0"+
+    "\1\215\72\0\1\216\1\217\71\0\1\220\1\221\71\0"+
+    "\1\222\1\223\71\0\1\224\1\225\71\0\1\226\72\0"+
+    "\1\222\71\0\1\227\136\0\1\230\25\0\1\231\10\0"+
+    "\1\232\6\0\1\231\64\0\1\233\60\0\1\234\12\0"+
+    "\1\232\4\0\1\234\117\0\1\235\74\0\1\236\72\0"+
+    "\1\237\23\0\1\240\10\0\1\75\6\0\1\240\64\0"+
+    "\1\241\60\0\1\242\12\0\1\75\4\0\1\242\67\0"+
+    "\1\243\51\0\21\100\1\0\1\244\1\176\47\100\11\0"+
+    "\1\245\63\0\2\111\3\0\1\111\2\0\2\111\1\0"+
+    "\4\111\6\0\1\111\6\0\1\111\5\0\1\111\2\0"+
+    "\1\111\2\0\4\111\1\0\1\111\11\0\1\111\7\0"+
+    "\1\134\72\0\1\140\72\0\1\246\72\0\1\146\74\0"+
+    "\1\247\72\0\1\250\72\0\1\251\72\0\1\252\72\0"+
+    "\1\253\72\0\1\254\64\0\2\157\3\0\1\157\2\0"+
+    "\2\157\1\0\4\157\6\0\1\157\6\0\1\157\5\0"+
+    "\1\157\2\0\1\157\2\0\4\157\1\0\1\157\11\0"+
+    "\1\157\7\0\1\255\71\0\1\256\71\0\1\257\17\0"+
+    "\1\257\53\0\1\260\73\0\1\261\72\0\1\262\72\0"+
+    "\1\263\71\0\1\264\72\0\1\265\110\0\1\266\55\0"+
+    "\1\267\75\0\1\270\72\0\1\271\72\0\1\272\72\0"+
+    "\1\273\72\0\1\155\72\0\1\274\76\0\1\232\62\0"+
+    "\1\275\104\0\1\232\70\0\1\75\74\0\1\75\53\0"+
+    "\21\276\2\0\50\276\6\0\1\207\72\0\1\211\72\0"+
+    "\1\216\72\0\1\220\72\0\1\224\64\0\21\276\1\0"+
+    "\1\57\50\276";
 
   private static int [] zzUnpackTrans() {
-    int [] result = new int[6930];
+    int [] result = new int[7965];
     int offset = 0;
     offset = zzUnpackTrans(ZZ_TRANS_PACKED_0, offset, result);
     return result;
@@ -299,18 +310,18 @@
   private static final int [] ZZ_ATTRIBUTE = zzUnpackAttribute();
 
   private static final String ZZ_ATTRIBUTE_PACKED_0 =
-    "\10\0\1\1\1\0\3\11\2\1\1\11\4\1\1\11"+
-    "\1\1\4\11\20\1\1\11\12\1\2\11\4\0\4\11"+
+    "\10\0\1\1\3\0\3\11\2\1\1\11\4\1\1\11"+
+    "\3\1\4\11\20\1\1\11\12\1\2\11\5\0\4\11"+
     "\1\0\4\11\1\0\1\11\20\0\1\11\3\0\1\11"+
     "\3\0\1\11\1\0\1\11\3\0\3\11\1\0\2\11"+
-    "\2\0\1\11\11\0\1\11\6\0\1\11\1\0\1\11"+
+    "\2\0\1\11\11\0\1\11\10\0\1\11\1\0\1\11"+
     "\1\0\1\11\1\0\4\11\1\0\1\11\1\0\1\11"+
     "\1\0\1\11\1\0\1\11\4\0\1\1\5\0\1\11"+
-    "\2\0\1\11\6\0\1\11\3\0\3\11\2\0\1\11"+
-    "\5\0\1\11";
+    "\2\0\1\1\1\0\1\11\6\0\1\11\3\0\3\11"+
+    "\3\0\1\11\5\0\1\11\1\0";
 
   private static int [] zzUnpackAttribute() {
-    int [] result = new int[179];
+    int [] result = new int[190];
     int offset = 0;
     offset = zzUnpackAttribute(ZZ_ATTRIBUTE_PACKED_0, offset, result);
     return result;
@@ -427,7 +438,7 @@
     char [] map = new char[0x10000];
     int i = 0;  /* index in packed string  */
     int j = 0;  /* index in unpacked array */
-    while (i < 190) {
+    while (i < 202) {
       int  count = packed.charAt(i++);
       char value = packed.charAt(i++);
       do map[j++] = value; while (--count > 0);