Cisco IOS Web UI Cross-Site Request Forgery (cisco-sa-20200108-ios-csrf)

#TRUSTED 504970f2d330011aee30a1ca62ce136871292ea950a57fbe746de4367326719f9917a5bc5e65c5af5ffa0e8facbd4ce51a015935fb71b726fe4028426019cce52a8cd8516b7fd103ed0c1dc28ba1de24199e72bc5cf918a0891605bf94dc188e8fab6258afaf4594e0af20e6c4377026558547c7c75eddd694edff59f1a09ffffd6a5cffc6f2ea4d292d52dce9ddb506aa76779afe561322885171b5252ca641cfc450b7b38a5b50d3e3e9515249319f164f39853d097bc3ba3881b7de842f437846d83fb82beeb5ead057755c3a5fd8c3953280e88a923cd8217f0b9b344a4fcde4807ce7ea97f6005a9c235377482e2640c0cb6d31c52c62989f88be8516b786bedad5fb2ff8439efb94650bffba2257c46f2dd9ae7db89be877a03651d2bc1c5d73995218bed75735bb517a65aec62135232142384f56ce646417e0a361a0fd13e8f3ffde111cb1ed8cd40cbb813a15c5c5f3ea500c7aacc20fcc9ddc724ee03391e8a08dc6401930cce07f5ee496a3d9db4f9bc3f4d9c079a18804d86521bd0f5e260b4b87d68c1556c5b7bf52e609e983ce8d5077ee8e8c4480c0d4659520eeb8df6c15bb48f6a593468b7875c2ae7c0b4db41c321803325a658b08ef173ec0da539d0278e4ff7b2790f6b1320736d4b08846c8555687e5f551b3a8921c23941481ca367f41aa1528216a5680b3c1df1497ca81c820bed3cd5731cae4cf
#
# (C) Tenable Network Security, Inc.
#

include('compat.inc');

