[Unison-hackers] [unison-svn] r438 - in branches/2.40: . src unicode_utils

vouillon@seas.upenn.edu vouillon at seas.upenn.edu
Fri Apr 16 04:44:52 EDT 2010


Author: vouillon
Date: 2010-04-16 04:44:51 -0400 (Fri, 16 Apr 2010)
New Revision: 438

Removed:
   branches/2.40/trunk/
Modified:
   branches/2.40/src/RECENTNEWS
   branches/2.40/src/mkProjectInfo.ml
   branches/2.40/src/unicode_tables.ml
   branches/2.40/unicode_utils/unicode_build.ml
Log:
Branch 2.40:
* Fixed Unicode decomposition tables
* Removed wrongly added trunk directory


Modified: branches/2.40/src/RECENTNEWS
===================================================================
--- branches/2.40/src/RECENTNEWS	2010-04-16 08:38:34 UTC (rev 437)
+++ branches/2.40/src/RECENTNEWS	2010-04-16 08:44:51 UTC (rev 438)
@@ -1,5 +1,12 @@
 CHANGES FROM VERSION 2.40.16
 
+Branch 2.40:
+* Fixed Unicode decomposition tables
+* Removed wrongly added trunk directory
+
+-------------------------------
+CHANGES FROM VERSION 2.40.16
+
 Move old 2.40 branch aside to make room for a new beta version with
 same major number
 -------------------------------

Modified: branches/2.40/src/mkProjectInfo.ml
===================================================================
--- branches/2.40/src/mkProjectInfo.ml	2010-04-16 08:38:34 UTC (rev 437)
+++ branches/2.40/src/mkProjectInfo.ml	2010-04-16 08:44:51 UTC (rev 438)
@@ -114,3 +114,4 @@
 
 
 
+

Modified: branches/2.40/src/unicode_tables.ml
===================================================================
--- branches/2.40/src/unicode_tables.ml	2010-04-16 08:38:34 UTC (rev 437)
+++ branches/2.40/src/unicode_tables.ml	2010-04-16 08:44:51 UTC (rev 438)
@@ -12,14 +12,14 @@
 let norm_second_low =
   "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\004\008\012\016\020\024\027\031\035\039\043\047\051\055\059\063\066\070\074\078\082\086\000\090\093\097\101\105\109\113\000\000\004\008\012\016\020\000\027\031\035\039\043\047\051\055\059\000\066\070\074\078\082\086\000\000\093\097\101\105\109\000\116\120\120\124\124\128\128\132\132\136\136\140\140\144\144\148\148\152\000\155\155\159\159\163\163\167\167\171\171\175\175\179\179\183\183\187\187\191\191\195\000\198\198\202\202\206\206\210\210\214\000\218\000\221\221\!
 225\225\000\229\229\233\233\237\237\241\000\244\000\247\247\251\251\255\255\000\003\000\006\006\010\010\014\014\018\000\021\021\025\025\029\029\033\033\037\037\041\041\045\045\049\049\053\053\057\000\060\060\064\064\068\068\072\072\076\076\080\080\084\084\088\088\116\092\092\096\096\100\100\000\000\104\107\000\110\000\113\116\000\119\122\125\000\000\128\131\134\137\000\140\143\000\146\149\152\000\000\000\155\158\000\161\164\164\168\000\171\000\000\174\000\177\000\000\180\000\183\186\186\190\193\196\000\199\000\202\205\000\000\000\208\000\000\000\000\000\000\000\211\211\000\214\214\000\217\217\000\220\220\224\224\228\228\232\232\236\236\242\242\248\248\254\254\000\004\004\010\010\016\016\021\000\024\024\028\028\032\032\036\036\042\042\047\051\051\000\054\054\000\000\058\058\062\062\068\068\073\073\078\078\082\082\086\086\090\090\094\094\098\098\102\102\106\106\110\110\114\114\118\118\122\122\126\126\130\130\000\000\134\134\000\000\000\000\000\000\138\138\142\142\146\146\152\!
 152\158\158\162\162\168\168\000\000\000\000\000\000\000\000\00!
 0\000\000\000\172\175\000\178\181\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\186\000\000\000\000\000\000\000\000\000\189\000\000\000\000\000\000\191\196\201\204\209\214\000\219\000\224\229\234\241\244\247\250\253\000\003\006\009\012\015\018\021\024\027\030\033\000\036\039\042\045\048\051\054\057\062\196\204\209\214\067\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\036\000\000\000\000\000\000\000\057\062\219\224\229\000\000\000\000\074\079\000\000\000\000\000\000\000\000\000\000\000\000\000\084\000\087\000\090\000\093\000\096\000\099\000\102\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\105\110\115\118\123\126\129\132\137\140\143\146\149\154\159\164\167\170\173\176\179\182\185\188\191\194\199\202\205\208\211\214\217\220\223\226\229\232\235\238\241\244\247\250\253\000\003\006\000\000\000\00!
 0\000\000\000\000\000\194\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\105\110\000\118\000\000\000\132\000\000\000\000\149\154\159\000\009\000\012\000\015\000\018\000\021\000\024\000\027\000\030\000\033\000\036\000\039\000\042\042\047\000\050\000\053\000\056\000\059\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\062\000\065\000\068\000\071\000\074\000\077\000\080\000\083\000\086\000\089\000\092\000\095\000\098\000\101\000\104\000\107\000\110\000\113\000\116\000\119\000\122\000\125\000\128\000\131\000\000\134\134\139\000\000\000\142\000\000\000\145\000\000\000\000\148\148\153\153\158\000\161\161\166\000\169\169\174\174\179\179\184\000\187\187\192\192\197\197\202\000\205\205\210\210\215\215\220\220\225\225\230\230\000\000\235\235\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\00!
 0\000\000\000\000\000\000\240\243\246\249\252\255\002\005\008\011\014\0!
 17\020\023\026\029\032\035\038\041\044\047\050\053\056\059\062\065\068\071\074\077\080\083\086\089\092\095\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\098\103\108\113\118\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\123\000\128\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\133\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\138\000\000\000\000\000\000\000\145\000\0!
 00\152\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\159\166\173\180\187\194\201\208\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\215\222\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\229\236\000\243\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\250\000\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\008\015\022\000\000\029\000\000\000\000\000\000\000\000\000\000\000\0!
 00\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\!
 000\000\000\000\000\000\000\000\000\000\000\000\036\000\000\043\050\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\057\064\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\071\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\078\085\092\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\099\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\!
 000\000\000\000\000\000\000\000\000\000\000\000\000\106\000\000\000\000\000\000\113\120\000\127\134\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\144\151\158\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\165\000\172\179\189\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\196\000\000\000\000\000\000\000\000\000\203\000\000\000\000\210\000\000\000\000\217\000\000\000\000\224\000\000\000\000\000\000\000\000\000\000\000\000\231\!
 000\000\000\000\000\000\000\000\000\238\000\245\252\000\003\000\000\000!
 \000\000\000\000\000\010\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\017\000\000\000\000\000\000\000\000\000\024\000\000\000\000\031\000\000\000\000\038\000\000\000\000\045\000\000\000\000\000\000\000\000\000\000\000\000\052\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\059\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\066\070\074\078\082\086\090\094\098\102\106\110\114\118\122\126\130\134\138\142\146\150\154\158\162\166\170\174\178\182\186\190\194\198\202\206\210\214\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000!
 \000\000\000\000\000\000\000\000\000\000\000\000\000\218\218\222\222\226\226\230\230\234\234\240\240\244\244\248\248\252\252\000\000\004\004\010\010\016\016\020\020\024\024\030\030\034\034\038\038\042\042\046\046\050\050\054\054\058\058\062\062\068\068\072\072\076\076\080\080\084\084\090\090\094\094\098\098\102\102\106\106\110\110\114\114\118\118\122\122\126\126\132\132\138\138\144\144\150\150\154\154\158\158\162\162\166\166\172\172\176\176\180\180\184\184\190\190\196\196\202\202\206\206\210\210\214\214\218\218\222\222\226\226\230\230\236\236\242\242\246\246\250\250\254\254\002\002\006\006\010\010\014\014\018\018\022\022\026\026\030\030\034\034\038\042\046\050\000\054\000\000\000\000\059\059\063\063\067\067\073\073\079\079\085\085\091\091\097\097\103\103\109\109\115\115\121\121\127\127\131\131\135\135\139\139\145\145\151\151\157\157\163\163\169\169\173\173\177\177\181\181\185\185\191\191\197\197\203\203\209\209\215\215\221\221\227\227\233\233\239\239\245\245\249\249\253\253!
 \003\003\009\009\015\015\021\021\027\027\031\031\035\035\039\039\000\00!
 0\000\000\000\000\043\048\053\060\067\074\081\088\043\048\053\060\067\074\081\088\095\100\105\112\119\126\000\000\095\100\105\112\119\126\000\000\133\138\143\150\157\164\171\178\133\138\143\150\157\164\171\178\185\190\195\202\209\216\223\230\185\190\195\202\209\216\223\230\237\242\247\254\005\012\000\000\237\242\247\254\005\012\000\000\019\024\029\036\043\050\057\064\000\024\000\036\000\050\000\064\071\076\081\088\095\102\109\116\071\076\081\088\095\102\109\116\123\196\128\204\133\209\138\214\143\219\148\224\153\229\000\000\158\165\172\181\190\199\208\217\158\165\172\181\190\199\208\217\226\233\240\249\002\011\020\029\226\233\240\249\002\011\020\029\038\045\052\061\070\079\088\097\038\045\052\061\070\079\088\097\106\111\116\123\128\000\135\140\106\111\123\196\123\000\009\000\000\147\152\159\164\000\171\176\128\204\133\209\159\183\189\195\201\206\211\234\000\000\218\223\201\206\138\214\000\230\236\242\248\253\002\067\009\014\019\024\248\253\148\224\014\031\191\036\000\000\03!
 8\045\050\000\057\062\143\219\153\229\045\069\000\000\000\000\000\000\000\000\000\000\000\000\000\000\072\072\072\072\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\072\072\072\072\072\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\072\072\072\072\072\072\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\073\077\081\085\089\093\097\101\105\109\113\117\121\125\129\133\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\00!
 0\000\000\000\000\000\000\000\000\000\000\000\000\137\141\145\149\153\1!
 57\161\165\169\173\177\181\185\189\193\197\201\205\209\213\217\221\225\229\233\237\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\241\000\248\000\255\000\006\000\013\000\020\000\027\000\034\000\041\000\048\000\055\000\062\000\000\069\000\076\000\083\000\000\000\000\000\000\090\097\000\104\111\000\118\125\000\132\139\000\146\153\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\160\000\000\000\000\000\000\000\000\000\167\000\000\000\000\000\000\000\000\000\000\000\000\000\174\000\181\000\188\000\195\000\202\000\209\000\216\000\223\000\230\000\237\000\244\000\251\000\000\002\000\009\000\016\000\000\000\000\000\000\023\030\000\037\044\000\051\058\000\065\072\000\079\086\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\0!
 00\000\093\000\000\100\107\114\121\000\000\000\128\000\000\135\137\139\141\143\145\147\149\151\153\155\157\159\161\163\165\167\169\171\173\175\177\179\181\183\185\187\189\191\193\195\197\199\201\203\205\207\209\211\213\215\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\217\000\222\000\000\000\000\000\000\000\000\000\000\227\232\237\244\251\000\005\010\015\020\025\030\035\000\040\045\050\055\060\000\065\000\070\075\000\080\085\000\090\095\100\105\110\115\120\125\130\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\0!
 00\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\!
 000\000\000\000\072\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\135\139\143\147\151\155\159\163\167\171\175\179\183\187\191\195\199\203\207\211\215\219\223\227\231\235\000\000\000\000\000"
 let decomp_ascii =
