Cisco IOS Software Resource Reservation Protocol DoS (cisco-sa-rsvp-dos-OypvgVZf)

#TRUSTED 29f173488dbbb63325e228c3d019e9f05a5da5a35181964bd1eb8c1eb240f018424c6af32bc3bbe6651a3f15b5abe22033564350b7b35ba430c3521e133bcda29b26e2f2e26022c8b0eecd92c2a1196bd7a83682dfeada37806010c451fdbc23fa0ce28bb1c7f2301cc5cdcee0721b053471029d3d60493334620395694fbe4a7499a1a37e67f849e5c3a793e5b737b077bea415d1e4a0b7dfef7206586f9ac92eceaa825eb144e8ddae91534df04f797d7a01201bc0643c18a507b5755b3958f263c24d37716e988cccdb87cfc6b264c819c432aeb5fe74ec98a0f29da360045024e2d7ffd82fa0b9d8608311f2c05e959fa9322a3dcd87f71aae24ad871bf4ae8173f2b5917c112cff6055e61e5955884be2d3d2d0046bd38d72de001b4f549da7efdc04797c2105e5d4a28d0d7ddebc015e07ec0650ed9921ac9599180fc90d6f61edc65eb372852410c6bcf0283521e7a03c41d0643fe8b166138a1e18cc64371764c110f154bb069db06474add52d0c69244543c503a3b00a6a91c4dabb3eabaf0938580079097049c882b1371388bf142f81773ecdf23ef5fb04dae7b5981df0a3c0dd8baed96c56cf6242655d92ca3631c8e937a76390fc2332376dae371bedab3491cdd90e1841dbe52d280682044644d6b18ca039e5f79f7af9b5a230389c5f70aee7d50fa5fe8aa2fe66b2fd1f8e4900067aec730240ea2af9face
#TRUST-RSA-SHA256 89ec548e58faf1ac6e735ec7e670134dd902cdc9be714462e3d55431dfaf33d5ae05b2b12edec8b3b261e5247d3d4ec7e7f273348ae6894aeb398d9b3a2a6f88a8be48ac93fcc2d3e7fab901756e28a82c75a97fca4ce2b212d0cad9a5b57d73f5fb2623e09db3dd6ab012f69a17b3a9a85db1c3908d76b669186ca66c48b2050027bf5316c70288da7bd43b52e93548cf64af2c0e51909e53a970c88417c82ae679fbe744c58d613ac42492e88242877379064bdd8cf1ff00623c518c865c8f4c068bdd62818b8232520ca8f99476dea7ce5914f63f25128ce2cef5f43db47a0e6ec897b66fd543919cd4a02d67f26d7058874d27e0c0b355851eb97dd851bb88a2c853e881a47666392e8da92faf688b20cb28f695fab3f63ba312dad374f98690cd1605a9a986dfaf7bea58f4a037d748847f781f680f7d50cf86de761326affa5546c6039104aad9ce42883b89022cc737fe8350ee8e63ecd4b1d917b3ebf72b26dd9ce372458aa7c6c536e5eb02b4cc4c8ce7c99ac079cd5e8b743835e83bf5711ff4b6b85267853a58801cb0c382c078a6568a82ca5fdc31b0b037b735f4ca9c76dab2447bc2f28137e3de87e5ad437539f4d1cc100ffa099a5748593f728470ba86b03bb937ddca1064357cf8cbd79d38296bc5ffd4da37d785707f5540281860d8ffc2c961a65cf4a2745af26279ccc40b772f4140fff74f43bc94c3
#%NASL_MIN_LEVEL 80900
##
# (C) Tenable, Inc.
##

include('compat.inc');

if (description)
{
  script_id(213438);
  script_version("1.2");
  script_set_attribute(attribute:"plugin_modification_date", value:"2025/01/16");

  script_cve_id("CVE-2024-20433");
  script_xref(name:"IAVA", value:"2024-A-0592");
  script_xref(name:"CISCO-BUG-ID", value:"CSCwj05481");
  script_xref(name:"CISCO-SA", value:"cisco-sa-rsvp-dos-OypvgVZf");

  script_name(english:"Cisco IOS Software Resource Reservation Protocol DoS (cisco-sa-rsvp-dos-OypvgVZf)");

  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, Cisco IOS is affected by a vulnerability.

  - A vulnerability in the Resource Reservation Protocol (RSVP) feature of Cisco IOS Software and Cisco IOS XE
    Software could allow an unauthenticated, remote attacker to cause an affected device to reload
    unexpectedly, resulting in a denial of service (DoS) condition. This vulnerability is due to a buffer
    overflow when processing crafted RSVP packets. An attacker could exploit this vulnerability by sending
    RSVP traffic to an affected device. A successful exploit could allow the attacker to cause the affected
    device to reload, resulting in a DoS condition. (CVE-2024-20433)

Please see the included Cisco BIDs and Cisco Security Advisory for more information.");
  # https://sec.cloudapps.cisco.com/security/center/content/CiscoSecurityAdvisory/cisco-sa-rsvp-dos-OypvgVZf
  script_set_attribute(attribute:"see_also", value:"http://www.nessus.org/u?d885b9c8");
  # https://sec.cloudapps.cisco.com/security/center/viewErp.x?alertId=ERP-75169
  script_set_attribute(attribute:"see_also", value:"http://www.nessus.org/u?e0341eea");
  script_set_attribute(attribute:"see_also", value:"https://bst.cloudapps.cisco.com/bugsearch/bug/CSCwj05481");
  script_set_attribute(attribute:"solution", value:
"Upgrade to the relevant fixed version referenced in Cisco bug ID CSCwj05481");
  script_set_cvss_base_vector("CVSS2#AV:N/AC:L/Au:N/C:N/I:N/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:L/PR:N/UI:N/S:U/C:N/I:N/A:H");
  script_set_cvss3_temporal_vector("CVSS:3.0/E:U/RL:O/RC:C");
  script_set_attribute(attribute:"cvss_score_source", value:"CVE-2024-20433");

  script_set_attribute(attribute:"exploitability_ease", value:"No known exploits are available");
  script_set_attribute(attribute:"exploit_available", value:"false");
  script_cwe_id(121);

  script_set_attribute(attribute:"vuln_publication_date", value:"2024/09/25");
  script_set_attribute(attribute:"patch_publication_date", value:"2024/09/25");
  script_set_attribute(attribute:"plugin_publication_date", value:"2024/12/30");

  script_set_attribute(attribute:"potential_vulnerability", value:"true");
  script_set_attribute(attribute:"plugin_type", value:"combined");
  script_set_attribute(attribute:"cpe", value:"cpe:/o:cisco:ios");
  script_set_attribute(attribute:"stig_severity", value:"I");
  script_end_attributes();

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

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

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

  exit(0);
}

include('cisco_workarounds.inc');
include('ccf.inc');

if (report_paranoia < 2)
  audit(AUDIT_PARANOID);

var product_info = cisco::get_product_info(name:'Cisco IOS');

