-- autogenerated from https://www.unicode.org/Public/15.0.0/ucd/extracted/DerivedNumericValues.txt
-- |
-- Module      : Unicode.Internal.Char.DerivedNumericValues
-- Copyright   : (c) 2022 Composewell Technologies and Contributors
-- License     : Apache-2.0
-- Maintainer  : streamly@composewell.com
-- Stability   : experimental

{-# LANGUAGE LambdaCase #-}
{-# OPTIONS_HADDOCK hide #-}

module Unicode.Internal.Char.DerivedNumericValues
(numericValue)
where

import Data.Ratio ((%))

numericValue :: Char -> Maybe Rational
numericValue = \case
  '0' -> Just 0
  '1' -> Just 1
  '2' -> Just 2
  '3' -> Just 3
  '4' -> Just 4
  '5' -> Just 5
  '6' -> Just 6
  '7' -> Just 7
  '8' -> Just 8
  '9' -> Just 9
  '\178' -> Just 2
  '\179' -> Just 3
  '\185' -> Just 1
  '\188' -> Just (1 % 4)
  '\189' -> Just (1 % 2)
  '\190' -> Just (3 % 4)
  '\1632' -> Just 0
  '\1633' -> Just 1
  '\1634' -> Just 2
  '\1635' -> Just 3
  '\1636' -> Just 4
  '\1637' -> Just 5
  '\1638' -> Just 6
  '\1639' -> Just 7
  '\1640' -> Just 8
  '\1641' -> Just 9
  '\1776' -> Just 0
  '\1777' -> Just 1
  '\1778' -> Just 2
  '\1779' -> Just 3
  '\1780' -> Just 4
  '\1781' -> Just 5
  '\1782' -> Just 6
  '\1783' -> Just 7
  '\1784' -> Just 8
  '\1785' -> Just 9
  '\1984' -> Just 0
  '\1985' -> Just 1
  '\1986' -> Just 2
  '\1987' -> Just 3
  '\1988' -> Just 4
  '\1989' -> Just 5
  '\1990' -> Just 6
  '\1991' -> Just 7
  '\1992' -> Just 8
  '\1993' -> Just 9
  '\2406' -> Just 0
  '\2407' -> Just 1
  '\2408' -> Just 2
  '\2409' -> Just 3
  '\2410' -> Just 4
  '\2411' -> Just 5
  '\2412' -> Just 6
  '\2413' -> Just 7
  '\2414' -> Just 8
  '\2415' -> Just 9
  '\2534' -> Just 0
  '\2535' -> Just 1
  '\2536' -> Just 2
  '\2537' -> Just 3
  '\2538' -> Just 4
  '\2539' -> Just 5
  '\2540' -> Just 6
  '\2541' -> Just 7
  '\2542' -> Just 8
  '\2543' -> Just 9
  '\2548' -> Just (1 % 16)
  '\2549' -> Just (1 % 8)
  '\2550' -> Just (3 % 16)
  '\2551' -> Just (1 % 4)
  '\2552' -> Just (3 % 4)
  '\2553' -> Just 16
  '\2662' -> Just 0
  '\2663' -> Just 1
  '\2664' -> Just 2
  '\2665' -> Just 3
  '\2666' -> Just 4
  '\2667' -> Just 5
  '\2668' -> Just 6
  '\2669' -> Just 7
  '\2670' -> Just 8
  '\2671' -> Just 9
  '\2790' -> Just 0
  '\2791' -> Just 1
  '\2792' -> Just 2
  '\2793' -> Just 3
  '\2794' -> Just 4
  '\2795' -> Just 5
  '\2796' -> Just 6
  '\2797' -> Just 7
  '\2798' -> Just 8
  '\2799' -> Just 9
  '\2918' -> Just 0
  '\2919' -> Just 1
  '\2920' -> Just 2
  '\2921' -> Just 3
  '\2922' -> Just 4
  '\2923' -> Just 5
  '\2924' -> Just 6
  '\2925' -> Just 7
  '\2926' -> Just 8
  '\2927' -> Just 9
  '\2930' -> Just (1 % 4)
  '\2931' -> Just (1 % 2)
  '\2932' -> Just (3 % 4)
  '\2933' -> Just (1 % 16)
  '\2934' -> Just (1 % 8)
  '\2935' -> Just (3 % 16)
  '\3046' -> Just 0
  '\3047' -> Just 1
  '\3048' -> Just 2
  '\3049' -> Just 3
  '\3050' -> Just 4
  '\3051' -> Just 5
  '\3052' -> Just 6
  '\3053' -> Just 7
  '\3054' -> Just 8
  '\3055' -> Just 9
  '\3056' -> Just 10
  '\3057' -> Just 100
  '\3058' -> Just 1000
  '\3174' -> Just 0
  '\3175' -> Just 1
  '\3176' -> Just 2
  '\3177' -> Just 3
  '\3178' -> Just 4
  '\3179' -> Just 5
  '\3180' -> Just 6
  '\3181' -> Just 7
  '\3182' -> Just 8
  '\3183' -> Just 9
  '\3192' -> Just 0
  '\3193' -> Just 1
  '\3194' -> Just 2
  '\3195' -> Just 3
  '\3196' -> Just 1
  '\3197' -> Just 2
  '\3198' -> Just 3
  '\3302' -> Just 0
  '\3303' -> Just 1
  '\3304' -> Just 2
  '\3305' -> Just 3
  '\3306' -> Just 4
  '\3307' -> Just 5
  '\3308' -> Just 6
  '\3309' -> Just 7
  '\3310' -> Just 8
  '\3311' -> Just 9
  '\3416' -> Just (1 % 160)
  '\3417' -> Just (1 % 40)
  '\3418' -> Just (3 % 80)
  '\3419' -> Just (1 % 20)
  '\3420' -> Just (1 % 10)
  '\3421' -> Just (3 % 20)
  '\3422' -> Just (1 % 5)
  '\3430' -> Just 0
  '\3431' -> Just 1
  '\3432' -> Just 2
  '\3433' -> Just 3
  '\3434' -> Just 4
  '\3435' -> Just 5
  '\3436' -> Just 6
  '\3437' -> Just 7
  '\3438' -> Just 8
  '\3439' -> Just 9
  '\3440' -> Just 10
  '\3441' -> Just 100
  '\3442' -> Just 1000
  '\3443' -> Just (1 % 4)
  '\3444' -> Just (1 % 2)
  '\3445' -> Just (3 % 4)
  '\3446' -> Just (1 % 16)
  '\3447' -> Just (1 % 8)
  '\3448' -> Just (3 % 16)
  '\3558' -> Just 0
  '\3559' -> Just 1
  '\3560' -> Just 2
  '\3561' -> Just 3
  '\3562' -> Just 4
  '\3563' -> Just 5
  '\3564' -> Just 6
  '\3565' -> Just 7
  '\3566' -> Just 8
  '\3567' -> Just 9
  '\3664' -> Just 0
  '\3665' -> Just 1
  '\3666' -> Just 2
  '\3667' -> Just 3
  '\3668' -> Just 4
  '\3669' -> Just 5
  '\3670' -> Just 6
  '\3671' -> Just 7
  '\3672' -> Just 8
  '\3673' -> Just 9
  '\3792' -> Just 0
  '\3793' -> Just 1
  '\3794' -> Just 2
  '\3795' -> Just 3
  '\3796' -> Just 4
  '\3797' -> Just 5
  '\3798' -> Just 6
  '\3799' -> Just 7
  '\3800' -> Just 8
  '\3801' -> Just 9
  '\3872' -> Just 0
  '\3873' -> Just 1
  '\3874' -> Just 2
  '\3875' -> Just 3
  '\3876' -> Just 4
  '\3877' -> Just 5
  '\3878' -> Just 6
  '\3879' -> Just 7
  '\3880' -> Just 8
  '\3881' -> Just 9
  '\3882' -> Just (1 % 2)
  '\3883' -> Just (3 % 2)
  '\3884' -> Just (5 % 2)
  '\3885' -> Just (7 % 2)
  '\3886' -> Just (9 % 2)
  '\3887' -> Just (11 % 2)
  '\3888' -> Just (13 % 2)
  '\3889' -> Just (15 % 2)
  '\3890' -> Just (17 % 2)
  '\3891' -> Just ((-1) % 2)
  '\4160' -> Just 0
  '\4161' -> Just 1
  '\4162' -> Just 2
  '\4163' -> Just 3
  '\4164' -> Just 4
  '\4165' -> Just 5
  '\4166' -> Just 6
  '\4167' -> Just 7
  '\4168' -> Just 8
  '\4169' -> Just 9
  '\4240' -> Just 0
  '\4241' -> Just 1
  '\4242' -> Just 2
  '\4243' -> Just 3
  '\4244' -> Just 4
  '\4245' -> Just 5
  '\4246' -> Just 6
  '\4247' -> Just 7
  '\4248' -> Just 8
  '\4249' -> Just 9
  '\4969' -> Just 1
  '\4970' -> Just 2
  '\4971' -> Just 3
  '\4972' -> Just 4
  '\4973' -> Just 5
  '\4974' -> Just 6
  '\4975' -> Just 7
  '\4976' -> Just 8
  '\4977' -> Just 9
  '\4978' -> Just 10
  '\4979' -> Just 20
  '\4980' -> Just 30
  '\4981' -> Just 40
  '\4982' -> Just 50
  '\4983' -> Just 60
  '\4984' -> Just 70
  '\4985' -> Just 80
  '\4986' -> Just 90
  '\4987' -> Just 100
  '\4988' -> Just 10000
  '\5870' -> Just 17
  '\5871' -> Just 18
  '\5872' -> Just 19
  '\6112' -> Just 0
  '\6113' -> Just 1
  '\6114' -> Just 2
  '\6115' -> Just 3
  '\6116' -> Just 4
  '\6117' -> Just 5
  '\6118' -> Just 6
  '\6119' -> Just 7
  '\6120' -> Just 8
  '\6121' -> Just 9
  '\6128' -> Just 0
  '\6129' -> Just 1
  '\6130' -> Just 2
  '\6131' -> Just 3
  '\6132' -> Just 4
  '\6133' -> Just 5
  '\6134' -> Just 6
  '\6135' -> Just 7
  '\6136' -> Just 8
  '\6137' -> Just 9
  '\6160' -> Just 0
  '\6161' -> Just 1
  '\6162' -> Just 2
  '\6163' -> Just 3
  '\6164' -> Just 4
  '\6165' -> Just 5
  '\6166' -> Just 6
  '\6167' -> Just 7
  '\6168' -> Just 8
  '\6169' -> Just 9
  '\6470' -> Just 0
  '\6471' -> Just 1
  '\6472' -> Just 2
  '\6473' -> Just 3
  '\6474' -> Just 4
  '\6475' -> Just 5
  '\6476' -> Just 6
  '\6477' -> Just 7
  '\6478' -> Just 8
  '\6479' -> Just 9
  '\6608' -> Just 0
  '\6609' -> Just 1
  '\6610' -> Just 2
  '\6611' -> Just 3
  '\6612' -> Just 4
  '\6613' -> Just 5
  '\6614' -> Just 6
  '\6615' -> Just 7
  '\6616' -> Just 8
  '\6617' -> Just 9
  '\6618' -> Just 1
  '\6784' -> Just 0
  '\6785' -> Just 1
  '\6786' -> Just 2
  '\6787' -> Just 3
  '\6788' -> Just 4
  '\6789' -> Just 5
  '\6790' -> Just 6
  '\6791' -> Just 7
  '\6792' -> Just 8
  '\6793' -> Just 9
  '\6800' -> Just 0
  '\6801' -> Just 1
  '\6802' -> Just 2
  '\6803' -> Just 3
  '\6804' -> Just 4
  '\6805' -> Just 5
  '\6806' -> Just 6
  '\6807' -> Just 7
  '\6808' -> Just 8
  '\6809' -> Just 9
  '\6992' -> Just 0
  '\6993' -> Just 1
  '\6994' -> Just 2
  '\6995' -> Just 3
  '\6996' -> Just 4
  '\6997' -> Just 5
  '\6998' -> Just 6
  '\6999' -> Just 7
  '\7000' -> Just 8
  '\7001' -> Just 9
  '\7088' -> Just 0
  '\7089' -> Just 1
  '\7090' -> Just 2
  '\7091' -> Just 3
  '\7092' -> Just 4
  '\7093' -> Just 5
  '\7094' -> Just 6
  '\7095' -> Just 7
  '\7096' -> Just 8
  '\7097' -> Just 9
  '\7232' -> Just 0
  '\7233' -> Just 1
  '\7234' -> Just 2
  '\7235' -> Just 3
  '\7236' -> Just 4
  '\7237' -> Just 5
  '\7238' -> Just 6
  '\7239' -> Just 7
  '\7240' -> Just 8
  '\7241' -> Just 9
  '\7248' -> Just 0
  '\7249' -> Just 1
  '\7250' -> Just 2
  '\7251' -> Just 3
  '\7252' -> Just 4
  '\7253' -> Just 5
  '\7254' -> Just 6
  '\7255' -> Just 7
  '\7256' -> Just 8
  '\7257' -> Just 9
  '\8304' -> Just 0
  '\8308' -> Just 4
  '\8309' -> Just 5
  '\8310' -> Just 6
  '\8311' -> Just 7
  '\8312' -> Just 8
  '\8313' -> Just 9
  '\8320' -> Just 0
  '\8321' -> Just 1
  '\8322' -> Just 2
  '\8323' -> Just 3
  '\8324' -> Just 4
  '\8325' -> Just 5
  '\8326' -> Just 6
  '\8327' -> Just 7
  '\8328' -> Just 8
  '\8329' -> Just 9
  '\8528' -> Just (1 % 7)
  '\8529' -> Just (1 % 9)
  '\8530' -> Just (1 % 10)
  '\8531' -> Just (1 % 3)
  '\8532' -> Just (2 % 3)
  '\8533' -> Just (1 % 5)
  '\8534' -> Just (2 % 5)
  '\8535' -> Just (3 % 5)
  '\8536' -> Just (4 % 5)
  '\8537' -> Just (1 % 6)
  '\8538' -> Just (5 % 6)
  '\8539' -> Just (1 % 8)
  '\8540' -> Just (3 % 8)
  '\8541' -> Just (5 % 8)
  '\8542' -> Just (7 % 8)
  '\8543' -> Just 1
  '\8544' -> Just 1
  '\8545' -> Just 2
  '\8546' -> Just 3
  '\8547' -> Just 4
  '\8548' -> Just 5
  '\8549' -> Just 6
  '\8550' -> Just 7
  '\8551' -> Just 8
  '\8552' -> Just 9
  '\8553' -> Just 10
  '\8554' -> Just 11
  '\8555' -> Just 12
  '\8556' -> Just 50
  '\8557' -> Just 100
  '\8558' -> Just 500
  '\8559' -> Just 1000
  '\8560' -> Just 1
  '\8561' -> Just 2
  '\8562' -> Just 3
  '\8563' -> Just 4
  '\8564' -> Just 5
  '\8565' -> Just 6
  '\8566' -> Just 7
  '\8567' -> Just 8
  '\8568' -> Just 9
  '\8569' -> Just 10
  '\8570' -> Just 11
  '\8571' -> Just 12
  '\8572' -> Just 50
  '\8573' -> Just 100
  '\8574' -> Just 500
  '\8575' -> Just 1000
  '\8576' -> Just 1000
  '\8577' -> Just 5000
  '\8578' -> Just 10000
  '\8581' -> Just 6
  '\8582' -> Just 50
  '\8583' -> Just 50000
  '\8584' -> Just 100000
  '\8585' -> Just 0
  '\9312' -> Just 1
  '\9313' -> Just 2
  '\9314' -> Just 3
  '\9315' -> Just 4
  '\9316' -> Just 5
  '\9317' -> Just 6
  '\9318' -> Just 7
  '\9319' -> Just 8
  '\9320' -> Just 9
  '\9321' -> Just 10
  '\9322' -> Just 11
  '\9323' -> Just 12
  '\9324' -> Just 13
  '\9325' -> Just 14
  '\9326' -> Just 15
  '\9327' -> Just 16
  '\9328' -> Just 17
  '\9329' -> Just 18
  '\9330' -> Just 19
  '\9331' -> Just 20
  '\9332' -> Just 1
  '\9333' -> Just 2
  '\9334' -> Just 3
  '\9335' -> Just 4
  '\9336' -> Just 5
  '\9337' -> Just 6
  '\9338' -> Just 7
  '\9339' -> Just 8
  '\9340' -> Just 9
  '\9341' -> Just 10
  '\9342' -> Just 11
  '\9343' -> Just 12
  '\9344' -> Just 13
  '\9345' -> Just 14
  '\9346' -> Just 15
  '\9347' -> Just 16
  '\9348' -> Just 17
  '\9349' -> Just 18
  '\9350' -> Just 19
  '\9351' -> Just 20
  '\9352' -> Just 1
  '\9353' -> Just 2
  '\9354' -> Just 3
  '\9355' -> Just 4
  '\9356' -> Just 5
  '\9357' -> Just 6
  '\9358' -> Just 7
  '\9359' -> Just 8
  '\9360' -> Just 9
  '\9361' -> Just 10
  '\9362' -> Just 11
  '\9363' -> Just 12
  '\9364' -> Just 13
  '\9365' -> Just 14
  '\9366' -> Just 15
  '\9367' -> Just 16
  '\9368' -> Just 17
  '\9369' -> Just 18
  '\9370' -> Just 19
  '\9371' -> Just 20
  '\9450' -> Just 0
  '\9451' -> Just 11
  '\9452' -> Just 12
  '\9453' -> Just 13
  '\9454' -> Just 14
  '\9455' -> Just 15
  '\9456' -> Just 16
  '\9457' -> Just 17
  '\9458' -> Just 18
  '\9459' -> Just 19
  '\9460' -> Just 20
  '\9461' -> Just 1
  '\9462' -> Just 2
  '\9463' -> Just 3
  '\9464' -> Just 4
  '\9465' -> Just 5
  '\9466' -> Just 6
  '\9467' -> Just 7
  '\9468' -> Just 8
  '\9469' -> Just 9
  '\9470' -> Just 10
  '\9471' -> Just 0
  '\10102' -> Just 1
  '\10103' -> Just 2
  '\10104' -> Just 3
  '\10105' -> Just 4
  '\10106' -> Just 5
  '\10107' -> Just 6
  '\10108' -> Just 7
  '\10109' -> Just 8
  '\10110' -> Just 9
  '\10111' -> Just 10
  '\10112' -> Just 1
  '\10113' -> Just 2
  '\10114' -> Just 3
  '\10115' -> Just 4
  '\10116' -> Just 5
  '\10117' -> Just 6
  '\10118' -> Just 7
  '\10119' -> Just 8
  '\10120' -> Just 9
  '\10121' -> Just 10
  '\10122' -> Just 1
  '\10123' -> Just 2
  '\10124' -> Just 3
  '\10125' -> Just 4
  '\10126' -> Just 5
  '\10127' -> Just 6
  '\10128' -> Just 7
  '\10129' -> Just 8
  '\10130' -> Just 9
  '\10131' -> Just 10
  '\11517' -> Just (1 % 2)
  '\12295' -> Just 0
  '\12321' -> Just 1
  '\12322' -> Just 2
  '\12323' -> Just 3
  '\12324' -> Just 4
  '\12325' -> Just 5
  '\12326' -> Just 6
  '\12327' -> Just 7
  '\12328' -> Just 8
  '\12329' -> Just 9
  '\12344' -> Just 10
  '\12345' -> Just 20
  '\12346' -> Just 30
  '\12690' -> Just 1
  '\12691' -> Just 2
  '\12692' -> Just 3
  '\12693' -> Just 4
  '\12832' -> Just 1
  '\12833' -> Just 2
  '\12834' -> Just 3
  '\12835' -> Just 4
  '\12836' -> Just 5
  '\12837' -> Just 6
  '\12838' -> Just 7
  '\12839' -> Just 8
  '\12840' -> Just 9
  '\12841' -> Just 10
  '\12872' -> Just 10
  '\12873' -> Just 20
  '\12874' -> Just 30
  '\12875' -> Just 40
  '\12876' -> Just 50
  '\12877' -> Just 60
  '\12878' -> Just 70
  '\12879' -> Just 80
  '\12881' -> Just 21
  '\12882' -> Just 22
  '\12883' -> Just 23
  '\12884' -> Just 24
  '\12885' -> Just 25
  '\12886' -> Just 26
  '\12887' -> Just 27
  '\12888' -> Just 28
  '\12889' -> Just 29
  '\12890' -> Just 30
  '\12891' -> Just 31
  '\12892' -> Just 32
  '\12893' -> Just 33
  '\12894' -> Just 34
  '\12895' -> Just 35
  '\12928' -> Just 1
  '\12929' -> Just 2
  '\12930' -> Just 3
  '\12931' -> Just 4
  '\12932' -> Just 5
  '\12933' -> Just 6
  '\12934' -> Just 7
  '\12935' -> Just 8
  '\12936' -> Just 9
  '\12937' -> Just 10
  '\12977' -> Just 36
  '\12978' -> Just 37
  '\12979' -> Just 38
  '\12980' -> Just 39
  '\12981' -> Just 40
  '\12982' -> Just 41
  '\12983' -> Just 42
  '\12984' -> Just 43
  '\12985' -> Just 44
  '\12986' -> Just 45
  '\12987' -> Just 46
  '\12988' -> Just 47
  '\12989' -> Just 48
  '\12990' -> Just 49
  '\12991' -> Just 50
  '\13317' -> Just 5
  '\13443' -> Just 2
  '\14378' -> Just 5
  '\15181' -> Just 7
  '\19968' -> Just 1
  '\19971' -> Just 7
  '\19975' -> Just 10000
  '\19977' -> Just 3
  '\20061' -> Just 9
  '\20108' -> Just 2
  '\20116' -> Just 5
  '\20118' -> Just 4
  '\20159' -> Just 100000000
  '\20160' -> Just 10
  '\20191' -> Just 1000
  '\20200' -> Just 3
  '\20237' -> Just 5
  '\20336' -> Just 100
  '\20740' -> Just 100000000
  '\20806' -> Just 1000000000000
  '\20841' -> Just 2
  '\20843' -> Just 8
  '\20845' -> Just 6
  '\21313' -> Just 10
  '\21315' -> Just 1000
  '\21316' -> Just 20
  '\21317' -> Just 30
  '\21324' -> Just 40
  '\21441' -> Just 3
  '\21442' -> Just 3
  '\21443' -> Just 3
  '\21444' -> Just 3
  '\22235' -> Just 4
  '\22769' -> Just 1
  '\22777' -> Just 1
  '\24186' -> Just 1
  '\24318' -> Just 9
  '\24319' -> Just 20
  '\24332' -> Just 1
  '\24333' -> Just 2
  '\24334' -> Just 3
  '\24336' -> Just 2
  '\25342' -> Just 10
  '\25420' -> Just 8
  '\26578' -> Just 7
  '\28422' -> Just 7
  '\29590' -> Just 9
  '\30334' -> Just 100
  '\32902' -> Just 4
  '\33836' -> Just 10000
  '\36014' -> Just 2
  '\36019' -> Just 2
  '\36144' -> Just 2
  '\38433' -> Just 1000
  '\38470' -> Just 6
  '\38476' -> Just 100
  '\38520' -> Just 6
  '\38646' -> Just 0
  '\42528' -> Just 0
  '\42529' -> Just 1
  '\42530' -> Just 2
  '\42531' -> Just 3
  '\42532' -> Just 4
  '\42533' -> Just 5
  '\42534' -> Just 6
  '\42535' -> Just 7
  '\42536' -> Just 8
  '\42537' -> Just 9
  '\42726' -> Just 1
  '\42727' -> Just 2
  '\42728' -> Just 3
  '\42729' -> Just 4
  '\42730' -> Just 5
  '\42731' -> Just 6
  '\42732' -> Just 7
  '\42733' -> Just 8
  '\42734' -> Just 9
  '\42735' -> Just 0
  '\43056' -> Just (1 % 4)
  '\43057' -> Just (1 % 2)
  '\43058' -> Just (3 % 4)
  '\43059' -> Just (1 % 16)
  '\43060' -> Just (1 % 8)
  '\43061' -> Just (3 % 16)
  '\43216' -> Just 0
  '\43217' -> Just 1
  '\43218' -> Just 2
  '\43219' -> Just 3
  '\43220' -> Just 4
  '\43221' -> Just 5
  '\43222' -> Just 6
  '\43223' -> Just 7
  '\43224' -> Just 8
  '\43225' -> Just 9
  '\43264' -> Just 0
  '\43265' -> Just 1
  '\43266' -> Just 2
  '\43267' -> Just 3
  '\43268' -> Just 4
  '\43269' -> Just 5
  '\43270' -> Just 6
  '\43271' -> Just 7
  '\43272' -> Just 8
  '\43273' -> Just 9
  '\43472' -> Just 0
  '\43473' -> Just 1
  '\43474' -> Just 2
  '\43475' -> Just 3
  '\43476' -> Just 4
  '\43477' -> Just 5
  '\43478' -> Just 6
  '\43479' -> Just 7
  '\43480' -> Just 8
  '\43481' -> Just 9
  '\43504' -> Just 0
  '\43505' -> Just 1
  '\43506' -> Just 2
  '\43507' -> Just 3
  '\43508' -> Just 4
  '\43509' -> Just 5
  '\43510' -> Just 6
  '\43511' -> Just 7
  '\43512' -> Just 8
  '\43513' -> Just 9
  '\43600' -> Just 0
  '\43601' -> Just 1
  '\43602' -> Just 2
  '\43603' -> Just 3
  '\43604' -> Just 4
  '\43605' -> Just 5
  '\43606' -> Just 6
  '\43607' -> Just 7
  '\43608' -> Just 8
  '\43609' -> Just 9
  '\44016' -> Just 0
  '\44017' -> Just 1
  '\44018' -> Just 2
  '\44019' -> Just 3
  '\44020' -> Just 4
  '\44021' -> Just 5
  '\44022' -> Just 6
  '\44023' -> Just 7
  '\44024' -> Just 8
  '\44025' -> Just 9
  '\63851' -> Just 3
  '\63859' -> Just 10
  '\63864' -> Just 2
  '\63922' -> Just 0
  '\63953' -> Just 6
  '\63955' -> Just 6
  '\63997' -> Just 10
  '\65296' -> Just 0
  '\65297' -> Just 1
  '\65298' -> Just 2
  '\65299' -> Just 3
  '\65300' -> Just 4
  '\65301' -> Just 5
  '\65302' -> Just 6
  '\65303' -> Just 7
  '\65304' -> Just 8
  '\65305' -> Just 9
  '\65799' -> Just 1
  '\65800' -> Just 2
  '\65801' -> Just 3
  '\65802' -> Just 4
  '\65803' -> Just 5
  '\65804' -> Just 6
  '\65805' -> Just 7
  '\65806' -> Just 8
  '\65807' -> Just 9
  '\65808' -> Just 10
  '\65809' -> Just 20
  '\65810' -> Just 30
  '\65811' -> Just 40
  '\65812' -> Just 50
  '\65813' -> Just 60
  '\65814' -> Just 70
  '\65815' -> Just 80
  '\65816' -> Just 90
  '\65817' -> Just 100
  '\65818' -> Just 200
  '\65819' -> Just 300
  '\65820' -> Just 400
  '\65821' -> Just 500
  '\65822' -> Just 600
  '\65823' -> Just 700
  '\65824' -> Just 800
  '\65825' -> Just 900
  '\65826' -> Just 1000
  '\65827' -> Just 2000
  '\65828' -> Just 3000
  '\65829' -> Just 4000
  '\65830' -> Just 5000
  '\65831' -> Just 6000
  '\65832' -> Just 7000
  '\65833' -> Just 8000
  '\65834' -> Just 9000
  '\65835' -> Just 10000
  '\65836' -> Just 20000
  '\65837' -> Just 30000
  '\65838' -> Just 40000
  '\65839' -> Just 50000
  '\65840' -> Just 60000
  '\65841' -> Just 70000
  '\65842' -> Just 80000
  '\65843' -> Just 90000
  '\65856' -> Just (1 % 4)
  '\65857' -> Just (1 % 2)
  '\65858' -> Just 1
  '\65859' -> Just 5
  '\65860' -> Just 50
  '\65861' -> Just 500
  '\65862' -> Just 5000
  '\65863' -> Just 50000
  '\65864' -> Just 5
  '\65865' -> Just 10
  '\65866' -> Just 50
  '\65867' -> Just 100
  '\65868' -> Just 500
  '\65869' -> Just 1000
  '\65870' -> Just 5000
  '\65871' -> Just 5
  '\65872' -> Just 10
  '\65873' -> Just 50
  '\65874' -> Just 100
  '\65875' -> Just 500
  '\65876' -> Just 1000
  '\65877' -> Just 10000
  '\65878' -> Just 50000
  '\65879' -> Just 10
  '\65880' -> Just 1
  '\65881' -> Just 1
  '\65882' -> Just 1
  '\65883' -> Just 2
  '\65884' -> Just 2
  '\65885' -> Just 2
  '\65886' -> Just 2
  '\65887' -> Just 5
  '\65888' -> Just 10
  '\65889' -> Just 10
  '\65890' -> Just 10
  '\65891' -> Just 10
  '\65892' -> Just 10
  '\65893' -> Just 30
  '\65894' -> Just 50
  '\65895' -> Just 50
  '\65896' -> Just 50
  '\65897' -> Just 50
  '\65898' -> Just 100
  '\65899' -> Just 300
  '\65900' -> Just 500
  '\65901' -> Just 500
  '\65902' -> Just 500
  '\65903' -> Just 500
  '\65904' -> Just 500
  '\65905' -> Just 1000
  '\65906' -> Just 5000
  '\65907' -> Just 5
  '\65908' -> Just 50
  '\65909' -> Just (1 % 2)
  '\65910' -> Just (1 % 2)
  '\65911' -> Just (2 % 3)
  '\65912' -> Just (3 % 4)
  '\65930' -> Just 0
  '\65931' -> Just (1 % 4)
  '\66273' -> Just 1
  '\66274' -> Just 2
  '\66275' -> Just 3
  '\66276' -> Just 4
  '\66277' -> Just 5
  '\66278' -> Just 6
  '\66279' -> Just 7
  '\66280' -> Just 8
  '\66281' -> Just 9
  '\66282' -> Just 10
  '\66283' -> Just 20
  '\66284' -> Just 30
  '\66285' -> Just 40
  '\66286' -> Just 50
  '\66287' -> Just 60
  '\66288' -> Just 70
  '\66289' -> Just 80
  '\66290' -> Just 90
  '\66291' -> Just 100
  '\66292' -> Just 200
  '\66293' -> Just 300
  '\66294' -> Just 400
  '\66295' -> Just 500
  '\66296' -> Just 600
  '\66297' -> Just 700
  '\66298' -> Just 800
  '\66299' -> Just 900
  '\66336' -> Just 1
  '\66337' -> Just 5
  '\66338' -> Just 10
  '\66339' -> Just 50
  '\66369' -> Just 90
  '\66378' -> Just 900
  '\66513' -> Just 1
  '\66514' -> Just 2
  '\66515' -> Just 10
  '\66516' -> Just 20
  '\66517' -> Just 100
  '\66720' -> Just 0
  '\66721' -> Just 1
  '\66722' -> Just 2
  '\66723' -> Just 3
  '\66724' -> Just 4
  '\66725' -> Just 5
  '\66726' -> Just 6
  '\66727' -> Just 7
  '\66728' -> Just 8
  '\66729' -> Just 9
  '\67672' -> Just 1
  '\67673' -> Just 2
  '\67674' -> Just 3
  '\67675' -> Just 10
  '\67676' -> Just 20
  '\67677' -> Just 100
  '\67678' -> Just 1000
  '\67679' -> Just 10000
  '\67705' -> Just 1
  '\67706' -> Just 2
  '\67707' -> Just 3
  '\67708' -> Just 4
  '\67709' -> Just 5
  '\67710' -> Just 10
  '\67711' -> Just 20
  '\67751' -> Just 1
  '\67752' -> Just 2
  '\67753' -> Just 3
  '\67754' -> Just 4
  '\67755' -> Just 4
  '\67756' -> Just 5
  '\67757' -> Just 10
  '\67758' -> Just 20
  '\67759' -> Just 100
  '\67835' -> Just 1
  '\67836' -> Just 5
  '\67837' -> Just 10
  '\67838' -> Just 20
  '\67839' -> Just 100
  '\67862' -> Just 1
  '\67863' -> Just 10
  '\67864' -> Just 20
  '\67865' -> Just 100
  '\67866' -> Just 2
  '\67867' -> Just 3
  '\68028' -> Just (11 % 12)
  '\68029' -> Just (1 % 2)
  '\68032' -> Just 1
  '\68033' -> Just 2
  '\68034' -> Just 3
  '\68035' -> Just 4
  '\68036' -> Just 5
  '\68037' -> Just 6
  '\68038' -> Just 7
  '\68039' -> Just 8
  '\68040' -> Just 9
  '\68041' -> Just 10
  '\68042' -> Just 20
  '\68043' -> Just 30
  '\68044' -> Just 40
  '\68045' -> Just 50
  '\68046' -> Just 60
  '\68047' -> Just 70
  '\68050' -> Just 100
  '\68051' -> Just 200
  '\68052' -> Just 300
  '\68053' -> Just 400
  '\68054' -> Just 500
  '\68055' -> Just 600
  '\68056' -> Just 700
  '\68057' -> Just 800
  '\68058' -> Just 900
  '\68059' -> Just 1000
  '\68060' -> Just 2000
  '\68061' -> Just 3000
  '\68062' -> Just 4000
  '\68063' -> Just 5000
  '\68064' -> Just 6000
  '\68065' -> Just 7000
  '\68066' -> Just 8000
  '\68067' -> Just 9000
  '\68068' -> Just 10000
  '\68069' -> Just 20000
  '\68070' -> Just 30000
  '\68071' -> Just 40000
  '\68072' -> Just 50000
  '\68073' -> Just 60000
  '\68074' -> Just 70000
  '\68075' -> Just 80000
  '\68076' -> Just 90000
  '\68077' -> Just 100000
  '\68078' -> Just 200000
  '\68079' -> Just 300000
  '\68080' -> Just 400000
  '\68081' -> Just 500000
  '\68082' -> Just 600000
  '\68083' -> Just 700000
  '\68084' -> Just 800000
  '\68085' -> Just 900000
  '\68086' -> Just (1 % 12)
  '\68087' -> Just (1 % 6)
  '\68088' -> Just (1 % 4)
  '\68089' -> Just (1 % 3)
  '\68090' -> Just (5 % 12)
  '\68091' -> Just (1 % 2)
  '\68092' -> Just (7 % 12)
  '\68093' -> Just (2 % 3)
  '\68094' -> Just (3 % 4)
  '\68095' -> Just (5 % 6)
  '\68160' -> Just 1
  '\68161' -> Just 2
  '\68162' -> Just 3
  '\68163' -> Just 4
  '\68164' -> Just 10
  '\68165' -> Just 20
  '\68166' -> Just 100
  '\68167' -> Just 1000
  '\68168' -> Just (1 % 2)
  '\68221' -> Just 1
  '\68222' -> Just 50
  '\68253' -> Just 1
  '\68254' -> Just 10
  '\68255' -> Just 20
  '\68331' -> Just 1
  '\68332' -> Just 5
  '\68333' -> Just 10
  '\68334' -> Just 20
  '\68335' -> Just 100
  '\68440' -> Just 1
  '\68441' -> Just 2
  '\68442' -> Just 3
  '\68443' -> Just 4
  '\68444' -> Just 10
  '\68445' -> Just 20
  '\68446' -> Just 100
  '\68447' -> Just 1000
  '\68472' -> Just 1
  '\68473' -> Just 2
  '\68474' -> Just 3
  '\68475' -> Just 4
  '\68476' -> Just 10
  '\68477' -> Just 20
  '\68478' -> Just 100
  '\68479' -> Just 1000
  '\68521' -> Just 1
  '\68522' -> Just 2
  '\68523' -> Just 3
  '\68524' -> Just 4
  '\68525' -> Just 10
  '\68526' -> Just 20
  '\68527' -> Just 100
  '\68858' -> Just 1
  '\68859' -> Just 5
  '\68860' -> Just 10
  '\68861' -> Just 50
  '\68862' -> Just 100
  '\68863' -> Just 1000
  '\68912' -> Just 0
  '\68913' -> Just 1
  '\68914' -> Just 2
  '\68915' -> Just 3
  '\68916' -> Just 4
  '\68917' -> Just 5
  '\68918' -> Just 6
  '\68919' -> Just 7
  '\68920' -> Just 8
  '\68921' -> Just 9
  '\69216' -> Just 1
  '\69217' -> Just 2
  '\69218' -> Just 3
  '\69219' -> Just 4
  '\69220' -> Just 5
  '\69221' -> Just 6
  '\69222' -> Just 7
  '\69223' -> Just 8
  '\69224' -> Just 9
  '\69225' -> Just 10
  '\69226' -> Just 20
  '\69227' -> Just 30
  '\69228' -> Just 40
  '\69229' -> Just 50
  '\69230' -> Just 60
  '\69231' -> Just 70
  '\69232' -> Just 80
  '\69233' -> Just 90
  '\69234' -> Just 100
  '\69235' -> Just 200
  '\69236' -> Just 300
  '\69237' -> Just 400
  '\69238' -> Just 500
  '\69239' -> Just 600
  '\69240' -> Just 700
  '\69241' -> Just 800
  '\69242' -> Just 900
  '\69243' -> Just (1 % 2)
  '\69244' -> Just (1 % 4)
  '\69245' -> Just (1 % 3)
  '\69246' -> Just (2 % 3)
  '\69405' -> Just 1
  '\69406' -> Just 2
  '\69407' -> Just 3
  '\69408' -> Just 4
  '\69409' -> Just 5
  '\69410' -> Just 10
  '\69411' -> Just 20
  '\69412' -> Just 30
  '\69413' -> Just 100
  '\69414' -> Just (1 % 2)
  '\69457' -> Just 1
  '\69458' -> Just 10
  '\69459' -> Just 20
  '\69460' -> Just 100
  '\69573' -> Just 1
  '\69574' -> Just 2
  '\69575' -> Just 3
  '\69576' -> Just 4
  '\69577' -> Just 10
  '\69578' -> Just 20
  '\69579' -> Just 100
  '\69714' -> Just 1
  '\69715' -> Just 2
  '\69716' -> Just 3
  '\69717' -> Just 4
  '\69718' -> Just 5
  '\69719' -> Just 6
  '\69720' -> Just 7
  '\69721' -> Just 8
  '\69722' -> Just 9
  '\69723' -> Just 10
  '\69724' -> Just 20
  '\69725' -> Just 30
  '\69726' -> Just 40
  '\69727' -> Just 50
  '\69728' -> Just 60
  '\69729' -> Just 70
  '\69730' -> Just 80
  '\69731' -> Just 90
  '\69732' -> Just 100
  '\69733' -> Just 1000
  '\69734' -> Just 0
  '\69735' -> Just 1
  '\69736' -> Just 2
  '\69737' -> Just 3
  '\69738' -> Just 4
  '\69739' -> Just 5
  '\69740' -> Just 6
  '\69741' -> Just 7
  '\69742' -> Just 8
  '\69743' -> Just 9
  '\69872' -> Just 0
  '\69873' -> Just 1
  '\69874' -> Just 2
  '\69875' -> Just 3
  '\69876' -> Just 4
  '\69877' -> Just 5
  '\69878' -> Just 6
  '\69879' -> Just 7
  '\69880' -> Just 8
  '\69881' -> Just 9
  '\69942' -> Just 0
  '\69943' -> Just 1
  '\69944' -> Just 2
  '\69945' -> Just 3
  '\69946' -> Just 4
  '\69947' -> Just 5
  '\69948' -> Just 6
  '\69949' -> Just 7
  '\69950' -> Just 8
  '\69951' -> Just 9
  '\70096' -> Just 0
  '\70097' -> Just 1
  '\70098' -> Just 2
  '\70099' -> Just 3
  '\70100' -> Just 4
  '\70101' -> Just 5
  '\70102' -> Just 6
  '\70103' -> Just 7
  '\70104' -> Just 8
  '\70105' -> Just 9
  '\70113' -> Just 1
  '\70114' -> Just 2
  '\70115' -> Just 3
  '\70116' -> Just 4
  '\70117' -> Just 5
  '\70118' -> Just 6
  '\70119' -> Just 7
  '\70120' -> Just 8
  '\70121' -> Just 9
  '\70122' -> Just 10
  '\70123' -> Just 20
  '\70124' -> Just 30
  '\70125' -> Just 40
  '\70126' -> Just 50
  '\70127' -> Just 60
  '\70128' -> Just 70
  '\70129' -> Just 80
  '\70130' -> Just 90
  '\70131' -> Just 100
  '\70132' -> Just 1000
  '\70384' -> Just 0
  '\70385' -> Just 1
  '\70386' -> Just 2
  '\70387' -> Just 3
  '\70388' -> Just 4
  '\70389' -> Just 5
  '\70390' -> Just 6
  '\70391' -> Just 7
  '\70392' -> Just 8
  '\70393' -> Just 9
  '\70736' -> Just 0
  '\70737' -> Just 1
  '\70738' -> Just 2
  '\70739' -> Just 3
  '\70740' -> Just 4
  '\70741' -> Just 5
  '\70742' -> Just 6
  '\70743' -> Just 7
  '\70744' -> Just 8
  '\70745' -> Just 9
  '\70864' -> Just 0
  '\70865' -> Just 1
  '\70866' -> Just 2
  '\70867' -> Just 3
  '\70868' -> Just 4
  '\70869' -> Just 5
  '\70870' -> Just 6
  '\70871' -> Just 7
  '\70872' -> Just 8
  '\70873' -> Just 9
  '\71248' -> Just 0
  '\71249' -> Just 1
  '\71250' -> Just 2
  '\71251' -> Just 3
  '\71252' -> Just 4
  '\71253' -> Just 5
  '\71254' -> Just 6
  '\71255' -> Just 7
  '\71256' -> Just 8
  '\71257' -> Just 9
  '\71360' -> Just 0
  '\71361' -> Just 1
  '\71362' -> Just 2
  '\71363' -> Just 3
  '\71364' -> Just 4
  '\71365' -> Just 5
  '\71366' -> Just 6
  '\71367' -> Just 7
  '\71368' -> Just 8
  '\71369' -> Just 9
  '\71472' -> Just 0
  '\71473' -> Just 1
  '\71474' -> Just 2
  '\71475' -> Just 3
  '\71476' -> Just 4
  '\71477' -> Just 5
  '\71478' -> Just 6
  '\71479' -> Just 7
  '\71480' -> Just 8
  '\71481' -> Just 9
  '\71482' -> Just 10
  '\71483' -> Just 20
  '\71904' -> Just 0
  '\71905' -> Just 1
  '\71906' -> Just 2
  '\71907' -> Just 3
  '\71908' -> Just 4
  '\71909' -> Just 5
  '\71910' -> Just 6
  '\71911' -> Just 7
  '\71912' -> Just 8
  '\71913' -> Just 9
  '\71914' -> Just 10
  '\71915' -> Just 20
  '\71916' -> Just 30
  '\71917' -> Just 40
  '\71918' -> Just 50
  '\71919' -> Just 60
  '\71920' -> Just 70
  '\71921' -> Just 80
  '\71922' -> Just 90
  '\72016' -> Just 0
  '\72017' -> Just 1
  '\72018' -> Just 2
  '\72019' -> Just 3
  '\72020' -> Just 4
  '\72021' -> Just 5
  '\72022' -> Just 6
  '\72023' -> Just 7
  '\72024' -> Just 8
  '\72025' -> Just 9
  '\72784' -> Just 0
  '\72785' -> Just 1
  '\72786' -> Just 2
  '\72787' -> Just 3
  '\72788' -> Just 4
  '\72789' -> Just 5
  '\72790' -> Just 6
  '\72791' -> Just 7
  '\72792' -> Just 8
  '\72793' -> Just 9
  '\72794' -> Just 1
  '\72795' -> Just 2
  '\72796' -> Just 3
  '\72797' -> Just 4
  '\72798' -> Just 5
  '\72799' -> Just 6
  '\72800' -> Just 7
  '\72801' -> Just 8
  '\72802' -> Just 9
  '\72803' -> Just 10
  '\72804' -> Just 20
  '\72805' -> Just 30
  '\72806' -> Just 40
  '\72807' -> Just 50
  '\72808' -> Just 60
  '\72809' -> Just 70
  '\72810' -> Just 80
  '\72811' -> Just 90
  '\72812' -> Just 100
  '\73040' -> Just 0
  '\73041' -> Just 1
  '\73042' -> Just 2
  '\73043' -> Just 3
  '\73044' -> Just 4
  '\73045' -> Just 5
  '\73046' -> Just 6
  '\73047' -> Just 7
  '\73048' -> Just 8
  '\73049' -> Just 9
  '\73120' -> Just 0
  '\73121' -> Just 1
  '\73122' -> Just 2
  '\73123' -> Just 3
  '\73124' -> Just 4
  '\73125' -> Just 5
  '\73126' -> Just 6
  '\73127' -> Just 7
  '\73128' -> Just 8
  '\73129' -> Just 9
  '\73552' -> Just 0
  '\73553' -> Just 1
  '\73554' -> Just 2
  '\73555' -> Just 3
  '\73556' -> Just 4
  '\73557' -> Just 5
  '\73558' -> Just 6
  '\73559' -> Just 7
  '\73560' -> Just 8
  '\73561' -> Just 9
  '\73664' -> Just (1 % 320)
  '\73665' -> Just (1 % 160)
  '\73666' -> Just (1 % 80)
  '\73667' -> Just (1 % 64)
  '\73668' -> Just (1 % 40)
  '\73669' -> Just (1 % 32)
  '\73670' -> Just (3 % 80)
  '\73671' -> Just (3 % 64)
  '\73672' -> Just (1 % 20)
  '\73673' -> Just (1 % 16)
  '\73674' -> Just (1 % 16)
  '\73675' -> Just (1 % 10)
  '\73676' -> Just (1 % 8)
  '\73677' -> Just (3 % 20)
  '\73678' -> Just (3 % 16)
  '\73679' -> Just (1 % 5)
  '\73680' -> Just (1 % 4)
  '\73681' -> Just (1 % 2)
  '\73682' -> Just (1 % 2)
  '\73683' -> Just (3 % 4)
  '\73684' -> Just (1 % 320)
  '\74752' -> Just 2
  '\74753' -> Just 3
  '\74754' -> Just 4
  '\74755' -> Just 5
  '\74756' -> Just 6
  '\74757' -> Just 7
  '\74758' -> Just 8
  '\74759' -> Just 9
  '\74760' -> Just 3
  '\74761' -> Just 4
  '\74762' -> Just 5
  '\74763' -> Just 6
  '\74764' -> Just 7
  '\74765' -> Just 8
  '\74766' -> Just 9
  '\74767' -> Just 4
  '\74768' -> Just 5
  '\74769' -> Just 6
  '\74770' -> Just 7
  '\74771' -> Just 8
  '\74772' -> Just 9
  '\74773' -> Just 1
  '\74774' -> Just 2
  '\74775' -> Just 3
  '\74776' -> Just 4
  '\74777' -> Just 5
  '\74778' -> Just 6
  '\74779' -> Just 7
  '\74780' -> Just 8
  '\74781' -> Just 9
  '\74782' -> Just 1
  '\74783' -> Just 2
  '\74784' -> Just 3
  '\74785' -> Just 4
  '\74786' -> Just 5
  '\74787' -> Just 2
  '\74788' -> Just 3
  '\74789' -> Just 3
  '\74790' -> Just 4
  '\74791' -> Just 5
  '\74792' -> Just 6
  '\74793' -> Just 7
  '\74794' -> Just 8
  '\74795' -> Just 9
  '\74796' -> Just 1
  '\74797' -> Just 2
  '\74798' -> Just 3
  '\74799' -> Just 3
  '\74800' -> Just 4
  '\74801' -> Just 5
  '\74802' -> Just 216000
  '\74803' -> Just 432000
  '\74804' -> Just 1
  '\74805' -> Just 2
  '\74806' -> Just 3
  '\74807' -> Just 3
  '\74808' -> Just 4
  '\74809' -> Just 5
  '\74810' -> Just 3
  '\74811' -> Just 3
  '\74812' -> Just 4
  '\74813' -> Just 4
  '\74814' -> Just 4
  '\74815' -> Just 4
  '\74816' -> Just 6
  '\74817' -> Just 7
  '\74818' -> Just 7
  '\74819' -> Just 7
  '\74820' -> Just 8
  '\74821' -> Just 8
  '\74822' -> Just 9
  '\74823' -> Just 9
  '\74824' -> Just 9
  '\74825' -> Just 9
  '\74826' -> Just 2
  '\74827' -> Just 3
  '\74828' -> Just 4
  '\74829' -> Just 5
  '\74830' -> Just 6
  '\74831' -> Just 1
  '\74832' -> Just 2
  '\74833' -> Just 3
  '\74834' -> Just 4
  '\74835' -> Just 4
  '\74836' -> Just 5
  '\74837' -> Just 5
  '\74838' -> Just 2
  '\74839' -> Just 3
  '\74840' -> Just 1
  '\74841' -> Just 2
  '\74842' -> Just (1 % 3)
  '\74843' -> Just (2 % 3)
  '\74844' -> Just (5 % 6)
  '\74845' -> Just (1 % 3)
  '\74846' -> Just (2 % 3)
  '\74847' -> Just (1 % 8)
  '\74848' -> Just (1 % 4)
  '\74849' -> Just (1 % 6)
  '\74850' -> Just (1 % 4)
  '\74851' -> Just (1 % 4)
  '\74852' -> Just (1 % 2)
  '\74853' -> Just (1 % 3)
  '\74854' -> Just (2 % 3)
  '\74855' -> Just 40
  '\74856' -> Just 50
  '\74857' -> Just 4
  '\74858' -> Just 5
  '\74859' -> Just 6
  '\74860' -> Just 7
  '\74861' -> Just 8
  '\74862' -> Just 9
  '\92768' -> Just 0
  '\92769' -> Just 1
  '\92770' -> Just 2
  '\92771' -> Just 3
  '\92772' -> Just 4
  '\92773' -> Just 5
  '\92774' -> Just 6
  '\92775' -> Just 7
  '\92776' -> Just 8
  '\92777' -> Just 9
  '\92864' -> Just 0
  '\92865' -> Just 1
  '\92866' -> Just 2
  '\92867' -> Just 3
  '\92868' -> Just 4
  '\92869' -> Just 5
  '\92870' -> Just 6
  '\92871' -> Just 7
  '\92872' -> Just 8
  '\92873' -> Just 9
  '\93008' -> Just 0
  '\93009' -> Just 1
  '\93010' -> Just 2
  '\93011' -> Just 3
  '\93012' -> Just 4
  '\93013' -> Just 5
  '\93014' -> Just 6
  '\93015' -> Just 7
  '\93016' -> Just 8
  '\93017' -> Just 9
  '\93019' -> Just 10
  '\93020' -> Just 100
  '\93021' -> Just 10000
  '\93022' -> Just 1000000
  '\93023' -> Just 100000000
  '\93024' -> Just 10000000000
  '\93025' -> Just 1000000000000
  '\93824' -> Just 0
  '\93825' -> Just 1
  '\93826' -> Just 2
  '\93827' -> Just 3
  '\93828' -> Just 4
  '\93829' -> Just 5
  '\93830' -> Just 6
  '\93831' -> Just 7
  '\93832' -> Just 8
  '\93833' -> Just 9
  '\93834' -> Just 10
  '\93835' -> Just 11
  '\93836' -> Just 12
  '\93837' -> Just 13
  '\93838' -> Just 14
  '\93839' -> Just 15
  '\93840' -> Just 16
  '\93841' -> Just 17
  '\93842' -> Just 18
  '\93843' -> Just 19
  '\93844' -> Just 1
  '\93845' -> Just 2
  '\93846' -> Just 3
  '\119488' -> Just 0
  '\119489' -> Just 1
  '\119490' -> Just 2
  '\119491' -> Just 3
  '\119492' -> Just 4
  '\119493' -> Just 5
  '\119494' -> Just 6
  '\119495' -> Just 7
  '\119496' -> Just 8
  '\119497' -> Just 9
  '\119498' -> Just 10
  '\119499' -> Just 11
  '\119500' -> Just 12
  '\119501' -> Just 13
  '\119502' -> Just 14
  '\119503' -> Just 15
  '\119504' -> Just 16
  '\119505' -> Just 17
  '\119506' -> Just 18
  '\119507' -> Just 19
  '\119520' -> Just 0
  '\119521' -> Just 1
  '\119522' -> Just 2
  '\119523' -> Just 3
  '\119524' -> Just 4
  '\119525' -> Just 5
  '\119526' -> Just 6
  '\119527' -> Just 7
  '\119528' -> Just 8
  '\119529' -> Just 9
  '\119530' -> Just 10
  '\119531' -> Just 11
  '\119532' -> Just 12
  '\119533' -> Just 13
  '\119534' -> Just 14
  '\119535' -> Just 15
  '\119536' -> Just 16
  '\119537' -> Just 17
  '\119538' -> Just 18
  '\119539' -> Just 19
  '\119648' -> Just 1
  '\119649' -> Just 2
  '\119650' -> Just 3
  '\119651' -> Just 4
  '\119652' -> Just 5
  '\119653' -> Just 6
  '\119654' -> Just 7
  '\119655' -> Just 8
  '\119656' -> Just 9
  '\119657' -> Just 10
  '\119658' -> Just 20
  '\119659' -> Just 30
  '\119660' -> Just 40
  '\119661' -> Just 50
  '\119662' -> Just 60
  '\119663' -> Just 70
  '\119664' -> Just 80
  '\119665' -> Just 90
  '\119666' -> Just 1
  '\119667' -> Just 2
  '\119668' -> Just 3
  '\119669' -> Just 4
  '\119670' -> Just 5
  '\119671' -> Just 1
  '\119672' -> Just 5
  '\120782' -> Just 0
  '\120783' -> Just 1
  '\120784' -> Just 2
  '\120785' -> Just 3
  '\120786' -> Just 4
  '\120787' -> Just 5
  '\120788' -> Just 6
  '\120789' -> Just 7
  '\120790' -> Just 8
  '\120791' -> Just 9
  '\120792' -> Just 0
  '\120793' -> Just 1
  '\120794' -> Just 2
  '\120795' -> Just 3
  '\120796' -> Just 4
  '\120797' -> Just 5
  '\120798' -> Just 6
  '\120799' -> Just 7
  '\120800' -> Just 8
  '\120801' -> Just 9
  '\120802' -> Just 0
  '\120803' -> Just 1
  '\120804' -> Just 2
  '\120805' -> Just 3
  '\120806' -> Just 4
  '\120807' -> Just 5
  '\120808' -> Just 6
  '\120809' -> Just 7
  '\120810' -> Just 8
  '\120811' -> Just 9
  '\120812' -> Just 0
  '\120813' -> Just 1
  '\120814' -> Just 2
  '\120815' -> Just 3
  '\120816' -> Just 4
  '\120817' -> Just 5
  '\120818' -> Just 6
  '\120819' -> Just 7
  '\120820' -> Just 8
  '\120821' -> Just 9
  '\120822' -> Just 0
  '\120823' -> Just 1
  '\120824' -> Just 2
  '\120825' -> Just 3
  '\120826' -> Just 4
  '\120827' -> Just 5
  '\120828' -> Just 6
  '\120829' -> Just 7
  '\120830' -> Just 8
  '\120831' -> Just 9
  '\123200' -> Just 0
  '\123201' -> Just 1
  '\123202' -> Just 2
  '\123203' -> Just 3
  '\123204' -> Just 4
  '\123205' -> Just 5
  '\123206' -> Just 6
  '\123207' -> Just 7
  '\123208' -> Just 8
  '\123209' -> Just 9
  '\123632' -> Just 0
  '\123633' -> Just 1
  '\123634' -> Just 2
  '\123635' -> Just 3
  '\123636' -> Just 4
  '\123637' -> Just 5
  '\123638' -> Just 6
  '\123639' -> Just 7
  '\123640' -> Just 8
  '\123641' -> Just 9
  '\124144' -> Just 0
  '\124145' -> Just 1
  '\124146' -> Just 2
  '\124147' -> Just 3
  '\124148' -> Just 4
  '\124149' -> Just 5
  '\124150' -> Just 6
  '\124151' -> Just 7
  '\124152' -> Just 8
  '\124153' -> Just 9
  '\125127' -> Just 1
  '\125128' -> Just 2
  '\125129' -> Just 3
  '\125130' -> Just 4
  '\125131' -> Just 5
  '\125132' -> Just 6
  '\125133' -> Just 7
  '\125134' -> Just 8
  '\125135' -> Just 9
  '\125264' -> Just 0
  '\125265' -> Just 1
  '\125266' -> Just 2
  '\125267' -> Just 3
  '\125268' -> Just 4
  '\125269' -> Just 5
  '\125270' -> Just 6
  '\125271' -> Just 7
  '\125272' -> Just 8
  '\125273' -> Just 9
  '\126065' -> Just 1
  '\126066' -> Just 2
  '\126067' -> Just 3
  '\126068' -> Just 4
  '\126069' -> Just 5
  '\126070' -> Just 6
  '\126071' -> Just 7
  '\126072' -> Just 8
  '\126073' -> Just 9
  '\126074' -> Just 10
  '\126075' -> Just 20
  '\126076' -> Just 30
  '\126077' -> Just 40
  '\126078' -> Just 50
  '\126079' -> Just 60
  '\126080' -> Just 70
  '\126081' -> Just 80
  '\126082' -> Just 90
  '\126083' -> Just 100
  '\126084' -> Just 200
  '\126085' -> Just 300
  '\126086' -> Just 400
  '\126087' -> Just 500
  '\126088' -> Just 600
  '\126089' -> Just 700
  '\126090' -> Just 800
  '\126091' -> Just 900
  '\126092' -> Just 1000
  '\126093' -> Just 2000
  '\126094' -> Just 3000
  '\126095' -> Just 4000
  '\126096' -> Just 5000
  '\126097' -> Just 6000
  '\126098' -> Just 7000
  '\126099' -> Just 8000
  '\126100' -> Just 9000
  '\126101' -> Just 10000
  '\126102' -> Just 20000
  '\126103' -> Just 30000
  '\126104' -> Just 40000
  '\126105' -> Just 50000
  '\126106' -> Just 60000
  '\126107' -> Just 70000
  '\126108' -> Just 80000
  '\126109' -> Just 90000
  '\126110' -> Just 100000
  '\126111' -> Just 200000
  '\126112' -> Just 100000
  '\126113' -> Just 10000000
  '\126114' -> Just 20000000
  '\126115' -> Just 1
  '\126116' -> Just 2
  '\126117' -> Just 3
  '\126118' -> Just 4
  '\126119' -> Just 5
  '\126120' -> Just 6
  '\126121' -> Just 7
  '\126122' -> Just 8
  '\126123' -> Just 9
  '\126125' -> Just (1 % 4)
  '\126126' -> Just (1 % 2)
  '\126127' -> Just (3 % 4)
  '\126129' -> Just 1
  '\126130' -> Just 2
  '\126131' -> Just 10000
  '\126132' -> Just 100000
  '\126209' -> Just 1
  '\126210' -> Just 2
  '\126211' -> Just 3
  '\126212' -> Just 4
  '\126213' -> Just 5
  '\126214' -> Just 6
  '\126215' -> Just 7
  '\126216' -> Just 8
  '\126217' -> Just 9
  '\126218' -> Just 10
  '\126219' -> Just 20
  '\126220' -> Just 30
  '\126221' -> Just 40
  '\126222' -> Just 50
  '\126223' -> Just 60
  '\126224' -> Just 70
  '\126225' -> Just 80
  '\126226' -> Just 90
  '\126227' -> Just 100
  '\126228' -> Just 200
  '\126229' -> Just 300
  '\126230' -> Just 400
  '\126231' -> Just 500
  '\126232' -> Just 600
  '\126233' -> Just 700
  '\126234' -> Just 800
  '\126235' -> Just 900
  '\126236' -> Just 1000
  '\126237' -> Just 2000
  '\126238' -> Just 3000
  '\126239' -> Just 4000
  '\126240' -> Just 5000
  '\126241' -> Just 6000
  '\126242' -> Just 7000
  '\126243' -> Just 8000
  '\126244' -> Just 9000
  '\126245' -> Just 10000
  '\126246' -> Just 20000
  '\126247' -> Just 30000
  '\126248' -> Just 40000
  '\126249' -> Just 50000
  '\126250' -> Just 60000
  '\126251' -> Just 70000
  '\126252' -> Just 80000
  '\126253' -> Just 90000
  '\126255' -> Just 2
  '\126256' -> Just 3
  '\126257' -> Just 4
  '\126258' -> Just 5
  '\126259' -> Just 6
  '\126260' -> Just 7
  '\126261' -> Just 8
  '\126262' -> Just 9
  '\126263' -> Just 10
  '\126264' -> Just 400
  '\126265' -> Just 600
  '\126266' -> Just 2000
  '\126267' -> Just 10000
  '\126268' -> Just (1 % 2)
  '\126269' -> Just (1 % 6)
  '\127232' -> Just 0
  '\127233' -> Just 0
  '\127234' -> Just 1
  '\127235' -> Just 2
  '\127236' -> Just 3
  '\127237' -> Just 4
  '\127238' -> Just 5
  '\127239' -> Just 6
  '\127240' -> Just 7
  '\127241' -> Just 8
  '\127242' -> Just 9
  '\127243' -> Just 0
  '\127244' -> Just 0
  '\130032' -> Just 0
  '\130033' -> Just 1
  '\130034' -> Just 2
  '\130035' -> Just 3
  '\130036' -> Just 4
  '\130037' -> Just 5
  '\130038' -> Just 6
  '\130039' -> Just 7
  '\130040' -> Just 8
  '\130041' -> Just 9
  '\131073' -> Just 7
  '\131172' -> Just 4
  '\131298' -> Just 4
  '\131361' -> Just 5
  '\133418' -> Just 1
  '\133507' -> Just 30
  '\133516' -> Just 40
  '\133532' -> Just 40
  '\133866' -> Just 6
  '\133885' -> Just 3
  '\133913' -> Just 3
  '\140176' -> Just 2
  '\141720' -> Just 3
  '\146203' -> Just 3
  '\156269' -> Just 4
  '\194704' -> Just 9
  _ -> Nothing