-  "\000\001\002\003\004\005\006\007\b\t\n\011\012\r\014\015\016\017\018\019\020\021\022\023\024\025\026\027\028\029\030\031 !\"#$%&'()*+,-./0123456789:;<=>?@abcdefghijklmnopqrstuvwxyz[\\]^_`abcdefghijklmnopqrstuvwxyz{|}~\127"
+  "\000\001\002\003\004\005\006\007\b\t\n\011\012\r\014\015\016\017\018\019\020\021\022\023\024\025\026\027\028\029\030\031 !\"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\\]^_`abcdefghijklmnopqrstuvwxyz{|}~\127"
 let decomp_repl =
-  "\003À\003Á\003Â\003Ã\003Ä\003Å\002æ\003Ç\003È\003É\003Ê\003Ë\003Ì\003Í\003Î\003Ï\002ð\003Ñ\003Ò\003Ó\003Ô\003Õ\003Ö\002ø\003Ù\003Ú\003Û\003Ü\003Ý\002þ\003à\003á\003â\003ã\003ä\003å\003ç\003è\003é\003ê\003ë\003ì\003í\003î\003ï\003ñ\003ò\003ó\003ô\003õ\003ö\003ù\003ú\003û\003ü\003ý\003ÿ\003Ā\003ā\003Ă\003ă\003Ą\003ą\003Ć\003ć\003Ĉ\003ĉ\003Ċ\003ċ\003Č\003č\003Ď\003ď\002đ\003Ē\003ē\003Ĕ\003ĕ\003Ė\003ė\003Ę\003ę\003Ě\003ě\003Ĝ\003ĝ\003Ğ\003ğ\003Ġ\003ġ\003Ģ\003ģ\003Ĥ\003ĥ\002ħ\003Ĩ\003ĩ\003Ī\003ī\003Ĭ\003ĭ\003Į\003į\003İ\002ij\003Ĵ\003ĵ\003Ķ\003ķ\003Ĺ\003ĺ\003Ļ\003ļ\003Ľ\003ľ\002ŀ\002ł\003Ń\003ń\003Ņ\003ņ\003Ň\003ň\002ŋ\003Ō\003ō\003Ŏ\003ŏ\003Ő\003ő\002œ\003Ŕ\003ŕ\003Ŗ\003ŗ\003Ř\003ř\003Ś\003ś\003Ŝ\003ŝ\003Ş\0!
 03ş\003Š\003š\003Ţ\003ţ\003Ť\003ť\002ŧ\003Ũ\003ũ\003Ū\003ū\003Ŭ\003ŭ\003Ů\003ů\003Ű\003ű\003Ų\003ų\003Ŵ\003ŵ\003Ŷ\003ŷ\003Ÿ\003Ź\003ź\003Ż\003ż\003Ž\003ž\002ɓ\002ƃ\002ƅ\002ɔ\002ƈ\002ɖ\002ɗ\002ƌ\002ǝ\002ə\002ɛ\002ƒ\002ɠ\002ɣ\002ɩ\002ɨ\002ƙ\002ɯ\002ɲ\002ɵ\003Ơ\003ơ\002ƣ\002ƥ\002ƨ\002ʃ\002ƭ\002ʈ\003Ư\003ư\002ʊ\002ʋ\002ƴ\002ƶ\002ʒ\002ƹ\002ƽ\002dž\002lj\002nj\003Ǎ\003ǎ\003Ǐ\003ǐ\003Ǒ\003ǒ\003Ǔ\003ǔ\005Ǖ\005ǖ\005Ǘ\005ǘ\005Ǚ\005ǚ\005Ǜ\005ǜ\005Ǟ\005ǟ\005Ǡ\005ǡ\004Ǣ\004ǣ\002ǥ\003Ǧ\003ǧ\003Ǩ\003ǩ\003Ǫ\003ǫ\005Ǭ\005ǭ\004Ǯ\004ǯ\003ǰ\002dz\003Ǵ\003ǵ\003Ǹ\003ǹ\005Ǻ\005ǻ\004Ǽ\004ǽ\004Ǿ\004ǿ\003Ȁ\003ȁ\003Ȃ\003ȃ\003Ȅ\003ȅ\003Ȇ\003ȇ\003Ȉ\003ȉ\003Ȋ\003ȋ\003Ȍ\003ȍ\003Ȏ\003ȏ\003Ȑ\003ȑ\003Ȓ\003ȓ\003Ȕ\003ȕ\003Ȗ\003ȗ\003Ș\0!
 03ș\003Ț\003ț\003Ȟ\003ȟ\003Ȧ\003ȧ\003Ȩ\003ȩ\!
 005Ȫ\005ȫ\005Ȭ\005ȭ\003Ȯ\003ȯ\005Ȱ\005ȱ\003Ȳ\003ȳ\002̀\002́\002̓\004̈́\002ʹ\001;\004΅\004Ά\002·\004Έ\004Ή\004Ί\004Ό\004Ύ\004Ώ\006ΐ\002α\002β\002γ\002δ\002ε\002ζ\002η\002θ\002ι\002κ\002λ\002μ\002ν\002ξ\002ο\002π\002ρ\002σ\002τ\002υ\002φ\002χ\002ψ\002ω\004Ϊ\004Ϋ\004ά\004έ\004ή\004ί\006ΰ\004ϊ\004ϋ\004ό\004ύ\004ώ\004ϓ\004ϔ\002ϣ\002ϥ\002ϧ\002ϩ\002ϫ\002ϭ\002ϯ\004Ѐ\004Ё\002ђ\004Ѓ\002є\002ѕ\002і\004Ї\002ј\002љ\002њ\002ћ\004Ќ\004Ѝ\004Ў\002џ\002а\002б\002в\002г\002д\002е\002ж\002з\002и\004Й\002к\002л\002м\002н\002о\002п\002р\002с\002т\002у\002ф\002х\002ц\002ч\002ш\002щ\002ъ\002ы\002ь\002э\002ю\002я\004й\004ѐ\004ё\004ѓ\004ї\004ќ\004ѝ\004ў\002ѡ\002ѣ\002ѥ\002ѧ\002ѩ\002ѫ\002ѭ\002ѯ\002ѱ\002ѳ\002ѵ\004Ѷ\004ѷ\002ѹ\002ѻ\002ѽ\002ѿ\002ҁ\002ґ\002!
 Ò“\002Ò•\002Ò—\002Ò™\002Ò›\002ҝ\002ÒŸ\002Ò¡\002Ò£\002Ò¥\002Ò§\002Ò©\002Ò«\002Ò­\002Ò¯\002Ò±\002Ò³\002Òµ\002Ò·\002Ò¹\002Ò»\002Ò½\002Ò¿\004Ӂ\004ӂ\002Ó„\002Óˆ\002ÓŒ\004Ӑ\004ӑ\004Ӓ\004ӓ\002Ó•\004Ӗ\004ӗ\002Ó™\004Ӛ\004ӛ\004Ӝ\004ӝ\004Ӟ\004ӟ\002Ó¡\004Ӣ\004ӣ\004Ӥ\004ӥ\004Ӧ\004ӧ\002Ó©\004Ӫ\004ӫ\004Ӭ\004ӭ\004Ӯ\004ӯ\004Ӱ\004ӱ\004Ӳ\004ӳ\004Ӵ\004ӵ\004Ӹ\004ӹ\002Õ¡\002Õ¢\002Õ£\002Õ¤\002Õ¥\002Õ¦\002Õ§\002Õ¨\002Õ©\002Õª\002Õ«\002Õ¬\002Õ­\002Õ®\002Õ¯\002Õ°\002Õ±\002Õ²\002Õ³\002Õ´\002Õµ\002Õ¶\002Õ·\002Õ¸\002Õ¹\002Õº\002Õ»\002Õ¼\002Õ½\002Õ¾\002Õ¿\002Ö€\002ց\002Ö‚\002Öƒ\002Ö„\002Ö…\002Ö†\004آ\004أ\004ÙˆÙ”\004إ\004ÙŠÙ”\004Û•Ù”\004ۂ\004Û’Ù”\006ऩ\006ऱ\006ऴ\006क़\006ख़\006ग़\006ज़\006ड़\006ढ़\006फ़\006य़\006ো\006ৌ\006ড়\006ঢ়\006য়\006ਲ਼\006ਸ਼\006ਖ਼\006ਗ਼\006ਜ਼\006ਫ਼\006ୈ\006ୋ\006à­‡à!
 ­—\006ଡ଼\006ଢ଼\006ஔ\006ொ\006ோ\006ௌ\006ెà±!
 –\006ೀ\006ೇ\006ೈ\006ೊ\009ೋ\006ൊ\006ോ\006ൌ\006ේ\006ො\009ෝ\006ෞ\006གྷ\006ཌྷ\006དྷ\006བྷ\006ཛྷ\006ཀྵ\006ཱི\006ཱུ\006ྲྀ\006ླྀ\006ཱྀ\006ྒྷ\006ྜྷ\006ྡྷ\006ྦྷ\006ྫྷ\006ྐྵ\006ဦ\003ა\003ბ\003გ\003დ\003ე\003ვ\003ზ\003თ\003ი\003კ\003ლ\003მ\003ნ\003ო\003პ\003ჟ\003რ\003ს\003ტ\003უ\003ფ\003ქ\003ღ\003ყ\003შ\003ჩ\003ც\003ძ\003წ\003ჭ\003ხ\003ჯ\003ჰ\003ჱ\003ჲ\003ჳ\003ჴ\003ჵ\003AÌ¥\003aÌ¥\003Ḃ\003ḃ\003BÌ£\003bÌ£\003Ḇ\003ḇ\005Ḉ\005ḉ\003Ḋ\003ḋ\003DÌ£\003dÌ£\003Ḏ\003ḏ\003Ḑ\003ḑ\003DÌ­\003dÌ­\005EÌ„Ì€\005eÌ„Ì€\005Ḗ\005ḗ\003EÌ­\003eÌ­\003EÌ°\003eÌ°\005Ḝ\005ḝ\003Ḟ\003ḟ\003GÌ„\003gÌ„\003Ḣ\003ḣ\003HÌ£\003hÌ£\003Ḧ\003ḧ\003Ḩ\003ḩ\003HÌ®\003hÌ®\003IÌ°\003iÌ°\005Ḯ\005ḯ\003Ḱ\003ḱ\003KÌ£\003kÌ£\003Ḵ\003ḵ\003LÌ£\003lÌ£\00!
 5Ḹ\005ḹ\003Ḻ\003ḻ\003Ḽ\003ḽ\003Ḿ\003ḿ\003Ṁ\003ṁ\003Ṃ\003ṃ\003Ṅ\003ṅ\003Ṇ\003ṇ\003Ṉ\003ṉ\003Ṋ\003ṋ\005Ṍ\005ṍ\005Ṏ\005ṏ\005Ṑ\005ṑ\005Ṓ\005ṓ\003Ṕ\003ṕ\003Ṗ\003ṗ\003Ṙ\003ṙ\003Ṛ\003ṛ\005Ṝ\005ṝ\003Ṟ\003ṟ\003Ṡ\003ṡ\003Ṣ\003ṣ\005Ṥ\005ṥ\005Ṧ\005ṧ\005Ṩ\005ṩ\003Ṫ\003ṫ\003Ṭ\003ṭ\003Ṯ\003ṯ\003Ṱ\003ṱ\003Ṳ\003ṳ\003Ṵ\003ṵ\003Ṷ\003ṷ\005Ṹ\005ṹ\005Ṻ\005ṻ\003Ṽ\003ṽ\003Ṿ\003ṿ\003Ẁ\003ẁ\003Ẃ\003ẃ\003Ẅ\003ẅ\003Ẇ\003ẇ\003Ẉ\003ẉ\003Ẋ\003ẋ\003Ẍ\003ẍ\003Ẏ\003ẏ\003Ẑ\003ẑ\003Ẓ\003ẓ\003Ẕ\003ẕ\003ẖ\003ẗ\003ẘ\003ẙ\004ẛ\003Ạ\003ạ\003Ả\003ả\005Ấ\005ấ\005Ầ\005ầ\005Ẩ\005ẩ\005Ẫ\005ẫ\005Ậ\005ậ\005Ắ\005ắ\005Ằ\005ằ\005Ẳ\005ẳ\005Ẵ\005ẵ\005Ặ\005ặ\003Ẹ\003ẹ\003Ẻ\003ẻ\003Ẽ\003ẽ\00!
 5Ế\005ế\005Ề\005ề\005Ể\005ể\005Ễ\005ễ\0!
 05Ệ\005ệ\003Ỉ\003ỉ\003Ị\003ị\003Ọ\003ọ\003Ỏ\003ỏ\005Ố\005ố\005Ồ\005ồ\005Ổ\005ổ\005Ỗ\005ỗ\005Ộ\005ộ\005Ớ\005ớ\005Ờ\005ờ\005Ở\005ở\005Ỡ\005ỡ\005Ợ\005ợ\003Ụ\003ụ\003Ủ\003ủ\005Ứ\005ứ\005Ừ\005ừ\005Ử\005ử\005Ữ\005ữ\005Ự\005ự\003Ỳ\003ỳ\003Ỵ\003ỵ\003Ỷ\003ỷ\003Ỹ\003ỹ\004ἀ\004ἁ\006ἂ\006ἃ\006ἄ\006ἅ\006ἆ\006ἇ\004Ἀ\004Ἁ\006Ἂ\006Ἃ\006Ἄ\006Ἅ\006Ἆ\006Ἇ\004ἐ\004ἑ\006ἒ\006ἓ\006ἔ\006ἕ\004Ἐ\004Ἑ\006Ἒ\006Ἓ\006Ἔ\006Ἕ\004ἠ\004ἡ\006ἢ\006ἣ\006ἤ\006ἥ\006ἦ\006ἧ\004Ἠ\004Ἡ\006Ἢ\006Ἣ\006Ἤ\006Ἥ\006Ἦ\006Ἧ\004ἰ\004ἱ\006ἲ\006ἳ\006ἴ\006ἵ\006ἶ\006ἷ\004Ἰ\004Ἱ\006Ἲ\006Ἳ\006Ἴ\006Ἵ\006Ἶ\006!
 Ἷ\004ὀ\004ὁ\006ὂ\006ὃ\006ὄ\006ὅ\004Ὀ\004Ὁ\006Ὂ\006Ὃ\006Ὄ\006Ὅ\004ὐ\004ὑ\006ὒ\006ὓ\006ὔ\006ὕ\006ὖ\006ὗ\004Ὑ\006Ὓ\006Ὕ\006Ὗ\004ὠ\004ὡ\006ὢ\006ὣ\006ὤ\006ὥ\006ὦ\006ὧ\004Ὠ\004Ὡ\006Ὢ\006Ὣ\006Ὤ\006Ὥ\006Ὦ\006Ὧ\004ὰ\004ὲ\004ὴ\004ὶ\004ὸ\004ὺ\004ὼ\006ᾀ\006ᾁ\008ᾂ\008ᾃ\008ᾄ\008ᾅ\008ᾆ\008ᾇ\006ᾈ\006ᾉ\008ᾊ\008ᾋ\008ᾌ\008ᾍ\008ᾎ\008ᾏ\006ᾐ\006ᾑ\008ᾒ\008ᾓ\008ᾔ\008ᾕ\008ᾖ\008ᾗ\006ᾘ\006ᾙ\008ᾚ\008ᾛ\008ᾜ\008ᾝ\008ᾞ\008ᾟ\006ᾠ\006ᾡ\008ᾢ\008ᾣ\008ᾤ\008ᾥ\008ᾦ\008ᾧ\006ᾨ\006ᾩ\008ᾪ\008ᾫ\008ᾬ\008ᾭ\008ᾮ\008Ὡ!
 Í‚Í…\004ᾰ\004ᾱ\006ᾲ\004ᾳ\006ᾴ\004ᾶ\006ᾷ\004Î!
 ‘̆\004Ᾱ\004Ὰ\004ᾼ\004῁\006ῂ\004ῃ\006ῄ\004ῆ\006ῇ\004Ὲ\004Ὴ\004ῌ\005῍\005῎\005῏\004ῐ\004ῑ\006ῒ\004ῖ\006ῗ\004Ῐ\004Ῑ\004Ὶ\005῝\005῞\005῟\004ῠ\004Ï…Ì„\006ῢ\004ῤ\004ῥ\004Ï…Í‚\006ῧ\004Ῠ\004Ῡ\004Ὺ\004Ῥ\004῭\001`\006ῲ\004ῳ\006ῴ\004ῶ\006ῷ\004Ὸ\004Ὼ\004ῼ\002´\000\003â…°\003â…±\003â…²\003â…³\003â…´\003â…µ\003â…¶\003â…·\003â…¸\003â…¹\003â…º\003â…»\003â…¼\003â…½\003â…¾\003â…¿\003ⓐ\003â“‘\003â“’\003â““\003â“”\003â“•\003â“–\003â“—\003ⓘ\003â“™\003â“š\003â“›\003â“œ\003ⓝ\003â“ž\003â“Ÿ\003â“ \003â“¡\003â“¢\003â“£\003ⓤ\003â“¥\003ⓦ\003ⓧ\003ⓨ\003â“©\006が\006ぎ\006ぐ\006げ\006ご\006ざ\006じ\006ず\006ぜ\006ぞ\006だ\006ぢ\006づ\006で\006ど\006ば\006ぱ\006び\006ぴ\006ぶ\006ぷ\006べ\006ぺ\006ぼ\006ぽ\006ゔ\006ゞ\006ã‚«ã‚™\0!
 06ギ\006グ\006ゲ\006ゴ\006ザ\006ジ\006ズ\006ゼ\006ゾ\006ダ\006ヂ\006ヅ\006デ\006ド\006バ\006パ\006ビ\006ピ\006ブ\006プ\006ベ\006ペ\006ボ\006ポ\006ヴ\006ヷ\006ヸ\006ヹ\006ヺ\006ヾ\001\001\001\001\001\001\001\001\001	\001
+  "\003À\003Á\003Â\003Ã\003Ä\003Å\003Ç\003È\003É\003Ê\003Ë\003Ì\003Í\003Î\003Ï\003Ñ\003Ò\003Ó\003Ô\003Õ\003Ö\003Ù\003Ú\003Û\003Ü\003Ý\003à\003á\003â\003ã\003ä\003å\003ç\003è\003é\003ê\003ë\003ì\003í\003î\003ï\003ñ\003ò\003ó\003ô\003õ\003ö\003ù\003ú\003û\003ü\003ý\003ÿ\003Ā\003ā\003Ă\003ă\003Ą\003ą\003Ć\003ć\003Ĉ\003ĉ\003Ċ\003ċ\003Č\003č\003Ď\003ď\003Ē\003ē\003Ĕ\003ĕ\003Ė\003ė\003Ę\003ę\003Ě\003ě\003Ĝ\003ĝ\003Ğ\003ğ\003Ġ\003ġ\003Ģ\003ģ\003Ĥ\003ĥ\003Ĩ\003ĩ\003Ī\003ī\003Ĭ\003ĭ\003Į\003į\003İ\003Ĵ\003ĵ\003Ķ\003ķ\003Ĺ\003ĺ\003Ļ\003ļ\003Ľ\003ľ\003Ń\003ń\003Ņ\003ņ\003Ň\003ň\003Ō\003ō\003Ŏ\003ŏ\003Ő\003ő\003Ŕ\003ŕ\003Ŗ\003ŗ\003Ř\003ř\003Ś\003ś\003Ŝ\003ŝ\003Ş\003ş\003Š\003š\003Ţ\003ţ\003Ť\003ť\003Ũ\003ũ\003U!
 ̄\003ū\003Ŭ\003ŭ\003Ů\003ů\003Ű\003ű\003Ų\003ų\003Ŵ\003ŵ\003Ŷ\003ŷ\003Ÿ\003Ź\003ź\003Ż\003ż\003Ž\003ž\003Ơ\003ơ\003Ư\003ư\003Ǎ\003ǎ\003Ǐ\003ǐ\003Ǒ\003ǒ\003Ǔ\003ǔ\005Ǖ\005ǖ\005Ǘ\005ǘ\005Ǚ\005ǚ\005Ǜ\005ǜ\005Ǟ\005ǟ\005Ǡ\005ǡ\004Ǣ\004ǣ\003Ǧ\003ǧ\003Ǩ\003ǩ\003Ǫ\003ǫ\005Ǭ\005ǭ\004Ǯ\004ǯ\003ǰ\003Ǵ\003ǵ\003Ǹ\003ǹ\005Ǻ\005ǻ\004Ǽ\004ǽ\004Ǿ\004ǿ\003Ȁ\003ȁ\003Ȃ\003ȃ\003Ȅ\003ȅ\003Ȇ\003ȇ\003Ȉ\003ȉ\003Ȋ\003ȋ\003Ȍ\003ȍ\003Ȏ\003ȏ\003Ȑ\003ȑ\003Ȓ\003ȓ\003Ȕ\003ȕ\003Ȗ\003ȗ\003Ș\003ș\003Ț\003ț\003Ȟ\003ȟ\003Ȧ\003ȧ\003Ȩ\003ȩ\005Ȫ\005ȫ\005Ȭ\005ȭ\003Ȯ\003ȯ\005Ȱ\005ȱ\003Ȳ\003ȳ\002̀\002́\002̓\004̈́\002ʹ\001;\004΅\004Ά\002·\004Έ\004Ή\004Ί\004Ό\004Ύ\004Ώ\006ΐ\004Ϊ\004Ϋ\004ά\004έ\004ή!
 \004ί\006ΰ\004ϊ\004ϋ\004ό\004ύ\004ώ\004!
 ϓ\004ϔ\004Ѐ\004Ё\004Ѓ\004Ї\004Ќ\004Ѝ\004Ў\004Й\004й\004ѐ\004ё\004ѓ\004ї\004ќ\004ѝ\004ў\004Ѷ\004ѷ\004Ӂ\004ӂ\004Ӑ\004ӑ\004Ӓ\004ӓ\004Ӗ\004ӗ\004Ӛ\004ӛ\004Ӝ\004ӝ\004Ӟ\004ӟ\004Ӣ\004ӣ\004Ӥ\004ӥ\004Ӧ\004ӧ\004Ӫ\004ӫ\004Ӭ\004ӭ\004Ӯ\004ӯ\004Ӱ\004ӱ\004Ӳ\004ӳ\004Ӵ\004ӵ\004Ӹ\004ӹ\004آ\004أ\004ؤ\004إ\004ئ\004ۀ\004ۂ\004ۓ\006ऩ\006ऱ\006ऴ\006क़\006ख़\006ग़\006ज़\006ड़\006ढ़\006फ़\006य़\006ো\006ৌ\006ড়\006ঢ়\006য়\006ਲ਼\006ਸ਼\006ਖ਼\006ਗ਼\006ਜ਼\006ਫ਼\006ୈ\006ୋ\006ୌ\006ଡ଼\006ଢ଼\006ஔ\006ொ\006ோ\006ௌ\006ై\006ೀ\006ೇ\006ೈ\006ೊ\009ೋ\006ൊ\006ോ\006ൌ\006ේ\006ො\009ෝ\006ෞ\006གྷ\006ཌྷ\006དྷ\006བྷ\006ཛྷ!
 \006ཀྵ\006ཱི\006ཱུ\006ྲྀ\006ླྀ\006ཱྀ\006ྒྷ\006ྜྷ\006ྡྷ\006ྦྷ\006ྫྷ\006ྐྵ\006ဦ\003Ḁ\003ḁ\003Ḃ\003ḃ\003Ḅ\003ḅ\003Ḇ\003ḇ\005Ḉ\005ḉ\003Ḋ\003ḋ\003Ḍ\003ḍ\003Ḏ\003ḏ\003Ḑ\003ḑ\003Ḓ\003ḓ\005Ḕ\005ḕ\005Ḗ\005ḗ\003Ḙ\003ḙ\003Ḛ\003ḛ\005Ḝ\005ḝ\003Ḟ\003ḟ\003Ḡ\003ḡ\003Ḣ\003ḣ\003Ḥ\003ḥ\003Ḧ\003ḧ\003Ḩ\003ḩ\003Ḫ\003ḫ\003Ḭ\003ḭ\005Ḯ\005ḯ\003Ḱ\003ḱ\003Ḳ\003ḳ\003Ḵ\003ḵ\003Ḷ\003ḷ\005Ḹ\005ḹ\003Ḻ\003ḻ\003Ḽ\003ḽ\003Ḿ\003ḿ\003Ṁ\003ṁ\003Ṃ\003ṃ\003Ṅ\003ṅ\003Ṇ\003ṇ\003Ṉ\003ṉ\003Ṋ\003ṋ\005Ṍ\005ṍ\005Ṏ\005ṏ\005Ṑ\005ṑ\005Ṓ\005ṓ\003Ṕ\003ṕ\003Ṗ\003ṗ\003Ṙ\003ṙ\003Ṛ\003ṛ\005Ṝ\005ṝ\003Ṟ\003ṟ\003Ṡ\003ṡ\003Ṣ\003ṣ\005Ṥ\005ṥ\005Ṧ\005ṧ\005Ṩ\005ṩ\003Ṫ\003ṫ\003Ṭ\003ṭ\003Ṯ\003ṯ\003Ṱ\003ṱ\003!
 Ṳ\003ṳ\003UÌ°\003uÌ°\003UÌ­\003uÌ­\005Ṹ\005ṹ\005Ṻ\005uÌ!
 „̈\003Ṽ\003ṽ\003VÌ£\003vÌ£\003WÌ€\003wÌ€\003Ẃ\003ẃ\003Ẅ\003ẅ\003Ẇ\003ẇ\003WÌ£\003wÌ£\003Ẋ\003ẋ\003Ẍ\003ẍ\003Ẏ\003ẏ\003ZÌ‚\003zÌ‚\003ZÌ£\003zÌ£\003Ẕ\003ẕ\003ẖ\003ẗ\003wÌŠ\003yÌŠ\004ẛ\003AÌ£\003aÌ£\003Ả\003ả\005Ấ\005ấ\005AÌ‚Ì€\005aÌ‚Ì€\005Ẩ\005ẩ\005Ẫ\005ẫ\005Ậ\005ậ\005Ắ\005ắ\005Ằ\005ằ\005Ẳ\005ẳ\005Ẵ\005ẵ\005Ặ\005ặ\003EÌ£\003eÌ£\003Ẻ\003ẻ\003Ẽ\003ẽ\005Ế\005ế\005EÌ‚Ì€\005eÌ‚Ì€\005Ể\005ể\005Ễ\005ễ\005Ệ\005ệ\003Ỉ\003ỉ\003IÌ£\003iÌ£\003OÌ£\003oÌ£\003Ỏ\003ỏ\005Ố\005ố\005OÌ‚Ì€\005oÌ‚Ì€\005Ổ\005ổ\005Ỗ\005ỗ\005Ộ\005ộ\005Ớ\005ớ\005Ờ\005ờ\005Ở\005ở\005Ỡ\005ỡ\005Ợ\005ợ\003UÌ£\003uÌ£\003Ủ\003ủ\005Ứ\005ứ\005Ừ\005ừ\005Ử\005ử\005Ữ\005ữ\005Ự\005ự\003YÌ€\003yÌ€\003YÌ£\003yÌ£\003Ỷ\003ỷ\003Ỹ\003ỹ\004ἀ\004ἁ\!
 006ἂ\006ἃ\006ἄ\006ἅ\006ἆ\006ἇ\004Ἀ\004Ἁ\006Ἂ\006Ἃ\006Ἄ\006Ἅ\006Ἆ\006Ἇ\004ἐ\004ἑ\006ἒ\006ἓ\006ἔ\006ἕ\004Ἐ\004Ἑ\006Ἒ\006Ἓ\006Ἔ\006Ἕ\004ἠ\004ἡ\006ἢ\006ἣ\006ἤ\006ἥ\006ἦ\006ἧ\004Ἠ\004Ἡ\006Ἢ\006Ἣ\006Ἤ\006Ἥ\006Ἦ\006Ἧ\004ἰ\004ἱ\006ἲ\006ἳ\006ἴ\006ἵ\006ἶ\006ἷ\004Ἰ\004Ἱ\006Ἲ\006Ἳ\006Ἴ\006Ἵ\006Ἶ\006Ἷ\004ὀ\004ὁ\006ὂ\006ὃ\006ὄ\006ὅ\004Ὀ\004Ὁ\006Ὂ\006Ὃ\006Ὄ\006Ὅ\004ὐ\004ὑ\006ὒ\006ὓ\006ὔ\006ὕ\006ὖ\006ὗ\004Ὑ\006Ὓ\006Ὕ\006Ὗ\004ὠ\004ὡ\006ὢ\006ὣ\006ὤ\006ὥ\006ὦ\006ὧ\004Ὠ\004Ὡ\006Ὢ\006Ὣ\006Ὤ\006Ὥ\006Ὦ\006Ὧ\004ὰ\004ὲ\004ὴ\004ὶ\004ὸ\004ὺ\004ὼ\00!
 6ᾀ\006ᾁ\008ᾂ\008ᾃ\008ᾄ\008ᾅ\008α!
 Ì“Í‚Í…\008ᾇ\006ᾈ\006ᾉ\008ᾊ\008ᾋ\008ᾌ\008ᾍ\008ᾎ\008ᾏ\006ᾐ\006ᾑ\008ᾒ\008ᾓ\008ᾔ\008ᾕ\008ᾖ\008ᾗ\006ᾘ\006ᾙ\008ᾚ\008ᾛ\008ᾜ\008ᾝ\008ᾞ\008ᾟ\006ᾠ\006ᾡ\008ᾢ\008ᾣ\008ᾤ\008ᾥ\008ᾦ\008ᾧ\006ᾨ\006ᾩ\008ᾪ\008ᾫ\008ᾬ\008ᾭ\008ᾮ\008ᾯ\004ᾰ\004ᾱ\006ᾲ\004ᾳ\006ᾴ\004ᾶ\006ᾷ\004Ᾰ\004Ᾱ\004Ὰ\004ᾼ\002ι\004῁\006ῂ\004ῃ\006ῄ\004ῆ\006ῇ\004Ὲ\004Ὴ\004ῌ\005῍\005῎\005῏\004ῐ\004ῑ\006ῒ\004ῖ\006ῗ\004Ῐ\004Ῑ\004Ὶ\005῝\005῞\005῟\004ῠ\004Ï…Ì„\006ῢ\004ῤ\004ῥ\004Ï…Í‚\006ῧ\004Ῠ\004Ῡ\004Ὺ\004Ῥ\004῭\001`\006ῲ\004ῳ\006ῴ\004ῶ\006ῷ\004Ὸ\004Ὼ\004ῼ\002´\006が\006ぎ\006くã‚!
 ™\006げ\006ご\006ざ\006じ\006ず\006ぜ\006ぞ\006だ\006ぢ\006づ\006で\006ど\006ば\006ぱ\006び\006ぴ\006ぶ\006ぷ\006べ\006ぺ\006ぼ\006ぽ\006ゔ\006ゞ\006ã‚«ã‚™\006ã‚­ã‚™\006グ\006ゲ\006ゴ\006ザ\006ã‚·ã‚™\006ズ\006ゼ\006ゾ\006ã‚¿ã‚™\006ヂ\006ヅ\006デ\006ド\006バ\006パ\006ビ\006ピ\006ブ\006プ\006ベ\006ペ\006ボ\006ポ\006ヴ\006ヷ\006ヸ\006ヹ\006ヺ\006ヾ\001\001\001\001\001\001\001\001\001	\001
 \001\001\001
