-- ------------------------------------------------------------

{- |
   Module     : Data.Char.Properties.UnicodeCharProps
   Copyright  : Copyright (C) 2010 - Uwe Schmidt

   Maintainer : Uwe Schmidt (uwe@fh-wedel.de)
   Stability  : stable
   Portability: portable

   Unicode character properties

   don't edit this module
   it's generated from 'http:\/\/www.unicode.org\/Public\/UNIDATA\/UnicodeData.txt'

-}

-- ------------------------------------------------------------

module Data.Char.Properties.UnicodeCharProps
  ( isUnicodeC
  , isUnicodeCc
  , isUnicodeCf
  , isUnicodeCo
  , isUnicodeCs
  , isUnicodeL
  , isUnicodeLl
  , isUnicodeLm
  , isUnicodeLo
  , isUnicodeLt
  , isUnicodeLu
  , isUnicodeM
  , isUnicodeMc
  , isUnicodeMe
  , isUnicodeMn
  , isUnicodeN
  , isUnicodeNd
  , isUnicodeNl
  , isUnicodeNo
  , isUnicodeP
  , isUnicodePc
  , isUnicodePd
  , isUnicodePe
  , isUnicodePf
  , isUnicodePi
  , isUnicodePo
  , isUnicodePs
  , isUnicodeS
  , isUnicodeSc
  , isUnicodeSk
  , isUnicodeSm
  , isUnicodeSo
  , isUnicodeZ
  , isUnicodeZl
  , isUnicodeZp
  , isUnicodeZs
  , charPropUnicodeC
  , charPropUnicodeCc
  , charPropUnicodeCf
  , charPropUnicodeCo
  , charPropUnicodeCs
  , charPropUnicodeL
  , charPropUnicodeLl
  , charPropUnicodeLm
  , charPropUnicodeLo
  , charPropUnicodeLt
  , charPropUnicodeLu
  , charPropUnicodeM
  , charPropUnicodeMc
  , charPropUnicodeMe
  , charPropUnicodeMn
  , charPropUnicodeN
  , charPropUnicodeNd
  , charPropUnicodeNl
  , charPropUnicodeNo
  , charPropUnicodeP
  , charPropUnicodePc
  , charPropUnicodePd
  , charPropUnicodePe
  , charPropUnicodePf
  , charPropUnicodePi
  , charPropUnicodePo
  , charPropUnicodePs
  , charPropUnicodeS
  , charPropUnicodeSc
  , charPropUnicodeSk
  , charPropUnicodeSm
  , charPropUnicodeSo
  , charPropUnicodeZ
  , charPropUnicodeZl
  , charPropUnicodeZp
  , charPropUnicodeZs
  )
where

import Data.Set.CharSet

-- ------------------------------------------------------------

isUnicodeC :: Char -> Bool
isUnicodeC :: Char -> Bool
isUnicodeC Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeC

charPropUnicodeC :: CharSet
charPropUnicodeC :: CharSet
charPropUnicodeC
  = [ (Char
'\NUL',Char
'\US')
    , (Char
'\DEL',Char
'\159')
    , (Char
'\173',Char
'\173')
    , (Char
'\1536',Char
'\1541')
    , (Char
'\1564',Char
'\1564')
    , (Char
'\1757',Char
'\1757')
    , (Char
'\1807',Char
'\1807')
    , (Char
'\2274',Char
'\2274')
    , (Char
'\6158',Char
'\6158')
    , (Char
'\8203',Char
'\8207')
    , (Char
'\8234',Char
'\8238')
    , (Char
'\8288',Char
'\8292')
    , (Char
'\8294',Char
'\8303')
    , (Char
'\55296',Char
'\55296')
    , (Char
'\56191',Char
'\56192')
    , (Char
'\56319',Char
'\56320')
    , (Char
'\57343',Char
'\57344')
    , (Char
'\63743',Char
'\63743')
    , (Char
'\65279',Char
'\65279')
    , (Char
'\65529',Char
'\65531')
    , (Char
'\69821',Char
'\69821')
    , (Char
'\69837',Char
'\69837')
    , (Char
'\78896',Char
'\78904')
    , (Char
'\113824',Char
'\113827')
    , (Char
'\119155',Char
'\119162')
    , (Char
'\917505',Char
'\917505')
    , (Char
'\917536',Char
'\917631')
    , (Char
'\983040',Char
'\983040')
    , (Char
'\1048573',Char
'\1048573')
    , (Char
'\1048576',Char
'\1048576')
    , (Char
'\1114109',Char
'\1114109')
    ]

-- ------------------------------------------------------------

isUnicodeCc :: Char -> Bool
isUnicodeCc :: Char -> Bool
isUnicodeCc Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeCc

charPropUnicodeCc :: CharSet
charPropUnicodeCc :: CharSet
charPropUnicodeCc
  = [ (Char
'\NUL',Char
'\US')
    , (Char
'\DEL',Char
'\159')
    ]

-- ------------------------------------------------------------

isUnicodeCf :: Char -> Bool
isUnicodeCf :: Char -> Bool
isUnicodeCf Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeCf

charPropUnicodeCf :: CharSet
charPropUnicodeCf :: CharSet
charPropUnicodeCf
  = [ (Char
'\173',Char
'\173')
    , (Char
'\1536',Char
'\1541')
    , (Char
'\1564',Char
'\1564')
    , (Char
'\1757',Char
'\1757')
    , (Char
'\1807',Char
'\1807')
    , (Char
'\2274',Char
'\2274')
    , (Char
'\6158',Char
'\6158')
    , (Char
'\8203',Char
'\8207')
    , (Char
'\8234',Char
'\8238')
    , (Char
'\8288',Char
'\8292')
    , (Char
'\8294',Char
'\8303')
    , (Char
'\65279',Char
'\65279')
    , (Char
'\65529',Char
'\65531')
    , (Char
'\69821',Char
'\69821')
    , (Char
'\69837',Char
'\69837')
    , (Char
'\78896',Char
'\78904')
    , (Char
'\113824',Char
'\113827')
    , (Char
'\119155',Char
'\119162')
    , (Char
'\917505',Char
'\917505')
    , (Char
'\917536',Char
'\917631')
    ]

-- ------------------------------------------------------------

isUnicodeCo :: Char -> Bool
isUnicodeCo :: Char -> Bool
isUnicodeCo Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeCo

charPropUnicodeCo :: CharSet
charPropUnicodeCo :: CharSet
charPropUnicodeCo
  = [ (Char
'\57344',Char
'\57344')
    , (Char
'\63743',Char
'\63743')
    , (Char
'\983040',Char
'\983040')
    , (Char
'\1048573',Char
'\1048573')
    , (Char
'\1048576',Char
'\1048576')
    , (Char
'\1114109',Char
'\1114109')
    ]

-- ------------------------------------------------------------

isUnicodeCs :: Char -> Bool
isUnicodeCs :: Char -> Bool
isUnicodeCs Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeCs

charPropUnicodeCs :: CharSet
charPropUnicodeCs :: CharSet
charPropUnicodeCs
  = [ (Char
'\55296',Char
'\55296')
    , (Char
'\56191',Char
'\56192')
    , (Char
'\56319',Char
'\56320')
    , (Char
'\57343',Char
'\57343')
    ]

-- ------------------------------------------------------------

isUnicodeL :: Char -> Bool
isUnicodeL :: Char -> Bool
isUnicodeL Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeL

charPropUnicodeL :: CharSet
charPropUnicodeL :: CharSet
charPropUnicodeL
  = [ (Char
'A',Char
'Z')
    , (Char
'a',Char
'z')
    , (Char
'\170',Char
'\170')
    , (Char
'\181',Char
'\181')
    , (Char
'\186',Char
'\186')
    , (Char
'\192',Char
'\214')
    , (Char
'\216',Char
'\246')
    , (Char
'\248',Char
'\705')
    , (Char
'\710',Char
'\721')
    , (Char
'\736',Char
'\740')
    , (Char
'\748',Char
'\748')
    , (Char
'\750',Char
'\750')
    , (Char
'\880',Char
'\884')
    , (Char
'\886',Char
'\887')
    , (Char
'\890',Char
'\893')
    , (Char
'\895',Char
'\895')
    , (Char
'\902',Char
'\902')
    , (Char
'\904',Char
'\906')
    , (Char
'\908',Char
'\908')
    , (Char
'\910',Char
'\929')
    , (Char
'\931',Char
'\1013')
    , (Char
'\1015',Char
'\1153')
    , (Char
'\1162',Char
'\1327')
    , (Char
'\1329',Char
'\1366')
    , (Char
'\1369',Char
'\1369')
    , (Char
'\1376',Char
'\1416')
    , (Char
'\1488',Char
'\1514')
    , (Char
'\1519',Char
'\1522')
    , (Char
'\1568',Char
'\1610')
    , (Char
'\1646',Char
'\1647')
    , (Char
'\1649',Char
'\1747')
    , (Char
'\1749',Char
'\1749')
    , (Char
'\1765',Char
'\1766')
    , (Char
'\1774',Char
'\1775')
    , (Char
'\1786',Char
'\1788')
    , (Char
'\1791',Char
'\1791')
    , (Char
'\1808',Char
'\1808')
    , (Char
'\1810',Char
'\1839')
    , (Char
'\1869',Char
'\1957')
    , (Char
'\1969',Char
'\1969')
    , (Char
'\1994',Char
'\2026')
    , (Char
'\2036',Char
'\2037')
    , (Char
'\2042',Char
'\2042')
    , (Char
'\2048',Char
'\2069')
    , (Char
'\2074',Char
'\2074')
    , (Char
'\2084',Char
'\2084')
    , (Char
'\2088',Char
'\2088')
    , (Char
'\2112',Char
'\2136')
    , (Char
'\2144',Char
'\2154')
    , (Char
'\2208',Char
'\2228')
    , (Char
'\2230',Char
'\2247')
    , (Char
'\2308',Char
'\2361')
    , (Char
'\2365',Char
'\2365')
    , (Char
'\2384',Char
'\2384')
    , (Char
'\2392',Char
'\2401')
    , (Char
'\2417',Char
'\2432')
    , (Char
'\2437',Char
'\2444')
    , (Char
'\2447',Char
'\2448')
    , (Char
'\2451',Char
'\2472')
    , (Char
'\2474',Char
'\2480')
    , (Char
'\2482',Char
'\2482')
    , (Char
'\2486',Char
'\2489')
    , (Char
'\2493',Char
'\2493')
    , (Char
'\2510',Char
'\2510')
    , (Char
'\2524',Char
'\2525')
    , (Char
'\2527',Char
'\2529')
    , (Char
'\2544',Char
'\2545')
    , (Char
'\2556',Char
'\2556')
    , (Char
'\2565',Char
'\2570')
    , (Char
'\2575',Char
'\2576')
    , (Char
'\2579',Char
'\2600')
    , (Char
'\2602',Char
'\2608')
    , (Char
'\2610',Char
'\2611')
    , (Char
'\2613',Char
'\2614')
    , (Char
'\2616',Char
'\2617')
    , (Char
'\2649',Char
'\2652')
    , (Char
'\2654',Char
'\2654')
    , (Char
'\2674',Char
'\2676')
    , (Char
'\2693',Char
'\2701')
    , (Char
'\2703',Char
'\2705')
    , (Char
'\2707',Char
'\2728')
    , (Char
'\2730',Char
'\2736')
    , (Char
'\2738',Char
'\2739')
    , (Char
'\2741',Char
'\2745')
    , (Char
'\2749',Char
'\2749')
    , (Char
'\2768',Char
'\2768')
    , (Char
'\2784',Char
'\2785')
    , (Char
'\2809',Char
'\2809')
    , (Char
'\2821',Char
'\2828')
    , (Char
'\2831',Char
'\2832')
    , (Char
'\2835',Char
'\2856')
    , (Char
'\2858',Char
'\2864')
    , (Char
'\2866',Char
'\2867')
    , (Char
'\2869',Char
'\2873')
    , (Char
'\2877',Char
'\2877')
    , (Char
'\2908',Char
'\2909')
    , (Char
'\2911',Char
'\2913')
    , (Char
'\2929',Char
'\2929')
    , (Char
'\2947',Char
'\2947')
    , (Char
'\2949',Char
'\2954')
    , (Char
'\2958',Char
'\2960')
    , (Char
'\2962',Char
'\2965')
    , (Char
'\2969',Char
'\2970')
    , (Char
'\2972',Char
'\2972')
    , (Char
'\2974',Char
'\2975')
    , (Char
'\2979',Char
'\2980')
    , (Char
'\2984',Char
'\2986')
    , (Char
'\2990',Char
'\3001')
    , (Char
'\3024',Char
'\3024')
    , (Char
'\3077',Char
'\3084')
    , (Char
'\3086',Char
'\3088')
    , (Char
'\3090',Char
'\3112')
    , (Char
'\3114',Char
'\3129')
    , (Char
'\3133',Char
'\3133')
    , (Char
'\3160',Char
'\3162')
    , (Char
'\3168',Char
'\3169')
    , (Char
'\3200',Char
'\3200')
    , (Char
'\3205',Char
'\3212')
    , (Char
'\3214',Char
'\3216')
    , (Char
'\3218',Char
'\3240')
    , (Char
'\3242',Char
'\3251')
    , (Char
'\3253',Char
'\3257')
    , (Char
'\3261',Char
'\3261')
    , (Char
'\3294',Char
'\3294')
    , (Char
'\3296',Char
'\3297')
    , (Char
'\3313',Char
'\3314')
    , (Char
'\3332',Char
'\3340')
    , (Char
'\3342',Char
'\3344')
    , (Char
'\3346',Char
'\3386')
    , (Char
'\3389',Char
'\3389')
    , (Char
'\3406',Char
'\3406')
    , (Char
'\3412',Char
'\3414')
    , (Char
'\3423',Char
'\3425')
    , (Char
'\3450',Char
'\3455')
    , (Char
'\3461',Char
'\3478')
    , (Char
'\3482',Char
'\3505')
    , (Char
'\3507',Char
'\3515')
    , (Char
'\3517',Char
'\3517')
    , (Char
'\3520',Char
'\3526')
    , (Char
'\3585',Char
'\3632')
    , (Char
'\3634',Char
'\3635')
    , (Char
'\3648',Char
'\3654')
    , (Char
'\3713',Char
'\3714')
    , (Char
'\3716',Char
'\3716')
    , (Char
'\3718',Char
'\3722')
    , (Char
'\3724',Char
'\3747')
    , (Char
'\3749',Char
'\3749')
    , (Char
'\3751',Char
'\3760')
    , (Char
'\3762',Char
'\3763')
    , (Char
'\3773',Char
'\3773')
    , (Char
'\3776',Char
'\3780')
    , (Char
'\3782',Char
'\3782')
    , (Char
'\3804',Char
'\3807')
    , (Char
'\3840',Char
'\3840')
    , (Char
'\3904',Char
'\3911')
    , (Char
'\3913',Char
'\3948')
    , (Char
'\3976',Char
'\3980')
    , (Char
'\4096',Char
'\4138')
    , (Char
'\4159',Char
'\4159')
    , (Char
'\4176',Char
'\4181')
    , (Char
'\4186',Char
'\4189')
    , (Char
'\4193',Char
'\4193')
    , (Char
'\4197',Char
'\4198')
    , (Char
'\4206',Char
'\4208')
    , (Char
'\4213',Char
'\4225')
    , (Char
'\4238',Char
'\4238')
    , (Char
'\4256',Char
'\4293')
    , (Char
'\4295',Char
'\4295')
    , (Char
'\4301',Char
'\4301')
    , (Char
'\4304',Char
'\4346')
    , (Char
'\4348',Char
'\4680')
    , (Char
'\4682',Char
'\4685')
    , (Char
'\4688',Char
'\4694')
    , (Char
'\4696',Char
'\4696')
    , (Char
'\4698',Char
'\4701')
    , (Char
'\4704',Char
'\4744')
    , (Char
'\4746',Char
'\4749')
    , (Char
'\4752',Char
'\4784')
    , (Char
'\4786',Char
'\4789')
    , (Char
'\4792',Char
'\4798')
    , (Char
'\4800',Char
'\4800')
    , (Char
'\4802',Char
'\4805')
    , (Char
'\4808',Char
'\4822')
    , (Char
'\4824',Char
'\4880')
    , (Char
'\4882',Char
'\4885')
    , (Char
'\4888',Char
'\4954')
    , (Char
'\4992',Char
'\5007')
    , (Char
'\5024',Char
'\5109')
    , (Char
'\5112',Char
'\5117')
    , (Char
'\5121',Char
'\5740')
    , (Char
'\5743',Char
'\5759')
    , (Char
'\5761',Char
'\5786')
    , (Char
'\5792',Char
'\5866')
    , (Char
'\5873',Char
'\5880')
    , (Char
'\5888',Char
'\5900')
    , (Char
'\5902',Char
'\5905')
    , (Char
'\5920',Char
'\5937')
    , (Char
'\5952',Char
'\5969')
    , (Char
'\5984',Char
'\5996')
    , (Char
'\5998',Char
'\6000')
    , (Char
'\6016',Char
'\6067')
    , (Char
'\6103',Char
'\6103')
    , (Char
'\6108',Char
'\6108')
    , (Char
'\6176',Char
'\6264')
    , (Char
'\6272',Char
'\6276')
    , (Char
'\6279',Char
'\6312')
    , (Char
'\6314',Char
'\6314')
    , (Char
'\6320',Char
'\6389')
    , (Char
'\6400',Char
'\6430')
    , (Char
'\6480',Char
'\6509')
    , (Char
'\6512',Char
'\6516')
    , (Char
'\6528',Char
'\6571')
    , (Char
'\6576',Char
'\6601')
    , (Char
'\6656',Char
'\6678')
    , (Char
'\6688',Char
'\6740')
    , (Char
'\6823',Char
'\6823')
    , (Char
'\6917',Char
'\6963')
    , (Char
'\6981',Char
'\6987')
    , (Char
'\7043',Char
'\7072')
    , (Char
'\7086',Char
'\7087')
    , (Char
'\7098',Char
'\7141')
    , (Char
'\7168',Char
'\7203')
    , (Char
'\7245',Char
'\7247')
    , (Char
'\7258',Char
'\7293')
    , (Char
'\7296',Char
'\7304')
    , (Char
'\7312',Char
'\7354')
    , (Char
'\7357',Char
'\7359')
    , (Char
'\7401',Char
'\7404')
    , (Char
'\7406',Char
'\7411')
    , (Char
'\7413',Char
'\7414')
    , (Char
'\7418',Char
'\7418')
    , (Char
'\7424',Char
'\7615')
    , (Char
'\7680',Char
'\7957')
    , (Char
'\7960',Char
'\7965')
    , (Char
'\7968',Char
'\8005')
    , (Char
'\8008',Char
'\8013')
    , (Char
'\8016',Char
'\8023')
    , (Char
'\8025',Char
'\8025')
    , (Char
'\8027',Char
'\8027')
    , (Char
'\8029',Char
'\8029')
    , (Char
'\8031',Char
'\8061')
    , (Char
'\8064',Char
'\8116')
    , (Char
'\8118',Char
'\8124')
    , (Char
'\8126',Char
'\8126')
    , (Char
'\8130',Char
'\8132')
    , (Char
'\8134',Char
'\8140')
    , (Char
'\8144',Char
'\8147')
    , (Char
'\8150',Char
'\8155')
    , (Char
'\8160',Char
'\8172')
    , (Char
'\8178',Char
'\8180')
    , (Char
'\8182',Char
'\8188')
    , (Char
'\8305',Char
'\8305')
    , (Char
'\8319',Char
'\8319')
    , (Char
'\8336',Char
'\8348')
    , (Char
'\8450',Char
'\8450')
    , (Char
'\8455',Char
'\8455')
    , (Char
'\8458',Char
'\8467')
    , (Char
'\8469',Char
'\8469')
    , (Char
'\8473',Char
'\8477')
    , (Char
'\8484',Char
'\8484')
    , (Char
'\8486',Char
'\8486')
    , (Char
'\8488',Char
'\8488')
    , (Char
'\8490',Char
'\8493')
    , (Char
'\8495',Char
'\8505')
    , (Char
'\8508',Char
'\8511')
    , (Char
'\8517',Char
'\8521')
    , (Char
'\8526',Char
'\8526')
    , (Char
'\8579',Char
'\8580')
    , (Char
'\11264',Char
'\11310')
    , (Char
'\11312',Char
'\11358')
    , (Char
'\11360',Char
'\11492')
    , (Char
'\11499',Char
'\11502')
    , (Char
'\11506',Char
'\11507')
    , (Char
'\11520',Char
'\11557')
    , (Char
'\11559',Char
'\11559')
    , (Char
'\11565',Char
'\11565')
    , (Char
'\11568',Char
'\11623')
    , (Char
'\11631',Char
'\11631')
    , (Char
'\11648',Char
'\11670')
    , (Char
'\11680',Char
'\11686')
    , (Char
'\11688',Char
'\11694')
    , (Char
'\11696',Char
'\11702')
    , (Char
'\11704',Char
'\11710')
    , (Char
'\11712',Char
'\11718')
    , (Char
'\11720',Char
'\11726')
    , (Char
'\11728',Char
'\11734')
    , (Char
'\11736',Char
'\11742')
    , (Char
'\11823',Char
'\11823')
    , (Char
'\12293',Char
'\12294')
    , (Char
'\12337',Char
'\12341')
    , (Char
'\12347',Char
'\12348')
    , (Char
'\12353',Char
'\12438')
    , (Char
'\12445',Char
'\12447')
    , (Char
'\12449',Char
'\12538')
    , (Char
'\12540',Char
'\12543')
    , (Char
'\12549',Char
'\12591')
    , (Char
'\12593',Char
'\12686')
    , (Char
'\12704',Char
'\12735')
    , (Char
'\12784',Char
'\12799')
    , (Char
'\13312',Char
'\13312')
    , (Char
'\19903',Char
'\19903')
    , (Char
'\19968',Char
'\19968')
    , (Char
'\40956',Char
'\40956')
    , (Char
'\40960',Char
'\42124')
    , (Char
'\42192',Char
'\42237')
    , (Char
'\42240',Char
'\42508')
    , (Char
'\42512',Char
'\42527')
    , (Char
'\42538',Char
'\42539')
    , (Char
'\42560',Char
'\42606')
    , (Char
'\42623',Char
'\42653')
    , (Char
'\42656',Char
'\42725')
    , (Char
'\42775',Char
'\42783')
    , (Char
'\42786',Char
'\42888')
    , (Char
'\42891',Char
'\42943')
    , (Char
'\42946',Char
'\42954')
    , (Char
'\42997',Char
'\43009')
    , (Char
'\43011',Char
'\43013')
    , (Char
'\43015',Char
'\43018')
    , (Char
'\43020',Char
'\43042')
    , (Char
'\43072',Char
'\43123')
    , (Char
'\43138',Char
'\43187')
    , (Char
'\43250',Char
'\43255')
    , (Char
'\43259',Char
'\43259')
    , (Char
'\43261',Char
'\43262')
    , (Char
'\43274',Char
'\43301')
    , (Char
'\43312',Char
'\43334')
    , (Char
'\43360',Char
'\43388')
    , (Char
'\43396',Char
'\43442')
    , (Char
'\43471',Char
'\43471')
    , (Char
'\43488',Char
'\43492')
    , (Char
'\43494',Char
'\43503')
    , (Char
'\43514',Char
'\43518')
    , (Char
'\43520',Char
'\43560')
    , (Char
'\43584',Char
'\43586')
    , (Char
'\43588',Char
'\43595')
    , (Char
'\43616',Char
'\43638')
    , (Char
'\43642',Char
'\43642')
    , (Char
'\43646',Char
'\43695')
    , (Char
'\43697',Char
'\43697')
    , (Char
'\43701',Char
'\43702')
    , (Char
'\43705',Char
'\43709')
    , (Char
'\43712',Char
'\43712')
    , (Char
'\43714',Char
'\43714')
    , (Char
'\43739',Char
'\43741')
    , (Char
'\43744',Char
'\43754')
    , (Char
'\43762',Char
'\43764')
    , (Char
'\43777',Char
'\43782')
    , (Char
'\43785',Char
'\43790')
    , (Char
'\43793',Char
'\43798')
    , (Char
'\43808',Char
'\43814')
    , (Char
'\43816',Char
'\43822')
    , (Char
'\43824',Char
'\43866')
    , (Char
'\43868',Char
'\43881')
    , (Char
'\43888',Char
'\44002')
    , (Char
'\44032',Char
'\44032')
    , (Char
'\55203',Char
'\55203')
    , (Char
'\55216',Char
'\55238')
    , (Char
'\55243',Char
'\55291')
    , (Char
'\63744',Char
'\64109')
    , (Char
'\64112',Char
'\64217')
    , (Char
'\64256',Char
'\64262')
    , (Char
'\64275',Char
'\64279')
    , (Char
'\64285',Char
'\64285')
    , (Char
'\64287',Char
'\64296')
    , (Char
'\64298',Char
'\64310')
    , (Char
'\64312',Char
'\64316')
    , (Char
'\64318',Char
'\64318')
    , (Char
'\64320',Char
'\64321')
    , (Char
'\64323',Char
'\64324')
    , (Char
'\64326',Char
'\64433')
    , (Char
'\64467',Char
'\64829')
    , (Char
'\64848',Char
'\64911')
    , (Char
'\64914',Char
'\64967')
    , (Char
'\65008',Char
'\65019')
    , (Char
'\65136',Char
'\65140')
    , (Char
'\65142',Char
'\65276')
    , (Char
'\65313',Char
'\65338')
    , (Char
'\65345',Char
'\65370')
    , (Char
'\65382',Char
'\65470')
    , (Char
'\65474',Char
'\65479')
    , (Char
'\65482',Char
'\65487')
    , (Char
'\65490',Char
'\65495')
    , (Char
'\65498',Char
'\65500')
    , (Char
'\65536',Char
'\65547')
    , (Char
'\65549',Char
'\65574')
    , (Char
'\65576',Char
'\65594')
    , (Char
'\65596',Char
'\65597')
    , (Char
'\65599',Char
'\65613')
    , (Char
'\65616',Char
'\65629')
    , (Char
'\65664',Char
'\65786')
    , (Char
'\66176',Char
'\66204')
    , (Char
'\66208',Char
'\66256')
    , (Char
'\66304',Char
'\66335')
    , (Char
'\66349',Char
'\66368')
    , (Char
'\66370',Char
'\66377')
    , (Char
'\66384',Char
'\66421')
    , (Char
'\66432',Char
'\66461')
    , (Char
'\66464',Char
'\66499')
    , (Char
'\66504',Char
'\66511')
    , (Char
'\66560',Char
'\66717')
    , (Char
'\66736',Char
'\66771')
    , (Char
'\66776',Char
'\66811')
    , (Char
'\66816',Char
'\66855')
    , (Char
'\66864',Char
'\66915')
    , (Char
'\67072',Char
'\67382')
    , (Char
'\67392',Char
'\67413')
    , (Char
'\67424',Char
'\67431')
    , (Char
'\67584',Char
'\67589')
    , (Char
'\67592',Char
'\67592')
    , (Char
'\67594',Char
'\67637')
    , (Char
'\67639',Char
'\67640')
    , (Char
'\67644',Char
'\67644')
    , (Char
'\67647',Char
'\67669')
    , (Char
'\67680',Char
'\67702')
    , (Char
'\67712',Char
'\67742')
    , (Char
'\67808',Char
'\67826')
    , (Char
'\67828',Char
'\67829')
    , (Char
'\67840',Char
'\67861')
    , (Char
'\67872',Char
'\67897')
    , (Char
'\67968',Char
'\68023')
    , (Char
'\68030',Char
'\68031')
    , (Char
'\68096',Char
'\68096')
    , (Char
'\68112',Char
'\68115')
    , (Char
'\68117',Char
'\68119')
    , (Char
'\68121',Char
'\68149')
    , (Char
'\68192',Char
'\68220')
    , (Char
'\68224',Char
'\68252')
    , (Char
'\68288',Char
'\68295')
    , (Char
'\68297',Char
'\68324')
    , (Char
'\68352',Char
'\68405')
    , (Char
'\68416',Char
'\68437')
    , (Char
'\68448',Char
'\68466')
    , (Char
'\68480',Char
'\68497')
    , (Char
'\68608',Char
'\68680')
    , (Char
'\68736',Char
'\68786')
    , (Char
'\68800',Char
'\68850')
    , (Char
'\68864',Char
'\68899')
    , (Char
'\69248',Char
'\69289')
    , (Char
'\69296',Char
'\69297')
    , (Char
'\69376',Char
'\69404')
    , (Char
'\69415',Char
'\69415')
    , (Char
'\69424',Char
'\69445')
    , (Char
'\69552',Char
'\69572')
    , (Char
'\69600',Char
'\69622')
    , (Char
'\69635',Char
'\69687')
    , (Char
'\69763',Char
'\69807')
    , (Char
'\69840',Char
'\69864')
    , (Char
'\69891',Char
'\69926')
    , (Char
'\69956',Char
'\69956')
    , (Char
'\69959',Char
'\69959')
    , (Char
'\69968',Char
'\70002')
    , (Char
'\70006',Char
'\70006')
    , (Char
'\70019',Char
'\70066')
    , (Char
'\70081',Char
'\70084')
    , (Char
'\70106',Char
'\70106')
    , (Char
'\70108',Char
'\70108')
    , (Char
'\70144',Char
'\70161')
    , (Char
'\70163',Char
'\70187')
    , (Char
'\70272',Char
'\70278')
    , (Char
'\70280',Char
'\70280')
    , (Char
'\70282',Char
'\70285')
    , (Char
'\70287',Char
'\70301')
    , (Char
'\70303',Char
'\70312')
    , (Char
'\70320',Char
'\70366')
    , (Char
'\70405',Char
'\70412')
    , (Char
'\70415',Char
'\70416')
    , (Char
'\70419',Char
'\70440')
    , (Char
'\70442',Char
'\70448')
    , (Char
'\70450',Char
'\70451')
    , (Char
'\70453',Char
'\70457')
    , (Char
'\70461',Char
'\70461')
    , (Char
'\70480',Char
'\70480')
    , (Char
'\70493',Char
'\70497')
    , (Char
'\70656',Char
'\70708')
    , (Char
'\70727',Char
'\70730')
    , (Char
'\70751',Char
'\70753')
    , (Char
'\70784',Char
'\70831')
    , (Char
'\70852',Char
'\70853')
    , (Char
'\70855',Char
'\70855')
    , (Char
'\71040',Char
'\71086')
    , (Char
'\71128',Char
'\71131')
    , (Char
'\71168',Char
'\71215')
    , (Char
'\71236',Char
'\71236')
    , (Char
'\71296',Char
'\71338')
    , (Char
'\71352',Char
'\71352')
    , (Char
'\71424',Char
'\71450')
    , (Char
'\71680',Char
'\71723')
    , (Char
'\71840',Char
'\71903')
    , (Char
'\71935',Char
'\71942')
    , (Char
'\71945',Char
'\71945')
    , (Char
'\71948',Char
'\71955')
    , (Char
'\71957',Char
'\71958')
    , (Char
'\71960',Char
'\71983')
    , (Char
'\71999',Char
'\71999')
    , (Char
'\72001',Char
'\72001')
    , (Char
'\72096',Char
'\72103')
    , (Char
'\72106',Char
'\72144')
    , (Char
'\72161',Char
'\72161')
    , (Char
'\72163',Char
'\72163')
    , (Char
'\72192',Char
'\72192')
    , (Char
'\72203',Char
'\72242')
    , (Char
'\72250',Char
'\72250')
    , (Char
'\72272',Char
'\72272')
    , (Char
'\72284',Char
'\72329')
    , (Char
'\72349',Char
'\72349')
    , (Char
'\72384',Char
'\72440')
    , (Char
'\72704',Char
'\72712')
    , (Char
'\72714',Char
'\72750')
    , (Char
'\72768',Char
'\72768')
    , (Char
'\72818',Char
'\72847')
    , (Char
'\72960',Char
'\72966')
    , (Char
'\72968',Char
'\72969')
    , (Char
'\72971',Char
'\73008')
    , (Char
'\73030',Char
'\73030')
    , (Char
'\73056',Char
'\73061')
    , (Char
'\73063',Char
'\73064')
    , (Char
'\73066',Char
'\73097')
    , (Char
'\73112',Char
'\73112')
    , (Char
'\73440',Char
'\73458')
    , (Char
'\73648',Char
'\73648')
    , (Char
'\73728',Char
'\74649')
    , (Char
'\74880',Char
'\75075')
    , (Char
'\77824',Char
'\78894')
    , (Char
'\82944',Char
'\83526')
    , (Char
'\92160',Char
'\92728')
    , (Char
'\92736',Char
'\92766')
    , (Char
'\92880',Char
'\92909')
    , (Char
'\92928',Char
'\92975')
    , (Char
'\92992',Char
'\92995')
    , (Char
'\93027',Char
'\93047')
    , (Char
'\93053',Char
'\93071')
    , (Char
'\93760',Char
'\93823')
    , (Char
'\93952',Char
'\94026')
    , (Char
'\94032',Char
'\94032')
    , (Char
'\94099',Char
'\94111')
    , (Char
'\94176',Char
'\94177')
    , (Char
'\94179',Char
'\94179')
    , (Char
'\94208',Char
'\94208')
    , (Char
'\100343',Char
'\100343')
    , (Char
'\100352',Char
'\101589')
    , (Char
'\101632',Char
'\101632')
    , (Char
'\101640',Char
'\101640')
    , (Char
'\110592',Char
'\110878')
    , (Char
'\110928',Char
'\110930')
    , (Char
'\110948',Char
'\110951')
    , (Char
'\110960',Char
'\111355')
    , (Char
'\113664',Char
'\113770')
    , (Char
'\113776',Char
'\113788')
    , (Char
'\113792',Char
'\113800')
    , (Char
'\113808',Char
'\113817')
    , (Char
'\119808',Char
'\119892')
    , (Char
'\119894',Char
'\119964')
    , (Char
'\119966',Char
'\119967')
    , (Char
'\119970',Char
'\119970')
    , (Char
'\119973',Char
'\119974')
    , (Char
'\119977',Char
'\119980')
    , (Char
'\119982',Char
'\119993')
    , (Char
'\119995',Char
'\119995')
    , (Char
'\119997',Char
'\120003')
    , (Char
'\120005',Char
'\120069')
    , (Char
'\120071',Char
'\120074')
    , (Char
'\120077',Char
'\120084')
    , (Char
'\120086',Char
'\120092')
    , (Char
'\120094',Char
'\120121')
    , (Char
'\120123',Char
'\120126')
    , (Char
'\120128',Char
'\120132')
    , (Char
'\120134',Char
'\120134')
    , (Char
'\120138',Char
'\120144')
    , (Char
'\120146',Char
'\120485')
    , (Char
'\120488',Char
'\120512')
    , (Char
'\120514',Char
'\120538')
    , (Char
'\120540',Char
'\120570')
    , (Char
'\120572',Char
'\120596')
    , (Char
'\120598',Char
'\120628')
    , (Char
'\120630',Char
'\120654')
    , (Char
'\120656',Char
'\120686')
    , (Char
'\120688',Char
'\120712')
    , (Char
'\120714',Char
'\120744')
    , (Char
'\120746',Char
'\120770')
    , (Char
'\120772',Char
'\120779')
    , (Char
'\123136',Char
'\123180')
    , (Char
'\123191',Char
'\123197')
    , (Char
'\123214',Char
'\123214')
    , (Char
'\123584',Char
'\123627')
    , (Char
'\124928',Char
'\125124')
    , (Char
'\125184',Char
'\125251')
    , (Char
'\125259',Char
'\125259')
    , (Char
'\126464',Char
'\126467')
    , (Char
'\126469',Char
'\126495')
    , (Char
'\126497',Char
'\126498')
    , (Char
'\126500',Char
'\126500')
    , (Char
'\126503',Char
'\126503')
    , (Char
'\126505',Char
'\126514')
    , (Char
'\126516',Char
'\126519')
    , (Char
'\126521',Char
'\126521')
    , (Char
'\126523',Char
'\126523')
    , (Char
'\126530',Char
'\126530')
    , (Char
'\126535',Char
'\126535')
    , (Char
'\126537',Char
'\126537')
    , (Char
'\126539',Char
'\126539')
    , (Char
'\126541',Char
'\126543')
    , (Char
'\126545',Char
'\126546')
    , (Char
'\126548',Char
'\126548')
    , (Char
'\126551',Char
'\126551')
    , (Char
'\126553',Char
'\126553')
    , (Char
'\126555',Char
'\126555')
    , (Char
'\126557',Char
'\126557')
    , (Char
'\126559',Char
'\126559')
    , (Char
'\126561',Char
'\126562')
    , (Char
'\126564',Char
'\126564')
    , (Char
'\126567',Char
'\126570')
    , (Char
'\126572',Char
'\126578')
    , (Char
'\126580',Char
'\126583')
    , (Char
'\126585',Char
'\126588')
    , (Char
'\126590',Char
'\126590')
    , (Char
'\126592',Char
'\126601')
    , (Char
'\126603',Char
'\126619')
    , (Char
'\126625',Char
'\126627')
    , (Char
'\126629',Char
'\126633')
    , (Char
'\126635',Char
'\126651')
    , (Char
'\131072',Char
'\131072')
    , (Char
'\173789',Char
'\173789')
    , (Char
'\173824',Char
'\173824')
    , (Char
'\177972',Char
'\177972')
    , (Char
'\177984',Char
'\177984')
    , (Char
'\178205',Char
'\178205')
    , (Char
'\178208',Char
'\178208')
    , (Char
'\183969',Char
'\183969')
    , (Char
'\183984',Char
'\183984')
    , (Char
'\191456',Char
'\191456')
    , (Char
'\194560',Char
'\195101')
    , (Char
'\196608',Char
'\196608')
    , (Char
'\201546',Char
'\201546')
    ]

