Cisco IOS Software Multiple Vulnerabilities in ntpd (cisco-sa-20150408-ntpd)

#TRUSTED 6e6324bfb052249a4bd30ac688397502d44f28977e7ba53b7c710649756b29857abe0f18912937e0cc56ae240eb8d60283a7c8bd128c649d8bf343f1ed629a79e50e87398c0459f888e9440965af498672a06963f7e710cd59a5de36a1efb82e09f3f7d6250fa32e7a6762a7a2f394a3bd23f5de817557c5238f1f073c4fb98de2fa6f261807fb1ffce857c17df03b8c31c3152ac1a3a1cd184fdb9d9cb98c34b3dcde8fa6c2a3d98c34fb64d3c6c05f4dc2a0fe1f612d979ae0ffb0ac165d7a3c7c334d8572f4eb8eeb55a2c0c071704692715f06428901bfe551838e4199da1e383f5486d2dd167eb0d37165267b5483c226302a4e914deb4f2844d09a35bb4a8fadb6fdf380029359403f93f92de6f3d989524f6e5425599c452ac8b4696a1a0bfe457b548a9e8d332db80243564801496a95cec04d29414d603ba1651890bef719e8f8f63463f9d42c30429d829d9e801a7e7dc36232a8fbde60552c4fef5bcccead6faad431cbda52fdbbc2e525d2fcf3269da5e4de76e14f336a952fc849673cbe4d0429ff07320f1f168186059b64e7a5c59d197ecc3dce9f809a009ee193f2c752f3bc7e7fc23132078d9451388cf991befce66e684547ac59fdc3bcec837c85e4078d94cdc1e3defbed1c1dfd9f14b377d864b3a62bcb843e3a5ef298757ef6cc65c5e199870fb167051eb67cc119b1a62e92ee1a99bfd94951f616
#
# (C) Tenable Network Security, Inc.
#

include("compat.inc");

if (description)
{
  script_id(108954);
  script_version("1.7");
  script_set_attribute(attribute:"plugin_modification_date", value:"2020/12/01");

  script_cve_id("CVE-2015-1798", "CVE-2015-1799");
  script_bugtraq_id(73950, 73951);
  script_xref(name:"CISCO-BUG-ID", value:"CSCut77619");
  script_xref(name:"CISCO-SA", value:"cisco-sa-20150408-ntpd");

  script_name(english:"Cisco IOS Software Multiple Vulnerabilities in ntpd (cisco-sa-20150408-ntpd)");
  script_summary(english:"Checks the IOS version.");

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

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

  script_set_attribute(attribute:"vuln_publication_date", value:"2015/04/07");
  script_set_attribute(attribute:"patch_publication_date", value:"2015/04/08");
  script_set_attribute(attribute:"plugin_publication_date", value:"2018/04/10");

  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-2020 and is owned by Tenable, Inc. or an Affiliate thereof.");

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

  exit(0);
}

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

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