-\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\"\001*\001:\001<\001>\001?\001\\\001|\001 \001.\004×™Ö´\004ײַ\004שׁ\004שׂ\006שּׁ\006שּׂ\004אַ\004אָ\004אּ\004בּ\004×’Ö¼\004דּ\004×”Ö¼\004וּ\004×–Ö¼\004טּ\004×™Ö¼\004ךּ\004×›Ö¼\004לּ\004מּ\004× Ö¼\004סּ\004×£Ö¼\004פּ\004צּ\004קּ\004רּ\004שּ\004תּ\004וֹ\004בֿ\004×›Ö¿\004פֿ\003a\003b\003c\003d\003ï½…\003f\003g\003h\003i\003j\003k\003l\003m\003n\003o\003p\003q\003ï½’\003s\003ï½”\003u\003ï½–\003ï½—\003x\003ï½™\003z"
+\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\"\001*\001:\001<\001>\001?\001\\\001|\001 \001.\004×™Ö´\004ײַ\004שׁ\004שׂ\006שּׁ\006שּׂ\004אַ\004אָ\004אּ\004בּ\004×’Ö¼\004דּ\004×”Ö¼\004וּ\004×–Ö¼\004טּ\004×™Ö¼\004ךּ\004×›Ö¼\004לּ\004מּ\004× Ö¼\004סּ\004×£Ö¼\004פּ\004צּ\004קּ\004רּ\004שּ\004תּ\004וֹ\004בֿ\004×›Ö¿\004פֿ"
 let decomp_prim =