-- ------------------------------------------------------------

isUnicodeLl :: Char -> Bool
isUnicodeLl :: Char -> Bool
isUnicodeLl Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeLl

charPropUnicodeLl :: CharSet
charPropUnicodeLl :: CharSet
charPropUnicodeLl
  = [ (Char
'a',Char
'z')
    , (Char
'\181',Char
'\181')
    , (Char
'\223',Char
'\246')
    , (Char
'\248',Char
'\255')
    , (Char
'\257',Char
'\257')
    , (Char
'\259',Char
'\259')
    , (Char
'\261',Char
'\261')
    , (Char
'\263',Char
'\263')
    , (Char
'\265',Char
'\265')
    , (Char
'\267',Char
'\267')
    , (Char
'\269',Char
'\269')
    , (Char
'\271',Char
'\271')
    , (Char
'\273',Char
'\273')
    , (Char
'\275',Char
'\275')
    , (Char
'\277',Char
'\277')
    , (Char
'\279',Char
'\279')
    , (Char
'\281',Char
'\281')
    , (Char
'\283',Char
'\283')
    , (Char
'\285',Char
'\285')
    , (Char
'\287',Char
'\287')
    , (Char
'\289',Char
'\289')
    , (Char
'\291',Char
'\291')
    , (Char
'\293',Char
'\293')
    , (Char
'\295',Char
'\295')
    , (Char
'\297',Char
'\297')
    , (Char
'\299',Char
'\299')
    , (Char
'\301',Char
'\301')
    , (Char
'\303',Char
'\303')
    , (Char
'\305',Char
'\305')
    , (Char
'\307',Char
'\307')
    , (Char
'\309',Char
'\309')
    , (Char
'\311',Char
'\312')
    , (Char
'\314',Char
'\314')
    , (Char
'\316',Char
'\316')
    , (Char
'\318',Char
'\318')
    , (Char
'\320',Char
'\320')
    , (Char
'\322',Char
'\322')
    , (Char
'\324',Char
'\324')
    , (Char
'\326',Char
'\326')
    , (Char
'\328',Char
'\329')
    , (Char
'\331',Char
'\331')
    , (Char
'\333',Char
'\333')
    , (Char
'\335',Char
'\335')
    , (Char
'\337',Char
'\337')
    , (Char
'\339',Char
'\339')
    , (Char
'\341',Char
'\341')
    , (Char
'\343',Char
'\343')
    , (Char
'\345',Char
'\345')
    , (Char
'\347',Char
'\347')
    , (Char
'\349',Char
'\349')
    , (Char
'\351',Char
'\351')
    , (Char
'\353',Char
'\353')
    , (Char
'\355',Char
'\355')
    , (Char
'\357',Char
'\357')
    , (Char
'\359',Char
'\359')
    , (Char
'\361',Char
'\361')
    , (Char
'\363',Char
'\363')
    , (Char
'\365',Char
'\365')
    , (Char
'\367',Char
'\367')
    , (Char
'\369',Char
'\369')
    , (Char
'\371',Char
'\371')
    , (Char
'\373',Char
'\373')
    , (Char
'\375',Char
'\375')
    , (Char
'\378',Char
'\378')
    , (Char
'\380',Char
'\380')
    , (Char
'\382',Char
'\384')
    , (Char
'\387',Char
'\387')
    , (Char
'\389',Char
'\389')
    , (Char
'\392',Char
'\392')
    , (Char
'\396',Char
'\397')
    , (Char
'\402',Char
'\402')
    , (Char
'\405',Char
'\405')
    , (Char
'\409',Char
'\411')
    , (Char
'\414',Char
'\414')
    , (Char
'\417',Char
'\417')
    , (Char
'\419',Char
'\419')
    , (Char
'\421',Char
'\421')
    , (Char
'\424',Char
'\424')
    , (Char
'\426',Char
'\427')
    , (Char
'\429',Char
'\429')
    , (Char
'\432',Char
'\432')
    , (Char
'\436',Char
'\436')
    , (Char
'\438',Char
'\438')
    , (Char
'\441',Char
'\442')
    , (Char
'\445',Char
'\447')
    , (Char
'\454',Char
'\454')
    , (Char
'\457',Char
'\457')
    , (Char
'\460',Char
'\460')
    , (Char
'\462',Char
'\462')
    , (Char
'\464',Char
'\464')
    , (Char
'\466',Char
'\466')
    , (Char
'\468',Char
'\468')
    , (Char
'\470',Char
'\470')
    , (Char
'\472',Char
'\472')
    , (Char
'\474',Char
'\474')
    , (Char
'\476',Char
'\477')
    , (Char
'\479',Char
'\479')
    , (Char
'\481',Char
'\481')
    , (Char
'\483',Char
'\483')
    , (Char
'\485',Char
'\485')
    , (Char
'\487',Char
'\487')
    , (Char
'\489',Char
'\489')
    , (Char
'\491',Char
'\491')
    , (Char
'\493',Char
'\493')
    , (Char
'\495',Char
'\496')
    , (Char
'\499',Char
'\499')
    , (Char
'\501',Char
'\501')
    , (Char
'\505',Char
'\505')
    , (Char
'\507',Char
'\507')
    , (Char
'\509',Char
'\509')
    , (Char
'\511',Char
'\511')
    , (Char
'\513',Char
'\513')
    , (Char
'\515',Char
'\515')
    , (Char
'\517',Char
'\517')
    , (Char
'\519',Char
'\519')
    , (Char
'\521',Char
'\521')
    , (Char
'\523',Char
'\523')
    , (Char
'\525',Char
'\525')
    , (Char
'\527',Char
'\527')
    , (Char
'\529',Char
'\529')
    , (Char
'\531',Char
'\531')
    , (Char
'\533',Char
'\533')
    , (Char
'\535',Char
'\535')
    , (Char
'\537',Char
'\537')
    , (Char
'\539',Char
'\539')
    , (Char
'\541',Char
'\541')
    , (Char
'\543',Char
'\543')
    , (Char
'\545',Char
'\545')
    , (Char
'\547',Char
'\547')
    , (Char
'\549',Char
'\549')
    , (Char
'\551',Char
'\551')
    , (Char
'\553',Char
'\553')
    , (Char
'\555',Char
'\555')
    , (Char
'\557',Char
'\557')
    , (Char
'\559',Char
'\559')
    , (Char
'\561',Char
'\561')
    , (Char
'\563',Char
'\569')
    , (Char
'\572',Char
'\572')
    , (Char
'\575',Char
'\576')
    , (Char
'\578',Char
'\578')
    , (Char
'\583',Char
'\583')
    , (Char
'\585',Char
'\585')
    , (Char
'\587',Char
'\587')
    , (Char
'\589',Char
'\589')
    , (Char
'\591',Char
'\659')
    , (Char
'\661',Char
'\687')
    , (Char
'\881',Char
'\881')
    , (Char
'\883',Char
'\883')
    , (Char
'\887',Char
'\887')
    , (Char
'\891',Char
'\893')
    , (Char
'\912',Char
'\912')
    , (Char
'\940',Char
'\974')
    , (Char
'\976',Char
'\977')
    , (Char
'\981',Char
'\983')
    , (Char
'\985',Char
'\985')
    , (Char
'\987',Char
'\987')
    , (Char
'\989',Char
'\989')
    , (Char
'\991',Char
'\991')
    , (Char
'\993',Char
'\993')
    , (Char
'\995',Char
'\995')
    , (Char
'\997',Char
'\997')
    , (Char
'\999',Char
'\999')
    , (Char
'\1001',Char
'\1001')
    , (Char
'\1003',Char
'\1003')
    , (Char
'\1005',Char
'\1005')
    , (Char
'\1007',Char
'\1011')
    , (Char
'\1013',Char
'\1013')
    , (Char
'\1016',Char
'\1016')
    , (Char
'\1019',Char
'\1020')
    , (Char
'\1072',Char
'\1119')
    , (Char
'\1121',Char
'\1121')
    , (Char
'\1123',Char
'\1123')
    , (Char
'\1125',Char
'\1125')
    , (Char
'\1127',Char
'\1127')
    , (Char
'\1129',Char
'\1129')
    , (Char
'\1131',Char
'\1131')
    , (Char
'\1133',Char
'\1133')
    , (Char
'\1135',Char
'\1135')
    , (Char
'\1137',Char
'\1137')
    , (Char
'\1139',Char
'\1139')
    , (Char
'\1141',Char
'\1141')
    , (Char
'\1143',Char
'\1143')
    , (Char
'\1145',Char
'\1145')
    , (Char
'\1147',Char
'\1147')
    , (Char
'\1149',Char
'\1149')
    , (Char
'\1151',Char
'\1151')
    , (Char
'\1153',Char
'\1153')
    , (Char
'\1163',Char
'\1163')
    , (Char
'\1165',Char
'\1165')
    , (Char
'\1167',Char
'\1167')
    , (Char
'\1169',Char
'\1169')
    , (Char
'\1171',Char
'\1171')
    , (Char
'\1173',Char
'\1173')
    , (Char
'\1175',Char
'\1175')
    , (Char
'\1177',Char
'\1177')
    , (Char
'\1179',Char
'\1179')
    , (Char
'\1181',Char
'\1181')
    , (Char
'\1183',Char
'\1183')
    , (Char
'\1185',Char
'\1185')
    , (Char
'\1187',Char
'\1187')
    , (Char
'\1189',Char
'\1189')
    , (Char
'\1191',Char
'\1191')
    , (Char
'\1193',Char
'\1193')
    , (Char
'\1195',Char
'\1195')
    , (Char
'\1197',Char
'\1197')
    , (Char
'\1199',Char
'\1199')
    , (Char
'\1201',Char
'\1201')
    , (Char
'\1203',Char
'\1203')
    , (Char
'\1205',Char
'\1205')
    , (Char
'\1207',Char
'\1207')
    , (Char
'\1209',Char
'\1209')
    , (Char
'\1211',Char
'\1211')
    , (Char
'\1213',Char
'\1213')
    , (Char
'\1215',Char
'\1215')
    , (Char
'\1218',Char
'\1218')
    , (Char
'\1220',Char
'\1220')
    , (Char
'\1222',Char
'\1222')
    , (Char
'\1224',Char
'\1224')
    , (Char
'\1226',Char
'\1226')
    , (Char
'\1228',Char
'\1228')
    , (Char
'\1230',Char
'\1231')
    , (Char
'\1233',Char
'\1233')
    , (Char
'\1235',Char
'\1235')
    , (Char
'\1237',Char
'\1237')
    , (Char
'\1239',Char
'\1239')
    , (Char
'\1241',Char
'\1241')
    , (Char
'\1243',Char
'\1243')
    , (Char
'\1245',Char
'\1245')
    , (Char
'\1247',Char
'\1247')
    , (Char
'\1249',Char
'\1249')
    , (Char
'\1251',Char
'\1251')
    , (Char
'\1253',Char
'\1253')
    , (Char
'\1255',Char
'\1255')
    , (Char
'\1257',Char
'\1257')
    , (Char
'\1259',Char
'\1259')
    , (Char
'\1261',Char
'\1261')
    , (Char
'\1263',Char
'\1263')
    , (Char
'\1265',Char
'\1265')
    , (Char
'\1267',Char
'\1267')
    , (Char
'\1269',Char
'\1269')
    , (Char
'\1271',Char
'\1271')
    , (Char
'\1273',Char
'\1273')
    , (Char
'\1275',Char
'\1275')
    , (Char
'\1277',Char
'\1277')
    , (Char
'\1279',Char
'\1279')
    , (Char
'\1281',Char
'\1281')
    , (Char
'\1283',Char
'\1283')
    , (Char
'\1285',Char
'\1285')
    , (Char
'\1287',Char
'\1287')
    , (Char
'\1289',Char
'\1289')
    , (Char
'\1291',Char
'\1291')
    , (Char
'\1293',Char
'\1293')
    , (Char
'\1295',Char
'\1295')
    , (Char
'\1297',Char
'\1297')
    , (Char
'\1299',Char
'\1299')
    , (Char
'\1301',Char
'\1301')
    , (Char
'\1303',Char
'\1303')
    , (Char
'\1305',Char
'\1305')
    , (Char
'\1307',Char
'\1307')
    , (Char
'\1309',Char
'\1309')
    , (Char
'\1311',Char
'\1311')
    , (Char
'\1313',Char
'\1313')
    , (Char
'\1315',Char
'\1315')
    , (Char
'\1317',Char
'\1317')
    , (Char
'\1319',Char
'\1319')
    , (Char
'\1321',Char
'\1321')
    , (Char
'\1323',Char
'\1323')
    , (Char
'\1325',Char
'\1325')
    , (Char
'\1327',Char
'\1327')
    , (Char
'\1376',Char
'\1416')
    , (Char
'\4304',Char
'\4346')
    , (Char
'\4349',Char
'\4351')
    , (Char
'\5112',Char
'\5117')
    , (Char
'\7296',Char
'\7304')
    , (Char
'\7424',Char
'\7467')
    , (Char
'\7531',Char
'\7543')
    , (Char
'\7545',Char
'\7578')
    , (Char
'\7681',Char
'\7681')
    , (Char
'\7683',Char
'\7683')
    , (Char
'\7685',Char
'\7685')
    , (Char
'\7687',Char
'\7687')
    , (Char
'\7689',Char
'\7689')
    , (Char
'\7691',Char
'\7691')
    , (Char
'\7693',Char
'\7693')
    , (Char
'\7695',Char
'\7695')
    , (Char
'\7697',Char
'\7697')
    , (Char
'\7699',Char
'\7699')
    , (Char
'\7701',Char
'\7701')
    , (Char
'\7703',Char
'\7703')
    , (Char
'\7705',Char
'\7705')
    , (Char
'\7707',Char
'\7707')
    , (Char
'\7709',Char
'\7709')
    , (Char
'\7711',Char
'\7711')
    , (Char
'\7713',Char
'\7713')
    , (Char
'\7715',Char
'\7715')
    , (Char
'\7717',Char
'\7717')
    , (Char
'\7719',Char
'\7719')
    , (Char
'\7721',Char
'\7721')
    , (Char
'\7723',Char
'\7723')
    , (Char
'\7725',Char
'\7725')
    , (Char
'\7727',Char
'\7727')
    , (Char
'\7729',Char
'\7729')
    , (Char
'\7731',Char
'\7731')
    , (Char
'\7733',Char
'\7733')
    , (Char
'\7735',Char
'\7735')
    , (Char
'\7737',Char
'\7737')
    , (Char
'\7739',Char
'\7739')
    , (Char
'\7741',Char
'\7741')
    , (Char
'\7743',Char
'\7743')
    , (Char
'\7745',Char
'\7745')
    , (Char
'\7747',Char
'\7747')
    , (Char
'\7749',Char
'\7749')
    , (Char
'\7751',Char
'\7751')
    , (Char
'\7753',Char
'\7753')
    , (Char
'\7755',Char
'\7755')
    , (Char
'\7757',Char
'\7757')
    , (Char
'\7759',Char
'\7759')
    , (Char
'\7761',Char
'\7761')
    , (Char
'\7763',Char
'\7763')
    , (Char
'\7765',Char
'\7765')
    , (Char
'\7767',Char
'\7767')
    , (Char
'\7769',Char
'\7769')
    , (Char
'\7771',Char
'\7771')
    , (Char
'\7773',Char
'\7773')
    , (Char
'\7775',Char
'\7775')
    , (Char
'\7777',Char
'\7777')
    , (Char
'\7779',Char
'\7779')
    , (Char
'\7781',Char
'\7781')
    , (Char
'\7783',Char
'\7783')
    , (Char
'\7785',Char
'\7785')
    , (Char
'\7787',Char
'\7787')
    , (Char
'\7789',Char
'\7789')
    , (Char
'\7791',Char
'\7791')
    , (Char
'\7793',Char
'\7793')
    , (Char
'\7795',Char
'\7795')
    , (Char
'\7797',Char
'\7797')
    , (Char
'\7799',Char
'\7799')
    , (Char
'\7801',Char
'\7801')
    , (Char
'\7803',Char
'\7803')
    , (Char
'\7805',Char
'\7805')
    , (Char
'\7807',Char
'\7807')
    , (Char
'\7809',Char
'\7809')
    , (Char
'\7811',Char
'\7811')
    , (Char
'\7813',Char
'\7813')
    , (Char
'\7815',Char
'\7815')
    , (Char
'\7817',Char
'\7817')
    , (Char
'\7819',Char
'\7819')
    , (Char
'\7821',Char
'\7821')
    , (Char
'\7823',Char
'\7823')
    , (Char
'\7825',Char
'\7825')
    , (Char
'\7827',Char
'\7827')
    , (Char
'\7829',Char
'\7837')
    , (Char
'\7839',Char
'\7839')
    , (Char
'\7841',Char
'\7841')
    , (Char
'\7843',Char
'\7843')
    , (Char
'\7845',Char
'\7845')
    , (Char
'\7847',Char
'\7847')
    , (Char
'\7849',Char
'\7849')
    , (Char
'\7851',Char
'\7851')
    , (Char
'\7853',Char
'\7853')
    , (Char
'\7855',Char
'\7855')
    , (Char
'\7857',Char
'\7857')
    , (Char
'\7859',Char
'\7859')
    , (Char
'\7861',Char
'\7861')
    , (Char
'\7863',Char
'\7863')
    , (Char
'\7865',Char
'\7865')
    , (Char
'\7867',Char
'\7867')
    , (Char
'\7869',Char
'\7869')
    , (Char
'\7871',Char
'\7871')
    , (Char
'\7873',Char
'\7873')
    , (Char
'\7875',Char
'\7875')
    , (Char
'\7877',Char
'\7877')
    , (Char
'\7879',Char
'\7879')
    , (Char
'\7881',Char
'\7881')
    , (Char
'\7883',Char
'\7883')
    , (Char
'\7885',Char
'\7885')
    , (Char
'\7887',Char
'\7887')
    , (Char
'\7889',Char
'\7889')
    , (Char
'\7891',Char
'\7891')
    , (Char
'\7893',Char
'\7893')
    , (Char
'\7895',Char
'\7895')
    , (Char
'\7897',Char
'\7897')
    , (Char
'\7899',Char
'\7899')
    , (Char
'\7901',Char
'\7901')
    , (Char
'\7903',Char
'\7903')
    , (Char
'\7905',Char
'\7905')
    , (Char
'\7907',Char
'\7907')
    , (Char
'\7909',Char
'\7909')
    , (Char
'\7911',Char
'\7911')
    , (Char
'\7913',Char
'\7913')
    , (Char
'\7915',Char
'\7915')
    , (Char
'\7917',Char
'\7917')
    , (Char
'\7919',Char
'\7919')
    , (Char
'\7921',Char
'\7921')
    , (Char
'\7923',Char
'\7923')
    , (Char
'\7925',Char
'\7925')
    , (Char
'\7927',Char
'\7927')
    , (Char
'\7929',Char
'\7929')
    , (Char
'\7931',Char
'\7931')
    , (Char
'\7933',Char
'\7933')
    , (Char
'\7935',Char
'\7943')
    , (Char
'\7952',Char
'\7957')
    , (Char
'\7968',Char
'\7975')
    , (Char
'\7984',Char
'\7991')
    , (Char
'\8000',Char
'\8005')
    , (Char
'\8016',Char
'\8023')
    , (Char
'\8032',Char
'\8039')
    , (Char
'\8048',Char
'\8061')
    , (Char
'\8064',Char
'\8071')
    , (Char
'\8080',Char
'\8087')
    , (Char
'\8096',Char
'\8103')
    , (Char
'\8112',Char
'\8116')
    , (Char
'\8118',Char
'\8119')
    , (Char
'\8126',Char
'\8126')
    , (Char
'\8130',Char
'\8132')
    , (Char
'\8134',Char
'\8135')
    , (Char
'\8144',Char
'\8147')
    , (Char
'\8150',Char
'\8151')
    , (Char
'\8160',Char
'\8167')
    , (Char
'\8178',Char
'\8180')
    , (Char
'\8182',Char
'\8183')
    , (Char
'\8458',Char
'\8458')
    , (Char
'\8462',Char
'\8463')
    , (Char
'\8467',Char
'\8467')
    , (Char
'\8495',Char
'\8495')
    , (Char
'\8500',Char
'\8500')
    , (Char
'\8505',Char
'\8505')
    , (Char
'\8508',Char
'\8509')
    , (Char
'\8518',Char
'\8521')
    , (Char
'\8526',Char
'\8526')
    , (Char
'\8580',Char
'\8580')
    , (Char
'\11312',Char
'\11358')
    , (Char
'\11361',Char
'\11361')
    , (Char
'\11365',Char
'\11366')
    , (Char
'\11368',Char
'\11368')
    , (Char
'\11370',Char
'\11370')
    , (Char
'\11372',Char
'\11372')
    , (Char
'\11377',Char
'\11377')
    , (Char
'\11379',Char
'\11380')
    , (Char
'\11382',Char
'\11387')
    , (Char
'\11393',Char
'\11393')
    , (Char
'\11395',Char
'\11395')
    , (Char
'\11397',Char
'\11397')
    , (Char
'\11399',Char
'\11399')
    , (Char
'\11401',Char
'\11401')
    , (Char
'\11403',Char
'\11403')
    , (Char
'\11405',Char
'\11405')
    , (Char
'\11407',Char
'\11407')
    , (Char
'\11409',Char
'\11409')
    , (Char
'\11411',Char
'\11411')
    , (Char
'\11413',Char
'\11413')
    , (Char
'\11415',Char
'\11415')
    , (Char
'\11417',Char
'\11417')
    , (Char
'\11419',Char
'\11419')
    , (Char
'\11421',Char
'\11421')
    , (Char
'\11423',Char
'\11423')
    , (Char
'\11425',Char
'\11425')
    , (Char
'\11427',Char
'\11427')
    , (Char
'\11429',Char
'\11429')
    , (Char
'\11431',Char
'\11431')
    , (Char
'\11433',Char
'\11433')
    , (Char
'\11435',Char
'\11435')
    , (Char
'\11437',Char
'\11437')
    , (Char
'\11439',Char
'\11439')
    , (Char
'\11441',Char
'\11441')
    , (Char
'\11443',Char
'\11443')
    , (Char
'\11445',Char
'\11445')
    , (Char
'\11447',Char
'\11447')
    , (Char
'\11449',Char
'\11449')
    , (Char
'\11451',Char
'\11451')
    , (Char
'\11453',Char
'\11453')
    , (Char
'\11455',Char
'\11455')
    , (Char
'\11457',Char
'\11457')
    , (Char
'\11459',Char
'\11459')
    , (Char
'\11461',Char
'\11461')
    , (Char
'\11463',Char
'\11463')
    , (Char
'\11465',Char
'\11465')
    , (Char
'\11467',Char
'\11467')
    , (Char
'\11469',Char
'\11469')
    , (Char
'\11471',Char
'\11471')
    , (Char
'\11473',Char
'\11473')
    , (Char
'\11475',Char
'\11475')
    , (Char
'\11477',Char
'\11477')
    , (Char
'\11479',Char
'\11479')
    , (Char
'\11481',Char
'\11481')
    , (Char
'\11483',Char
'\11483')
    , (Char
'\11485',Char
'\11485')
    , (Char
'\11487',Char
'\11487')
    , (Char
'\11489',Char
'\11489')
    , (Char
'\11491',Char
'\11492')
    , (Char
'\11500',Char
'\11500')
    , (Char
'\11502',Char
'\11502')
    , (Char
'\11507',Char
'\11507')
    , (Char
'\11520',Char
'\11557')
    , (Char
'\11559',Char
'\11559')
    , (Char
'\11565',Char
'\11565')
    , (Char
'\42561',Char
'\42561')
    , (Char
'\42563',Char
'\42563')
    , (Char
'\42565',Char
'\42565')
    , (Char
'\42567',Char
'\42567')
    , (Char
'\42569',Char
'\42569')
    , (Char
'\42571',Char
'\42571')
    , (Char
'\42573',Char
'\42573')
    , (Char
'\42575',Char
'\42575')
    , (Char
'\42577',Char
'\42577')
    , (Char
'\42579',Char
'\42579')
    , (Char
'\42581',Char
'\42581')
    , (Char
'\42583',Char
'\42583')
    , (Char
'\42585',Char
'\42585')
    , (Char
'\42587',Char
'\42587')
    , (Char
'\42589',Char
'\42589')
    , (Char
'\42591',Char
'\42591')
    , (Char
'\42593',Char
'\42593')
    , (Char
'\42595',Char
'\42595')
    , (Char
'\42597',Char
'\42597')
    , (Char
'\42599',Char
'\42599')
    , (Char
'\42601',Char
'\42601')
    , (Char
'\42603',Char
'\42603')
    , (Char
'\42605',Char
'\42605')
    , (Char
'\42625',Char
'\42625')
    , (Char
'\42627',Char
'\42627')
    , (Char
'\42629',Char
'\42629')
    , (Char
'\42631',Char
'\42631')
    , (Char
'\42633',Char
'\42633')
    , (Char
'\42635',Char
'\42635')
    , (Char
'\42637',Char
'\42637')
    , (Char
'\42639',Char
'\42639')
    , (Char
'\42641',Char
'\42641')
    , (Char
'\42643',Char
'\42643')
    , (Char
'\42645',Char
'\42645')
    , (Char
'\42647',Char
'\42647')
    , (Char
'\42649',Char
'\42649')
    , (Char
'\42651',Char
'\42651')
    , (Char
'\42787',Char
'\42787')
    , (Char
'\42789',Char
'\42789')
    , (Char
'\42791',Char
'\42791')
    , (Char
'\42793',Char
'\42793')
    , (Char
'\42795',Char
'\42795')
    , (Char
'\42797',Char
'\42797')
    , (Char
'\42799',Char
'\42801')
    , (Char
'\42803',Char
'\42803')
    , (Char
'\42805',Char
'\42805')
    , (Char
'\42807',Char
'\42807')
    , (Char
'\42809',Char
'\42809')
    , (Char
'\42811',Char
'\42811')
    , (Char
'\42813',Char
'\42813')
    , (Char
'\42815',Char
'\42815')
    , (Char
'\42817',Char
'\42817')
    , (Char
'\42819',Char
'\42819')
    , (Char
'\42821',Char
'\42821')
    , (Char
'\42823',Char
'\42823')
    , (Char
'\42825',Char
'\42825')
    , (Char
'\42827',Char
'\42827')
    , (Char
'\42829',Char
'\42829')
    , (Char
'\42831',Char
'\42831')
    , (Char
'\42833',Char
'\42833')
    , (Char
'\42835',Char
'\42835')
    , (Char
'\42837',Char
'\42837')
    , (Char
'\42839',Char
'\42839')
    , (Char
'\42841',Char
'\42841')
    , (Char
'\42843',Char
'\42843')
    , (Char
'\42845',Char
'\42845')
    , (Char
'\42847',Char
'\42847')
    , (Char
'\42849',Char
'\42849')
    , (Char
'\42851',Char
'\42851')
    , (Char
'\42853',Char
'\42853')
    , (Char
'\42855',Char
'\42855')
    , (Char
'\42857',Char
'\42857')
    , (Char
'\42859',Char
'\42859')
    , (Char
'\42861',Char
'\42861')
    , (Char
'\42863',Char
'\42863')
    , (Char
'\42865',Char
'\42872')
    , (Char
'\42874',Char
'\42874')
    , (Char
'\42876',Char
'\42876')
    , (Char
'\42879',Char
'\42879')
    , (Char
'\42881',Char
'\42881')
    , (Char
'\42883',Char
'\42883')
    , (Char
'\42885',Char
'\42885')
    , (Char
'\42887',Char
'\42887')
    , (Char
'\42892',Char
'\42892')
    , (Char
'\42894',Char
'\42894')
    , (Char
'\42897',Char
'\42897')
    , (Char
'\42899',Char
'\42901')
    , (Char
'\42903',Char
'\42903')
    , (Char
'\42905',Char
'\42905')
    , (Char
'\42907',Char
'\42907')
    , (Char
'\42909',Char
'\42909')
    , (Char
'\42911',Char
'\42911')
    , (Char
'\42913',Char
'\42913')
    , (Char
'\42915',Char
'\42915')
    , (Char
'\42917',Char
'\42917')
    , (Char
'\42919',Char
'\42919')
    , (Char
'\42921',Char
'\42921')
    , (Char
'\42927',Char
'\42927')
    , (Char
'\42933',Char
'\42933')
    , (Char
'\42935',Char
'\42935')
    , (Char
'\42937',Char
'\42937')
    , (Char
'\42939',Char
'\42939')
    , (Char
'\42941',Char
'\42941')
    , (Char
'\42943',Char
'\42943')
    , (Char
'\42947',Char
'\42947')
    , (Char
'\42952',Char
'\42952')
    , (Char
'\42954',Char
'\42954')
    , (Char
'\42998',Char
'\42998')
    , (Char
'\43002',Char
'\43002')
    , (Char
'\43824',Char
'\43866')
    , (Char
'\43872',Char
'\43880')
    , (Char
'\43888',Char
'\43967')
    , (Char
'\64256',Char
'\64262')
    , (Char
'\64275',Char
'\64279')
    , (Char
'\65345',Char
'\65370')
    , (Char
'\66600',Char
'\66639')
    , (Char
'\66776',Char
'\66811')
    , (Char
'\68800',Char
'\68850')
    , (Char
'\71872',Char
'\71903')
    , (Char
'\93792',Char
'\93823')
    , (Char
'\119834',Char
'\119859')
    , (Char
'\119886',Char
'\119892')
    , (Char
'\119894',Char
'\119911')
    , (Char
'\119938',Char
'\119963')
    , (Char
'\119990',Char
'\119993')
    , (Char
'\119995',Char
'\119995')
    , (Char
'\119997',Char
'\120003')
    , (Char
'\120005',Char
'\120015')
    , (Char
'\120042',Char
'\120067')
    , (Char
'\120094',Char
'\120119')
    , (Char
'\120146',Char
'\120171')
    , (Char
'\120198',Char
'\120223')
    , (Char
'\120250',Char
'\120275')
    , (Char
'\120302',Char
'\120327')
    , (Char
'\120354',Char
'\120379')
    , (Char
'\120406',Char
'\120431')
    , (Char
'\120458',Char
'\120485')
    , (Char
'\120514',Char
'\120538')
    , (Char
'\120540',Char
'\120545')
    , (Char
'\120572',Char
'\120596')
    , (Char
'\120598',Char
'\120603')
    , (Char
'\120630',Char
'\120654')
    , (Char
'\120656',Char
'\120661')
    , (Char
'\120688',Char
'\120712')
    , (Char
'\120714',Char
'\120719')
    , (Char
'\120746',Char
'\120770')
    , (Char
'\120772',Char
'\120777')
    , (Char
'\120779',Char
'\120779')
    , (Char
'\125218',Char
'\125251')
    ]

