endf_mat/

mat.rs

//! ENDF MAT (material) number lookup.
//!
//! MAT numbers are the ENDF material identifiers used to retrieve evaluated
//! nuclear data files. This table covers 535 ground-state isotopes from the
//! ENDF/B-VIII.0 neutrons sublibrary.
//!
//! Data source: PLEIADES `neutrons.list` (ENDF/B-VIII.0), metastable states excluded.

/// Look up the ENDF MAT number for a ground-state isotope (Z, A).
///
/// Returns `None` if the isotope is not in the ENDF/B-VIII.0 neutrons sublibrary.
///
/// # Examples
/// ```
/// assert_eq!(endf_mat::mat_number(92, 235), Some(9228));
/// assert_eq!(endf_mat::mat_number(92, 238), Some(9237));
/// assert_eq!(endf_mat::mat_number(26, 56), Some(2631));
/// ```
pub fn mat_number(z: u32, a: u32) -> Option<u32> {
    // Binary search on (Z, A) key. Table is sorted by Z then A.
    ENDF_MAT_TABLE
        .binary_search_by(|&(tz, ta, _)| (tz, ta).cmp(&(z, a)))
        .ok()
        .map(|idx| ENDF_MAT_TABLE[idx].2)
}

/// Reverse lookup: MAT number → (Z, A).
///
/// Returns `None` if the MAT number is not in the table.
///
/// # Examples
/// ```
/// assert_eq!(endf_mat::isotope_from_mat(9228), Some((92, 235)));
/// assert_eq!(endf_mat::isotope_from_mat(9999), None);
/// ```
pub fn isotope_from_mat(mat: u32) -> Option<(u32, u32)> {
    // Linear scan — reverse lookups are rare.
    ENDF_MAT_TABLE
        .iter()
        .find(|&&(_, _, m)| m == mat)
        .map(|&(z, a, _)| (z, a))
}

/// All mass numbers with ENDF/B-VIII.0 evaluations for element Z.
///
/// Returns every A value in the MAT table for the given atomic number Z,
/// including synthetic and transuranic isotopes. Returns an empty `Vec`
/// for elements with no evaluations.
///
/// # Examples
/// ```
/// let pu = endf_mat::known_isotopes(94);
/// assert!(pu.contains(&239));
///
/// let tc = endf_mat::known_isotopes(43);
/// assert_eq!(tc, vec![98, 99]);
/// ```
pub fn known_isotopes(z: u32) -> Vec<u32> {
    let start = ENDF_MAT_TABLE.partition_point(|&(tz, _, _)| tz < z);
    ENDF_MAT_TABLE[start..]
        .iter()
        .take_while(|&&(tz, _, _)| tz == z)
        .map(|&(_, a, _)| a)
        .collect()
}

/// Whether the ENDF/B-VIII.0 neutrons sublibrary has an evaluation for (Z, A).
///
/// # Examples
/// ```
/// assert!(endf_mat::has_endf_evaluation(94, 239));  // Pu-239
/// assert!(!endf_mat::has_endf_evaluation(94, 999)); // no such isotope
/// ```
pub fn has_endf_evaluation(z: u32, a: u32) -> bool {
    mat_number(z, a).is_some()
}

/// All mass numbers with TENDL-2023 evaluations for element Z.
///
/// Counterpart to [`known_isotopes`] for the TENDL-2023 table (~2,300
/// ground-state isotopes; substantially more coverage than ENDF/B-VIII.0).
///
/// # Examples
/// ```
/// let fm = endf_mat::known_isotopes_tendl(100);
/// assert!(fm.contains(&247));        // Fm-247: TENDL-only
/// assert!(!endf_mat::known_isotopes(100).contains(&247));
/// ```
pub fn known_isotopes_tendl(z: u32) -> Vec<u32> {
    let start = TENDL_2023_MAT_TABLE.partition_point(|&(tz, _, _)| tz < z);
    TENDL_2023_MAT_TABLE[start..]
        .iter()
        .take_while(|&&(tz, _, _)| tz == z)
        .map(|&(_, a, _)| a)
        .collect()
}

/// Whether the TENDL-2023 neutrons sublibrary has an evaluation for (Z, A).
///
/// # Examples
/// ```
/// assert!(endf_mat::has_endf_evaluation_tendl(100, 247)); // Fm-247: TENDL-only
/// assert!(!endf_mat::has_endf_evaluation(100, 247));      // not in ENDF/B-VIII.0
/// ```
pub fn has_endf_evaluation_tendl(z: u32, a: u32) -> bool {
    mat_number_tendl(z, a).is_some()
}

/// All mass numbers with CENDL-3.2 evaluations for element Z.
///
/// Counterpart to [`known_isotopes`] for the CENDL-3.2 table (258
/// ground-state isotopes plus free neutron; smaller scope than ENDF/B-VIII.0). CENDL-3.2
/// has no Br evaluations — `known_isotopes_cendl(35)` returns an empty
/// `Vec`. Must be used wherever the GUI surfaces selectable isotopes
/// for the *currently selected* library.
///
/// # Examples
/// ```
/// let ba = endf_mat::known_isotopes_cendl(56);
/// assert_eq!(ba, vec![130, 132, 134, 135, 136, 137, 138]);
///
/// let br = endf_mat::known_isotopes_cendl(35);
/// assert!(br.is_empty()); // CENDL-3.2 has no Br evaluations
/// ```
pub fn known_isotopes_cendl(z: u32) -> Vec<u32> {
    let start = CENDL_3_2_MAT_TABLE.partition_point(|&(tz, _, _)| tz < z);
    CENDL_3_2_MAT_TABLE[start..]
        .iter()
        .take_while(|&&(tz, _, _)| tz == z)
        .map(|&(_, a, _)| a)
        .collect()
}

/// Whether the CENDL-3.2 neutrons sublibrary has an evaluation for (Z, A).
///
/// # Examples
/// ```
/// assert!(endf_mat::has_endf_evaluation_cendl(56, 138));  // Ba-138
/// assert!(!endf_mat::has_endf_evaluation_cendl(35, 79));  // Br-79: not in CENDL-3.2
/// ```
pub fn has_endf_evaluation_cendl(z: u32, a: u32) -> bool {
    mat_number_cendl(z, a).is_some()
}