-  "\000\000\000\002\003\004\005\006\007\000\000\000\000\008\009\010\011\012\013\014\015\016\000\000\017\000\000\018\000\000\000\000\000\000\000\000\019\020\000\021\022\023\000\000\000\024\025\026\000\027\000\028\000\029\000\030\000\000\000\000\000\031\032\000\033\000\034\035\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\036\037\038\039\040\041\042\043\044\045\000\000\000\046\000\000\000\000\000\000\000\000\000\000\000\000\047\048\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\049\050\051\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\!
 000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\!
 000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\00!
 0\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\00!
 1\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\052\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\00!
 0\000\053\054\000\000\000\000\000\000\000\000\000\000\000\000\000\055\0!
 56\000\000\000"
+  "\000\000\000\002\003\004\005\006\007\000\000\000\000\008\009\010\011\012\000\013\000\000\000\000\014\000\000\015\000\000\000\000\000\000\000\000\016\017\000\018\019\020\000\000\000\021\022\023\000\024\000\025\000\026\000\027\000\000\000\000\000\028\029\000\030\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\031\032\033\034\035\036\037\038\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\039\040\041\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\!
 000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\!
 000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\00!
 0\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\00!
 1\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\042\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\00!
 0\000\043\044\000\000\000\000\000\000\000\000\000\000\000\000\000\000\0!
 00\000\000\000"
 let decomp_second_high =