-- ------------------------------------------------------------

isUnicodeLm :: Char -> Bool
isUnicodeLm :: Char -> Bool
isUnicodeLm Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeLm

charPropUnicodeLm :: CharSet
charPropUnicodeLm :: CharSet
charPropUnicodeLm
  = [ (Char
'\688',Char
'\705')
    , (Char
'\710',Char
'\721')
    , (Char
'\736',Char
'\740')
    , (Char
'\748',Char
'\748')
    , (Char
'\750',Char
'\750')
    , (Char
'\884',Char
'\884')
    , (Char
'\890',Char
'\890')
    , (Char
'\1369',Char
'\1369')
    , (Char
'\1600',Char
'\1600')
    , (Char
'\1765',Char
'\1766')
    , (Char
'\2036',Char
'\2037')
    , (Char
'\2042',Char
'\2042')
    , (Char
'\2074',Char
'\2074')
    , (Char
'\2084',Char
'\2084')
    , (Char
'\2088',Char
'\2088')
    , (Char
'\2417',Char
'\2417')
    , (Char
'\3654',Char
'\3654')
    , (Char
'\3782',Char
'\3782')
    , (Char
'\4348',Char
'\4348')
    , (Char
'\6103',Char
'\6103')
    , (Char
'\6211',Char
'\6211')
    , (Char
'\6823',Char
'\6823')
    , (Char
'\7288',Char
'\7293')
    , (Char
'\7468',Char
'\7530')
    , (Char
'\7544',Char
'\7544')
    , (Char
'\7579',Char
'\7615')
    , (Char
'\8305',Char
'\8305')
    , (Char
'\8319',Char
'\8319')
    , (Char
'\8336',Char
'\8348')
    , (Char
'\11388',Char
'\11389')
    , (Char
'\11631',Char
'\11631')
    , (Char
'\11823',Char
'\11823')
    , (Char
'\12293',Char
'\12293')
    , (Char
'\12337',Char
'\12341')
    , (Char
'\12347',Char
'\12347')
    , (Char
'\12445',Char
'\12446')
    , (Char
'\12540',Char
'\12542')
    , (Char
'\40981',Char
'\40981')
    , (Char
'\42232',Char
'\42237')
    , (Char
'\42508',Char
'\42508')
    , (Char
'\42623',Char
'\42623')
    , (Char
'\42652',Char
'\42653')
    , (Char
'\42775',Char
'\42783')
    , (Char
'\42864',Char
'\42864')
    , (Char
'\42888',Char
'\42888')
    , (Char
'\43000',Char
'\43001')
    , (Char
'\43471',Char
'\43471')
    , (Char
'\43494',Char
'\43494')
    , (Char
'\43632',Char
'\43632')
    , (Char
'\43741',Char
'\43741')
    , (Char
'\43763',Char
'\43764')
    , (Char
'\43868',Char
'\43871')
    , (Char
'\43881',Char
'\43881')
    , (Char
'\65392',Char
'\65392')
    , (Char
'\65438',Char
'\65439')
    , (Char
'\92992',Char
'\92995')
    , (Char
'\94099',Char
'\94111')
    , (Char
'\94176',Char
'\94177')
    , (Char
'\94179',Char
'\94179')
    , (Char
'\123191',Char
'\123197')
    , (Char
'\125259',Char
'\125259')
    ]

-- ------------------------------------------------------------

isUnicodeLo :: Char -> Bool
isUnicodeLo :: Char -> Bool
isUnicodeLo Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeLo

charPropUnicodeLo :: CharSet
charPropUnicodeLo :: CharSet
charPropUnicodeLo
  = [ (Char
'\170',Char
'\170')
    , (Char
'\186',Char
'\186')
    , (Char
'\443',Char
'\443')
    , (Char
'\448',Char
'\451')
    , (Char
'\660',Char
'\660')
    , (Char
'\1488',Char
'\1514')
    , (Char
'\1519',Char
'\1522')
    , (Char
'\1568',Char
'\1599')
    , (Char
'\1601',Char
'\1610')
    , (Char
'\1646',Char
'\1647')
    , (Char
'\1649',Char
'\1747')
    , (Char
'\1749',Char
'\1749')
    , (Char
'\1774',Char
'\1775')
    , (Char
'\1786',Char
'\1788')
    , (Char
'\1791',Char
'\1791')
    , (Char
'\1808',Char
'\1808')
    , (Char
'\1810',Char
'\1839')
    , (Char
'\1869',Char
'\1957')
    , (Char
'\1969',Char
'\1969')
    , (Char
'\1994',Char
'\2026')
    , (Char
'\2048',Char
'\2069')
    , (Char
'\2112',Char
'\2136')
    , (Char
'\2144',Char
'\2154')
    , (Char
'\2208',Char
'\2228')
    , (Char
'\2230',Char
'\2247')
    , (Char
'\2308',Char
'\2361')
    , (Char
'\2365',Char
'\2365')
    , (Char
'\2384',Char
'\2384')
    , (Char
'\2392',Char
'\2401')
    , (Char
'\2418',Char
'\2432')
    , (Char
'\2437',Char
'\2444')
    , (Char
'\2447',Char
'\2448')
    , (Char
'\2451',Char
'\2472')
    , (Char
'\2474',Char
'\2480')
    , (Char
'\2482',Char
'\2482')
    , (Char
'\2486',Char
'\2489')
    , (Char
'\2493',Char
'\2493')
    , (Char
'\2510',Char
'\2510')
    , (Char
'\2524',Char
'\2525')
    , (Char
'\2527',Char
'\2529')
    , (Char
'\2544',Char
'\2545')
    , (Char
'\2556',Char
'\2556')
    , (Char
'\2565',Char
'\2570')
    , (Char
'\2575',Char
'\2576')
    , (Char
'\2579',Char
'\2600')
    , (Char
'\2602',Char
'\2608')
    , (Char
'\2610',Char
'\2611')
    , (Char
'\2613',Char
'\2614')
    , (Char
'\2616',Char
'\2617')
    , (Char
'\2649',Char
'\2652')
    , (Char
'\2654',Char
'\2654')
    , (Char
'\2674',Char
'\2676')
    , (Char
'\2693',Char
'\2701')
    , (Char
'\2703',Char
'\2705')
    , (Char
'\2707',Char
'\2728')
    , (Char
'\2730',Char
'\2736')
    , (Char
'\2738',Char
'\2739')
    , (Char
'\2741',Char
'\2745')
    , (Char
'\2749',Char
'\2749')
    , (Char
'\2768',Char
'\2768')
    , (Char
'\2784',Char
'\2785')
    , (Char
'\2809',Char
'\2809')
    , (Char
'\2821',Char
'\2828')
    , (Char
'\2831',Char
'\2832')
    , (Char
'\2835',Char
'\2856')
    , (Char
'\2858',Char
'\2864')
    , (Char
'\2866',Char
'\2867')
    , (Char
'\2869',Char
'\2873')
    , (Char
'\2877',Char
'\2877')
    , (Char
'\2908',Char
'\2909')
    , (Char
'\2911',Char
'\2913')
    , (Char
'\2929',Char
'\2929')
    , (Char
'\2947',Char
'\2947')
    , (Char
'\2949',Char
'\2954')
    , (Char
'\2958',Char
'\2960')
    , (Char
'\2962',Char
'\2965')
    , (Char
'\2969',Char
'\2970')
    , (Char
'\2972',Char
'\2972')
    , (Char
'\2974',Char
'\2975')
    , (Char
'\2979',Char
'\2980')
    , (Char
'\2984',Char
'\2986')
    , (Char
'\2990',Char
'\3001')
    , (Char
'\3024',Char
'\3024')
    , (Char
'\3077',Char
'\3084')
    , (Char
'\3086',Char
'\3088')
    , (Char
'\3090',Char
'\3112')
    , (Char
'\3114',Char
'\3129')
    , (Char
'\3133',Char
'\3133')
    , (Char
'\3160',Char
'\3162')
    , (Char
'\3168',Char
'\3169')
    , (Char
'\3200',Char
'\3200')
    , (Char
'\3205',Char
'\3212')
    , (Char
'\3214',Char
'\3216')
    , (Char
'\3218',Char
'\3240')
    , (Char
'\3242',Char
'\3251')
    , (Char
'\3253',Char
'\3257')
    , (Char
'\3261',Char
'\3261')
    , (Char
'\3294',Char
'\3294')
    , (Char
'\3296',Char
'\3297')
    , (Char
'\3313',Char
'\3314')
    , (Char
'\3332',Char
'\3340')
    , (Char
'\3342',Char
'\3344')
    , (Char
'\3346',Char
'\3386')
    , (Char
'\3389',Char
'\3389')
    , (Char
'\3406',Char
'\3406')
    , (Char
'\3412',Char
'\3414')
    , (Char
'\3423',Char
'\3425')
    , (Char
'\3450',Char
'\3455')
    , (Char
'\3461',Char
'\3478')
    , (Char
'\3482',Char
'\3505')
    , (Char
'\3507',Char
'\3515')
    , (Char
'\3517',Char
'\3517')
    , (Char
'\3520',Char
'\3526')
    , (Char
'\3585',Char
'\3632')
    , (Char
'\3634',Char
'\3635')
    , (Char
'\3648',Char
'\3653')
    , (Char
'\3713',Char
'\3714')
    , (Char
'\3716',Char
'\3716')
    , (Char
'\3718',Char
'\3722')
    , (Char
'\3724',Char
'\3747')
    , (Char
'\3749',Char
'\3749')
    , (Char
'\3751',Char
'\3760')
    , (Char
'\3762',Char
'\3763')
    , (Char
'\3773',Char
'\3773')
    , (Char
'\3776',Char
'\3780')
    , (Char
'\3804',Char
'\3807')
    , (Char
'\3840',Char
'\3840')
    , (Char
'\3904',Char
'\3911')
    , (Char
'\3913',Char
'\3948')
    , (Char
'\3976',Char
'\3980')
    , (Char
'\4096',Char
'\4138')
    , (Char
'\4159',Char
'\4159')
    , (Char
'\4176',Char
'\4181')
    , (Char
'\4186',Char
'\4189')
    , (Char
'\4193',Char
'\4193')
    , (Char
'\4197',Char
'\4198')
    , (Char
'\4206',Char
'\4208')
    , (Char
'\4213',Char
'\4225')
    , (Char
'\4238',Char
'\4238')
    , (Char
'\4352',Char
'\4680')
    , (Char
'\4682',Char
'\4685')
    , (Char
'\4688',Char
'\4694')
    , (Char
'\4696',Char
'\4696')
    , (Char
'\4698',Char
'\4701')
    , (Char
'\4704',Char
'\4744')
    , (Char
'\4746',Char
'\4749')
    , (Char
'\4752',Char
'\4784')
    , (Char
'\4786',Char
'\4789')
    , (Char
'\4792',Char
'\4798')
    , (Char
'\4800',Char
'\4800')
    , (Char
'\4802',Char
'\4805')
    , (Char
'\4808',Char
'\4822')
    , (Char
'\4824',Char
'\4880')
    , (Char
'\4882',Char
'\4885')
    , (Char
'\4888',Char
'\4954')
    , (Char
'\4992',Char
'\5007')
    , (Char
'\5121',Char
'\5740')
    , (Char
'\5743',Char
'\5759')
    , (Char
'\5761',Char
'\5786')
    , (Char
'\5792',Char
'\5866')
    , (Char
'\5873',Char
'\5880')
    , (Char
'\5888',Char
'\5900')
    , (Char
'\5902',Char
'\5905')
    , (Char
'\5920',Char
'\5937')
    , (Char
'\5952',Char
'\5969')
    , (Char
'\5984',Char
'\5996')
    , (Char
'\5998',Char
'\6000')
    , (Char
'\6016',Char
'\6067')
    , (Char
'\6108',Char
'\6108')
    , (Char
'\6176',Char
'\6210')
    , (Char
'\6212',Char
'\6264')
    , (Char
'\6272',Char
'\6276')
    , (Char
'\6279',Char
'\6312')
    , (Char
'\6314',Char
'\6314')
    , (Char
'\6320',Char
'\6389')
    , (Char
'\6400',Char
'\6430')
    , (Char
'\6480',Char
'\6509')
    , (Char
'\6512',Char
'\6516')
    , (Char
'\6528',Char
'\6571')
    , (Char
'\6576',Char
'\6601')
    , (Char
'\6656',Char
'\6678')
    , (Char
'\6688',Char
'\6740')
    , (Char
'\6917',Char
'\6963')
    , (Char
'\6981',Char
'\6987')
    , (Char
'\7043',Char
'\7072')
    , (Char
'\7086',Char
'\7087')
    , (Char
'\7098',Char
'\7141')
    , (Char
'\7168',Char
'\7203')
    , (Char
'\7245',Char
'\7247')
    , (Char
'\7258',Char
'\7287')
    , (Char
'\7401',Char
'\7404')
    , (Char
'\7406',Char
'\7411')
    , (Char
'\7413',Char
'\7414')
    , (Char
'\7418',Char
'\7418')
    , (Char
'\8501',Char
'\8504')
    , (Char
'\11568',Char
'\11623')
    , (Char
'\11648',Char
'\11670')
    , (Char
'\11680',Char
'\11686')
    , (Char
'\11688',Char
'\11694')
    , (Char
'\11696',Char
'\11702')
    , (Char
'\11704',Char
'\11710')
    , (Char
'\11712',Char
'\11718')
    , (Char
'\11720',Char
'\11726')
    , (Char
'\11728',Char
'\11734')
    , (Char
'\11736',Char
'\11742')
    , (Char
'\12294',Char
'\12294')
    , (Char
'\12348',Char
'\12348')
    , (Char
'\12353',Char
'\12438')
    , (Char
'\12447',Char
'\12447')
    , (Char
'\12449',Char
'\12538')
    , (Char
'\12543',Char
'\12543')
    , (Char
'\12549',Char
'\12591')
    , (Char
'\12593',Char
'\12686')
    , (Char
'\12704',Char
'\12735')
    , (Char
'\12784',Char
'\12799')
    , (Char
'\13312',Char
'\13312')
    , (Char
'\19903',Char
'\19903')
    , (Char
'\19968',Char
'\19968')
    , (Char
'\40956',Char
'\40956')
    , (Char
'\40960',Char
'\40980')
    , (Char
'\40982',Char
'\42124')
    , (Char
'\42192',Char
'\42231')
    , (Char
'\42240',Char
'\42507')
    , (Char
'\42512',Char
'\42527')
    , (Char
'\42538',Char
'\42539')
    , (Char
'\42606',Char
'\42606')
    , (Char
'\42656',Char
'\42725')
    , (Char
'\42895',Char
'\42895')
    , (Char
'\42999',Char
'\42999')
    , (Char
'\43003',Char
'\43009')
    , (Char
'\43011',Char
'\43013')
    , (Char
'\43015',Char
'\43018')
    , (Char
'\43020',Char
'\43042')
    , (Char
'\43072',Char
'\43123')
    , (Char
'\43138',Char
'\43187')
    , (Char
'\43250',Char
'\43255')
    , (Char
'\43259',Char
'\43259')
    , (Char
'\43261',Char
'\43262')
    , (Char
'\43274',Char
'\43301')
    , (Char
'\43312',Char
'\43334')
    , (Char
'\43360',Char
'\43388')
    , (Char
'\43396',Char
'\43442')
    , (Char
'\43488',Char
'\43492')
    , (Char
'\43495',Char
'\43503')
    , (Char
'\43514',Char
'\43518')
    , (Char
'\43520',Char
'\43560')
    , (Char
'\43584',Char
'\43586')
    , (Char
'\43588',Char
'\43595')
    , (Char
'\43616',Char
'\43631')
    , (Char
'\43633',Char
'\43638')
    , (Char
'\43642',Char
'\43642')
    , (Char
'\43646',Char
'\43695')
    , (Char
'\43697',Char
'\43697')
    , (Char
'\43701',Char
'\43702')
    , (Char
'\43705',Char
'\43709')
    , (Char
'\43712',Char
'\43712')
    , (Char
'\43714',Char
'\43714')
    , (Char
'\43739',Char
'\43740')
    , (Char
'\43744',Char
'\43754')
    , (Char
'\43762',Char
'\43762')
    , (Char
'\43777',Char
'\43782')
    , (Char
'\43785',Char
'\43790')
    , (Char
'\43793',Char
'\43798')
    , (Char
'\43808',Char
'\43814')
    , (Char
'\43816',Char
'\43822')
    , (Char
'\43968',Char
'\44002')
    , (Char
'\44032',Char
'\44032')
    , (Char
'\55203',Char
'\55203')
    , (Char
'\55216',Char
'\55238')
    , (Char
'\55243',Char
'\55291')
    , (Char
'\63744',Char
'\64109')
    , (Char
'\64112',Char
'\64217')
    , (Char
'\64285',Char
'\64285')
    , (Char
'\64287',Char
'\64296')
    , (Char
'\64298',Char
'\64310')
    , (Char
'\64312',Char
'\64316')
    , (Char
'\64318',Char
'\64318')
    , (Char
'\64320',Char
'\64321')
    , (Char
'\64323',Char
'\64324')
    , (Char
'\64326',Char
'\64433')
    , (Char
'\64467',Char
'\64829')
    , (Char
'\64848',Char
'\64911')
    , (Char
'\64914',Char
'\64967')
    , (Char
'\65008',Char
'\65019')
    , (Char
'\65136',Char
'\65140')
    , (Char
'\65142',Char
'\65276')
    , (Char
'\65382',Char
'\65391')
    , (Char
'\65393',Char
'\65437')
    , (Char
'\65440',Char
'\65470')
    , (Char
'\65474',Char
'\65479')
    , (Char
'\65482',Char
'\65487')
    , (Char
'\65490',Char
'\65495')
    , (Char
'\65498',Char
'\65500')
    , (Char
'\65536',Char
'\65547')
    , (Char
'\65549',Char
'\65574')
    , (Char
'\65576',Char
'\65594')
    , (Char
'\65596',Char
'\65597')
    , (Char
'\65599',Char
'\65613')
    , (Char
'\65616',Char
'\65629')
    , (Char
'\65664',Char
'\65786')
    , (Char
'\66176',Char
'\66204')
    , (Char
'\66208',Char
'\66256')
    , (Char
'\66304',Char
'\66335')
    , (Char
'\66349',Char
'\66368')
    , (Char
'\66370',Char
'\66377')
    , (Char
'\66384',Char
'\66421')
    , (Char
'\66432',Char
'\66461')
    , (Char
'\66464',Char
'\66499')
    , (Char
'\66504',Char
'\66511')
    , (Char
'\66640',Char
'\66717')
    , (Char
'\66816',Char
'\66855')
    , (Char
'\66864',Char
'\66915')
    , (Char
'\67072',Char
'\67382')
    , (Char
'\67392',Char
'\67413')
    , (Char
'\67424',Char
'\67431')
    , (Char
'\67584',Char
'\67589')
    , (Char
'\67592',Char
'\67592')
    , (Char
'\67594',Char
'\67637')
    , (Char
'\67639',Char
'\67640')
    , (Char
'\67644',Char
'\67644')
    , (Char
'\67647',Char
'\67669')
    , (Char
'\67680',Char
'\67702')
    , (Char
'\67712',Char
'\67742')
    , (Char
'\67808',Char
'\67826')
    , (Char
'\67828',Char
'\67829')
    , (Char
'\67840',Char
'\67861')
    , (Char
'\67872',Char
'\67897')
    , (Char
'\67968',Char
'\68023')
    , (Char
'\68030',Char
'\68031')
    , (Char
'\68096',Char
'\68096')
    , (Char
'\68112',Char
'\68115')
    , (Char
'\68117',Char
'\68119')
    , (Char
'\68121',Char
'\68149')
    , (Char
'\68192',Char
'\68220')
    , (Char
'\68224',Char
'\68252')
    , (Char
'\68288',Char
'\68295')
    , (Char
'\68297',Char
'\68324')
    , (Char
'\68352',Char
'\68405')
    , (Char
'\68416',Char
'\68437')
    , (Char
'\68448',Char
'\68466')
    , (Char
'\68480',Char
'\68497')
    , (Char
'\68608',Char
'\68680')
    , (Char
'\68864',Char
'\68899')
    , (Char
'\69248',Char
'\69289')
    , (Char
'\69296',Char
'\69297')
    , (Char
'\69376',Char
'\69404')
    , (Char
'\69415',Char
'\69415')
    , (Char
'\69424',Char
'\69445')
    , (Char
'\69552',Char
'\69572')
    , (Char
'\69600',Char
'\69622')
    , (Char
'\69635',Char
'\69687')
    , (Char
'\69763',Char
'\69807')
    , (Char
'\69840',Char
'\69864')
    , (Char
'\69891',Char
'\69926')
    , (Char
'\69956',Char
'\69956')
    , (Char
'\69959',Char
'\69959')
    , (Char
'\69968',Char
'\70002')
    , (Char
'\70006',Char
'\70006')
    , (Char
'\70019',Char
'\70066')
    , (Char
'\70081',Char
'\70084')
    , (Char
'\70106',Char
'\70106')
    , (Char
'\70108',Char
'\70108')
    , (Char
'\70144',Char
'\70161')
    , (Char
'\70163',Char
'\70187')
    , (Char
'\70272',Char
'\70278')
    , (Char
'\70280',Char
'\70280')
    , (Char
'\70282',Char
'\70285')
    , (Char
'\70287',Char
'\70301')
    , (Char
'\70303',Char
'\70312')
    , (Char
'\70320',Char
'\70366')
    , (Char
'\70405',Char
'\70412')
    , (Char
'\70415',Char
'\70416')
    , (Char
'\70419',Char
'\70440')
    , (Char
'\70442',Char
'\70448')
    , (Char
'\70450',Char
'\70451')
    , (Char
'\70453',Char
'\70457')
    , (Char
'\70461',Char
'\70461')
    , (Char
'\70480',Char
'\70480')
    , (Char
'\70493',Char
'\70497')
    , (Char
'\70656',Char
'\70708')
    , (Char
'\70727',Char
'\70730')
    , (Char
'\70751',Char
'\70753')
    , (Char
'\70784',Char
'\70831')
    , (Char
'\70852',Char
'\70853')
    , (Char
'\70855',Char
'\70855')
    , (Char
'\71040',Char
'\71086')
    , (Char
'\71128',Char
'\71131')
    , (Char
'\71168',Char
'\71215')
    , (Char
'\71236',Char
'\71236')
    , (Char
'\71296',Char
'\71338')
    , (Char
'\71352',Char
'\71352')
    , (Char
'\71424',Char
'\71450')
    , (Char
'\71680',Char
'\71723')
    , (Char
'\71935',Char
'\71942')
    , (Char
'\71945',Char
'\71945')
    , (Char
'\71948',Char
'\71955')
    , (Char
'\71957',Char
'\71958')
    , (Char
'\71960',Char
'\71983')
    , (Char
'\71999',Char
'\71999')
    , (Char
'\72001',Char
'\72001')
    , (Char
'\72096',Char
'\72103')
    , (Char
'\72106',Char
'\72144')
    , (Char
'\72161',Char
'\72161')
    , (Char
'\72163',Char
'\72163')
    , (Char
'\72192',Char
'\72192')
    , (Char
'\72203',Char
'\72242')
    , (Char
'\72250',Char
'\72250')
    , (Char
'\72272',Char
'\72272')
    , (Char
'\72284',Char
'\72329')
    , (Char
'\72349',Char
'\72349')
    , (Char
'\72384',Char
'\72440')
    , (Char
'\72704',Char
'\72712')
    , (Char
'\72714',Char
'\72750')
    , (Char
'\72768',Char
'\72768')
    , (Char
'\72818',Char
'\72847')
    , (Char
'\72960',Char
'\72966')
    , (Char
'\72968',Char
'\72969')
    , (Char
'\72971',Char
'\73008')
    , (Char
'\73030',Char
'\73030')
    , (Char
'\73056',Char
'\73061')
    , (Char
'\73063',Char
'\73064')
    , (Char
'\73066',Char
'\73097')
    , (Char
'\73112',Char
'\73112')
    , (Char
'\73440',Char
'\73458')
    , (Char
'\73648',Char
'\73648')
    , (Char
'\73728',Char
'\74649')
    , (Char
'\74880',Char
'\75075')
    , (Char
'\77824',Char
'\78894')
    , (Char
'\82944',Char
'\83526')
    , (Char
'\92160',Char
'\92728')
    , (Char
'\92736',Char
'\92766')
    , (Char
'\92880',Char
'\92909')
    , (Char
'\92928',Char
'\92975')
    , (Char
'\93027',Char
'\93047')
    , (Char
'\93053',Char
'\93071')
    , (Char
'\93952',Char
'\94026')
    , (Char
'\94032',Char
'\94032')
    , (Char
'\94208',Char
'\94208')
    , (Char
'\100343',Char
'\100343')
    , (Char
'\100352',Char
'\101589')
    , (Char
'\101632',Char
'\101632')
    , (Char
'\101640',Char
'\101640')
    , (Char
'\110592',Char
'\110878')
    , (Char
'\110928',Char
'\110930')
    , (Char
'\110948',Char
'\110951')
    , (Char
'\110960',Char
'\111355')
    , (Char
'\113664',Char
'\113770')
    , (Char
'\113776',Char
'\113788')
    , (Char
'\113792',Char
'\113800')
    , (Char
'\113808',Char
'\113817')
    , (Char
'\123136',Char
'\123180')
    , (Char
'\123214',Char
'\123214')
    , (Char
'\123584',Char
'\123627')
    , (Char
'\124928',Char
'\125124')
    , (Char
'\126464',Char
'\126467')
    , (Char
'\126469',Char
'\126495')
    , (Char
'\126497',Char
'\126498')
    , (Char
'\126500',Char
'\126500')
    , (Char
'\126503',Char
'\126503')
    , (Char
'\126505',Char
'\126514')
    , (Char
'\126516',Char
'\126519')
    , (Char
'\126521',Char
'\126521')
    , (Char
'\126523',Char
'\126523')
    , (Char
'\126530',Char
'\126530')
    , (Char
'\126535',Char
'\126535')
    , (Char
'\126537',Char
'\126537')
    , (Char
'\126539',Char
'\126539')
    , (Char
'\126541',Char
'\126543')
    , (Char
'\126545',Char
'\126546')
    , (Char
'\126548',Char
'\126548')
    , (Char
'\126551',Char
'\126551')
    , (Char
'\126553',Char
'\126553')
    , (Char
'\126555',Char
'\126555')
    , (Char
'\126557',Char
'\126557')
    , (Char
'\126559',Char
'\126559')
    , (Char
'\126561',Char
'\126562')
    , (Char
'\126564',Char
'\126564')
    , (Char
'\126567',Char
'\126570')
    , (Char
'\126572',Char
'\126578')
    , (Char
'\126580',Char
'\126583')
    , (Char
'\126585',Char
'\126588')
    , (Char
'\126590',Char
'\126590')
    , (Char
'\126592',Char
'\126601')
    , (Char
'\126603',Char
'\126619')
    , (Char
'\126625',Char
'\126627')
    , (Char
'\126629',Char
'\126633')
    , (Char
'\126635',Char
'\126651')
    , (Char
'\131072',Char
'\131072')
    , (Char
'\173789',Char
'\173789')
    , (Char
'\173824',Char
'\173824')
    , (Char
'\177972',Char
'\177972')
    , (Char
'\177984',Char
'\177984')
    , (Char
'\178205',Char
'\178205')
    , (Char
'\178208',Char
'\178208')
    , (Char
'\183969',Char
'\183969')
    , (Char
'\183984',Char
'\183984')
    , (Char
'\191456',Char
'\191456')
    , (Char
'\194560',Char
'\195101')
    , (Char
'\196608',Char
'\196608')
    , (Char
'\201546',Char
'\201546')
    ]

