Vulnerabilities > CVE-2016-6380 - Improper Input Validation vulnerability in Cisco products

047910
CVSS 8.1 - HIGH
Attack vector
NETWORK
Attack complexity
HIGH
Privileges required
NONE
Confidentiality impact
HIGH
Integrity impact
HIGH
Availability impact
HIGH
network
high complexity
cisco
CWE-20
nessus
NVD
Published: 2016-10-05
Updated: 2024-11-21

Summary

The DNS forwarder in Cisco IOS 12.0 through 12.4 and 15.0 through 15.6 and IOS XE 3.1 through 3.15 allows remote attackers to obtain sensitive information from process memory or cause a denial of service (data corruption or device reload) via a crafted DNS response, aka Bug ID CSCup90532.

Vulnerable Configurations

Part Description Count
OS
Cisco
3334

Common Weakness Enumeration (CWE)

Common Attack Pattern Enumeration and Classification (CAPEC)

  • Buffer Overflow via Environment Variables
    This attack pattern involves causing a buffer overflow through manipulation of environment variables. Once the attacker finds that they can modify an environment variable, they may try to overflow associated buffers. This attack leverages implicit trust often placed in environment variables.
  • Server Side Include (SSI) Injection
    An attacker can use Server Side Include (SSI) Injection to send code to a web application that then gets executed by the web server. Doing so enables the attacker to achieve similar results to Cross Site Scripting, viz., arbitrary code execution and information disclosure, albeit on a more limited scale, since the SSI directives are nowhere near as powerful as a full-fledged scripting language. Nonetheless, the attacker can conveniently gain access to sensitive files, such as password files, and execute shell commands.
  • Cross Zone Scripting
    An attacker is able to cause a victim to load content into their web-browser that bypasses security zone controls and gain access to increased privileges to execute scripting code or other web objects such as unsigned ActiveX controls or applets. This is a privilege elevation attack targeted at zone-based web-browser security. In a zone-based model, pages belong to one of a set of zones corresponding to the level of privilege assigned to that page. Pages in an untrusted zone would have a lesser level of access to the system and/or be restricted in the types of executable content it was allowed to invoke. In a cross-zone scripting attack, a page that should be assigned to a less privileged zone is granted the privileges of a more trusted zone. This can be accomplished by exploiting bugs in the browser, exploiting incorrect configuration in the zone controls, through a cross-site scripting attack that causes the attackers' content to be treated as coming from a more trusted page, or by leveraging some piece of system functionality that is accessible from both the trusted and less trusted zone. This attack differs from "Restful Privilege Escalation" in that the latter correlates to the inadequate securing of RESTful access methods (such as HTTP DELETE) on the server, while cross-zone scripting attacks the concept of security zones as implemented by a browser.
  • Cross Site Scripting through Log Files
    An attacker may leverage a system weakness where logs are susceptible to log injection to insert scripts into the system's logs. If these logs are later viewed by an administrator through a thin administrative interface and the log data is not properly HTML encoded before being written to the page, the attackers' scripts stored in the log will be executed in the administrative interface with potentially serious consequences. This attack pattern is really a combination of two other attack patterns: log injection and stored cross site scripting.
  • Command Line Execution through SQL Injection
    An attacker uses standard SQL injection methods to inject data into the command line for execution. This could be done directly through misuse of directives such as MSSQL_xp_cmdshell or indirectly through injection of data into the database that would be interpreted as shell commands. Sometime later, an unscrupulous backend application (or could be part of the functionality of the same application) fetches the injected data stored in the database and uses this data as command line arguments without performing proper validation. The malicious data escapes that data plane by spawning new commands to be executed on the host.

Nessus

  • NASL familyCISCO
    NASL idCISCO-SA-20160928-DNS-IOSXE.NASL
    descriptionAccording to its self-reported version, the IOS XE is affected by one or more vulnerabilities. Please see the included Cisco BIDs and the Cisco Security Advisory for more information.
    last seen2020-06-01
    modified2020-06-02
    plugin id108957
    published2018-04-10
    reporterThis script is Copyright (C) 2018-2019 and is owned by Tenable, Inc. or an Affiliate thereof.
    sourcehttps://www.tenable.com/plugins/nessus/108957
    titleCisco IOS XE Software DNS Forwarder Denial of Service Vulnerability (cisco-sa-20160928-dns)
    code
    #TRUSTED 9250bc932c13b4a4a004f5e46082f9809fe24b770551a21ba6e3d1cae4ca9c26db183c5a42d601c1c4c2f39ded7c8bf4b7e7028104c2b27a18a35e4ca98ef4366b45375f22738e45f5ba37be332e44963029872802e142fc0abb566d888787a609233502c0ed5a10ce59dfbfd19abf31945aedf837f4e48387ca34e17f8f0596ca025487237fb0262091a3a43bded200f8870ec5b975da4ec328660f00b6f30e75aa3b11592ad6b976a5a0e3ffccf329724a8ae1ec791d834d01625dcdbe6eb466eb7d2dc6b952cadf4b4d6512204b28102ba884775fc52d1f50908152c550e721c54676298b78a691cf8a40e1709423e552292511dff7fd4d1c3e4ad1aba2a3f86bf1a516bdb2e113e9ec4346adf9b8a998e3b30545f70616e299ef874174104cc4a95a790b6752490fbf63a28fc215f9be37da2640ebf5fefe2e0336cbbf2d27eabb6b24c948c400cf6c9075588fa6a2e1c8fd62b96e9646bcc4c92f15b9bd43330ea5a645fe71924cc1d7244d93b3eb48b9b7f02839891bd57ef55a86304e53e58a49c891f13b59bc8e0f9753c360c58beb6f8dd9804499598a29ef7642710e56e57e2ad022450bb1468dd678bcfde8acfb39d92093b1f34ae47921f9a4e1943578eeed406139c679882af0b309245e3ec4b3b67bbd23fb6559997a68417aa083049c13a16255b20e30f9f11d8bf96cc99015e88324c69f5aec3a726a8f8e
#
# (C) Tenable Network Security, Inc.
#

include("compat.inc");

