formulary 0.3.0

//! The MathML Core operator dictionary.
//!
//! Generated from the spec's `tables/operator-dictionary.html`
//! (<https://github.com/w3c/mathml-core>, 1155 entries) — do not edit
//! by hand.
//!
//! Key: `codepoint << 2 | form` (form: 0 = infix, 1 = prefix, 2 = postfix),
//! sorted for binary search. Values: `(lspace, rspace, flags)`; spacing in
//! 1/18 em. Flag bits: 1 stretchy, 2 symmetric, 4 largeop, 8 movablelimits,
//! 16 fence, 32 separator, 64 stretch axis is inline (horizontal).

pub const STRETCHY: u8 = 1;
pub const SYMMETRIC: u8 = 2;
pub const LARGEOP: u8 = 4;
pub const MOVABLE_LIMITS: u8 = 8;
#[allow(dead_code)]
pub const FENCE: u8 = 16;
#[allow(dead_code)]
pub const SEPARATOR: u8 = 32;
pub const HORIZONTAL: u8 = 64;

pub const FORM_INFIX: u8 = 0;
pub const FORM_PREFIX: u8 = 1;
pub const FORM_POSTFIX: u8 = 2;

/// `(lspace, rspace, flags)` for a character in a given form.
pub fn lookup(c: char, form: u8) -> Option<(u8, u8, u8)> {
    let key = (c as u32) << 2 | u32::from(form);
    ENTRIES.binary_search_by_key(&key, |e| e.0).ok().map(|i| {
        let (_, l, r, f) = ENTRIES[i];
        (l, r, f)
    })
}