version_list = make_list(
  "12.1(3)XG",
  "12.1(3)XG6",
  "12.1(3)XG5",
  "12.1(3)XG2",
  "12.1(3)XG1",
  "12.1(3)XG4",
  "12.1(3)XG3",
  "12.1(12)",
  "12.1(1c)",
  "12.1(14)",
  "12.1(2a)",
  "12.1(7)",
  "12.1(9)",
  "12.1(4a)",
  "12.1(3b)",
  "12.1(11a)",
  "12.1(5b)",
  "12.1(6)",
  "12.1(4b)",
  "12.1(12a)",
  "12.1(11b)",
  "12.1(5)",
  "12.1(16)",
  "12.1(12c)",
  "12.1(8b)",
  "12.1(13)",
  "12.1(7a)",
  "12.1(7b)",
  "12.1(13a)",
  "12.1(22a)",
  "12.1(24)",
  "12.1(17)",
  "12.1(5e)",
  "12.1(8)",
  "12.1(18)",
  "12.1(1a)",
  "12.1(1)",
  "12.1(5c)",
  "12.1(6b)",
  "12.1(5a)",
  "12.1(27a)",
  "12.1(8a)",
  "12.1(20)",
  "12.1(2b)",
  "12.1(17a)",
  "12.1(19)",
  "12.1(27)",
  "12.1(2)",
  "12.1(6a)",
  "12.1(22b)",
  "12.1(15)",
  "12.1(1b)",
  "12.1(20a)",
  "12.1(26)",
  "12.1(10)",
  "12.1(4c)",
  "12.1(10a)",
  "12.1(21)",
  "12.1(5d)",
  "12.1(22)",
  "12.1(11)",
  "12.1(12b)",
  "12.1(22c)",
  "12.1(27b)",
  "12.1(9a)",
  "12.1(3)",
  "12.1(25)",
  "12.1(7c)",
  "12.1(3a)",
  "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.0(2)XC",
  "12.0(2)XC1",
  "12.0(2)XC2",
  "12.1(3)XJ",
  "12.0(2)XD1",
  "12.0(2)XD",
  "12.0(5)S",
  "12.0(15)S",
  "12.0(16)S",
  "12.0(17)S",
  "12.0(18)S",
  "12.0(19)S",
  "12.0(21)S",
  "12.0(22)S",
  "12.0(23)S",
  "12.0(24)S",
  "12.0(25)S",
  "12.0(26)S",
  "12.0(27)S",
  "12.0(28)S",
  "12.0(29)S",
  "12.0(30)S",
  "12.0(31)S",
  "12.0(31)S6",
  "12.0(32)S4",
  "12.0(32)S",
  "12.0(33)S",
  "12.0(25)S1",
  "12.0(30)S2",
  "12.0(23)S5",
  "12.0(16)S9",
  "12.0(18)S6",
  "12.0(11)S6",
  "12.0(21)S1",
  "12.0(24)S4a",
  "12.0(21)S5",
  "12.0(22)S5",
  "12.0(28)S5",
  "12.0(18)S5a",
  "12.0(21)S6",
  "12.0(18)S3",
  "12.0(10)S",
  "12.0(21)S2",
  "12.0(11)S5",
  "12.0(17)S6",
  "12.0(33)S5",
  "12.0(2)S",
  "12.0(22)S2",
  "12.0(16)S6",
  "12.0(4)S",
  "12.0(13)S8",
  "12.0(14)S7",
  "12.0(27)S1",
  "12.0(21)S6a",
  "12.0(14)S8",
  "12.0(6)S2",
  "12.0(26)S4",
  "12.0(32)S15",
  "12.0(33)S7",
  "12.0(25)S1d",
  "12.0(12)S4",
  "12.0(25)S2",
  "12.0(22)S5a",
  "12.0(32)S9",
  "12.0(25)S1b",
  "12.0(32)S2a",
  "12.0(27)S5",
  "12.0(19)S1",
  "12.0(32)S11",
  "12.0(23)S2a",
  "12.0(32)S8",
  "12.0(32)S6(c1)",
  "12.0(15)S3",
  "12.0(31)S1",
  "12.0(27)S4",
  "12.0(23)S3",
  "12.0(16)S3",
  "12.0(18)S4",
  "12.0(16)S10",
  "12.0(22)S2e",
  "12.0(32)S3",
  "12.0(21)S3",
  "12.0(28)S4",
  "12.0(7)S",
  "12.0(33)S6",
  "12.0(6)S",
  "12.0(19)S3",
  "12.0(23)S2",
  "12.0(6)S1",
  "12.0(11)S4",
  "12.0(10)S1",
  "12.0(23)S3c",
  "12.0(17)S3",
  "12.0(18)S1",
  "12.0(14)S3",
  "12.0(14)S",
  "12.0(25)S4",
  "12.0(32)S2",
  "12.0(10)S7",
  "12.0(16)S8",
  "12.0(28)S1",
  "12.0(24)S6",
  "12.0(32)S14",
  "12.0(11)S3",
  "12.0(12)S3",
  "12.0(17)S4",
  "12.0(25)S3",
  "12.0(14)S4",
  "12.0(17)S1",
  "12.0(24)S2a",
  "12.0(32)S10",
  "12.0(14)S6",
  "12.0(15)S1",
  "12.0(31)S5",
  "12.0(22)S3a",
  "12.0(26)S2",
  "12.0(32)S13",
  "12.0(12)S1",
  "12.0(15)S2",
  "12.0(22)S2c",
  "12.0(33)S9",
  "12.0(10)S3",
  "12.0(13)S5",
  "12.0(15)S4",
  "12.0(8)S",
  "12.0(28)S4z",
  "12.0(10)S3b",
  "12.0(24)S2b",
  "12.0(22)S6",
  "12.0(18)S7",
  "12.0(22)S4",
  "12.0(21)S8",
  "12.0(8)S1",
  "12.0(33)S8",
  "12.0(13)S2",
  "12.0(32)S16",
  "12.0(26)S5",
  "12.0(10)S4",
  "12.0(25)S1a",
  "12.0(24)S5",
  "12.0(25)S1c",
  "12.0(23)S3a",
  "12.0(16)S5",
  "12.0(31)S2",
  "12.0(16)S1",
  "12.0(26)S1",
  "12.0(23)S6a",
  "12.0(24)S2",
  "12.0(13)S1",
  "12.0(32)S5",
  "12.0(14)S1",
  "12.0(26)S6",
  "12.0(21)S5a",
  "12.0(27)S3",
  "12.0(3)S",
  "12.0(31)S4",
  "12.0(22)S4a",
  "12.0(16)S8a",
  "12.0(22)S3b",
  "12.0(32)S12",
  "12.0(22)S2b",
  "12.0(26)S3",
  "12.0(10)S2",
  "12.0(11)S1",
  "12.0(14)S2",
  "12.0(17)S2",
  "12.0(22)S3c",
  "12.0(28)S6",
  "12.0(18)S2",
  "12.0(10)S8",
  "12.0(13)S",
  "12.0(16)S7",
  "12.0(9)S",
  "12.0(15)S7",
  "12.0(17)S7",
  "12.0(9)S8",
  "12.0(22)S3",
  "12.0(21)S7",
  "12.0(27)S2",
  "12.0(30)S5",
  "12.0(18)S5",
  "12.0(33)S1",
  "12.0(28)S3",
  "12.0(16)S2",
  "12.0(23)S4",
  "12.0(13)S4",
  "12.0(19)S2",
  "12.0(30)S3",
  "12.0(19)S2a",
  "12.0(26)S2c",
  "12.0(15)S5",
  "12.0(24)S1",
  "12.0(29)S1",
  "12.0(31)S3",
  "12.0(33)S2",
  "12.0(13)S3",
  "12.0(32)S7",
  "12.0(30)S4",
  "12.0(22)S2a",
  "12.0(32)S17",
  "12.0(10)S5",
  "12.0(24)S4",
  "12.0(30)S1",
  "12.0(15)S6",
  "12.0(24)S3",
  "12.0(22)S2d",
  "12.0(12)S",
  "12.0(21)S4",
  "12.0(13)S6",
  "12.0(21)S4a",
  "12.0(28)S2",
  "12.0(7)S1",
  "12.0(32)S1",
  "12.0(22)S1",
  "12.0(12)S2",
  "12.0(17)S5",
  "12.0(11)S",
  "12.0(11)S2",
  "12.0(14)S5",
  "12.0(16)S4",
  "12.0(32)S11z",
  "12.0(32)S6",
  "12.0(23)S6",
  "12.0(33)S3",
  "12.0(19)S4",
  "12.0(23)S1",
  "12.0(23)S3b",
  "12.0(27)S4z",
  "12.0(33)S10",
  "12.0(33)S4",
  "12.0(33)S11",
  "12.0(16)ST",
  "12.0(10)ST",
  "12.0(11)ST",
  "12.0(14)ST",
  "12.0(17)ST",
  "12.0(18)ST",
  "12.0(19)ST",
  "12.0(20)ST",
  "12.0(21)ST",
  "12.0(9)ST",
  "12.0(11)ST3",
  "12.0(21)ST2a",
  "12.0(20)ST2",
  "12.0(10)ST1",
  "12.0(17)ST7",
  "12.0(21)ST6",
  "12.0(20)ST3",
  "12.0(20)ST6",
  "12.0(21)ST3a",
  "12.0(21)ST2",
  "12.0(17)ST8",
  "12.0(14)ST1",
  "12.0(21)ST5",
  "12.0(20)ST4",
  "12.0(17)ST1",
  "12.0(19)ST6",
  "12.0(17)ST2",
  "12.0(19)ST4",
  "12.0(18)ST1",
  "12.0(17)ST4",
  "12.0(19)ST1",
  "12.0(14)ST2",
  "12.0(19)ST2",
  "12.0(14)ST3",
  "12.0(17)ST3",
  "12.0(21)ST4",
  "12.0(21)ST6a",
  "12.0(10)ST2",
  "12.0(21)ST2b",
  "12.0(11)ST2",
  "12.0(11)ST1",
  "12.0(17)ST5",
  "12.0(16)ST1",
  "12.0(17)ST6",
  "12.0(19)ST5",
  "12.0(21)ST7",
  "12.0(19)ST3",
  "12.0(20)ST5",
  "12.0(20)ST1",
  "12.0(11)ST4",
  "12.0(21)ST3",
  "12.0(21)ST1",
  "12.1(2)XF5",
  "12.1(2)XF1",
  "12.1(2)XF4",
  "12.1(2)XF",
  "12.1(2)XF2",
  "12.1(2)XF3",
  "12.0(19)SP",
  "12.0(20)SP",
  "12.0(21)SP",
  "12.0(21)SP2",
  "12.0(20)SP1",
  "12.0(21)SP4",
  "12.0(21)SP1",
  "12.0(21)SP3",
  "12.0(19)SP1",
  "12.0(20)SP2",
  "12.1(3a)XL3",
  "12.1(3a)XL2",
  "12.1(3)XL",
  "12.1(3a)XL1",
  "12.1(3)XQ1",
  "12.1(3)XQ2",
  "12.1(3)XQ",
  "12.1(3)XQ3",
  "12.1(5)XU",
  "12.1(5)XU2",
  "12.1(5)XU1",
  "12.1(5)YD6",
  "12.1(5)YD2",
  "12.1(5)YD",
  "12.1(5)YD5",
  "12.1(5)YD3",
  "12.1(5)YD1",
  "12.1(5)YD4",
  "12.1(5)YI1",
  "12.1(5)YI",
  "12.1(5)YI2",
  "12.2(4)B",
  "12.2(15)B",
  "12.2(16)B1",
  "12.2(2)B7",
  "12.2(2)B6",
  "12.2(4)B7",
  "12.2(4)B2",
  "12.2(2)B",
  "12.2(16)B2",
  "12.2(4)B6",
  "12.2(2)B1",
  "12.2(4)B1",
  "12.2(4)B4",
  "12.2(4)B3",
  "12.2(2)B2",
  "12.2(2)B3",
  "12.2(4)B8",
  "12.2(2)B5",
  "12.2(4)B5",
  "12.2(2)B4",
  "12.2(16)B",
  "12.2(1b)DA",
  "12.2(5)DA",
  "12.2(7)DA",
  "12.2(12)DA",
  "12.2(10)DA5",
  "12.2(12)DA10",
  "12.2(10)DA",
  "12.2(12)DA1",
  "12.2(12)DA6",
  "12.2(10)DA8",
  "12.2(12)DA8",
  "12.2(12)DA11",
  "12.2(12)DA9",
  "12.2(12)DA4",
  "12.2(10)DA3",
  "12.2(12)DA14",
  "12.2(5)DA1",
  "12.2(12)DA13",
  "12.2(12)DA12",
  "12.2(12)DA7",
  "12.2(1b)DA1",
  "12.2(10)DA1",
  "12.2(10)DA6",
  "12.2(10)DA4",
  "12.2(12)DA2",
  "12.2(12)DA3",
  "12.2(10)DA2",
  "12.2(12)DA5",
  "12.2(10)DA7",
  "12.2(10)DA9",
  "12.2(14)S",
  "12.2(22)S",
  "12.2(20)S",
  "12.2(18)S",
  "12.2(14)S16",
  "12.2(25)S",
  "12.2(30)S",
  "12.2(9)S",
  "12.2(20)S10",
  "12.2(20)S8",
  "12.2(30)S1",
  "12.2(22)S2",
  "12.2(14)S7",
  "12.2(14)S11",
  "12.2(25)S12",
  "12.2(25)S4",
  "12.2(14)S18",
  "12.2(18)S8",
  "12.2(18)S10",
  "12.2(25)S15",
  "12.2(20)S5",
  "12.2(25)S7",
  "12.2(18)S7",
  "12.2(25)S14",
  "12.2(14)S10",
  "12.2(25)S11",
  "12.2(14)S13",
  "12.2(30)S2",
  "12.2(18)S1",
  "12.2(18)S11",
  "12.2(18)S5",
  "12.2(20)S4",
  "12.2(25)S10",
  "12.2(20)S7",
  "12.2(18)S2",
  "12.2(25)S5",
  "12.2(14)S17",
  "12.2(18)S9",
  "12.2(14)S3",
  "12.2(18)S6",
  "12.2(18)S12",
  "12.2(25)S13",
  "12.2(18)S4",
  "12.2(25)S2",
  "12.2(20)S2",
  "12.2(20)S12",
  "12.2(14)S12",
  "12.2(20)S11",
  "12.2(25)S8",
  "12.2(20)S14",
  "12.2(20)S9",
  "12.2(14)S15",
  "12.2(14)S1",
  "12.2(14)S9",
  "12.2(14)S2",
  "12.2(14)S19",
  "12.2(14)S8",
  "12.2(18)S3",
  "12.2(20)S6",
  "12.2(14)S5",
  "12.2(20)S3",
  "12.2(25)S1",
  "12.2(18)S13",
  "12.2(22)S1",
  "12.2(25)S9",
  "12.2(14)S14",
  "12.2(25)S3",
  "12.2(20)S1",
  "12.2(20)S13",
  "12.2(25)S6",
  "12.2(2)XA",
  "12.2(2)XA2",
  "12.2(2)XA3",
  "12.2(2)XA4",
  "12.2(2)XA5",
  "12.2(2)XA1",
  "12.2(2)XB11",
  "12.2(2)XB5",
  "12.2(2)XB2",
  "12.2(2)XB1",
  "12.2(2)XB10",
  "12.2(2)XB7",
  "12.2(2)XB3",
  "12.2(2)XB6",
  "12.2(2)XB14",
  "12.2(2)XB12",
  "12.2(2)XB15",
  "12.2(2)XB8",
  "12.2(2)XG",
  "12.2(4)XL",
  "12.2(4)XL5",
  "12.2(4)XL2",
  "12.2(4)XL6",
  "12.2(4)XL4",
  "12.2(4)XL1",
  "12.2(4)XL3",
  "12.2(4)XM",
  "12.2(4)XM3",
  "12.2(4)XM2",
  "12.2(4)XM4",
  "12.2(4)XM1",
  "12.2(10a)",
  "12.2(1)",
  "12.2(21b)",
  "12.2(10)",
  "12.2(1a)",
  "12.2(1b)",
  "12.2(1c)",
  "12.2(1d)",
  "12.2(10b)",
  "12.2(10d)",
  "12.2(10g)",
  "12.2(3a)",
  "12.2(3b)",
  "12.2(3c)",
  "12.2(3d)",
  "12.2(3g)",
  "12.2(3)",
  "12.2(5)",
  "12.2(5a)",
  "12.2(5b)",
  "12.2(5c)",
  "12.2(5d)",
  "12.2(6g)",
  "12.2(6h)",
  "12.2(6i)",
  "12.2(6j)",
  "12.2(6)",
  "12.2(6a)",
  "12.2(6b)",
  "12.2(6c)",
  "12.2(6d)",
  "12.2(6e)",
  "12.2(6f)",
  "12.2(7a)",
  "12.2(7b)",
  "12.2(7c)",
  "12.2(7e)",
  "12.2(7g)",
  "12.2(7)",
  "12.2(37)",
  "12.2(19b)",
  "12.2(24b)",
  "12.2(12e)",
  "12.2(28)",
  "12.2(34)",
  "12.2(34a)",
  "12.2(46a)",
  "12.2(12b)",
  "12.2(26b)",
  "12.2(28a)",
  "12.2(12i)",
  "12.2(19)",
  "12.2(24)",
  "12.2(12g)",
  "12.2(13c)",
  "12.2(12f)",
  "12.2(12c)",
  "12.2(32)",
  "12.2(31)",
  "12.2(26a)",
  "12.2(27)",
  "12.2(17e)",
  "12.2(28d)",
  "12.2(17a)",
  "12.2(12k)",
  "12.2(13e)",
  "12.2(12a)",
  "12.2(19c)",
  "12.2(27b)",
  "12.2(17b)",
  "12.2(23)",
  "12.2(27a)",
  "12.2(16)",
  "12.2(12m)",
  "12.2(40)",
  "12.2(28c)",
  "12.2(24a)",
  "12.2(21a)",
  "12.2(13b)",
  "12.2(23a)",
  "12.2(17d)",
  "12.2(26)",
  "12.2(43)",
  "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(35)",
  "12.2(12l)",
  "12.2(12h)",
  "12.2(16f)",
  "12.2(29a)",
  "12.2(29b)",
  "12.2(13a)",
  "12.2(40a)",
  "12.2(26c)",
  "12.2(23e)",
  "12.2(21)",
  "12.2(46)",
  "12.2(29)",
  "12.2(2)XN",
  "12.2(33)XN1",
  "12.2(2)XR",
  "12.2(4)XR",
  "12.2(15)XR",
  "12.2(15)XR1",
  "12.2(15)XR2",
  "12.2(1)XS",
  "12.2(1)XS2",
  "12.2(1)XS1",
  "12.2(1)XS1a",
  "12.2(2)XT",
  "12.2(2)XT2",
  "12.2(2)XT3",
  "12.2(4)XW",
  "12.2(4)YA",
  "12.2(4)YA6",
  "12.2(4)YA3",
  "12.2(4)YA4",
  "12.2(4)YA1",
  "12.2(4)YA11",
  "12.2(4)YA2",
  "12.2(4)YA9",
  "12.2(4)YA8",
  "12.2(4)YA5",
  "12.2(4)YA13",
  "12.2(4)YA12",
  "12.2(4)YA10",
  "12.2(4)YA7",
  "12.2(4)YB",
  "12.2(2)YC",
  "12.2(2)YC4",
  "12.2(2)YC1",
  "12.2(2)YC3",
  "12.2(2)YC2",
  "12.2(8)YD",
  "12.2(8)YD3",
  "12.2(8)YD2",
  "12.2(8)YD1",
  "12.2(4)YF",
  "12.2(4)YG",
  "12.2(4)YH",
  "12.1(5)YF2",
  "12.1(5)YF1",
  "12.1(5)YF4",
  "12.1(5)YF3",
  "12.1(5)YF",
  "12.0(19)",
  "12.0(2a)",
  "12.0(6)",
  "12.0(13)",
  "12.0(1)",
  "12.0(9)",
  "12.0(16)",
  "12.0(2)",
  "12.0(28c)",
  "12.0(18a)",
  "12.0(17)",
  "12.0(19a)",
  "12.0(8a)",
  "12.0(16a)",
  "12.0(18)",
  "12.0(6b)",
  "12.0(13a)",
  "12.0(20)",
  "12.0(28b)",
  "12.0(7)",
  "12.0(25)",
  "12.0(15b)",
  "12.0(28d)",
  "12.0(26)",
  "12.0(3)",
  "12.0(15)",
  "12.0(11a)",
  "12.0(4)",
  "12.0(15a)",
  "12.0(4b)",
  "12.0(8)",
  "12.0(21a)",
  "12.0(22)",
  "12.0(19b)",
  "12.0(18b)",
  "12.0(17a)",
  "12.0(1a)",
  "12.0(4a)",
  "12.0(10)",
  "12.0(24)",
  "12.0(12)",
  "12.0(11)",
  "12.0(23)",
  "12.0(14)",
  "12.0(5a)",
  "12.0(20a)",
  "12.0(14a)",
  "12.0(2b)",
  "12.0(12a)",
  "12.0(6a)",
  "12.0(7a)",
  "12.0(3d)",
  "12.0(28a)",
  "12.0(9a)",
  "12.0(3b)",
  "12.0(28)",
  "12.0(10a)",
  "12.0(21)",
  "12.0(5)",
  "12.0(27)",
  "12.0(3c)",
  "12.1(1)XB",
  "12.1(3)XK",
  "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(3)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.0(10)SC",
  "12.0(11)SC",
  "12.0(12)SC",
  "12.0(13)SC",
  "12.0(14)SC",
  "12.0(15)SC",
  "12.0(16)SC",
  "12.0(6)SC",
  "12.0(7)SC",
  "12.0(8)SC",
  "12.0(9)SC",
  "12.0(16)SC3",
  "12.0(16)SC1",
  "12.0(8)SC1",
  "12.0(16)SC2",
  "12.0(10)SC1",
  "12.0(15)SC1",
  "12.1(4)CX",
  "12.1(7)CX",
  "12.1(7)CX1",
  "12.1(10)EC",
  "12.1(12c)EC",
  "12.1(13)EC",
  "12.1(19)EC",
  "12.1(20)EC",
  "12.1(22)EC",
  "12.1(3a)EC",
  "12.1(4)EC",
  "12.1(5)EC",
  "12.1(6)EC",
  "12.1(7)EC",
  "12.1(8)EC",
  "12.1(11b)EC",
  "12.1(2)EC",
  "12.1(13)EC1",
  "12.1(11b)EC1",
  "12.1(9)EC1",
  "12.1(20)EC2",
  "12.1(20)EC3",
  "12.1(8)EC1",
  "12.1(3a)EC1",
  "12.1(5)EC1",
  "12.1(19)EC1",
  "12.1(22)EC1",
  "12.1(20)EC1",
  "12.1(13)EC2",
  "12.1(2)EC1",
  "12.1(12c)EC1",
  "12.1(13)EC3",
  "12.1(6)EC1",
  "12.1(13)EC4",
  "12.1(10)EC1",
  "12.2(15)BC2a",
  "12.2(15)BC1a",
  "12.2(4)BC1a",
  "12.2(15)BC1b",
  "12.2(11)BC1",
  "12.2(15)BC2d",
  "12.2(11)BC3a",
  "12.2(15)BC2g",
  "12.2(11)BC3c",
  "12.2(15)BC1g",
  "12.2(8)BC2",
  "12.2(11)BC1b",
  "12.2(8)BC1",
  "12.2(15)BC2i",
  "12.2(15)BC1c",
  "12.2(15)BC2c",
  "12.2(15)BC2f",
  "12.2(15)BC1d",
  "12.2(15)BC1",
  "12.2(4)BC1",
  "12.2(8)BC2a",
  "12.2(11)BC2",
  "12.2(11)BC3b",
  "12.2(11)BC3d",
  "12.2(15)BC2",
  "12.2(11)BC3",
  "12.2(11)BC2a",
  "12.2(15)BC2e",
  "12.2(4)BC1b",
  "12.2(11)BC1a",
  "12.2(15)BC1e",
  "12.2(15)BC2h",
  "12.2(15)BC1f",
  "12.2(15)BC2b",
  "12.2(2)XF",
  "12.2(4)XF",
  "12.2(2)XF2",
  "12.2(1)XF1",
  "12.2(2)XF1",
  "12.2(4)XF1",
  "12.2(1)XF",
  "12.0(3)XG",
  "12.0(4)XI",
  "12.0(4)XI2",
  "12.0(4)XI1",
  "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.0(4)XM1",
  "12.0(4)XM",
  "12.0(5)XQ",
  "12.0(5)XQ1",
  "12.0(7)XR3",
  "12.0(6)XR",
  "12.0(7)XR",
  "12.0(7)XR2",
  "12.0(7)XR4",
  "12.0(7)XR1",
  "12.0(7)XV",
  "12.1(5a)E",
  "12.1(13)E14",
  "12.1(8b)E18",
  "12.1(8b)E14",
  "12.1(8b)E15",
  "12.1(22)E2",
  "12.1(8b)E12",
  "12.1(26)E",
  "12.1(23)E",
  "12.1(8b)E11",
  "12.1(12c)E1",
  "12.1(13)E",
  "12.1(13)E9",
  "12.1(13)E7",
  "12.1(13)E13",
  "12.1(13)E11",
  "12.1(20)E3",
  "12.1(20)E",
  "12.1(1)E",
  "12.1(10)E",
  "12.1(11b)E",
  "12.1(12c)E",
  "12.1(14)E",
  "12.1(19)E",
  "12.1(2)E",
  "12.1(22)E",
  "12.1(3a)E",
  "12.1(4)E",
  "12.1(6)E",
  "12.1(7)E",
  "12.1(8a)E",
  "12.1(9)E",
  "12.1(27b)E",
  "12.1(26)E7",
  "12.1(27b)E1",
  "12.1(5a)E6",
  "12.1(10)E5",
  "12.1(23)E4",
  "12.1(26)E8",
  "12.1(19)E6",
  "12.1(8a)E3",
  "12.1(14)E4",
  "12.1(5b)E7",
  "12.1(9)E2",
  "12.1(11b)E12",
  "12.1(4)E2",
  "12.1(3a)E7",
  "12.1(6)E5",
  "12.1(10)E6",
  "12.1(14)E3",
  "12.1(11b)E4",
  "12.1(13)E4",
  "12.1(7)E0a",
  "12.1(5a)E1",
  "12.1(26)E3",
  "12.1(20)E5",
  "12.1(5c)E9",
  "12.1(13)E16",
  "12.1(6)E7",
  "12.1(8b)E20",
  "12.1(22)E5",
  "12.1(20)E4",
  "12.1(27b)E3",
  "12.1(7a)E5",
  "12.1(8b)E6",
  "12.1(22)E6",
  "12.1(6)E6",
  "12.1(9)E3",
  "12.1(14)E6",
  "12.1(6)E3",
  "12.1(10)E7",
  "12.1(3a)E4",
  "12.1(8b)E7",
  "12.1(6)E13",
  "12.1(8b)E8",
  "12.1(3a)E1",
  "12.1(7a)E1a",
  "12.1(13)E3",
  "12.1(6)E8",
  "12.1(19)E3",
  "12.1(13)E15",
  "12.1(13)E6",
  "12.1(26)E5",
  "12.1(4)E3",
  "12.1(1)E6",
  "12.1(8b)E10",
  "12.1(2)E2",
  "12.1(12c)E4",
  "12.1(20)E2",
  "12.1(11b)E5",
  "12.1(5a)E2",
  "12.1(6)E2",
  "12.1(22)E3",
  "12.1(1)E1",
  "12.1(7a)E3",
  "12.1(27b)E4",
  "12.1(20)E1",
  "12.1(22)E4",
  "12.1(7a)E4",
  "12.1(8b)E9",
  "12.1(1)E5",
  "12.1(5c)E12",
  "12.1(26)E2",
  "12.1(22)E1",
  "12.1(5c)E8",
  "12.1(13)E17",
  "12.1(10)E1",
  "12.1(7a)E6",
  "12.1(1)E4",
  "12.1(10)E6a",
  "12.1(23)E2",
  "12.1(13)E1",
  "12.1(4)E1",
  "12.1(3a)E6",
  "12.1(12c)E6",
  "12.1(26)E4",
  "12.1(19)E2",
  "12.1(11b)E3",
  "12.1(14)E10",
  "12.1(13)E10",
  "12.1(23)E1",
  "12.1(11b)E14",
  "12.1(2)E1",
  "12.1(10)E2",
  "12.1(8a)E1",
  "12.1(19)E7",
  "12.1(5a)E3",
  "12.1(26)E9",
  "12.1(8a)E4",
  "12.1(14)E5",
  "12.1(12c)E3",
  "12.1(11b)E2",
  "12.1(6)E1",
  "12.1(1)E2",
  "12.1(27b)E2",
  "12.1(10)E3",
  "12.1(8b)E13",
  "12.1(7a)E2",
  "12.1(8a)E5",
  "12.1(19)E1",
  "12.1(14)E2",
  "12.1(12c)E2",
  "12.1(11b)E1",
  "12.1(11b)E7",
  "12.1(11b)E10",
  "12.1(1)E3",
  "12.1(12c)E5",
  "12.1(11b)E0a",
  "12.1(10)E8",
  "12.1(14)E1",
  "12.1(3a)E8",
  "12.1(13)E2",
  "12.1(26)E1",
  "12.1(11b)E11",
  "12.1(6)E4",
  "12.1(5a)E4",
  "12.1(8a)E2",
  "12.1(19)E4",
  "12.1(5c)E10",
  "12.1(26)E6",
  "12.1(7a)E1",
  "12.1(13)E5",
  "12.1(13)E12",
  "12.1(3a)E3",
  "12.1(23)E3",
  "12.1(3a)E5",
  "12.1(20)E6",
  "12.1(8b)E19",
  "12.1(14)E7",
  "12.1(9)E1",
  "12.1(13)E8",
  "12.1(10)E4",
  "12.1(1)XC1",
  "12.1(1)XC",
  "12.1(2a)XH2",
  "12.1(2a)XH1",
  "12.1(2a)XH3",
  "12.1(2a)XH",
  "12.1(5)XM4",
  "12.1(5)XM6",
  "12.1(5)XM8",
  "12.1(5)XM3",
  "12.1(5)XM2",
  "12.1(5)XM5",
  "12.1(5)XM1",
  "12.1(5)XM",
  "12.1(5)XM7",
  "12.1(3)XP3",
  "12.1(3)XP",
  "12.1(3)XP1",
  "12.1(3)XP4",
  "12.1(3)XP2",
  "12.1(3)XT1",
  "12.1(3)XT2",
  "12.1(3)XT",
  "12.1(2)XT2",
  "12.1(5)YB1",
  "12.1(5)YB3",
  "12.1(5)YB2",
  "12.1(5)YB5",
  "12.1(5)YB",
  "12.1(5)YB4",
  "12.1(5)YC",
  "12.1(5)YC3",
  "12.1(5)YC2",
  "12.1(5)YC1",
  "12.2(2)DD",
  "12.2(2)DD4",
  "12.2(2)DD3",
  "12.2(2)DD2",
  "12.2(2)DD1",
  "12.2(1)XD",
  "12.2(1)XD2",
  "12.2(1)XD4",
  "12.2(1)XD3",
  "12.2(1)XD1",
  "12.2(1)XE",
  "12.2(1)XE1",
  "12.2(1)XE2",
  "12.2(2)XH",
  "12.2(2)XH1",
  "12.2(2)XH2",
  "12.2(2)XI",
  "12.2(2)XI1",
  "12.2(2)XI2",
  "12.2(2)XJ",
  "12.2(2)XK",
  "12.2(2)XK1",
  "12.2(2)XK3",
  "12.2(2)XK2",
  "12.2(2)XQ",
  "12.2(2)XQ1",
  "12.0(1)T",
  "12.0(3)T1",
  "12.0(2a)T1",
  "12.0(2)T",
  "12.0(4)T",
  "12.0(3)T3",
  "12.0(7)T3",
  "12.0(7)T2",
  "12.0(7)T",
  "12.0(5)T",
  "12.0(3)T",
  "12.0(5)T1",
  "12.0(4)T1",
  "12.0(5)T2",
  "12.0(3)T2",
  "12.0(2)T1",
  "12.1(5)YE2",
  "12.1(5)YE5",
  "12.1(5)YE4",
  "12.1(5)YE",
  "12.1(5)YE1",
  "12.1(5)YE3",
  "12.1(5)YE6",
  "12.1(1)T",
  "12.1(5)T2",
  "12.1(5)T10",
  "12.1(5)T8a",
  "12.1(5)T9",
  "12.1(3)T",
  "12.1(2a)T1",
  "12.1(5)T17",
  "12.1(5)T11",
  "12.1(5)T15",
  "12.1(5)T20",
  "12.1(5)T4",
  "12.1(5)T3",
  "12.1(5)T14",
  "12.1(5)T8b",
  "12.1(3a)T1",
  "12.1(3a)T5",
  "12.1(3a)T7",
  "12.1(3a)T2",
  "12.1(3a)T6",
  "12.1(3a)T3",
  "12.1(5)T6",
  "12.1(2)T",
  "12.1(5)T12",
  "12.1(5)T7",
  "12.1(1a)T1",
  "12.1(5)T",
  "12.1(3a)T8",
  "12.1(3a)T4",
  "12.1(5)T8",
  "12.1(5)T19",
  "12.1(5)T1",
  "12.1(5)T18",
  "12.1(2a)T2",
  "12.1(5)T5",
  "12.0(1)XA2",
  "12.0(1)XA",
  "12.0(1)XA4",
  "12.0(1)XA3",
  "12.0(1)XA1",
  "12.0(1)XB1",
  "12.0(1)XB",
  "12.1(6)EZ",
  "12.1(6)EZ2",
  "12.1(6)EZ5",
  "12.1(6)EZ3",
  "12.1(6)EZ1",
  "12.1(6)EZ4",
  "12.1(6)EZ6",
  "12.1(5)YA2",
  "12.1(5)YA1",
  "12.1(5)YA",
  "12.1(5)XV3",
  "12.1(5)XV4",
  "12.1(5)XV1",
  "12.1(5)XV2",
  "12.1(5)XV",
  "12.1(1)XA1",
  "12.1(1)XA3",
  "12.1(1)XA4",
  "12.1(1)XA",
  "12.1(1)XA2",
  "12.1(1)XD1",
  "12.1(1)XD2",
  "12.1(1)XD",
  "12.1(1)XE",
  "12.1(1)XE1",
  "12.1(5)XR1",
  "12.1(5)XR2",
  "12.1(5)XR",
  "12.1(5)XS5",
  "12.1(5)XS4",
  "12.1(1)XS",
  "12.1(3)XS",
  "12.1(5)XS3",
  "12.1(5)XS2",
  "12.1(5)XS",
  "12.1(5)XS1",
  "12.1(10)EY",
  "12.1(5)EY",
  "12.1(6)EY",
  "12.1(7a)EY",
  "12.1(12c)EY",
  "12.1(5)EY2",
  "12.1(7a)EY3",
  "12.1(1)EY",
  "12.1(7a)EY2",
  "12.1(7a)EY1",
  "12.1(5)EY1",
  "12.1(6)EY1",
  "12.1(1)DB",
  "12.1(1)DB2",
  "12.1(4)DB",
  "12.1(1)DB1",
  "12.1(5)DB2",
  "12.1(3)DB1",
  "12.1(4)DB1",
  "12.1(5)DB",
  "12.1(3)DB",
  "12.1(4)DB2",
  "12.1(5)DB1",
  "12.1(5)DC2",
  "12.1(4)DC2",
  "12.1(4)DC3",
  "12.1(1)DC1",
  "12.1(3)DC1",
  "12.1(4)DC",
  "12.1(3)DC2",
  "12.1(5)DC1",
  "12.1(1)DC",
  "12.1(3)DC",
  "12.1(5)DC",
  "12.1(1)DC2",
  "12.1(4)DC1",
  "12.1(5)DC3",
  "12.0(5)DA",
  "12.0(8)DA1",
  "12.0(6)DA",
  "12.0(8)DA4",
  "12.0(8)DA",
  "12.0(8)DA3",
  "12.0(5)DA1",
  "12.0(10)SL",
  "12.0(11)SL",
  "12.0(14)SL",
  "12.0(15)SL",
  "12.0(17)SL",
  "12.0(19)SL",
  "12.0(9)SL",
  "12.0(18)SL",
  "12.0(11)SL1",
  "12.0(19)SL4",
  "12.0(17)SL4",
  "12.0(17)SL1",
  "12.0(17)SL3",
  "12.0(17)SL6",
  "12.0(17)SL5",
  "12.0(9)SL1",
  "12.0(19)SL3",
  "12.0(17)SL8",
  "12.0(19)SL1",
  "12.0(14)SL1",
  "12.0(9)SL2",
  "12.0(19)SL2",
  "12.0(17)SL2",
  "12.0(4)XH",
  "12.0(2)XH",
  "12.0(2)XH1",
  "12.0(4)XH1",
  "12.0(4)XH2",
  "12.0(4)XH3",
  "12.0(4)XH4",
  "12.0(4)XJ5",
  "12.0(4)XJ3",
  "12.0(4)XJ",
  "12.0(4)XJ6",
  "12.0(4)XJ1",
  "12.0(4)XJ2",
  "12.0(4)XJ4",
  "12.1(10)AA",
  "12.1(1)AA1",
  "12.1(2a)AA",
  "12.1(1)AA",
  "12.1(1)AA2",
  "12.1(4)AA",
  "12.1(8)AA1",
  "12.1(3)AA",
  "12.1(9)AA",
  "12.1(8)AA",
  "12.1(5)AA",
  "12.1(6)AA",
  "12.1(7)AA",
  "12.1(5)DA1",
  "12.1(7)DA2",
  "12.1(3)DA",
  "12.1(4)DA",
  "12.1(1)DA1",
  "12.1(7)DA",
  "12.1(7)DA3",
  "12.1(6)DA2",
  "12.1(5)DA",
  "12.1(6)DA",
  "12.1(7)DA1",
  "12.1(6)DA1",
  "12.1(1)DA",
  "12.1(2)DA",
  "12.0(10)SX",
  "12.0(21)SX",
  "12.0(23)SX",
  "12.0(25)SX",
  "12.0(25)SX10",
  "12.0(25)SX3",
  "12.0(25)SX8",
  "12.0(23)SX2",
  "12.0(25)SX5",
  "12.0(23)SX4",
  "12.0(25)SX6",
  "12.0(23)SX3",
  "12.0(23)SX1",
  "12.0(21)SX1",
  "12.0(25)SX9",
  "12.0(25)SX6e",
  "12.0(25)SX1",
  "12.0(25)SX4",
  "12.0(23)SX5",
  "12.0(25)SX2",
  "12.0(25)SX7",
  "12.1(1)EX",
  "12.1(5c)EX",
  "12.1(8a)EX",
  "12.1(9)EX",
  "12.1(10)EX",
  "12.1(11b)EX",
  "12.1(12c)EX",
  "12.1(13)EX",
  "12.1(6)EX",
  "12.1(13)EX3",
  "12.1(9)EX1",
  "12.1(8b)EX3",
  "12.1(10)EX2",
  "12.1(5c)EX1",
  "12.1(1)EX1",
  "12.1(8b)EX5",
  "12.1(12c)EX1",
  "12.1(10)EX1",
  "12.1(8a)EX1",
  "12.1(8b)EX2",
  "12.1(13)EX1",
  "12.1(11b)EX1",
  "12.1(8b)EX4",
  "12.1(9)EX3",
  "12.1(9)EX2",
  "12.1(5c)EX3",
  "12.1(5c)EX2",
  "12.1(13)EX2",
  "12.1(22)EA8",
  "12.1(11)EA1a",
  "12.1(22)EA12",
  "12.1(22)EA6",
  "12.1(14)EA1",
  "12.1(19)EA1b",
  "12.1(22)EA3",
  "12.1(14)EA1b",
  "12.1(20)EA2",
  "12.1(22)EA4a",
  "12.1(14)EA1a",
  "12.1(22)EA5a",
  "12.1(22)EA13",
  "12.1(22)EA1a",
  "12.1(12c)EA1a",
  "12.1(13)EA1c",
  "12.1(22)EA1b",
  "12.1(8)EA1c",
  "12.1(22)EA5",
  "12.1(22)EA10b",
  "12.1(20)EA1a",
  "12.1(22)EA11",
  "12.1(22)EA7",
  "12.1(22)EA1",
  "12.1(13)EA1b",
  "12.1(20)EA1",
  "12.1(13)EA1",
  "12.1(19)EA1a",
  "12.1(22)EA2",
  "12.1(19)EA1d",
  "12.1(22)EA9",
  "12.1(9)EA1",
  "12.1(22)EA14",
  "12.1(11)EA1",
  "12.1(22)EA8a",
  "12.1(12c)EA1",
  "12.1(22)EA10a",
  "12.1(19)EA1",
  "12.1(19)EA1c",
  "12.1(6)EA1",
  "12.1(22)EA10",
  "12.1(22)EA4",
  "12.1(13)EA1a",
  "12.1(22)EA6a",
  "12.0(32)SY",
  "12.0(32)SY5",
  "12.0(32)SY13",
  "12.0(32)SY2",
  "12.0(32)SY7",
  "12.0(32)SY1",
  "12.0(32)SY9a",
  "12.0(32)SY9",
  "12.0(32)SY11",
  "12.0(32)SY6",
  "12.0(32)SY4",
  "12.0(32)SY10",
  "12.0(32)SY8",
  "12.0(32)SY12",
  "12.0(32)SY3",
  "12.0(32)SY14",
  "12.0(32)SY15",
  "12.0(32)SY16",
  "12.0(21)SZ",
  "12.0(30)SZ9",
  "12.0(31)SZ3",
  "12.0(23)SZ3",
  "12.0(30)SZ8",
  "12.0(30)SZ5",
  "12.0(30)SZ4",
  "12.0(30)SZ10",
  "12.0(30)SZ6",
  "12.1(14)AX",
  "12.1(14)AX3",
  "12.1(14)AX4",
  "12.1(11)AX",
  "12.1(14)AX1",
  "12.1(14)AX2",
  "12.1(13)AY",
  "12.1(22)AY1",
  "12.1(13)EB",
  "12.1(14)EB",
  "12.1(19)EB",
  "12.1(20)EB",
  "12.1(22)EB",
  "12.1(23)EB",
  "12.1(26)EB",
  "12.1(13)EB1",
  "12.1(26)EB3",
  "12.1(27)EB",
  "12.1(26)EB1",
  "12.1(14)EB1",
  "12.1(10)EV",
  "12.1(12c)EV",
  "12.1(10)EV3",
  "12.1(10)EV1a",
  "12.1(12c)EV3",
  "12.1(10)EV1",
  "12.1(10)EV4",
  "12.1(10)EV2",
  "12.1(12c)EV1",
  "12.1(12c)EV2",
  "12.1(11b)EW",
  "12.1(12c)EW",
  "12.1(13)EW",
  "12.1(19)EW",
  "12.1(20)EW",
  "12.1(8a)EW",
  "12.1(13)EW4",
  "12.1(12c)EW4",
  "12.1(20)EW2",
  "12.1(19)EW3",
  "12.1(20)EW1",
  "12.1(19)EW2",
  "12.1(13)EW3",
  "12.1(13)EW2",
  "12.1(11b)EW1",
  "12.1(8a)EW1",
  "12.1(12c)EW1",
  "12.1(19)EW1",
  "12.1(12c)EW3",
  "12.1(20)EW3",
  "12.1(12c)EW2",
  "12.1(13)EW1",
  "12.1(20)EW4",
  "12.1(11)YJ4",
  "12.1(11)YJ1",
  "12.1(11)YJ2",
  "12.1(11)YJ",
  "12.1(11)YJ3",
  "12.1(5)YH3",
  "12.1(5)YH1",
  "12.1(5)YH",
  "12.1(5)YH4",
  "12.1(5)YH2",
  "12.2(4)BW",
  "12.2(4)BW1a",
  "12.2(4)BW2",
  "12.2(4)BW1",
  "12.2(2)BX",
  "12.2(15)BX",
  "12.2(16)BX",
  "12.2(16)BX2",
  "12.2(2)BX1",
  "12.2(16)BX3",
  "12.2(16)BX1",
  "12.2(4)BZ1",
  "12.2(15)BZ2",
  "12.2(4)BZ2",
  "12.2(11)CX",
  "12.2(15)CX",
  "12.2(15)CX1",
  "12.2(11)CX1",
  "12.2(33)CX",
  "12.2(11)CY",
  "12.2(33)CY",
  "12.2(33)CY1",
  "12.2(33)CY3",
  "12.2(33)CY2",
  "12.2(1)DX",
  "12.2(1)DX1",
  "12.2(2)DX3",
  "12.2(4)JA",
  "12.2(4)JA1",
  "12.2(8)JA",
  "12.2(11)JA",
  "12.2(11)JA1",
  "12.2(13)JA",
  "12.2(15)JA",
  "12.2(13)JA2",
  "12.2(13)JA1",
  "12.2(13)JA4",
  "12.2(13)JA3",
  "12.2(11)JA3",
  "12.2(11)JA2",
  "12.2(4)MB7",
  "12.2(4)MB4",
  "12.2(4)MB10",
  "12.2(4)MB9",
  "12.2(4)MB3",
  "12.2(4)MB6",
  "12.2(1)MB1",
  "12.2(4)MB12",
  "12.2(4)MB13a",
  "12.2(4)MB1",
  "12.2(4)MB13",
  "12.2(4)MB5",
  "12.2(4)MB13c",
  "12.2(4)MB11",
  "12.2(4)MB13b",
  "12.2(4)MB2",
  "12.2(4)MB8",
  "12.2(4)MB9a",
  "12.2(15)MC1c",
  "12.2(15)MC2g",
  "12.2(8)MC2",
  "12.2(15)MC2k",
  "12.2(8)MC2d",
  "12.2(15)MC1b",
  "12.2(15)MC2b",
  "12.2(15)MC2a",
  "12.2(15)MC2m",
  "12.2(15)MC1",
  "12.2(15)MC2",
  "12.2(15)MC2f",
  "12.2(8)MC2b",
  "12.2(15)MC2j",
  "12.2(8)MC2c",
  "12.2(15)MC2n",
  "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(14)SY",
  "12.2(14)SY1",
  "12.2(14)SY4",
  "12.2(50)SY",
  "12.2(14)SY5",
  "12.2(14)SY2",
  "12.2(14)SY3",
  "12.2(50)SY1",
  "12.2(50)SY2",
  "12.2(50)SY3",
  "12.2(50)SY4",
  "12.2(14)SZ",
  "12.2(14)SZ5",
  "12.2(14)SZ6",
  "12.2(14)SZ3",
  "12.2(14)SZ4",
  "12.2(14)SZ1",
  "12.2(14)SZ2",
  "12.2(2)XU",
  "12.2(8)YJ",
  "12.2(8)YJ1",
  "12.2(11)YT",
  "12.2(11)YT1",
  "12.2(11)YT2",
  "12.2(8)YN",
  "12.2(8)YN1",
  "12.2(9)YO",
  "12.2(9)YO3",
  "12.2(9)YO2",
  "12.2(9)YO1",
  "12.2(9)YO4",
  "12.2(1a)XC",
  "12.2(2)XC",
  "12.2(1a)XC1",
  "12.2(1a)XC3",
  "12.2(2)XC1",
  "12.2(1a)XC2",
  "12.2(2)XC2",
  "12.2(11)YP3",
  "12.2(2)YK",
  "12.2(2)YK1",
  "12.2(8)YL",
  "12.2(8)YM",
  "12.2(11)YU",
  "12.2(11)YV",
  "12.2(11)YV1",
  "12.2(11)YQ",
  "12.2(11)YR",
  "12.2(8)YW2",
  "12.2(8)YW",
  "12.2(8)YW3",
  "12.2(8)YW1",
  "12.2(11)YX",
  "12.2(11)YX1",
  "12.2(8)YY",
  "12.2(8)YY4",
  "12.2(8)YY3",
  "12.2(8)YY2",
  "12.2(8)YY1",
  "12.2(11)YZ",
  "12.2(11)YZ1",
  "12.2(11)YZ2",
  "12.2(9)ZA",
  "12.2(14)ZA",
  "12.2(14)ZA3",
  "12.2(14)ZA2",
  "12.2(14)ZA5",
  "12.2(14)ZA4",
  "12.2(14)ZA6",
  "12.2(14)ZA7",
  "12.2(8)ZB",
  "12.2(8)ZB3",
  "12.2(8)ZB2",
  "12.2(8)ZB7",
  "12.2(8)ZB6",
  "12.2(8)ZB4",
  "12.2(8)ZB8",
  "12.2(8)ZB1",
  "12.2(8)ZB4a",
  "12.2(8)ZB5",
  "12.2(11)ZC",
  "12.2(13)ZC",
  "12.2(13)ZD",
  "12.2(13)ZD3",
  "12.2(13)ZD2",
  "12.2(13)ZD1",
  "12.2(13)ZD4",
  "12.2(13)ZE",
  "12.2(13)ZF",
  "12.2(13)ZF2",
  "12.2(13)ZF1",
  "12.2(13)ZG",
  "12.2(13)ZH",
  "12.2(13)ZH5",
  "12.2(13)ZH9",
  "12.2(13)ZH2",
  "12.2(13)ZH8",
  "12.2(13)ZH10",
  "12.2(13)ZH11",
  "12.2(13)ZH4",
  "12.2(13)ZH3",
  "12.2(13)ZH7",
  "12.2(13)ZH6",
  "12.2(13)ZH1",
  "12.2(15)ZJ",
  "12.2(15)ZJ2",
  "12.2(15)ZJ1",
  "12.2(15)ZJ3",
  "12.2(15)ZJ5",
  "12.2(15)ZL",
  "12.2(15)ZL1",
  "12.0(4)XL1",
  "12.0(4)XL",
  "12.0(5)XN",
  "12.0(5)XT1",
  "12.1(3)XW2",
  "12.1(3)XW",
  "12.1(3)XW1",
  "12.2(9)YE",
  "12.3(9a)",
  "12.3(15)",
  "12.3(19)",
  "12.3(10f)",
  "12.3(10a)",
  "12.3(1)",
  "12.3(1a)",
  "12.3(10)",
  "12.3(10b)",
  "12.3(10c)",
  "12.3(10d)",
  "12.3(10e)",
  "12.3(12b)",
  "12.3(12a)",
  "12.3(12c)",
  "12.3(12d)",
  "12.3(12e)",
  "12.3(12)",
  "12.3(13)",
  "12.3(13a)",
  "12.3(13b)",
  "12.3(15a)",
  "12.3(16)",
  "12.3(17)",
  "12.3(17a)",
  "12.3(17b)",
  "12.3(18)",
  "12.3(20)",
  "12.3(3f)",
  "12.3(3e)",
  "12.3(3g)",
  "12.3(3c)",
  "12.3(3b)",
  "12.3(3a)",
  "12.3(3)",
  "12.3(3i)",
  "12.3(3h)",
  "12.3(5c)",
  "12.3(5b)",
  "12.3(5a)",
  "12.3(5)",
  "12.3(5f)",
  "12.3(5e)",
  "12.3(5d)",
  "12.3(6f)",
  "12.3(6e)",
  "12.3(6c)",
  "12.3(6b)",
  "12.3(6a)",
  "12.3(6)",
  "12.3(9d)",
  "12.3(9e)",
  "12.3(9)",
  "12.3(9b)",
  "12.3(9c)",
  "12.3(16a)",
  "12.3(15b)",
  "12.3(21)",
  "12.3(22)",
  "12.3(21b)",
  "12.3(23)",
  "12.3(26)",
  "12.3(20a)",
  "12.3(22a)",
  "12.3(25)",
  "12.3(13c)",
  "12.3(17c)",
  "12.3(24)",
  "12.3(19a)",
  "12.3(24a)",
  "12.3(18a)",
  "12.3(12f)",
  "12.3(8r)",
  "12.3(1a)B",
  "12.3(3)B",
  "12.3(5a)B",
  "12.3(3)B1",
  "12.3(5a)B3",
  "12.3(5a)B2",
  "12.3(5a)B5",
  "12.3(5a)B4",
  "12.3(5a)B1",
  "12.3(11)T",
  "12.3(7)T12",
  "12.3(4)T13",
  "12.3(11)T11",
  "12.3(11)T10",
  "12.3(14)T7",
  "12.3(14)T",
  "12.3(8)T",
  "12.3(2)T",
  "12.3(4)T",
  "12.3(7)T",
  "12.3(8)T9",
  "12.3(2)T9",
  "12.3(8)T6",
  "12.3(4)T2a",
  "12.3(4)T9",
  "12.3(4)T4",
  "12.3(2)T1",
  "12.3(11)T5",
  "12.3(7)T3",
  "12.3(2)T2",
  "12.3(8)T3",
  "12.3(4)T7",
  "12.3(8)T7",
  "12.3(11)T8",
  "12.3(7)T2",
  "12.3(8)T4",
  "12.3(8)T8",
  "12.3(14)T8",
  "12.3(14)T5",
  "12.3(11)T3",
  "12.3(4)T10",
  "12.3(2)T4",
  "12.3(8)T10",
  "12.3(14)T2",
  "12.3(4)T2",
  "12.3(7)T7",
  "12.3(7)T10",
  "12.3(7)T4",
  "12.3(11)T6",
  "12.3(7)T11",
  "12.3(4)T6",
  "12.3(2)T3",
  "12.3(2)T5",
  "12.3(2)T6",
  "12.3(4)T3",
  "12.3(14)T3",
  "12.3(2)T8",
  "12.3(11)T4",
  "12.3(7)T9",
  "12.3(8)T11",
  "12.3(11)T9",
  "12.3(7)T8",
  "12.3(4)T1",
  "12.3(8)T5",
  "12.3(14)T9",
  "12.3(4)T11",
  "12.3(4)T8",
  "12.3(14)T1",
  "12.3(11)T2",
  "12.3(7)T6",
  "12.3(2)T7",
  "12.3(11)T7",
  "12.3(7)T1",
  "12.3(14)T6",
  "12.3(8)T1",
  "12.2(15)CZ",
  "12.2(15)CZ1",
  "12.2(15)CZ3",
  "12.2(15)CZ2",
  "12.2(15)JK",
  "12.2(15)JK3",
  "12.2(15)JK5",
  "12.2(15)JK2",
  "12.2(15)JK1",
  "12.2(15)JK4",
  "12.2(13)ZP",
  "12.2(13)ZP1",
  "12.2(13)ZP3",
  "12.2(13)ZP2",
  "12.2(13)ZP4",
  "12.3(2)XA",
  "12.3(2)XA4",
  "12.3(2)XA7",
  "12.3(2)XA1",
  "12.3(2)XA3",
  "12.3(2)XA6",
  "12.3(2)XA2",
  "12.3(2)XA5",
  "12.3(2)XA8",
  "12.3(4)XQ",
  "12.3(4)XQ1",
  "12.3(11)XL",
  "12.3(11)XL1",
  "12.3(4)XK3",
  "12.3(4)XK1",
  "12.3(4)XK4",
  "12.3(4)XK",
  "12.3(4)XK2",
  "12.3(7)XJ",
  "12.3(7)XJ1",
  "12.3(7)XJ2",
  "12.3(7)XI8",
  "12.3(7)XI7",
  "12.3(7)XI8d",
  "12.3(7)XI10a",
  "12.3(7)XI8a",
  "12.3(7)XI4",
  "12.3(7)XI1",
  "12.3(7)XI1b",
  "12.3(7)XI7a",
  "12.3(7)XI2a",
  "12.3(7)XI10",
  "12.3(7)XI7b",
  "12.3(7)XI1c",
  "12.3(7)XI9",
  "12.3(7)XI3",
  "12.3(7)XI6",
  "12.3(7)XI8c",
  "12.3(7)XI2",
  "12.3(7)XI5",
  "12.3(7)XI8ba",
  "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)XE6",
  "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)XC6",
  "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(33)SE",
  "12.2(57)SE",
  "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(36)SE",
  "12.2(37)SE2",
  "12.2(44)SE3",
  "12.2(53)SE2",
  "12.2(52)SE1",
  "12.2(53)SE3",
  "12.2(46)SE1",
  "12.2(20)SE2",
  "12.2(54)SE",
  "12.2(44)SE5",
  "12.2(50)SE4",
  "12.2(47)SE",
  "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(55)SE12",
  "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(25)SV1",
  "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(29)SV4",
  "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)SW3b",
  "12.2(25)SW6",
  "12.2(25)SW1",
  "12.2(21)SW1",
  "12.2(25)SW8",
  "12.2(25)SW3",
  "12.2(17d)SXB",
  "12.2(17d)SXB6",
  "12.2(17d)SXB11",
  "12.2(17d)SXB7",
  "12.2(17d)SXB4",
  "12.2(17d)SXB2",
  "12.2(17d)SXB3",
  "12.2(17d)SXB5",
  "12.2(17d)SXB10",
  "12.2(17d)SXB8",
  "12.2(17d)SXB11a",
  "12.2(17d)SXB1",
  "12.2(17d)SXB9",
  "12.2(17b)SXA",
  "12.2(17b)SXA2",
  "12.2(18)SXD",
  "12.2(18)SXD7a",
  "12.2(18)SXD7b",
  "12.2(18)SXD1",
  "12.2(18)SXD6",
  "12.2(18)SXD7",
  "12.2(18)SXD5",
  "12.2(18)SXD4",
  "12.2(18)SXD2",
  "12.2(18)SXD3",
  "12.3(7)XR",
  "12.3(7)XR4",
  "12.3(7)XR3",
  "12.3(7)XR5",
  "12.3(7)XR6",
  "12.3(7)XR8",
  "12.3(7)XR2",
  "12.3(7)XR7",
  "12.3(7)XS",
  "12.3(7)XS2",
  "12.3(7)XS1",
  "12.3(8)XU",
  "12.3(8)XU5",
  "12.3(8)XU2",
  "12.3(8)XU1",
  "12.3(8)XU4",
  "12.3(8)XU3",
  "12.3(8)XX",
  "12.3(8)XX2f",
  "12.3(8)XX1",
  "12.3(8)XX2d",
  "12.3(8)XW",
  "12.3(8)XW2",
  "12.3(8)XW3",
  "12.3(8)XW1",
  "12.3(8)XY",
  "12.3(8)XY3",
  "12.3(8)XY5",
  "12.3(8)XY4",
  "12.3(8)XY1",
  "12.3(8)XY7",
  "12.3(8)XY2",
  "12.3(8)XY6",
  "12.3(2)XZ",
  "12.3(2)XZ1",
  "12.3(2)XZ2",
  "12.3(8)YA",
  "12.3(8)YA1",
  "12.3(8)YD",
  "12.3(8)YD1",
  "12.3(11)YF",
  "12.3(11)YF2",
  "12.3(11)YF3",
  "12.3(11)YF4",
  "12.3(11)YF1",
  "12.3(8)YH",
  "12.3(8)YG",
  "12.3(8)YG5",
  "12.3(8)YG3",
  "12.3(8)YG6",
  "12.3(8)YG2",
  "12.3(8)YG1",
  "12.3(8)YG4",
  "12.2(1)M0",
  "12.2(6c)M1",
  "12.2(12b)M1",
  "12.2(12h)M1",
  "12.2(8)BY",
  "12.2(8)BY1",
  "12.2(2)BY2",
  "12.2(2)BY",
  "12.2(2)BY1",
  "12.2(2)BY3",
  "12.2(8)BY2",
  "12.2(4)XV",
  "12.2(4)XV1",
  "12.2(4)XV2",
  "12.2(4)XV4",
  "12.2(4)XV4a",
  "12.2(4)XV3",
  "12.2(4)XV5",
  "12.3(13a)BC6",
  "12.3(17a)BC2",
  "12.3(17a)BC",
  "12.3(13a)BC",
  "12.3(21)BC",
  "12.3(9a)BC",
  "12.3(21a)BC9",
  "12.3(21a)BC4",
  "12.3(9a)BC9",
  "12.3(17b)BC6",
  "12.3(13a)BC2",
  "12.3(23)BC",
  "12.3(17b)BC3",
  "12.3(9a)BC2",
  "12.3(17b)BC9",
  "12.3(23)BC8",
  "12.3(23)BC10",
  "12.3(9a)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(21b)BC5",
  "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.0(1)DB",
  "12.0(3)DB",
  "12.0(7)DB2",
  "12.0(4)DB",
  "12.0(7)DB",
  "12.0(5)DB",
  "12.0(7)DB1",
  "12.0(2)DB",
  "12.0(7)DC1",
  "12.0(7)DC",
  "12.0(5)DC",
  "12.0(3)DC1",
  "12.0(3)DC",
  "12.0(2)XF1",
  "12.0(7)XF1",
  "12.0(2)XF",
  "12.0(2)XF2",
  "12.0(7)XF",
  "12.0(5)XS1",
  "12.0(5)XS",
  "12.0(5)XS2",
  "12.1(14)AZ",
  "12.1(14)EO",
  "12.1(19)EO",
  "12.1(20)EO",
  "12.1(19)EO6",
  "12.1(20)EO3",
  "12.1(19)EO3",
  "12.1(19)EO1",
  "12.1(14)EO1",
  "12.1(19)EO2",
  "12.1(19)EO4",
  "12.1(19)EO5",
  "12.1(20)EO1",
  "12.1(20)EO2",
  "12.3(11)YJ",
  "12.3(8)YI2",
  "12.3(8)YI3",
  "12.3(8)YI1",
  "12.3(11)YK",
  "12.3(11)YK4",
  "12.3(11)YK1",
  "12.3(11)YK2",
  "12.3(11)YK3",
  "12.1(20)EU",
  "12.1(20)EU1",
  "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(54)EX",
  "12.2(55)EX1",
  "12.2(55)EX2",
  "12.2(55)EX3",
  "12.2(58)EX",
  "12.2(58)EX1",
  "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(52)EY3b",
  "12.2(58)EY2",
  "12.2(18)SO1",
  "12.2(18)SO6",
  "12.2(18)SO7",
  "12.2(18)SO4",
  "12.2(18)SO3",
  "12.2(18)SO2",
  "12.2(18)SO5",
  "12.3(2)JA",
  "12.3(2)JA1",
  "12.3(2)JA2",
  "12.3(2)JA3",
  "12.3(2)JA4",
  "12.3(2)JA5",
  "12.3(4)JA1",
  "12.3(4)JA",
  "12.3(7)JA1",
  "12.3(7)JA",
  "12.3(8)JA",
  "12.3(8)JA1",
  "12.3(8)JA2",
  "12.3(11)JA",
  "12.3(7)JA4",
  "12.3(4)JA2",
  "12.3(7)JA5",
  "12.3(11)JA3",
  "12.3(11)JA4",
  "12.3(8)JA3",
  "12.3(2)JA6",
  "12.3(11)JA2",
  "12.3(11)JA1",
  "12.3(7)JA3",
  "12.3(7)JA2",
  "12.3(11)JA5",
  "12.3(14)YQ8",
  "12.3(14)YQ",
  "12.3(14)YQ5",
  "12.3(14)YQ4",
  "12.3(14)YQ7",
  "12.3(14)YQ1",
  "12.3(14)YQ6",
  "12.3(14)YQ3",
  "12.3(14)YQ2",
  "12.3(11)YS",
  "12.3(11)YS1",
  "12.3(11)YS2",
  "12.3(11)YS3",
  "12.4(3e)",
  "12.4(7b)",
  "12.4(8)",
  "12.4(5b)",
  "12.4(7a)",
  "12.4(3d)",
  "12.4(1)",
  "12.4(1a)",
  "12.4(1b)",
  "12.4(1c)",
  "12.4(10)",
  "12.4(3)",
  "12.4(3a)",
  "12.4(3b)",
  "12.4(3c)",
  "12.4(3f)",
  "12.4(5)",
  "12.4(5a)",
  "12.4(7c)",
  "12.4(7)",
  "12.4(8a)",
  "12.4(8b)",
  "12.4(7d)",
  "12.4(3g)",
  "12.4(8c)",
  "12.4(10b)",
  "12.4(12)",
  "12.4(12a)",
  "12.4(12b)",
  "12.4(13)",
  "12.4(13a)",
  "12.4(13b)",
  "12.4(13c)",
  "12.4(7e)",
  "12.4(17)",
  "12.4(25e)",
  "12.4(18b)",
  "12.4(18e)",
  "12.4(25g)",
  "12.4(3i)",
  "12.4(19a)",
  "12.4(3j)",
  "12.4(23b)",
  "12.4(3h)",
  "12.4(7h)",
  "12.4(25a)",
  "12.4(16)",
  "12.4(13d)",
  "12.4(25)",
  "12.4(25c)",
  "12.4(19)",
  "12.4(13e)",
  "12.4(25b)",
  "12.4(23)",
  "12.4(10c)",
  "12.4(21)",
  "12.4(16b)",
  "12.4(19b)",
  "12.4(16a)",
  "12.4(23a)",
  "12.4(25d)",
  "12.4(7f)",
  "12.4(18)",
  "12.4(14)",
  "12.4(21a)",
  "12.4(13f)",
  "12.4(25f)",
  "12.4(18c)",
  "12.4(5c)",
  "12.4(69)",
  "12.4(8d)",
  "12.4(12c)",
  "12.4(21b)",
  "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(58)EZ1",
  "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(60)EZ11",
  "12.2(25)SEC",
  "12.2(25)SEC2",
  "12.2(25)SEC1",
  "12.3(2)JK",
  "12.3(2)JK1",
  "12.3(2)JK2",
  "12.3(8)JK1",
  "12.3(2)JK4",
  "12.3(2)JK3",
  "12.3(8)JK2",
  "12.3(14)YU",
  "12.3(14)YU1",
  "12.4(6)MR1",
  "12.4(11)MR",
  "12.4(2)MR",
  "12.4(4)MR",
  "12.4(6)MR",
  "12.4(9)MR",
  "12.4(12)MR",
  "12.4(16)MR",
  "12.4(16)MR1",
  "12.4(19)MR2",
  "12.4(19)MR1",
  "12.4(19)MR",
  "12.4(20)MR",
  "12.4(4)MR1",
  "12.4(19)MR3",
  "12.4(12)MR1",
  "12.4(20)MR2",
  "12.4(16)MR2",
  "12.4(12)MR2",
  "12.4(2)MR1",
  "12.4(4)T",
  "12.4(4)T1",
  "12.4(4)T2",
  "12.4(4)T3",
  "12.4(6)T",
  "12.4(6)T1",
  "12.4(6)T2",
  "12.4(9)T",
  "12.4(4)T4",
  "12.4(2)T5",
  "12.4(6)T3",
  "12.4(2)T",
  "12.4(11)T",
  "12.4(15)T",
  "12.4(20)T",
  "12.4(24)T",
  "12.4(24)T3",
  "12.4(4)T8",
  "12.4(20)T1",
  "12.4(22)T1",
  "12.4(15)T9",
  "12.4(11)T4",
  "12.4(15)T8",
  "12.4(6)T5",
  "12.4(20)T6a",
  "12.4(15)T15",
  "12.4(24)T5",
  "12.4(15)T2",
  "12.4(6)T8",
  "12.4(15)T12",
  "12.4(24)T4",
  "12.4(6)T11",
  "12.4(9)T5",
  "12.4(20)T3",
  "12.4(6)T4",
  "12.4(4)T6",
  "12.4(22)T",
  "12.4(20)T6",
  "12.4(9)T3",
  "12.4(24)T8",
  "12.4(6)T7",
  "12.4(15)T13",
  "12.4(6)T10",
  "12.4(15)T3",
  "12.4(24)T2",
  "12.4(22)T5",
  "12.4(2)T3",
  "12.4(15)T10",
  "12.4(22)T4",
  "12.4(20)T5",
  "12.4(9)T6",
  "12.4(15)T4",
  "12.4(2)T4",
  "12.4(24)T1",
  "12.4(9)T4",
  "12.4(24)T7",
  "12.4(22)T3",
  "12.4(9)T1",
  "12.4(24)T6",
  "12.4(6)T9",
  "12.4(15)T5",
  "12.4(4)T7",
  "12.4(20)T2",
  "12.4(2)T1",
  "12.4(11)T1",
  "12.4(15)T11",
  "12.4(2)T6",
  "12.4(2)T2",
  "12.4(15)T7",
  "12.4(11)T2",
  "12.4(9)T7",
  "12.4(15)T14",
  "12.4(22)T6",
  "12.4(11)T3",
  "12.4(15)T6",
  "12.4(15)T16",
  "12.4(15)T1",
  "12.4(9)T2",
  "12.4(6)T6",
  "12.4(22)T2",
  "12.4(4)T5",
  "12.4(20)T4",
  "12.4(24)T4a",
  "12.4(24)T4b",
  "12.4(24)T3e",
  "12.4(24)T4c",
  "12.4(15)T17",
  "12.4(24)T4d",
  "12.4(24)T4e",
  "12.4(24)T3f",
  "12.4(24)T4f",
  "12.4(13r)T",
  "12.4(13r)T11",
  "12.4(24)T4l",
  "12.3(14)YT",
  "12.3(14)YT1",
  "12.2(18)SXF",
  "12.2(18)SXF5",
  "12.2(18)SXF6",
  "12.2(18)SXF15",
  "12.2(18)SXF1",
  "12.2(18)SXF10",
  "12.2(18)SXF17b",
  "12.2(18)SXF4",
  "12.2(18)SXF15a",
  "12.2(18)SXF3",
  "12.2(18)SXF17",
  "12.2(18)SXF12",
  "12.2(18)SXF8",
  "12.2(18)SXF10a",
  "12.2(18)SXF16",
  "12.2(18)SXF7",
  "12.2(18)SXF17a",
  "12.2(18)SXF14",
  "12.2(18)SXF12a",
  "12.2(18)SXF9",
  "12.2(18)SXF13",
  "12.2(18)SXF2",
  "12.2(18)SXF11",
  "12.2(18)SXF17c",
  "12.2(31)SG",
  "12.2(25)SG",
  "12.2(37)SG",
  "12.2(44)SG",
  "12.2(50)SG3",
  "12.2(31)SG1",
  "12.2(53)SG",
  "12.2(31)SG3",
  "12.2(50)SG6",
  "12.2(53)SG1",
  "12.2(46)SG",
  "12.2(25)SG1",
  "12.2(53)SG2",
  "12.2(50)SG5",
  "12.2(37)SG1",
  "12.2(53)SG3",
  "12.2(50)SG8",
  "12.2(25)SG3",
  "12.2(50)SG2",
  "12.2(40)SG",
  "12.2(25)SG2",
  "12.2(54)SG1",
  "12.2(44)SG1",
  "12.2(50)SG1",
  "12.2(52)SG",
  "12.2(54)SG",
  "12.2(31)SG2",
  "12.2(36)SG",
  "12.2(50)SG",
  "12.2(25)SG4",
  "12.2(50)SG7",
  "12.2(53)SG4",
  "12.2(50)SG4",
  "12.2(46)SG1",
  "12.2(53)SG5",
  "12.2(53)SG6",
  "12.2(53)SG7",
  "12.2(44r)SG5",
  "12.2(53)SG8",
  "12.2(53)SG9",
  "12.2(53)SG10",
  "12.2(53)SG11",
  "12.1(5)XX",
  "12.1(5)XX1",
  "12.1(5)XX3",
  "12.1(5)XX2",
  "12.1(4)XY1",
  "12.1(4)XY4",
  "12.1(4)XY3",
  "12.1(4)XY",
  "12.1(4)XY5",
  "12.1(4)XY6",
  "12.1(4)XY8",
  "12.1(4)XY7",
  "12.1(4)XY2",
  "12.2(25)FX",
  "12.2(25)FY",
  "12.2(27)SBC",
  "12.2(27)SBC6",
  "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)TPC10d",
  "12.2(8)TPC10c",
  "12.3(7)JX2",
  "12.3(7)JX",
  "12.3(7)JX1",
  "12.3(7)JX4",
  "12.3(11)JX",
  "12.3(7)JX7",
  "12.3(7)JX12",
  "12.3(7)JX9",
  "12.3(7)JX10",
  "12.3(7)JX13",
  "12.3(11)JX1",
  "12.3(7)JX6",
  "12.3(7)JX5",
  "12.3(7)JX3",
  "12.3(7)JX11",
  "12.3(7)JX8",
  "12.3(4)TPC11b",
  "12.3(4)TPC11a",
  "12.3(4)TPC11c",
  "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(13)YM3",
  "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(1)GA",
  "12.1(1)GA1",
  "12.1(2)GB",
  "12.1(4)XZ6",
  "12.1(4)XZ1",
  "12.1(4)XZ5",
  "12.1(4)XZ7",
  "12.1(4)XZ4",
  "12.1(4)XZ",
  "12.1(4)XZ3",
  "12.1(4)XZ2",
  "12.2(28)SB2",
  "12.2(28)SB",
  "12.2(28)SB10",
  "12.2(31)SB3x",
  "12.2(33)SB3",
  "12.2(28)SB11",
  "12.2(31)SB5",
  "12.2(28)SB5c",
  "12.2(31)SB10",
  "12.2(33)SB9",
  "12.2(28)SB14",
  "12.2(28)SB3",
  "12.2(31)SB15",
  "12.2(33)SB10",
  "12.2(33)SB6",
  "12.2(28)SB5",
  "12.2(31)SB11",
  "12.2(28)SB12",
  "12.2(31)SB7",
  "12.2(33)SB5",
  "12.2(31)SB6",
  "12.2(34)SB4e",
  "12.2(28)SB1",
  "12.2(33)SB8",
  "12.2(28)SB6",
  "12.2(31)SB17",
  "12.2(28)SB8",
  "12.2(31)SB13",
  "12.2(31)SB9",
  "12.2(28)SB4",
  "12.2(31)SB16",
  "12.2(31)SB12",
  "12.2(31)SB20",
  "12.2(28)SB7",
  "12.2(33)SB2",
  "12.2(28)SB9",
  "12.2(34)SB5",
  "12.2(31)SB8",
  "12.2(31)SB3",
  "12.2(31)SB18",
  "12.2(31)SB2",
  "12.2(31)SB14",
  "12.2(31)SB19",
  "12.2(33)SB",
  "12.2(33)SB7",
  "12.2(33)SB1",
  "12.2(33)SB4",
  "12.2(28)SB13",
  "12.2(33)SB11",
  "12.2(31)SB21",
  "12.2(33)SB12",
  "12.2(33)SB6c",
  "12.2(33)SB13",
  "12.2(33)SB8h",
  "12.2(33)SB14",
  "12.2(33)SB15",
  "12.2(33)SB16",
  "12.2(33)SB17",
  "12.2(33)SB18",
  "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(28b)ZV1",
  "12.2(28)ZV2",
  "12.2(28)ZX",
  "12.4(4)XC",
  "12.4(4)XC1",
  "12.4(4)XC5",
  "12.4(4)XC7",
  "12.4(4)XC3",
  "12.4(4)XC4",
  "12.4(4)XC2",
  "12.4(4)XC6",
  "12.4(4)XD",
  "12.4(4)XD4",
  "12.4(4)XD10",
  "12.4(4)XD12",
  "12.4(4)XD2",
  "12.4(4)XD8",
  "12.4(4)XD11",
  "12.4(4)XD1",
  "12.4(4)XD5",
  "12.4(4)XD7",
  "12.4(4)XD9",
  "12.4(6)XE",
  "12.4(6)XE3",
  "12.4(6)XE5",
  "12.4(6)XE2",
  "12.4(6)XE1",
  "12.2(25)SEF1",
  "12.2(25)SEF2",
  "12.2(25)SEF3",
  "12.2(25)SEE",
  "12.2(25)SEE1",
  "12.2(25)SEE3",
  "12.2(25)SEE4",
  "12.2(25)SEE2",
  "12.2(25)SED",
  "12.2(25)SED1",
  "12.3(11)YZ1",
  "12.3(11)YZ",
  "12.3(11)YZ3",
  "12.3(11)YZ2",
  "12.0(5)XW",
  "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(6)SW",
  "12.4(15)SW7",
  "12.4(15)SW8",
  "12.4(15)SW8a",
  "12.4(15)SW9",
  "12.4(15)SW9a",
  "12.4(9)XG",
  "12.4(9)XG3",
  "12.4(9)XG5",
  "12.4(9)XG2",
  "12.4(9)XG1",
  "12.4(9)XG4",
  "12.4(11)XJ",
  "12.4(11)XJ3",
  "12.4(11)XJ2",
  "12.4(11)XJ4",
  "12.4(6)XT",
  "12.4(6)XT1",
  "12.4(6)XT2",
  "12.4(6)XP",
  "12.4(4)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(28)VZ",
  "12.2(18)IXA",
  "12.2(18)IXB",
  "12.2(18)IXB2",
  "12.2(18)IXB1",
  "12.2(18)IXC",
  "12.2(18)IXC1",
  "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.2(18)ZY3",
  "12.3(8)JEA",
  "12.3(8)JEA1",
  "12.3(8)JEA4",
  "12.3(8)JEA3",
  "12.3(8)JEA2",
  "12.3(8)VA",
  "12.4(3g)JA",
  "12.4(25d)JA",
  "12.4(21a)JA",
  "12.4(18a)JA",
  "12.4(13d)JA1a",
  "12.4(21a)JA1",
  "12.4(16b)JA1",
  "12.4(21a)JA2",
  "12.4(10b)JA3",
  "12.4(21a)JA3",
  "12.4(3g)JA3",
  "12.4(18a)JA2",
  "12.4(25d)JA1",
  "12.4(10a)JA",
  "12.4(10b)JA1",
  "12.4(18a)JA1",
  "12.4(18a)JA3",
  "12.4(23c)JA",
  "12.4(10b)JA5",
  "12.4(16b)JA",
  "12.4(16b)JA2",
  "12.4(10b)JA4",
  "12.4(10b)JA1a",
  "12.4(10b)JA2",
  "12.4(3g)JA1",
  "12.4(13d)JA",
  "12.4(3g)JA2",
  "12.4(23c)JA1",
  "12.4(10b)JA",
  "12.4(13d)JA1",
  "12.4(23c)JA2",
  "12.4(23c)JA3",
  "12.4(23c)JA4",
  "12.4(25d)JA2",
  "12.4(21a)JA50",
  "12.4(25e)JA",
  "12.4(23c)JA5",
  "12.4(25e)JA1",
  "12.4(23c)JA6",
  "12.4(23c)JA7",
  "12.4(23c)JA8",
  "12.4(23c)JA9",
  "12.4(23c)JA10",
  "12.4(11)MD",
  "12.4(11)MD2",
  "12.4(24)MD1",
  "12.4(11)MD1",
  "12.4(24)MD",
  "12.4(11)MD10",
  "12.4(15)MD3",
  "12.4(22)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(15)MD6",
  "12.4(24)MD6",
  "12.4(11)MD11",
  "12.4(24)MD7",
  "12.4(24)MD8",
  "12.4(14)XK",
  "12.4(11)XV",
  "12.4(11)XV2",
  "12.4(11)XV1",
  "12.4(11)XW",
  "12.4(11)XW3",
  "12.4(11)XW7",
  "12.4(11)XW10",
  "12.4(11)XW8",
  "12.4(11)XW9",
  "12.4(11)XW6",
  "12.4(11)XW4",
  "12.4(11)XW1",
  "12.4(11)XW5",
  "12.4(11)XW2",
  "12.2(33)SRB",
  "12.2(33)SRB4",
  "12.2(33)SRB5a",
  "12.2(33)SRB3",
  "12.2(33)SRB1",
  "12.2(33)SRB7",
  "12.2(33)SRB6",
  "12.2(33)SRB5",
  "12.2(33)SRB2",
  "12.1(3)XO",
  "12.1(3a)XN",
  "12.2(29)SVC",
  "12.4(3g)JMA2",
  "12.4(3g)JMA",
  "12.4(3g)JMA1",
  "12.3(8)JEB",
  "12.3(8)JEB2",
  "12.3(8)JEB1",
  "12.3(8)JEC2",
  "12.3(8)JEC4",
  "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.4(9)XF",
  "12.4(11)XF",
  "12.3(2)JL",
  "12.3(2)JL3",
  "12.3(2)JL1",
  "12.3(2)JL4",
  "12.3(2)JL5",
  "12.3(2)JL2",
  "12.2(27)SBA3",
  "12.2(27)SBB4e",
  "12.2(33)SCA2",
  "12.2(33)SCA1",
  "12.2(33)SCA",
  "12.2(33)SRC2",
  "12.2(33)SRC",
  "12.2(33)SRC3",
  "12.2(33)SRC5",
  "12.2(33)SRC6",
  "12.2(33)SRC4",
  "12.2(33)SRC1",
  "12.2(29)SVA2",
  "12.2(29)SVD",
  "12.2(29)SVD0",
  "12.2(29)SVD1",
  "12.2(33)SXH3a",
  "12.2(33)SXH8a",
  "12.2(33)SXH3",
  "12.2(33)SXH4",
  "12.2(33)SXH7",
  "12.2(33)SXH4x",
  "12.2(33)SXH",
  "12.2(33)SXH8",
  "12.2(33)SXH2a",
  "12.2(33)SXH2",
  "12.2(33)SXH1",
  "12.2(33)SXH5",
  "12.2(33)SXH6",
  "12.2(33)SXH8b",
  "12.4(15)XQ4",
  "12.4(15)XQ1",
  "12.4(15)XQ7",
  "12.4(15)XQ2a",
  "12.4(15)XQ6",
  "12.4(15)XQ2",
  "12.4(15)XQ",
  "12.4(15)XQ3",
  "12.4(15)XQ5",
  "12.4(15)XQ2b",
  "12.4(15)XQ8",
  "12.4(15)XY4",
  "12.4(15)XY5",
  "12.4(15)XY1",
  "12.4(15)XY",
  "12.4(15)XY2",
  "12.4(15)XY3",
  "12.4(15)XZ",
  "12.4(15)XZ2",
  "12.4(15)XZ1",
  "12.4(15)XL3",
  "12.4(15)XL1",
  "12.4(15)XL6",
  "12.4(15)XL2",
  "12.4(15)XL4",
  "12.4(15)XL5",
  "12.4(15)XL",
  "12.3(8)ZA",
  "12.4(15)XM3",
  "12.4(15)XM1",
  "12.4(15)XM2",
  "12.4(15)XM",
  "12.4(115)XN",
  "12.4(15)XN",
  "12.4(22)XR5",
  "12.4(22)XR4",
  "12.4(15)XR5",
  "12.4(15)XR2",
  "12.4(22)XR7",
  "12.4(15)XR4",
  "12.4(15)XR1",
  "12.4(15)XR7",
  "12.4(22)XR2",
  "12.4(15)XR9",
  "12.4(15)XR6",
  "12.4(15)XR3",
  "12.4(15)XR",
  "12.4(22)XR6",
  "12.4(22)XR10",
  "12.4(15)XR8",
  "12.4(22)XR1",
  "12.4(22)XR9",
  "12.4(22)XR3",
  "12.4(22)XR8",
  "12.4(22)XR11",
  "12.4(15)XR10",
  "12.4(22)XR12",
  "12.4(20)YA3",
  "12.4(20)YA2",
  "12.4(20)YA",
  "12.4(20)YA1",
  "12.2(33)IRA",
  "12.2(33)IRB",
  "12.2(18)IXG",
  "12.2(18)IXF",
  "12.2(18)IXF1",
  "12.2(33)SCB9",
  "12.2(33)SCB",
  "12.2(33)SCB6",
  "12.2(33)SCB3",
  "12.2(33)SCB10",
  "12.2(33)SCB4",
  "12.2(33)SCB2",
  "12.2(33)SCB7",
  "12.2(33)SCB1",
  "12.2(33)SCB5",
  "12.2(33)SCB8",
  "12.2(33)SCB11",
  "12.2(33)SRD7",
  "12.2(33)SRD6",
  "12.2(33)SRD2a",
  "12.2(33r)SRD2",
  "12.2(33)SRD4",
  "12.2(33)SRD5",
  "12.2(33)SRD3",
  "12.2(33)SRD2",
  "12.2(33)SRD1",
  "12.2(33)SRD",
  "12.2(33)SRD8",
  "12.2(33)STE0",
  "12.2(29)SVE0",
  "12.2(33)SXI2",
  "12.2(33)SXI3",
  "12.2(33)SXI5",
  "12.2(33)SXI0a",
  "12.2(33)SXI4a",
  "12.2(33)SXI4",
  "12.2(33)SXI2a",
  "12.2(33)SXI",
  "12.2(33)SXI6",
  "12.2(33)SXI7",
  "12.2(33)SXI1",
  "12.2(33)SXI8",
  "12.2(33)SXI9",
  "12.2(33)SXI8a",
  "12.2(33)SXI10",
  "12.2(33)SXI11",
  "12.2(33)SXI12",
  "12.2(33)SXI13",
  "12.2(33)SXI14",
  "12.2(52)XO",
  "12.2(54)XO",
  "12.2(40)XO",
  "12.2(46)XO",
  "12.2(18)ZYA2",
  "12.2(18)ZYA",
  "12.2(18)ZYA3a",
  "12.2(18)ZYA1",
  "12.2(18)ZYA3",
  "12.2(18)ZYA3b",
  "12.2(18)ZYA3c",
  "12.2(18)ZYA3d",
  "12.4(10b)JDA3",
  "12.4(10b)JDA4",
  "12.4(10b)JDA",
  "12.4(10b)JDA2",
  "12.4(10b)JDA1",
  "12.4(3)JL3",
  "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)JMB1",
  "12.4(3g)JMB",
  "12.4(3g)JX",
  "12.4(3g)JX2",
  "12.4(10b)JX",
  "12.4(21a)JX",
  "12.4(3g)JX1",
  "12.4(25e)JX",
  "12.4(10b)JY",
  "12.4(21a)JY",
  "12.4(23c)JY",
  "12.4(23)JY",
  "12.2(19)SL",
  "12.2(17)SL5",
  "12.2(44)SQ3",
  "12.2(44)SQ",
  "12.2(44)SQ2",
  "12.2(50)SQ2",
  "12.2(50)SQ1",
  "12.2(50)SQ",
  "12.2(50)SQ3",
  "12.2(50)SQ4",
  "12.2(50)SQ5",
  "12.2(50)SQ6",
  "12.2(50)SQ7",
  "12.4(10b)JDC",
  "12.4(10b)JDD1",
  "12.4(10b)JDD",
  "12.4(22)YB5",
  "12.4(22)YB",
  "12.4(22)YB2",
  "12.4(22)YB7",
  "12.4(22)YB4",
  "12.4(22)YB1",
  "12.4(22)YB8",
  "12.4(22)YB3",
  "12.4(22)YB6",
  "12.4(22)YD3",
  "12.4(22)YD",
  "12.4(22)YD1",
  "12.4(22)YD2",
  "12.4(22)YD4",
  "12.4(22)YE2",
  "12.4(22)YE",
  "12.4(22)YE3",
  "12.4(22)YE4",
  "12.4(22)YE1",
  "12.4(24)YE2",
  "12.4(24)YE",
  "12.4(22)YE5",
  "12.4(24)YE1",
  "12.4(24)YE3",
  "12.4(24)YE3a",
  "12.4(24)YE4",
  "12.4(22)YE6",
  "12.4(24)YE5",
  "12.4(24)YE3b",
  "12.4(24)YE6",
  "12.4(24)YE7",
  "12.4(24)YE3c",
  "12.4(24)YE3d",
  "12.4(24)YE3e",
  "12.2(33)IRC",
  "12.2(33)ZM",
  "12.2(18)IXH1",
  "12.2(18)IXH",
  "12.4(22)MDA3",
  "12.4(24)MDA5",
  "12.4(22)MDA5",
  "12.4(24)MDA3",
  "12.4(22)MDA4",
  "12.4(24)MDA4",
  "12.4(24)MDA1",
  "12.4(22)MDA7",
  "12.4(22)MDA",
  "12.4(22)MDA2",
  "12.4(22)MDA1",
  "12.4(24)MDA2",
  "12.4(22)MDA6",
  "12.4(24)MDA6",
  "12.4(24)MDA7",
  "12.4(24)MDA8",
  "12.4(24)MDA10",
  "12.4(24)MDA9",
  "12.4(24)MDA11",
  "12.4(24)MDA12",
  "12.4(24)MDA13",
  "12.4(22)GC1",
  "12.4(24)GC1",
  "12.4(24)GC3",
  "12.4(24)GC3a",
  "12.4(24)GC4",
  "12.4(24)GC5",
  "12.2(33)SCC",
  "12.2(33)SCC2",
  "12.2(33)SCC6",
  "12.2(33)SCC7",
  "12.2(33)SCC5",
  "12.2(33)SCC4",
  "12.2(33)SCC3",
  "12.2(33)SCC1",
  "12.2(33)SCD5",
  "12.2(33)SCD1",
  "12.2(33)SCD7",
  "12.2(33)SCD4",
  "12.2(33)SCD",
  "12.2(33)SCD6",
  "12.2(33)SCD3",
  "12.2(33)SCD2",
  "12.2(33)SCD8",
  "12.3(8)JED",
  "12.3(8)JED1",
  "12.4(24)YG3",
  "12.4(24)YG4",
  "12.4(24)YG1",
  "12.4(24)YG2",
  "15.0(1)M1",
  "15.0(1)M5",
  "15.0(1)M4",
  "15.0(1)M3",
  "15.0(1)M2",
  "15.0(1)M6",
  "15.0(1)M",
  "15.0(1)M7",
  "15.0(1)M5a",
  "15.0(1)M11",
  "15.0(1)M10",
  "15.0(1)M9",
  "15.0(1)M8",
  "15.0(1r)M13",
  "15.0(1r)M15",
  "15.0(1r)M1",
  "15.0(1r)M3",
  "15.0(1r)M6",
  "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(4)T",
  "15.1(3)T2",
  "15.1(1)T1",
  "15.1(2)T0a",
  "15.1(3)T3",
  "15.1(1)T3",
  "15.1(2)T3",
  "15.1(2)T4",
  "15.1(1)T2",
  "15.1(3)T",
  "15.1(2)T2a",
  "15.1(3)T1",
  "15.1(1)T",
  "15.1(2)T2",
  "15.1(2)T1",
  "15.1(2)T5",
  "15.1(3)T4",
  "15.1(1)T5",
  "15.1(1)XB",
  "12.2(33)SRE1",
  "12.2(33)SRE2",
  "12.2(33)SRE3",
  "12.2(33)SRE4",
  "12.2(33)SRE",
  "12.2(33)SRE0a",
  "12.2(33)SRE5",
  "12.2(33)SRE6",
  "12.2(33)SRE8",
  "12.2(33)SRE7",
  "12.2(33)SRE9",
  "12.2(33)SRE7a",
  "12.2(33)SRE10",
  "12.2(33)SRE11",
  "12.2(33)SRE9a",
  "12.2(33)SRE12",
  "12.2(33)SRE13",
  "12.2(33)SRE14",
  "15.0(1)XO1",
  "15.0(1)XO",
  "15.0(2)XO",
  "15.0(1)S2",
  "15.0(1)S1",
  "15.0(1)S",
  "15.0(1)S3a",
  "15.0(1)S4",
  "15.0(1)S5",
  "15.0(1)S4a",
  "15.0(1)S6",
  "15.0(1)S10",
  "12.2(33)IRD",
  "12.2(33)IRE",
  "12.2(33)IRE2",
  "12.2(33)IRE1",
  "12.2(33)MRA",
  "12.2(33)MRA1",
  "12.2(33)MRB5",
  "12.2(33)MRB2",
  "12.2(33)MRB1",
  "12.2(33)MRB4",
  "12.2(33)MRB",
  "12.2(33)MRB3",
  "12.2(33)MRB6",
  "12.2(33a)SR",
  "12.4(21a)JHA",
  "12.4(21a)JHA1",
  "15.2(3)S",
  "15.2(1)S",
  "15.2(2)S",
  "15.2(1)S1",
  "15.2(4)S",
  "15.2(1s)S1",
  "15.2(1)S2",
  "15.2(2)S1",
  "15.2(2)S2",
  "15.2(2)S0a",
  "15.2(2)S0b",
  "15.2(2)S0c",
  "15.2(4)S1",
  "15.2(4)S4",
  "15.2(4)S6",
  "15.2(4)S2",
  "15.2(4)S5",
  "15.2(4)S3",
  "15.2(4)S0x",
  "15.2(4)S0xb",
  "15.2(4)S3a",
  "15.2(4)S4a",
  "15.2(4)S7",
  "12.2(18)SXG",
  "12.4(10b)JD",
  "15.3(1)T",
  "15.3(2)T",
  "15.3(3)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",
  "12.4(10b)JDE0",
  "12.2(33)XNH",
  "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.4(20)MRB2",
  "15.2(1)T",
  "15.2(2)T",
  "15.2(3)T",
  "15.2(1)T1",
  "15.2(1)T3",
  "15.2(1)T2",
  "15.2(1)T4",
  "15.2(2)T1",
  "15.2(3)T3",
  "15.2(3)T4",
  "15.2(3)T1",
  "15.2(2)T3",
  "15.2(3)T2",
  "15.2(2)T2",
  "15.2(2)T4",
  "15.2(1)T3a",
  "12.3(3d)M0",
  "12.3(8)JEE",
  "12.2(54)WO",
  "12.3(14)YV",
  "15.1(2)S",
  "15.1(1)S",
  "15.1(1)S1",
  "15.1(3)S",
  "15.1(1)S2",
  "15.1(2)S1",
  "15.1(2)S2",
  "15.1(3)S1",
  "15.1(3)S0a",
  "15.1(3)S2",
  "15.1(3)S4",
  "15.1(3)S3",
  "15.1(3)S5",
  "15.1(3)S6",
  "15.1(3)S5a",
  "12.3(8)EU",
  "12.4(22)MF",
  "15.1(4)M3",
  "15.1(4)M",
  "15.1(4)M1",
  "15.1(4)M2",
  "15.1(4)M6",
  "15.1(4)M5",
  "15.1(4)M4",
  "15.1(4)M7",
  "15.1(4)M3a",
  "15.1(4)M10",
  "15.1(4)M8",
  "15.1(4)M9",
  "12.2(33)IRF",
  "12.4(3g)JMC1",
  "12.4(3g)JMC",
  "12.4(3g)JMC2",
  "15.0(1)SE",
  "15.0(2)SE",
  "15.0(1)SE1",
  "15.0(1)SE2",
  "15.0(1)SE3",
  "15.0(2)SE1",
  "15.0(2)SE2",
  "15.0(2)SE3",
  "15.0(2)SE4",
  "15.0(2)SE5",
  "15.0(2)SE6",
  "15.0(2)SE7",
  "15.0(2)SE8",
  "15.1(2)GC",
  "15.1(2)GC1",
  "15.1(2)GC2",
  "15.1(4)GC",
  "15.1(4)GC1",
  "15.1(4)GC2",
  "15.0(1)SY",
  "15.0(1)SY0",
  "15.0(1)SY1",
  "15.0(1)SY2",
  "15.0(1)SY3",
  "15.0(1)SY4",
  "15.0(1)SY5",
  "15.0(1)SY6",
  "15.0(1)SY7",
  "15.0(1)SY8",
  "15.0(1)SY7a",
  "15.0(1)SY9",
  "15.0(1)SY10",
  "12.2(33)SXJ",
  "12.2(33)SXJ1",
  "12.2(33)SXJ2",
  "12.2(33)SXJ3",
  "12.2(33)SXJ4",
  "12.2(33)SXJ5",
  "12.2(33)SXJ6",
  "12.2(33)SXJ7",
  "12.2(33)SXJ8",
  "12.2(33)SXJ9",
  "12.2(33)SXJ10",
  "12.4(22)MX",
  "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",
  "12.1(5)YG",
  "15.0(1)MR",
  "15.0(1)MR1",
  "15.0(2)MR",
  "12.3(14)ZC",
  "12.4(23c)JZ",
  "12.2(33)SCF",
  "12.2(33)SCF1",
  "12.2(33)SCF2",
  "12.2(33)SCF3",
  "12.2(33)SCF4",
  "12.2(33)SCF5",
  "15.2(4)M",
  "15.2(4)M0a",
  "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)M7",
  "15.2(4)M6",
  "15.2(4)M6a",
  "12.2(33)SCE",
  "12.2(33)SCE1",
  "12.2(33)SCE2",
  "12.2(33)SCE3",
  "12.2(33)SCE4",
  "12.2(33)SCE5",
  "12.2(33)SCE6",
  "15.0(2)SG",
  "15.0(2)SG1",
  "15.0(2)SG2",
  "15.0(2)SG3",
  "15.0(2)SG4",
  "15.0(2)SG5",
  "15.0(2)SG6",
  "15.0(2)SG7",
  "15.0(2)SG8",
  "15.0(2)SG9",
  "15.0(2)SG10",
  "15.0(2)SG11",
  "12.4(24)MDB",
  "12.4(24)MDB1",
  "12.4(24)MDB2",
  "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)MDB5b",
  "12.4(24)MDB8",
  "12.4(24)MDB9",
  "12.4(24)MDB10",
  "12.4(24)MDB11",
  "12.4(24)MDB12",
  "12.4(24)MDB13",
  "12.4(24)MDB14",
  "12.4(24)MDB15",
  "12.4(24)MDB16",
  "12.4(24)MDB17",
  "12.4(24)MDB18",
  "12.4(24)MDB19",
  "12.2(33)IRG",
  "12.2(33)IRG1",
  "12.4(21a)JHC",
  "15.1(1)MR",
  "15.1(1)MR1",
  "15.1(1)MR2",
  "15.1(1)MR3",
  "15.1(3)MR",
  "15.1(1)MR4",
  "15.1(3)MR1",
  "15.0(1)EX",
  "15.0(2)EX",
  "15.0(2)EX1",
  "15.0(2)EX2",
  "15.0(2)EX3",
  "15.0(2)EX4",
  "15.0(2)EX5",
  "15.0(2)EX8",
  "15.0(2a)EX5",
  "15.0(2)EX10",
  "15.2(1)GC",
  "15.2(1)GC1",
  "15.2(1)GC2",
  "15.2(2)GC",
  "15.2(3)GC",
  "15.2(3)GC1",
  "15.2(4)GC",
  "15.2(4)GC1",
  "15.2(4)GC2",
  "15.2(4)GC3",
  "15.1(2)EY",
  "15.1(2)EY1a",
  "15.1(2)EY2",
  "15.1(2)EY3",
  "15.1(2)EY2a",
  "15.1(2)EY4",
  "12.4(25)JAX",
  "12.4(25d)JAX",
  "12.4(25d)JAX1",
  "12.4(25e)JAX",
  "12.4(25e)JAX1",
  "12.4(25e)JAX2",
  "12.2(33)SCG",
  "12.2(33)SCG1",
  "12.2(33)SCG2",
  "12.2(33)SCG3",
  "12.2(33)SCG4",
  "12.2(33)SCG5",
  "12.2(33)SCG6",
  "12.2(33)SCG7",
  "15.1(2)MWR",
  "15.1(2)SNG",
  "15.1(2)SNG1",
  "12.4(24)MDC",
  "12.4(24)MDC1",
  "12.2(33)IRH",
  "12.2(33)IRH1",
  "15.1(1)SY",
  "15.1(1)SY1",
  "15.1(2)SY",
  "15.1(2)SY1",
  "15.1(2)SY2",
  "15.1(1)SY2",
  "15.1(1)SY3",
  "15.1(2)SY3",
  "15.1(1)SY4",
  "15.1(2)SY4",
  "15.1(1)SY5",
  "15.1(2)SY5",
  "15.1(2)SY4a",
  "15.1(1)SY6",
  "15.3(1)S",
  "15.3(2)S",
  "15.3(3)S",
  "15.3(1)S2",
  "15.3(1)S1",
  "15.3(2)S0a",
  "15.3(2)S2",
  "15.3(2)S1",
  "15.3(3)S1",
  "15.3(3)S2",
  "15.3(3)S3",
  "15.3(3)S6",
  "15.3(3)S0b",
  "15.3(3)S4",
  "15.3(3)S1a",
  "15.3(3)S5",
  "15.3(3)S7",
  "15.1(2)SNH",
  "15.2(1)SB2",
  "15.1(2)SNI",
  "15.1(2)SNI1",
  "15.2(2)SNG",
  "15.1(3)SVA",
  "15.4(1)T",
  "15.4(2)T",
  "15.4(1)T2",
  "15.4(1)T1",
  "15.4(1)T3",
  "15.4(2)T1",
  "15.4(2)T3",
  "15.4(2)T2",
  "15.4(1)T4",
  "15.4(2)T4",
  "12.4(25e)JAZ",
  "12.4(25d)JB1",
  "12.2(33)SCH",
  "12.2(33)SCH1",
  "12.2(33)SCH2",
  "12.2(33)SCH0a",
  "12.2(33)SCH3",
  "12.2(33)SCH2a",
  "12.2(33)SCH4",
  "12.2(33)SCH5",
  "12.2(33)SCH6",
  "12.4(25e)JAL",
  "12.4(25e)JAL1",
  "12.4(25e)JAL2",
  "12.4(25e)JAL1a",
  "12.4(25e)JAM1",
  "12.4(25e)JAN1",
  "12.4(25e)JAN2",
  "15.2(2)JA",
  "15.2(2a)JA",
  "15.2(2)JA1",
  "15.2(4)JA",
  "15.2(4)JA1",
  "15.0(2)EC",
  "15.0(2)EB",
  "15.2(1)E",
  "15.2(2)E",
  "15.2(1)E1",
  "15.2(3)E",
  "15.2(1)E2",
  "15.2(1)E3",
  "15.2(2)E1",
  "15.2(3)E1",
  "15.2(2)E2",
  "15.2(2a)E1",
  "15.2(2a)E2",
  "15.2(3)E2",
  "15.2(3a)E",
  "15.2(3m)E2",
  "15.2(3m)E3",
  "15.0(1)EW",
  "15.0(2)EW",
  "15.0(3)EW",
  "15.0(4)EW",
  "15.0(5)EW",
  "15.0(6)EW",
  "15.0(7)EW",
  "15.0(8)EW",
  "15.1(3)MRA",
  "15.1(3)MRA1",
  "15.1(3)MRA2",
  "15.1(3)MRA3",
  "15.1(3)MRA4",
  "15.2(2)SNH1",
  "15.1(3)SVB",
  "15.1(3)SVB1",
  "15.0(2)ED",
  "15.0(2)ED1",
  "15.2(4)JB",
  "15.2(4)JB1",
  "15.2(4)JB2",
  "15.2(4)JB3",
  "15.2(4)JB3a",
  "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(4)JB7",
  "15.4(1)S",
  "15.4(2)S",
  "15.4(3)S",
  "15.4(1)S1",
  "15.4(1)S2",
  "15.4(2)S1",
  "15.4(1)S3",
  "15.4(3)S1",
  "15.4(2)S2",
  "15.4(3)S2",
  "15.4(3)S3",
  "15.4(1)S4",
  "15.4(2)S3",
  "15.4(2)S4",
  "15.2(2)JAX",
  "15.2(2)JAX1",
  "15.3(3)M",
  "15.3(3)M1",
  "15.3(3)M2",
  "15.3(3)M3",
  "15.3(3)M5",
  "15.3(3)M4",
  "15.3(3)M6",
  "15.3(3)M7",
  "15.2(2)SNI",
  "15.1(3)SVC",
  "15.2(2)JN",
  "15.2(2)JN1",
  "15.2(2)JN2",
  "15.2(4)JN",
  "15.2(3r)GCA",
  "15.0(2)EZ",
  "15.2(1)SC1",
  "15.2(1)SC",
  "15.0(2)EF",
  "15.0(2)EG",
  "15.1(3)SVD",
  "15.1(3)SVD1",
  "15.1(3)SVD2",
  "15.2(1)EY",
  "15.0(2)EJ",
  "15.0(2)EJ1",
  "15.0(2)EH",
  "15.2(1)EZ",
  "15.2(1)SY",
  "15.2(1)SY1",
  "15.2(1)SY0a",
  "15.2(1)SY1a",
  "15.1(3)SVF",
  "15.1(3)SVF1",
  "15.1(3)SVF4a",
  "15.1(3)SVE",
  "15.4(3)M",
  "15.4(3)M1",
  "15.4(3)M2",
  "15.4(3)M3",
  "12.4(25e)JAO",
  "12.4(25e)JAO1",
  "12.4(25e)JAO2",
  "12.4(25e)JAO3",
  "12.4(25e)JAO4",
  "12.4(25e)JAO3a",
  "12.4(25e)JAO5",
  "12.4(25e)JAO6",
  "15.0(2)EK",
  "15.0(2)EK1",
  "15.4(1)CG",
  "15.4(1)CG1",
  "15.4(2)CG",
  "15.5(1)S",
  "15.5(2)S",
  "15.5(1)S1",
  "15.5(1)S2",
  "15.5(2)S1",
  "15.2(2)EB",
  "15.2(2)EB1",
  "15.2(2)EB2",
  "15.5(1)T",
  "15.5(1)T1",
  "15.5(2)T",
  "15.5(1)T2",
  "15.5(2)T1",
  "15.2(2)EA1",
  "15.2(2)EA2",
  "15.2(3)EA",
  "15.3(3)JN3",
  "15.3(3)JN4",
  "15.3(3)JN7",
  "15.3(3)JN8",
  "12.2(33)SCI",
  "12.2(33)SCI1",
  "12.2(33)SCI1a",
  "12.2(33)SCI2",
  "12.2(33)SCI3",
  "12.2(33)SCI2a",
  "12.4(25e)JAP",
  "12.4(25e)JAP100",
  "12.4(25e)JAP1",
  "12.4(25e)JAP1m",
  "12.4(25e)JAP2",
  "12.4(25e)JAP26",
  "12.4(25e)JAP4",
  "12.4(25e)JAP5",
  "12.4(25e)JAP6",
  "12.4(25e)JAP1n",
  "12.4(25e)JAP7",
  "12.4(25e)JAP8",
  "12.4(25e)JAP9",
  "12.4(25e)JAP10",
  "12.4(25e)JAP11",
  "12.4(25e)JAP12",
  "12.4(25e)JAP13",
  "15.3(3)JA50",
  "15.3(3)JA",
  "15.3(3)JA1n",
  "15.3(3)JA1m",
  "15.3(3)JA1",
  "15.3(3)JA4",
  "15.3(3)JA5",
  "15.3(3)JA77",
  "15.3(3)JA6",
  "15.3(3)JA7",
  "15.3(3)JA8",
  "15.3(3)JA9",
  "15.3(3)JAA",
  "15.3(3)JAB",
  "15.3(3)JB",
  "15.3(3)JB75",
  "15.0(2)SQD",
  "15.0(2)SQD1",
  "15.0(2)SQD2",
  "15.0(2)SQD3",
  "15.0(2)SQD4",
  "15.0(2)SQD5",
  "15.0(2)SQD6",
  "15.0(2)SQD7",
  "15.3(3)JNB",
  "15.3(3)JNB1",
  "15.3(3)JNB2",
  "15.3(3)JNB3",
  "15.3(3)JAX",
  "15.3(3)JAX1",
  "15.3(3)JAX2",
  "15.3(3)JBB",
  "15.3(3)JBB1",
  "15.3(3)JBB50",
  "15.3(3)JBB2",
  "15.3(3)JBB4",
  "15.3(3)JBB5",
  "15.3(3)JBB6",
  "15.3(3)JBB8",
  "15.3(3)JBB6a",
  "15.3(3)JC",
  "15.3(3)JNC",
  "15.3(3)JNC1",
  "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",
  "15.3(3)JNP",
  "15.3(3)JNP1",
  "15.3(3)JE1",
  "15.3(3)JDA"
);

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


reporting = make_array(
  'port'     , 0,
  'severity' , SECURITY_WARNING,
  'version'  , product_info['version'],
  'bug_id'   , "CSCut77619"
);

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