// Auto-generated from ENDF/B-VIII.0 neutrons.list
// 535 ground-state isotopes (metastable states excluded)
// Format: (Z, A, MAT) — sorted by (Z, A)
#[rustfmt::skip]
static ENDF_MAT_TABLE: &[(u32, u32, u32)] = &[
    (0, 1, 25),
    (1, 1, 125),
    (1, 2, 128),
    (1, 3, 131),
    (2, 3, 225),
    (2, 4, 228),
    (3, 6, 325),
    (3, 7, 328),
    (4, 7, 419),
    (4, 9, 425),
    (5, 10, 525),
    (5, 11, 528),
    (6, 12, 625),
    (6, 13, 628),
    (7, 14, 725),
    (7, 15, 728),
    (8, 16, 825),
    (8, 17, 828),
    (8, 18, 831),
    (9, 19, 925),
    (10, 20, 1025),
    (10, 21, 1028),
    (10, 22, 1031),
    (11, 22, 1122),
    (11, 23, 1125),
    (12, 24, 1225),
    (12, 25, 1228),
    (12, 26, 1231),
    (13, 27, 1325),
    (14, 28, 1425),
    (14, 29, 1428),
    (14, 30, 1431),
    (14, 31, 1434),
    (14, 32, 1437),
    (15, 31, 1525),
    (16, 32, 1625),
    (16, 33, 1628),
    (16, 34, 1631),
    (16, 35, 1634),
    (16, 36, 1637),
    (17, 35, 1725),
    (17, 36, 1728),
    (17, 37, 1731),
    (18, 36, 1825),
    (18, 37, 1828),
    (18, 38, 1831),
    (18, 39, 1834),
    (18, 40, 1837),
    (18, 41, 1840),
    (19, 39, 1925),
    (19, 40, 1928),
    (19, 41, 1931),
    (20, 40, 2025),
    (20, 41, 2028),
    (20, 42, 2031),
    (20, 43, 2034),
    (20, 44, 2037),
    (20, 45, 2040),
    (20, 46, 2043),
    (20, 47, 2046),
    (20, 48, 2049),
    (21, 45, 2125),
    (22, 46, 2225),
    (22, 47, 2228),
    (22, 48, 2231),
    (22, 49, 2234),
    (22, 50, 2237),
    (23, 49, 2322),
    (23, 50, 2325),
    (23, 51, 2328),
    (24, 50, 2425),
    (24, 51, 2428),
    (24, 52, 2431),
    (24, 53, 2434),
    (24, 54, 2437),
    (25, 54, 2522),
    (25, 55, 2525),
    (26, 54, 2625),
    (26, 55, 2628),
    (26, 56, 2631),
    (26, 57, 2634),
    (26, 58, 2637),
    (27, 58, 2722),
    (27, 59, 2725),
    (28, 58, 2825),
    (28, 59, 2828),
    (28, 60, 2831),
    (28, 61, 2834),
    (28, 62, 2837),
    (28, 63, 2840),
    (28, 64, 2843),
    (29, 63, 2925),
    (29, 64, 2928),
    (29, 65, 2931),
    (30, 64, 3025),
    (30, 65, 3028),
    (30, 66, 3031),
    (30, 67, 3034),
    (30, 68, 3037),
    (30, 69, 3040),
    (30, 70, 3043),
    (31, 69, 3125),
    (31, 70, 3128),
    (31, 71, 3131),
    (32, 70, 3225),
    (32, 71, 3228),
    (32, 72, 3231),
    (32, 73, 3234),
    (32, 74, 3237),
    (32, 75, 3240),
    (32, 76, 3243),
    (33, 73, 3319),
    (33, 74, 3322),
    (33, 75, 3325),
    (34, 74, 3425),
    (34, 75, 3428),
    (34, 76, 3431),
    (34, 77, 3434),
    (34, 78, 3437),
    (34, 79, 3440),
    (34, 80, 3443),
    (34, 81, 3446),
    (34, 82, 3449),
    (35, 79, 3525),
    (35, 80, 3528),
    (35, 81, 3531),
    (36, 78, 3625),
    (36, 79, 3628),
    (36, 80, 3631),
    (36, 81, 3634),
    (36, 82, 3637),
    (36, 83, 3640),
    (36, 84, 3643),
    (36, 85, 3646),
    (36, 86, 3649),
    (37, 85, 3725),
    (37, 86, 3728),
    (37, 87, 3731),
    (38, 84, 3825),
    (38, 85, 3828),
    (38, 86, 3831),
    (38, 87, 3834),
    (38, 88, 3837),
    (38, 89, 3840),
    (38, 90, 3843),
    (39, 89, 3925),
    (39, 90, 3928),
    (39, 91, 3931),
    (40, 90, 4025),
    (40, 91, 4028),
    (40, 92, 4031),
    (40, 93, 4034),
    (40, 94, 4037),
    (40, 95, 4040),
    (40, 96, 4043),
    (41, 93, 4125),
    (41, 94, 4128),
    (41, 95, 4131),
    (42, 92, 4225),
    (42, 93, 4228),
    (42, 94, 4231),
    (42, 95, 4234),
    (42, 96, 4237),
    (42, 97, 4240),
    (42, 98, 4243),
    (42, 99, 4246),
    (42, 100, 4249),
    (43, 98, 4322),
    (43, 99, 4325),
    (44, 96, 4425),
    (44, 97, 4428),
    (44, 98, 4431),
    (44, 99, 4434),
    (44, 100, 4437),
    (44, 101, 4440),
    (44, 102, 4443),
    (44, 103, 4446),
    (44, 104, 4449),
    (44, 105, 4452),
    (44, 106, 4455),
    (45, 103, 4525),
    (45, 104, 4528),
    (45, 105, 4531),
    (46, 102, 4625),
    (46, 103, 4628),
    (46, 104, 4631),
    (46, 105, 4634),
    (46, 106, 4637),
    (46, 107, 4640),
    (46, 108, 4643),
    (46, 109, 4646),
    (46, 110, 4649),
    (47, 107, 4725),
    (47, 108, 4728),
    (47, 109, 4731),
    (47, 111, 4737),
    (47, 112, 4740),
    (47, 113, 4743),
    (47, 114, 4746),
    (47, 115, 4749),
    (47, 116, 4752),
    (47, 117, 4755),
    (48, 106, 4825),
    (48, 107, 4828),
    (48, 108, 4831),
    (48, 109, 4834),
    (48, 110, 4837),
    (48, 111, 4840),
    (48, 112, 4843),
    (48, 113, 4846),
    (48, 114, 4849),
    (48, 116, 4855),
    (49, 113, 4925),
    (49, 114, 4928),
    (49, 115, 4931),
    (50, 112, 5025),
    (50, 113, 5028),
    (50, 114, 5031),
    (50, 115, 5034),
    (50, 116, 5037),
    (50, 117, 5040),
    (50, 118, 5043),
    (50, 119, 5046),
    (50, 120, 5049),
    (50, 122, 5055),
    (50, 123, 5058),
    (50, 124, 5061),
    (50, 125, 5064),
    (50, 126, 5067),
    (51, 121, 5125),
    (51, 122, 5128),
    (51, 123, 5131),
    (51, 124, 5134),
    (51, 125, 5137),
    (51, 126, 5140),
    (52, 120, 5225),
    (52, 121, 5228),
    (52, 122, 5231),
    (52, 123, 5234),
    (52, 124, 5237),
    (52, 125, 5240),
    (52, 126, 5243),
    (52, 128, 5249),
    (52, 130, 5255),
    (52, 131, 5258),
    (52, 132, 5261),
    (53, 127, 5325),
    (53, 128, 5328),
    (53, 129, 5331),
    (53, 130, 5334),
    (53, 131, 5337),
    (53, 132, 5340),
    (53, 133, 5343),
    (53, 134, 5346),
    (53, 135, 5349),
    (54, 123, 5422),
    (54, 124, 5425),
    (54, 125, 5428),
    (54, 126, 5431),
    (54, 127, 5434),
    (54, 128, 5437),
    (54, 129, 5440),
    (54, 130, 5443),
    (54, 131, 5446),
    (54, 132, 5449),
    (54, 133, 5452),
    (54, 134, 5455),
    (54, 135, 5458),
    (54, 136, 5461),
    (55, 133, 5525),
    (55, 134, 5528),
    (55, 135, 5531),
    (55, 136, 5534),
    (55, 137, 5537),
    (56, 130, 5625),
    (56, 131, 5628),
    (56, 132, 5631),
    (56, 133, 5634),
    (56, 134, 5637),
    (56, 135, 5640),
    (56, 136, 5643),
    (56, 137, 5646),
    (56, 138, 5649),
    (56, 139, 5652),
    (56, 140, 5655),
    (57, 138, 5725),
    (57, 139, 5728),
    (57, 140, 5731),
    (58, 136, 5825),
    (58, 137, 5828),
    (58, 138, 5831),
    (58, 139, 5834),
    (58, 140, 5837),
    (58, 141, 5840),
    (58, 142, 5843),
    (58, 143, 5846),
    (58, 144, 5849),
    (59, 141, 5925),
    (59, 142, 5928),
    (59, 143, 5931),
    (60, 142, 6025),
    (60, 143, 6028),
    (60, 144, 6031),
    (60, 145, 6034),
    (60, 146, 6037),
    (60, 147, 6040),
    (60, 148, 6043),
    (60, 149, 6046),
    (60, 150, 6049),
    (61, 143, 6137),
    (61, 144, 6140),
    (61, 145, 6143),
    (61, 146, 6146),
    (61, 147, 6149),
    (61, 148, 6152),
    (61, 149, 6155),
    (61, 150, 6158),
    (61, 151, 6161),
    (62, 144, 6225),
    (62, 145, 6228),
    (62, 146, 6231),
    (62, 147, 6234),
    (62, 148, 6237),
    (62, 149, 6240),
    (62, 150, 6243),
    (62, 151, 6246),
    (62, 152, 6249),
    (62, 153, 6252),
    (62, 154, 6255),
    (63, 151, 6325),
    (63, 152, 6328),
    (63, 153, 6331),
    (63, 154, 6334),
    (63, 155, 6337),
    (63, 156, 6340),
    (63, 157, 6343),
    (64, 152, 6425),
    (64, 153, 6428),
    (64, 154, 6431),
    (64, 155, 6434),
    (64, 156, 6437),
    (64, 157, 6440),
    (64, 158, 6443),
    (64, 159, 6446),
    (64, 160, 6449),
    (65, 158, 6522),
    (65, 159, 6525),
    (65, 160, 6528),
    (65, 161, 6531),
    (66, 154, 6619),
    (66, 155, 6622),
    (66, 156, 6625),
    (66, 157, 6628),
    (66, 158, 6631),
    (66, 159, 6634),
    (66, 160, 6637),
    (66, 161, 6640),
    (66, 162, 6643),
    (66, 163, 6646),
    (66, 164, 6649),
    (67, 165, 6725),
    (68, 162, 6825),
    (68, 163, 6828),
    (68, 164, 6831),
    (68, 165, 6834),
    (68, 166, 6837),
    (68, 167, 6840),
    (68, 168, 6843),
    (68, 169, 6846),
    (68, 170, 6849),
    (69, 168, 6922),
    (69, 169, 6925),
    (69, 170, 6928),
    (69, 171, 6931),
    (70, 168, 7025),
    (70, 169, 7028),
    (70, 170, 7031),
    (70, 171, 7034),
    (70, 172, 7037),
    (70, 173, 7040),
    (70, 174, 7043),
    (70, 175, 7046),
    (70, 176, 7049),
    (71, 175, 7125),
    (71, 176, 7128),
    (72, 174, 7225),
    (72, 175, 7228),
    (72, 176, 7231),
    (72, 177, 7234),
    (72, 178, 7237),
    (72, 179, 7240),
    (72, 180, 7243),
    (72, 181, 7246),
    (72, 182, 7249),
    (73, 180, 7325),
    (73, 181, 7328),
    (73, 182, 7331),
    (74, 180, 7425),
    (74, 181, 7428),
    (74, 182, 7431),
    (74, 183, 7434),
    (74, 184, 7437),
    (74, 185, 7440),
    (74, 186, 7443),
    (75, 185, 7525),
    (75, 187, 7531),
    (76, 184, 7625),
    (76, 185, 7628),
    (76, 186, 7631),
    (76, 187, 7634),
    (76, 188, 7637),
    (76, 189, 7640),
    (76, 190, 7643),
    (76, 191, 7646),
    (76, 192, 7649),
    (77, 191, 7725),
    (77, 192, 7728),
    (77, 193, 7731),
    (78, 190, 7825),
    (78, 191, 7828),
    (78, 192, 7831),
    (78, 193, 7834),
    (78, 194, 7837),
    (78, 195, 7840),
    (78, 196, 7843),
    (78, 197, 7846),
    (78, 198, 7849),
    (79, 197, 7925),
    (80, 196, 8025),
    (80, 197, 8028),
    (80, 198, 8031),
    (80, 199, 8034),
    (80, 200, 8037),
    (80, 201, 8040),
    (80, 202, 8043),
    (80, 203, 8046),
    (80, 204, 8049),
    (81, 203, 8125),
    (81, 204, 8128),
    (81, 205, 8131),
    (82, 204, 8225),
    (82, 205, 8228),
    (82, 206, 8231),
    (82, 207, 8234),
    (82, 208, 8237),
    (83, 209, 8325),
    (84, 208, 8431),
    (84, 209, 8434),
    (84, 210, 8437),
    (88, 223, 8825),
    (88, 224, 8828),
    (88, 225, 8831),
    (88, 226, 8834),
    (89, 225, 8925),
    (89, 226, 8928),
    (89, 227, 8931),
    (90, 227, 9025),
    (90, 228, 9028),
    (90, 229, 9031),
    (90, 230, 9034),
    (90, 231, 9037),
    (90, 232, 9040),
    (90, 233, 9043),
    (90, 234, 9046),
    (91, 229, 9125),
    (91, 230, 9128),
    (91, 231, 9131),
    (91, 232, 9134),
    (91, 233, 9137),
    (92, 230, 9213),
    (92, 231, 9216),
    (92, 232, 9219),
    (92, 233, 9222),
    (92, 234, 9225),
    (92, 235, 9228),
    (92, 236, 9231),
    (92, 237, 9234),
    (92, 238, 9237),
    (92, 239, 9240),
    (92, 240, 9243),
    (92, 241, 9246),
    (93, 234, 9337),
    (93, 235, 9340),
    (93, 236, 9343),
    (93, 237, 9346),
    (93, 238, 9349),
    (93, 239, 9352),
    (94, 236, 9428),
    (94, 237, 9431),
    (94, 238, 9434),
    (94, 239, 9437),
    (94, 240, 9440),
    (94, 241, 9443),
    (94, 242, 9446),
    (94, 243, 9449),
    (94, 244, 9452),
    (94, 245, 9455),
    (94, 246, 9458),
    (95, 240, 9540),
    (95, 241, 9543),
    (95, 242, 9546),
    (95, 243, 9549),
    (95, 244, 9552),
    (96, 240, 9625),
    (96, 241, 9628),
    (96, 242, 9631),
    (96, 243, 9634),
    (96, 244, 9637),
    (96, 245, 9640),
    (96, 246, 9643),
    (96, 247, 9646),
    (96, 248, 9649),
    (96, 249, 9652),
    (96, 250, 9655),
    (97, 245, 9740),
    (97, 246, 9743),
    (97, 247, 9746),
    (97, 248, 9749),
    (97, 249, 9752),
    (97, 250, 9755),
    (98, 246, 9843),
    (98, 247, 9846),
    (98, 248, 9849),
    (98, 249, 9852),
    (98, 250, 9855),
    (98, 251, 9858),
    (98, 252, 9861),
    (98, 253, 9864),
    (98, 254, 9867),
    (99, 251, 9911),
    (99, 252, 9912),
    (99, 253, 9913),
    (99, 254, 9914),
    (99, 255, 9916),
    (100, 255, 9936),
];

/// Look up the TENDL-2023 MAT number for a ground-state isotope (Z, A).
///
/// TENDL-2023 covers ~2,300 ground-state isotopes (Z=1 H to Z=115 Mc),
/// substantially more than the ENDF/B-VIII.0 535 covered by [`mat_number`].
/// Returns `None` for isotopes outside the TENDL-2023 neutrons sublibrary.
///
/// MAT numbers are *almost* identical to ENDF/B-VIII.0 for shared isotopes,
/// with one known exception: Es-255 is MAT 9915 in TENDL-2023 vs. MAT 9916
/// in ENDF/B-VIII.0. Use this function (not [`mat_number`]) when constructing
/// TENDL-2023 retrieval URLs.
///
/// # Examples
/// ```
/// assert_eq!(endf_mat::mat_number_tendl(92, 235), Some(9228));
/// assert_eq!(endf_mat::mat_number_tendl(99, 255), Some(9915));  // TENDL-specific
/// assert_eq!(endf_mat::mat_number_tendl(100, 247), Some(9928)); // Fm-247: not in ENDF/B-VIII.0
/// ```
pub fn mat_number_tendl(z: u32, a: u32) -> Option<u32> {
    TENDL_2023_MAT_TABLE
        .binary_search_by(|&(tz, ta, _)| (tz, ta).cmp(&(z, a)))
        .ok()
        .map(|idx| TENDL_2023_MAT_TABLE[idx].2)
}

/// Look up the CENDL-3.2 MAT number for a ground-state isotope (Z, A).
///
/// CENDL-3.2 covers 258 ground-state isotopes (Z=1 H to Z=98 Cf, with
/// Br absent) plus the free neutron, narrower coverage than both ENDF/B-VIII.0 and TENDL-2023.
/// Returns `None` for isotopes outside the CENDL-3.2 neutrons sublibrary.
///
/// MAT numbers are identical to ENDF/B-VIII.0 for shared isotopes —
/// no documented divergences (unlike TENDL-2023's Es-255 case). Use
/// this function when constructing CENDL-3.2 retrieval URLs.
///
/// # Examples
/// ```
/// assert_eq!(endf_mat::mat_number_cendl(56, 138), Some(5649)); // Ba-138
/// assert_eq!(endf_mat::mat_number_cendl(72, 177), Some(7234)); // Hf-177
/// assert_eq!(endf_mat::mat_number_cendl(35, 79), None);        // Br-79: not in CENDL-3.2
/// ```
pub fn mat_number_cendl(z: u32, a: u32) -> Option<u32> {
    CENDL_3_2_MAT_TABLE
        .binary_search_by(|&(tz, ta, _)| (tz, ta).cmp(&(z, a)))
        .ok()
        .map(|idx| CENDL_3_2_MAT_TABLE[idx].2)
}

