horley_encoding.py

horley_encoding = {
    '1': '1',
    '1v': '1v',
    '2': '2',
    '2a': '2a',
    '3': '3',
    '4': '4',
    '5': '5',
    '6': '6',
    '7': '7',
    '8': '8',
    '9': '9',
    '10': '10',
    '10f': '10f',
    '11': '11',
    '12': '21 11',
    '13': '21 1',
    '14': '14',
    '15': '15',
    '16': '16',
    '17': '17',
    '18': '17',
    '19': '19',
    '20': '2a',
    '21': '21',
    '22': '22',
    '22f': '22f',
    '23': '23',
    '24': '24',
    '25': '25',
    '26': '26',
    '27': '27',
    '28': '28',
    '29': '29',
    '30': '30',
    '30a': '30a',
    '31': '30a',
    '32': '32',
    '33': '32',
    '34': '34',
    '35': '35',
    '36': '36',
    '37': '37',
    '38': '38',
    '39': '39',
    '40': '40',
    '41': '40',
    '42': '40',
    '43': '40',
    '44': '44',
    '45': '45',
    '46': '45',
    '47': '47',
    '48': '48',
    '49': '48',
    '50': '50',
    '51': '51',
    '52': '52',
    '53': '53',
    '54': '77',
    '55': '55',
    '56': '56',
    '57': '57',
    '58': '75',
    '59': '59',
    '60': '60',
    '61': '61',
    '62': '62',
    '63': '63',
    '64': '6',
    '65': '66',
    '66': '66',
    '67': '67',
    '68': '68',
    '69': '69',
    '70': '70',
    '71': '71',
    '72': '72',
    '73': '4',
    '74': '74',
    '75': '75',
    '76': '76',
    '77': '77',
    '78': '79',
    '79': '79',
    '80': '8 8',
    '81': '8',
    '82': '45 8',
    '83': '83',
    '84': '56',
    '85': '?',
    '86': '86',
    '87': '87',
    '88': '87',
    '89': '45 9',
    '90': '90',
    '91': '90',
    '92': '92',
    '93': '95',
    '94': '94a',
    '95': '95',
    '95f': '95f',
    '96': '95 95',
    '97': '97a',
    '98': '98',
    '99': '99',
    '100': '22 22',
    '101': '1 103',
    '102': '102',
    '103': '103',
    '104': '29 103',
    '105': '? ?',
    '106': '? ?',
    '107': '45',
    '108': '109',
    '109': '109',
    '110': '110',
    '111': '1 36',
    '112': '? ?',
    '113': '?',
    '114': '2a',
    '115': '? 51',
    '116': '116',
    '117': '75',
    '118': '2 39',
    '119': '?',
    '120': '? ?',
    '121': '121',
    '122': '32',
    '123': '66',
    '124': '124',
    '125': '35',
    '126': '71',
    '127': '75',
    '128': '76 1v',
    '129': '32',
    '130': '? ?',
    '131': '83',
    '132': '? ?',
    '133': '? ?',
    '134': '? ?',
    '135': '55',
    '136': '? 9',
    '137': '30a',
    '139': '76 76',
    '140': '7 7',
    '141': '141',
    '142': '141',
    '143': '? ?',
    '144': '59',
    '145': '145',
    '146': '70',
    '147': '70 19',
    '148': '700 7',
    '149': '4 70',
    '150': '76 70',
    '151': '92 70',
    '152': '?',
    '153': '200 24',
    '154': '66 24',
    '155': '4 24',
    '156': '37 24',
    '157': '70',
    '158': '70',
    '159': '29',
    '160': '11 2a',
    '161': '76 2a',
    '162': '4 ?',
    '163': '1 ?',
    '164': '1 ?',
    '165': '1 770',
    '166': '79 770',
    '167': '70 770',
    '168': '770 53',
    '169': '67 999',
    '170': '19 ?',
    '171': '25 ?',
    '172': '55 ?',
    '173': '5 ?',
    '174': '15 ?',
    '175': '66 ?',
    '176': '48 ?',
    '177': '83',
    '178': '83',
    '179': '83 59',
    '180': '226 59',
    '181': '200 59',
    '182': '381 59 10',
    '183': '730 6',
    '184': '532 45',
    '185': '45 10',
    '186': '200 ?',
    '187': '256 ?',
    '188': '200 ? 10',
    '189': '532 7',
    '190': '10 200 39',
    '191': '226',
    '192': '200 ?',
    '193': '532 68',
    '194': '90 68',
    '195': '68 ?',
    '196': '55 17 6 17 76',
    '197': '? 522',
    '198': '?',
    '199': '',
    '200': '200',
    '201': '200 61',
    '202': '200 62',
    '203': '200 63',
    '204': '200 6',
    '205': '200 10',
    '206': '200 6',
    '207': '200 999',
    '208': '208',
    '209': '208',
    '210': '200',
    '211': '61 200 61',
    '212': '62 200 62',
    '214': '6 200 6',
    '215': '10 200 10',
    '216': '6 200 6',
    '220': '226',
    '222': '226 62',
    '224': '226',
    '225': '226 10',
    '226': '226',
    '227': '6 226',
    '230': '230',
    '231': '61 230 61',
    '232': '230 62',
    '233': '? 230',
    '234': '230 6',
    '235': '230 10',
    '236': '230 6',
    '240': '256',
    '242': '256 62',
    '243': '256 63',
    '244': '256',
    '245': '256 10',
    '246': '256',
    '247': '256 999',
    '248': '256 256',
    '252': '62 256 62',
    '253': '256 63',
    '254': '256',
    '255': '10 256 10',
    '256': '256',
    '260': '260',
    '262': '260 62',
    '263': '260 63',
    '266': '260 6',
    '270': '270',
    '274': '381 6',
    '275': '270 10',
    '276': '270 6',
    '277': '270 999',
    '279': '? 270 10',
    '280': '280',
    '281': '290',
    '282': '290 62',
    '284': '290 6',
    '285': '290 10',
    '286': '290 6',
    '290': '290',
    '291': '290',
    '292': '290 62',
    '293': '290 63',
    '294': '290 6',
    '295': '10 290',
    '296': '290 6',
    '298': '298',
    '299': '256 290',
    '300': '200',
    '301': '200 61',
    '302': '200 62',
    '303': '200 63',
    '304': '200 6',
    '305': '200 10',
    '306': '200 6',
    '307': '200 999',
    '308': '208',
    '309': '208',
    '311': '61 200 61',
    '314': '6 200 6',
    '315': '10 200 10',
    '316': '6 200 6',
    '320': '226',
    '321': '226 61',
    '322': '226 62',
    '323': '226 63',
    '324': '226',
    '325': '226 10',
    '326': '226',
    '330': '230',
    '331': '230 61',
    '332': '? 230',
    '335': '230 10',
    '336': '230 6',
    '340': '256',
    '341': '256 61',
    '343': '256 63',
    '344': '256',
    '346': '256',
    '349': '256 256',
    '354': '256',
    '356': '256',
    '360': '260',
    '361': '260 61',
    '365': '10 260',
    '366': '260 6',
    '370': '270',
    '371': '270 61',
    '372': '10 270 62',
    '373': '270 63',
    '374': '270 6',
    '375': '270 10',
    '376': '270 6',
    '378': '61 270 10',
    '379': '? 270',
    '380': '381',
    '381': '381',
    '382': '381 62',
    '383': '381 63',
    '384': '381 6',
    '385': '381 10',
    '386': '381 6',
    '387': '381 999',
    '390': '290',
    '391': '290',
    '392': '70 ?',
    '393': '290 61',
    '394': '290 61',
    '395': '10 290',
    '396': '290 6',
    '397': '290 6',
    '400': '600',
    '400v': '400v',
    '401': '600 61',
    '402': '600 62',
    '403': '600 63',
    '404': '600 6',
    '405': '600 10',
    '406': '600 6',
    '407': '607',
    '408': '607',
    '409': '600 600',
    '410': '600 600',
    '411': '600 600',
    '415': '600 600 10',
    '420': '430',
    '421': '430',
    '430': '430',
    '431': '10 430',
    '432': '381',
    '433': '381',
    '440': '451',
    '441': '430 61',
    '442': '430 62',
    '445': '430 10',
    '446': '430 6',
    '447': '430 678',
    '448': '290 678',
    '449': '450',
    '450': '450',
    '451': '451',
    '452': '? ?',
    '453': '670',
    '455': '59',
    '456': '59 6',
    '458': '66 66',
    '459': '451 451',
    '460': '200 678',
    '461': '461',
    '462': '200',
    '463': '200 678 63',
    '464': '200 6',
    '465': '200 678 10',
    '466': '461 61',
    '468': '461 61',
    '469': '461 10',
    '470': '670',
    '471': '670 10',
    '472': '83 678',
    '473': '10 230',
    '474': '670 678',
    '475': '? ?',
    '476': '670 6',
    '477': '461',
    '480': '381',
    '481': '381',
    '482': '381 62',
    '483': '6 381',
    '484': '461',
    '486': '381 6 109',
    '487': '62 381 381',
    '489': '62 260 678 62',
    '490': '678',
    '491': '461 86',
    '492': '461 19',
    '493': '461',
    '494': '? 678 52',
    '496': '607 59',
    '497': '? 607 59',
    '498': '670',
    '499': '59',
    '500': '200 2a',
    '501': '61 200 2a 61',
    '502': '226 2a',
    '503': '290 2a',
    '504': '200 2a 6',
    '505': '200 2a 10',
    '506': '200 2a 6',
    '507': '256 2a',
    '509': '600 2a',
    '510': '200 513',
    '511': '513',
    '512': '95 513',
    '513': '513',
    '514': '381 513',
    '515': '39 513',
    '517': '700 513',
    '518': '8 513',
    '519': '90 513',
    '520': '200 522',
    '521': '522 61',
    '522': '522',
    '523': '256 522',
    '524': '200 522 6',
    '525': '10 522',
    '526': '200 522 6',
    '527': '522 999',
    '528': '522 226',
    '529': '256 522',
    '530': '532',
    '531': '532 61',
    '532': '532',
    '533': '260 532',
    '534': '270 532',
    '535': '532 10',
    '536': '532 6',
    '537': '532 999',
    '538': '280 532',
    '539': '90 532',
    '540': '200 79',
    '541': '270 678 10',
    '542': '61 200 61',
    '543': '? ?',
    '544': '256',
    '545': '39',
    '546': '600',
    '547': '600 6',
    '548': '200',
    '549': '21',
    '550': '600 8',
    '551': '8 381',
    '552': '8 27 61',
    '553': '8 208',
    '554': '8 94a',
    '555': '607 8',
    '556': '200 95f',
    '557': '200 95f',
    '558': '670 95',
    '559': '670 95',
    '560': '600 69',
    '561': '600 69 600 69',
    '562': '607 69',
    '565': '95 69',
    '566': '290 69 6',
    '567': '290 69',
    '568': '? 69',
    '569': '66 69',
    '570': '200 69',
    '571': '69',
    '574': '200 69 6',
    '575': '200 69 10',
    '576': '200 69 6',
    '577': '208 69 999',
    '578': '208 69',
    '579': '208 69 10',
    '580': '700 69',
    '581': '260 69',
    '582': '260 69 6',
    '583': '226 69 10',
    '584': '270 69',
    '585': '381 69 10',
    '586': '381 69 6',
    '587': '430 69',
    '588': '430 69',
    '589': '670 69',
    '590': '200 9',
    '591': '9',
    '592': '99 9',
    '593': '290 9',
    '594': '208 9',
    '595': '200 9 10',
    '596': '600 9 6',
    '597': '200 9 999',
    '598': '430 9',
    '599': '95 9',
    '600': '600',
    '601': '10 600 61',
    '602': '600 62',
    '603': '600 63',
    '604': '600 6',
    '605': '600 10',
    '606': '600 6',
    '607': '607',
    '608': '607 607',
    '609': '600 600',
    '610': '200 600',
    '613': '600 600 63',
    '614': '778 600',
    '615': '200 600 6',
    '616': '532 600',
    '618': '200 607',
    '619': '600 600',
    '621': '226 600',
    '622': '226 600 62',
    '624': '226 600',
    '625': '226 600 10',
    '626': '226 600',
    '630': '430',
    '631': '430',
    '632': '430 61',
    '633': '633',
    '634': '90 430',
    '635': '461 86',
    '636': '461 86',
    '637': '430 61',
    '638': '381 600',
    '639': '430',
    '642': '62 256 600 62',
    '646': '256 600',
    '647': '256 633',
    '650': '660',
    '651': '660',
    '652': '660 999',
    '653': '200 678 999',
    '654': '660 660',
    '655': '381 678',
    '656': '230 678',
    '657': '200 678',
    '658': '670 6',
    '660': '660',
    '661': '999 660',
    '662': '660 2a',
    '663': '200 678 2a',
    '664': '200 678',
    '665': '670',
    '666': '60 678',
    '667': '670',
    '669': '? ?',
    '670': '670',
    '671': '270 678',
    '672': '99 678',
    '673': '670 2a',
    '674': '660',
    '675': '10 670',
    '676': '23 678',
    '678': '678',
    '680': '660 660',
    '681': '95 660',
    '682': '99 660',
    '683': '95 660',
    '684': '700 660',
    '685': '670 10',
    '690': '600 ?',
    '691': '607 ?',
    '692': '400v',
    '693': '430 ?',
    '694': '256',
    '695': '430 ? 10',
    '696': '600 ? 6',
    '697': '607 ?',
    '698': '633',
    '699': '270',
    '700': '700',
    '701': '700 ?',
    '702': '700',
    '710': '700',
    '711': '711',
    '712': '700 ?',
    '716': '72 ?',
    '717': '?',
    '718': '72',
    '719': '72',
    '720': '721',
    '721': '721',
    '722': '721',
    '723': '721 10',
    '724': '?',
    '725': '381',
    '726': '721 6',
    '727': '721',
    '728': '670 74',
    '729': '461',
    '730': '730',
    '731': '739 61',
    '732': '739 62',
    '733': '721',
    '734': '739 6',
    '735': '730 10',
    '736': '730 6',
    '737': '730 999',
    '738': '10 730 10',
    '739': '739',
    '740': '381',
    '741': '381',
    '742': '381 62',
    '743': '381 63',
    '744': '739',
    '745': '381 10',
    '746': '381 6',
    '747': '381 999',
    '748': '6 730 6',
    '749': '607 730',
    '752': '755 62',
    '755': '755',
    '756': '755 6',
    '760': '760',
    '761': '? ?',
    '762': '760',
    '763': '760 6',
    '768': '760',
    '769': '773',
    '770': '770',
    '771': '770',
    '772': '95 770',
    '773': '773',
    '774': '773',
    '775': '? ?',
    '776': '770',
    '777': '778',
    '778': '778',
    '780': '781',
    '781': '781',
    '782': '781',
    '790': '790',
    '791': '451'
}