-- ------------------------------------------------------------

isUnicodeLt :: Char -> Bool
isUnicodeLt :: Char -> Bool
isUnicodeLt Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeLt

charPropUnicodeLt :: CharSet
charPropUnicodeLt :: CharSet
charPropUnicodeLt
  = [ (Char
'\453',Char
'\453')
    , (Char
'\456',Char
'\456')
    , (Char
'\459',Char
'\459')
    , (Char
'\498',Char
'\498')
    , (Char
'\8072',Char
'\8079')
    , (Char
'\8088',Char
'\8095')
    , (Char
'\8104',Char
'\8111')
    , (Char
'\8124',Char
'\8124')
    , (Char
'\8140',Char
'\8140')
    , (Char
'\8188',Char
'\8188')
    ]

-- ------------------------------------------------------------

isUnicodeLu :: Char -> Bool
isUnicodeLu :: Char -> Bool
isUnicodeLu Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeLu

charPropUnicodeLu :: CharSet
charPropUnicodeLu :: CharSet
charPropUnicodeLu
  = [ (Char
'A',Char
'Z')
    , (Char
'\192',Char
'\214')
    , (Char
'\216',Char
'\222')
    , (Char
'\256',Char
'\256')
    , (Char
'\258',Char
'\258')
    , (Char
'\260',Char
'\260')
    , (Char
'\262',Char
'\262')
    , (Char
'\264',Char
'\264')
    , (Char
'\266',Char
'\266')
    , (Char
'\268',Char
'\268')
    , (Char
'\270',Char
'\270')
    , (Char
'\272',Char
'\272')
    , (Char
'\274',Char
'\274')
    , (Char
'\276',Char
'\276')
    , (Char
'\278',Char
'\278')
    , (Char
'\280',Char
'\280')
    , (Char
'\282',Char
'\282')
    , (Char
'\284',Char
'\284')
    , (Char
'\286',Char
'\286')
    , (Char
'\288',Char
'\288')
    , (Char
'\290',Char
'\290')
    , (Char
'\292',Char
'\292')
    , (Char
'\294',Char
'\294')
    , (Char
'\296',Char
'\296')
    , (Char
'\298',Char
'\298')
    , (Char
'\300',Char
'\300')
    , (Char
'\302',Char
'\302')
    , (Char
'\304',Char
'\304')
    , (Char
'\306',Char
'\306')
    , (Char
'\308',Char
'\308')
    , (Char
'\310',Char
'\310')
    , (Char
'\313',Char
'\313')
    , (Char
'\315',Char
'\315')
    , (Char
'\317',Char
'\317')
    , (Char
'\319',Char
'\319')
    , (Char
'\321',Char
'\321')
    , (Char
'\323',Char
'\323')
    , (Char
'\325',Char
'\325')
    , (Char
'\327',Char
'\327')
    , (Char
'\330',Char
'\330')
    , (Char
'\332',Char
'\332')
    , (Char
'\334',Char
'\334')
    , (Char
'\336',Char
'\336')
    , (Char
'\338',Char
'\338')
    , (Char
'\340',Char
'\340')
    , (Char
'\342',Char
'\342')
    , (Char
'\344',Char
'\344')
    , (Char
'\346',Char
'\346')
    , (Char
'\348',Char
'\348')
    , (Char
'\350',Char
'\350')
    , (Char
'\352',Char
'\352')
    , (Char
'\354',Char
'\354')
    , (Char
'\356',Char
'\356')
    , (Char
'\358',Char
'\358')
    , (Char
'\360',Char
'\360')
    , (Char
'\362',Char
'\362')
    , (Char
'\364',Char
'\364')
    , (Char
'\366',Char
'\366')
    , (Char
'\368',Char
'\368')
    , (Char
'\370',Char
'\370')
    , (Char
'\372',Char
'\372')
    , (Char
'\374',Char
'\374')
    , (Char
'\376',Char
'\377')
    , (Char
'\379',Char
'\379')
    , (Char
'\381',Char
'\381')
    , (Char
'\385',Char
'\386')
    , (Char
'\388',Char
'\388')
    , (Char
'\390',Char
'\391')
    , (Char
'\393',Char
'\395')
    , (Char
'\398',Char
'\401')
    , (Char
'\403',Char
'\404')
    , (Char
'\406',Char
'\408')
    , (Char
'\412',Char
'\413')
    , (Char
'\415',Char
'\416')
    , (Char
'\418',Char
'\418')
    , (Char
'\420',Char
'\420')
    , (Char
'\422',Char
'\423')
    , (Char
'\425',Char
'\425')
    , (Char
'\428',Char
'\428')
    , (Char
'\430',Char
'\431')
    , (Char
'\433',Char
'\435')
    , (Char
'\437',Char
'\437')
    , (Char
'\439',Char
'\440')
    , (Char
'\444',Char
'\444')
    , (Char
'\452',Char
'\452')
    , (Char
'\455',Char
'\455')
    , (Char
'\458',Char
'\458')
    , (Char
'\461',Char
'\461')
    , (Char
'\463',Char
'\463')
    , (Char
'\465',Char
'\465')
    , (Char
'\467',Char
'\467')
    , (Char
'\469',Char
'\469')
    , (Char
'\471',Char
'\471')
    , (Char
'\473',Char
'\473')
    , (Char
'\475',Char
'\475')
    , (Char
'\478',Char
'\478')
    , (Char
'\480',Char
'\480')
    , (Char
'\482',Char
'\482')
    , (Char
'\484',Char
'\484')
    , (Char
'\486',Char
'\486')
    , (Char
'\488',Char
'\488')
    , (Char
'\490',Char
'\490')
    , (Char
'\492',Char
'\492')
    , (Char
'\494',Char
'\494')
    , (Char
'\497',Char
'\497')
    , (Char
'\500',Char
'\500')
    , (Char
'\502',Char
'\504')
    , (Char
'\506',Char
'\506')
    , (Char
'\508',Char
'\508')
    , (Char
'\510',Char
'\510')
    , (Char
'\512',Char
'\512')
    , (Char
'\514',Char
'\514')
    , (Char
'\516',Char
'\516')
    , (Char
'\518',Char
'\518')
    , (Char
'\520',Char
'\520')
    , (Char
'\522',Char
'\522')
    , (Char
'\524',Char
'\524')
    , (Char
'\526',Char
'\526')
    , (Char
'\528',Char
'\528')
    , (Char
'\530',Char
'\530')
    , (Char
'\532',Char
'\532')
    , (Char
'\534',Char
'\534')
    , (Char
'\536',Char
'\536')
    , (Char
'\538',Char
'\538')
    , (Char
'\540',Char
'\540')
    , (Char
'\542',Char
'\542')
    , (Char
'\544',Char
'\544')
    , (Char
'\546',Char
'\546')
    , (Char
'\548',Char
'\548')
    , (Char
'\550',Char
'\550')
    , (Char
'\552',Char
'\552')
    , (Char
'\554',Char
'\554')
    , (Char
'\556',Char
'\556')
    , (Char
'\558',Char
'\558')
    , (Char
'\560',Char
'\560')
    , (Char
'\562',Char
'\562')
    , (Char
'\570',Char
'\571')
    , (Char
'\573',Char
'\574')
    , (Char
'\577',Char
'\577')
    , (Char
'\579',Char
'\582')
    , (Char
'\584',Char
'\584')
    , (Char
'\586',Char
'\586')
    , (Char
'\588',Char
'\588')
    , (Char
'\590',Char
'\590')
    , (Char
'\880',Char
'\880')
    , (Char
'\882',Char
'\882')
    , (Char
'\886',Char
'\886')
    , (Char
'\895',Char
'\895')
    , (Char
'\902',Char
'\902')
    , (Char
'\904',Char
'\906')
    , (Char
'\908',Char
'\908')
    , (Char
'\910',Char
'\911')
    , (Char
'\913',Char
'\929')
    , (Char
'\931',Char
'\939')
    , (Char
'\975',Char
'\975')
    , (Char
'\978',Char
'\980')
    , (Char
'\984',Char
'\984')
    , (Char
'\986',Char
'\986')
    , (Char
'\988',Char
'\988')
    , (Char
'\990',Char
'\990')
    , (Char
'\992',Char
'\992')
    , (Char
'\994',Char
'\994')
    , (Char
'\996',Char
'\996')
    , (Char
'\998',Char
'\998')
    , (Char
'\1000',Char
'\1000')
    , (Char
'\1002',Char
'\1002')
    , (Char
'\1004',Char
'\1004')
    , (Char
'\1006',Char
'\1006')
    , (Char
'\1012',Char
'\1012')
    , (Char
'\1015',Char
'\1015')
    , (Char
'\1017',Char
'\1018')
    , (Char
'\1021',Char
'\1071')
    , (Char
'\1120',Char
'\1120')
    , (Char
'\1122',Char
'\1122')
    , (Char
'\1124',Char
'\1124')
    , (Char
'\1126',Char
'\1126')
    , (Char
'\1128',Char
'\1128')
    , (Char
'\1130',Char
'\1130')
    , (Char
'\1132',Char
'\1132')
    , (Char
'\1134',Char
'\1134')
    , (Char
'\1136',Char
'\1136')
    , (Char
'\1138',Char
'\1138')
    , (Char
'\1140',Char
'\1140')
    , (Char
'\1142',Char
'\1142')
    , (Char
'\1144',Char
'\1144')
    , (Char
'\1146',Char
'\1146')
    , (Char
'\1148',Char
'\1148')
    , (Char
'\1150',Char
'\1150')
    , (Char
'\1152',Char
'\1152')
    , (Char
'\1162',Char
'\1162')
    , (Char
'\1164',Char
'\1164')
    , (Char
'\1166',Char
'\1166')
    , (Char
'\1168',Char
'\1168')
    , (Char
'\1170',Char
'\1170')
    , (Char
'\1172',Char
'\1172')
    , (Char
'\1174',Char
'\1174')
    , (Char
'\1176',Char
'\1176')
    , (Char
'\1178',Char
'\1178')
    , (Char
'\1180',Char
'\1180')
    , (Char
'\1182',Char
'\1182')
    , (Char
'\1184',Char
'\1184')
    , (Char
'\1186',Char
'\1186')
    , (Char
'\1188',Char
'\1188')
    , (Char
'\1190',Char
'\1190')
    , (Char
'\1192',Char
'\1192')
    , (Char
'\1194',Char
'\1194')
    , (Char
'\1196',Char
'\1196')
    , (Char
'\1198',Char
'\1198')
    , (Char
'\1200',Char
'\1200')
    , (Char
'\1202',Char
'\1202')
    , (Char
'\1204',Char
'\1204')
    , (Char
'\1206',Char
'\1206')
    , (Char
'\1208',Char
'\1208')
    , (Char
'\1210',Char
'\1210')
    , (Char
'\1212',Char
'\1212')
    , (Char
'\1214',Char
'\1214')
    , (Char
'\1216',Char
'\1217')
    , (Char
'\1219',Char
'\1219')
    , (Char
'\1221',Char
'\1221')
    , (Char
'\1223',Char
'\1223')
    , (Char
'\1225',Char
'\1225')
    , (Char
'\1227',Char
'\1227')
    , (Char
'\1229',Char
'\1229')
    , (Char
'\1232',Char
'\1232')
    , (Char
'\1234',Char
'\1234')
    , (Char
'\1236',Char
'\1236')
    , (Char
'\1238',Char
'\1238')
    , (Char
'\1240',Char
'\1240')
    , (Char
'\1242',Char
'\1242')
    , (Char
'\1244',Char
'\1244')
    , (Char
'\1246',Char
'\1246')
    , (Char
'\1248',Char
'\1248')
    , (Char
'\1250',Char
'\1250')
    , (Char
'\1252',Char
'\1252')
    , (Char
'\1254',Char
'\1254')
    , (Char
'\1256',Char
'\1256')
    , (Char
'\1258',Char
'\1258')
    , (Char
'\1260',Char
'\1260')
    , (Char
'\1262',Char
'\1262')
    , (Char
'\1264',Char
'\1264')
    , (Char
'\1266',Char
'\1266')
    , (Char
'\1268',Char
'\1268')
    , (Char
'\1270',Char
'\1270')
    , (Char
'\1272',Char
'\1272')
    , (Char
'\1274',Char
'\1274')
    , (Char
'\1276',Char
'\1276')
    , (Char
'\1278',Char
'\1278')
    , (Char
'\1280',Char
'\1280')
    , (Char
'\1282',Char
'\1282')
    , (Char
'\1284',Char
'\1284')
    , (Char
'\1286',Char
'\1286')
    , (Char
'\1288',Char
'\1288')
    , (Char
'\1290',Char
'\1290')
    , (Char
'\1292',Char
'\1292')
    , (Char
'\1294',Char
'\1294')
    , (Char
'\1296',Char
'\1296')
    , (Char
'\1298',Char
'\1298')
    , (Char
'\1300',Char
'\1300')
    , (Char
'\1302',Char
'\1302')
    , (Char
'\1304',Char
'\1304')
    , (Char
'\1306',Char
'\1306')
    , (Char
'\1308',Char
'\1308')
    , (Char
'\1310',Char
'\1310')
    , (Char
'\1312',Char
'\1312')
    , (Char
'\1314',Char
'\1314')
    , (Char
'\1316',Char
'\1316')
    , (Char
'\1318',Char
'\1318')
    , (Char
'\1320',Char
'\1320')
    , (Char
'\1322',Char
'\1322')
    , (Char
'\1324',Char
'\1324')
    , (Char
'\1326',Char
'\1326')
    , (Char
'\1329',Char
'\1366')
    , (Char
'\4256',Char
'\4293')
    , (Char
'\4295',Char
'\4295')
    , (Char
'\4301',Char
'\4301')
    , (Char
'\5024',Char
'\5109')
    , (Char
'\7312',Char
'\7354')
    , (Char
'\7357',Char
'\7359')
    , (Char
'\7680',Char
'\7680')
    , (Char
'\7682',Char
'\7682')
    , (Char
'\7684',Char
'\7684')
    , (Char
'\7686',Char
'\7686')
    , (Char
'\7688',Char
'\7688')
    , (Char
'\7690',Char
'\7690')
    , (Char
'\7692',Char
'\7692')
    , (Char
'\7694',Char
'\7694')
    , (Char
'\7696',Char
'\7696')
    , (Char
'\7698',Char
'\7698')
    , (Char
'\7700',Char
'\7700')
    , (Char
'\7702',Char
'\7702')
    , (Char
'\7704',Char
'\7704')
    , (Char
'\7706',Char
'\7706')
    , (Char
'\7708',Char
'\7708')
    , (Char
'\7710',Char
'\7710')
    , (Char
'\7712',Char
'\7712')
    , (Char
'\7714',Char
'\7714')
    , (Char
'\7716',Char
'\7716')
    , (Char
'\7718',Char
'\7718')
    , (Char
'\7720',Char
'\7720')
    , (Char
'\7722',Char
'\7722')
    , (Char
'\7724',Char
'\7724')
    , (Char
'\7726',Char
'\7726')
    , (Char
'\7728',Char
'\7728')
    , (Char
'\7730',Char
'\7730')
    , (Char
'\7732',Char
'\7732')
    , (Char
'\7734',Char
'\7734')
    , (Char
'\7736',Char
'\7736')
    , (Char
'\7738',Char
'\7738')
    , (Char
'\7740',Char
'\7740')
    , (Char
'\7742',Char
'\7742')
    , (Char
'\7744',Char
'\7744')
    , (Char
'\7746',Char
'\7746')
    , (Char
'\7748',Char
'\7748')
    , (Char
'\7750',Char
'\7750')
    , (Char
'\7752',Char
'\7752')
    , (Char
'\7754',Char
'\7754')
    , (Char
'\7756',Char
'\7756')
    , (Char
'\7758',Char
'\7758')
    , (Char
'\7760',Char
'\7760')
    , (Char
'\7762',Char
'\7762')
    , (Char
'\7764',Char
'\7764')
    , (Char
'\7766',Char
'\7766')
    , (Char
'\7768',Char
'\7768')
    , (Char
'\7770',Char
'\7770')
    , (Char
'\7772',Char
'\7772')
    , (Char
'\7774',Char
'\7774')
    , (Char
'\7776',Char
'\7776')
    , (Char
'\7778',Char
'\7778')
    , (Char
'\7780',Char
'\7780')
    , (Char
'\7782',Char
'\7782')
    , (Char
'\7784',Char
'\7784')
    , (Char
'\7786',Char
'\7786')
    , (Char
'\7788',Char
'\7788')
    , (Char
'\7790',Char
'\7790')
    , (Char
'\7792',Char
'\7792')
    , (Char
'\7794',Char
'\7794')
    , (Char
'\7796',Char
'\7796')
    , (Char
'\7798',Char
'\7798')
    , (Char
'\7800',Char
'\7800')
    , (Char
'\7802',Char
'\7802')
    , (Char
'\7804',Char
'\7804')
    , (Char
'\7806',Char
'\7806')
    , (Char
'\7808',Char
'\7808')
    , (Char
'\7810',Char
'\7810')
    , (Char
'\7812',Char
'\7812')
    , (Char
'\7814',Char
'\7814')
    , (Char
'\7816',Char
'\7816')
    , (Char
'\7818',Char
'\7818')
    , (Char
'\7820',Char
'\7820')
    , (Char
'\7822',Char
'\7822')
    , (Char
'\7824',Char
'\7824')
    , (Char
'\7826',Char
'\7826')
    , (Char
'\7828',Char
'\7828')
    , (Char
'\7838',Char
'\7838')
    , (Char
'\7840',Char
'\7840')
    , (Char
'\7842',Char
'\7842')
    , (Char
'\7844',Char
'\7844')
    , (Char
'\7846',Char
'\7846')
    , (Char
'\7848',Char
'\7848')
    , (Char
'\7850',Char
'\7850')
    , (Char
'\7852',Char
'\7852')
    , (Char
'\7854',Char
'\7854')
    , (Char
'\7856',Char
'\7856')
    , (Char
'\7858',Char
'\7858')
    , (Char
'\7860',Char
'\7860')
    , (Char
'\7862',Char
'\7862')
    , (Char
'\7864',Char
'\7864')
    , (Char
'\7866',Char
'\7866')
    , (Char
'\7868',Char
'\7868')
    , (Char
'\7870',Char
'\7870')
    , (Char
'\7872',Char
'\7872')
    , (Char
'\7874',Char
'\7874')
    , (Char
'\7876',Char
'\7876')
    , (Char
'\7878',Char
'\7878')
    , (Char
'\7880',Char
'\7880')
    , (Char
'\7882',Char
'\7882')
    , (Char
'\7884',Char
'\7884')
    , (Char
'\7886',Char
'\7886')
    , (Char
'\7888',Char
'\7888')
    , (Char
'\7890',Char
'\7890')
    , (Char
'\7892',Char
'\7892')
    , (Char
'\7894',Char
'\7894')
    , (Char
'\7896',Char
'\7896')
    , (Char
'\7898',Char
'\7898')
    , (Char
'\7900',Char
'\7900')
    , (Char
'\7902',Char
'\7902')
    , (Char
'\7904',Char
'\7904')
    , (Char
'\7906',Char
'\7906')
    , (Char
'\7908',Char
'\7908')
    , (Char
'\7910',Char
'\7910')
    , (Char
'\7912',Char
'\7912')
    , (Char
'\7914',Char
'\7914')
    , (Char
'\7916',Char
'\7916')
    , (Char
'\7918',Char
'\7918')
    , (Char
'\7920',Char
'\7920')
    , (Char
'\7922',Char
'\7922')
    , (Char
'\7924',Char
'\7924')
    , (Char
'\7926',Char
'\7926')
    , (Char
'\7928',Char
'\7928')
    , (Char
'\7930',Char
'\7930')
    , (Char
'\7932',Char
'\7932')
    , (Char
'\7934',Char
'\7934')
    , (Char
'\7944',Char
'\7951')
    , (Char
'\7960',Char
'\7965')
    , (Char
'\7976',Char
'\7983')
    , (Char
'\7992',Char
'\7999')
    , (Char
'\8008',Char
'\8013')
    , (Char
'\8025',Char
'\8025')
    , (Char
'\8027',Char
'\8027')
    , (Char
'\8029',Char
'\8029')
    , (Char
'\8031',Char
'\8031')
    , (Char
'\8040',Char
'\8047')
    , (Char
'\8120',Char
'\8123')
    , (Char
'\8136',Char
'\8139')
    , (Char
'\8152',Char
'\8155')
    , (Char
'\8168',Char
'\8172')
    , (Char
'\8184',Char
'\8187')
    , (Char
'\8450',Char
'\8450')
    , (Char
'\8455',Char
'\8455')
    , (Char
'\8459',Char
'\8461')
    , (Char
'\8464',Char
'\8466')
    , (Char
'\8469',Char
'\8469')
    , (Char
'\8473',Char
'\8477')
    , (Char
'\8484',Char
'\8484')
    , (Char
'\8486',Char
'\8486')
    , (Char
'\8488',Char
'\8488')
    , (Char
'\8490',Char
'\8493')
    , (Char
'\8496',Char
'\8499')
    , (Char
'\8510',Char
'\8511')
    , (Char
'\8517',Char
'\8517')
    , (Char
'\8579',Char
'\8579')
    , (Char
'\11264',Char
'\11310')
    , (Char
'\11360',Char
'\11360')
    , (Char
'\11362',Char
'\11364')
    , (Char
'\11367',Char
'\11367')
    , (Char
'\11369',Char
'\11369')
    , (Char
'\11371',Char
'\11371')
    , (Char
'\11373',Char
'\11376')
    , (Char
'\11378',Char
'\11378')
    , (Char
'\11381',Char
'\11381')
    , (Char
'\11390',Char
'\11392')
    , (Char
'\11394',Char
'\11394')
    , (Char
'\11396',Char
'\11396')
    , (Char
'\11398',Char
'\11398')
    , (Char
'\11400',Char
'\11400')
    , (Char
'\11402',Char
'\11402')
    , (Char
'\11404',Char
'\11404')
    , (Char
'\11406',Char
'\11406')
    , (Char
'\11408',Char
'\11408')
    , (Char
'\11410',Char
'\11410')
    , (Char
'\11412',Char
'\11412')
    , (Char
'\11414',Char
'\11414')
    , (Char
'\11416',Char
'\11416')
    , (Char
'\11418',Char
'\11418')
    , (Char
'\11420',Char
'\11420')
    , (Char
'\11422',Char
'\11422')
    , (Char
'\11424',Char
'\11424')
    , (Char
'\11426',Char
'\11426')
    , (Char
'\11428',Char
'\11428')
    , (Char
'\11430',Char
'\11430')
    , (Char
'\11432',Char
'\11432')
    , (Char
'\11434',Char
'\11434')
    , (Char
'\11436',Char
'\11436')
    , (Char
'\11438',Char
'\11438')
    , (Char
'\11440',Char
'\11440')
    , (Char
'\11442',Char
'\11442')
    , (Char
'\11444',Char
'\11444')
    , (Char
'\11446',Char
'\11446')
    , (Char
'\11448',Char
'\11448')
    , (Char
'\11450',Char
'\11450')
    , (Char
'\11452',Char
'\11452')
    , (Char
'\11454',Char
'\11454')
    , (Char
'\11456',Char
'\11456')
    , (Char
'\11458',Char
'\11458')
    , (Char
'\11460',Char
'\11460')
    , (Char
'\11462',Char
'\11462')
    , (Char
'\11464',Char
'\11464')
    , (Char
'\11466',Char
'\11466')
    , (Char
'\11468',Char
'\11468')
    , (Char
'\11470',Char
'\11470')
    , (Char
'\11472',Char
'\11472')
    , (Char
'\11474',Char
'\11474')
    , (Char
'\11476',Char
'\11476')
    , (Char
'\11478',Char
'\11478')
    , (Char
'\11480',Char
'\11480')
    , (Char
'\11482',Char
'\11482')
    , (Char
'\11484',Char
'\11484')
    , (Char
'\11486',Char
'\11486')
    , (Char
'\11488',Char
'\11488')
    , (Char
'\11490',Char
'\11490')
    , (Char
'\11499',Char
'\11499')
    , (Char
'\11501',Char
'\11501')
    , (Char
'\11506',Char
'\11506')
    , (Char
'\42560',Char
'\42560')
    , (Char
'\42562',Char
'\42562')
    , (Char
'\42564',Char
'\42564')
    , (Char
'\42566',Char
'\42566')
    , (Char
'\42568',Char
'\42568')
    , (Char
'\42570',Char
'\42570')
    , (Char
'\42572',Char
'\42572')
    , (Char
'\42574',Char
'\42574')
    , (Char
'\42576',Char
'\42576')
    , (Char
'\42578',Char
'\42578')
    , (Char
'\42580',Char
'\42580')
    , (Char
'\42582',Char
'\42582')
    , (Char
'\42584',Char
'\42584')
    , (Char
'\42586',Char
'\42586')
    , (Char
'\42588',Char
'\42588')
    , (Char
'\42590',Char
'\42590')
    , (Char
'\42592',Char
'\42592')
    , (Char
'\42594',Char
'\42594')
    , (Char
'\42596',Char
'\42596')
    , (Char
'\42598',Char
'\42598')
    , (Char
'\42600',Char
'\42600')
    , (Char
'\42602',Char
'\42602')
    , (Char
'\42604',Char
'\42604')
    , (Char
'\42624',Char
'\42624')
    , (Char
'\42626',Char
'\42626')
    , (Char
'\42628',Char
'\42628')
    , (Char
'\42630',Char
'\42630')
    , (Char
'\42632',Char
'\42632')
    , (Char
'\42634',Char
'\42634')
    , (Char
'\42636',Char
'\42636')
    , (Char
'\42638',Char
'\42638')
    , (Char
'\42640',Char
'\42640')
    , (Char
'\42642',Char
'\42642')
    , (Char
'\42644',Char
'\42644')
    , (Char
'\42646',Char
'\42646')
    , (Char
'\42648',Char
'\42648')
    , (Char
'\42650',Char
'\42650')
    , (Char
'\42786',Char
'\42786')
    , (Char
'\42788',Char
'\42788')
    , (Char
'\42790',Char
'\42790')
    , (Char
'\42792',Char
'\42792')
    , (Char
'\42794',Char
'\42794')
    , (Char
'\42796',Char
'\42796')
    , (Char
'\42798',Char
'\42798')
    , (Char
'\42802',Char
'\42802')
    , (Char
'\42804',Char
'\42804')
    , (Char
'\42806',Char
'\42806')
    , (Char
'\42808',Char
'\42808')
    , (Char
'\42810',Char
'\42810')
    , (Char
'\42812',Char
'\42812')
    , (Char
'\42814',Char
'\42814')
    , (Char
'\42816',Char
'\42816')
    , (Char
'\42818',Char
'\42818')
    , (Char
'\42820',Char
'\42820')
    , (Char
'\42822',Char
'\42822')
    , (Char
'\42824',Char
'\42824')
    , (Char
'\42826',Char
'\42826')
    , (Char
'\42828',Char
'\42828')
    , (Char
'\42830',Char
'\42830')
    , (Char
'\42832',Char
'\42832')
    , (Char
'\42834',Char
'\42834')
    , (Char
'\42836',Char
'\42836')
    , (Char
'\42838',Char
'\42838')
    , (Char
'\42840',Char
'\42840')
    , (Char
'\42842',Char
'\42842')
    , (Char
'\42844',Char
'\42844')
    , (Char
'\42846',Char
'\42846')
    , (Char
'\42848',Char
'\42848')
    , (Char
'\42850',Char
'\42850')
    , (Char
'\42852',Char
'\42852')
    , (Char
'\42854',Char
'\42854')
    , (Char
'\42856',Char
'\42856')
    , (Char
'\42858',Char
'\42858')
    , (Char
'\42860',Char
'\42860')
    , (Char
'\42862',Char
'\42862')
    , (Char
'\42873',Char
'\42873')
    , (Char
'\42875',Char
'\42875')
    , (Char
'\42877',Char
'\42878')
    , (Char
'\42880',Char
'\42880')
    , (Char
'\42882',Char
'\42882')
    , (Char
'\42884',Char
'\42884')
    , (Char
'\42886',Char
'\42886')
    , (Char
'\42891',Char
'\42891')
    , (Char
'\42893',Char
'\42893')
    , (Char
'\42896',Char
'\42896')
    , (Char
'\42898',Char
'\42898')
    , (Char
'\42902',Char
'\42902')
    , (Char
'\42904',Char
'\42904')
    , (Char
'\42906',Char
'\42906')
    , (Char
'\42908',Char
'\42908')
    , (Char
'\42910',Char
'\42910')
    , (Char
'\42912',Char
'\42912')
    , (Char
'\42914',Char
'\42914')
    , (Char
'\42916',Char
'\42916')
    , (Char
'\42918',Char
'\42918')
    , (Char
'\42920',Char
'\42920')
    , (Char
'\42922',Char
'\42926')
    , (Char
'\42928',Char
'\42932')
    , (Char
'\42934',Char
'\42934')
    , (Char
'\42936',Char
'\42936')
    , (Char
'\42938',Char
'\42938')
    , (Char
'\42940',Char
'\42940')
    , (Char
'\42942',Char
'\42942')
    , (Char
'\42946',Char
'\42946')
    , (Char
'\42948',Char
'\42951')
    , (Char
'\42953',Char
'\42953')
    , (Char
'\42997',Char
'\42997')
    , (Char
'\65313',Char
'\65338')
    , (Char
'\66560',Char
'\66599')
    , (Char
'\66736',Char
'\66771')
    , (Char
'\68736',Char
'\68786')
    , (Char
'\71840',Char
'\71871')
    , (Char
'\93760',Char
'\93791')
    , (Char
'\119808',Char
'\119833')
    , (Char
'\119860',Char
'\119885')
    , (Char
'\119912',Char
'\119937')
    , (Char
'\119964',Char
'\119964')
    , (Char
'\119966',Char
'\119967')
    , (Char
'\119970',Char
'\119970')
    , (Char
'\119973',Char
'\119974')
    , (Char
'\119977',Char
'\119980')
    , (Char
'\119982',Char
'\119989')
    , (Char
'\120016',Char
'\120041')
    , (Char
'\120068',Char
'\120069')
    , (Char
'\120071',Char
'\120074')
    , (Char
'\120077',Char
'\120084')
    , (Char
'\120086',Char
'\120092')
    , (Char
'\120120',Char
'\120121')
    , (Char
'\120123',Char
'\120126')
    , (Char
'\120128',Char
'\120132')
    , (Char
'\120134',Char
'\120134')
    , (Char
'\120138',Char
'\120144')
    , (Char
'\120172',Char
'\120197')
    , (Char
'\120224',Char
'\120249')
    , (Char
'\120276',Char
'\120301')
    , (Char
'\120328',Char
'\120353')
    , (Char
'\120380',Char
'\120405')
    , (Char
'\120432',Char
'\120457')
    , (Char
'\120488',Char
'\120512')
    , (Char
'\120546',Char
'\120570')
    , (Char
'\120604',Char
'\120628')
    , (Char
'\120662',Char
'\120686')
    , (Char
'\120720',Char
'\120744')
    , (Char
'\120778',Char
'\120778')
    , (Char
'\125184',Char
'\125217')
    ]