// Auto-generated by crates/endf-mat/scripts/regenerate_tendl_table.sh
// Source: https://www-nds.iaea.org/public/download-endf/TENDL-2023/n/
// 2300 ground-state isotopes from the TENDL-2023 neutrons sublibrary.
// Format: (Z, A, MAT) — sorted by (Z, A). Re-run the regenerator if the
// upstream listing changes; do NOT edit by hand.
#[rustfmt::skip]
static TENDL_2023_MAT_TABLE: &[(u32, u32, u32)] = &[
    (1, 1, 125),
    (1, 2, 128),
    (1, 3, 131),
    (2, 3, 225),
    (2, 4, 228),
    (3, 6, 325),
    (3, 7, 328),
    (4, 7, 419),
    (4, 9, 425),
    (4, 10, 428),
    (4, 11, 431),
    (5, 10, 525),
    (5, 11, 528),
    (6, 10, 619),
    (6, 11, 622),
    (6, 12, 625),
    (6, 13, 628),
    (6, 14, 631),
    (6, 15, 634),
    (7, 13, 722),
    (7, 14, 725),
    (7, 15, 728),
    (7, 16, 731),
    (7, 17, 734),
    (8, 14, 819),
    (8, 15, 822),
    (8, 16, 825),
    (8, 17, 828),
    (8, 18, 831),
    (8, 19, 834),
    (8, 20, 837),
    (8, 21, 840),
    (8, 22, 843),
    (9, 17, 919),
    (9, 18, 922),
    (9, 19, 925),
    (9, 20, 928),
    (9, 21, 931),
    (9, 22, 934),
    (9, 23, 937),
    (10, 18, 1019),
    (10, 19, 1022),
    (10, 20, 1025),
    (10, 21, 1028),
    (10, 22, 1031),
    (10, 23, 1034),
    (10, 24, 1037),
    (11, 21, 1119),
    (11, 22, 1122),
    (11, 23, 1125),
    (11, 24, 1128),
    (11, 25, 1131),
    (11, 26, 1134),
    (12, 22, 1219),
    (12, 23, 1222),
    (12, 24, 1225),
    (12, 25, 1228),
    (12, 26, 1231),
    (12, 27, 1234),
    (12, 28, 1237),
    (12, 29, 1240),
    (13, 24, 1316),
    (13, 25, 1319),
    (13, 26, 1322),
    (13, 27, 1325),
    (13, 28, 1328),
    (13, 29, 1331),
    (13, 30, 1334),
    (14, 26, 1419),
    (14, 27, 1422),
    (14, 28, 1425),
    (14, 29, 1428),
    (14, 30, 1431),
    (14, 31, 1434),
    (14, 32, 1437),
    (14, 33, 1440),
    (14, 34, 1443),
    (15, 29, 1519),
    (15, 30, 1522),
    (15, 31, 1525),
    (15, 32, 1528),
    (15, 33, 1531),
    (15, 34, 1534),
    (15, 35, 1537),
    (15, 36, 1540),
    (15, 37, 1543),
    (16, 30, 1619),
    (16, 31, 1622),
    (16, 32, 1625),
    (16, 33, 1628),
    (16, 34, 1631),
    (16, 35, 1634),
    (16, 36, 1637),
    (16, 37, 1640),
    (16, 38, 1643),
    (16, 39, 1646),
    (16, 40, 1649),
    (16, 41, 1652),
    (16, 42, 1655),
    (17, 33, 1719),
    (17, 34, 1722),
    (17, 35, 1725),
    (17, 36, 1728),
    (17, 37, 1731),
    (17, 38, 1734),
    (17, 39, 1737),
    (17, 40, 1740),
    (17, 41, 1743),
    (17, 42, 1746),
    (17, 43, 1749),
    (18, 35, 1822),
    (18, 36, 1825),
    (18, 37, 1828),
    (18, 38, 1831),
    (18, 39, 1834),
    (18, 40, 1837),
    (18, 41, 1840),
    (18, 42, 1843),
    (18, 43, 1846),
    (18, 44, 1849),
    (18, 45, 1852),
    (18, 46, 1855),
    (18, 47, 1858),
    (19, 37, 1919),
    (19, 38, 1922),
    (19, 39, 1925),
    (19, 40, 1928),
    (19, 41, 1931),
    (19, 42, 1934),
    (19, 43, 1937),
    (19, 44, 1940),
    (19, 45, 1943),
    (19, 46, 1946),
    (19, 47, 1949),
    (19, 48, 1952),
    (19, 49, 1955),
    (20, 40, 2025),
    (20, 41, 2028),
    (20, 42, 2031),
    (20, 43, 2034),
    (20, 44, 2037),
    (20, 45, 2040),
    (20, 46, 2043),
    (20, 47, 2046),
    (20, 48, 2049),
    (20, 49, 2052),
    (20, 50, 2055),
    (20, 51, 2058),
    (20, 52, 2061),
    (21, 43, 2119),
    (21, 44, 2122),
    (21, 45, 2125),
    (21, 46, 2128),
    (21, 47, 2131),
    (21, 48, 2134),
    (21, 49, 2137),
    (21, 50, 2140),
    (21, 51, 2143),
    (21, 52, 2146),
    (21, 53, 2149),
    (22, 44, 2219),
    (22, 45, 2222),
    (22, 46, 2225),
    (22, 47, 2228),
    (22, 48, 2231),
    (22, 49, 2234),
    (22, 50, 2237),
    (22, 51, 2240),
    (22, 52, 2243),
    (22, 53, 2246),
    (22, 54, 2249),
    (22, 55, 2252),
    (23, 47, 2316),
    (23, 48, 2319),
    (23, 49, 2322),
    (23, 50, 2325),
    (23, 51, 2328),
    (23, 52, 2331),
    (23, 53, 2334),
    (23, 54, 2337),
    (23, 55, 2340),
    (24, 48, 2419),
    (24, 49, 2422),
    (24, 50, 2425),
    (24, 51, 2428),
    (24, 52, 2431),
    (24, 53, 2434),
    (24, 54, 2437),
    (24, 55, 2440),
    (24, 56, 2443),
    (24, 57, 2446),
    (24, 58, 2449),
    (24, 59, 2452),
    (25, 51, 2513),
    (25, 52, 2516),
    (25, 53, 2519),
    (25, 54, 2522),
    (25, 55, 2525),
    (25, 56, 2528),
    (25, 57, 2531),
    (25, 58, 2534),
    (25, 59, 2537),
    (26, 52, 2619),
    (26, 53, 2622),
    (26, 54, 2625),
    (26, 55, 2628),
    (26, 56, 2631),
    (26, 57, 2634),
    (26, 58, 2637),
    (26, 59, 2640),
    (26, 60, 2643),
    (26, 61, 2646),
    (26, 62, 2649),
    (26, 63, 2652),
    (26, 64, 2655),
    (27, 55, 2713),
    (27, 56, 2716),
    (27, 57, 2719),
    (27, 58, 2722),
    (27, 59, 2725),
    (27, 60, 2728),
    (27, 61, 2731),
    (27, 62, 2734),
    (27, 63, 2737),
    (27, 65, 2743),
    (28, 56, 2819),
    (28, 57, 2822),
    (28, 58, 2825),
    (28, 59, 2828),
    (28, 60, 2831),
    (28, 61, 2834),
    (28, 62, 2837),
    (28, 63, 2840),
    (28, 64, 2843),
    (28, 65, 2846),
    (28, 66, 2849),
    (28, 67, 2852),
    (28, 68, 2855),
    (28, 69, 2858),
    (28, 70, 2861),
    (28, 71, 2864),
    (28, 72, 2867),
    (29, 58, 2910),
    (29, 59, 2913),
    (29, 60, 2916),
    (29, 61, 2919),
    (29, 62, 2922),
    (29, 63, 2925),
    (29, 64, 2928),
    (29, 65, 2931),
    (29, 66, 2934),
    (29, 67, 2937),
    (29, 68, 2940),
    (29, 69, 2943),
    (29, 70, 2946),
    (29, 71, 2949),
    (29, 72, 2952),
    (29, 73, 2955),
    (29, 74, 2958),
    (29, 75, 2961),
    (30, 60, 3013),
    (30, 61, 3016),
    (30, 62, 3019),
    (30, 63, 3022),
    (30, 64, 3025),
    (30, 65, 3028),
    (30, 66, 3031),
    (30, 67, 3034),
    (30, 68, 3037),
    (30, 69, 3040),
    (30, 70, 3043),
    (30, 71, 3046),
    (30, 72, 3049),
    (30, 73, 3052),
    (30, 74, 3055),
    (30, 75, 3058),
    (30, 76, 3061),
    (30, 77, 3064),
    (30, 78, 3067),
    (31, 63, 3107),
    (31, 64, 3110),
    (31, 65, 3113),
    (31, 66, 3116),
    (31, 67, 3119),
    (31, 68, 3122),
    (31, 69, 3125),
    (31, 70, 3128),
    (31, 71, 3131),
    (31, 72, 3134),
    (31, 73, 3137),
    (31, 74, 3140),
    (31, 75, 3143),
    (31, 76, 3146),
    (31, 77, 3149),
    (31, 78, 3152),
    (31, 79, 3155),
    (31, 80, 3158),
    (31, 81, 3161),
    (32, 64, 3207),
    (32, 65, 3210),
    (32, 66, 3213),
    (32, 67, 3216),
    (32, 68, 3219),
    (32, 69, 3222),
    (32, 70, 3225),
    (32, 71, 3228),
    (32, 72, 3231),
    (32, 73, 3234),
    (32, 74, 3237),
    (32, 75, 3240),
    (32, 76, 3243),
    (32, 77, 3246),
    (32, 78, 3249),
    (32, 79, 3252),
    (32, 80, 3255),
    (32, 81, 3258),
    (32, 82, 3261),
    (32, 83, 3264),
    (33, 67, 3301),
    (33, 68, 3304),
    (33, 69, 3307),
    (33, 70, 3310),
    (33, 71, 3313),
    (33, 72, 3316),
    (33, 73, 3319),
    (33, 74, 3322),
    (33, 75, 3325),
    (33, 76, 3328),
    (33, 77, 3331),
    (33, 78, 3334),
    (33, 79, 3337),
    (33, 80, 3340),
    (33, 81, 3343),
    (33, 82, 3346),
    (33, 83, 3349),
    (33, 84, 3352),
    (33, 85, 3355),
    (34, 68, 3407),
    (34, 69, 3410),
    (34, 70, 3413),
    (34, 71, 3416),
    (34, 72, 3419),
    (34, 73, 3422),
    (34, 74, 3425),
    (34, 75, 3428),
    (34, 76, 3431),
    (34, 77, 3434),
    (34, 78, 3437),
    (34, 79, 3440),
    (34, 80, 3443),
    (34, 81, 3446),
    (34, 82, 3449),
    (34, 83, 3452),
    (34, 84, 3455),
    (34, 85, 3458),
    (34, 86, 3461),
    (34, 87, 3464),
    (34, 88, 3467),
    (35, 71, 3501),
    (35, 72, 3504),
    (35, 73, 3507),
    (35, 74, 3510),
    (35, 75, 3513),
    (35, 76, 3516),
    (35, 77, 3519),
    (35, 78, 3522),
    (35, 79, 3525),
    (35, 80, 3528),
    (35, 81, 3531),
    (35, 82, 3534),
    (35, 83, 3537),
    (35, 84, 3540),
    (35, 85, 3543),
    (35, 86, 3546),
    (35, 87, 3549),
    (35, 88, 3552),
    (35, 89, 3555),
    (35, 90, 3558),
    (36, 72, 3607),
    (36, 73, 3610),
    (36, 74, 3613),
    (36, 75, 3616),
    (36, 76, 3619),
    (36, 77, 3622),
    (36, 78, 3625),
    (36, 79, 3628),
    (36, 80, 3631),
    (36, 81, 3634),
    (36, 82, 3637),
    (36, 83, 3640),
    (36, 84, 3643),
    (36, 85, 3646),
    (36, 86, 3649),
    (36, 87, 3652),
    (36, 88, 3655),
    (36, 89, 3658),
    (36, 90, 3661),
    (36, 91, 3664),
    (36, 92, 3667),
    (36, 93, 3670),
    (37, 75, 3695),
    (37, 76, 3698),
    (37, 77, 3701),
    (37, 78, 3704),
    (37, 79, 3707),
    (37, 80, 3710),
    (37, 81, 3713),
    (37, 82, 3716),
    (37, 83, 3719),
    (37, 84, 3722),
    (37, 85, 3725),
    (37, 86, 3728),
    (37, 87, 3731),
    (37, 88, 3734),
    (37, 89, 3737),
    (37, 90, 3740),
    (37, 91, 3743),
    (37, 92, 3746),
    (37, 93, 3749),
    (37, 94, 3752),
    (38, 76, 3801),
    (38, 77, 3804),
    (38, 78, 3807),
    (38, 79, 3810),
    (38, 80, 3813),
    (38, 81, 3816),
    (38, 82, 3819),
    (38, 83, 3822),
    (38, 84, 3825),
    (38, 85, 3828),
    (38, 86, 3831),
    (38, 87, 3834),
    (38, 88, 3837),
    (38, 89, 3840),
    (38, 90, 3843),
    (38, 91, 3846),
    (38, 92, 3849),
    (38, 93, 3852),
    (38, 94, 3855),
    (38, 95, 3858),
    (38, 96, 3861),
    (39, 79, 3895),
    (39, 80, 3898),
    (39, 81, 3901),
    (39, 82, 3904),
    (39, 83, 3907),
    (39, 84, 3910),
    (39, 85, 3913),
    (39, 86, 3916),
    (39, 87, 3919),
    (39, 88, 3922),
    (39, 89, 3925),
    (39, 90, 3928),
    (39, 91, 3931),
    (39, 92, 3934),
    (39, 93, 3937),
    (39, 94, 3940),
    (39, 95, 3943),
    (39, 96, 3946),
    (39, 97, 3949),
    (39, 99, 3955),
    (40, 80, 3995),
    (40, 81, 3998),
    (40, 82, 4001),
    (40, 83, 4004),
    (40, 84, 4007),
    (40, 85, 4010),
    (40, 86, 4013),
    (40, 87, 4016),
    (40, 88, 4019),
    (40, 89, 4022),
    (40, 90, 4025),
    (40, 91, 4028),
    (40, 92, 4031),
    (40, 93, 4034),
    (40, 94, 4037),
    (40, 95, 4040),
    (40, 96, 4043),
    (40, 97, 4046),
    (40, 98, 4049),
    (40, 99, 4052),
    (40, 100, 4055),
    (40, 101, 4058),
    (40, 102, 4061),
    (40, 103, 4064),
    (41, 83, 4095),
    (41, 84, 4098),
    (41, 85, 4101),
    (41, 86, 4104),
    (41, 87, 4107),
    (41, 88, 4110),
    (41, 89, 4113),
    (41, 90, 4116),
    (41, 91, 4119),
    (41, 92, 4122),
    (41, 93, 4125),
    (41, 94, 4128),
    (41, 95, 4131),
    (41, 96, 4134),
    (41, 97, 4137),
    (41, 98, 4140),
    (41, 99, 4143),
    (41, 100, 4146),
    (41, 101, 4149),
    (41, 102, 4152),
    (41, 103, 4155),
    (41, 105, 4161),
    (42, 84, 4201),
    (42, 85, 4204),
    (42, 86, 4207),
    (42, 87, 4210),
    (42, 88, 4213),
    (42, 89, 4216),
    (42, 90, 4219),
    (42, 91, 4222),
    (42, 92, 4225),
    (42, 93, 4228),
    (42, 94, 4231),
    (42, 95, 4234),
    (42, 96, 4237),
    (42, 97, 4240),
    (42, 98, 4243),
    (42, 99, 4246),
    (42, 100, 4249),
    (42, 101, 4252),
    (42, 102, 4255),
    (42, 103, 4258),
    (42, 104, 4261),
    (42, 105, 4264),
    (42, 106, 4267),
    (42, 107, 4270),
    (42, 108, 4273),
    (43, 87, 4289),
    (43, 88, 4292),
    (43, 89, 4295),
    (43, 90, 4298),
    (43, 91, 4301),
    (43, 92, 4304),
    (43, 93, 4307),
    (43, 94, 4310),
    (43, 95, 4313),
    (43, 96, 4316),
    (43, 97, 4319),
    (43, 98, 4322),
    (43, 99, 4325),
    (43, 100, 4328),
    (43, 101, 4331),
    (43, 102, 4334),
    (43, 103, 4337),
    (43, 104, 4340),
    (43, 105, 4343),
    (43, 106, 4346),
    (43, 107, 4349),
    (43, 108, 4352),
    (44, 88, 4401),
    (44, 89, 4404),
    (44, 90, 4407),
    (44, 91, 4410),
    (44, 92, 4413),
    (44, 93, 4416),
    (44, 94, 4419),
    (44, 95, 4422),
    (44, 96, 4425),
    (44, 97, 4428),
    (44, 98, 4431),
    (44, 99, 4434),
    (44, 100, 4437),
    (44, 101, 4440),
    (44, 102, 4443),
    (44, 103, 4446),
    (44, 104, 4449),
    (44, 105, 4452),
    (44, 106, 4455),
    (44, 107, 4458),
    (44, 108, 4461),
    (44, 109, 4464),
    (44, 110, 4467),
    (44, 111, 4470),
    (44, 112, 4473),
    (45, 91, 4489),
    (45, 92, 4492),
    (45, 93, 4495),
    (45, 94, 4498),
    (45, 95, 4501),
    (45, 96, 4504),
    (45, 97, 4507),
    (45, 98, 4510),
    (45, 99, 4513),
    (45, 100, 4516),
    (45, 101, 4519),
    (45, 102, 4522),
    (45, 103, 4525),
    (45, 104, 4528),
    (45, 105, 4531),
    (45, 106, 4534),
    (45, 107, 4537),
    (45, 108, 4540),
    (45, 109, 4543),
    (45, 110, 4546),
    (45, 111, 4549),
    (45, 112, 4552),
    (45, 113, 4555),
    (45, 114, 4558),
    (45, 115, 4561),
    (46, 92, 4595),
    (46, 93, 4598),
    (46, 94, 4601),
    (46, 95, 4604),
    (46, 96, 4607),
    (46, 97, 4610),
    (46, 98, 4613),
    (46, 99, 4616),
    (46, 100, 4619),
    (46, 101, 4622),
    (46, 102, 4625),
    (46, 103, 4628),
    (46, 104, 4631),
    (46, 105, 4634),
    (46, 106, 4637),
    (46, 107, 4640),
    (46, 108, 4643),
    (46, 109, 4646),
    (46, 110, 4649),
    (46, 111, 4652),
    (46, 112, 4655),
    (46, 113, 4658),
    (46, 114, 4661),
    (46, 115, 4664),
    (46, 116, 4667),
    (46, 117, 4670),
    (46, 118, 4673),
    (47, 95, 4689),
    (47, 96, 4692),
    (47, 97, 4695),
    (47, 98, 4698),
    (47, 99, 4701),
    (47, 100, 4704),
    (47, 101, 4707),
    (47, 102, 4710),
    (47, 103, 4713),
    (47, 104, 4716),
    (47, 105, 4719),
    (47, 106, 4722),
    (47, 107, 4725),
    (47, 108, 4728),
    (47, 109, 4731),
    (47, 110, 4734),
    (47, 111, 4737),
    (47, 112, 4740),
    (47, 113, 4743),
    (47, 114, 4746),
    (47, 115, 4749),
    (47, 116, 4752),
    (47, 117, 4755),
    (47, 118, 4758),
    (47, 119, 4761),
    (47, 120, 4764),
    (48, 96, 4795),
    (48, 97, 4798),
    (48, 98, 4801),
    (48, 99, 4804),
    (48, 100, 4807),
    (48, 101, 4810),
    (48, 102, 4813),
    (48, 103, 4816),
    (48, 104, 4819),
    (48, 105, 4822),
    (48, 106, 4825),
    (48, 107, 4828),
    (48, 108, 4831),
    (48, 109, 4834),
    (48, 110, 4837),
    (48, 111, 4840),
    (48, 112, 4843),
    (48, 113, 4846),
    (48, 114, 4849),
    (48, 115, 4852),
    (48, 116, 4855),
    (48, 117, 4858),
    (48, 118, 4861),
    (48, 119, 4864),
    (48, 120, 4867),
    (48, 121, 4870),
    (48, 122, 4873),
    (48, 123, 4876),
    (48, 124, 4879),
    (49, 99, 4883),
    (49, 100, 4886),
    (49, 101, 4889),
    (49, 102, 4892),
    (49, 103, 4895),
    (49, 104, 4898),
    (49, 105, 4901),
    (49, 106, 4904),
    (49, 107, 4907),
    (49, 108, 4910),
    (49, 109, 4913),
    (49, 110, 4916),
    (49, 111, 4919),
    (49, 112, 4922),
    (49, 113, 4925),
    (49, 114, 4928),
    (49, 115, 4931),
    (49, 116, 4934),
    (49, 117, 4937),
    (49, 118, 4940),
    (49, 119, 4943),
    (49, 120, 4946),
    (49, 121, 4949),
    (49, 122, 4952),
    (49, 123, 4955),
    (49, 124, 4958),
    (49, 125, 4961),
    (49, 126, 4964),
    (49, 127, 4967),
    (50, 100, 4989),
    (50, 101, 4992),
    (50, 102, 4995),
    (50, 103, 4998),
    (50, 104, 5001),
    (50, 105, 5004),
    (50, 106, 5007),
    (50, 107, 5010),
    (50, 108, 5013),
    (50, 109, 5016),
    (50, 110, 5019),
    (50, 111, 5022),
    (50, 112, 5025),
    (50, 113, 5028),
    (50, 114, 5031),
    (50, 115, 5034),
    (50, 116, 5037),
    (50, 117, 5040),
    (50, 118, 5043),
    (50, 119, 5046),
    (50, 120, 5049),
    (50, 121, 5052),
    (50, 122, 5055),
    (50, 123, 5058),
    (50, 124, 5061),
    (50, 125, 5064),
    (50, 126, 5067),
    (50, 127, 5070),
    (50, 128, 5073),
    (50, 129, 5076),
    (50, 130, 5079),
    (50, 131, 5082),
    (50, 132, 5085),
    (50, 133, 5088),
    (51, 105, 315),
    (51, 107, 316),
    (51, 108, 5086),
    (51, 109, 5089),
    (51, 110, 5092),
    (51, 111, 5095),
    (51, 112, 5098),
    (51, 113, 5101),
    (51, 114, 5104),
    (51, 115, 5107),
    (51, 116, 5110),
    (51, 117, 5113),
    (51, 118, 5116),
    (51, 119, 5119),
    (51, 120, 5122),
    (51, 121, 5125),
    (51, 122, 5128),
    (51, 123, 5131),
    (51, 124, 5134),
    (51, 125, 5137),
    (51, 126, 5140),
    (51, 127, 5143),
    (51, 128, 5146),
    (51, 129, 5149),
    (51, 130, 5152),
    (51, 131, 5155),
    (51, 132, 5158),
    (51, 133, 5161),
    (51, 135, 5167),
    (52, 108, 5189),
    (52, 109, 5192),
    (52, 110, 5195),
    (52, 111, 5198),
    (52, 112, 5201),
    (52, 113, 5204),
    (52, 114, 5207),
    (52, 115, 5210),
    (52, 116, 5213),
    (52, 117, 5216),
    (52, 118, 5219),
    (52, 119, 5222),
    (52, 120, 5225),
    (52, 121, 5228),
    (52, 122, 5231),
    (52, 123, 5234),
    (52, 124, 5237),
    (52, 125, 5240),
    (52, 126, 5243),
    (52, 127, 5246),
    (52, 128, 5249),
    (52, 129, 5252),
    (52, 130, 5255),
    (52, 131, 5258),
    (52, 132, 5261),
    (52, 133, 5264),
    (52, 134, 5267),
    (52, 135, 5270),
    (52, 136, 5273),
    (52, 137, 5276),
    (52, 138, 5279),
    (53, 111, 5277),
    (53, 112, 5280),
    (53, 113, 5283),
    (53, 114, 5286),
    (53, 115, 5289),
    (53, 116, 5292),
    (53, 117, 5295),
    (53, 118, 5298),
    (53, 119, 5301),
    (53, 120, 5304),
    (53, 121, 5307),
    (53, 122, 5310),
    (53, 123, 5313),
    (53, 124, 5316),
    (53, 125, 5319),
    (53, 126, 5322),
    (53, 127, 5325),
    (53, 128, 5328),
    (53, 129, 5331),
    (53, 130, 5334),
    (53, 131, 5337),
    (53, 132, 5340),
    (53, 133, 5343),
    (53, 134, 5346),
    (53, 135, 5349),
    (53, 136, 5352),
    (53, 137, 5355),
    (53, 138, 5358),
    (53, 139, 5361),
    (54, 112, 5389),
    (54, 113, 5392),
    (54, 114, 5395),
    (54, 115, 5398),
    (54, 116, 5401),
    (54, 117, 5404),
    (54, 118, 5407),
    (54, 119, 5410),
    (54, 120, 5413),
    (54, 121, 5416),
    (54, 122, 5419),
    (54, 123, 5422),
    (54, 124, 5425),
    (54, 125, 5428),
    (54, 126, 5431),
    (54, 127, 5434),
    (54, 128, 5437),
    (54, 129, 5440),
    (54, 130, 5443),
    (54, 131, 5446),
    (54, 132, 5449),
    (54, 133, 5452),
    (54, 134, 5455),
    (54, 135, 5458),
    (54, 136, 5461),
    (54, 137, 5464),
    (54, 138, 5467),
    (54, 139, 5470),
    (54, 140, 5473),
    (54, 141, 5476),
    (54, 142, 5479),
    (55, 115, 5471),
    (55, 117, 5477),
    (55, 118, 5480),
    (55, 119, 5483),
    (55, 120, 5486),
    (55, 121, 5489),
    (55, 122, 5492),
    (55, 123, 5495),
    (55, 124, 5498),
    (55, 125, 5501),
    (55, 126, 5504),
    (55, 127, 5507),
    (55, 128, 5510),
    (55, 129, 5513),
    (55, 130, 5516),
    (55, 131, 5519),
    (55, 132, 5522),
    (55, 133, 5525),
    (55, 134, 5528),
    (55, 135, 5531),
    (55, 136, 5534),
    (55, 137, 5537),
    (55, 138, 5540),
    (55, 139, 5543),
    (55, 140, 5546),
    (55, 141, 5549),
    (55, 142, 5552),
    (55, 143, 5555),
    (56, 116, 5583),
    (56, 117, 5586),
    (56, 118, 5589),
    (56, 119, 5592),
    (56, 120, 5595),
    (56, 121, 5598),
    (56, 122, 5601),
    (56, 123, 5604),
    (56, 124, 5607),
    (56, 125, 5610),
    (56, 126, 5613),
    (56, 127, 5616),
    (56, 128, 5619),
    (56, 129, 5622),
    (56, 130, 5625),
    (56, 131, 5628),
    (56, 132, 5631),
    (56, 133, 5634),
    (56, 134, 5637),
    (56, 135, 5640),
    (56, 136, 5643),
    (56, 137, 5646),
    (56, 138, 5649),
    (56, 139, 5652),
    (56, 140, 5655),
    (56, 141, 5658),
    (56, 142, 5661),
    (56, 143, 5664),
    (56, 144, 5667),
    (56, 145, 5670),
    (56, 146, 5673),
    (57, 119, 5668),
    (57, 120, 5671),
    (57, 121, 5674),
    (57, 122, 5677),
    (57, 123, 5680),
    (57, 124, 5683),
    (57, 125, 5686),
    (57, 126, 5689),
    (57, 127, 5692),
    (57, 128, 5695),
    (57, 129, 5698),
    (57, 130, 5701),
    (57, 131, 5704),
    (57, 132, 5707),
    (57, 133, 5710),
    (57, 134, 5713),
    (57, 135, 5716),
    (57, 136, 5719),
    (57, 137, 5722),
    (57, 138, 5725),
    (57, 139, 5728),
    (57, 140, 5731),
    (57, 141, 5734),
    (57, 142, 5737),
    (57, 143, 5740),
    (57, 144, 5743),
    (57, 145, 5746),
    (57, 146, 5749),
    (57, 147, 5752),
    (57, 148, 5755),
    (57, 149, 5758),
    (58, 121, 5780),
    (58, 122, 5783),
    (58, 123, 5786),
    (58, 124, 5789),
    (58, 125, 5792),
    (58, 126, 5795),
    (58, 127, 5798),
    (58, 128, 5801),
    (58, 129, 5804),
    (58, 130, 5807),
    (58, 131, 5810),
    (58, 132, 5813),
    (58, 133, 5816),
    (58, 134, 5819),
    (58, 135, 5822),
    (58, 136, 5825),
    (58, 137, 5828),
    (58, 138, 5831),
    (58, 139, 5834),
    (58, 140, 5837),
    (58, 141, 5840),
    (58, 142, 5843),
    (58, 143, 5846),
    (58, 144, 5849),
    (58, 145, 5852),
    (58, 146, 5855),
    (58, 147, 5858),
    (58, 148, 5861),
    (58, 149, 5864),
    (58, 150, 5867),
    (58, 151, 5870),
    (58, 152, 5873),
    (59, 124, 5874),
    (59, 125, 5877),
    (59, 126, 5880),
    (59, 127, 5883),
    (59, 128, 5886),
    (59, 129, 5889),
    (59, 130, 5892),
    (59, 131, 5895),
    (59, 132, 5898),
    (59, 133, 5901),
    (59, 134, 5904),
    (59, 135, 5907),
    (59, 136, 5910),
    (59, 137, 5913),
    (59, 138, 5916),
    (59, 139, 5919),
    (59, 140, 5922),
    (59, 141, 5925),
    (59, 142, 5928),
    (59, 143, 5931),
    (59, 144, 5934),
    (59, 145, 5937),
    (59, 146, 5940),
    (59, 147, 5943),
    (59, 148, 5946),
    (59, 149, 5949),
    (59, 150, 5952),
    (59, 151, 5955),
    (59, 152, 5958),
    (59, 153, 5961),
    (59, 154, 5964),
    (59, 155, 5967),
    (60, 126, 5977),
    (60, 127, 5980),
    (60, 128, 5983),
    (60, 129, 5986),
    (60, 130, 5989),
    (60, 131, 5992),
    (60, 132, 5995),
    (60, 133, 5998),
    (60, 134, 6001),
    (60, 135, 6004),
    (60, 136, 6007),
    (60, 137, 6010),
    (60, 138, 6013),
    (60, 139, 6016),
    (60, 140, 6019),
    (60, 141, 6022),
    (60, 142, 6025),
    (60, 143, 6028),
    (60, 144, 6031),
    (60, 145, 6034),
    (60, 146, 6037),
    (60, 147, 6040),
    (60, 148, 6043),
    (60, 149, 6046),
    (60, 150, 6049),
    (60, 151, 6052),
    (60, 152, 6055),
    (60, 153, 6058),
    (60, 154, 6061),
    (60, 155, 6064),
    (60, 156, 6067),
    (60, 157, 6070),
    (61, 127, 6089),
    (61, 128, 6092),
    (61, 129, 6095),
    (61, 130, 6098),
    (61, 131, 6101),
    (61, 132, 6104),
    (61, 133, 6107),
    (61, 134, 6110),
    (61, 135, 6113),
    (61, 136, 6116),
    (61, 137, 6119),
    (61, 138, 6122),
    (61, 139, 6125),
    (61, 140, 6128),
    (61, 141, 6131),
    (61, 142, 6134),
    (61, 143, 6137),
    (61, 144, 6140),
    (61, 145, 6143),
    (61, 146, 6146),
    (61, 147, 6149),
    (61, 148, 6152),
    (61, 149, 6155),
    (61, 150, 6158),
    (61, 151, 6161),
    (61, 152, 6164),
    (61, 153, 6167),
    (61, 154, 6170),
    (61, 155, 6173),
    (61, 156, 6176),
    (61, 157, 6179),
    (61, 158, 6182),
    (61, 159, 6185),
    (61, 161, 6191),
    (62, 130, 6183),
    (62, 131, 6186),
    (62, 132, 6189),
    (62, 133, 6192),
    (62, 134, 6195),
    (62, 135, 6198),
    (62, 136, 6201),
    (62, 137, 6204),
    (62, 138, 6207),
    (62, 139, 6210),
    (62, 140, 6213),
    (62, 141, 6216),
    (62, 142, 6219),
    (62, 143, 6222),
    (62, 144, 6225),
    (62, 145, 6228),
    (62, 146, 6231),
    (62, 147, 6234),
    (62, 148, 6237),
    (62, 149, 6240),
    (62, 150, 6243),
    (62, 151, 6246),
    (62, 152, 6249),
    (62, 153, 6252),
    (62, 154, 6255),
    (62, 155, 6258),
    (62, 156, 6261),
    (62, 157, 6264),
    (62, 158, 6267),
    (62, 159, 6270),
    (62, 160, 6273),
    (62, 161, 6276),
    (62, 162, 6279),
    (62, 163, 6282),
    (62, 164, 6285),
    (63, 135, 6277),
    (63, 136, 6280),
    (63, 137, 6283),
    (63, 138, 6286),
    (63, 139, 6289),
    (63, 140, 6292),
    (63, 141, 6295),
    (63, 142, 6298),
    (63, 143, 6301),
    (63, 144, 6304),
    (63, 145, 6307),
    (63, 146, 6310),
    (63, 147, 6313),
    (63, 148, 6316),
    (63, 149, 6319),
    (63, 150, 6322),
    (63, 151, 6325),
    (63, 152, 6328),
    (63, 153, 6331),
    (63, 154, 6334),
    (63, 155, 6337),
    (63, 156, 6340),
    (63, 157, 6343),
    (63, 158, 6346),
    (63, 159, 6349),
    (63, 160, 6352),
    (63, 161, 6355),
    (63, 162, 6358),
    (63, 163, 6361),
    (63, 164, 6364),
    (63, 165, 6367),
    (63, 166, 6370),
    (63, 167, 6373),
    (64, 135, 6374),
    (64, 136, 6377),
    (64, 137, 6380),
    (64, 138, 6383),
    (64, 139, 6386),
    (64, 140, 6389),
    (64, 141, 6392),
    (64, 142, 6395),
    (64, 143, 6398),
    (64, 144, 6401),
    (64, 145, 6404),
    (64, 146, 6407),
    (64, 147, 6410),
    (64, 148, 6413),
    (64, 149, 6416),
    (64, 150, 6419),
    (64, 151, 6422),
    (64, 152, 6425),
    (64, 153, 6428),
    (64, 154, 6431),
    (64, 155, 6434),
    (64, 156, 6437),
    (64, 157, 6440),
    (64, 158, 6443),
    (64, 159, 6446),
    (64, 160, 6449),
    (64, 161, 6452),
    (64, 162, 6455),
    (64, 163, 6458),
    (64, 164, 6461),
    (64, 165, 6464),
    (64, 166, 6467),
    (64, 167, 6470),
    (64, 168, 6473),
    (65, 139, 6465),
    (65, 140, 6468),
    (65, 141, 6471),
    (65, 143, 6477),
    (65, 144, 6480),
    (65, 145, 6483),
    (65, 146, 6486),
    (65, 147, 6489),
    (65, 148, 6492),
    (65, 149, 6495),
    (65, 150, 6498),
    (65, 151, 6501),
    (65, 152, 6504),
    (65, 153, 6507),
    (65, 154, 6510),
    (65, 155, 6513),
    (65, 156, 6516),
    (65, 157, 6519),
    (65, 158, 6522),
    (65, 159, 6525),
    (65, 160, 6528),
    (65, 161, 6531),
    (65, 162, 6534),
    (65, 163, 6537),
    (65, 164, 6540),
    (65, 165, 6543),
    (65, 166, 6546),
    (65, 167, 6549),
    (65, 168, 6552),
    (65, 169, 6555),
    (65, 171, 6561),
    (66, 142, 6583),
    (66, 143, 6586),
    (66, 144, 6589),
    (66, 145, 6592),
    (66, 146, 6595),
    (66, 147, 6598),
    (66, 148, 6601),
    (66, 149, 6604),
    (66, 150, 6607),
    (66, 151, 6610),
    (66, 152, 6613),
    (66, 153, 6616),
    (66, 154, 6619),
    (66, 155, 6622),
    (66, 156, 6625),
    (66, 157, 6628),
    (66, 158, 6631),
    (66, 159, 6634),
    (66, 160, 6637),
    (66, 161, 6640),
    (66, 162, 6643),
    (66, 163, 6646),
    (66, 164, 6649),
    (66, 165, 6652),
    (66, 166, 6655),
    (66, 167, 6658),
    (66, 168, 6661),
    (66, 169, 6664),
    (66, 170, 6667),
    (66, 171, 6670),
    (66, 172, 6673),
    (66, 173, 6676),
    (66, 174, 6679),
    (67, 145, 6665),
    (67, 146, 6668),
    (67, 147, 6671),
    (67, 148, 6674),
    (67, 149, 6677),
    (67, 150, 6680),
    (67, 151, 6683),
    (67, 152, 6686),
    (67, 153, 6689),
    (67, 154, 6692),
    (67, 155, 6695),
    (67, 156, 6698),
    (67, 157, 6701),
    (67, 158, 6704),
    (67, 159, 6707),
    (67, 160, 6710),
    (67, 161, 6713),
    (67, 162, 6716),
    (67, 163, 6719),
    (67, 164, 6722),
    (67, 165, 6725),
    (67, 166, 6728),
    (67, 167, 6731),
    (67, 168, 6734),
    (67, 169, 6737),
    (67, 170, 6740),
    (67, 171, 6743),
    (67, 172, 6746),
    (67, 173, 6749),
    (67, 174, 6752),
    (67, 175, 6755),
    (67, 176, 6758),
    (67, 177, 6761),
    (68, 146, 6777),
    (68, 147, 6780),
    (68, 148, 6783),
    (68, 149, 6786),
    (68, 150, 6789),
    (68, 151, 6792),
    (68, 152, 6795),
    (68, 153, 6798),
    (68, 154, 6801),
    (68, 155, 6804),
    (68, 156, 6807),
    (68, 157, 6810),
    (68, 158, 6813),
    (68, 159, 6816),
    (68, 160, 6819),
    (68, 161, 6822),
    (68, 162, 6825),
    (68, 163, 6828),
    (68, 164, 6831),
    (68, 165, 6834),
    (68, 166, 6837),
    (68, 167, 6840),
    (68, 168, 6843),
    (68, 169, 6846),
    (68, 170, 6849),
    (68, 171, 6852),
    (68, 172, 6855),
    (68, 173, 6858),
    (68, 174, 6861),
    (68, 175, 6864),
    (68, 176, 6867),
    (68, 177, 6870),
    (68, 178, 6873),
    (68, 179, 6876),
    (68, 180, 6879),
    (69, 150, 6868),
    (69, 151, 6871),
    (69, 152, 6874),
    (69, 153, 6877),
    (69, 154, 6880),
    (69, 155, 6883),
    (69, 156, 6886),
    (69, 157, 6889),
    (69, 158, 6892),
    (69, 159, 6895),
    (69, 160, 6898),
    (69, 161, 6901),
    (69, 162, 6904),
    (69, 163, 6907),
    (69, 164, 6910),
    (69, 165, 6913),
    (69, 166, 6916),
    (69, 167, 6919),
    (69, 168, 6922),
    (69, 169, 6925),
    (69, 170, 6928),
    (69, 171, 6931),
    (69, 172, 6934),
    (69, 173, 6937),
    (69, 174, 6940),
    (69, 175, 6943),
    (69, 176, 6946),
    (69, 177, 6949),
    (69, 178, 6952),
    (69, 179, 6955),
    (69, 180, 6958),
    (69, 181, 6961),
    (70, 151, 6974),
    (70, 152, 6977),
    (70, 153, 6980),
    (70, 155, 6986),
    (70, 156, 6989),
    (70, 157, 6992),
    (70, 158, 6995),
    (70, 159, 6998),
    (70, 160, 7001),
    (70, 161, 7004),
    (70, 162, 7007),
    (70, 163, 7010),
    (70, 164, 7013),
    (70, 165, 7016),
    (70, 166, 7019),
    (70, 167, 7022),
    (70, 168, 7025),
    (70, 169, 7028),
    (70, 170, 7031),
    (70, 171, 7034),
    (70, 172, 7037),
    (70, 173, 7040),
    (70, 174, 7043),
    (70, 175, 7046),
    (70, 176, 7049),
    (70, 177, 7052),
    (70, 178, 7055),
    (70, 179, 7058),
    (70, 180, 7061),
    (70, 181, 7064),
    (70, 182, 7067),
    (70, 183, 7070),
    (70, 184, 7073),
    (70, 185, 7076),
    (71, 154, 7062),
    (71, 157, 7071),
    (71, 158, 7074),
    (71, 159, 7077),
    (71, 160, 7080),
    (71, 161, 7083),
    (71, 162, 7086),
    (71, 163, 7089),
    (71, 164, 7092),
    (71, 165, 7095),
    (71, 166, 7098),
    (71, 167, 7101),
    (71, 168, 7104),
    (71, 169, 7107),
    (71, 170, 7110),
    (71, 171, 7113),
    (71, 172, 7116),
    (71, 173, 7119),
    (71, 174, 7122),
    (71, 175, 7125),
    (71, 176, 7128),
    (71, 177, 7131),
    (71, 178, 7134),
    (71, 179, 7137),
    (71, 180, 7140),
    (71, 181, 7143),
    (71, 182, 7146),
    (71, 183, 7149),
    (71, 184, 7152),
    (71, 185, 7155),
    (71, 186, 7158),
    (71, 187, 7161),
    (71, 188, 7164),
    (72, 154, 7165),
    (72, 158, 7177),
    (72, 159, 7180),
    (72, 160, 7183),
    (72, 161, 7186),
    (72, 162, 7189),
    (72, 163, 7192),
    (72, 164, 7195),
    (72, 165, 7198),
    (72, 166, 7201),
    (72, 167, 7204),
    (72, 168, 7207),
    (72, 169, 7210),
    (72, 170, 7213),
    (72, 171, 7216),
    (72, 172, 7219),
    (72, 173, 7222),
    (72, 174, 7225),
    (72, 175, 7228),
    (72, 176, 7231),
    (72, 177, 7234),
    (72, 178, 7237),
    (72, 179, 7240),
    (72, 180, 7243),
    (72, 181, 7246),
    (72, 182, 7249),
    (72, 183, 7252),
    (72, 184, 7255),
    (72, 185, 7258),
    (72, 186, 7261),
    (72, 187, 7264),
    (72, 188, 7267),
    (73, 159, 7262),
    (73, 160, 7265),
    (73, 161, 7268),
    (73, 162, 7271),
    (73, 163, 7274),
    (73, 164, 7277),
    (73, 165, 7280),
    (73, 166, 7283),
    (73, 167, 7286),
    (73, 168, 7289),
    (73, 169, 7292),
    (73, 170, 7295),
    (73, 171, 7298),
    (73, 172, 7301),
    (73, 173, 7304),
    (73, 174, 7307),
    (73, 175, 7310),
    (73, 176, 7313),
    (73, 177, 7316),
    (73, 178, 7319),
    (73, 179, 7322),
    (73, 180, 7325),
    (73, 181, 7328),
    (73, 182, 7331),
    (73, 183, 7334),
    (73, 184, 7337),
    (73, 185, 7340),
    (73, 186, 7343),
    (73, 187, 7346),
    (73, 188, 7349),
    (73, 189, 7352),
    (73, 190, 7355),
    (73, 192, 7361),
    (73, 194, 7367),
    (74, 162, 7371),
    (74, 163, 7374),
    (74, 164, 7377),
    (74, 165, 7380),
    (74, 166, 7383),
    (74, 167, 7386),
    (74, 168, 7389),
    (74, 169, 7392),
    (74, 170, 7395),
    (74, 171, 7398),
    (74, 172, 7401),
    (74, 173, 7404),
    (74, 174, 7407),
    (74, 175, 7410),
    (74, 176, 7413),
    (74, 177, 7416),
    (74, 178, 7419),
    (74, 179, 7422),
    (74, 180, 7425),
    (74, 181, 7428),
    (74, 182, 7431),
    (74, 183, 7434),
    (74, 184, 7437),
    (74, 185, 7440),
    (74, 186, 7443),
    (74, 187, 7446),
    (74, 188, 7449),
    (74, 189, 7452),
    (74, 190, 7455),
    (74, 191, 7458),
    (74, 192, 7461),
    (74, 193, 7464),
    (74, 194, 7467),
    (74, 195, 7470),
    (74, 196, 7473),
    (74, 197, 7476),
    (75, 165, 7465),
    (75, 166, 7468),
    (75, 167, 7471),
    (75, 168, 7474),
    (75, 169, 7477),
    (75, 170, 7480),
    (75, 171, 7483),
    (75, 172, 7486),
    (75, 173, 7489),
    (75, 174, 7492),
    (75, 175, 7495),
    (75, 176, 7498),
    (75, 177, 7501),
    (75, 178, 7504),
    (75, 179, 7507),
    (75, 180, 7510),
    (75, 181, 7513),
    (75, 182, 7516),
    (75, 183, 7519),
    (75, 184, 7522),
    (75, 185, 7525),
    (75, 186, 7528),
    (75, 187, 7531),
    (75, 188, 7534),
    (75, 189, 7537),
    (75, 190, 7540),
    (75, 191, 7543),
    (75, 192, 7546),
    (75, 193, 7549),
    (75, 194, 7552),
    (75, 195, 7555),
    (75, 196, 7558),
    (75, 198, 7564),
    (76, 168, 7577),
    (76, 169, 7580),
    (76, 170, 7583),
    (76, 171, 7586),
    (76, 172, 7589),
    (76, 173, 7592),
    (76, 174, 7595),
    (76, 175, 7598),
    (76, 176, 7601),
    (76, 177, 7604),
    (76, 178, 7607),
    (76, 179, 7610),
    (76, 180, 7613),
    (76, 181, 7616),
    (76, 182, 7619),
    (76, 183, 7622),
    (76, 184, 7625),
    (76, 185, 7628),
    (76, 186, 7631),
    (76, 187, 7634),
    (76, 188, 7637),
    (76, 189, 7640),
    (76, 190, 7643),
    (76, 191, 7646),
    (76, 192, 7649),
    (76, 193, 7652),
    (76, 194, 7655),
    (76, 195, 7658),
    (76, 196, 7661),
    (76, 197, 7664),
    (76, 198, 7667),
    (76, 199, 7670),
    (76, 200, 7673),
    (76, 201, 7676),
    (76, 202, 7679),
    (77, 171, 7665),
    (77, 172, 7668),
    (77, 173, 7671),
    (77, 174, 7674),
    (77, 175, 7677),
    (77, 176, 7680),
    (77, 177, 7683),
    (77, 178, 7686),
    (77, 179, 7689),
    (77, 180, 7692),
    (77, 181, 7695),
    (77, 182, 7698),
    (77, 183, 7701),
    (77, 184, 7704),
    (77, 185, 7707),
    (77, 186, 7710),
    (77, 187, 7713),
    (77, 188, 7716),
    (77, 189, 7719),
    (77, 190, 7722),
    (77, 191, 7725),
    (77, 192, 7728),
    (77, 193, 7731),
    (77, 194, 7734),
    (77, 195, 7737),
    (77, 196, 7740),
    (77, 197, 7743),
    (77, 198, 7746),
    (77, 199, 7749),
    (77, 200, 7752),
    (77, 201, 7755),
    (77, 202, 7758),
    (77, 203, 7761),
    (77, 204, 7764),
    (77, 205, 7767),
    (78, 175, 7780),
    (78, 176, 7783),
    (78, 177, 7786),
    (78, 178, 7789),
    (78, 179, 7792),
    (78, 180, 7795),
    (78, 181, 7798),
    (78, 182, 7801),
    (78, 183, 7804),
    (78, 184, 7807),
    (78, 185, 7810),
    (78, 186, 7813),
    (78, 187, 7816),
    (78, 188, 7819),
    (78, 189, 7822),
    (78, 190, 7825),
    (78, 191, 7828),
    (78, 192, 7831),
    (78, 193, 7834),
    (78, 194, 7837),
    (78, 195, 7840),
    (78, 196, 7843),
    (78, 197, 7846),
    (78, 198, 7849),
    (78, 199, 7852),
    (78, 200, 7855),
    (78, 201, 7858),
    (78, 202, 7861),
    (78, 203, 7864),
    (78, 204, 7867),
    (78, 205, 7870),
    (79, 176, 7862),
    (79, 177, 311),
    (79, 178, 7868),
    (79, 179, 7871),
    (79, 180, 7874),
    (79, 181, 7877),
    (79, 182, 7880),
    (79, 183, 7883),
    (79, 184, 7886),
    (79, 185, 7889),
    (79, 186, 7892),
    (79, 187, 7895),
    (79, 188, 7898),
    (79, 189, 7901),
    (79, 190, 7904),
    (79, 191, 7907),
    (79, 192, 7910),
    (79, 193, 7913),
    (79, 194, 7916),
    (79, 195, 7919),
    (79, 196, 7922),
    (79, 197, 7925),
    (79, 198, 7928),
    (79, 199, 7931),
    (79, 200, 7934),
    (79, 201, 7937),
    (79, 202, 7940),
    (79, 203, 7943),
    (79, 204, 7946),
    (79, 205, 7949),
    (79, 206, 7952),
    (79, 207, 7955),
    (79, 208, 7958),
    (79, 209, 7961),
    (79, 210, 7964),
    (80, 179, 7974),
    (80, 180, 7977),
    (80, 181, 7980),
    (80, 182, 7983),
    (80, 183, 7986),
    (80, 184, 7989),
    (80, 185, 7992),
    (80, 186, 7995),
    (80, 187, 7998),
    (80, 188, 8001),
    (80, 189, 8004),
    (80, 190, 8007),
    (80, 191, 8010),
    (80, 192, 8013),
    (80, 193, 8016),
    (80, 194, 8019),
    (80, 195, 8022),
    (80, 196, 8025),
    (80, 197, 8028),
    (80, 198, 8031),
    (80, 199, 8034),
    (80, 200, 8037),
    (80, 201, 8040),
    (80, 202, 8043),
    (80, 203, 8046),
    (80, 204, 8049),
    (80, 205, 8052),
    (80, 206, 8055),
    (80, 207, 8058),
    (80, 208, 8061),
    (80, 209, 8064),
    (80, 210, 8067),
    (80, 211, 8070),
    (80, 212, 8073),
    (80, 213, 317),
    (80, 214, 8079),
    (80, 216, 8085),
    (81, 180, 8056),
    (81, 181, 8059),
    (81, 182, 8062),
    (81, 183, 8065),
    (81, 184, 8068),
    (81, 185, 8071),
    (81, 186, 8074),
    (81, 187, 8077),
    (81, 188, 8080),
    (81, 189, 8083),
    (81, 190, 8086),
    (81, 191, 8089),
    (81, 192, 8092),
    (81, 193, 8095),
    (81, 194, 8098),
    (81, 195, 8101),
    (81, 196, 8104),
    (81, 197, 8107),
    (81, 198, 8110),
    (81, 199, 8113),
    (81, 200, 8116),
    (81, 201, 8119),
    (81, 202, 8122),
    (81, 203, 8125),
    (81, 204, 8128),
    (81, 205, 8131),
    (81, 206, 8134),
    (81, 207, 8137),
    (81, 208, 8140),
    (81, 209, 8143),
    (81, 210, 8146),
    (81, 211, 8149),
    (81, 212, 8152),
    (81, 213, 8155),
    (81, 214, 8158),
    (81, 215, 8161),
    (81, 216, 8164),
    (81, 217, 8167),
    (81, 218, 8170),
    (82, 185, 8168),
    (82, 186, 8171),
    (82, 187, 8174),
    (82, 188, 8177),
    (82, 189, 8180),
    (82, 190, 8183),
    (82, 191, 8186),
    (82, 192, 8189),
    (82, 193, 8192),
    (82, 194, 8195),
    (82, 195, 8198),
    (82, 196, 8201),
    (82, 197, 8204),
    (82, 198, 8207),
    (82, 199, 8210),
    (82, 200, 8213),
    (82, 201, 8216),
    (82, 202, 8219),
    (82, 203, 8222),
    (82, 204, 8225),
    (82, 205, 8228),
    (82, 206, 8231),
    (82, 207, 8234),
    (82, 208, 8237),
    (82, 209, 8240),
    (82, 210, 8243),
    (82, 211, 8246),
    (82, 212, 8249),
    (82, 213, 8252),
    (82, 214, 8255),
    (82, 215, 8258),
    (82, 216, 8261),
    (82, 217, 8264),
    (82, 218, 8267),
    (82, 219, 8270),
    (82, 220, 8273),
    (83, 190, 8268),
    (83, 191, 8271),
    (83, 192, 8274),
    (83, 193, 8277),
    (83, 194, 8280),
    (83, 195, 8283),
    (83, 196, 8286),
    (83, 197, 8289),
    (83, 198, 8292),
    (83, 199, 8295),
    (83, 200, 8298),
    (83, 201, 8301),
    (83, 202, 8304),
    (83, 203, 8307),
    (83, 204, 8310),
    (83, 205, 8313),
    (83, 206, 8316),
    (83, 207, 8319),
    (83, 208, 8322),
    (83, 209, 8325),
    (83, 210, 8328),
    (83, 211, 8331),
    (83, 212, 8334),
    (83, 213, 8337),
    (83, 214, 8340),
    (83, 215, 8343),
    (83, 216, 8346),
    (83, 217, 8349),
    (83, 218, 8352),
    (83, 219, 8355),
    (83, 220, 8358),
    (83, 221, 8361),
    (83, 222, 8364),
    (83, 223, 8367),
    (83, 224, 8370),
    (84, 195, 8392),
    (84, 196, 8395),
    (84, 197, 8398),
    (84, 198, 8401),
    (84, 199, 8404),
    (84, 200, 8407),
    (84, 201, 8410),
    (84, 202, 8413),
    (84, 203, 8416),
    (84, 204, 8419),
    (84, 205, 8422),
    (84, 206, 8425),
    (84, 207, 8428),
    (84, 208, 8431),
    (84, 209, 8434),
    (84, 210, 8437),
    (84, 217, 8458),
    (84, 218, 8461),
    (84, 219, 8464),
    (84, 220, 8467),
    (84, 221, 8470),
    (84, 222, 8473),
    (84, 223, 8476),
    (84, 224, 8479),
    (84, 225, 8482),
    (84, 226, 8485),
    (84, 227, 8488),
    (85, 198, 8510),
    (85, 199, 8513),
    (85, 200, 8516),
    (85, 201, 8519),
    (85, 202, 8522),
    (85, 203, 8525),
    (85, 204, 8528),
    (85, 205, 8531),
    (85, 206, 8534),
    (85, 207, 8537),
    (85, 208, 8540),
    (85, 209, 8543),
    (85, 210, 8546),
    (85, 211, 8549),
    (85, 218, 8570),
    (85, 219, 8573),
    (85, 220, 8576),
    (85, 221, 8579),
    (85, 222, 8582),
    (85, 223, 8585),
    (85, 224, 8588),
    (85, 225, 8591),
    (85, 226, 8594),
    (85, 227, 8597),
    (85, 228, 8600),
    (85, 229, 8603),
    (86, 200, 8592),
    (86, 201, 8595),
    (86, 202, 8598),
    (86, 203, 8601),
    (86, 204, 8604),
    (86, 205, 8607),
    (86, 206, 8610),
    (86, 207, 8613),
    (86, 208, 8616),
    (86, 209, 8619),
    (86, 210, 8622),
    (86, 211, 8625),
    (86, 212, 8628),
    (86, 219, 8649),
    (86, 220, 8652),
    (86, 221, 8655),
    (86, 222, 8658),
    (86, 223, 8661),
    (86, 224, 8664),
    (86, 225, 8667),
    (86, 226, 8670),
    (86, 227, 8673),
    (86, 228, 8676),
    (86, 229, 8679),
    (86, 230, 8682),
    (86, 231, 8685),
    (87, 204, 8701),
    (87, 205, 8704),
    (87, 206, 8707),
    (87, 207, 8710),
    (87, 208, 8713),
    (87, 209, 8716),
    (87, 210, 8719),
    (87, 211, 8722),
    (87, 212, 8725),
    (87, 213, 8728),
    (87, 220, 8749),
    (87, 221, 8752),
    (87, 222, 8755),
    (87, 223, 8758),
    (87, 224, 8761),
    (87, 225, 8764),
    (87, 226, 8767),
    (87, 227, 8770),
    (87, 228, 8773),
    (87, 229, 8776),
    (87, 230, 8779),
    (87, 231, 8782),
    (87, 232, 8785),
    (88, 207, 8777),
    (88, 208, 8780),
    (88, 209, 8783),
    (88, 210, 8786),
    (88, 211, 8789),
    (88, 212, 8792),
    (88, 213, 8795),
    (88, 214, 8798),
    (88, 221, 8819),
    (88, 222, 8822),
    (88, 223, 8825),
    (88, 224, 8828),
    (88, 225, 8831),
    (88, 226, 8834),
    (88, 227, 8837),
    (88, 228, 8840),
    (88, 229, 8843),
    (88, 230, 8846),
    (88, 231, 8849),
    (88, 232, 8852),
    (88, 233, 8855),
    (88, 234, 8858),
    (88, 235, 8861),
    (89, 214, 8892),
    (89, 222, 8916),
    (89, 223, 8919),
    (89, 224, 8922),
    (89, 225, 8925),
    (89, 226, 8928),
    (89, 227, 8931),
    (89, 228, 8934),
    (89, 229, 8937),
    (89, 230, 8940),
    (89, 231, 8943),
    (89, 232, 8946),
    (89, 233, 8949),
    (89, 234, 8952),
    (89, 235, 8955),
    (89, 236, 8958),
    (89, 237, 8961),
    (90, 215, 8989),
    (90, 224, 9016),
    (90, 225, 9019),
    (90, 226, 9022),
    (90, 227, 9025),
    (90, 228, 9028),
    (90, 229, 9031),
    (90, 230, 9034),
    (90, 231, 9037),
    (90, 232, 9040),
    (90, 233, 9043),
    (90, 234, 9046),
    (90, 235, 9049),
    (90, 236, 9052),
    (90, 237, 9055),
    (90, 238, 9058),
    (90, 239, 9061),
    (91, 225, 9113),
    (91, 226, 9116),
    (91, 227, 9119),
    (91, 228, 9122),
    (91, 229, 9125),
    (91, 230, 9128),
    (91, 231, 9131),
    (91, 232, 9134),
    (91, 233, 9137),
    (91, 234, 9140),
    (91, 235, 9143),
    (91, 236, 9146),
    (91, 237, 9149),
    (91, 238, 9152),
    (91, 239, 9155),
    (91, 240, 9158),
    (91, 241, 9161),
    (92, 227, 9204),
    (92, 228, 9207),
    (92, 229, 9210),
    (92, 230, 9213),
    (92, 231, 9216),
    (92, 232, 9219),
    (92, 233, 9222),
    (92, 234, 9225),
    (92, 235, 9228),
    (92, 236, 9231),
    (92, 237, 9234),
    (92, 238, 9237),
    (92, 239, 9240),
    (92, 240, 9243),
    (92, 241, 9246),
    (92, 242, 9249),
    (92, 243, 9252),
    (93, 228, 9319),
    (93, 229, 9322),
    (93, 230, 9325),
    (93, 231, 9328),
    (93, 232, 9331),
    (93, 233, 9334),
    (93, 234, 9337),
    (93, 235, 9340),
    (93, 236, 9343),
    (93, 237, 9346),
    (93, 238, 9349),
    (93, 239, 9352),
    (93, 240, 9355),
    (93, 241, 9358),
    (93, 242, 9361),
    (93, 243, 9364),
    (93, 244, 9367),
    (93, 245, 9370),
    (94, 227, 9401),
    (94, 228, 9404),
    (94, 229, 9407),
    (94, 230, 9410),
    (94, 231, 9413),
    (94, 232, 9416),
    (94, 233, 9419),
    (94, 234, 9422),
    (94, 235, 9425),
    (94, 236, 9428),
    (94, 237, 9431),
    (94, 238, 9434),
    (94, 239, 9437),
    (94, 240, 9440),
    (94, 241, 9443),
    (94, 242, 9446),
    (94, 243, 9449),
    (94, 244, 9452),
    (94, 245, 9455),
    (94, 246, 9458),
    (94, 247, 9461),
    (95, 229, 9507),
    (95, 230, 9510),
    (95, 231, 9513),
    (95, 232, 9516),
    (95, 233, 9519),
    (95, 234, 9522),
    (95, 235, 9525),
    (95, 236, 9528),
    (95, 237, 9531),
    (95, 238, 9534),
    (95, 239, 9537),
    (95, 240, 9540),
    (95, 241, 9543),
    (95, 242, 9546),
    (95, 243, 9549),
    (95, 244, 9552),
    (95, 245, 9555),
    (95, 246, 9558),
    (95, 247, 9561),
    (95, 248, 9564),
    (95, 249, 9567),
    (96, 231, 9598),
    (96, 232, 9601),
    (96, 233, 9604),
    (96, 234, 9607),
    (96, 235, 9610),
    (96, 236, 9613),
    (96, 237, 9616),
    (96, 238, 9619),
    (96, 239, 9622),
    (96, 240, 9625),
    (96, 241, 9628),
    (96, 242, 9631),
    (96, 243, 9634),
    (96, 244, 9637),
    (96, 245, 9640),
    (96, 246, 9643),
    (96, 247, 9646),
    (96, 248, 9649),
    (96, 249, 9652),
    (96, 250, 9655),
    (96, 251, 9658),
    (96, 252, 9661),
    (97, 233, 9704),
    (97, 234, 9707),
    (97, 235, 9710),
    (97, 236, 9713),
    (97, 237, 9716),
    (97, 238, 9719),
    (97, 239, 9722),
    (97, 240, 9725),
    (97, 241, 9728),
    (97, 242, 9731),
    (97, 243, 9734),
    (97, 244, 9737),
    (97, 245, 9740),
    (97, 246, 9743),
    (97, 247, 9746),
    (97, 248, 9749),
    (97, 249, 9752),
    (97, 250, 9755),
    (97, 251, 9758),
    (97, 252, 9761),
    (97, 253, 9764),
    (97, 254, 9767),
    (98, 239, 9822),
    (98, 240, 9825),
    (98, 241, 9828),
    (98, 242, 9831),
    (98, 243, 9834),
    (98, 244, 9837),
    (98, 245, 9840),
    (98, 246, 9843),
    (98, 247, 9846),
    (98, 248, 9849),
    (98, 249, 9852),
    (98, 250, 9855),
    (98, 251, 9858),
    (98, 252, 9861),
    (98, 253, 9864),
    (98, 254, 9867),
    (98, 255, 9870),
    (98, 256, 9873),
    (99, 239, 9899),
    (99, 240, 9900),
    (99, 241, 9901),
    (99, 242, 9902),
    (99, 243, 9903),
    (99, 244, 9904),
    (99, 245, 9905),
    (99, 246, 9906),
    (99, 247, 9907),
    (99, 248, 9908),
    (99, 249, 9909),
    (99, 250, 9910),
    (99, 251, 9911),
    (99, 252, 9912),
    (99, 253, 9913),
    (99, 254, 9914),
    (99, 255, 9915),
    (99, 256, 9916),
    (99, 257, 9917),
    (99, 258, 9918),
    (100, 245, 9926),
    (100, 246, 9927),
    (100, 247, 9928),
    (100, 248, 9929),
    (100, 249, 9930),
    (100, 250, 9931),
    (100, 251, 9932),
    (100, 252, 9933),
    (100, 253, 9934),
    (100, 254, 9935),
    (100, 255, 9936),
    (100, 256, 9937),
    (100, 257, 9938),
    (100, 259, 9940),
    (100, 260, 9941),
    (101, 247, 9948),
    (101, 248, 9949),
    (101, 249, 9950),
    (101, 250, 9951),
    (101, 251, 9952),
    (101, 252, 9953),
    (101, 253, 9954),
    (101, 254, 9955),
    (101, 255, 9956),
    (101, 256, 9957),
    (101, 257, 9958),
    (101, 258, 9959),
    (101, 259, 9960),
    (101, 260, 9961),
    (101, 261, 9962),
    (101, 262, 9963),
    (102, 252, 9970),
    (102, 253, 9971),
    (102, 254, 9972),
    (102, 255, 9973),
    (102, 256, 9974),
    (102, 257, 9975),
    (102, 259, 9977),
    (102, 261, 9979),
    (102, 263, 9981),
    (102, 264, 9982),
    (103, 254, 9983),
    (103, 255, 9984),
    (103, 256, 9985),
    (103, 257, 9986),
    (103, 258, 9987),
    (103, 259, 9988),
    (103, 260, 9989),
    (103, 261, 9990),
    (103, 262, 9991),
    (103, 263, 9992),
    (103, 264, 9993),
    (103, 265, 9994),
    (103, 266, 9995),
    (104, 255, 455),
    (104, 257, 457),
    (104, 259, 459),
    (104, 261, 461),
    (104, 263, 463),
    (104, 264, 464),
    (104, 265, 465),
    (104, 266, 466),
    (104, 267, 467),
    (104, 268, 468),
    (105, 256, 556),
    (105, 257, 557),
    (105, 258, 558),
    (105, 260, 560),
    (105, 261, 561),
    (105, 262, 562),
    (105, 263, 563),
    (105, 264, 564),
    (105, 265, 565),
    (105, 266, 566),
    (105, 267, 567),
    (105, 268, 568),
    (105, 269, 569),
    (105, 270, 570),
    (106, 265, 665),
    (106, 267, 667),
    (106, 268, 668),
    (106, 269, 669),
    (106, 270, 670),
    (106, 271, 671),
    (106, 272, 672),
    (106, 273, 673),
    (107, 264, 764),
    (107, 265, 765),
    (107, 266, 766),
    (107, 267, 767),
    (107, 268, 768),
    (107, 269, 769),
    (107, 270, 770),
    (107, 271, 771),
    (107, 272, 772),
    (107, 273, 773),
    (107, 274, 774),
    (107, 275, 775),
    (107, 276, 776),
    (108, 268, 868),
    (108, 269, 869),
    (108, 270, 870),
    (108, 271, 871),
    (108, 272, 872),
    (108, 273, 873),
    (108, 279, 879),
    (109, 277, 977),
    (109, 278, 978),
    (110, 281, 1081),
    (110, 282, 1082),
    (110, 283, 1083),
    (110, 284, 1084),
    (111, 280, 1180),
    (111, 281, 1181),
    (111, 283, 1183),
    (112, 283, 1283),
    (112, 285, 1285),
    (113, 285, 1385),
    (113, 286, 1386),
    (113, 287, 1387),
    (113, 288, 1388),
    (113, 289, 1389),
    (113, 290, 1390),
    (114, 289, 1489),
    (115, 291, 1591),
];