if (description)
{
  script_id(133000);
  script_version("1.14");
  script_set_attribute(attribute:"plugin_modification_date", value:"2021/09/24");

  script_cve_id("CVE-2019-16009");
  script_xref(name:"CISCO-BUG-ID", value:"CSCvq66030");
  script_xref(name:"CISCO-SA", value:"cisco-sa-20200108-ios-csrf");
  script_xref(name:"IAVA", value:"2020-A-0015-S");

  script_name(english:"Cisco IOS Web UI Cross-Site Request Forgery (cisco-sa-20200108-ios-csrf)");

  script_set_attribute(attribute:"synopsis", value:
"The remote device is missing a vendor-supplied security patch.");
  script_set_attribute(attribute:"description", value:
"According to its self-reported version, Cisco IOS is affected by a cross-site request forgery (CSRF) vulnerability in
the web UI due to insufficient CSRF protections. An unauthenticated, remote attacker can exploit this, by persuading a
user of the interface to follow a malicious link, in order to perform arbitrary actions with the privilege level of the
targeted user. If the user has administrative privileges, the attacker could alter the configuration, execute commands,
or reload an affected device.

Please see the included Cisco BIDs and Cisco Security Advisory for more information.

Note that Nessus has not tested for this issue but has instead relied only on the application's self-reported version
number.");
  # https://tools.cisco.com/security/center/content/CiscoSecurityAdvisory/cisco-sa-20200108-ios-csrf
  script_set_attribute(attribute:"see_also", value:"http://www.nessus.org/u?e39a8725");
  script_set_attribute(attribute:"see_also", value:"https://bst.cloudapps.cisco.com/bugsearch/bug/CSCvq66030");
  script_set_attribute(attribute:"solution", value:
"Upgrade to the relevant fixed version referenced in Cisco bug ID(s) CSCvq66030 or apply the workaround mentioned in the
advisory.");
  script_set_cvss_base_vector("CVSS2#AV:N/AC:H/Au:N/C:C/I:C/A:C");
  script_set_cvss_temporal_vector("CVSS2#E:U/RL:OF/RC:C");
  script_set_cvss3_base_vector("CVSS:3.0/AV:N/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H");
  script_set_cvss3_temporal_vector("CVSS:3.0/E:U/RL:O/RC:C");
  script_set_attribute(attribute:"cvss_score_source", value:"CVE-2019-16009");

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

  script_set_attribute(attribute:"vuln_publication_date", value:"2020/01/08");
  script_set_attribute(attribute:"patch_publication_date", value:"2020/01/08");
  script_set_attribute(attribute:"plugin_publication_date", value:"2020/01/16");

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

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

  script_copyright(english:"This script is Copyright (C) 2020-2021 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('cisco_workarounds.inc');
include('ccf.inc');

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

version_list = make_list(
  '12.2(15)B',
  '12.2(16)B1',
  '12.2(16)B3',
  '12.2(16)B2',
  '12.2(15)B1',
  '12.2(16)B',
  '12.2(15)B2a',
  '12.2(15)B1a',
  '12.2(15)B1b',
  '12.2(15)B2d',
  '12.2(15)B2g',
  '12.2(15)B1g',
  '12.2(15)B2',
  '12.2(15)B1',
  '12.2(15)B2',
  '12.2(15)B2f',
  '12.2(15)B1d',
  '12.2(15)B1',
  '12.2(15)B2',
  '12.2(15)B2e',
  '12.2(15)B1e',
  '12.2(15)B2h',
  '12.2(15)B1f',
  '12.2(15)B2b',
  '12.2(15)BX',
  '12.2(16)BX',
  '12.2(16)BX2',
  '12.2(16)BX3',
  '12.2(16)BX1',
  '12.2(15)BZ1',
  '12.2(15)BZ',
  '12.2(15)BZ2',
  '12.2(15)X',
  '12.2(15)X1',
  '12.2(33)X',
  '12.2(33)Y',
  '12.2(33)Y1',
  '12.2(33)Y2',
  '12.2(15)JA',
  '12.2(15)M1',
  '12.2(15)M2g',
  '12.2(15)M2k',
  '12.2(15)M1b',
  '12.2(15)M2b',
  '12.2(15)M2a',
  '12.2(15)M2m',
  '12.2(15)M1',
  '12.2(15)M2',
  '12.2(15)M2f',
  '12.2(15)M2j',
  '12.2(15)M2e',
  '12.2(15)M1a',
  '12.2(15)M2',
  '12.2(15)M2',
  '12.2(15)M2h',
  '12.2(15)M2l',
  '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)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.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(10)',
  '12.3(10d)',
  '12.3(10e)',
  '12.3(12b)',
  '12.3(12a)',
  '12.3(12)',
  '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(3)',
  '12.3(3b)',
  '12.3(3a)',
  '12.3(3)',
  '12.3(3)',
  '12.3(3h)',
  '12.3(5)',
  '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(6)',
  '12.3(6b)',
  '12.3(6a)',
  '12.3(6)',
  '12.3(9d)',
  '12.3(9e)',
  '12.3(9)',
  '12.3(9b)',
  '12.3(9)',
  '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(17)',
  '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)Z',
  '12.2(15)Z1',
  '12.2(15)Z3',
  '12.2(15)Z2',
  '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)Z',
  '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)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)X8',
  '12.3(7)X',
  '12.3(7)X7',
  '12.3(7)X8d',
  '12.3(7)X10a',
  '12.3(7)X3e',
  '12.3(7)X8a',
  '12.3(7)X2',
  '12.3(7)X1a',
  '12.3(7)X4',
  '12.3(7)X8g',
  '12.3(7)X1',
  '12.3(7)X1b',
  '12.3(7)X7a',
  '12.3(7)X10b',
  '12.3(7)X2a',
  '12.3(7)X10',
  '12.3(7)X7b',
  '12.3(7)X3d',
  '12.3(7)X1',
  '12.3(7)X2b',
  '12.3(7)X8f',
  '12.3(7)X3a',
  '12.3(7)X9',
  '12.3(7)X3',
  '12.3(7)X6',
  '12.3(7)X8',
  '12.3(7)X2',
  '12.3(7)X5',
  '12.3(7)X3b',
  '12.3(7)X8e',
  '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)X',
  '12.3(2)X4',
  '12.3(2)X3',
  '12.3(2)X2',
  '12.3(2)X1',
  '12.3(2)X5',
  '12.3(2)XB2',
  '12.3(2)XB',
  '12.3(2)XB3',
  '12.3(2)XB1',
  '12.2(25)EW',
  '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(25)EWA11',
  '12.2(25)EWA9',
  '12.2(25)EWA2',
  '12.2(25)EWA14',
  '12.2(25)EWA4',
  '12.2(25)EWA3',
  '12.2(25)EWA7',
  '12.2(25)EWA12',
  '12.2(25)EWA13',
  '12.2(35)E',
  '12.2(25)E',
  '12.2(37)E',
  '12.2(53)E1',
  '12.2(55)E',
  '12.2(25)E2',
  '12.2(40)E2',
  '12.2(46)E',
  '12.2(46)E2',
  '12.2(50)E2',
  '12.2(35)E5',
  '12.2(50)E1',
  '12.2(44)E2',
  '12.2(35)E1',
  '12.2(50)E5',
  '12.2(35)E4',
  '12.2(44)E1',
  '12.2(53)E',
  '12.2(37)E1',
  '12.2(25)E3',
  '12.2(35)E3',
  '12.2(44)E4',
  '12.2(55)E3',
  '12.2(55)E2',
  '12.2(40)E',
  '12.2(44)E',
  '12.2(52)E',
  '12.2(58)E',
  '12.2(50)E3',
  '12.2(55)E1',
  '12.2(35)E2',
  '12.2(40)E1',
  '12.2(44)E6',
  '12.2(44)E3',
  '12.2(53)E2',
  '12.2(52)E1',
  '12.2(46)E1',
  '12.2(54)E',
  '12.2(44)E5',
  '12.2(50)E4',
  '12.2(50)E',
  '12.2(58)E1',
  '12.2(55)E4',
  '12.2(58)E2',
  '12.2(55)E5',
  '12.2(55)E6',
  '12.2(55)E7',
  '12.2(55)E8',
  '12.2(55)E9',
  '12.2(55)E10',
  '12.2(55)E11',
  '12.2(55)E12',
  '12.2(55)E13',
  '12.2(55)E13a',
  '12.2(33)Z',
  '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(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)XX2',
  '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)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)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.3(13a)B6',
  '12.3(17a)B2',
  '12.3(17a)B',
  '12.3(13a)B',
  '12.3(21)B',
  '12.3(9a)B',
  '12.3(21a)B9',
  '12.3(21a)B4',
  '12.3(9a)B9',
  '12.3(17b)B6',
  '12.3(13a)B2',
  '12.3(23)B',
  '12.3(17b)B3',
  '12.3(9a)B2',
  '12.3(17b)B9',
  '12.3(23)B8',
  '12.3(23)B10',
  '12.3(23)B1',
  '12.3(9a)B1',
  '12.3(17b)B8',
  '12.3(9a)B3',
  '12.3(23)B9',
  '12.3(21a)B6',
  '12.3(9a)B6',
  '12.3(9a)B5',
  '12.3(23)B7',
  '12.3(13a)B3',
  '12.3(23)B6',
  '12.3(23)B4',
  '12.3(13a)B1',
  '12.3(17b)B5',
  '12.3(21a)B8',
  '12.3(9a)B8',
  '12.3(21a)B3',
  '12.3(21a)B7',
  '12.3(9a)B7',
  '12.3(23)B5',
  '12.3(13a)B5',
  '12.3(9a)B4',
  '12.3(21a)B2',
  '12.3(13a)B4',
  '12.3(17b)B7',
  '12.3(23)B3',
  '12.3(21a)B1',
  '12.3(17a)B1',
  '12.3(17b)B4',
  '12.3(23)B2',
  '12.3(21a)B5',
  '12.3(1a)BW',
  '12.3(8)Y',
  '12.3(8)Y2',
  '12.3(8)Y3',
  '12.3(8)Y1',
  '12.3(11)YJ',
  '12.3(11)YL',
  '12.3(11)YL2',
  '12.3(11)YL1',
  '12.3(8)Y',
  '12.3(8)Y2',
  '12.3(8)Y3',
  '12.3(8)Y1',
  '12.3(11)YK',
  '12.3(11)YK1',
  '12.3(11)YK2',
  '12.3(11)YK3',
  '12.2(25)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)EB',
  '12.2(25)EB2',
  '12.2(25)EB1',
  '12.2(25)EB4',
  '12.2(25)EB3',
  '12.2(25)EA',
  '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)EY1',
  '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.3(2)JA',
  '12.3(2)JA1',
  '12.3(2)JA3',
  '12.3(2)JA4',
  '12.3(7)JA1',
  '12.3(7)JA',
  '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(11)JA2',
  '12.3(11)JA1',
  '12.3(7)JA3',
  '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)Y',
  '12.3(11)Y1',
  '12.3(11)Y2',
  '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(1)',
  '12.4(10)',
  '12.4(3)',
  '12.4(3a)',
  '12.4(3b)',
  '12.4(3)',
  '12.4(3f)',
  '12.4(5)',
  '12.4(5a)',
  '12.4(7)',
  '12.4(7)',
  '12.4(8a)',
  '12.4(8b)',
  '12.4(7d)',
  '12.4(3g)',
  '12.4(8)',
  '12.4(10b)',
  '12.4(12)',
  '12.4(12a)',
  '12.4(12b)',
  '12.4(13)',
  '12.4(13a)',
  '12.4(13b)',
  '12.4(13)',
  '12.4(7e)',
  '12.4(17)',
  '12.4(25e)',
  '12.4(18b)',
  '12.4(18e)',
  '12.4(25g)',
  '12.4(3)',
  '12.4(3j)',
  '12.4(23b)',
  '12.4(3h)',
  '12.4(7h)',
  '12.4(25a)',
  '12.4(23d)',
  '12.4(23e)',
  '12.4(16)',
  '12.4(13d)',
  '12.4(25)',
  '12.4(25)',
  '12.4(18d)',
  '12.4(19)',
  '12.4(13e)',
  '12.4(25b)',
  '12.4(23)',
  '12.4(10)',
  '12.4(21)',
  '12.4(16b)',
  '12.4(19b)',
  '12.4(16a)',
  '12.4(23a)',
  '12.4(25d)',
  '12.4(23)',
  '12.4(7f)',
  '12.4(18)',
  '12.4(21a)',
  '12.4(13f)',
  '12.4(25f)',
  '12.4(18)',
  '12.4(5)',
  '12.4(8d)',
  '12.4(12)',
  '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(60)EZ11',
  '12.2(60)EZ12',
  '12.2(60)EZ13',
  '12.2(60)EZ14',
  '12.2(60)EZ16',
  '12.2(25)E',
  '12.2(25)E2',
  '12.2(25)E1',
  '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)T5',
  '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)T4',
  '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)T4',
  '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)T4',
  '12.3(14)YT',
  '12.3(14)YT1',
  '12.2(31)G',
  '12.2(25)G',
  '12.2(37)G',
  '12.2(44)G',
  '12.2(50)G3',
  '12.2(31)G1',
  '12.2(31)G3',
  '12.2(50)G6',
  '12.2(53)G1',
  '12.2(46)G',
  '12.2(25)G1',
  '12.2(53)G2',
  '12.2(50)G5',
  '12.2(37)G1',
  '12.2(53)G3',
  '12.2(50)G8',
  '12.2(25)G3',
  '12.2(50)G2',
  '12.2(40)G',
  '12.2(25)G2',
  '12.2(54)G1',
  '12.2(44)G1',
  '12.2(50)G1',
  '12.2(52)G',
  '12.2(54)G',
  '12.2(31)G2',
  '12.2(50)G',
  '12.2(25)G4',
  '12.2(50)G7',
  '12.2(53)G4',
  '12.2(50)G4',
  '12.2(46)G1',
  '12.2(53)G5',
  '12.2(53)G6',
  '12.2(53)G7',
  '12.2(53)G8',
  '12.2(53)G9',
  '12.2(53)G10',
  '12.2(53)G11',
  '12.2(25)FX',
  '12.2(25)FY',
  '12.3(7)JX2',
  '12.3(7)JX1',
  '12.3(7)JX4',
  '12.3(11)JX',
  '12.3(7)JX7',
  '12.3(7)JX9',
  '12.3(11)JX1',
  '12.3(7)JX6',
  '12.3(7)JX5',
  '12.3(7)JX3',
  '12.3(7)JX8',
  '12.3(4)TP11b',
  '12.3(4)TP11a',
  '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.2(31)B',
  '12.2(31)B1a',
  '12.2(31)B10',
  '12.2(31)B9b',
  '12.2(31)B4',
  '12.2(31)B3x',
  '12.2(33)B3',
  '12.2(31)B9a',
  '12.2(31)B1b',
  '12.2(31)B2a',
  '12.2(34)B2',
  '12.2(31)B11a',
  '12.2(31)B1g',
  '12.2(31)B5',
  '12.2(31)B3b',
  '12.2(33)B8b',
  '12.2(31)B10',
  '12.2(33)B9',
  '12.2(31)B10d',
  '12.2(31)B15',
  '12.2(33)B8e',
  '12.2(33)B10',
  '12.2(33)B6',
  '12.2(31)B11',
  '12.2(34)B4d',
  '12.2(31)B7',
  '12.2(33)B5',
  '12.2(31)B1d',
  '12.2(31)B6',
  '12.2(34)B4b',
  '12.2(33)B8',
  '12.2(31)B1',
  '12.2(31)B11b',
  '12.2(31)B4a',
  '12.2(31)B17',
  '12.2(34)B3',
  '12.2(31)B10b',
  '12.2(31)B13',
  '12.2(31)B1',
  '12.2(34)B4',
  '12.2(31)B9',
  '12.2(31)B16',
  '12.2(31)B12',
  '12.2(31)B10a',
  '12.2(31)B20',
  '12.2(33)B6a',
  '12.2(34)B4a',
  '12.2(31)B5a',
  '12.2(33)B8',
  '12.2(31)B8a',
  '12.2(31)B3',
  '12.2(33)B1a',
  '12.2(31)B1e',
  '12.2(33)B2',
  '12.2(31)B1f',
  '12.2(31)B8',
  '12.2(31)B12a',
  '12.2(31)B3',
  '12.2(31)B10e',
  '12.2(31)B18',
  '12.2(33)B8d',
  '12.2(31)B2',
  '12.2(31)B14',
  '12.2(31)B3a',
  '12.2(31)B19',
  '12.2(34)B4',
  '12.2(33)B6b',
  '12.2(34)B1',
  '12.2(33)B',
  '12.2(33)B1b',
  '12.2(33)B7',
  '12.2(33)B1',
  '12.2(33)B4',
  '12.2(33)B8f',
  '12.2(33)B11',
  '12.2(31)B21',
  '12.2(33)B12',
  '12.2(33)B8g',
  '12.2(33)B13',
  '12.2(33)B14',
  '12.2(33)B15',
  '12.2(33)B16',
  '12.2(33)B17',
  '12.2(33)B8a',
  '12.2(33)RA',
  '12.2(33)RA6',
  '12.2(33)RA7',
  '12.2(33)RA2',
  '12.2(33)RA3',
  '12.2(33)RA1',
  '12.2(33)RA4',
  '12.2(33)RA5',
  '12.2(31)ZV',
  '12.2(31)ZV0',
  '12.2(31)ZV0f',
  '12.2(31)ZV2',
  '12.2(31)ZV1b',
  '12.2(31)ZV0a',
  '12.2(31)ZV0h',
  '12.2(31)ZV2a',
  '12.2(31)ZV1',
  '12.2(31)ZV0j',
  '12.2(31)ZV0',
  '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.4(4)X',
  '12.4(4)X1',
  '12.4(4)X5',
  '12.4(4)X7',
  '12.4(4)X3',
  '12.4(4)X4',
  '12.4(4)X2',
  '12.4(4)X6',
  '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)EF',
  '12.2(25)EF1',
  '12.2(25)EF2',
  '12.2(25)EF3',
  '12.2(25)EE',
  '12.2(25)EE1',
  '12.2(25)EE3',
  '12.2(25)EE4',
  '12.2(25)EE2',
  '12.2(25)ED',
  '12.2(25)ED1',
  '12.3(11)YZ1',
  '12.3(11)YZ',
  '12.3(11)YZ2',
  '12.4(11)W',
  '12.4(15)W6',
  '12.4(15)W',
  '12.4(11)W1',
  '12.4(15)W5',
  '12.4(15)W1',
  '12.4(15)W4',
  '12.4(11)W3',
  '12.4(11)W2',
  '12.4(15)W3',
  '12.4(15)W2',
  '12.4(15)W7',
  '12.4(15)W8',
  '12.4(15)W8a',
  '12.4(15)W9',
  '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)GA',
  '12.2(31)GA3',
  '12.2(31)GA2',
  '12.2(31)GA10',
  '12.2(31)GA5',
  '12.2(31)GA4',
  '12.2(31)GA11',
  '12.2(31)GA6',
  '12.2(31)GA1',
  '12.2(31)GA7',
  '12.2(31)GA8',
  '12.2(31)GA9',
  '12.2(15)ZR',
  '12.2(25)EG',
  '12.2(25)EG5',
  '12.2(25)EG2',
  '12.2(25)EG4',
  '12.2(25)EG1',
  '12.2(25)EG3',
  '12.2(25)EG6',
  '12.3(8)JEA1',
  '12.3(8)JEA3',
  '12.3(8)JEA2',
  '12.4(3g)JA',
  '12.4(25d)JA',
  '12.4(21a)JA',
  '12.4(21a)JA1',
  '12.4(16b)JA1',
  '12.4(21a)JA2',
  '12.4(10b)JA3',
  '12.4(25d)JA1',
  '12.4(10b)JA1',
  '12.4(18a)JA1',
  '12.4(23)JA',
  '12.4(16b)JA',
  '12.4(3g)JA1',
  '12.4(13d)JA',
  '12.4(10b)JA',
  '12.4(23)JA2',
  '12.4(23)JA3',
  '12.4(23)JA4',
  '12.4(25d)JA2',
  '12.4(25e)JA',
  '12.4(23)JA5',
  '12.4(25e)JA1',
  '12.4(23)JA6',
  '12.4(23)JA7',
  '12.4(23)JA8',
  '12.4(23)JA9',
  '12.4(23)JA10',
  '12.4(11)MD',
  '12.4(11)MD2',
  '12.4(24)MD1',
  '12.4(11)MD1',
  '12.4(24)MD',
  '12.4(11)MD10',
  '12.4(15)MD3',
  '12.4(24)MD3',
  '12.4(15)MD2',
  '12.4(11)MD5',
  '12.4(24)MD2',
  '12.4(11)MD9',
  '12.4(22)MD1',
  '12.4(15)MD5',
  '12.4(15)MD4',
  '12.4(22)MD2',
  '12.4(11)MD8',
  '12.4(11)MD7',
  '12.4(24)MD5',
  '12.4(15)MD',
  '12.4(15)MD1',
  '12.4(11)MD6',
  '12.4(22)MD',
  '12.4(11)MD4',
  '12.4(11)MD3',
  '12.4(24)MD4',
  '12.4(24)MD6',
  '12.4(24)MD7',
  '12.4(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)RB',
  '12.2(33)RB4',
  '12.2(33)RB5a',
  '12.2(33)RB3',
  '12.2(33)RB1',
  '12.2(33)RB7',
  '12.2(33)RB6',
  '12.2(33)RB5',
  '12.2(33)RB2',
  '12.3(8)JEB',
  '12.3(8)JEB1',
  '12.3(8)JE3',
  '12.2(25)FZ',
  '12.4(15)XF',
  '12.3(2)JL',
  '12.3(2)JL3',
  '12.3(2)JL1',
  '12.3(2)JL4',
  '12.3(2)JL2',
  '12.2(33)A2',
  '12.2(33)A1',
  '12.2(33)A',
  '12.2(33)R2',
  '12.2(33)R',
  '12.2(33)R3',
  '12.2(33)R5',
  '12.2(33)R6',
  '12.2(33)R4',
  '12.2(33)R1',
  '12.2(33)XH3a',
  '12.2(33)XH8a',
  '12.2(33)XH3',
  '12.2(33)XH4',
  '12.2(33)XH7',
  '12.2(33)XH',
  '12.2(33)XH8',
  '12.2(33)XH7v',
  '12.2(33)XH2a',
  '12.2(33)XH2',
  '12.2(33)XH1',
  '12.2(33)XH5',
  '12.2(33)XH0a',
  '12.2(33)XH7w',
  '12.2(33)XH6',
  '12.2(33)XH8b',
  '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)XQ2',
  '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)RA',
  '12.2(33)RB',
  '12.2(33)B9',
  '12.2(33)B',
  '12.2(33)B6',
  '12.2(33)B3',
  '12.2(33)B10',
  '12.2(33)B4',
  '12.2(33)B2',
  '12.2(33)B7',
  '12.2(33)B1',
  '12.2(33)B5',
  '12.2(33)B8',
  '12.2(33)B11',
  '12.2(33)RD7',
  '12.2(33)RD6',
  '12.2(33)RD4a',
  '12.2(33)RD2a',
  '12.2(33)RD4',
  '12.2(33)RD5',
  '12.2(33)RD3',
  '12.2(33)RD2',
  '12.2(33)RD1',
  '12.2(33)RD',
  '12.2(33)RD8',
  '12.2(33)TE0',
  '12.2(33)X2',
  '12.2(33)X3',
  '12.2(33)X5',
  '12.2(33)X4a',
  '12.2(33)X3a',
  '12.2(33)X4',
  '12.2(33)X2a',
  '12.2(33)X',
  '12.2(33)X3z',
  '12.2(33)X6',
  '12.2(33)X7',
  '12.2(33)X1',
  '12.2(33)X5a',
  '12.2(33)X8',
  '12.2(33)X9',
  '12.2(33)X8a',
  '12.2(33)X10',
  '12.2(33)X9a',
  '12.2(33)X11',
  '12.2(33)X12',
  '12.2(33)X13',
  '12.2(33)X14',
  '12.4(10b)JDA3',
  '12.4(10b)JDA',
  '12.4(10b)JDA2',
  '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)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(23)JY',
  '12.2(44)Q',
  '12.2(44)Q2',
  '12.2(50)Q2',
  '12.2(50)Q1',
  '12.2(50)Q',
  '12.2(50)Q3',
  '12.2(50)Q4',
  '12.2(50)Q5',
  '12.2(50)Q6',
  '12.2(50)Q7',
  '12.4(10b)JD',
  '12.4(10b)JDD',
  '12.2(33)R',
  '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.2(33)',
  '12.2(33)2',
  '12.2(33)6',
  '12.2(33)7',
  '12.2(33)5',
  '12.2(33)4',
  '12.2(33)3',
  '12.2(33)1',
  '12.2(33)D5',
  '12.2(33)D1',
  '12.2(33)D7',
  '12.2(33)D4',
  '12.2(33)D',
  '12.2(33)D6',
  '12.2(33)D3',
  '12.2(33)D2',
  '12.2(33)D8',
  '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',
  '12.2(33)RE1',
  '12.2(33)RE2',
  '12.2(33)RE3',
  '12.2(33)RE4',
  '12.2(33)RE',
  '12.2(33)RE0a',
  '12.2(33)RE5',
  '12.2(33)RE6',
  '12.2(33)RE8',
  '12.2(33)RE7',
  '12.2(33)RE9',
  '12.2(33)RE7a',
  '12.2(33)RE10',
  '12.2(33)RE11',
  '12.2(33)RE9a',
  '12.2(33)RE12',
  '12.2(33)RE13',
  '12.2(33)RE14',
  '12.2(33)RE15',
  '12.2(33)RE15a',
  '15.0(1)X1',
  '15.0(1)X',
  '15.0(2)X',
  '15.0(1)2',
  '15.0(1)1',
  '15.0(1)',
  '15.0(1)3a',
  '15.0(1)4',
  '15.0(1)5',
  '15.0(1)4a',
  '15.0(1)6',
  '12.2(33)RD',
  '12.2(33)RE',
  '12.2(33)RE2',
  '12.2(33)RE1',
  '12.2(33)MRA',
  '12.2(33)MRB5',
  '12.2(33)MRB2',
  '12.2(33)MRB1',
  '12.2(33)MRB4',
  '12.2(33)MRB',
  '12.2(33)MRB3',
  '12.2(33)MRB6',
  '12.4(21a)JHA',
  '12.4(21a)M1',
  '12.4(23b)M1',
  '12.4(5a)M0',
  '15.2(1)',
  '15.2(2)',
  '15.2(1)1',
  '15.2(4)',
  '15.2(1)2',
  '15.2(2)1',
  '15.2(2)2',
  '15.2(2)0a',
  '15.2(2)0',
  '15.2(2)0d',
  '15.2(4)1',
  '15.2(4)4',
  '15.2(4)6',
  '15.2(4)2',
  '15.2(4)5',
  '15.2(4)3',
  '15.2(4)0',
  '15.2(4)1',
  '15.2(4)3a',
  '15.2(4)4a',
  '15.2(4)7',
  '15.2(4)8',
  '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)W',
  '12.2(33)ZZ',
  '15.1(2)',
  '15.1(1)',
  '15.1(1)1',
  '15.1(3)',
  '15.1(1)2',
  '15.1(2)1',
  '15.1(2)2',
  '15.1(3)1',
  '15.1(3)0a',
  '15.1(3)2',
  '15.1(3)4',
  '15.1(3)3',
  '15.1(3)5',
  '15.1(3)6',
  '15.1(3)5a',
  '15.1(3)7',
  '12.2(15)Z1',
  '12.2(15)Z2',
  '12.2(15)Z3',
  '12.2(15)Z4',
  '12.2(15)Z5',
  '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)RF',
  '15.0(1)E',
  '15.0(2)E',
  '15.0(1)E1',
  '15.0(1)E2',
  '15.0(1)E3',
  '15.0(2)E1',
  '15.0(2)E2',
  '15.0(2)E3',
  '15.0(2)E4',
  '15.0(2)E5',
  '15.0(2)E6',
  '15.0(2)E7',
  '15.0(2)E8',
  '15.0(2)E9',
  '15.0(2a)E9',
  '15.0(2)E10',
  '15.0(2)E11',
  '15.0(2)E10a',
  '15.0(2)E12',
  '15.0(2)E13',
  '15.0(2)E13a',
  '15.1(2)G',
  '15.1(2)G1',
  '15.1(2)G2',
  '15.1(4)G',
  '15.1(4)G1',
  '15.1(4)G2',
  '15.0(1)Y',
  '15.0(1)Y1',
  '15.0(1)Y2',
  '15.0(1)Y3',
  '15.0(1)Y4',
  '15.0(1)Y5',
  '15.0(1)Y6',
  '15.0(1)Y7',
  '15.0(1)Y8',
  '15.0(1)Y7a',
  '15.0(1)Y9',
  '15.0(1)Y10',
  '12.2(33)XJ',
  '12.2(33)XJ1',
  '12.2(33)XJ2',
  '12.2(33)XJ3',
  '12.2(33)XJ4',
  '12.2(33)XJ5',
  '12.2(33)XJ6',
  '12.2(33)XJ7',
  '12.2(33)XJ8',
  '12.2(33)XJ9',
  '12.2(33)XJ10',
  '15.1(1)G',
  '15.1(2)G',
  '15.1(1)G1',
  '15.1(1)G2',
  '15.1(2)G1',
  '15.1(2)G2',
  '15.1(2)G3',
  '15.1(2)G4',
  '15.1(2)G5',
  '15.1(2)G6',
  '15.1(2)G7',
  '15.1(2)G8',
  '15.0(1)MR',
  '15.0(2)MR',
  '12.2(33)F',
  '12.2(33)F1',
  '12.2(33)F2',
  '12.2(33)F3',
  '12.2(33)F4',
  '12.2(33)F5',
  '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',
  '12.2(33)E',
  '12.2(33)E1',
  '12.2(33)E2',
  '12.2(33)E3',
  '12.2(33)E4',
  '12.2(33)E5',
  '12.2(33)E6',
  '15.0(2)G',
  '15.0(2)G1',
  '15.0(2)G2',
  '15.0(2)G3',
  '15.0(2)G4',
  '15.0(2)G5',
  '15.0(2)G6',
  '15.0(2)G7',
  '15.0(2)G8',
  '15.0(2)G9',
  '15.0(2)G10',
  '15.0(2)G11',
  '15.0(2)G11a',
  '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)T3',
  '12.2(33)RG',
  '12.2(33)RG1',
  '12.4(21a)JH',
  '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)G',
  '15.2(1)G1',
  '15.2(1)G2',
  '15.2(2)G',
  '15.2(3)G',
  '15.2(3)G1',
  '15.2(4)G',
  '15.2(4)G1',
  '15.2(4)G2',
  '15.2(4)G3',
  '12.4(25d)JAX',
  '12.4(25d)JAX1',
  '12.4(25e)JAX',
  '12.4(25e)JAX1',
  '12.4(25e)JAX2',
  '12.2(33)G',
  '12.2(33)G1',
  '12.2(33)G2',
  '12.2(33)G3',
  '12.2(33)G4',
  '12.2(33)G5',
  '12.2(33)G6',
  '12.2(33)G7',
  '12.2(33)RH',
  '12.2(33)RH1',
  '15.1(1)Y',
  '15.1(1)Y1',
  '15.1(2)Y',
  '15.1(2)Y1',
  '15.1(2)Y2',
  '15.1(1)Y2',
  '15.1(1)Y3',
  '15.1(2)Y3',
  '15.1(1)Y4',
  '15.1(2)Y4',
  '15.1(1)Y5',
  '15.1(2)Y5',
  '15.1(2)Y4a',
  '15.1(1)Y6',
  '15.1(2)Y6',
  '15.1(2)Y7',
  '15.1(2)Y8',
  '15.1(2)Y9',
  '15.1(2)Y10',
  '15.1(2)Y11',
  '15.1(2)Y12',
  '15.1(2)Y13',
  '15.1(2)Y14',
  '15.1(2)Y15',
  '15.3(1)',
  '15.3(2)',
  '15.3(3)',
  '15.3(1)2',
  '15.3(1)1',
  '15.3(2)2',
  '15.3(2)1',
  '15.3(1)1e',
  '15.3(3)1',
  '15.3(3)2',
  '15.3(3)3',
  '15.3(3)6',
  '15.3(3)4',
  '15.3(3)1a',
  '15.3(3)5',
  '15.3(3)2a',
  '15.3(3)7',
  '15.3(3)8',
  '15.3(3)6a',
  '15.3(3)9',
  '15.3(3)10',
  '15.3(3)8a',
  '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)JB',
  '12.2(33)H',
  '12.2(33)H1',
  '12.2(33)H2',
  '12.2(33)H0a',
  '12.2(33)H3',
  '12.2(33)H2a',
  '12.2(33)H4',
  '12.2(33)H5',
  '12.2(33)H6',
  '12.4(25e)JAL',
  '12.4(25e)JAL1',
  '12.4(25e)JAL2',
  '12.4(25e)JAL1a',
  '12.4(25e)JAM',
  '12.4(25e)JAM2',
  '12.4(25e)JAM3',
  '12.4(25e)JAM4',
  '12.4(25e)JAM5',
  '12.4(25e)JAM6',
  '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(2b)E',
  '15.2(4)E',
  '15.2(3)E1',
  '15.2(2)E2',
  '15.2(2a)E1',
  '15.2(2)E3',
  '15.2(2a)E2',
  '15.2(3)E2',
  '15.2(3a)E',
  '15.2(3)E3',
  '15.2(3m)E2',
  '15.2(4)E1',
  '15.2(2)E4',
  '15.2(2)E5',
  '15.2(4)E2',
  '15.2(4m)E1',
  '15.2(3)E4',
  '15.2(5)E',
  '15.2(3m)E7',
  '15.2(4)E3',
  '15.2(2)E6',
  '15.2(5a)E',
  '15.2(5)E1',
  '15.2(5b)E',
  '15.2(4m)E3',
  '15.2(3m)E8',
  '15.2(2)E5a',
  '15.2(5)E',
  '15.2(3)E5',
  '15.2(2)E5b',
  '15.2(4n)E2',
  '15.2(4)E2',
  '15.2(5a)E1',
  '15.2(4)E4',
  '15.2(2)E7',
  '15.2(5)E2',
  '15.2(4p)E1',
  '15.2(6)E',
  '15.2(5)E2b',
  '15.2(4)E5',
  '15.2(5)E2',
  '15.2(2)E8',
  '15.2(4m)E2',
  '15.2(4)E3',
  '15.2(4q)E1',
  '15.2(6)E0a',
  '15.2(6)E1',
  '15.2(2)E7b',
  '15.2(4)E5a',
  '15.2(6)E0',
  '15.2(4)E6',
  '15.2(6)E2',
  '15.2(2)E9',
  '15.2(6)E1a',
  '15.2(4)E7',
  '15.2(6)E1',
  '15.2(4)E1',
  '15.2(7)E',
  '15.2(2)E10',
  '15.2(4)E8',
  '15.2(2)E9a',
  '15.2(6)E2a',
  '15.2(6)E2b',
  '15.2(7)E0a',
  '15.2(7)E0b',
  '15.2(7)E0',
  '15.2(6)E3',
  '15.2(2)E10a',
  '15.2(4)E9',
  '15.1(3)MRA',
  '15.1(3)MRA1',
  '15.1(3)MRA2',
  '15.1(3)MRA3',
  '15.1(3)MRA4',
  '15.1(3)VB1',
  '15.1(3)VB2',
  '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)JB3',
  '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.4(1)',
  '15.4(2)',
  '15.4(3)',
  '15.4(1)1',
  '15.4(1)2',
  '15.4(2)1',
  '15.4(1)3',
  '15.4(3)1',
  '15.4(2)2',
  '15.4(3)2',
  '15.4(3)3',
  '15.4(1)4',
  '15.4(2)3',
  '15.4(2)4',
  '15.4(3)0d',
  '15.4(3)4',
  '15.4(3)0e',
  '15.4(3)5',
  '15.4(3)0f',
  '15.4(3)6',
  '15.4(3)7',
  '15.4(3)6a',
  '15.4(3)8',
  '15.4(3)9',
  '15.4(3)10',
  '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)M10',
  '15.3(3)M8a',
  '15.2(4)JN',
  '15.0(2)EZ',
  '15.2(1)1a',
  '15.2(2)',
  '15.2(2)1',
  '15.2(2)3',
  '15.2(2)4',
  '12.4(24)Y',
  '12.4(24)Y1',
  '12.4(24)Y2',
  '12.4(24)Y3',
  '12.4(24)Y4',
  '12.4(24)Y5',
  '12.4(24)Y6',
  '12.4(24)Y7',
  '12.4(24)Y8',
  '12.4(24)Y8a',
  '12.4(24)Y9',
  '12.4(24)Y10',
  '15.1(3)VD',
  '15.1(3)VD1',
  '15.1(3)VD2',
  '15.1(3)VD3',
  '15.2(1)EY',
  '15.0(2)EJ',
  '15.0(2)EJ1',
  '15.2(1)Y',
  '15.2(1)Y1',
  '15.2(1)Y0a',
  '15.2(1)Y2',
  '15.2(2)Y',
  '15.2(1)Y1a',
  '15.2(2)Y1',
  '15.2(2)Y2',
  '15.2(1)Y3',
  '15.2(1)Y4',
  '15.2(2)Y3',
  '15.2(1)Y5',
  '15.2(1)Y6',
  '15.2(1)Y7',
  '15.2(1)Y8',
  '15.2(5)EX',
  '15.1(3)VF',
  '15.1(3)VF1',
  '15.1(3)VF2',
  '15.1(3)VF2a',
  '15.1(3)VF4b',
  '15.1(3)VF4d',
  '15.1(3)VF4e',
  '15.1(3)VF4f',
  '15.1(3)VF4',
  '15.1(3)VE',
  '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.4(3)M8',
  '15.4(3)M9',
  '15.4(3)M10',
  '15.2(1)D1',
  '15.2(1)D2',
  '15.2(1)D3',
  '15.2(1)D4',
  '15.2(1)D6',
  '15.2(1)D6a',
  '15.2(1)D7',
  '15.2(1)D8',
  '12.4(25e)JA',
  '12.4(25e)JA1',
  '12.4(25e)JA2',
  '12.4(25e)JA3',
  '12.4(25e)JA4',
  '12.4(25e)JA5',
  '12.4(25e)JA6',
  '12.4(25e)JA5m',
  '12.4(25e)JA7',
  '15.2(4)JAZ',
  '15.2(4)JAZ1',
  '15.0(2)EK',
  '15.0(2)EK1',
  '15.3(3)XB12',
  '15.4(1)G',
  '15.4(1)G1',
  '15.4(2)G',
  '15.5(1)',
  '15.5(2)',
  '15.5(1)1',
  '15.5(3)',
  '15.5(1)2',
  '15.5(1)3',
  '15.5(2)1',
  '15.5(2)2',
  '15.5(3)1',
  '15.5(3)1a',
  '15.5(2)3',
  '15.5(3)2',
  '15.5(3)0a',
  '15.5(3)3',
  '15.5(1)4',
  '15.5(2)4',
  '15.5(3)4',
  '15.5(3)5',
  '15.5(3)6',
  '15.5(3)6a',
  '15.5(3)7',
  '15.5(3)6b',
  '15.5(3)8',
  '15.5(3)9',
  '15.5(3)10',
  '15.5(3)9a',
  '15.1(3)VG',
  '15.1(3)VG2',
  '15.1(3)VG3',
  '15.1(3)VG1b',
  '15.1(3)VG1',
  '15.1(3)VG3a',
  '15.1(3)VG3b',
  '15.1(3)VG3',
  '15.1(3)VG2a',
  '15.1(3)VG1a',
  '15.2(2)EB',
  '15.2(2)EB1',
  '15.2(2)EB2',
  '15.2(6)EB',
  '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.2(2)EA',
  '15.2(2)EA1',
  '15.2(2)EA2',
  '15.2(3)EA',
  '15.2(4)EA',
  '15.2(4)EA1',
  '15.2(2)EA3',
  '15.2(4)EA3',
  '15.2(5)EA',
  '15.2(4)EA4',
  '15.2(4)EA2',
  '15.2(4)EA5',
  '15.2(4)EA6',
  '15.2(4)EA7',
  '15.2(4)EA8',
  '15.2(4)EA9',
  '15.4(2)N',
  '15.4(2)N1',
  '15.4(3)N1',
  '15.4(3)N1a',
  '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.3(3)JN13',
  '15.3(3)JN14',
  '15.3(3)JN15',
  '15.1(3)VH',
  '15.1(3)VH2',
  '15.1(3)VH4',
  '15.1(3)VH4a',
  '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)M4',
  '15.5(3)M6',
  '15.5(3)M7',
  '15.5(3)M6a',
  '15.5(3)M8',
  '15.5(3)M9',
  '15.5(3)M10',
  '12.2(33)',
  '12.2(33)1',
  '12.2(33)1a',
  '12.2(33)2',
  '12.2(33)3',
  '12.2(33)2a',
  '12.4(25e)JAP',
  '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)JAP10',
  '12.4(25e)JAP11',
  '12.4(25e)JAP12',
  '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)JA12',
  '15.3(3)JAA',
  '15.3(3)JAA11',
  '15.3(3)JAA1',
  '15.3(3)JAA12',
  '15.3(3)JAB',
  '15.3(3)JB',
  '15.5(1)N',
  '15.5(1)N1',
  '15.5(2)N',
  '15.5(3)N0a',
  '15.5(3)N',
  '15.0(2)QD',
  '15.0(2)QD1',
  '15.0(2)QD2',
  '15.0(2)QD3',
  '15.0(2)QD4',
  '15.0(2)QD5',
  '15.0(2)QD6',
  '15.0(2)QD7',
  '15.0(2)QD8',
  '15.6(1)',
  '15.6(2)',
  '15.6(2)1',
  '15.6(1)1',
  '15.6(1)2',
  '15.6(2)2',
  '15.6(1)3',
  '15.6(2)3',
  '15.6(1)4',
  '15.6(2)4',
  '15.1(3)V2',
  '15.1(3)V1a',
  '15.1(3)V2a',
  '15.1(3)V3',
  '15.1(3)V31a',
  '15.1(3)V31b',
  '15.1(3)V3b',
  '15.1(3)V3',
  '15.6(1)T',
  '15.6(2)T',
  '15.6(1)T0a',
  '15.6(1)T1',
  '15.6(2)T1',
  '15.6(1)T2',
  '15.6(2)T0a',
  '15.6(2)T2',
  '15.6(1)T3',
  '15.6(2)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)J',
  '15.3(3)J1',
  '15.3(3)J2',
  '15.3(3)J3',
  '15.3(3)J4',
  '15.3(3)J5',
  '15.3(3)J6',
  '15.3(3)J8',
  '15.3(3)J9',
  '15.3(3)J14',
  '15.3(1)Y',
  '15.3(0)Y',
  '15.3(1)Y1',
  '15.3(1)Y2',
  '15.3(3)JN',
  '15.3(3)JN1',
  '15.3(3)JN2',
  '15.3(3)JN3',
  '15.3(3)JN4',
  '12.2(33)J',
  '12.2(33)J1a',
  '12.2(33)J2',
  '12.2(33)J2a',
  '12.2(33)J2b',
  '12.2(33)J2',
  '12.2(33)J3',
  '12.2(33)J4',
  '15.3(3)JNP',
  '15.3(3)JNP1',
  '15.3(3)JNP3',
  '15.5(2)XB',
  '15.6(2)P',
  '15.6(2)P1',
  '15.6(2)P2',
  '15.6(2)P3',
  '15.6(2)P4',
  '15.6(2)P5',
  '15.6(2)P6',
  '15.6(2)P7',
  '15.6(1)N',
  '15.6(1)N1',
  '15.6(2)N',
  '15.6(1)N2',
  '15.6(1)N3',
  '15.6(3)N',
  '15.6(4)N',
  '15.6(5)N',
  '15.6(6)N',
  '15.6(7)N',
  '15.6(7)N1',
  '15.6(7)N2',
  '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)JD5',
  '15.3(3)JD6',
  '15.3(3)JD7',
  '15.3(3)JD8',
  '15.3(3)JD9',
  '15.3(3)JD11',
  '15.3(3)JD12',
  '15.3(3)JD13',
  '15.3(3)JD14',
  '15.3(3)JD16',
  '15.3(3)JD17',
  '15.6(3)M',
  '15.6(3)M1',
  '15.6(3)M0a',
  '15.6(3)M1a',
  '15.6(3)M1b',
  '15.6(3)M2',
  '15.6(3)M2a',
  '15.6(3)M3',
  '15.6(3)M3a',
  '15.6(3)M4',
  '15.6(3)M5',
  '15.6(3)M6',
  '15.6(3)M7',
  '15.6(3)M6a',
  '15.6(3)M6b',
  '15.1(3)VJ',
  '15.1(3)VJ2',
  '15.2(4)E1',
  '15.2(4)E2',
  '15.3(3)JP',
  '15.3(3)JP1',
  '15.3(3)JP2',
  '15.3(3)JP3',
  '15.3(3)JP5',
  '15.3(3)JP99',
  '15.3(3)JND',
  '15.3(3)JND1',
  '15.3(3)JND2',
  '15.3(3)JND3',
  '15.4(1)Y',
  '15.4(1)Y1',
  '15.4(1)Y2',
  '15.4(1)Y3',
  '15.4(1)Y4',
  '15.3(3)JE',
  '15.3(3)JPD',
  '15.3(3)JDA7',
  '15.3(3)JDA8',
  '15.3(3)JDA9',
  '15.3(3)JDA11',
  '15.3(3)JDA12',
  '15.3(3)JDA13',
  '15.3(3)JDA14',
  '15.3(3)JDA16',
  '15.3(3)JDA17',
  '15.5(1)Y',
  '15.5(1)Y1',
  '15.5(1)Y2',
  '15.5(1)Y3',
  '15.5(1)Y4',
  '15.3(3)JF',
  '15.3(3)JF1',
  '15.3(3)JF2',
  '15.3(3)JF4',
  '15.3(3)JF5',
  '15.3(3)JF6',
  '15.3(3)JF7',
  '15.3(3)JF8',
  '15.3(3)JF9',
  '15.3(3)JF10',
  '15.3(3)JA7',
  '15.3(3)JA8',
  '15.3(3)JA9',
  '15.7(3)M',
  '15.7(3)M1',
  '15.7(3)M0a',
  '15.7(3)M3',
  '15.7(3)M2',
  '15.7(3)M4',
  '15.7(3)M5',
  '15.7(3)M4a',
  '15.7(3)M4b',
  '15.3(3)JG',
  '15.3(3)JG1',
  '15.3(3)JH',
  '15.3(3)JH1',
  '15.3(3)J1',
  '15.3(3)J3',
  '15.3(3)J4',
  '15.3(3)J5',
  '15.8(3)M',
  '15.8(3)M1',
  '15.8(3)M0a',
  '15.8(3)M0b',
  '15.8(3)M2',
  '15.8(3)M1a',
  '15.8(3)M3',
  '15.8(3)M2a',
  '15.8(3)M3a',
  '15.8(3)M3b',
  '12.2(6)1',
  '15.9(3)M',
  '15.9(3)M0a',
  '15.3(3)JK1',
  '15.3(3)JJ',
  '15.3(3)JJ1',
  '15.1(3)VR1',
  '15.1(3)VR2',
  '15.3(3)JP1',
  '15.3(3)JPJ',
  '15.3(3)JPJ2',
  '15.1(3)V'
);


workarounds = make_list(CISCO_WORKAROUNDS['HTTP_Server_iosxe']);
workaround_params = {'no_active_sessions' : 1};

reporting = make_array(
  'port'     , product_info['port'],
  'severity' , SECURITY_HOLE,
  'version'  , product_info['version'],
  'bug_id'   , 'CSCvq66030',
  'xsrf'     , TRUE
);

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