Cisco IOS Software DHCP Remote Code Execution Vulnerability

#TRUSTED 34f0577c2f19c333a7144e813d133c733b1cd3b16d3bbdfc87713f3860bc89cf61294328e67b8c2154e129c4b42998e4597ffd220236eacd49cc9a65fac3c861facf84fb2950fc93dc83f57f74d42c07dc19d7ce6b25057bbbf98ff348edec8f5ef7930214c500bfbddb91f0494bb6a4e892eed076f3ad8cede81f448261bf1872c200402d15c9d56c4b48160eadf10e833b4e3960f58fc97fe75517facae6af1b3905abdee77b55e287f95e026cd83e0432322e7803f279fa31a8198e341882c96a3e4c60318a5a02c08795e46dcd4187d35efe9d8040f34f88a4ad38e43de50d6a9744c1033b68aa17cb83ddb75d3902496dd3d9cb0e7ecbfb1eae6edefb55791322131628f4707efe4e2e9d138f27434a72f711021ef9a1a7eca03d4deab1dd1f9522b153063d4a75daaf28e4b8d79702fb97409188e64ed5f1da8392a2d5f3cef566051bef76b56b49297f06e7caeb2ec013aab9f0312010a49b7e929a72aaba55b5ee85cf001aae4ccd0bad3273cad334a42a2ae4515420799903fb4ee070f4194c5c26ec65b3f274e8234754640b3170818092471df35cf8bcd1f5827dce0bfad0a89f56c60b94026d7f3ac27bb85e8d001de642fa540517313522e63d7745646076c6b81c35c06f263424f8f1a512e1364440c67b224fc61cf88d26b2adf2cce9c0eb208e1889cce91666dc9a0f4b56d707ad9250ede28449944db06e
#TRUST-RSA-SHA256 849b81e4dfc0c63b677539500a4166df03cb662b25b1d9b7ab81fb67307b69d059e63ee3b05a847bc0928ee0dc8eb1ff18918bc8868884dfda7accf814828c985c1406f403aca6f1400529a0ed84b5df38b690748ff9a420038374019263c0ae1e4b424885b821e68f31604991734bc57041dc3e5b40c835a39347948482ec44bb61ebedef811931edb6435d99b02d0247984a4149f0d261eaeb6c0c589806509d3bebecd48624baf76998e5e883f8ba318fa299f2090c718ee93f37f4499f8e1e971ed27df5ba4768c9ba1565739e6485689fbe0a6e21925a446bac4dc84596a25bbc156a8a5f5a1acc291e0829777fe44d724a7cf9b763eb8effc945fd6a19dfe1028e9646940f2926c698b4519506ac0f5071341816a65c1572d12e8ee6ed20cf7404f67f599cd6e4e43160af795d9e8e84e4d180caee15a85fd24db9c7778529aa52eab78f8a040604e4e31a136b63ed5c16667bb5a61d2ba4de3fad876aac18ad66445e33606534f986d2ef09c547884bddf8162e0e960f6152aa9aa93d8b34a233a26dddd10a965bd81744cdd4fe9e847172ddd280665828ddd7bec6691afaa2871cbbd4479985889c8d1016cdbbba0e5d6b370c2c203367802d972998ac30fcba49e0dc97709d841d0aa96411b5d917e9d8545e78d2f8fb2323ae04bfbb904897c6c13f865320f74e843ebd9ffcfb061efd2add0beadfb7cfbf320242
#%NASL_MIN_LEVEL 70300
##
# (C) Tenable Network Security, Inc.
##

include('deprecated_nasl_level.inc');
include('compat.inc');