-  "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\002\000\002\002\002\002\002\002\002\000\002\002\002\002\002\002\000\002\002\002\002\002\002\002\002\002\000\002\002\002\002\002\002\000\000\002\002\002\002\002\000\002\002\002\002\002\002\002\002\002\003\003\003\003\003\003\003\003\003\000\003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\000\003\003\003\003\003\003\003\003\003\000\003\000\003\003\!
 003\003\000\003\003\003\003\003\003\003\000\003\000\003\003\003\003\003\003\000\003\000\003\003\003\003\003\003\003\000\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\000\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\000\000\004\004\000\004\000\004\004\000\004\004\004\000\000\004\004\004\004\000\004\004\000\004\004\004\000\000\000\004\004\000\004\004\004\004\000\004\000\000\004\000\004\000\000\004\000\004\004\005\005\005\005\000\005\000\005\005\000\000\000\005\000\000\000\000\000\000\000\005\005\000\005\005\000\005\005\000\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\000\005\005\005\005\005\005\005\000\005\005\005\005\005\005\005\005\005\005\005\005\005\000\005\005\000\000\005\005\005\005\005\005\005\005\005\006\006\006\006\006\006\006\006\006\006\006\006\006\006\006\006\006\006\006\006\006\006\006\006\006\006\006\000\000\006\006\000\000\000\000\000\000\006\006\006\006\006\006\006\!
 006\006\006\006\006\006\006\000\000\000\000\000\000\000\000\00!
 0\000\000\000\006\006\000\006\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\000\000\000\006\006\006\006\006\006\000\006\000\006\006\006\006\007\007\007\007\007\007\007\007\007\007\007\007\007\007\007\007\000\007\007\007\007\007\007\007\007\007\007\007\007\007\007\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\007\000\000\000\000\000\000\000\007\007\007\007\007\000\000\000\000\007\007\000\000\000\000\000\000\000\000\000\000\000\000\000\007\000\007\000\007\000\007\000\007\000\007\000\007\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\007\007\007\007\007\007\007\007\007\007\007\007\007\007\007\007\007\007\007\007\007\007\007\007\007\007\008\008\008\008\008\008\008\008\008\008\008\008\008\008\008\008\008\008\008\008\008\008\000\000\000\00!
 0\000\000\000\000\000\008\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\008\008\000\008\000\000\000\008\000\000\000\000\008\008\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\008\008\000\008\000\008\000\008\000\008\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\008\000\000\008\008\008\000\000\000\008\000\000\000\008\000\000\000\000\009\009\009\009\009\000\009\009\009\000\009\009\009\009\009\009\009\000\009\009\009\009\009\009\009\000\009\009\009\009\009\009\009\009\009\009\009\009\000\000\009\009\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\00!
 0\000\000\000\000\000\000\009\009\009\009\009\009\009\009\009\009\009\0!
 09\009\009\009\009\009\009\009\009\009\009\009\009\009\009\009\009\010\010\010\010\010\010\010\010\010\010\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\010\010\010\010\010\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\010\000\010\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\010\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\010\000\000\000\000\000\000\000\010\000\0!
 00\010\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\010\010\010\010\010\010\010\010\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\010\010\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\010\010\000\010\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\010\000\000\010\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\010\010\010\000\000\010\000\000\000\000\000\000\000\000\000\000\000\0!
 00\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\!
 000\000\000\000\000\000\000\000\000\000\000\000\010\000\000\010\010\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\010\010\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\011\011\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\!
 000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\000\000\000\000\000\011\011\000\011\011\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\011\011\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\011\011\011\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\000\000\000\000\000\000\000\000\011\000\000\000\000\011\000\000\000\000\011\000\000\000\000\011\000\000\000\000\000\000\000\000\000\000\000\000\011\!
 000\000\000\000\000\000\000\000\000\011\000\011\011\000\011\000\000\000!
 \000\000\000\000\000\011\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\000\000\000\000\000\000\000\000\011\000\000\000\000\011\000\000\000\000\011\000\000\000\000\011\000\000\000\000\000\000\000\000\000\000\000\000\011\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000!
 \000\000\000\000\000\000\000\000\000\000\000\000\000\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\000\015\000\000\000\000\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016!
 \016\016\016\016\016\016\016\016\017\017\017\017\017\017\017\017\000\00!
 0\000\000\000\000\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\000\000\017\017\017\017\017\017\000\000\017\017\017\017\017\017\017\018\018\018\018\018\018\018\018\018\018\018\018\018\018\018\018\018\018\018\018\018\018\018\018\018\018\018\018\018\018\018\000\000\018\018\018\018\018\018\000\000\018\018\018\019\019\019\019\019\000\019\000\019\000\019\000\019\019\019\019\019\019\019\019\019\019\019\019\019\019\019\019\019\019\007\019\007\019\007\019\007\019\007\019\007\019\007\000\000\019\019\019\019\019\019\019\020\020\020\020\020\020\020\020\020\020\020\020\020\020\020\020\020\020\020\020\020\020\020\020\020\020\020\020\020\020\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\000\021\021\021\021\021\006\021\000\007\000\000\021\021\021\021\000\021\021\021\006\021\006\021\021\021\021\021\021\021\006\000\000\021\021\022\022\022\006\000\022\022\022\022\022\022\007\022\022\022\022\022\022\022\006\022\022\006\022\000\000\02!
 2\022\022\000\022\022\022\006\022\006\022\022\000\000\000\000\000\000\000\000\000\000\000\000\000\000\022\022\022\022\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\022\022\022\022\022\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\022\022\022\022\022\022\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\022\022\022\022\022\022\022\022\022\022\022\022\022\022\022\022\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\00!
 0\000\000\000\000\000\000\000\000\000\000\000\000\022\022\022\022\022\0!
 22\022\022\022\022\023\023\023\023\023\023\023\023\023\023\023\023\023\023\023\023\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\000\023\000\023\000\023\000\000\000\000\000\000\023\023\000\023\023\000\023\023\000\023\023\000\023\023\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\023\000\000\000\000\000\000\000\000\000\023\000\000\000\000\000\000\000\000\000\000\000\000\000\023\000\024\000\024\000\024\000\024\000\024\000\024\000\024\000\024\000\024\000\024\000\024\000\000\024\000\024\000\024\000\000\000\000\000\000\024\024\000\024\024\000\024\024\000\024\024\000\024\024\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\0!
 00\000\024\000\000\024\024\024\024\000\000\000\024\000\000\024\024\024\024\024\024\024\024\024\024\024\024\024\024\024\024\024\024\024\024\024\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\025\000\025\000\000\000\000\000\000\000\000\000\000\025\025\025\025\025\025\025\025\025\025\025\025\025\000\025\025\025\025\025\000\025\000\025\025\000\025\025\000\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\0!
 00\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\!
 000\000\000\000\022\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\025\025\025\025\025\025\025\025\025\025\025\026\026\026\026\026\026\026\026\026\026\026\026\026\026\026\000\000\000\000\000"