// Auto-generated by crates/endf-mat/scripts/regenerate_cendl_table.sh
// Source: https://www-nds.iaea.org/public/download-endf/CENDL-3.2/n/
// 259 entries from the CENDL-3.2 neutrons sublibrary, including free neutron.
// Format: (Z, A, MAT) — sorted by (Z, A). Re-run the regenerator if the
// upstream listing changes; do NOT edit by hand.
#[rustfmt::skip]
static CENDL_3_2_MAT_TABLE: &[(u32, u32, u32)] = &[
    (0, 1, 25),
    (1, 1, 125),
    (1, 2, 128),
    (1, 3, 131),
    (2, 3, 225),
    (2, 4, 228),
    (3, 6, 325),
    (3, 7, 328),
    (4, 9, 425),
    (5, 10, 525),
    (5, 11, 528),
    (6, 12, 625),
    (7, 14, 725),
    (8, 16, 825),
    (9, 19, 925),
    (11, 23, 1125),
    (12, 24, 1225),
    (12, 25, 1228),
    (12, 26, 1231),
    (13, 27, 1325),
    (14, 28, 1425),
    (14, 29, 1428),
    (14, 30, 1431),
    (15, 31, 1525),
    (16, 32, 1625),
    (16, 33, 1628),
    (16, 34, 1631),
    (16, 36, 1637),
    (20, 40, 2025),
    (22, 46, 2225),
    (22, 47, 2228),
    (22, 48, 2231),
    (22, 49, 2234),
    (22, 50, 2237),
    (24, 50, 2425),
    (24, 52, 2431),
    (24, 53, 2434),
    (24, 54, 2437),
    (25, 55, 2525),
    (26, 54, 2625),
    (26, 56, 2631),
    (26, 57, 2634),
    (26, 58, 2637),
    (27, 59, 2725),
    (28, 58, 2825),
    (28, 60, 2831),
    (28, 61, 2834),
    (28, 62, 2837),
    (28, 64, 2843),
    (29, 63, 2925),
    (29, 65, 2931),
    (30, 64, 3025),
    (30, 66, 3031),
    (30, 67, 3034),
    (30, 68, 3037),
    (30, 70, 3043),
    (31, 69, 3125),
    (31, 71, 3131),
    (32, 70, 3225),
    (32, 71, 3228),
    (32, 72, 3231),
    (32, 73, 3234),
    (32, 74, 3237),
    (32, 75, 3240),
    (32, 76, 3243),
    (32, 77, 3246),
    (32, 78, 3249),
    (33, 75, 3325),
    (33, 77, 3331),
    (33, 79, 3337),
    (34, 74, 3425),
    (34, 76, 3431),
    (34, 77, 3434),
    (34, 78, 3437),
    (34, 79, 3440),
    (34, 80, 3443),
    (34, 82, 3449),
    (36, 83, 3640),
    (36, 84, 3643),
    (36, 85, 3646),
    (36, 86, 3649),
    (36, 87, 3687),
    (36, 88, 3688),
    (37, 85, 3725),
    (37, 87, 3731),
    (38, 88, 3837),
    (38, 89, 3840),
    (38, 90, 3843),
    (39, 89, 3925),
    (39, 91, 3931),
    (40, 90, 4025),
    (40, 91, 4028),
    (40, 92, 4031),
    (40, 93, 4034),
    (40, 94, 4037),
    (40, 95, 4040),
    (40, 96, 4043),
    (41, 93, 4125),
    (41, 95, 4131),
    (42, 92, 4225),
    (42, 93, 4228),
    (42, 94, 4231),
    (42, 95, 4234),
    (42, 96, 4237),
    (42, 97, 4240),
    (42, 98, 4243),
    (42, 99, 4246),
    (42, 100, 4249),
    (43, 99, 4325),
    (44, 99, 4434),
    (44, 100, 4437),
    (44, 101, 4440),
    (44, 102, 4443),
    (44, 103, 4446),
    (44, 104, 4449),
    (44, 105, 4452),
    (45, 103, 4525),
    (45, 105, 4531),
    (46, 105, 4634),
    (46, 108, 4643),
    (47, 107, 4725),
    (47, 109, 4731),
    (48, 113, 4846),
    (49, 113, 4925),
    (49, 115, 4931),
    (50, 112, 5025),
    (50, 114, 5031),
    (50, 115, 5034),
    (50, 116, 5037),
    (50, 117, 5040),
    (50, 118, 5043),
    (50, 119, 5046),
    (50, 120, 5049),
    (50, 122, 5055),
    (50, 124, 5061),
    (50, 126, 5067),
    (50, 128, 5073),
    (51, 121, 5125),
    (51, 123, 5131),
    (51, 124, 5134),
    (51, 125, 5137),
    (51, 127, 5143),
    (52, 130, 5255),
    (53, 127, 5325),
    (53, 129, 5331),
    (53, 130, 5334),
    (53, 131, 5337),
    (53, 135, 5349),
    (54, 123, 5422),
    (54, 124, 5425),
    (54, 129, 5440),
    (54, 131, 5446),
    (54, 132, 5449),
    (54, 133, 5452),
    (54, 134, 5455),
    (54, 135, 5458),
    (54, 136, 5461),
    (55, 133, 5525),
    (55, 134, 5528),
    (55, 135, 5531),
    (55, 137, 5537),
    (56, 130, 5625),
    (56, 132, 5631),
    (56, 134, 5637),
    (56, 135, 5640),
    (56, 136, 5643),
    (56, 137, 5646),
    (56, 138, 5649),
    (57, 139, 5728),
    (58, 136, 5825),
    (58, 138, 5831),
    (58, 140, 5837),
    (58, 141, 5840),
    (58, 142, 5843),
    (58, 144, 5849),
    (59, 141, 5925),
    (60, 142, 6025),
    (60, 143, 6028),
    (60, 144, 6031),
    (60, 145, 6034),
    (60, 146, 6037),
    (60, 147, 6040),
    (60, 148, 6043),
    (60, 150, 6049),
    (61, 147, 6149),
    (61, 148, 6152),
    (61, 149, 6155),
    (62, 144, 6225),
    (62, 147, 6234),
    (62, 148, 6237),
    (62, 149, 6240),
    (62, 150, 6243),
    (62, 151, 6246),
    (62, 152, 6249),
    (62, 154, 6255),
    (63, 151, 6325),
    (63, 153, 6331),
    (63, 154, 6334),
    (63, 155, 6337),
    (64, 152, 6425),
    (64, 154, 6431),
    (64, 155, 6434),
    (64, 156, 6437),
    (64, 157, 6440),
    (64, 158, 6443),
    (64, 160, 6449),
    (66, 164, 6649),
    (67, 165, 6725),
    (72, 174, 7225),
    (72, 176, 7231),
    (72, 177, 7234),
    (72, 178, 7237),
    (72, 179, 7240),
    (72, 180, 7243),
    (73, 181, 7328),
    (74, 180, 7425),
    (74, 182, 7431),
    (74, 183, 7434),
    (74, 184, 7437),
    (74, 186, 7443),
    (79, 197, 7925),
    (82, 204, 8225),
    (82, 206, 8231),
    (82, 207, 8234),
    (82, 208, 8237),
    (83, 209, 8325),
    (90, 232, 9040),
    (92, 232, 9219),
    (92, 233, 9222),
    (92, 234, 9225),
    (92, 235, 9228),
    (92, 236, 9231),
    (92, 237, 9234),
    (92, 238, 9237),
    (92, 239, 9240),
    (92, 240, 9243),
    (92, 241, 9246),
    (93, 236, 9343),
    (93, 237, 9346),
    (93, 238, 9349),
    (93, 239, 9352),
    (94, 236, 9428),
    (94, 237, 9431),
    (94, 238, 9434),
    (94, 239, 9437),
    (94, 240, 9440),
    (94, 241, 9443),
    (94, 242, 9446),
    (94, 243, 9449),
    (94, 244, 9452),
    (94, 245, 9455),
    (94, 246, 9458),
    (95, 240, 9540),
    (95, 241, 9543),
    (95, 242, 9546),
    (95, 243, 9549),
    (95, 244, 9552),
    (97, 249, 9752),
    (98, 249, 9852),
];

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn test_mat_number_known_values() {
        assert_eq!(mat_number(92, 235), Some(9228));
        assert_eq!(mat_number(92, 238), Some(9237));
        assert_eq!(mat_number(26, 56), Some(2631));
        assert_eq!(mat_number(1, 1), Some(125));
        assert_eq!(mat_number(0, 1), Some(25)); // neutron
        assert_eq!(mat_number(94, 239), Some(9437));
    }

    #[test]
    fn test_mat_number_tungsten() {
        assert_eq!(mat_number(74, 182), Some(7431));
        assert_eq!(mat_number(74, 183), Some(7434));
        assert_eq!(mat_number(74, 184), Some(7437));
        assert_eq!(mat_number(74, 186), Some(7443));
    }

    #[test]
    fn test_mat_number_tin_expansion() {
        // Tin isotopes — NOT in the old 47-entry table, proves expansion works
        assert_eq!(mat_number(50, 120), Some(5049));
        assert_eq!(mat_number(50, 116), Some(5037));
        assert_eq!(mat_number(50, 118), Some(5043));
    }

    #[test]
    fn test_mat_number_corrected_regressions() {
        // Regression tests for isotopes whose MAT values were incorrect in the
        // old hand-coded 47-entry table (off by one isotope offset each).
        // Correct values sourced from PLEIADES neutrons.list (ENDF/B-VIII.0).

        // Cd-113: old table had 4849 (actually Cd-114), correct is 4846
        assert_eq!(mat_number(48, 113), Some(4846));
        assert_eq!(isotope_from_mat(4846), Some((48, 113)));

        // Hf-177: old table had 7231 (actually Hf-176), correct is 7234
        assert_eq!(mat_number(72, 177), Some(7234));
        assert_eq!(isotope_from_mat(7234), Some((72, 177)));

        // Hf-178: old table had 7234 (actually Hf-177), correct is 7237
        assert_eq!(mat_number(72, 178), Some(7237));
        assert_eq!(isotope_from_mat(7237), Some((72, 178)));

        // W-182/183/184/186: old table was shifted by one isotope
        assert_eq!(mat_number(74, 182), Some(7431));
        assert_eq!(mat_number(74, 183), Some(7434));
        assert_eq!(mat_number(74, 184), Some(7437));
        assert_eq!(mat_number(74, 186), Some(7443));
    }

    #[test]
    fn test_mat_number_unknown() {
        assert_eq!(mat_number(200, 400), None);
        assert_eq!(mat_number(0, 0), None);
    }

    #[test]
    fn test_isotope_from_mat() {
        assert_eq!(isotope_from_mat(9228), Some((92, 235)));
        assert_eq!(isotope_from_mat(9237), Some((92, 238)));
        assert_eq!(isotope_from_mat(2631), Some((26, 56)));
        assert_eq!(isotope_from_mat(25), Some((0, 1))); // neutron
    }

    #[test]
    fn test_isotope_from_mat_unknown() {
        assert_eq!(isotope_from_mat(9999), None);
        assert_eq!(isotope_from_mat(0), None);
    }

    #[test]
    fn test_mat_roundtrip() {
        for &(z, a, mat) in ENDF_MAT_TABLE.iter() {
            assert_eq!(
                mat_number(z, a),
                Some(mat),
                "mat_number({}, {}) failed",
                z,
                a
            );
            assert_eq!(
                isotope_from_mat(mat),
                Some((z, a)),
                "isotope_from_mat({}) failed",
                mat
            );
        }
    }

    #[test]
    fn test_table_size() {
        assert_eq!(ENDF_MAT_TABLE.len(), 535);
    }

    #[test]
    fn test_known_isotopes_plutonium() {
        let pu = known_isotopes(94);
        assert_eq!(
            pu,
            vec![236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246]
        );
    }

    #[test]
    fn test_known_isotopes_technetium() {
        // Tc (Z=43) is synthetic — no natural isotopes but has ENDF evaluations
        let tc = known_isotopes(43);
        assert_eq!(tc, vec![98, 99]);
    }

    #[test]
    fn test_known_isotopes_iron() {
        let fe = known_isotopes(26);
        assert_eq!(fe, vec![54, 55, 56, 57, 58]);
    }

    #[test]
    fn test_known_isotopes_unknown() {
        assert!(known_isotopes(200).is_empty());
        assert!(known_isotopes(119).is_empty());
    }

    #[test]
    fn test_known_isotopes_superset_of_natural() {
        use crate::abundances::natural_isotopes;
        for z in 1..=92 {
            let natural_a: Vec<u32> = natural_isotopes(z).into_iter().map(|(a, _)| a).collect();
            let known_a = known_isotopes(z);
            for a in &natural_a {
                assert!(
                    known_a.contains(a),
                    "Z={z}, A={a} is natural but not in known_isotopes"
                );
            }
        }
    }

    #[test]
    fn test_has_endf_evaluation() {
        assert!(has_endf_evaluation(94, 239)); // Pu-239
        assert!(has_endf_evaluation(92, 235)); // U-235
        assert!(!has_endf_evaluation(94, 999)); // no such isotope
        assert!(!has_endf_evaluation(200, 400));
    }

    #[test]
    fn test_table_sorted() {
        for i in 1..ENDF_MAT_TABLE.len() {
            let (z1, a1, _) = ENDF_MAT_TABLE[i - 1];
            let (z2, a2, _) = ENDF_MAT_TABLE[i];
            assert!(
                (z1, a1) < (z2, a2),
                "Table not sorted at index {}: ({}, {}) >= ({}, {})",
                i,
                z1,
                a1,
                z2,
                a2
            );
        }
    }

    #[test]
    fn test_mat_number_tendl_known_values() {
        // Shared isotopes — match ENDF/B-VIII.0
        assert_eq!(mat_number_tendl(92, 235), Some(9228));
        assert_eq!(mat_number_tendl(92, 238), Some(9237));
        assert_eq!(mat_number_tendl(72, 180), Some(7243));
        assert_eq!(mat_number_tendl(1, 1), Some(125));
        // TENDL-only — not present in ENDF/B-VIII.0
        assert_eq!(mat_number_tendl(100, 247), Some(9928)); // Fm-247
        assert_eq!(mat_number(100, 247), None);
    }

    #[test]
    fn test_mat_number_tendl_es255_mismatch() {
        // Es-255 is the one documented MAT mismatch between ENDF/B-VIII.0 and TENDL-2023.
        // Both libraries have Es-255 evaluations but use different MAT numbers.
        assert_eq!(mat_number(99, 255), Some(9916));
        assert_eq!(mat_number_tendl(99, 255), Some(9915));
    }

    #[test]
    fn test_tendl_table_size() {
        assert_eq!(TENDL_2023_MAT_TABLE.len(), 2300);
    }

    #[test]
    fn test_tendl_table_sorted() {
        for i in 1..TENDL_2023_MAT_TABLE.len() {
            let (z1, a1, _) = TENDL_2023_MAT_TABLE[i - 1];
            let (z2, a2, _) = TENDL_2023_MAT_TABLE[i];
            assert!(
                (z1, a1) < (z2, a2),
                "TENDL table not sorted at index {}: ({}, {}) >= ({}, {})",
                i,
                z1,
                a1,
                z2,
                a2
            );
        }
    }

    #[test]
    fn test_tendl_shared_isotopes_agree_except_es255() {
        // For every (Z, A) in both tables, MATs should agree — except the documented
        // Es-255 mismatch. Regression guard: if the TENDL table is regenerated and a
        // new MAT diverges from ENDF/B-VIII.0, this test fires so we can decide
        // whether the new mismatch is intentional.
        for &(z, a, endfb_mat) in ENDF_MAT_TABLE {
            if let Some(tendl_mat) = mat_number_tendl(z, a) {
                if z == 99 && a == 255 {
                    continue; // documented mismatch
                }
                assert_eq!(
                    tendl_mat, endfb_mat,
                    "MAT mismatch for (Z={z}, A={a}): ENDF/B-VIII.0={endfb_mat}, TENDL-2023={tendl_mat}"
                );
            }
        }
    }

    #[test]
    fn test_mat_number_cendl_known_values() {
        // Ba isotopes — primary research target, full coverage.
        assert_eq!(mat_number_cendl(56, 136), Some(5643));
        assert_eq!(mat_number_cendl(56, 137), Some(5646));
        assert_eq!(mat_number_cendl(56, 138), Some(5649));
        // Hf controls — full match with ENDF/B-VIII.0.
        assert_eq!(mat_number_cendl(72, 177), Some(7234));
        assert_eq!(mat_number_cendl(72, 178), Some(7237));
        // U-238 — shared actinide reference.
        assert_eq!(mat_number_cendl(92, 238), Some(9237));
        // Free neutron — CENDL listing uses n_000-nn-1_0025.zip.
        assert_eq!(mat_number_cendl(0, 1), Some(25));
    }

    #[test]
    fn test_mat_number_cendl_br_absent() {
        // CENDL-3.2 has no Br entries (Be → Bi → Bk in element list). This is a
        // material gap relative to the other four libraries; #515 (ENDF source
        // comparison research) keeps Br comparison at 5 libraries.
        assert_eq!(mat_number_cendl(35, 79), None);
        assert_eq!(mat_number_cendl(35, 81), None);
        assert!(known_isotopes_cendl(35).is_empty());
        assert!(!has_endf_evaluation_cendl(35, 79));
    }

    #[test]
    fn test_known_isotopes_cendl_ba() {
        let ba = known_isotopes_cendl(56);
        assert_eq!(ba, vec![130, 132, 134, 135, 136, 137, 138]);
    }

    #[test]
    fn test_known_isotopes_cendl_hf() {
        let hf = known_isotopes_cendl(72);
        assert_eq!(hf, vec![174, 176, 177, 178, 179, 180]);
    }

    #[test]
    fn test_cendl_table_size() {
        assert_eq!(CENDL_3_2_MAT_TABLE.len(), 259);
    }

    #[test]
    fn test_cendl_table_sorted() {
        for i in 1..CENDL_3_2_MAT_TABLE.len() {
            let (z1, a1, _) = CENDL_3_2_MAT_TABLE[i - 1];
            let (z2, a2, _) = CENDL_3_2_MAT_TABLE[i];
            assert!(
                (z1, a1) < (z2, a2),
                "CENDL table not sorted at index {}: ({}, {}) >= ({}, {})",
                i,
                z1,
                a1,
                z2,
                a2
            );
        }
    }

    #[test]
    fn test_cendl_shared_isotopes_agree_with_endfb() {
        // CENDL-3.2 has no documented MAT divergences from ENDF/B-VIII.0 (unlike
        // TENDL-2023's Es-255 case). Regression guard: if the CENDL table is
        // regenerated and a new MAT diverges, this test fires so we can decide
        // whether the new mismatch is intentional.
        for &(z, a, endfb_mat) in ENDF_MAT_TABLE {
            if let Some(cendl_mat) = mat_number_cendl(z, a) {
                assert_eq!(
                    cendl_mat, endfb_mat,
                    "MAT mismatch for (Z={z}, A={a}): ENDF/B-VIII.0={endfb_mat}, CENDL-3.2={cendl_mat}"
                );
            }
        }
    }
}