if (description)
{
  script_id(103565);
  script_version("1.24");
  script_set_attribute(attribute:"plugin_modification_date", value:"2023/04/25");

  script_cve_id("CVE-2017-12240");
  script_bugtraq_id(101034);
  script_xref(name:"CISCO-BUG-ID", value:"CSCsm45390");
  script_xref(name:"CISCO-BUG-ID", value:"CSCuw77959");
  script_xref(name:"CISCO-SA", value:"cisco-sa-20170927-dhcp");
  script_xref(name:"CISA-KNOWN-EXPLOITED", value:"2022/03/24");

  script_name(english:"Cisco IOS Software DHCP Remote Code Execution Vulnerability");

  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-20170927-dhcp
  script_set_attribute(attribute:"see_also", value:"http://www.nessus.org/u?5aee7830");
  script_set_attribute(attribute:"see_also", value:"https://bst.cloudapps.cisco.com/bugsearch/bug/CSCsm45390");
  script_set_attribute(attribute:"see_also", value:"https://bst.cloudapps.cisco.com/bugsearch/bug/CSCuw77959");
  script_set_attribute(attribute:"solution", value:
"Upgrade to the relevant fixed version referenced in Cisco bug ID(s)
CSCsm45390 and CSCuw77959.");
  script_set_cvss_base_vector("CVSS2#AV:N/AC:L/Au:N/C:C/I:C/A:C");
  script_set_cvss_temporal_vector("CVSS2#E:F/RL:OF/RC:C");
  script_set_cvss3_base_vector("CVSS:3.0/AV:N/AC:L/PR:N/UI:N/S:U/C:H/I:H/A:H");
  script_set_cvss3_temporal_vector("CVSS:3.0/E:F/RL:O/RC:C");
  script_set_attribute(attribute:"cvss_score_source", value:"CVE-2017-12240");

  script_set_attribute(attribute:"exploitability_ease", value:"Exploits are available");
  script_set_attribute(attribute:"exploit_available", value:"true");

  script_set_attribute(attribute:"vuln_publication_date", value:"2017/09/27");
  script_set_attribute(attribute:"patch_publication_date", value:"2017/09/27");
  script_set_attribute(attribute:"plugin_publication_date", value:"2017/10/02");

  script_set_attribute(attribute:"plugin_type", value:"combined");
  script_set_attribute(attribute:"cpe", value:"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-2023 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('ccf.inc');
include('cisco_workarounds.inc');


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

version_list = make_list(
'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(8)B',
'12.2(15)B',
'12.2(4)B7a',
'12.2(16)B1',
'12.2(2)B7',
'12.2(2)B6',
'12.2(4)B7',
'12.2(16)B3',
'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(8)B1',
'12.2(4)B4',
'12.2(4)B3',
'12.2(2)B2',
'12.2(2)B3',
'12.2(4)B8',
'12.2(8)B2',
'12.2(2)B5',
'12.2(4)B5',
'12.2(2)B4',
'12.2(15)B1',
'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(11)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(20)S2a',
'12.2(22)S2',
'12.2(14)S7',
'12.2(14)S11',
'12.2(20)S4a',
'12.2(18)S0a',
'12.2(25)S12',
'12.2(25)S4',
'12.2(14)S18',
'12.2(20)S9a',
'12.2(18)S8',
'12.2(11)S2',
'12.2(18)S10',
'12.2(25)S15',
'12.2(20)S5',
'12.2(25)S7',
'12.2(18)S7',
'12.2(14)S9a',
'12.2(25)S14',
'12.2(14)S10',
'12.2(25)S11',
'12.2(14)S13',
'12.2(18)S1',
'12.2(14)S4',
'12.2(20)S9b',
'12.2(14)S13a',
'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(11)S1',
'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)S6',
'12.2(14)S12',
'12.2(14)S11b',
'12.2(14)S9c',
'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(11)S3',
'12.2(14)S13b',
'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(14)S11a',
'12.2(14)S9b',
'12.2(20)S6a',
'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(10c)',
'12.2(10d)',
'12.2(10g)',
'12.2(3a)',
'12.2(3b)',
'12.2(3c)',
'12.2(3d)',
'12.2(3e)',
'12.2(3f)',
'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(7d)',
'12.2(7e)',
'12.2(7f)',
'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(12d)',
'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(23b)',
'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(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(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)YG',
'12.2(4)YH',
'12.0(5)XE5',
'12.0(3)XE1',
'12.0(5)XE',
'12.0(2)XE4',
'12.0(5)XE8',
'12.0(2)XE3',
'12.0(5)XE7',
'12.0(4)XE2',
'12.0(7)XE',
'12.0(2)XE1',
'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(2)XE',
'12.0(7)XE1',
'12.0(2)XE2',
'12.0(1)XE',
'12.0(5)XE3',
'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.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(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.2(2)DD',
'12.2(2)DD4',
'12.2(2)DD3',
'12.2(2)DD2',
'12.2(2)DD1',
'12.0(1)T',
'12.0(3)T1',
'12.0(2a)T1',
'12.0(7)T1',
'12.0(2)T',
'12.0(4)T',
'12.0(3)T3',
'12.0(7)T3',
'12.0(1)T1',
'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.0(2)T1',
'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(13)EX2',
'12.1(13)EB',
'12.1(14)EB',
'12.1(19)EB',
'12.1(20)EB',
'12.1(23)EB',
'12.1(26)EB',
'12.1(13)EB1',
'12.1(26)EB1',
'12.1(26)EB2',
'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(10)EV1b',
'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(4)BX',
'12.2(15)BX',
'12.2(16)BX',
'12.2(4)BX1',
'12.2(16)BX2',
'12.2(4)BX2',
'12.2(4)BX1a',
'12.2(4)BX1b',
'12.2(4)BX1d',
'12.2(2)BX1',
'12.2(16)BX3',
'12.2(16)BX1',
'12.2(4)BX1c',
'12.2(2)BX2',
'12.2(8)BZ',
'12.2(15)BZ1',
'12.2(4)BZ1',
'12.2(4)BZ',
'12.2(15)BZ',
'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(11)CY',
'12.2(1)DX',
'12.2(2)DX',
'12.2(2)DX2',
'12.2(1)DX1',
'12.2(2)DX3',
'12.2(2)DX1',
'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(4)MX',
'12.2(4)MX1',
'12.2(4)MX2',
'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(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(11)YP1',
'12.2(11)YP4',
'12.2(11)YP3',
'12.2(11)YP5',
'12.2(11)YP2',
'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)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)YZ3',
'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)ZJ4',
'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(3d)',
'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(6d)',
'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(21a)',
'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)B0a',
'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(11)T2a',
'12.3(2)T9',
'12.3(8)T6',
'12.3(4)T2a',
'12.3(4)T12',
'12.3(4)T9',
'12.3(14)T4',
'12.3(4)T4',
'12.3(2)T1',
'12.3(8)T2',
'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(4)T5',
'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(7)T5',
'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)T1',
'12.3(8)T0a',
'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(11)T12',
'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(15)ZK',
'12.2(15)ZK5',
'12.2(15)ZK4',
'12.2(15)ZK1',
'12.2(15)ZK6',
'12.2(15)ZK3',
'12.2(15)ZK2',
'12.2(15)ZO',
'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(4)XN',
'12.3(4)XN1',
'12.3(4)XN2',
'12.3(11)XL',
'12.3(7)XL',
'12.3(11)XL1',
'12.3(11)XL3',
'12.3(11)XL2',
'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)XI',
'12.3(7)XI7',
'12.3(7)XI8d',
'12.3(7)XI10a',
'12.3(7)XI3e',
'12.3(7)XI8a',
'12.3(7)XI2c',
'12.3(7)XI1a',
'12.3(7)XI4',
'12.3(7)XI8g',
'12.3(7)XI1',
'12.3(7)XI1b',
'12.3(7)XI7a',
'12.3(7)XI10b',
'12.3(7)XI2a',
'12.3(7)XI10',
'12.3(7)XI7b',
'12.3(7)XI3d',
'12.3(7)XI1c',
'12.3(7)XI2b',
'12.3(7)XI8f',
'12.3(7)XI3a',
'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(7)XI3b',
'12.3(7)XI8e',
'12.3(4)XH',
'12.3(4)XH1',
'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(55)SE11',
'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)SXA1',
'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.2(15)ZN',
'12.3(7)XM',
'12.3(7)XR',
'12.3(7)XR4',
'12.3(7)XR3',
'12.3(7)XR5',
'12.3(7)XR6',
'12.3(7)XR1',
'12.3(7)XR2',
'12.3(7)XR7',
'12.3(7)XS',
'12.3(7)XS2',
'12.3(7)XS1',
'12.3(2)XT',
'12.3(2)XT1',
'12.3(2)XT2',
'12.3(2)XT3',
'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)XX2a',
'12.3(8)XX2',
'12.3(8)XX1',
'12.3(8)XX2d',
'12.3(8)XX2b',
'12.3(8)XX2e',
'12.3(8)XX2c',
'12.3(8)XW',
'12.3(8)XW2',
'12.3(8)XW3',
'12.3(8)XW1',
'12.3(8)XW1b',
'12.3(8)XW1a',
'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(4)YE',
'12.3(4)YE1',
'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)YG7',
'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(23c)M0',
'12.2(12b)M1',
'12.2(13b)M1',
'12.2(12h)M1',
'12.2(13b)M2',
'12.2(4)BY',
'12.2(8)BY',
'12.2(8)BY1',
'12.2(4)BY1',
'12.2(2)BY2',
'12.2(2)BY',
'12.2(2)BY1',
'12.2(2)BY3',
'12.2(8)BY2',
'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(8)YC',
'12.3(8)YC2',
'12.3(8)YC3',
'12.3(8)YC1',
'12.3(11)YJ',
'12.3(11)YL',
'12.3(11)YL2',
'12.3(11)YL1',
'12.3(8)YI',
'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(52)EY1a',
'12.2(18)SO',
'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)YR',
'12.3(11)YR1',
'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(3i)',
'12.4(3j)',
'12.4(3h)',
'12.4(7h)',
'12.4(16)',
'12.4(13d)',
'12.4(19)',
'12.4(13e)',
'12.4(10c)',
'12.4(16b)',
'12.4(16a)',
'12.4(7f)',
'12.4(18)',
'12.4(13f)',
'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(60)EZ10',
'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)JK',
'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(20)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(6)T5b',
'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(6)T5f',
'12.4(4)T6',
'12.4(22)T',
'12.4(15)T6a',
'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(6)T5e',
'12.4(2)T4',
'12.4(24)T1',
'12.4(9)T4',
'12.4(24)T7',
'12.4(22)T3',
'12.4(20)T9',
'12.4(9)T1',
'12.4(24)T6',
'12.4(6)T9',
'12.4(6)T12',
'12.4(15)T13b',
'12.4(20)T5a',
'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(6)T5c',
'12.4(2)T6',
'12.4(9)T0a',
'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(6)T5a',
'12.4(22)T2',
'12.4(6)T5d',
'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)T9',
'12.4(24)T4e',
'12.4(24)T3f',
'12.4(24)T4f',
'12.4(24)T4g',
'12.4(24)T4h',
'12.4(24)T10',
'12.4(24)T4i',
'12.4(24)T4j',
'12.4(24)T4k',
'12.4(24)T4l',
'12.4(24)T11',
'12.4(24)T4m',
'12.4(24)T4n',
'12.4(24)T12',
'12.4(24)T4o',
'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)SXF13a',
'12.2(18)SXF14',
'12.2(18)SXF12a',
'12.2(18)SXF9',
'12.2(18)SXF13b',
'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(31)SG1',
'12.2(53)SG',
'12.2(31)SG3',
'12.2(53)SG1',
'12.2(46)SG',
'12.2(25)SG1',
'12.2(53)SG2',
'12.2(37)SG1',
'12.2(53)SG3',
'12.2(25)SG3',
'12.2(40)SG',
'12.2(25)SG2',
'12.2(54)SG1',
'12.2(44)SG1',
'12.2(52)SG',
'12.2(54)SG',
'12.2(31)SG2',
'12.2(25)SG4',
'12.2(53)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(11)JX',
'12.3(7)JX9',
'12.3(11)JX1',
'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)YM1',
'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(31)SB',
'12.2(28)SB2',
'12.2(28)SB',
'12.2(31)SB1a',
'12.2(28)SB10',
'12.2(31)SB10c',
'12.2(31)SB9b',
'12.2(31)SB4',
'12.2(31)SB3x',
'12.2(28)SB5b',
'12.2(28)SB11',
'12.2(31)SB9a',
'12.2(31)SB1b',
'12.2(31)SB2a',
'12.2(34)SB2',
'12.2(28)SB4c',
'12.2(31)SB11a',
'12.2(31)SB1g',
'12.2(31)SB5',
'12.2(31)SB3b',
'12.2(31)SB10',
'12.2(28)SB3',
'12.2(31)SB10d',
'12.2(28)SB5',
'12.2(31)SB11',
'12.2(34)SB4d',
'12.2(28)SB12',
'12.2(31)SB7',
'12.2(31)SB1d',
'12.2(31)SB6',
'12.2(34)SB4b',
'12.2(28)SB1',
'12.2(28)SB4b',
'12.2(31)SB1c',
'12.2(31)SB11b',
'12.2(28)SB6',
'12.2(31)SB4a',
'12.2(34)SB3',
'12.2(31)SB10b',
'12.2(28)SB8',
'12.2(31)SB1',
'12.2(34)SB4',
'12.2(31)SB9',
'12.2(28)SB4',
'12.2(31)SB12',
'12.2(31)SB10a',
'12.2(34)SB4a',
'12.2(31)SB5a',
'12.2(31)SB8a',
'12.2(31)SB3c',
'12.2(28)SB7',
'12.2(33)SB1a',
'12.2(31)SB1e',
'12.2(33)SB2',
'12.2(28)SB9',
'12.2(31)SB1f',
'12.2(31)SB8',
'12.2(31)SB12a',
'12.2(31)SB3',
'12.2(31)SB10e',
'12.2(31)SB2',
'12.2(28)SB4a',
'12.2(31)SB3a',
'12.2(28)SB5a',
'12.2(34)SB4c',
'12.2(34)SB1',
'12.2(33)SB',
'12.2(33)SB1b',
'12.2(33)SB1',
'12.2(28)SB13',
'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)ZV',
'12.2(31)ZV',
'12.2(31)ZV0i',
'12.2(31)ZV0f',
'12.2(31)ZV2',
'12.2(31)ZV1b',
'12.2(28a)ZV1',
'12.2(31)ZV0a',
'12.2(31)ZV0h',
'12.2(31)ZV2a',
'12.2(28)ZV1',
'12.2(31)ZV1c',
'12.2(31)ZV0j',
'12.2(31)ZV0c',
'12.2(31)ZV1a',
'12.2(31)ZV0g',
'12.2(31)ZV0d',
'12.2(31)ZV0e',
'12.2(31)ZV0b',
'12.2(31)ZV2b',
'12.2(33)ZW',
'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)XD6',
'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)XD3',
'12.4(4)XD9',
'12.4(6)XE',
'12.4(6)XE2',
'12.4(6)XE1',
'12.2(25)SEF',
'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)XJ1',
'12.4(11)XJ3',
'12.4(11)XJ6',
'12.4(11)XJ2',
'12.4(11)XJ5',
'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(27)UZ',
'12.2(27)UZ1',
'12.2(15)ZR',
'12.2(13)ZT',
'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(10b)JA3',
'12.4(10b)JA1',
'12.4(10b)JA4',
'12.4(10b)JA2',
'12.4(3g)JA1',
'12.4(10b)JA',
'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(15)MD1a',
'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)SRB3',
'12.2(33)SRB1',
'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(27)SBA4',
'12.2(27)SBA6',
'12.2(27)SBA5',
'12.2(27)SBA2',
'12.2(27)SBB',
'12.2(27)SBB5',
'12.2(27)SBB6a',
'12.2(27)SBB8',
'12.2(27)SBB4b',
'12.2(27)SBB3',
'12.2(27)SBB4',
'12.2(27)SBB1',
'12.2(27)SBB6',
'12.2(27)SBB4c',
'12.2(27)SBB2',
'12.2(27)SBB4a',
'12.2(27)SBB9',
'12.2(27)SBB7',
'12.2(27)SBB4d',
'12.2(27)SBB2a',
'12.2(33)SCA2',
'12.2(33)SCA1',
'12.2(33)SCA',
'12.2(33)SRC',
'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)SXH3',
'12.2(33)SXH4',
'12.2(33)SXH',
'12.2(33)SXH2a',
'12.2(33)SXH2',
'12.2(33)SXH1',
'12.2(33)SXH0a',
'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)XQ2c',
'12.4(15)XQ5',
'12.4(15)XQ2b',
'12.4(15)XQ8',
'12.4(15)XQ2d',
'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.3(8)ZA1',
'12.3(11)ZB',
'12.3(11)ZB1',
'12.3(11)ZB2',
'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.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)STE0',
'12.2(29)SVE0',
'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)JX1',
'12.4(10b)JY',
'12.2(44)SQ',
'12.2(44)SQ2',
'12.4(10b)JDC',
'12.4(10b)JDD',
'12.2(33)IRC',
'12.2(18)IXH1',
'12.2(18)IXH',
'12.4(24)MDA',
'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.3(8)JED',
'12.3(8)JED1',
'12.4(24)YG3',
'12.4(24)YG4',
'12.4(24)YG1',
'12.4(24)YG2',
'12.4(24)YG',
'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)M6a',
'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',
'15.1(1)XB3',
'15.1(1)XB1',
'15.1(1)XB2',
'15.1(4)XB4',
'15.1(4)XB5',
'15.1(4)XB6',
'15.1(4)XB5a',
'15.1(4)XB7',
'15.1(4)XB8',
'15.1(4)XB8a',
'15.0(1)XO1',
'15.0(1)XO',
'15.0(2)XO',
'12.2(33)IRD',
'12.2(33)IRE',
'12.2(33)IRE2',
'12.2(33)IRE1',
'12.4(5a)M0',
'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',
'12.3(10a)M0',
'12.3(9)M0',
'12.3(9)M1',
'12.3(8)JEE',
'12.2(54)WO',
'12.2(27)SBK9',
'12.2(15)ZS1',
'12.2(15)ZS2',
'12.2(15)ZS3',
'12.2(15)ZS4',
'12.2(15)ZS5',
'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)M0a',
'15.1(4)M0b',
'15.1(4)M7',
'15.1(4)M3a',
'15.1(4)M10',
'15.1(4)M8',
'15.1(4)M9',
'15.1(4)M12a',
'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)SE8',
'15.0(2)SE9',
'15.0(2a)SE9',
'15.0(2)SE10',
'15.0(2)SE10a',
'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.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.1(2)SG8',
'12.2(21)ZQ',
'12.2(21)ZQ3',
'12.2(21)ZQ1',
'12.2(21)ZQ2',
'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)M6b',
'15.2(4)M6a',
'15.2(4)M11',
'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',
'15.0(2)SG11',
'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.3(11)TO3',
'12.2(33)IRG',
'12.2(33)IRG1',
'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)EX6',
'15.0(2)EX7',
'15.0(2)EX8',
'15.0(2a)EX5',
'15.0(2)EX10',
'15.0(2)EX11',
'15.0(2)EX13',
'15.0(2)EX12',
'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',
'12.2(33)IRH',
'12.2(33)IRH1',
'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',
'15.2(5)E1',
'15.2(5)E2',
'15.2(5)E2b',
'15.2(2)JB1',
'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)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(2)JB6',
'15.2(2)JAX',
'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.3(3)M8',
'15.3(3)M9',
'15.3(3)M8a',
'15.2(2)JN1',
'15.2(2)JN2',
'15.2(4)JN',
'15.0(2)EZ',
'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',
'15.0(2)EJ',
'15.0(2)EJ1',
'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.2(2)SY2',
'15.2(1)SY3',
'15.2(5)EX',
'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)M7',
'15.4(3)M6a',
'15.4(3)M7a',
'15.2(4)JAZ',
'15.2(4)JAZ1',
'15.0(2)EK',
'15.0(2)EK1',
'15.3(3)XB12',
'15.4(1)CG',
'15.4(1)CG1',
'15.4(2)CG',
'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(2)T4',
'15.5(1)T4',
'15.3(3)JN',
'15.3(3)JN1',
'15.3(3)JN2',
'15.3(3)JN3',
'15.3(3)JN4',
'15.3(3)JN6',
'15.3(3)JN7',
'15.3(3)JN8',
'15.3(3)JN9',
'15.3(3)JN11',
'15.5(3)M',
'15.5(3)M1',
'15.5(3)M0a',
'15.5(3)M2',
'15.5(3)M2a',
'15.5(3)M3',
'15.5(3)M4',
'15.5(3)M4a',
'15.5(3)M5',
'15.5(3)M4b',
'15.5(3)M4c',
'15.3(3)JA',
'15.3(3)JA1n',
'15.3(3)JA1m',
'15.3(3)JA1',
'15.3(3)JA2',
'15.3(3)JA3',
'15.3(3)JA4',
'15.3(3)JA5',
'15.3(3)JA6',
'15.3(3)JA7',
'15.3(3)JA8',
'15.3(3)JA10',
'15.3(3)JA11',
'15.3(3)JAA',
'15.3(3)JAA1',
'15.3(3)JAB',
'15.3(3)JB',
'15.0(2)SQD',
'15.0(2)SQD1',
'15.0(2)SQD2',
'15.0(2)SQD3',
'15.0(2)SQD4',
'15.0(2)SQD5',
'15.0(2)SQD6',
'15.0(2)SQD8',
'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)JNB4',
'15.3(3)JNB6',
'15.3(3)JNB5',
'15.3(3)JAX',
'15.3(3)JAX1',
'15.3(3)JAX2',
'15.3(3)JBB',
'15.3(3)JBB1',
'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(3)JC1',
'15.3(3)JC2',
'15.3(3)JC3',
'15.3(3)JC4',
'15.3(3)JC5',
'15.3(3)JC6',
'15.3(1)SY',
'15.3(0)SY',
'15.3(1)SY1',
'15.3(1)SY2',
'15.3(3)JNC',
'15.3(3)JNC1',
'15.3(3)JNC2',
'15.3(3)JNC3',
'15.3(3)JNC4',
'15.3(3)JNP',
'15.3(3)JNP1',
'15.3(3)JNP3',
'15.5(2)XB',
'15.3(3)JPB',
'15.3(3)JPB1',
'15.3(3)JD',
'15.3(3)JD2',
'15.3(3)JD3',
'15.3(3)JD4',
'15.3(3)JPC',
'15.3(3)JPC1',
'15.3(3)JPC2',
'15.3(3)JPC3',
'15.3(3)JPC100',
'15.3(3)JND',
'15.3(3)JND1',
'15.3(3)JND2',
'15.3(3)JND3',
'15.4(1)SY',
'15.4(1)SY1',
'15.3(3)JPD'
);

workarounds = make_list(CISCO_WORKAROUNDS['generic_workaround']);
workaround_params = WORKAROUND_CONFIG['ip_helper-address'];


reporting = make_array(
  'port'     , 0,
  'severity' , SECURITY_HOLE,
  'version'  , product_info['version'],
  'bug_id'   , 'CSCsm45390, CSCuw77959',
  'cmds'     , make_list('show running-config')
);

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