+  "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\001\002\002\002\002\002\002\000\002\002\002\002\002\002\002\002\002\000\002\002\002\002\002\002\000\000\002\002\002\002\002\000\000\002\002\002\002\002\002\000\002\002\002\002\002\002\002\002\002\000\002\002\002\002\002\002\000\000\002\002\002\002\002\000\002\002\002\002\002\002\002\002\002\002\002\002\003\003\003\003\003\000\000\003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\003\000\000\003\003\003\003\003\003\003\003\003\000\000\000\003\003\!
 003\003\000\003\003\003\003\003\003\000\000\000\000\003\003\003\003\003\003\000\000\000\003\003\003\003\003\003\000\000\003\003\003\003\003\003\003\003\004\004\004\004\004\004\004\004\004\004\000\000\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\004\004\000\000\000\000\000\000\000\000\000\000\000\000\000\004\004\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\004\000\004\004\004\004\004\005\000\000\005\005\005\005\005\005\005\005\005\005\005\000\000\000\005\005\000\000\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\005\000\000\005\005\000\000\000\000\000\000\005\005\005\005\005\005\005\!
 006\006\006\006\006\006\006\000\000\000\000\000\000\000\000\00!
 0\000\000\000\006\006\000\006\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\000\000\000\000\000\000\000\000\000\006\000\000\000\000\000\000\006\006\006\006\006\006\000\006\000\006\006\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\006\006\006\006\006\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\006\006\006\006\000\000\000\000\006\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\006\000\006\000\000\000\006\000\000\000\000\006\006\006\000\000\000\000\000\000\000\000\000\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\00!
 0\000\000\000\000\000\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006\006\000\006\000\000\000\006\000\000\000\000\006\006\006\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\007\007\000\000\000\000\000\000\000\000\000\007\007\000\000\000\000\000\000\000\000\000\000\000\000\000\007\007\007\007\000\000\007\007\000\000\007\007\007\007\007\007\000\000\007\007\007\007\007\007\000\000\007\007\007\007\007\007\007\007\007\007\007\007\000\000\007\007\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\007\007\007\007\007\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\007\000\007\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\007\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\00!
 0\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\0!
 00\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\007\000\000\000\000\000\000\000\007\000\000\007\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\007\007\008\008\008\008\008\008\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\008\008\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\008\008\000\008\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\0!
 08\000\000\008\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\008\008\008\000\000\008\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\008\000\000\008\008\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\008\008\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\008\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\008\008\008\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\0!
 00\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\!
 000\000\000\000\000\000\000\000\000\000\000\000\008\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\008\000\000\000\000\000\000\008\008\000\008\008\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\008\008\008\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\008\000\008\009\009\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\!
 000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\009\000\000\000\000\000\000\000\000\000\009\000\000\000\000\009\000\000\000\000\009\000\000\000\000\009\000\000\000\000\000\000\000\000\000\000\000\000\009\000\000\000\000\000\000\000\000\000\009\000\009\009\000\009\000\000\000\000\000\000\000\000\009\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\009\000\000\000\000\000\000\000\000\000\009\000\000\000\000\009\000\000\000\000\009\000\000\000\000\009\000\000\000\000\000\000\000\000\000\000\000\000\009\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\009\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\009\009\009\009\009\009\009\009\009\009\009\009\009\009\009\009\009\009\009\009\009\009\009\009\010\010\010\010\010\010\010\010\010\010\010\010\010\010\010\010\010\010\!
 010\010\010\010\010\010\010\010\010\010\010\010\010\010\010\010\010\010!
 \010\010\010\010\010\010\010\010\010\010\010\010\010\010\010\010\010\010\010\010\010\010\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\000\012\000\000\000\000\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\012\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\013\014\014\014\014\014\014\014\014\000\000\000\000\000\000\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\014\000\000\014\014\014\014\014\014\000\000\014\014\014\014\014\014\014\015\015\015\015\015\015\015\015\015\015\015\015!
 \015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\015\000\000\015\015\015\015\015\015\000\000\015\015\015\016\016\016\016\016\000\016\000\016\000\016\000\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\016\006\016\006\016\006\016\006\016\006\016\006\016\006\000\000\016\016\016\016\016\016\016\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\017\018\018\018\018\018\018\018\018\018\018\018\018\018\018\018\018\000\018\018\018\018\018\006\018\000\018\000\000\018\018\018\018\000\018\018\018\006\018\006\018\018\018\018\018\018\018\006\000\000\018\018\019\019\019\006\000\019\019\019\019\019\019\006\019\019\019\019\019\019\019\006\019\019\006\019\000\000\019\019\019\000\019\019\019\006\019\006\019\019\000\000\000\000\000\000\000\000\000\000\000\000\000\000\019\000\019\000\019\000\019\000\019\000\019\000\019\000\019\000\019\000\019\000\019\000\019\000\000\019\000\019\000\019!
 \000\000\000\000\000\000\020\020\000\020\020\000\020\020\000\020\020\00!
 0\020\020\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\020\000\000\000\000\000\000\000\000\000\020\000\000\000\000\000\000\000\000\000\000\000\000\000\020\000\020\000\020\000\020\000\020\000\020\000\020\000\020\000\020\000\020\000\020\000\020\000\000\020\000\020\000\020\000\000\000\000\000\000\020\020\000\020\020\000\020\020\000\020\020\000\020\020\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\021\000\000\021\021\021\021\000\000\000\021\000\000\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\021\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\021\000\021\000\000\000\000\000\000\000\000\000\000\021\021\021\021\021\021\021\021\02!
 1\021\021\021\021\000\021\021\021\021\021\000\021\000\021\021\000\021\021\000\022\022\022\022\022\022\022\022\022\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
 let decomp_second_low =
