/* auto-generated on 2026-01-08 10:25:21 -0500. Do not edit! */

/* begin file src/ada.cpp */

#include "ada.h"

/* begin file src/checkers.cpp */

#include <algorithm>

#include <array>

#include <string_view>

namespace ada::checkers {

ada_really_inline constexpr bool is_ipv4(std::string_view view) noexcept {

  // The string is not empty and does not contain upper case ASCII characters.

  //

  // Optimization. To be considered as a possible ipv4, the string must end

  // with 'x' or a lowercase hex character.

  // Most of the time, this will be false so this simple check will save a lot

  // of effort.

  // If the address ends with a dot, we need to prune it (special case).

  if (view.ends_with('.')) {

    view.remove_suffix(1);

    if (view.empty()) {

      return false;

    }

  }

  char last_char = view.back();

  bool possible_ipv4 = (last_char >= '0' && last_char <= '9') ||

                       (last_char >= 'a' && last_char <= 'f') ||

                       last_char == 'x';

  if (!possible_ipv4) {

    return false;

  }

  // From the last character, find the last dot.

  size_t last_dot = view.rfind('.');

  if (last_dot != std::string_view::npos) {

    // We have at least one dot.

    view = view.substr(last_dot + 1);

  }

  /** Optimization opportunity: we have basically identified the last number of

     the ipv4 if we return true here. We might as well parse it and have at

     least one number parsed when we get to parse_ipv4. */

  if (std::ranges::all_of(view, ada::checkers::is_digit)) {

    return true;

  }

  // It could be hex (0x), but not if there is a single character.

  if (view.size() == 1) {

    return false;

  }

  // It must start with 0x.

  if (!view.starts_with("0x")) {

    return false;

  }

  // We must allow "0x".

  if (view.size() == 2) {

    return true;

  }

  // We have 0x followed by some characters, we need to check that they are

  // hexadecimals.

  view.remove_prefix(2);

  return std::ranges::all_of(view, ada::unicode::is_lowercase_hex);

}

// for use with path_signature, we include all characters that need percent

// encoding.

static constexpr std::array<uint8_t, 256> path_signature_table =

    []() consteval {

      std::array<uint8_t, 256> result{};

      for (size_t i = 0; i < 256; i++) {

        if (i <= 0x20 || i == 0x22 || i == 0x23 || i == 0x3c || i == 0x3e ||

            i == 0x3f || i == 0x5e || i == 0x60 || i == 0x7b || i == 0x7d ||

            i > 0x7e) {

          result[i] = 1;

        } else if (i == 0x25) {

          result[i] = 8;

        } else if (i == 0x2e) {

          result[i] = 4;

        } else if (i == 0x5c) {

          result[i] = 2;

        } else {

          result[i] = 0;

        }

      }

      return result;

    }();

ada_really_inline constexpr uint8_t path_signature(

    std::string_view input) noexcept {

  // The path percent-encode set is the query percent-encode set and U+003F (?),

  // U+0060 (`), U+007B ({), and U+007D (}). The query percent-encode set is the

  // C0 control percent-encode set and U+0020 SPACE, U+0022 ("), U+0023 (#),

  // U+003C (<), and U+003E (>). The C0 control percent-encode set are the C0

  // controls and all code points greater than U+007E (~).

  size_t i = 0;

  uint8_t accumulator{};

  for (; i + 7 < input.size(); i += 8) {

    accumulator |= uint8_t(path_signature_table[uint8_t(input[i])] |

                           path_signature_table[uint8_t(input[i + 1])] |

                           path_signature_table[uint8_t(input[i + 2])] |

                           path_signature_table[uint8_t(input[i + 3])] |

                           path_signature_table[uint8_t(input[i + 4])] |

                           path_signature_table[uint8_t(input[i + 5])] |

                           path_signature_table[uint8_t(input[i + 6])] |

                           path_signature_table[uint8_t(input[i + 7])]);

  }

  for (; i < input.size(); i++) {

    accumulator |= uint8_t(path_signature_table[uint8_t(input[i])]);

  }

  return accumulator;

}

ada_really_inline constexpr bool verify_dns_length(

    std::string_view input) noexcept {

  if (input.back() == '.') {

    if (input.size() > 254) return false;

  } else if (input.size() > 253)

    return false;

  size_t start = 0;

  while (start < input.size()) {

    auto dot_location = input.find('.', start);

    // If not found, it's likely the end of the domain

    if (dot_location == std::string_view::npos) dot_location = input.size();

    auto label_size = dot_location - start;

    if (label_size > 63 || label_size == 0) return false;

    start = dot_location + 1;

  }

  return true;

}

}  // namespace ada::checkers

/* end file src/checkers.cpp */

/* begin file src/unicode.cpp */

ADA_PUSH_DISABLE_ALL_WARNINGS

/* begin file src/ada_idna.cpp */

/* auto-generated on 2025-06-26 23:04:30 -0300. Do not edit! */

/* begin file src/idna.cpp */

/* begin file src/unicode_transcoding.cpp */

#include <algorithm>

#include <cstdint>

#include <cstring>

namespace ada::idna {

size_t utf8_to_utf32(const char* buf, size_t len, char32_t* utf32_output) {

  const uint8_t* data = reinterpret_cast<const uint8_t*>(buf);

  size_t pos = 0;

  const char32_t* start{utf32_output};

  while (pos < len) {

    // try to convert the next block of 16 ASCII bytes

    if (pos + 16 <= len) {  // if it is safe to read 16 more

                            // bytes, check that they are ascii

      uint64_t v1;

      std::memcpy(&v1, data + pos, sizeof(uint64_t));

      uint64_t v2;

      std::memcpy(&v2, data + pos + sizeof(uint64_t), sizeof(uint64_t));

      uint64_t v{v1 | v2};

      if ((v & 0x8080808080808080) == 0) {

        size_t final_pos = pos + 16;

        while (pos < final_pos) {

          *utf32_output++ = char32_t(buf[pos]);

          pos++;

        }

        continue;

      }

    }

    uint8_t leading_byte = data[pos];  // leading byte

    if (leading_byte < 0b10000000) {

      // converting one ASCII byte !!!

      *utf32_output++ = char32_t(leading_byte);

      pos++;

    } else if ((leading_byte & 0b11100000) == 0b11000000) {

      // We have a two-byte UTF-8

      if (pos + 1 >= len) {

        return 0;

      }  // minimal bound checking

      if ((data[pos + 1] & 0b11000000) != 0b10000000) {

        return 0;

      }

      // range check

      uint32_t code_point =

          (leading_byte & 0b00011111) << 6 | (data[pos + 1] & 0b00111111);

      if (code_point < 0x80 || 0x7ff < code_point) {

        return 0;

      }

      *utf32_output++ = char32_t(code_point);

      pos += 2;

    } else if ((leading_byte & 0b11110000) == 0b11100000) {

      // We have a three-byte UTF-8

      if (pos + 2 >= len) {

        return 0;

      }  // minimal bound checking

      if ((data[pos + 1] & 0b11000000) != 0b10000000) {

        return 0;

      }

      if ((data[pos + 2] & 0b11000000) != 0b10000000) {

        return 0;

      }

      // range check

      uint32_t code_point = (leading_byte & 0b00001111) << 12 |

                            (data[pos + 1] & 0b00111111) << 6 |

                            (data[pos + 2] & 0b00111111);

      if (code_point < 0x800 || 0xffff < code_point ||

          (0xd7ff < code_point && code_point < 0xe000)) {

        return 0;

      }

      *utf32_output++ = char32_t(code_point);

      pos += 3;

    } else if ((leading_byte & 0b11111000) == 0b11110000) {  // 0b11110000

      // we have a 4-byte UTF-8 word.

      if (pos + 3 >= len) {

        return 0;

      }  // minimal bound checking

      if ((data[pos + 1] & 0b11000000) != 0b10000000) {

        return 0;

      }

      if ((data[pos + 2] & 0b11000000) != 0b10000000) {

        return 0;

      }

      if ((data[pos + 3] & 0b11000000) != 0b10000000) {

        return 0;

      }

      // range check

      uint32_t code_point = (leading_byte & 0b00000111) << 18 |

                            (data[pos + 1] & 0b00111111) << 12 |

                            (data[pos + 2] & 0b00111111) << 6 |

                            (data[pos + 3] & 0b00111111);

      if (code_point <= 0xffff || 0x10ffff < code_point) {

        return 0;

      }

      *utf32_output++ = char32_t(code_point);

      pos += 4;

    } else {

      return 0;

    }

  }

  return utf32_output - start;

}

size_t utf8_length_from_utf32(const char32_t* buf, size_t len) {

  // We are not BOM aware.

  const uint32_t* p = reinterpret_cast<const uint32_t*>(buf);

  size_t counter{0};

  for (size_t i = 0; i != len; ++i) {

    ++counter;                                      // ASCII

    counter += static_cast<size_t>(p[i] > 0x7F);    // two-byte

    counter += static_cast<size_t>(p[i] > 0x7FF);   // three-byte

    counter += static_cast<size_t>(p[i] > 0xFFFF);  // four-bytes

  }

  return counter;

}

size_t utf32_length_from_utf8(const char* buf, size_t len) {

  const int8_t* p = reinterpret_cast<const int8_t*>(buf);

  return std::count_if(p, std::next(p, len), [](int8_t c) {

    // -65 is 0b10111111, anything larger in two-complement's

    // should start a new code point.

    return c > -65;

  });

}

size_t utf32_to_utf8(const char32_t* buf, size_t len, char* utf8_output) {

  const uint32_t* data = reinterpret_cast<const uint32_t*>(buf);

  size_t pos = 0;

  const char* start{utf8_output};

  while (pos < len) {

    // try to convert the next block of 2 ASCII characters

    if (pos + 2 <= len) {  // if it is safe to read 8 more

                           // bytes, check that they are ascii

      uint64_t v;

      std::memcpy(&v, data + pos, sizeof(uint64_t));

      if ((v & 0xFFFFFF80FFFFFF80) == 0) {

        *utf8_output++ = char(buf[pos]);

        *utf8_output++ = char(buf[pos + 1]);

        pos += 2;

        continue;

      }

    }

    uint32_t word = data[pos];

    if ((word & 0xFFFFFF80) == 0) {

      // will generate one UTF-8 bytes

      *utf8_output++ = char(word);

      pos++;

    } else if ((word & 0xFFFFF800) == 0) {

      // will generate two UTF-8 bytes

      // we have 0b110XXXXX 0b10XXXXXX

      *utf8_output++ = char((word >> 6) | 0b11000000);

      *utf8_output++ = char((word & 0b111111) | 0b10000000);

      pos++;

    } else if ((word & 0xFFFF0000) == 0) {

      // will generate three UTF-8 bytes

      // we have 0b1110XXXX 0b10XXXXXX 0b10XXXXXX

      if (word >= 0xD800 && word <= 0xDFFF) {

        return 0;

      }

      *utf8_output++ = char((word >> 12) | 0b11100000);

      *utf8_output++ = char(((word >> 6) & 0b111111) | 0b10000000);

      *utf8_output++ = char((word & 0b111111) | 0b10000000);

      pos++;

    } else {

      // will generate four UTF-8 bytes

      // we have 0b11110XXX 0b10XXXXXX 0b10XXXXXX

      // 0b10XXXXXX

      if (word > 0x10FFFF) {

        return 0;

      }

      *utf8_output++ = char((word >> 18) | 0b11110000);

      *utf8_output++ = char(((word >> 12) & 0b111111) | 0b10000000);

      *utf8_output++ = char(((word >> 6) & 0b111111) | 0b10000000);

      *utf8_output++ = char((word & 0b111111) | 0b10000000);

      pos++;

    }

  }

  return utf8_output - start;

}

}  // namespace ada::idna