if (description)
{
  script_id(108957);
  script_version("1.6");
  script_cvs_date("Date: 2019/11/08");

  script_cve_id("CVE-2016-6380");
  script_bugtraq_id(93201);
  script_xref(name:"CISCO-BUG-ID", value:"CSCup90532");
  script_xref(name:"CISCO-SA", value:"cisco-sa-20160928-dns");

  script_name(english:"Cisco IOS XE Software DNS Forwarder Denial of Service Vulnerability (cisco-sa-20160928-dns)");
  script_summary(english:"Checks the IOS XE version.");

  script_set_attribute(attribute:"synopsis", value:
"The remote device is missing a vendor-supplied security patch.");
  script_set_attribute(attribute:"description", value:
"According to its self-reported version, the IOS XE is affected
by one or more vulnerabilities. Please see the included Cisco BIDs
and the Cisco Security Advisory for more information.");
  # https://tools.cisco.com/security/center/content/CiscoSecurityAdvisory/cisco-sa-20160928-dns
  script_set_attribute(attribute:"see_also", value:"http://www.nessus.org/u?37daabf8");
  script_set_attribute(attribute:"see_also", value:"https://bst.cloudapps.cisco.com/bugsearch/bug/CSCup90532");
  script_set_attribute(attribute:"solution", value:
"Upgrade to the relevant fixed version referenced in Cisco bug ID(s)
CSCup90532.");
  script_set_cvss_base_vector("CVSS2#AV:N/AC:M/Au:N/C:P/I:P/A:C");
  script_set_cvss_temporal_vector("CVSS2#E:U/RL:OF/RC:C");
  script_set_cvss3_base_vector("CVSS:3.0/AV:N/AC:H/PR:N/UI:N/S:U/C:H/I:H/A:H");
  script_set_cvss3_temporal_vector("CVSS:3.0/E:U/RL:O/RC:C");

  script_set_attribute(attribute:"exploitability_ease", value:"No known exploits are available");

  script_set_attribute(attribute:"vuln_publication_date", value:"2016/09/28");
  script_set_attribute(attribute:"patch_publication_date", value:"2016/09/28");
  script_set_attribute(attribute:"plugin_publication_date", value:"2018/04/10");

  script_set_attribute(attribute:"plugin_type", value:"local");
  script_set_attribute(attribute:"cpe", value:"cpe:/o:cpe:/o:cisco:ios_xe");
  script_end_attributes();

  script_category(ACT_GATHER_INFO);
  script_family(english:"CISCO");

  script_copyright(english:"This script is Copyright (C) 2018-2019 and is owned by Tenable, Inc. or an Affiliate thereof.");

  script_dependencies("cisco_ios_xe_version.nasl");
  script_require_keys("Host/Cisco/IOS-XE/Version");

  exit(0);
}

include("audit.inc");
include("cisco_workarounds.inc");
include("ccf.inc");

product_info = cisco::get_product_info(name:"Cisco IOS XE Software");

version_list = make_list(
  "3.1.0S",
  "3.1.1S",
  "3.1.2S",
  "3.1.4S",
  "3.1.4aS",
  "3.1.3aS",
  "3.2.1S",
  "3.2.2S",
  "3.3.0S",
  "3.3.1S",
  "3.3.2S",
  "3.4.0S",
  "3.4.1S",
  "3.4.2S",
  "3.4.3S",
  "3.4.4S",
  "3.4.5S",
  "3.4.6S",
  "3.4.0aS",
  "3.1.1SG",
  "3.1.0SG",
  "3.2.0SG",
  "3.2.1SG",
  "3.2.2SG",
  "3.2.3SG",
  "3.2.4SG",
  "3.2.5SG",
  "3.2.6SG",
  "3.2.7SG",
  "3.2.8SG",
  "3.2.9SG",
  "3.2.10SG",
  "3.5.0S",
  "3.5.1S",
  "3.5.2S",
  "3.6.0S",
  "3.6.1S",
  "3.6.2S",
  "3.7.0S",
  "3.7.1S",
  "3.7.2S",
  "3.7.3S",
  "3.7.4S",
  "3.7.5S",
  "3.7.6S",
  "3.7.7S",
  "3.7.4aS",
  "3.7.2tS",
  "3.2.0XO",
  "3.3.0SG",
  "3.3.2SG",
  "3.3.1SG",
  "3.8.0S",
  "3.8.1S",
  "3.8.2S",
  "3.9.1S",
  "3.9.0S",
  "3.9.2S",
  "3.9.1aS",
  "3.9.0aS",
  "3.2.0SE",
  "3.2.1SE",
  "3.2.2SE",
  "3.2.3SE",
  "3.3.0SE",
  "3.3.1SE",
  "3.3.2SE",
  "3.3.3SE",
  "3.3.4SE",
  "3.3.5SE",
  "3.3.0XO",
  "3.3.1XO",
  "3.3.2XO",
  "3.4.0SG",
  "3.4.2SG",
  "3.4.1SG",
  "3.4.3SG",
  "3.4.4SG",
  "3.4.5SG",
  "3.4.6SG",
  "3.4.7SG",
  "3.5.0E",
  "3.5.1E",
  "3.5.2E",
  "3.5.3E",
  "3.10.0S",
  "3.10.1S",
  "3.10.2S",
  "3.10.3S",
  "3.10.4S",
  "3.10.5S",
  "3.10.6S",
  "3.10.7S",
  "3.10.1xbS",
  "3.11.1S",
  "3.11.2S",
  "3.11.0S",
  "3.11.3S",
  "3.11.4S",
  "3.12.0S",
  "3.12.1S",
  "3.12.2S",
  "3.12.3S",
  "3.12.0aS",
  "3.12.4S",
  "3.13.0S",
  "3.13.1S",
  "3.13.2S",
  "3.13.3S",
  "3.13.4S",
  "3.13.5S",
  "3.13.0aS",
  "3.6.0E",
  "3.6.1E",
  "3.6.2aE",
  "3.6.2E",
  "3.6.4E",
  "3.14.0S",
  "3.14.1S",
  "3.14.2S",
  "3.14.3S",
  "3.15.0S",
  "3.15.1S",
  "3.15.2S",
  "3.15.1cS",
  "3.15.3S",
  "3.15.4S",
  "3.3.0SQ",
  "3.3.1SQ",
  "3.4.0SQ",
  "3.4.1SQ",
  "3.7.0E",
  "3.7.1E",
  "3.7.2E",
  "3.7.3E",
  "3.5.0SQ",
  "3.5.1SQ",
  "3.5.2SQ",
  "3.2.0JA",
  "3.8.0E",
  "3.8.1E",
  "3.8.0EX"
);

workarounds = make_list(CISCO_WORKAROUNDS['ip_dns_server']);
workaround_params = make_list();


reporting = make_array(
  'port'     , 0,
  'severity' , SECURITY_HOLE,
  'version'  , product_info['version'],
  'bug_id'   , "CSCup90532",
  'cmds'     , make_list("show running-config | include ip dns server")
);

cisco::check_and_report(product_info:product_info, workarounds:workarounds, workaround_params:workaround_params, reporting:reporting, vuln_versions:version_list);
  • NASL familyCISCO
    NASL idCISCO-SA-20160928-DNS-IOS.NASL
    descriptionAccording to its self-reported version, the IOS is affected by one or more vulnerabilities. Please see the included Cisco BIDs and the Cisco Security Advisory for more information.
    last seen2020-06-01
    modified2020-06-02
    plugin id108956
    published2018-04-10
    reporterThis script is Copyright (C) 2018-2019 and is owned by Tenable, Inc. or an Affiliate thereof.
    sourcehttps://www.tenable.com/plugins/nessus/108956
    titleCisco IOS Software DNS Forwarder Denial of Service Vulnerability (cisco-sa-20160928-dns)
    code
    #TRUSTED 685c3ec053b0723af45109a9273ae3260d9ac23b6e33eb457621c4fbc0f5661091d285382edde43d5d2e9f79c3ae21d2b448bbf250e2fdf0347417a2f421abc228856676fbd76439f447f241a232f50177ff08acbe14d71595aa6c000870019f59d84f7302ff758c01dfb7950f515fa1da9f7382647939e2a05ada13201cc9986f15ff0a75b01c373586bffeda45016448972d759aa5aac1289489339415d1c90f242b0be228fa54b4327df6fdb411f4e515357e5dc7fe4e45a9447517513a8e9e456d61605257856bb3d7b918d4f5f17a0d3100bb0b85778b728d0aacfd463ce28b825ffde4f10ce9077beb263df1882450490f0893cf84dfb289be309a82e606f0d7ac8f794b9716bb5916fbc9b6868f2c6fdee437854bcda75b8a5b3c797b96b56f53f35ed562f9248df32f4a11a4119c35c6fb9f183e995924639f551305ac4d092c7fdcd1196e7b251c5b1b788ceb1d10b5f191a2ab83fd567186fd7adcf4ab8685814da4114a25b372cdbffa6b36446c4a83318b9f0289ca6149f56a53e25904a34b6681ba59cd4930cf271ebe040a0b64321fc9aec6a8072f1336cd0c1c064c2530eede46a689d95a098318829a1bc3d5380b17e71e15ff00f29c6c7e58379b0527b3476d3f4acefb216915bae6096ace53bce7bbea390cb3e421e63a6a312708729bb6863c4701a5019d01b9ead51370b9a889b84b96e5d2e682f2d5
#
# (C) Tenable Network Security, Inc.
#

include("compat.inc");

if (description)
{
  script_id(108956);
  script_version("1.6");
  script_cvs_date("Date: 2019/11/08");

  script_cve_id("CVE-2016-6380");
  script_bugtraq_id(93201);
  script_xref(name:"CISCO-BUG-ID", value:"CSCup90532");
  script_xref(name:"CISCO-SA", value:"cisco-sa-20160928-dns");

  script_name(english:"Cisco IOS Software DNS Forwarder Denial of Service Vulnerability (cisco-sa-20160928-dns)");
  script_summary(english:"Checks the IOS version.");

  script_set_attribute(attribute:"synopsis", value:
"The remote device is missing a vendor-supplied security patch.");
  script_set_attribute(attribute:"description", value:
"According to its self-reported version, the IOS is affected
by one or more vulnerabilities. Please see the included Cisco BIDs
and the Cisco Security Advisory for more information.");
  # https://tools.cisco.com/security/center/content/CiscoSecurityAdvisory/cisco-sa-20160928-dns
  script_set_attribute(attribute:"see_also", value:"http://www.nessus.org/u?37daabf8");
  script_set_attribute(attribute:"see_also", value:"https://bst.cloudapps.cisco.com/bugsearch/bug/CSCup90532");
  script_set_attribute(attribute:"solution", value:
"Upgrade to the relevant fixed version referenced in Cisco bug ID(s)
CSCup90532.");
  script_set_cvss_base_vector("CVSS2#AV:N/AC:M/Au:N/C:P/I:P/A:C");
  script_set_cvss_temporal_vector("CVSS2#E:U/RL:OF/RC:C");
  script_set_cvss3_base_vector("CVSS:3.0/AV:N/AC:H/PR:N/UI:N/S:U/C:H/I:H/A:H");
  script_set_cvss3_temporal_vector("CVSS:3.0/E:U/RL:O/RC:C");

  script_set_attribute(attribute:"exploitability_ease", value:"No known exploits are available");

  script_set_attribute(attribute:"vuln_publication_date", value:"2016/09/28");
  script_set_attribute(attribute:"patch_publication_date", value:"2016/09/28");
  script_set_attribute(attribute:"plugin_publication_date", value:"2018/04/10");

  script_set_attribute(attribute:"plugin_type", value:"local");
  script_set_attribute(attribute:"cpe", value:"cpe:/o:cpe:/o:cisco:ios");
  script_end_attributes();

  script_category(ACT_GATHER_INFO);
  script_family(english:"CISCO");

  script_copyright(english:"This script is Copyright (C) 2018-2019 and is owned by Tenable, Inc. or an Affiliate thereof.");

  script_dependencies("cisco_ios_version.nasl");
  script_require_keys("Host/Cisco/IOS/Version");

  exit(0);
}

include("audit.inc");
include("cisco_workarounds.inc");
include("ccf.inc");

product_info = cisco::get_product_info(name:"Cisco IOS");

version_list = make_list(
  "12.1(12)",
  "12.1(1c)",
  "12.1(14)",
  "12.1(2a)",
  "12.1(7)",
  "12.1(9)",
  "12.1(4a)",
  "12.1(3b)",
  "12.1(11a)",
  "12.1(5b)",
  "12.1(6)",
  "12.1(4b)",
  "12.1(12a)",
  "12.1(11b)",
  "12.1(5)",
  "12.1(16)",
  "12.1(12c)",
  "12.1(8b)",
  "12.1(13)",
  "12.1(7a)",
  "12.1(7b)",
  "12.1(13a)",
  "12.1(22a)",
  "12.1(24)",
  "12.1(17)",
  "12.1(5e)",
  "12.1(8)",
  "12.1(18)",
  "12.1(1a)",
  "12.1(1)",
  "12.1(5c)",
  "12.1(6b)",
  "12.1(5a)",
  "12.1(27a)",
  "12.1(8a)",
  "12.1(20)",
  "12.1(2b)",
  "12.1(17a)",
  "12.1(19)",
  "12.1(27)",
  "12.1(2)",
  "12.1(6a)",
  "12.1(22b)",
  "12.1(15)",
  "12.1(1b)",
  "12.1(20a)",
  "12.1(26)",
  "12.1(10)",
  "12.1(4c)",
  "12.1(10a)",
  "12.1(21)",
  "12.1(5d)",
  "12.1(22)",
  "12.1(11)",
  "12.1(12b)",
  "12.1(22c)",
  "12.1(27b)",
  "12.1(9a)",
  "12.1(3)",
  "12.1(25)",
  "12.1(7c)",
  "12.1(3a)XI9",
  "12.1(3)XI",
  "12.1(3a)XI8",
  "12.1(3a)XI3",
  "12.1(3a)XI1",
  "12.1(3a)XI7",
  "12.1(3a)XI6",
  "12.1(3a)XI4",
  "12.1(3a)XI2",
  "12.1(3a)XI5",
  "12.2(4)B",
  "12.2(15)B",
  "12.2(16)B1",
  "12.2(2)B7",
  "12.2(2)B6",
  "12.2(4)B7",
  "12.2(4)B2",
  "12.2(2)B",
  "12.2(16)B2",
  "12.2(4)B6",
  "12.2(2)B1",
  "12.2(4)B1",
  "12.2(4)B4",
  "12.2(4)B3",
  "12.2(2)B2",
  "12.2(2)B3",
  "12.2(4)B8",
  "12.2(2)B5",
  "12.2(4)B5",
  "12.2(2)B4",
  "12.2(16)B",
  "12.2(1b)DA",
  "12.2(5)DA",
  "12.2(7)DA",
  "12.2(12)DA",
  "12.2(10)DA5",
  "12.2(12)DA10",
  "12.2(10)DA",
  "12.2(12)DA1",
  "12.2(12)DA6",
  "12.2(10)DA8",
  "12.2(12)DA8",
  "12.2(12)DA11",
  "12.2(12)DA9",
  "12.2(12)DA4",
  "12.2(10)DA3",
  "12.2(5)DA1",
  "12.2(12)DA13",
  "12.2(12)DA12",
  "12.2(12)DA7",
  "12.2(1b)DA1",
  "12.2(10)DA1",
  "12.2(10)DA6",
  "12.2(10)DA4",
  "12.2(12)DA2",
  "12.2(12)DA3",
  "12.2(10)DA2",
  "12.2(12)DA5",
  "12.2(10)DA7",
  "12.2(10)DA9",
  "12.2(14)S",
  "12.2(22)S",
  "12.2(20)S",
  "12.2(18)S",
  "12.2(14)S16",
  "12.2(25)S",
  "12.2(30)S",
  "12.2(9)S",
  "12.2(20)S10",
  "12.2(20)S8",
  "12.2(30)S1",
  "12.2(22)S2",
  "12.2(14)S7",
  "12.2(14)S11",
  "12.2(25)S12",
  "12.2(25)S4",
  "12.2(14)S18",
  "12.2(18)S8",
  "12.2(18)S10",
  "12.2(25)S15",
  "12.2(20)S5",
  "12.2(25)S7",
  "12.2(18)S7",
  "12.2(25)S14",
  "12.2(14)S10",
  "12.2(25)S11",
  "12.2(14)S13",
  "12.2(18)S1",
  "12.2(18)S11",
  "12.2(18)S5",
  "12.2(20)S4",
  "12.2(25)S10",
  "12.2(20)S7",
  "12.2(18)S2",
  "12.2(25)S5",
  "12.2(14)S17",
  "12.2(18)S9",
  "12.2(14)S3",
  "12.2(18)S6",
  "12.2(18)S12",
  "12.2(25)S13",
  "12.2(18)S4",
  "12.2(25)S2",
  "12.2(20)S2",
  "12.2(20)S12",
  "12.2(14)S12",
  "12.2(20)S11",
  "12.2(25)S8",
  "12.2(20)S14",
  "12.2(20)S9",
  "12.2(14)S15",
  "12.2(14)S1",
  "12.2(14)S9",
  "12.2(14)S2",
  "12.2(14)S19",
  "12.2(14)S8",
  "12.2(18)S3",
  "12.2(20)S6",
  "12.2(14)S5",
  "12.2(20)S3",
  "12.2(25)S1",
  "12.2(18)S13",
  "12.2(22)S1",
  "12.2(25)S9",
  "12.2(14)S14",
  "12.2(25)S3",
  "12.2(20)S1",
  "12.2(20)S13",
  "12.2(25)S6",
  "12.2(2)XA",
  "12.2(2)XA2",
  "12.2(2)XA3",
  "12.2(2)XA4",
  "12.2(2)XA5",
  "12.2(2)XA1",
  "12.2(2)XB11",
  "12.2(2)XB5",
  "12.2(2)XB2",
  "12.2(2)XB1",
  "12.2(2)XB10",
  "12.2(2)XB7",
  "12.2(2)XB3",
  "12.2(2)XB6",
  "12.2(2)XB14",
  "12.2(2)XB12",
  "12.2(2)XB15",
  "12.2(2)XB8",
  "12.2(2)XG",
  "12.2(4)XL",
  "12.2(4)XL5",
  "12.2(4)XL2",
  "12.2(4)XL6",
  "12.2(4)XL4",
  "12.2(4)XL1",
  "12.2(4)XL3",
  "12.2(4)XM",
  "12.2(4)XM3",
  "12.2(4)XM2",
  "12.2(4)XM4",
  "12.2(4)XM1",
  "12.2(10a)",
  "12.2(1)",
  "12.2(21b)",
  "12.2(10)",
  "12.2(1a)",
  "12.2(1b)",
  "12.2(1c)",
  "12.2(1d)",
  "12.2(10b)",
  "12.2(10d)",
  "12.2(10g)",
  "12.2(3a)",
  "12.2(3b)",
  "12.2(3c)",
  "12.2(3d)",
  "12.2(3g)",
  "12.2(3)",
  "12.2(5)",
  "12.2(5a)",
  "12.2(5b)",
  "12.2(5c)",
  "12.2(5d)",
  "12.2(6g)",
  "12.2(6h)",
  "12.2(6i)",
  "12.2(6j)",
  "12.2(6)",
  "12.2(6a)",
  "12.2(6b)",
  "12.2(6c)",
  "12.2(6d)",
  "12.2(6e)",
  "12.2(6f)",
  "12.2(7a)",
  "12.2(7b)",
  "12.2(7c)",
  "12.2(7e)",
  "12.2(7g)",
  "12.2(7)",
  "12.2(37)",
  "12.2(19b)",
  "12.2(24b)",
  "12.2(12e)",
  "12.2(28)",
  "12.2(34)",
  "12.2(34a)",
  "12.2(46a)",
  "12.2(12b)",
  "12.2(26b)",
  "12.2(28a)",
  "12.2(12i)",
  "12.2(19)",
  "12.2(24)",
  "12.2(12g)",
  "12.2(13c)",
  "12.2(12f)",
  "12.2(12c)",
  "12.2(32)",
  "12.2(31)",
  "12.2(26a)",
  "12.2(27)",
  "12.2(17e)",
  "12.2(28d)",
  "12.2(17a)",
  "12.2(12k)",
  "12.2(13e)",
  "12.2(12a)",
  "12.2(19c)",
  "12.2(27b)",
  "12.2(17b)",
  "12.2(23)",
  "12.2(27a)",
  "12.2(16)",
  "12.2(12m)",
  "12.2(40)",
  "12.2(28c)",
  "12.2(24a)",
  "12.2(21a)",
  "12.2(13b)",
  "12.2(23a)",
  "12.2(17d)",
  "12.2(26)",
  "12.2(23c)",
  "12.2(16b)",
  "12.2(13)",
  "12.2(19a)",
  "12.2(17f)",
  "12.2(28b)",
  "12.2(23d)",
  "12.2(12)",
  "12.2(12j)",
  "12.2(23f)",
  "12.2(17)",
  "12.2(16c)",
  "12.2(16a)",
  "12.2(27c)",
  "12.2(12l)",
  "12.2(12h)",
  "12.2(16f)",
  "12.2(29a)",
  "12.2(29b)",
  "12.2(13a)",
  "12.2(40a)",
  "12.2(26c)",
  "12.2(23e)",
  "12.2(21)",
  "12.2(46)",
  "12.2(29)",
  "12.2(2)XN",
  "12.2(33)XN1",
  "12.2(2)XR",
  "12.2(4)XR",
  "12.2(15)XR",
  "12.2(15)XR1",
  "12.2(15)XR2",
  "12.2(1)XS",
  "12.2(1)XS2",
  "12.2(1)XS1",
  "12.2(1)XS1a",
  "12.2(2)XT",
  "12.2(2)XT2",
  "12.2(2)XT3",
  "12.2(4)XW",
  "12.2(4)YA",
  "12.2(4)YA6",
  "12.2(4)YA3",
  "12.2(4)YA4",
  "12.2(4)YA1",
  "12.2(4)YA11",
  "12.2(4)YA2",
  "12.2(4)YA9",
  "12.2(4)YA8",
  "12.2(4)YA5",
  "12.2(4)YA12",
  "12.2(4)YA10",
  "12.2(4)YA7",
  "12.2(4)YB",
  "12.2(2)YC",
  "12.2(2)YC4",
  "12.2(2)YC1",
  "12.2(2)YC3",
  "12.2(2)YC2",
  "12.2(8)YD",
  "12.2(8)YD3",
  "12.2(8)YD2",
  "12.2(8)YD1",
  "12.2(4)YF",
  "12.2(4)YG",
  "12.2(4)YH",
  "12.0(5)XE5",
  "12.0(3)XE1",
  "12.0(5)XE",
  "12.0(5)XE8",
  "12.0(5)XE7",
  "12.0(4)XE2",
  "12.0(3)XE",
  "12.0(3)XE2",
  "12.0(5)XE4",
  "12.0(4)XE1",
  "12.0(5)XE2",
  "12.0(5)XE1",
  "12.0(7)XE2",
  "12.0(4)XE",
  "12.0(5)XE6",
  "12.0(7)XE1",
  "12.0(5)XE3",
  "12.1(10)EC",
  "12.1(12c)EC",
  "12.1(13)EC",
  "12.1(19)EC",
  "12.1(20)EC",
  "12.1(22)EC",
  "12.1(3a)EC",
  "12.1(4)EC",
  "12.1(5)EC",
  "12.1(6)EC",
  "12.1(7)EC",
  "12.1(8)EC",
  "12.1(11b)EC",
  "12.1(2)EC",
  "12.1(13)EC1",
  "12.1(11b)EC1",
  "12.1(9)EC1",
  "12.1(20)EC2",
  "12.1(20)EC3",
  "12.1(8)EC1",
  "12.1(3a)EC1",
  "12.1(5)EC1",
  "12.1(19)EC1",
  "12.1(22)EC1",
  "12.1(20)EC1",
  "12.1(13)EC2",
  "12.1(2)EC1",
  "12.1(12c)EC1",
  "12.1(13)EC3",
  "12.1(6)EC1",
  "12.1(13)EC4",
  "12.1(10)EC1",
  "12.2(15)BC2a",
  "12.2(15)BC1a",
  "12.2(4)BC1a",
  "12.2(15)BC1b",
  "12.2(11)BC1",
  "12.2(15)BC2d",
  "12.2(11)BC3a",
  "12.2(15)BC2g",
  "12.2(11)BC3c",
  "12.2(15)BC1g",
  "12.2(8)BC2",
  "12.2(11)BC1b",
  "12.2(8)BC1",
  "12.2(15)BC2i",
  "12.2(15)BC1c",
  "12.2(15)BC2c",
  "12.2(15)BC2f",
  "12.2(15)BC1d",
  "12.2(15)BC1",
  "12.2(4)BC1",
  "12.2(8)BC2a",
  "12.2(11)BC2",
  "12.2(11)BC3b",
  "12.2(11)BC3d",
  "12.2(15)BC2",
  "12.2(11)BC3",
  "12.2(11)BC2a",
  "12.2(15)BC2e",
  "12.2(4)BC1b",
  "12.2(11)BC1a",
  "12.2(15)BC1e",
  "12.2(15)BC2h",
  "12.2(15)BC1f",
  "12.2(15)BC2b",
  "12.2(2)XF",
  "12.2(4)XF",
  "12.2(2)XF2",
  "12.2(1)XF1",
  "12.2(2)XF1",
  "12.2(4)XF1",
  "12.2(1)XF",
  "12.0(7)XK2",
  "12.0(5)XK1",
  "12.0(7)XK1",
  "12.0(5)XK2",
  "12.0(7)XK3",
  "12.0(5)XK",
  "12.0(7)XK",
  "12.1(5a)E",
  "12.1(13)E14",
  "12.1(8b)E18",
  "12.1(8b)E14",
  "12.1(8b)E15",
  "12.1(22)E2",
  "12.1(8b)E12",
  "12.1(26)E",
  "12.1(23)E",
  "12.1(8b)E11",
  "12.1(12c)E1",
  "12.1(13)E",
  "12.1(13)E9",
  "12.1(13)E7",
  "12.1(13)E13",
  "12.1(13)E11",
  "12.1(20)E3",
  "12.1(20)E",
  "12.1(1)E",
  "12.1(10)E",
  "12.1(11b)E",
  "12.1(12c)E",
  "12.1(14)E",
  "12.1(19)E",
  "12.1(2)E",
  "12.1(22)E",
  "12.1(3a)E",
  "12.1(4)E",
  "12.1(6)E",
  "12.1(7)E",
  "12.1(8a)E",
  "12.1(9)E",
  "12.1(27b)E",
  "12.1(26)E7",
  "12.1(27b)E1",
  "12.1(5a)E6",
  "12.1(10)E5",
  "12.1(23)E4",
  "12.1(26)E8",
  "12.1(19)E6",
  "12.1(8a)E3",
  "12.1(14)E4",
  "12.1(5b)E7",
  "12.1(9)E2",
  "12.1(11b)E12",
  "12.1(4)E2",
  "12.1(3a)E7",
  "12.1(6)E5",
  "12.1(10)E6",
  "12.1(14)E3",
  "12.1(11b)E4",
  "12.1(13)E4",
  "12.1(7)E0a",
  "12.1(5a)E1",
  "12.1(26)E3",
  "12.1(20)E5",
  "12.1(5c)E9",
  "12.1(13)E16",
  "12.1(6)E7",
  "12.1(8b)E20",
  "12.1(22)E5",
  "12.1(20)E4",
  "12.1(27b)E3",
  "12.1(7a)E5",
  "12.1(8b)E6",
  "12.1(22)E6",
  "12.1(6)E6",
  "12.1(9)E3",
  "12.1(14)E6",
  "12.1(6)E3",
  "12.1(10)E7",
  "12.1(3a)E4",
  "12.1(8b)E7",
  "12.1(6)E13",
  "12.1(8b)E8",
  "12.1(3a)E1",
  "12.1(7a)E1a",
  "12.1(13)E3",
  "12.1(6)E8",
  "12.1(19)E3",
  "12.1(13)E15",
  "12.1(13)E6",
  "12.1(26)E5",
  "12.1(4)E3",
  "12.1(1)E6",
  "12.1(8b)E10",
  "12.1(2)E2",
  "12.1(12c)E4",
  "12.1(20)E2",
  "12.1(11b)E5",
  "12.1(5a)E2",
  "12.1(6)E2",
  "12.1(22)E3",
  "12.1(1)E1",
  "12.1(7a)E3",
  "12.1(27b)E4",
  "12.1(20)E1",
  "12.1(22)E4",
  "12.1(7a)E4",
  "12.1(8b)E9",
  "12.1(1)E5",
  "12.1(5c)E12",
  "12.1(26)E2",
  "12.1(22)E1",
  "12.1(5c)E8",
  "12.1(13)E17",
  "12.1(10)E1",
  "12.1(7a)E6",
  "12.1(1)E4",
  "12.1(10)E6a",
  "12.1(23)E2",
  "12.1(13)E1",
  "12.1(4)E1",
  "12.1(3a)E6",
  "12.1(12c)E6",
  "12.1(26)E4",
  "12.1(19)E2",
  "12.1(11b)E3",
  "12.1(14)E10",
  "12.1(13)E10",
  "12.1(23)E1",
  "12.1(11b)E14",
  "12.1(2)E1",
  "12.1(10)E2",
  "12.1(8a)E1",
  "12.1(19)E7",
  "12.1(5a)E3",
  "12.1(26)E9",
  "12.1(8a)E4",
  "12.1(14)E5",
  "12.1(12c)E3",
  "12.1(11b)E2",
  "12.1(6)E1",
  "12.1(1)E2",
  "12.1(27b)E2",
  "12.1(10)E3",
  "12.1(8b)E13",
  "12.1(7a)E2",
  "12.1(8a)E5",
  "12.1(19)E1",
  "12.1(14)E2",
  "12.1(12c)E2",
  "12.1(11b)E1",
  "12.1(11b)E7",
  "12.1(11b)E10",
  "12.1(1)E3",
  "12.1(12c)E5",
  "12.1(11b)E0a",
  "12.1(10)E8",
  "12.1(14)E1",
  "12.1(3a)E8",
  "12.1(13)E2",
  "12.1(26)E1",
  "12.1(11b)E11",
  "12.1(6)E4",
  "12.1(5a)E4",
  "12.1(8a)E2",
  "12.1(19)E4",
  "12.1(5c)E10",
  "12.1(26)E6",
  "12.1(7a)E1",
  "12.1(13)E5",
  "12.1(13)E12",
  "12.1(3a)E3",
  "12.1(23)E3",
  "12.1(3a)E5",
  "12.1(20)E6",
  "12.1(8b)E19",
  "12.1(14)E7",
  "12.1(9)E1",
  "12.1(13)E8",
  "12.1(10)E4",
  "12.1(5)XM4",
  "12.1(5)XM6",
  "12.1(5)XM8",
  "12.1(5)XM3",
  "12.1(5)XM2",
  "12.1(5)XM5",
  "12.1(5)XM1",
  "12.1(5)XM",
  "12.1(5)XM7",
  "12.1(5)YB1",
  "12.1(5)YB3",
  "12.1(5)YB2",
  "12.1(5)YB5",
  "12.1(5)YB",
  "12.1(5)YB4",
  "12.2(2)DD",
  "12.2(2)DD4",
  "12.2(2)DD3",
  "12.2(2)DD2",
  "12.2(2)DD1",
  "12.2(1)XD",
  "12.2(1)XD2",
  "12.2(1)XD4",
  "12.2(1)XD3",
  "12.2(1)XD1",
  "12.2(1)XE",
  "12.2(1)XE1",
  "12.2(1)XE2",
  "12.2(2)XH",
  "12.2(2)XH1",
  "12.2(2)XH2",
  "12.2(2)XI",
  "12.2(2)XI1",
  "12.2(2)XI2",
  "12.2(2)XJ",
  "12.2(2)XK",
  "12.2(2)XK1",
  "12.2(2)XK3",
  "12.2(2)XK2",
  "12.2(2)XQ",
  "12.2(2)XQ1",
  "12.0(3)T1",
  "12.0(4)T",
  "12.0(3)T3",
  "12.0(7)T3",
  "12.0(7)T2",
  "12.0(7)T",
  "12.0(5)T",
  "12.0(3)T",
  "12.0(5)T1",
  "12.0(4)T1",
  "12.0(5)T2",
  "12.0(3)T2",
  "12.1(1)T",
  "12.1(5)T2",
  "12.1(5)T10",
  "12.1(5)T8a",
  "12.1(5)T9",
  "12.1(3)T",
  "12.1(2a)T1",
  "12.1(5)T17",
  "12.1(5)T11",
  "12.1(5)T15",
  "12.1(5)T20",
  "12.1(5)T4",
  "12.1(5)T3",
  "12.1(5)T14",
  "12.1(5)T8b",
  "12.1(3a)T1",
  "12.1(3a)T5",
  "12.1(3a)T7",
  "12.1(3a)T2",
  "12.1(3a)T6",
  "12.1(3a)T3",
  "12.1(5)T6",
  "12.1(2)T",
  "12.1(5)T12",
  "12.1(5)T7",
  "12.1(1a)T1",
  "12.1(5)T",
  "12.1(3a)T8",
  "12.1(3a)T4",
  "12.1(5)T8",
  "12.1(5)T19",
  "12.1(5)T1",
  "12.1(5)T18",
  "12.1(2a)T2",
  "12.1(5)T5",
  "12.1(1)EX",
  "12.1(5c)EX",
  "12.1(8a)EX",
  "12.1(9)EX",
  "12.1(10)EX",
  "12.1(11b)EX",
  "12.1(12c)EX",
  "12.1(13)EX",
  "12.1(6)EX",
  "12.1(13)EX3",
  "12.1(9)EX1",
  "12.1(8b)EX3",
  "12.1(10)EX2",
  "12.1(5c)EX1",
  "12.1(1)EX1",
  "12.1(8b)EX5",
  "12.1(12c)EX1",
  "12.1(10)EX1",
  "12.1(8a)EX1",
  "12.1(8b)EX2",
  "12.1(13)EX1",
  "12.1(11b)EX1",
  "12.1(8b)EX4",
  "12.1(9)EX3",
  "12.1(9)EX2",
  "12.1(5c)EX3",
  "12.1(5c)EX2",
  "12.1(13)EX2",
  "12.1(22)EA8",
  "12.1(11)EA1a",
  "12.1(22)EA12",
  "12.1(22)EA6",
  "12.1(14)EA1",
  "12.1(19)EA1b",
  "12.1(22)EA3",
  "12.1(14)EA1b",
  "12.1(20)EA2",
  "12.1(22)EA4a",
  "12.1(14)EA1a",
  "12.1(22)EA5a",
  "12.1(22)EA13",
  "12.1(22)EA1a",
  "12.1(12c)EA1a",
  "12.1(13)EA1c",
  "12.1(22)EA1b",
  "12.1(8)EA1c",
  "12.1(22)EA5",
  "12.1(22)EA10b",
  "12.1(20)EA1a",
  "12.1(22)EA11",
  "12.1(22)EA7",
  "12.1(22)EA1",
  "12.1(13)EA1b",
  "12.1(20)EA1",
  "12.1(13)EA1",
  "12.1(19)EA1a",
  "12.1(22)EA2",
  "12.1(19)EA1d",
  "12.1(22)EA9",
  "12.1(9)EA1",
  "12.1(22)EA14",
  "12.1(11)EA1",
  "12.1(22)EA8a",
  "12.1(12c)EA1",
  "12.1(22)EA10a",
  "12.1(19)EA1",
  "12.1(19)EA1c",
  "12.1(6)EA1",
  "12.1(22)EA10",
  "12.1(22)EA4",
  "12.1(13)EA1a",
  "12.1(22)EA6a",
  "12.1(13)EB",
  "12.1(14)EB",
  "12.1(19)EB",
  "12.1(20)EB",
  "12.1(22)EB",
  "12.1(23)EB",
  "12.1(26)EB",
  "12.1(13)EB1",
  "12.1(26)EB1",
  "12.1(14)EB1",
  "12.1(10)EV",
  "12.1(12c)EV",
  "12.1(10)EV3",
  "12.1(10)EV1a",
  "12.1(12c)EV3",
  "12.1(10)EV1",
  "12.1(10)EV4",
  "12.1(10)EV2",
  "12.1(12c)EV1",
  "12.1(12c)EV2",
  "12.1(11b)EW",
  "12.1(12c)EW",
  "12.1(13)EW",
  "12.1(19)EW",
  "12.1(20)EW",
  "12.1(8a)EW",
  "12.1(13)EW4",
  "12.1(12c)EW4",
  "12.1(20)EW2",
  "12.1(19)EW3",
  "12.1(20)EW1",
  "12.1(19)EW2",
  "12.1(13)EW3",
  "12.1(13)EW2",
  "12.1(11b)EW1",
  "12.1(8a)EW1",
  "12.1(12c)EW1",
  "12.1(19)EW1",
  "12.1(12c)EW3",
  "12.1(20)EW3",
  "12.1(12c)EW2",
  "12.1(13)EW1",
  "12.1(20)EW4",
  "12.2(4)BW",
  "12.2(4)BW1a",
  "12.2(4)BW2",
  "12.2(4)BW1",
  "12.2(2)BX",
  "12.2(15)BX",
  "12.2(16)BX",
  "12.2(16)BX2",
  "12.2(2)BX1",
  "12.2(16)BX3",
  "12.2(16)BX1",
  "12.2(4)BZ1",
  "12.2(15)BZ2",
  "12.2(4)BZ2",
  "12.2(11)CX",
  "12.2(15)CX",
  "12.2(15)CX1",
  "12.2(11)CX1",
  "12.2(33)CX",
  "12.2(11)CY",
  "12.2(33)CY",
  "12.2(33)CY1",
  "12.2(1)DX",
  "12.2(1)DX1",
  "12.2(2)DX3",
  "12.2(4)JA",
  "12.2(4)JA1",
  "12.2(8)JA",
  "12.2(11)JA",
  "12.2(11)JA1",
  "12.2(13)JA",
  "12.2(15)JA",
  "12.2(13)JA2",
  "12.2(13)JA1",
  "12.2(13)JA4",
  "12.2(13)JA3",
  "12.2(11)JA3",
  "12.2(11)JA2",
  "12.2(4)MB7",
  "12.2(4)MB4",
  "12.2(4)MB10",
  "12.2(4)MB9",
  "12.2(4)MB3",
  "12.2(4)MB6",
  "12.2(1)MB1",
  "12.2(4)MB12",
  "12.2(4)MB13a",
  "12.2(4)MB1",
  "12.2(4)MB13",
  "12.2(4)MB5",
  "12.2(4)MB13c",
  "12.2(4)MB11",
  "12.2(4)MB13b",
  "12.2(4)MB2",
  "12.2(4)MB8",
  "12.2(4)MB9a",
  "12.2(15)MC1c",
  "12.2(15)MC2g",
  "12.2(8)MC2",
  "12.2(15)MC2k",
  "12.2(8)MC2d",
  "12.2(15)MC1b",
  "12.2(15)MC2b",
  "12.2(15)MC2a",
  "12.2(15)MC2m",
  "12.2(15)MC1",
  "12.2(15)MC2",
  "12.2(15)MC2f",
  "12.2(8)MC2b",
  "12.2(15)MC2j",
  "12.2(8)MC2c",
  "12.2(15)MC2e",
  "12.2(8)MC2a",
  "12.2(15)MC1a",
  "12.2(15)MC2c",
  "12.2(15)MC2i",
  "12.2(15)MC2h",
  "12.2(8)MC1",
  "12.2(15)MC2l",
  "12.2(17a)SX",
  "12.2(14)SX",
  "12.2(14)SX2",
  "12.2(99)SX1012",
  "12.2(17a)SX1",
  "12.2(99)SX1017",
  "12.2(17a)SX2",
  "12.2(14)SX1",
  "12.2(99)SX1006",
  "12.2(99)SX1010",
  "12.2(17a)SX4",
  "12.2(99)SX1003",
  "12.2(17a)SX3",
  "12.2(14)SY",
  "12.2(14)SY1",
  "12.2(14)SY4",
  "12.2(50)SY",
  "12.2(14)SY5",
  "12.2(14)SY2",
  "12.2(14)SY3",
  "12.2(50)SY1",
  "12.2(50)SY2",
  "12.2(50)SY3",
  "12.2(50)SY4",
  "12.2(14)SZ",
  "12.2(14)SZ5",
  "12.2(14)SZ6",
  "12.2(14)SZ3",
  "12.2(14)SZ4",
  "12.2(14)SZ1",
  "12.2(14)SZ2",
  "12.2(2)XU",
  "12.2(8)YJ",
  "12.2(8)YJ1",
  "12.2(11)YT",
  "12.2(11)YT1",
  "12.2(11)YT2",
  "12.2(8)YN",
  "12.2(8)YN1",
  "12.2(9)YO",
  "12.2(9)YO3",
  "12.2(9)YO2",
  "12.2(9)YO1",
  "12.2(9)YO4",
  "12.2(1a)XC",
  "12.2(2)XC",
  "12.2(1a)XC1",
  "12.2(1a)XC3",
  "12.2(2)XC1",
  "12.2(1a)XC2",
  "12.2(2)XC2",
  "12.2(11)YP3",
  "12.2(2)YK",
  "12.2(2)YK1",
  "12.2(8)YL",
  "12.2(8)YM",
  "12.2(11)YU",
  "12.2(11)YV",
  "12.2(11)YV1",
  "12.2(11)YQ",
  "12.2(11)YR",
  "12.2(8)YW2",
  "12.2(8)YW",
  "12.2(8)YW3",
  "12.2(8)YW1",
  "12.2(11)YX",
  "12.2(11)YX1",
  "12.2(8)YY",
  "12.2(8)YY4",
  "12.2(8)YY3",
  "12.2(8)YY2",
  "12.2(8)YY1",
  "12.2(11)YZ",
  "12.2(11)YZ1",
  "12.2(11)YZ2",
  "12.2(9)ZA",
  "12.2(14)ZA",
  "12.2(14)ZA3",
  "12.2(14)ZA2",
  "12.2(14)ZA5",
  "12.2(14)ZA4",
  "12.2(14)ZA6",
  "12.2(14)ZA7",
  "12.2(8)ZB",
  "12.2(8)ZB3",
  "12.2(8)ZB2",
  "12.2(8)ZB7",
  "12.2(8)ZB6",
  "12.2(8)ZB4",
  "12.2(8)ZB8",
  "12.2(8)ZB1",
  "12.2(8)ZB4a",
  "12.2(8)ZB5",
  "12.2(11)ZC",
  "12.2(13)ZC",
  "12.2(13)ZD",
  "12.2(13)ZD3",
  "12.2(13)ZD2",
  "12.2(13)ZD1",
  "12.2(13)ZD4",
  "12.2(13)ZE",
  "12.2(13)ZF",
  "12.2(13)ZF2",
  "12.2(13)ZF1",
  "12.2(13)ZG",
  "12.2(13)ZH",
  "12.2(13)ZH5",
  "12.2(13)ZH9",
  "12.2(13)ZH2",
  "12.2(13)ZH8",
  "12.2(13)ZH10",
  "12.2(13)ZH4",
  "12.2(13)ZH3",
  "12.2(13)ZH7",
  "12.2(13)ZH6",
  "12.2(13)ZH1",
  "12.2(15)ZJ",
  "12.2(15)ZJ2",
  "12.2(15)ZJ1",
  "12.2(15)ZJ3",
  "12.2(15)ZJ5",
  "12.2(15)ZL",
  "12.2(15)ZL1",
  "12.0(5)XT1",
  "12.2(9)YE",
  "12.3(9a)",
  "12.3(15)",
  "12.3(19)",
  "12.3(10f)",
  "12.3(10a)",
  "12.3(1)",
  "12.3(1a)",
  "12.3(10)",
  "12.3(10b)",
  "12.3(10c)",
  "12.3(10d)",
  "12.3(10e)",
  "12.3(12b)",
  "12.3(12a)",
  "12.3(12c)",
  "12.3(12d)",
  "12.3(12e)",
  "12.3(12)",
  "12.3(13)",
  "12.3(13a)",
  "12.3(13b)",
  "12.3(15a)",
  "12.3(16)",
  "12.3(17)",
  "12.3(17a)",
  "12.3(17b)",
  "12.3(18)",
  "12.3(20)",
  "12.3(3f)",
  "12.3(3e)",
  "12.3(3g)",
  "12.3(3c)",
  "12.3(3b)",
  "12.3(3a)",
  "12.3(3)",
  "12.3(3i)",
  "12.3(3h)",
  "12.3(5c)",
  "12.3(5b)",
  "12.3(5a)",
  "12.3(5)",
  "12.3(5f)",
  "12.3(5e)",
  "12.3(5d)",
  "12.3(6f)",
  "12.3(6e)",
  "12.3(6c)",
  "12.3(6b)",
  "12.3(6a)",
  "12.3(6)",
  "12.3(9d)",
  "12.3(9e)",
  "12.3(9)",
  "12.3(9b)",
  "12.3(9c)",
  "12.3(16a)",
  "12.3(15b)",
  "12.3(21)",
  "12.3(22)",
  "12.3(21b)",
  "12.3(23)",
  "12.3(26)",
  "12.3(20a)",
  "12.3(22a)",
  "12.3(25)",
  "12.3(17c)",
  "12.3(24)",
  "12.3(19a)",
  "12.3(24a)",
  "12.3(18a)",
  "12.3(1a)B",
  "12.3(3)B",
  "12.3(5a)B",
  "12.3(3)B1",
  "12.3(5a)B3",
  "12.3(5a)B2",
  "12.3(5a)B5",
  "12.3(5a)B4",
  "12.3(5a)B1",
  "12.3(11)T",
  "12.3(7)T12",
  "12.3(11)T11",
  "12.3(11)T10",
  "12.3(14)T7",
  "12.3(14)T",
  "12.3(8)T",
  "12.3(2)T",
  "12.3(4)T",
  "12.3(7)T",
  "12.3(8)T9",
  "12.3(2)T9",
  "12.3(8)T6",
  "12.3(4)T2a",
  "12.3(4)T9",
  "12.3(4)T4",
  "12.3(2)T1",
  "12.3(11)T5",
  "12.3(7)T3",
  "12.3(2)T2",
  "12.3(8)T3",
  "12.3(4)T7",
  "12.3(8)T7",
  "12.3(11)T8",
  "12.3(7)T2",
  "12.3(8)T4",
  "12.3(8)T8",
  "12.3(14)T5",
  "12.3(11)T3",
  "12.3(4)T10",
  "12.3(2)T4",
  "12.3(8)T10",
  "12.3(14)T2",
  "12.3(4)T2",
  "12.3(7)T7",
  "12.3(7)T10",
  "12.3(7)T4",
  "12.3(11)T6",
  "12.3(7)T11",
  "12.3(4)T6",
  "12.3(2)T3",
  "12.3(2)T5",
  "12.3(2)T6",
  "12.3(4)T3",
  "12.3(14)T3",
  "12.3(2)T8",
  "12.3(11)T4",
  "12.3(7)T9",
  "12.3(8)T11",
  "12.3(11)T9",
  "12.3(7)T8",
  "12.3(4)T1",
  "12.3(8)T5",
  "12.3(4)T11",
  "12.3(4)T8",
  "12.3(14)T1",
  "12.3(11)T2",
  "12.3(7)T6",
  "12.3(2)T7",
  "12.3(11)T7",
  "12.3(7)T1",
  "12.3(14)T6",
  "12.3(8)T1",
  "12.2(15)CZ",
  "12.2(15)CZ1",
  "12.2(15)CZ3",
  "12.2(15)CZ2",
  "12.2(15)JK",
  "12.2(15)JK3",
  "12.2(15)JK5",
  "12.2(15)JK2",
  "12.2(15)JK1",
  "12.2(15)JK4",
  "12.2(13)ZP",
  "12.2(13)ZP1",
  "12.2(13)ZP3",
  "12.2(13)ZP2",
  "12.2(13)ZP4",
  "12.3(2)XA",
  "12.3(2)XA4",
  "12.3(2)XA7",
  "12.3(2)XA1",
  "12.3(2)XA3",
  "12.3(2)XA6",
  "12.3(2)XA2",
  "12.3(2)XA5",
  "12.3(4)XQ",
  "12.3(4)XQ1",
  "12.3(11)XL",
  "12.3(11)XL1",
  "12.3(4)XK3",
  "12.3(4)XK1",
  "12.3(4)XK4",
  "12.3(4)XK",
  "12.3(4)XK2",
  "12.3(7)XJ",
  "12.3(7)XJ1",
  "12.3(7)XJ2",
  "12.3(7)XI8",
  "12.3(7)XI7",
  "12.3(7)XI8d",
  "12.3(7)XI10a",
  "12.3(7)XI8a",
  "12.3(7)XI4",
  "12.3(7)XI1b",
  "12.3(7)XI7a",
  "12.3(7)XI2a",
  "12.3(7)XI10",
  "12.3(7)XI7b",
  "12.3(7)XI1c",
  "12.3(7)XI9",
  "12.3(7)XI3",
  "12.3(7)XI6",
  "12.3(7)XI8c",
  "12.3(7)XI2",
  "12.3(7)XI5",
  "12.3(4)XG",
  "12.3(4)XG3",
  "12.3(4)XG1",
  "12.3(4)XG4",
  "12.3(4)XG2",
  "12.3(4)XG5",
  "12.3(2)XF",
  "12.3(2)XE",
  "12.3(2)XE5",
  "12.3(2)XE2",
  "12.3(2)XE1",
  "12.3(2)XE4",
  "12.3(2)XE3",
  "12.3(4)XD",
  "12.3(4)XD4",
  "12.3(4)XD1",
  "12.3(4)XD3",
  "12.3(4)XD2",
  "12.3(2)XC",
  "12.3(2)XC4",
  "12.3(2)XC3",
  "12.3(2)XC2",
  "12.3(2)XC1",
  "12.3(2)XC5",
  "12.3(2)XB2",
  "12.3(2)XB",
  "12.3(2)XB3",
  "12.3(2)XB1",
  "12.2(18)EW",
  "12.2(20)EW",
  "12.2(25)EW",
  "12.2(20)EW2",
  "12.2(18)EW5",
  "12.2(18)EW1",
  "12.2(20)EW1",
  "12.2(20)EW4",
  "12.2(18)EW2",
  "12.2(18)EW6",
  "12.2(18)EW4",
  "12.2(18)EW7",
  "12.2(18)EW3",
  "12.2(20)EW3",
  "12.2(20)EWA",
  "12.2(25)EWA",
  "12.2(25)EWA6",
  "12.2(25)EWA5",
  "12.2(25)EWA1",
  "12.2(25)EWA10",
  "12.2(25)EWA8",
  "12.2(20)EWA1",
  "12.2(25)EWA11",
  "12.2(25)EWA9",
  "12.2(25)EWA2",
  "12.2(25)EWA14",
  "12.2(25)EWA4",
  "12.2(20)EWA3",
  "12.2(25)EWA3",
  "12.2(25)EWA7",
  "12.2(20)EWA4",
  "12.2(25)EWA12",
  "12.2(25)EWA13",
  "12.2(20)EWA2",
  "12.2(14)SU",
  "12.2(14)SU1",
  "12.2(14)SU2",
  "12.2(35)SE",
  "12.2(18)SE",
  "12.2(20)SE",
  "12.2(25)SE",
  "12.2(37)SE",
  "12.2(53)SE1",
  "12.2(55)SE",
  "12.2(25)SE2",
  "12.2(40)SE2",
  "12.2(46)SE",
  "12.2(46)SE2",
  "12.2(50)SE2",
  "12.2(35)SE5",
  "12.2(50)SE1",
  "12.2(44)SE2",
  "12.2(20)SE3",
  "12.2(35)SE1",
  "12.2(50)SE5",
  "12.2(35)SE4",
  "12.2(44)SE1",
  "12.2(53)SE",
  "12.2(37)SE1",
  "12.2(25)SE3",
  "12.2(35)SE3",
  "12.2(44)SE4",
  "12.2(55)SE3",
  "12.2(55)SE2",
  "12.2(40)SE",
  "12.2(44)SE",
  "12.2(52)SE",
  "12.2(58)SE",
  "12.2(50)SE3",
  "12.2(55)SE1",
  "12.2(35)SE2",
  "12.2(18)SE1",
  "12.2(40)SE1",
  "12.2(20)SE1",
  "12.2(44)SE6",
  "12.2(44)SE3",
  "12.2(53)SE2",
  "12.2(52)SE1",
  "12.2(46)SE1",
  "12.2(20)SE2",
  "12.2(54)SE",
  "12.2(44)SE5",
  "12.2(50)SE4",
  "12.2(50)SE",
  "12.2(20)SE4",
  "12.2(58)SE1",
  "12.2(55)SE4",
  "12.2(58)SE2",
  "12.2(55)SE5",
  "12.2(55)SE6",
  "12.2(55)SE7",
  "12.2(55)SE8",
  "12.2(55)SE9",
  "12.2(55)SE10",
  "12.2(27)SV",
  "12.2(28)SV",
  "12.2(18)SV",
  "12.2(22)SV",
  "12.2(23)SV",
  "12.2(24)SV",
  "12.2(25)SV",
  "12.2(26)SV",
  "12.2(29a)SV",
  "12.2(29)SV",
  "12.2(29)SV3",
  "12.2(29b)SV",
  "12.2(22)SV1",
  "12.2(18)SV3",
  "12.2(27)SV2",
  "12.2(27)SV5",
  "12.2(29b)SV1",
  "12.2(27)SV4",
  "12.2(29a)SV1",
  "12.2(24)SV1",
  "12.2(28)SV1",
  "12.2(29)SV1",
  "12.2(27)SV1",
  "12.2(18)SV1",
  "12.2(18)SV2",
  "12.2(23)SV1",
  "12.2(25)SV2",
  "12.2(25)SV3",
  "12.2(29)SV2",
  "12.2(27)SV3",
  "12.2(28)SV2",
  "12.2(26)SV1",
  "12.2(25)SW",
  "12.2(23)SW",
  "12.2(18)SW",
  "12.2(19)SW",
  "12.2(20)SW",
  "12.2(21)SW",
  "12.2(25)SW9",
  "12.2(25)SW2",
  "12.2(25)SW11",
  "12.2(25)SW10",
  "12.2(25)SW3a",
  "12.2(25)SW5",
  "12.2(25)SW4a",
  "12.2(25)SW4",
  "12.2(25)SW12",
  "12.2(25)SW7",
  "12.2(23)SW1",
  "12.2(25)SW6",
  "12.2(25)SW1",
  "12.2(21)SW1",
  "12.2(25)SW8",
  "12.2(25)SW3",
  "12.2(17d)SXB",
  "12.2(17d)SXB6",
  "12.2(17d)SXB11",
  "12.2(17d)SXB7",
  "12.2(17d)SXB4",
  "12.2(17d)SXB2",
  "12.2(17d)SXB3",
  "12.2(17d)SXB5",
  "12.2(17d)SXB10",
  "12.2(17d)SXB8",
  "12.2(17d)SXB11a",
  "12.2(17d)SXB1",
  "12.2(17d)SXB9",
  "12.2(17b)SXA",
  "12.2(17b)SXA2",
  "12.2(18)SXD",
  "12.2(18)SXD7a",
  "12.2(18)SXD7b",
  "12.2(18)SXD1",
  "12.2(18)SXD6",
  "12.2(18)SXD7",
  "12.2(18)SXD5",
  "12.2(18)SXD4",
  "12.2(18)SXD2",
  "12.2(18)SXD3",
  "12.3(7)XR",
  "12.3(7)XR4",
  "12.3(7)XR3",
  "12.3(7)XR5",
  "12.3(7)XR6",
  "12.3(7)XR2",
  "12.3(7)XR7",
  "12.3(7)XS",
  "12.3(7)XS2",
  "12.3(7)XS1",
  "12.3(8)XU",
  "12.3(8)XU5",
  "12.3(8)XU2",
  "12.3(8)XU1",
  "12.3(8)XU4",
  "12.3(8)XU3",
  "12.3(8)XX",
  "12.3(8)XX1",
  "12.3(8)XX2d",
  "12.3(8)XW",
  "12.3(8)XW2",
  "12.3(8)XW3",
  "12.3(8)XW1",
  "12.3(8)XY",
  "12.3(8)XY3",
  "12.3(8)XY5",
  "12.3(8)XY4",
  "12.3(8)XY1",
  "12.3(8)XY7",
  "12.3(8)XY2",
  "12.3(8)XY6",
  "12.3(2)XZ1",
  "12.3(2)XZ2",
  "12.3(8)YA",
  "12.3(8)YA1",
  "12.3(8)YD",
  "12.3(8)YD1",
  "12.3(11)YF",
  "12.3(11)YF2",
  "12.3(11)YF3",
  "12.3(11)YF4",
  "12.3(11)YF1",
  "12.3(8)YH",
  "12.3(8)YG",
  "12.3(8)YG5",
  "12.3(8)YG3",
  "12.3(8)YG6",
  "12.3(8)YG2",
  "12.3(8)YG1",
  "12.3(8)YG4",
  "12.2(1)M0",
  "12.2(6c)M1",
  "12.2(12b)M1",
  "12.2(12h)M1",
  "12.2(8)BY",
  "12.2(8)BY1",
  "12.2(2)BY2",
  "12.2(2)BY",
  "12.2(2)BY1",
  "12.2(2)BY3",
  "12.2(8)BY2",
  "12.2(4)XV",
  "12.2(4)XV1",
  "12.2(4)XV2",
  "12.2(4)XV4",
  "12.2(4)XV4a",
  "12.2(4)XV3",
  "12.2(4)XV5",
  "12.3(13a)BC6",
  "12.3(17a)BC2",
  "12.3(17a)BC",
  "12.3(13a)BC",
  "12.3(21)BC",
  "12.3(9a)BC",
  "12.3(21a)BC9",
  "12.3(21a)BC4",
  "12.3(9a)BC9",
  "12.3(17b)BC6",
  "12.3(13a)BC2",
  "12.3(23)BC",
  "12.3(17b)BC3",
  "12.3(9a)BC2",
  "12.3(17b)BC9",
  "12.3(23)BC8",
  "12.3(23)BC10",
  "12.3(23)BC1",
  "12.3(9a)BC1",
  "12.3(17b)BC8",
  "12.3(9a)BC3",
  "12.3(23)BC9",
  "12.3(21a)BC6",
  "12.3(9a)BC6",
  "12.3(9a)BC5",
  "12.3(23)BC7",
  "12.3(13a)BC3",
  "12.3(23)BC6",
  "12.3(23)BC4",
  "12.3(13a)BC1",
  "12.3(17b)BC5",
  "12.3(21a)BC8",
  "12.3(9a)BC8",
  "12.3(21a)BC3",
  "12.3(21a)BC7",
  "12.3(9a)BC7",
  "12.3(23)BC5",
  "12.3(13a)BC5",
  "12.3(9a)BC4",
  "12.3(21a)BC2",
  "12.3(13a)BC4",
  "12.3(17b)BC7",
  "12.3(23)BC3",
  "12.3(21a)BC1",
  "12.3(17a)BC1",
  "12.3(17b)BC4",
  "12.3(23)BC2",
  "12.3(21a)BC5",
  "12.3(1a)BW",
  "12.1(14)AZ",
  "12.3(11)YJ",
  "12.3(8)YI2",
  "12.3(8)YI3",
  "12.3(8)YI1",
  "12.3(11)YK",
  "12.3(11)YK1",
  "12.3(11)YK2",
  "12.3(11)YK3",
  "12.2(20)EU",
  "12.2(20)EU1",
  "12.2(20)EU2",
  "12.2(25)EX",
  "12.2(20)EX",
  "12.2(35)EX",
  "12.2(44)EX",
  "12.2(35)EX2",
  "12.2(40)EX3",
  "12.2(40)EX",
  "12.2(53)EX",
  "12.2(37)EX",
  "12.2(52)EX",
  "12.2(44)EX1",
  "12.2(35)EX1",
  "12.2(25)EX1",
  "12.2(40)EX2",
  "12.2(40)EX1",
  "12.2(55)EX",
  "12.2(46)EX",
  "12.2(52)EX1",
  "12.2(55)EX1",
  "12.2(55)EX2",
  "12.2(55)EX3",
  "12.2(58)EX",
  "12.2(25)SEB",
  "12.2(25)SEB2",
  "12.2(25)SEB1",
  "12.2(25)SEB4",
  "12.2(25)SEB3",
  "12.2(25)SEA",
  "12.2(25)EY",
  "12.2(46)EY",
  "12.2(55)EY",
  "12.2(52)EY1",
  "12.2(25)EY1",
  "12.2(44)EY",
  "12.2(52)EY",
  "12.2(53)EY",
  "12.2(25)EY3",
  "12.2(52)EY2",
  "12.2(37)EY",
  "12.2(25)EY2",
  "12.2(25)EY4",
  "12.2(52)EY1b",
  "12.2(52)EY1c",
  "12.2(58)EY",
  "12.2(52)EY3",
  "12.2(52)EY2a",
  "12.2(58)EY1",
  "12.2(52)EY4",
  "12.2(52)EY3a",
  "12.2(58)EY2",
  "12.2(18)SO1",
  "12.2(18)SO6",
  "12.2(18)SO7",
  "12.2(18)SO4",
  "12.2(18)SO3",
  "12.2(18)SO2",
  "12.2(18)SO5",
  "12.3(2)JA",
  "12.3(2)JA1",
  "12.3(2)JA2",
  "12.3(2)JA3",
  "12.3(2)JA4",
  "12.3(2)JA5",
  "12.3(4)JA1",
  "12.3(4)JA",
  "12.3(7)JA1",
  "12.3(7)JA",
  "12.3(8)JA",
  "12.3(8)JA1",
  "12.3(8)JA2",
  "12.3(11)JA",
  "12.3(7)JA4",
  "12.3(4)JA2",
  "12.3(7)JA5",
  "12.3(11)JA3",
  "12.3(11)JA4",
  "12.3(2)JA6",
  "12.3(11)JA2",
  "12.3(11)JA1",
  "12.3(7)JA3",
  "12.3(7)JA2",
  "12.3(14)YQ8",
  "12.3(14)YQ",
  "12.3(14)YQ5",
  "12.3(14)YQ4",
  "12.3(14)YQ7",
  "12.3(14)YQ1",
  "12.3(14)YQ6",
  "12.3(14)YQ3",
  "12.3(14)YQ2",
  "12.3(11)YS",
  "12.3(11)YS1",
  "12.3(11)YS2",
  "12.4(3e)",
  "12.4(7b)",
  "12.4(8)",
  "12.4(5b)",
  "12.4(7a)",
  "12.4(3d)",
  "12.4(1)",
  "12.4(1a)",
  "12.4(1b)",
  "12.4(1c)",
  "12.4(10)",
  "12.4(3)",
  "12.4(3a)",
  "12.4(3b)",
  "12.4(3c)",
  "12.4(3f)",
  "12.4(5)",
  "12.4(5a)",
  "12.4(7c)",
  "12.4(7)",
  "12.4(8a)",
  "12.4(8b)",
  "12.4(7d)",
  "12.4(3g)",
  "12.4(8c)",
  "12.4(10b)",
  "12.4(12)",
  "12.4(12a)",
  "12.4(12b)",
  "12.4(13)",
  "12.4(13a)",
  "12.4(13b)",
  "12.4(13c)",
  "12.4(7e)",
  "12.4(17)",
  "12.4(25e)",
  "12.4(18b)",
  "12.4(18e)",
  "12.4(25g)",
  "12.4(3i)",
  "12.4(3j)",
  "12.4(23b)",
  "12.4(3h)",
  "12.4(7h)",
  "12.4(25a)",
  "12.4(16)",
  "12.4(13d)",
  "12.4(25)",
  "12.4(25c)",
  "12.4(19)",
  "12.4(13e)",
  "12.4(25b)",
  "12.4(23)",
  "12.4(10c)",
  "12.4(21)",
  "12.4(16b)",
  "12.4(16a)",
  "12.4(23a)",
  "12.4(25d)",
  "12.4(7f)",
  "12.4(18)",
  "12.4(21a)",
  "12.4(13f)",
  "12.4(25f)",
  "12.4(18c)",
  "12.4(5c)",
  "12.4(8d)",
  "12.4(12c)",
  "12.4(17a)",
  "12.4(18a)",
  "12.4(17b)",
  "12.4(7g)",
  "12.2(25)EZ",
  "12.2(25)EZ1",
  "12.2(58)EZ",
  "12.2(53)EZ",
  "12.2(55)EZ",
  "12.2(60)EZ",
  "12.2(60)EZ1",
  "12.2(60)EZ2",
  "12.2(60)EZ3",
  "12.2(60)EZ4",
  "12.2(60)EZ5",
  "12.2(60)EZ6",
  "12.2(60)EZ7",
  "12.2(60)EZ8",
  "12.2(60)EZ9",
  "12.2(25)SEC",
  "12.2(25)SEC2",
  "12.2(25)SEC1",
  "12.3(2)JK",
  "12.3(2)JK1",
  "12.3(2)JK2",
  "12.3(8)JK1",
  "12.3(2)JK3",
  "12.3(14)YU",
  "12.3(14)YU1",
  "12.4(6)MR1",
  "12.4(11)MR",
  "12.4(2)MR",
  "12.4(4)MR",
  "12.4(6)MR",
  "12.4(9)MR",
  "12.4(12)MR",
  "12.4(16)MR",
  "12.4(16)MR1",
  "12.4(19)MR2",
  "12.4(19)MR1",
  "12.4(19)MR",
  "12.4(20)MR",
  "12.4(4)MR1",
  "12.4(19)MR3",
  "12.4(12)MR1",
  "12.4(20)MR2",
  "12.4(16)MR2",
  "12.4(12)MR2",
  "12.4(2)MR1",
  "12.4(4)T",
  "12.4(4)T1",
  "12.4(4)T2",
  "12.4(4)T3",
  "12.4(6)T",
  "12.4(6)T1",
  "12.4(6)T2",
  "12.4(9)T",
  "12.4(4)T4",
  "12.4(2)T5",
  "12.4(6)T3",
  "12.4(2)T",
  "12.4(11)T",
  "12.4(15)T",
  "12.4(20)T",
  "12.4(24)T",
  "12.4(24)T3",
  "12.4(4)T8",
  "12.4(20)T1",
  "12.4(22)T1",
  "12.4(15)T9",
  "12.4(11)T4",
  "12.4(15)T8",
  "12.4(6)T5",
  "12.4(15)T15",
  "12.4(24)T5",
  "12.4(15)T2",
  "12.4(6)T8",
  "12.4(15)T12",
  "12.4(24)T4",
  "12.4(6)T11",
  "12.4(9)T5",
  "12.4(20)T3",
  "12.4(6)T4",
  "12.4(4)T6",
  "12.4(22)T",
  "12.4(20)T6",
  "12.4(9)T3",
  "12.4(24)T8",
  "12.4(6)T7",
  "12.4(15)T13",
  "12.4(6)T10",
  "12.4(15)T3",
  "12.4(24)T2",
  "12.4(22)T5",
  "12.4(2)T3",
  "12.4(15)T10",
  "12.4(22)T4",
  "12.4(20)T5",
  "12.4(9)T6",
  "12.4(15)T4",
  "12.4(2)T4",
  "12.4(24)T1",
  "12.4(9)T4",
  "12.4(24)T7",
  "12.4(22)T3",
  "12.4(9)T1",
  "12.4(24)T6",
  "12.4(6)T9",
  "12.4(15)T5",
  "12.4(4)T7",
  "12.4(20)T2",
  "12.4(2)T1",
  "12.4(11)T1",
  "12.4(15)T11",
  "12.4(2)T6",
  "12.4(2)T2",
  "12.4(15)T7",
  "12.4(11)T2",
  "12.4(9)T7",
  "12.4(15)T14",
  "12.4(11)T3",
  "12.4(15)T6",
  "12.4(15)T16",
  "12.4(15)T1",
  "12.4(9)T2",
  "12.4(6)T6",
  "12.4(22)T2",
  "12.4(4)T5",
  "12.4(20)T4",
  "12.4(24)T4a",
  "12.4(24)T4b",
  "12.4(24)T3e",
  "12.4(24)T4c",
  "12.4(15)T17",
  "12.4(24)T4d",
  "12.4(24)T4e",
  "12.4(24)T3f",
  "12.4(24)T4f",
  "12.4(24)T4l",
  "12.3(14)YT",
  "12.3(14)YT1",
  "12.2(18)SXF",
  "12.2(18)SXF5",
  "12.2(18)SXF6",
  "12.2(18)SXF15",
  "12.2(18)SXF1",
  "12.2(18)SXF10",
  "12.2(18)SXF17b",
  "12.2(18)SXF4",
  "12.2(18)SXF15a",
  "12.2(18)SXF3",
  "12.2(18)SXF17",
  "12.2(18)SXF12",
  "12.2(18)SXF8",
  "12.2(18)SXF10a",
  "12.2(18)SXF16",
  "12.2(18)SXF7",
  "12.2(18)SXF17a",
  "12.2(18)SXF14",
  "12.2(18)SXF12a",
  "12.2(18)SXF9",
  "12.2(18)SXF13",
  "12.2(18)SXF2",
  "12.2(18)SXF11",
  "12.2(31)SG",
  "12.2(25)SG",
  "12.2(37)SG",
  "12.2(44)SG",
  "12.2(50)SG3",
  "12.2(31)SG1",
  "12.2(53)SG",
  "12.2(31)SG3",
  "12.2(50)SG6",
  "12.2(53)SG1",
  "12.2(46)SG",
  "12.2(25)SG1",
  "12.2(53)SG2",
  "12.2(50)SG5",
  "12.2(37)SG1",
  "12.2(53)SG3",
  "12.2(50)SG8",
  "12.2(25)SG3",
  "12.2(50)SG2",
  "12.2(40)SG",
  "12.2(25)SG2",
  "12.2(54)SG1",
  "12.2(44)SG1",
  "12.2(50)SG1",
  "12.2(52)SG",
  "12.2(54)SG",
  "12.2(31)SG2",
  "12.2(50)SG",
  "12.2(25)SG4",
  "12.2(50)SG7",
  "12.2(53)SG4",
  "12.2(50)SG4",
  "12.2(46)SG1",
  "12.2(53)SG5",
  "12.2(53)SG6",
  "12.2(53)SG7",
  "12.2(53)SG8",
  "12.2(53)SG9",
  "12.2(53)SG10",
  "12.2(53)SG11",
  "12.2(25)FX",
  "12.2(25)FY",
  "12.2(27)SBC",
  "12.2(27)SBC2",
  "12.2(27)SBC3",
  "12.2(27)SBC4",
  "12.2(27)SBC5",
  "12.2(27)SBC1",
  "12.2(18)SXE",
  "12.2(18)SXE2",
  "12.2(18)SXE6",
  "12.2(18)SXE3",
  "12.2(18)SXE6a",
  "12.2(18)SXE4",
  "12.2(18)SXE6b",
  "12.2(18)SXE1",
  "12.2(18)SXE5",
  "12.2(8)TPC10a",
  "12.2(8)TPC10b",
  "12.2(8)TPC10c",
  "12.3(7)JX2",
  "12.3(7)JX",
  "12.3(7)JX1",
  "12.3(7)JX4",
  "12.3(11)JX",
  "12.3(7)JX7",
  "12.3(7)JX12",
  "12.3(7)JX9",
  "12.3(7)JX10",
  "12.3(11)JX1",
  "12.3(7)JX6",
  "12.3(7)JX5",
  "12.3(7)JX3",
  "12.3(7)JX11",
  "12.3(7)JX8",
  "12.3(4)TPC11b",
  "12.3(4)TPC11a",
  "12.4(2)XB",
  "12.4(2)XB1",
  "12.4(2)XB6",
  "12.4(2)XB7",
  "12.4(2)XB11",
  "12.4(2)XB3",
  "12.4(2)XB9",
  "12.4(2)XB8",
  "12.4(2)XB2",
  "12.4(2)XB10",
  "12.4(2)XB4",
  "12.4(2)XB5",
  "12.4(2)XB12",
  "12.4(2)XA",
  "12.4(2)XA1",
  "12.4(2)XA2",
  "12.3(14)YM8",
  "12.3(14)YM12",
  "12.3(14)YM4",
  "12.3(14)YM3",
  "12.3(14)YM7",
  "12.3(14)YM11",
  "12.3(14)YM9",
  "12.3(14)YM6",
  "12.3(14)YM10",
  "12.3(14)YM13",
  "12.3(14)YM5",
  "12.3(14)YM2",
  "12.1(2)GB",
  "12.2(28)SB2",
  "12.2(28)SB",
  "12.2(28)SB10",
  "12.2(31)SB3x",
  "12.2(33)SB3",
  "12.2(28)SB11",
  "12.2(31)SB5",
  "12.2(31)SB10",
  "12.2(33)SB9",
  "12.2(28)SB3",
  "12.2(31)SB15",
  "12.2(33)SB10",
  "12.2(33)SB6",
  "12.2(28)SB5",
  "12.2(31)SB11",
  "12.2(28)SB12",
  "12.2(31)SB7",
  "12.2(33)SB5",
  "12.2(31)SB6",
  "12.2(28)SB1",
  "12.2(33)SB8",
  "12.2(28)SB6",
  "12.2(31)SB17",
  "12.2(28)SB8",
  "12.2(31)SB13",
  "12.2(31)SB9",
  "12.2(28)SB4",
  "12.2(31)SB16",
  "12.2(31)SB12",
  "12.2(31)SB20",
  "12.2(28)SB7",
  "12.2(33)SB2",
  "12.2(28)SB9",
  "12.2(31)SB8",
  "12.2(31)SB3",
  "12.2(31)SB18",
  "12.2(31)SB2",
  "12.2(31)SB14",
  "12.2(31)SB19",
  "12.2(33)SB",
  "12.2(33)SB7",
  "12.2(33)SB1",
  "12.2(33)SB4",
  "12.2(28)SB13",
  "12.2(33)SB11",
  "12.2(31)SB21",
  "12.2(33)SB12",
  "12.2(33)SB13",
  "12.2(33)SB14",
  "12.2(33)SB15",
  "12.2(33)SB16",
  "12.2(33)SB17",
  "12.2(33)SRA",
  "12.2(33)SRA6",
  "12.2(33)SRA7",
  "12.2(33)SRA2",
  "12.2(33)SRA3",
  "12.2(33)SRA1",
  "12.2(33)SRA4",
  "12.2(33)SRA5",
  "12.2(28)ZX",
  "12.4(4)XC",
  "12.4(4)XC1",
  "12.4(4)XC5",
  "12.4(4)XC7",
  "12.4(4)XC3",
  "12.4(4)XC4",
  "12.4(4)XC2",
  "12.4(4)XC6",
  "12.4(4)XD",
  "12.4(4)XD4",
  "12.4(4)XD10",
  "12.4(4)XD12",
  "12.4(4)XD2",
  "12.4(4)XD8",
  "12.4(4)XD11",
  "12.4(4)XD1",
  "12.4(4)XD5",
  "12.4(4)XD7",
  "12.4(4)XD9",
  "12.4(6)XE",
  "12.4(6)XE3",
  "12.4(6)XE2",
  "12.4(6)XE1",
  "12.2(25)SEF1",
  "12.2(25)SEF2",
  "12.2(25)SEF3",
  "12.2(25)SEE",
  "12.2(25)SEE1",
  "12.2(25)SEE3",
  "12.2(25)SEE4",
  "12.2(25)SEE2",
  "12.2(25)SED",
  "12.2(25)SED1",
  "12.3(11)YZ1",
  "12.3(11)YZ",
  "12.3(11)YZ2",
  "12.4(11)SW",
  "12.4(15)SW6",
  "12.4(15)SW",
  "12.4(11)SW1",
  "12.4(15)SW5",
  "12.4(15)SW1",
  "12.4(15)SW4",
  "12.4(11)SW3",
  "12.4(11)SW2",
  "12.4(15)SW3",
  "12.4(15)SW2",
  "12.4(15)SW7",
  "12.4(15)SW8",
  "12.4(15)SW8a",
  "12.4(15)SW9",
  "12.4(9)XG",
  "12.4(9)XG3",
  "12.4(9)XG5",
  "12.4(9)XG2",
  "12.4(9)XG1",
  "12.4(9)XG4",
  "12.4(11)XJ",
  "12.4(11)XJ3",
  "12.4(11)XJ2",
  "12.4(11)XJ4",
  "12.4(6)XT",
  "12.4(6)XT1",
  "12.4(6)XT2",
  "12.4(6)XP",
  "12.2(31)SGA",
  "12.2(31)SGA3",
  "12.2(31)SGA2",
  "12.2(31)SGA10",
  "12.2(31)SGA5",
  "12.2(31)SGA4",
  "12.2(31)SGA11",
  "12.2(31)SGA6",
  "12.2(31)SGA1",
  "12.2(31)SGA7",
  "12.2(31)SGA8",
  "12.2(31)SGA9",
  "12.2(18)IXA",
  "12.2(18)IXB",
  "12.2(18)IXB2",
  "12.2(18)IXB1",
  "12.2(18)IXC",
  "12.2(18)IXD",
  "12.2(18)IXD1",
  "12.2(25)SEG",
  "12.2(25)SEG5",
  "12.2(25)SEG2",
  "12.2(25)SEG4",
  "12.2(25)SEG1",
  "12.2(25)SEG3",
  "12.2(25)SEG6",
  "12.2(18)ZU",
  "12.2(18)ZU1",
  "12.2(18)ZU2",
  "12.2(18)ZY",
  "12.2(18)ZY1",
  "12.2(18)ZY2",
  "12.3(8)JEA",
  "12.3(8)JEA1",
  "12.3(8)JEA3",
  "12.3(8)JEA2",
  "12.4(3g)JA",
  "12.4(25d)JA",
  "12.4(21a)JA",
  "12.4(18a)JA",
  "12.4(21a)JA1",
  "12.4(16b)JA1",
  "12.4(21a)JA2",
  "12.4(10b)JA3",
  "12.4(18a)JA2",
  "12.4(25d)JA1",
  "12.4(10b)JA1",
  "12.4(18a)JA1",
  "12.4(18a)JA3",
  "12.4(23c)JA",
  "12.4(16b)JA",
  "12.4(10b)JA4",
  "12.4(10b)JA2",
  "12.4(3g)JA1",
  "12.4(13d)JA",
  "12.4(3g)JA2",
  "12.4(23c)JA1",
  "12.4(10b)JA",
  "12.4(23c)JA2",
  "12.4(23c)JA3",
  "12.4(23c)JA4",
  "12.4(25d)JA2",
  "12.4(25e)JA",
  "12.4(23c)JA5",
  "12.4(25e)JA1",
  "12.4(23c)JA6",
  "12.4(23c)JA7",
  "12.4(23c)JA8",
  "12.4(23c)JA9",
  "12.4(23c)JA10",
  "12.4(11)MD",
  "12.4(11)MD2",
  "12.4(24)MD1",
  "12.4(11)MD1",
  "12.4(24)MD",
  "12.4(11)MD10",
  "12.4(15)MD3",
  "12.4(24)MD3",
  "12.4(15)MD2",
  "12.4(11)MD5",
  "12.4(24)MD2",
  "12.4(11)MD9",
  "12.4(22)MD1",
  "12.4(15)MD5",
  "12.4(15)MD4",
  "12.4(22)MD2",
  "12.4(11)MD8",
  "12.4(11)MD7",
  "12.4(24)MD5",
  "12.4(15)MD",
  "12.4(15)MD1",
  "12.4(11)MD6",
  "12.4(22)MD",
  "12.4(11)MD4",
  "12.4(11)MD3",
  "12.4(24)MD4",
  "12.4(24)MD6",
  "12.4(24)MD7",
  "12.4(14)XK",
  "12.4(11)XV",
  "12.4(11)XV1",
  "12.4(11)XW",
  "12.4(11)XW3",
  "12.4(11)XW7",
  "12.4(11)XW10",
  "12.4(11)XW8",
  "12.4(11)XW9",
  "12.4(11)XW6",
  "12.4(11)XW4",
  "12.4(11)XW1",
  "12.4(11)XW5",
  "12.4(11)XW2",
  "12.2(33)SRB",
  "12.2(33)SRB4",
  "12.2(33)SRB5a",
  "12.2(33)SRB3",
  "12.2(33)SRB1",
  "12.2(33)SRB7",
  "12.2(33)SRB6",
  "12.2(33)SRB5",
  "12.2(33)SRB2",
  "12.2(29)SVC",
  "12.4(3g)JMA",
  "12.4(3g)JMA1",
  "12.3(8)JEB",
  "12.3(8)JEB1",
  "12.3(8)JEC2",
  "12.3(8)JEC1",
  "12.3(8)JEC3",
  "12.3(8)JEC",
  "12.2(18)IXE",
  "12.2(25)FZ",
  "12.4(15)XF",
  "12.3(2)JL",
  "12.3(2)JL3",
  "12.3(2)JL1",
  "12.3(2)JL4",
  "12.3(2)JL2",
  "12.2(33)SCA2",
  "12.2(33)SCA1",
  "12.2(33)SCA",
  "12.2(33)SRC2",
  "12.2(33)SRC",
  "12.2(33)SRC3",
  "12.2(33)SRC5",
  "12.2(33)SRC6",
  "12.2(33)SRC4",
  "12.2(33)SRC1",
  "12.2(29)SVA2",
  "12.2(29)SVD",
  "12.2(29)SVD0",
  "12.2(29)SVD1",
  "12.2(33)SXH3a",
  "12.2(33)SXH8a",
  "12.2(33)SXH3",
  "12.2(33)SXH4",
  "12.2(33)SXH7",
  "12.2(33)SXH",
  "12.2(33)SXH8",
  "12.2(33)SXH2a",
  "12.2(33)SXH2",
  "12.2(33)SXH1",
  "12.2(33)SXH5",
  "12.2(33)SXH6",
  "12.2(33)SXH8b",
  "12.4(15)XQ4",
  "12.4(15)XQ1",
  "12.4(15)XQ7",
  "12.4(15)XQ2a",
  "12.4(15)XQ6",
  "12.4(15)XQ2",
  "12.4(15)XQ",
  "12.4(15)XQ3",
  "12.4(15)XQ5",
  "12.4(15)XQ2b",
  "12.4(15)XQ8",
  "12.4(15)XY4",
  "12.4(15)XY5",
  "12.4(15)XY1",
  "12.4(15)XY",
  "12.4(15)XY2",
  "12.4(15)XY3",
  "12.4(15)XZ",
  "12.4(15)XZ2",
  "12.4(15)XZ1",
  "12.4(15)XL3",
  "12.4(15)XL1",
  "12.4(15)XL2",
  "12.4(15)XL4",
  "12.4(15)XL5",
  "12.4(15)XL",
  "12.3(8)ZA",
  "12.4(15)XM3",
  "12.4(15)XM1",
  "12.4(15)XM2",
  "12.4(15)XM",
  "12.4(15)XN",
  "12.4(22)XR5",
  "12.4(22)XR4",
  "12.4(15)XR5",
  "12.4(15)XR2",
  "12.4(22)XR7",
  "12.4(15)XR4",
  "12.4(15)XR1",
  "12.4(15)XR7",
  "12.4(22)XR2",
  "12.4(15)XR9",
  "12.4(15)XR6",
  "12.4(15)XR3",
  "12.4(15)XR",
  "12.4(22)XR6",
  "12.4(22)XR10",
  "12.4(15)XR8",
  "12.4(22)XR1",
  "12.4(22)XR9",
  "12.4(22)XR3",
  "12.4(22)XR8",
  "12.4(22)XR11",
  "12.4(15)XR10",
  "12.4(22)XR12",
  "12.4(20)YA3",
  "12.4(20)YA2",
  "12.4(20)YA",
  "12.4(20)YA1",
  "12.2(33)IRA",
  "12.2(33)IRB",
  "12.2(18)IXG",
  "12.2(18)IXF",
  "12.2(18)IXF1",
  "12.2(33)SCB9",
  "12.2(33)SCB",
  "12.2(33)SCB6",
  "12.2(33)SCB3",
  "12.2(33)SCB10",
  "12.2(33)SCB4",
  "12.2(33)SCB2",
  "12.2(33)SCB7",
  "12.2(33)SCB1",
  "12.2(33)SCB5",
  "12.2(33)SCB8",
  "12.2(33)SCB11",
  "12.2(33)SRD7",
  "12.2(33)SRD6",
  "12.2(33)SRD2a",
  "12.2(33)SRD4",
  "12.2(33)SRD5",
  "12.2(33)SRD3",
  "12.2(33)SRD2",
  "12.2(33)SRD1",
  "12.2(33)SRD",
  "12.2(33)SRD8",
  "12.2(33)STE0",
  "12.2(29)SVE0",
  "12.2(33)SXI2",
  "12.2(33)SXI3",
  "12.2(33)SXI5",
  "12.2(33)SXI4a",
  "12.2(33)SXI4",
  "12.2(33)SXI2a",
  "12.2(33)SXI",
  "12.2(33)SXI6",
  "12.2(33)SXI7",
  "12.2(33)SXI1",
  "12.2(33)SXI8",
  "12.2(33)SXI9",
  "12.2(33)SXI8a",
  "12.2(33)SXI10",
  "12.2(33)SXI11",
  "12.2(33)SXI12",
  "12.2(33)SXI13",
  "12.2(33)SXI14",
  "12.2(52)XO",
  "12.2(54)XO",
  "12.2(40)XO",
  "12.2(18)ZYA2",
  "12.2(18)ZYA",
  "12.2(18)ZYA3a",
  "12.2(18)ZYA1",
  "12.2(18)ZYA3",
  "12.2(18)ZYA3b",
  "12.2(18)ZYA3c",
  "12.4(10b)JDA3",
  "12.4(10b)JDA",
  "12.4(10b)JDA2",
  "12.4(10b)JDA1",
  "12.4(3)JL",
  "12.4(3)JL2",
  "12.4(3)JL1",
  "12.4(3)JK4",
  "12.4(3)JK1",
  "12.4(3)JK",
  "12.4(3)JK3",
  "12.4(3)JK2",
  "12.4(3g)JMB",
  "12.4(3g)JX",
  "12.4(3g)JX2",
  "12.4(10b)JX",
  "12.4(21a)JX",
  "12.4(3g)JX1",
  "12.4(25e)JX",
  "12.4(10b)JY",
  "12.4(21a)JY",
  "12.4(23c)JY",
  "12.4(23)JY",
  "12.2(44)SQ",
  "12.2(44)SQ2",
  "12.2(50)SQ2",
  "12.2(50)SQ1",
  "12.2(50)SQ",
  "12.2(50)SQ3",
  "12.2(50)SQ4",
  "12.2(50)SQ5",
  "12.2(50)SQ6",
  "12.2(50)SQ7",
  "12.4(10b)JDC",
  "12.4(10b)JDD",
  "12.4(22)YB5",
  "12.4(22)YB",
  "12.4(22)YB2",
  "12.4(22)YB7",
  "12.4(22)YB4",
  "12.4(22)YB1",
  "12.4(22)YB8",
  "12.4(22)YB3",
  "12.4(22)YB6",
  "12.4(22)YD3",
  "12.4(22)YD",
  "12.4(22)YD1",
  "12.4(22)YD2",
  "12.4(22)YD4",
  "12.4(22)YE2",
  "12.4(22)YE",
  "12.4(22)YE3",
  "12.4(22)YE4",
  "12.4(22)YE1",
  "12.4(24)YE2",
  "12.4(24)YE",
  "12.4(22)YE5",
  "12.4(24)YE1",
  "12.4(24)YE3",
  "12.4(24)YE3a",
  "12.4(24)YE4",
  "12.4(22)YE6",
  "12.4(24)YE5",
  "12.4(24)YE3b",
  "12.4(24)YE6",
  "12.4(24)YE7",
  "12.4(24)YE3c",
  "12.4(24)YE3d",
  "12.4(24)YE3e",
  "12.2(33)IRC",
  "12.2(18)IXH1",
  "12.2(18)IXH",
  "12.4(22)MDA3",
  "12.4(24)MDA5",
  "12.4(22)MDA5",
  "12.4(24)MDA3",
  "12.4(22)MDA4",
  "12.4(24)MDA4",
  "12.4(24)MDA1",
  "12.4(22)MDA",
  "12.4(22)MDA2",
  "12.4(22)MDA1",
  "12.4(24)MDA2",
  "12.4(22)MDA6",
  "12.4(24)MDA6",
  "12.4(24)MDA7",
  "12.4(24)MDA8",
  "12.4(24)MDA10",
  "12.4(24)MDA9",
  "12.4(24)MDA11",
  "12.4(24)MDA12",
  "12.4(24)MDA13",
  "12.4(22)GC1",
  "12.4(24)GC1",
  "12.4(24)GC3",
  "12.4(24)GC3a",
  "12.4(24)GC4",
  "12.4(24)GC5",
  "12.2(33)SCC",
  "12.2(33)SCC2",
  "12.2(33)SCC6",
  "12.2(33)SCC7",
  "12.2(33)SCC5",
  "12.2(33)SCC4",
  "12.2(33)SCC3",
  "12.2(33)SCC1",
  "12.2(33)SCD5",
  "12.2(33)SCD1",
  "12.2(33)SCD7",
  "12.2(33)SCD4",
  "12.2(33)SCD",
  "12.2(33)SCD6",
  "12.2(33)SCD3",
  "12.2(33)SCD2",
  "12.2(33)SCD8",
  "12.3(8)JED",
  "12.3(8)JED1",
  "12.4(24)YG3",
  "12.4(24)YG4",
  "12.4(24)YG1",
  "12.4(24)YG2",
  "15.0(1)M1",
  "15.0(1)M5",
  "15.0(1)M4",
  "15.0(1)M3",
  "15.0(1)M2",
  "15.0(1)M6",
  "15.0(1)M",
  "15.0(1)M7",
  "15.0(1)M10",
  "15.0(1)M9",
  "15.0(1)M8",
  "15.0(1)XA2",
  "15.0(1)XA4",
  "15.0(1)XA1",
  "15.0(1)XA3",
  "15.0(1)XA",
  "15.0(1)XA5",
  "15.1(2)T",
  "15.1(1)T4",
  "15.1(3)T2",
  "15.1(1)T1",
  "15.1(2)T0a",
  "15.1(3)T3",
  "15.1(1)T3",
  "15.1(2)T3",
  "15.1(2)T4",
  "15.1(1)T2",
  "15.1(3)T",
  "15.1(2)T2a",
  "15.1(3)T1",
  "15.1(1)T",
  "15.1(2)T2",
  "15.1(2)T1",
  "15.1(2)T5",
  "15.1(3)T4",
  "15.1(1)T5",
  "15.1(1)XB",
  "12.2(33)SRE1",
  "12.2(33)SRE2",
  "12.2(33)SRE3",
  "12.2(33)SRE4",
  "12.2(33)SRE",
  "12.2(33)SRE0a",
  "12.2(33)SRE5",
  "12.2(33)SRE6",
  "12.2(33)SRE8",
  "12.2(33)SRE7",
  "12.2(33)SRE9",
  "12.2(33)SRE7a",
  "12.2(33)SRE10",
  "12.2(33)SRE11",
  "12.2(33)SRE9a",
  "12.2(33)SRE12",
  "12.2(33)SRE13",
  "12.2(33)SRE14",
  "15.0(1)XO1",
  "15.0(1)XO",
  "15.0(2)XO",
  "15.0(1)S2",
  "15.0(1)S1",
  "15.0(1)S",
  "15.0(1)S3a",
  "15.0(1)S4",
  "15.0(1)S5",
  "15.0(1)S4a",
  "15.0(1)S6",
  "12.2(33)IRD",
  "12.2(33)IRE",
  "12.2(33)IRE2",
  "12.2(33)IRE1",
  "12.2(33)MRA",
  "12.2(33)MRB5",
  "12.2(33)MRB2",
  "12.2(33)MRB1",
  "12.2(33)MRB4",
  "12.2(33)MRB",
  "12.2(33)MRB3",
  "12.2(33)MRB6",
  "12.4(21a)JHA",
  "15.2(1)S",
  "15.2(2)S",
  "15.2(1)S1",
  "15.2(4)S",
  "15.2(1)S2",
  "15.2(2)S1",
  "15.2(2)S2",
  "15.2(2)S0a",
  "15.2(2)S0c",
  "15.2(4)S1",
  "15.2(4)S4",
  "15.2(4)S6",
  "15.2(4)S2",
  "15.2(4)S5",
  "15.2(4)S3",
  "15.2(4)S3a",
  "15.2(4)S4a",
  "15.2(4)S7",
  "15.3(1)T",
  "15.3(2)T",
  "15.3(1)T1",
  "15.3(1)T2",
  "15.3(1)T3",
  "15.3(1)T4",
  "15.3(2)T1",
  "15.3(2)T2",
  "15.3(2)T3",
  "15.3(2)T4",
  "12.4(10b)JDE",
  "15.0(1)EY",
  "15.0(1)EY1",
  "15.0(1)EY2",
  "15.0(2)EY",
  "15.0(2)EY1",
  "15.0(2)EY2",
  "15.0(2)EY3",
  "12.4(20)MRB",
  "12.4(20)MRB1",
  "15.2(1)T",
  "15.2(2)T",
  "15.2(3)T",
  "15.2(1)T1",
  "15.2(1)T3",
  "15.2(1)T2",
  "15.2(1)T4",
  "15.2(2)T1",
  "15.2(3)T3",
  "15.2(3)T4",
  "15.2(3)T1",
  "15.2(2)T3",
  "15.2(3)T2",
  "15.2(2)T2",
  "15.2(2)T4",
  "15.2(1)T3a",
  "12.3(8)JEE",
  "12.2(54)WO",
  "15.1(2)S",
  "15.1(1)S",
  "15.1(1)S1",
  "15.1(3)S",
  "15.1(1)S2",
  "15.1(2)S1",
  "15.1(2)S2",
  "15.1(3)S1",
  "15.1(3)S0a",
  "15.1(3)S2",
  "15.1(3)S4",
  "15.1(3)S3",
  "15.1(3)S5",
  "15.1(3)S6",
  "15.1(3)S5a",
  "15.1(4)M3",
  "15.1(4)M",
  "15.1(4)M1",
  "15.1(4)M2",
  "15.1(4)M6",
  "15.1(4)M5",
  "15.1(4)M4",
  "15.1(4)M7",
  "15.1(4)M3a",
  "15.1(4)M10",
  "15.1(4)M8",
  "15.1(4)M9",
  "12.2(33)IRF",
  "12.4(3g)JMC1",
  "12.4(3g)JMC",
  "12.4(3g)JMC2",
  "15.0(1)SE",
  "15.0(2)SE",
  "15.0(1)SE1",
  "15.0(1)SE2",
  "15.0(1)SE3",
  "15.0(2)SE1",
  "15.0(2)SE2",
  "15.0(2)SE3",
  "15.0(2)SE4",
  "15.0(2)SE5",
  "15.0(2)SE6",
  "15.0(2)SE7",
  "15.0(2)SE9",
  "15.0(2a)SE9",
  "15.1(2)GC",
  "15.1(2)GC1",
  "15.1(2)GC2",
  "15.1(4)GC",
  "15.1(4)GC1",
  "15.1(4)GC2",
  "15.0(1)SY",
  "15.0(1)SY1",
  "15.0(1)SY2",
  "15.0(1)SY3",
  "15.0(1)SY4",
  "15.0(1)SY5",
  "15.0(1)SY6",
  "15.0(1)SY7",
  "15.0(1)SY8",
  "15.0(1)SY7a",
  "15.0(1)SY9",
  "15.0(1)SY10",
  "12.2(33)SXJ",
  "12.2(33)SXJ1",
  "12.2(33)SXJ2",
  "12.2(33)SXJ3",
  "12.2(33)SXJ4",
  "12.2(33)SXJ5",
  "12.2(33)SXJ6",
  "12.2(33)SXJ7",
  "12.2(33)SXJ8",
  "12.2(33)SXJ9",
  "12.2(33)SXJ10",
  "15.1(1)SG",
  "15.1(2)SG",
  "15.1(1)SG1",
  "15.1(1)SG2",
  "15.1(2)SG1",
  "15.1(2)SG2",
  "15.1(2)SG3",
  "15.1(2)SG4",
  "15.1(2)SG5",
  "15.1(2)SG6",
  "15.1(2)SG7",
  "15.0(1)MR",
  "15.0(2)MR",
  "12.4(23c)JZ",
  "12.2(33)SCF",
  "12.2(33)SCF1",
  "12.2(33)SCF2",
  "12.2(33)SCF3",
  "12.2(33)SCF4",
  "12.2(33)SCF5",
  "15.2(4)M",
  "15.2(4)M1",
  "15.2(4)M2",
  "15.2(4)M4",
  "15.2(4)M3",
  "15.2(4)M5",
  "15.2(4)M8",
  "15.2(4)M10",
  "15.2(4)M7",
  "15.2(4)M6",
  "15.2(4)M9",
  "15.2(4)M6a",
  "12.2(33)SCE",
  "12.2(33)SCE1",
  "12.2(33)SCE2",
  "12.2(33)SCE3",
  "12.2(33)SCE4",
  "12.2(33)SCE5",
  "12.2(33)SCE6",
  "15.0(2)SG",
  "15.0(2)SG1",
  "15.0(2)SG2",
  "15.0(2)SG3",
  "15.0(2)SG4",
  "15.0(2)SG5",
  "15.0(2)SG6",
  "15.0(2)SG7",
  "15.0(2)SG8",
  "15.0(2)SG9",
  "15.0(2)SG10",
  "12.4(24)MDB",
  "12.4(24)MDB1",
  "12.4(24)MDB3",
  "12.4(24)MDB4",
  "12.4(24)MDB5",
  "12.4(24)MDB6",
  "12.4(24)MDB7",
  "12.4(24)MDB5a",
  "12.4(24)MDB8",
  "12.4(24)MDB9",
  "12.4(24)MDB10",
  "12.4(24)MDB11",
  "12.4(24)MDB12",
  "12.4(24)MDB13",
  "12.4(24)MDB14",
  "12.4(24)MDB15",
  "12.4(24)MDB16",
  "12.4(24)MDB17",
  "12.4(24)MDB18",
  "12.4(24)MDB19",
  "12.2(33)IRG",
  "12.2(33)IRG1",
  "12.4(21a)JHC",
  "15.1(1)MR",
  "15.1(1)MR1",
  "15.1(1)MR2",
  "15.1(1)MR3",
  "15.1(3)MR",
  "15.1(1)MR4",
  "15.0(1)EX",
  "15.0(2)EX",
  "15.0(2)EX1",
  "15.0(2)EX2",
  "15.0(2)EX3",
  "15.0(2)EX4",
  "15.0(2)EX5",
  "15.0(2)EX8",
  "15.0(2a)EX5",
  "15.0(2)EX10",
  "15.2(1)GC",
  "15.2(1)GC1",
  "15.2(1)GC2",
  "15.2(2)GC",
  "15.2(3)GC",
  "15.2(3)GC1",
  "15.2(4)GC",
  "15.2(4)GC1",
  "15.2(4)GC2",
  "15.2(4)GC3",
  "15.1(2)EY",
  "15.1(2)EY1a",
  "15.1(2)EY2",
  "15.1(2)EY3",
  "15.1(2)EY2a",
  "15.1(2)EY4",
  "12.4(25d)JAX",
  "12.4(25d)JAX1",
  "12.4(25e)JAX",
  "12.4(25e)JAX1",
  "12.4(25e)JAX2",
  "12.2(33)SCG",
  "12.2(33)SCG1",
  "12.2(33)SCG2",
  "12.2(33)SCG3",
  "12.2(33)SCG4",
  "12.2(33)SCG5",
  "12.2(33)SCG6",
  "12.2(33)SCG7",
  "15.1(2)SNG",
  "12.2(33)IRH",
  "12.2(33)IRH1",
  "15.1(1)SY",
  "15.1(1)SY1",
  "15.1(2)SY",
  "15.1(2)SY1",
  "15.1(2)SY2",
  "15.1(1)SY2",
  "15.1(1)SY3",
  "15.1(2)SY3",
  "15.1(1)SY4",
  "15.1(2)SY4",
  "15.1(1)SY5",
  "15.1(2)SY5",
  "15.1(2)SY4a",
  "15.1(1)SY6",
  "15.1(2)SY6",
  "15.1(2)SY7",
  "15.3(1)S",
  "15.3(2)S",
  "15.3(3)S",
  "15.3(1)S2",
  "15.3(1)S1",
  "15.3(2)S0a",
  "15.3(2)S2",
  "15.3(2)S1",
  "15.3(3)S1",
  "15.3(3)S2",
  "15.3(3)S3",
  "15.3(3)S6",
  "15.3(3)S4",
  "15.3(3)S1a",
  "15.3(3)S5",
  "15.3(3)S7",
  "15.1(2)SNH",
  "15.1(2)SNI",
  "15.1(2)SNI1",
  "15.2(2)SNG",
  "12.2(33)IRI",
  "15.4(1)T",
  "15.4(2)T",
  "15.4(1)T2",
  "15.4(1)T1",
  "15.4(1)T3",
  "15.4(2)T1",
  "15.4(2)T3",
  "15.4(2)T2",
  "15.4(1)T4",
  "15.4(2)T4",
  "12.4(25e)JAZ",
  "12.2(33)SCH",
  "12.2(33)SCH1",
  "12.2(33)SCH2",
  "12.2(33)SCH0a",
  "12.2(33)SCH3",
  "12.2(33)SCH2a",
  "12.2(33)SCH4",
  "12.2(33)SCH5",
  "12.2(33)SCH6",
  "12.4(25e)JAL",
  "12.4(25e)JAL1",
  "12.4(25e)JAL2",
  "12.4(25e)JAL1a",
  "12.4(25e)JAM",
  "12.4(25e)JAM2",
  "12.4(25e)JAM3",
  "12.4(25e)JAM4",
  "12.4(25e)JAM5",
  "12.4(25e)JAN1",
  "15.2(2)JA",
  "15.2(2)JA1",
  "15.2(4)JA",
  "15.2(4)JA1",
  "15.0(2)EC",
  "15.0(2)EB",
  "15.2(1)E",
  "15.2(2)E",
  "15.2(1)E1",
  "15.2(3)E",
  "15.2(1)E2",
  "15.2(1)E3",
  "15.2(2)E1",
  "15.2(4)E",
  "15.2(3)E1",
  "15.2(2)E2",
  "15.2(2a)E1",
  "15.2(3)E2",
  "15.2(3a)E",
  "15.2(3)E3",
  "15.2(3m)E2",
  "15.2(4)E1",
  "15.2(3m)E3",
  "15.2(2)E4",
  "15.2(4m)E1",
  "15.2(3m)E8",
  "15.1(3)MRA",
  "15.1(3)MRA1",
  "15.1(3)MRA2",
  "15.1(3)MRA3",
  "15.1(3)MRA4",
  "15.2(2)SNH1",
  "15.1(3)SVB1",
  "15.0(2)ED",
  "15.0(2)ED1",
  "15.2(2)JB",
  "15.2(2)JB2",
  "15.2(4)JB",
  "15.2(2)JB3",
  "15.2(4)JB1",
  "15.2(4)JB2",
  "15.2(4)JB3",
  "15.2(4)JB3a",
  "15.2(2)JB4",
  "15.2(4)JB4",
  "15.2(4)JB3h",
  "15.2(4)JB50",
  "15.2(4)JB3b",
  "15.2(4)JB3s",
  "15.2(4)JB5h",
  "15.2(4)JB5",
  "15.2(4)JB5m",
  "15.2(4)JB6",
  "15.2(2)JB5",
  "15.2(4)JB7",
  "15.4(1)S",
  "15.4(2)S",
  "15.4(3)S",
  "15.4(1)S1",
  "15.4(1)S2",
  "15.4(2)S1",
  "15.4(1)S3",
  "15.4(3)S1",
  "15.4(2)S2",
  "15.4(3)S2",
  "15.4(3)S3",
  "15.4(1)S4",
  "15.4(2)S3",
  "15.4(2)S4",
  "15.4(3)S4",
  "15.4(3)S5",
  "15.2(2)JAX",
  "15.2(2)JAX1",
  "15.3(3)M",
  "15.3(3)M1",
  "15.3(3)M2",
  "15.3(3)M3",
  "15.3(3)M5",
  "15.3(3)M4",
  "15.3(3)M6",
  "15.3(3)M7",
  "15.2(2)SNI",
  "15.2(2)JN1",
  "15.2(2)JN2",
  "15.2(4)JN",
  "15.0(2)EZ",
  "15.1(3)SVD",
  "15.1(3)SVD1",
  "15.1(3)SVD2",
  "15.2(1)EY",
  "15.0(2)EJ",
  "15.0(2)EJ1",
  "15.0(2)EH",
  "15.2(1)SY",
  "15.2(1)SY1",
  "15.2(1)SY0a",
  "15.2(1)SY2",
  "15.2(2)SY",
  "15.2(1)SY1a",
  "15.2(2)SY1",
  "15.1(3)SVF",
  "15.1(3)SVF1",
  "15.1(3)SVF4a",
  "15.1(3)SVE",
  "15.4(3)M",
  "15.4(3)M1",
  "15.4(3)M2",
  "15.4(3)M3",
  "15.4(3)M4",
  "15.4(3)M5",
  "12.4(25e)JAO",
  "12.4(25e)JAO1",
  "12.4(25e)JAO2",
  "12.4(25e)JAO3",
  "12.4(25e)JAO4",
  "12.4(25e)JAO3a",
  "12.4(25e)JAO5",
  "12.4(25e)JAO6",
  "15.0(2)EK",
  "15.0(2)EK1",
  "15.4(1)CG",
  "15.4(1)CG1",
  "15.4(2)CG",
  "15.5(1)S",
  "15.5(2)S",
  "15.5(1)S1",
  "15.5(1)S2",
  "15.5(1)S3",
  "15.5(2)S1",
  "15.5(2)S2",
  "15.5(2)S3",
  "15.5(2)S4",
  "15.2(2)EB",
  "15.2(2)EB1",
  "15.2(2)EB2",
  "15.5(1)T",
  "15.5(1)T1",
  "15.5(2)T",
  "15.5(1)T2",
  "15.5(1)T3",
  "15.5(2)T1",
  "15.5(2)T2",
  "15.5(2)T3",
  "15.5(1)T4",
  "15.3(3)JN3",
  "15.3(3)JN4",
  "15.3(3)JN7",
  "15.3(3)JN8",
  "15.5(3)M",
  "15.5(3)M1",
  "15.5(3)M0a",
  "15.5(3)M2",
  "12.2(33)SCI",
  "12.2(33)SCI1",
  "12.2(33)SCI1a",
  "12.2(33)SCI2",
  "12.2(33)SCI3",
  "12.2(33)SCI2a",
  "12.4(25e)JAP",
  "12.4(25e)JAP100",
  "12.4(25e)JAP1",
  "12.4(25e)JAP4",
  "12.4(25e)JAP5",
  "12.4(25e)JAP6",
  "12.4(25e)JAP7",
  "12.4(25e)JAP8",
  "15.3(3)JA",
  "15.3(3)JA1n",
  "15.3(3)JA1m",
  "15.3(3)JA1",
  "15.3(3)JA4",
  "15.3(3)JA5",
  "15.3(3)JA77",
  "15.3(3)JA6",
  "15.3(3)JA7",
  "15.3(3)JA8",
  "15.3(3)JA9",
  "15.3(3)JAA",
  "15.3(3)JAB",
  "15.3(3)JB",
  "15.3(3)JB75",
  "15.0(2)SQD",
  "15.0(2)SQD1",
  "15.0(2)SQD2",
  "15.6(1)T",
  "15.6(1)T0a",
  "15.6(1)T1",
  "15.6(1)T2",
  "15.6(1)T3",
  "15.3(3)JNB",
  "15.3(3)JNB1",
  "15.3(3)JNB2",
  "15.3(3)JNB3",
  "15.3(3)JAX",
  "15.3(3)JAX1",
  "15.3(3)JAX2",
  "15.3(3)JBB",
  "15.3(3)JBB1",
  "15.3(3)JBB50",
  "15.3(3)JBB2",
  "15.3(3)JBB4",
  "15.3(3)JBB5",
  "15.3(3)JBB6",
  "15.3(3)JBB8",
  "15.3(3)JBB6a",
  "15.3(3)JC",
  "15.3(1)SY",
  "15.3(3)JNC",
  "15.3(3)JNC1",
  "12.2(33)SCJ",
  "15.3(3)JNP",
  "15.3(3)JNP1"
);

workarounds = make_list(CISCO_WORKAROUNDS['ip_dns_server']);
workaround_params = make_list();


reporting = make_array(
  'port'     , 0,
  'severity' , SECURITY_HOLE,
  'version'  , product_info['version'],
  'bug_id'   , "CSCup90532",
  'cmds'     , make_list("show running-config | include ip dns server")
);

cisco::check_and_report(product_info:product_info, workarounds:workarounds, workaround_params:workaround_params, reporting:reporting, vuln_versions:version_list);

References