1. // This file was generated AUTOMATICALLY from a template file Sun Feb 22 22:52:18 PST 2004

  2. 

  3. /* @(#)CharacterData.java.template	1.2 02/10/28

  4.  *

  5.  * Copyright 1994-2002 Sun Microsystems, Inc. All Rights Reserved.

  6.  *

  7.  * This software is the proprietary information of Sun Microsystems, Inc.

  8.  * Use is subject to license terms.

  9.  *

  10.  */

  11. 

  12. package java.lang;

  13. 

  14. /** The CharacterData class encapsulates the large tables found in

  15.     Java.lang.Character. */

  16. 

  17. class CharacterData {

  18.     /* The character properties are currently encoded into 32 bits in the following manner:

  19.         1 bit   mirrored property

  20.         4 bits  directionality property

  21.         9 bits  signed offset used for converting case

  22.         1 bit   if 1, adding the signed offset converts the character to lowercase

  23.         1 bit   if 1, subtracting the signed offset converts the character to uppercase

  24.         1 bit   if 1, this character has a titlecase equivalent (possibly itself)

  25.         3 bits  0  may not be part of an identifier

  26.                 1  ignorable control; may continue a Unicode identifier or Java identifier

  27.                 2  may continue a Java identifier but not a Unicode identifier (unused)

  28.                 3  may continue a Unicode identifier or Java identifier

  29.                 4  is a Java whitespace character

  30.                 5  may start or continue a Java identifier;

  31.                    may continue but not start a Unicode identifier (underscores)

  32.                 6  may start or continue a Java identifier but not a Unicode identifier ($)

  33.                 7  may start or continue a Unicode identifier or Java identifier

  34.                 Thus:

  35.                    5, 6, 7 may start a Java identifier

  36.                    1, 2, 3, 5, 6, 7 may continue a Java identifier

  37.                    7 may start a Unicode identifier

  38.                    1, 3, 5, 7 may continue a Unicode identifier

  39.                    1 is ignorable within an identifier

  40.                    4 is Java whitespace

  41.         2 bits  0  this character has no numeric property

  42.                 1  adding the digit offset to the character code and then

  43.                    masking with 0x1F will produce the desired numeric value

  44.                 2  this character has a "strange" numeric value

  45.                 3  a Java supradecimal digit: adding the digit offset to the

  46.                    character code, then masking with 0x1F, then adding 10

  47.                    will produce the desired numeric value

  48.         5 bits  digit offset

  49.         5 bits  character type

  50. 

  51.         The encoding of character properties is subject to change at any time.

  52.      */

  53. 

  54.     static int getProperties(char ch) {

  55.         return A[Y[(X[ch>>5]<<4)|((ch>>1)&0xF)]|(ch&0x1)];

  56.     }

  57. 

  58.     static int getType(char ch) {

  59.         return (getProperties(ch) & 0x1F);

  60.     }

  61. 

  62.     static boolean isLowerCase(char ch) {

  63.         return getType(ch) == Character.LOWERCASE_LETTER;

  64.     }

  65. 

  66.     static boolean isUpperCase(char ch) {

  67.         return getType(ch) == Character.UPPERCASE_LETTER;

  68.     }

  69. 

  70.     static boolean isTitleCase(char ch) {

  71.         return getType(ch) == Character.TITLECASE_LETTER;

  72.     }

  73. 

  74.     static boolean isDigit(char ch) {

  75.         return getType(ch) == Character.DECIMAL_DIGIT_NUMBER;

  76.     }

  77. 

  78.     static boolean isDefined(char ch) {

  79.         return getType(ch) != Character.UNASSIGNED;

  80.     }

  81. 

  82.     static boolean isLetter(char ch) {

  83.         return (((((1 << Character.UPPERCASE_LETTER) |

  84.             (1 << Character.LOWERCASE_LETTER) |

  85.             (1 << Character.TITLECASE_LETTER) |

  86.             (1 << Character.MODIFIER_LETTER) |

  87.             (1 << Character.OTHER_LETTER)) >> getType(ch)) & 1) != 0);

  88.     }

  89. 

  90.     static boolean isLetterOrDigit(char ch) {

  91.         return (((((1 << Character.UPPERCASE_LETTER) |

  92.             (1 << Character.LOWERCASE_LETTER) |

  93.             (1 << Character.TITLECASE_LETTER) |

  94.             (1 << Character.MODIFIER_LETTER) |

  95.             (1 << Character.OTHER_LETTER) |

  96.             (1 << Character.DECIMAL_DIGIT_NUMBER)) >> getType(ch)) & 1) != 0);

  97.     }

  98. 

  99.     static boolean isSpaceChar(char ch) {

  100.         return (((((1 << Character.SPACE_SEPARATOR) |

  101.                    (1 << Character.LINE_SEPARATOR) |

  102.                    (1 << Character.PARAGRAPH_SEPARATOR))

  103.                 >> getType(ch)) & 1) != 0);

  104.     }

  105. 

  106. 

  107.     static boolean isJavaIdentifierStart(char ch) {

  108.         return (getProperties(ch) & 0x00007000) >= 0x00005000;

  109.     }

  110. 

  111.     static boolean isJavaIdentifierPart(char ch) {

  112.         return (getProperties(ch) & 0x00003000) != 0;

  113.     }

  114. 

  115.     static boolean isUnicodeIdentifierStart(char ch) {

  116.         return (getProperties(ch) & 0x00007000) == 0x00007000;

  117.     }

  118. 

  119.     static boolean isUnicodeIdentifierPart(char ch) {

  120.         return (getProperties(ch)& 0x00001000) != 0;

  121.     }

  122. 

  123.     static boolean isIdentifierIgnorable(char ch) {

  124.         return (getProperties(ch) & 0x00007000) == 0x00001000;

  125.     }

  126. 

  127.     static char toLowerCase(char ch) {

  128.         char mapChar = ch;

  129.         int val = getProperties(ch);

  130. 

  131.         if ((val & 0x00020000) != 0) {

  132.           if ((val & 0x07FC0000) == 0x07FC0000) {

  133.             switch(ch) {

  134.               // map the offset overflow chars

  135.             case '\u2126' : mapChar = '\u03C9'; break;

  136.             case '\u212A' : mapChar = '\u006B'; break;

  137.             case '\u212B' : mapChar = '\u00E5'; break;

  138.               // map the titlecase chars with both a 1:M uppercase map

  139.               // and a lowercase map

  140.             case '\u1F88' : mapChar = '\u1F80'; break;

  141.             case '\u1F89' : mapChar = '\u1F81'; break;

  142.             case '\u1F8A' : mapChar = '\u1F82'; break;

  143.             case '\u1F8B' : mapChar = '\u1F83'; break;

  144.             case '\u1F8C' : mapChar = '\u1F84'; break;

  145.             case '\u1F8D' : mapChar = '\u1F85'; break;

  146.             case '\u1F8E' : mapChar = '\u1F86'; break;

  147.             case '\u1F8F' : mapChar = '\u1F87'; break;

  148.             case '\u1F98' : mapChar = '\u1F90'; break;

  149.             case '\u1F99' : mapChar = '\u1F91'; break;

  150.             case '\u1F9A' : mapChar = '\u1F92'; break;

  151.             case '\u1F9B' : mapChar = '\u1F93'; break;

  152.             case '\u1F9C' : mapChar = '\u1F94'; break;

  153.             case '\u1F9D' : mapChar = '\u1F95'; break;

  154.             case '\u1F9E' : mapChar = '\u1F96'; break;

  155.             case '\u1F9F' : mapChar = '\u1F97'; break;

  156.             case '\u1FA8' : mapChar = '\u1FA0'; break;

  157.             case '\u1FA9' : mapChar = '\u1FA1'; break;

  158.             case '\u1FAA' : mapChar = '\u1FA2'; break;

  159.             case '\u1FAB' : mapChar = '\u1FA3'; break;

  160.             case '\u1FAC' : mapChar = '\u1FA4'; break;

  161.             case '\u1FAD' : mapChar = '\u1FA5'; break;

  162.             case '\u1FAE' : mapChar = '\u1FA6'; break;

  163.             case '\u1FAF' : mapChar = '\u1FA7'; break;

  164.             case '\u1FBC' : mapChar = '\u1FB3'; break;

  165.             case '\u1FCC' : mapChar = '\u1FC3'; break;

  166.             case '\u1FFC' : mapChar = '\u1FF3'; break;

  167.               // default mapChar is already set, so no

  168.               // need to redo it here.

  169.               // default       : mapChar = ch;

  170.             }

  171.           }

  172.           else {

  173.             int offset = val << 5 >> (5+18);

  174.             mapChar = (char)(ch + offset);

  175.           }

  176.         }

  177.         return mapChar;

  178.     }

  179. 

  180.     static char toUpperCase(char ch) {

  181.         char mapChar = ch;

  182.         int val = getProperties(ch);

  183. 

  184.         if ((val & 0x00010000) != 0) {

  185.           if ((val & 0x07FC0000) == 0x07FC0000) {

  186.             switch(ch) {

  187.               // map chars with overflow offsets

  188.             case '\u00B5' : mapChar = '\u039C'; break;

  189.             case '\u017F' : mapChar = '\u0053'; break;

  190.             case '\u1FBE' : mapChar = '\u0399'; break;

  191.               // map char that have both a 1:1 and 1:M map

  192.             case '\u1F80' : mapChar = '\u1F88'; break;

  193.             case '\u1F81' : mapChar = '\u1F89'; break;

  194.             case '\u1F82' : mapChar = '\u1F8A'; break;

  195.             case '\u1F83' : mapChar = '\u1F8B'; break;

  196.             case '\u1F84' : mapChar = '\u1F8C'; break;

  197.             case '\u1F85' : mapChar = '\u1F8D'; break;

  198.             case '\u1F86' : mapChar = '\u1F8E'; break;

  199.             case '\u1F87' : mapChar = '\u1F8F'; break;

  200.             case '\u1F90' : mapChar = '\u1F98'; break;

  201.             case '\u1F91' : mapChar = '\u1F99'; break;

  202.             case '\u1F92' : mapChar = '\u1F9A'; break;

  203.             case '\u1F93' : mapChar = '\u1F9B'; break;

  204.             case '\u1F94' : mapChar = '\u1F9C'; break;

  205.             case '\u1F95' : mapChar = '\u1F9D'; break;

  206.             case '\u1F96' : mapChar = '\u1F9E'; break;

  207.             case '\u1F97' : mapChar = '\u1F9F'; break;

  208.             case '\u1FA0' : mapChar = '\u1FA8'; break;

  209.             case '\u1FA1' : mapChar = '\u1FA9'; break;

  210.             case '\u1FA2' : mapChar = '\u1FAA'; break;

  211.             case '\u1FA3' : mapChar = '\u1FAB'; break;

  212.             case '\u1FA4' : mapChar = '\u1FAC'; break;

  213.             case '\u1FA5' : mapChar = '\u1FAD'; break;

  214.             case '\u1FA6' : mapChar = '\u1FAE'; break;

  215.             case '\u1FA7' : mapChar = '\u1FAF'; break;

  216.             case '\u1FB3' : mapChar = '\u1FBC'; break;

  217.             case '\u1FC3' : mapChar = '\u1FCC'; break;

  218.             case '\u1FF3' : mapChar = '\u1FFC'; break;

  219.               // ch must have a 1:M case mapping, but we

  220.               // can't handle it here. Return ch.

  221.               // since mapChar is already set, no need

  222.               // to redo it here.

  223.               //default       : mapChar = ch;

  224.             }

  225.           }

  226.           else {

  227.             int offset = val  << 5 >> (5+18);

  228.             mapChar =  (char)(ch - offset);

  229.           }

  230.         }

  231.         return mapChar;

  232.     }

  233. 

  234.     static char toTitleCase(char ch) {

  235.         char mapChar = ch;

  236.         int val = getProperties(ch);

  237. 

  238.         if ((val & 0x00008000) != 0) {

  239.             // There is a titlecase equivalent.  Perform further checks:

  240.             if ((val & 0x00010000) == 0) {

  241.                 // The character does not have an uppercase equivalent, so it must

  242.                 // already be uppercase; so add 1 to get the titlecase form.

  243.                 mapChar = (char)(ch + 1);

  244.             }

  245.             else if ((val & 0x00020000) == 0) {

  246.                 // The character does not have a lowercase equivalent, so it must

  247.                 // already be lowercase; so subtract 1 to get the titlecase form.

  248.                 mapChar = (char)(ch - 1);

  249.             }

  250.             // else {

  251.             // The character has both an uppercase equivalent and a lowercase

  252.             // equivalent, so it must itself be a titlecase form; return it.

  253.             // return ch;

  254.             //}

  255.         }

  256.         else if ((val & 0x00010000) != 0) {

  257.             // This character has no titlecase equivalent but it does have an

  258.             // uppercase equivalent, so use that (subtract the signed case offset).

  259.             mapChar = toUpperCase(ch);

  260.         }

  261.         return mapChar;

  262.     }

  263. 

  264.     static int digit(char ch, int radix) {

  265.         int value = -1;

  266.         if (radix >= Character.MIN_RADIX && radix <= Character.MAX_RADIX) {

  267.             int val = getProperties(ch);

  268.             int kind = val & 0x1F;

  269.             if (kind == Character.DECIMAL_DIGIT_NUMBER) {

  270.                 value = ch + ((val & 0x3E0) >> 5) & 0x1F;

  271.             }

  272.             else if ((val & 0xC00) == 0x00000C00) {

  273.                 // Java supradecimal digit

  274.                 value = (ch + ((val & 0x3E0) >> 5) & 0x1F) + 10;

  275.             }

  276.         }

  277.         return (value < radix) ? value : -1;

  278.     }

  279. 

  280.     static int getNumericValue(char ch) {

  281.         int val = getProperties(ch);

  282.         int retval = -1;

  283. 

  284.         switch (val & 0xC00) {

  285.         default: // cannot occur

  286.         case (0x00000000):         // not numeric

  287.             retval = -1;

  288.             break;

  289.         case (0x00000400):              // simple numeric

  290.             retval = ch + ((val & 0x3E0) >> 5) & 0x1F;

  291.             break;

  292.         case (0x00000800)      :       // "strange" numeric

  293.             switch (ch) {

  294.                 case '\u0BF1': retval = 100; break;         // TAMIL NUMBER ONE HUNDRED

  295.                 case '\u0BF2': retval = 1000; break;        // TAMIL NUMBER ONE THOUSAND

  296.                 case '\u1375': retval = 40; break;          // ETHIOPIC NUMBER FORTY

  297.                 case '\u1376': retval = 50; break;          // ETHIOPIC NUMBER FIFTY

  298.                 case '\u1377': retval = 60; break;          // ETHIOPIC NUMBER SIXTY

  299.                 case '\u1378': retval = 70; break;          // ETHIOPIC NUMBER SEVENTY

  300.                 case '\u1379': retval = 80; break;          // ETHIOPIC NUMBER EIGHTY

  301.                 case '\u137A': retval = 90; break;          // ETHIOPIC NUMBER NINETY

  302.                 case '\u137B': retval = 100; break;         // ETHIOPIC NUMBER HUNDRED

  303.                 case '\u137C': retval = 10000; break;       // ETHIOPIC NUMBER TEN THOUSAND

  304.                 case '\u215F': retval = 1; break;           // FRACTION NUMERATOR ONE

  305.                 case '\u216C': retval = 50; break;          // ROMAN NUMERAL FIFTY

  306.                 case '\u216D': retval = 100; break;         // ROMAN NUMERAL ONE HUNDRED

  307.                 case '\u216E': retval = 500; break;         // ROMAN NUMERAL FIVE HUNDRED

  308.                 case '\u216F': retval = 1000; break;        // ROMAN NUMERAL ONE THOUSAND

  309.                 case '\u217C': retval = 50; break;          // SMALL ROMAN NUMERAL FIFTY

  310.                 case '\u217D': retval = 100; break;         // SMALL ROMAN NUMERAL ONE HUNDRED

  311.                 case '\u217E': retval = 500; break;         // SMALL ROMAN NUMERAL FIVE HUNDRED

  312.                 case '\u217F': retval = 1000; break;        // SMALL ROMAN NUMERAL ONE THOUSAND

  313.                 case '\u2180': retval = 1000; break;        // ROMAN NUMERAL ONE THOUSAND C D

  314.                 case '\u2181': retval = 5000; break;        // ROMAN NUMERAL FIVE THOUSAND

  315.                 case '\u2182': retval = 10000; break;       // ROMAN NUMERAL TEN THOUSAND

  316.                 default:       retval = -2; break;

  317.             }

  318.             break;

  319.         case (0x00000C00):           // Java supradecimal

  320.             retval = (ch + ((val & 0x3E0) >> 5) & 0x1F) + 10;

  321.             break;

  322.         }

  323.         return retval;

  324.     }

  325. 

  326.     static boolean isWhitespace(char ch) {

  327.         return (getProperties(ch) & 0x00007000) == 0x00004000;

  328.     }

  329. 

  330.     static byte getDirectionality(char ch) {

  331.         int val = getProperties(ch);

  332.         byte directionality = (byte)((val & 0x78000000) >> 27);

  333.         if (directionality == 0xF ) {

  334.             switch(ch) {

  335.                 case '\u202A' :

  336.                     // This is the only char with LRE

  337.                     directionality = Character.DIRECTIONALITY_LEFT_TO_RIGHT_EMBEDDING;

  338.                     break;

  339.                 case '\u202B' :

  340.                     // This is the only char with RLE

  341.                     directionality = Character.DIRECTIONALITY_RIGHT_TO_LEFT_EMBEDDING;

  342.                     break;

  343.                 case '\u202C' :

  344.                     // This is the only char with PDF

  345.                     directionality = Character.DIRECTIONALITY_POP_DIRECTIONAL_FORMAT;

  346.                     break;

  347.                 case '\u202D' :

  348.                     // This is the only char with LRO

  349.                     directionality = Character.DIRECTIONALITY_LEFT_TO_RIGHT_OVERRIDE;

  350.                     break;

  351.                 case '\u202E' :

  352.                     // This is the only char with RLO

  353.                     directionality = Character.DIRECTIONALITY_RIGHT_TO_LEFT_OVERRIDE;

  354.                     break;

  355.                 default :

  356.                     directionality = Character.DIRECTIONALITY_UNDEFINED;

  357.                     break;

  358.             }

  359.         }

  360.         return directionality;

  361.     }

  362. 

  363.     static boolean isMirrored(char ch) {

  364.         return (getProperties(ch) & 0x80000000) != 0;

  365.     }

  366. 

  367.     static char toUpperCaseEx(char ch) {

  368.         char mapChar = ch;

  369.         int val = getProperties(ch);

  370. 

  371.         if ((val & 0x00010000) != 0) {

  372.             if ((val & 0x07FC0000) != 0x07FC0000) {

  373.                 int offset = val  << 5 >> (5+18);

  374.                 mapChar =  (char)(ch - offset);

  375.             }

  376.             else {

  377.                 switch(ch) {

  378.                     // map overflow characters

  379.                     case '\u00B5' : mapChar = '\u039C'; break;

  380.                     case '\u017F' : mapChar = '\u0053'; break;

  381.                     case '\u1FBE' : mapChar = '\u0399'; break;

  382.                     default       : mapChar = Character.CHAR_ERROR; break;

  383.                 }

  384.             }

  385.         }

  386.         return mapChar;

  387.     }

  388.     // The following tables and code generated using:

  389.   // java GenerateCharacter -template ../../tools/GenerateCharacter/CharacterData.java.template -spec ../../tools/GenerateCharacter/UnicodeData.txt -specialcasing ../../tools/GenerateCharacter/SpecialCasing.txt -o D:/BUILD_AREA/jdk142-update/ws/fcs/control/build/windows-i586/gensrc/java/lang/CharacterData.java -string -usecharforbyte 11 4 1

  390.       static final char[][][] charMap;

  391. // The X table has 2048 entries for a total of 4096 bytes.

  392. 

  393.   static final char X[] = (

  394.     "\000\001\002\003\004\005\006\007\010\011\012\013\014\015\016\017\010\020\021"+

  395.     "\022\023\024\025\026\027\027\030\031\032\033\034\035\036\037\040\010\041\010"+

  396.     "\042\043\044\045\046\047\050\051\052\053\054\055\056\057\060\060\061\062\063"+

  397.     "\064\065\044\060\066\044\044\044\044\044\044\044\044\044\044\067\070\071\072"+

  398.     "\073\074\075\076\077\100\101\102\103\104\105\106\073\107\110\111\112\113\114"+

  399.     "\115\116\117\120\121\122\123\124\121\122\125\126\121\127\130\131\132\133\134"+

  400.     "\135\044\136\137\140\044\141\142\143\144\145\146\147\044\150\151\152\044\044"+

  401.     "\153\154\155\150\150\156\150\150\157\150\160\161\150\162\150\163\164\165\166"+

  402.     "\164\150\167\170\044\150\150\171\133\150\150\150\150\150\150\150\150\150\150"+

  403.     "\150\150\150\150\150\150\150\150\172\173\150\150\174\044\044\044\044\150\175"+

  404.     "\176\177\200\150\201\202\150\203\044\044\044\044\044\044\044\044\044\044\044"+

  405.     "\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044"+

  406.     "\044\044\044\044\044\044\044\044\044\044\044\044\010\010\010\010\204\010\010"+

  407.     "\205\206\207\210\211\212\213\214\215\216\217\220\221\222\223\224\225\226\227"+

  408.     "\230\231\232\233\234\235\236\237\240\241\242\243\244\245\246\247\250\251\252"+

  409.     "\044\044\044\253\254\255\256\257\260\261\262\253\253\253\253\263\264\265\266"+

  410.     "\267\253\253\270\044\044\044\044\271\272\273\274\275\276\044\044\253\253\253"+

  411.     "\253\253\253\253\253\044\044\044\044\044\044\044\044\044\044\044\044\044\044"+

  412.     "\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044"+

  413.     "\044\044\044\044\044\044\044\044\044\044\044\277\253\253\235\253\253\253\253"+

  414.     "\253\253\263\300\301\302\133\150\303\133\150\304\305\306\150\150\307\202\044"+

  415.     "\044\310\311\312\313\314\315\316\317\250\250\250\320\250\250\321\317\150\150"+

  416.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  417.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  418.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  419.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  420.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  421.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  422.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  423.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  424.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  425.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  426.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\322\044\044\150\150\150"+

  427.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  428.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  429.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  430.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  431.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  432.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  433.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  434.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  435.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  436.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  437.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  438.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  439.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  440.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  441.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  442.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  443.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  444.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  445.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  446.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  447.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  448.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  449.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  450.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  451.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  452.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  453.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  454.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  455.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  456.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  457.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  458.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  459.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  460.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  461.     "\150\150\150\150\323\044\044\150\150\150\150\150\150\150\150\150\150\150\150"+

  462.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  463.     "\150\150\150\150\150\324\325\326\044\044\044\044\044\044\044\044\044\044\044"+

  464.     "\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044"+

  465.     "\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044\044"+

  466.     "\044\044\044\044\044\044\044\044\150\150\150\150\150\150\150\150\150\150\150"+

  467.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  468.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  469.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  470.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  471.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  472.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  473.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  474.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  475.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  476.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  477.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  478.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  479.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  480.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  481.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  482.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  483.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150"+

  484.     "\150\150\150\150\150\150\150\150\150\150\150\150\150\150\150\327\044\044\330"+

  485.     "\330\330\330\330\330\330\330\330\330\330\330\330\330\330\330\330\330\330\330"+

  486.     "\330\330\330\330\330\330\330\330\330\330\330\330\330\330\330\330\330\330\330"+

  487.     "\330\330\330\330\330\330\330\330\330\330\330\330\330\330\330\330\330\330\330"+

  488.     "\330\330\330\330\330\330\331\331\331\331\331\331\331\331\331\331\331\331\331"+

  489.     "\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331"+

  490.     "\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331"+

  491.     "\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331"+

  492.     "\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331"+

  493.     "\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331"+

  494.     "\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331"+

  495.     "\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331"+

  496.     "\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331"+

  497.     "\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331"+

  498.     "\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\331\150\150\150"+

  499.     "\150\150\150\150\150\150\332\044\044\044\044\044\044\333\334\335\060\060\336"+

  500.     "\337\060\060\060\060\060\060\060\060\060\060\340\341\060\342\060\343\344\044"+

  501.     "\345\346\347\060\060\060\350\351\352\353\354\355\356\357\360").toCharArray();

  502. 

  503.   // The Y table has 3856 entries for a total of 7712 bytes.

  504. 

  505.   static final char Y[] = (

  506.     "\000\000\000\000\002\004\006\000\000\000\000\000\000\000\010\004\012\014\016"+

  507.     "\020\022\024\026\030\032\032\032\032\032\034\036\040\042\044\044\044\044\044"+

  508.     "\044\044\044\044\044\044\044\046\050\052\054\056\056\056\056\056\056\056\056"+

  509.     "\056\056\056\056\060\062\064\000\000\066\000\000\000\000\000\000\000\000\000"+

  510.     "\000\000\000\000\070\072\072\074\076\100\102\104\106\110\112\114\116\120\122"+

  511.     "\124\126\126\126\126\126\126\126\126\126\126\126\130\126\126\126\132\134\134"+

  512.     "\134\134\134\134\134\134\134\134\134\136\134\134\134\140\142\142\142\142\142"+

  513.     "\142\142\142\142\142\142\142\142\142\142\142\142\142\142\142\142\142\142\142"+

  514.     "\144\142\142\142\146\150\150\150\150\150\150\150\152\142\142\142\142\142\142"+

  515.     "\142\142\142\142\142\142\142\142\142\142\142\142\142\142\142\142\142\154\150"+

  516.     "\150\152\156\142\142\160\162\164\166\170\172\162\174\176\142\200\202\204\142"+

  517.     "\142\142\206\210\200\142\206\212\214\150\216\142\220\142\222\224\224\226\230"+

  518.     "\232\226\234\150\150\150\150\150\150\150\236\142\142\142\142\142\142\142\142"+

  519.     "\142\240\232\142\242\142\142\142\142\244\142\142\142\142\142\142\142\142\142"+

  520.     "\244\244\244\244\244\244\244\244\244\244\244\244\244\244\200\246\250\252\254"+

  521.     "\256\200\200\260\262\200\200\264\200\200\266\200\270\272\200\200\200\200\200"+

  522.     "\274\276\200\200\274\300\200\200\200\302\200\200\200\200\200\200\200\200\200"+

  523.     "\200\200\200\200\244\304\304\304\304\306\310\304\304\304\312\312\312\312\312"+

  524.     "\312\312\304\312\312\312\312\312\312\312\304\304\306\312\312\312\312\314\244"+

  525.     "\244\244\244\244\244\244\244\316\316\316\316\316\316\316\316\316\316\316\316"+

  526.     "\316\316\316\316\316\316\320\316\316\316\316\322\244\244\244\244\244\244\244"+

  527.     "\244\316\322\244\244\244\244\244\244\244\244\312\244\244\314\244\324\244\244"+

  528.     "\312\326\330\332\334\336\340\126\126\126\126\126\126\126\126\342\126\126\126"+

  529.     "\126\344\346\350\134\134\134\134\134\134\134\134\352\134\134\134\134\354\356"+

  530.     "\360\362\364\366\244\142\142\142\142\142\142\142\142\142\142\142\370\372\244"+

  531.     "\244\244\244\244\244\374\374\374\374\374\374\374\374\126\126\126\126\126\126"+

  532.     "\126\126\126\126\126\126\126\126\126\126\134\134\134\134\134\134\134\134\134"+

  533.     "\134\134\134\134\134\134\134\376\376\376\376\376\376\376\376\142\u0100\316"+

  534.     "\322\u0102\244\142\142\142\142\142\142\142\142\142\142\u0104\150\u0106\u0108"+

  535.     "\u0106\u0108\u0106\244\142\142\142\142\142\142\142\142\142\142\142\142\142"+

  536.     "\142\142\142\142\142\142\244\142\244\244\244\244\244\244\244\244\244\244\244"+

  537.     "\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\u010A\u010C"+

  538.     "\u010C\u010C\u010C\u010C\u010C\u010C\u010C\u010C\u010C\u010C\u010C\u010C\u010C"+

  539.     "\u010C\u010C\u010C\u010C\u010E\u0110\u0112\u0112\u0112\u0114\u0116\u0116\u0116"+

  540.     "\u0116\u0116\u0116\u0116\u0116\u0116\u0116\u0116\u0116\u0116\u0116\u0116\u0116"+

  541.     "\u0116\u0116\u0118\u011A\u011C\244\244\u011E\316\316\316\316\316\316\316\316"+

  542.     "\u011E\316\316\316\316\316\316\316\316\316\316\316\u011E\316\u0120\u0120\u0122"+

  543.     "\322\244\244\244\244\244\u0124\u0124\u0124\u0124\u0124\u0124\u0124\u0124\u0124"+

  544.     "\u0124\u0124\u0124\u0124\u0126\244\244\u0124\u0128\u012A\244\244\244\244\244"+

  545.     "\244\244\244\244\244\244\u012C\244\244\244\244\244\244\u012E\244\u012E\u0130"+

  546.     "\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0134"+

  547.     "\244\244\u0136\u0132\u0132\u0132\u0132\u0138\316\316\316\316\316\244\244\244"+

  548.     "\244\244\u013A\u013A\u013A\u013A\u013A\u013C\u013E\244\u0140\u0132\u0132\u0132"+

  549.     "\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132"+

  550.     "\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132"+

  551.     "\u0132\u0132\u0132\u0132\u0142\316\316\316\u0144\u0146\316\316\u0148\u014A"+

  552.     "\u014C\316\316\244\032\032\032\032\032\u0132\u014E\u0150\u0152\u0152\u0152"+

  553.     "\u0152\u0152\u0152\u0152\u0154\u0138\u0132\u0132\u0132\u0132\u0132\u0132\u0132"+

  554.     "\u0132\u0132\u0132\u0132\u0132\u0132\u0134\244\316\316\316\316\316\316\316"+

  555.     "\316\316\316\316\316\316\322\244\244\244\244\244\244\244\244\244\244\u0132"+

  556.     "\u0132\u0132\316\316\316\316\316\322\244\244\244\244\244\244\244\u011E\u0156"+

  557.     "\u0158\224\224\224\224\224\224\224\224\224\224\224\224\224\224\224\224\224"+

  558.     "\224\224\224\224\224\224\224\224\224\244\u015A\u015C\u015E\316\316\316\u0156"+

  559.     "\u015C\u015E\244\u0160\316\322\244\224\224\224\224\224\316\u0112\u0162\u0162"+

  560.     "\u0162\u0162\u0162\u0164\244\244\244\244\244\244\244\u011E\u015C\u0158\224"+

  561.     "\224\224\u0166\u0158\u0166\u0158\224\224\224\224\224\224\224\224\224\224\u0166"+

  562.     "\224\224\224\u0166\u0166\244\224\224\244\322\u015C\u015E\316\322\u0168\u016A"+

  563.     "\u0168\u015E\244\244\244\244\u0168\244\244\224\u0158\224\316\244\u0162\u0162"+

  564.     "\u0162\u0162\u0162\224\072\u016C\u016C\u016E\u0170\244\244\244\322\u0158\224"+

  565.     "\224\u0166\244\u0158\u0166\u0158\224\224\224\224\224\224\224\224\224\224\u0166"+

  566.     "\224\224\224\u0166\224\u0158\u0166\224\244\322\u015C\u015E\322\244\u011E\322"+

  567.     "\u011E\316\244\244\244\244\244\u0158\224\u0166\u0166\244\244\244\u0162\u0162"+

  568.     "\u0162\u0162\u0162\316\224\u0166\244\244\244\244\244\u011E\u0156\u0158\224"+

  569.     "\224\224\u0158\u0158\224\u0158\224\224\224\224\224\224\224\224\224\224\u0166"+

  570.     "\224\224\224\u0166\224\u0158\224\224\244\u015A\u015C\u015E\316\316\u011E\u0156"+

  571.     "\u0168\u015E\244\u0166\244\244\244\244\244\244\244\u0166\244\244\u0162\u0162"+

  572.     "\u0162\u0162\u0162\244\244\244\244\244\244\244\244\224\224\224\224\u0166\224"+

  573.     "\224\224\u0166\224\244\224\224\244\u015A\u015E\u015E\316\244\u0168\u016A\u0168"+

  574.     "\u015E\244\244\244\244\u0156\244\244\224\u0158\224\244\244\u0162\u0162\u0162"+

  575.     "\u0162\u0162\u0170\244\244\244\244\244\244\244\244\u0156\u0158\224\224\u0166"+

  576.     "\244\224\u0166\224\224\244\u0158\u0166\u0166\224\244\u0158\u0166\244\224\u0166"+

  577.     "\244\224\224\224\224\u0158\224\244\244\u015C\u0156\u016A\244\u015C\u016A\u015C"+

  578.     "\u015E\244\244\244\244\u0168\244\244\244\244\244\244\244\u0172\u0162\u0162"+

  579.     "\u0162\u0162\u0174\u0176\244\244\244\244\244\244\u0168\u015C\u0158\224\224"+

  580.     "\224\u0166\224\u0166\224\224\224\224\224\224\224\224\224\224\224\u0166\224"+

  581.     "\224\224\224\224\u0158\224\224\244\244\316\u0156\u015C\u016A\316\322\316\316"+

  582.     "\244\244\244\u011E\322\244\244\244\244\224\244\244\u0162\u0162\u0162\u0162"+

  583.     "\u0162\244\244\244\244\244\244\244\244\244\u015C\u0158\224\224\224\u0166\224"+

  584.     "\u0166\224\224\224\224\224\224\224\224\224\224\224\u0166\224\224\224\224\224"+

  585.     "\u0158\224\224\244\244\u015E\u015C\u015C\u016A\u0156\u016A\u015C\316\244\244"+

  586.     "\244\u0168\u016A\244\244\244\u0166\224\224\224\224\u0166\224\224\224\224\224"+

  587.     "\224\224\224\244\244\u015C\u015E\316\244\u015C\u016A\u015C\u015E\244\244\244"+

  588.     "\244\u0168\244\244\244\244\244\u015C\u0158\224\224\224\224\224\224\224\224"+

  589.     "\u0166\244\224\224\224\224\224\224\224\224\224\224\224\224\u0158\224\224\224"+

  590.     "\224\u0158\244\224\224\224\u0166\244\322\244\u0168\u015C\316\322\322\u015C"+

  591.     "\u015C\u015C\u015C\244\244\244\244\244\244\244\244\244\u015C\u0164\244\244"+

  592.     "\244\244\244\u0158\224\224\224\224\224\224\224\224\224\224\224\224\224\224"+

  593.     "\224\224\224\224\224\224\224\224\224\u0160\224\316\316\316\322\244\u0178\224"+

  594.     "\224\224\u017A\316\316\316\u017C\u017E\u017E\u017E\u017E\u017E\u0112\244\244"+

  595.     "\u0158\u0166\u0166\u0158\u0166\u0166\u0158\244\244\244\224\224\u0158\224\224"+

  596.     "\224\u0158\224\u0158\u0158\244\224\u0158\224\u0160\224\316\316\316\u011E\u015A"+

  597.     "\244\224\224\u0166\314\316\316\316\244\u017E\u017E\u017E\u017E\u017E\244\224"+

  598.     "\244\u0180\u0182\u0112\u0112\u0112\u0112\u0112\u0112\u0112\u0184\u0182\u0182"+

  599.     "\316\u0182\u0182\u0182\u0186\u0186\u0186\u0186\u0186\u0188\u0188\u0188\u0188"+

  600.     "\u0188\u0100\u0100\u0100\u018A\u018A\u015C\224\224\224\224\u0158\224\224\224"+

  601.     "\224\224\224\224\224\224\224\224\224\224\224\224\224\u0166\244\244\u011E\316"+

  602.     "\316\316\316\316\316\u0156\316\316\u017C\316\224\224\244\244\316\316\316\316"+

  603.     "\u011E\316\316\316\316\316\316\316\316\316\316\316\316\316\316\316\316\316"+

  604.     "\322\u0182\u0182\u0182\u0182\u018C\u0182\u0182\u0170\u018E\244\244\244\244"+

  605.     "\244\244\244\244\224\224\224\224\224\224\224\224\224\224\224\224\224\224\224"+

  606.     "\224\224\u0158\224\224\u0158\u0166\u015E\316\u0156\322\244\316\u015E\244\244"+

  607.     "\244\u0186\u0186\u0186\u0186\u0186\u0112\u0112\u0112\224\224\224\u015C\316"+

  608.     "\244\244\244\362\362\362\362\362\362\362\362\362\362\362\362\362\362\362\362"+

  609.     "\362\362\362\244\244\244\244\244\224\224\224\224\224\224\224\224\224\224\224"+

  610.     "\224\224\224\224\224\224\224\224\u0166\244\u011A\244\244\224\224\224\224\224"+

  611.     "\224\224\224\224\224\224\224\224\244\244\u0158\224\u0166\244\244\224\224\224"+

  612.     "\224\224\224\224\224\224\224\224\224\224\224\224\224\224\224\224\224\224\224"+

  613.     "\224\224\224\244\244\244\224\224\224\u0166\224\224\224\224\224\224\224\224"+

  614.     "\224\224\224\224\224\224\224\u0166\u0166\224\224\244\224\224\224\u0166\u0166"+

  615.     "\224\224\244\224\224\224\u0166\u0166\224\224\244\224\224\224\224\224\224\224"+

  616.     "\224\224\224\224\224\224\224\224\u0166\u0166\224\224\244\224\224\224\u0166"+

  617.     "\u0166\224\224\244\224\224\224\u0166\224\224\224\u0166\224\224\224\224\224"+

  618.     "\224\224\224\224\224\224\u0166\224\224\224\224\224\224\224\224\224\224\224"+

  619.     "\u0166\224\224\224\224\224\224\224\224\224\u0166\244\244\u011A\u0112\u0112"+

  620.     "\u0112\u0190\u0192\u0192\u0192\u0192\u0194\u0196\u0198\u0198\u0198\u0176\244"+

  621.     "\224\224\224\224\224\224\224\224\224\224\u0166\244\244\244\244\244\224\224"+

  622.     "\224\224\224\224\u019A\u019C\224\224\224\u0166\244\244\244\244\u019E\224\224"+

  623.     "\224\224\224\224\224\224\224\224\224\224\u01A0\u01A2\244\224\224\224\224\224"+

  624.     "\u019A\u0112\u01A4\u01A6\244\244\244\244\244\244\244\224\224\224\224\224\224"+

  625.     "\224\224\224\224\u015C\u015E\316\316\316\u015C\u015C\u015C\u015C\u0156\u015E"+

  626.     "\316\316\316\316\316\u0112\u0112\u0112\u01A8\u0164\244\u0186\u0186\u0186\u0186"+

  627.     "\u0186\244\244\244\244\244\244\244\244\244\244\244\020\020\020\u01AA\020\u01AC"+

  628.     "\u01AE\u01B0\u017E\u017E\u017E\u017E\u017E\244\244\244\224\u01B2\224\224\224"+

  629.     "\224\224\224\224\224\224\224\224\224\224\224\224\224\224\224\224\224\224\224"+

  630.     "\224\224\224\224\244\244\244\244\224\224\224\224\u0160\244\244\244\244\244"+

  631.     "\244\244\244\244\244\244\142\142\142\142\142\142\142\142\142\142\142\u01B4"+

  632.     "\u01B4\u01B6\244\244\142\142\142\142\142\142\142\142\142\142\142\142\142\244"+

  633.     "\244\244\u01B8\u01B8\u01B8\u01B8\u01BA\u01BA\u01BA\u01BA\u01B8\u01B8\u01B8"+

  634.     "\244\u01BA\u01BA\u01BA\244\u01B8\u01B8\u01B8\u01B8\u01BA\u01BA\u01BA\u01BA"+

  635.     "\u01B8\u01B8\u01B8\u01B8\u01BA\u01BA\u01BA\u01BA\u01B8\u01B8\u01B8\244\u01BA"+

  636.     "\u01BA\u01BA\244\u01BC\u01BC\u01BC\u01BC\u01BE\u01BE\u01BE\u01BE\u01B8\u01B8"+

  637.     "\u01B8\u01B8\u01BA\u01BA\u01BA\u01BA\u01C0\u01C2\u01C2\u01C4\u01C6\u01C8\u01CA"+

  638.     "\244\u01B4\u01B4\u01B4\u01B4\u01CC\u01CC\u01CC\u01CC\u01B4\u01B4\u01B4\u01B4"+

  639.     "\u01CC\u01CC\u01CC\u01CC\u01B4\u01B4\u01B4\u01B4\u01CC\u01CC\u01CC\u01CC\u01B8"+

  640.     "\u01B4\u01CE\u01B4\u01BA\u01D0\u01D2\u01D4\312\u01B4\u01CE\u01B4\u01D6\u01D6"+

  641.     "\u01D2\312\u01B8\u01B4\244\u01B4\u01BA\u01D8\u01DA\312\u01B8\u01B4\u01DC\u01B4"+

  642.     "\u01BA\u01DE\u01E0\312\244\u01B4\u01CE\u01B4\u01E2\u01E4\u01D2\u01E6\u01E8"+

  643.     "\u01E8\u01E8\u01EA\u01E8\u01EC\u01AE\u01EE\u01F0\u01F0\u01F0\020\u01F2\u01F4"+

  644.     "\u01F2\u01F4\020\020\020\020\u01F6\u01F8\u01F8\u01FA\u01FC\u01FC\u01FE\020"+

  645.     "\u0200\u0202\020\u0204\u0206\020\u0208\u020A\020\020\020\244\244\244\244\244"+

  646.     "\244\244\244\244\244\244\244\244\244\u01AE\u01AE\u01AE\u020C\244\110\110\110"+

  647.     "\u020E\u0208\u0210\u0212\u0212\u0212\u0212\u0212\u020E\u0208\u020A\244\244"+

  648.     "\244\244\244\244\244\244\072\072\072\072\072\072\072\072\244\244\244\244\244"+

  649.     "\244\244\244\244\244\244\244\244\244\244\244\316\316\316\316\316\316\u0144"+

  650.     "\u0102\u0146\u0102\244\244\244\244\244\244\244\244\244\244\244\244\244\244"+

  651.     "\074\u0214\074\u0216\074\u0218\362\200\362\u021A\u0216\074\u0216\362\362\074"+

  652.     "\074\074\u0214\u021C\u0214\u021E\362\u0220\362\u0216\220\224\u0222\u0224\244"+

  653.     "\244\244\244\244\244\244\244\244\244\244\u0226\122\122\122\122\122\122\u0228"+

  654.     "\u0228\u0228\u0228\u0228\u0228\u022A\u022A\u022C\u022C\u022C\u022C\u022C\u022C"+

  655.     "\u022E\u022E\u0230\u0232\244\244\244\244\244\244\u0234\u0234\u0236\074\074"+

  656.     "\u0234\074\074\u0236\u0238\074\u0236\074\074\074\u0236\074\074\074\074\074"+

  657.     "\074\074\074\074\074\074\074\074\074\074\u0234\074\u0236\u0236\074\074\074"+

  658.     "\074\074\074\074\074\074\074\074\074\074\074\074\244\244\244\244\244\244\u023A"+

  659.     "\u023C\036\u0234\u023C\u023C\u023C\u0234\u023A\u020E\u023A\036\u0234\u023C"+

  660.     "\u023C\u023A\u023C\036\036\036\u0234\u023A\u023C\u023C\u023C\u023C\u0234\u0234"+

  661.     "\u023A\u023A\u023C\u023C\u023C\u023C\u023C\u023C\u023C\u023C\036\u0234\u0234"+

  662.     "\u023C\u023C\u0234\u0234\u0234\u0234\u023A\036\036\u023C\u023C\u023C\u023C"+

  663.     "\u0234\u023C\u023C\u023C\u023C\u023C\u023C\u023C\u023C\u023C\u023C\u023C\u023C"+

  664.     "\u023C\u023C\u023C\036\u023A\u023C\036\u0234\u0234\036\u0234\u0234\u0234\u0234"+

  665.     "\u023C\u0234\u023C\u023C\u023C\u023C\u023C\u023C\u023C\u023C\u023C\036\u0234"+

  666.     "\u0234\u023C\u0234\u0234\u0234\u0234\u023A\u023C\u023C\u0234\u023C\u0234\u0234"+

  667.     "\u023C\u023C\u023C\u023C\u023C\u023C\u023C\u023C\u023C\u023C\u023C\u023C\u0234"+

  668.     "\u023C\244\244\244\244\244\244\244\074\074\074\074\u023C\u023C\074\074\074"+

  669.     "\074\074\074\074\074\074\074\u023C\074\074\074\u023E\u0240\074\074\074\074"+

  670.     "\074\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182"+

  671.     "\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182"+

  672.     "\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0242\u0244\074\074"+

  673.     "\074\074\074\074\074\074\074\074\074\u0246\074\074\u0224\244\244\074\074\074"+

  674.     "\074\074\074\074\074\074\074\074\074\074\074\074\074\074\074\074\u0224\244"+

  675.     "\244\244\244\244\244\244\244\244\244\244\244\074\074\074\074\074\u0224\244"+

  676.     "\244\244\244\244\244\244\244\244\244\u0248\u0248\u0248\u0248\u0248\u0248\u0248"+

  677.     "\u0248\u0248\u0248\u024A\u024A\u024A\u024A\u024A\u024A\u024A\u024A\u024A\u024A"+

  678.     "\u024C\u024C\u024C\u024C\u024C\u024C\u024C\u024C\u024C\u024C\u0182\u0182\u0182"+

  679.     "\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u024E\u024E\u024E"+

  680.     "\u024E\u024E\u024E\u024E\u024E\u024E\u024E\u024E\u024E\u024E\u0250\u0250\u0250"+

  681.     "\u0250\u0250\u0250\u0250\u0250\u0250\u0250\u0250\u0250\u0250\u0252\244\244"+

  682.     "\244\244\244\244\244\244\244\244\074\074\074\074\074\074\074\074\074\074\074"+

  683.     "\244\244\244\244\244\074\074\074\074\074\074\074\074\074\074\074\u0238\074"+

  684.     "\074\074\074\u0238\074\074\074\074\074\074\074\074\074\074\074\074\074\074"+

  685.     "\074\074\074\074\074\074\074\074\074\074\074\074\074\244\244\244\244\074\074"+

  686.     "\074\074\074\074\074\074\074\074\244\244\u0244\074\074\074\074\074\074\074"+

  687.     "\074\074\074\u0238\074\244\244\244\244\244\244\244\u0244\074\u0224\074\074"+

  688.     "\244\074\074\074\074\074\074\074\074\074\074\074\074\074\074\u0244\074\074"+

  689.     "\074\074\074\074\074\074\074\074\074\074\074\074\074\074\074\u0244\u0244\074"+

  690.     "\u0224\244\u0224\074\074\074\u0224\u0244\074\074\074\244\244\244\244\244\244"+

  691.     "\244\u0254\u0254\u0254\u0254\u0254\u0256\u0256\u0256\u0256\u0256\u0258\u0258"+

  692.     "\u0258\u0258\u0258\u0224\244\074\074\074\074\074\074\074\074\074\074\074\074"+

  693.     "\u0244\074\074\074\074\074\074\u0224\074\074\074\074\074\074\074\074\074\074"+

  694.     "\074\074\074\u0244\074\074\244\244\244\244\244\244\244\244\074\074\074\074"+

  695.     "\074\074\244\244\012\020\u025A\u025C\022\022\022\022\022\074\022\022\022\022"+

  696.     "\u025E\u0260\u0262\u0264\u0264\u0264\u0264\316\316\316\u0266\304\304\074\u0268"+

  697.     "\u026A\244\074\224\224\224\224\224\224\224\224\224\224\u0166\244\u011E\u026C"+

  698.     "\310\314\224\224\224\224\224\224\224\224\224\224\224\224\224\u026E\304\314"+

  699.     "\244\244\u0158\224\224\224\224\224\224\224\224\224\224\224\224\224\224\224"+

  700.     "\224\224\224\224\u0166\244\u0158\224\224\224\224\224\224\224\224\224\224\224"+

  701.     "\224\224\224\u0166\u0182\u0188\u0188\u0182\u0182\u0182\u0182\u0182\u0182\u0182"+

  702.     "\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0170"+

  703.     "\244\u0188\u0188\u0188\u0188\u0188\u0182\u0182\u0182\u0182\u0182\u0182\u0182"+

  704.     "\u0182\u0182\u0182\u0182\u0182\u0182\244\244\244\244\244\244\244\244\244\244"+

  705.     "\244\244\244\244\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182"+

  706.     "\u0182\u0182\u0182\u0182\244\u018E\u0270\u0270\u0270\u0270\u0270\u0182\u0182"+

  707.     "\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182"+

  708.     "\u0182\u0182\u0182\u0182\u0170\244\244\244\244\244\244\244\u0182\u0182\u0182"+

  709.     "\u0182\u0182\u0182\244\244\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182"+

  710.     "\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182"+

  711.     "\u0182\u0182\u0170\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182"+

  712.     "\u0182\u0170\244\u018E\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182"+

  713.     "\u0182\u0182\u0182\u0182\u0182\u0182\u0182\u0182\244\224\224\224\224\224\224"+

  714.     "\224\224\224\224\224\244\244\244\244\244\224\224\224\244\244\244\244\244\244"+

  715.     "\244\244\244\244\244\244\244\224\224\224\224\224\224\u0166\244\074\074\074"+

  716.     "\074\074\074\074\074\074\244\074\074\074\074\074\074\074\074\u0244\074\074"+

  717.     "\074\074\074\u0224\074\u0224\u0224\244\244\244\244\244\244\244\244\244\244"+

  718.     "\244\244\224\224\244\244\244\244\244\244\244\244\244\244\244\244\244\244\u0272"+

  719.     "\u0272\u0272\u0272\u0272\u0272\u0272\u0272\u0272\u0272\u0272\u0272\u0272\u0272"+

  720.     "\u0272\u0272\u0274\u0274\u0274\u0274\u0274\u0274\u0274\u0274\u0274\u0274\u0274"+

  721.     "\u0274\u0274\u0274\u0274\u0274\224\224\224\224\224\224\224\244\244\244\244"+

  722.     "\244\244\244\244\244\u01B4\u01B4\u01B4\u01CE\244\244\244\244\244\u0276\u01B4"+

  723.     "\u01B4\244\244\u0278\u027A\u0124\u0124\u0124\u0124\u027C\u0124\u0124\u0124"+

  724.     "\u0124\u0124\u0124\u0126\u0124\u0124\u0126\u0126\u0124\u0278\u0126\u0124\u0124"+

  725.     "\u0124\u0124\u0124\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132"+

  726.     "\u0132\u0132\u0132\u0132\u0132\u0132\u0132\244\244\244\244\244\244\244\244"+

  727.     "\244\244\244\244\244\244\244\244\u0130\u0132\u0132\u0132\u0132\u0132\u0132"+

  728.     "\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132"+

  729.     "\u0132\u0132\u018A\244\244\244\244\244\244\244\244\u0132\u0132\u0132\u0132"+

  730.     "\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\244"+

  731.     "\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\244\244"+

  732.     "\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\244\u0132"+

  733.     "\u0132\u0132\u0132\u0132\u0132\244\244\316\316\244\244\244\244\244\244\u027E"+

  734.     "\u0280\u0282\u0284\u0284\u0284\u0284\u0284\u0284\u0284\u01A2\244\u0286\020"+

  735.     "\u0204\u0288\034\u012C\u028A\020\u025E\u0284\u0284\u028C\020\u028E\u0234\u0290"+

  736.     "\u0292\u01FE\244\244\u0132\u0134\u0134\u0132\u0132\u0132\u0132\u0132\u0132"+

  737.     "\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132\u0132"+

  738.     "\u0134\u0154\u0286\014\016\020\u018A\024\026\030\032\032\032\032\032\034\u0234"+

  739.     "\u0294\042\044\044\044\044\044\044\044\044\044\044\044\044\u0296\u0298\052"+

  740.     "\054\056\056\056\056\056\056\056\056\056\056\056\056\u029A\u029C\u0290\u0286"+

  741.     "\u018A\u0204\224\224\224\224\224\u029E\224\224\224\224\224\224\224\224\224"+

  742.     "\224\224\224\224\224\224\224\224\224\224\224\224\224\304\224\224\224\224\224"+

  743.     "\224\224\224\224\224\224\224\224\224\224\u0166\244\224\224\224\244\224\224"+

  744.     "\224\244\224\224\224\244\224\u0166\244\072\u02A0\u02A2\u02A4\u0238\u0234\u0236"+

  745.     "\u0224\244\244\244\244\u0154\u01AE\074\244").toCharArray();

  746. 

  747.   // The A table has 678 entries for a total of 2712 bytes.

  748. 

  749.   static final int A[] = new int[678];

  750.   static final String A_DATA =

  751.     "\u4800\u100F\u4800\u100F\u4800\u100F\u5800\u400F\u5000\u400F\u5800\u400F\u6000"+

  752.     "\u400F\u5000\u400F\u5000\u400F\u5000\u400F\u6000\u400C\u6800\030\u6800\030"+

  753.     "\u2800\030\u2800\u601A\u2800\030\u6800\030\u6800\030\uE800\025\uE800\026\u6800"+

  754.     "\030\u2800\031\u3800\030\u2800\024\u3800\030\u2000\030\u1800\u3609\u1800\u3609"+

  755.     "\u3800\030\u6800\030\uE800\031\u6800\031\uE800\031\u6800\030\u6800\030\202"+

  756.     "\u7FE1\202\u7FE1\202\u7FE1\202\u7FE1\uE800\025\u6800\030\uE800\026\u6800\033"+

  757.     "\u6800\u5017\u6800\033\201\u7FE2\201\u7FE2\201\u7FE2\201\u7FE2\uE800\025\u6800"+

  758.     "\031\uE800\026\u6800\031\u4800\u100F\u4800\u100F\u5000\u100F\u3800\014\u6800"+

  759.     "\030\u2800\u601A\u2800\u601A\u6800\034\u6800\034\u6800\033\u6800\034\000\u7002"+

  760.     "\uE800\035\u6800\031\u6800\024\u6800\034\u6800\033\u2800\034\u2800\031\u1800"+

  761.     "\u060B\u1800\u060B\u6800\033\u07FD\u7002\u6800\034\u6800\030\u6800\033\u1800"+

  762.     "\u050B\000\u7002\uE800\036\u6800\u080B\u6800\u080B\u6800\u080B\u6800\030\202"+

  763.     "\u7001\202\u7001\202\u7001\u6800\031\202\u7001\u07FD\u7002\201\u7002\201\u7002"+

  764.     "\201\u7002\u6800\031\201\u7002\u061D\u7002\006\u7001\005\u7002\u04E6\u7001"+

  765.     "\u03A1\u7002\000\u7002\006\u7001\005\u7002\006\u7001\005\u7002\u07FD\u7002"+

  766.     "\u061E\u7001\006\u7001\000\u7002\u034A\u7001\u033A\u7001\006\u7001\005\u7002"+

  767.     "\u0336\u7001\u0336\u7001\006\u7001\005\u7002\000\u7002\u013E\u7001\u032A\u7001"+

  768.     "\u032E\u7001\006\u7001\u033E\u7001\u067D\u7002\u034E\u7001\u0346\u7001\000"+

  769.     "\u7002\000\u7002\u034E\u7001\u0356\u7001\000\u7002\u035A\u7001\u036A\u7001"+

  770.     "\006\u7001\005\u7002\u036A\u7001\005\u7002\u0366\u7001\u0366\u7001\006\u7001"+

  771.     "\005\u7002\u036E\u7001\000\u7002\000\u7005\000\u7002\u0721\u7002\000\u7005"+

  772.     "\000\u7005\012\uF001\007\uF003\011\uF002\012\uF001\007\uF003\011\uF002\011"+

  773.     "\uF002\006\u7001\005\u7002\u013D\u7002\u07FD\u7002\012\uF001\u067E\u7001\u0722"+

  774.     "\u7001\u7800\000\u7800\000\000\u7002\u0349\u7002\u0339\u7002\000\u7002\u0335"+

  775.     "\u7002\u0335\u7002\000\u7002\u0329\u7002\000\u7002\u032D\u7002\u0335\u7002"+

  776.     "\000\u7002\000\u7002\u033D\u7002\u0345\u7002\u034D\u7002\000\u7002\u034D\u7002"+

  777.     "\u0355\u7002\000\u7002\000\u7002\u0359\u7002\u0369\u7002\000\u7002\000\u7002"+

  778.     "\u0369\u7002\u0365\u7002\u0365\u7002\u036D\u7002\000\u7002\000\u7004\000\u7004"+

  779.     "\000\u7004\u6800\033\u6800\033\000\u7004\u6800\033\u6800\033\000\u7004\u7800"+

  780.     "\000\u4000\u3006\u4000\u3006\u4000\u3006\u46B1\u3006\u4000\u3006\u7800\000"+

  781.     "\u6800\030\u7800\000\232\u7001\u6800\030\226\u7001\226\u7001\226\u7001\u7800"+

  782.     "\000\u0102\u7001\u7800\000\376\u7001\376\u7001\u07FD\u7002\202\u7001\u7800"+

  783.     "\000\202\u7001\231\u7002\225\u7002\225\u7002\225\u7002\u07FD\u7002\201\u7002"+

  784.     "\175\u7002\201\u7002\u0101\u7002\375\u7002\375\u7002\u7800\000\371\u7002\345"+

  785.     "\u7002\000\u7001\000\u7001\000\u7001\275\u7002\331\u7002\000\u7002\u0159\u7002"+

  786.     "\u0141\u7002\u013D\u7002\000\u7002\u0142\u7001\u0142\u7001\u0141\u7002\u0141"+

  787.     "\u7002\000\034\u4000\u3006\u4000\007\u4000\007\000\u7001\006\u7001\005\u7002"+

  788.     "\u7800\000\u7800\000\006\u7001\u7800\000\302\u7001\302\u7001\302\u7001\302"+

  789.     "\u7001\u7800\000\u7800\000\000\u7004\000\030\000\030\u7800\000\301\u7002\301"+

  790.     "\u7002\301\u7002\301\u7002\u07FD\u7002\u7800\000\000\030\u6800\024\u7800\000"+

  791.     "\u7800\000\u4000\u3006\u0800\030\u4000\u3006\u4000\u3006\u0800\030\u0800\u7005"+

  792.     "\u0800\u7005\u0800\u7005\u7800\000\u0800\u7005\u0800\030\u0800\030\u7800\000"+

  793.     "\u3800\030\u7800\000\u7800\000\u1000\030\u7800\000\u1000\u7005\u1000\u7005"+

  794.     "\u1000\u7005\u1000\u7005\u7800\000\u1000\u7004\u1000\u7005\u1000\u7005\u4000"+

  795.     "\u3006\u3000\u3409\u3000\u3409\u2800\030\u3000\030\u3000\030\u1000\030\u4000"+

  796.     "\u3006\u1000\u7005\u1000\030\u1000\u7005\u4000\u3006\u4000\007\u4000\007\u4000"+

  797.     "\u3006\u4000\u3006\u1000\u7004\u1000\u7004\u4000\u3006\u4000\u3006\u6800\034"+

  798.     "\u1000\u7005\u1000\034\u1000\034\u7800\000\u1000\030\u1000\030\u7800\000\u4800"+

  799.     "\u1010\u4000\u3006\000\u3008\u7800\000\000\u7005\u4000\u3006\000\u7005\000"+

  800.     "\u3008\000\u3008\000\u3008\u4000\u3006\000\u7005\u4000\u3006\000\u3749\000"+

  801.     "\u3749\000\030\u7800\000\000\u7005\u7800\000\u7800\000\000\u3008\000\u3008"+

  802.     "\u7800\000\000\u05AB\000\u05AB\000\013\000\u06EB\000\034\u7800\000\u7800\000"+

  803.     "\000\u3749\000\u074B\000\u080B\000\u080B\u7800\000\u7800\000\u2800\u601A\000"+

  804.     "\u7004\u4000\u3006\u4000\u3006\000\030\000\u3609\000\u3609\000\u7005\000\034"+

  805.     "\000\034\000\034\000\030\000\034\000\u3409\000\u3409\000\013\000\013\u6800"+

  806.     "\025\u6800\026\u4000\u3006\000\034\u7800\000\000\034\000\030\000\u3709\000"+

  807.     "\u3709\000\u3709\000\u070B\000\u042B\000\u054B\000\u080B\000\u080B\000\u080B"+

  808.     "\000\u7005\000\030\000\030\000\u7005\u6000\u400C\000\u7005\000\u7005\u6800"+

  809.     "\025\u6800\026\u7800\000\000\u046B\000\u046B\000\u046B\u7800\000\000\030\u2800"+

  810.     "\u601A\u6800\024\u6800\030\u6800\030\u4800\u1010\u4800\u1010\u4800\u1010\u4800"+

  811.     "\u1010\u7800\000\000\u7005\000\u7004\u07FD\u7002\u07FD\u7002\u07FD\u7002\355"+

  812.     "\u7002\u07E1\u7002\u07E1\u7002\u07E2\u7001\u07E2\u7001\u07FD\u7002\u07E1\u7002"+

  813.     "\u7800\000\u07E2\u7001\u06D9\u7002\u06D9\u7002\u06A9\u7002\u06A9\u7002\u0671"+

  814.     "\u7002\u0671\u7002\u0601\u7002\u0601\u7002\u0641\u7002\u0641\u7002\u0609\u7002"+

  815.     "\u0609\u7002\u07FF\uF003\u07FF\uF003\u07FD\u7002\u7800\000\u06DA\u7001\u06DA"+

  816.     "\u7001\u07FF\uF003\u6800\033\u07FD\u7002\u6800\033\u06AA\u7001\u06AA\u7001"+

  817.     "\u0672\u7001\u0672\u7001\u7800\000\u6800\033\u07FD\u7002\u07E5\u7002\u0642"+

  818.     "\u7001\u0642\u7001\u07E6\u7001\u6800\033\u0602\u7001\u0602\u7001\u060A\u7001"+

  819.     "\u060A\u7001\u6800\033\u7800\000\u6000\u400C\u6000\u400C\u6000\u400C\u6000"+

  820.     "\014\u6000\u400C\u4800\u400C\000\u1010\u0800\u1010\u6800\024\u6800\024\u6800"+

  821.     "\035\u6800\036\u6800\025\u6800\035\u6000\u400D\u5000\u400E\u7800\u1010\u7800"+

  822.     "\u1010\u7800\u1010\u6000\014\u2800\030\u2800\030\u2800\030\u6800\030\u6800"+

  823.     "\030\uE800\035\uE800\036\u6800\030\u6800\030\u6800\u5017\u6800\u5017\u6800"+

  824.     "\030\u6800\031\uE800\025\uE800\026\u7800\000\u1800\u060B\u7800\000\u2800\031"+

  825.     "\u2800\031\uE800\026\000\u7002\u1800\u040B\u1800\u040B\000\u7001\u6800\034"+

  826.     "\u6800\034\000\u7001\000\u7002\000\u7001\000\u7001\000\u7002\u07FE\u7001\u6800"+

  827.     "\034\u07FE\u7001\u07FE\u7001\u2800\034\000\u7002\000\u7005\000\u7002\u6800"+

  828.     "\034\u7800\000\u7800\000\u6800\u080B\102\u742A\102\u742A\102\u780A\102\u780A"+

  829.     "\101\u762A\101\u762A\101\u780A\101\u780A\000\u780A\000\u780A\000\u780A\000"+

  830.     "\u700A\u6800\031\u6800\031\u6800\031\u6800\034\u6800\034\u6800\031\u6800\031"+

  831.     "\uE800\031\uE800\031\uE800\031\u6800\034\uE800\025\uE800\026\u6800\034\000"+

  832.     "\034\u6800\034\u7800\000\u6800\034\u6800\034\000\034\u1800\u042B\u1800\u042B"+

  833.     "\u1800\u05AB\u1800\u05AB\u1800\u072B\u1800\u072B\152\034\152\034\151\034\151"+

  834.     "\034\u1800\u06CB\u7800\000\u6800\u056B\u6800\u056B\u6800\u042B\u6800\u042B"+

  835.     "\u6800\u06EB\u6800\u06EB\u6800\034\000\u7004\000\u7005\000\u772A\u6800\024"+

  836.     "\u6800\025\u6800\026\u6800\026\u6800\034\000\u740A\000\u740A\000\u740A\u6800"+

  837.     "\024\000\u7004\000\u764A\000\u776A\000\u748A\u7800\000\u4000\u3006\u6800\033"+

  838.     "\000\u7005\u6800\u5017\000\u042B\000\u042B\000\023\000\023\000\022\000\022"+

  839.     "\u7800\000\u07FD\u7002\u7800\000\u0800\u7005\u4000\u3006\u0800\u7005\u0800"+

  840.     "\u7005\u2800\031\u6800\030\u6800\024\u6800\024\u6800\u5017\u6800\u5017\u6800"+

  841.     "\025\u6800\026\u6800\025\u7800\000\u6800\030\u6800\u5017\u6800\u5017\u6800"+

  842.     "\030\u3800\030\u6800\026\u2800\030\u2800\031\u2800\024\u6800\031\u7800\000"+

  843.     "\u6800\030\u2800\u601A\u6800\031\u6800\030\202\u7FE1\u6800\025\u6800\030\u6800"+

  844.     "\026\201\u7FE2\u6800\025\u6800\031\u6800\026\000\u7004\000\u7005\u6800\031"+

  845.     "\u6800\033\u6800\034\u2800\u601A\u2800\u601A\u7800\000";

  846. 

  847.   // In all, the character property tables require 14520 bytes.

  848. 

  849.     static {

  850.             charMap = new char[][][] {

  851.         { {'\u00DF'}, {'\u0053', '\u0053', } },

  852.         { {'\u0149'}, {'\u02BC', '\u004E', } },

  853.         { {'\u01F0'}, {'\u004A', '\u030C', } },

  854.         { {'\u0390'}, {'\u0399', '\u0308', '\u0301', } },

  855.         { {'\u03B0'}, {'\u03A5', '\u0308', '\u0301', } },

  856.         { {'\u0587'}, {'\u0535', '\u0552', } },

  857.         { {'\u1E96'}, {'\u0048', '\u0331', } },

  858.         { {'\u1E97'}, {'\u0054', '\u0308', } },

  859.         { {'\u1E98'}, {'\u0057', '\u030A', } },

  860.         { {'\u1E99'}, {'\u0059', '\u030A', } },

  861.         { {'\u1E9A'}, {'\u0041', '\u02BE', } },

  862.         { {'\u1F50'}, {'\u03A5', '\u0313', } },

  863.         { {'\u1F52'}, {'\u03A5', '\u0313', '\u0300', } },

  864.         { {'\u1F54'}, {'\u03A5', '\u0313', '\u0301', } },

  865.         { {'\u1F56'}, {'\u03A5', '\u0313', '\u0342', } },

  866.         { {'\u1F80'}, {'\u1F08', '\u0399', } },

  867.         { {'\u1F81'}, {'\u1F09', '\u0399', } },

  868.         { {'\u1F82'}, {'\u1F0A', '\u0399', } },

  869.         { {'\u1F83'}, {'\u1F0B', '\u0399', } },

  870.         { {'\u1F84'}, {'\u1F0C', '\u0399', } },

  871.         { {'\u1F85'}, {'\u1F0D', '\u0399', } },

  872.         { {'\u1F86'}, {'\u1F0E', '\u0399', } },

  873.         { {'\u1F87'}, {'\u1F0F', '\u0399', } },

  874.         { {'\u1F88'}, {'\u1F08', '\u0399', } },

  875.         { {'\u1F89'}, {'\u1F09', '\u0399', } },

  876.         { {'\u1F8A'}, {'\u1F0A', '\u0399', } },

  877.         { {'\u1F8B'}, {'\u1F0B', '\u0399', } },

  878.         { {'\u1F8C'}, {'\u1F0C', '\u0399', } },

  879.         { {'\u1F8D'}, {'\u1F0D', '\u0399', } },

  880.         { {'\u1F8E'}, {'\u1F0E', '\u0399', } },

  881.         { {'\u1F8F'}, {'\u1F0F', '\u0399', } },

  882.         { {'\u1F90'}, {'\u1F28', '\u0399', } },

  883.         { {'\u1F91'}, {'\u1F29', '\u0399', } },

  884.         { {'\u1F92'}, {'\u1F2A', '\u0399', } },

  885.         { {'\u1F93'}, {'\u1F2B', '\u0399', } },

  886.         { {'\u1F94'}, {'\u1F2C', '\u0399', } },

  887.         { {'\u1F95'}, {'\u1F2D', '\u0399', } },

  888.         { {'\u1F96'}, {'\u1F2E', '\u0399', } },

  889.         { {'\u1F97'}, {'\u1F2F', '\u0399', } },

  890.         { {'\u1F98'}, {'\u1F28', '\u0399', } },

  891.         { {'\u1F99'}, {'\u1F29', '\u0399', } },

  892.         { {'\u1F9A'}, {'\u1F2A', '\u0399', } },

  893.         { {'\u1F9B'}, {'\u1F2B', '\u0399', } },

  894.         { {'\u1F9C'}, {'\u1F2C', '\u0399', } },

  895.         { {'\u1F9D'}, {'\u1F2D', '\u0399', } },

  896.         { {'\u1F9E'}, {'\u1F2E', '\u0399', } },

  897.         { {'\u1F9F'}, {'\u1F2F', '\u0399', } },

  898.         { {'\u1FA0'}, {'\u1F68', '\u0399', } },

  899.         { {'\u1FA1'}, {'\u1F69', '\u0399', } },

  900.         { {'\u1FA2'}, {'\u1F6A', '\u0399', } },

  901.         { {'\u1FA3'}, {'\u1F6B', '\u0399', } },

  902.         { {'\u1FA4'}, {'\u1F6C', '\u0399', } },

  903.         { {'\u1FA5'}, {'\u1F6D', '\u0399', } },

  904.         { {'\u1FA6'}, {'\u1F6E', '\u0399', } },

  905.         { {'\u1FA7'}, {'\u1F6F', '\u0399', } },

  906.         { {'\u1FA8'}, {'\u1F68', '\u0399', } },

  907.         { {'\u1FA9'}, {'\u1F69', '\u0399', } },

  908.         { {'\u1FAA'}, {'\u1F6A', '\u0399', } },

  909.         { {'\u1FAB'}, {'\u1F6B', '\u0399', } },

  910.         { {'\u1FAC'}, {'\u1F6C', '\u0399', } },

  911.         { {'\u1FAD'}, {'\u1F6D', '\u0399', } },

  912.         { {'\u1FAE'}, {'\u1F6E', '\u0399', } },

  913.         { {'\u1FAF'}, {'\u1F6F', '\u0399', } },

  914.         { {'\u1FB2'}, {'\u1FBA', '\u0399', } },

  915.         { {'\u1FB3'}, {'\u0391', '\u0399', } },

  916.         { {'\u1FB4'}, {'\u0386', '\u0399', } },

  917.         { {'\u1FB6'}, {'\u0391', '\u0342', } },

  918.         { {'\u1FB7'}, {'\u0391', '\u0342', '\u0399', } },

  919.         { {'\u1FBC'}, {'\u0391', '\u0399', } },

  920.         { {'\u1FC2'}, {'\u1FCA', '\u0399', } },

  921.         { {'\u1FC3'}, {'\u0397', '\u0399', } },

  922.         { {'\u1FC4'}, {'\u0389', '\u0399', } },

  923.         { {'\u1FC6'}, {'\u0397', '\u0342', } },

  924.         { {'\u1FC7'}, {'\u0397', '\u0342', '\u0399', } },

  925.         { {'\u1FCC'}, {'\u0397', '\u0399', } },

  926.         { {'\u1FD2'}, {'\u0399', '\u0308', '\u0300', } },

  927.         { {'\u1FD3'}, {'\u0399', '\u0308', '\u0301', } },

  928.         { {'\u1FD6'}, {'\u0399', '\u0342', } },

  929.         { {'\u1FD7'}, {'\u0399', '\u0308', '\u0342', } },

  930.         { {'\u1FE2'}, {'\u03A5', '\u0308', '\u0300', } },

  931.         { {'\u1FE3'}, {'\u03A5', '\u0308', '\u0301', } },

  932.         { {'\u1FE4'}, {'\u03A1', '\u0313', } },

  933.         { {'\u1FE6'}, {'\u03A5', '\u0342', } },

  934.         { {'\u1FE7'}, {'\u03A5', '\u0308', '\u0342', } },

  935.         { {'\u1FF2'}, {'\u1FFA', '\u0399', } },

  936.         { {'\u1FF3'}, {'\u03A9', '\u0399', } },

  937.         { {'\u1FF4'}, {'\u038F', '\u0399', } },

  938.         { {'\u1FF6'}, {'\u03A9', '\u0342', } },

  939.         { {'\u1FF7'}, {'\u03A9', '\u0342', '\u0399', } },

  940.         { {'\u1FFC'}, {'\u03A9', '\u0399', } },

  941.         { {'\uFB00'}, {'\u0046', '\u0046', } },

  942.         { {'\uFB01'}, {'\u0046', '\u0049', } },

  943.         { {'\uFB02'}, {'\u0046', '\u004C', } },

  944.         { {'\uFB03'}, {'\u0046', '\u0046', '\u0049', } },

  945.         { {'\uFB04'}, {'\u0046', '\u0046', '\u004C', } },

  946.         { {'\uFB05'}, {'\u0053', '\u0054', } },

  947.         { {'\uFB06'}, {'\u0053', '\u0054', } },

  948.         { {'\uFB13'}, {'\u0544', '\u0546', } },

  949.         { {'\uFB14'}, {'\u0544', '\u0535', } },

  950.         { {'\uFB15'}, {'\u0544', '\u053B', } },

  951.         { {'\uFB16'}, {'\u054E', '\u0546', } },

  952.         { {'\uFB17'}, {'\u0544', '\u053D', } },

  953.     };

  954.         { // THIS CODE WAS AUTOMATICALLY CREATED BY GenerateCharacter:

  955.             char[] data = A_DATA.toCharArray();

  956.             assert (data.length == (678 * 2));

  957.             int i = 0, j = 0;

  958.             while (i < (678 * 2)) {

  959.                 int entry = data[i++] << 16;

  960.                 A[j++] = entry | data[i++];

  961.             }

  962.         }

  963. 

  964.     }        

  965. }