resharp-algebra 0.5.1

use crate::{NodeId, RegexBuilder};

pub fn build_word_class(b: &mut RegexBuilder) -> NodeId {
    let n0 = b.mk_ranges_u8(&[(0x30, 0x39), (0x41, 0x5A), (0x5F, 0x5F), (0x61, 0x7A)]);
    let n1 = b.mk_range_u8(0xC2, 0xC2);
    let n2 = b.mk_ranges_u8(&[(0xAA, 0xAA), (0xB5, 0xB5), (0xBA, 0xBA)]);
    let n3 = b.mk_concat(n1, n2);
    let n4 = b.mk_range_u8(0xC3, 0xC3);
    let n5 = b.mk_ranges_u8(&[(0x80, 0x96), (0x98, 0xB6), (0xB8, 0xBF)]);
    let n6 = b.mk_concat(n4, n5);
    let n7 = b.mk_range_u8(0xC4, 0xCA);
    let n8 = b.mk_range_u8(0x80, 0xBF);
    let n9 = b.mk_concat(n7, n8);
    let n10 = b.mk_range_u8(0xCB, 0xCB);
    let n11 = b.mk_ranges_u8(&[
        (0x80, 0x81),
        (0x86, 0x91),
        (0xA0, 0xA4),
        (0xAC, 0xAC),
        (0xAE, 0xAE),
    ]);
    let n12 = b.mk_concat(n10, n11);
    let n13 = b.mk_range_u8(0xCC, 0xCC);
    let n14 = b.mk_concat(n13, n8);
    let n15 = b.mk_range_u8(0xCD, 0xCD);
    let n16 = b.mk_ranges_u8(&[(0x80, 0xB4), (0xB6, 0xB7), (0xBA, 0xBD), (0xBF, 0xBF)]);
    let n17 = b.mk_concat(n15, n16);
    let n18 = b.mk_range_u8(0xCE, 0xCE);
    let n19 = b.mk_ranges_u8(&[
        (0x86, 0x86),
        (0x88, 0x8A),
        (0x8C, 0x8C),
        (0x8E, 0xA1),
        (0xA3, 0xBF),
    ]);
    let n20 = b.mk_concat(n18, n19);
    let n21 = b.mk_range_u8(0xCF, 0xCF);
    let n22 = b.mk_ranges_u8(&[(0x80, 0xB5), (0xB7, 0xBF)]);
    let n23 = b.mk_concat(n21, n22);
    let n24 = b.mk_range_u8(0xD0, 0xD1);
    let n25 = b.mk_concat(n24, n8);
    let n26 = b.mk_range_u8(0xD2, 0xD2);
    let n27 = b.mk_ranges_u8(&[(0x80, 0x81), (0x83, 0xBF)]);
    let n28 = b.mk_concat(n26, n27);
    let n29 = b.mk_range_u8(0xD3, 0xD3);
    let n30 = b.mk_concat(n29, n8);
    let n31 = b.mk_range_u8(0xD4, 0xD4);
    let n32 = b.mk_ranges_u8(&[(0x80, 0xAF), (0xB1, 0xBF)]);
    let n33 = b.mk_concat(n31, n32);
    let n34 = b.mk_range_u8(0xD5, 0xD5);
    let n35 = b.mk_ranges_u8(&[(0x80, 0x96), (0x99, 0x99), (0xA0, 0xBF)]);
    let n36 = b.mk_concat(n34, n35);
    let n37 = b.mk_range_u8(0xD6, 0xD6);
    let n38 = b.mk_ranges_u8(&[(0x80, 0x88), (0x91, 0xBD), (0xBF, 0xBF)]);
    let n39 = b.mk_concat(n37, n38);
    let n40 = b.mk_range_u8(0xD7, 0xD7);
    let n41 = b.mk_ranges_u8(&[
        (0x81, 0x82),
        (0x84, 0x85),
        (0x87, 0x87),
        (0x90, 0xAA),
        (0xAF, 0xB2),
    ]);
    let n42 = b.mk_concat(n40, n41);
    let n43 = b.mk_range_u8(0xD8, 0xD8);
    let n44 = b.mk_ranges_u8(&[(0x90, 0x9A), (0xA0, 0xBF)]);
    let n45 = b.mk_concat(n43, n44);
    let n46 = b.mk_range_u8(0xD9, 0xD9);
    let n47 = b.mk_ranges_u8(&[(0x80, 0xA9), (0xAE, 0xBF)]);
    let n48 = b.mk_concat(n46, n47);
    let n49 = b.mk_range_u8(0xDA, 0xDA);
    let n50 = b.mk_concat(n49, n8);
    let n51 = b.mk_range_u8(0xDB, 0xDB);
    let n52 = b.mk_ranges_u8(&[
        (0x80, 0x93),
        (0x95, 0x9C),
        (0x9F, 0xA8),
        (0xAA, 0xBC),
        (0xBF, 0xBF),
    ]);
    let n53 = b.mk_concat(n51, n52);
    let n54 = b.mk_range_u8(0xDC, 0xDC);
    let n55 = b.mk_range_u8(0x90, 0xBF);
    let n56 = b.mk_concat(n54, n55);
    let n57 = b.mk_range_u8(0xDD, 0xDD);
    let n58 = b.mk_ranges_u8(&[(0x80, 0x8A), (0x8D, 0xBF)]);
    let n59 = b.mk_concat(n57, n58);
    let n60 = b.mk_range_u8(0xDE, 0xDE);
    let n61 = b.mk_range_u8(0x80, 0xB1);
    let n62 = b.mk_concat(n60, n61);
    let n63 = b.mk_range_u8(0xDF, 0xDF);
    let n64 = b.mk_ranges_u8(&[(0x80, 0xB5), (0xBA, 0xBA), (0xBD, 0xBD)]);
    let n65 = b.mk_concat(n63, n64);
    let n66 = b.mk_union(n62, n65);
    let n67 = b.mk_union(n59, n66);
    let n68 = b.mk_union(n56, n67);
    let n69 = b.mk_union(n53, n68);
    let n70 = b.mk_union(n50, n69);
    let n71 = b.mk_union(n48, n70);
    let n72 = b.mk_union(n45, n71);
    let n73 = b.mk_union(n42, n72);
    let n74 = b.mk_union(n39, n73);
    let n75 = b.mk_union(n36, n74);
    let n76 = b.mk_union(n33, n75);
    let n77 = b.mk_union(n30, n76);
    let n78 = b.mk_union(n28, n77);
    let n79 = b.mk_union(n25, n78);
    let n80 = b.mk_union(n23, n79);
    let n81 = b.mk_union(n20, n80);
    let n82 = b.mk_union(n17, n81);
    let n83 = b.mk_union(n14, n82);
    let n84 = b.mk_union(n12, n83);
    let n85 = b.mk_union(n9, n84);
    let n86 = b.mk_union(n6, n85);
    let n87 = b.mk_union(n3, n86);
    b.mk_union(n0, n87)
}

pub fn build_digit_class(b: &mut RegexBuilder) -> NodeId {
    // default \d to ascii [0-9], \p{Number} covers the full Unicode set of digits
    b.mk_range_u8(0x30, 0x39)
}

pub fn build_space_class(b: &mut RegexBuilder) -> NodeId {
    // default \s to ascii [\t\n\v\f\r ], \p{White_Space} covers the full Unicode set
    b.mk_ranges_u8(&[(0x09, 0x0D), (0x20, 0x20)])
}

pub fn build_space_class_full(b: &mut RegexBuilder) -> NodeId {
    let n0 = b.mk_ranges_u8(&[(0x09, 0x0D), (0x20, 0x20)]);
    let n1 = b.mk_range_u8(0xC2, 0xC2);
    let n2 = b.mk_ranges_u8(&[(0x85, 0x85), (0xA0, 0xA0)]);
    let n3 = b.mk_concat(n1, n2);
    let n4 = b.mk_range_u8(0xE1, 0xE1);
    let n5 = b.mk_range_u8(0x9A, 0x9A);
    let n6 = b.mk_range_u8(0x80, 0x80);
    let n7 = b.mk_concat(n5, n6);
    let n8 = b.mk_concat(n4, n7);
    let n9 = b.mk_range_u8(0xE2, 0xE2);
    let n10 = b.mk_ranges_u8(&[(0x80, 0x8A), (0xA8, 0xA9), (0xAF, 0xAF)]);
    let n11 = b.mk_concat(n6, n10);
    let n12 = b.mk_range_u8(0x81, 0x81);
    let n13 = b.mk_range_u8(0x9F, 0x9F);
    let n14 = b.mk_concat(n12, n13);
    let n15 = b.mk_union(n11, n14);
    let n16 = b.mk_concat(n9, n15);
    let n17 = b.mk_range_u8(0xE3, 0xE3);
    let n18 = b.mk_concat(n6, n6);
    let n19 = b.mk_concat(n17, n18);
    let n20 = b.mk_union(n16, n19);
    let n21 = b.mk_union(n8, n20);
    let n22 = b.mk_union(n3, n21);
    b.mk_union(n0, n22)
}

