unicode-data-0.8.0: lib/Unicode/Internal/Char/DerivedNumericValues.hs
-- autogenerated from https://www.unicode.org/Public/17.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
{-# OPTIONS_HADDOCK hide #-}
module Unicode.Internal.Char.DerivedNumericValues
(numericValue)
where
import Data.Ratio ((%))
{-# NOINLINE numericValue #-}
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
'\20004' -> Just 2
'\20061' -> Just 9
'\20108' -> Just 2
'\20116' -> Just 5
'\20118' -> Just 4
'\20140' -> Just 10000000000000000
'\20159' -> Just 100000000
'\20160' -> Just 10
'\20191' -> Just 1000
'\20200' -> Just 3
'\20237' -> Just 5
'\20336' -> Just 100
'\20457' -> Just 2
'\20486' -> Just 2
'\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
'\25296' -> Just 7
'\25342' -> Just 10
'\25420' -> Just 8
'\26578' -> Just 7
'\27934' -> Just 0
'\28422' -> Just 7
'\29590' -> Just 9
'\30334' -> Just 100
'\30357' -> Just 200
'\31213' -> Just 1000000000
'\32902' -> Just 4
'\33836' -> Just 10000
'\36014' -> Just 2
'\36019' -> Just 2
'\36144' -> Just 2
'\37390' -> Just 9
'\38057' -> Just 9
'\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
'\68928' -> Just 0
'\68929' -> Just 1
'\68930' -> Just 2
'\68931' -> Just 3
'\68932' -> Just 4
'\68933' -> Just 5
'\68934' -> Just 6
'\68935' -> Just 7
'\68936' -> Just 8
'\68937' -> 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
'\71376' -> Just 0
'\71377' -> Just 1
'\71378' -> Just 2
'\71379' -> Just 3
'\71380' -> Just 4
'\71381' -> Just 5
'\71382' -> Just 6
'\71383' -> Just 7
'\71384' -> Just 8
'\71385' -> Just 9
'\71386' -> Just 0
'\71387' -> Just 1
'\71388' -> Just 2
'\71389' -> Just 3
'\71390' -> Just 4
'\71391' -> Just 5
'\71392' -> Just 6
'\71393' -> Just 7
'\71394' -> Just 8
'\71395' -> 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
'\72688' -> Just 0
'\72689' -> Just 1
'\72690' -> Just 2
'\72691' -> Just 3
'\72692' -> Just 4
'\72693' -> Just 5
'\72694' -> Just 6
'\72695' -> Just 7
'\72696' -> Just 8
'\72697' -> 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
'\73184' -> Just 0
'\73185' -> Just 1
'\73186' -> Just 2
'\73187' -> Just 3
'\73188' -> Just 4
'\73189' -> Just 5
'\73190' -> Just 6
'\73191' -> Just 7
'\73192' -> Just 8
'\73193' -> 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)
'\73784' -> Just 1
'\73785' -> Just 1
'\73849' -> Just 1
'\74278' -> Just (1 % 2)
'\74283' -> Just 2
'\74507' -> Just 1
'\74509' -> Just 3
'\74649' -> Just 2
'\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
'\90416' -> Just 0
'\90417' -> Just 1
'\90418' -> Just 2
'\90419' -> Just 3
'\90420' -> Just 4
'\90421' -> Just 5
'\90422' -> Just 6
'\90423' -> Just 7
'\90424' -> Just 8
'\90425' -> 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
'\93552' -> Just 0
'\93553' -> Just 1
'\93554' -> Just 2
'\93555' -> Just 3
'\93556' -> Just 4
'\93557' -> Just 5
'\93558' -> Just 6
'\93559' -> Just 7
'\93560' -> Just 8
'\93561' -> Just 9
'\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
'\94196' -> Just 1
'\94197' -> Just (3 % 2)
'\94198' -> Just 2
'\118000' -> Just 0
'\118001' -> Just 1
'\118002' -> Just 2
'\118003' -> Just 3
'\118004' -> Just 4
'\118005' -> Just 5
'\118006' -> Just 6
'\118007' -> Just 7
'\118008' -> Just 8
'\118009' -> Just 9
'\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
'\124401' -> Just 0
'\124402' -> Just 1
'\124403' -> Just 2
'\124404' -> Just 3
'\124405' -> Just 4
'\124406' -> Just 5
'\124407' -> Just 6
'\124408' -> Just 7
'\124409' -> Just 8
'\124410' -> 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