#[rustfmt::skip]
static ENTRIES: [(u32, u8, u8, u8); 1155] = [
    (0x85,0,0,0), (0x86,0,0,0), (0x8a,0,0,0), (0x94,3,3,0),
    (0x96,0,0,0), (0x9a,0,0,0), (0x9e,0,0,0), (0xa1,0,0,19),
    (0xa6,0,0,19), (0xa8,3,3,0), (0xac,4,4,0), (0xad,0,0,0),
    (0xb0,0,3,32), (0xb4,4,4,0), (0xb5,0,0,0), (0xb8,3,3,0),
    (0xbc,0,0,0), (0xe8,0,3,0), (0xec,0,3,32), (0xf0,5,5,0),
    (0xf4,5,5,64), (0xf8,5,5,0), (0xfc,3,3,0), (0x100,3,3,0),
    (0x16d,0,0,19), (0x170,0,0,0), (0x176,0,0,19), (0x178,3,3,64),
    (0x17a,0,0,65), (0x17c,0,0,64), (0x17e,0,0,65), (0x182,0,0,0),
    (0x1ed,0,0,19), (0x1f0,5,5,16), (0x1f1,0,0,19), (0x1f2,0,0,19),
    (0x1f6,0,0,19), (0x1fa,0,0,65), (0x2a2,0,0,0), (0x2b1,0,0,0),
    (0x2be,0,0,65), (0x2c2,0,0,0), (0x2c4,4,4,0), (0x2c5,0,0,0),
    (0x2ca,0,0,0), (0x2ce,0,0,0), (0x2d2,0,0,0), (0x2dc,3,3,0),
    (0x2e2,0,0,0), (0x2e6,0,0,0), (0x35c,3,3,0), (0x3dc,4,4,0),
    (0xb1a,0,0,65), (0xb1e,0,0,65), (0xb26,0,0,65), (0xb2a,0,0,0),
    (0xb2e,0,0,0), (0xb36,0,0,65), (0xb62,0,0,0), (0xb66,0,0,0),
    (0xb6a,0,0,0), (0xb72,0,0,65), (0xb76,0,0,0), (0xbde,0,0,65),
    (0xc0a,0,0,65), (0xc46,0,0,0), (0x8059,0,0,19), (0x805a,0,0,19),
    (0x8061,0,0,16), (0x8066,0,0,16), (0x806a,0,0,0), (0x806e,0,0,0),
    (0x8071,0,0,16), (0x8076,0,0,16), (0x807a,0,0,0), (0x807e,0,0,0),
    (0x8088,3,3,0), (0x80ca,0,0,0), (0x80ce,0,0,0), (0x80d2,0,0,0),
    (0x80d6,0,0,0), (0x80da,0,0,0), (0x80de,0,0,0), (0x80fa,0,0,65),
    (0x810c,3,3,0), (0x8110,4,4,0), (0x815e,0,0,0), (0x8184,0,0,0),
    (0x8188,0,0,0), (0x818c,0,0,32), (0x8190,0,0,0), (0x836e,0,0,0),
    (0x8372,0,0,0), (0x8515,3,0,0), (0x8519,3,0,0), (0x8640,5,5,65),
    (0x8644,5,5,1), (0x8648,5,5,65), (0x864c,5,5,1), (0x8650,5,5,65),
    (0x8654,5,5,1), (0x8658,5,5,0), (0x865c,5,5,0), (0x8660,5,5,64),
    (0x8664,5,5,64), (0x8668,5,5,65), (0x866c,5,5,65), (0x8670,5,5,65),
    (0x8674,5,5,65), (0x8678,5,5,65), (0x867c,5,5,1), (0x8680,5,5,65),
    (0x8684,5,5,1), (0x8688,5,5,65), (0x868c,5,5,65), (0x8690,5,5,65),
    (0x8694,5,5,1), (0x8698,5,5,65), (0x869c,5,5,1), (0x86a0,5,5,1),
    (0x86a4,5,5,65), (0x86a8,5,5,65), (0x86ac,5,5,65), (0x86b0,5,5,65),
    (0x86b4,5,5,65), (0x86b8,5,5,65), (0x86bc,5,5,0), (0x86c0,5,5,1),
    (0x86c4,5,5,1), (0x86c8,5,5,1), (0x86cc,5,5,1), (0x86d0,5,5,65),
    (0x86d4,5,5,1), (0x86d8,5,5,0), (0x86dc,5,5,0), (0x86e0,5,5,0),
    (0x86e4,5,5,65), (0x86e8,5,5,0), (0x86ec,5,5,0), (0x86f0,5,5,65),
    (0x86f4,5,5,65), (0x86f8,5,5,1), (0x86fc,5,5,1), (0x8700,5,5,65),
    (0x8704,5,5,65), (0x8708,5,5,1), (0x870c,5,5,1), (0x8710,5,5,65),
    (0x8714,5,5,1), (0x8718,5,5,65), (0x871c,5,5,65), (0x8720,5,5,1),
    (0x8724,5,5,65), (0x8728,5,5,1), (0x872c,5,5,65), (0x8730,5,5,65),
    (0x8734,5,5,65), (0x8738,5,5,65), (0x873c,5,5,65), (0x8740,5,5,65),
    (0x8744,5,5,1), (0x8748,5,5,65), (0x874c,5,5,1), (0x8750,5,5,65),
    (0x8754,5,5,1), (0x8758,5,5,0), (0x875c,5,5,0), (0x8760,5,5,0),
    (0x8764,5,5,0), (0x8768,5,5,65), (0x876c,5,5,65), (0x8770,5,5,65),
    (0x8774,5,5,65), (0x8778,5,5,1), (0x877c,5,5,1), (0x8780,5,5,65),
    (0x8784,5,5,1), (0x8788,5,5,65), (0x878c,5,5,1), (0x8790,5,5,65),
    (0x8794,5,5,65), (0x8798,5,5,65), (0x879c,5,5,1), (0x87a0,5,5,65),
    (0x87a4,5,5,1), (0x87a8,5,5,1), (0x87ac,5,5,1), (0x87b0,5,5,1),
    (0x87b4,5,5,1), (0x87b8,5,5,1), (0x87bc,5,5,1), (0x87c0,5,5,65),
    (0x87c4,5,5,0), (0x87c8,5,5,0), (0x87cc,5,5,1), (0x87d0,5,5,65),
    (0x87d4,5,5,1), (0x87d8,5,5,65), (0x87dc,5,5,65), (0x87e0,5,5,65),
    (0x87e4,5,5,65), (0x87e8,5,5,65), (0x87ec,5,5,65), (0x87f0,5,5,65),
    (0x87f4,5,5,65), (0x87f8,5,5,65), (0x87fc,5,5,65), (0x8801,0,0,0),
    (0x8805,0,0,0), (0x8809,3,0,0), (0x880d,0,0,0), (0x8811,0,0,0),
    (0x8818,0,0,0), (0x881d,0,0,0), (0x8820,5,5,0), (0x8824,5,5,0),
    (0x8828,5,5,0), (0x882c,5,5,0), (0x8830,5,5,0), (0x8834,5,5,0),
    (0x883d,3,3,14), (0x8841,3,3,14), (0x8845,3,3,14), (0x8848,4,4,0),
    (0x8849,0,0,0), (0x884c,4,4,0), (0x884d,0,0,0), (0x8850,4,4,0),
    (0x8854,4,4,0), (0x8858,4,4,0), (0x885c,3,3,0), (0x8860,3,3,0),
    (0x8864,3,3,0), (0x8869,3,0,0), (0x886d,3,0,0), (0x8871,3,0,0),
    (0x8874,5,5,0), (0x887d,0,0,0), (0x8881,0,0,0), (0x8885,0,0,0),
    (0x8889,0,0,0), (0x888c,5,5,0), (0x8890,5,5,0), (0x8894,5,5,0),
    (0x8898,5,5,0), (0x889c,4,4,0), (0x88a0,4,4,0), (0x88a4,4,4,0),
    (0x88a8,4,4,0), (0x88ad,3,3,6), (0x88b1,3,3,6), (0x88b5,3,3,6),
    (0x88b9,3,3,6), (0x88bd,3,3,6), (0x88c1,3,3,6), (0x88c5,3,3,6),
    (0x88c9,3,3,6), (0x88cd,3,3,6), (0x88d1,0,0,0), (0x88d5,0,0,0),
    (0x88d8,4,4,0), (0x88dc,5,5,0), (0x88e0,4,4,0), (0x88e4,5,5,0),
    (0x88e8,5,5,0), (0x88ec,5,5,0), (0x88f0,5,5,0), (0x88f1,0,0,0),
    (0x88f4,5,5,0), (0x88f8,5,5,0), (0x8900,3,3,0), (0x8904,5,5,0),
    (0x8908,5,5,0), (0x890c,5,5,0), (0x8910,5,5,0), (0x8914,5,5,0),
    (0x8918,5,5,0), (0x891c,5,5,0), (0x8920,5,5,0), (0x8924,5,5,0),
    (0x8928,5,5,0), (0x892c,5,5,0), (0x8930,5,5,0), (0x8934,5,5,0),
    (0x8938,5,5,0), (0x893c,5,5,0), (0x8940,5,5,0), (0x8944,5,5,0),
    (0x8948,5,5,0), (0x894c,5,5,0), (0x8950,5,5,0), (0x8954,5,5,0),
    (0x8958,5,5,0), (0x895c,5,5,0), (0x8960,5,5,0), (0x8964,5,5,0),
    (0x8968,5,5,0), (0x896c,5,5,0), (0x8970,5,5,0), (0x8974,5,5,0),
    (0x8978,5,5,0), (0x897c,5,5,0), (0x8980,5,5,0), (0x8984,5,5,0),
    (0x8988,5,5,0), (0x898c,5,5,0), (0x8990,5,5,0), (0x8994,5,5,0),
    (0x8998,5,5,0), (0x899c,5,5,0), (0x89a0,5,5,0), (0x89a4,5,5,0),
    (0x89a8,5,5,0), (0x89ac,5,5,0), (0x89b0,5,5,0), (0x89b4,5,5,0),
    (0x89b8,5,5,0), (0x89bc,5,5,0), (0x89c0,5,5,0), (0x89c4,5,5,0),
    (0x89c8,5,5,0), (0x89cc,5,5,0), (0x89d0,5,5,0), (0x89d4,5,5,0),
    (0x89d8,5,5,0), (0x89dc,5,5,0), (0x89e0,5,5,0), (0x89e4,5,5,0),
    (0x89e8,5,5,0), (0x89ec,5,5,0), (0x89f0,5,5,0), (0x89f4,5,5,0),
    (0x89f8,5,5,0), (0x89fc,5,5,0), (0x8a00,5,5,0), (0x8a04,5,5,0),
    (0x8a08,5,5,0), (0x8a0c,5,5,0), (0x8a10,5,5,0), (0x8a14,5,5,0),
    (0x8a18,5,5,0), (0x8a1c,5,5,0), (0x8a20,5,5,0), (0x8a24,5,5,0),
    (0x8a28,5,5,0), (0x8a2c,5,5,0), (0x8a30,4,4,0), (0x8a34,4,4,0),
    (0x8a38,4,4,0), (0x8a3c,5,5,0), (0x8a40,5,5,0), (0x8a44,5,5,0),
    (0x8a48,5,5,0), (0x8a4c,4,4,0), (0x8a50,4,4,0), (0x8a54,4,4,0),
    (0x8a58,4,4,0), (0x8a5c,3,3,0), (0x8a60,4,4,0), (0x8a64,3,3,0),
    (0x8a68,3,3,0), (0x8a6c,3,3,0), (0x8a70,5,5,0), (0x8a74,4,4,0),
    (0x8a78,4,4,0), (0x8a7c,4,4,0), (0x8a80,3,3,0), (0x8a84,3,3,0),
    (0x8a88,5,5,0), (0x8a8c,5,5,0), (0x8a98,5,5,0), (0x8a9c,5,5,0),
    (0x8aa0,5,5,0), (0x8aa4,5,5,0), (0x8aa8,5,5,0), (0x8aac,5,5,0),
    (0x8ab0,5,5,0), (0x8ab4,5,5,0), (0x8ab8,5,5,0), (0x8abc,5,5,0),
    (0x8ac0,5,5,0), (0x8ac4,5,5,0), (0x8ac8,5,5,0), (0x8acc,5,5,0),
    (0x8ad0,5,5,0), (0x8ad4,5,5,0), (0x8ad8,5,5,0), (0x8adc,5,5,0),
    (0x8ae0,5,5,0), (0x8ae8,3,3,0), (0x8aec,4,4,0), (0x8af0,4,4,0),
    (0x8af4,4,4,0), (0x8af9,0,0,0), (0x8afd,0,0,0), (0x8b01,3,3,14),
    (0x8b05,3,3,14), (0x8b09,3,3,14), (0x8b0d,3,3,14), (0x8b10,3,3,0),
    (0x8b14,3,3,0), (0x8b18,3,3,0), (0x8b1c,3,3,0), (0x8b20,5,5,0),
    (0x8b24,3,3,0), (0x8b28,3,3,0), (0x8b2c,3,3,0), (0x8b30,3,3,0),
    (0x8b34,5,5,0), (0x8b38,4,4,0), (0x8b3c,4,4,0), (0x8b40,5,5,0),
    (0x8b44,5,5,0), (0x8b48,4,4,0), (0x8b4c,4,4,0), (0x8b50,5,5,0),
    (0x8b54,5,5,0), (0x8b58,5,5,0), (0x8b5c,5,5,0), (0x8b60,5,5,0),
    (0x8b64,5,5,0), (0x8b68,5,5,0), (0x8b6c,5,5,0), (0x8b70,5,5,0),
    (0x8b74,5,5,0), (0x8b78,5,5,0), (0x8b7c,5,5,0), (0x8b80,5,5,0),
    (0x8b84,5,5,0), (0x8b88,5,5,0), (0x8b8c,5,5,0), (0x8b90,5,5,0),
    (0x8b94,5,5,0), (0x8b98,5,5,0), (0x8b9c,5,5,0), (0x8ba0,5,5,0),
    (0x8ba4,5,5,0), (0x8ba8,5,5,0), (0x8bac,5,5,0), (0x8bb0,5,5,0),
    (0x8bb4,5,5,0), (0x8bc8,5,5,0), (0x8bcc,5,5,0), (0x8bd0,5,5,0),
    (0x8bd4,5,5,0), (0x8bd8,5,5,0), (0x8bdc,5,5,0), (0x8be0,5,5,0),
    (0x8be4,5,5,0), (0x8be8,5,5,0), (0x8bec,5,5,0), (0x8bf0,5,5,0),
    (0x8bf4,5,5,0), (0x8bf8,5,5,0), (0x8bfc,5,5,0), (0x8c04,5,5,0),
    (0x8c14,3,3,0), (0x8c18,3,3,0), (0x8c21,0,0,19), (0x8c26,0,0,19),
    (0x8c29,0,0,19), (0x8c2e,0,0,19), (0x8c41,0,0,0), (0x8c65,0,0,0),
    (0x8c8a,0,0,65), (0x8c8e,0,0,65), (0x8ca5,0,0,19), (0x8caa,0,0,19),
    (0x8df0,5,5,0), (0x8e2c,5,5,0), (0x8ed2,0,0,65), (0x8ed6,0,0,65),
    (0x8f36,0,0,0), (0x8f72,0,0,65), (0x8f76,0,0,65), (0x8f7a,0,0,65),
    (0x8f7e,0,0,65), (0x8f82,0,0,65), (0x8f86,0,0,65), (0x9dc9,0,0,19),
    (0x9dce,0,0,19), (0x9e50,5,5,65), (0x9e54,4,4,0), (0x9e55,0,0,0),
    (0x9e58,4,4,0), (0x9e59,0,0,0), (0x9e5c,4,4,0), (0x9e60,5,5,0),
    (0x9e64,5,5,65), (0x9e68,5,5,0), (0x9e6c,5,5,65), (0x9e70,5,5,65),
    (0x9e74,5,5,65), (0x9e78,5,5,65), (0x9e7c,5,5,65), (0x9e80,5,5,65),
    (0x9e84,5,5,65), (0x9e94,5,5,65), (0x9e98,5,5,65), (0x9e9c,5,5,0),
    (0x9ea0,5,5,65), (0x9ea4,5,5,65), (0x9ea8,5,5,65), (0x9eac,5,5,65),
    (0x9eb0,5,5,65), (0x9eb4,5,5,65), (0x9eb8,5,5,65), (0x9ebc,5,5,65),
    (0x9ec4,5,5,65), (0x9ec8,5,5,0), (0x9ecc,5,5,65), (0x9ed0,5,5,0),
    (0x9ed4,5,5,65), (0x9ed8,5,5,0), (0x9edc,5,5,0), (0x9ee0,5,5,65),
    (0x9ee4,5,5,0), (0x9ee8,5,5,65), (0x9eec,5,5,65), (0x9ef0,5,5,65),
    (0x9ef4,5,5,65), (0x9ef8,5,5,65), (0x9f01,0,0,0), (0x9f08,5,5,0),
    (0x9f2c,3,3,0), (0x9f34,3,3,0), (0x9f99,0,0,19), (0x9f9e,0,0,19),
    (0x9fa1,0,0,19), (0x9fa6,0,0,19), (0x9fa9,0,0,19), (0x9fae,0,0,19),
    (0x9fb1,0,0,19), (0x9fb6,0,0,19), (0x9fb9,0,0,19), (0x9fbe,0,0,19),
    (0x9fc0,5,5,1), (0x9fc4,5,5,1), (0x9fc8,5,5,0), (0x9fcc,5,5,0),
    (0x9fd0,5,5,65), (0x9fd4,5,5,65), (0x9fd8,5,5,65), (0x9fdc,5,5,65),
    (0x9fe0,5,5,65), (0x9fe4,5,5,65), (0x9fe8,5,5,65), (0x9fec,5,5,65),
    (0x9ff0,5,5,65), (0x9ff4,5,5,65), (0x9ff8,5,5,65), (0x9ffc,5,5,65),
    (0xa400,5,5,65), (0xa404,5,5,65), (0xa408,5,5,65), (0xa40c,5,5,65),
    (0xa410,5,5,65), (0xa414,5,5,65), (0xa418,5,5,65), (0xa41c,5,5,65),
    (0xa420,5,5,1), (0xa424,5,5,1), (0xa428,5,5,1), (0xa42c,5,5,1),
    (0xa430,5,5,65), (0xa434,5,5,65), (0xa438,5,5,65), (0xa43c,5,5,65),
    (0xa440,5,5,65), (0xa444,5,5,65), (0xa448,5,5,1), (0xa44c,5,5,1),
    (0xa450,5,5,65), (0xa454,5,5,65), (0xa458,5,5,65), (0xa45c,5,5,65),
    (0xa460,5,5,65), (0xa464,5,5,65), (0xa468,5,5,65), (0xa46c,5,5,65),
    (0xa470,5,5,65), (0xa474,5,5,65), (0xa478,5,5,65), (0xa47c,5,5,65),
    (0xa480,5,5,65), (0xa484,5,5,0), (0xa488,5,5,0), (0xa48c,5,5,0),
    (0xa490,5,5,0), (0xa494,5,5,0), (0xa498,5,5,0), (0xa49c,5,5,0),
    (0xa4a0,5,5,0), (0xa4a4,5,5,0), (0xa4a8,5,5,0), (0xa4ac,5,5,0),
    (0xa4b0,5,5,0), (0xa4b4,5,5,0), (0xa4b8,5,5,0), (0xa4bc,5,5,0),
    (0xa4c0,5,5,0), (0xa4c4,5,5,0), (0xa4c8,5,5,0), (0xa4cc,5,5,0),
    (0xa4d0,5,5,1), (0xa4d4,5,5,1), (0xa4d8,5,5,1), (0xa4dc,5,5,1),
    (0xa4e0,5,5,0), (0xa4e4,5,5,0), (0xa4e8,5,5,0), (0xa4ec,5,5,0),
    (0xa4f0,5,5,0), (0xa4f4,5,5,0), (0xa4f8,5,5,0), (0xa4fc,5,5,0),
    (0xa500,5,5,0), (0xa504,5,5,0), (0xa508,5,5,65), (0xa50c,5,5,65),
    (0xa510,5,5,65), (0xa514,5,5,65), (0xa518,5,5,65), (0xa51c,5,5,65),
    (0xa520,5,5,65), (0xa524,5,5,1), (0xa528,5,5,65), (0xa52c,5,5,65),
    (0xa530,5,5,1), (0xa534,5,5,1), (0xa538,5,5,65), (0xa53c,5,5,1),
    (0xa540,5,5,65), (0xa544,5,5,1), (0xa548,5,5,65), (0xa54c,5,5,65),
    (0xa550,5,5,1), (0xa554,5,5,1), (0xa558,5,5,65), (0xa55c,5,5,65),
    (0xa560,5,5,1), (0xa564,5,5,1), (0xa568,5,5,65), (0xa56c,5,5,65),
    (0xa570,5,5,1), (0xa574,5,5,1), (0xa578,5,5,65), (0xa57c,5,5,65),
    (0xa580,5,5,1), (0xa584,5,5,1), (0xa588,5,5,65), (0xa58c,5,5,1),
    (0xa590,5,5,65), (0xa594,5,5,1), (0xa598,5,5,65), (0xa59c,5,5,65),
    (0xa5a0,5,5,65), (0xa5a4,5,5,65), (0xa5a8,5,5,65), (0xa5ac,5,5,65),
    (0xa5b0,5,5,65), (0xa5b4,5,5,65), (0xa5b8,5,5,1), (0xa5bc,5,5,1),
    (0xa5c0,5,5,65), (0xa5c4,5,5,65), (0xa5c8,5,5,65), (0xa5cc,5,5,65),
    (0xa5d0,5,5,65), (0xa5d4,5,5,65), (0xa5d8,5,5,0), (0xa5dc,5,5,0),
    (0xa5e0,5,5,0), (0xa5e4,5,5,0), (0xa5e8,5,5,0), (0xa5ec,5,5,0),
    (0xa5f0,5,5,65), (0xa5f4,5,5,65), (0xa5f8,5,5,1), (0xa5fc,5,5,1),
    (0xa601,0,0,19), (0xa602,0,0,19), (0xa604,5,5,0), (0xa608,5,5,0),
    (0xa60d,0,0,19), (0xa612,0,0,19), (0xa615,0,0,19), (0xa61a,0,0,19),
    (0xa61d,0,0,19), (0xa622,0,0,19), (0xa625,0,0,19), (0xa62a,0,0,19),
    (0xa62d,0,0,19), (0xa632,0,0,19), (0xa635,0,0,19), (0xa63a,0,0,19),
    (0xa63d,0,0,19), (0xa642,0,0,19), (0xa645,0,0,19), (0xa64a,0,0,19),
    (0xa64d,0,0,19), (0xa652,0,0,19), (0xa655,0,0,19), (0xa65a,0,0,19),
    (0xa65d,0,0,19), (0xa662,0,0,19), (0xa665,0,0,19), (0xa666,0,0,19),
    (0xa66d,0,0,0), (0xa671,0,0,0), (0xa675,0,0,0), (0xa679,0,0,0),
    (0xa67d,0,0,0), (0xa681,0,0,0), (0xa685,0,0,0), (0xa689,0,0,0),
    (0xa68d,0,0,0), (0xa691,0,0,0), (0xa695,0,0,0), (0xa699,0,0,0),
    (0xa69d,0,0,0), (0xa6a1,0,0,0), (0xa6a5,0,0,0), (0xa6a9,0,0,0),
    (0xa6ad,0,0,0), (0xa6b1,0,0,0), (0xa6b5,0,0,0), (0xa6b9,0,0,0),
    (0xa6bd,0,0,0), (0xa6d8,5,5,0), (0xa6dc,5,5,0), (0xa6e0,4,4,0),
    (0xa6e4,5,5,0), (0xa6f0,4,4,0), (0xa700,5,5,0), (0xa704,5,5,0),
    (0xa710,4,4,0), (0xa714,4,4,0), (0xa718,3,3,0), (0xa71c,3,3,0),
    (0xa720,3,3,0), (0xa738,5,5,0), (0xa73c,5,5,0), (0xa740,5,5,0),
    (0xa744,5,5,0), (0xa748,5,5,0), (0xa74c,5,5,0), (0xa750,3,3,0),
    (0xa754,3,3,0), (0xa758,3,3,0), (0xa75c,3,3,0), (0xa761,0,0,19),
    (0xa766,0,0,19), (0xa769,0,0,19), (0xa76e,0,0,19), (0xa77c,5,5,0),
    (0xa784,5,5,0), (0xa788,3,3,0), (0xa78c,5,5,0), (0xa790,5,5,0),
    (0xa794,5,5,0), (0xa798,5,5,0), (0xa7d0,5,5,0), (0xa7d4,4,4,0),
    (0xa7d8,4,4,0), (0xa7dc,4,4,0), (0xa7e0,4,4,0), (0xa7e4,4,4,0),
    (0xa7e8,4,4,0), (0xa7ec,4,4,0), (0xa7f1,0,0,19), (0xa7f6,0,0,19),
    (0xa801,3,3,14), (0xa805,3,3,14), (0xa809,3,3,14), (0xa80d,3,3,14),
    (0xa811,3,3,14), (0xa815,3,3,14), (0xa819,3,3,14), (0xa81d,3,3,14),
    (0xa821,3,3,14), (0xa825,3,3,14), (0xa829,3,3,14), (0xa82d,3,3,6),
    (0xa831,3,3,6), (0xa835,3,3,6), (0xa839,3,3,6), (0xa83d,3,3,6),
    (0xa841,3,3,6), (0xa845,3,3,6), (0xa849,3,3,6), (0xa84d,3,3,6),
    (0xa851,3,3,6), (0xa855,3,3,6), (0xa859,3,3,6), (0xa85d,3,3,6),
    (0xa861,3,3,6), (0xa865,3,3,6), (0xa869,3,3,6), (0xa86d,3,3,6),
    (0xa871,3,3,6), (0xa874,3,3,0), (0xa875,3,3,14), (0xa878,3,3,0),
    (0xa879,3,3,14), (0xa87c,4,4,0), (0xa880,4,4,0), (0xa884,4,4,0),
    (0xa888,4,4,0), (0xa88c,4,4,0), (0xa890,4,4,0), (0xa894,4,4,0),
    (0xa898,4,4,0), (0xa89c,4,4,0), (0xa8a0,4,4,0), (0xa8a4,4,4,0),
    (0xa8a8,4,4,0), (0xa8ac,4,4,0), (0xa8b0,4,4,0), (0xa8b4,4,4,0),
    (0xa8b8,4,4,0), (0xa8bc,3,3,0), (0xa8c0,3,3,0), (0xa8c4,3,3,0),
    (0xa8c8,3,3,0), (0xa8cc,3,3,0), (0xa8d0,3,3,0), (0xa8d4,3,3,0),
    (0xa8d8,3,3,0), (0xa8dc,3,3,0), (0xa8e0,4,4,0), (0xa8e4,4,4,0),
    (0xa8e8,4,4,0), (0xa8ec,3,3,0), (0xa8f0,3,3,0), (0xa8f4,3,3,0),
    (0xa8f8,4,4,0), (0xa8fc,3,3,0), (0xa900,4,4,0), (0xa904,4,4,0),
    (0xa908,4,4,0), (0xa90c,4,4,0), (0xa910,4,4,0), (0xa914,4,4,0),
    (0xa918,4,4,0), (0xa91c,4,4,0), (0xa920,4,4,0), (0xa924,4,4,0),
    (0xa928,4,4,0), (0xa92c,4,4,0), (0xa930,4,4,0), (0xa934,4,4,0),
    (0xa938,4,4,0), (0xa93c,4,4,0), (0xa940,3,3,0), (0xa944,4,4,0),
    (0xa948,4,4,0), (0xa94c,4,4,0), (0xa950,4,4,0), (0xa954,4,4,0),
    (0xa958,4,4,0), (0xa95c,4,4,0), (0xa960,4,4,0), (0xa964,4,4,0),
    (0xa968,4,4,0), (0xa96c,4,4,0), (0xa970,4,4,0), (0xa974,4,4,0),
    (0xa978,4,4,0), (0xa97c,4,4,0), (0xa980,4,4,0), (0xa984,4,4,0),
    (0xa988,4,4,0), (0xa98c,4,4,0), (0xa990,3,3,0), (0xa994,3,3,0),
    (0xa998,5,5,0), (0xa99c,5,5,0), (0xa9a0,5,5,0), (0xa9a4,5,5,0),
    (0xa9a8,5,5,0), (0xa9ac,5,5,0), (0xa9b0,5,5,0), (0xa9b4,5,5,0),
    (0xa9b8,5,5,0), (0xa9bc,5,5,0), (0xa9c0,5,5,0), (0xa9c4,5,5,0),
    (0xa9c8,5,5,0), (0xa9cc,5,5,0), (0xa9d0,5,5,0), (0xa9d4,5,5,0),
    (0xa9d8,5,5,0), (0xa9dc,5,5,0), (0xa9e0,5,5,0), (0xa9e4,5,5,0),
    (0xa9e8,5,5,0), (0xa9ec,5,5,0), (0xa9f0,5,5,0), (0xa9f4,5,5,0),
    (0xa9f8,5,5,0), (0xa9fc,5,5,0), (0xaa00,5,5,0), (0xaa04,5,5,0),
    (0xaa08,5,5,0), (0xaa0c,5,5,0), (0xaa10,5,5,0), (0xaa14,5,5,0),
    (0xaa18,5,5,0), (0xaa1c,5,5,0), (0xaa20,5,5,0), (0xaa24,5,5,0),
    (0xaa28,5,5,0), (0xaa2c,5,5,0), (0xaa30,5,5,0), (0xaa34,5,5,0),
    (0xaa38,5,5,0), (0xaa3c,5,5,0), (0xaa40,5,5,0), (0xaa44,5,5,0),
    (0xaa48,5,5,0), (0xaa4c,5,5,0), (0xaa50,5,5,0), (0xaa54,5,5,0),
    (0xaa58,5,5,0), (0xaa5c,5,5,0), (0xaa60,5,5,0), (0xaa64,5,5,0),
    (0xaa68,5,5,0), (0xaa6c,5,5,0), (0xaa70,5,5,0), (0xaa74,5,5,0),
    (0xaa78,5,5,0), (0xaa7c,5,5,0), (0xaa80,5,5,0), (0xaa84,5,5,0),
    (0xaa88,5,5,0), (0xaa8c,5,5,0), (0xaa90,5,5,0), (0xaa94,5,5,0),
    (0xaa98,5,5,0), (0xaa9c,5,5,0), (0xaaa0,5,5,0), (0xaaa4,5,5,0),
    (0xaaa8,5,5,0), (0xaaac,5,5,0), (0xaab0,5,5,0), (0xaab4,5,5,0),
    (0xaab8,5,5,0), (0xaabc,5,5,0), (0xaac0,5,5,0), (0xaac4,5,5,0),
    (0xaac8,5,5,0), (0xaacc,5,5,0), (0xaad0,5,5,0), (0xaad4,5,5,0),
    (0xaad8,5,5,0), (0xaadc,5,5,0), (0xaae0,5,5,0), (0xaae4,5,5,0),
    (0xaae8,5,5,0), (0xaaec,5,5,0), (0xaaf0,5,5,0), (0xaaf4,5,5,0),
    (0xaaf8,5,5,0), (0xaafc,5,5,0), (0xab00,5,5,0), (0xab04,5,5,0),
    (0xab08,5,5,0), (0xab0c,5,5,0), (0xab10,5,5,0), (0xab14,5,5,0),
    (0xab18,5,5,0), (0xab1c,5,5,0), (0xab20,5,5,0), (0xab24,5,5,0),
    (0xab28,5,5,0), (0xab2c,5,5,0), (0xab30,5,5,0), (0xab34,5,5,0),
    (0xab38,5,5,0), (0xab3c,5,5,0), (0xab40,5,5,0), (0xab44,5,5,0),
    (0xab48,5,5,0), (0xab4c,5,5,0), (0xab50,5,5,0), (0xab54,5,5,0),
    (0xab58,5,5,0), (0xab5c,5,5,0), (0xab60,5,5,0), (0xab64,5,5,0),
    (0xab68,5,5,0), (0xab6c,4,4,0), (0xab70,3,3,0), (0xab74,3,3,0),
    (0xab78,5,5,0), (0xab7c,5,5,0), (0xab80,5,5,0), (0xab84,5,5,0),
    (0xab88,5,5,0), (0xab8c,5,5,0), (0xab90,5,5,0), (0xab94,5,5,0),
    (0xab98,5,5,0), (0xab9c,5,5,0), (0xaba0,5,5,0), (0xaba4,5,5,0),
    (0xaba8,5,5,0), (0xabac,5,5,0), (0xabb1,0,0,0), (0xabb5,0,0,0),
    (0xabb8,5,5,0), (0xabc8,5,5,0), (0xabcc,5,5,0), (0xabd0,5,5,0),
    (0xabd4,5,5,0), (0xabd8,4,4,0), (0xabdc,5,5,0), (0xabe0,5,5,0),
    (0xabe4,5,5,0), (0xabe8,5,5,0), (0xabec,4,4,0), (0xabf1,3,3,14),
    (0xabf4,4,4,0), (0xabf8,3,3,0), (0xabfd,3,3,14), (0xac00,5,5,0),
    (0xac04,5,5,0), (0xac08,5,5,0), (0xac0c,5,5,0), (0xac10,5,5,65),
    (0xac14,5,5,65), (0xac18,5,5,1), (0xac1c,5,5,1), (0xac20,5,5,0),
    (0xac24,5,5,0), (0xac28,5,5,0), (0xac2c,5,5,0), (0xac30,5,5,65),
    (0xac34,5,5,1), (0xac38,5,5,1), (0xac3c,5,5,1), (0xac40,5,5,1),
    (0xac44,5,5,1), (0xacc0,5,5,65), (0xacc4,5,5,65), (0xacc8,5,5,65),
    (0xaccc,5,5,65), (0xacd0,5,5,65), (0xacd4,5,5,65), (0xacd8,5,5,65),
    (0xacdc,5,5,65), (0xace0,5,5,65), (0xace4,5,5,65), (0xace8,5,5,65),
    (0xacec,5,5,65), (0xacf0,5,5,65), (0xacf4,5,5,65), (0xacf8,5,5,65),
    (0xacfc,5,5,0), (0xad00,5,5,65), (0xad04,5,5,65), (0xad08,5,5,65),
    (0xad0c,5,5,65), (0xad10,5,5,65), (0xad14,5,5,65), (0xad18,5,5,65),
    (0xad1c,5,5,65), (0xad20,5,5,65), (0xad24,5,5,65), (0xad28,5,5,65),
    (0xad2c,5,5,65), (0xad30,5,5,65), (0xad34,5,5,0), (0xad38,5,5,0),
    (0xad3c,5,5,0), (0xad68,5,5,0), (0xad6c,5,5,0), (0xad70,5,5,0),
    (0xad74,5,5,0), (0xad78,5,5,0), (0xad7c,5,5,0), (0xad80,5,5,65),
    (0xad84,5,5,1), (0xad88,5,5,65), (0xad8c,5,5,1), (0xad90,5,5,65),
    (0xad94,5,5,1), (0xad98,5,5,0), (0xad9c,5,5,0), (0xada0,5,5,0),
    (0xada4,5,5,0), (0xada8,5,5,65), (0xadac,5,5,1), (0xadb0,5,5,65),
    (0xadb4,5,5,1), (0xadb8,5,5,0), (0xadbc,5,5,0), (0xadc0,5,5,65),
    (0xadc4,5,5,1), (0xadc8,5,5,65), (0xadcc,5,5,1), (0xadd8,5,5,0),
    (0xaddc,5,5,0), (0xade0,5,5,0), (0xade4,5,5,0), (0xade8,5,5,65),
    (0xadec,5,5,1), (0xadf0,5,5,65), (0xadf4,5,5,1), (0xae00,5,5,65),
    (0xae04,5,5,1), (0xae08,5,5,65), (0xae0c,5,5,1), (0xae10,5,5,65),
    (0xae14,5,5,1), (0xae18,5,5,65), (0xae1c,5,5,1), (0xae20,5,5,0),
    (0xae24,5,5,0), (0xae28,5,5,0), (0xae2c,5,5,0), (0xae30,5,5,0),
    (0xae34,5,5,0), (0xae38,5,5,0), (0xae3c,5,5,0), (0xae50,5,5,0),
    (0xae54,5,5,65), (0xae80,5,5,1), (0xae84,5,5,1), (0xae88,5,5,1),
    (0xae8c,5,5,1), (0xae90,5,5,1), (0xae94,5,5,1), (0xae98,5,5,1),
    (0xae9c,5,5,1), (0xaea0,5,5,1), (0xaea4,5,5,1), (0xaea8,5,5,1),
    (0xaeac,5,5,1), (0xaeb0,5,5,1), (0xaeb4,5,5,1), (0xaeb8,5,5,1),
    (0xaebc,5,5,1), (0xaec0,5,5,0), (0xaec4,5,5,0), (0xaec8,5,5,0),
    (0xaecc,5,5,0), (0xaed0,5,5,0), (0xaed4,5,5,0), (0xaed8,5,5,0),
    (0xaedc,5,5,0), (0xaee0,5,5,1), (0xaf44,5,5,0),
];