///|
/// Sentence_Break properties for Unicode Text Segmentation (UAX #29)
/// Generated from SentenceBreakProperty.txt

///|
/// Sentence_Break=CR
const SbCR : Int32 = 1

///|
/// Sentence_Break=LF
const SbLF : Int32 = 2

///|
/// Sentence_Break=Sep
const SbSep : Int32 = 3

///|
/// Sentence_Break=Extend
const SbExtend : Int32 = 4

///|
/// Sentence_Break=Format
const SbFormat : Int32 = 5

///|
/// Sentence_Break=Sp
const SbSp : Int32 = 6

///|
/// Sentence_Break=Lower
const SbLower : Int32 = 7

///|
/// Sentence_Break=Upper
const SbUpper : Int32 = 8

///|
/// Sentence_Break=OLetter
const SbOLetter : Int32 = 9

///|
/// Sentence_Break=Numeric
const SbNumeric : Int32 = 10

///|
/// Sentence_Break=ATerm
const SbATerm : Int32 = 11

///|
/// Sentence_Break=STerm
const SbSTerm : Int32 = 12

///|
/// Sentence_Break=Close
const SbClose : Int32 = 13

///|
/// Sentence_Break=SContinue
const SbSContinue : Int32 = 14

///|
/// Sentence_Break trie top level: `cp >> 8` to mid block index
let sentence_break_trie_top : Bytes = [
  0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 17, 21,
  22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 33, 33, 36, 33, 37, 33,
  33, 38, 39, 40, 33, 41, 42, 33, 33, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 43, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 44, 17, 45, 46, 47, 48, 49, 50, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 51, 33, 33, 33, 33, 33, 33, 33,
  33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
  33, 33, 33, 33, 33, 33, 17, 52, 53, 17, 54, 55, 56, 57, 58, 59, 60, 61, 62, 17,
  63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82,
  83, 84, 85, 86, 87, 17, 17, 17, 88, 89, 90, 91, 33, 33, 33, 33, 33, 33, 33, 33,
  92, 17, 17, 17, 17, 93, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  94, 17, 17, 95, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
  33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 96, 33, 33, 33, 33, 33, 33, 17, 17, 97,
  98, 33, 99, 100, 101, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 102, 103, 17, 17, 17, 104,
  33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
  33, 33, 33, 33, 33, 33, 33, 33, 33, 105, 17, 106, 107, 33, 33, 33, 33, 33, 33,
  33, 33, 33, 108, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 109,
  33, 33, 110, 33, 111, 112, 33, 113, 114, 115, 116, 33, 33, 117, 33, 33, 33, 33,
  118, 119, 120, 121, 33, 122, 123, 124, 125, 126, 127, 33, 33, 33, 33, 128, 33,
  33, 129, 33, 33, 33, 33, 130, 33, 33, 33, 33, 109, 33, 33, 33, 33, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 131, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 132, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 133, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 134, 17, 17, 135, 33, 33, 33, 33,
  33, 33, 33, 33, 33, 17, 17, 136, 33, 33, 33, 33, 33, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 137, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 138, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
  33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
  33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
  33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
  33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
  33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
  33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
  33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
  33, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
  17, 17, 17, 17, 17, 139, 33, 33, 33,
]