-- ------------------------------------------------------------

isUnicodeM :: Char -> Bool
isUnicodeM :: Char -> Bool
isUnicodeM Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeM

charPropUnicodeM :: CharSet
charPropUnicodeM :: CharSet
charPropUnicodeM
  = [ (Char
'\768',Char
'\879')
    , (Char
'\1155',Char
'\1161')
    , (Char
'\1425',Char
'\1469')
    , (Char
'\1471',Char
'\1471')
    , (Char
'\1473',Char
'\1474')
    , (Char
'\1476',Char
'\1477')
    , (Char
'\1479',Char
'\1479')
    , (Char
'\1552',Char
'\1562')
    , (Char
'\1611',Char
'\1631')
    , (Char
'\1648',Char
'\1648')
    , (Char
'\1750',Char
'\1756')
    , (Char
'\1759',Char
'\1764')
    , (Char
'\1767',Char
'\1768')
    , (Char
'\1770',Char
'\1773')
    , (Char
'\1809',Char
'\1809')
    , (Char
'\1840',Char
'\1866')
    , (Char
'\1958',Char
'\1968')
    , (Char
'\2027',Char
'\2035')
    , (Char
'\2045',Char
'\2045')
    , (Char
'\2070',Char
'\2073')
    , (Char
'\2075',Char
'\2083')
    , (Char
'\2085',Char
'\2087')
    , (Char
'\2089',Char
'\2093')
    , (Char
'\2137',Char
'\2139')
    , (Char
'\2259',Char
'\2273')
    , (Char
'\2275',Char
'\2307')
    , (Char
'\2362',Char
'\2364')
    , (Char
'\2366',Char
'\2383')
    , (Char
'\2385',Char
'\2391')
    , (Char
'\2402',Char
'\2403')
    , (Char
'\2433',Char
'\2435')
    , (Char
'\2492',Char
'\2492')
    , (Char
'\2494',Char
'\2500')
    , (Char
'\2503',Char
'\2504')
    , (Char
'\2507',Char
'\2509')
    , (Char
'\2519',Char
'\2519')
    , (Char
'\2530',Char
'\2531')
    , (Char
'\2558',Char
'\2558')
    , (Char
'\2561',Char
'\2563')
    , (Char
'\2620',Char
'\2620')
    , (Char
'\2622',Char
'\2626')
    , (Char
'\2631',Char
'\2632')
    , (Char
'\2635',Char
'\2637')
    , (Char
'\2641',Char
'\2641')
    , (Char
'\2672',Char
'\2673')
    , (Char
'\2677',Char
'\2677')
    , (Char
'\2689',Char
'\2691')
    , (Char
'\2748',Char
'\2748')
    , (Char
'\2750',Char
'\2757')
    , (Char
'\2759',Char
'\2761')
    , (Char
'\2763',Char
'\2765')
    , (Char
'\2786',Char
'\2787')
    , (Char
'\2810',Char
'\2815')
    , (Char
'\2817',Char
'\2819')
    , (Char
'\2876',Char
'\2876')
    , (Char
'\2878',Char
'\2884')
    , (Char
'\2887',Char
'\2888')
    , (Char
'\2891',Char
'\2893')
    , (Char
'\2901',Char
'\2903')
    , (Char
'\2914',Char
'\2915')
    , (Char
'\2946',Char
'\2946')
    , (Char
'\3006',Char
'\3010')
    , (Char
'\3014',Char
'\3016')
    , (Char
'\3018',Char
'\3021')
    , (Char
'\3031',Char
'\3031')
    , (Char
'\3072',Char
'\3076')
    , (Char
'\3134',Char
'\3140')
    , (Char
'\3142',Char
'\3144')
    , (Char
'\3146',Char
'\3149')
    , (Char
'\3157',Char
'\3158')
    , (Char
'\3170',Char
'\3171')
    , (Char
'\3201',Char
'\3203')
    , (Char
'\3260',Char
'\3260')
    , (Char
'\3262',Char
'\3268')
    , (Char
'\3270',Char
'\3272')
    , (Char
'\3274',Char
'\3277')
    , (Char
'\3285',Char
'\3286')
    , (Char
'\3298',Char
'\3299')
    , (Char
'\3328',Char
'\3331')
    , (Char
'\3387',Char
'\3388')
    , (Char
'\3390',Char
'\3396')
    , (Char
'\3398',Char
'\3400')
    , (Char
'\3402',Char
'\3405')
    , (Char
'\3415',Char
'\3415')
    , (Char
'\3426',Char
'\3427')
    , (Char
'\3457',Char
'\3459')
    , (Char
'\3530',Char
'\3530')
    , (Char
'\3535',Char
'\3540')
    , (Char
'\3542',Char
'\3542')
    , (Char
'\3544',Char
'\3551')
    , (Char
'\3570',Char
'\3571')
    , (Char
'\3633',Char
'\3633')
    , (Char
'\3636',Char
'\3642')
    , (Char
'\3655',Char
'\3662')
    , (Char
'\3761',Char
'\3761')
    , (Char
'\3764',Char
'\3772')
    , (Char
'\3784',Char
'\3789')
    , (Char
'\3864',Char
'\3865')
    , (Char
'\3893',Char
'\3893')
    , (Char
'\3895',Char
'\3895')
    , (Char
'\3897',Char
'\3897')
    , (Char
'\3902',Char
'\3903')
    , (Char
'\3953',Char
'\3972')
    , (Char
'\3974',Char
'\3975')
    , (Char
'\3981',Char
'\3991')
    , (Char
'\3993',Char
'\4028')
    , (Char
'\4038',Char
'\4038')
    , (Char
'\4139',Char
'\4158')
    , (Char
'\4182',Char
'\4185')
    , (Char
'\4190',Char
'\4192')
    , (Char
'\4194',Char
'\4196')
    , (Char
'\4199',Char
'\4205')
    , (Char
'\4209',Char
'\4212')
    , (Char
'\4226',Char
'\4237')
    , (Char
'\4239',Char
'\4239')
    , (Char
'\4250',Char
'\4253')
    , (Char
'\4957',Char
'\4959')
    , (Char
'\5906',Char
'\5908')
    , (Char
'\5938',Char
'\5940')
    , (Char
'\5970',Char
'\5971')
    , (Char
'\6002',Char
'\6003')
    , (Char
'\6068',Char
'\6099')
    , (Char
'\6109',Char
'\6109')
    , (Char
'\6155',Char
'\6157')
    , (Char
'\6277',Char
'\6278')
    , (Char
'\6313',Char
'\6313')
    , (Char
'\6432',Char
'\6443')
    , (Char
'\6448',Char
'\6459')
    , (Char
'\6679',Char
'\6683')
    , (Char
'\6741',Char
'\6750')
    , (Char
'\6752',Char
'\6780')
    , (Char
'\6783',Char
'\6783')
    , (Char
'\6832',Char
'\6848')
    , (Char
'\6912',Char
'\6916')
    , (Char
'\6964',Char
'\6980')
    , (Char
'\7019',Char
'\7027')
    , (Char
'\7040',Char
'\7042')
    , (Char
'\7073',Char
'\7085')
    , (Char
'\7142',Char
'\7155')
    , (Char
'\7204',Char
'\7223')
    , (Char
'\7376',Char
'\7378')
    , (Char
'\7380',Char
'\7400')
    , (Char
'\7405',Char
'\7405')
    , (Char
'\7412',Char
'\7412')
    , (Char
'\7415',Char
'\7417')
    , (Char
'\7616',Char
'\7673')
    , (Char
'\7675',Char
'\7679')
    , (Char
'\8400',Char
'\8432')
    , (Char
'\11503',Char
'\11505')
    , (Char
'\11647',Char
'\11647')
    , (Char
'\11744',Char
'\11775')
    , (Char
'\12330',Char
'\12335')
    , (Char
'\12441',Char
'\12442')
    , (Char
'\42607',Char
'\42610')
    , (Char
'\42612',Char
'\42621')
    , (Char
'\42654',Char
'\42655')
    , (Char
'\42736',Char
'\42737')
    , (Char
'\43010',Char
'\43010')
    , (Char
'\43014',Char
'\43014')
    , (Char
'\43019',Char
'\43019')
    , (Char
'\43043',Char
'\43047')
    , (Char
'\43052',Char
'\43052')
    , (Char
'\43136',Char
'\43137')
    , (Char
'\43188',Char
'\43205')
    , (Char
'\43232',Char
'\43249')
    , (Char
'\43263',Char
'\43263')
    , (Char
'\43302',Char
'\43309')
    , (Char
'\43335',Char
'\43347')
    , (Char
'\43392',Char
'\43395')
    , (Char
'\43443',Char
'\43456')
    , (Char
'\43493',Char
'\43493')
    , (Char
'\43561',Char
'\43574')
    , (Char
'\43587',Char
'\43587')
    , (Char
'\43596',Char
'\43597')
    , (Char
'\43643',Char
'\43645')
    , (Char
'\43696',Char
'\43696')
    , (Char
'\43698',Char
'\43700')
    , (Char
'\43703',Char
'\43704')
    , (Char
'\43710',Char
'\43711')
    , (Char
'\43713',Char
'\43713')
    , (Char
'\43755',Char
'\43759')
    , (Char
'\43765',Char
'\43766')
    , (Char
'\44003',Char
'\44010')
    , (Char
'\44012',Char
'\44013')
    , (Char
'\64286',Char
'\64286')
    , (Char
'\65024',Char
'\65039')
    , (Char
'\65056',Char
'\65071')
    , (Char
'\66045',Char
'\66045')
    , (Char
'\66272',Char
'\66272')
    , (Char
'\66422',Char
'\66426')
    , (Char
'\68097',Char
'\68099')
    , (Char
'\68101',Char
'\68102')
    , (Char
'\68108',Char
'\68111')
    , (Char
'\68152',Char
'\68154')
    , (Char
'\68159',Char
'\68159')
    , (Char
'\68325',Char
'\68326')
    , (Char
'\68900',Char
'\68903')
    , (Char
'\69291',Char
'\69292')
    , (Char
'\69446',Char
'\69456')
    , (Char
'\69632',Char
'\69634')
    , (Char
'\69688',Char
'\69702')
    , (Char
'\69759',Char
'\69762')
    , (Char
'\69808',Char
'\69818')
    , (Char
'\69888',Char
'\69890')
    , (Char
'\69927',Char
'\69940')
    , (Char
'\69957',Char
'\69958')
    , (Char
'\70003',Char
'\70003')
    , (Char
'\70016',Char
'\70018')
    , (Char
'\70067',Char
'\70080')
    , (Char
'\70089',Char
'\70092')
    , (Char
'\70094',Char
'\70095')
    , (Char
'\70188',Char
'\70199')
    , (Char
'\70206',Char
'\70206')
    , (Char
'\70367',Char
'\70378')
    , (Char
'\70400',Char
'\70403')
    , (Char
'\70459',Char
'\70460')
    , (Char
'\70462',Char
'\70468')
    , (Char
'\70471',Char
'\70472')
    , (Char
'\70475',Char
'\70477')
    , (Char
'\70487',Char
'\70487')
    , (Char
'\70498',Char
'\70499')
    , (Char
'\70502',Char
'\70508')
    , (Char
'\70512',Char
'\70516')
    , (Char
'\70709',Char
'\70726')
    , (Char
'\70750',Char
'\70750')
    , (Char
'\70832',Char
'\70851')
    , (Char
'\71087',Char
'\71093')
    , (Char
'\71096',Char
'\71104')
    , (Char
'\71132',Char
'\71133')
    , (Char
'\71216',Char
'\71232')
    , (Char
'\71339',Char
'\71351')
    , (Char
'\71453',Char
'\71467')
    , (Char
'\71724',Char
'\71738')
    , (Char
'\71984',Char
'\71989')
    , (Char
'\71991',Char
'\71992')
    , (Char
'\71995',Char
'\71998')
    , (Char
'\72000',Char
'\72000')
    , (Char
'\72002',Char
'\72003')
    , (Char
'\72145',Char
'\72151')
    , (Char
'\72154',Char
'\72160')
    , (Char
'\72164',Char
'\72164')
    , (Char
'\72193',Char
'\72202')
    , (Char
'\72243',Char
'\72249')
    , (Char
'\72251',Char
'\72254')
    , (Char
'\72263',Char
'\72263')
    , (Char
'\72273',Char
'\72283')
    , (Char
'\72330',Char
'\72345')
    , (Char
'\72751',Char
'\72758')
    , (Char
'\72760',Char
'\72767')
    , (Char
'\72850',Char
'\72871')
    , (Char
'\72873',Char
'\72886')
    , (Char
'\73009',Char
'\73014')
    , (Char
'\73018',Char
'\73018')
    , (Char
'\73020',Char
'\73021')
    , (Char
'\73023',Char
'\73029')
    , (Char
'\73031',Char
'\73031')
    , (Char
'\73098',Char
'\73102')
    , (Char
'\73104',Char
'\73105')
    , (Char
'\73107',Char
'\73111')
    , (Char
'\73459',Char
'\73462')
    , (Char
'\92912',Char
'\92916')
    , (Char
'\92976',Char
'\92982')
    , (Char
'\94031',Char
'\94031')
    , (Char
'\94033',Char
'\94087')
    , (Char
'\94095',Char
'\94098')
    , (Char
'\94180',Char
'\94180')
    , (Char
'\94192',Char
'\94193')
    , (Char
'\113821',Char
'\113822')
    , (Char
'\119141',Char
'\119145')
    , (Char
'\119149',Char
'\119154')
    , (Char
'\119163',Char
'\119170')
    , (Char
'\119173',Char
'\119179')
    , (Char
'\119210',Char
'\119213')
    , (Char
'\119362',Char
'\119364')
    , (Char
'\121344',Char
'\121398')
    , (Char
'\121403',Char
'\121452')
    , (Char
'\121461',Char
'\121461')
    , (Char
'\121476',Char
'\121476')
    , (Char
'\121499',Char
'\121503')
    , (Char
'\121505',Char
'\121519')
    , (Char
'\122880',Char
'\122886')
    , (Char
'\122888',Char
'\122904')
    , (Char
'\122907',Char
'\122913')
    , (Char
'\122915',Char
'\122916')
    , (Char
'\122918',Char
'\122922')
    , (Char
'\123184',Char
'\123190')
    , (Char
'\123628',Char
'\123631')
    , (Char
'\125136',Char
'\125142')
    , (Char
'\125252',Char
'\125258')
    , (Char
'\917760',Char
'\917999')
    ]

-- ------------------------------------------------------------

isUnicodeMc :: Char -> Bool
isUnicodeMc :: Char -> Bool
isUnicodeMc Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeMc

charPropUnicodeMc :: CharSet
charPropUnicodeMc :: CharSet
charPropUnicodeMc
  = [ (Char
'\2307',Char
'\2307')
    , (Char
'\2363',Char
'\2363')
    , (Char
'\2366',Char
'\2368')
    , (Char
'\2377',Char
'\2380')
    , (Char
'\2382',Char
'\2383')
    , (Char
'\2434',Char
'\2435')
    , (Char
'\2494',Char
'\2496')
    , (Char
'\2503',Char
'\2504')
    , (Char
'\2507',Char
'\2508')
    , (Char
'\2519',Char
'\2519')
    , (Char
'\2563',Char
'\2563')
    , (Char
'\2622',Char
'\2624')
    , (Char
'\2691',Char
'\2691')
    , (Char
'\2750',Char
'\2752')
    , (Char
'\2761',Char
'\2761')
    , (Char
'\2763',Char
'\2764')
    , (Char
'\2818',Char
'\2819')
    , (Char
'\2878',Char
'\2878')
    , (Char
'\2880',Char
'\2880')
    , (Char
'\2887',Char
'\2888')
    , (Char
'\2891',Char
'\2892')
    , (Char
'\2903',Char
'\2903')
    , (Char
'\3006',Char
'\3007')
    , (Char
'\3009',Char
'\3010')
    , (Char
'\3014',Char
'\3016')
    , (Char
'\3018',Char
'\3020')
    , (Char
'\3031',Char
'\3031')
    , (Char
'\3073',Char
'\3075')
    , (Char
'\3137',Char
'\3140')
    , (Char
'\3202',Char
'\3203')
    , (Char
'\3262',Char
'\3262')
    , (Char
'\3264',Char
'\3268')
    , (Char
'\3271',Char
'\3272')
    , (Char
'\3274',Char
'\3275')
    , (Char
'\3285',Char
'\3286')
    , (Char
'\3330',Char
'\3331')
    , (Char
'\3390',Char
'\3392')
    , (Char
'\3398',Char
'\3400')
    , (Char
'\3402',Char
'\3404')
    , (Char
'\3415',Char
'\3415')
    , (Char
'\3458',Char
'\3459')
    , (Char
'\3535',Char
'\3537')
    , (Char
'\3544',Char
'\3551')
    , (Char
'\3570',Char
'\3571')
    , (Char
'\3902',Char
'\3903')
    , (Char
'\3967',Char
'\3967')
    , (Char
'\4139',Char
'\4140')
    , (Char
'\4145',Char
'\4145')
    , (Char
'\4152',Char
'\4152')
    , (Char
'\4155',Char
'\4156')
    , (Char
'\4182',Char
'\4183')
    , (Char
'\4194',Char
'\4196')
    , (Char
'\4199',Char
'\4205')
    , (Char
'\4227',Char
'\4228')
    , (Char
'\4231',Char
'\4236')
    , (Char
'\4239',Char
'\4239')
    , (Char
'\4250',Char
'\4252')
    , (Char
'\6070',Char
'\6070')
    , (Char
'\6078',Char
'\6085')
    , (Char
'\6087',Char
'\6088')
    , (Char
'\6435',Char
'\6438')
    , (Char
'\6441',Char
'\6443')
    , (Char
'\6448',Char
'\6449')
    , (Char
'\6451',Char
'\6456')
    , (Char
'\6681',Char
'\6682')
    , (Char
'\6741',Char
'\6741')
    , (Char
'\6743',Char
'\6743')
    , (Char
'\6753',Char
'\6753')
    , (Char
'\6755',Char
'\6756')
    , (Char
'\6765',Char
'\6770')
    , (Char
'\6916',Char
'\6916')
    , (Char
'\6965',Char
'\6965')
    , (Char
'\6971',Char
'\6971')
    , (Char
'\6973',Char
'\6977')
    , (Char
'\6979',Char
'\6980')
    , (Char
'\7042',Char
'\7042')
    , (Char
'\7073',Char
'\7073')
    , (Char
'\7078',Char
'\7079')
    , (Char
'\7082',Char
'\7082')
    , (Char
'\7143',Char
'\7143')
    , (Char
'\7146',Char
'\7148')
    , (Char
'\7150',Char
'\7150')
    , (Char
'\7154',Char
'\7155')
    , (Char
'\7204',Char
'\7211')
    , (Char
'\7220',Char
'\7221')
    , (Char
'\7393',Char
'\7393')
    , (Char
'\7415',Char
'\7415')
    , (Char
'\12334',Char
'\12335')
    , (Char
'\43043',Char
'\43044')
    , (Char
'\43047',Char
'\43047')
    , (Char
'\43136',Char
'\43137')
    , (Char
'\43188',Char
'\43203')
    , (Char
'\43346',Char
'\43347')
    , (Char
'\43395',Char
'\43395')
    , (Char
'\43444',Char
'\43445')
    , (Char
'\43450',Char
'\43451')
    , (Char
'\43454',Char
'\43456')
    , (Char
'\43567',Char
'\43568')
    , (Char
'\43571',Char
'\43572')
    , (Char
'\43597',Char
'\43597')
    , (Char
'\43643',Char
'\43643')
    , (Char
'\43645',Char
'\43645')
    , (Char
'\43755',Char
'\43755')
    , (Char
'\43758',Char
'\43759')
    , (Char
'\43765',Char
'\43765')
    , (Char
'\44003',Char
'\44004')
    , (Char
'\44006',Char
'\44007')
    , (Char
'\44009',Char
'\44010')
    , (Char
'\44012',Char
'\44012')
    , (Char
'\69632',Char
'\69632')
    , (Char
'\69634',Char
'\69634')
    , (Char
'\69762',Char
'\69762')
    , (Char
'\69808',Char
'\69810')
    , (Char
'\69815',Char
'\69816')
    , (Char
'\69932',Char
'\69932')
    , (Char
'\69957',Char
'\69958')
    , (Char
'\70018',Char
'\70018')
    , (Char
'\70067',Char
'\70069')
    , (Char
'\70079',Char
'\70080')
    , (Char
'\70094',Char
'\70094')
    , (Char
'\70188',Char
'\70190')
    , (Char
'\70194',Char
'\70195')
    , (Char
'\70197',Char
'\70197')
    , (Char
'\70368',Char
'\70370')
    , (Char
'\70402',Char
'\70403')
    , (Char
'\70462',Char
'\70463')
    , (Char
'\70465',Char
'\70468')
    , (Char
'\70471',Char
'\70472')
    , (Char
'\70475',Char
'\70477')
    , (Char
'\70487',Char
'\70487')
    , (Char
'\70498',Char
'\70499')
    , (Char
'\70709',Char
'\70711')
    , (Char
'\70720',Char
'\70721')
    , (Char
'\70725',Char
'\70725')
    , (Char
'\70832',Char
'\70834')
    , (Char
'\70841',Char
'\70841')
    , (Char
'\70843',Char
'\70846')
    , (Char
'\70849',Char
'\70849')
    , (Char
'\71087',Char
'\71089')
    , (Char
'\71096',Char
'\71099')
    , (Char
'\71102',Char
'\71102')
    , (Char
'\71216',Char
'\71218')
    , (Char
'\71227',Char
'\71228')
    , (Char
'\71230',Char
'\71230')
    , (Char
'\71340',Char
'\71340')
    , (Char
'\71342',Char
'\71343')
    , (Char
'\71350',Char
'\71350')
    , (Char
'\71456',Char
'\71457')
    , (Char
'\71462',Char
'\71462')
    , (Char
'\71724',Char
'\71726')
    , (Char
'\71736',Char
'\71736')
    , (Char
'\71984',Char
'\71989')
    , (Char
'\71991',Char
'\71992')
    , (Char
'\71997',Char
'\71997')
    , (Char
'\72000',Char
'\72000')
    , (Char
'\72002',Char
'\72002')
    , (Char
'\72145',Char
'\72147')
    , (Char
'\72156',Char
'\72159')
    , (Char
'\72164',Char
'\72164')
    , (Char
'\72249',Char
'\72249')
    , (Char
'\72279',Char
'\72280')
    , (Char
'\72343',Char
'\72343')
    , (Char
'\72751',Char
'\72751')
    , (Char
'\72766',Char
'\72766')
    , (Char
'\72873',Char
'\72873')
    , (Char
'\72881',Char
'\72881')
    , (Char
'\72884',Char
'\72884')
    , (Char
'\73098',Char
'\73102')
    , (Char
'\73107',Char
'\73108')
    , (Char
'\73110',Char
'\73110')
    , (Char
'\73461',Char
'\73462')
    , (Char
'\94033',Char
'\94087')
    , (Char
'\94192',Char
'\94193')
    , (Char
'\119141',Char
'\119142')
    , (Char
'\119149',Char
'\119154')
    ]