pub fn build_word_class_full(b: &mut RegexBuilder) -> NodeId {
    let n0 = b.mk_ranges_u8(&[(0x30, 0x39), (0x41, 0x5A), (0x5F, 0x5F), (0x61, 0x7A)]);
    let n1 = b.mk_range_u8(0xC2, 0xC2);
    let n2 = b.mk_ranges_u8(&[(0xAA, 0xAA), (0xB5, 0xB5), (0xBA, 0xBA)]);
    let n3 = b.mk_concat(n1, n2);
    let n4 = b.mk_range_u8(0xC3, 0xC3);
    let n5 = b.mk_ranges_u8(&[(0x80, 0x96), (0x98, 0xB6), (0xB8, 0xBF)]);
    let n6 = b.mk_concat(n4, n5);
    let n7 = b.mk_range_u8(0xC4, 0xCA);
    let n8 = b.mk_range_u8(0x80, 0xBF);
    let n9 = b.mk_concat(n7, n8);
    let n10 = b.mk_range_u8(0xCB, 0xCB);
    let n11 = b.mk_ranges_u8(&[
        (0x80, 0x81),
        (0x86, 0x91),
        (0xA0, 0xA4),
        (0xAC, 0xAC),
        (0xAE, 0xAE),
    ]);
    let n12 = b.mk_concat(n10, n11);
    let n13 = b.mk_range_u8(0xCC, 0xCC);
    let n14 = b.mk_concat(n13, n8);
    let n15 = b.mk_range_u8(0xCD, 0xCD);
    let n16 = b.mk_ranges_u8(&[(0x80, 0xB4), (0xB6, 0xB7), (0xBA, 0xBD), (0xBF, 0xBF)]);
    let n17 = b.mk_concat(n15, n16);
    let n18 = b.mk_range_u8(0xCE, 0xCE);
    let n19 = b.mk_ranges_u8(&[
        (0x86, 0x86),
        (0x88, 0x8A),
        (0x8C, 0x8C),
        (0x8E, 0xA1),
        (0xA3, 0xBF),
    ]);
    let n20 = b.mk_concat(n18, n19);
    let n21 = b.mk_range_u8(0xCF, 0xCF);
    let n22 = b.mk_ranges_u8(&[(0x80, 0xB5), (0xB7, 0xBF)]);
    let n23 = b.mk_concat(n21, n22);
    let n24 = b.mk_range_u8(0xD0, 0xD1);
    let n25 = b.mk_concat(n24, n8);
    let n26 = b.mk_range_u8(0xD2, 0xD2);
    let n27 = b.mk_ranges_u8(&[(0x80, 0x81), (0x83, 0xBF)]);
    let n28 = b.mk_concat(n26, n27);
    let n29 = b.mk_range_u8(0xD3, 0xD3);
    let n30 = b.mk_concat(n29, n8);
    let n31 = b.mk_range_u8(0xD4, 0xD4);
    let n32 = b.mk_ranges_u8(&[(0x80, 0xAF), (0xB1, 0xBF)]);
    let n33 = b.mk_concat(n31, n32);
    let n34 = b.mk_range_u8(0xD5, 0xD5);
    let n35 = b.mk_ranges_u8(&[(0x80, 0x96), (0x99, 0x99), (0xA0, 0xBF)]);
    let n36 = b.mk_concat(n34, n35);
    let n37 = b.mk_range_u8(0xD6, 0xD6);
    let n38 = b.mk_ranges_u8(&[(0x80, 0x88), (0x91, 0xBD), (0xBF, 0xBF)]);
    let n39 = b.mk_concat(n37, n38);
    let n40 = b.mk_range_u8(0xD7, 0xD7);
    let n41 = b.mk_ranges_u8(&[
        (0x81, 0x82),
        (0x84, 0x85),
        (0x87, 0x87),
        (0x90, 0xAA),
        (0xAF, 0xB2),
    ]);
    let n42 = b.mk_concat(n40, n41);
    let n43 = b.mk_range_u8(0xD8, 0xD8);
    let n44 = b.mk_ranges_u8(&[(0x90, 0x9A), (0xA0, 0xBF)]);
    let n45 = b.mk_concat(n43, n44);
    let n46 = b.mk_range_u8(0xD9, 0xD9);
    let n47 = b.mk_ranges_u8(&[(0x80, 0xA9), (0xAE, 0xBF)]);
    let n48 = b.mk_concat(n46, n47);
    let n49 = b.mk_range_u8(0xDA, 0xDA);
    let n50 = b.mk_concat(n49, n8);
    let n51 = b.mk_range_u8(0xDB, 0xDB);
    let n52 = b.mk_ranges_u8(&[
        (0x80, 0x93),
        (0x95, 0x9C),
        (0x9F, 0xA8),
        (0xAA, 0xBC),
        (0xBF, 0xBF),
    ]);
    let n53 = b.mk_concat(n51, n52);
    let n54 = b.mk_range_u8(0xDC, 0xDC);
    let n55 = b.mk_range_u8(0x90, 0xBF);
    let n56 = b.mk_concat(n54, n55);
    let n57 = b.mk_range_u8(0xDD, 0xDD);
    let n58 = b.mk_ranges_u8(&[(0x80, 0x8A), (0x8D, 0xBF)]);
    let n59 = b.mk_concat(n57, n58);
    let n60 = b.mk_range_u8(0xDE, 0xDE);
    let n61 = b.mk_range_u8(0x80, 0xB1);
    let n62 = b.mk_concat(n60, n61);
    let n63 = b.mk_range_u8(0xDF, 0xDF);
    let n64 = b.mk_ranges_u8(&[(0x80, 0xB5), (0xBA, 0xBA), (0xBD, 0xBD)]);
    let n65 = b.mk_concat(n63, n64);
    let n66 = b.mk_range_u8(0xE0, 0xE0);
    let n67 = b.mk_range_u8(0xA0, 0xA0);
    let n68 = b.mk_range_u8(0x80, 0xAD);
    let n69 = b.mk_concat(n67, n68);
    let n70 = b.mk_range_u8(0xA1, 0xA1);
    let n71 = b.mk_ranges_u8(&[(0x80, 0x9B), (0xA0, 0xAA), (0xB0, 0xBF)]);
    let n72 = b.mk_concat(n70, n71);
    let n73 = b.mk_range_u8(0xA2, 0xA2);
    let n74 = b.mk_ranges_u8(&[(0x80, 0x87), (0x89, 0x8E), (0x97, 0xBF)]);
    let n75 = b.mk_concat(n73, n74);
    let n76 = b.mk_range_u8(0xA3, 0xA3);
    let n77 = b.mk_ranges_u8(&[(0x80, 0xA1), (0xA3, 0xBF)]);
    let n78 = b.mk_concat(n76, n77);
    let n79 = b.mk_range_u8(0xA4, 0xA4);
    let n80 = b.mk_concat(n79, n8);
    let n81 = b.mk_range_u8(0xA5, 0xA5);
    let n82 = b.mk_ranges_u8(&[(0x80, 0xA3), (0xA6, 0xAF), (0xB1, 0xBF)]);
    let n83 = b.mk_concat(n81, n82);
    let n84 = b.mk_range_u8(0xA6, 0xA6);
    let n85 = b.mk_ranges_u8(&[
        (0x80, 0x83),
        (0x85, 0x8C),
        (0x8F, 0x90),
        (0x93, 0xA8),
        (0xAA, 0xB0),
        (0xB2, 0xB2),
        (0xB6, 0xB9),
        (0xBC, 0xBF),
    ]);
    let n86 = b.mk_concat(n84, n85);
    let n87 = b.mk_range_u8(0xA7, 0xA7);
    let n88 = b.mk_ranges_u8(&[
        (0x80, 0x84),
        (0x87, 0x88),
        (0x8B, 0x8E),
        (0x97, 0x97),
        (0x9C, 0x9D),
        (0x9F, 0xA3),
        (0xA6, 0xB1),
        (0xBC, 0xBC),
        (0xBE, 0xBE),
    ]);
    let n89 = b.mk_concat(n87, n88);
    let n90 = b.mk_range_u8(0xA8, 0xA8);
    let n91 = b.mk_ranges_u8(&[
        (0x81, 0x83),
        (0x85, 0x8A),
        (0x8F, 0x90),
        (0x93, 0xA8),
        (0xAA, 0xB0),
        (0xB2, 0xB3),
        (0xB5, 0xB6),
        (0xB8, 0xB9),
        (0xBC, 0xBC),
        (0xBE, 0xBF),
    ]);
    let n92 = b.mk_concat(n90, n91);
    let n93 = b.mk_range_u8(0xA9, 0xA9);
    let n94 = b.mk_ranges_u8(&[
        (0x80, 0x82),
        (0x87, 0x88),
        (0x8B, 0x8D),
        (0x91, 0x91),
        (0x99, 0x9C),
        (0x9E, 0x9E),
        (0xA6, 0xB5),
    ]);
    let n95 = b.mk_concat(n93, n94);
    let n96 = b.mk_range_u8(0xAA, 0xAA);
    let n97 = b.mk_ranges_u8(&[
        (0x81, 0x83),
        (0x85, 0x8D),
        (0x8F, 0x91),
        (0x93, 0xA8),
        (0xAA, 0xB0),
        (0xB2, 0xB3),
        (0xB5, 0xB9),
        (0xBC, 0xBF),
    ]);
    let n98 = b.mk_concat(n96, n97);
    let n99 = b.mk_range_u8(0xAB, 0xAB);
    let n100 = b.mk_ranges_u8(&[
        (0x80, 0x85),
        (0x87, 0x89),
        (0x8B, 0x8D),
        (0x90, 0x90),
        (0xA0, 0xA3),
        (0xA6, 0xAF),
        (0xB9, 0xBF),
    ]);
    let n101 = b.mk_concat(n99, n100);
    let n102 = b.mk_range_u8(0xAC, 0xAC);
    let n103 = b.mk_ranges_u8(&[
        (0x81, 0x83),
        (0x85, 0x8C),
        (0x8F, 0x90),
        (0x93, 0xA8),
        (0xAA, 0xB0),
        (0xB2, 0xB3),
        (0xB5, 0xB9),
        (0xBC, 0xBF),
    ]);
    let n104 = b.mk_concat(n102, n103);
    let n105 = b.mk_range_u8(0xAD, 0xAD);
    let n106 = b.mk_ranges_u8(&[
        (0x80, 0x84),
        (0x87, 0x88),
        (0x8B, 0x8D),
        (0x95, 0x97),
        (0x9C, 0x9D),
        (0x9F, 0xA3),
        (0xA6, 0xAF),
        (0xB1, 0xB1),
    ]);
    let n107 = b.mk_concat(n105, n106);
    let n108 = b.mk_range_u8(0xAE, 0xAE);
    let n109 = b.mk_ranges_u8(&[
        (0x82, 0x83),
        (0x85, 0x8A),
        (0x8E, 0x90),
        (0x92, 0x95),
        (0x99, 0x9A),
        (0x9C, 0x9C),
        (0x9E, 0x9F),
        (0xA3, 0xA4),
        (0xA8, 0xAA),
        (0xAE, 0xB9),
        (0xBE, 0xBF),
    ]);
    let n110 = b.mk_concat(n108, n109);
    let n111 = b.mk_range_u8(0xAF, 0xAF);
    let n112 = b.mk_ranges_u8(&[
        (0x80, 0x82),
        (0x86, 0x88),
        (0x8A, 0x8D),
        (0x90, 0x90),
        (0x97, 0x97),
        (0xA6, 0xAF),
    ]);
    let n113 = b.mk_concat(n111, n112);
    let n114 = b.mk_range_u8(0xB0, 0xB0);
    let n115 = b.mk_ranges_u8(&[
        (0x80, 0x8C),
        (0x8E, 0x90),
        (0x92, 0xA8),
        (0xAA, 0xB9),
        (0xBC, 0xBF),
    ]);
    let n116 = b.mk_concat(n114, n115);
    let n117 = b.mk_range_u8(0xB1, 0xB1);
    let n118 = b.mk_ranges_u8(&[
        (0x80, 0x84),
        (0x86, 0x88),
        (0x8A, 0x8D),
        (0x95, 0x96),
        (0x98, 0x9A),
        (0x9D, 0x9D),
        (0xA0, 0xA3),
        (0xA6, 0xAF),
    ]);
    let n119 = b.mk_concat(n117, n118);
    let n120 = b.mk_range_u8(0xB2, 0xB2);
    let n121 = b.mk_ranges_u8(&[
        (0x80, 0x83),
        (0x85, 0x8C),
        (0x8E, 0x90),
        (0x92, 0xA8),
        (0xAA, 0xB3),
        (0xB5, 0xB9),
        (0xBC, 0xBF),
    ]);
    let n122 = b.mk_concat(n120, n121);
    let n123 = b.mk_range_u8(0xB3, 0xB3);
    let n124 = b.mk_ranges_u8(&[
        (0x80, 0x84),
        (0x86, 0x88),
        (0x8A, 0x8D),
        (0x95, 0x96),
        (0x9D, 0x9E),
        (0xA0, 0xA3),
        (0xA6, 0xAF),
        (0xB1, 0xB3),
    ]);
    let n125 = b.mk_concat(n123, n124);
    let n126 = b.mk_range_u8(0xB4, 0xB4);
    let n127 = b.mk_ranges_u8(&[(0x80, 0x8C), (0x8E, 0x90), (0x92, 0xBF)]);
    let n128 = b.mk_concat(n126, n127);
    let n129 = b.mk_range_u8(0xB5, 0xB5);
    let n130 = b.mk_ranges_u8(&[
        (0x80, 0x84),
        (0x86, 0x88),
        (0x8A, 0x8E),
        (0x94, 0x97),
        (0x9F, 0xA3),
        (0xA6, 0xAF),
        (0xBA, 0xBF),
    ]);
    let n131 = b.mk_concat(n129, n130);
    let n132 = b.mk_range_u8(0xB6, 0xB6);
    let n133 = b.mk_ranges_u8(&[
        (0x81, 0x83),
        (0x85, 0x96),
        (0x9A, 0xB1),
        (0xB3, 0xBB),
        (0xBD, 0xBD),
    ]);
    let n134 = b.mk_concat(n132, n133);
    let n135 = b.mk_range_u8(0xB7, 0xB7);
    let n136 = b.mk_ranges_u8(&[
        (0x80, 0x86),
        (0x8A, 0x8A),
        (0x8F, 0x94),
        (0x96, 0x96),
        (0x98, 0x9F),
        (0xA6, 0xAF),
        (0xB2, 0xB3),
    ]);
    let n137 = b.mk_concat(n135, n136);
    let n138 = b.mk_range_u8(0xB8, 0xB8);
    let n139 = b.mk_range_u8(0x81, 0xBA);
    let n140 = b.mk_concat(n138, n139);
    let n141 = b.mk_range_u8(0xB9, 0xB9);
    let n142 = b.mk_ranges_u8(&[(0x80, 0x8E), (0x90, 0x99)]);
    let n143 = b.mk_concat(n141, n142);
    let n144 = b.mk_range_u8(0xBA, 0xBA);
    let n145 = b.mk_ranges_u8(&[
        (0x81, 0x82),
        (0x84, 0x84),
        (0x86, 0x8A),
        (0x8C, 0xA3),
        (0xA5, 0xA5),
        (0xA7, 0xBD),
    ]);
    let n146 = b.mk_concat(n144, n145);
    let n147 = b.mk_range_u8(0xBB, 0xBB);
    let n148 = b.mk_ranges_u8(&[
        (0x80, 0x84),
        (0x86, 0x86),
        (0x88, 0x8E),
        (0x90, 0x99),
        (0x9C, 0x9F),
    ]);
    let n149 = b.mk_concat(n147, n148);
    let n150 = b.mk_range_u8(0xBC, 0xBC);
    let n151 = b.mk_ranges_u8(&[
        (0x80, 0x80),
        (0x98, 0x99),
        (0xA0, 0xA9),
        (0xB5, 0xB5),
        (0xB7, 0xB7),
        (0xB9, 0xB9),
        (0xBE, 0xBF),
    ]);
    let n152 = b.mk_concat(n150, n151);
    let n153 = b.mk_range_u8(0xBD, 0xBD);
    let n154 = b.mk_ranges_u8(&[(0x80, 0x87), (0x89, 0xAC), (0xB1, 0xBF)]);
    let n155 = b.mk_concat(n153, n154);
    let n156 = b.mk_range_u8(0xBE, 0xBE);
    let n157 = b.mk_ranges_u8(&[(0x80, 0x84), (0x86, 0x97), (0x99, 0xBC)]);
    let n158 = b.mk_concat(n156, n157);
    let n159 = b.mk_range_u8(0xBF, 0xBF);
    let n160 = b.mk_range_u8(0x86, 0x86);
    let n161 = b.mk_concat(n159, n160);
    let n162 = b.mk_union(n158, n161);
    let n163 = b.mk_union(n155, n162);
    let n164 = b.mk_union(n152, n163);
    let n165 = b.mk_union(n149, n164);
    let n166 = b.mk_union(n146, n165);
    let n167 = b.mk_union(n143, n166);
    let n168 = b.mk_union(n140, n167);
    let n169 = b.mk_union(n137, n168);
    let n170 = b.mk_union(n134, n169);
    let n171 = b.mk_union(n131, n170);
    let n172 = b.mk_union(n128, n171);
    let n173 = b.mk_union(n125, n172);
    let n174 = b.mk_union(n122, n173);
    let n175 = b.mk_union(n119, n174);
    let n176 = b.mk_union(n116, n175);
    let n177 = b.mk_union(n113, n176);
    let n178 = b.mk_union(n110, n177);
    let n179 = b.mk_union(n107, n178);
    let n180 = b.mk_union(n104, n179);
    let n181 = b.mk_union(n101, n180);
    let n182 = b.mk_union(n98, n181);
    let n183 = b.mk_union(n95, n182);
    let n184 = b.mk_union(n92, n183);
    let n185 = b.mk_union(n89, n184);
    let n186 = b.mk_union(n86, n185);
    let n187 = b.mk_union(n83, n186);
    let n188 = b.mk_union(n80, n187);
    let n189 = b.mk_union(n78, n188);
    let n190 = b.mk_union(n75, n189);
    let n191 = b.mk_union(n72, n190);
    let n192 = b.mk_union(n69, n191);
    let n193 = b.mk_concat(n66, n192);
    let n194 = b.mk_range_u8(0xE1, 0xE1);
    let n195 = b.mk_range_u8(0x80, 0x80);
    let n196 = b.mk_concat(n195, n8);
    let n197 = b.mk_range_u8(0x81, 0x81);
    let n198 = b.mk_ranges_u8(&[(0x80, 0x89), (0x90, 0xBF)]);
    let n199 = b.mk_concat(n197, n198);
    let n200 = b.mk_range_u8(0x82, 0x82);
    let n201 = b.mk_ranges_u8(&[(0x80, 0x9D), (0xA0, 0xBF)]);
    let n202 = b.mk_concat(n200, n201);
    let n203 = b.mk_range_u8(0x83, 0x83);
    let n204 = b.mk_ranges_u8(&[
        (0x80, 0x85),
        (0x87, 0x87),
        (0x8D, 0x8D),
        (0x90, 0xBA),
        (0xBC, 0xBF),
    ]);
    let n205 = b.mk_concat(n203, n204);
    let n206 = b.mk_range_u8(0x84, 0x88);
    let n207 = b.mk_concat(n206, n8);
    let n208 = b.mk_range_u8(0x89, 0x89);
    let n209 = b.mk_ranges_u8(&[
        (0x80, 0x88),
        (0x8A, 0x8D),
        (0x90, 0x96),
        (0x98, 0x98),
        (0x9A, 0x9D),
        (0xA0, 0xBF),
    ]);
    let n210 = b.mk_concat(n208, n209);
    let n211 = b.mk_range_u8(0x8A, 0x8A);
    let n212 = b.mk_ranges_u8(&[
        (0x80, 0x88),
        (0x8A, 0x8D),
        (0x90, 0xB0),
        (0xB2, 0xB5),
        (0xB8, 0xBE),
    ]);
    let n213 = b.mk_concat(n211, n212);
    let n214 = b.mk_range_u8(0x8B, 0x8B);
    let n215 = b.mk_ranges_u8(&[(0x80, 0x80), (0x82, 0x85), (0x88, 0x96), (0x98, 0xBF)]);
    let n216 = b.mk_concat(n214, n215);
    let n217 = b.mk_range_u8(0x8C, 0x8C);
    let n218 = b.mk_ranges_u8(&[(0x80, 0x90), (0x92, 0x95), (0x98, 0xBF)]);
    let n219 = b.mk_concat(n217, n218);
    let n220 = b.mk_range_u8(0x8D, 0x8D);
    let n221 = b.mk_ranges_u8(&[(0x80, 0x9A), (0x9D, 0x9F)]);
    let n222 = b.mk_concat(n220, n221);
    let n223 = b.mk_range_u8(0x8E, 0x8E);
    let n224 = b.mk_ranges_u8(&[(0x80, 0x8F), (0xA0, 0xBF)]);
    let n225 = b.mk_concat(n223, n224);
    let n226 = b.mk_range_u8(0x8F, 0x8F);
    let n227 = b.mk_ranges_u8(&[(0x80, 0xB5), (0xB8, 0xBD)]);
    let n228 = b.mk_concat(n226, n227);
    let n229 = b.mk_range_u8(0x90, 0x90);
    let n230 = b.mk_range_u8(0x81, 0xBF);
    let n231 = b.mk_concat(n229, n230);
    let n232 = b.mk_range_u8(0x91, 0x98);
    let n233 = b.mk_concat(n232, n8);
    let n234 = b.mk_range_u8(0x99, 0x99);
    let n235 = b.mk_ranges_u8(&[(0x80, 0xAC), (0xAF, 0xBF)]);
    let n236 = b.mk_concat(n234, n235);
    let n237 = b.mk_range_u8(0x9A, 0x9A);
    let n238 = b.mk_ranges_u8(&[(0x81, 0x9A), (0xA0, 0xBF)]);
    let n239 = b.mk_concat(n237, n238);
    let n240 = b.mk_range_u8(0x9B, 0x9B);
    let n241 = b.mk_ranges_u8(&[(0x80, 0xAA), (0xAE, 0xB8)]);
    let n242 = b.mk_concat(n240, n241);
    let n243 = b.mk_range_u8(0x9C, 0x9C);
    let n244 = b.mk_ranges_u8(&[(0x80, 0x95), (0x9F, 0xB4)]);
    let n245 = b.mk_concat(n243, n244);
    let n246 = b.mk_range_u8(0x9D, 0x9D);
    let n247 = b.mk_ranges_u8(&[(0x80, 0x93), (0xA0, 0xAC), (0xAE, 0xB0), (0xB2, 0xB3)]);
    let n248 = b.mk_concat(n246, n247);
    let n249 = b.mk_range_u8(0x9E, 0x9E);
    let n250 = b.mk_concat(n249, n8);
    let n251 = b.mk_range_u8(0x9F, 0x9F);
    let n252 = b.mk_ranges_u8(&[(0x80, 0x93), (0x97, 0x97), (0x9C, 0x9D), (0xA0, 0xA9)]);
    let n253 = b.mk_concat(n251, n252);
    let n254 = b.mk_ranges_u8(&[(0x8B, 0x8D), (0x8F, 0x99), (0xA0, 0xBF)]);
    let n255 = b.mk_concat(n67, n254);
    let n256 = b.mk_range_u8(0x80, 0xB8);
    let n257 = b.mk_concat(n70, n256);
    let n258 = b.mk_ranges_u8(&[(0x80, 0xAA), (0xB0, 0xBF)]);
    let n259 = b.mk_concat(n73, n258);
    let n260 = b.mk_range_u8(0x80, 0xB5);
    let n261 = b.mk_concat(n76, n260);
    let n262 = b.mk_ranges_u8(&[(0x80, 0x9E), (0xA0, 0xAB), (0xB0, 0xBB)]);
    let n263 = b.mk_concat(n79, n262);
    let n264 = b.mk_ranges_u8(&[(0x86, 0xAD), (0xB0, 0xB4)]);
    let n265 = b.mk_concat(n81, n264);
    let n266 = b.mk_ranges_u8(&[(0x80, 0xAB), (0xB0, 0xBF)]);
    let n267 = b.mk_concat(n84, n266);
    let n268 = b.mk_ranges_u8(&[(0x80, 0x89), (0x90, 0x99)]);
    let n269 = b.mk_concat(n87, n268);
    let n270 = b.mk_ranges_u8(&[(0x80, 0x9B), (0xA0, 0xBF)]);
    let n271 = b.mk_concat(n90, n270);
    let n272 = b.mk_ranges_u8(&[(0x80, 0x9E), (0xA0, 0xBC), (0xBF, 0xBF)]);
    let n273 = b.mk_concat(n93, n272);
    let n274 = b.mk_ranges_u8(&[(0x80, 0x89), (0x90, 0x99), (0xA7, 0xA7), (0xB0, 0xBF)]);
    let n275 = b.mk_concat(n96, n274);
    let n276 = b.mk_range_u8(0x80, 0x8E);
    let n277 = b.mk_concat(n99, n276);
    let n278 = b.mk_concat(n102, n8);
    let n279 = b.mk_ranges_u8(&[(0x80, 0x8C), (0x90, 0x99), (0xAB, 0xB3)]);
    let n280 = b.mk_concat(n105, n279);
    let n281 = b.mk_concat(n108, n8);
    let n282 = b.mk_range_u8(0x80, 0xB3);
    let n283 = b.mk_concat(n111, n282);
    let n284 = b.mk_range_u8(0x80, 0xB7);
    let n285 = b.mk_concat(n114, n284);
    let n286 = b.mk_ranges_u8(&[(0x80, 0x89), (0x8D, 0xBD)]);
    let n287 = b.mk_concat(n117, n286);
    let n288 = b.mk_ranges_u8(&[(0x80, 0x8A), (0x90, 0xBA), (0xBD, 0xBF)]);
    let n289 = b.mk_concat(n120, n288);
    let n290 = b.mk_ranges_u8(&[(0x90, 0x92), (0x94, 0xBA)]);
    let n291 = b.mk_concat(n123, n290);
    let n292 = b.mk_range_u8(0xB4, 0xBB);
    let n293 = b.mk_concat(n292, n8);
    let n294 = b.mk_ranges_u8(&[(0x80, 0x95), (0x98, 0x9D), (0xA0, 0xBF)]);
    let n295 = b.mk_concat(n150, n294);
    let n296 = b.mk_ranges_u8(&[
        (0x80, 0x85),
        (0x88, 0x8D),
        (0x90, 0x97),
        (0x99, 0x99),
        (0x9B, 0x9B),
        (0x9D, 0x9D),
        (0x9F, 0xBD),
    ]);
    let n297 = b.mk_concat(n153, n296);
    let n298 = b.mk_ranges_u8(&[(0x80, 0xB4), (0xB6, 0xBC), (0xBE, 0xBE)]);
    let n299 = b.mk_concat(n156, n298);
    let n300 = b.mk_ranges_u8(&[
        (0x82, 0x84),
        (0x86, 0x8C),
        (0x90, 0x93),
        (0x96, 0x9B),
        (0xA0, 0xAC),
        (0xB2, 0xB4),
        (0xB6, 0xBC),
    ]);
    let n301 = b.mk_concat(n159, n300);
    let n302 = b.mk_union(n299, n301);
    let n303 = b.mk_union(n297, n302);
    let n304 = b.mk_union(n295, n303);
    let n305 = b.mk_union(n293, n304);
    let n306 = b.mk_union(n291, n305);
    let n307 = b.mk_union(n289, n306);
    let n308 = b.mk_union(n287, n307);
    let n309 = b.mk_union(n285, n308);
    let n310 = b.mk_union(n283, n309);
    let n311 = b.mk_union(n281, n310);
    let n312 = b.mk_union(n280, n311);
    let n313 = b.mk_union(n278, n312);
    let n314 = b.mk_union(n277, n313);
    let n315 = b.mk_union(n275, n314);
    let n316 = b.mk_union(n273, n315);
    let n317 = b.mk_union(n271, n316);
    let n318 = b.mk_union(n269, n317);
    let n319 = b.mk_union(n267, n318);
    let n320 = b.mk_union(n265, n319);
    let n321 = b.mk_union(n263, n320);
    let n322 = b.mk_union(n261, n321);
    let n323 = b.mk_union(n259, n322);
    let n324 = b.mk_union(n257, n323);
    let n325 = b.mk_union(n255, n324);
    let n326 = b.mk_union(n253, n325);
    let n327 = b.mk_union(n250, n326);
    let n328 = b.mk_union(n248, n327);
    let n329 = b.mk_union(n245, n328);
    let n330 = b.mk_union(n242, n329);
    let n331 = b.mk_union(n239, n330);
    let n332 = b.mk_union(n236, n331);
    let n333 = b.mk_union(n233, n332);
    let n334 = b.mk_union(n231, n333);
    let n335 = b.mk_union(n228, n334);
    let n336 = b.mk_union(n225, n335);
    let n337 = b.mk_union(n222, n336);
    let n338 = b.mk_union(n219, n337);
    let n339 = b.mk_union(n216, n338);
    let n340 = b.mk_union(n213, n339);
    let n341 = b.mk_union(n210, n340);
    let n342 = b.mk_union(n207, n341);
    let n343 = b.mk_union(n205, n342);
    let n344 = b.mk_union(n202, n343);
    let n345 = b.mk_union(n199, n344);
    let n346 = b.mk_union(n196, n345);
    let n347 = b.mk_concat(n194, n346);
    let n348 = b.mk_range_u8(0xE2, 0xE2);
    let n349 = b.mk_ranges_u8(&[(0x8C, 0x8D), (0xBF, 0xBF)]);
    let n350 = b.mk_concat(n195, n349);
    let n351 = b.mk_ranges_u8(&[(0x80, 0x80), (0x94, 0x94), (0xB1, 0xB1), (0xBF, 0xBF)]);
    let n352 = b.mk_concat(n197, n351);
    let n353 = b.mk_range_u8(0x90, 0x9C);
    let n354 = b.mk_concat(n200, n353);
    let n355 = b.mk_range_u8(0x90, 0xB0);
    let n356 = b.mk_concat(n203, n355);
    let n357 = b.mk_range_u8(0x84, 0x84);
    let n358 = b.mk_ranges_u8(&[
        (0x82, 0x82),
        (0x87, 0x87),
        (0x8A, 0x93),
        (0x95, 0x95),
        (0x99, 0x9D),
        (0xA4, 0xA4),
        (0xA6, 0xA6),
        (0xA8, 0xA8),
        (0xAA, 0xAD),
        (0xAF, 0xB9),
        (0xBC, 0xBF),
    ]);
    let n359 = b.mk_concat(n357, n358);
    let n360 = b.mk_range_u8(0x85, 0x85);
    let n361 = b.mk_ranges_u8(&[(0x85, 0x89), (0x8E, 0x8E), (0xA0, 0xBF)]);
    let n362 = b.mk_concat(n360, n361);
    let n363 = b.mk_range_u8(0x80, 0x88);
    let n364 = b.mk_concat(n160, n363);
    let n365 = b.mk_range_u8(0x92, 0x92);
    let n366 = b.mk_range_u8(0xB6, 0xBF);
    let n367 = b.mk_concat(n365, n366);
    let n368 = b.mk_range_u8(0x93, 0x93);
    let n369 = b.mk_range_u8(0x80, 0xA9);
    let n370 = b.mk_concat(n368, n369);
    let n371 = b.mk_range_u8(0xB0, 0xB2);
    let n372 = b.mk_concat(n371, n8);
    let n373 = b.mk_ranges_u8(&[(0x80, 0xA4), (0xAB, 0xB3)]);
    let n374 = b.mk_concat(n123, n373);
    let n375 = b.mk_ranges_u8(&[(0x80, 0xA5), (0xA7, 0xA7), (0xAD, 0xAD), (0xB0, 0xBF)]);
    let n376 = b.mk_concat(n126, n375);
    let n377 = b.mk_ranges_u8(&[(0x80, 0xA7), (0xAF, 0xAF), (0xBF, 0xBF)]);
    let n378 = b.mk_concat(n129, n377);
    let n379 = b.mk_ranges_u8(&[
        (0x80, 0x96),
        (0xA0, 0xA6),
        (0xA8, 0xAE),
        (0xB0, 0xB6),
        (0xB8, 0xBE),
    ]);
    let n380 = b.mk_concat(n132, n379);
    let n381 = b.mk_ranges_u8(&[
        (0x80, 0x86),
        (0x88, 0x8E),
        (0x90, 0x96),
        (0x98, 0x9E),
        (0xA0, 0xBF),
    ]);
    let n382 = b.mk_concat(n135, n381);
    let n383 = b.mk_concat(n138, n111);
    let n384 = b.mk_union(n382, n383);
    let n385 = b.mk_union(n380, n384);
    let n386 = b.mk_union(n378, n385);
    let n387 = b.mk_union(n376, n386);
    let n388 = b.mk_union(n374, n387);
    let n389 = b.mk_union(n372, n388);
    let n390 = b.mk_union(n370, n389);
    let n391 = b.mk_union(n367, n390);
    let n392 = b.mk_union(n364, n391);
    let n393 = b.mk_union(n362, n392);
    let n394 = b.mk_union(n359, n393);
    let n395 = b.mk_union(n356, n394);
    let n396 = b.mk_union(n354, n395);
    let n397 = b.mk_union(n352, n396);
    let n398 = b.mk_union(n350, n397);
    let n399 = b.mk_concat(n348, n398);
    let n400 = b.mk_range_u8(0xE3, 0xE3);
    let n401 = b.mk_ranges_u8(&[(0x85, 0x87), (0xA1, 0xAF), (0xB1, 0xB5), (0xB8, 0xBC)]);
    let n402 = b.mk_concat(n195, n401);
    let n403 = b.mk_concat(n197, n230);
    let n404 = b.mk_ranges_u8(&[(0x80, 0x96), (0x99, 0x9A), (0x9D, 0x9F), (0xA1, 0xBF)]);
    let n405 = b.mk_concat(n200, n404);
    let n406 = b.mk_ranges_u8(&[(0x80, 0xBA), (0xBC, 0xBF)]);
    let n407 = b.mk_concat(n203, n406);
    let n408 = b.mk_ranges_u8(&[(0x85, 0xAF), (0xB1, 0xBF)]);
    let n409 = b.mk_concat(n357, n408);
    let n410 = b.mk_concat(n360, n8);
    let n411 = b.mk_ranges_u8(&[(0x80, 0x8E), (0xA0, 0xBF)]);
    let n412 = b.mk_concat(n160, n411);
    let n413 = b.mk_range_u8(0x87, 0x87);
    let n414 = b.mk_range_u8(0xB0, 0xBF);
    let n415 = b.mk_concat(n413, n414);
    let n416 = b.mk_concat(n55, n8);
    let n417 = b.mk_union(n415, n416);
    let n418 = b.mk_union(n412, n417);
    let n419 = b.mk_union(n410, n418);
    let n420 = b.mk_union(n409, n419);
    let n421 = b.mk_union(n407, n420);
    let n422 = b.mk_union(n405, n421);
    let n423 = b.mk_union(n403, n422);
    let n424 = b.mk_union(n402, n423);
    let n425 = b.mk_concat(n400, n424);
    let n426 = b.mk_range_u8(0xE4, 0xE4);
    let n427 = b.mk_range_u8(0x80, 0xB6);
    let n428 = b.mk_concat(n427, n8);
    let n429 = b.mk_range_u8(0xB8, 0xBF);
    let n430 = b.mk_concat(n429, n8);
    let n431 = b.mk_union(n428, n430);
    let n432 = b.mk_concat(n426, n431);
    let n433 = b.mk_range_u8(0xE5, 0xE9);
    let n434 = b.mk_concat(n8, n8);
    let n435 = b.mk_concat(n433, n434);
    let n436 = b.mk_range_u8(0xEA, 0xEA);
    let n437 = b.mk_range_u8(0x80, 0x91);
    let n438 = b.mk_concat(n437, n8);
    let n439 = b.mk_range_u8(0x80, 0x8C);
    let n440 = b.mk_concat(n365, n439);
    let n441 = b.mk_range_u8(0x90, 0xBD);
    let n442 = b.mk_concat(n368, n441);
    let n443 = b.mk_range_u8(0x94, 0x97);
    let n444 = b.mk_concat(n443, n8);
    let n445 = b.mk_range_u8(0x98, 0x98);
    let n446 = b.mk_ranges_u8(&[(0x80, 0x8C), (0x90, 0xAB)]);
    let n447 = b.mk_concat(n445, n446);
    let n448 = b.mk_ranges_u8(&[(0x80, 0xB2), (0xB4, 0xBD), (0xBF, 0xBF)]);
    let n449 = b.mk_concat(n234, n448);
    let n450 = b.mk_concat(n237, n8);
    let n451 = b.mk_concat(n240, n61);
    let n452 = b.mk_ranges_u8(&[(0x97, 0x9F), (0xA2, 0xBF)]);
    let n453 = b.mk_concat(n243, n452);
    let n454 = b.mk_concat(n246, n8);
    let n455 = b.mk_ranges_u8(&[(0x80, 0x88), (0x8B, 0xBF)]);
    let n456 = b.mk_concat(n249, n455);
    let n457 = b.mk_ranges_u8(&[
        (0x80, 0x8D),
        (0x90, 0x91),
        (0x93, 0x93),
        (0x95, 0x9C),
        (0xB2, 0xBF),
    ]);
    let n458 = b.mk_concat(n251, n457);
    let n459 = b.mk_ranges_u8(&[(0x80, 0xA7), (0xAC, 0xAC)]);
    let n460 = b.mk_concat(n67, n459);
    let n461 = b.mk_concat(n70, n282);
    let n462 = b.mk_concat(n73, n8);
    let n463 = b.mk_ranges_u8(&[
        (0x80, 0x85),
        (0x90, 0x99),
        (0xA0, 0xB7),
        (0xBB, 0xBB),
        (0xBD, 0xBF),
    ]);
    let n464 = b.mk_concat(n76, n463);
    let n465 = b.mk_ranges_u8(&[(0x80, 0xAD), (0xB0, 0xBF)]);
    let n466 = b.mk_concat(n79, n465);
    let n467 = b.mk_ranges_u8(&[(0x80, 0x93), (0xA0, 0xBC)]);
    let n468 = b.mk_concat(n81, n467);
    let n469 = b.mk_concat(n84, n8);
    let n470 = b.mk_ranges_u8(&[(0x80, 0x80), (0x8F, 0x99), (0xA0, 0xBE)]);
    let n471 = b.mk_concat(n87, n470);
    let n472 = b.mk_concat(n90, n427);
    let n473 = b.mk_ranges_u8(&[(0x80, 0x8D), (0x90, 0x99), (0xA0, 0xB6), (0xBA, 0xBF)]);
    let n474 = b.mk_concat(n93, n473);
    let n475 = b.mk_concat(n96, n8);
    let n476 = b.mk_ranges_u8(&[(0x80, 0x82), (0x9B, 0x9D), (0xA0, 0xAF), (0xB2, 0xB6)]);
    let n477 = b.mk_concat(n99, n476);
    let n478 = b.mk_ranges_u8(&[
        (0x81, 0x86),
        (0x89, 0x8E),
        (0x91, 0x96),
        (0xA0, 0xA6),
        (0xA8, 0xAE),
        (0xB0, 0xBF),
    ]);
    let n479 = b.mk_concat(n102, n478);
    let n480 = b.mk_ranges_u8(&[(0x80, 0x9A), (0x9C, 0xA9), (0xB0, 0xBF)]);
    let n481 = b.mk_concat(n105, n480);
    let n482 = b.mk_ranges_u8(&[(0x80, 0xAA), (0xAC, 0xAD), (0xB0, 0xB9)]);
    let n483 = b.mk_concat(n111, n482);
    let n484 = b.mk_concat(n414, n8);
    let n485 = b.mk_union(n483, n484);
    let n486 = b.mk_union(n481, n485);
    let n487 = b.mk_union(n479, n486);
    let n488 = b.mk_union(n477, n487);
    let n489 = b.mk_union(n475, n488);
    let n490 = b.mk_union(n474, n489);
    let n491 = b.mk_union(n472, n490);
    let n492 = b.mk_union(n471, n491);
    let n493 = b.mk_union(n469, n492);
    let n494 = b.mk_union(n468, n493);
    let n495 = b.mk_union(n466, n494);
    let n496 = b.mk_union(n464, n495);
    let n497 = b.mk_union(n462, n496);
    let n498 = b.mk_union(n461, n497);
    let n499 = b.mk_union(n460, n498);
    let n500 = b.mk_union(n458, n499);
    let n501 = b.mk_union(n456, n500);
    let n502 = b.mk_union(n454, n501);
    let n503 = b.mk_union(n453, n502);
    let n504 = b.mk_union(n451, n503);
    let n505 = b.mk_union(n450, n504);
    let n506 = b.mk_union(n449, n505);
    let n507 = b.mk_union(n447, n506);
    let n508 = b.mk_union(n444, n507);
    let n509 = b.mk_union(n442, n508);
    let n510 = b.mk_union(n440, n509);
    let n511 = b.mk_union(n438, n510);
    let n512 = b.mk_union(n281, n511);
    let n513 = b.mk_concat(n436, n512);
    let n514 = b.mk_range_u8(0xEB, 0xEC);
    let n515 = b.mk_concat(n514, n434);
    let n516 = b.mk_range_u8(0xED, 0xED);
    let n517 = b.mk_range_u8(0x80, 0x9D);
    let n518 = b.mk_concat(n517, n8);
    let n519 = b.mk_ranges_u8(&[(0x80, 0xA3), (0xB0, 0xBF)]);
    let n520 = b.mk_concat(n249, n519);
    let n521 = b.mk_ranges_u8(&[(0x80, 0x86), (0x8B, 0xBB)]);
    let n522 = b.mk_concat(n251, n521);
    let n523 = b.mk_union(n520, n522);
    let n524 = b.mk_union(n518, n523);
    let n525 = b.mk_concat(n516, n524);
    let n526 = b.mk_range_u8(0xEF, 0xEF);
    let n527 = b.mk_range_u8(0xA4, 0xA8);
    let n528 = b.mk_concat(n527, n8);
    let n529 = b.mk_concat(n93, n465);
    let n530 = b.mk_range_u8(0x80, 0x99);
    let n531 = b.mk_concat(n99, n530);
    let n532 = b.mk_ranges_u8(&[
        (0x80, 0x86),
        (0x93, 0x97),
        (0x9D, 0xA8),
        (0xAA, 0xB6),
        (0xB8, 0xBC),
        (0xBE, 0xBE),
    ]);
    let n533 = b.mk_concat(n102, n532);
    let n534 = b.mk_ranges_u8(&[(0x80, 0x81), (0x83, 0x84), (0x86, 0xBF)]);
    let n535 = b.mk_concat(n105, n534);
    let n536 = b.mk_concat(n108, n61);
    let n537 = b.mk_range_u8(0x93, 0xBF);
    let n538 = b.mk_concat(n111, n537);
    let n539 = b.mk_range_u8(0xB0, 0xB3);
    let n540 = b.mk_concat(n539, n8);
    let n541 = b.mk_range_u8(0x80, 0xBD);
    let n542 = b.mk_concat(n126, n541);
    let n543 = b.mk_concat(n129, n55);
    let n544 = b.mk_ranges_u8(&[(0x80, 0x8F), (0x92, 0xBF)]);
    let n545 = b.mk_concat(n132, n544);
    let n546 = b.mk_ranges_u8(&[(0x80, 0x87), (0xB0, 0xBB)]);
    let n547 = b.mk_concat(n135, n546);
    let n548 = b.mk_ranges_u8(&[(0x80, 0x8F), (0xA0, 0xAF), (0xB3, 0xB4)]);
    let n549 = b.mk_concat(n138, n548);
    let n550 = b.mk_ranges_u8(&[(0x8D, 0x8F), (0xB0, 0xB4), (0xB6, 0xBF)]);
    let n551 = b.mk_concat(n141, n550);
    let n552 = b.mk_concat(n144, n8);
    let n553 = b.mk_range_u8(0x80, 0xBC);
    let n554 = b.mk_concat(n147, n553);
    let n555 = b.mk_ranges_u8(&[(0x90, 0x99), (0xA1, 0xBA), (0xBF, 0xBF)]);
    let n556 = b.mk_concat(n150, n555);
    let n557 = b.mk_ranges_u8(&[(0x81, 0x9A), (0xA6, 0xBF)]);
    let n558 = b.mk_concat(n153, n557);
    let n559 = b.mk_range_u8(0x80, 0xBE);
    let n560 = b.mk_concat(n156, n559);
    let n561 = b.mk_ranges_u8(&[(0x82, 0x87), (0x8A, 0x8F), (0x92, 0x97), (0x9A, 0x9C)]);
    let n562 = b.mk_concat(n159, n561);
    let n563 = b.mk_union(n560, n562);
    let n564 = b.mk_union(n558, n563);
    let n565 = b.mk_union(n556, n564);
    let n566 = b.mk_union(n554, n565);
    let n567 = b.mk_union(n552, n566);
    let n568 = b.mk_union(n551, n567);
    let n569 = b.mk_union(n549, n568);
    let n570 = b.mk_union(n547, n569);
    let n571 = b.mk_union(n545, n570);
    let n572 = b.mk_union(n543, n571);
    let n573 = b.mk_union(n542, n572);
    let n574 = b.mk_union(n540, n573);
    let n575 = b.mk_union(n538, n574);
    let n576 = b.mk_union(n536, n575);
    let n577 = b.mk_union(n535, n576);
    let n578 = b.mk_union(n533, n577);
    let n579 = b.mk_union(n531, n578);
    let n580 = b.mk_union(n529, n579);
    let n581 = b.mk_union(n528, n580);
    let n582 = b.mk_union(n475, n581);
    let n583 = b.mk_concat(n526, n582);
    let n584 = b.mk_range_u8(0xF0, 0xF0);
    let n585 = b.mk_range_u8(0xA0, 0xBC);
    let n586 = b.mk_concat(n93, n585);
    let n587 = b.mk_range_u8(0x80, 0xBA);
    let n588 = b.mk_concat(n203, n587);
    let n589 = b.mk_ranges_u8(&[
        (0x80, 0x8B),
        (0x8D, 0xA6),
        (0xA8, 0xBA),
        (0xBC, 0xBD),
        (0xBF, 0xBF),
    ]);
    let n590 = b.mk_concat(n195, n589);
    let n591 = b.mk_ranges_u8(&[(0x80, 0x8D), (0x90, 0x9D)]);
    let n592 = b.mk_concat(n197, n591);
    let n593 = b.mk_concat(n200, n8);
    let n594 = b.mk_range_u8(0x80, 0xB4);
    let n595 = b.mk_concat(n360, n594);
    let n596 = b.mk_concat(n413, n153);
    let n597 = b.mk_ranges_u8(&[(0x80, 0x9C), (0xA0, 0xBF)]);
    let n598 = b.mk_concat(n211, n597);
    let n599 = b.mk_ranges_u8(&[(0x80, 0x90), (0xA0, 0xA0)]);
    let n600 = b.mk_concat(n214, n599);
    let n601 = b.mk_ranges_u8(&[(0x80, 0x9F), (0xAD, 0xBF)]);
    let n602 = b.mk_concat(n217, n601);
    let n603 = b.mk_ranges_u8(&[(0x80, 0x8A), (0x90, 0xBA)]);
    let n604 = b.mk_concat(n220, n603);
    let n605 = b.mk_concat(n223, n201);
    let n606 = b.mk_ranges_u8(&[(0x80, 0x83), (0x88, 0x8F), (0x91, 0x95)]);
    let n607 = b.mk_concat(n226, n606);
    let n608 = b.mk_range_u8(0x90, 0x91);
    let n609 = b.mk_concat(n608, n8);
    let n610 = b.mk_ranges_u8(&[(0x80, 0x9D), (0xA0, 0xA9), (0xB0, 0xBF)]);
    let n611 = b.mk_concat(n365, n610);
    let n612 = b.mk_ranges_u8(&[(0x80, 0x93), (0x98, 0xBB)]);
    let n613 = b.mk_concat(n368, n612);
    let n614 = b.mk_range_u8(0x94, 0x94);
    let n615 = b.mk_ranges_u8(&[(0x80, 0xA7), (0xB0, 0xBF)]);
    let n616 = b.mk_concat(n614, n615);
    let n617 = b.mk_range_u8(0x95, 0x95);
    let n618 = b.mk_ranges_u8(&[(0x80, 0xA3), (0xB0, 0xBA), (0xBC, 0xBF)]);
    let n619 = b.mk_concat(n617, n618);
    let n620 = b.mk_range_u8(0x96, 0x96);
    let n621 = b.mk_ranges_u8(&[
        (0x80, 0x8A),
        (0x8C, 0x92),
        (0x94, 0x95),
        (0x97, 0xA1),
        (0xA3, 0xB1),
        (0xB3, 0xB9),
        (0xBB, 0xBC),
    ]);
    let n622 = b.mk_concat(n620, n621);
    let n623 = b.mk_range_u8(0x97, 0x97);
    let n624 = b.mk_concat(n623, n282);
    let n625 = b.mk_range_u8(0x98, 0x9B);
    let n626 = b.mk_concat(n625, n8);
    let n627 = b.mk_concat(n243, n427);
    let n628 = b.mk_ranges_u8(&[(0x80, 0x95), (0xA0, 0xA7)]);
    let n629 = b.mk_concat(n246, n628);
    let n630 = b.mk_ranges_u8(&[(0x80, 0x85), (0x87, 0xB0), (0xB2, 0xBA)]);
    let n631 = b.mk_concat(n249, n630);
    let n632 = b.mk_ranges_u8(&[
        (0x80, 0x85),
        (0x88, 0x88),
        (0x8A, 0xB5),
        (0xB7, 0xB8),
        (0xBC, 0xBC),
        (0xBF, 0xBF),
    ]);
    let n633 = b.mk_concat(n67, n632);
    let n634 = b.mk_ranges_u8(&[(0x80, 0x95), (0xA0, 0xB6)]);
    let n635 = b.mk_concat(n70, n634);
    let n636 = b.mk_range_u8(0x80, 0x9E);
    let n637 = b.mk_concat(n73, n636);
    let n638 = b.mk_ranges_u8(&[(0xA0, 0xB2), (0xB4, 0xB5)]);
    let n639 = b.mk_concat(n76, n638);
    let n640 = b.mk_ranges_u8(&[(0x80, 0x95), (0xA0, 0xB9)]);
    let n641 = b.mk_concat(n79, n640);
    let n642 = b.mk_ranges_u8(&[(0x80, 0xB7), (0xBE, 0xBF)]);
    let n643 = b.mk_concat(n84, n642);
    let n644 = b.mk_ranges_u8(&[
        (0x80, 0x83),
        (0x85, 0x86),
        (0x8C, 0x93),
        (0x95, 0x97),
        (0x99, 0xB5),
        (0xB8, 0xBA),
        (0xBF, 0xBF),
    ]);
    let n645 = b.mk_concat(n90, n644);
    let n646 = b.mk_range_u8(0x80, 0x9C);
    let n647 = b.mk_concat(n96, n646);
    let n648 = b.mk_ranges_u8(&[(0x80, 0x87), (0x89, 0xA6)]);
    let n649 = b.mk_concat(n99, n648);
    let n650 = b.mk_concat(n102, n260);
    let n651 = b.mk_ranges_u8(&[(0x80, 0x95), (0xA0, 0xB2)]);
    let n652 = b.mk_concat(n105, n651);
    let n653 = b.mk_concat(n108, n437);
    let n654 = b.mk_concat(n114, n8);
    let n655 = b.mk_concat(n117, n363);
    let n656 = b.mk_range_u8(0x80, 0xB2);
    let n657 = b.mk_concat(n120, n656);
    let n658 = b.mk_concat(n123, n656);
    let n659 = b.mk_ranges_u8(&[(0x80, 0xA7), (0xB0, 0xB9)]);
    let n660 = b.mk_concat(n126, n659);
    let n661 = b.mk_ranges_u8(&[(0x80, 0xA5), (0xA9, 0xAD), (0xAF, 0xBF)]);
    let n662 = b.mk_concat(n129, n661);
    let n663 = b.mk_range_u8(0x80, 0x85);
    let n664 = b.mk_concat(n132, n663);
    let n665 = b.mk_ranges_u8(&[(0x80, 0xA9), (0xAB, 0xAC), (0xB0, 0xB1)]);
    let n666 = b.mk_concat(n144, n665);
    let n667 = b.mk_ranges_u8(&[(0x82, 0x84), (0xBC, 0xBF)]);
    let n668 = b.mk_concat(n147, n667);
    let n669 = b.mk_ranges_u8(&[(0x80, 0x9C), (0xA7, 0xA7), (0xB0, 0xBF)]);
    let n670 = b.mk_concat(n150, n669);
    let n671 = b.mk_ranges_u8(&[(0x80, 0x90), (0xB0, 0xBF)]);
    let n672 = b.mk_concat(n153, n671);
    let n673 = b.mk_ranges_u8(&[(0x80, 0x85), (0xB0, 0xBF)]);
    let n674 = b.mk_concat(n156, n673);
    let n675 = b.mk_ranges_u8(&[(0x80, 0x84), (0xA0, 0xB6)]);
    let n676 = b.mk_concat(n159, n675);
    let n677 = b.mk_union(n674, n676);
    let n678 = b.mk_union(n672, n677);
    let n679 = b.mk_union(n670, n678);
    let n680 = b.mk_union(n668, n679);
    let n681 = b.mk_union(n666, n680);
    let n682 = b.mk_union(n664, n681);
    let n683 = b.mk_union(n662, n682);
    let n684 = b.mk_union(n660, n683);
    let n685 = b.mk_union(n658, n684);
    let n686 = b.mk_union(n657, n685);
    let n687 = b.mk_union(n655, n686);
    let n688 = b.mk_union(n654, n687);
    let n689 = b.mk_union(n653, n688);
    let n690 = b.mk_union(n652, n689);
    let n691 = b.mk_union(n650, n690);
    let n692 = b.mk_union(n649, n691);
    let n693 = b.mk_union(n647, n692);
    let n694 = b.mk_union(n645, n693);
    let n695 = b.mk_union(n643, n694);
    let n696 = b.mk_union(n641, n695);
    let n697 = b.mk_union(n639, n696);
    let n698 = b.mk_union(n637, n697);
    let n699 = b.mk_union(n635, n698);
    let n700 = b.mk_union(n633, n699);
    let n701 = b.mk_union(n631, n700);
    let n702 = b.mk_union(n629, n701);
    let n703 = b.mk_union(n627, n702);
    let n704 = b.mk_union(n626, n703);
    let n705 = b.mk_union(n624, n704);
    let n706 = b.mk_union(n622, n705);
    let n707 = b.mk_union(n619, n706);
    let n708 = b.mk_union(n616, n707);
    let n709 = b.mk_union(n613, n708);
    let n710 = b.mk_union(n611, n709);
    let n711 = b.mk_union(n609, n710);
    let n712 = b.mk_union(n607, n711);
    let n713 = b.mk_union(n605, n712);
    let n714 = b.mk_union(n604, n713);
    let n715 = b.mk_union(n602, n714);
    let n716 = b.mk_union(n600, n715);
    let n717 = b.mk_union(n598, n716);
    let n718 = b.mk_union(n596, n717);
    let n719 = b.mk_union(n595, n718);
    let n720 = b.mk_union(n593, n719);
    let n721 = b.mk_union(n592, n720);
    let n722 = b.mk_union(n590, n721);
    let n723 = b.mk_union(n588, n722);
    let n724 = b.mk_union(n586, n723);
    let n725 = b.mk_concat(n229, n724);
    let n726 = b.mk_range_u8(0x91, 0x91);
    let n727 = b.mk_ranges_u8(&[(0x80, 0x86), (0xA6, 0xB5), (0xBF, 0xBF)]);
    let n728 = b.mk_concat(n197, n727);
    let n729 = b.mk_concat(n200, n587);
    let n730 = b.mk_ranges_u8(&[(0x82, 0x82), (0x90, 0xA8), (0xB0, 0xB9)]);
    let n731 = b.mk_concat(n203, n730);
    let n732 = b.mk_ranges_u8(&[(0x80, 0xB4), (0xB6, 0xBF)]);
    let n733 = b.mk_concat(n357, n732);
    let n734 = b.mk_ranges_u8(&[(0x84, 0x87), (0x90, 0xB3), (0xB6, 0xB6)]);
    let n735 = b.mk_concat(n360, n734);
    let n736 = b.mk_concat(n160, n8);
    let n737 = b.mk_ranges_u8(&[(0x80, 0x84), (0x89, 0x8C), (0x8E, 0x9A), (0x9C, 0x9C)]);
    let n738 = b.mk_concat(n413, n737);
    let n739 = b.mk_range_u8(0x88, 0x88);
    let n740 = b.mk_ranges_u8(&[(0x80, 0x91), (0x93, 0xB7), (0xBE, 0xBF)]);
    let n741 = b.mk_concat(n739, n740);
    let n742 = b.mk_range_u8(0x80, 0x81);
    let n743 = b.mk_concat(n208, n742);
    let n744 = b.mk_ranges_u8(&[
        (0x80, 0x86),
        (0x88, 0x88),
        (0x8A, 0x8D),
        (0x8F, 0x9D),
        (0x9F, 0xA8),
        (0xB0, 0xBF),
    ]);
    let n745 = b.mk_concat(n211, n744);
    let n746 = b.mk_ranges_u8(&[(0x80, 0xAA), (0xB0, 0xB9)]);
    let n747 = b.mk_concat(n214, n746);
    let n748 = b.mk_ranges_u8(&[
        (0x80, 0x83),
        (0x85, 0x8C),
        (0x8F, 0x90),
        (0x93, 0xA8),
        (0xAA, 0xB0),
        (0xB2, 0xB3),
        (0xB5, 0xB9),
        (0xBB, 0xBF),
    ]);
    let n749 = b.mk_concat(n217, n748);
    let n750 = b.mk_ranges_u8(&[
        (0x80, 0x84),
        (0x87, 0x88),
        (0x8B, 0x8D),
        (0x90, 0x90),
        (0x97, 0x97),
        (0x9D, 0xA3),
        (0xA6, 0xAC),
        (0xB0, 0xB4),
    ]);
    let n751 = b.mk_concat(n220, n750);
    let n752 = b.mk_ranges_u8(&[
        (0x80, 0x89),
        (0x8B, 0x8B),
        (0x8E, 0x8E),
        (0x90, 0xB5),
        (0xB7, 0xBF),
    ]);
    let n753 = b.mk_concat(n223, n752);
    let n754 = b.mk_ranges_u8(&[
        (0x80, 0x80),
        (0x82, 0x82),
        (0x85, 0x85),
        (0x87, 0x8A),
        (0x8C, 0x93),
        (0xA1, 0xA2),
    ]);
    let n755 = b.mk_concat(n226, n754);
    let n756 = b.mk_concat(n229, n8);
    let n757 = b.mk_ranges_u8(&[(0x80, 0x8A), (0x90, 0x99), (0x9E, 0xA1)]);
    let n758 = b.mk_concat(n726, n757);
    let n759 = b.mk_concat(n365, n8);
    let n760 = b.mk_ranges_u8(&[(0x80, 0x85), (0x87, 0x87), (0x90, 0x99)]);
    let n761 = b.mk_concat(n368, n760);
    let n762 = b.mk_ranges_u8(&[(0x80, 0xB5), (0xB8, 0xBF)]);
    let n763 = b.mk_concat(n620, n762);
    let n764 = b.mk_ranges_u8(&[(0x80, 0x80), (0x98, 0x9D)]);
    let n765 = b.mk_concat(n623, n764);
    let n766 = b.mk_concat(n445, n8);
    let n767 = b.mk_ranges_u8(&[(0x80, 0x80), (0x84, 0x84), (0x90, 0x99)]);
    let n768 = b.mk_concat(n234, n767);
    let n769 = b.mk_concat(n237, n256);
    let n770 = b.mk_ranges_u8(&[(0x80, 0x89), (0x90, 0xA3)]);
    let n771 = b.mk_concat(n240, n770);
    let n772 = b.mk_ranges_u8(&[(0x80, 0x9A), (0x9D, 0xAB), (0xB0, 0xB9)]);
    let n773 = b.mk_concat(n243, n772);
    let n774 = b.mk_range_u8(0x80, 0x86);
    let n775 = b.mk_concat(n246, n774);
    let n776 = b.mk_concat(n67, n587);
    let n777 = b.mk_range_u8(0xA0, 0xBF);
    let n778 = b.mk_concat(n73, n777);
    let n779 = b.mk_ranges_u8(&[(0x80, 0xA9), (0xBF, 0xBF)]);
    let n780 = b.mk_concat(n76, n779);
    let n781 = b.mk_ranges_u8(&[
        (0x80, 0x86),
        (0x89, 0x89),
        (0x8C, 0x93),
        (0x95, 0x96),
        (0x98, 0xB5),
        (0xB7, 0xB8),
        (0xBB, 0xBF),
    ]);
    let n782 = b.mk_concat(n79, n781);
    let n783 = b.mk_ranges_u8(&[(0x80, 0x83), (0x90, 0x99)]);
    let n784 = b.mk_concat(n81, n783);
    let n785 = b.mk_ranges_u8(&[(0xA0, 0xA7), (0xAA, 0xBF)]);
    let n786 = b.mk_concat(n84, n785);
    let n787 = b.mk_ranges_u8(&[(0x80, 0x97), (0x9A, 0xA1), (0xA3, 0xA4)]);
    let n788 = b.mk_concat(n87, n787);
    let n789 = b.mk_concat(n90, n559);
    let n790 = b.mk_ranges_u8(&[(0x87, 0x87), (0x90, 0xBF)]);
    let n791 = b.mk_concat(n93, n790);
    let n792 = b.mk_ranges_u8(&[(0x80, 0x99), (0x9D, 0x9D), (0xB0, 0xBF)]);
    let n793 = b.mk_concat(n96, n792);
    let n794 = b.mk_concat(n99, n256);
    let n795 = b.mk_ranges_u8(&[(0x80, 0xA0), (0xB0, 0xB9)]);
    let n796 = b.mk_concat(n111, n795);
    let n797 = b.mk_ranges_u8(&[(0x80, 0x88), (0x8A, 0xB6), (0xB8, 0xBF)]);
    let n798 = b.mk_concat(n114, n797);
    let n799 = b.mk_ranges_u8(&[(0x80, 0x80), (0x90, 0x99), (0xB2, 0xBF)]);
    let n800 = b.mk_concat(n117, n799);
    let n801 = b.mk_ranges_u8(&[(0x80, 0x8F), (0x92, 0xA7), (0xA9, 0xB6)]);
    let n802 = b.mk_concat(n120, n801);
    let n803 = b.mk_ranges_u8(&[
        (0x80, 0x86),
        (0x88, 0x89),
        (0x8B, 0xB6),
        (0xBA, 0xBA),
        (0xBC, 0xBD),
        (0xBF, 0xBF),
    ]);
    let n804 = b.mk_concat(n126, n803);
    let n805 = b.mk_ranges_u8(&[
        (0x80, 0x87),
        (0x90, 0x99),
        (0xA0, 0xA5),
        (0xA7, 0xA8),
        (0xAA, 0xBF),
    ]);
    let n806 = b.mk_concat(n129, n805);
    let n807 = b.mk_ranges_u8(&[(0x80, 0x8E), (0x90, 0x91), (0x93, 0x98), (0xA0, 0xA9)]);
    let n808 = b.mk_concat(n132, n807);
    let n809 = b.mk_range_u8(0xA0, 0xB6);
    let n810 = b.mk_concat(n147, n809);
    let n811 = b.mk_ranges_u8(&[(0x80, 0x90), (0x92, 0xBA), (0xBE, 0xBF)]);
    let n812 = b.mk_concat(n150, n811);
    let n813 = b.mk_ranges_u8(&[(0x80, 0x82), (0x90, 0x9A)]);
    let n814 = b.mk_concat(n153, n813);
    let n815 = b.mk_concat(n156, n114);
    let n816 = b.mk_union(n814, n815);
    let n817 = b.mk_union(n812, n816);
    let n818 = b.mk_union(n810, n817);
    let n819 = b.mk_union(n808, n818);
    let n820 = b.mk_union(n806, n819);
    let n821 = b.mk_union(n804, n820);
    let n822 = b.mk_union(n802, n821);
    let n823 = b.mk_union(n800, n822);
    let n824 = b.mk_union(n798, n823);
    let n825 = b.mk_union(n796, n824);
    let n826 = b.mk_union(n794, n825);
    let n827 = b.mk_union(n793, n826);
    let n828 = b.mk_union(n791, n827);
    let n829 = b.mk_union(n789, n828);
    let n830 = b.mk_union(n788, n829);
    let n831 = b.mk_union(n786, n830);
    let n832 = b.mk_union(n784, n831);
    let n833 = b.mk_union(n782, n832);
    let n834 = b.mk_union(n780, n833);
    let n835 = b.mk_union(n778, n834);
    let n836 = b.mk_union(n776, n835);
    let n837 = b.mk_union(n775, n836);
    let n838 = b.mk_union(n773, n837);
    let n839 = b.mk_union(n771, n838);
    let n840 = b.mk_union(n769, n839);
    let n841 = b.mk_union(n768, n840);
    let n842 = b.mk_union(n766, n841);
    let n843 = b.mk_union(n765, n842);
    let n844 = b.mk_union(n763, n843);
    let n845 = b.mk_union(n761, n844);
    let n846 = b.mk_union(n759, n845);
    let n847 = b.mk_union(n758, n846);
    let n848 = b.mk_union(n756, n847);
    let n849 = b.mk_union(n755, n848);
    let n850 = b.mk_union(n753, n849);
    let n851 = b.mk_union(n751, n850);
    let n852 = b.mk_union(n749, n851);
    let n853 = b.mk_union(n747, n852);
    let n854 = b.mk_union(n745, n853);
    let n855 = b.mk_union(n743, n854);
    let n856 = b.mk_union(n741, n855);
    let n857 = b.mk_union(n738, n856);
    let n858 = b.mk_union(n736, n857);
    let n859 = b.mk_union(n735, n858);
    let n860 = b.mk_union(n733, n859);
    let n861 = b.mk_union(n731, n860);
    let n862 = b.mk_union(n729, n861);
    let n863 = b.mk_union(n728, n862);
    let n864 = b.mk_union(n196, n863);
    let n865 = b.mk_concat(n726, n864);
    let n866 = b.mk_range_u8(0x80, 0x8D);
    let n867 = b.mk_concat(n866, n8);
    let n868 = b.mk_concat(n223, n530);
    let n869 = b.mk_range_u8(0x80, 0xAE);
    let n870 = b.mk_concat(n726, n869);
    let n871 = b.mk_range_u8(0x92, 0x94);
    let n872 = b.mk_concat(n871, n8);
    let n873 = b.mk_range_u8(0x80, 0x83);
    let n874 = b.mk_concat(n617, n873);
    let n875 = b.mk_concat(n156, n55);
    let n876 = b.mk_range_u8(0x80, 0xB0);
    let n877 = b.mk_concat(n159, n876);
    let n878 = b.mk_union(n875, n877);
    let n879 = b.mk_union(n874, n878);
    let n880 = b.mk_union(n872, n879);
    let n881 = b.mk_union(n870, n880);
    let n882 = b.mk_union(n868, n881);
    let n883 = b.mk_union(n867, n882);
    let n884 = b.mk_union(n756, n883);
    let n885 = b.mk_concat(n365, n884);
    let n886 = b.mk_range_u8(0x80, 0x8F);
    let n887 = b.mk_concat(n886, n8);
    let n888 = b.mk_range_u8(0x80, 0xAF);
    let n889 = b.mk_concat(n229, n888);
    let n890 = b.mk_ranges_u8(&[(0x80, 0x95), (0xA0, 0xBF)]);
    let n891 = b.mk_concat(n726, n890);
    let n892 = b.mk_range_u8(0x92, 0xBF);
    let n893 = b.mk_concat(n892, n8);
    let n894 = b.mk_union(n891, n893);
    let n895 = b.mk_union(n889, n894);
    let n896 = b.mk_union(n887, n895);
    let n897 = b.mk_concat(n368, n896);
    let n898 = b.mk_concat(n276, n8);
    let n899 = b.mk_concat(n226, n587);
    let n900 = b.mk_range_u8(0x90, 0x98);
    let n901 = b.mk_concat(n900, n8);
    let n902 = b.mk_concat(n234, n774);
    let n903 = b.mk_union(n901, n902);
    let n904 = b.mk_union(n899, n903);
    let n905 = b.mk_union(n898, n904);
    let n906 = b.mk_concat(n614, n905);
    let n907 = b.mk_range_u8(0x80, 0xB9);
    let n908 = b.mk_concat(n357, n907);
    let n909 = b.mk_range_u8(0xA0, 0xA7);
    let n910 = b.mk_concat(n909, n8);
    let n911 = b.mk_concat(n90, n256);
    let n912 = b.mk_ranges_u8(&[(0x80, 0x9E), (0xA0, 0xA9), (0xB0, 0xBF)]);
    let n913 = b.mk_concat(n93, n912);
    let n914 = b.mk_concat(n96, n559);
    let n915 = b.mk_ranges_u8(&[(0x80, 0x89), (0x90, 0xAD), (0xB0, 0xB4)]);
    let n916 = b.mk_concat(n99, n915);
    let n917 = b.mk_concat(n102, n427);
    let n918 = b.mk_ranges_u8(&[(0x80, 0x83), (0x90, 0x99), (0xA3, 0xB7), (0xBD, 0xBF)]);
    let n919 = b.mk_concat(n105, n918);
    let n920 = b.mk_concat(n108, n886);
    let n921 = b.mk_ranges_u8(&[(0x80, 0xAC), (0xB0, 0xB9)]);
    let n922 = b.mk_concat(n129, n921);
    let n923 = b.mk_concat(n141, n8);
    let n924 = b.mk_concat(n150, n8);
    let n925 = b.mk_ranges_u8(&[(0x80, 0x8A), (0x8F, 0xBF)]);
    let n926 = b.mk_concat(n153, n925);
    let n927 = b.mk_ranges_u8(&[(0x80, 0x87), (0x8F, 0x9F)]);
    let n928 = b.mk_concat(n156, n927);
    let n929 = b.mk_ranges_u8(&[(0xA0, 0xA1), (0xA3, 0xA4), (0xB0, 0xB1)]);
    let n930 = b.mk_concat(n159, n929);
    let n931 = b.mk_union(n928, n930);
    let n932 = b.mk_union(n926, n931);
    let n933 = b.mk_union(n924, n932);
    let n934 = b.mk_union(n923, n933);
    let n935 = b.mk_union(n922, n934);
    let n936 = b.mk_union(n920, n935);
    let n937 = b.mk_union(n919, n936);
    let n938 = b.mk_union(n917, n937);
    let n939 = b.mk_union(n916, n938);
    let n940 = b.mk_union(n914, n939);
    let n941 = b.mk_union(n913, n940);
    let n942 = b.mk_union(n911, n941);
    let n943 = b.mk_union(n910, n942);
    let n944 = b.mk_union(n908, n943);
    let n945 = b.mk_concat(n620, n944);
    let n946 = b.mk_concat(n623, n434);
    let n947 = b.mk_concat(n636, n8);
    let n948 = b.mk_concat(n251, n284);
    let n949 = b.mk_range_u8(0xA0, 0xB2);
    let n950 = b.mk_concat(n949, n8);
    let n951 = b.mk_ranges_u8(&[(0x80, 0x95), (0xBF, 0xBF)]);
    let n952 = b.mk_concat(n123, n951);
    let n953 = b.mk_concat(n126, n363);
    let n954 = b.mk_union(n952, n953);
    let n955 = b.mk_union(n950, n954);
    let n956 = b.mk_union(n948, n955);
    let n957 = b.mk_union(n947, n956);
    let n958 = b.mk_concat(n445, n957);
    let n959 = b.mk_ranges_u8(&[(0xB0, 0xB3), (0xB5, 0xBB), (0xBD, 0xBE)]);
    let n960 = b.mk_concat(n159, n959);
    let n961 = b.mk_concat(n237, n960);
    let n962 = b.mk_concat(n873, n8);
    let n963 = b.mk_ranges_u8(&[(0x80, 0xA2), (0xB2, 0xB2)]);
    let n964 = b.mk_concat(n357, n963);
    let n965 = b.mk_ranges_u8(&[(0x90, 0x92), (0x95, 0x95), (0xA4, 0xA7), (0xB0, 0xBF)]);
    let n966 = b.mk_concat(n360, n965);
    let n967 = b.mk_range_u8(0x86, 0x8A);
    let n968 = b.mk_concat(n967, n8);
    let n969 = b.mk_range_u8(0x80, 0xBB);
    let n970 = b.mk_concat(n214, n969);
    let n971 = b.mk_ranges_u8(&[(0x80, 0xAA), (0xB0, 0xBC)]);
    let n972 = b.mk_concat(n117, n971);
    let n973 = b.mk_ranges_u8(&[(0x80, 0x88), (0x90, 0x99), (0x9D, 0x9E)]);
    let n974 = b.mk_concat(n120, n973);
    let n975 = b.mk_union(n972, n974);
    let n976 = b.mk_union(n970, n975);
    let n977 = b.mk_union(n968, n976);
    let n978 = b.mk_union(n966, n977);
    let n979 = b.mk_union(n964, n978);
    let n980 = b.mk_union(n962, n979);
    let n981 = b.mk_union(n654, n980);
    let n982 = b.mk_concat(n240, n981);
    let n983 = b.mk_range_u8(0xB0, 0xB9);
    let n984 = b.mk_concat(n123, n983);
    let n985 = b.mk_concat(n150, n465);
    let n986 = b.mk_concat(n153, n774);
    let n987 = b.mk_union(n985, n986);
    let n988 = b.mk_union(n984, n987);
    let n989 = b.mk_concat(n243, n988);
    let n990 = b.mk_ranges_u8(&[(0xA5, 0xA9), (0xAD, 0xB2), (0xBB, 0xBF)]);
    let n991 = b.mk_concat(n360, n990);
    let n992 = b.mk_ranges_u8(&[(0x80, 0x82), (0x85, 0x8B), (0xAA, 0xAD)]);
    let n993 = b.mk_concat(n160, n992);
    let n994 = b.mk_range_u8(0x82, 0x84);
    let n995 = b.mk_concat(n208, n994);
    let n996 = b.mk_ranges_u8(&[(0x80, 0x94), (0x96, 0xBF)]);
    let n997 = b.mk_concat(n726, n996);
    let n998 = b.mk_ranges_u8(&[
        (0x80, 0x9C),
        (0x9E, 0x9F),
        (0xA2, 0xA2),
        (0xA5, 0xA6),
        (0xA9, 0xAC),
        (0xAE, 0xB9),
        (0xBB, 0xBB),
        (0xBD, 0xBF),
    ]);
    let n999 = b.mk_concat(n365, n998);
    let n1000 = b.mk_ranges_u8(&[(0x80, 0x83), (0x85, 0xBF)]);
    let n1001 = b.mk_concat(n368, n1000);
    let n1002 = b.mk_ranges_u8(&[
        (0x80, 0x85),
        (0x87, 0x8A),
        (0x8D, 0x94),
        (0x96, 0x9C),
        (0x9E, 0xB9),
        (0xBB, 0xBE),
    ]);
    let n1003 = b.mk_concat(n614, n1002);
    let n1004 = b.mk_ranges_u8(&[(0x80, 0x84), (0x86, 0x86), (0x8A, 0x90), (0x92, 0xBF)]);
    let n1005 = b.mk_concat(n617, n1004);
    let n1006 = b.mk_range_u8(0x96, 0x99);
    let n1007 = b.mk_concat(n1006, n8);
    let n1008 = b.mk_ranges_u8(&[(0x80, 0xA5), (0xA8, 0xBF)]);
    let n1009 = b.mk_concat(n237, n1008);
    let n1010 = b.mk_ranges_u8(&[(0x80, 0x80), (0x82, 0x9A), (0x9C, 0xBA), (0xBC, 0xBF)]);
    let n1011 = b.mk_concat(n240, n1010);
    let n1012 = b.mk_ranges_u8(&[(0x80, 0x94), (0x96, 0xB4), (0xB6, 0xBF)]);
    let n1013 = b.mk_concat(n243, n1012);
    let n1014 = b.mk_ranges_u8(&[(0x80, 0x8E), (0x90, 0xAE), (0xB0, 0xBF)]);
    let n1015 = b.mk_concat(n246, n1014);
    let n1016 = b.mk_ranges_u8(&[(0x80, 0x88), (0x8A, 0xA8), (0xAA, 0xBF)]);
    let n1017 = b.mk_concat(n249, n1016);
    let n1018 = b.mk_ranges_u8(&[(0x80, 0x82), (0x84, 0x8B), (0x8E, 0xBF)]);
    let n1019 = b.mk_concat(n251, n1018);
    let n1020 = b.mk_ranges_u8(&[(0x80, 0xB6), (0xBB, 0xBF)]);
    let n1021 = b.mk_concat(n90, n1020);
    let n1022 = b.mk_ranges_u8(&[(0x80, 0xAC), (0xB5, 0xB5)]);
    let n1023 = b.mk_concat(n93, n1022);
    let n1024 = b.mk_ranges_u8(&[(0x84, 0x84), (0x9B, 0x9F), (0xA1, 0xAF)]);
    let n1025 = b.mk_concat(n96, n1024);
    let n1026 = b.mk_ranges_u8(&[(0x80, 0x9E), (0xA5, 0xAA)]);
    let n1027 = b.mk_concat(n150, n1026);
    let n1028 = b.mk_union(n1025, n1027);
    let n1029 = b.mk_union(n1023, n1028);
    let n1030 = b.mk_union(n1021, n1029);
    let n1031 = b.mk_union(n1019, n1030);
    let n1032 = b.mk_union(n1017, n1031);
    let n1033 = b.mk_union(n1015, n1032);
    let n1034 = b.mk_union(n1013, n1033);
    let n1035 = b.mk_union(n1011, n1034);
    let n1036 = b.mk_union(n1009, n1035);
    let n1037 = b.mk_union(n1007, n1036);
    let n1038 = b.mk_union(n1005, n1037);
    let n1039 = b.mk_union(n1003, n1038);
    let n1040 = b.mk_union(n1001, n1039);
    let n1041 = b.mk_union(n999, n1040);
    let n1042 = b.mk_union(n997, n1041);
    let n1043 = b.mk_union(n995, n1042);
    let n1044 = b.mk_union(n993, n1043);
    let n1045 = b.mk_union(n991, n1044);
    let n1046 = b.mk_union(n756, n1045);
    let n1047 = b.mk_concat(n246, n1046);
    let n1048 = b.mk_ranges_u8(&[
        (0x80, 0x86),
        (0x88, 0x98),
        (0x9B, 0xA1),
        (0xA3, 0xA4),
        (0xA6, 0xAA),
        (0xB0, 0xBF),
    ]);
    let n1049 = b.mk_concat(n195, n1048);
    let n1050 = b.mk_concat(n197, n68);
    let n1051 = b.mk_concat(n200, n226);
    let n1052 = b.mk_ranges_u8(&[(0x80, 0xAC), (0xB0, 0xBD)]);
    let n1053 = b.mk_concat(n357, n1052);
    let n1054 = b.mk_ranges_u8(&[(0x80, 0x89), (0x8E, 0x8E)]);
    let n1055 = b.mk_concat(n360, n1054);
    let n1056 = b.mk_range_u8(0x90, 0xAE);
    let n1057 = b.mk_concat(n211, n1056);
    let n1058 = b.mk_concat(n214, n907);
    let n1059 = b.mk_range_u8(0x90, 0xB9);
    let n1060 = b.mk_concat(n368, n1059);
    let n1061 = b.mk_range_u8(0x90, 0xBA);
    let n1062 = b.mk_concat(n623, n1061);
    let n1063 = b.mk_ranges_u8(&[(0xA0, 0xA6), (0xA8, 0xAB), (0xAD, 0xAE), (0xB0, 0xBE)]);
    let n1064 = b.mk_concat(n251, n1063);
    let n1065 = b.mk_range_u8(0xA0, 0xA2);
    let n1066 = b.mk_concat(n1065, n8);
    let n1067 = b.mk_ranges_u8(&[(0x80, 0x84), (0x90, 0x96)]);
    let n1068 = b.mk_concat(n76, n1067);
    let n1069 = b.mk_ranges_u8(&[(0x80, 0x8B), (0x90, 0x99)]);
    let n1070 = b.mk_concat(n81, n1069);
    let n1071 = b.mk_ranges_u8(&[
        (0x80, 0x83),
        (0x85, 0x9F),
        (0xA1, 0xA2),
        (0xA4, 0xA4),
        (0xA7, 0xA7),
        (0xA9, 0xB2),
        (0xB4, 0xB7),
        (0xB9, 0xB9),
        (0xBB, 0xBB),
    ]);
    let n1072 = b.mk_concat(n138, n1071);
    let n1073 = b.mk_ranges_u8(&[
        (0x82, 0x82),
        (0x87, 0x87),
        (0x89, 0x89),
        (0x8B, 0x8B),
        (0x8D, 0x8F),
        (0x91, 0x92),
        (0x94, 0x94),
        (0x97, 0x97),
        (0x99, 0x99),
        (0x9B, 0x9B),
        (0x9D, 0x9D),
        (0x9F, 0x9F),
        (0xA1, 0xA2),
        (0xA4, 0xA4),
        (0xA7, 0xAA),
        (0xAC, 0xB2),
        (0xB4, 0xB7),
        (0xB9, 0xBC),
        (0xBE, 0xBE),
    ]);
    let n1074 = b.mk_concat(n141, n1073);
    let n1075 = b.mk_ranges_u8(&[
        (0x80, 0x89),
        (0x8B, 0x9B),
        (0xA1, 0xA3),
        (0xA5, 0xA9),
        (0xAB, 0xBB),
    ]);
    let n1076 = b.mk_concat(n144, n1075);
    let n1077 = b.mk_union(n1074, n1076);
    let n1078 = b.mk_union(n1072, n1077);
    let n1079 = b.mk_union(n1070, n1078);
    let n1080 = b.mk_union(n1068, n1079);
    let n1081 = b.mk_union(n1066, n1080);
    let n1082 = b.mk_union(n1064, n1081);
    let n1083 = b.mk_union(n1062, n1082);
    let n1084 = b.mk_union(n1060, n1083);
    let n1085 = b.mk_union(n1058, n1084);
    let n1086 = b.mk_union(n1057, n1085);
    let n1087 = b.mk_union(n1055, n1086);
    let n1088 = b.mk_union(n1053, n1087);
    let n1089 = b.mk_union(n1051, n1088);
    let n1090 = b.mk_union(n1050, n1089);
    let n1091 = b.mk_union(n1049, n1090);
    let n1092 = b.mk_union(n80, n1091);
    let n1093 = b.mk_concat(n249, n1092);
    let n1094 = b.mk_concat(n111, n983);
    let n1095 = b.mk_concat(n357, n414);
    let n1096 = b.mk_ranges_u8(&[(0x80, 0x89), (0x90, 0xA9), (0xB0, 0xBF)]);
    let n1097 = b.mk_concat(n360, n1096);
    let n1098 = b.mk_range_u8(0x80, 0x89);
    let n1099 = b.mk_concat(n160, n1098);
    let n1100 = b.mk_union(n1097, n1099);
    let n1101 = b.mk_union(n1095, n1100);
    let n1102 = b.mk_union(n1094, n1101);
    let n1103 = b.mk_concat(n251, n1102);
    let n1104 = b.mk_range_u8(0xA0, 0xA9);
    let n1105 = b.mk_concat(n1104, n434);
    let n1106 = b.mk_range_u8(0x80, 0x9A);
    let n1107 = b.mk_concat(n1106, n8);
    let n1108 = b.mk_range_u8(0x80, 0x9F);
    let n1109 = b.mk_concat(n240, n1108);
    let n1110 = b.mk_range_u8(0x9C, 0xBF);
    let n1111 = b.mk_concat(n1110, n8);
    let n1112 = b.mk_union(n1109, n1111);
    let n1113 = b.mk_union(n1107, n1112);
    let n1114 = b.mk_concat(n96, n1113);
    let n1115 = b.mk_range_u8(0x80, 0x9B);
    let n1116 = b.mk_concat(n1115, n8);
    let n1117 = b.mk_concat(n243, n907);
    let n1118 = b.mk_range_u8(0x9D, 0x9F);
    let n1119 = b.mk_concat(n1118, n8);
    let n1120 = b.mk_concat(n67, n201);
    let n1121 = b.mk_range_u8(0xA1, 0xBF);
    let n1122 = b.mk_concat(n1121, n8);
    let n1123 = b.mk_union(n1120, n1122);
    let n1124 = b.mk_union(n1119, n1123);
    let n1125 = b.mk_union(n1117, n1124);
    let n1126 = b.mk_union(n1116, n1125);
    let n1127 = b.mk_concat(n99, n1126);
    let n1128 = b.mk_concat(n907, n8);
    let n1129 = b.mk_ranges_u8(&[(0x80, 0xA1), (0xB0, 0xBF)]);
    let n1130 = b.mk_concat(n144, n1129);
    let n1131 = b.mk_range_u8(0xBB, 0xBF);
    let n1132 = b.mk_concat(n1131, n8);
    let n1133 = b.mk_union(n1130, n1132);
    let n1134 = b.mk_union(n1128, n1133);
    let n1135 = b.mk_concat(n102, n1134);
    let n1136 = b.mk_concat(n105, n434);
    let n1137 = b.mk_concat(n869, n8);
    let n1138 = b.mk_ranges_u8(&[(0x80, 0xA0), (0xB0, 0xBF)]);
    let n1139 = b.mk_concat(n111, n1138);
    let n1140 = b.mk_range_u8(0xB0, 0xB8);
    let n1141 = b.mk_concat(n1140, n8);
    let n1142 = b.mk_concat(n141, n517);
    let n1143 = b.mk_union(n1141, n1142);
    let n1144 = b.mk_union(n1139, n1143);
    let n1145 = b.mk_union(n1137, n1144);
    let n1146 = b.mk_concat(n108, n1145);
    let n1147 = b.mk_concat(n90, n517);
    let n1148 = b.mk_union(n910, n1147);
    let n1149 = b.mk_concat(n111, n1148);
    let n1150 = b.mk_concat(n114, n434);
    let n1151 = b.mk_concat(n439, n8);
    let n1152 = b.mk_ranges_u8(&[(0x80, 0x8A), (0x90, 0xBF)]);
    let n1153 = b.mk_concat(n220, n1152);
    let n1154 = b.mk_range_u8(0x8E, 0xBF);
    let n1155 = b.mk_concat(n1154, n8);
    let n1156 = b.mk_union(n1153, n1155);
    let n1157 = b.mk_union(n1151, n1156);
    let n1158 = b.mk_concat(n117, n1157);
    let n1159 = b.mk_concat(n223, n888);
    let n1160 = b.mk_union(n867, n1159);
    let n1161 = b.mk_concat(n120, n1160);
    let n1162 = b.mk_union(n1158, n1161);
    let n1163 = b.mk_union(n1150, n1162);
    let n1164 = b.mk_union(n1149, n1163);
    let n1165 = b.mk_union(n1146, n1164);
    let n1166 = b.mk_union(n1136, n1165);
    let n1167 = b.mk_union(n1135, n1166);
    let n1168 = b.mk_union(n1127, n1167);
    let n1169 = b.mk_union(n1114, n1168);
    let n1170 = b.mk_union(n1105, n1169);
    let n1171 = b.mk_union(n1103, n1170);
    let n1172 = b.mk_union(n1093, n1171);
    let n1173 = b.mk_union(n1047, n1172);
    let n1174 = b.mk_union(n989, n1173);
    let n1175 = b.mk_union(n982, n1174);
    let n1176 = b.mk_union(n961, n1175);
    let n1177 = b.mk_union(n958, n1176);
    let n1178 = b.mk_union(n946, n1177);
    let n1179 = b.mk_union(n945, n1178);
    let n1180 = b.mk_union(n906, n1179);
    let n1181 = b.mk_union(n897, n1180);
    let n1182 = b.mk_union(n885, n1181);
    let n1183 = b.mk_union(n865, n1182);
    let n1184 = b.mk_union(n725, n1183);
    let n1185 = b.mk_concat(n584, n1184);
    let n1186 = b.mk_range_u8(0xF3, 0xF3);
    let n1187 = b.mk_range_u8(0x84, 0x86);
    let n1188 = b.mk_concat(n1187, n8);
    let n1189 = b.mk_concat(n413, n888);
    let n1190 = b.mk_union(n1188, n1189);
    let n1191 = b.mk_concat(n67, n1190);
    let n1192 = b.mk_concat(n1186, n1191);
    let n1193 = b.mk_union(n1185, n1192);
    let n1194 = b.mk_union(n583, n1193);
    let n1195 = b.mk_union(n525, n1194);
    let n1196 = b.mk_union(n515, n1195);
    let n1197 = b.mk_union(n513, n1196);
    let n1198 = b.mk_union(n435, n1197);
    let n1199 = b.mk_union(n432, n1198);
    let n1200 = b.mk_union(n425, n1199);
    let n1201 = b.mk_union(n399, n1200);
    let n1202 = b.mk_union(n347, n1201);
    let n1203 = b.mk_union(n193, n1202);
    let n1204 = b.mk_union(n65, n1203);
    let n1205 = b.mk_union(n62, n1204);
    let n1206 = b.mk_union(n59, n1205);
    let n1207 = b.mk_union(n56, n1206);
    let n1208 = b.mk_union(n53, n1207);
    let n1209 = b.mk_union(n50, n1208);
    let n1210 = b.mk_union(n48, n1209);
    let n1211 = b.mk_union(n45, n1210);
    let n1212 = b.mk_union(n42, n1211);
    let n1213 = b.mk_union(n39, n1212);
    let n1214 = b.mk_union(n36, n1213);
    let n1215 = b.mk_union(n33, n1214);
    let n1216 = b.mk_union(n30, n1215);
    let n1217 = b.mk_union(n28, n1216);
    let n1218 = b.mk_union(n25, n1217);
    let n1219 = b.mk_union(n23, n1218);
    let n1220 = b.mk_union(n20, n1219);
    let n1221 = b.mk_union(n17, n1220);
    let n1222 = b.mk_union(n14, n1221);
    let n1223 = b.mk_union(n12, n1222);
    let n1224 = b.mk_union(n9, n1223);
    let n1225 = b.mk_union(n6, n1224);
    let n1226 = b.mk_union(n3, n1225);
    let n1227 = b.mk_union(n0, n1226);
    n1227
}