///|
/// Sentence_Break trie mid level: big-endian 16-bit leaf block indices
let sentence_break_trie_mid : Bytes = [
  0, 0, 0, 1, 0, 2, 0, 3, 0, 4, 0, 5, 0, 6, 0, 7, 0, 8, 0, 1, 0, 9, 0, 10, 0, 11,
  0, 12, 0, 13, 0, 14, 0, 15, 0, 15, 0, 15, 0, 16, 0, 17, 0, 15, 0, 15, 0, 18, 0,
  19, 0, 20, 0, 21, 0, 22, 0, 23, 0, 24, 0, 15, 0, 25, 0, 15, 0, 15, 0, 15, 0, 26,
  0, 27, 0, 13, 0, 13, 0, 13, 0, 13, 0, 28, 0, 13, 0, 29, 0, 30, 0, 31, 0, 32, 0,
  1, 0, 33, 0, 33, 0, 33, 0, 33, 0, 33, 0, 33, 0, 33, 0, 34, 0, 35, 0, 36, 0, 37,
  0, 13, 0, 38, 0, 39, 0, 15, 0, 40, 0, 11, 0, 11, 0, 11, 0, 13, 0, 13, 0, 13, 0,
  15, 0, 15, 0, 41, 0, 15, 0, 15, 0, 15, 0, 42, 0, 15, 0, 15, 0, 15, 0, 15, 0, 15,
  0, 15, 0, 4, 0, 11, 0, 43, 0, 13, 0, 13, 0, 44, 0, 45, 0, 33, 0, 46, 0, 47, 0,
  48, 0, 49, 0, 50, 0, 51, 0, 52, 0, 48, 0, 48, 0, 53, 0, 33, 0, 54, 0, 55, 0, 48,
  0, 48, 0, 48, 0, 48, 0, 48, 0, 56, 0, 57, 0, 58, 0, 59, 0, 60, 0, 48, 0, 33, 0,
  61, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 62, 0, 63, 0, 64, 0, 48, 0, 53, 0, 65,
  0, 48, 0, 66, 0, 67, 0, 68, 0, 48, 0, 69, 0, 70, 0, 48, 0, 71, 0, 72, 0, 48, 0,
  48, 0, 73, 0, 33, 0, 74, 0, 33, 0, 75, 0, 48, 0, 48, 0, 76, 0, 33, 0, 77, 0, 78,
  0, 79, 0, 80, 0, 81, 0, 82, 0, 83, 0, 84, 0, 85, 0, 86, 0, 87, 0, 88, 0, 81, 0,
  82, 0, 89, 0, 90, 0, 91, 0, 92, 0, 93, 0, 94, 0, 95, 0, 82, 0, 96, 0, 97, 0, 98,
  0, 86, 0, 99, 0, 100, 0, 81, 0, 82, 0, 96, 0, 101, 0, 102, 0, 86, 0, 103, 0, 104,
  0, 105, 0, 106, 0, 107, 0, 108, 0, 109, 0, 92, 0, 1, 0, 110, 0, 111, 0, 82, 0,
  112, 0, 113, 0, 114, 0, 86, 0, 1, 0, 115, 0, 111, 0, 82, 0, 116, 0, 113, 0, 117,
  0, 86, 0, 118, 0, 119, 0, 111, 0, 48, 0, 120, 0, 121, 0, 122, 0, 86, 0, 123, 0,
  124, 0, 125, 0, 48, 0, 126, 0, 127, 0, 128, 0, 92, 0, 129, 0, 79, 0, 48, 0, 48,
  0, 130, 0, 131, 0, 132, 0, 1, 0, 1, 0, 133, 0, 48, 0, 134, 0, 135, 0, 136, 0, 137,
  0, 1, 0, 1, 0, 98, 0, 138, 0, 132, 0, 139, 0, 71, 0, 48, 0, 140, 0, 45, 0, 141,
  0, 142, 0, 33, 0, 143, 0, 144, 0, 1, 0, 1, 0, 1, 0, 48, 0, 48, 0, 53, 0, 145, 0,
  146, 0, 147, 0, 148, 0, 149, 0, 150, 0, 151, 0, 11, 0, 11, 0, 152, 0, 48, 0, 48,
  0, 153, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0,
  48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 154, 0, 155,
  0, 48, 0, 48, 0, 154, 0, 48, 0, 48, 0, 156, 0, 157, 0, 158, 0, 48, 0, 48, 0, 48,
  0, 157, 0, 48, 0, 48, 0, 48, 0, 159, 0, 160, 0, 1, 0, 48, 0, 1, 0, 11, 0, 11, 0,
  11, 0, 11, 0, 11, 0, 161, 0, 79, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48,
  0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0,
  48, 0, 48, 0, 48, 0, 162, 0, 48, 0, 163, 0, 164, 0, 48, 0, 48, 0, 48, 0, 48, 0,
  165, 0, 166, 0, 48, 0, 167, 0, 48, 0, 168, 0, 48, 0, 169, 0, 170, 0, 171, 0, 48,
  0, 48, 0, 48, 0, 172, 0, 33, 0, 173, 0, 132, 0, 1, 0, 174, 0, 132, 0, 48, 0, 48,
  0, 48, 0, 48, 0, 48, 0, 166, 0, 175, 0, 48, 0, 176, 0, 48, 0, 48, 0, 48, 0, 48,
  0, 177, 0, 48, 0, 178, 0, 179, 0, 179, 0, 180, 0, 48, 0, 181, 0, 182, 0, 48, 0,
  48, 0, 183, 0, 48, 0, 184, 0, 185, 0, 1, 0, 1, 0, 48, 0, 186, 0, 48, 0, 48, 0,
  48, 0, 187, 0, 33, 0, 188, 0, 132, 0, 132, 0, 189, 0, 33, 0, 33, 0, 33, 0, 33,
  0, 190, 0, 191, 0, 48, 0, 48, 0, 172, 0, 192, 0, 193, 0, 194, 0, 195, 0, 196, 0,
  48, 0, 197, 0, 64, 0, 48, 0, 48, 0, 62, 0, 198, 0, 48, 0, 48, 0, 172, 0, 199, 0,
  200, 0, 64, 0, 48, 0, 201, 0, 202, 0, 48, 0, 48, 0, 203, 0, 1, 0, 204, 0, 205,
  0, 206, 0, 13, 0, 13, 0, 13, 0, 13, 0, 13, 0, 13, 0, 13, 0, 13, 0, 13, 0, 13, 0,
  13, 0, 13, 0, 33, 0, 33, 0, 33, 0, 33, 0, 15, 0, 15, 0, 15, 0, 15, 0, 15, 0, 15,
  0, 15, 0, 15, 0, 15, 0, 207, 0, 15, 0, 15, 0, 15, 0, 15, 0, 15, 0, 15, 0, 208,
  0, 209, 0, 208, 0, 208, 0, 209, 0, 210, 0, 208, 0, 211, 0, 208, 0, 208, 0, 208,
  0, 212, 0, 213, 0, 214, 0, 215, 0, 213, 0, 216, 0, 217, 0, 218, 0, 219, 0, 220,
  0, 221, 0, 222, 0, 223, 0, 224, 0, 13, 0, 1, 0, 1, 0, 1, 0, 33, 0, 33, 0, 190,
  0, 225, 0, 226, 0, 227, 0, 228, 0, 229, 0, 1, 0, 11, 0, 13, 0, 230, 0, 1, 0, 1,
  0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
  1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 231, 0, 1, 0, 232, 0, 1, 0, 1,
  0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
  1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 233, 0, 11, 0, 13, 0, 234,
  0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 235, 0, 236, 0, 237, 0, 1, 0, 1, 0, 1, 0,
  1, 0, 238, 0, 1, 0, 239, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
  0, 240, 0, 241, 0, 1, 0, 1, 0, 1, 0, 231, 0, 1, 0, 242, 0, 11, 0, 11, 0, 11, 0,
  13, 0, 13, 0, 13, 0, 243, 0, 244, 0, 15, 0, 15, 0, 15, 0, 15, 0, 15, 0, 15, 0,
  245, 0, 246, 0, 13, 0, 13, 0, 247, 0, 48, 0, 48, 0, 48, 0, 248, 0, 249, 0, 48,
  0, 250, 0, 251, 0, 251, 0, 251, 0, 251, 0, 33, 0, 33, 0, 252, 0, 242, 0, 253, 0,
  254, 0, 255, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
  1, 2, 1, 3, 1, 4, 1, 5, 0, 79, 0, 48, 0, 48, 0, 48, 0, 48, 1, 6, 0, 79, 0, 48,
  0, 48, 0, 48, 0, 48, 1, 7, 1, 8, 0, 48, 0, 48, 0, 79, 0, 48, 0, 48, 0, 48, 0, 48,
  0, 178, 0, 1, 0, 48, 0, 48, 0, 1, 0, 1, 0, 1, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48,
  0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 1, 0, 1, 0, 1, 0, 1,
  0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 140, 0, 1, 0, 1, 0,
  1, 0, 1, 0, 48, 0, 48, 1, 9, 1, 10, 0, 48, 1, 11, 0, 1, 0, 15, 0, 15, 1, 12, 1,
  13, 0, 15, 1, 14, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 1, 15, 0, 1, 1, 16, 1, 17,
  1, 18, 0, 15, 0, 15, 0, 15, 1, 19, 1, 20, 1, 21, 1, 22, 1, 23, 1, 24, 1, 25, 1,
  26, 1, 27, 1, 28, 0, 48, 1, 29, 0, 1, 0, 48, 0, 48, 0, 48, 1, 30, 1, 31, 0, 48,
  0, 48, 0, 172, 1, 32, 0, 132, 0, 33, 1, 33, 0, 64, 0, 48, 1, 34, 0, 48, 1, 35,
  0, 198, 0, 48, 0, 140, 0, 75, 0, 48, 0, 48, 1, 36, 1, 37, 0, 132, 1, 38, 1, 39,
  0, 48, 0, 48, 1, 40, 1, 41, 1, 42, 1, 43, 0, 48, 1, 44, 0, 48, 0, 48, 0, 48, 1,
  45, 1, 46, 1, 47, 0, 53, 1, 48, 1, 49, 1, 50, 0, 251, 0, 13, 0, 13, 1, 51, 1, 52,
  0, 13, 0, 13, 0, 13, 0, 13, 0, 13, 0, 48, 0, 48, 1, 53, 0, 132, 0, 48, 0, 48, 0,
  48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 50, 0, 48, 1, 54, 0, 48,
  0, 48, 0, 183, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 181, 0, 48, 0, 48,
  0, 48, 0, 48, 0, 48, 0, 48, 0, 184, 0, 1, 0, 1, 1, 55, 1, 56, 0, 82, 1, 57, 1,
  58, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 31, 0, 1, 1, 59, 0, 48, 0, 48,
  0, 48, 0, 48, 0, 48, 1, 60, 0, 1, 0, 48, 0, 48, 0, 48, 0, 48, 1, 61, 0, 48, 0,
  48, 1, 62, 0, 1, 0, 1, 0, 183, 0, 33, 1, 63, 0, 33, 1, 64, 1, 65, 1, 66, 1, 67,
  1, 68, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 1, 69, 1, 70, 0, 3, 0,
  4, 0, 5, 0, 6, 1, 71, 1, 72, 0, 48, 0, 48, 1, 73, 0, 48, 0, 178, 1, 74, 1, 75,
  0, 1, 1, 76, 1, 77, 0, 48, 0, 158, 1, 78, 0, 181, 0, 181, 0, 1, 0, 1, 0, 48, 0,
  48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 70, 0, 1, 0, 1, 0, 1, 0, 1, 0, 48, 0,
  48, 0, 48, 0, 182, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 79, 0, 1, 0, 1,
  0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 48, 0, 140, 0, 48, 0, 48, 0, 48, 0, 98,
  0, 190, 0, 1, 0, 48, 0, 48, 1, 80, 0, 48, 0, 70, 0, 48, 0, 48, 1, 81, 0, 48, 0,
  181, 0, 48, 0, 48, 1, 82, 1, 83, 0, 1, 0, 1, 0, 11, 0, 11, 1, 84, 0, 13, 0, 13,
  0, 48, 0, 48, 0, 48, 0, 48, 0, 181, 0, 132, 0, 11, 0, 11, 1, 85, 0, 13, 1, 86,
  0, 48, 0, 48, 1, 62, 0, 48, 0, 48, 0, 48, 0, 50, 1, 87, 1, 87, 1, 88, 1, 89, 1,
  90, 0, 48, 0, 48, 0, 48, 0, 50, 0, 48, 0, 48, 0, 48, 0, 250, 0, 48, 0, 177, 1,
  62, 0, 1, 1, 91, 0, 13, 0, 13, 1, 92, 0, 1, 0, 1, 0, 1, 0, 1, 1, 93, 0, 48, 0,
  48, 1, 94, 0, 48, 0, 177, 0, 48, 0, 250, 0, 48, 0, 178, 0, 1, 0, 1, 0, 1, 0, 1,
  0, 48, 1, 95, 0, 48, 0, 177, 0, 48, 0, 184, 0, 48, 0, 184, 0, 1, 0, 1, 0, 48, 0,
  48, 0, 48, 1, 96, 0, 1, 0, 1, 0, 1, 0, 1, 1, 97, 1, 98, 0, 48, 1, 99, 0, 1, 1,
  100, 0, 48, 0, 140, 0, 48, 0, 140, 0, 1, 0, 1, 0, 71, 0, 48, 1, 101, 0, 1, 0, 48,
  0, 48, 0, 48, 0, 177, 0, 48, 0, 177, 0, 48, 1, 102, 0, 48, 0, 31, 0, 1, 0, 1, 0,
  1, 0, 1, 0, 1, 0, 1, 0, 48, 0, 48, 0, 48, 0, 48, 0, 166, 0, 1, 0, 1, 0, 1, 0, 11,
  0, 11, 0, 11, 1, 103, 0, 13, 0, 13, 0, 13, 1, 104, 0, 48, 0, 48, 1, 105, 0, 132,
  0, 64, 0, 11, 1, 106, 0, 13, 1, 107, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
  0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 48, 0, 48, 1, 108, 0, 31, 1,
  109, 1, 110, 0, 178, 0, 33, 0, 48, 0, 140, 1, 111, 0, 48, 0, 62, 1, 112, 0, 1,
  0, 48, 1, 113, 0, 1, 0, 1, 0, 48, 0, 182, 0, 1, 0, 48, 0, 250, 0, 196, 0, 48, 0,
  48, 1, 114, 1, 115, 0, 1, 0, 92, 1, 116, 0, 196, 0, 48, 0, 48, 1, 117, 1, 118,
  0, 48, 0, 166, 0, 132, 0, 196, 0, 48, 1, 35, 1, 119, 1, 120, 0, 48, 0, 48, 1, 121,
  0, 196, 0, 48, 0, 48, 1, 36, 1, 122, 1, 123, 0, 1, 0, 1, 0, 48, 0, 95, 1, 124,
  1, 125, 1, 126, 0, 1, 0, 1, 0, 1, 1, 127, 1, 128, 1, 129, 0, 48, 0, 48, 1, 130,
  1, 131, 0, 132, 1, 132, 0, 81, 0, 82, 1, 133, 0, 101, 1, 134, 1, 135, 1, 136, 1,
  137, 0, 48, 0, 48, 1, 138, 1, 139, 1, 140, 1, 141, 0, 1, 0, 48, 0, 48, 0, 48, 1,
  142, 1, 143, 1, 144, 0, 31, 0, 1, 0, 48, 0, 48, 0, 48, 0, 33, 1, 145, 0, 132, 0,
  1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 48, 0, 48, 1, 130,
  1, 146, 1, 147, 1, 148, 0, 1, 0, 1, 0, 48, 0, 48, 0, 48, 0, 33, 1, 149, 0, 132,
  0, 1, 0, 1, 0, 48, 0, 48, 0, 53, 1, 150, 0, 132, 1, 151, 1, 152, 0, 1, 0, 48, 0,
  159, 0, 179, 1, 153, 0, 250, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
  1, 0, 1, 0, 1, 0, 48, 0, 48, 1, 124, 1, 131, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
  0, 11, 0, 11, 0, 13, 0, 13, 0, 132, 1, 154, 1, 155, 1, 156, 0, 48, 1, 157, 1, 158,
  0, 132, 0, 1, 0, 1, 0, 1, 0, 1, 1, 159, 0, 48, 0, 48, 1, 160, 1, 161, 0, 1, 1,
  162, 0, 48, 0, 48, 1, 163, 1, 164, 1, 165, 0, 48, 0, 48, 0, 73, 1, 166, 0, 1, 0,
  48, 0, 48, 0, 48, 0, 48, 0, 166, 1, 167, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 168,
  0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 48, 0, 48, 0, 98, 0, 132, 0, 82, 0, 48, 1, 130,
  1, 169, 1, 170, 0, 132, 0, 1, 1, 61, 0, 48, 1, 171, 0, 142, 1, 41, 0, 1, 0, 1,
  0, 1, 0, 1, 1, 172, 0, 48, 0, 48, 1, 173, 1, 174, 0, 132, 1, 175, 0, 48, 1, 176,
  1, 177, 0, 132, 0, 48, 0, 48, 0, 183, 0, 132, 0, 63, 0, 1, 0, 1, 0, 1, 0, 1, 0,
  1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 48, 1, 178, 1, 179,
  0, 111, 0, 48, 1, 180, 1, 181, 1, 182, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 98, 0,
  1, 0, 1, 0, 1, 0, 1, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0,
  48, 0, 184, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 48, 0, 48, 0, 48, 0, 48, 0,
  48, 0, 48, 0, 48, 1, 8, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48,
  0, 48, 0, 48, 0, 48, 0, 48, 0, 50, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0,
  48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48,
  0, 48, 0, 250, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
  0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 98,
  0, 48, 0, 48, 0, 48, 1, 183, 1, 184, 1, 185, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48,
  0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0,
  48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 70, 0, 48, 0, 48,
  0, 48, 0, 48, 0, 250, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
  1, 0, 1, 0, 48, 1, 73, 0, 33, 0, 132, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
  0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 48, 0, 48, 0, 48, 0, 166, 0, 48, 0, 178, 1, 186,
  0, 48, 0, 48, 0, 48, 0, 48, 0, 178, 0, 132, 0, 48, 0, 181, 1, 187, 0, 48, 0, 48,
  0, 48, 1, 115, 1, 188, 0, 132, 1, 59, 1, 189, 0, 48, 0, 1, 0, 1, 0, 1, 0, 1, 0,
  1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 48, 0, 48, 1, 10, 0, 132, 0, 1, 0, 1,
  0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 11, 0, 11, 0, 13,
  0, 13, 0, 1, 1, 190, 0, 11, 1, 191, 0, 13, 1, 192, 0, 1, 0, 1, 0, 48, 0, 48, 0,
  48, 0, 48, 1, 193, 1, 194, 0, 33, 0, 33, 1, 195, 0, 196, 0, 1, 0, 1, 0, 1, 0, 1,
  1, 196, 1, 197, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48,
  0, 48, 0, 48, 0, 48, 0, 48, 0, 70, 0, 1, 1, 154, 0, 48, 0, 48, 0, 98, 0, 1, 0,
  1, 0, 1, 0, 1, 0, 1, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 1, 102, 0,
  48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 31, 0, 48, 0, 48,
  0, 48, 1, 102, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
  0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 198, 0, 48, 0, 48, 0, 166, 1, 199, 0, 1,
  1, 200, 1, 201, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48,
  0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0,
  48, 0, 48, 0, 48, 0, 48, 0, 183, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 70,
  0, 140, 0, 166, 1, 202, 1, 203, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
  0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 132,
  0, 33, 0, 33, 1, 204, 0, 33, 1, 41, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
  1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 205, 0, 1, 0, 1, 0, 1, 1, 206, 1, 207, 1, 208,
  0, 1, 1, 209, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 210, 1,
  211, 0, 1, 0, 1, 1, 212, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 11, 1, 213,
  0, 13, 1, 214, 1, 215, 1, 216, 0, 208, 0, 11, 1, 217, 1, 218, 1, 219, 1, 220, 1,
  221, 0, 11, 1, 213, 0, 13, 1, 222, 1, 223, 0, 13, 1, 224, 1, 225, 1, 226, 1, 227,
  0, 11, 1, 228, 0, 13, 0, 11, 1, 213, 0, 13, 1, 214, 1, 215, 0, 13, 0, 208, 0, 11,
  1, 217, 1, 227, 0, 11, 1, 228, 0, 13, 0, 11, 1, 213, 0, 13, 1, 229, 0, 11, 1, 226,
  1, 51, 1, 230, 1, 231, 0, 13, 1, 232, 0, 11, 1, 233, 1, 234, 1, 235, 1, 236, 0,
  13, 1, 237, 0, 11, 1, 238, 0, 13, 1, 239, 1, 151, 1, 151, 1, 151, 0, 33, 0, 33,
  0, 33, 1, 240, 0, 33, 0, 33, 0, 143, 1, 241, 1, 242, 0, 194, 0, 45, 0, 1, 0, 1,
  0, 1, 0, 1, 0, 1, 1, 243, 0, 13, 0, 13, 0, 13, 1, 244, 1, 245, 1, 246, 1, 18, 0,
  31, 1, 55, 0, 1, 0, 1, 1, 247, 0, 13, 0, 13, 0, 13, 1, 169, 1, 248, 1, 249, 0,
  13, 0, 13, 0, 13, 0, 211, 0, 1, 0, 249, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
  1, 0, 48, 0, 48, 0, 140, 1, 250, 1, 251, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
  1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
  0, 48, 1, 252, 0, 1, 0, 48, 0, 48, 1, 124, 0, 132, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
  0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 48, 1, 124, 0, 132, 0, 1, 0,
  1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 48, 1,
  73, 1, 253, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
  1, 0, 48, 0, 178, 1, 254, 1, 255, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
  1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 2, 0, 0, 178, 0, 48, 0, 48, 0, 48, 0, 48,
  0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 182, 1, 41, 0, 1, 0,
  1, 0, 11, 0, 11, 1, 217, 0, 13, 2, 1, 0, 132, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
  1, 0, 1, 0, 1, 0, 1, 0, 1, 2, 2, 0, 48, 2, 3, 2, 4, 2, 5, 2, 6, 2, 7, 2, 8, 2,
  9, 0, 183, 2, 10, 0, 183, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 11, 2, 11,
  0, 11, 2, 11, 0, 11, 2, 11, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
  1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 2, 12, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,
  1, 0, 1, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48,
  0, 48, 0, 48, 0, 48, 0, 48, 0, 1, 0, 1, 0, 48, 0, 178, 0, 48, 0, 48, 0, 48, 0,
  48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48,
  0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 181, 0, 48, 0,
  48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48,
  0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 98, 0, 48, 0, 48, 0, 48, 0, 48, 0,
  48, 0, 48, 0, 181, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
  0, 48, 0, 181, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
  0, 1, 0, 1, 0, 1, 0, 48, 0, 48, 0, 48, 0, 48, 0, 70, 0, 48, 0, 48, 0, 48, 0, 48,
  0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0, 48, 0,
  48, 0, 48, 0, 48, 0, 184, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 48,
  0, 48, 0, 48, 0, 48, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,
  0, 1, 0, 1,
]