/* end file src/unicode_transcoding.cpp */

/* begin file src/mapping.cpp */

#include <algorithm>

#include <array>

#include <string>

/* begin file src/mapping_tables.cpp */

// IDNA  16.0.0

// clang-format off

#ifndef ADA_IDNA_TABLES_H

#define ADA_IDNA_TABLES_H

#include <cstdint>

namespace ada::idna {

const uint32_t mappings[5236] =

{

  97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113,

  114, 115, 116, 117, 118, 119, 120, 121, 122, 32, 32, 776, 32, 772, 50, 51, 32, 769,

  956, 32, 807, 49, 49, 8260, 52, 49, 8260, 50, 51, 8260, 52, 224, 225, 226, 227,

  228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243,

  244, 245, 246, 248, 249, 250, 251, 252, 253, 254, 257, 259, 261, 263, 265, 267,

  269, 271, 273, 275, 277, 279, 281, 283, 285, 287, 289, 291, 293, 295, 297, 299,

  301, 303, 105, 775, 309, 311, 314, 316, 318, 108, 183, 322, 324, 326, 328, 700,

  110, 331, 333, 335, 337, 339, 341, 343, 345, 347, 349, 351, 353, 355, 357, 359,

  361, 363, 365, 367, 369, 371, 373, 375, 255, 378, 380, 382, 595, 387, 389, 596,

  392, 598, 599, 396, 477, 601, 603, 402, 608, 611, 617, 616, 409, 623, 626, 629,

  417, 419, 421, 640, 424, 643, 429, 648, 432, 650, 651, 436, 438, 658, 441, 445,

  100, 382, 108, 106, 110, 106, 462, 464, 466, 468, 470, 472, 474, 476, 479, 481,

  483, 485, 487, 489, 491, 493, 495, 100, 122, 501, 405, 447, 505, 507, 509, 511,

  513, 515, 517, 519, 521, 523, 525, 527, 529, 531, 533, 535, 537, 539, 541, 543,

  414, 547, 549, 551, 553, 555, 557, 559, 561, 563, 11365, 572, 410, 11366, 578, 384,

  649, 652, 583, 585, 587, 589, 591, 614, 633, 635, 641, 32, 774, 32, 775, 32, 778,

  32, 808, 32, 771, 32, 779, 661, 768, 787, 776, 769, 953, 881, 883, 697, 887, 32,

  953, 59, 1011, 32, 776, 769, 940, 941, 942, 943, 972, 973, 974, 945, 946, 947, 948,

  949, 950, 951, 952, 954, 955, 957, 958, 959, 960, 961, 963, 964, 965, 966, 967,

  968, 969, 970, 971, 983, 985, 987, 989, 991, 993, 995, 997, 999, 1001, 1003, 1005,

  1007, 1016, 1019, 891, 892, 893, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111,

  1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1072, 1073, 1074, 1075, 1076, 1077,

  1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091,

  1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1100, 1101, 1102, 1103, 1121, 1123,

  1125, 1127, 1129, 1131, 1133, 1135, 1137, 1139, 1141, 1143, 1145, 1147, 1149, 1151,

  1153, 1163, 1165, 1167, 1169, 1171, 1173, 1175, 1177, 1179, 1181, 1183, 1185, 1187,

  1189, 1191, 1193, 1195, 1197, 1199, 1201, 1203, 1205, 1207, 1209, 1211, 1213, 1215,

  1231, 1218, 1220, 1222, 1224, 1226, 1228, 1230, 1233, 1235, 1237, 1239, 1241, 1243,

  1245, 1247, 1249, 1251, 1253, 1255, 1257, 1259, 1261, 1263, 1265, 1267, 1269, 1271,

  1273, 1275, 1277, 1279, 1281, 1283, 1285, 1287, 1289, 1291, 1293, 1295, 1297, 1299,

  1301, 1303, 1305, 1307, 1309, 1311, 1313, 1315, 1317, 1319, 1321, 1323, 1325, 1327,

  1377, 1378, 1379, 1380, 1381, 1382, 1383, 1384, 1385, 1386, 1387, 1388, 1389, 1390,

  1391, 1392, 1393, 1394, 1395, 1396, 1397, 1398, 1399, 1400, 1401, 1402, 1403, 1404,

  1405, 1406, 1407, 1408, 1409, 1410, 1411, 1412, 1413, 1414, 1381, 1410, 1575, 1652,

  1608, 1652, 1735, 1652, 1610, 1652, 2325, 2364, 2326, 2364, 2327, 2364, 2332, 2364,

  2337, 2364, 2338, 2364, 2347, 2364, 2351, 2364, 2465, 2492, 2466, 2492, 2479, 2492,

  2610, 2620, 2616, 2620, 2582, 2620, 2583, 2620, 2588, 2620, 2603, 2620, 2849, 2876,

  2850, 2876, 3661, 3634, 3789, 3762, 3755, 3737, 3755, 3745, 3851, 3906, 4023, 3916,

  4023, 3921, 4023, 3926, 4023, 3931, 4023, 3904, 4021, 3953, 3954, 3953, 3956, 4018,

  3968, 4018, 3953, 3968, 4019, 3968, 4019, 3953, 3968, 3986, 4023, 3996, 4023, 4001,

  4023, 4006, 4023, 4011, 4023, 3984, 4021, 11520, 11521, 11522, 11523, 11524, 11525,

  11526, 11527, 11528, 11529, 11530, 11531, 11532, 11533, 11534, 11535, 11536, 11537,

  11538, 11539, 11540, 11541, 11542, 11543, 11544, 11545, 11546, 11547, 11548, 11549,

  11550, 11551, 11552, 11553, 11554, 11555, 11556, 11557, 11559, 11565, 4316, 5104,

  5105, 5106, 5107, 5108, 5109, 42571, 7306, 4304, 4305, 4306, 4307, 4308, 4309, 4310,

  4311, 4312, 4313, 4314, 4315, 4317, 4318, 4319, 4320, 4321, 4322, 4323, 4324, 4325,

  4326, 4327, 4328, 4329, 4330, 4331, 4332, 4333, 4334, 4335, 4336, 4337, 4338, 4339,

  4340, 4341, 4342, 4343, 4344, 4345, 4346, 4349, 4350, 4351, 592, 593, 7426, 604,

  7446, 7447, 7453, 7461, 594, 597, 607, 609, 613, 618, 7547, 669, 621, 7557, 671,

  625, 624, 627, 628, 632, 642, 427, 7452, 656, 657, 7681, 7683, 7685, 7687, 7689,

  7691, 7693, 7695, 7697, 7699, 7701, 7703, 7705, 7707, 7709, 7711, 7713, 7715, 7717,

  7719, 7721, 7723, 7725, 7727, 7729, 7731, 7733, 7735, 7737, 7739, 7741, 7743, 7745,

  7747, 7749, 7751, 7753, 7755, 7757, 7759, 7761, 7763, 7765, 7767, 7769, 7771, 7773,

  7775, 7777, 7779, 7781, 7783, 7785, 7787, 7789, 7791, 7793, 7795, 7797, 7799, 7801,

  7803, 7805, 7807, 7809, 7811, 7813, 7815, 7817, 7819, 7821, 7823, 7825, 7827, 7829,

  97, 702, 223, 7841, 7843, 7845, 7847, 7849, 7851, 7853, 7855, 7857, 7859, 7861,

  7863, 7865, 7867, 7869, 7871, 7873, 7875, 7877, 7879, 7881, 7883, 7885, 7887, 7889,

  7891, 7893, 7895, 7897, 7899, 7901, 7903, 7905, 7907, 7909, 7911, 7913, 7915, 7917,

  7919, 7921, 7923, 7925, 7927, 7929, 7931, 7933, 7935, 7936, 7937, 7938, 7939, 7940,

  7941, 7942, 7943, 7952, 7953, 7954, 7955, 7956, 7957, 7968, 7969, 7970, 7971, 7972,

  7973, 7974, 7975, 7984, 7985, 7986, 7987, 7988, 7989, 7990, 7991, 8000, 8001, 8002,

  8003, 8004, 8005, 8017, 8019, 8021, 8023, 8032, 8033, 8034, 8035, 8036, 8037, 8038,

  8039, 7936, 953, 7937, 953, 7938, 953, 7939, 953, 7940, 953, 7941, 953, 7942, 953,

  7943, 953, 7968, 953, 7969, 953, 7970, 953, 7971, 953, 7972, 953, 7973, 953, 7974,

  953, 7975, 953, 8032, 953, 8033, 953, 8034, 953, 8035, 953, 8036, 953, 8037, 953,

  8038, 953, 8039, 953, 8048, 953, 945, 953, 940, 953, 8118, 953, 8112, 8113, 32,

  787, 32, 834, 32, 776, 834, 8052, 953, 951, 953, 942, 953, 8134, 953, 8050, 32,

  787, 768, 32, 787, 769, 32, 787, 834, 912, 8144, 8145, 8054, 32, 788, 768, 32, 788,

  769, 32, 788, 834, 944, 8160, 8161, 8058, 8165, 32, 776, 768, 96, 8060, 953, 969,

  953, 974, 953, 8182, 953, 8056, 8208, 32, 819, 8242, 8242, 8242, 8242, 8242, 8245,

  8245, 8245, 8245, 8245, 33, 33, 32, 773, 63, 63, 63, 33, 33, 63, 48, 53, 54, 55,

  56, 57, 43, 8722, 61, 40, 41, 97, 47, 99, 97, 47, 115, 176, 99, 99, 47, 111, 99,

  47, 117, 176, 102, 115, 109, 116, 101, 108, 116, 109, 8526, 1488, 1489, 1490, 1491,

  102, 97, 120, 8721, 49, 8260, 55, 49, 8260, 57, 49, 8260, 49, 48, 49, 8260, 51,

  50, 8260, 51, 49, 8260, 53, 50, 8260, 53, 51, 8260, 53, 52, 8260, 53, 49, 8260,

  54, 53, 8260, 54, 49, 8260, 56, 51, 8260, 56, 53, 8260, 56, 55, 8260, 56, 105, 105,

  105, 105, 105, 105, 118, 118, 105, 118, 105, 105, 118, 105, 105, 105, 105, 120,

  120, 105, 120, 105, 105, 8580, 48, 8260, 51, 8747, 8747, 8747, 8747, 8747, 8750,

  8750, 8750, 8750, 8750, 12296, 12297, 49, 50, 49, 51, 49, 52, 49, 53, 49, 54, 49,

  55, 49, 56, 49, 57, 50, 48, 40, 49, 41, 40, 50, 41, 40, 51, 41, 40, 52, 41, 40,

  53, 41, 40, 54, 41, 40, 55, 41, 40, 56, 41, 40, 57, 41, 40, 49, 48, 41, 40, 49,

  49, 41, 40, 49, 50, 41, 40, 49, 51, 41, 40, 49, 52, 41, 40, 49, 53, 41, 40, 49,

  54, 41, 40, 49, 55, 41, 40, 49, 56, 41, 40, 49, 57, 41, 40, 50, 48, 41, 40, 97,

  41, 40, 98, 41, 40, 99, 41, 40, 100, 41, 40, 101, 41, 40, 102, 41, 40, 103, 41,

  40, 104, 41, 40, 105, 41, 40, 106, 41, 40, 107, 41, 40, 108, 41, 40, 109, 41, 40,

  110, 41, 40, 111, 41, 40, 112, 41, 40, 113, 41, 40, 114, 41, 40, 115, 41, 40, 116,

  41, 40, 117, 41, 40, 118, 41, 40, 119, 41, 40, 120, 41, 40, 121, 41, 40, 122, 41,

  58, 58, 61, 61, 61, 10973, 824, 11312, 11313, 11314, 11315, 11316, 11317, 11318,

  11319, 11320, 11321, 11322, 11323, 11324, 11325, 11326, 11327, 11328, 11329, 11330,

  11331, 11332, 11333, 11334, 11335, 11336, 11337, 11338, 11339, 11340, 11341, 11342,

  11343, 11344, 11345, 11346, 11347, 11348, 11349, 11350, 11351, 11352, 11353, 11354,

  11355, 11356, 11357, 11358, 11359, 11361, 619, 7549, 637, 11368, 11370, 11372, 11379,

  11382, 575, 576, 11393, 11395, 11397, 11399, 11401, 11403, 11405, 11407, 11409,

  11411, 11413, 11415, 11417, 11419, 11421, 11423, 11425, 11427, 11429, 11431, 11433,

  11435, 11437, 11439, 11441, 11443, 11445, 11447, 11449, 11451, 11453, 11455, 11457,

  11459, 11461, 11463, 11465, 11467, 11469, 11471, 11473, 11475, 11477, 11479, 11481,

  11483, 11485, 11487, 11489, 11491, 11500, 11502, 11507, 11617, 27597, 40863, 19968,

  20008, 20022, 20031, 20057, 20101, 20108, 20128, 20154, 20799, 20837, 20843, 20866,

  20886, 20907, 20960, 20981, 20992, 21147, 21241, 21269, 21274, 21304, 21313, 21340,

  21353, 21378, 21430, 21448, 21475, 22231, 22303, 22763, 22786, 22794, 22805, 22823,

  22899, 23376, 23424, 23544, 23567, 23586, 23608, 23662, 23665, 24027, 24037, 24049,

  24062, 24178, 24186, 24191, 24308, 24318, 24331, 24339, 24400, 24417, 24435, 24515,

  25096, 25142, 25163, 25903, 25908, 25991, 26007, 26020, 26041, 26080, 26085, 26352,

  26376, 26408, 27424, 27490, 27513, 27571, 27595, 27604, 27611, 27663, 27668, 27700,

  28779, 29226, 29238, 29243, 29247, 29255, 29273, 29275, 29356, 29572, 29577, 29916,

  29926, 29976, 29983, 29992, 30000, 30091, 30098, 30326, 30333, 30382, 30399, 30446,

  30683, 30690, 30707, 31034, 31160, 31166, 31348, 31435, 31481, 31859, 31992, 32566,

  32593, 32650, 32701, 32769, 32780, 32786, 32819, 32895, 32905, 33251, 33258, 33267,

  33276, 33292, 33307, 33311, 33390, 33394, 33400, 34381, 34411, 34880, 34892, 34915,

  35198, 35211, 35282, 35328, 35895, 35910, 35925, 35960, 35997, 36196, 36208, 36275,

  36523, 36554, 36763, 36784, 36789, 37009, 37193, 37318, 37324, 37329, 38263, 38272,

  38428, 38582, 38585, 38632, 38737, 38750, 38754, 38761, 38859, 38893, 38899, 38913,

  39080, 39131, 39135, 39318, 39321, 39340, 39592, 39640, 39647, 39717, 39727, 39730,

  39740, 39770, 40165, 40565, 40575, 40613, 40635, 40643, 40653, 40657, 40697, 40701,

  40718, 40723, 40736, 40763, 40778, 40786, 40845, 40860, 40864, 46, 12306, 21316,

  21317, 32, 12441, 32, 12442, 12424, 12426, 12467, 12488, 4352, 4353, 4522, 4354,

  4524, 4525, 4355, 4356, 4357, 4528, 4529, 4530, 4531, 4532, 4533, 4378, 4358, 4359,

  4360, 4385, 4361, 4362, 4363, 4364, 4365, 4366, 4367, 4368, 4369, 4370, 4449, 4450,

  4451, 4452, 4453, 4454, 4455, 4456, 4457, 4458, 4459, 4460, 4461, 4462, 4463, 4464,

  4465, 4466, 4467, 4468, 4469, 4372, 4373, 4551, 4552, 4556, 4558, 4563, 4567, 4569,

  4380, 4573, 4575, 4381, 4382, 4384, 4386, 4387, 4391, 4393, 4395, 4396, 4397, 4398,

  4399, 4402, 4406, 4416, 4423, 4428, 4593, 4594, 4439, 4440, 4441, 4484, 4485, 4488,

  4497, 4498, 4500, 4510, 4513, 19977, 22235, 19978, 20013, 19979, 30002, 19993, 19969,

  22825, 22320, 40, 4352, 41, 40, 4354, 41, 40, 4355, 41, 40, 4357, 41, 40, 4358,

  41, 40, 4359, 41, 40, 4361, 41, 40, 4363, 41, 40, 4364, 41, 40, 4366, 41, 40, 4367,

  41, 40, 4368, 41, 40, 4369, 41, 40, 4370, 41, 40, 44032, 41, 40, 45208, 41, 40,

  45796, 41, 40, 46972, 41, 40, 47560, 41, 40, 48148, 41, 40, 49324, 41, 40, 50500,

  41, 40, 51088, 41, 40, 52264, 41, 40, 52852, 41, 40, 53440, 41, 40, 54028, 41, 40,

  54616, 41, 40, 51452, 41, 40, 50724, 51204, 41, 40, 50724, 54980, 41, 40, 19968,

  41, 40, 20108, 41, 40, 19977, 41, 40, 22235, 41, 40, 20116, 41, 40, 20845, 41, 40,

  19971, 41, 40, 20843, 41, 40, 20061, 41, 40, 21313, 41, 40, 26376, 41, 40, 28779,

  41, 40, 27700, 41, 40, 26408, 41, 40, 37329, 41, 40, 22303, 41, 40, 26085, 41, 40,

  26666, 41, 40, 26377, 41, 40, 31038, 41, 40, 21517, 41, 40, 29305, 41, 40, 36001,

  41, 40, 31069, 41, 40, 21172, 41, 40, 20195, 41, 40, 21628, 41, 40, 23398, 41, 40,

  30435, 41, 40, 20225, 41, 40, 36039, 41, 40, 21332, 41, 40, 31085, 41, 40, 20241,

  41, 40, 33258, 41, 40, 33267, 41, 21839, 24188, 31631, 112, 116, 101, 50, 50, 50,

  52, 50, 53, 50, 54, 50, 55, 50, 56, 50, 57, 51, 48, 51, 51, 51, 52, 51, 53, 52280,

  44256, 51452, 51032, 50864, 31192, 30007, 36969, 20778, 21360, 27880, 38917, 20889,

  27491, 24038, 21491, 21307, 23447, 22812, 51, 54, 51, 55, 51, 56, 51, 57, 52, 48,

  52, 52, 52, 53, 52, 54, 52, 55, 52, 56, 52, 57, 53, 48, 49, 26376, 50, 26376, 51,

  26376, 52, 26376, 53, 26376, 54, 26376, 55, 26376, 56, 26376, 57, 26376, 49, 48,

  26376, 49, 49, 26376, 49, 50, 26376, 104, 103, 101, 114, 103, 101, 118, 108, 116,

  100, 12450, 12452, 12454, 12456, 12458, 12459, 12461, 12463, 12465, 12469, 12471,

  12473, 12475, 12477, 12479, 12481, 12484, 12486, 12490, 12491, 12492, 12493, 12494,

  12495, 12498, 12501, 12504, 12507, 12510, 12511, 12512, 12513, 12514, 12516, 12518,

  12520, 12521, 12522, 12523, 12524, 12525, 12527, 12528, 12529, 12530, 20196, 21644,

  12450, 12497, 12540, 12488, 12450, 12523, 12501, 12449, 12450, 12531, 12506, 12450,

  12450, 12540, 12523, 12452, 12491, 12531, 12464, 12452, 12531, 12481, 12454, 12457,

  12531, 12456, 12473, 12463, 12540, 12489, 12456, 12540, 12459, 12540, 12458, 12531,

  12473, 12458, 12540, 12512, 12459, 12452, 12522, 12459, 12521, 12483, 12488, 12459,

  12525, 12522, 12540, 12460, 12525, 12531, 12460, 12531, 12510, 12462, 12460, 12462,

  12491, 12540, 12461, 12517, 12522, 12540, 12462, 12523, 12480, 12540, 12461, 12525,

  12461, 12525, 12464, 12521, 12512, 12461, 12525, 12513, 12540, 12488, 12523, 12461,

  12525, 12527, 12483, 12488, 12464, 12521, 12512, 12488, 12531, 12463, 12523, 12476,

  12452, 12525, 12463, 12525, 12540, 12493, 12465, 12540, 12473, 12467, 12523, 12490,

  12467, 12540, 12509, 12469, 12452, 12463, 12523, 12469, 12531, 12481, 12540, 12512,

  12471, 12522, 12531, 12464, 12475, 12531, 12481, 12475, 12531, 12488, 12480, 12540,

  12473, 12487, 12471, 12489, 12523, 12490, 12494, 12494, 12483, 12488, 12495, 12452,

  12484, 12497, 12540, 12475, 12531, 12488, 12497, 12540, 12484, 12496, 12540, 12524,

  12523, 12500, 12450, 12473, 12488, 12523, 12500, 12463, 12523, 12500, 12467, 12499,

  12523, 12501, 12449, 12521, 12483, 12489, 12501, 12451, 12540, 12488, 12502, 12483,

  12471, 12455, 12523, 12501, 12521, 12531, 12504, 12463, 12479, 12540, 12523, 12506,

  12477, 12506, 12491, 12498, 12504, 12523, 12484, 12506, 12531, 12473, 12506, 12540,

  12472, 12505, 12540, 12479, 12509, 12452, 12531, 12488, 12508, 12523, 12488, 12507,

  12531, 12509, 12531, 12489, 12507, 12540, 12523, 12507, 12540, 12531, 12510, 12452,

  12463, 12525, 12510, 12452, 12523, 12510, 12483, 12495, 12510, 12523, 12463, 12510,

  12531, 12471, 12519, 12531, 12511, 12463, 12525, 12531, 12511, 12522, 12511, 12522,

  12496, 12540, 12523, 12513, 12460, 12513, 12460, 12488, 12531, 12516, 12540, 12489,

  12516, 12540, 12523, 12518, 12450, 12531, 12522, 12483, 12488, 12523, 12522, 12521,

  12523, 12500, 12540, 12523, 12540, 12502, 12523, 12524, 12512, 12524, 12531, 12488,

  12466, 12531, 48, 28857, 49, 28857, 50, 28857, 51, 28857, 52, 28857, 53, 28857,

  54, 28857, 55, 28857, 56, 28857, 57, 28857, 49, 48, 28857, 49, 49, 28857, 49, 50,

  28857, 49, 51, 28857, 49, 52, 28857, 49, 53, 28857, 49, 54, 28857, 49, 55, 28857,

  49, 56, 28857, 49, 57, 28857, 50, 48, 28857, 50, 49, 28857, 50, 50, 28857, 50, 51,

  28857, 50, 52, 28857, 104, 112, 97, 100, 97, 97, 117, 98, 97, 114, 111, 118, 112,

  99, 100, 109, 100, 109, 50, 100, 109, 51, 105, 117, 24179, 25104, 26157, 21644,

  22823, 27491, 26126, 27835, 26666, 24335, 20250, 31038, 110, 97, 956, 97, 109, 97,

  107, 97, 107, 98, 109, 98, 103, 98, 99, 97, 108, 107, 99, 97, 108, 112, 102, 110,

  102, 956, 102, 956, 103, 109, 103, 107, 103, 104, 122, 107, 104, 122, 109, 104,

  122, 116, 104, 122, 956, 108, 109, 108, 100, 108, 102, 109, 110, 109, 956, 109,

  109, 109, 99, 109, 107, 109, 109, 109, 50, 99, 109, 50, 107, 109, 50, 109, 109,

  51, 99, 109, 51, 107, 109, 51, 109, 8725, 115, 109, 8725, 115, 50, 107, 112, 97,

  109, 112, 97, 103, 112, 97, 114, 97, 100, 114, 97, 100, 8725, 115, 114, 97, 100,

  8725, 115, 50, 112, 115, 110, 115, 956, 115, 109, 115, 112, 118, 110, 118, 956,

  118, 109, 118, 107, 118, 112, 119, 110, 119, 956, 119, 109, 119, 107, 119, 107,

  969, 109, 969, 98, 113, 99, 8725, 107, 103, 100, 98, 103, 121, 104, 97, 105, 110,

  107, 107, 107, 116, 108, 110, 108, 111, 103, 108, 120, 109, 105, 108, 109, 111,

  108, 112, 104, 112, 112, 109, 112, 114, 115, 118, 119, 98, 118, 8725, 109, 97, 8725,

  109, 49, 26085, 50, 26085, 51, 26085, 52, 26085, 53, 26085, 54, 26085, 55, 26085,

  56, 26085, 57, 26085, 49, 48, 26085, 49, 49, 26085, 49, 50, 26085, 49, 51, 26085,

  49, 52, 26085, 49, 53, 26085, 49, 54, 26085, 49, 55, 26085, 49, 56, 26085, 49, 57,

  26085, 50, 48, 26085, 50, 49, 26085, 50, 50, 26085, 50, 51, 26085, 50, 52, 26085,

  50, 53, 26085, 50, 54, 26085, 50, 55, 26085, 50, 56, 26085, 50, 57, 26085, 51, 48,

  26085, 51, 49, 26085, 103, 97, 108, 42561, 42563, 42565, 42567, 42569, 42573, 42575,

  42577, 42579, 42581, 42583, 42585, 42587, 42589, 42591, 42593, 42595, 42597, 42599,

  42601, 42603, 42605, 42625, 42627, 42629, 42631, 42633, 42635, 42637, 42639, 42641,

  42643, 42645, 42647, 42649, 42651, 42787, 42789, 42791, 42793, 42795, 42797, 42799,

  42803, 42805, 42807, 42809, 42811, 42813, 42815, 42817, 42819, 42821, 42823, 42825,

  42827, 42829, 42831, 42833, 42835, 42837, 42839, 42841, 42843, 42845, 42847, 42849,

  42851, 42853, 42855, 42857, 42859, 42861, 42863, 42874, 42876, 7545, 42879, 42881,

  42883, 42885, 42887, 42892, 42897, 42899, 42903, 42905, 42907, 42909, 42911, 42913,

  42915, 42917, 42919, 42921, 620, 670, 647, 43859, 42933, 42935, 42937, 42939, 42941,

  42943, 42945, 42947, 42900, 7566, 42952, 42954, 612, 42957, 42961, 42967, 42969,

  42971, 411, 42998, 43831, 43858, 653, 5024, 5025, 5026, 5027, 5028, 5029, 5030,

  5031, 5032, 5033, 5034, 5035, 5036, 5037, 5038, 5039, 5040, 5041, 5042, 5043, 5044,

  5045, 5046, 5047, 5048, 5049, 5050, 5051, 5052, 5053, 5054, 5055, 5056, 5057, 5058,

  5059, 5060, 5061, 5062, 5063, 5064, 5065, 5066, 5067, 5068, 5069, 5070, 5071, 5072,

  5073, 5074, 5075, 5076, 5077, 5078, 5079, 5080, 5081, 5082, 5083, 5084, 5085, 5086,

  5087, 5088, 5089, 5090, 5091, 5092, 5093, 5094, 5095, 5096, 5097, 5098, 5099, 5100,

  5101, 5102, 5103, 35912, 26356, 36040, 28369, 20018, 21477, 22865, 21895, 22856,

  25078, 30313, 32645, 34367, 34746, 35064, 37007, 27138, 27931, 28889, 29662, 33853,

  37226, 39409, 20098, 21365, 27396, 29211, 34349, 40478, 23888, 28651, 34253, 35172,

  25289, 33240, 34847, 24266, 26391, 28010, 29436, 37070, 20358, 20919, 21214, 25796,

  27347, 29200, 30439, 34310, 34396, 36335, 38706, 39791, 40442, 30860, 31103, 32160,

  33737, 37636, 35542, 22751, 24324, 31840, 32894, 29282, 30922, 36034, 38647, 22744,

  23650, 27155, 28122, 28431, 32047, 32311, 38475, 21202, 32907, 20956, 20940, 31260,

  32190, 33777, 38517, 35712, 25295, 35582, 20025, 23527, 24594, 29575, 30064, 21271,

  30971, 20415, 24489, 19981, 27852, 25976, 32034, 21443, 22622, 30465, 33865, 35498,

  27578, 27784, 25342, 33509, 25504, 30053, 20142, 20841, 20937, 26753, 31975, 33391,

  35538, 37327, 21237, 21570, 24300, 26053, 28670, 31018, 38317, 39530, 40599, 40654,

  26310, 27511, 36706, 24180, 24976, 25088, 25754, 28451, 29001, 29833, 31178, 32244,

  32879, 36646, 34030, 36899, 37706, 21015, 21155, 21693, 28872, 35010, 24265, 24565,

  25467, 27566, 31806, 29557, 22265, 23994, 24604, 29618, 29801, 32666, 32838, 37428,

  38646, 38728, 38936, 20363, 31150, 37300, 38584, 24801, 20102, 20698, 23534, 23615,

  26009, 29134, 30274, 34044, 36988, 26248, 38446, 21129, 26491, 26611, 27969, 28316,

  29705, 30041, 30827, 32016, 39006, 25134, 38520, 20523, 23833, 28138, 36650, 24459,

  24900, 26647, 38534, 21033, 21519, 23653, 26131, 26446, 26792, 27877, 29702, 30178,

  32633, 35023, 35041, 38626, 21311, 28346, 21533, 29136, 29848, 34298, 38563, 40023,

  40607, 26519, 28107, 33256, 31520, 31890, 29376, 28825, 35672, 20160, 33590, 21050,

  20999, 24230, 25299, 31958, 23429, 27934, 26292, 36667, 38477, 24275, 20800, 21952,

  22618, 26228, 20958, 29482, 30410, 31036, 31070, 31077, 31119, 38742, 31934, 34322,

  35576, 36920, 37117, 39151, 39164, 39208, 40372, 37086, 38583, 20398, 20711, 20813,

  21193, 21220, 21329, 21917, 22022, 22120, 22592, 22696, 23652, 24724, 24936, 24974,

  25074, 25935, 26082, 26257, 26757, 28023, 28186, 28450, 29038, 29227, 29730, 30865,

  31049, 31048, 31056, 31062, 31117, 31118, 31296, 31361, 31680, 32265, 32321, 32626,

  32773, 33261, 33401, 33879, 35088, 35222, 35585, 35641, 36051, 36104, 36790, 38627,

  38911, 38971, 24693, 148206, 33304, 20006, 20917, 20840, 20352, 20805, 20864, 21191,

  21242, 21845, 21913, 21986, 22707, 22852, 22868, 23138, 23336, 24274, 24281, 24425,

  24493, 24792, 24910, 24840, 24928, 25140, 25540, 25628, 25682, 25942, 26395, 26454,

  28379, 28363, 28702, 30631, 29237, 29359, 29809, 29958, 30011, 30237, 30239, 30427,

  30452, 30538, 30528, 30924, 31409, 31867, 32091, 32574, 33618, 33775, 34681, 35137,

  35206, 35519, 35531, 35565, 35722, 36664, 36978, 37273, 37494, 38524, 38875, 38923,

  39698, 141386, 141380, 144341, 15261, 16408, 16441, 152137, 154832, 163539, 40771,

  40846, 102, 102, 102, 105, 102, 108, 102, 102, 108, 1396, 1398, 1396, 1381, 1396,

  1387, 1406, 1398, 1396, 1389, 1497, 1460, 1522, 1463, 1506, 1492, 1499, 1500, 1501,

  1512, 1514, 1513, 1473, 1513, 1474, 1513, 1468, 1473, 1513, 1468, 1474, 1488, 1463,

  1488, 1464, 1488, 1468, 1489, 1468, 1490, 1468, 1491, 1468, 1492, 1468, 1493, 1468,

  1494, 1468, 1496, 1468, 1497, 1468, 1498, 1468, 1499, 1468, 1500, 1468, 1502, 1468,

  1504, 1468, 1505, 1468, 1507, 1468, 1508, 1468, 1510, 1468, 1511, 1468, 1512, 1468,

  1514, 1468, 1493, 1465, 1489, 1471, 1499, 1471, 1508, 1471, 1488, 1500, 1649, 1659,

  1662, 1664, 1658, 1663, 1657, 1700, 1702, 1668, 1667, 1670, 1671, 1677, 1676, 1678,

  1672, 1688, 1681, 1705, 1711, 1715, 1713, 1722, 1723, 1728, 1729, 1726, 1746, 1747,

  1709, 1734, 1736, 1739, 1733, 1737, 1744, 1609, 1574, 1575, 1574, 1749, 1574, 1608,

  1574, 1735, 1574, 1734, 1574, 1736, 1574, 1744, 1574, 1609, 1740, 1574, 1580, 1574,

  1581, 1574, 1605, 1574, 1610, 1576, 1580, 1576, 1581, 1576, 1582, 1576, 1605, 1576,

  1609, 1576, 1610, 1578, 1580, 1578, 1581, 1578, 1582, 1578, 1605, 1578, 1609, 1578,

  1610, 1579, 1580, 1579, 1605, 1579, 1609, 1579, 1610, 1580, 1581, 1580, 1605, 1581,

  1605, 1582, 1580, 1582, 1581, 1582, 1605, 1587, 1580, 1587, 1581, 1587, 1582, 1587,

  1605, 1589, 1581, 1589, 1605, 1590, 1580, 1590, 1581, 1590, 1582, 1590, 1605, 1591,

  1581, 1591, 1605, 1592, 1605, 1593, 1580, 1593, 1605, 1594, 1580, 1594, 1605, 1601,

  1580, 1601, 1581, 1601, 1582, 1601, 1605, 1601, 1609, 1601, 1610, 1602, 1581, 1602,

  1605, 1602, 1609, 1602, 1610, 1603, 1575, 1603, 1580, 1603, 1581, 1603, 1582, 1603,

  1604, 1603, 1605, 1603, 1609, 1603, 1610, 1604, 1580, 1604, 1581, 1604, 1582, 1604,

  1605, 1604, 1609, 1604, 1610, 1605, 1580, 1605, 1605, 1605, 1609, 1605, 1610, 1606,

  1580, 1606, 1581, 1606, 1582, 1606, 1605, 1606, 1609, 1606, 1610, 1607, 1580, 1607,

  1605, 1607, 1609, 1607, 1610, 1610, 1581, 1610, 1582, 1610, 1609, 1584, 1648, 1585,

  1648, 1609, 1648, 32, 1612, 1617, 32, 1613, 1617, 32, 1614, 1617, 32, 1615, 1617,

  32, 1616, 1617, 32, 1617, 1648, 1574, 1585, 1574, 1586, 1574, 1606, 1576, 1585,

  1576, 1586, 1576, 1606, 1578, 1585, 1578, 1586, 1578, 1606, 1579, 1585, 1579, 1586,

  1579, 1606, 1605, 1575, 1606, 1585, 1606, 1586, 1606, 1606, 1610, 1585, 1610, 1586,

  1574, 1582, 1574, 1607, 1576, 1607, 1578, 1607, 1589, 1582, 1604, 1607, 1606, 1607,

  1607, 1648, 1579, 1607, 1587, 1607, 1588, 1605, 1588, 1607, 1600, 1614, 1617, 1600,

  1615, 1617, 1600, 1616, 1617, 1591, 1609, 1591, 1610, 1593, 1609, 1593, 1610, 1594,

  1609, 1594, 1610, 1587, 1609, 1587, 1610, 1588, 1609, 1588, 1610, 1581, 1609, 1580,

  1609, 1580, 1610, 1582, 1609, 1589, 1609, 1589, 1610, 1590, 1609, 1590, 1610, 1588,

  1580, 1588, 1581, 1588, 1582, 1588, 1585, 1587, 1585, 1589, 1585, 1590, 1585, 1575,

  1611, 1578, 1580, 1605, 1578, 1581, 1580, 1578, 1581, 1605, 1578, 1582, 1605, 1578,

  1605, 1580, 1578, 1605, 1581, 1578, 1605, 1582, 1581, 1605, 1610, 1581, 1605, 1609,

  1587, 1581, 1580, 1587, 1580, 1581, 1587, 1580, 1609, 1587, 1605, 1581, 1587, 1605,

  1580, 1587, 1605, 1605, 1589, 1581, 1581, 1589, 1605, 1605, 1588, 1581, 1605, 1588,

  1580, 1610, 1588, 1605, 1582, 1588, 1605, 1605, 1590, 1581, 1609, 1590, 1582, 1605,

  1591, 1605, 1581, 1591, 1605, 1605, 1591, 1605, 1610, 1593, 1580, 1605, 1593, 1605,

  1605, 1593, 1605, 1609, 1594, 1605, 1605, 1594, 1605, 1610, 1594, 1605, 1609, 1601,

  1582, 1605, 1602, 1605, 1581, 1602, 1605, 1605, 1604, 1581, 1605, 1604, 1581, 1610,

  1604, 1581, 1609, 1604, 1580, 1580, 1604, 1582, 1605, 1604, 1605, 1581, 1605, 1581,

  1580, 1605, 1581, 1610, 1605, 1580, 1581, 1605, 1582, 1605, 1605, 1580, 1582, 1607,

  1605, 1580, 1607, 1605, 1605, 1606, 1581, 1605, 1606, 1581, 1609, 1606, 1580, 1605,

  1606, 1580, 1609, 1606, 1605, 1610, 1606, 1605, 1609, 1610, 1605, 1605, 1576, 1582,

  1610, 1578, 1580, 1610, 1578, 1580, 1609, 1578, 1582, 1610, 1578, 1582, 1609, 1578,

  1605, 1610, 1578, 1605, 1609, 1580, 1605, 1610, 1580, 1581, 1609, 1580, 1605, 1609,

  1587, 1582, 1609, 1589, 1581, 1610, 1588, 1581, 1610, 1590, 1581, 1610, 1604, 1580,

  1610, 1604, 1605, 1610, 1610, 1580, 1610, 1610, 1605, 1610, 1605, 1605, 1610, 1602,

  1605, 1610, 1606, 1581, 1610, 1593, 1605, 1610, 1603, 1605, 1610, 1606, 1580, 1581,

  1605, 1582, 1610, 1604, 1580, 1605, 1603, 1605, 1605, 1580, 1581, 1610, 1581, 1580,

  1610, 1605, 1580, 1610, 1601, 1605, 1610, 1576, 1581, 1610, 1587, 1582, 1610, 1606,

  1580, 1610, 1589, 1604, 1746, 1602, 1604, 1746, 1575, 1604, 1604, 1607, 1575, 1603,

  1576, 1585, 1605, 1581, 1605, 1583, 1589, 1604, 1593, 1605, 1585, 1587, 1608, 1604,

  1593, 1604, 1610, 1607, 1608, 1587, 1604, 1605, 1589, 1604, 1609, 1589, 1604, 1609,

  32, 1575, 1604, 1604, 1607, 32, 1593, 1604, 1610, 1607, 32, 1608, 1587, 1604, 1605,

  1580, 1604, 32, 1580, 1604, 1575, 1604, 1607, 1585, 1740, 1575, 1604, 44, 12289,

  12310, 12311, 8212, 8211, 95, 123, 125, 12308, 12309, 12304, 12305, 12298, 12299,

  12300, 12301, 12302, 12303, 91, 93, 35, 38, 42, 45, 60, 62, 92, 36, 37, 64, 32,

  1611, 1600, 1611, 1600, 1617, 32, 1618, 1600, 1618, 1569, 1570, 1571, 1572, 1573,

  1577, 1604, 1570, 1604, 1571, 1604, 1573, 34, 39, 94, 124, 126, 10629, 10630, 12539,

  12453, 12515, 162, 163, 172, 166, 165, 8361, 9474, 8592, 8593, 8594, 8595, 9632,

  9675, 66600, 66601, 66602, 66603, 66604, 66605, 66606, 66607, 66608, 66609, 66610,

  66611, 66612, 66613, 66614, 66615, 66616, 66617, 66618, 66619, 66620, 66621, 66622,

  66623, 66624, 66625, 66626, 66627, 66628, 66629, 66630, 66631, 66632, 66633, 66634,

  66635, 66636, 66637, 66638, 66639, 66776, 66777, 66778, 66779, 66780, 66781, 66782,

  66783, 66784, 66785, 66786, 66787, 66788, 66789, 66790, 66791, 66792, 66793, 66794,

  66795, 66796, 66797, 66798, 66799, 66800, 66801, 66802, 66803, 66804, 66805, 66806,

  66807, 66808, 66809, 66810, 66811, 66967, 66968, 66969, 66970, 66971, 66972, 66973,

  66974, 66975, 66976, 66977, 66979, 66980, 66981, 66982, 66983, 66984, 66985, 66986,

  66987, 66988, 66989, 66990, 66991, 66992, 66993, 66995, 66996, 66997, 66998, 66999,

  67000, 67001, 67003, 67004, 720, 721, 665, 675, 43878, 677, 676, 7569, 600, 606,

  681, 610, 667, 668, 615, 644, 682, 683, 122628, 42894, 622, 122629, 654, 122630,

  630, 631, 634, 122632, 638, 680, 678, 43879, 679, 11377, 655, 673, 674, 664, 448,

  449, 450, 122634, 122654, 68800, 68801, 68802, 68803, 68804, 68805, 68806, 68807,

  68808, 68809, 68810, 68811, 68812, 68813, 68814, 68815, 68816, 68817, 68818, 68819,

  68820, 68821, 68822, 68823, 68824, 68825, 68826, 68827, 68828, 68829, 68830, 68831,

  68832, 68833, 68834, 68835, 68836, 68837, 68838, 68839, 68840, 68841, 68842, 68843,

  68844, 68845, 68846, 68847, 68848, 68849, 68850, 68976, 68977, 68978, 68979, 68980,

  68981, 68982, 68983, 68984, 68985, 68986, 68987, 68988, 68989, 68990, 68991, 68992,

  68993, 68994, 68995, 68996, 68997, 71872, 71873, 71874, 71875, 71876, 71877, 71878,

  71879, 71880, 71881, 71882, 71883, 71884, 71885, 71886, 71887, 71888, 71889, 71890,

  71891, 71892, 71893, 71894, 71895, 71896, 71897, 71898, 71899, 71900, 71901, 71902,

  71903, 93792, 93793, 93794, 93795, 93796, 93797, 93798, 93799, 93800, 93801, 93802,

  93803, 93804, 93805, 93806, 93807, 93808, 93809, 93810, 93811, 93812, 93813, 93814,

  93815, 93816, 93817, 93818, 93819, 93820, 93821, 93822, 93823, 119127, 119141, 119128,

  119141, 119128, 119141, 119150, 119128, 119141, 119151, 119128, 119141, 119152,

  119128, 119141, 119153, 119128, 119141, 119154, 119225, 119141, 119226, 119141,

  119225, 119141, 119150, 119226, 119141, 119150, 119225, 119141, 119151, 119226,

  119141, 119151, 305, 567, 8711, 8706, 125218, 125219, 125220, 125221, 125222, 125223,

  125224, 125225, 125226, 125227, 125228, 125229, 125230, 125231, 125232, 125233,

  125234, 125235, 125236, 125237, 125238, 125239, 125240, 125241, 125242, 125243,

  125244, 125245, 125246, 125247, 125248, 125249, 125250, 125251, 1646, 1697, 1647,

  48, 44, 49, 44, 50, 44, 51, 44, 52, 44, 53, 44, 54, 44, 55, 44, 56, 44, 57, 44,

  12308, 115, 12309, 119, 122, 104, 118, 115, 100, 115, 115, 112, 112, 118, 119, 99,

  109, 114, 100, 106, 12411, 12363, 12467, 12467, 23383, 21452, 22810, 35299, 20132,

  26144, 28961, 21069, 24460, 20877, 26032, 21021, 32066, 36009, 22768, 21561, 28436,

  25237, 25429, 36938, 25351, 25171, 31105, 31354, 21512, 28288, 30003, 21106, 21942,

  37197, 12308, 26412, 12309, 12308, 19977, 12309, 12308, 20108, 12309, 12308, 23433,

  12309, 12308, 28857, 12309, 12308, 25171, 12309, 12308, 30423, 12309, 12308, 21213,

  12309, 12308, 25943, 12309, 24471, 21487, 20029, 20024, 20033, 131362, 20320, 20411,

  20482, 20602, 20633, 20687, 13470, 132666, 20820, 20836, 20855, 132380, 13497, 20839,

  132427, 20887, 20900, 20172, 20908, 168415, 20995, 13535, 21051, 21062, 21111, 13589,

  21253, 21254, 21321, 21338, 21363, 21373, 21375, 133676, 28784, 21450, 21471, 133987,

  21483, 21489, 21510, 21662, 21560, 21576, 21608, 21666, 21750, 21776, 21843, 21859,

  21892, 21931, 21939, 21954, 22294, 22295, 22097, 22132, 22766, 22478, 22516, 22541,

  22411, 22578, 22577, 22700, 136420, 22770, 22775, 22790, 22818, 22882, 136872, 136938,

  23020, 23067, 23079, 23000, 23142, 14062, 14076, 23304, 23358, 137672, 23491, 23512,

  23539, 138008, 23551, 23558, 24403, 14209, 23648, 23744, 23693, 138724, 23875, 138726,

  23918, 23915, 23932, 24033, 24034, 14383, 24061, 24104, 24125, 24169, 14434, 139651,

  14460, 24240, 24243, 24246, 172946, 140081, 33281, 24354, 14535, 144056, 156122,

  24418, 24427, 14563, 24474, 24525, 24535, 24569, 24705, 14650, 14620, 141012, 24775,

  24904, 24908, 24954, 25010, 24996, 25007, 25054, 25115, 25181, 25265, 25300, 25424,

  142092, 25405, 25340, 25448, 25475, 25572, 142321, 25634, 25541, 25513, 14894, 25705,

  25726, 25757, 25719, 14956, 25964, 143370, 26083, 26360, 26185, 15129, 15112, 15076,

  20882, 20885, 26368, 26268, 32941, 17369, 26401, 26462, 26451, 144323, 15177, 26618,

  26501, 26706, 144493, 26766, 26655, 26900, 26946, 27043, 27114, 27304, 145059, 27355,

  15384, 27425, 145575, 27476, 15438, 27506, 27551, 27579, 146061, 138507, 146170,

  27726, 146620, 27839, 27853, 27751, 27926, 27966, 28009, 28024, 28037, 146718, 27956,

  28207, 28270, 15667, 28359, 147153, 28153, 28526, 147294, 147342, 28614, 28729,

  28699, 15766, 28746, 28797, 28791, 28845, 132389, 28997, 148067, 29084, 148395,

  29224, 29264, 149000, 29312, 29333, 149301, 149524, 29562, 29579, 16044, 29605,

  16056, 29767, 29788, 29829, 29898, 16155, 29988, 150582, 30014, 150674, 139679,

  30224, 151457, 151480, 151620, 16380, 16392, 151795, 151794, 151833, 151859, 30494,

  30495, 30603, 16454, 16534, 152605, 30798, 16611, 153126, 153242, 153285, 31211,

  16687, 31306, 31311, 153980, 154279, 31470, 16898, 154539, 31686, 31689, 16935,

  154752, 31954, 17056, 31976, 31971, 32000, 155526, 32099, 17153, 32199, 32258, 32325,

  17204, 156200, 156231, 17241, 156377, 32634, 156478, 32661, 32762, 156890, 156963,

  32864, 157096, 32880, 144223, 17365, 32946, 33027, 17419, 33086, 23221, 157607,

  157621, 144275, 144284, 33284, 36766, 17515, 33425, 33419, 33437, 21171, 33457,

  33459, 33469, 33510, 158524, 33565, 33635, 33709, 33571, 33725, 33767, 33619, 33738,

  33740, 33756, 158774, 159083, 158933, 17707, 34033, 34035, 34070, 160714, 34148,

  159532, 17757, 17761, 159665, 159954, 17771, 34384, 34407, 34409, 34473, 34440,

  34574, 34530, 34600, 34667, 34694, 17879, 34785, 34817, 17913, 34912, 161383, 35031,

  35038, 17973, 35066, 13499, 161966, 162150, 18110, 18119, 35488, 162984, 36011,

  36033, 36123, 36215, 163631, 133124, 36299, 36284, 36336, 133342, 36564, 165330,

  165357, 37012, 37105, 37137, 165678, 37147, 37432, 37591, 37592, 37500, 37881, 37909,

  166906, 38283, 18837, 38327, 167287, 18918, 38595, 23986, 38691, 168261, 168474,

  19054, 19062, 38880, 168970, 19122, 169110, 38953, 169398, 39138, 19251, 39209,

  39335, 39362, 39422, 19406, 170800, 40000, 40189, 19662, 19693, 40295, 172238, 19704,

  172293, 172558, 172689, 19798, 40702, 40709, 40719, 40726, 173568,

};

const uint32_t table[8150][2] =

{

  {0, 1}, {65, 16777219}, {66, 16777475}, {67, 16777731},

  {68, 16777987}, {69, 16778243}, {70, 16778499}, {71, 16778755},

  {72, 16779011}, {73, 16779267}, {74, 16779523}, {75, 16779779},

  {76, 16780035}, {77, 16780291}, {78, 16780547}, {79, 16780803},

  {80, 16781059}, {81, 16781315}, {82, 16781571}, {83, 16781827},

  {84, 16782083}, {85, 16782339}, {86, 16782595}, {87, 16782851},

  {88, 16783107}, {89, 16783363}, {90, 16783619}, {91, 1},

  {128, 2}, {160, 16783875}, {161, 1}, {168, 33561347},

  {169, 1}, {170, 16777219}, {171, 1}, {173, 0},

  {174, 1}, {175, 33561859}, {176, 1}, {178, 16785155},

  {179, 16785411}, {180, 33562883}, {181, 16786179}, {182, 1},

  {184, 33563651}, {185, 16786947}, {186, 16780803}, {187, 1},

  {188, 50341635}, {189, 50342403}, {190, 50343171}, {191, 1},

  {192, 16789507}, {193, 16789763}, {194, 16790019}, {195, 16790275},

  {196, 16790531}, {197, 16790787}, {198, 16791043}, {199, 16791299},

  {200, 16791555}, {201, 16791811}, {202, 16792067}, {203, 16792323},

  {204, 16792579}, {205, 16792835}, {206, 16793091}, {207, 16793347},

  {208, 16793603}, {209, 16793859}, {210, 16794115}, {211, 16794371},

  {212, 16794627}, {213, 16794883}, {214, 16795139}, {215, 1},

  {216, 16795395}, {217, 16795651}, {218, 16795907}, {219, 16796163},

  {220, 16796419}, {221, 16796675}, {222, 16796931}, {223, 1},

  {256, 16797187}, {257, 1}, {258, 16797443}, {259, 1},

  {260, 16797699}, {261, 1}, {262, 16797955}, {263, 1},

  {264, 16798211}, {265, 1}, {266, 16798467}, {267, 1},

  {268, 16798723}, {269, 1}, {270, 16798979}, {271, 1},

  {272, 16799235}, {273, 1}, {274, 16799491}, {275, 1},

  {276, 16799747}, {277, 1}, {278, 16800003}, {279, 1},

  {280, 16800259}, {281, 1}, {282, 16800515}, {283, 1},

  {284, 16800771}, {285, 1}, {286, 16801027}, {287, 1},

  {288, 16801283}, {289, 1}, {290, 16801539}, {291, 1},

  {292, 16801795}, {293, 1}, {294, 16802051}, {295, 1},

  {296, 16802307}, {297, 1}, {298, 16802563}, {299, 1},

  {300, 16802819}, {301, 1}, {302, 16803075}, {303, 1},

  {304, 33580547}, {305, 1}, {306, 33556483}, {308, 16803843},

  {309, 1}, {310, 16804099}, {311, 1}, {313, 16804355},

  {314, 1}, {315, 16804611}, {316, 1}, {317, 16804867},

  {318, 1}, {319, 33582339}, {321, 16805635}, {322, 1},

  {323, 16805891}, {324, 1}, {325, 16806147}, {326, 1},

  {327, 16806403}, {328, 1}, {329, 33583875}, {330, 16807171},

  {331, 1}, {332, 16807427}, {333, 1}, {334, 16807683},

  {335, 1}, {336, 16807939}, {337, 1}, {338, 16808195},

  {339, 1}, {340, 16808451}, {341, 1}, {342, 16808707},

  {343, 1}, {344, 16808963}, {345, 1}, {346, 16809219},

  {347, 1}, {348, 16809475}, {349, 1}, {350, 16809731},

  {351, 1}, {352, 16809987}, {353, 1}, {354, 16810243},

  {355, 1}, {356, 16810499}, {357, 1}, {358, 16810755},

  {359, 1}, {360, 16811011}, {361, 1}, {362, 16811267},

  {363, 1}, {364, 16811523}, {365, 1}, {366, 16811779},

  {367, 1}, {368, 16812035}, {369, 1}, {370, 16812291},

  {371, 1}, {372, 16812547}, {373, 1}, {374, 16812803},

  {375, 1}, {376, 16813059}, {377, 16813315}, {378, 1},

  {379, 16813571}, {380, 1}, {381, 16813827}, {382, 1},

  {383, 16781827}, {384, 1}, {385, 16814083}, {386, 16814339},

  {387, 1}, {388, 16814595}, {389, 1}, {390, 16814851},

  {391, 16815107}, {392, 1}, {393, 16815363}, {394, 16815619},

  {395, 16815875}, {396, 1}, {398, 16816131}, {399, 16816387},

  {400, 16816643}, {401, 16816899}, {402, 1}, {403, 16817155},

  {404, 16817411}, {405, 1}, {406, 16817667}, {407, 16817923},

  {408, 16818179}, {409, 1}, {412, 16818435}, {413, 16818691},

  {414, 1}, {415, 16818947}, {416, 16819203}, {417, 1},

  {418, 16819459}, {419, 1}, {420, 16819715}, {421, 1},

  {422, 16819971}, {423, 16820227}, {424, 1}, {425, 16820483},

  {426, 1}, {428, 16820739}, {429, 1}, {430, 16820995},

  {431, 16821251}, {432, 1}, {433, 16821507}, {434, 16821763},

  {435, 16822019}, {436, 1}, {437, 16822275}, {438, 1},

  {439, 16822531}, {440, 16822787}, {441, 1}, {444, 16823043},

  {445, 1}, {452, 33600515}, {455, 33601027}, {458, 33601539},

  {461, 16824835}, {462, 1}, {463, 16825091}, {464, 1},

  {465, 16825347}, {466, 1}, {467, 16825603}, {468, 1},

  {469, 16825859}, {470, 1}, {471, 16826115}, {472, 1},

  {473, 16826371}, {474, 1}, {475, 16826627}, {476, 1},

  {478, 16826883}, {479, 1}, {480, 16827139}, {481, 1},

  {482, 16827395}, {483, 1}, {484, 16827651}, {485, 1},

  {486, 16827907}, {487, 1}, {488, 16828163}, {489, 1},

  {490, 16828419}, {491, 1}, {492, 16828675}, {493, 1},

  {494, 16828931}, {495, 1}, {497, 33606403}, {500, 16829699},

  {501, 1}, {502, 16829955}, {503, 16830211}, {504, 16830467},

  {505, 1}, {506, 16830723}, {507, 1}, {508, 16830979},

  {509, 1}, {510, 16831235}, {511, 1}, {512, 16831491},

  {513, 1}, {514, 16831747}, {515, 1}, {516, 16832003},

  {517, 1}, {518, 16832259}, {519, 1}, {520, 16832515},

  {521, 1}, {522, 16832771}, {523, 1}, {524, 16833027},

  {525, 1}, {526, 16833283}, {527, 1}, {528, 16833539},

  {529, 1}, {530, 16833795}, {531, 1}, {532, 16834051},

  {533, 1}, {534, 16834307}, {535, 1}, {536, 16834563},

  {537, 1}, {538, 16834819}, {539, 1}, {540, 16835075},

  {541, 1}, {542, 16835331}, {543, 1}, {544, 16835587},

  {545, 1}, {546, 16835843}, {547, 1}, {548, 16836099},

  {549, 1}, {550, 16836355}, {551, 1}, {552, 16836611},

  {553, 1}, {554, 16836867}, {555, 1}, {556, 16837123},

  {557, 1}, {558, 16837379}, {559, 1}, {560, 16837635},

  {561, 1}, {562, 16837891}, {563, 1}, {570, 16838147},

  {571, 16838403}, {572, 1}, {573, 16838659}, {574, 16838915},

  {575, 1}, {577, 16839171}, {578, 1}, {579, 16839427},

  {580, 16839683}, {581, 16839939}, {582, 16840195}, {583, 1},

  {584, 16840451}, {585, 1}, {586, 16840707}, {587, 1},

  {588, 16840963}, {589, 1}, {590, 16841219}, {591, 1},

  {688, 16779011}, {689, 16841475}, {690, 16779523}, {691, 16781571},

  {692, 16841731}, {693, 16841987}, {694, 16842243}, {695, 16782851},

  {696, 16783363}, {697, 1}, {728, 33619715}, {729, 33620227},

  {730, 33620739}, {731, 33621251}, {732, 33621763}, {733, 33622275},

  {734, 1}, {736, 16817411}, {737, 16780035}, {738, 16781827},

  {739, 16783107}, {740, 16845571}, {741, 1}, {832, 16845827},

  {833, 16785923}, {834, 1}, {835, 16846083}, {836, 33623555},

  {837, 16846851}, {838, 1}, {847, 0}, {848, 1},

  {880, 16847107}, {881, 1}, {882, 16847363}, {883, 1},

  {884, 16847619}, {885, 1}, {886, 16847875}, {887, 1},

  {888, 2}, {890, 33625347}, {891, 1}, {894, 16848643},

  {895, 16848899}, {896, 2}, {900, 33562883}, {901, 50403587},

  {902, 16849923}, {903, 16805379}, {904, 16850179}, {905, 16850435},

  {906, 16850691}, {907, 2}, {908, 16850947}, {909, 2},

  {910, 16851203}, {911, 16851459}, {912, 1}, {913, 16851715},

  {914, 16851971}, {915, 16852227}, {916, 16852483}, {917, 16852739},

  {918, 16852995}, {919, 16853251}, {920, 16853507}, {921, 16846851},

  {922, 16853763}, {923, 16854019}, {924, 16786179}, {925, 16854275},

  {926, 16854531}, {927, 16854787}, {928, 16855043}, {929, 16855299},

  {930, 2}, {931, 16855555}, {932, 16855811}, {933, 16856067},

  {934, 16856323}, {935, 16856579}, {936, 16856835}, {937, 16857091},

  {938, 16857347}, {939, 16857603}, {940, 1}, {975, 16857859},

  {976, 16851971}, {977, 16853507}, {978, 16856067}, {979, 16851203},

  {980, 16857603}, {981, 16856323}, {982, 16855043}, {983, 1},

  {984, 16858115}, {985, 1}, {986, 16858371}, {987, 1},

  {988, 16858627}, {989, 1}, {990, 16858883}, {991, 1},

  {992, 16859139}, {993, 1}, {994, 16859395}, {995, 1},

  {996, 16859651}, {997, 1}, {998, 16859907}, {999, 1},

  {1000, 16860163}, {1001, 1}, {1002, 16860419}, {1003, 1},

  {1004, 16860675}, {1005, 1}, {1006, 16860931}, {1007, 1},

  {1008, 16853763}, {1009, 16855299}, {1010, 16855555}, {1011, 1},

  {1012, 16853507}, {1013, 16852739}, {1014, 1}, {1015, 16861187},

  {1016, 1}, {1017, 16855555}, {1018, 16861443}, {1019, 1},

  {1021, 16861699}, {1022, 16861955}, {1023, 16862211}, {1024, 16862467},

  {1025, 16862723}, {1026, 16862979}, {1027, 16863235}, {1028, 16863491},

  {1029, 16863747}, {1030, 16864003}, {1031, 16864259}, {1032, 16864515},

  {1033, 16864771}, {1034, 16865027}, {1035, 16865283}, {1036, 16865539},

  {1037, 16865795}, {1038, 16866051}, {1039, 16866307}, {1040, 16866563},

  {1041, 16866819}, {1042, 16867075}, {1043, 16867331}, {1044, 16867587},

  {1045, 16867843}, {1046, 16868099}, {1047, 16868355}, {1048, 16868611},

  {1049, 16868867}, {1050, 16869123}, {1051, 16869379}, {1052, 16869635},

  {1053, 16869891}, {1054, 16870147}, {1055, 16870403}, {1056, 16870659},

  {1057, 16870915}, {1058, 16871171}, {1059, 16871427}, {1060, 16871683},

  {1061, 16871939}, {1062, 16872195}, {1063, 16872451}, {1064, 16872707},

  {1065, 16872963}, {1066, 16873219}, {1067, 16873475}, {1068, 16873731},

  {1069, 16873987}, {1070, 16874243}, {1071, 16874499}, {1072, 1},

  {1120, 16874755}, {1121, 1}, {1122, 16875011}, {1123, 1},

  {1124, 16875267}, {1125, 1}, {1126, 16875523}, {1127, 1},

  {1128, 16875779}, {1129, 1}, {1130, 16876035}, {1131, 1},

  {1132, 16876291}, {1133, 1}, {1134, 16876547}, {1135, 1},

  {1136, 16876803}, {1137, 1}, {1138, 16877059}, {1139, 1},

  {1140, 16877315}, {1141, 1}, {1142, 16877571}, {1143, 1},

  {1144, 16877827}, {1145, 1}, {1146, 16878083}, {1147, 1},

  {1148, 16878339}, {1149, 1}, {1150, 16878595}, {1151, 1},

  {1152, 16878851}, {1153, 1}, {1162, 16879107}, {1163, 1},

  {1164, 16879363}, {1165, 1}, {1166, 16879619}, {1167, 1},

  {1168, 16879875}, {1169, 1}, {1170, 16880131}, {1171, 1},

  {1172, 16880387}, {1173, 1}, {1174, 16880643}, {1175, 1},

  {1176, 16880899}, {1177, 1}, {1178, 16881155}, {1179, 1},

  {1180, 16881411}, {1181, 1}, {1182, 16881667}, {1183, 1},

  {1184, 16881923}, {1185, 1}, {1186, 16882179}, {1187, 1},

  {1188, 16882435}, {1189, 1}, {1190, 16882691}, {1191, 1},

  {1192, 16882947}, {1193, 1}, {1194, 16883203}, {1195, 1},

  {1196, 16883459}, {1197, 1}, {1198, 16883715}, {1199, 1},

  {1200, 16883971}, {1201, 1}, {1202, 16884227}, {1203, 1},

  {1204, 16884483}, {1205, 1}, {1206, 16884739}, {1207, 1},

  {1208, 16884995}, {1209, 1}, {1210, 16885251}, {1211, 1},

  {1212, 16885507}, {1213, 1}, {1214, 16885763}, {1215, 1},

  {1216, 16886019}, {1217, 16886275}, {1218, 1}, {1219, 16886531},

  {1220, 1}, {1221, 16886787}, {1222, 1}, {1223, 16887043},

  {1224, 1}, {1225, 16887299}, {1226, 1}, {1227, 16887555},

  {1228, 1}, {1229, 16887811}, {1230, 1}, {1232, 16888067},

  {1233, 1}, {1234, 16888323}, {1235, 1}, {1236, 16888579},

  {1237, 1}, {1238, 16888835}, {1239, 1}, {1240, 16889091},

  {1241, 1}, {1242, 16889347}, {1243, 1}, {1244, 16889603},

  {1245, 1}, {1246, 16889859}, {1247, 1}, {1248, 16890115},

  {1249, 1}, {1250, 16890371}, {1251, 1}, {1252, 16890627},

  {1253, 1}, {1254, 16890883}, {1255, 1}, {1256, 16891139},

  {1257, 1}, {1258, 16891395}, {1259, 1}, {1260, 16891651},

  {1261, 1}, {1262, 16891907}, {1263, 1}, {1264, 16892163},

  {1265, 1}, {1266, 16892419}, {1267, 1}, {1268, 16892675},

  {1269, 1}, {1270, 16892931}, {1271, 1}, {1272, 16893187},

  {1273, 1}, {1274, 16893443}, {1275, 1}, {1276, 16893699},

  {1277, 1}, {1278, 16893955}, {1279, 1}, {1280, 16894211},

  {1281, 1}, {1282, 16894467}, {1283, 1}, {1284, 16894723},

  {1285, 1}, {1286, 16894979}, {1287, 1}, {1288, 16895235},

  {1289, 1}, {1290, 16895491}, {1291, 1}, {1292, 16895747},

  {1293, 1}, {1294, 16896003}, {1295, 1}, {1296, 16896259},

  {1297, 1}, {1298, 16896515}, {1299, 1}, {1300, 16896771},

  {1301, 1}, {1302, 16897027}, {1303, 1}, {1304, 16897283},

  {1305, 1}, {1306, 16897539}, {1307, 1}, {1308, 16897795},

  {1309, 1}, {1310, 16898051}, {1311, 1}, {1312, 16898307},

  {1313, 1}, {1314, 16898563}, {1315, 1}, {1316, 16898819},

  {1317, 1}, {1318, 16899075}, {1319, 1}, {1320, 16899331},

  {1321, 1}, {1322, 16899587}, {1323, 1}, {1324, 16899843},

  {1325, 1}, {1326, 16900099}, {1327, 1}, {1328, 2},

  {1329, 16900355}, {1330, 16900611}, {1331, 16900867}, {1332, 16901123},

  {1333, 16901379}, {1334, 16901635}, {1335, 16901891}, {1336, 16902147},

  {1337, 16902403}, {1338, 16902659}, {1339, 16902915}, {1340, 16903171},

  {1341, 16903427}, {1342, 16903683}, {1343, 16903939}, {1344, 16904195},

  {1345, 16904451}, {1346, 16904707}, {1347, 16904963}, {1348, 16905219},

  {1349, 16905475}, {1350, 16905731}, {1351, 16905987}, {1352, 16906243},

  {1353, 16906499}, {1354, 16906755}, {1355, 16907011}, {1356, 16907267},

  {1357, 16907523}, {1358, 16907779}, {1359, 16908035}, {1360, 16908291},

  {1361, 16908547}, {1362, 16908803}, {1363, 16909059}, {1364, 16909315},

  {1365, 16909571}, {1366, 16909827}, {1367, 2}, {1369, 1},

  {1415, 33687299}, {1416, 1}, {1419, 2}, {1421, 1},

  {1424, 2}, {1425, 1}, {1480, 2}, {1488, 1},

  {1515, 2}, {1519, 1}, {1525, 2}, {1542, 1},

  {1564, 2}, {1565, 1}, {1653, 33687811}, {1654, 33688323},

  {1655, 33688835}, {1656, 33689347}, {1657, 1}, {1757, 2},

  {1758, 1}, {1806, 2}, {1808, 1}, {1867, 2},

  {1869, 1}, {1970, 2}, {1984, 1}, {2043, 2},

  {2045, 1}, {2094, 2}, {2096, 1}, {2111, 2},

  {2112, 1}, {2140, 2}, {2142, 1}, {2143, 2},

  {2144, 1}, {2155, 2}, {2160, 1}, {2191, 2},

  {2199, 1}, {2274, 2}, {2275, 1}, {2392, 33689859},

  {2393, 33690371}, {2394, 33690883}, {2395, 33691395}, {2396, 33691907},

  {2397, 33692419}, {2398, 33692931}, {2399, 33693443}, {2400, 1},

  {2436, 2}, {2437, 1}, {2445, 2}, {2447, 1},

  {2449, 2}, {2451, 1}, {2473, 2}, {2474, 1},

  {2481, 2}, {2482, 1}, {2483, 2}, {2486, 1},

  {2490, 2}, {2492, 1}, {2501, 2}, {2503, 1},

  {2505, 2}, {2507, 1}, {2511, 2}, {2519, 1},

  {2520, 2}, {2524, 33693955}, {2525, 33694467}, {2526, 2},

  {2527, 33694979}, {2528, 1}, {2532, 2}, {2534, 1},

  {2559, 2}, {2561, 1}, {2564, 2}, {2565, 1},

  {2571, 2}, {2575, 1}, {2577, 2}, {2579, 1},

  {2601, 2}, {2602, 1}, {2609, 2}, {2610, 1},

  {2611, 33695491}, {2612, 2}, {2613, 1}, {2614, 33696003},

  {2615, 2}, {2616, 1}, {2618, 2}, {2620, 1},

  {2621, 2}, {2622, 1}, {2627, 2}, {2631, 1},

  {2633, 2}, {2635, 1}, {2638, 2}, {2641, 1},

  {2642, 2}, {2649, 33696515}, {2650, 33697027}, {2651, 33697539},

  {2652, 1}, {2653, 2}, {2654, 33698051}, {2655, 2},

  {2662, 1}, {2679, 2}, {2689, 1}, {2692, 2},

  {2693, 1}, {2702, 2}, {2703, 1}, {2706, 2},

  {2707, 1}, {2729, 2}, {2730, 1}, {2737, 2},

  {2738, 1}, {2740, 2}, {2741, 1}, {2746, 2},

  {2748, 1}, {2758, 2}, {2759, 1}, {2762, 2},

  {2763, 1}, {2766, 2}, {2768, 1}, {2769, 2},

  {2784, 1}, {2788, 2}, {2790, 1}, {2802, 2},

  {2809, 1}, {2816, 2}, {2817, 1}, {2820, 2},

  {2821, 1}, {2829, 2}, {2831, 1}, {2833, 2},

  {2835, 1}, {2857, 2}, {2858, 1}, {2865, 2},

  {2866, 1}, {2868, 2}, {2869, 1}, {2874, 2},

  {2876, 1}, {2885, 2}, {2887, 1}, {2889, 2},

  {2891, 1}, {2894, 2}, {2901, 1}, {2904, 2},

  {2908, 33698563}, {2909, 33699075}, {2910, 2}, {2911, 1},

  {2916, 2}, {2918, 1}, {2936, 2}, {2946, 1},

  {2948, 2}, {2949, 1}, {2955, 2}, {2958, 1},

  {2961, 2}, {2962, 1}, {2966, 2}, {2969, 1},

  {2971, 2}, {2972, 1}, {2973, 2}, {2974, 1},

  {2976, 2}, {2979, 1}, {2981, 2}, {2984, 1},

  {2987, 2}, {2990, 1}, {3002, 2}, {3006, 1},

  {3011, 2}, {3014, 1}, {3017, 2}, {3018, 1},

  {3022, 2}, {3024, 1}, {3025, 2}, {3031, 1},

  {3032, 2}, {3046, 1}, {3067, 2}, {3072, 1},

  {3085, 2}, {3086, 1}, {3089, 2}, {3090, 1},

  {3113, 2}, {3114, 1}, {3130, 2}, {3132, 1},

  {3141, 2}, {3142, 1}, {3145, 2}, {3146, 1},

  {3150, 2}, {3157, 1}, {3159, 2}, {3160, 1},

  {3163, 2}, {3165, 1}, {3166, 2}, {3168, 1},

  {3172, 2}, {3174, 1}, {3184, 2}, {3191, 1},

  {3213, 2}, {3214, 1}, {3217, 2}, {3218, 1},

  {3241, 2}, {3242, 1}, {3252, 2}, {3253, 1},

  {3258, 2}, {3260, 1}, {3269, 2}, {3270, 1},

  {3273, 2}, {3274, 1}, {3278, 2}, {3285, 1},

  {3287, 2}, {3293, 1}, {3295, 2}, {3296, 1},

  {3300, 2}, {3302, 1}, {3312, 2}, {3313, 1},

  {3316, 2}, {3328, 1}, {3341, 2}, {3342, 1},

  {3345, 2}, {3346, 1}, {3397, 2}, {3398, 1},

  {3401, 2}, {3402, 1}, {3408, 2}, {3412, 1},

  {3428, 2}, {3430, 1}, {3456, 2}, {3457, 1},

  {3460, 2}, {3461, 1}, {3479, 2}, {3482, 1},

  {3506, 2}, {3507, 1}, {3516, 2}, {3517, 1},

  {3518, 2}, {3520, 1}, {3527, 2}, {3530, 1},

  {3531, 2}, {3535, 1}, {3541, 2}, {3542, 1},

  {3543, 2}, {3544, 1}, {3552, 2}, {3558, 1},

  {3568, 2}, {3570, 1}, {3573, 2}, {3585, 1},

  {3635, 33699587}, {3636, 1}, {3643, 2}, {3647, 1},

  {3676, 2}, {3713, 1}, {3715, 2}, {3716, 1},

  {3717, 2}, {3718, 1}, {3723, 2}, {3724, 1},

  {3748, 2}, {3749, 1}, {3750, 2}, {3751, 1},

  {3763, 33700099}, {3764, 1}, {3774, 2}, {3776, 1},

  {3781, 2}, {3782, 1}, {3783, 2}, {3784, 1},

  {3791, 2}, {3792, 1}, {3802, 2}, {3804, 33700611},

  {3805, 33701123}, {3806, 1}, {3808, 2}, {3840, 1},

  {3852, 16924419}, {3853, 1}, {3907, 33701891}, {3908, 1},

  {3912, 2}, {3913, 1}, {3917, 33702403}, {3918, 1},

  {3922, 33702915}, {3923, 1}, {3927, 33703427}, {3928, 1},

  {3932, 33703939}, {3933, 1}, {3945, 33704451}, {3946, 1},

  {3949, 2}, {3953, 1}, {3955, 33704963}, {3956, 1},

  {3957, 33705475}, {3958, 33705987}, {3959, 50483715}, {3960, 33707267},

  {3961, 50484995}, {3962, 1}, {3969, 33706755}, {3970, 1},

  {3987, 33708547}, {3988, 1}, {3992, 2}, {3993, 1},

  {3997, 33709059}, {3998, 1}, {4002, 33709571}, {4003, 1},

  {4007, 33710083}, {4008, 1}, {4012, 33710595}, {4013, 1},

  {4025, 33711107}, {4026, 1}, {4029, 2}, {4030, 1},

  {4045, 2}, {4046, 1}, {4059, 2}, {4096, 1},

  {4256, 16934403}, {4257, 16934659}, {4258, 16934915}, {4259, 16935171},

  {4260, 16935427}, {4261, 16935683}, {4262, 16935939}, {4263, 16936195},

  {4264, 16936451}, {4265, 16936707}, {4266, 16936963}, {4267, 16937219},

  {4268, 16937475}, {4269, 16937731}, {4270, 16937987}, {4271, 16938243},

  {4272, 16938499}, {4273, 16938755}, {4274, 16939011}, {4275, 16939267},

  {4276, 16939523}, {4277, 16939779}, {4278, 16940035}, {4279, 16940291},

  {4280, 16940547}, {4281, 16940803}, {4282, 16941059}, {4283, 16941315},

  {4284, 16941571}, {4285, 16941827}, {4286, 16942083}, {4287, 16942339},

  {4288, 16942595}, {4289, 16942851}, {4290, 16943107}, {4291, 16943363},

  {4292, 16943619}, {4293, 16943875}, {4294, 2}, {4295, 16944131},

  {4296, 2}, {4301, 16944387}, {4302, 2}, {4304, 1},

  {4348, 16944643}, {4349, 1}, {4447, 0}, {4449, 1},

  {4681, 2}, {4682, 1}, {4686, 2}, {4688, 1},

  {4695, 2}, {4696, 1}, {4697, 2}, {4698, 1},

  {4702, 2}, {4704, 1}, {4745, 2}, {4746, 1},

  {4750, 2}, {4752, 1}, {4785, 2}, {4786, 1},

  {4790, 2}, {4792, 1}, {4799, 2}, {4800, 1},

  {4801, 2}, {4802, 1}, {4806, 2}, {4808, 1},

  {4823, 2}, {4824, 1}, {4881, 2}, {4882, 1},

  {4886, 2}, {4888, 1}, {4955, 2}, {4957, 1},

  {4989, 2}, {4992, 1}, {5018, 2}, {5024, 1},

  {5110, 2}, {5112, 16944899}, {5113, 16945155}, {5114, 16945411},

  {5115, 16945667}, {5116, 16945923}, {5117, 16946179}, {5118, 2},

  {5120, 1}, {5760, 2}, {5761, 1}, {5789, 2},

  {5792, 1}, {5881, 2}, {5888, 1}, {5910, 2},

  {5919, 1}, {5943, 2}, {5952, 1}, {5972, 2},

  {5984, 1}, {5997, 2}, {5998, 1}, {6001, 2},

  {6002, 1}, {6004, 2}, {6016, 1}, {6068, 0},

  {6070, 1}, {6110, 2}, {6112, 1}, {6122, 2},

  {6128, 1}, {6138, 2}, {6144, 1}, {6155, 0},

  {6160, 1}, {6170, 2}, {6176, 1}, {6265, 2},

  {6272, 1}, {6315, 2}, {6320, 1}, {6390, 2},

  {6400, 1}, {6431, 2}, {6432, 1}, {6444, 2},

  {6448, 1}, {6460, 2}, {6464, 1}, {6465, 2},

  {6468, 1}, {6510, 2}, {6512, 1}, {6517, 2},

  {6528, 1}, {6572, 2}, {6576, 1}, {6602, 2},

  {6608, 1}, {6619, 2}, {6622, 1}, {6684, 2},

  {6686, 1}, {6751, 2}, {6752, 1}, {6781, 2},

  {6783, 1}, {6794, 2}, {6800, 1}, {6810, 2},

  {6816, 1}, {6830, 2}, {6832, 1}, {6863, 2},

  {6912, 1}, {6989, 2}, {6990, 1}, {7156, 2},

  {7164, 1}, {7224, 2}, {7227, 1}, {7242, 2},

  {7245, 1}, {7296, 16867075}, {7297, 16867587}, {7298, 16870147},

  {7299, 16870915}, {7300, 16871171}, {7302, 16873219}, {7303, 16875011},

  {7304, 16946435}, {7305, 16946691}, {7306, 1}, {7307, 2},

  {7312, 16946947}, {7313, 16947203}, {7314, 16947459}, {7315, 16947715},

  {7316, 16947971}, {7317, 16948227}, {7318, 16948483}, {7319, 16948739},

  {7320, 16948995}, {7321, 16949251}, {7322, 16949507}, {7323, 16949763},

  {7324, 16944643}, {7325, 16950019}, {7326, 16950275}, {7327, 16950531},

  {7328, 16950787}, {7329, 16951043}, {7330, 16951299}, {7331, 16951555},

  {7332, 16951811}, {7333, 16952067}, {7334, 16952323}, {7335, 16952579},

  {7336, 16952835}, {7337, 16953091}, {7338, 16953347}, {7339, 16953603},

  {7340, 16953859}, {7341, 16954115}, {7342, 16954371}, {7343, 16954627},

  {7344, 16954883}, {7345, 16955139}, {7346, 16955395}, {7347, 16955651},

  {7348, 16955907}, {7349, 16956163}, {7350, 16956419}, {7351, 16956675},

  {7352, 16956931}, {7353, 16957187}, {7354, 16957443}, {7355, 2},

  {7357, 16957699}, {7358, 16957955}, {7359, 16958211}, {7360, 1},

  {7368, 2}, {7376, 1}, {7419, 2}, {7424, 1},