-  "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\004\008\012\016\020\024\027\031\035\039\043\047\051\055\059\063\066\070\074\078\082\086\000\090\093\097\101\105\109\113\000\116\120\124\128\132\136\000\140\144\148\152\156\160\164\168\172\000\176\180\184\188\192\196\000\000\200\204\208\212\216\000\220\224\228\232\236\240\244\248\252\000\004\008\012\016\020\024\028\032\000\035\039\043\047\051\055\059\063\067\071\075\079\083\087\091\095\099\103\107\111\115\000\118\122\126\130\134\138\142\146\150\000\154\000\157\161\!
 165\169\000\173\177\181\185\189\193\197\000\200\000\203\207\211\215\219\223\000\227\000\230\234\238\242\246\250\254\000\001\005\009\013\017\021\025\029\033\037\041\045\049\053\057\061\065\069\073\000\076\080\084\088\092\096\100\104\108\112\116\120\124\128\132\136\140\144\148\152\156\160\164\000\000\168\171\000\174\000\177\180\000\183\186\189\000\000\192\195\198\201\000\204\207\000\210\213\216\000\000\000\219\222\000\225\228\232\236\000\239\000\000\242\000\245\000\000\248\000\251\254\002\006\009\012\000\015\000\018\021\000\000\000\024\000\000\000\000\000\000\000\027\027\000\030\030\000\033\033\000\036\040\044\048\052\056\060\064\068\074\080\086\092\098\104\110\000\116\122\128\134\140\145\150\000\153\157\161\165\169\173\177\183\189\194\199\203\203\000\206\210\000\000\214\218\222\228\234\239\244\249\254\002\006\010\014\018\022\026\030\034\038\042\046\050\054\058\062\066\070\074\078\082\086\090\094\098\102\106\000\000\110\114\000\000\000\000\000\000\118\122\126\130\134\140\146\!
 152\158\162\166\172\178\182\000\000\000\000\000\000\000\000\00!
 0\000\000\000\186\189\000\192\195\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\200\000\000\000\000\000\000\000\000\000\203\000\000\000\000\000\000\205\210\215\218\223\228\000\233\000\238\243\248\255\002\005\008\011\014\017\020\023\026\029\032\035\038\041\044\047\000\050\053\056\059\062\065\068\071\076\081\086\091\096\101\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\050\000\000\000\000\000\000\000\108\113\118\123\128\000\000\000\000\133\138\000\000\000\000\000\000\000\000\000\000\000\000\000\143\000\146\000\149\000\152\000\155\000\158\000\161\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\164\169\174\177\182\185\188\191\196\199\202\205\208\213\218\223\226\229\232\235\238\241\244\247\250\253\002\005\008\011\014\017\020\023\026\029\032\035\038\041\044\047\050\053\056\059\062\065\000\000\000\00!
 0\000\000\000\000\000\068\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\073\078\000\083\000\000\000\088\000\000\000\000\093\098\103\000\108\000\111\000\114\000\117\000\120\000\123\000\126\000\129\000\132\000\135\000\138\000\141\146\151\000\154\000\157\000\160\000\163\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\166\000\169\000\172\000\175\000\178\000\181\000\184\000\187\000\190\000\193\000\196\000\199\000\202\000\205\000\208\000\211\000\214\000\217\000\220\000\223\000\226\000\229\000\232\000\235\000\000\238\243\248\000\000\000\251\000\000\000\254\000\000\000\000\001\006\011\016\021\000\024\029\034\000\037\042\047\052\057\062\067\000\070\075\080\085\090\095\100\000\103\108\113\118\123\128\133\138\143\148\153\158\000\000\163\168\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\00!
 0\000\000\000\000\000\000\173\176\179\182\185\188\191\194\197\200\203\2!
 06\209\212\215\218\221\224\227\230\233\236\239\242\245\248\251\254\001\004\007\010\013\016\019\022\025\028\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\031\036\041\046\051\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\056\000\061\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\066\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\071\000\000\000\000\000\000\000\078\000\0!
 00\085\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\092\099\106\113\120\127\134\141\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\148\155\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\162\169\000\176\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\183\000\000\190\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\197\204\211\000\000\218\000\000\000\000\000\000\000\000\000\000\000\0!
 00\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\!
 000\000\000\000\000\000\000\000\000\000\000\000\225\000\000\232\239\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\246\253\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\004\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\018\025\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\032\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\!
 000\000\000\000\000\000\000\000\000\000\000\000\000\039\000\000\000\000\000\000\046\053\000\060\067\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\077\084\091\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\098\000\105\112\122\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\129\000\000\000\000\000\000\000\000\000\136\000\000\000\000\143\000\000\000\000\150\000\000\000\000\157\000\000\000\000\000\000\000\000\000\000\000\000\164\!
 000\000\000\000\000\000\000\000\000\171\000\178\185\000\192\000\000\000!
 \000\000\000\000\000\199\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\206\000\000\000\000\000\000\000\000\000\213\000\000\000\000\220\000\000\000\000\227\000\000\000\000\234\000\000\000\000\000\000\000\000\000\000\000\000\241\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\248\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\255\003\007\011\015\019\023\027\031\035\039\043\047\051\055\059\063\067\071\075\079\083\087\091\095\099\103\107\111\115\119\123\127\131\135\139\143\147\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000!
 \000\000\000\000\000\000\000\000\000\000\000\000\000\151\155\159\163\167\171\175\179\183\189\195\199\203\207\211\215\219\223\227\231\235\241\247\253\003\007\011\015\019\025\031\035\039\043\047\051\055\059\063\067\071\075\079\083\087\091\095\101\107\111\115\119\123\127\131\135\139\145\151\155\159\163\167\171\175\179\183\187\191\195\199\203\207\211\215\219\223\229\235\241\247\253\003\009\015\019\023\027\031\035\039\043\047\053\059\063\067\071\075\079\083\089\095\101\107\113\119\123\127\131\135\139\143\147\151\155\159\163\167\171\175\181\187\193\199\203\207\211\215\219\223\227\231\235\239\243\247\251\255\003\007\011\015\019\023\027\031\035\039\043\047\051\055\059\000\063\000\000\000\000\068\072\076\080\084\090\096\102\108\114\120\126\132\138\144\150\156\162\168\174\180\186\192\198\204\208\212\216\220\224\228\234\240\246\252\002\008\014\020\026\032\036\040\044\048\052\056\060\064\070\076\082\088\094\100\106\112\118\124\130\136\142\148\154\160\166\172\178\184\188\192\196\200\206!
 \212\218\224\230\236\242\248\254\004\008\012\016\020\024\028\032\000\00!
 0\000\000\000\000\036\041\046\053\060\067\074\081\088\093\098\105\112\119\126\133\140\145\150\157\164\171\000\000\178\183\188\195\202\209\000\000\216\221\226\233\240\247\254\005\012\017\022\029\036\043\050\057\064\069\074\081\088\095\102\109\116\121\126\133\140\147\154\161\168\173\178\185\192\199\000\000\206\211\216\223\230\237\000\000\244\249\254\005\012\019\026\033\000\040\000\045\000\052\000\059\066\071\076\083\090\097\104\111\118\123\128\135\142\149\156\163\170\081\175\086\180\091\185\096\190\118\195\123\200\128\000\000\205\212\219\228\237\246\255\008\017\024\031\040\049\058\067\076\085\092\099\108\117\126\135\144\153\160\167\176\185\194\203\212\221\228\235\244\253\006\015\024\033\040\047\056\065\074\083\092\101\106\111\118\123\000\130\135\142\147\152\210\157\000\023\000\000\162\167\174\179\000\186\191\198\218\203\223\208\213\219\225\231\236\241\248\000\000\248\253\004\009\014\228\000\019\025\031\037\042\047\101\054\059\064\069\076\081\086\238\091\096\205\101\000\000\10!
 3\110\115\000\122\127\134\233\139\243\144\149\000\000\000\000\000\000\000\000\000\000\000\000\000\000\152\152\152\152\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\152\152\152\152\152\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\152\152\152\152\152\152\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\153\157\161\165\169\173\177\181\185\189\193\197\201\205\209\213\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\00!
 0\000\000\000\000\000\000\000\000\000\000\000\000\217\221\225\229\233\2!
 37\241\245\249\253\001\005\009\013\017\021\025\029\033\037\041\045\049\053\057\061\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\065\000\072\000\079\000\086\000\093\000\100\000\107\000\114\000\121\000\128\000\135\000\142\000\000\149\000\156\000\163\000\000\000\000\000\000\170\177\000\184\191\000\198\205\000\212\219\000\226\233\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\240\000\000\000\000\000\000\000\000\000\247\000\000\000\000\000\000\000\000\000\000\000\000\000\254\000\005\000\012\000\019\000\026\000\033\000\040\000\047\000\054\000\061\000\068\000\075\000\000\082\000\089\000\096\000\000\000\000\000\000\103\110\000\117\124\000\131\138\000\145\152\000\159\166\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\0!
 00\000\173\000\000\180\187\194\201\000\000\000\208\000\000\215\217\219\221\223\225\227\229\231\233\235\237\239\241\243\245\247\249\251\253\255\001\003\005\007\009\011\013\015\017\019\021\023\025\027\029\031\033\035\037\039\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\041\000\046\000\000\000\000\000\000\000\000\000\000\051\056\061\068\075\080\085\090\095\100\105\110\115\000\120\125\130\135\140\000\145\000\150\155\000\160\165\000\170\175\180\185\190\195\200\205\210\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\0!
 00\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\!
 000\000\000\000\152\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\215\219\223\227\231\235\239\243\247\251\255\003\007\011\015\019\023\027\031\035\039\043\047\051\055\059\000\000\000\000\000"