///|
/// Sentence_Break trie leaf level: values in blocks of 16
let sentence_break_trie_leaf : Bytes = [
  0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 2, 6, 6, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  0, 0, 0, 0, 0, 6, 12, 13, 0, 0, 0, 0, 13, 13, 13, 0, 0, 14, 14, 11, 0, 10, 10,
  10, 10, 10, 10, 10, 10, 10, 10, 14, 14, 0, 0, 0, 12, 0, 8, 8, 8, 8, 8, 8, 8, 8,
  8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 13, 0, 13, 0, 0, 0, 7, 7,
  7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 13, 0,
  13, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0,
  0, 0, 0, 7, 13, 0, 5, 0, 0, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 7, 13, 0, 0, 0, 0, 8,
  8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 0, 8, 8, 8, 8,
  8, 8, 8, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
  0, 7, 7, 7, 7, 7, 7, 7, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7,
  8, 7, 8, 7, 8, 7, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 7, 8, 7, 8,
  7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 8, 7, 8, 7, 8, 7, 7, 7, 8, 8, 7, 8, 7, 8, 8,
  7, 8, 8, 8, 7, 7, 8, 8, 8, 8, 7, 8, 8, 7, 8, 8, 8, 7, 7, 7, 8, 8, 7, 8, 8, 7, 8,
  7, 8, 7, 8, 8, 7, 8, 7, 7, 8, 7, 8, 8, 7, 8, 8, 8, 7, 8, 7, 8, 8, 7, 7, 9, 8, 7,
  7, 7, 9, 9, 9, 9, 8, 8, 7, 8, 8, 7, 8, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7,
  8, 7, 8, 7, 7, 8, 7, 7, 8, 8, 7, 8, 7, 8, 8, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7,
  7, 7, 7, 7, 7, 7, 8, 8, 7, 8, 8, 7, 7, 8, 7, 8, 8, 8, 8, 7, 8, 7, 8, 7, 8, 7, 8,
  7, 7, 7, 7, 7, 9, 9, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 9,
  9, 9, 9, 9, 9, 9, 7, 7, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 0,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 7, 7, 7, 7, 0, 0, 0, 0, 0, 0, 0, 9, 0, 9, 0,
  4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 8, 7, 8, 7, 9, 0, 8, 7, 0, 0, 7,
  7, 7, 7, 14, 8, 0, 0, 0, 0, 0, 0, 8, 0, 8, 8, 8, 0, 8, 0, 8, 8, 7, 8, 8, 8, 8,
  8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 0, 8, 8, 8, 8, 8, 8, 8, 8, 8, 7, 7, 7, 7,
  7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 8, 7, 7, 8, 8, 8, 7, 7, 7, 8, 7, 8,
  7, 8, 7, 8, 7, 7, 7, 7, 7, 8, 7, 0, 8, 7, 8, 8, 7, 7, 8, 8, 8, 8, 7, 0, 4, 4, 4,
  4, 4, 4, 4, 8, 7, 8, 7, 8, 7, 8, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 7, 8,
  8, 8, 8, 8, 8, 8, 0, 7, 9, 0, 0, 0, 14, 0, 0, 7, 7, 7, 7, 7, 7, 7, 7, 7, 12, 0,
  7, 7, 0, 0, 0, 0, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4,
  4, 4, 4, 4, 4, 4, 4, 4, 0, 4, 0, 4, 4, 0, 4, 4, 0, 4, 4, 4, 0, 0, 0, 0, 0, 0, 9,
  9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0,
  0, 0, 0, 9, 9, 9, 9, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 10, 10, 10, 10, 10,
  10, 0, 0, 0, 0, 0, 0, 14, 14, 0, 0, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 0, 5, 12,
  12, 12, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 10, 10, 10, 10, 10, 10,
  10, 10, 10, 10, 0, 10, 10, 0, 9, 9, 4, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 12, 9, 4, 4, 4, 4, 4, 4, 4, 10, 0, 4, 4, 4, 4, 4, 4, 9, 9, 4, 4,
  0, 4, 4, 4, 4, 9, 9, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 9, 9, 9, 0, 0, 9,
  12, 12, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 9, 4, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 9, 9, 0,
  0, 14, 12, 9, 0, 0, 4, 0, 0, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 9, 4, 4, 4, 4, 4, 4,
  4, 4, 4, 9, 4, 4, 4, 9, 4, 4, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 12, 0, 12, 0,
  0, 0, 12, 12, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 4, 4, 4, 0, 0, 0, 0, 9, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 9, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 0, 9, 9, 9, 9, 9, 9, 9,
  10, 10, 0, 0, 0, 0, 0, 4, 4, 4, 4, 4, 4, 4, 4, 4, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  4, 4, 4, 4, 4, 4, 4, 4, 10, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4,
  9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 4, 4, 4, 9, 4,
  4, 9, 4, 4, 4, 4, 4, 4, 4, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 4, 4, 12, 12, 10, 10,
  10, 10, 10, 10, 10, 10, 10, 10, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 4, 4, 4, 0, 9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 9, 9, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 9, 9, 9, 9, 9, 9, 9, 0, 9, 0, 0, 0,
  9, 9, 9, 9, 0, 0, 4, 9, 4, 4, 4, 4, 4, 4, 4, 0, 0, 4, 4, 0, 0, 4, 4, 4, 9, 0, 0,
  0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 9, 9, 0, 9, 9, 9, 4, 4, 0, 0, 10, 10, 10, 10,
  10, 10, 10, 10, 10, 10, 9, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 0, 4, 0, 0, 4, 4,
  4, 0, 9, 9, 9, 9, 9, 9, 0, 0, 0, 0, 9, 9, 0, 9, 9, 0, 9, 9, 0, 9, 9, 0, 0, 4, 0,
  4, 4, 4, 4, 4, 0, 0, 0, 0, 4, 4, 0, 0, 4, 4, 4, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0,
  9, 9, 9, 9, 0, 9, 0, 0, 0, 0, 0, 0, 0, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
  4, 4, 9, 9, 9, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 0, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 0, 9, 9, 9, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 9, 9, 0, 9,
  9, 9, 9, 9, 0, 0, 4, 9, 4, 4, 4, 4, 4, 4, 4, 4, 0, 4, 4, 4, 0, 4, 4, 4, 0, 0, 9,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 4, 4,
  4, 4, 4, 4, 0, 4, 4, 4, 0, 9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 9, 4, 4, 4, 4, 4, 0, 0,
  4, 4, 0, 0, 4, 4, 4, 0, 0, 0, 0, 0, 4, 4, 4, 4, 4, 0, 0, 0, 0, 9, 9, 0, 9, 0, 9,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 9, 0, 9, 9, 9, 9, 9, 9, 0, 0,
  0, 9, 9, 9, 0, 9, 9, 9, 9, 0, 0, 0, 9, 9, 0, 9, 0, 9, 9, 0, 0, 0, 9, 9, 0, 0, 0,
  9, 9, 9, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 0, 0, 4, 4, 4, 4, 4,
  0, 0, 0, 4, 4, 4, 0, 4, 4, 4, 4, 0, 0, 9, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0,
  0, 0, 4, 4, 4, 4, 4, 9, 9, 9, 9, 9, 9, 9, 9, 0, 9, 9, 9, 0, 9, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 4, 9, 4, 4, 4, 4, 4, 4,
  4, 0, 4, 4, 4, 0, 4, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 4, 4, 0, 9, 9, 9, 0, 9, 9, 0,
  0, 9, 4, 4, 4, 0, 9, 9, 9, 9, 9, 9, 9, 9, 0, 9, 9, 9, 9, 9, 9, 0, 9, 9, 9, 9, 9,
  0, 0, 4, 9, 4, 4, 0, 0, 0, 0, 0, 4, 4, 0, 0, 0, 0, 0, 9, 9, 9, 0, 0, 9, 9, 4, 0,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 4, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 9, 9,
  9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 4, 4, 9, 4, 4, 4, 4, 4, 4, 4, 0, 4, 4, 4, 0, 4,
  4, 4, 4, 9, 0, 0, 0, 0, 0, 9, 9, 9, 4, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0,
  0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 0, 4, 4, 4, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 9, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  0, 9, 0, 0, 9, 9, 9, 9, 9, 9, 9, 0, 0, 0, 4, 0, 0, 0, 0, 4, 4, 4, 4, 4, 4, 0, 4,
  0, 4, 4, 4, 4, 4, 4, 4, 4, 0, 0, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 4,
  9, 9, 4, 4, 4, 4, 4, 4, 4, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 4,
  4, 4, 0, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 9, 9, 0,
  9, 0, 9, 9, 9, 9, 9, 0, 9, 9, 9, 9, 9, 9, 9, 9, 0, 9, 0, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 9, 4, 9, 9, 4, 4, 4, 4, 4, 4, 4, 4, 4, 9, 0, 0, 9, 9, 9, 9, 9, 0, 9, 0, 4, 4,
  4, 4, 4, 4, 4, 0, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 0, 0, 9, 9, 9, 9, 0,
  0, 0, 0, 0, 0, 0, 0, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 4, 0, 4, 13,
  13, 13, 13, 4, 4, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 0, 4, 4, 4, 4, 4,
  0, 4, 4, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 0, 4, 4, 4, 4, 4, 4, 4,
  4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0,
  0, 0, 0, 0, 0, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 9, 10, 10, 10, 10,
  10, 10, 10, 10, 10, 10, 12, 12, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 9, 9,
  9, 9, 4, 4, 4, 9, 4, 4, 4, 9, 9, 4, 4, 4, 4, 4, 4, 4, 9, 9, 9, 4, 4, 4, 4, 9, 9,
  9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 9, 4, 10,
  10, 10, 10, 10, 10, 10, 10, 10, 10, 4, 4, 4, 4, 0, 0, 8, 8, 8, 8, 8, 8, 0, 8, 0,
  0, 0, 0, 0, 8, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 7, 9, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 0, 9, 9, 9, 9, 0, 0, 9, 9, 9, 9, 9, 9, 9, 0, 9, 0, 9, 9, 9, 9, 0,
  0, 9, 0, 9, 9, 9, 9, 0, 0, 9, 9, 9, 9, 9, 9, 9, 0, 9, 0, 9, 9, 9, 9, 0, 0, 9, 9,
  9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 9, 0, 0, 4, 4, 4, 0, 0, 12, 0, 0, 0, 0, 12, 12, 0, 0, 0, 0, 0, 0,
  0, 8, 8, 8, 8, 8, 8, 0, 0, 7, 7, 7, 7, 7, 7, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 0, 12, 9, 6, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 9, 9, 13, 13, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 0,
  9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 0, 0, 0, 0, 0, 9, 9, 4, 4, 4, 4, 0, 0, 0,
  0, 0, 0, 0, 0, 0, 9, 9, 9, 4, 4, 4, 12, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 4,
  4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0,
  9, 9, 9, 0, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 9, 4, 4, 4, 4, 4,
  4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 12, 12, 0, 9, 0, 0, 0, 0, 9, 4, 0, 0, 0, 0, 14,
  12, 0, 0, 0, 0, 14, 12, 0, 4, 4, 4, 5, 4, 9, 9, 9, 9, 9, 4, 4, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 4, 9, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 0, 0,
  0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 4, 4, 4,
  4, 4, 4, 4, 4, 4, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 12, 12, 10, 10, 10, 10, 10,
  10, 10, 10, 10, 10, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 9, 9, 9, 9,
  9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 0,
  0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 0, 0, 0, 0, 10, 10, 10, 10, 10, 10, 10,
  10, 10, 10, 10, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 0, 0, 0, 0,
  9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 0, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4,
  4, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 9, 12, 12, 12, 12, 0, 0, 0, 0, 4, 0, 0, 0,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 4, 4, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 4, 4, 4, 4, 4, 9, 9, 9, 9, 9, 9, 9, 9, 0, 12, 12, 10, 10, 10, 10, 10, 10, 10,
  10, 10, 10, 12, 12, 0, 0, 12, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 4,
  4, 4, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 12, 12, 12, 4, 4, 4, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 9, 9, 4, 4, 4, 4,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 4, 4, 4, 4, 4, 0, 0, 0, 12, 12, 0,
  0, 0, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 9, 9, 9, 9, 12, 12, 7, 7, 7, 7, 7, 7, 7, 7, 7, 8, 7, 0, 0, 0, 0,
  0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 9, 9, 9, 4, 4, 4, 0, 4, 4, 4, 4, 4, 4,
  4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 9, 9, 9, 9, 4, 9, 9, 9, 9, 9, 9, 4,
  9, 9, 4, 4, 4, 9, 0, 0, 0, 0, 0, 8, 7, 8, 7, 8, 7, 7, 7, 7, 7, 7, 7, 7, 7, 8, 7,
  7, 7, 7, 7, 7, 7, 7, 7, 8, 8, 8, 8, 8, 8, 8, 8, 7, 7, 7, 7, 7, 7, 0, 0, 8, 8, 8,
  8, 8, 8, 0, 0, 7, 7, 7, 7, 7, 7, 7, 7, 0, 8, 0, 8, 0, 8, 0, 8, 7, 7, 7, 7, 7, 7,
  7, 7, 7, 7, 7, 7, 7, 7, 0, 0, 7, 7, 7, 7, 7, 0, 7, 7, 8, 8, 8, 8, 8, 0, 7, 0, 0,
  0, 7, 7, 7, 0, 7, 7, 8, 8, 8, 8, 8, 0, 0, 0, 7, 7, 7, 7, 0, 0, 7, 7, 8, 8, 8, 8,
  0, 0, 0, 0, 7, 7, 7, 7, 7, 7, 7, 7, 8, 8, 8, 8, 8, 0, 0, 0, 6, 6, 6, 6, 6, 6, 6,
  6, 6, 6, 6, 5, 4, 4, 5, 5, 0, 0, 0, 14, 14, 0, 0, 0, 13, 13, 13, 13, 13, 13, 13,
  13, 0, 0, 0, 0, 11, 0, 0, 0, 3, 3, 5, 5, 5, 5, 5, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  13, 13, 0, 12, 12, 0, 0, 0, 0, 0, 0, 0, 13, 13, 12, 12, 12, 0, 0, 0, 0, 0, 0, 0,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 5, 5, 5, 5, 5, 0, 5, 5, 5, 5, 5, 5,
  5, 5, 5, 5, 0, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 13, 13, 7, 0, 0, 0, 0, 0, 0,
  0, 0, 0, 0, 0, 0, 0, 13, 13, 9, 0, 0, 8, 0, 0, 0, 0, 8, 0, 0, 7, 8, 8, 8, 7, 7,
  8, 8, 8, 7, 0, 8, 0, 0, 0, 8, 8, 8, 8, 8, 0, 0, 0, 0, 0, 0, 8, 0, 8, 0, 8, 0, 8,
  8, 8, 8, 0, 7, 8, 8, 8, 8, 7, 9, 9, 9, 9, 7, 0, 0, 7, 7, 8, 8, 0, 0, 0, 0, 0, 8,
  7, 7, 7, 7, 0, 0, 0, 0, 7, 0, 9, 9, 9, 8, 7, 9, 9, 9, 9, 0, 0, 0, 0, 0, 0, 0, 0,
  0, 0, 0, 0, 0, 0, 0, 13, 13, 13, 13, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 13,
  13, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 7, 7, 7, 7,
  7, 7, 7, 7, 7, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 13, 13, 13,
  13, 13, 13, 0, 0, 0, 0, 0, 0, 0, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
  13, 13, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 13, 13, 0, 0, 0, 0, 0, 0,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 0, 0, 0, 13,
  13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
  13, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 13, 13, 0, 0, 8, 7,
  8, 8, 8, 7, 7, 8, 7, 8, 7, 8, 7, 8, 8, 8, 8, 7, 8, 7, 7, 8, 7, 7, 7, 7, 7, 7, 7,
  7, 8, 8, 8, 7, 8, 7, 7, 0, 0, 0, 0, 0, 0, 8, 7, 8, 7, 4, 4, 4, 8, 7, 0, 0, 0, 0,
  0, 12, 12, 12, 0, 0, 0, 0, 7, 7, 7, 7, 7, 7, 0, 7, 0, 0, 0, 0, 0, 7, 0, 0, 9, 9,
  9, 9, 9, 9, 9, 9, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  0, 0, 4, 9, 9, 9, 9, 9, 9, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 0,
  9, 9, 9, 9, 9, 9, 9, 0, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
  0, 0, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 0, 0, 0, 0, 12, 9, 0, 0, 0, 0, 0,
  0, 0, 0, 0, 0, 0, 0, 12, 0, 0, 0, 0, 0, 13, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  0, 0, 0, 0, 12, 12, 13, 13, 13, 13, 13, 13, 13, 13, 0, 0, 0, 12, 12, 13, 13, 0,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 14, 12, 0, 0, 9, 9, 9, 13, 13, 13, 13, 13,
  13, 13, 13, 13, 13, 0, 0, 13, 13, 13, 13, 13, 13, 13, 13, 0, 13, 13, 13, 0, 9,
  9, 9, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 4, 0, 9, 9, 9, 9, 9, 0, 0, 9, 9, 9, 9, 9,
  0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 0, 0, 4, 4, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 0, 9, 9, 9, 9, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 12, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  0, 12, 12, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 9, 9, 0, 0, 0, 0, 8, 7, 8, 7,
  8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 9, 4, 4, 4, 4, 0, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 0,
  9, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 7, 7, 4, 4, 4, 4, 0, 12, 0, 0, 0, 12, 0,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 8, 7,
  8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 7, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8,
  7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 8, 7, 8, 7, 8, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 9, 0,
  0, 8, 7, 8, 7, 9, 8, 7, 8, 7, 7, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8,
  7, 8, 7, 8, 7, 8, 8, 8, 8, 8, 7, 8, 8, 8, 8, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7,
  8, 7, 8, 7, 8, 8, 8, 8, 7, 8, 7, 8, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8, 7, 8,
  7, 8, 8, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 7, 7, 7, 8,
  7, 9, 7, 7, 7, 9, 9, 9, 9, 9, 9, 9, 4, 9, 9, 9, 4, 9, 9, 9, 9, 4, 9, 9, 9, 9, 9,
  9, 9, 4, 4, 4, 4, 4, 0, 0, 0, 0, 4, 0, 0, 0, 9, 9, 9, 9, 0, 0, 12, 12, 0, 0, 0,
  0, 0, 0, 0, 0, 4, 4, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 4,
  0, 0, 0, 0, 0, 0, 0, 0, 12, 12, 4, 4, 9, 9, 9, 9, 9, 9, 0, 0, 0, 9, 0, 9, 9, 4,
  9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 4, 4, 4, 0, 12, 9, 9, 9, 9, 9, 9, 9, 4, 4, 4,
  4, 4, 4, 4, 4, 4, 9, 9, 9, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 0, 0, 0, 0,
  0, 0, 0, 12, 12, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 4, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 9, 9, 9, 9, 9, 0, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9,
  9, 9, 4, 9, 9, 9, 9, 9, 9, 9, 9, 4, 4, 0, 0, 10, 10, 10, 10, 10, 10, 10, 10, 10,
  10, 0, 0, 0, 12, 12, 12, 9, 9, 9, 9, 9, 9, 9, 0, 0, 0, 9, 4, 4, 4, 9, 9, 4, 9,
  4, 4, 4, 9, 9, 4, 4, 9, 9, 9, 9, 9, 4, 4, 9, 4, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 0, 0, 12, 12, 9, 9, 9, 4, 4,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 0, 0, 9, 9, 9, 9, 9, 9, 0, 0, 9,
  9, 9, 9, 9, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 0, 7,
  7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 0, 0, 8, 8, 0, 0, 9, 9, 9, 4, 4, 4, 4, 4,
  4, 4, 4, 12, 4, 4, 0, 0, 9, 9, 9, 9, 9, 9, 9, 0, 0, 0, 0, 9, 9, 9, 9, 9, 7, 7,
  7, 7, 7, 7, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 7, 7, 7, 7, 0, 0, 0, 0, 0,
  9, 4, 9, 9, 9, 9, 9, 9, 9, 9, 0, 9, 9, 9, 9, 9, 0, 9, 0, 9, 9, 0, 9, 9, 0, 9, 9,
  9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 13, 13, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 0, 0, 0, 0, 0, 0, 14, 14, 12, 14, 14, 12,
  12, 13, 13, 0, 0, 0, 0, 0, 0, 0, 0, 14, 14, 0, 0, 13, 13, 13, 13, 13, 13, 13, 13,
  13, 13, 13, 13, 13, 13, 13, 13, 0, 0, 13, 13, 0, 0, 0, 0, 0, 0, 0, 14, 14, 11,
  0, 14, 14, 12, 12, 14, 13, 13, 13, 13, 13, 13, 0, 0, 0, 0, 14, 0, 0, 0, 0, 0, 0,
  0, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 5, 0, 12, 0, 0, 0, 0, 0, 0, 13, 13, 0, 0, 14, 14,
  11, 0, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 13, 0, 13, 0, 13, 13, 12, 13, 13, 14, 0,
  9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 4, 4, 0,
  0, 9, 9, 9, 9, 9, 9, 0, 0, 9, 9, 9, 9, 9, 9, 0, 0, 9, 9, 9, 9, 9, 9, 0, 0, 9, 9,
  9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 5, 5, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 9, 9, 0, 9, 0, 0,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  9, 9, 9, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 0, 0, 0, 0, 0, 9, 9, 9, 9, 0, 0, 0, 0,
  9, 9, 9, 9, 9, 9, 9, 9, 0, 9, 9, 9, 9, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 8, 8,
  8, 8, 8, 8, 8, 7, 7, 7, 7, 7, 7, 7, 7, 8, 8, 8, 8, 0, 0, 0, 0, 7, 7, 7, 7, 7, 7,
  7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 0, 0, 0, 0, 8, 8, 8, 8, 8, 8, 8, 8, 8,
  8, 8, 0, 8, 8, 8, 8, 8, 8, 8, 0, 8, 8, 0, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 0, 7,
  7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 0, 7, 7, 7, 7, 7, 7, 7, 0, 7, 7, 0, 0,
  0, 7, 9, 9, 7, 7, 7, 0, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 0, 7, 7, 7, 7, 7, 7, 7, 7,
  7, 7, 7, 7, 7, 7, 9, 9, 9, 9, 9, 9, 0, 0, 9, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 0, 9, 9, 0, 0, 0, 9, 0, 0, 9, 9, 9, 9, 0, 9, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 0, 0, 0, 0, 9, 9, 9, 4, 4, 4, 0, 4, 4, 0, 0, 0, 0,
  0, 4, 4, 4, 4, 9, 9, 9, 9, 0, 9, 9, 9, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  0, 0, 4, 4, 4, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 12, 12, 0, 0, 0, 0, 0, 0, 0, 0,
  9, 9, 9, 9, 9, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 0, 0, 0, 0, 0, 0, 0, 0,
  0, 0, 0, 0, 0, 8, 8, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 7, 7, 0, 0, 0,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 9, 4, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 8,
  8, 8, 8, 8, 8, 0, 0, 0, 4, 4, 4, 4, 4, 0, 9, 7, 7, 7, 7, 7, 7, 0, 0, 0, 0, 0, 0,
  0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 4, 4, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9,
  9, 0, 0, 0, 4, 4, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 0, 0,
  0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 12, 12, 12, 12, 12, 0,
  0, 0, 0, 0, 0, 9, 9, 4, 4, 4, 4, 12, 12, 12, 12, 0, 0, 0, 0, 0, 0, 9, 9, 9, 9,
  9, 9, 9, 9, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 12, 12, 0, 0, 0, 0, 0,
  0, 0, 4, 9, 9, 4, 4, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4,
  4, 4, 0, 0, 10, 12, 12, 12, 12, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 10, 0, 0, 4, 4,
  4, 4, 4, 0, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 0, 12, 12, 12, 9, 4, 4, 9,
  0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 4, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 9, 9,
  9, 9, 12, 12, 0, 0, 4, 4, 4, 4, 12, 4, 4, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
  9, 0, 9, 0, 12, 12, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 4, 4, 4,
  4, 4, 4, 4, 12, 12, 0, 12, 12, 0, 4, 9, 9, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 0, 9, 0, 9, 9, 9, 9, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 9, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 12, 0, 0, 0, 0, 0, 0, 9, 9,
  9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 0, 0,
  0, 0, 0, 4, 4, 4, 4, 0, 9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 9, 9, 0, 9, 9, 0, 9, 9, 9,
  9, 9, 0, 4, 4, 9, 4, 4, 9, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 4,
  4, 0, 0, 4, 4, 4, 4, 4, 4, 4, 0, 0, 0, 4, 4, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 9, 0, 0, 9, 0, 9, 9, 9, 9, 9, 9, 0, 9, 4,
  4, 4, 4, 4, 4, 4, 4, 4, 0, 4, 0, 0, 4, 0, 4, 4, 4, 4, 0, 4, 4, 4, 4, 4, 9, 4, 9,
  12, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  0, 0, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 9, 9,
  9, 9, 12, 12, 0, 0, 0, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 0, 0, 0, 0, 4, 9,
  4, 4, 4, 4, 9, 9, 0, 9, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 4, 4, 4, 0, 0, 4, 4, 4,
  4, 4, 4, 4, 4, 4, 0, 12, 12, 0, 0, 0, 0, 0, 12, 12, 12, 12, 12, 12, 12, 12, 12,
  12, 12, 12, 12, 12, 12, 9, 9, 9, 9, 4, 4, 0, 0, 4, 12, 12, 0, 9, 0, 0, 0, 0, 0,
  0, 0, 0, 0, 0, 0, 4, 4, 4, 4, 4, 4, 4, 4, 9, 0, 0, 0, 0, 0, 0, 0, 10, 10, 10, 10,
  10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 0, 0, 0, 0, 0,
  0, 0, 0, 0, 0, 0, 0, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 0, 0, 12, 12, 12,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 9,
  0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 0, 9, 9, 0, 9, 9, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4,
  4, 0, 4, 4, 0, 0, 4, 4, 4, 4, 9, 4, 9, 4, 4, 12, 0, 12, 0, 0, 0, 0, 0, 0, 0, 0,
  0, 9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 9, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 4, 4, 0, 0,
  4, 4, 4, 4, 4, 4, 4, 9, 0, 9, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 4, 4, 4, 4,
  4, 4, 4, 4, 4, 4, 9, 9, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 4, 4, 9, 4, 4, 4, 4, 0,
  0, 0, 12, 12, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 9, 4, 4, 4, 4, 4, 4, 4, 4, 4,
  4, 4, 9, 9, 9, 9, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 0, 12, 12, 9, 0, 0, 0, 0, 0, 0,
  0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 4, 4, 4, 4, 4, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0,
  0, 4, 4, 4, 4, 4, 4, 4, 0, 4, 4, 4, 4, 4, 4, 4, 4, 9, 12, 12, 0, 0, 0, 0, 0, 0,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 9, 9, 9, 9,
  9, 9, 9, 0, 9, 9, 0, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 4, 0, 0, 0, 4, 0, 4, 4, 0,
  4, 4, 4, 4, 4, 4, 4, 9, 4, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 0, 9, 9, 0,
  9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 0, 4, 4, 0, 4, 4,
  4, 4, 4, 9, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 4, 4, 4, 4, 12, 12, 0, 0, 0, 0, 0, 0,
  0, 4, 4, 9, 4, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 4,
  4, 0, 0, 0, 4, 4, 4, 4, 4, 12, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 10, 10, 10,
  10, 10, 10, 10, 10, 10, 10, 4, 0, 0, 0, 0, 0, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
  5, 5, 5, 5, 5, 4, 9, 9, 9, 9, 9, 9, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 0, 0, 0,
  0, 12, 12, 4, 4, 4, 4, 4, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 9, 12, 0,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 0, 0, 0, 9, 9, 9, 0,
  0, 0, 0, 0, 0, 0, 0, 12, 0, 0, 0, 0, 0, 0, 0, 8, 8, 8, 8, 8, 8, 8, 8, 8, 0, 0,
  7, 7, 7, 7, 7, 7, 7, 7, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 0, 0, 0, 0, 4, 9, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4,
  4, 4, 4, 4, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 4, 9, 9, 0, 9, 4, 0, 0, 0, 0, 0, 0, 0,
  0, 0, 0, 0, 4, 4, 9, 9, 9, 9, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 9, 0, 9, 9,
  9, 9, 9, 9, 9, 0, 9, 9, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9,
  9, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 0, 0, 0, 0,
  0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 0, 0, 4, 4, 12, 5, 5, 5, 5, 0, 0, 0,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 0, 0, 0, 0,
  0, 0, 0, 0, 0, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 4, 4, 0, 0, 0,
  4, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 5, 5, 4, 4, 4, 4, 4, 4, 4, 4, 0, 0, 4, 4, 4,
  4, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 4, 0, 0, 0, 0, 4,
  4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 0,
  0, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 8, 8, 8, 8, 8, 8, 8, 8,
  8, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
  8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 7, 7, 7, 7, 7, 7, 7, 0, 7, 7, 7, 7, 7, 7, 7, 7, 7,
  7, 8, 8, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
  7, 7, 8, 0, 8, 8, 0, 0, 8, 0, 0, 8, 8, 0, 0, 8, 8, 8, 8, 0, 8, 8, 8, 8, 8, 8, 8,
  8, 7, 7, 7, 7, 0, 7, 0, 7, 7, 7, 7, 7, 7, 7, 0, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
  7, 7, 7, 7, 8, 8, 0, 8, 8, 8, 8, 0, 0, 8, 8, 8, 8, 8, 8, 8, 8, 0, 8, 8, 8, 8, 8,
  8, 8, 0, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 8, 8, 0, 8, 8, 8, 8, 0, 8, 8, 8, 8, 8, 0,
  8, 0, 0, 0, 8, 8, 8, 8, 8, 8, 8, 0, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
  7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 7, 7, 7, 7, 7, 7,
  7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 0, 8, 8, 8, 8, 8, 8, 8, 8, 7, 7, 8, 8, 8, 8, 8,
  8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 0, 7, 7, 7, 7, 7, 7,
  7, 7, 7, 0, 7, 7, 7, 7, 7, 7, 8, 8, 8, 8, 8, 8, 8, 8, 8, 0, 7, 7, 7, 7, 7, 7, 7,
  7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 0, 7, 7, 7, 7, 7, 7, 8, 8,
  8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 0, 7, 7, 7,
  7, 7, 7, 7, 7, 7, 0, 7, 7, 7, 7, 7, 7, 8, 8, 8, 8, 8, 8, 8, 8, 8, 0, 7, 7, 7, 7,
  7, 7, 7, 7, 7, 0, 7, 7, 7, 7, 7, 7, 8, 7, 0, 0, 10, 10, 4, 4, 4, 4, 4, 4, 4, 0,
  0, 0, 0, 4, 4, 4, 4, 4, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  0, 4, 0, 0, 0, 12, 0, 0, 0, 0, 0, 0, 0, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 9, 7, 7,
  7, 7, 7, 8, 7, 7, 7, 7, 7, 7, 7, 8, 7, 8, 7, 7, 8, 7, 7, 7, 8, 7, 7, 7, 7, 7, 7,
  7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 8, 7, 8, 7, 8, 7, 8, 7, 0, 0, 0,
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 7, 7, 4, 4, 4, 4, 4, 4, 4, 4, 4, 0, 0, 4, 4, 4,
  4, 4, 4, 4, 0, 4, 4, 0, 4, 4, 4, 4, 4, 0, 0, 0, 0, 0, 4, 4, 4, 4, 4, 4, 4, 9, 9,
  9, 9, 9, 9, 9, 0, 0, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 0, 0, 0, 0, 9, 0,
  9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 4, 0, 9, 10, 10, 10, 10, 10, 10, 10,
  10, 10, 10, 0, 0, 0, 0, 0, 9, 9, 9, 4, 9, 9, 4, 9, 9, 9, 9, 9, 9, 9, 4, 4, 9, 9,
  9, 9, 9, 4, 0, 0, 0, 0, 0, 0, 0, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 0, 9, 9, 9, 9, 0,
  9, 9, 0, 7, 7, 7, 7, 4, 4, 4, 4, 4, 4, 4, 9, 0, 0, 0, 0, 9, 9, 9, 9, 0, 9, 9, 9,
  9, 9, 9, 9, 9, 9, 9, 9, 0, 9, 9, 0, 9, 0, 0, 9, 0, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
  0, 9, 9, 9, 9, 0, 9, 0, 9, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 9, 0, 9, 0, 9, 0, 9,
  9, 9, 0, 9, 9, 0, 9, 0, 0, 9, 0, 9, 0, 9, 0, 9, 0, 9, 0, 9, 9, 0, 9, 0, 0, 9, 9,
  9, 9, 0, 9, 9, 9, 9, 9, 9, 9, 0, 9, 9, 9, 9, 0, 9, 9, 9, 9, 0, 9, 0, 9, 9, 9, 9,
  9, 9, 9, 9, 9, 9, 0, 9, 9, 9, 9, 9, 0, 9, 9, 9, 0, 9, 9, 9, 9, 9, 0, 9, 9, 9, 9,
  9, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 13, 13, 13,
  0, 0, 0, 0, 0, 0, 0,
]

///|
/// Sentence_Break ranges from 0x40000 packed as `start << 4 | value`
let sentence_break_high_ranges : ReadOnlyArray[Int32] = [
  0x400000, 0xE00015, 0xE00020, 0xE00204, 0xE00800, 0xE01004, 0xE01F00,
]

///|
/// Look up Sentence_Break; unlisted code points have value zero (Other).
fn sentence_break_value(c : Char) -> Int32 {
  let cp = c.to_int()
  if cp >= 0x40000 {
    // Binary search for the last range starting at or before `cp`.
    let key = (cp << 4) | 15
    let mut low = 0
    let mut high = sentence_break_high_ranges.length()
    while high - low > 1 {
      let mid = (low + high) / 2
      if sentence_break_high_ranges[mid] <= key {
        low = mid
      } else {
        high = mid
      }
    }
    return sentence_break_high_ranges[low] & 15
  }
  let mid = (sentence_break_trie_top[cp >> 8].to_int() << 4) | ((cp >> 4) & 15)
  let leaf = (sentence_break_trie_mid[2 * mid].to_int() << 8) |
    sentence_break_trie_mid[2 * mid + 1].to_int()
  sentence_break_trie_leaf[(leaf << 4) | (cp & 15)].to_int()
}