var version_list=make_list(
  '12.0(24)S',
  '12.0(24)S1',
  '12.0(24)S2',
  '12.0(24)S2a',
  '12.0(24)S2b',
  '12.0(24)S2c',
  '12.0(24)S3',
  '12.0(24)S4',
  '12.0(24)S4a',
  '12.0(24)S4b',
  '12.0(24)S5',
  '12.0(24)S5a',
  '12.0(24)S6',
  '12.0(24)S6a',
  '12.0(24)SX',
  '12.0(25)S',
  '12.0(25)S1',
  '12.0(25)S1a',
  '12.0(25)S1b',
  '12.0(25)S1c',
  '12.0(25)S1d',
  '12.0(25)S2',
  '12.0(25)S3',
  '12.0(25)S4',
  '12.0(25)S4a',
  '12.0(25)S4b',
  '12.0(25)S4c',
  '12.0(25)S4d',
  '12.0(25)S5',
  '12.0(25)S6',
  '12.0(25)S6a',
  '12.0(25)SX',
  '12.0(25)SX1',
  '12.0(25)SX2',
  '12.0(25)SX3',
  '12.0(25)SX4',
  '12.0(25)SX5',
  '12.0(25)SX6',
  '12.0(25)SX6a',
  '12.0(25)SX6b',
  '12.0(25)SX6c',
  '12.0(25)SX6d',
  '12.0(25)SX6e',
  '12.0(25)SX6f',
  '12.0(25)SX6g',
  '12.0(25)SX7',
  '12.0(25)SX8',
  '12.0(25)SX9',
  '12.0(25)SX10',
  '12.0(25)SX11',
  '12.0(25)SX12',
  '12.0(26)S',
  '12.0(26)S1',
  '12.0(26)S2',
  '12.0(26)S2a',
  '12.0(26)S2b',
  '12.0(26)S3',
  '12.0(26)S3a',
  '12.0(26)S4',
  '12.0(26)S4a',
  '12.0(26)S4b',
  '12.0(26)S4c',
  '12.0(26)S5',
  '12.0(26)S5a',
  '12.0(26)S5b',
  '12.0(26)S6',
  '12.0(26)S6b',
  '12.0(26)S6c',
  '12.0(26)SZ',
  '12.0(27)S',
  '12.0(27)S1',
  '12.0(27)S2',
  '12.0(27)S2a',
  '12.0(27)S2b',
  '12.0(27)S2c',
  '12.0(27)S2d',
  '12.0(27)S3',
  '12.0(27)S3a',
  '12.0(27)S3b',
  '12.0(27)S3c',
  '12.0(27)S3d',
  '12.0(27)S4',
  '12.0(27)S4a',
  '12.0(27)S4b',
  '12.0(27)S4c',
  '12.0(27)S4d',
  '12.0(27)S4e',
  '12.0(27)S5',
  '12.0(27)S5a',
  '12.0(27)S5b',
  '12.0(27)S5c',
  '12.0(27)S5d',
  '12.0(27)S5e',
  '12.0(27)SV',
  '12.0(27)SV1',
  '12.0(27)SV2',
  '12.0(27)SV3',
  '12.0(27)SV4',
  '12.0(27)SY',
  '12.0(27)SZ',
  '12.0(28)S',
  '12.0(28)S1',
  '12.0(28)S1a',
  '12.0(28)S1b',
  '12.0(28)S2',
  '12.0(28)S2a',
  '12.0(28)S3',
  '12.0(28)S4',
  '12.0(28)S4a',
  '12.0(28)S4b',
  '12.0(28)S4c',
  '12.0(28)S4d',
  '12.0(28)S4e',
  '12.0(28)S4f',
  '12.0(28)S4g',
  '12.0(28)S5',
  '12.0(28)S5a',
  '12.0(28)S5b',
  '12.0(28)S5c',
  '12.0(28)S5d',
  '12.0(28)S5e',
  '12.0(28)S6',
  '12.0(28)S6a',
  '12.0(28)S6b',
  '12.0(28)SV',
  '12.0(29)S',
  '12.0(29)S1',
  '12.0(30)S',
  '12.0(30)S1',
  '12.0(30)S2',
  '12.0(30)S2a',
  '12.0(30)S2m',
  '12.0(30)S2n',
  '12.0(30)S3',
  '12.0(30)S3a',
  '12.0(30)S3b',
  '12.0(30)S3c',
  '12.0(30)S3d',
  '12.0(30)S3s',
  '12.0(30)S3t',
  '12.0(30)S4',
  '12.0(30)S4a',
  '12.0(30)S4b',
  '12.0(30)S5',
  '12.0(30)S5a',
  '12.0(30)SV1',
  '12.0(30)SX',
  '12.0(30)SZ',
  '12.0(30)SZ1',
  '12.0(30)SZ2',
  '12.0(30)SZ3',
  '12.0(30)SZ4',
  '12.0(30)SZ5',
  '12.0(30)SZ6',
  '12.0(30)SZ7',
  '12.0(30)SZ8',
  '12.0(30)SZ9',
  '12.0(30)SZ10',
  '12.0(30)SZ11',
  '12.0(31)S',
  '12.0(31)S0a',
  '12.0(31)S0b',
  '12.0(31)S1',
  '12.0(31)S1a',
  '12.0(31)S1b',
  '12.0(31)S1c',
  '12.0(31)S1d',
  '12.0(31)S1e',
  '12.0(31)S2',
  '12.0(31)S2a',
  '12.0(31)S2b',
  '12.0(31)S2c',
  '12.0(31)S2d',
  '12.0(31)S2s',
  '12.0(31)S2t',
  '12.0(31)S2u',
  '12.0(31)S2v',
  '12.0(31)S2w',
  '12.0(31)S2x',
  '12.0(31)S2y',
  '12.0(31)S2z',
  '12.0(31)S3',
  '12.0(31)S3a',
  '12.0(31)S3b',
  '12.0(31)S3c',
  '12.0(31)S3d',
  '12.0(31)S3e',
  '12.0(31)S4',
  '12.0(31)S4a',
  '12.0(31)S4b',
  '12.0(31)S4c',
  '12.0(31)S5',
  '12.0(31)S5a',
  '12.0(31)S5b',
  '12.0(31)S5c',
  '12.0(31)S5d',
  '12.0(31)S5e',
  '12.0(31)S6',
  '12.0(31)S6a',
  '12.0(31)S6b',
  '12.0(31)S6c',
  '12.0(31)S6d',
  '12.0(31)S6e',
  '12.0(31)SV',
  '12.0(31)SV1',
  '12.0(31)SV2',
  '12.0(31)SZ2',
  '12.0(31a)S2a',
  '12.0(31a)S2b',
  '12.0(32)S',
  '12.0(32)S1',
  '12.0(32)S1a',
  '12.0(32)S1b',
  '12.0(32)S2',
  '12.0(32)S3',
  '12.0(32)S3a',
  '12.0(32)S3b',
  '12.0(32)S3c',
  '12.0(32)S3e',
  '12.0(32)S3f',
  '12.0(32)S4',
  '12.0(32)S4a',
  '12.0(32)S4b',
  '12.0(32)S5',
  '12.0(32)S5a',
  '12.0(32)S5b',
  '12.0(32)S6',
  '12.0(32)S6a',
  '12.0(32)S6b',
  '12.0(32)S6c',
  '12.0(32)S6d',
  '12.0(32)S6m',
  '12.0(32)S6n',
  '12.0(32)S6o',
  '12.0(32)S6p',
  '12.0(32)S6q',
  '12.0(32)S6r',
  '12.0(32)S7',
  '12.0(32)S8',
  '12.0(32)S9',
  '12.0(32)S10',
  '12.0(32)S11',
  '12.0(32)S11n',
  '12.0(32)S11o',
  '12.0(32)S11p',
  '12.0(32)S11q',
  '12.0(32)S11r',
  '12.0(32)S11s',
  '12.0(32)S11t',
  '12.0(32)S11u',
  '12.0(32)S11v',
  '12.0(32)S12',
  '12.0(32)S13',
  '12.0(32)S14',
  '12.0(32)S15',
  '12.0(32)SY',
  '12.0(32)SY0a',
  '12.0(32)SY0b',
  '12.0(32)SY0c',
  '12.0(32)SY0d',
  '12.0(32)SY0e',
  '12.0(32)SY0f',
  '12.0(32)SY0g',
  '12.0(32)SY0h',
  '12.0(32)SY0i',
  '12.0(32)SY0j',
  '12.0(32)SY1',
  '12.0(32)SY1a',
  '12.0(32)SY1b',
  '12.0(32)SY1c',
  '12.0(32)SY2',
  '12.0(32)SY2a',
  '12.0(32)SY2b',
  '12.0(32)SY2c',
  '12.0(32)SY2d',
  '12.0(32)SY2e',
  '12.0(32)SY2f',
  '12.0(32)SY2g',
  '12.0(32)SY2h',
  '12.0(32)SY2i',
  '12.0(32)SY3',
  '12.0(32)SY3a',
  '12.0(32)SY3b',
  '12.0(32)SY3c',
  '12.0(32)SY4',
  '12.0(32)SY4a',
  '12.0(32)SY4b',
  '12.0(32)SY4c',
  '12.0(32)SY4d',
  '12.0(32)SY5',
  '12.0(32)SY5a',
  '12.0(32)SY6',
  '12.0(32)SY6a',
  '12.0(32)SY6b',
  '12.0(32)SY6c',
  '12.0(32)SY6d',
  '12.0(32)SY6e',
  '12.0(32)SY6f',
  '12.0(32)SY7',
  '12.0(32)SY8',
  '12.0(32)SY8a',
  '12.0(32)SY8b',
  '12.0(32)SY9',
  '12.0(32)SY9a',
  '12.0(32)SY10',
  '12.0(32)SY11',
  '12.0(32)SY12',
  '12.0(32)SY12a',
  '12.0(32)SY12b',
  '12.0(32)SY13',
  '12.0(32)SY14',
  '12.0(32)SY15',
  '12.0(32)SY16',
  '12.0(32)SY17',
  '12.0(32)SYA',
  '12.0(32c)S6b',
  '12.0(33)S',
  '12.0(33)S1',
  '12.0(33)S2',
  '12.0(33)S3',
  '12.0(33)S4',
  '12.0(33)S5',
  '12.0(33)S6',
  '12.0(33)S7',
  '12.0(33)S8',
  '12.0(33)S9',
  '12.0(33)S10',
  '12.0(33)S11',
  '12.0(33)S12',
  '12.0(33)S13',
  '12.0(33)S14',
  '12.2(4)YH',
  '12.2(8)YJ',
  '12.2(8)YJ1',
  '12.2(8)YL',
  '12.2(8)YM',
  '12.2(8)YN',
  '12.2(8)YN1',
  '12.2(11)S',
  '12.2(11)S1',
  '12.2(11)S2',
  '12.2(11)S3',
  '12.2(11)YQ',
  '12.2(11)YR',
  '12.2(11)YT',
  '12.2(11)YT1',
  '12.2(11)YT2',
  '12.2(11)YU',
  '12.2(11)YV',
  '12.2(11)YV1',
  '12.2(11)YX',
  '12.2(11)YX1',
  '12.2(11)YZ',
  '12.2(11)YZ1',
  '12.2(11)YZ2',
  '12.2(11)YZ3',
  '12.2(13)ZC',
  '12.2(13)ZD',
  '12.2(13)ZD1',
  '12.2(13)ZD2',
  '12.2(13)ZD3',
  '12.2(13)ZD4',
  '12.2(13)ZE',
  '12.2(13)ZF',
  '12.2(13)ZF1',
  '12.2(13)ZF2',
  '12.2(13)ZH',
  '12.2(13)ZH2',
  '12.2(13)ZH3',
  '12.2(13)ZH4',
  '12.2(13)ZH5',
  '12.2(13)ZH6',
  '12.2(13)ZH7',
  '12.2(13)ZH8',
  '12.2(13)ZH9',
  '12.2(13)ZH10',
  '12.2(13)ZP',
  '12.2(13)ZP1',
  '12.2(13)ZP2',
  '12.2(13)ZP3',
  '12.2(13)ZP4',
  '12.2(13)ZT',
  '12.2(14)S',
  '12.2(14)S1',
  '12.2(14)S2',
  '12.2(14)S3',
  '12.2(14)S4',
  '12.2(14)S5',
  '12.2(14)S6',
  '12.2(14)S7',
  '12.2(14)S8',
  '12.2(14)S9',
  '12.2(14)S9a',
  '12.2(14)S9b',
  '12.2(14)S9c',
  '12.2(14)S10',
  '12.2(14)S11',
  '12.2(14)S11a',
  '12.2(14)S11b',
  '12.2(14)S12',
  '12.2(14)S13',
  '12.2(14)S13a',
  '12.2(14)S13b',
  '12.2(14)S14',
  '12.2(14)S15',
  '12.2(14)S16',
  '12.2(14)S17',
  '12.2(14)S18',
  '12.2(14)S19',
  '12.2(14)SU',
  '12.2(14)SU1',
  '12.2(14)SU2',
  '12.2(14)SZ',
  '12.2(14)SZ1',
  '12.2(14)SZ2',
  '12.2(14)SZ3',
  '12.2(14)SZ4',
  '12.2(14)SZ5',
  '12.2(14)SZ6',
  '12.2(14)ZA',
  '12.2(14)ZA2',
  '12.2(14)ZA3',
  '12.2(14)ZA4',
  '12.2(14)ZA5',
  '12.2(14)ZA6',
  '12.2(14)ZA7',
  '12.2(15)B',
  '12.2(15)B1',
  '12.2(15)BC1',
  '12.2(15)BC1a',
  '12.2(15)BC1b',
  '12.2(15)BC1c',
  '12.2(15)BC1d',
  '12.2(15)BC1e',
  '12.2(15)BC1f',
  '12.2(15)BC1g',
  '12.2(15)BC2',
  '12.2(15)BC2a',
  '12.2(15)BC2b',
  '12.2(15)BC2c',
  '12.2(15)BC2d',
  '12.2(15)BC2e',
  '12.2(15)BC2f',
  '12.2(15)BC2g',
  '12.2(15)BC2h',
  '12.2(15)BC2i',
  '12.2(15)BX',
  '12.2(15)BZ',
  '12.2(15)BZ1',
  '12.2(15)BZ2',
  '12.2(15)CX',
  '12.2(15)CX1',
  '12.2(15)CZ',
  '12.2(15)CZ1',
  '12.2(15)CZ2',
  '12.2(15)CZ3',
  '12.2(15)MC1',
  '12.2(15)MC1a',
  '12.2(15)MC1b',
  '12.2(15)MC1c',
  '12.2(15)MC2',
  '12.2(15)MC2a',
  '12.2(15)MC2b',
  '12.2(15)MC2c',
  '12.2(15)MC2e',
  '12.2(15)MC2f',
  '12.2(15)MC2g',
  '12.2(15)MC2h',
  '12.2(15)MC2i',
  '12.2(15)MC2j',
  '12.2(15)MC2k',
  '12.2(15)MC2l',
  '12.2(15)MC2m',
  '12.2(15)ZJ',
  '12.2(15)ZJ1',
  '12.2(15)ZJ2',
  '12.2(15)ZJ3',
  '12.2(15)ZJ4',
  '12.2(15)ZJ5',
  '12.2(15)ZK',
  '12.2(15)ZK1',
  '12.2(15)ZK2',
  '12.2(15)ZK3',
  '12.2(15)ZK4',
  '12.2(15)ZK5',
  '12.2(15)ZK6',
  '12.2(15)ZL',
  '12.2(15)ZL1',
  '12.2(15)ZN',
  '12.2(15)ZO',
  '12.2(15)ZR',
  '12.2(15)ZS1',
  '12.2(15)ZS2',
  '12.2(15)ZS3',
  '12.2(15)ZS4',
  '12.2(15)ZS5',
  '12.2(16)B',
  '12.2(16)B1',
  '12.2(16)B2',
  '12.2(16)B3',
  '12.2(16)BX',
  '12.2(16)BX1',
  '12.2(16)BX2',
  '12.2(16)BX3',
  '12.2(17b)SXA',
  '12.2(17b)SXA1',
  '12.2(17b)SXA2',
  '12.2(17d)SXB',
  '12.2(17d)SXB1',
  '12.2(17d)SXB2',
  '12.2(17d)SXB3',
  '12.2(17d)SXB4',
  '12.2(17d)SXB5',
  '12.2(17d)SXB6',
  '12.2(17d)SXB7',
  '12.2(17d)SXB8',
  '12.2(17d)SXB9',
  '12.2(17d)SXB10',
  '12.2(17d)SXB11',
  '12.2(17d)SXB11a',
  '12.2(18)IXA',
  '12.2(18)IXB',
  '12.2(18)IXB1',
  '12.2(18)IXB2',
  '12.2(18)IXC',
  '12.2(18)IXD',
  '12.2(18)IXD1',
  '12.2(18)IXE',
  '12.2(18)IXF',
  '12.2(18)IXF1',
  '12.2(18)IXG',
  '12.2(18)IXH',
  '12.2(18)IXH1',
  '12.2(18)S',
  '12.2(18)S0a',
  '12.2(18)S1',
  '12.2(18)S2',
  '12.2(18)S3',
  '12.2(18)S4',
  '12.2(18)S5',
  '12.2(18)S6',
  '12.2(18)S7',
  '12.2(18)S8',
  '12.2(18)S9',
  '12.2(18)S10',
  '12.2(18)S11',
  '12.2(18)S12',
  '12.2(18)S13',
  '12.2(18)SO',
  '12.2(18)SO1',
  '12.2(18)SO2',
  '12.2(18)SO3',
  '12.2(18)SO4',
  '12.2(18)SO5',
  '12.2(18)SO6',
  '12.2(18)SO7',
  '12.2(18)SW',
  '12.2(18)SXD',
  '12.2(18)SXD1',
  '12.2(18)SXD2',
  '12.2(18)SXD3',
  '12.2(18)SXD4',
  '12.2(18)SXD5',
  '12.2(18)SXD6',
  '12.2(18)SXD7',
  '12.2(18)SXD7a',
  '12.2(18)SXD7b',
  '12.2(18)SXE',
  '12.2(18)SXE1',
  '12.2(18)SXE2',
  '12.2(18)SXE3',
  '12.2(18)SXE4',
  '12.2(18)SXE5',
  '12.2(18)SXE6',
  '12.2(18)SXE6a',
  '12.2(18)SXE6b',
  '12.2(18)SXF',
  '12.2(18)SXF1',
  '12.2(18)SXF2',
  '12.2(18)SXF3',
  '12.2(18)SXF4',
  '12.2(18)SXF5',
  '12.2(18)SXF6',
  '12.2(18)SXF7',
  '12.2(18)SXF8',
  '12.2(18)SXF9',
  '12.2(18)SXF10',
  '12.2(18)SXF10a',
  '12.2(18)SXF11',
  '12.2(18)SXF12',
  '12.2(18)SXF12a',
  '12.2(18)SXF13',
  '12.2(18)SXF13a',
  '12.2(18)SXF13b',
  '12.2(18)SXF14',
  '12.2(18)SXF15',
  '12.2(18)SXF15a',
  '12.2(18)SXF16',
  '12.2(18)SXF17',
  '12.2(18)SXF17a',
  '12.2(18)SXF17b',
  '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.2(18)ZYA',
  '12.2(18)ZYA1',
  '12.2(18)ZYA2',
  '12.2(18)ZYA3',
  '12.2(18)ZYA3a',
  '12.2(18)ZYA3b',
  '12.2(18)ZYA3c',
  '12.2(19)SW',
  '12.2(20)S',
  '12.2(20)S1',
  '12.2(20)S2',
  '12.2(20)S2a',
  '12.2(20)S3',
  '12.2(20)S4',
  '12.2(20)S4a',
  '12.2(20)S5',
  '12.2(20)S6',
  '12.2(20)S6a',
  '12.2(20)S7',
  '12.2(20)S8',
  '12.2(20)S9',
  '12.2(20)S9a',
  '12.2(20)S9b',
  '12.2(20)S10',
  '12.2(20)S11',
  '12.2(20)S12',
  '12.2(20)S13',
  '12.2(20)S14',
  '12.2(20)SW',
  '12.2(21)SW',
  '12.2(21)SW1',
  '12.2(23)SW',
  '12.2(23)SW1',
  '12.2(25)EY',
  '12.2(25)EY1',
  '12.2(25)EY2',
  '12.2(25)EY3',
  '12.2(25)EY4',
  '12.2(25)S',
  '12.2(25)S1',
  '12.2(25)S2',
  '12.2(25)S3',
  '12.2(25)S4',
  '12.2(25)S5',
  '12.2(25)S6',
  '12.2(25)S7',
  '12.2(25)S8',
  '12.2(25)S9',
  '12.2(25)S10',
  '12.2(25)S11',
  '12.2(25)S12',
  '12.2(25)S13',
  '12.2(25)S14',
  '12.2(25)S15',
  '12.2(25)SED',
  '12.2(25)SED1',
  '12.2(25)SEE',
  '12.2(25)SEE4',
  '12.2(25)SEG',
  '12.2(25)SEG1',
  '12.2(25)SEG3',
  '12.2(25)SW',
  '12.2(25)SW1',
  '12.2(25)SW2',
  '12.2(25)SW3',
  '12.2(25)SW3a',
  '12.2(25)SW4',
  '12.2(25)SW4a',
  '12.2(25)SW5',
  '12.2(25)SW6',
  '12.2(25)SW7',
  '12.2(25)SW8',
  '12.2(25)SW9',
  '12.2(25)SW10',
  '12.2(25)SW11',
  '12.2(25)SW12',
  '12.2(27)SBA2',
  '12.2(27)SBA4',
  '12.2(27)SBA5',
  '12.2(27)SBA6',
  '12.2(27)SBB',
  '12.2(27)SBB1',
  '12.2(27)SBB2',
  '12.2(27)SBB2a',
  '12.2(27)SBB3',
  '12.2(27)SBB4',
  '12.2(27)SBB4a',
  '12.2(27)SBB4b',
  '12.2(27)SBB4c',
  '12.2(27)SBB4d',
  '12.2(27)SBB5',
  '12.2(27)SBB6',
  '12.2(27)SBB6a',
  '12.2(27)SBB7',
  '12.2(27)SBB8',
  '12.2(27)SBB9',
  '12.2(27)SBC',
  '12.2(27)SBC1',
  '12.2(27)SBC2',
  '12.2(27)SBC3',
  '12.2(27)SBC4',
  '12.2(27)SBC5',
  '12.2(27)SBK9',
  '12.2(27)SV',
  '12.2(27)SV1',
  '12.2(27)SV2',
  '12.2(27)SV3',
  '12.2(27)SV4',
  '12.2(27)SV5',
  '12.2(27)UZ',
  '12.2(27)UZ1',
  '12.2(28)SB',
  '12.2(28)SB1',
  '12.2(28)SB2',
  '12.2(28)SB3',
  '12.2(28)SB4',
  '12.2(28)SB4a',
  '12.2(28)SB4b',
  '12.2(28)SB4c',
  '12.2(28)SB5',
  '12.2(28)SB5a',
  '12.2(28)SB5b',
  '12.2(28)SB6',
  '12.2(28)SB7',
  '12.2(28)SB8',
  '12.2(28)SB9',
  '12.2(28)SB10',
  '12.2(28)SB11',
  '12.2(28)SB12',
  '12.2(28)SB13',
  '12.2(28)SV',
  '12.2(28)SV1',
  '12.2(28)SV2',
  '12.2(28)ZV',
  '12.2(28)ZV1',
  '12.2(28)ZX',
  '12.2(28a)ZV1',
  '12.2(29)SVA2',
  '12.2(29)SVC',
  '12.2(29)SVD',
  '12.2(29)SVD0',
  '12.2(29)SVD1',
  '12.2(29)SVE0',
  '12.2(29a)SV',
  '12.2(29a)SV1',
  '12.2(29b)SV',
  '12.2(29b)SV1',
  '12.2(31)SB',
  '12.2(31)SB1',
  '12.2(31)SB1a',
  '12.2(31)SB1b',
  '12.2(31)SB1c',
  '12.2(31)SB1d',
  '12.2(31)SB1e',
  '12.2(31)SB1f',
  '12.2(31)SB1g',
  '12.2(31)SB2',
  '12.2(31)SB2a',
  '12.2(31)SB3',
  '12.2(31)SB3a',
  '12.2(31)SB3b',
  '12.2(31)SB3c',
  '12.2(31)SB3x',
  '12.2(31)SB4',
  '12.2(31)SB4a',
  '12.2(31)SB5',
  '12.2(31)SB5a',
  '12.2(31)SB6',
  '12.2(31)SB7',
  '12.2(31)SB8',
  '12.2(31)SB8a',
  '12.2(31)SB9',
  '12.2(31)SB9a',
  '12.2(31)SB9b',
  '12.2(31)SB10',
  '12.2(31)SB10a',
  '12.2(31)SB10b',
  '12.2(31)SB10c',
  '12.2(31)SB10d',
  '12.2(31)SB10e',
  '12.2(31)SB11',
  '12.2(31)SB11a',
  '12.2(31)SB11b',
  '12.2(31)SB12',
  '12.2(31)SB12a',
  '12.2(31)SB13',
  '12.2(31)SB14',
  '12.2(31)SB15',
  '12.2(31)SB16',
  '12.2(31)SB17',
  '12.2(31)SB18',
  '12.2(31)SB19',
  '12.2(31)SB20',
  '12.2(31)SB21',
  '12.2(31)XN',
  '12.2(31)XN1',
  '12.2(31)XN2',
  '12.2(31)XN3',
  '12.2(31)ZV',
  '12.2(31)ZV0a',
  '12.2(31)ZV0b',
  '12.2(31)ZV0c',
  '12.2(31)ZV0d',
  '12.2(31)ZV0e',
  '12.2(31)ZV0f',
  '12.2(31)ZV0g',
  '12.2(31)ZV0h',
  '12.2(31)ZV0i',
  '12.2(31)ZV0j',
  '12.2(31)ZV1a',
  '12.2(31)ZV1b',
  '12.2(31)ZV1c',
  '12.2(31)ZV2',
  '12.2(31)ZV2a',
  '12.2(31)ZV2b',
  '12.2(31a)XN2',
  '12.2(31a)XN3',
  '12.2(31b)XN2',
  '12.2(31b)XN3',
  '12.2(31c)XN2',
  '12.2(31c)XN3',
  '12.2(33)CX',
  '12.2(33)CY',
  '12.2(33)CY1',
  '12.2(33)CY2',
  '12.2(33)IRA',
  '12.2(33)IRB',
  '12.2(33)IRC',
  '12.2(33)IRD',
  '12.2(33)IRE',
  '12.2(33)IRE1',
  '12.2(33)IRE2',
  '12.2(33)IRF',
  '12.2(33)IRG',
  '12.2(33)IRG1',
  '12.2(33)IRH',
  '12.2(33)IRH1',
  '12.2(33)MRA',
  '12.2(33)MRB',
  '12.2(33)MRB1',
  '12.2(33)MRB2',
  '12.2(33)MRB3',
  '12.2(33)MRB4',
  '12.2(33)MRB5',
  '12.2(33)MRB6',
  '12.2(33)SB',
  '12.2(33)SB1',
  '12.2(33)SB1a',
  '12.2(33)SB1b',
  '12.2(33)SB2',
  '12.2(33)SB3',
  '12.2(33)SB4',
  '12.2(33)SB5',
  '12.2(33)SB6',
  '12.2(33)SB6a',
  '12.2(33)SB6b',
  '12.2(33)SB7',
  '12.2(33)SB8',
  '12.2(33)SB8a',
  '12.2(33)SB8b',
  '12.2(33)SB8c',
  '12.2(33)SB8d',
  '12.2(33)SB8e',
  '12.2(33)SB8f',
  '12.2(33)SB8g',
  '12.2(33)SB9',
  '12.2(33)SB10',
  '12.2(33)SB11',
  '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)SCA',
  '12.2(33)SCA1',
  '12.2(33)SCA2',
  '12.2(33)SCB',
  '12.2(33)SCB1',
  '12.2(33)SCB2',
  '12.2(33)SCB3',
  '12.2(33)SCB4',
  '12.2(33)SCB5',
  '12.2(33)SCB6',
  '12.2(33)SCB7',
  '12.2(33)SCB8',
  '12.2(33)SCB9',
  '12.2(33)SCB10',
  '12.2(33)SCB11',
  '12.2(33)SCC',
  '12.2(33)SCC1',
  '12.2(33)SCC2',
  '12.2(33)SCC3',
  '12.2(33)SCC4',
  '12.2(33)SCC5',
  '12.2(33)SCC6',
  '12.2(33)SCC7',
  '12.2(33)SCD',
  '12.2(33)SCD1',
  '12.2(33)SCD2',
  '12.2(33)SCD3',
  '12.2(33)SCD4',
  '12.2(33)SCD5',
  '12.2(33)SCD6',
  '12.2(33)SCD7',
  '12.2(33)SCD8',
  '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',
  '12.2(33)SCF',
  '12.2(33)SCF1',
  '12.2(33)SCF2',
  '12.2(33)SCF3',
  '12.2(33)SCF4',
  '12.2(33)SCF5',
  '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',
  '12.2(33)SCH',
  '12.2(33)SCH0a',
  '12.2(33)SCH1',
  '12.2(33)SCH2',
  '12.2(33)SCH2a',
  '12.2(33)SCH3',
  '12.2(33)SCH4',
  '12.2(33)SCH5',
  '12.2(33)SCH6',
  '12.2(33)SCI',
  '12.2(33)SCI1',
  '12.2(33)SCI1a',
  '12.2(33)SCI2',
  '12.2(33)SCI2a',
  '12.2(33)SCI3',
  '12.2(33)SCJ',
  '12.2(33)SCJ1a',
  '12.2(33)SCJ2',
  '12.2(33)SCJ2a',
  '12.2(33)SCJ2b',
  '12.2(33)SCJ2c',
  '12.2(33)SCJ3',
  '12.2(33)SCJ4',
  '12.2(33)SRA',
  '12.2(33)SRA1',
  '12.2(33)SRA2',
  '12.2(33)SRA3',
  '12.2(33)SRA4',
  '12.2(33)SRA5',
  '12.2(33)SRA6',
  '12.2(33)SRA7',
  '12.2(33)SRB',
  '12.2(33)SRB1',
  '12.2(33)SRB2',
  '12.2(33)SRB3',
  '12.2(33)SRB4',
  '12.2(33)SRB5',
  '12.2(33)SRB5a',
  '12.2(33)SRB6',
  '12.2(33)SRB7',
  '12.2(33)SRC',
  '12.2(33)SRC1',
  '12.2(33)SRC2',
  '12.2(33)SRC3',
  '12.2(33)SRC4',
  '12.2(33)SRC5',
  '12.2(33)SRC6',
  '12.2(33)SRD',
  '12.2(33)SRD1',
  '12.2(33)SRD2',
  '12.2(33)SRD2a',
  '12.2(33)SRD3',
  '12.2(33)SRD4',
  '12.2(33)SRD4a',
  '12.2(33)SRD5',
  '12.2(33)SRD6',
  '12.2(33)SRD7',
  '12.2(33)SRD8',
  '12.2(33)SRE',
  '12.2(33)SRE0a',
  '12.2(33)SRE1',
  '12.2(33)SRE2',
  '12.2(33)SRE3',
  '12.2(33)SRE4',
  '12.2(33)SRE5',
  '12.2(33)SRE6',
  '12.2(33)SRE7',
  '12.2(33)SRE7a',
  '12.2(33)SRE8',
  '12.2(33)SRE9',
  '12.2(33)SRE9a',
  '12.2(33)SRE10',
  '12.2(33)SRE11',
  '12.2(33)SRE12',
  '12.2(33)SRE13',
  '12.2(33)SRE14',
  '12.2(33)SRE15',
  '12.2(33)SRE15a',
  '12.2(33)SXH',
  '12.2(33)SXH0a',
  '12.2(33)SXH1',
  '12.2(33)SXH2',
  '12.2(33)SXH2a',
  '12.2(33)SXH3',
  '12.2(33)SXH3a',
  '12.2(33)SXH4',
  '12.2(33)SXH5',
  '12.2(33)SXH6',
  '12.2(33)SXH7',
  '12.2(33)SXH7v',
  '12.2(33)SXH7w',
  '12.2(33)SXH8',
  '12.2(33)SXH8a',
  '12.2(33)SXH8b',
  '12.2(33)SXI',
  '12.2(33)SXI1',
  '12.2(33)SXI2',
  '12.2(33)SXI2a',
  '12.2(33)SXI3',
  '12.2(33)SXI3a',
  '12.2(33)SXI3z',
  '12.2(33)SXI4',
  '12.2(33)SXI4a',
  '12.2(33)SXI5',
  '12.2(33)SXI5a',
  '12.2(33)SXI6',
  '12.2(33)SXI7',
  '12.2(33)SXI8',
  '12.2(33)SXI8a',
  '12.2(33)SXI9',
  '12.2(33)SXI9a',
  '12.2(33)SXI10',
  '12.2(33)SXI11',
  '12.2(33)SXI12',
  '12.2(33)SXI13',
  '12.2(33)SXI14',
  '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',
  '12.2(33)ZI',
  '12.2(33)ZW',
  '12.2(33)ZZ',
  '12.2(34)SB1',
  '12.2(34)SB2',
  '12.2(34)SB3',
  '12.2(34)SB4',
  '12.2(34)SB4a',
  '12.2(34)SB4b',
  '12.2(34)SB4c',
  '12.2(34)SB4d',
  '12.2(35)SE1',
  '12.2(35)SE2',
  '12.2(35)SE5',
  '12.2(37)SE',
  '12.2(37)SE1',
  '12.2(40)SE',
  '12.2(44)SE',
  '12.2(44)SE1',
  '12.2(44)SE2',
  '12.2(44)SE3',
  '12.2(44)SE5',
  '12.2(44)SE6',
  '12.2(46)SE',
  '12.2(50)SE',
  '12.2(50)SE1',
  '12.2(50)SE3',
  '12.2(50)SE4',
  '12.2(50)SE5',
  '12.2(52)EY',
  '12.2(52)EY1',
  '12.2(52)EY1a',
  '12.2(52)EY1b',
  '12.2(52)EY1c',
  '12.2(52)EY2',
  '12.2(52)EY2a',
  '12.2(52)EY3',
  '12.2(52)EY3a',
  '12.2(52)EY4',
  '12.2(52)SE',
  '12.2(54)SE',
  '12.2(55)SE',
  '12.2(55)SE3',
  '12.2(55)SE4',
  '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(55)SE11',
  '12.2(55)SE12',
  '12.2(55)SE13',
  '12.2(58)EX',
  '12.2(58)EZ',
  '12.2(58)SE',
  '12.2(58)SE1',
  '12.2(58)SE2',
  '12.2(60)EZ4',
  '12.2(60)EZ5',
  '12.3(1)',
  '12.3(1a)',
  '12.3(1a)B',
  '12.3(1a)BW',
  '12.3(2)JA3',
  '12.3(2)JA4',
  '12.3(2)T',
  '12.3(2)T1',
  '12.3(2)T2',
  '12.3(2)T3',
  '12.3(2)T4',
  '12.3(2)T5',
  '12.3(2)T6',
  '12.3(2)T7',
  '12.3(2)T8',
  '12.3(2)T9',
  '12.3(2)XA',
  '12.3(2)XA1',
  '12.3(2)XA2',
  '12.3(2)XB',
  '12.3(2)XB1',
  '12.3(2)XB2',
  '12.3(2)XB3',
  '12.3(2)XC',
  '12.3(2)XC1',
  '12.3(2)XC2',
  '12.3(2)XC3',
  '12.3(2)XC4',
  '12.3(2)XC5',
  '12.3(2)XE',
  '12.3(2)XE1',
  '12.3(2)XE2',
  '12.3(2)XE3',
  '12.3(2)XE4',
  '12.3(2)XE5',
  '12.3(2)XF',
  '12.3(2)XZ1',
  '12.3(2)XZ2',
  '12.3(3)',
  '12.3(3)B',
  '12.3(3)B1',
  '12.3(3a)',
  '12.3(3b)',
  '12.3(3c)',
  '12.3(3d)',
  '12.3(3e)',
  '12.3(3f)',
  '12.3(3g)',
  '12.3(3h)',
  '12.3(3i)',
  '12.3(4)T',
  '12.3(4)T1',
  '12.3(4)T2',
  '12.3(4)T2a',
  '12.3(4)T3',
  '12.3(4)T4',
  '12.3(4)T5',
  '12.3(4)T6',
  '12.3(4)T7',
  '12.3(4)T8',
  '12.3(4)T9',
  '12.3(4)T10',
  '12.3(4)T11',
  '12.3(4)T12',
  '12.3(4)XD',
  '12.3(4)XD1',
  '12.3(4)XD2',
  '12.3(4)XD3',
  '12.3(4)XD4',
  '12.3(4)XG',
  '12.3(4)XG1',
  '12.3(4)XG2',
  '12.3(4)XG3',
  '12.3(4)XG4',
  '12.3(4)XG5',
  '12.3(4)XH',
  '12.3(4)XH1',
  '12.3(4)XK',
  '12.3(4)XK1',
  '12.3(4)XK2',
  '12.3(4)XK3',
  '12.3(4)XK4',
  '12.3(4)XN',
  '12.3(4)XN1',
  '12.3(4)XN2',
  '12.3(4)XQ',
  '12.3(4)XQ1',
  '12.3(4)YE',
  '12.3(4)YE1',
  '12.3(5)',
  '12.3(5a)',
  '12.3(5a)B',
  '12.3(5a)B0a',
  '12.3(5a)B1',
  '12.3(5a)B2',
  '12.3(5a)B3',
  '12.3(5a)B4',
  '12.3(5a)B5',
  '12.3(5b)',
  '12.3(5c)',
  '12.3(5d)',
  '12.3(5e)',
  '12.3(5f)',
  '12.3(6)',
  '12.3(6a)',
  '12.3(6b)',
  '12.3(6c)',
  '12.3(6d)',
  '12.3(6e)',
  '12.3(6f)',
  '12.3(7)JX',
  '12.3(7)JX9',
  '12.3(7)T',
  '12.3(7)T1',
  '12.3(7)T2',
  '12.3(7)T3',
  '12.3(7)T4',
  '12.3(7)T5',
  '12.3(7)T6',
  '12.3(7)T7',
  '12.3(7)T8',
  '12.3(7)T9',
  '12.3(7)T10',
  '12.3(7)T11',
  '12.3(7)T12',
  '12.3(7)XI',
  '12.3(7)XI1',
  '12.3(7)XI1a',
  '12.3(7)XI1b',
  '12.3(7)XI1c',
  '12.3(7)XI2',
  '12.3(7)XI2a',
  '12.3(7)XI2b',
  '12.3(7)XI2c',
  '12.3(7)XI3',
  '12.3(7)XI3a',
  '12.3(7)XI3b',
  '12.3(7)XI3d',
  '12.3(7)XI3e',
  '12.3(7)XI4',
  '12.3(7)XI5',
  '12.3(7)XI6',
  '12.3(7)XI7',
  '12.3(7)XI7a',
  '12.3(7)XI7b',
  '12.3(7)XI8',
  '12.3(7)XI8a',
  '12.3(7)XI8c',
  '12.3(7)XI8d',
  '12.3(7)XI8e',
  '12.3(7)XI8f',
  '12.3(7)XI8g',
  '12.3(7)XI9',
  '12.3(7)XI10',
  '12.3(7)XI10a',
  '12.3(7)XI10b',
  '12.3(7)XJ',
  '12.3(7)XJ1',
  '12.3(7)XJ2',
  '12.3(7)XL',
  '12.3(7)XM',
  '12.3(7)XR',
  '12.3(7)XR1',
  '12.3(7)XR2',
  '12.3(7)XR3',
  '12.3(7)XR4',
  '12.3(7)XR5',
  '12.3(7)XR6',
  '12.3(7)XR7',
  '12.3(7)XS',
  '12.3(7)XS1',
  '12.3(7)XS2',
  '12.3(8)JK',
  '12.3(8)T',
  '12.3(8)T1',
  '12.3(8)T2',
  '12.3(8)T3',
  '12.3(8)T4',
  '12.3(8)T5',
  '12.3(8)T6',
  '12.3(8)T7',
  '12.3(8)T8',
  '12.3(8)T9',
  '12.3(8)T10',
  '12.3(8)T11',
  '12.3(8)XU',
  '12.3(8)XU1',
  '12.3(8)XU2',
  '12.3(8)XU3',
  '12.3(8)XU4',
  '12.3(8)XU5',
  '12.3(8)XW',
  '12.3(8)XW1',
  '12.3(8)XW1a',
  '12.3(8)XW1b',
  '12.3(8)XW2',
  '12.3(8)XW3',
  '12.3(8)XX',
  '12.3(8)XX1',
  '12.3(8)XX2',
  '12.3(8)XX2a',
  '12.3(8)XX2b',
  '12.3(8)XX2c',
  '12.3(8)XX2d',
  '12.3(8)XX2e',
  '12.3(8)XY',
  '12.3(8)XY1',
  '12.3(8)XY2',
  '12.3(8)XY3',
  '12.3(8)XY4',
  '12.3(8)XY5',
  '12.3(8)XY6',
  '12.3(8)XY7',
  '12.3(8)YA',
  '12.3(8)YA1',
  '12.3(8)YC',
  '12.3(8)YC1',
  '12.3(8)YC2',
  '12.3(8)YC3',
  '12.3(8)YD',
  '12.3(8)YD1',
  '12.3(8)YG',
  '12.3(8)YG1',
  '12.3(8)YG2',
  '12.3(8)YG3',
  '12.3(8)YG4',
  '12.3(8)YG5',
  '12.3(8)YG6',
  '12.3(8)YG7',
  '12.3(8)YH',
  '12.3(8)YI',
  '12.3(8)YI1',
  '12.3(8)YI2',
  '12.3(8)YI3',
  '12.3(8)ZA',
  '12.3(8)ZA1',
  '12.3(9)',
  '12.3(9)M0',
  '12.3(9)M1',
  '12.3(9a)',
  '12.3(9a)BC',
  '12.3(9a)BC1',
  '12.3(9a)BC2',
  '12.3(9a)BC3',
  '12.3(9a)BC4',
  '12.3(9a)BC5',
  '12.3(9a)BC6',
  '12.3(9a)BC7',
  '12.3(9a)BC8',
  '12.3(9a)BC9',
  '12.3(9b)',
  '12.3(9c)',
  '12.3(9d)',
  '12.3(9e)',
  '12.3(10)',
  '12.3(10a)',
  '12.3(10a)M0',
  '12.3(10b)',
  '12.3(10c)',
  '12.3(10d)',
  '12.3(10e)',
  '12.3(10f)',
  '12.3(11)JA2',
  '12.3(11)JX',
  '12.3(11)JX1',
  '12.3(11)T',
  '12.3(11)T1',
  '12.3(11)T2',
  '12.3(11)T2a',
  '12.3(11)T3',
  '12.3(11)T4',
  '12.3(11)T5',
  '12.3(11)T6',
  '12.3(11)T7',
  '12.3(11)T8',
  '12.3(11)T9',
  '12.3(11)T10',
  '12.3(11)T11',
  '12.3(11)T12',
  '12.3(11)TO3',
  '12.3(11)XL',
  '12.3(11)XL1',
  '12.3(11)XL2',
  '12.3(11)XL3',
  '12.3(11)YF',
  '12.3(11)YF1',
  '12.3(11)YF2',
  '12.3(11)YF3',
  '12.3(11)YF4',
  '12.3(11)YJ',
  '12.3(11)YK',
  '12.3(11)YK1',
  '12.3(11)YK2',
  '12.3(11)YK3',
  '12.3(11)YL',
  '12.3(11)YL1',
  '12.3(11)YL2',
  '12.3(11)YR',
  '12.3(11)YR1',
  '12.3(11)YS',
  '12.3(11)YS1',
  '12.3(11)YS2',
  '12.3(11)YZ',
  '12.3(11)YZ1',
  '12.3(11)YZ2',
  '12.3(11)ZB',
  '12.3(11)ZB1',
  '12.3(11)ZB2',
  '12.3(12)',
  '12.3(12a)',
  '12.3(12b)',
  '12.3(12c)',
  '12.3(12d)',
  '12.3(12e)',
  '12.3(13)',
  '12.3(13a)',
  '12.3(13a)BC',
  '12.3(13a)BC1',
  '12.3(13a)BC2',
  '12.3(13a)BC3',
  '12.3(13a)BC4',
  '12.3(13a)BC5',
  '12.3(13a)BC6',
  '12.3(13b)',
  '12.3(14)T',
  '12.3(14)T1',
  '12.3(14)T2',
  '12.3(14)T3',
  '12.3(14)T4',
  '12.3(14)T5',
  '12.3(14)T6',
  '12.3(14)T7',
  '12.3(14)YM1',
  '12.3(14)YM2',
  '12.3(14)YM3',
  '12.3(14)YM4',
  '12.3(14)YM5',
  '12.3(14)YM6',
  '12.3(14)YM7',
  '12.3(14)YM8',
  '12.3(14)YM9',
  '12.3(14)YM10',
  '12.3(14)YM11',
  '12.3(14)YM12',
  '12.3(14)YM13',
  '12.3(14)YQ',
  '12.3(14)YQ1',
  '12.3(14)YQ2',
  '12.3(14)YQ3',
  '12.3(14)YQ4',
  '12.3(14)YQ5',
  '12.3(14)YQ6',
  '12.3(14)YQ7',
  '12.3(14)YQ8',
  '12.3(14)YT',
  '12.3(14)YT1',
  '12.3(14)YU',
  '12.3(14)YU1',
  '12.3(15)',
  '12.3(15a)',
  '12.3(15b)',
  '12.3(16)',
  '12.3(16a)',
  '12.3(17)',
  '12.3(17a)',
  '12.3(17a)BC',
  '12.3(17a)BC1',
  '12.3(17a)BC2',
  '12.3(17b)',
  '12.3(17b)BC3',
  '12.3(17b)BC4',
  '12.3(17b)BC5',
  '12.3(17b)BC6',
  '12.3(17b)BC7',
  '12.3(17b)BC8',
  '12.3(17b)BC9',
  '12.3(17c)',
  '12.3(18)',
  '12.3(18a)',
  '12.3(19)',
  '12.3(19a)',
  '12.3(20)',
  '12.3(20a)',
  '12.3(21)',
  '12.3(21)BC',
  '12.3(21a)',
  '12.3(21a)BC1',
  '12.3(21a)BC2',
  '12.3(21a)BC3',
  '12.3(21a)BC4',
  '12.3(21a)BC5',
  '12.3(21a)BC6',
  '12.3(21a)BC7',
  '12.3(21a)BC8',
  '12.3(21a)BC9',
  '12.3(21b)',
  '12.3(22)',
  '12.3(22a)',
  '12.3(23)',
  '12.3(23)BC',
  '12.3(23)BC1',
  '12.3(23)BC2',
  '12.3(23)BC3',
  '12.3(23)BC4',
  '12.3(23)BC5',
  '12.3(23)BC6',
  '12.3(23)BC7',
  '12.3(23)BC8',
  '12.3(23)BC9',
  '12.3(23)BC10',
  '12.3(24)',
  '12.3(24a)',
  '12.3(25)',
  '12.3(26)',
  '12.4(1)',
  '12.4(1a)',
  '12.4(1b)',
  '12.4(1c)',
  '12.4(2)MR',
  '12.4(2)MR1',
  '12.4(2)T',
  '12.4(2)T1',
  '12.4(2)T2',
  '12.4(2)T3',
  '12.4(2)T4',
  '12.4(2)T5',
  '12.4(2)T6',
  '12.4(2)XA',
  '12.4(2)XA1',
  '12.4(2)XA2',
  '12.4(2)XB',
  '12.4(2)XB1',
  '12.4(2)XB2',
  '12.4(2)XB3',
  '12.4(2)XB4',
  '12.4(2)XB5',
  '12.4(2)XB6',
  '12.4(2)XB7',
  '12.4(2)XB8',
  '12.4(2)XB9',
  '12.4(2)XB10',
  '12.4(2)XB11',
  '12.4(2)XB12',
  '12.4(3)',
  '12.4(3a)',
  '12.4(3b)',
  '12.4(3c)',
  '12.4(3d)',
  '12.4(3e)',
  '12.4(3f)',
  '12.4(3g)',
  '12.4(3h)',
  '12.4(3i)',
  '12.4(3j)',
  '12.4(4)MR',
  '12.4(4)MR1',
  '12.4(4)T',
  '12.4(4)T1',
  '12.4(4)T2',
  '12.4(4)T3',
  '12.4(4)T4',
  '12.4(4)T5',
  '12.4(4)T6',
  '12.4(4)T7',
  '12.4(4)T8',
  '12.4(4)XC',
  '12.4(4)XC1',
  '12.4(4)XC2',
  '12.4(4)XC3',
  '12.4(4)XC4',
  '12.4(4)XC5',
  '12.4(4)XC6',
  '12.4(4)XC7',
  '12.4(4)XD',
  '12.4(4)XD1',
  '12.4(4)XD2',
  '12.4(4)XD3',
  '12.4(4)XD4',
  '12.4(4)XD5',
  '12.4(4)XD6',
  '12.4(4)XD7',
  '12.4(4)XD8',
  '12.4(4)XD9',
  '12.4(4)XD10',
  '12.4(4)XD11',
  '12.4(4)XD12',
  '12.4(5)',
  '12.4(5a)',
  '12.4(5a)M0',
  '12.4(5b)',
  '12.4(5c)',
  '12.4(6)MR',
  '12.4(6)MR1',
  '12.4(6)T',
  '12.4(6)T1',
  '12.4(6)T2',
  '12.4(6)T3',
  '12.4(6)T4',
  '12.4(6)T5',
  '12.4(6)T5a',
  '12.4(6)T5b',
  '12.4(6)T5c',
  '12.4(6)T5d',
  '12.4(6)T5e',
  '12.4(6)T5f',
  '12.4(6)T6',
  '12.4(6)T7',
  '12.4(6)T8',
  '12.4(6)T9',
  '12.4(6)T10',
  '12.4(6)T11',
  '12.4(6)T12',
  '12.4(6)XE',
  '12.4(6)XE1',
  '12.4(6)XE2',
  '12.4(6)XP',
  '12.4(6)XT',
  '12.4(6)XT1',
  '12.4(6)XT2',
  '12.4(7)',
  '12.4(7a)',
  '12.4(7b)',
  '12.4(7c)',
  '12.4(7d)',
  '12.4(7e)',
  '12.4(7f)',
  '12.4(7g)',
  '12.4(7h)',
  '12.4(8)',
  '12.4(8a)',
  '12.4(8b)',
  '12.4(8c)',
  '12.4(8d)',
  '12.4(9)MR',
  '12.4(9)T',
  '12.4(9)T0a',
  '12.4(9)T1',
  '12.4(9)T2',
  '12.4(9)T3',
  '12.4(9)T4',
  '12.4(9)T5',
  '12.4(9)T6',
  '12.4(9)T7',
  '12.4(9)XG',
  '12.4(9)XG1',
  '12.4(9)XG2',
  '12.4(9)XG3',
  '12.4(9)XG4',
  '12.4(9)XG5',
  '12.4(10)',
  '12.4(10b)',
  '12.4(10c)',
  '12.4(11)MD',
  '12.4(11)MD1',
  '12.4(11)MD2',
  '12.4(11)MD3',
  '12.4(11)MD4',
  '12.4(11)MD5',
  '12.4(11)MD6',
  '12.4(11)MD7',
  '12.4(11)MD8',
  '12.4(11)MD9',
  '12.4(11)MD10',
  '12.4(11)MR',
  '12.4(11)SW',
  '12.4(11)SW1',
  '12.4(11)SW2',
  '12.4(11)SW3',
  '12.4(11)T',
  '12.4(11)T1',
  '12.4(11)T2',
  '12.4(11)T3',
  '12.4(11)T4',
  '12.4(11)XJ',
  '12.4(11)XJ1',
  '12.4(11)XJ2',
  '12.4(11)XJ3',
  '12.4(11)XJ4',
  '12.4(11)XJ5',
  '12.4(11)XJ6',
  '12.4(11)XV',
  '12.4(11)XV1',
  '12.4(11)XW',
  '12.4(11)XW1',
  '12.4(11)XW2',
  '12.4(11)XW3',
  '12.4(11)XW4',
  '12.4(11)XW5',
  '12.4(11)XW6',
  '12.4(11)XW7',
  '12.4(11)XW8',
  '12.4(11)XW9',
  '12.4(11)XW10',
  '12.4(12)',
  '12.4(12)MR',
  '12.4(12)MR1',
  '12.4(12)MR2',
  '12.4(12a)',
  '12.4(12b)',
  '12.4(12c)',
  '12.4(13)',
  '12.4(13a)',
  '12.4(13b)',
  '12.4(13c)',
  '12.4(13d)',
  '12.4(13e)',
  '12.4(13f)',
  '12.4(14)XK',
  '12.4(15)MD',
  '12.4(15)MD1',
  '12.4(15)MD1a',
  '12.4(15)MD2',
  '12.4(15)MD3',
  '12.4(15)MD4',
  '12.4(15)MD5',
  '12.4(15)SW',
  '12.4(15)SW1',
  '12.4(15)SW2',
  '12.4(15)SW3',
  '12.4(15)SW4',
  '12.4(15)SW5',
  '12.4(15)SW6',
  '12.4(15)SW7',
  '12.4(15)SW8',
  '12.4(15)SW8a',
  '12.4(15)SW9',
  '12.4(15)T',
  '12.4(15)T1',
  '12.4(15)T2',
  '12.4(15)T3',
  '12.4(15)T4',
  '12.4(15)T5',
  '12.4(15)T6',
  '12.4(15)T6a',
  '12.4(15)T7',
  '12.4(15)T8',
  '12.4(15)T9',
  '12.4(15)T10',
  '12.4(15)T11',
  '12.4(15)T12',
  '12.4(15)T13',
  '12.4(15)T13b',
  '12.4(15)T14',
  '12.4(15)T15',
  '12.4(15)T16',
  '12.4(15)T17',
  '12.4(15)XF',
  '12.4(15)XL',
  '12.4(15)XL1',
  '12.4(15)XL2',
  '12.4(15)XL3',
  '12.4(15)XL4',
  '12.4(15)XL5',
  '12.4(15)XM',
  '12.4(15)XM1',
  '12.4(15)XM2',
  '12.4(15)XM3',
  '12.4(15)XN',
  '12.4(15)XQ',
  '12.4(15)XQ1',
  '12.4(15)XQ2',
  '12.4(15)XQ2a',
  '12.4(15)XQ2b',
  '12.4(15)XQ2c',
  '12.4(15)XQ2d',
  '12.4(15)XQ3',
  '12.4(15)XQ4',
  '12.4(15)XQ5',
  '12.4(15)XQ6',
  '12.4(15)XQ7',
  '12.4(15)XQ8',
  '12.4(15)XR',
  '12.4(15)XR1',
  '12.4(15)XR2',
  '12.4(15)XR3',
  '12.4(15)XR4',
  '12.4(15)XR5',
  '12.4(15)XR6',
  '12.4(15)XR7',
  '12.4(15)XR8',
  '12.4(15)XR9',
  '12.4(15)XR10',
  '12.4(15)XY',
  '12.4(15)XY1',
  '12.4(15)XY2',
  '12.4(15)XY3',
  '12.4(15)XY4',
  '12.4(15)XY5',
  '12.4(15)XZ',
  '12.4(15)XZ1',
  '12.4(15)XZ2',
  '12.4(16)',
  '12.4(16)MR',
  '12.4(16)MR1',
  '12.4(16)MR2',
  '12.4(16a)',
  '12.4(16b)',
  '12.4(17)',
  '12.4(17a)',
  '12.4(17b)',
  '12.4(18)',
  '12.4(18a)',
  '12.4(18b)',
  '12.4(18c)',
  '12.4(18d)',
  '12.4(18e)',
  '12.4(19)',
  '12.4(19)MR',
  '12.4(19)MR1',
  '12.4(19)MR2',
  '12.4(19)MR3',
  '12.4(19b)',
  '12.4(20)MR',
  '12.4(20)MR1',
  '12.4(20)MR2',
  '12.4(20)MRB',
  '12.4(20)MRB1',
  '12.4(20)T',
  '12.4(20)T1',
  '12.4(20)T2',
  '12.4(20)T3',
  '12.4(20)T4',
  '12.4(20)T5',
  '12.4(20)T5a',
  '12.4(20)T6',
  '12.4(20)T9',
  '12.4(21)',
  '12.4(21a)',
  '12.4(21a)M1',
  '12.4(22)MD',
  '12.4(22)MD1',
  '12.4(22)MD2',
  '12.4(22)MDA',
  '12.4(22)MDA1',
  '12.4(22)MDA2',
  '12.4(22)MDA3',
  '12.4(22)MDA4',
  '12.4(22)MDA5',
  '12.4(22)MDA6',
  '12.4(22)T',
  '12.4(22)T1',
  '12.4(22)T2',
  '12.4(22)T3',
  '12.4(22)T4',
  '12.4(22)T5',
  '12.4(22)XR1',
  '12.4(22)XR2',
  '12.4(22)XR3',
  '12.4(22)XR4',
  '12.4(22)XR5',
  '12.4(22)XR6',
  '12.4(22)XR7',
  '12.4(22)XR8',
  '12.4(22)XR9',
  '12.4(22)XR10',
  '12.4(22)XR11',
  '12.4(22)XR12',
  '12.4(23)',
  '12.4(23a)',
  '12.4(23b)',
  '12.4(23b)M1',
  '12.4(23c)',
  '12.4(23c)JY',
  '12.4(23d)',
  '12.4(23e)',
  '12.4(24)MD',
  '12.4(24)MD1',
  '12.4(24)MD2',
  '12.4(24)MD3',
  '12.4(24)MD4',
  '12.4(24)MD5',
  '12.4(24)MD6',
  '12.4(24)MD7',
  '12.4(24)MDA',
  '12.4(24)MDA1',
  '12.4(24)MDA2',
  '12.4(24)MDA3',
  '12.4(24)MDA4',
  '12.4(24)MDA5',
  '12.4(24)MDA6',
  '12.4(24)MDA7',
  '12.4(24)MDA8',
  '12.4(24)MDA9',
  '12.4(24)MDA10',
  '12.4(24)MDA11',
  '12.4(24)MDA12',
  '12.4(24)MDA13',
  '12.4(24)MDB',
  '12.4(24)MDB1',
  '12.4(24)MDB3',
  '12.4(24)MDB4',
  '12.4(24)MDB5',
  '12.4(24)MDB5a',
  '12.4(24)MDB6',
  '12.4(24)MDB7',
  '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.4(24)T',
  '12.4(24)T1',
  '12.4(24)T2',
  '12.4(24)T3',
  '12.4(24)T3e',
  '12.4(24)T3f',
  '12.4(24)T4',
  '12.4(24)T4a',
  '12.4(24)T4b',
  '12.4(24)T4c',
  '12.4(24)T4d',
  '12.4(24)T4e',
  '12.4(24)T4f',
  '12.4(24)T4g',
  '12.4(24)T4h',
  '12.4(24)T4i',
  '12.4(24)T4j',
  '12.4(24)T4k',
  '12.4(24)T4l',
  '12.4(24)T4m',
  '12.4(24)T4n',
  '12.4(24)T4o',
  '12.4(24)T5',
  '12.4(24)T6',
  '12.4(24)T7',
  '12.4(24)T8',
  '12.4(24)T9',
  '12.4(24)T10',
  '12.4(24)T11',
  '12.4(24)T12',
  '12.4(24)YG',
  '12.4(24)YG1',
  '12.4(24)YG2',
  '12.4(24)YG3',
  '12.4(24)YG4',
  '12.4(24)YS',
  '12.4(24)YS1',
  '12.4(24)YS2',
  '12.4(24)YS3',
  '12.4(24)YS4',
  '12.4(24)YS5',
  '12.4(24)YS6',
  '12.4(24)YS7',
  '12.4(24)YS8',
  '12.4(24)YS8a',
  '12.4(24)YS9',
  '12.4(24)YS10',
  '12.4(25)',
  '12.4(25a)',
  '12.4(25b)',
  '12.4(25c)',
  '12.4(25d)',
  '12.4(25e)',
  '12.4(25f)',
  '12.4(25g)',
  '15.0(1)EX',
  '15.0(1)M',
  '15.0(1)M1',
  '15.0(1)M2',
  '15.0(1)M3',
  '15.0(1)M4',
  '15.0(1)M5',
  '15.0(1)M6',
  '15.0(1)M6a',
  '15.0(1)M7',
  '15.0(1)M8',
  '15.0(1)M9',
  '15.0(1)M10',
  '15.0(1)MR',
  '15.0(1)S',
  '15.0(1)S1',
  '15.0(1)S2',
  '15.0(1)S3a',
  '15.0(1)S4',
  '15.0(1)S4a',
  '15.0(1)S5',
  '15.0(1)S6',
  '15.0(1)SE',
  '15.0(1)SE1',
  '15.0(1)SE2',
  '15.0(1)SE3',
  '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)SY7a',
  '15.0(1)SY8',
  '15.0(1)SY9',
  '15.0(1)SY10',
  '15.0(1)XA',
  '15.0(1)XA1',
  '15.0(1)XA2',
  '15.0(1)XA3',
  '15.0(1)XA4',
  '15.0(1)XA5',
  '15.0(2)EJ',
  '15.0(2)EJ1',
  '15.0(2)EX2',
  '15.0(2)EX8',
  '15.0(2)EZ',
  '15.0(2)MR',
  '15.0(2)SE',
  '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)SE8',
  '15.0(2)SE9',
  '15.0(2)SE10',
  '15.0(2)SE10a',
  '15.0(2)SE11',
  '15.0(2)SE12',
  '15.0(2)SE13',
  '15.0(2)SE13a',
  '15.0(2)SE13b',
  '15.0(2)SE13c',
  '15.1(1)S',
  '15.1(1)S1',
  '15.1(1)S2',
  '15.1(1)SG',
  '15.1(1)SG1',
  '15.1(1)SG2',
  '15.1(1)SY',
  '15.1(1)SY1',
  '15.1(1)SY2',
  '15.1(1)SY3',
  '15.1(1)SY4',
  '15.1(1)SY5',
  '15.1(1)SY6',
  '15.1(1)T',
  '15.1(1)T1',
  '15.1(1)T2',
  '15.1(1)T3',
  '15.1(1)T4',
  '15.1(1)T5',
  '15.1(1)XB',
  '15.1(1)XB1',
  '15.1(1)XB2',
  '15.1(1)XB3',
  '15.1(2)GC',
  '15.1(2)GC1',
  '15.1(2)GC2',
  '15.1(2)S',
  '15.1(2)S1',
  '15.1(2)S2',
  '15.1(2)SG',
  '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.1(2)SG8',
  '15.1(2)SY',
  '15.1(2)SY1',
  '15.1(2)SY2',
  '15.1(2)SY3',
  '15.1(2)SY4',
  '15.1(2)SY4a',
  '15.1(2)SY5',
  '15.1(2)SY6',
  '15.1(2)SY7',
  '15.1(2)SY8',
  '15.1(2)SY9',
  '15.1(2)SY10',
  '15.1(2)SY11',
  '15.1(2)SY12',
  '15.1(2)SY13',
  '15.1(2)SY14',
  '15.1(2)SY15',
  '15.1(2)SY16',
  '15.1(2)SY16a',
  '15.1(2)T',
  '15.1(2)T0a',
  '15.1(2)T1',
  '15.1(2)T2',
  '15.1(2)T2a',
  '15.1(2)T3',
  '15.1(2)T4',
  '15.1(2)T5',
  '15.1(3)MRA',
  '15.1(3)MRA1',
  '15.1(3)MRA2',
  '15.1(3)MRA3',
  '15.1(3)MRA4',
  '15.1(3)S',
  '15.1(3)S0a',
  '15.1(3)S1',
  '15.1(3)S2',
  '15.1(3)S3',
  '15.1(3)S4',
  '15.1(3)S5',
  '15.1(3)S5a',
  '15.1(3)S6',
  '15.1(3)S7',
  '15.1(3)SVG',
  '15.1(3)SVG1a',
  '15.1(3)SVG1b',
  '15.1(3)SVG1c',
  '15.1(3)SVG2',
  '15.1(3)SVG2a',
  '15.1(3)SVG3',
  '15.1(3)SVG3a',
  '15.1(3)SVG3b',
  '15.1(3)SVG3c',
  '15.1(3)SVH',
  '15.1(3)SVH2',
  '15.1(3)SVH4',
  '15.1(3)SVH4a',
  '15.1(3)SVI1a',
  '15.1(3)SVI2',
  '15.1(3)SVI2a',
  '15.1(3)SVI3',
  '15.1(3)SVI3b',
  '15.1(3)SVI3c',
  '15.1(3)SVI31a',
  '15.1(3)SVI31b',
  '15.1(3)SVJ',
  '15.1(3)SVJ2',
  '15.1(3)SVR1',
  '15.1(3)SVR2',
  '15.1(3)SVR3',
  '15.1(3)SVR10',
  '15.1(3)SVS',
  '15.1(3)SVS1',
  '15.1(3)SVT1',
  '15.1(3)SVT2',
  '15.1(3)SVT3',
  '15.1(3)SVT4',
  '15.1(3)SVU1',
  '15.1(3)SVU2',
  '15.1(3)SVU10',
  '15.1(3)SVU11',
  '15.1(3)SVU20',
  '15.1(3)SVU21',
  '15.1(3)SVV1',
  '15.1(3)SVV2',
  '15.1(3)SVV3',
  '15.1(3)SVV4',
  '15.1(3)SVW',
  '15.1(3)SVW1',
  '15.1(3)SVX',
  '15.1(3)SVX1',
  '15.1(3)T',
  '15.1(3)T1',
  '15.1(3)T2',
  '15.1(3)T3',
  '15.1(3)T4',
  '15.1(4)GC',
  '15.1(4)GC1',
  '15.1(4)GC2',
  '15.1(4)M',
  '15.1(4)M0a',
  '15.1(4)M0b',
  '15.1(4)M1',
  '15.1(4)M2',
  '15.1(4)M3',
  '15.1(4)M3a',
  '15.1(4)M4',
  '15.1(4)M5',
  '15.1(4)M6',
  '15.1(4)M7',
  '15.1(4)M8',
  '15.1(4)M9',
  '15.1(4)M10',
  '15.1(4)M12a',
  '15.1(4)XB4',
  '15.1(4)XB5',
  '15.1(4)XB5a',
  '15.1(4)XB6',
  '15.1(4)XB7',
  '15.1(4)XB8',
  '15.1(4)XB8a',
  '15.2(1)E',
  '15.2(1)E1',
  '15.2(1)E2',
  '15.2(1)E3',
  '15.2(1)GC',
  '15.2(1)GC1',
  '15.2(1)GC2',
  '15.2(1)S',
  '15.2(1)S1',
  '15.2(1)S2',
  '15.2(1)SC1a',
  '15.2(1)SD1',
  '15.2(1)SD2',
  '15.2(1)SD3',
  '15.2(1)SD4',
  '15.2(1)SD6',
  '15.2(1)SD6a',
  '15.2(1)SD7',
  '15.2(1)SD8',
  '15.2(1)SY',
  '15.2(1)SY0a',
  '15.2(1)SY1',
  '15.2(1)SY1a',
  '15.2(1)SY2',
  '15.2(1)SY3',
  '15.2(1)SY4',
  '15.2(1)SY5',
  '15.2(1)SY6',
  '15.2(1)SY7',
  '15.2(1)SY8',
  '15.2(2)E',
  '15.2(2)E1',
  '15.2(2)E2',
  '15.2(2)E3',
  '15.2(2)E4',
  '15.2(2)E5',
  '15.2(2)E5a',
  '15.2(2)E5b',
  '15.2(2)E6',
  '15.2(2)E7',
  '15.2(2)E8',
  '15.2(2)E9',
  '15.2(2)E9a',
  '15.2(2)E10',
  '15.2(2)E10a',
  '15.2(2)E10b',
  '15.2(2)E10c',
  '15.2(2)GC',
  '15.2(2)S',
  '15.2(2)S0a',
  '15.2(2)S0c',
  '15.2(2)S0d',
  '15.2(2)S1',
  '15.2(2)S2',
  '15.2(2)SC',
  '15.2(2)SC1',
  '15.2(2)SC3',
  '15.2(2)SC4',
  '15.2(2)SY',
  '15.2(2)SY1',
  '15.2(2)SY2',
  '15.2(2)SY3',
  '15.2(2a)E2',
  '15.2(2b)E',
  '15.2(3)E',
  '15.2(3)E1',
  '15.2(3)E2',
  '15.2(3)E3',
  '15.2(3)E4',
  '15.2(3)EA',
  '15.2(3)GC',
  '15.2(3)GC1',
  '15.2(3a)E',
  '15.2(3m)E2',
  '15.2(3m)E7',
  '15.2(3m)E8',
  '15.2(4)E',
  '15.2(4)E1',
  '15.2(4)E2',
  '15.2(4)E3',
  '15.2(4)E4',
  '15.2(4)E5',
  '15.2(4)E6',
  '15.2(4)E7',
  '15.2(4)E8',
  '15.2(4)E9',
  '15.2(4)E10',
  '15.2(4)E10a',
  '15.2(4)E10b',
  '15.2(4)E10c',
  '15.2(4)E10d',
  '15.2(4)EA',
  '15.2(4)EA1',
  '15.2(4)EA5',
  '15.2(4)EA6',
  '15.2(4)EA7',
  '15.2(4)EA8',
  '15.2(4)EA9',
  '15.2(4)EA9a',
  '15.2(4)GC',
  '15.2(4)GC1',
  '15.2(4)GC2',
  '15.2(4)GC3',
  '15.2(4)M',
  '15.2(4)M1',
  '15.2(4)M2',
  '15.2(4)M3',
  '15.2(4)M4',
  '15.2(4)M5',
  '15.2(4)M6',
  '15.2(4)M6a',
  '15.2(4)M6b',
  '15.2(4)M7',
  '15.2(4)M8',
  '15.2(4)M9',
  '15.2(4)M10',
  '15.2(4)M11',
  '15.2(4)S',
  '15.2(4)S0c',
  '15.2(4)S1',
  '15.2(4)S1c',
  '15.2(4)S2',
  '15.2(4)S3',
  '15.2(4)S3a',
  '15.2(4)S4',
  '15.2(4)S4a',
  '15.2(4)S5',
  '15.2(4)S6',
  '15.2(4)S7',
  '15.2(4)S8',
  '15.2(4m)E1',
  '15.2(4m)E2',
  '15.2(4m)E3',
  '15.2(4n)E2',
  '15.2(4o)E2',
  '15.2(4o)E3',
  '15.2(4p)E1',
  '15.2(4q)E1',
  '15.2(4s)E1',
  '15.2(5)E',
  '15.2(5)E1',
  '15.2(5)E2',
  '15.2(5)E2c',
  '15.2(5)EA',
  '15.2(6)E',
  '15.2(6)E0a',
  '15.2(6)E0c',
  '15.2(6)E1',
  '15.2(6)E1a',
  '15.2(6)E1s',
  '15.2(6)E2',
  '15.2(6)E2a',
  '15.2(6)E3',
  '15.2(7)E',
  '15.2(7)E0s',
  '15.2(7)E1',
  '15.2(7)E1a',
  '15.2(7)E2',
  '15.2(7)E2b',
  '15.2(7)E3',
  '15.2(7)E4',
  '15.2(7)E5',
  '15.2(7)E6',
  '15.2(7)E7',
  '15.2(7)E8',
  '15.2(7)E9',
  '15.2(7)E10',
  '15.2(7a)E0b',
  '15.2(7b)E0b',
  '15.2(8)E',
  '15.2(8)E1',
  '15.2(8)E2',
  '15.2(8)E3',
  '15.2(8)E4',
  '15.2(8)E5',
  '15.2(8)E6',
  '15.3(0)SY',
  '15.3(1)S',
  '15.3(1)S1',
  '15.3(1)S1e',
  '15.3(1)S2',
  '15.3(1)SY',
  '15.3(1)SY1',
  '15.3(1)SY2',
  '15.3(1)T',
  '15.3(1)T1',
  '15.3(1)T2',
  '15.3(1)T3',
  '15.3(1)T4',
  '15.3(2)S',
  '15.3(2)S1',
  '15.3(2)S2',
  '15.3(2)T',
  '15.3(2)T1',
  '15.3(2)T2',
  '15.3(2)T3',
  '15.3(2)T4',
  '15.3(3)JPR1',
  '15.3(3)M',
  '15.3(3)M1',
  '15.3(3)M2',
  '15.3(3)M3',
  '15.3(3)M4',
  '15.3(3)M5',
  '15.3(3)M6',
  '15.3(3)M7',
  '15.3(3)M8',
  '15.3(3)M8a',
  '15.3(3)M9',
  '15.3(3)M10',
  '15.3(3)S',
  '15.3(3)S1',
  '15.3(3)S1a',
  '15.3(3)S2',
  '15.3(3)S2a',
  '15.3(3)S3',
  '15.3(3)S4',
  '15.3(3)S5',
  '15.3(3)S6',
  '15.3(3)S6a',
  '15.3(3)S7',
  '15.3(3)S8',
  '15.3(3)S8a',
  '15.3(3)S9',
  '15.3(3)S10',
  '15.3(3)XB12',
  '15.4(1)CG',
  '15.4(1)CG1',
  '15.4(1)S',
  '15.4(1)S1',
  '15.4(1)S2',
  '15.4(1)S3',
  '15.4(1)S4',
  '15.4(1)SY',
  '15.4(1)SY1',
  '15.4(1)SY2',
  '15.4(1)SY3',
  '15.4(1)SY4',
  '15.4(1)T',
  '15.4(1)T1',
  '15.4(1)T2',
  '15.4(1)T3',
  '15.4(1)T4',
  '15.4(2)CG',
  '15.4(2)S',
  '15.4(2)S1',
  '15.4(2)S2',
  '15.4(2)S3',
  '15.4(2)S4',
  '15.4(2)SN',
  '15.4(2)SN1',
  '15.4(2)T',
  '15.4(2)T1',
  '15.4(2)T2',
  '15.4(2)T3',
  '15.4(2)T4',
  '15.4(3)M',
  '15.4(3)M1',
  '15.4(3)M2',
  '15.4(3)M3',
  '15.4(3)M4',
  '15.4(3)M5',
  '15.4(3)M6',
  '15.4(3)M6a',
  '15.4(3)M7',
  '15.4(3)M7a',
  '15.4(3)M8',
  '15.4(3)M9',
  '15.4(3)M10',
  '15.4(3)S',
  '15.4(3)S0d',
  '15.4(3)S0e',
  '15.4(3)S0f',
  '15.4(3)S1',
  '15.4(3)S2',
  '15.4(3)S3',
  '15.4(3)S4',
  '15.4(3)S5',
  '15.4(3)S6',
  '15.4(3)S6a',
  '15.4(3)S7',
  '15.4(3)S8',
  '15.4(3)S9',
  '15.4(3)S10',
  '15.4(3)SN1',
  '15.4(3)SN1a',
  '15.5(1)S',
  '15.5(1)S1',
  '15.5(1)S2',
  '15.5(1)S3',
  '15.5(1)S4',
  '15.5(1)SN',
  '15.5(1)SN1',
  '15.5(1)SY',
  '15.5(1)SY1',
  '15.5(1)SY2',
  '15.5(1)SY3',
  '15.5(1)SY4',
  '15.5(1)SY5',
  '15.5(1)SY6',
  '15.5(1)SY7',
  '15.5(1)SY8',
  '15.5(1)SY9',
  '15.5(1)SY10',
  '15.5(1)SY11',
  '15.5(1)SY12',
  '15.5(1)SY13',
  '15.5(1)T',
  '15.5(1)T1',
  '15.5(1)T2',
  '15.5(1)T3',
  '15.5(1)T4',
  '15.5(2)S',
  '15.5(2)S1',
  '15.5(2)S2',
  '15.5(2)S3',
  '15.5(2)S4',
  '15.5(2)SN',
  '15.5(2)T',
  '15.5(2)T1',
  '15.5(2)T2',
  '15.5(2)T3',
  '15.5(2)T4',
  '15.5(2)XB',
  '15.5(3)M',
  '15.5(3)M0a',
  '15.5(3)M1',
  '15.5(3)M2',
  '15.5(3)M2a',
  '15.5(3)M3',
  '15.5(3)M4',
  '15.5(3)M4a',
  '15.5(3)M4b',
  '15.5(3)M4c',
  '15.5(3)M5',
  '15.5(3)M6',
  '15.5(3)M6a',
  '15.5(3)M7',
  '15.5(3)M8',
  '15.5(3)M9',
  '15.5(3)M10',
  '15.5(3)M11',
  '15.5(3)M11a',
  '15.5(3)M11b',
  '15.5(3)S',
  '15.5(3)S0a',
  '15.5(3)S1',
  '15.5(3)S1a',
  '15.5(3)S2',
  '15.5(3)S3',
  '15.5(3)S4',
  '15.5(3)S5',
  '15.5(3)S6',
  '15.5(3)S6a',
  '15.5(3)S6b',
  '15.5(3)S7',
  '15.5(3)S8',
  '15.5(3)S9',
  '15.5(3)S9a',
  '15.5(3)S10',
  '15.5(3)S10a',
  '15.5(3)S10b',
  '15.5(3)SN',
  '15.5(3)SN0a',
  '15.6(1)S',
  '15.6(1)S1',
  '15.6(1)S2',
  '15.6(1)S3',
  '15.6(1)S4',
  '15.6(1)SN',
  '15.6(1)SN1',
  '15.6(1)SN2',
  '15.6(1)SN3',
  '15.6(1)T',
  '15.6(1)T0a',
  '15.6(1)T1',
  '15.6(1)T2',
  '15.6(1)T3',
  '15.6(2)S',
  '15.6(2)S1',
  '15.6(2)S2',
  '15.6(2)S3',
  '15.6(2)S4',
  '15.6(2)SN',
  '15.6(2)SP',
  '15.6(2)SP1',
  '15.6(2)SP2',
  '15.6(2)SP3',
  '15.6(2)SP4',
  '15.6(2)SP5',
  '15.6(2)SP6',
  '15.6(2)SP7',
  '15.6(2)SP8',
  '15.6(2)SP8a',
  '15.6(2)SP9',
  '15.6(2)T',
  '15.6(2)T0a',
  '15.6(2)T1',
  '15.6(2)T2',
  '15.6(2)T3',
  '15.6(3)M',
  '15.6(3)M0a',
  '15.6(3)M1',
  '15.6(3)M1a',
  '15.6(3)M1b',
  '15.6(3)M2',
  '15.6(3)M2a',
  '15.6(3)M3',
  '15.6(3)M3a',
  '15.6(3)M4',
  '15.6(3)M5',
  '15.6(3)M6',
  '15.6(3)M6a',
  '15.6(3)M6b',
  '15.6(3)M7',
  '15.6(3)M8',
  '15.6(3)M9',
  '15.6(3)SN',
  '15.6(4)SN',
  '15.6(5)SN',
  '15.6(7)SN',
  '15.6(7)SN1',
  '15.6(7)SN2',
  '15.7(3)M',
  '15.7(3)M0a',
  '15.7(3)M1',
  '15.7(3)M2',
  '15.7(3)M3',
  '15.7(3)M4',
  '15.7(3)M4a',
  '15.7(3)M4b',
  '15.7(3)M5',
  '15.7(3)M6',
  '15.7(3)M7',
  '15.7(3)M8',
  '15.7(3)M9',
  '15.7(3)M10',
  '15.7(3)M10a',
  '15.7(3)M10b',
  '15.8(3)M',
  '15.8(3)M0a',
  '15.8(3)M0b',
  '15.8(3)M1',
  '15.8(3)M1a',
  '15.8(3)M2',
  '15.8(3)M2a',
  '15.8(3)M3',
  '15.8(3)M3a',
  '15.8(3)M3b',
  '15.8(3)M4',
  '15.8(3)M5',
  '15.8(3)M6',
  '15.8(3)M7',
  '15.8(3)M8',
  '15.8(3)M9',
  '15.9(3)M',
  '15.9(3)M0a',
  '15.9(3)M1',
  '15.9(3)M2',
  '15.9(3)M2a',
  '15.9(3)M3',
  '15.9(3)M3a',
  '15.9(3)M3b',
  '15.9(3)M4',
  '15.9(3)M4a',
  '15.9(3)M5',
  '15.9(3)M6',
  '15.9(3)M6a',
  '15.9(3)M6b',
  '15.9(3)M7',
  '15.9(3)M7a',
  '15.9(3)M8',
  '15.9(3)M8a',
  '15.9(3)M8b',
  '15.9(3)M9',
  '15.9(3)M9a'
);

var workarounds = make_list(CISCO_WORKAROUNDS['generic_workaround']);
var workaround_params = WORKAROUND_CONFIG['show_running-config_rsvp_bandwidth'];

var reporting = make_array(
  'port'    , product_info['port'],
  'severity', SECURITY_HOLE,
  'version' , product_info['version'],
  'bug_id'  , 'CSCwj05481',
  'cmds'    , make_list('show running-config | include rsvp bandwidth')
);

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