pub fn build_digit_class_full(b: &mut RegexBuilder) -> NodeId {
    let n0 = b.mk_range_u8(0x30, 0x39);
    let n1 = b.mk_range_u8(0xD9, 0xD9);
    let n2 = b.mk_range_u8(0xA0, 0xA9);
    let n3 = b.mk_concat(n1, n2);
    let n4 = b.mk_range_u8(0xDB, 0xDB);
    let n5 = b.mk_range_u8(0xB0, 0xB9);
    let n6 = b.mk_concat(n4, n5);
    let n7 = b.mk_range_u8(0xDF, 0xDF);
    let n8 = b.mk_range_u8(0x80, 0x89);
    let n9 = b.mk_concat(n7, n8);
    let n10 = b.mk_range_u8(0xE0, 0xE0);
    let n11 = b.mk_range_u8(0xA5, 0xA5);
    let n12 = b.mk_range_u8(0xA6, 0xAF);
    let n13 = b.mk_concat(n11, n12);
    let n14 = b.mk_range_u8(0xA7, 0xA7);
    let n15 = b.mk_concat(n14, n12);
    let n16 = b.mk_range_u8(0xA9, 0xA9);
    let n17 = b.mk_concat(n16, n12);
    let n18 = b.mk_range_u8(0xAB, 0xAB);
    let n19 = b.mk_concat(n18, n12);
    let n20 = b.mk_range_u8(0xAD, 0xAD);
    let n21 = b.mk_concat(n20, n12);
    let n22 = b.mk_range_u8(0xAF, 0xAF);
    let n23 = b.mk_concat(n22, n12);
    let n24 = b.mk_range_u8(0xB1, 0xB1);
    let n25 = b.mk_concat(n24, n12);
    let n26 = b.mk_range_u8(0xB3, 0xB3);
    let n27 = b.mk_concat(n26, n12);
    let n28 = b.mk_range_u8(0xB5, 0xB5);
    let n29 = b.mk_concat(n28, n12);
    let n30 = b.mk_range_u8(0xB7, 0xB7);
    let n31 = b.mk_concat(n30, n12);
    let n32 = b.mk_range_u8(0xB9, 0xB9);
    let n33 = b.mk_range_u8(0x90, 0x99);
    let n34 = b.mk_concat(n32, n33);
    let n35 = b.mk_range_u8(0xBB, 0xBB);
    let n36 = b.mk_concat(n35, n33);
    let n37 = b.mk_range_u8(0xBC, 0xBC);
    let n38 = b.mk_concat(n37, n2);
    let n39 = b.mk_union(n36, n38);
    let n40 = b.mk_union(n34, n39);
    let n41 = b.mk_union(n31, n40);
    let n42 = b.mk_union(n29, n41);
    let n43 = b.mk_union(n27, n42);
    let n44 = b.mk_union(n25, n43);
    let n45 = b.mk_union(n23, n44);
    let n46 = b.mk_union(n21, n45);
    let n47 = b.mk_union(n19, n46);
    let n48 = b.mk_union(n17, n47);
    let n49 = b.mk_union(n15, n48);
    let n50 = b.mk_union(n13, n49);
    let n51 = b.mk_concat(n10, n50);
    let n52 = b.mk_range_u8(0xE1, 0xE1);
    let n53 = b.mk_range_u8(0x81, 0x81);
    let n54 = b.mk_concat(n53, n8);
    let n55 = b.mk_range_u8(0x82, 0x82);
    let n56 = b.mk_concat(n55, n33);
    let n57 = b.mk_range_u8(0x9F, 0x9F);
    let n58 = b.mk_concat(n57, n2);
    let n59 = b.mk_range_u8(0xA0, 0xA0);
    let n60 = b.mk_concat(n59, n33);
    let n61 = b.mk_range_u8(0x86, 0x8F);
    let n62 = b.mk_concat(n11, n61);
    let n63 = b.mk_concat(n14, n33);
    let n64 = b.mk_range_u8(0xAA, 0xAA);
    let n65 = b.mk_ranges_u8(&[(0x80, 0x89), (0x90, 0x99)]);
    let n66 = b.mk_concat(n64, n65);
    let n67 = b.mk_concat(n20, n33);
    let n68 = b.mk_range_u8(0xAE, 0xAE);
    let n69 = b.mk_concat(n68, n5);
    let n70 = b.mk_concat(n24, n65);
    let n71 = b.mk_union(n69, n70);
    let n72 = b.mk_union(n67, n71);
    let n73 = b.mk_union(n66, n72);
    let n74 = b.mk_union(n63, n73);
    let n75 = b.mk_union(n62, n74);
    let n76 = b.mk_union(n60, n75);
    let n77 = b.mk_union(n58, n76);
    let n78 = b.mk_union(n56, n77);
    let n79 = b.mk_union(n54, n78);
    let n80 = b.mk_concat(n52, n79);
    let n81 = b.mk_range_u8(0xEA, 0xEA);
    let n82 = b.mk_range_u8(0x98, 0x98);
    let n83 = b.mk_concat(n82, n2);
    let n84 = b.mk_range_u8(0xA3, 0xA3);
    let n85 = b.mk_concat(n84, n33);
    let n86 = b.mk_range_u8(0xA4, 0xA4);
    let n87 = b.mk_concat(n86, n8);
    let n88 = b.mk_ranges_u8(&[(0x90, 0x99), (0xB0, 0xB9)]);
    let n89 = b.mk_concat(n14, n88);
    let n90 = b.mk_concat(n16, n33);
    let n91 = b.mk_concat(n22, n5);
    let n92 = b.mk_union(n90, n91);
    let n93 = b.mk_union(n89, n92);
    let n94 = b.mk_union(n87, n93);
    let n95 = b.mk_union(n85, n94);
    let n96 = b.mk_union(n83, n95);
    let n97 = b.mk_concat(n81, n96);
    let n98 = b.mk_range_u8(0xEF, 0xEF);
    let n99 = b.mk_concat(n37, n33);
    let n100 = b.mk_concat(n98, n99);
    let n101 = b.mk_range_u8(0xF0, 0xF0);
    let n102 = b.mk_range_u8(0x90, 0x90);
    let n103 = b.mk_range_u8(0x92, 0x92);
    let n104 = b.mk_concat(n103, n2);
    let n105 = b.mk_range_u8(0xB4, 0xB4);
    let n106 = b.mk_concat(n105, n5);
    let n107 = b.mk_concat(n28, n8);
    let n108 = b.mk_union(n106, n107);
    let n109 = b.mk_union(n104, n108);
    let n110 = b.mk_concat(n102, n109);
    let n111 = b.mk_range_u8(0x91, 0x91);
    let n112 = b.mk_concat(n24, n33);
    let n113 = b.mk_concat(n53, n12);
    let n114 = b.mk_range_u8(0x83, 0x83);
    let n115 = b.mk_concat(n114, n5);
    let n116 = b.mk_range_u8(0x84, 0x84);
    let n117 = b.mk_range_u8(0xB6, 0xBF);
    let n118 = b.mk_concat(n116, n117);
    let n119 = b.mk_range_u8(0x87, 0x87);
    let n120 = b.mk_concat(n119, n33);
    let n121 = b.mk_range_u8(0x8B, 0x8B);
    let n122 = b.mk_concat(n121, n5);
    let n123 = b.mk_concat(n111, n33);
    let n124 = b.mk_range_u8(0x93, 0x93);
    let n125 = b.mk_concat(n124, n33);
    let n126 = b.mk_range_u8(0x99, 0x99);
    let n127 = b.mk_concat(n126, n33);
    let n128 = b.mk_range_u8(0x9B, 0x9B);
    let n129 = b.mk_ranges_u8(&[(0x80, 0x89), (0x90, 0xA3)]);
    let n130 = b.mk_concat(n128, n129);
    let n131 = b.mk_range_u8(0x9C, 0x9C);
    let n132 = b.mk_concat(n131, n5);
    let n133 = b.mk_concat(n84, n2);
    let n134 = b.mk_concat(n11, n33);
    let n135 = b.mk_concat(n28, n33);
    let n136 = b.mk_range_u8(0xB6, 0xB6);
    let n137 = b.mk_concat(n136, n2);
    let n138 = b.mk_range_u8(0xBD, 0xBD);
    let n139 = b.mk_concat(n138, n33);
    let n140 = b.mk_union(n137, n139);
    let n141 = b.mk_union(n135, n140);
    let n142 = b.mk_union(n134, n141);
    let n143 = b.mk_union(n133, n142);
    let n144 = b.mk_union(n132, n143);
    let n145 = b.mk_union(n130, n144);
    let n146 = b.mk_union(n127, n145);
    let n147 = b.mk_union(n125, n146);
    let n148 = b.mk_union(n123, n147);
    let n149 = b.mk_union(n122, n148);
    let n150 = b.mk_union(n120, n149);
    let n151 = b.mk_union(n118, n150);
    let n152 = b.mk_union(n115, n151);
    let n153 = b.mk_union(n113, n152);
    let n154 = b.mk_union(n91, n153);
    let n155 = b.mk_union(n112, n154);
    let n156 = b.mk_concat(n111, n155);
    let n157 = b.mk_range_u8(0x96, 0x96);
    let n158 = b.mk_concat(n116, n5);
    let n159 = b.mk_concat(n16, n2);
    let n160 = b.mk_concat(n18, n8);
    let n161 = b.mk_concat(n28, n5);
    let n162 = b.mk_union(n160, n161);
    let n163 = b.mk_union(n159, n162);
    let n164 = b.mk_union(n158, n163);
    let n165 = b.mk_union(n67, n164);
    let n166 = b.mk_concat(n157, n165);
    let n167 = b.mk_concat(n26, n5);
    let n168 = b.mk_concat(n131, n167);
    let n169 = b.mk_range_u8(0x9D, 0x9D);
    let n170 = b.mk_range_u8(0x8E, 0xBF);
    let n171 = b.mk_concat(n57, n170);
    let n172 = b.mk_concat(n169, n171);
    let n173 = b.mk_range_u8(0x9E, 0x9E);
    let n174 = b.mk_range_u8(0x85, 0x85);
    let n175 = b.mk_concat(n174, n8);
    let n176 = b.mk_concat(n124, n5);
    let n177 = b.mk_range_u8(0x97, 0x97);
    let n178 = b.mk_range_u8(0xB1, 0xBA);
    let n179 = b.mk_concat(n177, n178);
    let n180 = b.mk_union(n176, n179);
    let n181 = b.mk_union(n175, n180);
    let n182 = b.mk_union(n134, n181);
    let n183 = b.mk_union(n122, n182);
    let n184 = b.mk_concat(n173, n183);
    let n185 = b.mk_concat(n57, n91);
    let n186 = b.mk_union(n184, n185);
    let n187 = b.mk_union(n172, n186);
    let n188 = b.mk_union(n168, n187);
    let n189 = b.mk_union(n166, n188);
    let n190 = b.mk_union(n156, n189);
    let n191 = b.mk_union(n110, n190);
    let n192 = b.mk_concat(n101, n191);
    let n193 = b.mk_union(n100, n192);
    let n194 = b.mk_union(n97, n193);
    let n195 = b.mk_union(n80, n194);
    let n196 = b.mk_union(n51, n195);
    let n197 = b.mk_union(n9, n196);
    let n198 = b.mk_union(n6, n197);
    let n199 = b.mk_union(n3, n198);
    let n200 = b.mk_union(n0, n199);
    n200
}