-module(geocoding_country). -export([ is_valid/1 ]). % @doc Verify if an atom is a valid ISO-3166 country code -spec is_valid_iso3166_country_code(atom()) -> bool(). is_valid_iso3166_country_code( is_valid_iso3166_country_code('AD') -> true; is_valid_iso3166_country_code('AE') -> true; is_valid_iso3166_country_code('AF') -> true; is_valid_iso3166_country_code('AG') -> true; is_valid_iso3166_country_code('AI') -> true; is_valid_iso3166_country_code('AL') -> true; is_valid_iso3166_country_code('AM') -> true; is_valid_iso3166_country_code('AO') -> true; is_valid_iso3166_country_code('AQ') -> true; is_valid_iso3166_country_code('AR') -> true; is_valid_iso3166_country_code('AS') -> true; is_valid_iso3166_country_code('AT') -> true; is_valid_iso3166_country_code('AU') -> true; is_valid_iso3166_country_code('AW') -> true; is_valid_iso3166_country_code('AX') -> true; is_valid_iso3166_country_code('AZ') -> true; is_valid_iso3166_country_code('BA') -> true; is_valid_iso3166_country_code('BB') -> true; is_valid_iso3166_country_code('BD') -> true; is_valid_iso3166_country_code('BE') -> true; is_valid_iso3166_country_code('BF') -> true; is_valid_iso3166_country_code('BG') -> true; is_valid_iso3166_country_code('BH') -> true; is_valid_iso3166_country_code('BI') -> true; is_valid_iso3166_country_code('BJ') -> true; is_valid_iso3166_country_code('BL') -> true; is_valid_iso3166_country_code('BM') -> true; is_valid_iso3166_country_code('BN') -> true; is_valid_iso3166_country_code('BO') -> true; is_valid_iso3166_country_code('BQ') -> true; is_valid_iso3166_country_code('BR') -> true; is_valid_iso3166_country_code('BS') -> true; is_valid_iso3166_country_code('BT') -> true; is_valid_iso3166_country_code('BW') -> true; is_valid_iso3166_country_code('BY') -> true; is_valid_iso3166_country_code('BZ') -> true; is_valid_iso3166_country_code('CA') -> true; is_valid_iso3166_country_code('CD') -> true; is_valid_iso3166_country_code('CF') -> true; is_valid_iso3166_country_code('CG') -> true; is_valid_iso3166_country_code('CH') -> true; is_valid_iso3166_country_code('CI') -> true; is_valid_iso3166_country_code('CK') -> true; is_valid_iso3166_country_code('CL') -> true; is_valid_iso3166_country_code('CM') -> true; is_valid_iso3166_country_code('CN') -> true; is_valid_iso3166_country_code('CO') -> true; is_valid_iso3166_country_code('CR') -> true; is_valid_iso3166_country_code('CU') -> true; is_valid_iso3166_country_code('CV') -> true; is_valid_iso3166_country_code('CW') -> true; is_valid_iso3166_country_code('CX') -> true; is_valid_iso3166_country_code('CY') -> true; is_valid_iso3166_country_code('CZ') -> true; is_valid_iso3166_country_code('DE') -> true; is_valid_iso3166_country_code('DJ') -> true; is_valid_iso3166_country_code('DK') -> true; is_valid_iso3166_country_code('DM') -> true; is_valid_iso3166_country_code('DO') -> true; is_valid_iso3166_country_code('DZ') -> true; is_valid_iso3166_country_code('EC') -> true; is_valid_iso3166_country_code('EE') -> true; is_valid_iso3166_country_code('EG') -> true; is_valid_iso3166_country_code('EH') -> true; is_valid_iso3166_country_code('ER') -> true; is_valid_iso3166_country_code('ES') -> true; is_valid_iso3166_country_code('ET') -> true; is_valid_iso3166_country_code('FI') -> true; is_valid_iso3166_country_code('FJ') -> true; is_valid_iso3166_country_code('FK') -> true; is_valid_iso3166_country_code('FM') -> true; is_valid_iso3166_country_code('FO') -> true; is_valid_iso3166_country_code('FR') -> true; is_valid_iso3166_country_code('GA') -> true; is_valid_iso3166_country_code('GB') -> true; is_valid_iso3166_country_code('GD') -> true; is_valid_iso3166_country_code('GE') -> true; is_valid_iso3166_country_code('GF') -> true; is_valid_iso3166_country_code('GG') -> true; is_valid_iso3166_country_code('GH') -> true; is_valid_iso3166_country_code('GI') -> true; is_valid_iso3166_country_code('GL') -> true; is_valid_iso3166_country_code('GM') -> true; is_valid_iso3166_country_code('GN') -> true; is_valid_iso3166_country_code('GP') -> true; is_valid_iso3166_country_code('GQ') -> true; is_valid_iso3166_country_code('GR') -> true; is_valid_iso3166_country_code('GT') -> true; is_valid_iso3166_country_code('GU') -> true; is_valid_iso3166_country_code('GW') -> true; is_valid_iso3166_country_code('GY') -> true; is_valid_iso3166_country_code('HK') -> true; is_valid_iso3166_country_code('HN') -> true; is_valid_iso3166_country_code('HR') -> true; is_valid_iso3166_country_code('HT') -> true; is_valid_iso3166_country_code('HU') -> true; is_valid_iso3166_country_code('ID') -> true; is_valid_iso3166_country_code('IE') -> true; is_valid_iso3166_country_code('IL') -> true; is_valid_iso3166_country_code('IM') -> true; is_valid_iso3166_country_code('IN') -> true; is_valid_iso3166_country_code('IQ') -> true; is_valid_iso3166_country_code('IR') -> true; is_valid_iso3166_country_code('IS') -> true; is_valid_iso3166_country_code('IT') -> true; is_valid_iso3166_country_code('JE') -> true; is_valid_iso3166_country_code('JM') -> true; is_valid_iso3166_country_code('JO') -> true; is_valid_iso3166_country_code('JP') -> true; is_valid_iso3166_country_code('KE') -> true; is_valid_iso3166_country_code('KG') -> true; is_valid_iso3166_country_code('KH') -> true; is_valid_iso3166_country_code('KI') -> true; is_valid_iso3166_country_code('KM') -> true; is_valid_iso3166_country_code('KN') -> true; is_valid_iso3166_country_code('KP') -> true; is_valid_iso3166_country_code('KR') -> true; is_valid_iso3166_country_code('KW') -> true; is_valid_iso3166_country_code('KY') -> true; is_valid_iso3166_country_code('KZ') -> true; is_valid_iso3166_country_code('LA') -> true; is_valid_iso3166_country_code('LB') -> true; is_valid_iso3166_country_code('LC') -> true; is_valid_iso3166_country_code('LI') -> true; is_valid_iso3166_country_code('LK') -> true; is_valid_iso3166_country_code('LR') -> true; is_valid_iso3166_country_code('LS') -> true; is_valid_iso3166_country_code('LT') -> true; is_valid_iso3166_country_code('LU') -> true; is_valid_iso3166_country_code('LV') -> true; is_valid_iso3166_country_code('LY') -> true; is_valid_iso3166_country_code('MA') -> true; is_valid_iso3166_country_code('MC') -> true; is_valid_iso3166_country_code('MD') -> true; is_valid_iso3166_country_code('ME') -> true; is_valid_iso3166_country_code('MF') -> true; is_valid_iso3166_country_code('MG') -> true; is_valid_iso3166_country_code('MH') -> true; is_valid_iso3166_country_code('MK') -> true; is_valid_iso3166_country_code('ML') -> true; is_valid_iso3166_country_code('MM') -> true; is_valid_iso3166_country_code('MN') -> true; is_valid_iso3166_country_code('MO') -> true; is_valid_iso3166_country_code('MP') -> true; is_valid_iso3166_country_code('MQ') -> true; is_valid_iso3166_country_code('MR') -> true; is_valid_iso3166_country_code('MS') -> true; is_valid_iso3166_country_code('MT') -> true; is_valid_iso3166_country_code('MU') -> true; is_valid_iso3166_country_code('MV') -> true; is_valid_iso3166_country_code('MW') -> true; is_valid_iso3166_country_code('MX') -> true; is_valid_iso3166_country_code('MY') -> true; is_valid_iso3166_country_code('MZ') -> true; is_valid_iso3166_country_code('NA') -> true; is_valid_iso3166_country_code('NC') -> true; is_valid_iso3166_country_code('NE') -> true; is_valid_iso3166_country_code('NF') -> true; is_valid_iso3166_country_code('NG') -> true; is_valid_iso3166_country_code('NI') -> true; is_valid_iso3166_country_code('NL') -> true; is_valid_iso3166_country_code('NO') -> true; is_valid_iso3166_country_code('NP') -> true; is_valid_iso3166_country_code('NR') -> true; is_valid_iso3166_country_code('NU') -> true; is_valid_iso3166_country_code('NZ') -> true; is_valid_iso3166_country_code('OM') -> true; is_valid_iso3166_country_code('PA') -> true; is_valid_iso3166_country_code('PE') -> true; is_valid_iso3166_country_code('PF') -> true; is_valid_iso3166_country_code('PG') -> true; is_valid_iso3166_country_code('PH') -> true; is_valid_iso3166_country_code('PK') -> true; is_valid_iso3166_country_code('PL') -> true; is_valid_iso3166_country_code('PM') -> true; is_valid_iso3166_country_code('PR') -> true; is_valid_iso3166_country_code('PS') -> true; is_valid_iso3166_country_code('PT') -> true; is_valid_iso3166_country_code('PW') -> true; is_valid_iso3166_country_code('PY') -> true; is_valid_iso3166_country_code('QA') -> true; is_valid_iso3166_country_code('RE') -> true; is_valid_iso3166_country_code('RO') -> true; is_valid_iso3166_country_code('RS') -> true; is_valid_iso3166_country_code('RU') -> true; is_valid_iso3166_country_code('RW') -> true; is_valid_iso3166_country_code('SA') -> true; is_valid_iso3166_country_code('SB') -> true; is_valid_iso3166_country_code('SC') -> true; is_valid_iso3166_country_code('SD') -> true; is_valid_iso3166_country_code('SE') -> true; is_valid_iso3166_country_code('SG') -> true; is_valid_iso3166_country_code('SH') -> true; is_valid_iso3166_country_code('SI') -> true; is_valid_iso3166_country_code('SJ') -> true; is_valid_iso3166_country_code('SK') -> true; is_valid_iso3166_country_code('SL') -> true; is_valid_iso3166_country_code('SM') -> true; is_valid_iso3166_country_code('SN') -> true; is_valid_iso3166_country_code('SO') -> true; is_valid_iso3166_country_code('SR') -> true; is_valid_iso3166_country_code('SS') -> true; is_valid_iso3166_country_code('ST') -> true; is_valid_iso3166_country_code('SV') -> true; is_valid_iso3166_country_code('SX') -> true; is_valid_iso3166_country_code('SY') -> true; is_valid_iso3166_country_code('SZ') -> true; is_valid_iso3166_country_code('TC') -> true; is_valid_iso3166_country_code('TD') -> true; is_valid_iso3166_country_code('TG') -> true; is_valid_iso3166_country_code('TH') -> true; is_valid_iso3166_country_code('TJ') -> true; is_valid_iso3166_country_code('TK') -> true; is_valid_iso3166_country_code('TL') -> true; is_valid_iso3166_country_code('TM') -> true; is_valid_iso3166_country_code('TN') -> true; is_valid_iso3166_country_code('TO') -> true; is_valid_iso3166_country_code('TR') -> true; is_valid_iso3166_country_code('TT') -> true; is_valid_iso3166_country_code('TV') -> true; is_valid_iso3166_country_code('TW') -> true; is_valid_iso3166_country_code('TZ') -> true; is_valid_iso3166_country_code('UA') -> true; is_valid_iso3166_country_code('UG') -> true; is_valid_iso3166_country_code('US') -> true; is_valid_iso3166_country_code('UY') -> true; is_valid_iso3166_country_code('UZ') -> true; is_valid_iso3166_country_code('VA') -> true; is_valid_iso3166_country_code('VC') -> true; is_valid_iso3166_country_code('VE') -> true; is_valid_iso3166_country_code('VG') -> true; is_valid_iso3166_country_code('VI') -> true; is_valid_iso3166_country_code('VN') -> true; is_valid_iso3166_country_code('VU') -> true; is_valid_iso3166_country_code('WF') -> true; is_valid_iso3166_country_code('WS') -> true; is_valid_iso3166_country_code('XK') -> true; is_valid_iso3166_country_code('YE') -> true; is_valid_iso3166_country_code('YT') -> true; is_valid_iso3166_country_code('ZA') -> true; is_valid_iso3166_country_code('ZM') -> true; is_valid_iso3166_country_code('ZW') -> true; is_valid_iso3166_country_code(_) -> false.