+  "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\004\008\012\016\020\000\024\028\032\036\040\044\048\052\056\000\060\064\068\072\076\080\000\000\084\088\092\096\100\000\000\104\108\112\116\120\124\000\128\132\136\140\144\148\152\156\160\000\164\168\172\176\180\184\000\000\188\192\196\200\204\000\208\212\216\220\224\228\232\236\240\244\248\252\000\004\008\012\016\000\000\020\024\028\032\036\040\044\048\052\056\060\064\068\072\076\080\084\088\092\096\000\000\100\104\108\112\116\120\124\128\132\000\000\000\136\140\!
 144\148\000\152\156\160\164\168\172\000\000\000\000\176\180\184\188\192\196\000\000\000\200\204\208\212\216\220\000\000\224\228\232\236\240\244\248\252\000\004\008\012\016\020\024\028\032\036\000\000\040\044\048\052\056\060\064\068\072\076\080\084\088\092\096\100\104\108\112\116\120\124\128\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\132\136\000\000\000\000\000\000\000\000\000\000\000\000\000\140\144\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\148\152\156\160\164\168\172\176\180\186\192\198\204\210\216\222\000\228\234\240\246\252\001\000\000\006\010\014\018\022\026\030\036\042\047\052\000\000\000\056\060\000\000\064\068\072\078\084\089\094\099\104\108\112\116\120\124\128\132\136\140\144\148\152\156\160\164\168\172\176\180\184\188\192\196\200\204\208\212\000\000\216\220\000\000\000\000\000\000\224\228\232\236\240\246\252\!
 002\008\012\016\022\028\032\000\000\000\000\000\000\000\000\00!
 0\000\000\000\036\039\000\042\045\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\050\000\000\000\000\000\000\000\000\000\053\000\000\000\000\000\000\055\060\065\068\073\078\000\083\000\088\093\098\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\105\110\115\120\125\130\135\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\142\147\152\157\162\000\000\000\000\167\172\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\177\182\000\187\000\000\000\192\000\000\000\000\197\202\207\000\000\000\000\000\000\000\000\000\000\212\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\00!
 0\000\000\000\000\000\217\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\222\227\000\232\000\000\000\237\000\000\000\000\242\247\252\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\006\000\000\000\000\000\000\000\000\000\011\016\000\000\000\000\000\000\000\000\000\000\000\000\000\021\026\031\036\000\000\041\046\000\000\051\056\061\066\071\076\000\000\081\086\091\096\101\106\000\000\111\116\121\126\131\136\141\146\151\156\161\166\000\000\171\176\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\181\186\191\196\201\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\206\000\211\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\216\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\00!
 0\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\0!
 00\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\221\000\000\000\000\000\000\000\228\000\000\235\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\242\249\000\007\014\021\028\035\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\042\049\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\056\063\000\070\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\0!
 77\000\000\084\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\091\098\105\000\000\112\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\119\000\000\126\133\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\140\147\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\154\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\161\168\175\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\0!
 00\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\!
 000\000\000\000\000\000\000\000\000\000\000\000\182\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\189\000\000\000\000\000\000\196\203\000\210\217\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\227\234\241\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\248\000\255\006\016\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\!
 000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\023\000\000\000\000\000\000\000\000\000\030\000\000\000\000\037\000\000\000\000\044\000\000\000\000\051\000\000\000\000\000\000\000\000\000\000\000\000\058\000\000\000\000\000\000\000\000\000\065\000\072\079\000\086\000\000\000\000\000\000\000\000\093\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\100\000\000\000\000\000\000\000\000\000\107\000\000\000\000\114\000\000\000\000\121\000\000\000\000\128\000\000\000\000\000\000\000\000\000\000\000\000\135\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\142\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\149\153\157\161\165\169\173\177\181\187\193\197\201\205\209\213\217\221\225\229\233\239\245\251\001\005\009\013\017\023\029\033\037\041\045\049\053\057\061\065\069\073\!
 077\081\085\089\093\099\105\109\113\117\121\125\129\133\137\143\149\153!
 \157\161\165\169\173\177\181\185\189\193\197\201\205\209\213\217\221\227\233\239\245\251\001\007\013\017\021\025\029\033\037\041\045\051\057\061\065\069\073\077\081\087\093\099\105\111\117\121\125\129\133\137\141\145\149\153\157\161\165\169\173\179\185\191\197\201\205\209\213\217\221\225\229\233\237\241\245\249\253\001\005\009\013\017\021\025\029\033\037\041\045\049\053\057\000\061\000\000\000\000\066\070\074\078\082\088\094\100\106\112\118\124\130\136\142\148\154\160\166\172\178\184\190\196\202\206\210\214\218\222\226\232\238\244\250\000\006\012\018\024\030\034\038\042\046\050\054\058\062\068\074\080\086\092\098\104\110\116\122\128\134\140\146\152\158\164\170\176\182\186\190\194\198\204\210\216\222\228\234\240\246\252\002\006\010\014\018\022\026\030\000\000\000\000\000\000\034\039\044\051\058\065\072\079\086\091\096\103\110\117\124\131\138\143\148\155\162\169\000\000\176\181\186\193\200\207\000\000\214\219\224\231\238\245\252\003\010\015\020\027\034\041\048\055\062\067\072!
 \079\086\093\100\107\114\119\124\131\138\145\152\159\166\171\176\183\190\197\000\000\204\209\214\221\228\235\000\000\242\247\252\003\010\017\024\031\000\038\000\043\000\050\000\057\064\069\074\081\088\095\102\109\116\121\126\133\140\147\154\161\168\115\173\120\178\125\183\130\188\152\193\157\198\162\000\000\203\210\217\226\235\244\253\006\015\022\029\038\047\056\065\074\083\090\097\106\115\124\133\142\151\158\165\174\183\192\201\210\219\226\233\242\251\004\013\022\031\038\045\054\063\072\081\090\099\104\109\116\121\000\128\133\140\145\150\060\155\000\160\000\000\163\168\175\180\000\187\192\199\068\204\073\209\214\220\226\232\237\242\098\000\000\249\254\005\010\015\078\000\020\026\032\038\043\048\135\055\060\065\070\077\082\087\088\092\097\055\102\000\000\104\111\116\000\123\128\135\083\140\093\145\150\000\000\000\000\000\000\000\000\000\000\000\000\000\000\153\000\160\000\167\000\174\000\181\000\188\000\195\000\202\000\209\000\216\000\223\000\230\000\000\237\000\244\000\251!
 \000\000\000\000\000\000\002\009\000\016\023\000\030\037\000\044\051\00!
 0\058\065\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\072\000\000\000\000\000\000\000\000\000\079\000\000\000\000\000\000\000\000\000\000\000\000\000\086\000\093\000\100\000\107\000\114\000\121\000\128\000\135\000\142\000\149\000\156\000\163\000\000\170\000\177\000\184\000\000\000\000\000\000\191\198\000\205\212\000\219\226\000\233\240\000\247\254\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\005\000\000\012\019\026\033\000\000\000\040\000\000\047\049\051\053\055\057\059\061\063\065\067\069\071\073\075\077\079\081\083\085\087\089\091\093\095\097\099\101\103\105\107\109\111\113\115\117\119\121\123\125\127\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\129\000\134\000\000\000\000\000\000\000\000\000\000\139\144\149\156\163\168\173\178\18!
 3\188\193\198\203\000\208\213\218\223\228\000\233\000\238\243\000\248\253\000\002\007\012\017\022\027\032\037\042\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"

Modified: branches/2.40/unicode_utils/unicode_build.ml
===================================================================
--- branches/2.40/unicode_utils/unicode_build.ml	2010-04-16 08:38:34 UTC (rev 437)
+++ branches/2.40/unicode_utils/unicode_build.ml	2010-04-16 08:44:51 UTC (rev 438)
@@ -49,7 +49,8 @@
 
 let convert_list m l = List.flatten (List.map (convert m) l)
 
-let compose m m' = IntMap.map (fun l -> convert_list m l) m'
+let compose m m' =
+  IntMap.fold (fun k l m -> IntMap.add k (convert_list m l) m) m' m
 
 let add m c l =
   let l = if l = [0xffff] then [0] else l in
@@ -1572,7 +1573,6 @@
 (****)
 
 let lower_map = empty ()
-let lower_map = decompose_map
 
 let _ =
   for i = 0 to 255 do
@@ -1856,11 +1856,18 @@
   done
 *)
 
-let print_tbl nm ch tbl =
+let print_tbl nm l ch map =
+  let tbl = build map l in
   (* ASCII *)
   Format.fprintf ch "@[<2>let %s_%s =@ @[<1>\"" nm "ascii";
   for c = 0 to 127 do
-    Format.fprintf ch "%s" (String.escaped (conv c))
+    let c' =
+      try
+        match IntMap.find c map with [c] -> c | _ -> assert false
+      with Not_found ->
+        c
+    in
+    Format.fprintf ch "%s" (String.escaped (String.make 1 (Char.chr c')))
   done;
   Format.fprintf ch "\"@]@]@.";
   (* Replacement *)
@@ -1984,10 +1991,8 @@
   let o = open_out "unicode_tables.ml" in
   let ch = Format.formatter_of_out_channel o in
   Format.fprintf ch "(*-*-coding: utf-8;-*-*)@.";
-  Format.fprintf ch "%a" (print_tbl "norm")
-    (build normalize_map 6);
-  Format.fprintf ch "%a" (print_tbl "decomp")
-    (build !decompose_map 6);
+  Format.fprintf ch "%a" (print_tbl "norm" 6) normalize_map;
+  Format.fprintf ch "%a" (print_tbl "decomp" 6) !decompose_map;
 (*
   Format.fprintf ch "%a" (print_compose "comp_prim" "comp_snd")
     (build !compose_map 6);



More information about the Unison-hackers mailing list