diff --git a/cmd/linebreak/main.ha b/cmd/linebreak/main.ha new file mode 100644 index 0000000..90a80ab --- /dev/null +++ b/cmd/linebreak/main.ha @@ -0,0 +1,33 @@ +use fmt; +use os; +use unicode; + +export fn main() void = { + const input = os::args[1]; + + fmt::println(input)!; + + let ix = 0u; + const lb = unicode::new_line_breaker(input); + for (const (pos, mand) => unicode::next_line_break(&lb)) { + for (ix < pos; ix += 1) { + fmt::print(' ')!; + }; + ix += 1; + + if (mand) { + fmt::println('|')!; + } else { + fmt::print('^')!; + }; + }; + + fmt::println()!; + fmt::println()!; + + fmt::println("Line break opportunities:")!; + const lb = unicode::new_line_breaker(input); + for (const (pos, mand) => unicode::next_line_break(&lb)) { + fmt::printfln("- {} {}", pos, if (mand) "(mandatory)" else "")!; + }; +}; diff --git a/scripts/gen-ucd.py b/scripts/gen-ucd.py index df6b978..0eecc68 100755 --- a/scripts/gen-ucd.py +++ b/scripts/gen-ucd.py @@ -90,11 +90,10 @@ EASTASIANWIDTH_NAMES = [ "F", "H", "W", "Na", "A", "N" ] MANDATORY_LINE_BREAKS = [ "BK", "CR", "LF", "NL" ] LINE_BREAKS = [ - "XX", - "AI", "AL", "B2", "BA", "BB", "BK", "CB", "CJ", "CL", "CM", "CP", "CR", - "EB", "EM", "EX", "GL", "H2", "H3", "HL", "HY", "ID", "IN", "IS", "JL", - "JT", "JV", "LF", "NL", "NS", "NU", "OP", "PO", "PR", "QU", "RI", "SA", - "SG", "SP", "SY", "WJ", "ZW", "ZWJ", + "XX", "AI", "BK", "CJ", "CR", "LF", "NL", "SA", "SG", "SP", "OP", "CL", + "CP", "QU", "GL", "NS", "EX", "SY", "IS", "PR", "PO", "NU", "AL", "HL", + "ID", "IN", "HY", "BA", "BB", "B2", "ZW", "CM", "WJ", "H2", "H3", "JL", + "JV", "JT", "RI", "EB", "EM", "ZWJ", "CB", ] SCRIPT_NAMES = [ diff --git a/unicode/linebreak.ha b/unicode/linebreak.ha new file mode 100644 index 0000000..6710138 --- /dev/null +++ b/unicode/linebreak.ha @@ -0,0 +1,192 @@ +use strings; + +export type line_breaker = struct { + input: str, + iter: strings::iterator, + // Current position + pos: uint, + // Previous position + ppos: uint, + // Current line break class + cur: line_break, + // Next line break class + next: line_break, + // State for specific rules + lb8a: bool, + lb21a: bool, + lb30a: uint, +}; + +// Creates a new line breaking algorithm state machine. See [[next_line_break]] +// to enumerate the line break opportunities in the input string. +export fn new_line_breaker(input: str) line_breaker = { + return line_breaker { + input = input, + ... + }; +}; + +// Returns the next line break opportunity as a tuple of the rune-wise index of +// the opportunity in the input string and a boolean indicating if the line +// break is mandatory at this location. The line break opportunity directly +// precedes the index returned from this function. +// +// Hello world! +// ^ Line break opportunity at index 6 +export fn next_line_break(lb: *line_breaker) ((uint, bool) | done) = { + if (lb.pos == 0) { + if (len(lb.input) == 0) { + return done; // special case + }; + + lb.iter = strings::iter(lb.input); + + let class = next_lb1_class(lb) as line_break; + class = resolve_lb2_class(class); + lb.cur = class; + lb.next = class; + lb.lb8a = class == line_break::ZWJ; + }; + + for (const next => next_lb1_class(lb)) { + const prev = lb.next; + lb.next = next; + lb.ppos = lb.pos; + defer lb.pos += 1; + + const mandatory = lb.cur == line_break::BK + || (lb.cur == line_break::CR + && lb.next != line_break::LF); + if (mandatory) { + lb.cur = resolve_lb2_class(next); + return (lb.pos + 1, true); + }; + + lb.lb8a = next == line_break::ZWJ; + + let can_break = lb_simple_case(lb); + match (can_break) { + case bool => void; + case void => + can_break = lb_complex_case(lb, prev); + }; + + assert(can_break is bool); + const can_break = can_break as bool; + if (can_break) { + return (lb.pos + 1, false); + }; + }; + + return done; +}; + +// Applies LB1 suggested rules for resolving context-dependent classes. +fn next_lb1_class(lb: *line_breaker) (line_break | done) = { + const rn = match (strings::next(&lb.iter)) { + case let rn: rune => + yield rn; + case done => + return done; + }; + + const class = rune_line_break(rn); + switch (class) { + case line_break::AI, line_break::SG, line_break::XX => + return line_break::AL; + case line_break::SA => + switch (rune_gc(rn)) { + case gc::Mn, gc::Mc => + return line_break::CM; + case => + return line_break::AL; + }; + case line_break::CJ => + return line_break::NS; + case => + return class; + }; +}; + +// Applies LB2 suggested rules for resolving the start-of-text line-break class. +fn resolve_lb2_class(lb: line_break) line_break = { + switch (lb) { + case line_break::LF, line_break::NL => + return line_break::BK; + case line_break::SP => + return line_break::WJ; + case => + return lb; + }; +}; + +// If this is a simple case, return whether or not this is a break opportunity +// as a boolean. Returns void for special cases. +fn lb_simple_case(lb: *line_breaker) (bool | void) = { + switch (lb.next) { + case line_break::SP => + return false; + case line_break::BK, line_break::LF, line_break::NL => + lb.cur = line_break::BK; + return false; + case line_break::CR => + lb.cur = line_break::CR; + return false; + case => + return; + }; +}; + +// Handles more complex rules, including pair table lookups via +// linebreak_table.ha. +fn lb_complex_case(lb: *line_breaker, prev: line_break) bool = { + let can_break = false; + + const ucur = lb.cur: uint - line_break::OP: uint; + const unext = lb.next: uint - line_break::OP: uint; + if (ucur < len(lb_pairs) && unext < len(lb_pairs[0])) { + switch (lb_pairs[ucur][unext]) { + case bo::DI => // Direct break + can_break = true; + case bo::IN => // Indirect break opportunity + can_break = prev == line_break::SP; + case bo::CI => // Indirect opportunity for combining marks + can_break = prev == line_break::SP; + if (!can_break) { + return false; + }; + case bo::CP => // Prohibited for combining marks + if (prev != line_break::SP) { + return false; + }; + case bo::PR => void; + }; + }; + + // Rule LB8a + if (lb.lb8a) { + can_break = false; + }; + + // Rule LB21a + if (lb.lb21a && (lb.cur == line_break::HY || lb.cur == line_break::BA)) { + can_break = false; + lb.lb21a = false; + } else { + lb.lb21a = lb.cur == line_break::HL; + }; + + // Rule LB30a + if (lb.cur == line_break::RI) { + lb.lb30a += 1; + if (lb.lb30a == 2 && lb.next == line_break::RI) { + can_break = true; + lb.lb30a = 0; + }; + } else { + lb.lb30a = 0; + }; + + lb.cur = lb.next; + return can_break; +}; diff --git a/unicode/linebreak_table.ha b/unicode/linebreak_table.ha new file mode 100644 index 0000000..73e9b50 --- /dev/null +++ b/unicode/linebreak_table.ha @@ -0,0 +1,63 @@ +// Break opportunity +type bo = enum { + // Direct opportunity + DI, + // Indirect opportunity + IN, + // Indirect opportunity for combining marks + CI, + // Prohibited break for combining marks + CP, + // Prohibited break + PR, +}; + +// Based on JavaScript implementation here: +// +// https://github.com/foliojs/linebreak/blob/master/src/pairs.js +// +// This is itself based on the example pair table from Unicode, which was last +// published in revision 37 of the line break algorithm, and has since been +// touched up by the JavaScript maintainers to incorporate later changes to the +// algorithm. +// +// - ZWJ special processing for LB8a of Revision 41 +// - CB manually added as per Rule LB20 +// - CL, CP, NS, SY, IS, PR, PO, HY, BA, B2 and RI manually adjusted as per LB22 of Revision 45 +const lb_pairs = [ + //OP , CL , CP , QU , GL , NS , EX , SY , IS , PR , PO , NU , AL , HL , ID , IN , HY , BA , BB , B2 , ZW , CM , WJ , H2 , H3 , JL , JV , JT , RI , EB , EM , ZWJ , CB + [bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::CP, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR, bo::PR], // OP + [bo::DI, bo::PR, bo::PR, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::PR, bo::IN, bo::IN, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // CL + [bo::DI, bo::PR, bo::PR, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // CP + [bo::PR, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::PR, bo::CI, bo::PR, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN], // QU + [bo::IN, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::PR, bo::CI, bo::PR, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN], // GL + [bo::DI, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // NS + [bo::DI, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // EX + [bo::DI, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::DI, bo::DI, bo::IN, bo::DI, bo::IN, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // SY + [bo::DI, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::DI, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // IS + [bo::IN, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::DI, bo::DI, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI], // PR + [bo::IN, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::DI, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // PO + [bo::IN, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // NU + [bo::IN, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // AL + [bo::IN, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // HL + [bo::DI, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::DI, bo::IN, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // ID + [bo::DI, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // IN + [bo::DI, bo::PR, bo::PR, bo::IN, bo::DI, bo::IN, bo::PR, bo::PR, bo::PR, bo::DI, bo::DI, bo::IN, bo::DI, bo::DI, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // HY + [bo::DI, bo::PR, bo::PR, bo::IN, bo::DI, bo::IN, bo::PR, bo::PR, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // BA + [bo::IN, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::PR, bo::CI, bo::PR, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::DI], // BB + [bo::DI, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::PR, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // B2 + [bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI], // ZW + [bo::IN, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // CM + [bo::IN, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::PR, bo::CI, bo::PR, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN], // WJ + [bo::DI, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::DI, bo::IN, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::IN, bo::IN, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // H2 + [bo::DI, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::DI, bo::IN, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // H3 + [bo::DI, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::DI, bo::IN, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::IN, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // JL + [bo::DI, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::DI, bo::IN, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::IN, bo::IN, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // JV + [bo::DI, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::DI, bo::IN, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // JT + [bo::DI, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI, bo::DI, bo::IN, bo::DI], // RI + [bo::DI, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::DI, bo::IN, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::IN, bo::DI], // EB + [bo::DI, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::DI, bo::IN, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // EM + [bo::IN, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::PR, bo::PR, bo::PR, bo::IN, bo::IN, bo::IN, bo::IN, bo::IN, bo::DI, bo::IN, bo::IN, bo::IN, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI], // ZWJ + [bo::DI, bo::PR, bo::PR, bo::IN, bo::IN, bo::DI, bo::PR, bo::PR, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::PR, bo::CI, bo::PR, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::DI, bo::IN, bo::DI] // CB +]; + diff --git a/unicode/ucd.ha b/unicode/ucd.ha index a20743b..fb75406 100644 --- a/unicode/ucd.ha +++ b/unicode/ucd.ha @@ -513,47 +513,47 @@ export fn script_code(sc: script) const str = { export type line_break = enum u8 { XX, AI, - AL, - B2, - BA, - BB, BK, - CB, CJ, - CL, - CM, - CP, CR, - EB, - EM, - EX, - GL, - H2, - H3, - HL, - HY, - ID, - IN, - IS, - JL, - JT, - JV, LF, NL, - NS, - NU, - OP, - PO, - PR, - QU, - RI, SA, SG, SP, + OP, + CL, + CP, + QU, + GL, + NS, + EX, SY, - WJ, + IS, + PR, + PO, + NU, + AL, + HL, + ID, + IN, + HY, + BA, + BB, + B2, ZW, + CM, + WJ, + H2, + H3, + JL, + JV, + JT, + RI, + EB, + EM, ZWJ, + CB, }; // Returns the [[line_break]] classification corresponding to this rune. diff --git a/unicode/ucd_gen.ha b/unicode/ucd_gen.ha index 9431adc..39839be 100644 --- a/unicode/ucd_gen.ha +++ b/unicode/ucd_gen.ha @@ -6,1097 +6,1097 @@ export def UNIDATA_VERSION: str = "13.0.0"; // List of unique database records const ucd_records: [_]ucd_encodedrec = [ (0, 0, 0, 0, 0, 0, 0), - (0, 0, 15, 0, 5, 0, 10), - (0, 0, 17, 0, 5, 0, 4), - (0, 0, 16, 0, 5, 0, 27), - (0, 0, 17, 0, 5, 0, 6), - (0, 0, 18, 0, 5, 0, 6), - (0, 0, 16, 0, 5, 0, 12), - (0, 0, 16, 0, 5, 0, 10), - (0, 0, 17, 0, 5, 0, 10), - (29, 0, 18, 0, 3, 0, 38), - (21, 0, 19, 0, 3, 0, 15), - (21, 0, 19, 0, 3, 0, 34), - (21, 0, 11, 0, 3, 0, 2), - (23, 0, 11, 0, 3, 0, 33), - (21, 0, 11, 0, 3, 0, 32), - (21, 0, 19, 0, 3, 0, 2), - (22, 0, 19, 1, 3, 0, 31), + (0, 0, 15, 0, 5, 0, 31), + (0, 0, 17, 0, 5, 0, 27), + (0, 0, 16, 0, 5, 0, 5), + (0, 0, 17, 0, 5, 0, 2), + (0, 0, 18, 0, 5, 0, 2), + (0, 0, 16, 0, 5, 0, 4), + (0, 0, 16, 0, 5, 0, 31), + (0, 0, 17, 0, 5, 0, 31), + (29, 0, 18, 0, 3, 0, 9), + (21, 0, 19, 0, 3, 0, 16), + (21, 0, 19, 0, 3, 0, 13), + (21, 0, 11, 0, 3, 0, 22), + (23, 0, 11, 0, 3, 0, 19), + (21, 0, 11, 0, 3, 0, 20), + (21, 0, 19, 0, 3, 0, 22), + (22, 0, 19, 1, 3, 0, 10), + (18, 0, 19, 1, 3, 0, 12), + (25, 0, 10, 0, 3, 0, 19), + (21, 0, 13, 0, 3, 0, 18), + (17, 0, 10, 0, 3, 0, 26), + (21, 0, 13, 0, 3, 0, 17), + (13, 0, 9, 0, 3, 0, 21), + (21, 0, 19, 0, 3, 0, 18), + (25, 0, 19, 1, 3, 0, 22), + (25, 0, 19, 0, 3, 0, 22), + (9, 0, 1, 0, 3, 72, 22), + (21, 0, 19, 0, 3, 0, 19), + (24, 0, 19, 0, 3, 0, 22), + (16, 0, 19, 0, 3, 0, 22), + (5, 0, 1, 0, 3, 72, 22), + (25, 0, 19, 0, 3, 0, 27), (18, 0, 19, 1, 3, 0, 11), - (25, 0, 10, 0, 3, 0, 33), - (21, 0, 13, 0, 3, 0, 23), - (17, 0, 10, 0, 3, 0, 20), - (21, 0, 13, 0, 3, 0, 39), - (13, 0, 9, 0, 3, 0, 30), - (21, 0, 19, 0, 3, 0, 23), - (25, 0, 19, 1, 3, 0, 2), - (25, 0, 19, 0, 3, 0, 2), - (9, 0, 1, 0, 3, 72, 2), - (21, 0, 19, 0, 3, 0, 33), - (24, 0, 19, 0, 3, 0, 2), - (16, 0, 19, 0, 3, 0, 2), - (5, 0, 1, 0, 3, 72, 2), - (25, 0, 19, 0, 3, 0, 4), - (18, 0, 19, 1, 3, 0, 9), - (0, 0, 16, 0, 5, 0, 28), - (29, 0, 13, 0, 5, 0, 16), - (21, 0, 19, 0, 4, 0, 31), - (23, 0, 11, 0, 3, 0, 32), - (23, 0, 11, 0, 4, 0, 33), - (26, 0, 19, 0, 3, 0, 2), + (0, 0, 16, 0, 5, 0, 6), + (29, 0, 13, 0, 5, 0, 14), + (21, 0, 19, 0, 4, 0, 10), + (23, 0, 11, 0, 3, 0, 20), + (23, 0, 11, 0, 4, 0, 19), + (26, 0, 19, 0, 3, 0, 22), (21, 0, 19, 0, 4, 0, 1), (24, 0, 19, 0, 4, 0, 1), - (26, 0, 19, 0, 5, 0, 2), + (26, 0, 19, 0, 5, 0, 22), (7, 0, 1, 0, 4, 72, 1), - (20, 0, 19, 1, 5, 0, 34), - (1, 0, 15, 0, 4, 0, 4), - (26, 0, 19, 0, 4, 0, 2), - (26, 0, 11, 0, 4, 0, 32), - (25, 0, 11, 0, 4, 0, 33), + (20, 0, 19, 1, 5, 0, 13), + (1, 0, 15, 0, 4, 0, 27), + (26, 0, 19, 0, 4, 0, 22), + (26, 0, 11, 0, 4, 0, 20), + (25, 0, 11, 0, 4, 0, 19), (15, 0, 9, 0, 4, 0, 1), - (24, 0, 19, 0, 4, 0, 5), - (5, 0, 1, 0, 5, 0, 2), - (19, 0, 19, 1, 5, 0, 34), + (24, 0, 19, 0, 4, 0, 28), + (5, 0, 1, 0, 5, 0, 22), + (19, 0, 19, 1, 5, 0, 13), (15, 0, 19, 0, 4, 0, 1), - (9, 0, 1, 0, 5, 72, 2), - (9, 0, 1, 0, 4, 72, 2), + (9, 0, 1, 0, 5, 72, 22), + (9, 0, 1, 0, 4, 72, 22), (25, 0, 19, 0, 4, 0, 1), - (5, 0, 1, 0, 4, 72, 2), - (5, 0, 1, 0, 5, 72, 2), - (7, 0, 1, 0, 5, 72, 2), - (8, 0, 1, 0, 5, 72, 2), - (6, 0, 1, 0, 5, 72, 2), - (6, 0, 19, 0, 5, 0, 2), - (6, 0, 1, 0, 5, 0, 2), - (24, 0, 19, 0, 5, 0, 2), - (24, 0, 19, 0, 4, 0, 2), + (5, 0, 1, 0, 4, 72, 22), + (5, 0, 1, 0, 5, 72, 22), + (7, 0, 1, 0, 5, 72, 22), + (8, 0, 1, 0, 5, 72, 22), + (6, 0, 1, 0, 5, 72, 22), + (6, 0, 19, 0, 5, 0, 22), + (6, 0, 1, 0, 5, 0, 22), + (24, 0, 19, 0, 5, 0, 22), + (24, 0, 19, 0, 4, 0, 22), (6, 0, 19, 0, 4, 0, 1), - (6, 0, 19, 0, 5, 0, 5), + (6, 0, 19, 0, 5, 0, 28), (6, 0, 1, 0, 4, 0, 1), - (24, 0, 19, 0, 5, 16, 2), - (12, 230, 14, 0, 4, 1, 10), - (12, 232, 14, 0, 4, 1, 10), - (12, 220, 14, 0, 4, 1, 10), - (12, 216, 14, 0, 4, 1, 10), - (12, 202, 14, 0, 4, 1, 10), - (12, 1, 14, 0, 4, 1, 10), - (12, 240, 14, 0, 4, 1, 10), - (12, 0, 14, 0, 4, 1, 16), - (12, 233, 14, 0, 4, 1, 16), - (12, 234, 14, 0, 4, 1, 16), - (9, 0, 1, 0, 5, 46, 2), - (5, 0, 1, 0, 5, 46, 2), - (24, 0, 19, 0, 5, 46, 2), - (6, 0, 1, 0, 5, 46, 2), - (21, 0, 19, 0, 5, 0, 23), - (21, 0, 19, 0, 5, 0, 2), - (9, 0, 1, 0, 4, 46, 2), - (5, 0, 1, 0, 4, 46, 2), - (9, 0, 1, 0, 5, 27, 2), - (5, 0, 1, 0, 5, 27, 2), - (25, 0, 19, 0, 5, 46, 2), - (9, 0, 1, 0, 5, 30, 2), - (9, 0, 1, 0, 4, 30, 2), - (5, 0, 1, 0, 4, 30, 2), - (5, 0, 1, 0, 5, 30, 2), - (26, 0, 1, 0, 5, 30, 2), - (12, 230, 14, 0, 5, 30, 10), - (12, 230, 14, 0, 5, 1, 10), - (11, 0, 14, 0, 5, 30, 10), - (9, 0, 1, 0, 5, 8, 2), - (6, 0, 1, 0, 5, 8, 2), - (21, 0, 1, 0, 5, 8, 2), - (5, 0, 1, 0, 5, 8, 2), - (21, 0, 1, 0, 5, 8, 23), - (17, 0, 19, 0, 5, 8, 4), - (26, 0, 19, 0, 5, 8, 2), - (23, 0, 11, 0, 5, 8, 33), - (12, 220, 14, 0, 5, 53, 10), - (12, 230, 14, 0, 5, 53, 10), - (12, 222, 14, 0, 5, 53, 10), - (12, 228, 14, 0, 5, 53, 10), - (12, 10, 14, 0, 5, 53, 10), - (12, 11, 14, 0, 5, 53, 10), - (12, 12, 14, 0, 5, 53, 10), - (12, 13, 14, 0, 5, 53, 10), - (12, 14, 14, 0, 5, 53, 10), - (12, 15, 14, 0, 5, 53, 10), - (12, 16, 14, 0, 5, 53, 10), - (12, 17, 14, 0, 5, 53, 10), - (12, 18, 14, 0, 5, 53, 10), - (12, 19, 14, 0, 5, 53, 10), - (12, 20, 14, 0, 5, 53, 10), - (12, 21, 14, 0, 5, 53, 10), - (12, 22, 14, 0, 5, 53, 10), - (17, 0, 4, 0, 5, 53, 4), - (12, 23, 14, 0, 5, 53, 10), - (21, 0, 4, 0, 5, 53, 2), - (12, 24, 14, 0, 5, 53, 10), - (12, 25, 14, 0, 5, 53, 10), - (21, 0, 4, 0, 5, 53, 15), - (7, 0, 4, 0, 5, 53, 19), - (1, 0, 12, 0, 5, 6, 2), - (1, 0, 12, 0, 5, 0, 2), - (25, 0, 19, 0, 5, 6, 2), - (25, 0, 5, 0, 5, 6, 2), - (21, 0, 11, 0, 5, 6, 32), - (23, 0, 5, 0, 5, 6, 32), - (21, 0, 13, 0, 5, 0, 23), - (21, 0, 5, 0, 5, 6, 23), - (26, 0, 19, 0, 5, 6, 2), - (12, 230, 14, 0, 5, 6, 10), - (12, 30, 14, 0, 5, 6, 10), - (12, 31, 14, 0, 5, 6, 10), - (12, 32, 14, 0, 5, 6, 10), - (21, 0, 5, 0, 5, 0, 15), - (1, 0, 5, 0, 5, 6, 10), - (21, 0, 5, 0, 5, 6, 15), - (7, 0, 5, 0, 5, 6, 2), - (6, 0, 5, 0, 5, 0, 2), - (12, 27, 14, 0, 5, 1, 10), - (12, 28, 14, 0, 5, 1, 10), - (12, 29, 14, 0, 5, 1, 10), - (12, 30, 14, 0, 5, 1, 10), - (12, 31, 14, 0, 5, 1, 10), - (12, 32, 14, 0, 5, 1, 10), - (12, 33, 14, 0, 5, 1, 10), - (12, 34, 14, 0, 5, 1, 10), - (12, 220, 14, 0, 5, 1, 10), - (12, 220, 14, 0, 5, 6, 10), - (13, 0, 12, 0, 5, 6, 30), - (21, 0, 12, 0, 5, 6, 30), - (21, 0, 5, 0, 5, 6, 2), - (12, 35, 14, 0, 5, 1, 10), - (6, 0, 5, 0, 5, 6, 2), - (13, 0, 9, 0, 5, 6, 30), - (26, 0, 5, 0, 5, 6, 2), - (21, 0, 5, 0, 5, 137, 2), - (1, 0, 5, 0, 5, 137, 2), - (7, 0, 5, 0, 5, 137, 2), - (12, 36, 14, 0, 5, 137, 10), - (12, 230, 14, 0, 5, 137, 10), - (12, 220, 14, 0, 5, 137, 10), - (7, 0, 5, 0, 5, 148, 2), - (12, 0, 14, 0, 5, 148, 10), - (13, 0, 4, 0, 5, 101, 30), - (7, 0, 4, 0, 5, 101, 2), - (12, 230, 14, 0, 5, 101, 10), - (12, 220, 14, 0, 5, 101, 10), - (6, 0, 4, 0, 5, 101, 2), - (26, 0, 19, 0, 5, 101, 2), - (21, 0, 19, 0, 5, 101, 2), - (21, 0, 19, 0, 5, 101, 23), - (21, 0, 19, 0, 5, 101, 15), - (23, 0, 4, 0, 5, 101, 33), - (7, 0, 4, 0, 5, 122, 2), - (12, 230, 14, 0, 5, 122, 10), - (6, 0, 4, 0, 5, 122, 2), - (21, 0, 4, 0, 5, 122, 2), - (7, 0, 4, 0, 5, 82, 2), - (12, 220, 14, 0, 5, 82, 10), - (21, 0, 4, 0, 5, 82, 2), - (12, 27, 14, 0, 5, 6, 10), - (12, 28, 14, 0, 5, 6, 10), - (12, 29, 14, 0, 5, 6, 10), - (12, 0, 14, 0, 5, 31, 10), - (10, 0, 1, 0, 5, 31, 10), - (7, 0, 1, 0, 5, 31, 2), - (12, 7, 14, 0, 5, 31, 10), - (12, 9, 14, 0, 5, 31, 10), - (21, 0, 1, 0, 5, 0, 4), - (13, 0, 1, 0, 5, 31, 30), - (21, 0, 1, 0, 5, 31, 2), - (6, 0, 1, 0, 5, 31, 2), - (7, 0, 1, 0, 5, 14, 2), - (12, 0, 14, 0, 5, 14, 10), - (10, 0, 1, 0, 5, 14, 10), - (12, 7, 14, 0, 5, 14, 10), - (12, 9, 14, 0, 5, 14, 10), - (13, 0, 1, 0, 5, 14, 30), - (23, 0, 11, 0, 5, 14, 32), - (15, 0, 1, 0, 5, 14, 2), - (15, 0, 1, 0, 5, 14, 32), - (26, 0, 1, 0, 5, 14, 2), - (23, 0, 11, 0, 5, 14, 33), - (21, 0, 1, 0, 5, 14, 2), - (12, 230, 14, 0, 5, 14, 10), - (12, 0, 14, 0, 5, 48, 10), - (10, 0, 1, 0, 5, 48, 10), - (7, 0, 1, 0, 5, 48, 2), - (12, 7, 14, 0, 5, 48, 10), - (12, 9, 14, 0, 5, 48, 10), - (13, 0, 1, 0, 5, 48, 30), - (21, 0, 1, 0, 5, 48, 2), - (12, 0, 14, 0, 5, 47, 10), - (10, 0, 1, 0, 5, 47, 10), - (7, 0, 1, 0, 5, 47, 2), - (12, 7, 14, 0, 5, 47, 10), - (12, 9, 14, 0, 5, 47, 10), - (13, 0, 1, 0, 5, 47, 30), - (21, 0, 1, 0, 5, 47, 2), - (23, 0, 11, 0, 5, 47, 33), - (12, 0, 14, 0, 5, 106, 10), - (10, 0, 1, 0, 5, 106, 10), - (7, 0, 1, 0, 5, 106, 2), - (12, 7, 14, 0, 5, 106, 10), - (12, 9, 14, 0, 5, 106, 10), - (13, 0, 1, 0, 5, 106, 30), - (26, 0, 1, 0, 5, 106, 2), - (15, 0, 1, 0, 5, 106, 2), - (12, 0, 14, 0, 5, 142, 10), - (7, 0, 1, 0, 5, 142, 2), - (10, 0, 1, 0, 5, 142, 10), - (12, 9, 14, 0, 5, 142, 10), - (13, 0, 1, 0, 5, 142, 30), - (15, 0, 1, 0, 5, 142, 2), - (26, 0, 19, 0, 5, 142, 2), - (23, 0, 11, 0, 5, 142, 33), - (12, 0, 14, 0, 5, 145, 10), - (10, 0, 1, 0, 5, 145, 10), - (7, 0, 1, 0, 5, 145, 2), - (12, 9, 14, 0, 5, 145, 10), - (12, 84, 14, 0, 5, 145, 10), - (12, 91, 14, 0, 5, 145, 10), - (13, 0, 1, 0, 5, 145, 30), - (21, 0, 1, 0, 5, 145, 5), - (15, 0, 19, 0, 5, 145, 2), - (26, 0, 1, 0, 5, 145, 2), - (7, 0, 1, 0, 5, 68, 2), - (12, 0, 14, 0, 5, 68, 10), - (10, 0, 1, 0, 5, 68, 10), - (21, 0, 1, 0, 5, 68, 5), - (12, 7, 14, 0, 5, 68, 10), - (12, 0, 1, 0, 5, 68, 10), - (12, 9, 14, 0, 5, 68, 10), - (13, 0, 1, 0, 5, 68, 30), - (12, 0, 14, 0, 5, 89, 10), - (10, 0, 1, 0, 5, 89, 10), - (7, 0, 1, 0, 5, 89, 2), - (12, 9, 14, 0, 5, 89, 10), - (26, 0, 1, 0, 5, 89, 2), - (15, 0, 1, 0, 5, 89, 2), - (13, 0, 1, 0, 5, 89, 30), - (26, 0, 1, 0, 5, 89, 32), - (12, 0, 14, 0, 5, 130, 10), - (10, 0, 1, 0, 5, 130, 10), - (7, 0, 1, 0, 5, 130, 2), - (12, 9, 14, 0, 5, 130, 10), - (13, 0, 1, 0, 5, 130, 30), - (21, 0, 1, 0, 5, 130, 2), - (7, 0, 1, 0, 5, 149, 36), - (12, 0, 14, 0, 5, 149, 36), - (12, 103, 14, 0, 5, 149, 36), - (12, 9, 14, 0, 5, 149, 36), - (23, 0, 11, 0, 5, 0, 33), - (6, 0, 1, 0, 5, 149, 36), - (12, 107, 14, 0, 5, 149, 36), - (21, 0, 1, 0, 5, 149, 2), - (13, 0, 1, 0, 5, 149, 30), - (21, 0, 1, 0, 5, 149, 4), - (7, 0, 1, 0, 5, 71, 36), - (12, 0, 14, 0, 5, 71, 36), - (12, 118, 14, 0, 5, 71, 36), - (12, 9, 14, 0, 5, 71, 36), - (6, 0, 1, 0, 5, 71, 36), - (12, 122, 14, 0, 5, 71, 36), - (13, 0, 1, 0, 5, 71, 30), - (7, 0, 1, 0, 5, 150, 2), - (26, 0, 1, 0, 5, 150, 5), - (21, 0, 1, 0, 5, 150, 5), - (21, 0, 1, 0, 5, 150, 2), + (24, 0, 19, 0, 5, 16, 22), + (12, 230, 14, 0, 4, 1, 31), + (12, 232, 14, 0, 4, 1, 31), + (12, 220, 14, 0, 4, 1, 31), + (12, 216, 14, 0, 4, 1, 31), + (12, 202, 14, 0, 4, 1, 31), + (12, 1, 14, 0, 4, 1, 31), + (12, 240, 14, 0, 4, 1, 31), + (12, 0, 14, 0, 4, 1, 14), + (12, 233, 14, 0, 4, 1, 14), + (12, 234, 14, 0, 4, 1, 14), + (9, 0, 1, 0, 5, 46, 22), + (5, 0, 1, 0, 5, 46, 22), + (24, 0, 19, 0, 5, 46, 22), + (6, 0, 1, 0, 5, 46, 22), + (21, 0, 19, 0, 5, 0, 18), + (21, 0, 19, 0, 5, 0, 22), + (9, 0, 1, 0, 4, 46, 22), + (5, 0, 1, 0, 4, 46, 22), + (9, 0, 1, 0, 5, 27, 22), + (5, 0, 1, 0, 5, 27, 22), + (25, 0, 19, 0, 5, 46, 22), + (9, 0, 1, 0, 5, 30, 22), + (9, 0, 1, 0, 4, 30, 22), + (5, 0, 1, 0, 4, 30, 22), + (5, 0, 1, 0, 5, 30, 22), + (26, 0, 1, 0, 5, 30, 22), + (12, 230, 14, 0, 5, 30, 31), + (12, 230, 14, 0, 5, 1, 31), + (11, 0, 14, 0, 5, 30, 31), + (9, 0, 1, 0, 5, 8, 22), + (6, 0, 1, 0, 5, 8, 22), + (21, 0, 1, 0, 5, 8, 22), + (5, 0, 1, 0, 5, 8, 22), + (21, 0, 1, 0, 5, 8, 18), + (17, 0, 19, 0, 5, 8, 27), + (26, 0, 19, 0, 5, 8, 22), + (23, 0, 11, 0, 5, 8, 19), + (12, 220, 14, 0, 5, 53, 31), + (12, 230, 14, 0, 5, 53, 31), + (12, 222, 14, 0, 5, 53, 31), + (12, 228, 14, 0, 5, 53, 31), + (12, 10, 14, 0, 5, 53, 31), + (12, 11, 14, 0, 5, 53, 31), + (12, 12, 14, 0, 5, 53, 31), + (12, 13, 14, 0, 5, 53, 31), + (12, 14, 14, 0, 5, 53, 31), + (12, 15, 14, 0, 5, 53, 31), + (12, 16, 14, 0, 5, 53, 31), + (12, 17, 14, 0, 5, 53, 31), + (12, 18, 14, 0, 5, 53, 31), + (12, 19, 14, 0, 5, 53, 31), + (12, 20, 14, 0, 5, 53, 31), + (12, 21, 14, 0, 5, 53, 31), + (12, 22, 14, 0, 5, 53, 31), + (17, 0, 4, 0, 5, 53, 27), + (12, 23, 14, 0, 5, 53, 31), + (21, 0, 4, 0, 5, 53, 22), + (12, 24, 14, 0, 5, 53, 31), + (12, 25, 14, 0, 5, 53, 31), + (21, 0, 4, 0, 5, 53, 16), + (7, 0, 4, 0, 5, 53, 23), + (1, 0, 12, 0, 5, 6, 22), + (1, 0, 12, 0, 5, 0, 22), + (25, 0, 19, 0, 5, 6, 22), + (25, 0, 5, 0, 5, 6, 22), + (21, 0, 11, 0, 5, 6, 20), + (23, 0, 5, 0, 5, 6, 20), + (21, 0, 13, 0, 5, 0, 18), + (21, 0, 5, 0, 5, 6, 18), + (26, 0, 19, 0, 5, 6, 22), + (12, 230, 14, 0, 5, 6, 31), + (12, 30, 14, 0, 5, 6, 31), + (12, 31, 14, 0, 5, 6, 31), + (12, 32, 14, 0, 5, 6, 31), + (21, 0, 5, 0, 5, 0, 16), + (1, 0, 5, 0, 5, 6, 31), + (21, 0, 5, 0, 5, 6, 16), + (7, 0, 5, 0, 5, 6, 22), + (6, 0, 5, 0, 5, 0, 22), + (12, 27, 14, 0, 5, 1, 31), + (12, 28, 14, 0, 5, 1, 31), + (12, 29, 14, 0, 5, 1, 31), + (12, 30, 14, 0, 5, 1, 31), + (12, 31, 14, 0, 5, 1, 31), + (12, 32, 14, 0, 5, 1, 31), + (12, 33, 14, 0, 5, 1, 31), + (12, 34, 14, 0, 5, 1, 31), + (12, 220, 14, 0, 5, 1, 31), + (12, 220, 14, 0, 5, 6, 31), + (13, 0, 12, 0, 5, 6, 21), + (21, 0, 12, 0, 5, 6, 21), + (21, 0, 5, 0, 5, 6, 22), + (12, 35, 14, 0, 5, 1, 31), + (6, 0, 5, 0, 5, 6, 22), + (13, 0, 9, 0, 5, 6, 21), + (26, 0, 5, 0, 5, 6, 22), + (21, 0, 5, 0, 5, 137, 22), + (1, 0, 5, 0, 5, 137, 22), + (7, 0, 5, 0, 5, 137, 22), + (12, 36, 14, 0, 5, 137, 31), + (12, 230, 14, 0, 5, 137, 31), + (12, 220, 14, 0, 5, 137, 31), + (7, 0, 5, 0, 5, 148, 22), + (12, 0, 14, 0, 5, 148, 31), + (13, 0, 4, 0, 5, 101, 21), + (7, 0, 4, 0, 5, 101, 22), + (12, 230, 14, 0, 5, 101, 31), + (12, 220, 14, 0, 5, 101, 31), + (6, 0, 4, 0, 5, 101, 22), + (26, 0, 19, 0, 5, 101, 22), + (21, 0, 19, 0, 5, 101, 22), + (21, 0, 19, 0, 5, 101, 18), + (21, 0, 19, 0, 5, 101, 16), + (23, 0, 4, 0, 5, 101, 19), + (7, 0, 4, 0, 5, 122, 22), + (12, 230, 14, 0, 5, 122, 31), + (6, 0, 4, 0, 5, 122, 22), + (21, 0, 4, 0, 5, 122, 22), + (7, 0, 4, 0, 5, 82, 22), + (12, 220, 14, 0, 5, 82, 31), + (21, 0, 4, 0, 5, 82, 22), + (12, 27, 14, 0, 5, 6, 31), + (12, 28, 14, 0, 5, 6, 31), + (12, 29, 14, 0, 5, 6, 31), + (12, 0, 14, 0, 5, 31, 31), + (10, 0, 1, 0, 5, 31, 31), + (7, 0, 1, 0, 5, 31, 22), + (12, 7, 14, 0, 5, 31, 31), + (12, 9, 14, 0, 5, 31, 31), + (21, 0, 1, 0, 5, 0, 27), + (13, 0, 1, 0, 5, 31, 21), + (21, 0, 1, 0, 5, 31, 22), + (6, 0, 1, 0, 5, 31, 22), + (7, 0, 1, 0, 5, 14, 22), + (12, 0, 14, 0, 5, 14, 31), + (10, 0, 1, 0, 5, 14, 31), + (12, 7, 14, 0, 5, 14, 31), + (12, 9, 14, 0, 5, 14, 31), + (13, 0, 1, 0, 5, 14, 21), + (23, 0, 11, 0, 5, 14, 20), + (15, 0, 1, 0, 5, 14, 22), + (15, 0, 1, 0, 5, 14, 20), + (26, 0, 1, 0, 5, 14, 22), + (23, 0, 11, 0, 5, 14, 19), + (21, 0, 1, 0, 5, 14, 22), + (12, 230, 14, 0, 5, 14, 31), + (12, 0, 14, 0, 5, 48, 31), + (10, 0, 1, 0, 5, 48, 31), + (7, 0, 1, 0, 5, 48, 22), + (12, 7, 14, 0, 5, 48, 31), + (12, 9, 14, 0, 5, 48, 31), + (13, 0, 1, 0, 5, 48, 21), + (21, 0, 1, 0, 5, 48, 22), + (12, 0, 14, 0, 5, 47, 31), + (10, 0, 1, 0, 5, 47, 31), + (7, 0, 1, 0, 5, 47, 22), + (12, 7, 14, 0, 5, 47, 31), + (12, 9, 14, 0, 5, 47, 31), + (13, 0, 1, 0, 5, 47, 21), + (21, 0, 1, 0, 5, 47, 22), + (23, 0, 11, 0, 5, 47, 19), + (12, 0, 14, 0, 5, 106, 31), + (10, 0, 1, 0, 5, 106, 31), + (7, 0, 1, 0, 5, 106, 22), + (12, 7, 14, 0, 5, 106, 31), + (12, 9, 14, 0, 5, 106, 31), + (13, 0, 1, 0, 5, 106, 21), + (26, 0, 1, 0, 5, 106, 22), + (15, 0, 1, 0, 5, 106, 22), + (12, 0, 14, 0, 5, 142, 31), + (7, 0, 1, 0, 5, 142, 22), + (10, 0, 1, 0, 5, 142, 31), + (12, 9, 14, 0, 5, 142, 31), + (13, 0, 1, 0, 5, 142, 21), + (15, 0, 1, 0, 5, 142, 22), + (26, 0, 19, 0, 5, 142, 22), + (23, 0, 11, 0, 5, 142, 19), + (12, 0, 14, 0, 5, 145, 31), + (10, 0, 1, 0, 5, 145, 31), + (7, 0, 1, 0, 5, 145, 22), + (12, 9, 14, 0, 5, 145, 31), + (12, 84, 14, 0, 5, 145, 31), + (12, 91, 14, 0, 5, 145, 31), + (13, 0, 1, 0, 5, 145, 21), + (21, 0, 1, 0, 5, 145, 28), + (15, 0, 19, 0, 5, 145, 22), + (26, 0, 1, 0, 5, 145, 22), + (7, 0, 1, 0, 5, 68, 22), + (12, 0, 14, 0, 5, 68, 31), + (10, 0, 1, 0, 5, 68, 31), + (21, 0, 1, 0, 5, 68, 28), + (12, 7, 14, 0, 5, 68, 31), + (12, 0, 1, 0, 5, 68, 31), + (12, 9, 14, 0, 5, 68, 31), + (13, 0, 1, 0, 5, 68, 21), + (12, 0, 14, 0, 5, 89, 31), + (10, 0, 1, 0, 5, 89, 31), + (7, 0, 1, 0, 5, 89, 22), + (12, 9, 14, 0, 5, 89, 31), + (26, 0, 1, 0, 5, 89, 22), + (15, 0, 1, 0, 5, 89, 22), + (13, 0, 1, 0, 5, 89, 21), + (26, 0, 1, 0, 5, 89, 20), + (12, 0, 14, 0, 5, 130, 31), + (10, 0, 1, 0, 5, 130, 31), + (7, 0, 1, 0, 5, 130, 22), + (12, 9, 14, 0, 5, 130, 31), + (13, 0, 1, 0, 5, 130, 21), + (21, 0, 1, 0, 5, 130, 22), + (7, 0, 1, 0, 5, 149, 7), + (12, 0, 14, 0, 5, 149, 7), + (12, 103, 14, 0, 5, 149, 7), + (12, 9, 14, 0, 5, 149, 7), + (23, 0, 11, 0, 5, 0, 19), + (6, 0, 1, 0, 5, 149, 7), + (12, 107, 14, 0, 5, 149, 7), + (21, 0, 1, 0, 5, 149, 22), + (13, 0, 1, 0, 5, 149, 21), + (21, 0, 1, 0, 5, 149, 27), + (7, 0, 1, 0, 5, 71, 7), + (12, 0, 14, 0, 5, 71, 7), + (12, 118, 14, 0, 5, 71, 7), + (12, 9, 14, 0, 5, 71, 7), + (6, 0, 1, 0, 5, 71, 7), + (12, 122, 14, 0, 5, 71, 7), + (13, 0, 1, 0, 5, 71, 21), + (7, 0, 1, 0, 5, 150, 22), + (26, 0, 1, 0, 5, 150, 28), + (21, 0, 1, 0, 5, 150, 28), + (21, 0, 1, 0, 5, 150, 22), + (21, 0, 1, 0, 5, 150, 14), + (21, 0, 1, 0, 5, 150, 27), (21, 0, 1, 0, 5, 150, 16), - (21, 0, 1, 0, 5, 150, 4), - (21, 0, 1, 0, 5, 150, 15), - (26, 0, 1, 0, 5, 150, 2), - (12, 220, 14, 0, 5, 150, 10), - (13, 0, 1, 0, 5, 150, 30), - (15, 0, 1, 0, 5, 150, 2), - (26, 0, 1, 0, 5, 150, 4), - (12, 216, 14, 0, 5, 150, 10), - (22, 0, 19, 1, 5, 150, 31), - (18, 0, 19, 1, 5, 150, 9), - (10, 0, 1, 0, 5, 150, 10), - (12, 129, 14, 0, 5, 150, 10), - (12, 130, 14, 0, 5, 150, 10), - (12, 0, 14, 0, 5, 150, 10), - (12, 132, 14, 0, 5, 150, 10), - (10, 0, 1, 0, 5, 150, 4), - (12, 230, 14, 0, 5, 150, 10), - (12, 9, 14, 0, 5, 150, 10), - (26, 0, 1, 0, 5, 0, 2), - (7, 0, 1, 0, 5, 95, 36), - (10, 0, 1, 0, 5, 95, 36), - (12, 0, 14, 0, 5, 95, 36), - (12, 7, 14, 0, 5, 95, 36), - (12, 9, 14, 0, 5, 95, 36), - (13, 0, 1, 0, 5, 95, 30), - (21, 0, 1, 0, 5, 95, 4), - (21, 0, 1, 0, 5, 95, 2), - (12, 220, 14, 0, 5, 95, 36), - (26, 0, 1, 0, 5, 95, 36), - (9, 0, 1, 0, 5, 40, 2), - (5, 0, 1, 0, 5, 40, 2), - (21, 0, 1, 0, 5, 0, 2), - (6, 0, 1, 0, 5, 40, 2), - (7, 0, 1, 0, 2, 49, 24), - (7, 0, 1, 0, 5, 49, 26), - (7, 0, 1, 0, 5, 49, 25), - (7, 0, 1, 0, 5, 39, 2), - (12, 230, 14, 0, 5, 39, 10), - (21, 0, 1, 0, 5, 39, 2), - (21, 0, 1, 0, 5, 39, 4), - (15, 0, 1, 0, 5, 39, 2), - (26, 0, 19, 0, 5, 39, 2), - (9, 0, 1, 0, 5, 25, 2), - (5, 0, 1, 0, 5, 25, 2), - (17, 0, 19, 0, 5, 22, 4), - (7, 0, 1, 0, 5, 22, 2), - (26, 0, 1, 0, 5, 22, 2), - (21, 0, 1, 0, 5, 22, 2), - (29, 0, 18, 0, 5, 103, 4), - (7, 0, 1, 0, 5, 103, 2), - (22, 0, 19, 1, 5, 103, 31), - (18, 0, 19, 1, 5, 103, 9), - (7, 0, 1, 0, 5, 121, 2), - (14, 0, 1, 0, 5, 121, 2), - (7, 0, 1, 0, 5, 147, 2), - (12, 0, 14, 0, 5, 147, 10), - (12, 9, 14, 0, 5, 147, 10), - (7, 0, 1, 0, 5, 51, 2), - (12, 0, 14, 0, 5, 51, 10), - (12, 9, 14, 0, 5, 51, 10), - (7, 0, 1, 0, 5, 20, 2), - (12, 0, 14, 0, 5, 20, 10), - (7, 0, 1, 0, 5, 138, 2), - (12, 0, 14, 0, 5, 138, 10), - (7, 0, 1, 0, 5, 65, 36), - (12, 0, 14, 0, 5, 65, 36), - (10, 0, 1, 0, 5, 65, 36), - (12, 9, 14, 0, 5, 65, 36), - (21, 0, 1, 0, 5, 65, 4), - (21, 0, 1, 0, 5, 65, 29), - (6, 0, 1, 0, 5, 65, 36), - (21, 0, 1, 0, 5, 65, 2), - (23, 0, 11, 0, 5, 65, 33), - (12, 230, 14, 0, 5, 65, 36), - (13, 0, 1, 0, 5, 65, 30), - (15, 0, 19, 0, 5, 65, 2), - (21, 0, 19, 0, 5, 91, 2), - (21, 0, 19, 0, 5, 0, 15), - (21, 0, 19, 0, 5, 91, 4), - (21, 0, 19, 0, 5, 0, 4), - (17, 0, 19, 0, 5, 91, 5), - (21, 0, 19, 0, 5, 91, 15), - (12, 0, 14, 0, 5, 91, 10), - (1, 0, 15, 0, 5, 91, 16), - (13, 0, 1, 0, 5, 91, 30), - (7, 0, 1, 0, 5, 91, 2), - (6, 0, 1, 0, 5, 91, 2), - (12, 228, 14, 0, 5, 91, 10), - (7, 0, 1, 0, 5, 74, 2), - (12, 0, 14, 0, 5, 74, 10), - (10, 0, 1, 0, 5, 74, 10), - (12, 222, 14, 0, 5, 74, 10), - (12, 230, 14, 0, 5, 74, 10), - (12, 220, 14, 0, 5, 74, 10), - (26, 0, 19, 0, 5, 74, 2), - (21, 0, 19, 0, 5, 74, 15), - (13, 0, 1, 0, 5, 74, 30), - (7, 0, 1, 0, 5, 140, 36), - (7, 0, 1, 0, 5, 141, 36), - (13, 0, 1, 0, 5, 141, 30), - (15, 0, 1, 0, 5, 141, 36), - (26, 0, 19, 0, 5, 141, 36), - (26, 0, 19, 0, 5, 65, 2), - (7, 0, 1, 0, 5, 19, 2), - (12, 230, 14, 0, 5, 19, 10), - (12, 220, 14, 0, 5, 19, 10), - (10, 0, 1, 0, 5, 19, 10), - (12, 0, 14, 0, 5, 19, 10), - (21, 0, 1, 0, 5, 19, 2), - (7, 0, 1, 0, 5, 70, 36), - (10, 0, 1, 0, 5, 70, 36), - (12, 0, 14, 0, 5, 70, 36), - (12, 9, 14, 0, 5, 70, 36), - (12, 230, 14, 0, 5, 70, 36), - (12, 220, 14, 0, 5, 70, 10), - (13, 0, 1, 0, 5, 70, 30), - (21, 0, 1, 0, 5, 70, 36), - (6, 0, 1, 0, 5, 70, 36), - (11, 0, 14, 0, 5, 1, 10), - (12, 0, 14, 0, 5, 10, 10), - (10, 0, 1, 0, 5, 10, 10), - (7, 0, 1, 0, 5, 10, 2), - (12, 7, 14, 0, 5, 10, 10), - (10, 9, 1, 0, 5, 10, 10), - (13, 0, 1, 0, 5, 10, 30), - (21, 0, 1, 0, 5, 10, 4), - (21, 0, 1, 0, 5, 10, 2), - (26, 0, 1, 0, 5, 10, 2), - (12, 230, 14, 0, 5, 10, 10), - (12, 220, 14, 0, 5, 10, 10), - (12, 0, 14, 0, 5, 135, 10), - (10, 0, 1, 0, 5, 135, 10), - (7, 0, 1, 0, 5, 135, 2), - (10, 9, 1, 0, 5, 135, 10), - (12, 9, 14, 0, 5, 135, 10), - (13, 0, 1, 0, 5, 135, 30), - (7, 0, 1, 0, 5, 13, 2), - (12, 7, 14, 0, 5, 13, 10), - (10, 0, 1, 0, 5, 13, 10), - (12, 0, 14, 0, 5, 13, 10), - (10, 9, 1, 0, 5, 13, 10), - (21, 0, 1, 0, 5, 13, 2), - (7, 0, 1, 0, 5, 73, 2), - (10, 0, 1, 0, 5, 73, 10), - (12, 0, 14, 0, 5, 73, 10), - (12, 7, 14, 0, 5, 73, 10), - (21, 0, 1, 0, 5, 73, 4), - (13, 0, 1, 0, 5, 73, 30), - (13, 0, 1, 0, 5, 104, 30), - (7, 0, 1, 0, 5, 104, 2), - (6, 0, 1, 0, 5, 104, 2), - (21, 0, 1, 0, 5, 104, 4), - (21, 0, 1, 0, 5, 135, 2), - (12, 1, 14, 0, 5, 1, 10), - (10, 0, 1, 0, 5, 0, 10), - (7, 0, 1, 0, 5, 0, 2), - (6, 0, 1, 0, 5, 30, 2), - (12, 234, 14, 0, 5, 1, 10), - (12, 214, 14, 0, 5, 1, 10), - (12, 202, 14, 0, 5, 1, 10), - (12, 232, 14, 0, 5, 1, 10), - (12, 228, 14, 0, 5, 1, 10), - (12, 233, 14, 0, 5, 1, 10), - (8, 0, 1, 0, 5, 46, 2), - (24, 0, 19, 0, 5, 46, 5), - (29, 0, 18, 0, 5, 0, 4), - (29, 0, 18, 0, 5, 0, 16), - (1, 0, 15, 0, 5, 0, 41), - (1, 0, 15, 0, 5, 1, 10), - (1, 0, 15, 0, 5, 1, 42), - (1, 0, 1, 0, 5, 0, 10), - (1, 0, 4, 0, 5, 0, 10), - (17, 0, 19, 0, 4, 0, 4), - (17, 0, 19, 0, 5, 0, 16), - (17, 0, 19, 0, 5, 0, 4), - (17, 0, 19, 0, 4, 0, 3), + (26, 0, 1, 0, 5, 150, 22), + (12, 220, 14, 0, 5, 150, 31), + (13, 0, 1, 0, 5, 150, 21), + (15, 0, 1, 0, 5, 150, 22), + (26, 0, 1, 0, 5, 150, 27), + (12, 216, 14, 0, 5, 150, 31), + (22, 0, 19, 1, 5, 150, 10), + (18, 0, 19, 1, 5, 150, 11), + (10, 0, 1, 0, 5, 150, 31), + (12, 129, 14, 0, 5, 150, 31), + (12, 130, 14, 0, 5, 150, 31), + (12, 0, 14, 0, 5, 150, 31), + (12, 132, 14, 0, 5, 150, 31), + (10, 0, 1, 0, 5, 150, 27), + (12, 230, 14, 0, 5, 150, 31), + (12, 9, 14, 0, 5, 150, 31), + (26, 0, 1, 0, 5, 0, 22), + (7, 0, 1, 0, 5, 95, 7), + (10, 0, 1, 0, 5, 95, 7), + (12, 0, 14, 0, 5, 95, 7), + (12, 7, 14, 0, 5, 95, 7), + (12, 9, 14, 0, 5, 95, 7), + (13, 0, 1, 0, 5, 95, 21), + (21, 0, 1, 0, 5, 95, 27), + (21, 0, 1, 0, 5, 95, 22), + (12, 220, 14, 0, 5, 95, 7), + (26, 0, 1, 0, 5, 95, 7), + (9, 0, 1, 0, 5, 40, 22), + (5, 0, 1, 0, 5, 40, 22), + (21, 0, 1, 0, 5, 0, 22), + (6, 0, 1, 0, 5, 40, 22), + (7, 0, 1, 0, 2, 49, 35), + (7, 0, 1, 0, 5, 49, 36), + (7, 0, 1, 0, 5, 49, 37), + (7, 0, 1, 0, 5, 39, 22), + (12, 230, 14, 0, 5, 39, 31), + (21, 0, 1, 0, 5, 39, 22), + (21, 0, 1, 0, 5, 39, 27), + (15, 0, 1, 0, 5, 39, 22), + (26, 0, 19, 0, 5, 39, 22), + (9, 0, 1, 0, 5, 25, 22), + (5, 0, 1, 0, 5, 25, 22), + (17, 0, 19, 0, 5, 22, 27), + (7, 0, 1, 0, 5, 22, 22), + (26, 0, 1, 0, 5, 22, 22), + (21, 0, 1, 0, 5, 22, 22), + (29, 0, 18, 0, 5, 103, 27), + (7, 0, 1, 0, 5, 103, 22), + (22, 0, 19, 1, 5, 103, 10), + (18, 0, 19, 1, 5, 103, 11), + (7, 0, 1, 0, 5, 121, 22), + (14, 0, 1, 0, 5, 121, 22), + (7, 0, 1, 0, 5, 147, 22), + (12, 0, 14, 0, 5, 147, 31), + (12, 9, 14, 0, 5, 147, 31), + (7, 0, 1, 0, 5, 51, 22), + (12, 0, 14, 0, 5, 51, 31), + (12, 9, 14, 0, 5, 51, 31), + (7, 0, 1, 0, 5, 20, 22), + (12, 0, 14, 0, 5, 20, 31), + (7, 0, 1, 0, 5, 138, 22), + (12, 0, 14, 0, 5, 138, 31), + (7, 0, 1, 0, 5, 65, 7), + (12, 0, 14, 0, 5, 65, 7), + (10, 0, 1, 0, 5, 65, 7), + (12, 9, 14, 0, 5, 65, 7), + (21, 0, 1, 0, 5, 65, 27), + (21, 0, 1, 0, 5, 65, 15), + (6, 0, 1, 0, 5, 65, 7), + (21, 0, 1, 0, 5, 65, 22), + (23, 0, 11, 0, 5, 65, 19), + (12, 230, 14, 0, 5, 65, 7), + (13, 0, 1, 0, 5, 65, 21), + (15, 0, 19, 0, 5, 65, 22), + (21, 0, 19, 0, 5, 91, 22), + (21, 0, 19, 0, 5, 0, 16), + (21, 0, 19, 0, 5, 91, 27), + (21, 0, 19, 0, 5, 0, 27), + (17, 0, 19, 0, 5, 91, 28), + (21, 0, 19, 0, 5, 91, 16), + (12, 0, 14, 0, 5, 91, 31), + (1, 0, 15, 0, 5, 91, 14), + (13, 0, 1, 0, 5, 91, 21), + (7, 0, 1, 0, 5, 91, 22), + (6, 0, 1, 0, 5, 91, 22), + (12, 228, 14, 0, 5, 91, 31), + (7, 0, 1, 0, 5, 74, 22), + (12, 0, 14, 0, 5, 74, 31), + (10, 0, 1, 0, 5, 74, 31), + (12, 222, 14, 0, 5, 74, 31), + (12, 230, 14, 0, 5, 74, 31), + (12, 220, 14, 0, 5, 74, 31), + (26, 0, 19, 0, 5, 74, 22), + (21, 0, 19, 0, 5, 74, 16), + (13, 0, 1, 0, 5, 74, 21), + (7, 0, 1, 0, 5, 140, 7), + (7, 0, 1, 0, 5, 141, 7), + (13, 0, 1, 0, 5, 141, 21), + (15, 0, 1, 0, 5, 141, 7), + (26, 0, 19, 0, 5, 141, 7), + (26, 0, 19, 0, 5, 65, 22), + (7, 0, 1, 0, 5, 19, 22), + (12, 230, 14, 0, 5, 19, 31), + (12, 220, 14, 0, 5, 19, 31), + (10, 0, 1, 0, 5, 19, 31), + (12, 0, 14, 0, 5, 19, 31), + (21, 0, 1, 0, 5, 19, 22), + (7, 0, 1, 0, 5, 70, 7), + (10, 0, 1, 0, 5, 70, 7), + (12, 0, 14, 0, 5, 70, 7), + (12, 9, 14, 0, 5, 70, 7), + (12, 230, 14, 0, 5, 70, 7), + (12, 220, 14, 0, 5, 70, 31), + (13, 0, 1, 0, 5, 70, 21), + (21, 0, 1, 0, 5, 70, 7), + (6, 0, 1, 0, 5, 70, 7), + (11, 0, 14, 0, 5, 1, 31), + (12, 0, 14, 0, 5, 10, 31), + (10, 0, 1, 0, 5, 10, 31), + (7, 0, 1, 0, 5, 10, 22), + (12, 7, 14, 0, 5, 10, 31), + (10, 9, 1, 0, 5, 10, 31), + (13, 0, 1, 0, 5, 10, 21), + (21, 0, 1, 0, 5, 10, 27), + (21, 0, 1, 0, 5, 10, 22), + (26, 0, 1, 0, 5, 10, 22), + (12, 230, 14, 0, 5, 10, 31), + (12, 220, 14, 0, 5, 10, 31), + (12, 0, 14, 0, 5, 135, 31), + (10, 0, 1, 0, 5, 135, 31), + (7, 0, 1, 0, 5, 135, 22), + (10, 9, 1, 0, 5, 135, 31), + (12, 9, 14, 0, 5, 135, 31), + (13, 0, 1, 0, 5, 135, 21), + (7, 0, 1, 0, 5, 13, 22), + (12, 7, 14, 0, 5, 13, 31), + (10, 0, 1, 0, 5, 13, 31), + (12, 0, 14, 0, 5, 13, 31), + (10, 9, 1, 0, 5, 13, 31), + (21, 0, 1, 0, 5, 13, 22), + (7, 0, 1, 0, 5, 73, 22), + (10, 0, 1, 0, 5, 73, 31), + (12, 0, 14, 0, 5, 73, 31), + (12, 7, 14, 0, 5, 73, 31), + (21, 0, 1, 0, 5, 73, 27), + (13, 0, 1, 0, 5, 73, 21), + (13, 0, 1, 0, 5, 104, 21), + (7, 0, 1, 0, 5, 104, 22), + (6, 0, 1, 0, 5, 104, 22), + (21, 0, 1, 0, 5, 104, 27), + (21, 0, 1, 0, 5, 135, 22), + (12, 1, 14, 0, 5, 1, 31), + (10, 0, 1, 0, 5, 0, 31), + (7, 0, 1, 0, 5, 0, 22), + (6, 0, 1, 0, 5, 30, 22), + (12, 234, 14, 0, 5, 1, 31), + (12, 214, 14, 0, 5, 1, 31), + (12, 202, 14, 0, 5, 1, 31), + (12, 232, 14, 0, 5, 1, 31), + (12, 228, 14, 0, 5, 1, 31), + (12, 233, 14, 0, 5, 1, 31), + (8, 0, 1, 0, 5, 46, 22), + (24, 0, 19, 0, 5, 46, 28), + (29, 0, 18, 0, 5, 0, 27), + (29, 0, 18, 0, 5, 0, 14), + (1, 0, 15, 0, 5, 0, 30), + (1, 0, 15, 0, 5, 1, 31), + (1, 0, 15, 0, 5, 1, 41), + (1, 0, 1, 0, 5, 0, 31), + (1, 0, 4, 0, 5, 0, 31), + (17, 0, 19, 0, 4, 0, 27), + (17, 0, 19, 0, 5, 0, 14), + (17, 0, 19, 0, 5, 0, 27), + (17, 0, 19, 0, 4, 0, 29), (17, 0, 19, 0, 4, 0, 1), - (20, 0, 19, 0, 4, 0, 34), - (19, 0, 19, 0, 4, 0, 34), - (22, 0, 19, 0, 5, 0, 31), - (20, 0, 19, 0, 5, 0, 34), - (21, 0, 19, 0, 4, 0, 2), + (20, 0, 19, 0, 4, 0, 13), + (19, 0, 19, 0, 4, 0, 13), + (22, 0, 19, 0, 5, 0, 10), + (20, 0, 19, 0, 5, 0, 13), (21, 0, 19, 0, 4, 0, 22), - (21, 0, 19, 0, 4, 0, 4), - (27, 0, 18, 0, 5, 0, 6), - (28, 0, 16, 0, 5, 0, 6), - (1, 0, 2, 0, 5, 0, 10), - (1, 0, 6, 0, 5, 0, 10), - (1, 0, 8, 0, 5, 0, 10), - (1, 0, 3, 0, 5, 0, 10), - (1, 0, 7, 0, 5, 0, 10), - (21, 0, 11, 0, 4, 0, 32), - (21, 0, 11, 0, 5, 0, 32), - (21, 0, 19, 0, 4, 0, 32), - (21, 0, 19, 0, 5, 0, 32), - (21, 0, 19, 0, 5, 0, 29), - (16, 0, 19, 0, 5, 0, 2), - (25, 0, 13, 0, 5, 0, 23), - (22, 0, 19, 1, 5, 0, 31), - (18, 0, 19, 1, 5, 0, 9), - (25, 0, 19, 0, 5, 0, 2), - (1, 0, 15, 0, 5, 0, 40), - (1, 0, 15, 0, 5, 0, 2), - (1, 0, 20, 0, 5, 0, 10), - (1, 0, 21, 0, 5, 0, 10), - (1, 0, 22, 0, 5, 0, 10), - (1, 0, 23, 0, 5, 0, 10), - (1, 0, 15, 0, 5, 0, 10), - (15, 0, 9, 0, 5, 0, 2), - (25, 0, 10, 0, 5, 0, 2), + (21, 0, 19, 0, 4, 0, 25), + (21, 0, 19, 0, 4, 0, 27), + (27, 0, 18, 0, 5, 0, 2), + (28, 0, 16, 0, 5, 0, 2), + (1, 0, 2, 0, 5, 0, 31), + (1, 0, 6, 0, 5, 0, 31), + (1, 0, 8, 0, 5, 0, 31), + (1, 0, 3, 0, 5, 0, 31), + (1, 0, 7, 0, 5, 0, 31), + (21, 0, 11, 0, 4, 0, 20), + (21, 0, 11, 0, 5, 0, 20), + (21, 0, 19, 0, 4, 0, 20), + (21, 0, 19, 0, 5, 0, 20), + (21, 0, 19, 0, 5, 0, 15), + (16, 0, 19, 0, 5, 0, 22), + (25, 0, 13, 0, 5, 0, 18), + (22, 0, 19, 1, 5, 0, 10), + (18, 0, 19, 1, 5, 0, 11), + (25, 0, 19, 0, 5, 0, 22), + (1, 0, 15, 0, 5, 0, 32), + (1, 0, 15, 0, 5, 0, 22), + (1, 0, 20, 0, 5, 0, 31), + (1, 0, 21, 0, 5, 0, 31), + (1, 0, 22, 0, 5, 0, 31), + (1, 0, 23, 0, 5, 0, 31), + (1, 0, 15, 0, 5, 0, 31), + (15, 0, 9, 0, 5, 0, 22), + (25, 0, 10, 0, 5, 0, 22), (6, 0, 1, 0, 4, 72, 1), - (23, 0, 11, 0, 5, 0, 32), - (23, 0, 11, 0, 1, 0, 33), - (9, 0, 1, 0, 5, 0, 2), - (26, 0, 19, 0, 4, 0, 32), + (23, 0, 11, 0, 5, 0, 20), + (23, 0, 11, 0, 1, 0, 19), + (9, 0, 1, 0, 5, 0, 22), + (26, 0, 19, 0, 4, 0, 20), (26, 0, 19, 0, 4, 0, 1), (5, 0, 1, 0, 4, 0, 1), - (26, 0, 19, 0, 4, 0, 33), + (26, 0, 19, 0, 4, 0, 19), (9, 0, 1, 0, 4, 72, 1), - (26, 0, 11, 0, 5, 0, 2), - (25, 0, 19, 1, 5, 0, 2), - (15, 0, 19, 0, 5, 0, 2), - (15, 0, 19, 0, 4, 0, 2), + (26, 0, 11, 0, 5, 0, 22), + (25, 0, 19, 1, 5, 0, 22), + (15, 0, 19, 0, 5, 0, 22), + (15, 0, 19, 0, 4, 0, 22), (15, 0, 19, 0, 5, 0, 1), (14, 0, 1, 0, 4, 72, 1), - (14, 0, 1, 0, 5, 72, 2), + (14, 0, 1, 0, 5, 72, 22), (25, 0, 19, 1, 4, 0, 1), - (25, 0, 10, 0, 5, 0, 33), - (25, 0, 11, 0, 5, 0, 33), - (25, 0, 19, 0, 5, 0, 22), - (26, 0, 19, 0, 2, 0, 21), - (22, 0, 19, 1, 2, 0, 31), - (18, 0, 19, 1, 2, 0, 9), - (26, 0, 19, 0, 2, 0, 2), - (26, 0, 19, 0, 5, 0, 21), + (25, 0, 10, 0, 5, 0, 19), + (25, 0, 11, 0, 5, 0, 19), + (25, 0, 19, 0, 5, 0, 25), + (26, 0, 19, 0, 2, 0, 24), + (22, 0, 19, 1, 2, 0, 10), + (18, 0, 19, 1, 2, 0, 11), + (26, 0, 19, 0, 2, 0, 22), + (26, 0, 19, 0, 5, 0, 24), (26, 0, 1, 0, 4, 0, 1), (26, 0, 19, 0, 5, 0, 1), - (25, 0, 19, 0, 2, 0, 2), - (26, 0, 19, 0, 4, 0, 21), - (26, 0, 19, 0, 5, 0, 13), - (26, 0, 19, 0, 4, 0, 13), - (26, 0, 19, 0, 2, 0, 13), + (25, 0, 19, 0, 2, 0, 22), + (26, 0, 19, 0, 4, 0, 24), + (26, 0, 19, 0, 5, 0, 39), + (26, 0, 19, 0, 4, 0, 39), + (26, 0, 19, 0, 2, 0, 39), (26, 0, 19, 0, 2, 0, 1), - (26, 0, 19, 0, 5, 0, 34), - (26, 0, 19, 0, 5, 0, 15), - (26, 0, 1, 0, 5, 18, 2), - (26, 0, 19, 1, 5, 0, 2), - (9, 0, 1, 0, 5, 41, 2), - (5, 0, 1, 0, 5, 41, 2), - (26, 0, 19, 0, 5, 27, 2), - (12, 230, 14, 0, 5, 27, 10), - (21, 0, 19, 0, 5, 27, 15), - (21, 0, 19, 0, 5, 27, 4), - (15, 0, 19, 0, 5, 27, 2), - (7, 0, 1, 0, 5, 146, 2), - (6, 0, 1, 0, 5, 146, 2), - (21, 0, 1, 0, 5, 146, 4), - (12, 9, 14, 0, 5, 146, 10), - (21, 0, 19, 0, 5, 0, 34), - (21, 0, 19, 0, 5, 0, 31), - (17, 0, 19, 0, 5, 0, 2), - (17, 0, 19, 0, 5, 0, 3), - (26, 0, 19, 0, 2, 50, 21), - (29, 0, 18, 0, 0, 0, 4), - (21, 0, 19, 0, 2, 0, 9), - (21, 0, 19, 0, 2, 0, 21), - (6, 0, 1, 0, 2, 50, 29), - (7, 0, 1, 0, 2, 0, 21), - (14, 0, 1, 0, 2, 50, 21), - (17, 0, 19, 0, 2, 0, 29), - (22, 0, 19, 0, 2, 0, 31), - (18, 0, 19, 0, 2, 0, 9), - (12, 218, 14, 0, 2, 1, 10), - (12, 228, 14, 0, 2, 1, 10), - (12, 232, 14, 0, 2, 1, 10), - (12, 222, 14, 0, 2, 1, 10), - (10, 224, 1, 0, 2, 49, 10), - (17, 0, 19, 0, 2, 0, 21), - (6, 0, 1, 0, 2, 0, 21), - (6, 0, 1, 0, 2, 0, 10), - (7, 0, 1, 0, 2, 0, 29), - (7, 0, 1, 0, 2, 54, 8), - (7, 0, 1, 0, 2, 54, 21), - (12, 8, 14, 0, 2, 1, 10), - (24, 0, 19, 0, 2, 0, 29), - (6, 0, 1, 0, 2, 54, 29), - (7, 0, 1, 0, 2, 62, 8), - (7, 0, 1, 0, 2, 62, 21), - (21, 0, 19, 0, 2, 0, 29), - (6, 0, 1, 0, 2, 0, 8), - (6, 0, 1, 0, 2, 62, 29), - (7, 0, 1, 0, 2, 16, 21), - (7, 0, 1, 0, 2, 49, 21), - (26, 0, 1, 0, 2, 0, 21), - (15, 0, 1, 0, 2, 0, 21), - (26, 0, 1, 0, 2, 49, 21), - (26, 0, 19, 0, 2, 49, 21), - (15, 0, 1, 0, 4, 0, 1), - (15, 0, 19, 0, 2, 0, 21), - (26, 0, 1, 0, 2, 62, 21), - (7, 0, 1, 0, 2, 50, 21), - (7, 0, 1, 0, 2, 162, 21), - (6, 0, 1, 0, 2, 162, 29), - (26, 0, 19, 0, 2, 162, 21), - (7, 0, 1, 0, 5, 77, 2), - (6, 0, 1, 0, 5, 77, 2), - (21, 0, 1, 0, 5, 77, 4), - (7, 0, 1, 0, 5, 155, 2), - (6, 0, 1, 0, 5, 155, 2), - (21, 0, 19, 0, 5, 155, 4), - (21, 0, 19, 0, 5, 155, 15), - (13, 0, 1, 0, 5, 155, 30), - (7, 0, 1, 0, 5, 30, 2), - (21, 0, 19, 0, 5, 30, 2), - (6, 0, 19, 0, 5, 30, 2), - (7, 0, 1, 0, 5, 11, 2), - (14, 0, 1, 0, 5, 11, 2), - (12, 230, 14, 0, 5, 11, 10), - (21, 0, 1, 0, 5, 11, 2), - (21, 0, 1, 0, 5, 11, 4), - (24, 0, 1, 0, 5, 0, 2), - (7, 0, 1, 0, 5, 136, 2), - (12, 0, 14, 0, 5, 136, 10), - (12, 9, 14, 0, 5, 136, 10), - (10, 0, 1, 0, 5, 136, 10), - (26, 0, 19, 0, 5, 136, 2), - (15, 0, 1, 0, 5, 0, 2), - (7, 0, 1, 0, 5, 113, 2), - (21, 0, 19, 0, 5, 113, 5), - (21, 0, 19, 0, 5, 113, 15), - (10, 0, 1, 0, 5, 124, 10), - (7, 0, 1, 0, 5, 124, 2), - (12, 9, 14, 0, 5, 124, 10), - (12, 0, 14, 0, 5, 124, 10), - (21, 0, 1, 0, 5, 124, 4), - (13, 0, 1, 0, 5, 124, 30), - (12, 230, 14, 0, 5, 31, 10), - (21, 0, 1, 0, 5, 31, 5), - (13, 0, 1, 0, 5, 61, 30), - (7, 0, 1, 0, 5, 61, 2), - (12, 0, 14, 0, 5, 61, 10), - (12, 220, 14, 0, 5, 61, 10), - (21, 0, 1, 0, 5, 61, 4), - (7, 0, 1, 0, 5, 119, 2), - (12, 0, 14, 0, 5, 119, 10), - (10, 0, 1, 0, 5, 119, 10), - (10, 9, 1, 0, 5, 119, 10), - (21, 0, 1, 0, 5, 119, 2), - (12, 0, 14, 0, 5, 60, 10), - (10, 0, 1, 0, 5, 60, 10), - (7, 0, 1, 0, 5, 60, 2), - (12, 7, 14, 0, 5, 60, 10), - (10, 9, 1, 0, 5, 60, 10), - (21, 0, 1, 0, 5, 60, 2), - (21, 0, 1, 0, 5, 60, 4), - (13, 0, 1, 0, 5, 60, 30), - (6, 0, 1, 0, 5, 95, 36), - (7, 0, 1, 0, 5, 24, 2), - (12, 0, 14, 0, 5, 24, 10), - (10, 0, 1, 0, 5, 24, 10), - (13, 0, 1, 0, 5, 24, 30), - (21, 0, 1, 0, 5, 24, 2), - (21, 0, 1, 0, 5, 24, 4), - (7, 0, 1, 0, 5, 144, 36), - (12, 230, 14, 0, 5, 144, 36), - (12, 220, 14, 0, 5, 144, 36), - (6, 0, 1, 0, 5, 144, 36), - (21, 0, 1, 0, 5, 144, 36), - (7, 0, 1, 0, 5, 93, 2), - (10, 0, 1, 0, 5, 93, 10), - (12, 0, 14, 0, 5, 93, 10), - (21, 0, 1, 0, 5, 93, 4), - (6, 0, 1, 0, 5, 93, 2), - (12, 9, 14, 0, 5, 93, 10), - (13, 0, 1, 0, 5, 93, 30), - (7, 0, 1, 0, 2, 49, 17), - (7, 0, 1, 0, 2, 49, 18), - (4, 0, 1, 0, 5, 2, 37), - (3, 0, 1, 0, 4, 2, 0), - (12, 26, 14, 0, 5, 53, 10), - (25, 0, 10, 0, 5, 53, 2), - (24, 0, 5, 0, 5, 6, 2), - (18, 0, 19, 0, 5, 0, 9), - (12, 0, 14, 0, 4, 1, 10), - (21, 0, 19, 0, 2, 0, 23), + (26, 0, 19, 0, 5, 0, 13), + (26, 0, 19, 0, 5, 0, 16), + (26, 0, 1, 0, 5, 18, 22), + (26, 0, 19, 1, 5, 0, 22), + (9, 0, 1, 0, 5, 41, 22), + (5, 0, 1, 0, 5, 41, 22), + (26, 0, 19, 0, 5, 27, 22), + (12, 230, 14, 0, 5, 27, 31), + (21, 0, 19, 0, 5, 27, 16), + (21, 0, 19, 0, 5, 27, 27), + (15, 0, 19, 0, 5, 27, 22), + (7, 0, 1, 0, 5, 146, 22), + (6, 0, 1, 0, 5, 146, 22), + (21, 0, 1, 0, 5, 146, 27), + (12, 9, 14, 0, 5, 146, 31), + (21, 0, 19, 0, 5, 0, 13), + (21, 0, 19, 0, 5, 0, 10), + (17, 0, 19, 0, 5, 0, 22), + (17, 0, 19, 0, 5, 0, 29), + (26, 0, 19, 0, 2, 50, 24), + (29, 0, 18, 0, 0, 0, 27), + (21, 0, 19, 0, 2, 0, 11), + (21, 0, 19, 0, 2, 0, 24), + (6, 0, 1, 0, 2, 50, 15), + (7, 0, 1, 0, 2, 0, 24), + (14, 0, 1, 0, 2, 50, 24), + (17, 0, 19, 0, 2, 0, 15), + (22, 0, 19, 0, 2, 0, 10), + (18, 0, 19, 0, 2, 0, 11), + (12, 218, 14, 0, 2, 1, 31), + (12, 228, 14, 0, 2, 1, 31), + (12, 232, 14, 0, 2, 1, 31), + (12, 222, 14, 0, 2, 1, 31), + (10, 224, 1, 0, 2, 49, 31), + (17, 0, 19, 0, 2, 0, 24), + (6, 0, 1, 0, 2, 0, 24), + (6, 0, 1, 0, 2, 0, 31), + (7, 0, 1, 0, 2, 0, 15), + (7, 0, 1, 0, 2, 54, 3), + (7, 0, 1, 0, 2, 54, 24), + (12, 8, 14, 0, 2, 1, 31), + (24, 0, 19, 0, 2, 0, 15), + (6, 0, 1, 0, 2, 54, 15), + (7, 0, 1, 0, 2, 62, 3), + (7, 0, 1, 0, 2, 62, 24), (21, 0, 19, 0, 2, 0, 15), - (21, 0, 19, 0, 2, 0, 22), - (16, 0, 19, 0, 2, 0, 21), - (21, 0, 13, 0, 2, 0, 9), - (21, 0, 13, 0, 2, 0, 29), - (21, 0, 11, 0, 2, 0, 21), - (25, 0, 10, 0, 2, 0, 21), - (17, 0, 10, 0, 2, 0, 21), - (25, 0, 19, 1, 2, 0, 21), - (25, 0, 19, 0, 2, 0, 21), - (23, 0, 11, 0, 2, 0, 33), - (21, 0, 11, 0, 2, 0, 32), + (6, 0, 1, 0, 2, 0, 3), + (6, 0, 1, 0, 2, 62, 15), + (7, 0, 1, 0, 2, 16, 24), + (7, 0, 1, 0, 2, 49, 24), + (26, 0, 1, 0, 2, 0, 24), + (15, 0, 1, 0, 2, 0, 24), + (26, 0, 1, 0, 2, 49, 24), + (26, 0, 19, 0, 2, 49, 24), + (15, 0, 1, 0, 4, 0, 1), + (15, 0, 19, 0, 2, 0, 24), + (26, 0, 1, 0, 2, 62, 24), + (7, 0, 1, 0, 2, 50, 24), + (7, 0, 1, 0, 2, 162, 24), + (6, 0, 1, 0, 2, 162, 15), + (26, 0, 19, 0, 2, 162, 24), + (7, 0, 1, 0, 5, 77, 22), + (6, 0, 1, 0, 5, 77, 22), + (21, 0, 1, 0, 5, 77, 27), + (7, 0, 1, 0, 5, 155, 22), + (6, 0, 1, 0, 5, 155, 22), + (21, 0, 19, 0, 5, 155, 27), + (21, 0, 19, 0, 5, 155, 16), + (13, 0, 1, 0, 5, 155, 21), + (7, 0, 1, 0, 5, 30, 22), + (21, 0, 19, 0, 5, 30, 22), + (6, 0, 19, 0, 5, 30, 22), + (7, 0, 1, 0, 5, 11, 22), + (14, 0, 1, 0, 5, 11, 22), + (12, 230, 14, 0, 5, 11, 31), + (21, 0, 1, 0, 5, 11, 22), + (21, 0, 1, 0, 5, 11, 27), + (24, 0, 1, 0, 5, 0, 22), + (7, 0, 1, 0, 5, 136, 22), + (12, 0, 14, 0, 5, 136, 31), + (12, 9, 14, 0, 5, 136, 31), + (10, 0, 1, 0, 5, 136, 31), + (26, 0, 19, 0, 5, 136, 22), + (15, 0, 1, 0, 5, 0, 22), + (7, 0, 1, 0, 5, 113, 22), + (21, 0, 19, 0, 5, 113, 28), + (21, 0, 19, 0, 5, 113, 16), + (10, 0, 1, 0, 5, 124, 31), + (7, 0, 1, 0, 5, 124, 22), + (12, 9, 14, 0, 5, 124, 31), + (12, 0, 14, 0, 5, 124, 31), + (21, 0, 1, 0, 5, 124, 27), + (13, 0, 1, 0, 5, 124, 21), + (12, 230, 14, 0, 5, 31, 31), + (21, 0, 1, 0, 5, 31, 28), + (13, 0, 1, 0, 5, 61, 21), + (7, 0, 1, 0, 5, 61, 22), + (12, 0, 14, 0, 5, 61, 31), + (12, 220, 14, 0, 5, 61, 31), + (21, 0, 1, 0, 5, 61, 27), + (7, 0, 1, 0, 5, 119, 22), + (12, 0, 14, 0, 5, 119, 31), + (10, 0, 1, 0, 5, 119, 31), + (10, 9, 1, 0, 5, 119, 31), + (21, 0, 1, 0, 5, 119, 22), + (12, 0, 14, 0, 5, 60, 31), + (10, 0, 1, 0, 5, 60, 31), + (7, 0, 1, 0, 5, 60, 22), + (12, 7, 14, 0, 5, 60, 31), + (10, 9, 1, 0, 5, 60, 31), + (21, 0, 1, 0, 5, 60, 22), + (21, 0, 1, 0, 5, 60, 27), + (13, 0, 1, 0, 5, 60, 21), + (6, 0, 1, 0, 5, 95, 7), + (7, 0, 1, 0, 5, 24, 22), + (12, 0, 14, 0, 5, 24, 31), + (10, 0, 1, 0, 5, 24, 31), + (13, 0, 1, 0, 5, 24, 21), + (21, 0, 1, 0, 5, 24, 22), + (21, 0, 1, 0, 5, 24, 27), + (7, 0, 1, 0, 5, 144, 7), + (12, 230, 14, 0, 5, 144, 7), + (12, 220, 14, 0, 5, 144, 7), + (6, 0, 1, 0, 5, 144, 7), + (21, 0, 1, 0, 5, 144, 7), + (7, 0, 1, 0, 5, 93, 22), + (10, 0, 1, 0, 5, 93, 31), + (12, 0, 14, 0, 5, 93, 31), + (21, 0, 1, 0, 5, 93, 27), + (6, 0, 1, 0, 5, 93, 22), + (12, 9, 14, 0, 5, 93, 31), + (13, 0, 1, 0, 5, 93, 21), + (7, 0, 1, 0, 2, 49, 33), + (7, 0, 1, 0, 2, 49, 34), + (4, 0, 1, 0, 5, 2, 8), + (3, 0, 1, 0, 4, 2, 0), + (12, 26, 14, 0, 5, 53, 31), + (25, 0, 10, 0, 5, 53, 22), + (24, 0, 5, 0, 5, 6, 22), + (18, 0, 19, 0, 5, 0, 11), + (12, 0, 14, 0, 4, 1, 31), + (21, 0, 19, 0, 2, 0, 18), + (21, 0, 19, 0, 2, 0, 16), + (21, 0, 19, 0, 2, 0, 25), + (16, 0, 19, 0, 2, 0, 24), + (21, 0, 13, 0, 2, 0, 11), + (21, 0, 13, 0, 2, 0, 15), + (21, 0, 11, 0, 2, 0, 24), + (25, 0, 10, 0, 2, 0, 24), + (17, 0, 10, 0, 2, 0, 24), + (25, 0, 19, 1, 2, 0, 24), + (25, 0, 19, 0, 2, 0, 24), + (23, 0, 11, 0, 2, 0, 19), + (21, 0, 11, 0, 2, 0, 20), + (21, 0, 19, 0, 0, 0, 16), + (21, 0, 19, 0, 0, 0, 24), + (21, 0, 11, 0, 0, 0, 24), + (23, 0, 11, 0, 0, 0, 19), + (21, 0, 11, 0, 0, 0, 20), + (22, 0, 19, 1, 0, 0, 10), + (18, 0, 19, 1, 0, 0, 11), + (25, 0, 10, 0, 0, 0, 24), + (21, 0, 13, 0, 0, 0, 11), + (17, 0, 10, 0, 0, 0, 24), + (21, 0, 13, 0, 0, 0, 24), + (13, 0, 9, 0, 0, 0, 24), + (21, 0, 13, 0, 0, 0, 15), (21, 0, 19, 0, 0, 0, 15), - (21, 0, 19, 0, 0, 0, 21), - (21, 0, 11, 0, 0, 0, 21), - (23, 0, 11, 0, 0, 0, 33), - (21, 0, 11, 0, 0, 0, 32), - (22, 0, 19, 1, 0, 0, 31), - (18, 0, 19, 1, 0, 0, 9), - (25, 0, 10, 0, 0, 0, 21), - (21, 0, 13, 0, 0, 0, 9), - (17, 0, 10, 0, 0, 0, 21), - (21, 0, 13, 0, 0, 0, 21), - (13, 0, 9, 0, 0, 0, 21), - (21, 0, 13, 0, 0, 0, 29), - (21, 0, 19, 0, 0, 0, 29), - (25, 0, 19, 1, 0, 0, 21), - (25, 0, 19, 0, 0, 0, 21), - (9, 0, 1, 0, 0, 72, 21), - (24, 0, 19, 0, 0, 0, 21), - (16, 0, 19, 0, 0, 0, 21), - (5, 0, 1, 0, 0, 72, 21), - (21, 0, 19, 0, 1, 0, 9), - (22, 0, 19, 1, 1, 0, 31), - (18, 0, 19, 1, 1, 0, 9), - (21, 0, 19, 0, 1, 0, 29), - (7, 0, 1, 0, 1, 62, 21), - (7, 0, 1, 0, 1, 62, 8), - (6, 0, 1, 0, 1, 0, 8), - (6, 0, 1, 0, 1, 0, 29), - (7, 0, 1, 0, 1, 49, 21), - (23, 0, 11, 0, 0, 0, 32), - (26, 0, 19, 0, 0, 0, 21), - (26, 0, 19, 0, 1, 0, 2), - (25, 0, 19, 0, 1, 0, 2), - (1, 0, 19, 0, 5, 0, 10), - (26, 0, 19, 0, 5, 0, 7), - (7, 0, 1, 0, 5, 76, 2), - (14, 0, 19, 0, 5, 46, 2), - (15, 0, 19, 0, 5, 46, 2), - (26, 0, 19, 0, 5, 46, 2), - (26, 0, 1, 0, 5, 46, 2), - (7, 0, 1, 0, 5, 78, 2), - (7, 0, 1, 0, 5, 23, 2), - (7, 0, 1, 0, 5, 59, 2), - (15, 0, 1, 0, 5, 59, 2), - (7, 0, 1, 0, 5, 44, 2), - (14, 0, 1, 0, 5, 44, 2), - (7, 0, 1, 0, 5, 112, 2), - (12, 230, 14, 0, 5, 112, 10), - (7, 0, 1, 0, 5, 154, 2), - (21, 0, 1, 0, 5, 154, 4), - (7, 0, 1, 0, 5, 159, 2), - (21, 0, 1, 0, 5, 159, 4), - (14, 0, 1, 0, 5, 159, 2), - (9, 0, 1, 0, 5, 34, 2), - (5, 0, 1, 0, 5, 34, 2), - (7, 0, 1, 0, 5, 126, 2), - (7, 0, 1, 0, 5, 108, 2), - (13, 0, 1, 0, 5, 108, 30), - (9, 0, 1, 0, 5, 107, 2), - (5, 0, 1, 0, 5, 107, 2), - (7, 0, 1, 0, 5, 37, 2), - (7, 0, 1, 0, 5, 4, 2), - (21, 0, 1, 0, 5, 4, 2), - (7, 0, 1, 0, 5, 75, 2), - (7, 0, 4, 0, 5, 29, 2), - (7, 0, 4, 0, 5, 7, 2), - (21, 0, 4, 0, 5, 7, 4), - (15, 0, 4, 0, 5, 7, 2), - (7, 0, 4, 0, 5, 110, 2), - (26, 0, 4, 0, 5, 110, 2), - (15, 0, 4, 0, 5, 110, 2), - (7, 0, 4, 0, 5, 99, 2), - (15, 0, 4, 0, 5, 99, 2), - (7, 0, 4, 0, 5, 52, 2), - (15, 0, 4, 0, 5, 52, 2), - (7, 0, 4, 0, 5, 116, 2), - (15, 0, 4, 0, 5, 116, 2), - (21, 0, 19, 0, 5, 116, 4), - (7, 0, 4, 0, 5, 79, 2), - (21, 0, 4, 0, 5, 79, 2), - (7, 0, 4, 0, 5, 88, 2), - (7, 0, 4, 0, 5, 87, 2), - (15, 0, 4, 0, 5, 87, 2), - (7, 0, 4, 0, 5, 64, 2), - (12, 0, 14, 0, 5, 64, 10), - (12, 220, 14, 0, 5, 64, 10), - (12, 230, 14, 0, 5, 64, 10), - (12, 1, 14, 0, 5, 64, 10), - (12, 9, 14, 0, 5, 64, 10), - (15, 0, 4, 0, 5, 64, 2), - (21, 0, 4, 0, 5, 64, 4), - (21, 0, 4, 0, 5, 64, 2), - (7, 0, 4, 0, 5, 123, 2), - (15, 0, 4, 0, 5, 123, 2), - (21, 0, 4, 0, 5, 123, 2), - (7, 0, 4, 0, 5, 98, 2), - (15, 0, 4, 0, 5, 98, 2), - (7, 0, 4, 0, 5, 83, 2), - (26, 0, 4, 0, 5, 83, 2), - (12, 230, 14, 0, 5, 83, 10), - (12, 220, 14, 0, 5, 83, 10), - (15, 0, 4, 0, 5, 83, 2), - (21, 0, 4, 0, 5, 83, 4), - (21, 0, 4, 0, 5, 83, 22), - (7, 0, 4, 0, 5, 9, 2), - (21, 0, 19, 0, 5, 9, 4), - (7, 0, 4, 0, 5, 118, 2), - (15, 0, 4, 0, 5, 118, 2), - (7, 0, 4, 0, 5, 114, 2), - (15, 0, 4, 0, 5, 114, 2), - (7, 0, 4, 0, 5, 115, 2), - (21, 0, 4, 0, 5, 115, 2), - (15, 0, 4, 0, 5, 115, 2), - (7, 0, 4, 0, 5, 105, 2), - (9, 0, 4, 0, 5, 58, 2), - (5, 0, 4, 0, 5, 58, 2), - (15, 0, 4, 0, 5, 58, 2), - (7, 0, 5, 0, 5, 120, 2), - (12, 230, 14, 0, 5, 120, 10), - (13, 0, 12, 0, 5, 120, 30), - (15, 0, 12, 0, 5, 6, 2), - (7, 0, 4, 0, 5, 161, 2), - (12, 230, 14, 0, 5, 161, 10), - (17, 0, 4, 0, 5, 161, 4), - (7, 0, 4, 0, 5, 132, 2), - (15, 0, 4, 0, 5, 132, 2), - (7, 0, 5, 0, 5, 131, 2), - (12, 220, 14, 0, 5, 131, 10), - (12, 230, 14, 0, 5, 131, 10), - (15, 0, 5, 0, 5, 131, 2), - (21, 0, 5, 0, 5, 131, 2), - (7, 0, 4, 0, 5, 26, 2), - (15, 0, 4, 0, 5, 26, 2), - (7, 0, 4, 0, 5, 38, 2), - (10, 0, 1, 0, 5, 17, 10), - (12, 0, 14, 0, 5, 17, 10), - (7, 0, 1, 0, 5, 17, 2), - (12, 9, 14, 0, 5, 17, 10), - (21, 0, 1, 0, 5, 17, 4), - (21, 0, 1, 0, 5, 17, 2), - (15, 0, 19, 0, 5, 17, 2), - (13, 0, 1, 0, 5, 17, 30), - (12, 0, 14, 0, 5, 69, 10), - (10, 0, 1, 0, 5, 69, 10), - (7, 0, 1, 0, 5, 69, 2), - (12, 9, 14, 0, 5, 69, 10), - (12, 7, 14, 0, 5, 69, 10), - (21, 0, 1, 0, 5, 69, 2), - (1, 0, 1, 0, 5, 69, 2), - (21, 0, 1, 0, 5, 69, 4), - (7, 0, 1, 0, 5, 133, 2), - (13, 0, 1, 0, 5, 133, 30), - (12, 230, 14, 0, 5, 21, 10), - (7, 0, 1, 0, 5, 21, 2), - (12, 0, 14, 0, 5, 21, 10), - (10, 0, 1, 0, 5, 21, 10), - (12, 9, 14, 0, 5, 21, 10), - (13, 0, 1, 0, 5, 21, 30), - (21, 0, 1, 0, 5, 21, 4), - (7, 0, 1, 0, 5, 80, 2), - (12, 7, 14, 0, 5, 80, 10), - (21, 0, 1, 0, 5, 80, 2), - (21, 0, 1, 0, 5, 80, 5), - (12, 0, 14, 0, 5, 127, 10), - (10, 0, 1, 0, 5, 127, 10), - (7, 0, 1, 0, 5, 127, 2), - (10, 9, 1, 0, 5, 127, 10), - (21, 0, 1, 0, 5, 127, 4), - (21, 0, 1, 0, 5, 127, 2), - (12, 7, 14, 0, 5, 127, 10), - (13, 0, 1, 0, 5, 127, 30), - (21, 0, 1, 0, 5, 127, 5), - (15, 0, 1, 0, 5, 130, 2), - (7, 0, 1, 0, 5, 66, 2), - (10, 0, 1, 0, 5, 66, 10), - (12, 0, 14, 0, 5, 66, 10), - (10, 9, 1, 0, 5, 66, 10), - (12, 7, 14, 0, 5, 66, 10), - (21, 0, 1, 0, 5, 66, 4), - (21, 0, 1, 0, 5, 66, 2), - (7, 0, 1, 0, 5, 94, 2), - (21, 0, 1, 0, 5, 94, 4), - (7, 0, 1, 0, 5, 129, 2), - (12, 0, 14, 0, 5, 129, 10), - (10, 0, 1, 0, 5, 129, 10), - (12, 7, 14, 0, 5, 129, 10), - (12, 9, 14, 0, 5, 129, 10), - (13, 0, 1, 0, 5, 129, 30), - (12, 0, 14, 0, 5, 45, 10), - (10, 0, 1, 0, 5, 45, 10), - (7, 0, 1, 0, 5, 45, 2), - (12, 7, 14, 0, 5, 1, 10), - (12, 7, 14, 0, 5, 45, 10), - (10, 9, 1, 0, 5, 45, 10), - (12, 230, 14, 0, 5, 45, 10), - (7, 0, 1, 0, 5, 100, 2), - (10, 0, 1, 0, 5, 100, 10), - (12, 0, 14, 0, 5, 100, 10), - (12, 9, 14, 0, 5, 100, 10), - (12, 7, 14, 0, 5, 100, 10), - (21, 0, 1, 0, 5, 100, 4), - (21, 0, 1, 0, 5, 100, 2), - (13, 0, 1, 0, 5, 100, 30), - (12, 230, 14, 0, 5, 100, 10), - (7, 0, 1, 0, 5, 151, 2), - (10, 0, 1, 0, 5, 151, 10), - (12, 0, 14, 0, 5, 151, 10), - (12, 9, 14, 0, 5, 151, 10), - (12, 7, 14, 0, 5, 151, 10), - (21, 0, 1, 0, 5, 151, 2), - (13, 0, 1, 0, 5, 151, 30), - (7, 0, 1, 0, 5, 128, 2), - (10, 0, 1, 0, 5, 128, 10), - (12, 0, 14, 0, 5, 128, 10), - (12, 9, 14, 0, 5, 128, 10), - (12, 7, 14, 0, 5, 128, 10), - (21, 0, 1, 0, 5, 128, 5), - (21, 0, 1, 0, 5, 128, 4), - (21, 0, 1, 0, 5, 128, 15), - (21, 0, 1, 0, 5, 128, 2), - (7, 0, 1, 0, 5, 90, 2), - (10, 0, 1, 0, 5, 90, 10), - (12, 0, 14, 0, 5, 90, 10), - (12, 9, 14, 0, 5, 90, 10), - (21, 0, 1, 0, 5, 90, 4), - (21, 0, 1, 0, 5, 90, 2), - (13, 0, 1, 0, 5, 90, 30), - (21, 0, 19, 0, 5, 91, 5), - (7, 0, 1, 0, 5, 139, 2), - (12, 0, 14, 0, 5, 139, 10), - (10, 0, 1, 0, 5, 139, 10), - (10, 9, 1, 0, 5, 139, 10), - (12, 7, 14, 0, 5, 139, 10), - (13, 0, 1, 0, 5, 139, 30), - (7, 0, 1, 0, 5, 5, 36), - (12, 0, 14, 0, 5, 5, 36), - (10, 0, 1, 0, 5, 5, 36), - (12, 9, 14, 0, 5, 5, 36), - (13, 0, 1, 0, 5, 5, 30), - (15, 0, 1, 0, 5, 5, 36), - (21, 0, 1, 0, 5, 5, 4), - (26, 0, 1, 0, 5, 5, 36), - (7, 0, 1, 0, 5, 33, 2), - (10, 0, 1, 0, 5, 33, 10), - (12, 0, 14, 0, 5, 33, 10), - (12, 9, 14, 0, 5, 33, 10), - (12, 7, 14, 0, 5, 33, 10), - (21, 0, 1, 0, 5, 33, 2), - (9, 0, 1, 0, 5, 157, 2), - (5, 0, 1, 0, 5, 157, 2), - (13, 0, 1, 0, 5, 157, 30), - (15, 0, 1, 0, 5, 157, 2), - (7, 0, 1, 0, 5, 157, 2), - (7, 0, 1, 0, 5, 32, 2), - (10, 0, 1, 0, 5, 32, 10), - (12, 0, 14, 0, 5, 32, 10), - (10, 9, 1, 0, 5, 32, 10), - (12, 9, 14, 0, 5, 32, 10), - (12, 7, 14, 0, 5, 32, 10), - (21, 0, 1, 0, 5, 32, 4), - (13, 0, 1, 0, 5, 32, 30), - (7, 0, 1, 0, 5, 97, 2), - (10, 0, 1, 0, 5, 97, 10), - (12, 0, 14, 0, 5, 97, 10), - (12, 9, 14, 0, 5, 97, 10), - (21, 0, 1, 0, 5, 97, 5), - (7, 0, 1, 0, 5, 163, 2), - (12, 0, 14, 0, 5, 163, 10), - (12, 0, 1, 0, 5, 163, 10), - (12, 9, 14, 0, 5, 163, 10), - (10, 0, 1, 0, 5, 163, 10), - (21, 0, 1, 0, 5, 163, 5), - (21, 0, 1, 0, 5, 163, 2), - (21, 0, 1, 0, 5, 163, 4), - (7, 0, 1, 0, 5, 134, 2), - (12, 0, 14, 0, 5, 134, 10), - (10, 0, 1, 0, 5, 134, 10), - (12, 9, 14, 0, 5, 134, 10), - (21, 0, 1, 0, 5, 134, 4), - (21, 0, 1, 0, 5, 134, 5), - (7, 0, 1, 0, 5, 111, 2), - (7, 0, 1, 0, 5, 15, 2), - (10, 0, 1, 0, 5, 15, 10), - (12, 0, 14, 0, 5, 15, 10), - (12, 9, 1, 0, 5, 15, 10), - (21, 0, 1, 0, 5, 15, 4), - (13, 0, 1, 0, 5, 15, 30), - (15, 0, 1, 0, 5, 15, 2), - (21, 0, 1, 0, 5, 84, 5), - (21, 0, 1, 0, 5, 84, 15), - (7, 0, 1, 0, 5, 84, 2), - (12, 0, 14, 0, 5, 84, 10), - (10, 0, 1, 0, 5, 84, 10), - (7, 0, 1, 0, 5, 43, 2), - (12, 0, 14, 0, 5, 43, 10), - (12, 7, 14, 0, 5, 43, 10), - (12, 9, 14, 0, 5, 43, 10), - (13, 0, 1, 0, 5, 43, 30), - (7, 0, 1, 0, 5, 42, 2), - (10, 0, 1, 0, 5, 42, 10), - (12, 0, 14, 0, 5, 42, 10), - (12, 9, 14, 0, 5, 42, 10), - (13, 0, 1, 0, 5, 42, 30), - (7, 0, 1, 0, 5, 81, 2), - (12, 0, 14, 0, 5, 81, 10), - (10, 0, 1, 0, 5, 81, 10), - (21, 0, 1, 0, 5, 81, 2), - (23, 0, 11, 0, 5, 142, 32), - (21, 0, 1, 0, 5, 142, 4), - (7, 0, 1, 0, 5, 160, 2), - (14, 0, 1, 0, 5, 160, 2), - (21, 0, 1, 0, 5, 160, 4), - (7, 0, 1, 0, 5, 36, 2), - (7, 0, 1, 0, 5, 36, 31), - (7, 0, 1, 0, 5, 36, 9), - (1, 0, 1, 0, 5, 36, 16), - (1, 0, 1, 0, 5, 36, 31), - (1, 0, 1, 0, 5, 36, 9), - (7, 0, 1, 0, 5, 55, 2), - (7, 0, 1, 0, 5, 55, 31), - (7, 0, 1, 0, 5, 55, 9), - (7, 0, 1, 0, 5, 92, 2), - (13, 0, 1, 0, 5, 92, 30), - (21, 0, 1, 0, 5, 92, 4), - (7, 0, 1, 0, 5, 12, 2), - (12, 1, 14, 0, 5, 12, 10), - (21, 0, 1, 0, 5, 12, 4), - (7, 0, 1, 0, 5, 56, 2), - (12, 230, 14, 0, 5, 56, 10), - (21, 0, 1, 0, 5, 56, 4), - (21, 0, 1, 0, 5, 56, 2), - (26, 0, 1, 0, 5, 56, 2), - (6, 0, 1, 0, 5, 56, 2), - (13, 0, 1, 0, 5, 56, 30), - (15, 0, 1, 0, 5, 56, 2), - (9, 0, 1, 0, 5, 85, 2), - (5, 0, 1, 0, 5, 85, 2), - (15, 0, 1, 0, 5, 85, 2), - (21, 0, 1, 0, 5, 85, 4), - (21, 0, 1, 0, 5, 85, 2), - (7, 0, 1, 0, 5, 117, 2), - (12, 0, 14, 0, 5, 117, 10), - (10, 0, 1, 0, 5, 117, 10), - (6, 0, 1, 0, 5, 117, 2), - (6, 0, 1, 0, 2, 143, 29), - (6, 0, 1, 0, 2, 102, 29), - (6, 0, 1, 0, 2, 0, 29), - (12, 0, 14, 0, 2, 67, 16), - (10, 6, 1, 0, 2, 50, 10), - (7, 0, 1, 0, 2, 143, 21), - (7, 0, 1, 0, 2, 67, 2), - (7, 0, 1, 0, 2, 102, 21), - (7, 0, 1, 0, 5, 35, 2), - (26, 0, 1, 0, 5, 35, 2), - (12, 0, 14, 0, 5, 35, 10), - (12, 1, 14, 0, 5, 35, 10), - (21, 0, 1, 0, 5, 35, 4), - (10, 216, 1, 0, 5, 0, 10), - (10, 226, 1, 0, 5, 0, 10), - (12, 230, 14, 0, 5, 46, 10), - (25, 0, 1, 0, 5, 0, 2), - (13, 0, 9, 0, 5, 0, 30), - (26, 0, 1, 0, 5, 125, 2), - (12, 0, 14, 0, 5, 125, 10), - (21, 0, 1, 0, 5, 125, 4), - (21, 0, 1, 0, 5, 125, 2), - (12, 230, 14, 0, 5, 41, 10), - (7, 0, 1, 0, 5, 57, 2), - (12, 230, 14, 0, 5, 57, 10), - (6, 0, 1, 0, 5, 57, 2), - (13, 0, 1, 0, 5, 57, 30), - (26, 0, 1, 0, 5, 57, 2), - (7, 0, 1, 0, 5, 158, 2), - (12, 230, 14, 0, 5, 158, 10), - (13, 0, 1, 0, 5, 158, 30), - (23, 0, 11, 0, 5, 158, 33), - (7, 0, 4, 0, 5, 86, 2), - (15, 0, 4, 0, 5, 86, 2), - (12, 220, 14, 0, 5, 86, 10), - (9, 0, 4, 0, 5, 3, 2), - (5, 0, 4, 0, 5, 3, 2), - (12, 230, 14, 0, 5, 3, 10), - (12, 7, 14, 0, 5, 3, 10), - (6, 0, 4, 0, 5, 3, 2), - (13, 0, 4, 0, 5, 3, 30), - (21, 0, 4, 0, 5, 3, 31), - (15, 0, 5, 0, 5, 0, 2), - (26, 0, 5, 0, 5, 0, 32), - (23, 0, 5, 0, 5, 0, 32), - (26, 0, 5, 0, 5, 0, 2), + (25, 0, 19, 1, 0, 0, 24), + (25, 0, 19, 0, 0, 0, 24), + (9, 0, 1, 0, 0, 72, 24), + (24, 0, 19, 0, 0, 0, 24), + (16, 0, 19, 0, 0, 0, 24), + (5, 0, 1, 0, 0, 72, 24), + (21, 0, 19, 0, 1, 0, 11), + (22, 0, 19, 1, 1, 0, 10), + (18, 0, 19, 1, 1, 0, 11), + (21, 0, 19, 0, 1, 0, 15), + (7, 0, 1, 0, 1, 62, 24), + (7, 0, 1, 0, 1, 62, 3), + (6, 0, 1, 0, 1, 0, 3), + (6, 0, 1, 0, 1, 0, 15), + (7, 0, 1, 0, 1, 49, 24), + (23, 0, 11, 0, 0, 0, 20), + (26, 0, 19, 0, 0, 0, 24), + (26, 0, 19, 0, 1, 0, 22), + (25, 0, 19, 0, 1, 0, 22), + (1, 0, 19, 0, 5, 0, 31), + (26, 0, 19, 0, 5, 0, 42), + (7, 0, 1, 0, 5, 76, 22), + (14, 0, 19, 0, 5, 46, 22), + (15, 0, 19, 0, 5, 46, 22), + (26, 0, 19, 0, 5, 46, 22), + (26, 0, 1, 0, 5, 46, 22), + (7, 0, 1, 0, 5, 78, 22), + (7, 0, 1, 0, 5, 23, 22), + (7, 0, 1, 0, 5, 59, 22), + (15, 0, 1, 0, 5, 59, 22), + (7, 0, 1, 0, 5, 44, 22), + (14, 0, 1, 0, 5, 44, 22), + (7, 0, 1, 0, 5, 112, 22), + (12, 230, 14, 0, 5, 112, 31), + (7, 0, 1, 0, 5, 154, 22), + (21, 0, 1, 0, 5, 154, 27), + (7, 0, 1, 0, 5, 159, 22), + (21, 0, 1, 0, 5, 159, 27), + (14, 0, 1, 0, 5, 159, 22), + (9, 0, 1, 0, 5, 34, 22), + (5, 0, 1, 0, 5, 34, 22), + (7, 0, 1, 0, 5, 126, 22), + (7, 0, 1, 0, 5, 108, 22), + (13, 0, 1, 0, 5, 108, 21), + (9, 0, 1, 0, 5, 107, 22), + (5, 0, 1, 0, 5, 107, 22), + (7, 0, 1, 0, 5, 37, 22), + (7, 0, 1, 0, 5, 4, 22), + (21, 0, 1, 0, 5, 4, 22), + (7, 0, 1, 0, 5, 75, 22), + (7, 0, 4, 0, 5, 29, 22), + (7, 0, 4, 0, 5, 7, 22), + (21, 0, 4, 0, 5, 7, 27), + (15, 0, 4, 0, 5, 7, 22), + (7, 0, 4, 0, 5, 110, 22), + (26, 0, 4, 0, 5, 110, 22), + (15, 0, 4, 0, 5, 110, 22), + (7, 0, 4, 0, 5, 99, 22), + (15, 0, 4, 0, 5, 99, 22), + (7, 0, 4, 0, 5, 52, 22), + (15, 0, 4, 0, 5, 52, 22), + (7, 0, 4, 0, 5, 116, 22), + (15, 0, 4, 0, 5, 116, 22), + (21, 0, 19, 0, 5, 116, 27), + (7, 0, 4, 0, 5, 79, 22), + (21, 0, 4, 0, 5, 79, 22), + (7, 0, 4, 0, 5, 88, 22), + (7, 0, 4, 0, 5, 87, 22), + (15, 0, 4, 0, 5, 87, 22), + (7, 0, 4, 0, 5, 64, 22), + (12, 0, 14, 0, 5, 64, 31), + (12, 220, 14, 0, 5, 64, 31), + (12, 230, 14, 0, 5, 64, 31), + (12, 1, 14, 0, 5, 64, 31), + (12, 9, 14, 0, 5, 64, 31), + (15, 0, 4, 0, 5, 64, 22), + (21, 0, 4, 0, 5, 64, 27), + (21, 0, 4, 0, 5, 64, 22), + (7, 0, 4, 0, 5, 123, 22), + (15, 0, 4, 0, 5, 123, 22), + (21, 0, 4, 0, 5, 123, 22), + (7, 0, 4, 0, 5, 98, 22), + (15, 0, 4, 0, 5, 98, 22), + (7, 0, 4, 0, 5, 83, 22), + (26, 0, 4, 0, 5, 83, 22), + (12, 230, 14, 0, 5, 83, 31), + (12, 220, 14, 0, 5, 83, 31), + (15, 0, 4, 0, 5, 83, 22), + (21, 0, 4, 0, 5, 83, 27), + (21, 0, 4, 0, 5, 83, 25), + (7, 0, 4, 0, 5, 9, 22), + (21, 0, 19, 0, 5, 9, 27), + (7, 0, 4, 0, 5, 118, 22), + (15, 0, 4, 0, 5, 118, 22), + (7, 0, 4, 0, 5, 114, 22), + (15, 0, 4, 0, 5, 114, 22), + (7, 0, 4, 0, 5, 115, 22), + (21, 0, 4, 0, 5, 115, 22), + (15, 0, 4, 0, 5, 115, 22), + (7, 0, 4, 0, 5, 105, 22), + (9, 0, 4, 0, 5, 58, 22), + (5, 0, 4, 0, 5, 58, 22), + (15, 0, 4, 0, 5, 58, 22), + (7, 0, 5, 0, 5, 120, 22), + (12, 230, 14, 0, 5, 120, 31), + (13, 0, 12, 0, 5, 120, 21), + (15, 0, 12, 0, 5, 6, 22), + (7, 0, 4, 0, 5, 161, 22), + (12, 230, 14, 0, 5, 161, 31), + (17, 0, 4, 0, 5, 161, 27), + (7, 0, 4, 0, 5, 132, 22), + (15, 0, 4, 0, 5, 132, 22), + (7, 0, 5, 0, 5, 131, 22), + (12, 220, 14, 0, 5, 131, 31), + (12, 230, 14, 0, 5, 131, 31), + (15, 0, 5, 0, 5, 131, 22), + (21, 0, 5, 0, 5, 131, 22), + (7, 0, 4, 0, 5, 26, 22), + (15, 0, 4, 0, 5, 26, 22), + (7, 0, 4, 0, 5, 38, 22), + (10, 0, 1, 0, 5, 17, 31), + (12, 0, 14, 0, 5, 17, 31), + (7, 0, 1, 0, 5, 17, 22), + (12, 9, 14, 0, 5, 17, 31), + (21, 0, 1, 0, 5, 17, 27), + (21, 0, 1, 0, 5, 17, 22), + (15, 0, 19, 0, 5, 17, 22), + (13, 0, 1, 0, 5, 17, 21), + (12, 0, 14, 0, 5, 69, 31), + (10, 0, 1, 0, 5, 69, 31), + (7, 0, 1, 0, 5, 69, 22), + (12, 9, 14, 0, 5, 69, 31), + (12, 7, 14, 0, 5, 69, 31), + (21, 0, 1, 0, 5, 69, 22), + (1, 0, 1, 0, 5, 69, 22), + (21, 0, 1, 0, 5, 69, 27), + (7, 0, 1, 0, 5, 133, 22), + (13, 0, 1, 0, 5, 133, 21), + (12, 230, 14, 0, 5, 21, 31), + (7, 0, 1, 0, 5, 21, 22), + (12, 0, 14, 0, 5, 21, 31), + (10, 0, 1, 0, 5, 21, 31), + (12, 9, 14, 0, 5, 21, 31), + (13, 0, 1, 0, 5, 21, 21), + (21, 0, 1, 0, 5, 21, 27), + (7, 0, 1, 0, 5, 80, 22), + (12, 7, 14, 0, 5, 80, 31), + (21, 0, 1, 0, 5, 80, 22), + (21, 0, 1, 0, 5, 80, 28), + (12, 0, 14, 0, 5, 127, 31), + (10, 0, 1, 0, 5, 127, 31), + (7, 0, 1, 0, 5, 127, 22), + (10, 9, 1, 0, 5, 127, 31), + (21, 0, 1, 0, 5, 127, 27), + (21, 0, 1, 0, 5, 127, 22), + (12, 7, 14, 0, 5, 127, 31), + (13, 0, 1, 0, 5, 127, 21), + (21, 0, 1, 0, 5, 127, 28), + (15, 0, 1, 0, 5, 130, 22), + (7, 0, 1, 0, 5, 66, 22), + (10, 0, 1, 0, 5, 66, 31), + (12, 0, 14, 0, 5, 66, 31), + (10, 9, 1, 0, 5, 66, 31), + (12, 7, 14, 0, 5, 66, 31), + (21, 0, 1, 0, 5, 66, 27), + (21, 0, 1, 0, 5, 66, 22), + (7, 0, 1, 0, 5, 94, 22), + (21, 0, 1, 0, 5, 94, 27), + (7, 0, 1, 0, 5, 129, 22), + (12, 0, 14, 0, 5, 129, 31), + (10, 0, 1, 0, 5, 129, 31), + (12, 7, 14, 0, 5, 129, 31), + (12, 9, 14, 0, 5, 129, 31), + (13, 0, 1, 0, 5, 129, 21), + (12, 0, 14, 0, 5, 45, 31), + (10, 0, 1, 0, 5, 45, 31), + (7, 0, 1, 0, 5, 45, 22), + (12, 7, 14, 0, 5, 1, 31), + (12, 7, 14, 0, 5, 45, 31), + (10, 9, 1, 0, 5, 45, 31), + (12, 230, 14, 0, 5, 45, 31), + (7, 0, 1, 0, 5, 100, 22), + (10, 0, 1, 0, 5, 100, 31), + (12, 0, 14, 0, 5, 100, 31), + (12, 9, 14, 0, 5, 100, 31), + (12, 7, 14, 0, 5, 100, 31), + (21, 0, 1, 0, 5, 100, 27), + (21, 0, 1, 0, 5, 100, 22), + (13, 0, 1, 0, 5, 100, 21), + (12, 230, 14, 0, 5, 100, 31), + (7, 0, 1, 0, 5, 151, 22), + (10, 0, 1, 0, 5, 151, 31), + (12, 0, 14, 0, 5, 151, 31), + (12, 9, 14, 0, 5, 151, 31), + (12, 7, 14, 0, 5, 151, 31), + (21, 0, 1, 0, 5, 151, 22), + (13, 0, 1, 0, 5, 151, 21), + (7, 0, 1, 0, 5, 128, 22), + (10, 0, 1, 0, 5, 128, 31), + (12, 0, 14, 0, 5, 128, 31), + (12, 9, 14, 0, 5, 128, 31), + (12, 7, 14, 0, 5, 128, 31), + (21, 0, 1, 0, 5, 128, 28), + (21, 0, 1, 0, 5, 128, 27), + (21, 0, 1, 0, 5, 128, 16), + (21, 0, 1, 0, 5, 128, 22), + (7, 0, 1, 0, 5, 90, 22), + (10, 0, 1, 0, 5, 90, 31), + (12, 0, 14, 0, 5, 90, 31), + (12, 9, 14, 0, 5, 90, 31), + (21, 0, 1, 0, 5, 90, 27), + (21, 0, 1, 0, 5, 90, 22), + (13, 0, 1, 0, 5, 90, 21), + (21, 0, 19, 0, 5, 91, 28), + (7, 0, 1, 0, 5, 139, 22), + (12, 0, 14, 0, 5, 139, 31), + (10, 0, 1, 0, 5, 139, 31), + (10, 9, 1, 0, 5, 139, 31), + (12, 7, 14, 0, 5, 139, 31), + (13, 0, 1, 0, 5, 139, 21), + (7, 0, 1, 0, 5, 5, 7), + (12, 0, 14, 0, 5, 5, 7), + (10, 0, 1, 0, 5, 5, 7), + (12, 9, 14, 0, 5, 5, 7), + (13, 0, 1, 0, 5, 5, 21), + (15, 0, 1, 0, 5, 5, 7), + (21, 0, 1, 0, 5, 5, 27), + (26, 0, 1, 0, 5, 5, 7), + (7, 0, 1, 0, 5, 33, 22), + (10, 0, 1, 0, 5, 33, 31), + (12, 0, 14, 0, 5, 33, 31), + (12, 9, 14, 0, 5, 33, 31), + (12, 7, 14, 0, 5, 33, 31), + (21, 0, 1, 0, 5, 33, 22), + (9, 0, 1, 0, 5, 157, 22), + (5, 0, 1, 0, 5, 157, 22), + (13, 0, 1, 0, 5, 157, 21), + (15, 0, 1, 0, 5, 157, 22), + (7, 0, 1, 0, 5, 157, 22), + (7, 0, 1, 0, 5, 32, 22), + (10, 0, 1, 0, 5, 32, 31), + (12, 0, 14, 0, 5, 32, 31), + (10, 9, 1, 0, 5, 32, 31), + (12, 9, 14, 0, 5, 32, 31), + (12, 7, 14, 0, 5, 32, 31), + (21, 0, 1, 0, 5, 32, 27), + (13, 0, 1, 0, 5, 32, 21), + (7, 0, 1, 0, 5, 97, 22), + (10, 0, 1, 0, 5, 97, 31), + (12, 0, 14, 0, 5, 97, 31), + (12, 9, 14, 0, 5, 97, 31), + (21, 0, 1, 0, 5, 97, 28), + (7, 0, 1, 0, 5, 163, 22), + (12, 0, 14, 0, 5, 163, 31), + (12, 0, 1, 0, 5, 163, 31), + (12, 9, 14, 0, 5, 163, 31), + (10, 0, 1, 0, 5, 163, 31), + (21, 0, 1, 0, 5, 163, 28), + (21, 0, 1, 0, 5, 163, 22), + (21, 0, 1, 0, 5, 163, 27), + (7, 0, 1, 0, 5, 134, 22), + (12, 0, 14, 0, 5, 134, 31), + (10, 0, 1, 0, 5, 134, 31), + (12, 9, 14, 0, 5, 134, 31), + (21, 0, 1, 0, 5, 134, 27), + (21, 0, 1, 0, 5, 134, 28), + (7, 0, 1, 0, 5, 111, 22), + (7, 0, 1, 0, 5, 15, 22), + (10, 0, 1, 0, 5, 15, 31), + (12, 0, 14, 0, 5, 15, 31), + (12, 9, 1, 0, 5, 15, 31), + (21, 0, 1, 0, 5, 15, 27), + (13, 0, 1, 0, 5, 15, 21), + (15, 0, 1, 0, 5, 15, 22), + (21, 0, 1, 0, 5, 84, 28), + (21, 0, 1, 0, 5, 84, 16), + (7, 0, 1, 0, 5, 84, 22), + (12, 0, 14, 0, 5, 84, 31), + (10, 0, 1, 0, 5, 84, 31), + (7, 0, 1, 0, 5, 43, 22), + (12, 0, 14, 0, 5, 43, 31), + (12, 7, 14, 0, 5, 43, 31), + (12, 9, 14, 0, 5, 43, 31), + (13, 0, 1, 0, 5, 43, 21), + (7, 0, 1, 0, 5, 42, 22), + (10, 0, 1, 0, 5, 42, 31), + (12, 0, 14, 0, 5, 42, 31), + (12, 9, 14, 0, 5, 42, 31), + (13, 0, 1, 0, 5, 42, 21), + (7, 0, 1, 0, 5, 81, 22), + (12, 0, 14, 0, 5, 81, 31), + (10, 0, 1, 0, 5, 81, 31), + (21, 0, 1, 0, 5, 81, 22), + (23, 0, 11, 0, 5, 142, 20), + (21, 0, 1, 0, 5, 142, 27), + (7, 0, 1, 0, 5, 160, 22), + (14, 0, 1, 0, 5, 160, 22), + (21, 0, 1, 0, 5, 160, 27), + (7, 0, 1, 0, 5, 36, 22), + (7, 0, 1, 0, 5, 36, 10), + (7, 0, 1, 0, 5, 36, 11), + (1, 0, 1, 0, 5, 36, 14), + (1, 0, 1, 0, 5, 36, 10), + (1, 0, 1, 0, 5, 36, 11), + (7, 0, 1, 0, 5, 55, 22), + (7, 0, 1, 0, 5, 55, 10), + (7, 0, 1, 0, 5, 55, 11), + (7, 0, 1, 0, 5, 92, 22), + (13, 0, 1, 0, 5, 92, 21), + (21, 0, 1, 0, 5, 92, 27), + (7, 0, 1, 0, 5, 12, 22), + (12, 1, 14, 0, 5, 12, 31), + (21, 0, 1, 0, 5, 12, 27), + (7, 0, 1, 0, 5, 56, 22), + (12, 230, 14, 0, 5, 56, 31), + (21, 0, 1, 0, 5, 56, 27), + (21, 0, 1, 0, 5, 56, 22), + (26, 0, 1, 0, 5, 56, 22), + (6, 0, 1, 0, 5, 56, 22), + (13, 0, 1, 0, 5, 56, 21), + (15, 0, 1, 0, 5, 56, 22), + (9, 0, 1, 0, 5, 85, 22), + (5, 0, 1, 0, 5, 85, 22), + (15, 0, 1, 0, 5, 85, 22), + (21, 0, 1, 0, 5, 85, 27), + (21, 0, 1, 0, 5, 85, 22), + (7, 0, 1, 0, 5, 117, 22), + (12, 0, 14, 0, 5, 117, 31), + (10, 0, 1, 0, 5, 117, 31), + (6, 0, 1, 0, 5, 117, 22), + (6, 0, 1, 0, 2, 143, 15), + (6, 0, 1, 0, 2, 102, 15), + (6, 0, 1, 0, 2, 0, 15), + (12, 0, 14, 0, 2, 67, 14), + (10, 6, 1, 0, 2, 50, 31), + (7, 0, 1, 0, 2, 143, 24), + (7, 0, 1, 0, 2, 67, 22), + (7, 0, 1, 0, 2, 102, 24), + (7, 0, 1, 0, 5, 35, 22), + (26, 0, 1, 0, 5, 35, 22), + (12, 0, 14, 0, 5, 35, 31), + (12, 1, 14, 0, 5, 35, 31), + (21, 0, 1, 0, 5, 35, 27), + (10, 216, 1, 0, 5, 0, 31), + (10, 226, 1, 0, 5, 0, 31), + (12, 230, 14, 0, 5, 46, 31), + (25, 0, 1, 0, 5, 0, 22), + (13, 0, 9, 0, 5, 0, 21), + (26, 0, 1, 0, 5, 125, 22), + (12, 0, 14, 0, 5, 125, 31), + (21, 0, 1, 0, 5, 125, 27), + (21, 0, 1, 0, 5, 125, 22), + (12, 230, 14, 0, 5, 41, 31), + (7, 0, 1, 0, 5, 57, 22), + (12, 230, 14, 0, 5, 57, 31), + (6, 0, 1, 0, 5, 57, 22), + (13, 0, 1, 0, 5, 57, 21), + (26, 0, 1, 0, 5, 57, 22), + (7, 0, 1, 0, 5, 158, 22), + (12, 230, 14, 0, 5, 158, 31), + (13, 0, 1, 0, 5, 158, 21), + (23, 0, 11, 0, 5, 158, 19), + (7, 0, 4, 0, 5, 86, 22), + (15, 0, 4, 0, 5, 86, 22), + (12, 220, 14, 0, 5, 86, 31), + (9, 0, 4, 0, 5, 3, 22), + (5, 0, 4, 0, 5, 3, 22), + (12, 230, 14, 0, 5, 3, 31), + (12, 7, 14, 0, 5, 3, 31), + (6, 0, 4, 0, 5, 3, 22), + (13, 0, 4, 0, 5, 3, 21), + (21, 0, 4, 0, 5, 3, 10), + (15, 0, 5, 0, 5, 0, 22), + (26, 0, 5, 0, 5, 0, 20), + (23, 0, 5, 0, 5, 0, 20), + (26, 0, 5, 0, 5, 0, 22), (26, 0, 1, 0, 2, 0, 1), - (26, 0, 1, 0, 5, 0, 35), - (26, 0, 1, 0, 2, 54, 21), - (24, 0, 19, 0, 2, 0, 14), - (26, 0, 19, 0, 5, 0, 29), + (26, 0, 1, 0, 5, 0, 38), + (26, 0, 1, 0, 2, 54, 24), + (24, 0, 19, 0, 2, 0, 40), + (26, 0, 19, 0, 5, 0, 15), ]; // index tables for the database records