-- ------------------------------------------------------------

isUnicodeMe :: Char -> Bool
isUnicodeMe :: Char -> Bool
isUnicodeMe Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeMe

charPropUnicodeMe :: CharSet
charPropUnicodeMe :: CharSet
charPropUnicodeMe
  = [ (Char
'\1160',Char
'\1161')
    , (Char
'\6846',Char
'\6846')
    , (Char
'\8413',Char
'\8416')
    , (Char
'\8418',Char
'\8420')
    , (Char
'\42608',Char
'\42610')
    ]

-- ------------------------------------------------------------

isUnicodeMn :: Char -> Bool
isUnicodeMn :: Char -> Bool
isUnicodeMn Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeMn

charPropUnicodeMn :: CharSet
charPropUnicodeMn :: CharSet
charPropUnicodeMn
  = [ (Char
'\768',Char
'\879')
    , (Char
'\1155',Char
'\1159')
    , (Char
'\1425',Char
'\1469')
    , (Char
'\1471',Char
'\1471')
    , (Char
'\1473',Char
'\1474')
    , (Char
'\1476',Char
'\1477')
    , (Char
'\1479',Char
'\1479')
    , (Char
'\1552',Char
'\1562')
    , (Char
'\1611',Char
'\1631')
    , (Char
'\1648',Char
'\1648')
    , (Char
'\1750',Char
'\1756')
    , (Char
'\1759',Char
'\1764')
    , (Char
'\1767',Char
'\1768')
    , (Char
'\1770',Char
'\1773')
    , (Char
'\1809',Char
'\1809')
    , (Char
'\1840',Char
'\1866')
    , (Char
'\1958',Char
'\1968')
    , (Char
'\2027',Char
'\2035')
    , (Char
'\2045',Char
'\2045')
    , (Char
'\2070',Char
'\2073')
    , (Char
'\2075',Char
'\2083')
    , (Char
'\2085',Char
'\2087')
    , (Char
'\2089',Char
'\2093')
    , (Char
'\2137',Char
'\2139')
    , (Char
'\2259',Char
'\2273')
    , (Char
'\2275',Char
'\2306')
    , (Char
'\2362',Char
'\2362')
    , (Char
'\2364',Char
'\2364')
    , (Char
'\2369',Char
'\2376')
    , (Char
'\2381',Char
'\2381')
    , (Char
'\2385',Char
'\2391')
    , (Char
'\2402',Char
'\2403')
    , (Char
'\2433',Char
'\2433')
    , (Char
'\2492',Char
'\2492')
    , (Char
'\2497',Char
'\2500')
    , (Char
'\2509',Char
'\2509')
    , (Char
'\2530',Char
'\2531')
    , (Char
'\2558',Char
'\2558')
    , (Char
'\2561',Char
'\2562')
    , (Char
'\2620',Char
'\2620')
    , (Char
'\2625',Char
'\2626')
    , (Char
'\2631',Char
'\2632')
    , (Char
'\2635',Char
'\2637')
    , (Char
'\2641',Char
'\2641')
    , (Char
'\2672',Char
'\2673')
    , (Char
'\2677',Char
'\2677')
    , (Char
'\2689',Char
'\2690')
    , (Char
'\2748',Char
'\2748')
    , (Char
'\2753',Char
'\2757')
    , (Char
'\2759',Char
'\2760')
    , (Char
'\2765',Char
'\2765')
    , (Char
'\2786',Char
'\2787')
    , (Char
'\2810',Char
'\2815')
    , (Char
'\2817',Char
'\2817')
    , (Char
'\2876',Char
'\2876')
    , (Char
'\2879',Char
'\2879')
    , (Char
'\2881',Char
'\2884')
    , (Char
'\2893',Char
'\2893')
    , (Char
'\2901',Char
'\2902')
    , (Char
'\2914',Char
'\2915')
    , (Char
'\2946',Char
'\2946')
    , (Char
'\3008',Char
'\3008')
    , (Char
'\3021',Char
'\3021')
    , (Char
'\3072',Char
'\3072')
    , (Char
'\3076',Char
'\3076')
    , (Char
'\3134',Char
'\3136')
    , (Char
'\3142',Char
'\3144')
    , (Char
'\3146',Char
'\3149')
    , (Char
'\3157',Char
'\3158')
    , (Char
'\3170',Char
'\3171')
    , (Char
'\3201',Char
'\3201')
    , (Char
'\3260',Char
'\3260')
    , (Char
'\3263',Char
'\3263')
    , (Char
'\3270',Char
'\3270')
    , (Char
'\3276',Char
'\3277')
    , (Char
'\3298',Char
'\3299')
    , (Char
'\3328',Char
'\3329')
    , (Char
'\3387',Char
'\3388')
    , (Char
'\3393',Char
'\3396')
    , (Char
'\3405',Char
'\3405')
    , (Char
'\3426',Char
'\3427')
    , (Char
'\3457',Char
'\3457')
    , (Char
'\3530',Char
'\3530')
    , (Char
'\3538',Char
'\3540')
    , (Char
'\3542',Char
'\3542')
    , (Char
'\3633',Char
'\3633')
    , (Char
'\3636',Char
'\3642')
    , (Char
'\3655',Char
'\3662')
    , (Char
'\3761',Char
'\3761')
    , (Char
'\3764',Char
'\3772')
    , (Char
'\3784',Char
'\3789')
    , (Char
'\3864',Char
'\3865')
    , (Char
'\3893',Char
'\3893')
    , (Char
'\3895',Char
'\3895')
    , (Char
'\3897',Char
'\3897')
    , (Char
'\3953',Char
'\3966')
    , (Char
'\3968',Char
'\3972')
    , (Char
'\3974',Char
'\3975')
    , (Char
'\3981',Char
'\3991')
    , (Char
'\3993',Char
'\4028')
    , (Char
'\4038',Char
'\4038')
    , (Char
'\4141',Char
'\4144')
    , (Char
'\4146',Char
'\4151')
    , (Char
'\4153',Char
'\4154')
    , (Char
'\4157',Char
'\4158')
    , (Char
'\4184',Char
'\4185')
    , (Char
'\4190',Char
'\4192')
    , (Char
'\4209',Char
'\4212')
    , (Char
'\4226',Char
'\4226')
    , (Char
'\4229',Char
'\4230')
    , (Char
'\4237',Char
'\4237')
    , (Char
'\4253',Char
'\4253')
    , (Char
'\4957',Char
'\4959')
    , (Char
'\5906',Char
'\5908')
    , (Char
'\5938',Char
'\5940')
    , (Char
'\5970',Char
'\5971')
    , (Char
'\6002',Char
'\6003')
    , (Char
'\6068',Char
'\6069')
    , (Char
'\6071',Char
'\6077')
    , (Char
'\6086',Char
'\6086')
    , (Char
'\6089',Char
'\6099')
    , (Char
'\6109',Char
'\6109')
    , (Char
'\6155',Char
'\6157')
    , (Char
'\6277',Char
'\6278')
    , (Char
'\6313',Char
'\6313')
    , (Char
'\6432',Char
'\6434')
    , (Char
'\6439',Char
'\6440')
    , (Char
'\6450',Char
'\6450')
    , (Char
'\6457',Char
'\6459')
    , (Char
'\6679',Char
'\6680')
    , (Char
'\6683',Char
'\6683')
    , (Char
'\6742',Char
'\6742')
    , (Char
'\6744',Char
'\6750')
    , (Char
'\6752',Char
'\6752')
    , (Char
'\6754',Char
'\6754')
    , (Char
'\6757',Char
'\6764')
    , (Char
'\6771',Char
'\6780')
    , (Char
'\6783',Char
'\6783')
    , (Char
'\6832',Char
'\6845')
    , (Char
'\6847',Char
'\6848')
    , (Char
'\6912',Char
'\6915')
    , (Char
'\6964',Char
'\6964')
    , (Char
'\6966',Char
'\6970')
    , (Char
'\6972',Char
'\6972')
    , (Char
'\6978',Char
'\6978')
    , (Char
'\7019',Char
'\7027')
    , (Char
'\7040',Char
'\7041')
    , (Char
'\7074',Char
'\7077')
    , (Char
'\7080',Char
'\7081')
    , (Char
'\7083',Char
'\7085')
    , (Char
'\7142',Char
'\7142')
    , (Char
'\7144',Char
'\7145')
    , (Char
'\7149',Char
'\7149')
    , (Char
'\7151',Char
'\7153')
    , (Char
'\7212',Char
'\7219')
    , (Char
'\7222',Char
'\7223')
    , (Char
'\7376',Char
'\7378')
    , (Char
'\7380',Char
'\7392')
    , (Char
'\7394',Char
'\7400')
    , (Char
'\7405',Char
'\7405')
    , (Char
'\7412',Char
'\7412')
    , (Char
'\7416',Char
'\7417')
    , (Char
'\7616',Char
'\7673')
    , (Char
'\7675',Char
'\7679')
    , (Char
'\8400',Char
'\8412')
    , (Char
'\8417',Char
'\8417')
    , (Char
'\8421',Char
'\8432')
    , (Char
'\11503',Char
'\11505')
    , (Char
'\11647',Char
'\11647')
    , (Char
'\11744',Char
'\11775')
    , (Char
'\12330',Char
'\12333')
    , (Char
'\12441',Char
'\12442')
    , (Char
'\42607',Char
'\42607')
    , (Char
'\42612',Char
'\42621')
    , (Char
'\42654',Char
'\42655')
    , (Char
'\42736',Char
'\42737')
    , (Char
'\43010',Char
'\43010')
    , (Char
'\43014',Char
'\43014')
    , (Char
'\43019',Char
'\43019')
    , (Char
'\43045',Char
'\43046')
    , (Char
'\43052',Char
'\43052')
    , (Char
'\43204',Char
'\43205')
    , (Char
'\43232',Char
'\43249')
    , (Char
'\43263',Char
'\43263')
    , (Char
'\43302',Char
'\43309')
    , (Char
'\43335',Char
'\43345')
    , (Char
'\43392',Char
'\43394')
    , (Char
'\43443',Char
'\43443')
    , (Char
'\43446',Char
'\43449')
    , (Char
'\43452',Char
'\43453')
    , (Char
'\43493',Char
'\43493')
    , (Char
'\43561',Char
'\43566')
    , (Char
'\43569',Char
'\43570')
    , (Char
'\43573',Char
'\43574')
    , (Char
'\43587',Char
'\43587')
    , (Char
'\43596',Char
'\43596')
    , (Char
'\43644',Char
'\43644')
    , (Char
'\43696',Char
'\43696')
    , (Char
'\43698',Char
'\43700')
    , (Char
'\43703',Char
'\43704')
    , (Char
'\43710',Char
'\43711')
    , (Char
'\43713',Char
'\43713')
    , (Char
'\43756',Char
'\43757')
    , (Char
'\43766',Char
'\43766')
    , (Char
'\44005',Char
'\44005')
    , (Char
'\44008',Char
'\44008')
    , (Char
'\44013',Char
'\44013')
    , (Char
'\64286',Char
'\64286')
    , (Char
'\65024',Char
'\65039')
    , (Char
'\65056',Char
'\65071')
    , (Char
'\66045',Char
'\66045')
    , (Char
'\66272',Char
'\66272')
    , (Char
'\66422',Char
'\66426')
    , (Char
'\68097',Char
'\68099')
    , (Char
'\68101',Char
'\68102')
    , (Char
'\68108',Char
'\68111')
    , (Char
'\68152',Char
'\68154')
    , (Char
'\68159',Char
'\68159')
    , (Char
'\68325',Char
'\68326')
    , (Char
'\68900',Char
'\68903')
    , (Char
'\69291',Char
'\69292')
    , (Char
'\69446',Char
'\69456')
    , (Char
'\69633',Char
'\69633')
    , (Char
'\69688',Char
'\69702')
    , (Char
'\69759',Char
'\69761')
    , (Char
'\69811',Char
'\69814')
    , (Char
'\69817',Char
'\69818')
    , (Char
'\69888',Char
'\69890')
    , (Char
'\69927',Char
'\69931')
    , (Char
'\69933',Char
'\69940')
    , (Char
'\70003',Char
'\70003')
    , (Char
'\70016',Char
'\70017')
    , (Char
'\70070',Char
'\70078')
    , (Char
'\70089',Char
'\70092')
    , (Char
'\70095',Char
'\70095')
    , (Char
'\70191',Char
'\70193')
    , (Char
'\70196',Char
'\70196')
    , (Char
'\70198',Char
'\70199')
    , (Char
'\70206',Char
'\70206')
    , (Char
'\70367',Char
'\70367')
    , (Char
'\70371',Char
'\70378')
    , (Char
'\70400',Char
'\70401')
    , (Char
'\70459',Char
'\70460')
    , (Char
'\70464',Char
'\70464')
    , (Char
'\70502',Char
'\70508')
    , (Char
'\70512',Char
'\70516')
    , (Char
'\70712',Char
'\70719')
    , (Char
'\70722',Char
'\70724')
    , (Char
'\70726',Char
'\70726')
    , (Char
'\70750',Char
'\70750')
    , (Char
'\70835',Char
'\70840')
    , (Char
'\70842',Char
'\70842')
    , (Char
'\70847',Char
'\70848')
    , (Char
'\70850',Char
'\70851')
    , (Char
'\71090',Char
'\71093')
    , (Char
'\71100',Char
'\71101')
    , (Char
'\71103',Char
'\71104')
    , (Char
'\71132',Char
'\71133')
    , (Char
'\71219',Char
'\71226')
    , (Char
'\71229',Char
'\71229')
    , (Char
'\71231',Char
'\71232')
    , (Char
'\71339',Char
'\71339')
    , (Char
'\71341',Char
'\71341')
    , (Char
'\71344',Char
'\71349')
    , (Char
'\71351',Char
'\71351')
    , (Char
'\71453',Char
'\71455')
    , (Char
'\71458',Char
'\71461')
    , (Char
'\71463',Char
'\71467')
    , (Char
'\71727',Char
'\71735')
    , (Char
'\71737',Char
'\71738')
    , (Char
'\71995',Char
'\71996')
    , (Char
'\71998',Char
'\71998')
    , (Char
'\72003',Char
'\72003')
    , (Char
'\72148',Char
'\72151')
    , (Char
'\72154',Char
'\72155')
    , (Char
'\72160',Char
'\72160')
    , (Char
'\72193',Char
'\72202')
    , (Char
'\72243',Char
'\72248')
    , (Char
'\72251',Char
'\72254')
    , (Char
'\72263',Char
'\72263')
    , (Char
'\72273',Char
'\72278')
    , (Char
'\72281',Char
'\72283')
    , (Char
'\72330',Char
'\72342')
    , (Char
'\72344',Char
'\72345')
    , (Char
'\72752',Char
'\72758')
    , (Char
'\72760',Char
'\72765')
    , (Char
'\72767',Char
'\72767')
    , (Char
'\72850',Char
'\72871')
    , (Char
'\72874',Char
'\72880')
    , (Char
'\72882',Char
'\72883')
    , (Char
'\72885',Char
'\72886')
    , (Char
'\73009',Char
'\73014')
    , (Char
'\73018',Char
'\73018')
    , (Char
'\73020',Char
'\73021')
    , (Char
'\73023',Char
'\73029')
    , (Char
'\73031',Char
'\73031')
    , (Char
'\73104',Char
'\73105')
    , (Char
'\73109',Char
'\73109')
    , (Char
'\73111',Char
'\73111')
    , (Char
'\73459',Char
'\73460')
    , (Char
'\92912',Char
'\92916')
    , (Char
'\92976',Char
'\92982')
    , (Char
'\94031',Char
'\94031')
    , (Char
'\94095',Char
'\94098')
    , (Char
'\94180',Char
'\94180')
    , (Char
'\113821',Char
'\113822')
    , (Char
'\119143',Char
'\119145')
    , (Char
'\119163',Char
'\119170')
    , (Char
'\119173',Char
'\119179')
    , (Char
'\119210',Char
'\119213')
    , (Char
'\119362',Char
'\119364')
    , (Char
'\121344',Char
'\121398')
    , (Char
'\121403',Char
'\121452')
    , (Char
'\121461',Char
'\121461')
    , (Char
'\121476',Char
'\121476')
    , (Char
'\121499',Char
'\121503')
    , (Char
'\121505',Char
'\121519')
    , (Char
'\122880',Char
'\122886')
    , (Char
'\122888',Char
'\122904')
    , (Char
'\122907',Char
'\122913')
    , (Char
'\122915',Char
'\122916')
    , (Char
'\122918',Char
'\122922')
    , (Char
'\123184',Char
'\123190')
    , (Char
'\123628',Char
'\123631')
    , (Char
'\125136',Char
'\125142')
    , (Char
'\125252',Char
'\125258')
    , (Char
'\917760',Char
'\917999')
    ]

-- ------------------------------------------------------------

isUnicodeN :: Char -> Bool
isUnicodeN :: Char -> Bool
isUnicodeN Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeN

charPropUnicodeN :: CharSet
charPropUnicodeN :: CharSet
charPropUnicodeN
  = [ (Char
'0',Char
'9')
    , (Char
'\178',Char
'\179')
    , (Char
'\185',Char
'\185')
    , (Char
'\188',Char
'\190')
    , (Char
'\1632',Char
'\1641')
    , (Char
'\1776',Char
'\1785')
    , (Char
'\1984',Char
'\1993')
    , (Char
'\2406',Char
'\2415')
    , (Char
'\2534',Char
'\2543')
    , (Char
'\2548',Char
'\2553')
    , (Char
'\2662',Char
'\2671')
    , (Char
'\2790',Char
'\2799')
    , (Char
'\2918',Char
'\2927')
    , (Char
'\2930',Char
'\2935')
    , (Char
'\3046',Char
'\3058')
    , (Char
'\3174',Char
'\3183')
    , (Char
'\3192',Char
'\3198')
    , (Char
'\3302',Char
'\3311')
    , (Char
'\3416',Char
'\3422')
    , (Char
'\3430',Char
'\3448')
    , (Char
'\3558',Char
'\3567')
    , (Char
'\3664',Char
'\3673')
    , (Char
'\3792',Char
'\3801')
    , (Char
'\3872',Char
'\3891')
    , (Char
'\4160',Char
'\4169')
    , (Char
'\4240',Char
'\4249')
    , (Char
'\4969',Char
'\4988')
    , (Char
'\5870',Char
'\5872')
    , (Char
'\6112',Char
'\6121')
    , (Char
'\6128',Char
'\6137')
    , (Char
'\6160',Char
'\6169')
    , (Char
'\6470',Char
'\6479')
    , (Char
'\6608',Char
'\6618')
    , (Char
'\6784',Char
'\6793')
    , (Char
'\6800',Char
'\6809')
    , (Char
'\6992',Char
'\7001')
    , (Char
'\7088',Char
'\7097')
    , (Char
'\7232',Char
'\7241')
    , (Char
'\7248',Char
'\7257')
    , (Char
'\8304',Char
'\8304')
    , (Char
'\8308',Char
'\8313')
    , (Char
'\8320',Char
'\8329')
    , (Char
'\8528',Char
'\8578')
    , (Char
'\8581',Char
'\8585')
    , (Char
'\9312',Char
'\9371')
    , (Char
'\9450',Char
'\9471')
    , (Char
'\10102',Char
'\10131')
    , (Char
'\11517',Char
'\11517')
    , (Char
'\12295',Char
'\12295')
    , (Char
'\12321',Char
'\12329')
    , (Char
'\12344',Char
'\12346')
    , (Char
'\12690',Char
'\12693')
    , (Char
'\12832',Char
'\12841')
    , (Char
'\12872',Char
'\12879')
    , (Char
'\12881',Char
'\12895')
    , (Char
'\12928',Char
'\12937')
    , (Char
'\12977',Char
'\12991')
    , (Char
'\42528',Char
'\42537')
    , (Char
'\42726',Char
'\42735')
    , (Char
'\43056',Char
'\43061')
    , (Char
'\43216',Char
'\43225')
    , (Char
'\43264',Char
'\43273')
    , (Char
'\43472',Char
'\43481')
    , (Char
'\43504',Char
'\43513')
    , (Char
'\43600',Char
'\43609')
    , (Char
'\44016',Char
'\44025')
    , (Char
'\65296',Char
'\65305')
    , (Char
'\65799',Char
'\65843')
    , (Char
'\65856',Char
'\65912')
    , (Char
'\65930',Char
'\65931')
    , (Char
'\66273',Char
'\66299')
    , (Char
'\66336',Char
'\66339')
    , (Char
'\66369',Char
'\66369')
    , (Char
'\66378',Char
'\66378')
    , (Char
'\66513',Char
'\66517')
    , (Char
'\66720',Char
'\66729')
    , (Char
'\67672',Char
'\67679')
    , (Char
'\67705',Char
'\67711')
    , (Char
'\67751',Char
'\67759')
    , (Char
'\67835',Char
'\67839')
    , (Char
'\67862',Char
'\67867')
    , (Char
'\68028',Char
'\68029')
    , (Char
'\68032',Char
'\68047')
    , (Char
'\68050',Char
'\68095')
    , (Char
'\68160',Char
'\68168')
    , (Char
'\68221',Char
'\68222')
    , (Char
'\68253',Char
'\68255')
    , (Char
'\68331',Char
'\68335')
    , (Char
'\68440',Char
'\68447')
    , (Char
'\68472',Char
'\68479')
    , (Char
'\68521',Char
'\68527')
    , (Char
'\68858',Char
'\68863')
    , (Char
'\68912',Char
'\68921')
    , (Char
'\69216',Char
'\69246')
    , (Char
'\69405',Char
'\69414')
    , (Char
'\69457',Char
'\69460')
    , (Char
'\69573',Char
'\69579')
    , (Char
'\69714',Char
'\69743')
    , (Char
'\69872',Char
'\69881')
    , (Char
'\69942',Char
'\69951')
    , (Char
'\70096',Char
'\70105')
    , (Char
'\70113',Char
'\70132')
    , (Char
'\70384',Char
'\70393')
    , (Char
'\70736',Char
'\70745')
    , (Char
'\70864',Char
'\70873')
    , (Char
'\71248',Char
'\71257')
    , (Char
'\71360',Char
'\71369')
    , (Char
'\71472',Char
'\71483')
    , (Char
'\71904',Char
'\71922')
    , (Char
'\72016',Char
'\72025')
    , (Char
'\72784',Char
'\72812')
    , (Char
'\73040',Char
'\73049')
    , (Char
'\73120',Char
'\73129')
    , (Char
'\73664',Char
'\73684')
    , (Char
'\74752',Char
'\74862')
    , (Char
'\92768',Char
'\92777')
    , (Char
'\93008',Char
'\93017')
    , (Char
'\93019',Char
'\93025')
    , (Char
'\93824',Char
'\93846')
    , (Char
'\119520',Char
'\119539')
    , (Char
'\119648',Char
'\119672')
    , (Char
'\120782',Char
'\120831')
    , (Char
'\123200',Char
'\123209')
    , (Char
'\123632',Char
'\123641')
    , (Char
'\125127',Char
'\125135')
    , (Char
'\125264',Char
'\125273')
    , (Char
'\126065',Char
'\126123')
    , (Char
'\126125',Char
'\126127')
    , (Char
'\126129',Char
'\126132')
    , (Char
'\126209',Char
'\126253')
    , (Char
'\126255',Char
'\126269')
    , (Char
'\127232',Char
'\127244')
    , (Char
'\130032',Char
'\130041')
    ]

-- ------------------------------------------------------------

isUnicodeNd :: Char -> Bool
isUnicodeNd :: Char -> Bool
isUnicodeNd Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeNd

charPropUnicodeNd :: CharSet
charPropUnicodeNd :: CharSet
charPropUnicodeNd
  = [ (Char
'0',Char
'9')
    , (Char
'\1632',Char
'\1641')
    , (Char
'\1776',Char
'\1785')
    , (Char
'\1984',Char
'\1993')
    , (Char
'\2406',Char
'\2415')
    , (Char
'\2534',Char
'\2543')
    , (Char
'\2662',Char
'\2671')
    , (Char
'\2790',Char
'\2799')
    , (Char
'\2918',Char
'\2927')
    , (Char
'\3046',Char
'\3055')
    , (Char
'\3174',Char
'\3183')
    , (Char
'\3302',Char
'\3311')
    , (Char
'\3430',Char
'\3439')
    , (Char
'\3558',Char
'\3567')
    , (Char
'\3664',Char
'\3673')
    , (Char
'\3792',Char
'\3801')
    , (Char
'\3872',Char
'\3881')
    , (Char
'\4160',Char
'\4169')
    , (Char
'\4240',Char
'\4249')
    , (Char
'\6112',Char
'\6121')
    , (Char
'\6160',Char
'\6169')
    , (Char
'\6470',Char
'\6479')
    , (Char
'\6608',Char
'\6617')
    , (Char
'\6784',Char
'\6793')
    , (Char
'\6800',Char
'\6809')
    , (Char
'\6992',Char
'\7001')
    , (Char
'\7088',Char
'\7097')
    , (Char
'\7232',Char
'\7241')
    , (Char
'\7248',Char
'\7257')
    , (Char
'\42528',Char
'\42537')
    , (Char
'\43216',Char
'\43225')
    , (Char
'\43264',Char
'\43273')
    , (Char
'\43472',Char
'\43481')
    , (Char
'\43504',Char
'\43513')
    , (Char
'\43600',Char
'\43609')
    , (Char
'\44016',Char
'\44025')
    , (Char
'\65296',Char
'\65305')
    , (Char
'\66720',Char
'\66729')
    , (Char
'\68912',Char
'\68921')
    , (Char
'\69734',Char
'\69743')
    , (Char
'\69872',Char
'\69881')
    , (Char
'\69942',Char
'\69951')
    , (Char
'\70096',Char
'\70105')
    , (Char
'\70384',Char
'\70393')
    , (Char
'\70736',Char
'\70745')
    , (Char
'\70864',Char
'\70873')
    , (Char
'\71248',Char
'\71257')
    , (Char
'\71360',Char
'\71369')
    , (Char
'\71472',Char
'\71481')
    , (Char
'\71904',Char
'\71913')
    , (Char
'\72016',Char
'\72025')
    , (Char
'\72784',Char
'\72793')
    , (Char
'\73040',Char
'\73049')
    , (Char
'\73120',Char
'\73129')
    , (Char
'\92768',Char
'\92777')
    , (Char
'\93008',Char
'\93017')
    , (Char
'\120782',Char
'\120831')
    , (Char
'\123200',Char
'\123209')
    , (Char
'\123632',Char
'\123641')
    , (Char
'\125264',Char
'\125273')
    , (Char
'\130032',Char
'\130041')
    ]

-- ------------------------------------------------------------

isUnicodeNl :: Char -> Bool
isUnicodeNl :: Char -> Bool
isUnicodeNl Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeNl

charPropUnicodeNl :: CharSet
charPropUnicodeNl :: CharSet
charPropUnicodeNl
  = [ (Char
'\5870',Char
'\5872')
    , (Char
'\8544',Char
'\8578')
    , (Char
'\8581',Char
'\8584')
    , (Char
'\12295',Char
'\12295')
    , (Char
'\12321',Char
'\12329')
    , (Char
'\12344',Char
'\12346')
    , (Char
'\42726',Char
'\42735')
    , (Char
'\65856',Char
'\65908')
    , (Char
'\66369',Char
'\66369')
    , (Char
'\66378',Char
'\66378')
    , (Char
'\66513',Char
'\66517')
    , (Char
'\74752',Char
'\74862')
    ]

-- ------------------------------------------------------------

isUnicodeNo :: Char -> Bool
isUnicodeNo :: Char -> Bool
isUnicodeNo Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeNo

charPropUnicodeNo :: CharSet
charPropUnicodeNo :: CharSet
charPropUnicodeNo
  = [ (Char
'\178',Char
'\179')
    , (Char
'\185',Char
'\185')
    , (Char
'\188',Char
'\190')
    , (Char
'\2548',Char
'\2553')
    , (Char
'\2930',Char
'\2935')
    , (Char
'\3056',Char
'\3058')
    , (Char
'\3192',Char
'\3198')
    , (Char
'\3416',Char
'\3422')
    , (Char
'\3440',Char
'\3448')
    , (Char
'\3882',Char
'\3891')
    , (Char
'\4969',Char
'\4988')
    , (Char
'\6128',Char
'\6137')
    , (Char
'\6618',Char
'\6618')
    , (Char
'\8304',Char
'\8304')
    , (Char
'\8308',Char
'\8313')
    , (Char
'\8320',Char
'\8329')
    , (Char
'\8528',Char
'\8543')
    , (Char
'\8585',Char
'\8585')
    , (Char
'\9312',Char
'\9371')
    , (Char
'\9450',Char
'\9471')
    , (Char
'\10102',Char
'\10131')
    , (Char
'\11517',Char
'\11517')
    , (Char
'\12690',Char
'\12693')
    , (Char
'\12832',Char
'\12841')
    , (Char
'\12872',Char
'\12879')
    , (Char
'\12881',Char
'\12895')
    , (Char
'\12928',Char
'\12937')
    , (Char
'\12977',Char
'\12991')
    , (Char
'\43056',Char
'\43061')
    , (Char
'\65799',Char
'\65843')
    , (Char
'\65909',Char
'\65912')
    , (Char
'\65930',Char
'\65931')
    , (Char
'\66273',Char
'\66299')
    , (Char
'\66336',Char
'\66339')
    , (Char
'\67672',Char
'\67679')
    , (Char
'\67705',Char
'\67711')
    , (Char
'\67751',Char
'\67759')
    , (Char
'\67835',Char
'\67839')
    , (Char
'\67862',Char
'\67867')
    , (Char
'\68028',Char
'\68029')
    , (Char
'\68032',Char
'\68047')
    , (Char
'\68050',Char
'\68095')
    , (Char
'\68160',Char
'\68168')
    , (Char
'\68221',Char
'\68222')
    , (Char
'\68253',Char
'\68255')
    , (Char
'\68331',Char
'\68335')
    , (Char
'\68440',Char
'\68447')
    , (Char
'\68472',Char
'\68479')
    , (Char
'\68521',Char
'\68527')
    , (Char
'\68858',Char
'\68863')
    , (Char
'\69216',Char
'\69246')
    , (Char
'\69405',Char
'\69414')
    , (Char
'\69457',Char
'\69460')
    , (Char
'\69573',Char
'\69579')
    , (Char
'\69714',Char
'\69733')
    , (Char
'\70113',Char
'\70132')
    , (Char
'\71482',Char
'\71483')
    , (Char
'\71914',Char
'\71922')
    , (Char
'\72794',Char
'\72812')
    , (Char
'\73664',Char
'\73684')
    , (Char
'\93019',Char
'\93025')
    , (Char
'\93824',Char
'\93846')
    , (Char
'\119520',Char
'\119539')
    , (Char
'\119648',Char
'\119672')
    , (Char
'\125127',Char
'\125135')
    , (Char
'\126065',Char
'\126123')
    , (Char
'\126125',Char
'\126127')
    , (Char
'\126129',Char
'\126132')
    , (Char
'\126209',Char
'\126253')
    , (Char
'\126255',Char
'\126269')
    , (Char
'\127232',Char
'\127244')
    ]

-- ------------------------------------------------------------

isUnicodeP :: Char -> Bool
isUnicodeP :: Char -> Bool
isUnicodeP Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeP

charPropUnicodeP :: CharSet
charPropUnicodeP :: CharSet
charPropUnicodeP
  = [ (Char
'!',Char
'#')
    , (Char
'%',Char
'*')
    , (Char
',',Char
'/')
    , (Char
':',Char
';')
    , (Char
'?',Char
'@')
    , (Char
'[',Char
']')
    , (Char
'_',Char
'_')
    , (Char
'{',Char
'{')
    , (Char
'}',Char
'}')
    , (Char
'\161',Char
'\161')
    , (Char
'\167',Char
'\167')
    , (Char
'\171',Char
'\171')
    , (Char
'\182',Char
'\183')
    , (Char
'\187',Char
'\187')
    , (Char
'\191',Char
'\191')
    , (Char
'\894',Char
'\894')
    , (Char
'\903',Char
'\903')
    , (Char
'\1370',Char
'\1375')
    , (Char
'\1417',Char
'\1418')
    , (Char
'\1470',Char
'\1470')
    , (Char
'\1472',Char
'\1472')
    , (Char
'\1475',Char
'\1475')
    , (Char
'\1478',Char
'\1478')
    , (Char
'\1523',Char
'\1524')
    , (Char
'\1545',Char
'\1546')
    , (Char
'\1548',Char
'\1549')
    , (Char
'\1563',Char
'\1563')
    , (Char
'\1566',Char
'\1567')
    , (Char
'\1642',Char
'\1645')
    , (Char
'\1748',Char
'\1748')
    , (Char
'\1792',Char
'\1805')
    , (Char
'\2039',Char
'\2041')
    , (Char
'\2096',Char
'\2110')
    , (Char
'\2142',Char
'\2142')
    , (Char
'\2404',Char
'\2405')
    , (Char
'\2416',Char
'\2416')
    , (Char
'\2557',Char
'\2557')
    , (Char
'\2678',Char
'\2678')
    , (Char
'\2800',Char
'\2800')
    , (Char
'\3191',Char
'\3191')
    , (Char
'\3204',Char
'\3204')
    , (Char
'\3572',Char
'\3572')
    , (Char
'\3663',Char
'\3663')
    , (Char
'\3674',Char
'\3675')
    , (Char
'\3844',Char
'\3858')
    , (Char
'\3860',Char
'\3860')
    , (Char
'\3898',Char
'\3901')
    , (Char
'\3973',Char
'\3973')
    , (Char
'\4048',Char
'\4052')
    , (Char
'\4057',Char
'\4058')
    , (Char
'\4170',Char
'\4175')
    , (Char
'\4347',Char
'\4347')
    , (Char
'\4960',Char
'\4968')
    , (Char
'\5120',Char
'\5120')
    , (Char
'\5742',Char
'\5742')
    , (Char
'\5787',Char
'\5788')
    , (Char
'\5867',Char
'\5869')
    , (Char
'\5941',Char
'\5942')
    , (Char
'\6100',Char
'\6102')
    , (Char
'\6104',Char
'\6106')
    , (Char
'\6144',Char
'\6154')
    , (Char
'\6468',Char
'\6469')
    , (Char
'\6686',Char
'\6687')
    , (Char
'\6816',Char
'\6822')
    , (Char
'\6824',Char
'\6829')
    , (Char
'\7002',Char
'\7008')
    , (Char
'\7164',Char
'\7167')
    , (Char
'\7227',Char
'\7231')
    , (Char
'\7294',Char
'\7295')
    , (Char
'\7360',Char
'\7367')
    , (Char
'\7379',Char
'\7379')
    , (Char
'\8208',Char
'\8231')
    , (Char
'\8240',Char
'\8259')
    , (Char
'\8261',Char
'\8273')
    , (Char
'\8275',Char
'\8286')
    , (Char
'\8317',Char
'\8318')
    , (Char
'\8333',Char
'\8334')
    , (Char
'\8968',Char
'\8971')
    , (Char
'\9001',Char
'\9002')
    , (Char
'\10088',Char
'\10101')
    , (Char
'\10181',Char
'\10182')
    , (Char
'\10214',Char
'\10223')
    , (Char
'\10627',Char
'\10648')
    , (Char
'\10712',Char
'\10715')
    , (Char
'\10748',Char
'\10749')
    , (Char
'\11513',Char
'\11516')
    , (Char
'\11518',Char
'\11519')
    , (Char
'\11632',Char
'\11632')
    , (Char
'\11776',Char
'\11822')
    , (Char
'\11824',Char
'\11855')
    , (Char
'\11858',Char
'\11858')
    , (Char
'\12289',Char
'\12291')
    , (Char
'\12296',Char
'\12305')
    , (Char
'\12308',Char
'\12319')
    , (Char
'\12336',Char
'\12336')
    , (Char
'\12349',Char
'\12349')
    , (Char
'\12448',Char
'\12448')
    , (Char
'\12539',Char
'\12539')
    , (Char
'\42238',Char
'\42239')
    , (Char
'\42509',Char
'\42511')
    , (Char
'\42611',Char
'\42611')
    , (Char
'\42622',Char
'\42622')
    , (Char
'\42738',Char
'\42743')
    , (Char
'\43124',Char
'\43127')
    , (Char
'\43214',Char
'\43215')
    , (Char
'\43256',Char
'\43258')
    , (Char
'\43260',Char
'\43260')
    , (Char
'\43310',Char
'\43311')
    , (Char
'\43359',Char
'\43359')
    , (Char
'\43457',Char
'\43469')
    , (Char
'\43486',Char
'\43487')
    , (Char
'\43612',Char
'\43615')
    , (Char
'\43742',Char
'\43743')
    , (Char
'\43760',Char
'\43761')
    , (Char
'\44011',Char
'\44011')
    , (Char
'\64830',Char
'\64831')
    , (Char
'\65040',Char
'\65049')
    , (Char
'\65072',Char
'\65106')
    , (Char
'\65108',Char
'\65121')
    , (Char
'\65123',Char
'\65123')
    , (Char
'\65128',Char
'\65128')
    , (Char
'\65130',Char
'\65131')
    , (Char
'\65281',Char
'\65283')
    , (Char
'\65285',Char
'\65290')
    , (Char
'\65292',Char
'\65295')
    , (Char
'\65306',Char
'\65307')
    , (Char
'\65311',Char
'\65312')
    , (Char
'\65339',Char
'\65341')
    , (Char
'\65343',Char
'\65343')
    , (Char
'\65371',Char
'\65371')
    , (Char
'\65373',Char
'\65373')
    , (Char
'\65375',Char
'\65381')
    , (Char
'\65792',Char
'\65794')
    , (Char
'\66463',Char
'\66463')
    , (Char
'\66512',Char
'\66512')
    , (Char
'\66927',Char
'\66927')
    , (Char
'\67671',Char
'\67671')
    , (Char
'\67871',Char
'\67871')
    , (Char
'\67903',Char
'\67903')
    , (Char
'\68176',Char
'\68184')
    , (Char
'\68223',Char
'\68223')
    , (Char
'\68336',Char
'\68342')
    , (Char
'\68409',Char
'\68415')
    , (Char
'\68505',Char
'\68508')
    , (Char
'\69293',Char
'\69293')
    , (Char
'\69461',Char
'\69465')
    , (Char
'\69703',Char
'\69709')
    , (Char
'\69819',Char
'\69820')
    , (Char
'\69822',Char
'\69825')
    , (Char
'\69952',Char
'\69955')
    , (Char
'\70004',Char
'\70005')
    , (Char
'\70085',Char
'\70088')
    , (Char
'\70093',Char
'\70093')
    , (Char
'\70107',Char
'\70107')
    , (Char
'\70109',Char
'\70111')
    , (Char
'\70200',Char
'\70205')
    , (Char
'\70313',Char
'\70313')
    , (Char
'\70731',Char
'\70735')
    , (Char
'\70746',Char
'\70747')
    , (Char
'\70749',Char
'\70749')
    , (Char
'\70854',Char
'\70854')
    , (Char
'\71105',Char
'\71127')
    , (Char
'\71233',Char
'\71235')
    , (Char
'\71264',Char
'\71276')
    , (Char
'\71484',Char
'\71486')
    , (Char
'\71739',Char
'\71739')
    , (Char
'\72004',Char
'\72006')
    , (Char
'\72162',Char
'\72162')
    , (Char
'\72255',Char
'\72262')
    , (Char
'\72346',Char
'\72348')
    , (Char
'\72350',Char
'\72354')
    , (Char
'\72769',Char
'\72773')
    , (Char
'\72816',Char
'\72817')
    , (Char
'\73463',Char
'\73464')
    , (Char
'\73727',Char
'\73727')
    , (Char
'\74864',Char
'\74868')
    , (Char
'\92782',Char
'\92783')
    , (Char
'\92917',Char
'\92917')
    , (Char
'\92983',Char
'\92987')
    , (Char
'\92996',Char
'\92996')
    , (Char
'\93847',Char
'\93850')
    , (Char
'\94178',Char
'\94178')
    , (Char
'\113823',Char
'\113823')
    , (Char
'\121479',Char
'\121483')
    , (Char
'\125278',Char
'\125279')
    ]

-- ------------------------------------------------------------

isUnicodePc :: Char -> Bool
isUnicodePc :: Char -> Bool
isUnicodePc Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodePc

charPropUnicodePc :: CharSet
charPropUnicodePc :: CharSet
charPropUnicodePc
  = [ (Char
'_',Char
'_')
    , (Char
'\8255',Char
'\8256')
    , (Char
'\8276',Char
'\8276')
    , (Char
'\65075',Char
'\65076')
    , (Char
'\65101',Char
'\65103')
    , (Char
'\65343',Char
'\65343')
    ]

-- ------------------------------------------------------------

isUnicodePd :: Char -> Bool
isUnicodePd :: Char -> Bool
isUnicodePd Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodePd

charPropUnicodePd :: CharSet
charPropUnicodePd :: CharSet
charPropUnicodePd
  = [ (Char
'-',Char
'-')
    , (Char
'\1418',Char
'\1418')
    , (Char
'\1470',Char
'\1470')
    , (Char
'\5120',Char
'\5120')
    , (Char
'\6150',Char
'\6150')
    , (Char
'\8208',Char
'\8213')
    , (Char
'\11799',Char
'\11799')
    , (Char
'\11802',Char
'\11802')
    , (Char
'\11834',Char
'\11835')
    , (Char
'\11840',Char
'\11840')
    , (Char
'\12316',Char
'\12316')
    , (Char
'\12336',Char
'\12336')
    , (Char
'\12448',Char
'\12448')
    , (Char
'\65073',Char
'\65074')
    , (Char
'\65112',Char
'\65112')
    , (Char
'\65123',Char
'\65123')
    , (Char
'\65293',Char
'\65293')
    , (Char
'\69293',Char
'\69293')
    ]

-- ------------------------------------------------------------

isUnicodePe :: Char -> Bool
isUnicodePe :: Char -> Bool
isUnicodePe Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodePe

charPropUnicodePe :: CharSet
charPropUnicodePe :: CharSet
charPropUnicodePe
  = [ (Char
')',Char
')')
    , (Char
']',Char
']')
    , (Char
'}',Char
'}')
    , (Char
'\3899',Char
'\3899')
    , (Char
'\3901',Char
'\3901')
    , (Char
'\5788',Char
'\5788')
    , (Char
'\8262',Char
'\8262')
    , (Char
'\8318',Char
'\8318')
    , (Char
'\8334',Char
'\8334')
    , (Char
'\8969',Char
'\8969')
    , (Char
'\8971',Char
'\8971')
    , (Char
'\9002',Char
'\9002')
    , (Char
'\10089',Char
'\10089')
    , (Char
'\10091',Char
'\10091')
    , (Char
'\10093',Char
'\10093')
    , (Char
'\10095',Char
'\10095')
    , (Char
'\10097',Char
'\10097')
    , (Char
'\10099',Char
'\10099')
    , (Char
'\10101',Char
'\10101')
    , (Char
'\10182',Char
'\10182')
    , (Char
'\10215',Char
'\10215')
    , (Char
'\10217',Char
'\10217')
    , (Char
'\10219',Char
'\10219')
    , (Char
'\10221',Char
'\10221')
    , (Char
'\10223',Char
'\10223')
    , (Char
'\10628',Char
'\10628')
    , (Char
'\10630',Char
'\10630')
    , (Char
'\10632',Char
'\10632')
    , (Char
'\10634',Char
'\10634')
    , (Char
'\10636',Char
'\10636')
    , (Char
'\10638',Char
'\10638')
    , (Char
'\10640',Char
'\10640')
    , (Char
'\10642',Char
'\10642')
    , (Char
'\10644',Char
'\10644')
    , (Char
'\10646',Char
'\10646')
    , (Char
'\10648',Char
'\10648')
    , (Char
'\10713',Char
'\10713')
    , (Char
'\10715',Char
'\10715')
    , (Char
'\10749',Char
'\10749')
    , (Char
'\11811',Char
'\11811')
    , (Char
'\11813',Char
'\11813')
    , (Char
'\11815',Char
'\11815')
    , (Char
'\11817',Char
'\11817')
    , (Char
'\12297',Char
'\12297')
    , (Char
'\12299',Char
'\12299')
    , (Char
'\12301',Char
'\12301')
    , (Char
'\12303',Char
'\12303')
    , (Char
'\12305',Char
'\12305')
    , (Char
'\12309',Char
'\12309')
    , (Char
'\12311',Char
'\12311')
    , (Char
'\12313',Char
'\12313')
    , (Char
'\12315',Char
'\12315')
    , (Char
'\12318',Char
'\12319')
    , (Char
'\64830',Char
'\64830')
    , (Char
'\65048',Char
'\65048')
    , (Char
'\65078',Char
'\65078')
    , (Char
'\65080',Char
'\65080')
    , (Char
'\65082',Char
'\65082')
    , (Char
'\65084',Char
'\65084')
    , (Char
'\65086',Char
'\65086')
    , (Char
'\65088',Char
'\65088')
    , (Char
'\65090',Char
'\65090')
    , (Char
'\65092',Char
'\65092')
    , (Char
'\65096',Char
'\65096')
    , (Char
'\65114',Char
'\65114')
    , (Char
'\65116',Char
'\65116')
    , (Char
'\65118',Char
'\65118')
    , (Char
'\65289',Char
'\65289')
    , (Char
'\65341',Char
'\65341')
    , (Char
'\65373',Char
'\65373')
    , (Char
'\65376',Char
'\65376')
    , (Char
'\65379',Char
'\65379')
    ]

-- ------------------------------------------------------------

isUnicodePf :: Char -> Bool
isUnicodePf :: Char -> Bool
isUnicodePf Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodePf

charPropUnicodePf :: CharSet
charPropUnicodePf :: CharSet
charPropUnicodePf
  = [ (Char
'\187',Char
'\187')
    , (Char
'\8217',Char
'\8217')
    , (Char
'\8221',Char
'\8221')
    , (Char
'\8250',Char
'\8250')
    , (Char
'\11779',Char
'\11779')
    , (Char
'\11781',Char
'\11781')
    , (Char
'\11786',Char
'\11786')
    , (Char
'\11789',Char
'\11789')
    , (Char
'\11805',Char
'\11805')
    , (Char
'\11809',Char
'\11809')
    ]

-- ------------------------------------------------------------

isUnicodePi :: Char -> Bool
isUnicodePi :: Char -> Bool
isUnicodePi Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodePi

charPropUnicodePi :: CharSet
charPropUnicodePi :: CharSet
charPropUnicodePi
  = [ (Char
'\171',Char
'\171')
    , (Char
'\8216',Char
'\8216')
    , (Char
'\8219',Char
'\8220')
    , (Char
'\8223',Char
'\8223')
    , (Char
'\8249',Char
'\8249')
    , (Char
'\11778',Char
'\11778')
    , (Char
'\11780',Char
'\11780')
    , (Char
'\11785',Char
'\11785')
    , (Char
'\11788',Char
'\11788')
    , (Char
'\11804',Char
'\11804')
    , (Char
'\11808',Char
'\11808')
    ]

-- ------------------------------------------------------------

isUnicodePo :: Char -> Bool
isUnicodePo :: Char -> Bool
isUnicodePo Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodePo

charPropUnicodePo :: CharSet
charPropUnicodePo :: CharSet
charPropUnicodePo
  = [ (Char
'!',Char
'#')
    , (Char
'%',Char
'\'')
    , (Char
'*',Char
'*')
    , (Char
',',Char
',')
    , (Char
'.',Char
'/')
    , (Char
':',Char
';')
    , (Char
'?',Char
'@')
    , (Char
'\\',Char
'\\')
    , (Char
'\161',Char
'\161')
    , (Char
'\167',Char
'\167')
    , (Char
'\182',Char
'\183')
    , (Char
'\191',Char
'\191')
    , (Char
'\894',Char
'\894')
    , (Char
'\903',Char
'\903')
    , (Char
'\1370',Char
'\1375')
    , (Char
'\1417',Char
'\1417')
    , (Char
'\1472',Char
'\1472')
    , (Char
'\1475',Char
'\1475')
    , (Char
'\1478',Char
'\1478')
    , (Char
'\1523',Char
'\1524')
    , (Char
'\1545',Char
'\1546')
    , (Char
'\1548',Char
'\1549')
    , (Char
'\1563',Char
'\1563')
    , (Char
'\1566',Char
'\1567')
    , (Char
'\1642',Char
'\1645')
    , (Char
'\1748',Char
'\1748')
    , (Char
'\1792',Char
'\1805')
    , (Char
'\2039',Char
'\2041')
    , (Char
'\2096',Char
'\2110')
    , (Char
'\2142',Char
'\2142')
    , (Char
'\2404',Char
'\2405')
    , (Char
'\2416',Char
'\2416')
    , (Char
'\2557',Char
'\2557')
    , (Char
'\2678',Char
'\2678')
    , (Char
'\2800',Char
'\2800')
    , (Char
'\3191',Char
'\3191')
    , (Char
'\3204',Char
'\3204')
    , (Char
'\3572',Char
'\3572')
    , (Char
'\3663',Char
'\3663')
    , (Char
'\3674',Char
'\3675')
    , (Char
'\3844',Char
'\3858')
    , (Char
'\3860',Char
'\3860')
    , (Char
'\3973',Char
'\3973')
    , (Char
'\4048',Char
'\4052')
    , (Char
'\4057',Char
'\4058')
    , (Char
'\4170',Char
'\4175')
    , (Char
'\4347',Char
'\4347')
    , (Char
'\4960',Char
'\4968')
    , (Char
'\5742',Char
'\5742')
    , (Char
'\5867',Char
'\5869')
    , (Char
'\5941',Char
'\5942')
    , (Char
'\6100',Char
'\6102')
    , (Char
'\6104',Char
'\6106')
    , (Char
'\6144',Char
'\6149')
    , (Char
'\6151',Char
'\6154')
    , (Char
'\6468',Char
'\6469')
    , (Char
'\6686',Char
'\6687')
    , (Char
'\6816',Char
'\6822')
    , (Char
'\6824',Char
'\6829')
    , (Char
'\7002',Char
'\7008')
    , (Char
'\7164',Char
'\7167')
    , (Char
'\7227',Char
'\7231')
    , (Char
'\7294',Char
'\7295')
    , (Char
'\7360',Char
'\7367')
    , (Char
'\7379',Char
'\7379')
    , (Char
'\8214',Char
'\8215')
    , (Char
'\8224',Char
'\8231')
    , (Char
'\8240',Char
'\8248')
    , (Char
'\8251',Char
'\8254')
    , (Char
'\8257',Char
'\8259')
    , (Char
'\8263',Char
'\8273')
    , (Char
'\8275',Char
'\8275')
    , (Char
'\8277',Char
'\8286')
    , (Char
'\11513',Char
'\11516')
    , (Char
'\11518',Char
'\11519')
    , (Char
'\11632',Char
'\11632')
    , (Char
'\11776',Char
'\11777')
    , (Char
'\11782',Char
'\11784')
    , (Char
'\11787',Char
'\11787')
    , (Char
'\11790',Char
'\11798')
    , (Char
'\11800',Char
'\11801')
    , (Char
'\11803',Char
'\11803')
    , (Char
'\11806',Char
'\11807')
    , (Char
'\11818',Char
'\11822')
    , (Char
'\11824',Char
'\11833')
    , (Char
'\11836',Char
'\11839')
    , (Char
'\11841',Char
'\11841')
    , (Char
'\11843',Char
'\11855')
    , (Char
'\11858',Char
'\11858')
    , (Char
'\12289',Char
'\12291')
    , (Char
'\12349',Char
'\12349')
    , (Char
'\12539',Char
'\12539')
    , (Char
'\42238',Char
'\42239')
    , (Char
'\42509',Char
'\42511')
    , (Char
'\42611',Char
'\42611')
    , (Char
'\42622',Char
'\42622')
    , (Char
'\42738',Char
'\42743')
    , (Char
'\43124',Char
'\43127')
    , (Char
'\43214',Char
'\43215')
    , (Char
'\43256',Char
'\43258')
    , (Char
'\43260',Char
'\43260')
    , (Char
'\43310',Char
'\43311')
    , (Char
'\43359',Char
'\43359')
    , (Char
'\43457',Char
'\43469')
    , (Char
'\43486',Char
'\43487')
    , (Char
'\43612',Char
'\43615')
    , (Char
'\43742',Char
'\43743')
    , (Char
'\43760',Char
'\43761')
    , (Char
'\44011',Char
'\44011')
    , (Char
'\65040',Char
'\65046')
    , (Char
'\65049',Char
'\65049')
    , (Char
'\65072',Char
'\65072')
    , (Char
'\65093',Char
'\65094')
    , (Char
'\65097',Char
'\65100')
    , (Char
'\65104',Char
'\65106')
    , (Char
'\65108',Char
'\65111')
    , (Char
'\65119',Char
'\65121')
    , (Char
'\65128',Char
'\65128')
    , (Char
'\65130',Char
'\65131')
    , (Char
'\65281',Char
'\65283')
    , (Char
'\65285',Char
'\65287')
    , (Char
'\65290',Char
'\65290')
    , (Char
'\65292',Char
'\65292')
    , (Char
'\65294',Char
'\65295')
    , (Char
'\65306',Char
'\65307')
    , (Char
'\65311',Char
'\65312')
    , (Char
'\65340',Char
'\65340')
    , (Char
'\65377',Char
'\65377')
    , (Char
'\65380',Char
'\65381')
    , (Char
'\65792',Char
'\65794')
    , (Char
'\66463',Char
'\66463')
    , (Char
'\66512',Char
'\66512')
    , (Char
'\66927',Char
'\66927')
    , (Char
'\67671',Char
'\67671')
    , (Char
'\67871',Char
'\67871')
    , (Char
'\67903',Char
'\67903')
    , (Char
'\68176',Char
'\68184')
    , (Char
'\68223',Char
'\68223')
    , (Char
'\68336',Char
'\68342')
    , (Char
'\68409',Char
'\68415')
    , (Char
'\68505',Char
'\68508')
    , (Char
'\69461',Char
'\69465')
    , (Char
'\69703',Char
'\69709')
    , (Char
'\69819',Char
'\69820')
    , (Char
'\69822',Char
'\69825')
    , (Char
'\69952',Char
'\69955')
    , (Char
'\70004',Char
'\70005')
    , (Char
'\70085',Char
'\70088')
    , (Char
'\70093',Char
'\70093')
    , (Char
'\70107',Char
'\70107')
    , (Char
'\70109',Char
'\70111')
    , (Char
'\70200',Char
'\70205')
    , (Char
'\70313',Char
'\70313')
    , (Char
'\70731',Char
'\70735')
    , (Char
'\70746',Char
'\70747')
    , (Char
'\70749',Char
'\70749')
    , (Char
'\70854',Char
'\70854')
    , (Char
'\71105',Char
'\71127')
    , (Char
'\71233',Char
'\71235')
    , (Char
'\71264',Char
'\71276')
    , (Char
'\71484',Char
'\71486')
    , (Char
'\71739',Char
'\71739')
    , (Char
'\72004',Char
'\72006')
    , (Char
'\72162',Char
'\72162')
    , (Char
'\72255',Char
'\72262')
    , (Char
'\72346',Char
'\72348')
    , (Char
'\72350',Char
'\72354')
    , (Char
'\72769',Char
'\72773')
    , (Char
'\72816',Char
'\72817')
    , (Char
'\73463',Char
'\73464')
    , (Char
'\73727',Char
'\73727')
    , (Char
'\74864',Char
'\74868')
    , (Char
'\92782',Char
'\92783')
    , (Char
'\92917',Char
'\92917')
    , (Char
'\92983',Char
'\92987')
    , (Char
'\92996',Char
'\92996')
    , (Char
'\93847',Char
'\93850')
    , (Char
'\94178',Char
'\94178')
    , (Char
'\113823',Char
'\113823')
    , (Char
'\121479',Char
'\121483')
    , (Char
'\125278',Char
'\125279')
    ]

-- ------------------------------------------------------------

isUnicodePs :: Char -> Bool
isUnicodePs :: Char -> Bool
isUnicodePs Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodePs

charPropUnicodePs :: CharSet
charPropUnicodePs :: CharSet
charPropUnicodePs
  = [ (Char
'(',Char
'(')
    , (Char
'[',Char
'[')
    , (Char
'{',Char
'{')
    , (Char
'\3898',Char
'\3898')
    , (Char
'\3900',Char
'\3900')
    , (Char
'\5787',Char
'\5787')
    , (Char
'\8218',Char
'\8218')
    , (Char
'\8222',Char
'\8222')
    , (Char
'\8261',Char
'\8261')
    , (Char
'\8317',Char
'\8317')
    , (Char
'\8333',Char
'\8333')
    , (Char
'\8968',Char
'\8968')
    , (Char
'\8970',Char
'\8970')
    , (Char
'\9001',Char
'\9001')
    , (Char
'\10088',Char
'\10088')
    , (Char
'\10090',Char
'\10090')
    , (Char
'\10092',Char
'\10092')
    , (Char
'\10094',Char
'\10094')
    , (Char
'\10096',Char
'\10096')
    , (Char
'\10098',Char
'\10098')
    , (Char
'\10100',Char
'\10100')
    , (Char
'\10181',Char
'\10181')
    , (Char
'\10214',Char
'\10214')
    , (Char
'\10216',Char
'\10216')
    , (Char
'\10218',Char
'\10218')
    , (Char
'\10220',Char
'\10220')
    , (Char
'\10222',Char
'\10222')
    , (Char
'\10627',Char
'\10627')
    , (Char
'\10629',Char
'\10629')
    , (Char
'\10631',Char
'\10631')
    , (Char
'\10633',Char
'\10633')
    , (Char
'\10635',Char
'\10635')
    , (Char
'\10637',Char
'\10637')
    , (Char
'\10639',Char
'\10639')
    , (Char
'\10641',Char
'\10641')
    , (Char
'\10643',Char
'\10643')
    , (Char
'\10645',Char
'\10645')
    , (Char
'\10647',Char
'\10647')
    , (Char
'\10712',Char
'\10712')
    , (Char
'\10714',Char
'\10714')
    , (Char
'\10748',Char
'\10748')
    , (Char
'\11810',Char
'\11810')
    , (Char
'\11812',Char
'\11812')
    , (Char
'\11814',Char
'\11814')
    , (Char
'\11816',Char
'\11816')
    , (Char
'\11842',Char
'\11842')
    , (Char
'\12296',Char
'\12296')
    , (Char
'\12298',Char
'\12298')
    , (Char
'\12300',Char
'\12300')
    , (Char
'\12302',Char
'\12302')
    , (Char
'\12304',Char
'\12304')
    , (Char
'\12308',Char
'\12308')
    , (Char
'\12310',Char
'\12310')
    , (Char
'\12312',Char
'\12312')
    , (Char
'\12314',Char
'\12314')
    , (Char
'\12317',Char
'\12317')
    , (Char
'\64831',Char
'\64831')
    , (Char
'\65047',Char
'\65047')
    , (Char
'\65077',Char
'\65077')
    , (Char
'\65079',Char
'\65079')
    , (Char
'\65081',Char
'\65081')
    , (Char
'\65083',Char
'\65083')
    , (Char
'\65085',Char
'\65085')
    , (Char
'\65087',Char
'\65087')
    , (Char
'\65089',Char
'\65089')
    , (Char
'\65091',Char
'\65091')
    , (Char
'\65095',Char
'\65095')
    , (Char
'\65113',Char
'\65113')
    , (Char
'\65115',Char
'\65115')
    , (Char
'\65117',Char
'\65117')
    , (Char
'\65288',Char
'\65288')
    , (Char
'\65339',Char
'\65339')
    , (Char
'\65371',Char
'\65371')
    , (Char
'\65375',Char
'\65375')
    , (Char
'\65378',Char
'\65378')
    ]

-- ------------------------------------------------------------

isUnicodeS :: Char -> Bool
isUnicodeS :: Char -> Bool
isUnicodeS Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeS

charPropUnicodeS :: CharSet
charPropUnicodeS :: CharSet
charPropUnicodeS
  = [ (Char
'$',Char
'$')
    , (Char
'+',Char
'+')
    , (Char
'<',Char
'>')
    , (Char
'^',Char
'^')
    , (Char
'`',Char
'`')
    , (Char
'|',Char
'|')
    , (Char
'~',Char
'~')
    , (Char
'\162',Char
'\166')
    , (Char
'\168',Char
'\169')
    , (Char
'\172',Char
'\172')
    , (Char
'\174',Char
'\177')
    , (Char
'\180',Char
'\180')
    , (Char
'\184',Char
'\184')
    , (Char
'\215',Char
'\215')
    , (Char
'\247',Char
'\247')
    , (Char
'\706',Char
'\709')
    , (Char
'\722',Char
'\735')
    , (Char
'\741',Char
'\747')
    , (Char
'\749',Char
'\749')
    , (Char
'\751',Char
'\767')
    , (Char
'\885',Char
'\885')
    , (Char
'\900',Char
'\901')
    , (Char
'\1014',Char
'\1014')
    , (Char
'\1154',Char
'\1154')
    , (Char
'\1421',Char
'\1423')
    , (Char
'\1542',Char
'\1544')
    , (Char
'\1547',Char
'\1547')
    , (Char
'\1550',Char
'\1551')
    , (Char
'\1758',Char
'\1758')
    , (Char
'\1769',Char
'\1769')
    , (Char
'\1789',Char
'\1790')
    , (Char
'\2038',Char
'\2038')
    , (Char
'\2046',Char
'\2047')
    , (Char
'\2546',Char
'\2547')
    , (Char
'\2554',Char
'\2555')
    , (Char
'\2801',Char
'\2801')
    , (Char
'\2928',Char
'\2928')
    , (Char
'\3059',Char
'\3066')
    , (Char
'\3199',Char
'\3199')
    , (Char
'\3407',Char
'\3407')
    , (Char
'\3449',Char
'\3449')
    , (Char
'\3647',Char
'\3647')
    , (Char
'\3841',Char
'\3843')
    , (Char
'\3859',Char
'\3859')
    , (Char
'\3861',Char
'\3863')
    , (Char
'\3866',Char
'\3871')
    , (Char
'\3892',Char
'\3892')
    , (Char
'\3894',Char
'\3894')
    , (Char
'\3896',Char
'\3896')
    , (Char
'\4030',Char
'\4037')
    , (Char
'\4039',Char
'\4044')
    , (Char
'\4046',Char
'\4047')
    , (Char
'\4053',Char
'\4056')
    , (Char
'\4254',Char
'\4255')
    , (Char
'\5008',Char
'\5017')
    , (Char
'\5741',Char
'\5741')
    , (Char
'\6107',Char
'\6107')
    , (Char
'\6464',Char
'\6464')
    , (Char
'\6622',Char
'\6655')
    , (Char
'\7009',Char
'\7018')
    , (Char
'\7028',Char
'\7036')
    , (Char
'\8125',Char
'\8125')
    , (Char
'\8127',Char
'\8129')
    , (Char
'\8141',Char
'\8143')
    , (Char
'\8157',Char
'\8159')
    , (Char
'\8173',Char
'\8175')
    , (Char
'\8189',Char
'\8190')
    , (Char
'\8260',Char
'\8260')
    , (Char
'\8274',Char
'\8274')
    , (Char
'\8314',Char
'\8316')
    , (Char
'\8330',Char
'\8332')
    , (Char
'\8352',Char
'\8383')
    , (Char
'\8448',Char
'\8449')
    , (Char
'\8451',Char
'\8454')
    , (Char
'\8456',Char
'\8457')
    , (Char
'\8468',Char
'\8468')
    , (Char
'\8470',Char
'\8472')
    , (Char
'\8478',Char
'\8483')
    , (Char
'\8485',Char
'\8485')
    , (Char
'\8487',Char
'\8487')
    , (Char
'\8489',Char
'\8489')
    , (Char
'\8494',Char
'\8494')
    , (Char
'\8506',Char
'\8507')
    , (Char
'\8512',Char
'\8516')
    , (Char
'\8522',Char
'\8525')
    , (Char
'\8527',Char
'\8527')
    , (Char
'\8586',Char
'\8587')
    , (Char
'\8592',Char
'\8967')
    , (Char
'\8972',Char
'\9000')
    , (Char
'\9003',Char
'\9254')
    , (Char
'\9280',Char
'\9290')
    , (Char
'\9372',Char
'\9449')
    , (Char
'\9472',Char
'\10087')
    , (Char
'\10132',Char
'\10180')
    , (Char
'\10183',Char
'\10213')
    , (Char
'\10224',Char
'\10626')
    , (Char
'\10649',Char
'\10711')
    , (Char
'\10716',Char
'\10747')
    , (Char
'\10750',Char
'\11123')
    , (Char
'\11126',Char
'\11157')
    , (Char
'\11159',Char
'\11263')
    , (Char
'\11493',Char
'\11498')
    , (Char
'\11856',Char
'\11857')
    , (Char
'\11904',Char
'\11929')
    , (Char
'\11931',Char
'\12019')
    , (Char
'\12032',Char
'\12245')
    , (Char
'\12272',Char
'\12283')
    , (Char
'\12292',Char
'\12292')
    , (Char
'\12306',Char
'\12307')
    , (Char
'\12320',Char
'\12320')
    , (Char
'\12342',Char
'\12343')
    , (Char
'\12350',Char
'\12351')
    , (Char
'\12443',Char
'\12444')
    , (Char
'\12688',Char
'\12689')
    , (Char
'\12694',Char
'\12703')
    , (Char
'\12736',Char
'\12771')
    , (Char
'\12800',Char
'\12830')
    , (Char
'\12842',Char
'\12871')
    , (Char
'\12880',Char
'\12880')
    , (Char
'\12896',Char
'\12927')
    , (Char
'\12938',Char
'\12976')
    , (Char
'\12992',Char
'\13311')
    , (Char
'\19904',Char
'\19967')
    , (Char
'\42128',Char
'\42182')
    , (Char
'\42752',Char
'\42774')
    , (Char
'\42784',Char
'\42785')
    , (Char
'\42889',Char
'\42890')
    , (Char
'\43048',Char
'\43051')
    , (Char
'\43062',Char
'\43065')
    , (Char
'\43639',Char
'\43641')
    , (Char
'\43867',Char
'\43867')
    , (Char
'\43882',Char
'\43883')
    , (Char
'\64297',Char
'\64297')
    , (Char
'\64434',Char
'\64449')
    , (Char
'\65020',Char
'\65021')
    , (Char
'\65122',Char
'\65122')
    , (Char
'\65124',Char
'\65126')
    , (Char
'\65129',Char
'\65129')
    , (Char
'\65284',Char
'\65284')
    , (Char
'\65291',Char
'\65291')
    , (Char
'\65308',Char
'\65310')
    , (Char
'\65342',Char
'\65342')
    , (Char
'\65344',Char
'\65344')
    , (Char
'\65372',Char
'\65372')
    , (Char
'\65374',Char
'\65374')
    , (Char
'\65504',Char
'\65510')
    , (Char
'\65512',Char
'\65518')
    , (Char
'\65532',Char
'\65533')
    , (Char
'\65847',Char
'\65855')
    , (Char
'\65913',Char
'\65929')
    , (Char
'\65932',Char
'\65934')
    , (Char
'\65936',Char
'\65948')
    , (Char
'\65952',Char
'\65952')
    , (Char
'\66000',Char
'\66044')
    , (Char
'\67703',Char
'\67704')
    , (Char
'\68296',Char
'\68296')
    , (Char
'\71487',Char
'\71487')
    , (Char
'\73685',Char
'\73713')
    , (Char
'\92988',Char
'\92991')
    , (Char
'\92997',Char
'\92997')
    , (Char
'\113820',Char
'\113820')
    , (Char
'\118784',Char
'\119029')
    , (Char
'\119040',Char
'\119078')
    , (Char
'\119081',Char
'\119140')
    , (Char
'\119146',Char
'\119148')
    , (Char
'\119171',Char
'\119172')
    , (Char
'\119180',Char
'\119209')
    , (Char
'\119214',Char
'\119272')
    , (Char
'\119296',Char
'\119361')
    , (Char
'\119365',Char
'\119365')
    , (Char
'\119552',Char
'\119638')
    , (Char
'\120513',Char
'\120513')
    , (Char
'\120539',Char
'\120539')
    , (Char
'\120571',Char
'\120571')
    , (Char
'\120597',Char
'\120597')
    , (Char
'\120629',Char
'\120629')
    , (Char
'\120655',Char
'\120655')
    , (Char
'\120687',Char
'\120687')
    , (Char
'\120713',Char
'\120713')
    , (Char
'\120745',Char
'\120745')
    , (Char
'\120771',Char
'\120771')
    , (Char
'\120832',Char
'\121343')
    , (Char
'\121399',Char
'\121402')
    , (Char
'\121453',Char
'\121460')
    , (Char
'\121462',Char
'\121475')
    , (Char
'\121477',Char
'\121478')
    , (Char
'\123215',Char
'\123215')
    , (Char
'\123647',Char
'\123647')
    , (Char
'\126124',Char
'\126124')
    , (Char
'\126128',Char
'\126128')
    , (Char
'\126254',Char
'\126254')
    , (Char
'\126704',Char
'\126705')
    , (Char
'\126976',Char
'\127019')
    , (Char
'\127024',Char
'\127123')
    , (Char
'\127136',Char
'\127150')
    , (Char
'\127153',Char
'\127167')
    , (Char
'\127169',Char
'\127183')
    , (Char
'\127185',Char
'\127221')
    , (Char
'\127245',Char
'\127405')
    , (Char
'\127462',Char
'\127490')
    , (Char
'\127504',Char
'\127547')
    , (Char
'\127552',Char
'\127560')
    , (Char
'\127568',Char
'\127569')
    , (Char
'\127584',Char
'\127589')
    , (Char
'\127744',Char
'\128727')
    , (Char
'\128736',Char
'\128748')
    , (Char
'\128752',Char
'\128764')
    , (Char
'\128768',Char
'\128883')
    , (Char
'\128896',Char
'\128984')
    , (Char
'\128992',Char
'\129003')
    , (Char
'\129024',Char
'\129035')
    , (Char
'\129040',Char
'\129095')
    , (Char
'\129104',Char
'\129113')
    , (Char
'\129120',Char
'\129159')
    , (Char
'\129168',Char
'\129197')
    , (Char
'\129200',Char
'\129201')
    , (Char
'\129280',Char
'\129400')
    , (Char
'\129402',Char
'\129483')
    , (Char
'\129485',Char
'\129619')
    , (Char
'\129632',Char
'\129645')
    , (Char
'\129648',Char
'\129652')
    , (Char
'\129656',Char
'\129658')
    , (Char
'\129664',Char
'\129670')
    , (Char
'\129680',Char
'\129704')
    , (Char
'\129712',Char
'\129718')
    , (Char
'\129728',Char
'\129730')
    , (Char
'\129744',Char
'\129750')
    , (Char
'\129792',Char
'\129938')
    , (Char
'\129940',Char
'\129994')
    ]

-- ------------------------------------------------------------

isUnicodeSc :: Char -> Bool
isUnicodeSc :: Char -> Bool
isUnicodeSc Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeSc

charPropUnicodeSc :: CharSet
charPropUnicodeSc :: CharSet
charPropUnicodeSc
  = [ (Char
'$',Char
'$')
    , (Char
'\162',Char
'\165')
    , (Char
'\1423',Char
'\1423')
    , (Char
'\1547',Char
'\1547')
    , (Char
'\2046',Char
'\2047')
    , (Char
'\2546',Char
'\2547')
    , (Char
'\2555',Char
'\2555')
    , (Char
'\2801',Char
'\2801')
    , (Char
'\3065',Char
'\3065')
    , (Char
'\3647',Char
'\3647')
    , (Char
'\6107',Char
'\6107')
    , (Char
'\8352',Char
'\8383')
    , (Char
'\43064',Char
'\43064')
    , (Char
'\65020',Char
'\65020')
    , (Char
'\65129',Char
'\65129')
    , (Char
'\65284',Char
'\65284')
    , (Char
'\65504',Char
'\65505')
    , (Char
'\65509',Char
'\65510')
    , (Char
'\73693',Char
'\73696')
    , (Char
'\123647',Char
'\123647')
    , (Char
'\126128',Char
'\126128')
    ]

-- ------------------------------------------------------------

isUnicodeSk :: Char -> Bool
isUnicodeSk :: Char -> Bool
isUnicodeSk Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeSk

charPropUnicodeSk :: CharSet
charPropUnicodeSk :: CharSet
charPropUnicodeSk
  = [ (Char
'^',Char
'^')
    , (Char
'`',Char
'`')
    , (Char
'\168',Char
'\168')
    , (Char
'\175',Char
'\175')
    , (Char
'\180',Char
'\180')
    , (Char
'\184',Char
'\184')
    , (Char
'\706',Char
'\709')
    , (Char
'\722',Char
'\735')
    , (Char
'\741',Char
'\747')
    , (Char
'\749',Char
'\749')
    , (Char
'\751',Char
'\767')
    , (Char
'\885',Char
'\885')
    , (Char
'\900',Char
'\901')
    , (Char
'\8125',Char
'\8125')
    , (Char
'\8127',Char
'\8129')
    , (Char
'\8141',Char
'\8143')
    , (Char
'\8157',Char
'\8159')
    , (Char
'\8173',Char
'\8175')
    , (Char
'\8189',Char
'\8190')
    , (Char
'\12443',Char
'\12444')
    , (Char
'\42752',Char
'\42774')
    , (Char
'\42784',Char
'\42785')
    , (Char
'\42889',Char
'\42890')
    , (Char
'\43867',Char
'\43867')
    , (Char
'\43882',Char
'\43883')
    , (Char
'\64434',Char
'\64449')
    , (Char
'\65342',Char
'\65342')
    , (Char
'\65344',Char
'\65344')
    , (Char
'\65507',Char
'\65507')
    , (Char
'\127995',Char
'\127999')
    ]

-- ------------------------------------------------------------

isUnicodeSm :: Char -> Bool
isUnicodeSm :: Char -> Bool
isUnicodeSm Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeSm

charPropUnicodeSm :: CharSet
charPropUnicodeSm :: CharSet
charPropUnicodeSm
  = [ (Char
'+',Char
'+')
    , (Char
'<',Char
'>')
    , (Char
'|',Char
'|')
    , (Char
'~',Char
'~')
    , (Char
'\172',Char
'\172')
    , (Char
'\177',Char
'\177')
    , (Char
'\215',Char
'\215')
    , (Char
'\247',Char
'\247')
    , (Char
'\1014',Char
'\1014')
    , (Char
'\1542',Char
'\1544')
    , (Char
'\8260',Char
'\8260')
    , (Char
'\8274',Char
'\8274')
    , (Char
'\8314',Char
'\8316')
    , (Char
'\8330',Char
'\8332')
    , (Char
'\8472',Char
'\8472')
    , (Char
'\8512',Char
'\8516')
    , (Char
'\8523',Char
'\8523')
    , (Char
'\8592',Char
'\8596')
    , (Char
'\8602',Char
'\8603')
    , (Char
'\8608',Char
'\8608')
    , (Char
'\8611',Char
'\8611')
    , (Char
'\8614',Char
'\8614')
    , (Char
'\8622',Char
'\8622')
    , (Char
'\8654',Char
'\8655')
    , (Char
'\8658',Char
'\8658')
    , (Char
'\8660',Char
'\8660')
    , (Char
'\8692',Char
'\8959')
    , (Char
'\8992',Char
'\8993')
    , (Char
'\9084',Char
'\9084')
    , (Char
'\9115',Char
'\9139')
    , (Char
'\9180',Char
'\9185')
    , (Char
'\9655',Char
'\9655')
    , (Char
'\9665',Char
'\9665')
    , (Char
'\9720',Char
'\9727')
    , (Char
'\9839',Char
'\9839')
    , (Char
'\10176',Char
'\10180')
    , (Char
'\10183',Char
'\10213')
    , (Char
'\10224',Char
'\10239')
    , (Char
'\10496',Char
'\10626')
    , (Char
'\10649',Char
'\10711')
    , (Char
'\10716',Char
'\10747')
    , (Char
'\10750',Char
'\11007')
    , (Char
'\11056',Char
'\11076')
    , (Char
'\11079',Char
'\11084')
    , (Char
'\64297',Char
'\64297')
    , (Char
'\65122',Char
'\65122')
    , (Char
'\65124',Char
'\65126')
    , (Char
'\65291',Char
'\65291')
    , (Char
'\65308',Char
'\65310')
    , (Char
'\65372',Char
'\65372')
    , (Char
'\65374',Char
'\65374')
    , (Char
'\65506',Char
'\65506')
    , (Char
'\65513',Char
'\65516')
    , (Char
'\120513',Char
'\120513')
    , (Char
'\120539',Char
'\120539')
    , (Char
'\120571',Char
'\120571')
    , (Char
'\120597',Char
'\120597')
    , (Char
'\120629',Char
'\120629')
    , (Char
'\120655',Char
'\120655')
    , (Char
'\120687',Char
'\120687')
    , (Char
'\120713',Char
'\120713')
    , (Char
'\120745',Char
'\120745')
    , (Char
'\120771',Char
'\120771')
    , (Char
'\126704',Char
'\126705')
    ]

-- ------------------------------------------------------------

isUnicodeSo :: Char -> Bool
isUnicodeSo :: Char -> Bool
isUnicodeSo Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeSo

charPropUnicodeSo :: CharSet
charPropUnicodeSo :: CharSet
charPropUnicodeSo
  = [ (Char
'\166',Char
'\166')
    , (Char
'\169',Char
'\169')
    , (Char
'\174',Char
'\174')
    , (Char
'\176',Char
'\176')
    , (Char
'\1154',Char
'\1154')
    , (Char
'\1421',Char
'\1422')
    , (Char
'\1550',Char
'\1551')
    , (Char
'\1758',Char
'\1758')
    , (Char
'\1769',Char
'\1769')
    , (Char
'\1789',Char
'\1790')
    , (Char
'\2038',Char
'\2038')
    , (Char
'\2554',Char
'\2554')
    , (Char
'\2928',Char
'\2928')
    , (Char
'\3059',Char
'\3064')
    , (Char
'\3066',Char
'\3066')
    , (Char
'\3199',Char
'\3199')
    , (Char
'\3407',Char
'\3407')
    , (Char
'\3449',Char
'\3449')
    , (Char
'\3841',Char
'\3843')
    , (Char
'\3859',Char
'\3859')
    , (Char
'\3861',Char
'\3863')
    , (Char
'\3866',Char
'\3871')
    , (Char
'\3892',Char
'\3892')
    , (Char
'\3894',Char
'\3894')
    , (Char
'\3896',Char
'\3896')
    , (Char
'\4030',Char
'\4037')
    , (Char
'\4039',Char
'\4044')
    , (Char
'\4046',Char
'\4047')
    , (Char
'\4053',Char
'\4056')
    , (Char
'\4254',Char
'\4255')
    , (Char
'\5008',Char
'\5017')
    , (Char
'\5741',Char
'\5741')
    , (Char
'\6464',Char
'\6464')
    , (Char
'\6622',Char
'\6655')
    , (Char
'\7009',Char
'\7018')
    , (Char
'\7028',Char
'\7036')
    , (Char
'\8448',Char
'\8449')
    , (Char
'\8451',Char
'\8454')
    , (Char
'\8456',Char
'\8457')
    , (Char
'\8468',Char
'\8468')
    , (Char
'\8470',Char
'\8471')
    , (Char
'\8478',Char
'\8483')
    , (Char
'\8485',Char
'\8485')
    , (Char
'\8487',Char
'\8487')
    , (Char
'\8489',Char
'\8489')
    , (Char
'\8494',Char
'\8494')
    , (Char
'\8506',Char
'\8507')
    , (Char
'\8522',Char
'\8522')
    , (Char
'\8524',Char
'\8525')
    , (Char
'\8527',Char
'\8527')
    , (Char
'\8586',Char
'\8587')
    , (Char
'\8597',Char
'\8601')
    , (Char
'\8604',Char
'\8607')
    , (Char
'\8609',Char
'\8610')
    , (Char
'\8612',Char
'\8613')
    , (Char
'\8615',Char
'\8621')
    , (Char
'\8623',Char
'\8653')
    , (Char
'\8656',Char
'\8657')
    , (Char
'\8659',Char
'\8659')
    , (Char
'\8661',Char
'\8691')
    , (Char
'\8960',Char
'\8967')
    , (Char
'\8972',Char
'\8991')
    , (Char
'\8994',Char
'\9000')
    , (Char
'\9003',Char
'\9083')
    , (Char
'\9085',Char
'\9114')
    , (Char
'\9140',Char
'\9179')
    , (Char
'\9186',Char
'\9254')
    , (Char
'\9280',Char
'\9290')
    , (Char
'\9372',Char
'\9449')
    , (Char
'\9472',Char
'\9654')
    , (Char
'\9656',Char
'\9664')
    , (Char
'\9666',Char
'\9719')
    , (Char
'\9728',Char
'\9838')
    , (Char
'\9840',Char
'\10087')
    , (Char
'\10132',Char
'\10175')
    , (Char
'\10240',Char
'\10495')
    , (Char
'\11008',Char
'\11055')
    , (Char
'\11077',Char
'\11078')
    , (Char
'\11085',Char
'\11123')
    , (Char
'\11126',Char
'\11157')
    , (Char
'\11159',Char
'\11263')
    , (Char
'\11493',Char
'\11498')
    , (Char
'\11856',Char
'\11857')
    , (Char
'\11904',Char
'\11929')
    , (Char
'\11931',Char
'\12019')
    , (Char
'\12032',Char
'\12245')
    , (Char
'\12272',Char
'\12283')
    , (Char
'\12292',Char
'\12292')
    , (Char
'\12306',Char
'\12307')
    , (Char
'\12320',Char
'\12320')
    , (Char
'\12342',Char
'\12343')
    , (Char
'\12350',Char
'\12351')
    , (Char
'\12688',Char
'\12689')
    , (Char
'\12694',Char
'\12703')
    , (Char
'\12736',Char
'\12771')
    , (Char
'\12800',Char
'\12830')
    , (Char
'\12842',Char
'\12871')
    , (Char
'\12880',Char
'\12880')
    , (Char
'\12896',Char
'\12927')
    , (Char
'\12938',Char
'\12976')
    , (Char
'\12992',Char
'\13311')
    , (Char
'\19904',Char
'\19967')
    , (Char
'\42128',Char
'\42182')
    , (Char
'\43048',Char
'\43051')
    , (Char
'\43062',Char
'\43063')
    , (Char
'\43065',Char
'\43065')
    , (Char
'\43639',Char
'\43641')
    , (Char
'\65021',Char
'\65021')
    , (Char
'\65508',Char
'\65508')
    , (Char
'\65512',Char
'\65512')
    , (Char
'\65517',Char
'\65518')
    , (Char
'\65532',Char
'\65533')
    , (Char
'\65847',Char
'\65855')
    , (Char
'\65913',Char
'\65929')
    , (Char
'\65932',Char
'\65934')
    , (Char
'\65936',Char
'\65948')
    , (Char
'\65952',Char
'\65952')
    , (Char
'\66000',Char
'\66044')
    , (Char
'\67703',Char
'\67704')
    , (Char
'\68296',Char
'\68296')
    , (Char
'\71487',Char
'\71487')
    , (Char
'\73685',Char
'\73692')
    , (Char
'\73697',Char
'\73713')
    , (Char
'\92988',Char
'\92991')
    , (Char
'\92997',Char
'\92997')
    , (Char
'\113820',Char
'\113820')
    , (Char
'\118784',Char
'\119029')
    , (Char
'\119040',Char
'\119078')
    , (Char
'\119081',Char
'\119140')
    , (Char
'\119146',Char
'\119148')
    , (Char
'\119171',Char
'\119172')
    , (Char
'\119180',Char
'\119209')
    , (Char
'\119214',Char
'\119272')
    , (Char
'\119296',Char
'\119361')
    , (Char
'\119365',Char
'\119365')
    , (Char
'\119552',Char
'\119638')
    , (Char
'\120832',Char
'\121343')
    , (Char
'\121399',Char
'\121402')
    , (Char
'\121453',Char
'\121460')
    , (Char
'\121462',Char
'\121475')
    , (Char
'\121477',Char
'\121478')
    , (Char
'\123215',Char
'\123215')
    , (Char
'\126124',Char
'\126124')
    , (Char
'\126254',Char
'\126254')
    , (Char
'\126976',Char
'\127019')
    , (Char
'\127024',Char
'\127123')
    , (Char
'\127136',Char
'\127150')
    , (Char
'\127153',Char
'\127167')
    , (Char
'\127169',Char
'\127183')
    , (Char
'\127185',Char
'\127221')
    , (Char
'\127245',Char
'\127405')
    , (Char
'\127462',Char
'\127490')
    , (Char
'\127504',Char
'\127547')
    , (Char
'\127552',Char
'\127560')
    , (Char
'\127568',Char
'\127569')
    , (Char
'\127584',Char
'\127589')
    , (Char
'\127744',Char
'\127994')
    , (Char
'\128000',Char
'\128727')
    , (Char
'\128736',Char
'\128748')
    , (Char
'\128752',Char
'\128764')
    , (Char
'\128768',Char
'\128883')
    , (Char
'\128896',Char
'\128984')
    , (Char
'\128992',Char
'\129003')
    , (Char
'\129024',Char
'\129035')
    , (Char
'\129040',Char
'\129095')
    , (Char
'\129104',Char
'\129113')
    , (Char
'\129120',Char
'\129159')
    , (Char
'\129168',Char
'\129197')
    , (Char
'\129200',Char
'\129201')
    , (Char
'\129280',Char
'\129400')
    , (Char
'\129402',Char
'\129483')
    , (Char
'\129485',Char
'\129619')
    , (Char
'\129632',Char
'\129645')
    , (Char
'\129648',Char
'\129652')
    , (Char
'\129656',Char
'\129658')
    , (Char
'\129664',Char
'\129670')
    , (Char
'\129680',Char
'\129704')
    , (Char
'\129712',Char
'\129718')
    , (Char
'\129728',Char
'\129730')
    , (Char
'\129744',Char
'\129750')
    , (Char
'\129792',Char
'\129938')
    , (Char
'\129940',Char
'\129994')
    ]

-- ------------------------------------------------------------

isUnicodeZ :: Char -> Bool
isUnicodeZ :: Char -> Bool
isUnicodeZ Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeZ

charPropUnicodeZ :: CharSet
charPropUnicodeZ :: CharSet
charPropUnicodeZ
  = [ (Char
' ',Char
' ')
    , (Char
'\160',Char
'\160')
    , (Char
'\5760',Char
'\5760')
    , (Char
'\8192',Char
'\8202')
    , (Char
'\8232',Char
'\8233')
    , (Char
'\8239',Char
'\8239')
    , (Char
'\8287',Char
'\8287')
    , (Char
'\12288',Char
'\12288')
    ]

-- ------------------------------------------------------------

isUnicodeZl :: Char -> Bool
isUnicodeZl :: Char -> Bool
isUnicodeZl Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeZl

charPropUnicodeZl :: CharSet
charPropUnicodeZl :: CharSet
charPropUnicodeZl
  = [ (Char
'\8232',Char
'\8232')
    ]

-- ------------------------------------------------------------

isUnicodeZp :: Char -> Bool
isUnicodeZp :: Char -> Bool
isUnicodeZp Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeZp

charPropUnicodeZp :: CharSet
charPropUnicodeZp :: CharSet
charPropUnicodeZp
  = [ (Char
'\8233',Char
'\8233')
    ]

-- ------------------------------------------------------------

isUnicodeZs :: Char -> Bool
isUnicodeZs :: Char -> Bool
isUnicodeZs Char
c
  = Char -> CharSet -> Bool
elemCS Char
c CharSet
charPropUnicodeZs

charPropUnicodeZs :: CharSet
charPropUnicodeZs :: CharSet
charPropUnicodeZs
  = [ (Char
' ',Char
' ')
    , (Char
'\160',Char
'\160')
    , (Char
'\5760',Char
'\5760')
    , (Char
'\8192',Char
'\8202')
    , (Char
'\8239',Char
'\8239')
    , (Char
'\8287',Char
'\8287')
    , (Char
'\12288',Char
'\12288')
    ]

-- ------------------------------------------------------------