uint128test.c

//  uint128test.c
//
//  Created by Rolf on 2016-08-15
//  Copyright © 2016-2018 Dr. Rolf Jansen. All rights reserved.
//
//  clang -DUInt128_Testing -std=c11 -O3 ´g0 -mssse3 -Wno-parentheses utils.c uint128test.c -o uint128test


#include <stdlib.h>
#include <stdio.h>
#include <stdbool.h>
#include <stdint.h>
#include <stdarg.h>
#include <stddef.h>
#include <fcntl.h>
#include <errno.h>
#include <string.h>
#include <time.h>
#include <math.h>
#include <syslog.h>
#include <unistd.h>
#include <sys/stat.h>
#include <sys/time.h>

#include "utils.h"
#include "uint128t.h"

typedef unsigned long long ullong;
typedef union
{
    ullong    q[2];
    uint128t  t;
  __uint128_t v;
} uint128u;


uint128u num[] =
{
   {0, 0},
   {1, 0},
   {2000, 0},
   {3000000, 0},
   {5000000000, 0},
   {5000000000000, 0},
   {6000000000000000, 0},
   {7000000000000000000, 0},

   {0,  800},
   {0,  900000},
   {0, 1000000000},
   {0, 1100000000000},
   {0, 1200000000000000},
   {0, 1300000000000000000},

   {0x1, 0x0}, {0x3, 0x0}, {0x7, 0x0}, {0xF, 0x0}, {0x1F, 0x0}, {0x3F, 0x0}, {0x7F, 0x0}, {0xFF, 0x0},
   {0x1FF, 0x0}, {0x3FF, 0x0}, {0x7FF, 0x0}, {0xFFF, 0x0}, {0x1FFF, 0x0}, {0x3FFF, 0x0}, {0x7FFF, 0x0}, {0xFFFF, 0x0},
   {0x1FFFF, 0x0}, {0x3FFFF, 0x0}, {0x7FFFF, 0x0}, {0xFFFFF, 0x0}, {0x1FFFFF, 0x0}, {0x3FFFFF, 0x0}, {0x7FFFFF, 0x0},
   {0xFFFFFF, 0x0}, {0x1FFFFFF, 0x0}, {0x3FFFFFF, 0x0}, {0x7FFFFFF, 0x0}, {0xFFFFFFF, 0x0}, {0x1FFFFFFF, 0x0}, {0x3FFFFFFF, 0x0},
   {0x7FFFFFFF, 0x0}, {0xFFFFFFFF, 0x0}, {0x1FFFFFFFF, 0x0}, {0x3FFFFFFFF, 0x0}, {0x7FFFFFFFF, 0x0}, {0xFFFFFFFFF, 0x0},
   {0x1FFFFFFFFF, 0x0}, {0x3FFFFFFFFF, 0x0}, {0x7FFFFFFFFF, 0x0}, {0xFFFFFFFFFF, 0x0}, {0x1FFFFFFFFFF, 0x0}, {0x3FFFFFFFFFF, 0x0},
   {0x7FFFFFFFFFF, 0x0}, {0xFFFFFFFFFFF, 0x0}, {0x1FFFFFFFFFFF, 0x0}, {0x3FFFFFFFFFFF, 0x0}, {0x7FFFFFFFFFFF, 0x0},
   {0xFFFFFFFFFFFF, 0x0}, {0x1FFFFFFFFFFFF, 0x0}, {0x3FFFFFFFFFFFF, 0x0}, {0x7FFFFFFFFFFFF, 0x0}, {0xFFFFFFFFFFFFF, 0x0},
   {0x1FFFFFFFFFFFFF, 0x0}, {0x3FFFFFFFFFFFFF, 0x0}, {0x7FFFFFFFFFFFFF, 0x0}, {0xFFFFFFFFFFFFFF, 0x0}, {0x1FFFFFFFFFFFFFF, 0x0},
   {0x3FFFFFFFFFFFFFF, 0x0}, {0x7FFFFFFFFFFFFFF, 0x0}, {0xFFFFFFFFFFFFFFF, 0x0}, {0x1FFFFFFFFFFFFFFF, 0x0}, {0x3FFFFFFFFFFFFFFF, 0x0},
   {0x7FFFFFFFFFFFFFFF, 0x0}, {0xFFFFFFFFFFFFFFFF, 0x0}, {0xFFFFFFFFFFFFFFFF, 0x1}, {0xFFFFFFFFFFFFFFFF, 0x3},
   {0xFFFFFFFFFFFFFFFF, 0x7}, {0xFFFFFFFFFFFFFFFF, 0xF}, {0xFFFFFFFFFFFFFFFF, 0x1F}, {0xFFFFFFFFFFFFFFFF, 0x3F},
   {0xFFFFFFFFFFFFFFFF, 0x7F}, {0xFFFFFFFFFFFFFFFF, 0xFF}, {0xFFFFFFFFFFFFFFFF, 0x1FF}, {0xFFFFFFFFFFFFFFFF, 0x3FF},
   {0xFFFFFFFFFFFFFFFF, 0x7FF}, {0xFFFFFFFFFFFFFFFF, 0xFFF}, {0xFFFFFFFFFFFFFFFF, 0x1FFF}, {0xFFFFFFFFFFFFFFFF, 0x3FFF},
   {0xFFFFFFFFFFFFFFFF, 0x7FFF}, {0xFFFFFFFFFFFFFFFF, 0xFFFF}, {0xFFFFFFFFFFFFFFFF, 0x1FFFF}, {0xFFFFFFFFFFFFFFFF, 0x3FFFF},
   {0xFFFFFFFFFFFFFFFF, 0x7FFFF}, {0xFFFFFFFFFFFFFFFF, 0xFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x1FFFFF}, {0xFFFFFFFFFFFFFFFF, 0x3FFFFF},
   {0xFFFFFFFFFFFFFFFF, 0x7FFFFF}, {0xFFFFFFFFFFFFFFFF, 0xFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x1FFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x3FFFFFF},
   {0xFFFFFFFFFFFFFFFF, 0x7FFFFFF}, {0xFFFFFFFFFFFFFFFF, 0xFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x1FFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x3FFFFFFF},
   {0xFFFFFFFFFFFFFFFF, 0x7FFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0xFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x1FFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x3FFFFFFFF},
   {0xFFFFFFFFFFFFFFFF, 0x7FFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x1FFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x3FFFFFFFFF},
   {0xFFFFFFFFFFFFFFFF, 0x7FFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x1FFFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x3FFFFFFFFFF},
   {0xFFFFFFFFFFFFFFFF, 0x7FFFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x1FFFFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x3FFFFFFFFFFF},
   {0xFFFFFFFFFFFFFFFF, 0x7FFFFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x1FFFFFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x3FFFFFFFFFFFF},
   {0xFFFFFFFFFFFFFFFF, 0x7FFFFFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x1FFFFFFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x3FFFFFFFFFFFFF},
   {0xFFFFFFFFFFFFFFFF, 0x7FFFFFFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x1FFFFFFFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x3FFFFFFFFFFFFFF},
   {0xFFFFFFFFFFFFFFFF, 0x7FFFFFFFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x1FFFFFFFFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0x3FFFFFFFFFFFFFFF},
   {0xFFFFFFFFFFFFFFFF, 0x7FFFFFFFFFFFFFFF}, {0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF},

   {    2, 0}, {    3, 0}, {    5, 0}, {    7, 0}, {   11, 0}, {   13, 0}, {   17, 0}, {   19, 0}, {   23, 0}, {   29, 0}, {   31, 0}, {   37, 0}, {   41, 0}, {   43, 0},
   {   47, 0}, {   53, 0}, {   59, 0}, {   61, 0}, {   67, 0}, {   71, 0}, {   73, 0}, {   79, 0}, {   83, 0}, {   89, 0}, {   97, 0}, {  101, 0}, {  103, 0}, {  107, 0},
   {  109, 0}, {  113, 0}, {  127, 0}, {  131, 0}, {  137, 0}, {  139, 0}, {  149, 0}, {  151, 0}, {  157, 0}, {  163, 0}, {  167, 0}, {  173, 0}, {  179, 0}, {  181, 0},
   {  191, 0}, {  193, 0}, {  197, 0}, {  199, 0}, {  211, 0}, {  223, 0}, {  227, 0}, {  229, 0}, {  233, 0}, {  239, 0}, {  241, 0}, {  251, 0}, {  257, 0}, {  263, 0},
   {  269, 0}, {  271, 0}, {  277, 0}, {  281, 0}, {  283, 0}, {  293, 0}, {  307, 0}, {  311, 0}, {  313, 0}, {  317, 0}, {  331, 0}, {  337, 0}, {  347, 0}, {  349, 0},
   {  353, 0}, {  359, 0}, {  367, 0}, {  373, 0}, {  379, 0}, {  383, 0}, {  389, 0}, {  397, 0}, {  401, 0}, {  409, 0}, {  419, 0}, {  421, 0}, {  431, 0}, {  433, 0},
   {  439, 0}, {  443, 0}, {  449, 0}, {  457, 0}, {  461, 0}, {  463, 0}, {  467, 0}, {  479, 0}, {  487, 0}, {  491, 0}, {  499, 0}, {  503, 0}, {  509, 0}, {  521, 0},
   {  523, 0}, {  541, 0}, {  547, 0}, {  557, 0}, {  563, 0}, {  569, 0}, {  571, 0}, {  577, 0}, {  587, 0}, {  593, 0}, {  599, 0}, {  601, 0}, {  607, 0}, {  613, 0},
   {  617, 0}, {  619, 0}, {  631, 0}, {  641, 0}, {  643, 0}, {  647, 0}, {  653, 0}, {  659, 0}, {  661, 0}, {  673, 0}, {  677, 0}, {  683, 0}, {  691, 0}, {  701, 0},
   {  709, 0}, {  719, 0}, {  727, 0}, {  733, 0}, {  739, 0}, {  743, 0}, {  751, 0}, {  757, 0}, {  761, 0}, {  769, 0}, {  773, 0}, {  787, 0}, {  797, 0}, {  809, 0},
   {  811, 0}, {  821, 0}, {  823, 0}, {  827, 0}, {  829, 0}, {  839, 0}, {  853, 0}, {  857, 0}, {  859, 0}, {  863, 0}, {  877, 0}, {  881, 0}, {  883, 0}, {  887, 0},
   {  907, 0}, {  911, 0}, {  919, 0}, {  929, 0}, {  937, 0}, {  941, 0}, {  947, 0}, {  953, 0}, {  967, 0}, {  971, 0}, {  977, 0}, {  983, 0}, {  991, 0}, {  997, 0},
   { 1009, 0}, { 1013, 0}, { 1019, 0}, { 1021, 0}, { 1031, 0}, { 1033, 0}, { 1039, 0}, { 1049, 0}, { 1051, 0}, { 1061, 0}, { 1063, 0}, { 1069, 0}, { 1087, 0}, { 1091, 0},
   { 1093, 0}, { 1097, 0}, { 1103, 0}, { 1109, 0}, { 1117, 0}, { 1123, 0}, { 1129, 0}, { 1151, 0}, { 1153, 0}, { 1163, 0}, { 1171, 0}, { 1181, 0}, { 1187, 0}, { 1193, 0},
   { 1201, 0}, { 1213, 0}, { 1217, 0}, { 1223, 0}, { 1229, 0}, { 1231, 0}, { 1237, 0}, { 1249, 0}, { 1259, 0}, { 1277, 0}, { 1279, 0}, { 1283, 0}, { 1289, 0}, { 1291, 0},
   { 1297, 0}, { 1301, 0}, { 1303, 0}, { 1307, 0}, { 1319, 0}, { 1321, 0}, { 1327, 0}, { 1361, 0}, { 1367, 0}, { 1373, 0}, { 1381, 0}, { 1399, 0}, { 1409, 0}, { 1423, 0},
   { 1427, 0}, { 1429, 0}, { 1433, 0}, { 1439, 0}, { 1447, 0}, { 1451, 0}, { 1453, 0}, { 1459, 0}, { 1471, 0}, { 1481, 0}, { 1483, 0}, { 1487, 0}, { 1489, 0}, { 1493, 0},
   { 1499, 0}, { 1511, 0}, { 1523, 0}, { 1531, 0}, { 1543, 0}, { 1549, 0}, { 1553, 0}, { 1559, 0}, { 1567, 0}, { 1571, 0}, { 1579, 0}, { 1583, 0}, { 1597, 0}, { 1601, 0},
   { 1607, 0}, { 1609, 0}, { 1613, 0}, { 1619, 0}, { 1621, 0}, { 1627, 0}, { 1637, 0}, { 1657, 0}, { 1663, 0}, { 1667, 0}, { 1669, 0}, { 1693, 0}, { 1697, 0}, { 1699, 0},
   { 1709, 0}, { 1721, 0}, { 1723, 0}, { 1733, 0}, { 1741, 0}, { 1747, 0}, { 1753, 0}, { 1759, 0}, { 1777, 0}, { 1783, 0}, { 1787, 0}, { 1789, 0}, { 1801, 0}, { 1811, 0},
   { 1823, 0}, { 1831, 0}, { 1847, 0}, { 1861, 0}, { 1867, 0}, { 1871, 0}, { 1873, 0}, { 1877, 0}, { 1879, 0}, { 1889, 0}, { 1901, 0}, { 1907, 0}, { 1913, 0}, { 1931, 0},
   { 1933, 0}, { 1949, 0}, { 1951, 0}, { 1973, 0}, { 1979, 0}, { 1987, 0}, { 1993, 0}, { 1997, 0}, { 1999, 0}, { 2003, 0}, { 2011, 0}, { 2017, 0}, { 2027, 0}, { 2029, 0},
   { 2039, 0}, { 2053, 0}, { 2063, 0}, { 2069, 0}, { 2081, 0}, { 2083, 0}, { 2087, 0}, { 2089, 0}, { 2099, 0}, { 2111, 0}, { 2113, 0}, { 2129, 0}, { 2131, 0}, { 2137, 0},
   { 2141, 0}, { 2143, 0}, { 2153, 0}, { 2161, 0}, { 2179, 0}, { 2203, 0}, { 2207, 0}, { 2213, 0}, { 2221, 0}, { 2237, 0}, { 2239, 0}, { 2243, 0}, { 2251, 0}, { 2267, 0},
   { 2269, 0}, { 2273, 0}, { 2281, 0}, { 2287, 0}, { 2293, 0}, { 2297, 0}, { 2309, 0}, { 2311, 0}, { 2333, 0}, { 2339, 0}, { 2341, 0}, { 2347, 0}, { 2351, 0}, { 2357, 0},
   { 2371, 0}, { 2377, 0}, { 2381, 0}, { 2383, 0}, { 2389, 0}, { 2393, 0}, { 2399, 0}, { 2411, 0}, { 2417, 0}, { 2423, 0}, { 2437, 0}, { 2441, 0}, { 2447, 0}, { 2459, 0},
   { 2467, 0}, { 2473, 0}, { 2477, 0}, { 2503, 0}, { 2521, 0}, { 2531, 0}, { 2539, 0}, { 2543, 0}, { 2549, 0}, { 2551, 0}, { 2557, 0}, { 2579, 0}, { 2591, 0}, { 2593, 0},
   { 2609, 0}, { 2617, 0}, { 2621, 0}, { 2633, 0}, { 2647, 0}, { 2657, 0}, { 2659, 0}, { 2663, 0}, { 2671, 0}, { 2677, 0}, { 2683, 0}, { 2687, 0}, { 2689, 0}, { 2693, 0},
   { 2699, 0}, { 2707, 0}, { 2711, 0}, { 2713, 0}, { 2719, 0}, { 2729, 0}, { 2731, 0}, { 2741, 0}, { 2749, 0}, { 2753, 0}, { 2767, 0}, { 2777, 0}, { 2789, 0}, { 2791, 0},
   { 2797, 0}, { 2801, 0}, { 2803, 0}, { 2819, 0}, { 2833, 0}, { 2837, 0}, { 2843, 0}, { 2851, 0}, { 2857, 0}, { 2861, 0}, { 2879, 0}, { 2887, 0}, { 2897, 0}, { 2903, 0},
   { 2909, 0}, { 2917, 0}, { 2927, 0}, { 2939, 0}, { 2953, 0}, { 2957, 0}, { 2963, 0}, { 2969, 0}, { 2971, 0}, { 2999, 0}, { 3001, 0}, { 3011, 0}, { 3019, 0}, { 3023, 0},
   { 3037, 0}, { 3041, 0}, { 3049, 0}, { 3061, 0}, { 3067, 0}, { 3079, 0}, { 3083, 0}, { 3089, 0}, { 3109, 0}, { 3119, 0}, { 3121, 0}, { 3137, 0}, { 3163, 0}, { 3167, 0},
   { 3169, 0}, { 3181, 0}, { 3187, 0}, { 3191, 0}, { 3203, 0}, { 3209, 0}, { 3217, 0}, { 3221, 0}, { 3229, 0}, { 3251, 0}, { 3253, 0}, { 3257, 0}, { 3259, 0}, { 3271, 0},
   { 3299, 0}, { 3301, 0}, { 3307, 0}, { 3313, 0}, { 3319, 0}, { 3323, 0}, { 3329, 0}, { 3331, 0}, { 3343, 0}, { 3347, 0}, { 3359, 0}, { 3361, 0}, { 3371, 0}, { 3373, 0},
   { 3389, 0}, { 3391, 0}, { 3407, 0}, { 3413, 0}, { 3433, 0}, { 3449, 0}, { 3457, 0}, { 3461, 0}, { 3463, 0}, { 3467, 0}, { 3469, 0}, { 3491, 0}, { 3499, 0}, { 3511, 0},
   { 3517, 0}, { 3527, 0}, { 3529, 0}, { 3533, 0}, { 3539, 0}, { 3541, 0}, { 3547, 0}, { 3557, 0}, { 3559, 0}, { 3571, 0}, { 3581, 0}, { 3583, 0}, { 3593, 0}, { 3607, 0},
   { 3613, 0}, { 3617, 0}, { 3623, 0}, { 3631, 0}, { 3637, 0}, { 3643, 0}, { 3659, 0}, { 3671, 0}, { 3673, 0}, { 3677, 0}, { 3691, 0}, { 3697, 0}, { 3701, 0}, { 3709, 0},
   { 3719, 0}, { 3727, 0}, { 3733, 0}, { 3739, 0}, { 3761, 0}, { 3767, 0}, { 3769, 0}, { 3779, 0}, { 3793, 0}, { 3797, 0}, { 3803, 0}, { 3821, 0}, { 3823, 0}, { 3833, 0},
   { 3847, 0}, { 3851, 0}, { 3853, 0}, { 3863, 0}, { 3877, 0}, { 3881, 0}, { 3889, 0}, { 3907, 0}, { 3911, 0}, { 3917, 0}, { 3919, 0}, { 3923, 0}, { 3929, 0}, { 3931, 0},
   { 3943, 0}, { 3947, 0}, { 3967, 0}, { 3989, 0}, { 4001, 0}, { 4003, 0}, { 4007, 0}, { 4013, 0}, { 4019, 0}, { 4021, 0}, { 4027, 0}, { 4049, 0}, { 4051, 0}, { 4057, 0},
   { 4073, 0}, { 4079, 0}, { 4091, 0}, { 4093, 0}, { 4099, 0}, { 4111, 0}, { 4127, 0}, { 4129, 0}, { 4133, 0}, { 4139, 0}, { 4153, 0}, { 4157, 0}, { 4159, 0}, { 4177, 0},
   { 4201, 0}, { 4211, 0}, { 4217, 0}, { 4219, 0}, { 4229, 0}, { 4231, 0}, { 4241, 0}, { 4243, 0}, { 4253, 0}, { 4259, 0}, { 4261, 0}, { 4271, 0}, { 4273, 0}, { 4283, 0},
   { 4289, 0}, { 4297, 0}, { 4327, 0}, { 4337, 0}, { 4339, 0}, { 4349, 0}, { 4357, 0}, { 4363, 0}, { 4373, 0}, { 4391, 0}, { 4397, 0}, { 4409, 0}, { 4421, 0}, { 4423, 0},
   { 4441, 0}, { 4447, 0}, { 4451, 0}, { 4457, 0}, { 4463, 0}, { 4481, 0}, { 4483, 0}, { 4493, 0}, { 4507, 0}, { 4513, 0}, { 4517, 0}, { 4519, 0}, { 4523, 0}, { 4547, 0},
   { 4549, 0}, { 4561, 0}, { 4567, 0}, { 4583, 0}, { 4591, 0}, { 4597, 0}, { 4603, 0}, { 4621, 0}, { 4637, 0}, { 4639, 0}, { 4643, 0}, { 4649, 0}, { 4651, 0}, { 4657, 0},
   { 4663, 0}, { 4673, 0}, { 4679, 0}, { 4691, 0}, { 4703, 0}, { 4721, 0}, { 4723, 0}, { 4729, 0}, { 4733, 0}, { 4751, 0}, { 4759, 0}, { 4783, 0}, { 4787, 0}, { 4789, 0},
   { 4793, 0}, { 4799, 0}, { 4801, 0}, { 4813, 0}, { 4817, 0}, { 4831, 0}, { 4861, 0}, { 4871, 0}, { 4877, 0}, { 4889, 0}, { 4903, 0}, { 4909, 0}, { 4919, 0}, { 4931, 0},
   { 4933, 0}, { 4937, 0}, { 4943, 0}, { 4951, 0}, { 4957, 0}, { 4967, 0}, { 4969, 0}, { 4973, 0}, { 4987, 0}, { 4993, 0}, { 4999, 0}, { 5003, 0}, { 5009, 0}, { 5011, 0},
   { 5021, 0}, { 5023, 0}, { 5039, 0}, { 5051, 0}, { 5059, 0}, { 5077, 0}, { 5081, 0}, { 5087, 0}, { 5099, 0}, { 5101, 0}, { 5107, 0}, { 5113, 0}, { 5119, 0}, { 5147, 0},
   { 5153, 0}, { 5167, 0}, { 5171, 0}, { 5179, 0}, { 5189, 0}, { 5197, 0}, { 5209, 0}, { 5227, 0}, { 5231, 0}, { 5233, 0}, { 5237, 0}, { 5261, 0}, { 5273, 0}, { 5279, 0},
   { 5281, 0}, { 5297, 0}, { 5303, 0}, { 5309, 0}, { 5323, 0}, { 5333, 0}, { 5347, 0}, { 5351, 0}, { 5381, 0}, { 5387, 0}, { 5393, 0}, { 5399, 0}, { 5407, 0}, { 5413, 0},
   { 5417, 0}, { 5419, 0}, { 5431, 0}, { 5437, 0}, { 5441, 0}, { 5443, 0}, { 5449, 0}, { 5471, 0}, { 5477, 0}, { 5479, 0}, { 5483, 0}, { 5501, 0}, { 5503, 0}, { 5507, 0},
   { 5519, 0}, { 5521, 0}, { 5527, 0}, { 5531, 0}, { 5557, 0}, { 5563, 0}, { 5569, 0}, { 5573, 0}, { 5581, 0}, { 5591, 0}, { 5623, 0}, { 5639, 0}, { 5641, 0}, { 5647, 0},
   { 5651, 0}, { 5653, 0}, { 5657, 0}, { 5659, 0}, { 5669, 0}, { 5683, 0}, { 5689, 0}, { 5693, 0}, { 5701, 0}, { 5711, 0}, { 5717, 0}, { 5737, 0}, { 5741, 0}, { 5743, 0},
   { 5749, 0}, { 5779, 0}, { 5783, 0}, { 5791, 0}, { 5801, 0}, { 5807, 0}, { 5813, 0}, { 5821, 0}, { 5827, 0}, { 5839, 0}, { 5843, 0}, { 5849, 0}, { 5851, 0}, { 5857, 0},
   { 5861, 0}, { 5867, 0}, { 5869, 0}, { 5879, 0}, { 5881, 0}, { 5897, 0}, { 5903, 0}, { 5923, 0}, { 5927, 0}, { 5939, 0}, { 5953, 0}, { 5981, 0}, { 5987, 0}, { 6007, 0},
   { 6011, 0}, { 6029, 0}, { 6037, 0}, { 6043, 0}, { 6047, 0}, { 6053, 0}, { 6067, 0}, { 6073, 0}, { 6079, 0}, { 6089, 0}, { 6091, 0}, { 6101, 0}, { 6113, 0}, { 6121, 0},
   { 6131, 0}, { 6133, 0}, { 6143, 0}, { 6151, 0}, { 6163, 0}, { 6173, 0}, { 6197, 0}, { 6199, 0}, { 6203, 0}, { 6211, 0}, { 6217, 0}, { 6221, 0}, { 6229, 0}, { 6247, 0},
   { 6257, 0}, { 6263, 0}, { 6269, 0}, { 6271, 0}, { 6277, 0}, { 6287, 0}, { 6299, 0}, { 6301, 0}, { 6311, 0}, { 6317, 0}, { 6323, 0}, { 6329, 0}, { 6337, 0}, { 6343, 0},
   { 6353, 0}, { 6359, 0}, { 6361, 0}, { 6367, 0}, { 6373, 0}, { 6379, 0}, { 6389, 0}, { 6397, 0}, { 6421, 0}, { 6427, 0}, { 6449, 0}, { 6451, 0}, { 6469, 0}, { 6473, 0},
   { 6481, 0}, { 6491, 0}, { 6521, 0}, { 6529, 0}, { 6547, 0}, { 6551, 0}, { 6553, 0}, { 6563, 0}, { 6569, 0}, { 6571, 0}, { 6577, 0}, { 6581, 0}, { 6599, 0}, { 6607, 0},
   { 6619, 0}, { 6637, 0}, { 6653, 0}, { 6659, 0}, { 6661, 0}, { 6673, 0}, { 6679, 0}, { 6689, 0}, { 6691, 0}, { 6701, 0}, { 6703, 0}, { 6709, 0}, { 6719, 0}, { 6733, 0},
   { 6737, 0}, { 6761, 0}, { 6763, 0}, { 6779, 0}, { 6781, 0}, { 6791, 0}, { 6793, 0}, { 6803, 0}, { 6823, 0}, { 6827, 0}, { 6829, 0}, { 6833, 0}, { 6841, 0}, { 6857, 0},
   { 6863, 0}, { 6869, 0}, { 6871, 0}, { 6883, 0}, { 6899, 0}, { 6907, 0}, { 6911, 0}, { 6917, 0}, { 6947, 0}, { 6949, 0}, { 6959, 0}, { 6961, 0}, { 6967, 0}, { 6971, 0},
   { 6977, 0}, { 6983, 0}, { 6991, 0}, { 6997, 0}, { 7001, 0}, { 7013, 0}, { 7019, 0}, { 7027, 0}, { 7039, 0}, { 7043, 0}, { 7057, 0}, { 7069, 0}, { 7079, 0}, { 7103, 0},
   { 7109, 0}, { 7121, 0}, { 7127, 0}, { 7129, 0}, { 7151, 0}, { 7159, 0}, { 7177, 0}, { 7187, 0}, { 7193, 0}, { 7207, 0}, { 7211, 0}, { 7213, 0}, { 7219, 0}, { 7229, 0},
   { 7237, 0}, { 7243, 0}, { 7247, 0}, { 7253, 0}, { 7283, 0}, { 7297, 0}, { 7307, 0}, { 7309, 0}, { 7321, 0}, { 7331, 0}, { 7333, 0}, { 7349, 0}, { 7351, 0}, { 7369, 0},
   { 7393, 0}, { 7411, 0}, { 7417, 0}, { 7433, 0}, { 7451, 0}, { 7457, 0}, { 7459, 0}, { 7477, 0}, { 7481, 0}, { 7487, 0}, { 7489, 0}, { 7499, 0}, { 7507, 0}, { 7517, 0},
   { 7523, 0}, { 7529, 0}, { 7537, 0}, { 7541, 0}, { 7547, 0}, { 7549, 0}, { 7559, 0}, { 7561, 0}, { 7573, 0}, { 7577, 0}, { 7583, 0}, { 7589, 0}, { 7591, 0}, { 7603, 0},
   { 7607, 0}, { 7621, 0}, { 7639, 0}, { 7643, 0}, { 7649, 0}, { 7669, 0}, { 7673, 0}, { 7681, 0}, { 7687, 0}, { 7691, 0}, { 7699, 0}, { 7703, 0}, { 7717, 0}, { 7723, 0},
   { 7727, 0}, { 7741, 0}, { 7753, 0}, { 7757, 0}, { 7759, 0}, { 7789, 0}, { 7793, 0}, { 7817, 0}, { 7823, 0}, { 7829, 0}, { 7841, 0}, { 7853, 0}, { 7867, 0}, { 7873, 0},
   { 7877, 0}, { 7879, 0}, { 7883, 0}, { 7901, 0}, { 7907, 0}, { 7919, 0}, { 7927, 0}, { 7933, 0}, { 7937, 0}, { 7949, 0}, { 7951, 0}, { 7963, 0}, { 7993, 0}, { 8009, 0},
   { 8011, 0}, { 8017, 0}, { 8039, 0}, { 8053, 0}, { 8059, 0}, { 8069, 0}, { 8081, 0}, { 8087, 0}, { 8089, 0}, { 8093, 0}, { 8101, 0}, { 8111, 0}, { 8117, 0}, { 8123, 0},
   { 8147, 0}, { 8161, 0}, { 8167, 0}, { 8171, 0}, { 8179, 0}, { 8191, 0}, { 8209, 0}, { 8219, 0}, { 8221, 0}, { 8231, 0}, { 8233, 0}, { 8237, 0}, { 8243, 0}, { 8263, 0},
   { 8269, 0}, { 8273, 0}, { 8287, 0}, { 8291, 0}, { 8293, 0}, { 8297, 0}, { 8311, 0}, { 8317, 0}, { 8329, 0}, { 8353, 0}, { 8363, 0}, { 8369, 0}, { 8377, 0}, { 8387, 0},
   { 8389, 0}, { 8419, 0}, { 8423, 0}, { 8429, 0}, { 8431, 0}, { 8443, 0}, { 8447, 0}, { 8461, 0}, { 8467, 0}, { 8501, 0}, { 8513, 0}, { 8521, 0}, { 8527, 0}, { 8537, 0},
   { 8539, 0}, { 8543, 0}, { 8563, 0}, { 8573, 0}, { 8581, 0}, { 8597, 0}, { 8599, 0}, { 8609, 0}, { 8623, 0}, { 8627, 0}, { 8629, 0}, { 8641, 0}, { 8647, 0}, { 8663, 0},
   { 8669, 0}, { 8677, 0}, { 8681, 0}, { 8689, 0}, { 8693, 0}, { 8699, 0}, { 8707, 0}, { 8713, 0}, { 8719, 0}, { 8731, 0}, { 8737, 0}, { 8741, 0}, { 8747, 0}, { 8753, 0},
   { 8761, 0}, { 8779, 0}, { 8783, 0}, { 8803, 0}, { 8807, 0}, { 8819, 0}, { 8821, 0}, { 8831, 0}, { 8837, 0}, { 8839, 0}, { 8849, 0}, { 8861, 0}, { 8863, 0}, { 8867, 0},
   { 8887, 0}, { 8893, 0}, { 8923, 0}, { 8929, 0}, { 8933, 0}, { 8941, 0}, { 8951, 0}, { 8963, 0}, { 8969, 0}, { 8971, 0}, { 8999, 0}, { 9001, 0}, { 9007, 0}, { 9011, 0},
   { 9013, 0}, { 9029, 0}, { 9041, 0}, { 9043, 0}, { 9049, 0}, { 9059, 0}, { 9067, 0}, { 9091, 0}, { 9103, 0}, { 9109, 0}, { 9127, 0}, { 9133, 0}, { 9137, 0}, { 9151, 0},
   { 9157, 0}, { 9161, 0}, { 9173, 0}, { 9181, 0}, { 9187, 0}, { 9199, 0}, { 9203, 0}, { 9209, 0}, { 9221, 0}, { 9227, 0}, { 9239, 0}, { 9241, 0}, { 9257, 0}, { 9277, 0},
   { 9281, 0}, { 9283, 0}, { 9293, 0}, { 9311, 0}, { 9319, 0}, { 9323, 0}, { 9337, 0}, { 9341, 0}, { 9343, 0}, { 9349, 0}, { 9371, 0}, { 9377, 0}, { 9391, 0}, { 9397, 0},
   { 9403, 0}, { 9413, 0}, { 9419, 0}, { 9421, 0}, { 9431, 0}, { 9433, 0}, { 9437, 0}, { 9439, 0}, { 9461, 0}, { 9463, 0}, { 9467, 0}, { 9473, 0}, { 9479, 0}, { 9491, 0},
   { 9497, 0}, { 9511, 0}, { 9521, 0}, { 9533, 0}, { 9539, 0}, { 9547, 0}, { 9551, 0}, { 9587, 0}, { 9601, 0}, { 9613, 0}, { 9619, 0}, { 9623, 0}, { 9629, 0}, { 9631, 0},
   { 9643, 0}, { 9649, 0}, { 9661, 0}, { 9677, 0}, { 9679, 0}, { 9689, 0}, { 9697, 0}, { 9719, 0}, { 9721, 0}, { 9733, 0}, { 9739, 0}, { 9743, 0}, { 9749, 0}, { 9767, 0},
   { 9769, 0}, { 9781, 0}, { 9787, 0}, { 9791, 0}, { 9803, 0}, { 9811, 0}, { 9817, 0}, { 9829, 0}, { 9833, 0}, { 9839, 0}, { 9851, 0}, { 9857, 0}, { 9859, 0}, { 9871, 0},
   { 9883, 0}, { 9887, 0}, { 9901, 0}, { 9907, 0}, { 9923, 0}, { 9929, 0}, { 9931, 0}, { 9941, 0}, { 9949, 0}, { 9967, 0}, { 9973, 0}, {10007, 0}, {10009, 0}, {10037, 0},
   {10039, 0}, {10061, 0}, {10067, 0}, {10069, 0}, {10079, 0}, {10091, 0}, {10093, 0}, {10099, 0}, {10103, 0}, {10111, 0}, {10133, 0}, {10139, 0}, {10141, 0}, {10151, 0},
   {10159, 0}, {10163, 0}, {10169, 0}, {10177, 0}, {10181, 0}, {10193, 0}, {10211, 0}, {10223, 0}, {10243, 0}, {10247, 0}, {10253, 0}, {10259, 0}, {10267, 0}, {10271, 0},
   {10273, 0}, {10289, 0}, {10301, 0}, {10303, 0}, {10313, 0}, {10321, 0}, {10331, 0}, {10333, 0}, {10337, 0}, {10343, 0}, {10357, 0}, {10369, 0}, {10391, 0}, {10399, 0},
   {10427, 0}, {10429, 0}, {10433, 0}, {10453, 0}, {10457, 0}, {10459, 0}, {10463, 0}, {10477, 0}, {10487, 0}, {10499, 0}, {10501, 0}, {10513, 0}, {10529, 0}, {10531, 0},
   {10559, 0}, {10567, 0}, {10589, 0}, {10597, 0}, {10601, 0}, {10607, 0}, {10613, 0}, {10627, 0}, {10631, 0}, {10639, 0}, {10651, 0}, {10657, 0}, {10663, 0}, {10667, 0},
   {10687, 0}, {10691, 0}, {10709, 0}, {10711, 0}, {10723, 0}, {10729, 0}, {10733, 0}, {10739, 0}, {10753, 0}, {10771, 0}, {10781, 0}, {10789, 0}, {10799, 0}, {10831, 0},
   {10837, 0}, {10847, 0}, {10853, 0}, {10859, 0}, {10861, 0}, {10867, 0}, {10883, 0}, {10889, 0}, {10891, 0}, {10903, 0}, {10909, 0}, {10937, 0}, {10939, 0}, {10949, 0},
   {10957, 0}, {10973, 0}, {10979, 0}, {10987, 0}, {10993, 0}, {11003, 0}, {11027, 0}, {11047, 0}, {11057, 0}, {11059, 0}, {11069, 0}, {11071, 0}, {11083, 0}, {11087, 0},
   {11093, 0}, {11113, 0}, {11117, 0}, {11119, 0}, {11131, 0}, {11149, 0}, {11159, 0}, {11161, 0}, {11171, 0}, {11173, 0}, {11177, 0}, {11197, 0}, {11213, 0}, {11239, 0},
   {11243, 0}, {11251, 0}, {11257, 0}, {11261, 0}, {11273, 0}, {11279, 0}, {11287, 0}, {11299, 0}, {11311, 0}, {11317, 0}, {11321, 0}, {11329, 0}, {11351, 0}, {11353, 0},
   {11369, 0}, {11383, 0}, {11393, 0}, {11399, 0}, {11411, 0}, {11423, 0}, {11437, 0}, {11443, 0}, {11447, 0}, {11467, 0}, {11471, 0}, {11483, 0}, {11489, 0}, {11491, 0},
   {11497, 0}, {11503, 0}, {11519, 0}, {11527, 0}, {11549, 0}, {11551, 0}, {11579, 0}, {11587, 0}, {11593, 0}, {11597, 0}, {11617, 0}, {11621, 0}, {11633, 0}, {11657, 0},
   {11677, 0}, {11681, 0}, {11689, 0}, {11699, 0}, {11701, 0}, {11717, 0}, {11719, 0}, {11731, 0}, {11743, 0}, {11777, 0}, {11779, 0}, {11783, 0}, {11789, 0}, {11801, 0},
   {11807, 0}, {11813, 0}, {11821, 0}, {11827, 0}, {11831, 0}, {11833, 0}, {11839, 0}, {11863, 0}, {11867, 0}, {11887, 0}, {11897, 0}, {11903, 0}, {11909, 0}, {11923, 0},
   {11927, 0}, {11933, 0}, {11939, 0}, {11941, 0}, {11953, 0}, {11959, 0}, {11969, 0}, {11971, 0}, {11981, 0}, {11987, 0}, {12007, 0}, {12011, 0}, {12037, 0}, {12041, 0},
   {12043, 0}, {12049, 0}, {12071, 0}, {12073, 0}, {12097, 0}, {12101, 0}, {12107, 0}, {12109, 0}, {12113, 0}, {12119, 0}, {12143, 0}, {12149, 0}, {12157, 0}, {12161, 0},
   {12163, 0}, {12197, 0}, {12203, 0}, {12211, 0}, {12227, 0}, {12239, 0}, {12241, 0}, {12251, 0}, {12253, 0}, {12263, 0}, {12269, 0}, {12277, 0}, {12281, 0}, {12289, 0},
   {12301, 0}, {12323, 0}, {12329, 0}, {12343, 0}, {12347, 0}, {12373, 0}, {12377, 0}, {12379, 0}, {12391, 0}, {12401, 0}, {12409, 0}, {12413, 0}, {12421, 0}, {12433, 0},
   {12437, 0}, {12451, 0}, {12457, 0}, {12473, 0}, {12479, 0}, {12487, 0}, {12491, 0}, {12497, 0}, {12503, 0}, {12511, 0}, {12517, 0}, {12527, 0}, {12539, 0}, {12541, 0},
   {12547, 0}, {12553, 0}, {12569, 0}, {12577, 0}, {12583, 0}, {12589, 0}, {12601, 0}, {12611, 0}, {12613, 0}, {12619, 0}, {12637, 0}, {12641, 0}, {12647, 0}, {12653, 0},
   {12659, 0}, {12671, 0}, {12689, 0}, {12697, 0}, {12703, 0}, {12713, 0}, {12721, 0}, {12739, 0}, {12743, 0}, {12757, 0}, {12763, 0}, {12781, 0}, {12791, 0}, {12799, 0},
   {12809, 0}, {12821, 0}, {12823, 0}, {12829, 0}, {12841, 0}, {12853, 0}, {12889, 0}, {12893, 0}, {12899, 0}, {12907, 0}, {12911, 0}, {12917, 0}, {12919, 0}, {12923, 0},
   {12941, 0}, {12953, 0}, {12959, 0}, {12967, 0}, {12973, 0}, {12979, 0}, {12983, 0}, {13001, 0}, {13003, 0}, {13007, 0}, {13009, 0}, {13033, 0}, {13037, 0}, {13043, 0},
   {13049, 0}, {13063, 0}, {13093, 0}, {13099, 0}, {13103, 0}, {13109, 0}, {13121, 0}, {13127, 0}, {13147, 0}, {13151, 0}, {13159, 0}, {13163, 0}, {13171, 0}, {13177, 0},
   {13183, 0}, {13187, 0}, {13217, 0}, {13219, 0}, {13229, 0}, {13241, 0}, {13249, 0}, {13259, 0}, {13267, 0}, {13291, 0}, {13297, 0}, {13309, 0}, {13313, 0}, {13327, 0},
   {13331, 0}, {13337, 0}, {13339, 0}, {13367, 0}, {13381, 0}, {13397, 0}, {13399, 0}, {13411, 0}, {13417, 0}, {13421, 0}, {13441, 0}, {13451, 0}, {13457, 0}, {13463, 0},
   {13469, 0}, {13477, 0}, {13487, 0}, {13499, 0}, {13513, 0}, {13523, 0}, {13537, 0}, {13553, 0}, {13567, 0}, {13577, 0}, {13591, 0}, {13597, 0}, {13613, 0}, {13619, 0},
   {13627, 0}, {13633, 0}, {13649, 0}, {13669, 0}, {13679, 0}, {13681, 0}, {13687, 0}, {13691, 0}, {13693, 0}, {13697, 0}, {13709, 0}, {13711, 0}, {13721, 0}, {13723, 0},
   {13729, 0}, {13751, 0}, {13757, 0}, {13759, 0}, {13763, 0}, {13781, 0}, {13789, 0}, {13799, 0}, {13807, 0}, {13829, 0}, {13831, 0}, {13841, 0}, {13859, 0}, {13873, 0},
   {13877, 0}, {13879, 0}, {13883, 0}, {13901, 0}, {13903, 0}, {13907, 0}, {13913, 0}, {13921, 0}, {13931, 0}, {13933, 0}, {13963, 0}, {13967, 0}, {13997, 0}, {13999, 0},
   {14009, 0}, {14011, 0}, {14029, 0}, {14033, 0}, {14051, 0}, {14057, 0}, {14071, 0}, {14081, 0}, {14083, 0}, {14087, 0}, {14107, 0}, {14143, 0}, {14149, 0}, {14153, 0},
   {14159, 0}, {14173, 0}, {14177, 0}, {14197, 0}, {14207, 0}, {14221, 0}, {14243, 0}, {14249, 0}, {14251, 0}, {14281, 0}, {14293, 0}, {14303, 0}, {14321, 0}, {14323, 0},
   {14327, 0}, {14341, 0}, {14347, 0}, {14369, 0}, {14387, 0}, {14389, 0}, {14401, 0}, {14407, 0}, {14411, 0}, {14419, 0}, {14423, 0}, {14431, 0}, {14437, 0}, {14447, 0},
   {14449, 0}, {14461, 0}, {14479, 0}, {14489, 0}, {14503, 0}, {14519, 0}, {14533, 0}, {14537, 0}, {14543, 0}, {14549, 0}, {14551, 0}, {14557, 0}, {14561, 0}, {14563, 0},
   {14591, 0}, {14593, 0}, {14621, 0}, {14627, 0}, {14629, 0}, {14633, 0}, {14639, 0}, {14653, 0}, {14657, 0}, {14669, 0}, {14683, 0}, {14699, 0}, {14713, 0}, {14717, 0},
   {14723, 0}, {14731, 0}, {14737, 0}, {14741, 0}, {14747, 0}, {14753, 0}, {14759, 0}, {14767, 0}, {14771, 0}, {14779, 0}, {14783, 0}, {14797, 0}, {14813, 0}, {14821, 0},
   {14827, 0}, {14831, 0}, {14843, 0}, {14851, 0}, {14867, 0}, {14869, 0}, {14879, 0}, {14887, 0}, {14891, 0}, {14897, 0}, {14923, 0}, {14929, 0}, {14939, 0}, {14947, 0},
   {14951, 0}, {14957, 0}, {14969, 0}, {14983, 0}, {15013, 0}, {15017, 0}, {15031, 0}, {15053, 0}, {15061, 0}, {15073, 0}, {15077, 0}, {15083, 0}, {15091, 0}, {15101, 0},
   {15107, 0}, {15121, 0}, {15131, 0}, {15137, 0}, {15139, 0}, {15149, 0}, {15161, 0}, {15173, 0}, {15187, 0}, {15193, 0}, {15199, 0}, {15217, 0}, {15227, 0}, {15233, 0},
   {15241, 0}, {15259, 0}, {15263, 0}, {15269, 0}, {15271, 0}, {15277, 0}, {15287, 0}, {15289, 0}, {15299, 0}, {15307, 0}, {15313, 0}, {15319, 0}, {15329, 0}, {15331, 0},
   {15349, 0}, {15359, 0}, {15361, 0}, {15373, 0}, {15377, 0}, {15383, 0}, {15391, 0}, {15401, 0}, {15413, 0}, {15427, 0}, {15439, 0}, {15443, 0}, {15451, 0}, {15461, 0},
   {15467, 0}, {15473, 0}, {15493, 0}, {15497, 0}, {15511, 0}, {15527, 0}, {15541, 0}, {15551, 0}, {15559, 0}, {15569, 0}, {15581, 0}, {15583, 0}, {15601, 0}, {15607, 0},
   {15619, 0}, {15629, 0}, {15641, 0}, {15643, 0}, {15647, 0}, {15649, 0}, {15661, 0}, {15667, 0}, {15671, 0}, {15679, 0}, {15683, 0}, {15727, 0}, {15731, 0}, {15733, 0},
   {15737, 0}, {15739, 0}, {15749, 0}, {15761, 0}, {15767, 0}, {15773, 0}, {15787, 0}, {15791, 0}, {15797, 0}, {15803, 0}, {15809, 0}, {15817, 0}, {15823, 0}, {15859, 0},
   {15877, 0}, {15881, 0}, {15887, 0}, {15889, 0}, {15901, 0}, {15907, 0}, {15913, 0}, {15919, 0}, {15923, 0}, {15937, 0}, {15959, 0}, {15971, 0}, {15973, 0}, {15991, 0},
   {16001, 0}, {16007, 0}, {16033, 0}, {16057, 0}, {16061, 0}, {16063, 0}, {16067, 0}, {16069, 0}, {16073, 0}, {16087, 0}, {16091, 0}, {16097, 0}, {16103, 0}, {16111, 0},
   {16127, 0}, {16139, 0}, {16141, 0}, {16183, 0}, {16187, 0}, {16189, 0}, {16193, 0}, {16217, 0}, {16223, 0}, {16229, 0}, {16231, 0}, {16249, 0}, {16253, 0}, {16267, 0},
   {16273, 0}, {16301, 0}, {16319, 0}, {16333, 0}, {16339, 0}, {16349, 0}, {16361, 0}, {16363, 0}, {16369, 0}, {16381, 0}, {16411, 0}, {16417, 0}, {16421, 0}, {16427, 0},
   {16433, 0}, {16447, 0}, {16451, 0}, {16453, 0}, {16477, 0}, {16481, 0}, {16487, 0}, {16493, 0}, {16519, 0}, {16529, 0}, {16547, 0}, {16553, 0}, {16561, 0}, {16567, 0},
   {16573, 0}, {16603, 0}, {16607, 0}, {16619, 0}, {16631, 0}, {16633, 0}, {16649, 0}, {16651, 0}, {16657, 0}, {16661, 0}, {16673, 0}, {16691, 0}, {16693, 0}, {16699, 0},
   {16703, 0}, {16729, 0}, {16741, 0}, {16747, 0}, {16759, 0}, {16763, 0}, {16787, 0}, {16811, 0}, {16823, 0}, {16829, 0}, {16831, 0}, {16843, 0}, {16871, 0}, {16879, 0},
   {16883, 0}, {16889, 0}, {16901, 0}, {16903, 0}, {16921, 0}, {16927, 0}, {16931, 0}, {16937, 0}, {16943, 0}, {16963, 0}, {16979, 0}, {16981, 0}, {16987, 0}, {16993, 0},
   {17011, 0}, {17021, 0}, {17027, 0}, {17029, 0}, {17033, 0}, {17041, 0}, {17047, 0}, {17053, 0}, {17077, 0}, {17093, 0}, {17099, 0}, {17107, 0}, {17117, 0}, {17123, 0},
   {17137, 0}, {17159, 0}, {17167, 0}, {17183, 0}, {17189, 0}, {17191, 0}, {17203, 0}, {17207, 0}, {17209, 0}, {17231, 0}, {17239, 0}, {17257, 0}, {17291, 0}, {17293, 0},
   {17299, 0}, {17317, 0}, {17321, 0}, {17327, 0}, {17333, 0}, {17341, 0}, {17351, 0}, {17359, 0}, {17377, 0}, {17383, 0}, {17387, 0}, {17389, 0}, {17393, 0}, {17401, 0},
   {17417, 0}, {17419, 0}, {17431, 0}, {17443, 0}, {17449, 0}, {17467, 0}, {17471, 0}, {17477, 0}, {17483, 0}, {17489, 0}, {17491, 0}, {17497, 0}, {17509, 0}, {17519, 0},
   {17539, 0}, {17551, 0}, {17569, 0}, {17573, 0}, {17579, 0}, {17581, 0}, {17597, 0}, {17599, 0}, {17609, 0}, {17623, 0}, {17627, 0}, {17657, 0}, {17659, 0}, {17669, 0},
   {17681, 0}, {17683, 0}, {17707, 0}, {17713, 0}, {17729, 0}, {17737, 0}, {17747, 0}, {17749, 0}, {17761, 0}, {17783, 0}, {17789, 0}, {17791, 0}, {17807, 0}, {17827, 0},
   {17837, 0}, {17839, 0}, {17851, 0}, {17863, 0}, {17881, 0}, {17891, 0}, {17903, 0}, {17909, 0}, {17911, 0}, {17921, 0}, {17923, 0}, {17929, 0}, {17939, 0}, {17957, 0},
   {17959, 0}, {17971, 0}, {17977, 0}, {17981, 0}, {17987, 0}, {17989, 0}, {18013, 0}, {18041, 0}, {18043, 0}, {18047, 0}, {18049, 0}, {18059, 0}, {18061, 0}, {18077, 0},
   {18089, 0}, {18097, 0}, {18119, 0}, {18121, 0}, {18127, 0}, {18131, 0}, {18133, 0}, {18143, 0}, {18149, 0}, {18169, 0}, {18181, 0}, {18191, 0}, {18199, 0}, {18211, 0},
   {18217, 0}, {18223, 0}, {18229, 0}, {18233, 0}, {18251, 0}, {18253, 0}, {18257, 0}, {18269, 0}, {18287, 0}, {18289, 0}, {18301, 0}, {18307, 0}, {18311, 0}, {18313, 0},
   {18329, 0}, {18341, 0}, {18353, 0}, {18367, 0}, {18371, 0}, {18379, 0}, {18397, 0}, {18401, 0}, {18413, 0}, {18427, 0}, {18433, 0}, {18439, 0}, {18443, 0}, {18451, 0},
   {18457, 0}, {18461, 0}, {18481, 0}, {18493, 0}, {18503, 0}, {18517, 0}, {18521, 0}, {18523, 0}, {18539, 0}, {18541, 0}, {18553, 0}, {18583, 0}, {18587, 0}, {18593, 0},
   {18617, 0}, {18637, 0}, {18661, 0}, {18671, 0}, {18679, 0}, {18691, 0}, {18701, 0}, {18713, 0}, {18719, 0}, {18731, 0}, {18743, 0}, {18749, 0}, {18757, 0}, {18773, 0},
   {18787, 0}, {18793, 0}, {18797, 0}, {18803, 0}, {18839, 0}, {18859, 0}, {18869, 0}, {18899, 0}, {18911, 0}, {18913, 0}, {18917, 0}, {18919, 0}, {18947, 0}, {18959, 0},
   {18973, 0}, {18979, 0}, {19001, 0}, {19009, 0}, {19013, 0}, {19031, 0}, {19037, 0}, {19051, 0}, {19069, 0}, {19073, 0}, {19079, 0}, {19081, 0}, {19087, 0}, {19121, 0},
   {19139, 0}, {19141, 0}, {19157, 0}, {19163, 0}, {19181, 0}, {19183, 0}, {19207, 0}, {19211, 0}, {19213, 0}, {19219, 0}, {19231, 0}, {19237, 0}, {19249, 0}, {19259, 0},
   {19267, 0}, {19273, 0}, {19289, 0}, {19301, 0}, {19309, 0}, {19319, 0}, {19333, 0}, {19373, 0}, {19379, 0}, {19381, 0}, {19387, 0}, {19391, 0}, {19403, 0}, {19417, 0},
   {19421, 0}, {19423, 0}, {19427, 0}, {19429, 0}, {19433, 0}, {19441, 0}, {19447, 0}, {19457, 0}, {19463, 0}, {19469, 0}, {19471, 0}, {19477, 0}, {19483, 0}, {19489, 0},
   {19501, 0}, {19507, 0}, {19531, 0}, {19541, 0}, {19543, 0}, {19553, 0}, {19559, 0}, {19571, 0}, {19577, 0}, {19583, 0}, {19597, 0}, {19603, 0}, {19609, 0}, {19661, 0},
   {19681, 0}, {19687, 0}, {19697, 0}, {19699, 0}, {19709, 0}, {19717, 0}, {19727, 0}, {19739, 0}, {19751, 0}, {19753, 0}, {19759, 0}, {19763, 0}, {19777, 0}, {19793, 0},
   {19801, 0}, {19813, 0}, {19819, 0}, {19841, 0}, {19843, 0}, {19853, 0}, {19861, 0}, {19867, 0}, {19889, 0}, {19891, 0}, {19913, 0}, {19919, 0}, {19927, 0}, {19937, 0},
   {19949, 0}, {19961, 0}, {19963, 0}, {19973, 0}, {19979, 0}, {19991, 0}, {19993, 0}, {19997, 0}, {20011, 0}, {20021, 0}, {20023, 0}, {20029, 0}, {20047, 0}, {20051, 0},
   {20063, 0}, {20071, 0}, {20089, 0}, {20101, 0}, {20107, 0}, {20113, 0}, {20117, 0}, {20123, 0}, {20129, 0}, {20143, 0}, {20147, 0}, {20149, 0}, {20161, 0}, {20173, 0},
   {20177, 0}, {20183, 0}, {20201, 0}, {20219, 0}, {20231, 0}, {20233, 0}, {20249, 0}, {20261, 0}, {20269, 0}, {20287, 0}, {20297, 0}, {20323, 0}, {20327, 0}, {20333, 0},
   {20341, 0}, {20347, 0}, {20353, 0}, {20357, 0}, {20359, 0}, {20369, 0}, {20389, 0}, {20393, 0}, {20399, 0}, {20407, 0}, {20411, 0}, {20431, 0}, {20441, 0}, {20443, 0},
   {20477, 0}, {20479, 0}, {20483, 0}, {20507, 0}, {20509, 0}, {20521, 0}, {20533, 0}, {20543, 0}, {20549, 0}, {20551, 0}, {20563, 0}, {20593, 0}, {20599, 0}, {20611, 0},
   {20627, 0}, {20639, 0}, {20641, 0}, {20663, 0}, {20681, 0}, {20693, 0}, {20707, 0}, {20717, 0}, {20719, 0}, {20731, 0}, {20743, 0}, {20747, 0}, {20749, 0}, {20753, 0},
   {20759, 0}, {20771, 0}, {20773, 0}, {20789, 0}, {20807, 0}, {20809, 0}, {20849, 0}, {20857, 0}, {20873, 0}, {20879, 0}, {20887, 0}, {20897, 0}, {20899, 0}, {20903, 0},
   {20921, 0}, {20929, 0}, {20939, 0}, {20947, 0}, {20959, 0}, {20963, 0}, {20981, 0}, {20983, 0}, {21001, 0}, {21011, 0}, {21013, 0}, {21017, 0}, {21019, 0}, {21023, 0},
   {21031, 0}, {21059, 0}, {21061, 0}, {21067, 0}, {21089, 0}, {21101, 0}, {21107, 0}, {21121, 0}, {21139, 0}, {21143, 0}, {21149, 0}, {21157, 0}, {21163, 0}, {21169, 0},
   {21179, 0}, {21187, 0}, {21191, 0}, {21193, 0}, {21211, 0}, {21221, 0}, {21227, 0}, {21247, 0}, {21269, 0}, {21277, 0}, {21283, 0}, {21313, 0}, {21317, 0}, {21319, 0},
   {21323, 0}, {21341, 0}, {21347, 0}, {21377, 0}, {21379, 0}, {21383, 0}, {21391, 0}, {21397, 0}, {21401, 0}, {21407, 0}, {21419, 0}, {21433, 0}, {21467, 0}, {21481, 0},
   {21487, 0}, {21491, 0}, {21493, 0}, {21499, 0}, {21503, 0}, {21517, 0}, {21521, 0}, {21523, 0}, {21529, 0}, {21557, 0}, {21559, 0}, {21563, 0}, {21569, 0}, {21577, 0},
   {21587, 0}, {21589, 0}, {21599, 0}, {21601, 0}, {21611, 0}, {21613, 0}, {21617, 0}, {21647, 0}, {21649, 0}, {21661, 0}, {21673, 0}, {21683, 0}, {21701, 0}, {21713, 0},
   {21727, 0}, {21737, 0}, {21739, 0}, {21751, 0}, {21757, 0}, {21767, 0}, {21773, 0}, {21787, 0}, {21799, 0}, {21803, 0}, {21817, 0}, {21821, 0}, {21839, 0}, {21841, 0},
   {21851, 0}, {21859, 0}, {21863, 0}, {21871, 0}, {21881, 0}, {21893, 0}, {21911, 0}, {21929, 0}, {21937, 0}, {21943, 0}, {21961, 0}, {21977, 0}, {21991, 0}, {21997, 0},
   {22003, 0}, {22013, 0}, {22027, 0}, {22031, 0}, {22037, 0}, {22039, 0}, {22051, 0}, {22063, 0}, {22067, 0}, {22073, 0}, {22079, 0}, {22091, 0}, {22093, 0}, {22109, 0},
   {22111, 0}, {22123, 0}, {22129, 0}, {22133, 0}, {22147, 0}, {22153, 0}, {22157, 0}, {22159, 0}, {22171, 0}, {22189, 0}, {22193, 0}, {22229, 0}, {22247, 0}, {22259, 0},
   {22271, 0}, {22273, 0}, {22277, 0}, {22279, 0}, {22283, 0}, {22291, 0}, {22303, 0}, {22307, 0}, {22343, 0}, {22349, 0}, {22367, 0}, {22369, 0}, {22381, 0}, {22391, 0},
   {22397, 0}, {22409, 0}, {22433, 0}, {22441, 0}, {22447, 0}, {22453, 0}, {22469, 0}, {22481, 0}, {22483, 0}, {22501, 0}, {22511, 0}, {22531, 0}, {22541, 0}, {22543, 0},
   {22549, 0}, {22567, 0}, {22571, 0}, {22573, 0}, {22613, 0}, {22619, 0}, {22621, 0}, {22637, 0}, {22639, 0}, {22643, 0}, {22651, 0}, {22669, 0}, {22679, 0}, {22691, 0},
   {22697, 0}, {22699, 0}, {22709, 0}, {22717, 0}, {22721, 0}, {22727, 0}, {22739, 0}, {22741, 0}, {22751, 0}, {22769, 0}, {22777, 0}, {22783, 0}, {22787, 0}, {22807, 0},
   {22811, 0}, {22817, 0}, {22853, 0}, {22859, 0}, {22861, 0}, {22871, 0}, {22877, 0}, {22901, 0}, {22907, 0}, {22921, 0}, {22937, 0}, {22943, 0}, {22961, 0}, {22963, 0},
   {22973, 0}, {22993, 0}, {23003, 0}, {23011, 0}, {23017, 0}, {23021, 0}, {23027, 0}, {23029, 0}, {23039, 0}, {23041, 0}, {23053, 0}, {23057, 0}, {23059, 0}, {23063, 0},
   {23071, 0}, {23081, 0}, {23087, 0}, {23099, 0}, {23117, 0}, {23131, 0}, {23143, 0}, {23159, 0}, {23167, 0}, {23173, 0}, {23189, 0}, {23197, 0}, {23201, 0}, {23203, 0},
   {23209, 0}, {23227, 0}, {23251, 0}, {23269, 0}, {23279, 0}, {23291, 0}, {23293, 0}, {23297, 0}, {23311, 0}, {23321, 0}, {23327, 0}, {23333, 0}, {23339, 0}, {23357, 0},
   {23369, 0}, {23371, 0}, {23399, 0}, {23417, 0}, {23431, 0}, {23447, 0}, {23459, 0}, {23473, 0}, {23497, 0}, {23509, 0}, {23531, 0}, {23537, 0}, {23539, 0}, {23549, 0},
   {23557, 0}, {23561, 0}, {23563, 0}, {23567, 0}, {23581, 0}, {23593, 0}, {23599, 0}, {23603, 0}, {23609, 0}, {23623, 0}, {23627, 0}, {23629, 0}, {23633, 0}, {23663, 0},
   {23669, 0}, {23671, 0}, {23677, 0}, {23687, 0}, {23689, 0}, {23719, 0}, {23741, 0}, {23743, 0}, {23747, 0}, {23753, 0}, {23761, 0}, {23767, 0}, {23773, 0}, {23789, 0},
   {23801, 0}, {23813, 0}, {23819, 0}, {23827, 0}, {23831, 0}, {23833, 0}, {23857, 0}, {23869, 0}, {23873, 0}, {23879, 0}, {23887, 0}, {23893, 0}, {23899, 0}, {23909, 0},
   {23911, 0}, {23917, 0}, {23929, 0}, {23957, 0}, {23971, 0}, {23977, 0}, {23981, 0}, {23993, 0}, {24001, 0}, {24007, 0}, {24019, 0}, {24023, 0}, {24029, 0}, {24043, 0},
   {24049, 0}, {24061, 0}, {24071, 0}, {24077, 0}, {24083, 0}, {24091, 0}, {24097, 0}, {24103, 0}, {24107, 0}, {24109, 0}, {24113, 0}, {24121, 0}, {24133, 0}, {24137, 0},
   {24151, 0}, {24169, 0}, {24179, 0}, {24181, 0}, {24197, 0}, {24203, 0}, {24223, 0}, {24229, 0}, {24239, 0}, {24247, 0}, {24251, 0}, {24281, 0}, {24317, 0}, {24329, 0},
   {24337, 0}, {24359, 0}, {24371, 0}, {24373, 0}, {24379, 0}, {24391, 0}, {24407, 0}, {24413, 0}, {24419, 0}, {24421, 0}, {24439, 0}, {24443, 0}, {24469, 0}, {24473, 0},
   {24481, 0}, {24499, 0}, {24509, 0}, {24517, 0}, {24527, 0}, {24533, 0}, {24547, 0}, {24551, 0}, {24571, 0}, {24593, 0}, {24611, 0}, {24623, 0}, {24631, 0}, {24659, 0},
   {24671, 0}, {24677, 0}, {24683, 0}, {24691, 0}, {24697, 0}, {24709, 0}, {24733, 0}, {24749, 0}, {24763, 0}, {24767, 0}, {24781, 0}, {24793, 0}, {24799, 0}, {24809, 0},
   {24821, 0}, {24841, 0}, {24847, 0}, {24851, 0}, {24859, 0}, {24877, 0}, {24889, 0}, {24907, 0}, {24917, 0}, {24919, 0}, {24923, 0}, {24943, 0}, {24953, 0}, {24967, 0},
   {24971, 0}, {24977, 0}, {24979, 0}, {24989, 0}, {25013, 0}, {25031, 0}, {25033, 0}, {25037, 0}, {25057, 0}, {25073, 0}, {25087, 0}, {25097, 0}, {25111, 0}, {25117, 0},
   {25121, 0}, {25127, 0}, {25147, 0}, {25153, 0}, {25163, 0}, {25169, 0}, {25171, 0}, {25183, 0}, {25189, 0}, {25219, 0}, {25229, 0}, {25237, 0}, {25243, 0}, {25247, 0},
   {25253, 0}, {25261, 0}, {25301, 0}, {25303, 0}, {25307, 0}, {25309, 0}, {25321, 0}, {25339, 0}, {25343, 0}, {25349, 0}, {25357, 0}, {25367, 0}, {25373, 0}, {25391, 0},
   {25409, 0}, {25411, 0}, {25423, 0}, {25439, 0}, {25447, 0}, {25453, 0}, {25457, 0}, {25463, 0}, {25469, 0}, {25471, 0}, {25523, 0}, {25537, 0}, {25541, 0}, {25561, 0},
   {25577, 0}, {25579, 0}, {25583, 0}, {25589, 0}, {25601, 0}, {25603, 0}, {25609, 0}, {25621, 0}, {25633, 0}, {25639, 0}, {25643, 0}, {25657, 0}, {25667, 0}, {25673, 0},
   {25679, 0}, {25693, 0}, {25703, 0}, {25717, 0}, {25733, 0}, {25741, 0}, {25747, 0}, {25759, 0}, {25763, 0}, {25771, 0}, {25793, 0}, {25799, 0}, {25801, 0}, {25819, 0},
   {25841, 0}, {25847, 0}, {25849, 0}, {25867, 0}, {25873, 0}, {25889, 0}, {25903, 0}, {25913, 0}, {25919, 0}, {25931, 0}, {25933, 0}, {25939, 0}, {25943, 0}, {25951, 0},
   {25969, 0}, {25981, 0}, {25997, 0}, {25999, 0}, {26003, 0}, {26017, 0}, {26021, 0}, {26029, 0}, {26041, 0}, {26053, 0}, {26083, 0}, {26099, 0}, {26107, 0}, {26111, 0},
   {26113, 0}, {26119, 0}, {26141, 0}, {26153, 0}, {26161, 0}, {26171, 0}, {26177, 0}, {26183, 0}, {26189, 0}, {26203, 0}, {26209, 0}, {26227, 0}, {26237, 0}, {26249, 0},
   {26251, 0}, {26261, 0}, {26263, 0}, {26267, 0}, {26293, 0}, {26297, 0}, {26309, 0}, {26317, 0}, {26321, 0}, {26339, 0}, {26347, 0}, {26357, 0}, {26371, 0}, {26387, 0},
   {26393, 0}, {26399, 0}, {26407, 0}, {26417, 0}, {26423, 0}, {26431, 0}, {26437, 0}, {26449, 0}, {26459, 0}, {26479, 0}, {26489, 0}, {26497, 0}, {26501, 0}, {26513, 0},
   {26539, 0}, {26557, 0}, {26561, 0}, {26573, 0}, {26591, 0}, {26597, 0}, {26627, 0}, {26633, 0}, {26641, 0}, {26647, 0}, {26669, 0}, {26681, 0}, {26683, 0}, {26687, 0},
   {26693, 0}, {26699, 0}, {26701, 0}, {26711, 0}, {26713, 0}, {26717, 0}, {26723, 0}, {26729, 0}, {26731, 0}, {26737, 0}, {26759, 0}, {26777, 0}, {26783, 0}, {26801, 0},
   {26813, 0}, {26821, 0}, {26833, 0}, {26839, 0}, {26849, 0}, {26861, 0}, {26863, 0}, {26879, 0}, {26881, 0}, {26891, 0}, {26893, 0}, {26903, 0}, {26921, 0}, {26927, 0},
   {26947, 0}, {26951, 0}, {26953, 0}, {26959, 0}, {26981, 0}, {26987, 0}, {26993, 0}, {27011, 0}, {27017, 0}, {27031, 0}, {27043, 0}, {27059, 0}, {27061, 0}, {27067, 0},
   {27073, 0}, {27077, 0}, {27091, 0}, {27103, 0}, {27107, 0}, {27109, 0}, {27127, 0}, {27143, 0}, {27179, 0}, {27191, 0}, {27197, 0}, {27211, 0}, {27239, 0}, {27241, 0},
   {27253, 0}, {27259, 0}, {27271, 0}, {27277, 0}, {27281, 0}, {27283, 0}, {27299, 0}, {27329, 0}, {27337, 0}, {27361, 0}, {27367, 0}, {27397, 0}, {27407, 0}, {27409, 0},
   {27427, 0}, {27431, 0}, {27437, 0}, {27449, 0}, {27457, 0}, {27479, 0}, {27481, 0}, {27487, 0}, {27509, 0}, {27527, 0}, {27529, 0}, {27539, 0}, {27541, 0}, {27551, 0},
   {27581, 0}, {27583, 0}, {27611, 0}, {27617, 0}, {27631, 0}, {27647, 0}, {27653, 0}, {27673, 0}, {27689, 0}, {27691, 0}, {27697, 0}, {27701, 0}, {27733, 0}, {27737, 0},
   {27739, 0}, {27743, 0}, {27749, 0}, {27751, 0}, {27763, 0}, {27767, 0}, {27773, 0}, {27779, 0}, {27791, 0}, {27793, 0}, {27799, 0}, {27803, 0}, {27809, 0}, {27817, 0},
   {27823, 0}, {27827, 0}, {27847, 0}, {27851, 0}, {27883, 0}, {27893, 0}, {27901, 0}, {27917, 0}, {27919, 0}, {27941, 0}, {27943, 0}, {27947, 0}, {27953, 0}, {27961, 0},
   {27967, 0}, {27983, 0}, {27997, 0}, {28001, 0}, {28019, 0}, {28027, 0}, {28031, 0}, {28051, 0}, {28057, 0}, {28069, 0}, {28081, 0}, {28087, 0}, {28097, 0}, {28099, 0},
   {28109, 0}, {28111, 0}, {28123, 0}, {28151, 0}, {28163, 0}, {28181, 0}, {28183, 0}, {28201, 0}, {28211, 0}, {28219, 0}, {28229, 0}, {28277, 0}, {28279, 0}, {28283, 0},
   {28289, 0}, {28297, 0}, {28307, 0}, {28309, 0}, {28319, 0}, {28349, 0}, {28351, 0}, {28387, 0}, {28393, 0}, {28403, 0}, {28409, 0}, {28411, 0}, {28429, 0}, {28433, 0},
   {28439, 0}, {28447, 0}, {28463, 0}, {28477, 0}, {28493, 0}, {28499, 0}, {28513, 0}, {28517, 0}, {28537, 0}, {28541, 0}, {28547, 0}, {28549, 0}, {28559, 0}, {28571, 0},
   {28573, 0}, {28579, 0}, {28591, 0}, {28597, 0}, {28603, 0}, {28607, 0}, {28619, 0}, {28621, 0}, {28627, 0}, {28631, 0}, {28643, 0}, {28649, 0}, {28657, 0}, {28661, 0},
   {28663, 0}, {28669, 0}, {28687, 0}, {28697, 0}, {28703, 0}, {28711, 0}, {28723, 0}, {28729, 0}, {28751, 0}, {28753, 0}, {28759, 0}, {28771, 0}, {28789, 0}, {28793, 0},
   {28807, 0}, {28813, 0}, {28817, 0}, {28837, 0}, {28843, 0}, {28859, 0}, {28867, 0}, {28871, 0}, {28879, 0}, {28901, 0}, {28909, 0}, {28921, 0}, {28927, 0}, {28933, 0},
   {28949, 0}, {28961, 0}, {28979, 0}, {29009, 0}, {29017, 0}, {29021, 0}, {29023, 0}, {29027, 0}, {29033, 0}, {29059, 0}, {29063, 0}, {29077, 0}, {29101, 0}, {29123, 0},
   {29129, 0}, {29131, 0}, {29137, 0}, {29147, 0}, {29153, 0}, {29167, 0}, {29173, 0}, {29179, 0}, {29191, 0}, {29201, 0}, {29207, 0}, {29209, 0}, {29221, 0}, {29231, 0},
   {29243, 0}, {29251, 0}, {29269, 0}, {29287, 0}, {29297, 0}, {29303, 0}, {29311, 0}, {29327, 0}, {29333, 0}, {29339, 0}, {29347, 0}, {29363, 0}, {29383, 0}, {29387, 0},
   {29389, 0}, {29399, 0}, {29401, 0}, {29411, 0}, {29423, 0}, {29429, 0}, {29437, 0}, {29443, 0}, {29453, 0}, {29473, 0}, {29483, 0}, {29501, 0}, {29527, 0}, {29531, 0},
   {29537, 0}, {29567, 0}, {29569, 0}, {29573, 0}, {29581, 0}, {29587, 0}, {29599, 0}, {29611, 0}, {29629, 0}, {29633, 0}, {29641, 0}, {29663, 0}, {29669, 0}, {29671, 0},
   {29683, 0}, {29717, 0}, {29723, 0}, {29741, 0}, {29753, 0}, {29759, 0}, {29761, 0}, {29789, 0}, {29803, 0}, {29819, 0}, {29833, 0}, {29837, 0}, {29851, 0}, {29863, 0},
   {29867, 0}, {29873, 0}, {29879, 0}, {29881, 0}, {29917, 0}, {29921, 0}, {29927, 0}, {29947, 0}, {29959, 0}, {29983, 0}, {29989, 0}, {30011, 0}, {30013, 0}, {30029, 0},
   {30047, 0}, {30059, 0}, {30071, 0}, {30089, 0}, {30091, 0}, {30097, 0}, {30103, 0}, {30109, 0}, {30113, 0}, {30119, 0}, {30133, 0}, {30137, 0}, {30139, 0}, {30161, 0},
   {30169, 0}, {30181, 0}, {30187, 0}, {30197, 0}, {30203, 0}, {30211, 0}, {30223, 0}, {30241, 0}, {30253, 0}, {30259, 0}, {30269, 0}, {30271, 0}, {30293, 0}, {30307, 0},
   {30313, 0}, {30319, 0}, {30323, 0}, {30341, 0}, {30347, 0}, {30367, 0}, {30389, 0}, {30391, 0}, {30403, 0}, {30427, 0}, {30431, 0}, {30449, 0}, {30467, 0}, {30469, 0},
   {30491, 0}, {30493, 0}, {30497, 0}, {30509, 0}, {30517, 0}, {30529, 0}, {30539, 0}, {30553, 0}, {30557, 0}, {30559, 0}, {30577, 0}, {30593, 0}, {30631, 0}, {30637, 0},
   {30643, 0}, {30649, 0}, {30661, 0}, {30671, 0}, {30677, 0}, {30689, 0}, {30697, 0}, {30703, 0}, {30707, 0}, {30713, 0}, {30727, 0}, {30757, 0}, {30763, 0}, {30773, 0},
   {30781, 0}, {30803, 0}, {30809, 0}, {30817, 0}, {30829, 0}, {30839, 0}, {30841, 0}, {30851, 0}, {30853, 0}, {30859, 0}, {30869, 0}, {30871, 0}, {30881, 0}, {30893, 0},
   {30911, 0}, {30931, 0}, {30937, 0}, {30941, 0}, {30949, 0}, {30971, 0}, {30977, 0}, {30983, 0}, {31013, 0}, {31019, 0}, {31033, 0}, {31039, 0}, {31051, 0}, {31063, 0},
   {31069, 0}, {31079, 0}, {31081, 0}, {31091, 0}, {31121, 0}, {31123, 0}, {31139, 0}, {31147, 0}, {31151, 0}, {31153, 0}, {31159, 0}, {31177, 0}, {31181, 0}, {31183, 0},
   {31189, 0}, {31193, 0}, {31219, 0}, {31223, 0}, {31231, 0}, {31237, 0}, {31247, 0}, {31249, 0}, {31253, 0}, {31259, 0}, {31267, 0}, {31271, 0}, {31277, 0}, {31307, 0},
   {31319, 0}, {31321, 0}, {31327, 0}, {31333, 0}, {31337, 0}, {31357, 0}, {31379, 0}, {31387, 0}, {31391, 0}, {31393, 0}, {31397, 0}, {31469, 0}, {31477, 0}, {31481, 0},
   {31489, 0}, {31511, 0}, {31513, 0}, {31517, 0}, {31531, 0}, {31541, 0}, {31543, 0}, {31547, 0}, {31567, 0}, {31573, 0}, {31583, 0}, {31601, 0}, {31607, 0}, {31627, 0},
   {31643, 0}, {31649, 0}, {31657, 0}, {31663, 0}, {31667, 0}, {31687, 0}, {31699, 0}, {31721, 0}, {31723, 0}, {31727, 0}, {31729, 0}, {31741, 0}, {31751, 0}, {31769, 0},
   {31771, 0}, {31793, 0}, {31799, 0}, {31817, 0}, {31847, 0}, {31849, 0}, {31859, 0}, {31873, 0}, {31883, 0}, {31891, 0}, {31907, 0}, {31957, 0}, {31963, 0}, {31973, 0},
   {31981, 0}, {31991, 0}, {32003, 0}, {32009, 0}, {32027, 0}, {32029, 0}, {32051, 0}, {32057, 0}, {32059, 0}, {32063, 0}, {32069, 0}, {32077, 0}, {32083, 0}, {32089, 0},
   {32099, 0}, {32117, 0}, {32119, 0}, {32141, 0}, {32143, 0}, {32159, 0}, {32173, 0}, {32183, 0}, {32189, 0}, {32191, 0}, {32203, 0}, {32213, 0}, {32233, 0}, {32237, 0},
   {32251, 0}, {32257, 0}, {32261, 0}, {32297, 0}, {32299, 0}, {32303, 0}, {32309, 0}, {32321, 0}, {32323, 0}, {32327, 0}, {32341, 0}, {32353, 0}, {32359, 0}, {32363, 0},
   {32369, 0}, {32371, 0}, {32377, 0}, {32381, 0}, {32401, 0}, {32411, 0}, {32413, 0}, {32423, 0}, {32429, 0}, {32441, 0}, {32443, 0}, {32467, 0}, {32479, 0}, {32491, 0},
   {32497, 0}, {32503, 0}, {32507, 0}, {32531, 0}, {32533, 0}, {32537, 0}, {32561, 0}, {32563, 0}, {32569, 0}, {32573, 0}, {32579, 0}, {32587, 0}, {32603, 0}, {32609, 0},
   {32611, 0}, {32621, 0}, {32633, 0}, {32647, 0}, {32653, 0}, {32687, 0}, {32693, 0}, {32707, 0}, {32713, 0}, {32717, 0}, {32719, 0}, {32749, 0}, {32771, 0}, {32779, 0},
   {32783, 0}, {32789, 0}, {32797, 0}, {32801, 0}, {32803, 0}, {32831, 0}, {32833, 0}, {32839, 0}, {32843, 0}, {32869, 0}, {32887, 0}, {32909, 0}, {32911, 0}, {32917, 0},
   {32933, 0}, {32939, 0}, {32941, 0}, {32957, 0}, {32969, 0}, {32971, 0}, {32983, 0}, {32987, 0}, {32993, 0}, {32999, 0}, {33013, 0}, {33023, 0}, {33029, 0}, {33037, 0},
   {33049, 0}, {33053, 0}, {33071, 0}, {33073, 0}, {33083, 0}, {33091, 0}, {33107, 0}, {33113, 0}, {33119, 0}, {33149, 0}, {33151, 0}, {33161, 0}, {33179, 0}, {33181, 0},
   {33191, 0}, {33199, 0}, {33203, 0}, {33211, 0}, {33223, 0}, {33247, 0}, {33287, 0}, {33289, 0}, {33301, 0}, {33311, 0}, {33317, 0}, {33329, 0}, {33331, 0}, {33343, 0},
   {33347, 0}, {33349, 0}, {33353, 0}, {33359, 0}, {33377, 0}, {33391, 0}, {33403, 0}, {33409, 0}, {33413, 0}, {33427, 0}, {33457, 0}, {33461, 0}, {33469, 0}, {33479, 0},
   {33487, 0}, {33493, 0}, {33503, 0}, {33521, 0}, {33529, 0}, {33533, 0}, {33547, 0}, {33563, 0}, {33569, 0}, {33577, 0}, {33581, 0}, {33587, 0}, {33589, 0}, {33599, 0},
   {33601, 0}, {33613, 0}, {33617, 0}, {33619, 0}, {33623, 0}, {33629, 0}, {33637, 0}, {33641, 0}, {33647, 0}, {33679, 0}, {33703, 0}, {33713, 0}, {33721, 0}, {33739, 0},
   {33749, 0}, {33751, 0}, {33757, 0}, {33767, 0}, {33769, 0}, {33773, 0}, {33791, 0}, {33797, 0}, {33809, 0}, {33811, 0}, {33827, 0}, {33829, 0}, {33851, 0}, {33857, 0},
   {33863, 0}, {33871, 0}, {33889, 0}, {33893, 0}, {33911, 0}, {33923, 0}, {33931, 0}, {33937, 0}, {33941, 0}, {33961, 0}, {33967, 0}, {33997, 0}, {34019, 0}, {34031, 0},
   {34033, 0}, {34039, 0}, {34057, 0}, {34061, 0}, {34123, 0}, {34127, 0}, {34129, 0}, {34141, 0}, {34147, 0}, {34157, 0}, {34159, 0}, {34171, 0}, {34183, 0}, {34211, 0},
   {34213, 0}, {34217, 0}, {34231, 0}, {34253, 0}, {34259, 0}, {34261, 0}, {34267, 0}, {34273, 0}, {34283, 0}, {34297, 0}, {34301, 0}, {34303, 0}, {34313, 0}, {34319, 0},
   {34327, 0}, {34337, 0}, {34351, 0}, {34361, 0}, {34367, 0}, {34369, 0}, {34381, 0}, {34403, 0}, {34421, 0}, {34429, 0}, {34439, 0}, {34457, 0}, {34469, 0}, {34471, 0},
   {34483, 0}, {34487, 0}, {34499, 0}, {34501, 0}, {34511, 0}, {34513, 0}, {34519, 0}, {34537, 0}, {34543, 0}, {34549, 0}, {34583, 0}, {34589, 0}, {34591, 0}, {34603, 0},
   {34607, 0}, {34613, 0}, {34631, 0}, {34649, 0}, {34651, 0}, {34667, 0}, {34673, 0}, {34679, 0}, {34687, 0}, {34693, 0}, {34703, 0}, {34721, 0}, {34729, 0}, {34739, 0},
   {34747, 0}, {34757, 0}, {34759, 0}, {34763, 0}, {34781, 0}, {34807, 0}, {34819, 0}, {34841, 0}, {34843, 0}, {34847, 0}, {34849, 0}, {34871, 0}, {34877, 0}, {34883, 0},
   {34897, 0}, {34913, 0}, {34919, 0}, {34939, 0}, {34949, 0}, {34961, 0}, {34963, 0}, {34981, 0}, {35023, 0}, {35027, 0}, {35051, 0}, {35053, 0}, {35059, 0}, {35069, 0},
   {35081, 0}, {35083, 0}, {35089, 0}, {35099, 0}, {35107, 0}, {35111, 0}, {35117, 0}, {35129, 0}, {35141, 0}, {35149, 0}, {35153, 0}, {35159, 0}, {35171, 0}, {35201, 0},
   {35221, 0}, {35227, 0}, {35251, 0}, {35257, 0}, {35267, 0}, {35279, 0}, {35281, 0}, {35291, 0}, {35311, 0}, {35317, 0}, {35323, 0}, {35327, 0}, {35339, 0}, {35353, 0},
   {35363, 0}, {35381, 0}, {35393, 0}, {35401, 0}, {35407, 0}, {35419, 0}, {35423, 0}, {35437, 0}, {35447, 0}, {35449, 0}, {35461, 0}, {35491, 0}, {35507, 0}, {35509, 0},
   {35521, 0}, {35527, 0}, {35531, 0}, {35533, 0}, {35537, 0}, {35543, 0}, {35569, 0}, {35573, 0}, {35591, 0}, {35593, 0}, {35597, 0}, {35603, 0}, {35617, 0}, {35671, 0},
   {35677, 0}, {35729, 0}, {35731, 0}, {35747, 0}, {35753, 0}, {35759, 0}, {35771, 0}, {35797, 0}, {35801, 0}, {35803, 0}, {35809, 0}, {35831, 0}, {35837, 0}, {35839, 0},
   {35851, 0}, {35863, 0}, {35869, 0}, {35879, 0}, {35897, 0}, {35899, 0}, {35911, 0}, {35923, 0}, {35933, 0}, {35951, 0}, {35963, 0}, {35969, 0}, {35977, 0}, {35983, 0},
   {35993, 0}, {35999, 0}, {36007, 0}, {36011, 0}, {36013, 0}, {36017, 0}, {36037, 0}, {36061, 0}, {36067, 0}, {36073, 0}, {36083, 0}, {36097, 0}, {36107, 0}, {36109, 0},
   {36131, 0}, {36137, 0}, {36151, 0}, {36161, 0}, {36187, 0}, {36191, 0}, {36209, 0}, {36217, 0}, {36229, 0}, {36241, 0}, {36251, 0}, {36263, 0}, {36269, 0}, {36277, 0},
   {36293, 0}, {36299, 0}, {36307, 0}, {36313, 0}, {36319, 0}, {36341, 0}, {36343, 0}, {36353, 0}, {36373, 0}, {36383, 0}, {36389, 0}, {36433, 0}, {36451, 0}, {36457, 0},
   {36467, 0}, {36469, 0}, {36473, 0}, {36479, 0}, {36493, 0}, {36497, 0}, {36523, 0}, {36527, 0}, {36529, 0}, {36541, 0}, {36551, 0}, {36559, 0}, {36563, 0}, {36571, 0},
   {36583, 0}, {36587, 0}, {36599, 0}, {36607, 0}, {36629, 0}, {36637, 0}, {36643, 0}, {36653, 0}, {36671, 0}, {36677, 0}, {36683, 0}, {36691, 0}, {36697, 0}, {36709, 0},
   {36713, 0}, {36721, 0}, {36739, 0}, {36749, 0}, {36761, 0}, {36767, 0}, {36779, 0}, {36781, 0}, {36787, 0}, {36791, 0}, {36793, 0}, {36809, 0}, {36821, 0}, {36833, 0},
   {36847, 0}, {36857, 0}, {36871, 0}, {36877, 0}, {36887, 0}, {36899, 0}, {36901, 0}, {36913, 0}, {36919, 0}, {36923, 0}, {36929, 0}, {36931, 0}, {36943, 0}, {36947, 0},
   {36973, 0}, {36979, 0}, {36997, 0}, {37003, 0}, {37013, 0}, {37019, 0}, {37021, 0}, {37039, 0}, {37049, 0}, {37057, 0}, {37061, 0}, {37087, 0}, {37097, 0}, {37117, 0},
   {37123, 0}, {37139, 0}, {37159, 0}, {37171, 0}, {37181, 0}, {37189, 0}, {37199, 0}, {37201, 0}, {37217, 0}, {37223, 0}, {37243, 0}, {37253, 0}, {37273, 0}, {37277, 0},
   {37307, 0}, {37309, 0}, {37313, 0}, {37321, 0}, {37337, 0}, {37339, 0}, {37357, 0}, {37361, 0}, {37363, 0}, {37369, 0}, {37379, 0}, {37397, 0}, {37409, 0}, {37423, 0},
   {37441, 0}, {37447, 0}, {37463, 0}, {37483, 0}, {37489, 0}, {37493, 0}, {37501, 0}, {37507, 0}, {37511, 0}, {37517, 0}, {37529, 0}, {37537, 0}, {37547, 0}, {37549, 0},
   {37561, 0}, {37567, 0}, {37571, 0}, {37573, 0}, {37579, 0}, {37589, 0}, {37591, 0}, {37607, 0}, {37619, 0}, {37633, 0}, {37643, 0}, {37649, 0}, {37657, 0}, {37663, 0},
   {37691, 0}, {37693, 0}, {37699, 0}, {37717, 0}, {37747, 0}, {37781, 0}, {37783, 0}, {37799, 0}, {37811, 0}, {37813, 0}, {37831, 0}, {37847, 0}, {37853, 0}, {37861, 0},
   {37871, 0}, {37879, 0}, {37889, 0}, {37897, 0}, {37907, 0}, {37951, 0}, {37957, 0}, {37963, 0}, {37967, 0}, {37987, 0}, {37991, 0}, {37993, 0}, {37997, 0}, {38011, 0},
   {38039, 0}, {38047, 0}, {38053, 0}, {38069, 0}, {38083, 0}, {38113, 0}, {38119, 0}, {38149, 0}, {38153, 0}, {38167, 0}, {38177, 0}, {38183, 0}, {38189, 0}, {38197, 0},
   {38201, 0}, {38219, 0}, {38231, 0}, {38237, 0}, {38239, 0}, {38261, 0}, {38273, 0}, {38281, 0}, {38287, 0}, {38299, 0}, {38303, 0}, {38317, 0}, {38321, 0}, {38327, 0},
   {38329, 0}, {38333, 0}, {38351, 0}, {38371, 0}, {38377, 0}, {38393, 0}, {38431, 0}, {38447, 0}, {38449, 0}, {38453, 0}, {38459, 0}, {38461, 0}, {38501, 0}, {38543, 0},
   {38557, 0}, {38561, 0}, {38567, 0}, {38569, 0}, {38593, 0}, {38603, 0}, {38609, 0}, {38611, 0}, {38629, 0}, {38639, 0}, {38651, 0}, {38653, 0}, {38669, 0}, {38671, 0},
   {38677, 0}, {38693, 0}, {38699, 0}, {38707, 0}, {38711, 0}, {38713, 0}, {38723, 0}, {38729, 0}, {38737, 0}, {38747, 0}, {38749, 0}, {38767, 0}, {38783, 0}, {38791, 0},
   {38803, 0}, {38821, 0}, {38833, 0}, {38839, 0}, {38851, 0}, {38861, 0}, {38867, 0}, {38873, 0}, {38891, 0}, {38903, 0}, {38917, 0}, {38921, 0}, {38923, 0}, {38933, 0},
   {38953, 0}, {38959, 0}, {38971, 0}, {38977, 0}, {38993, 0}, {39019, 0}, {39023, 0}, {39041, 0}, {39043, 0}, {39047, 0}, {39079, 0}, {39089, 0}, {39097, 0}, {39103, 0},
   {39107, 0}, {39113, 0}, {39119, 0}, {39133, 0}, {39139, 0}, {39157, 0}, {39161, 0}, {39163, 0}, {39181, 0}, {39191, 0}, {39199, 0}, {39209, 0}, {39217, 0}, {39227, 0},
   {39229, 0}, {39233, 0}, {39239, 0}, {39241, 0}, {39251, 0}, {39293, 0}, {39301, 0}, {39313, 0}, {39317, 0}, {39323, 0}, {39341, 0}, {39343, 0}, {39359, 0}, {39367, 0},
   {39371, 0}, {39373, 0}, {39383, 0}, {39397, 0}, {39409, 0}, {39419, 0}, {39439, 0}, {39443, 0}, {39451, 0}, {39461, 0}, {39499, 0}, {39503, 0}, {39509, 0}, {39511, 0},
   {39521, 0}, {39541, 0}, {39551, 0}, {39563, 0}, {39569, 0}, {39581, 0}, {39607, 0}, {39619, 0}, {39623, 0}, {39631, 0}, {39659, 0}, {39667, 0}, {39671, 0}, {39679, 0},
   {39703, 0}, {39709, 0}, {39719, 0}, {39727, 0}, {39733, 0}, {39749, 0}, {39761, 0}, {39769, 0}, {39779, 0}, {39791, 0}, {39799, 0}, {39821, 0}, {39827, 0}, {39829, 0},
   {39839, 0}, {39841, 0}, {39847, 0}, {39857, 0}, {39863, 0}, {39869, 0}, {39877, 0}, {39883, 0}, {39887, 0}, {39901, 0}, {39929, 0}, {39937, 0}, {39953, 0}, {39971, 0},
   {39979, 0}, {39983, 0}, {39989, 0}, {40009, 0}, {40013, 0}, {40031, 0}, {40037, 0}, {40039, 0}, {40063, 0}, {40087, 0}, {40093, 0}, {40099, 0}, {40111, 0}, {40123, 0},
   {40127, 0}, {40129, 0}, {40151, 0}, {40153, 0}, {40163, 0}, {40169, 0}, {40177, 0}, {40189, 0}, {40193, 0}, {40213, 0}, {40231, 0}, {40237, 0}, {40241, 0}, {40253, 0},
   {40277, 0}, {40283, 0}, {40289, 0}, {40343, 0}, {40351, 0}, {40357, 0}, {40361, 0}, {40387, 0}, {40423, 0}, {40427, 0}, {40429, 0}, {40433, 0}, {40459, 0}, {40471, 0},
   {40483, 0}, {40487, 0}, {40493, 0}, {40499, 0}, {40507, 0}, {40519, 0}, {40529, 0}, {40531, 0}, {40543, 0}, {40559, 0}, {40577, 0}, {40583, 0}, {40591, 0}, {40597, 0},
   {40609, 0}, {40627, 0}, {40637, 0}, {40639, 0}, {40693, 0}, {40697, 0}, {40699, 0}, {40709, 0}, {40739, 0}, {40751, 0}, {40759, 0}, {40763, 0}, {40771, 0}, {40787, 0},
   {40801, 0}, {40813, 0}, {40819, 0}, {40823, 0}, {40829, 0}, {40841, 0}, {40847, 0}, {40849, 0}, {40853, 0}, {40867, 0}, {40879, 0}, {40883, 0}, {40897, 0}, {40903, 0},
   {40927, 0}, {40933, 0}, {40939, 0}, {40949, 0}, {40961, 0}, {40973, 0}, {40993, 0}, {41011, 0}, {41017, 0}, {41023, 0}, {41039, 0}, {41047, 0}, {41051, 0}, {41057, 0},
   {41077, 0}, {41081, 0}, {41113, 0}, {41117, 0}, {41131, 0}, {41141, 0}, {41143, 0}, {41149, 0}, {41161, 0}, {41177, 0}, {41179, 0}, {41183, 0}, {41189, 0}, {41201, 0},
   {41203, 0}, {41213, 0}, {41221, 0}, {41227, 0}, {41231, 0}, {41233, 0}, {41243, 0}, {41257, 0}, {41263, 0}, {41269, 0}, {41281, 0}, {41299, 0}, {41333, 0}, {41341, 0},
   {41351, 0}, {41357, 0}, {41381, 0}, {41387, 0}, {41389, 0}, {41399, 0}, {41411, 0}, {41413, 0}, {41443, 0}, {41453, 0}, {41467, 0}, {41479, 0}, {41491, 0}, {41507, 0},
   {41513, 0}, {41519, 0}, {41521, 0}, {41539, 0}, {41543, 0}, {41549, 0}, {41579, 0}, {41593, 0}, {41597, 0}, {41603, 0}, {41609, 0}, {41611, 0}, {41617, 0}, {41621, 0},
   {41627, 0}, {41641, 0}, {41647, 0}, {41651, 0}, {41659, 0}, {41669, 0}, {41681, 0}, {41687, 0}, {41719, 0}, {41729, 0}, {41737, 0}, {41759, 0}, {41761, 0}, {41771, 0},
   {41777, 0}, {41801, 0}, {41809, 0}, {41813, 0}, {41843, 0}, {41849, 0}, {41851, 0}, {41863, 0}, {41879, 0}, {41887, 0}, {41893, 0}, {41897, 0}, {41903, 0}, {41911, 0},
   {41927, 0}, {41941, 0}, {41947, 0}, {41953, 0}, {41957, 0}, {41959, 0}, {41969, 0}, {41981, 0}, {41983, 0}, {41999, 0}, {42013, 0}, {42017, 0}, {42019, 0}, {42023, 0},
   {42043, 0}, {42061, 0}, {42071, 0}, {42073, 0}, {42083, 0}, {42089, 0}, {42101, 0}, {42131, 0}, {42139, 0}, {42157, 0}, {42169, 0}, {42179, 0}, {42181, 0}, {42187, 0},
   {42193, 0}, {42197, 0}, {42209, 0}, {42221, 0}, {42223, 0}, {42227, 0}, {42239, 0}, {42257, 0}, {42281, 0}, {42283, 0}, {42293, 0}, {42299, 0}, {42307, 0}, {42323, 0},
   {42331, 0}, {42337, 0}, {42349, 0}, {42359, 0}, {42373, 0}, {42379, 0}, {42391, 0}, {42397, 0}, {42403, 0}, {42407, 0}, {42409, 0}, {42433, 0}, {42437, 0}, {42443, 0},
   {42451, 0}, {42457, 0}, {42461, 0}, {42463, 0}, {42467, 0}, {42473, 0}, {42487, 0}, {42491, 0}, {42499, 0}, {42509, 0}, {42533, 0}, {42557, 0}, {42569, 0}, {42571, 0},
   {42577, 0}, {42589, 0}, {42611, 0}, {42641, 0}, {42643, 0}, {42649, 0}, {42667, 0}, {42677, 0}, {42683, 0}, {42689, 0}, {42697, 0}, {42701, 0}, {42703, 0}, {42709, 0},
   {42719, 0}, {42727, 0}, {42737, 0}, {42743, 0}, {42751, 0}, {42767, 0}, {42773, 0}, {42787, 0}, {42793, 0}, {42797, 0}, {42821, 0}, {42829, 0}, {42839, 0}, {42841, 0},
   {42853, 0}, {42859, 0}, {42863, 0}, {42899, 0}, {42901, 0}, {42923, 0}, {42929, 0}, {42937, 0}, {42943, 0}, {42953, 0}, {42961, 0}, {42967, 0}, {42979, 0}, {42989, 0},
   {43003, 0}, {43013, 0}, {43019, 0}, {43037, 0}, {43049, 0}, {43051, 0}, {43063, 0}, {43067, 0}, {43093, 0}, {43103, 0}, {43117, 0}, {43133, 0}, {43151, 0}, {43159, 0},
   {43177, 0}, {43189, 0}, {43201, 0}, {43207, 0}, {43223, 0}, {43237, 0}, {43261, 0}, {43271, 0}, {43283, 0}, {43291, 0}, {43313, 0}, {43319, 0}, {43321, 0}, {43331, 0},
   {43391, 0}, {43397, 0}, {43399, 0}, {43403, 0}, {43411, 0}, {43427, 0}, {43441, 0}, {43451, 0}, {43457, 0}, {43481, 0}, {43487, 0}, {43499, 0}, {43517, 0}, {43541, 0},
   {43543, 0}, {43573, 0}, {43577, 0}, {43579, 0}, {43591, 0}, {43597, 0}, {43607, 0}, {43609, 0}, {43613, 0}, {43627, 0}, {43633, 0}, {43649, 0}, {43651, 0}, {43661, 0},
   {43669, 0}, {43691, 0}, {43711, 0}, {43717, 0}, {43721, 0}, {43753, 0}, {43759, 0}, {43777, 0}, {43781, 0}, {43783, 0}, {43787, 0}, {43789, 0}, {43793, 0}, {43801, 0},
   {43853, 0}, {43867, 0}, {43889, 0}, {43891, 0}, {43913, 0}, {43933, 0}, {43943, 0}, {43951, 0}, {43961, 0}, {43963, 0}, {43969, 0}, {43973, 0}, {43987, 0}, {43991, 0},
   {43997, 0}, {44017, 0}, {44021, 0}, {44027, 0}, {44029, 0}, {44041, 0}, {44053, 0}, {44059, 0}, {44071, 0}, {44087, 0}, {44089, 0}, {44101, 0}, {44111, 0}, {44119, 0},
   {44123, 0}, {44129, 0}, {44131, 0}, {44159, 0}, {44171, 0}, {44179, 0}, {44189, 0}, {44201, 0}, {44203, 0}, {44207, 0}, {44221, 0}, {44249, 0}, {44257, 0}, {44263, 0},
   {44267, 0}, {44269, 0}, {44273, 0}, {44279, 0}, {44281, 0}, {44293, 0}, {44351, 0}, {44357, 0}, {44371, 0}, {44381, 0}, {44383, 0}, {44389, 0}, {44417, 0}, {44449, 0},
   {44453, 0}, {44483, 0}, {44491, 0}, {44497, 0}, {44501, 0}, {44507, 0}, {44519, 0}, {44531, 0}, {44533, 0}, {44537, 0}, {44543, 0}, {44549, 0}, {44563, 0}, {44579, 0},
   {44587, 0}, {44617, 0}, {44621, 0}, {44623, 0}, {44633, 0}, {44641, 0}, {44647, 0}, {44651, 0}, {44657, 0}, {44683, 0}, {44687, 0}, {44699, 0}, {44701, 0}, {44711, 0},
   {44729, 0}, {44741, 0}, {44753, 0}, {44771, 0}, {44773, 0}, {44777, 0}, {44789, 0}, {44797, 0}, {44809, 0}, {44819, 0}, {44839, 0}, {44843, 0}, {44851, 0}, {44867, 0},
   {44879, 0}, {44887, 0}, {44893, 0}, {44909, 0}, {44917, 0}, {44927, 0}, {44939, 0}, {44953, 0}, {44959, 0}, {44963, 0}, {44971, 0}, {44983, 0}, {44987, 0}, {45007, 0},
   {45013, 0}, {45053, 0}, {45061, 0}, {45077, 0}, {45083, 0}, {45119, 0}, {45121, 0}, {45127, 0}, {45131, 0}, {45137, 0}, {45139, 0}, {45161, 0}, {45179, 0}, {45181, 0},
   {45191, 0}, {45197, 0}, {45233, 0}, {45247, 0}, {45259, 0}, {45263, 0}, {45281, 0}, {45289, 0}, {45293, 0}, {45307, 0}, {45317, 0}, {45319, 0}, {45329, 0}, {45337, 0},
   {45341, 0}, {45343, 0}, {45361, 0}, {45377, 0}, {45389, 0}, {45403, 0}, {45413, 0}, {45427, 0}, {45433, 0}, {45439, 0}, {45481, 0}, {45491, 0}, {45497, 0}, {45503, 0},
   {45523, 0}, {45533, 0}, {45541, 0}, {45553, 0}, {45557, 0}, {45569, 0}, {45587, 0}, {45589, 0}, {45599, 0}, {45613, 0}, {45631, 0}, {45641, 0}, {45659, 0}, {45667, 0},
   {45673, 0}, {45677, 0}, {45691, 0}, {45697, 0}, {45707, 0}, {45737, 0}, {45751, 0}, {45757, 0}, {45763, 0}, {45767, 0}, {45779, 0}, {45817, 0}, {45821, 0}, {45823, 0},
   {45827, 0}, {45833, 0}, {45841, 0}, {45853, 0}, {45863, 0}, {45869, 0}, {45887, 0}, {45893, 0}, {45943, 0}, {45949, 0}, {45953, 0}, {45959, 0}, {45971, 0}, {45979, 0},
   {45989, 0}, {46021, 0}, {46027, 0}, {46049, 0}, {46051, 0}, {46061, 0}, {46073, 0}, {46091, 0}, {46093, 0}, {46099, 0}, {46103, 0}, {46133, 0}, {46141, 0}, {46147, 0},
   {46153, 0}, {46171, 0}, {46181, 0}, {46183, 0}, {46187, 0}, {46199, 0}, {46219, 0}, {46229, 0}, {46237, 0}, {46261, 0}, {46271, 0}, {46273, 0}, {46279, 0}, {46301, 0},
   {46307, 0}, {46309, 0}, {46327, 0}, {46337, 0}, {46349, 0}, {46351, 0}, {46381, 0}, {46399, 0}, {46411, 0}, {46439, 0}, {46441, 0}, {46447, 0}, {46451, 0}, {46457, 0},
   {46471, 0}, {46477, 0}, {46489, 0}, {46499, 0}, {46507, 0}, {46511, 0}, {46523, 0}, {46549, 0}, {46559, 0}, {46567, 0}, {46573, 0}, {46589, 0}, {46591, 0}, {46601, 0},
   {46619, 0}, {46633, 0}, {46639, 0}, {46643, 0}, {46649, 0}, {46663, 0}, {46679, 0}, {46681, 0}, {46687, 0}, {46691, 0}, {46703, 0}, {46723, 0}, {46727, 0}, {46747, 0},
   {46751, 0}, {46757, 0}, {46769, 0}, {46771, 0}, {46807, 0}, {46811, 0}, {46817, 0}, {46819, 0}, {46829, 0}, {46831, 0}, {46853, 0}, {46861, 0}, {46867, 0}, {46877, 0},
   {46889, 0}, {46901, 0}, {46919, 0}, {46933, 0}, {46957, 0}, {46993, 0}, {46997, 0}, {47017, 0}, {47041, 0}, {47051, 0}, {47057, 0}, {47059, 0}, {47087, 0}, {47093, 0},
   {47111, 0}, {47119, 0}, {47123, 0}, {47129, 0}, {47137, 0}, {47143, 0}, {47147, 0}, {47149, 0}, {47161, 0}, {47189, 0}, {47207, 0}, {47221, 0}, {47237, 0}, {47251, 0},
   {47269, 0}, {47279, 0}, {47287, 0}, {47293, 0}, {47297, 0}, {47303, 0}, {47309, 0}, {47317, 0}, {47339, 0}, {47351, 0}, {47353, 0}, {47363, 0}, {47381, 0}, {47387, 0},
   {47389, 0}, {47407, 0}, {47417, 0}, {47419, 0}, {47431, 0}, {47441, 0}, {47459, 0}, {47491, 0}, {47497, 0}, {47501, 0}, {47507, 0}, {47513, 0}, {47521, 0}, {47527, 0},
   {47533, 0}, {47543, 0}, {47563, 0}, {47569, 0}, {47581, 0}, {47591, 0}, {47599, 0}, {47609, 0}, {47623, 0}, {47629, 0}, {47639, 0}, {47653, 0}, {47657, 0}, {47659, 0},
   {47681, 0}, {47699, 0}, {47701, 0}, {47711, 0}, {47713, 0}, {47717, 0}, {47737, 0}, {47741, 0}, {47743, 0}, {47777, 0}, {47779, 0}, {47791, 0}, {47797, 0}, {47807, 0},
   {47809, 0}, {47819, 0}, {47837, 0}, {47843, 0}, {47857, 0}, {47869, 0}, {47881, 0}, {47903, 0}, {47911, 0}, {47917, 0}, {47933, 0}, {47939, 0}, {47947, 0}, {47951, 0},
   {47963, 0}, {47969, 0}, {47977, 0}, {47981, 0}, {48017, 0}, {48023, 0}, {48029, 0}, {48049, 0}, {48073, 0}, {48079, 0}, {48091, 0}, {48109, 0}, {48119, 0}, {48121, 0},
   {48131, 0}, {48157, 0}, {48163, 0}, {48179, 0}, {48187, 0}, {48193, 0}, {48197, 0}, {48221, 0}, {48239, 0}, {48247, 0}, {48259, 0}, {48271, 0}, {48281, 0}, {48299, 0},
   {48311, 0}, {48313, 0}, {48337, 0}, {48341, 0}, {48353, 0}, {48371, 0}, {48383, 0}, {48397, 0}, {48407, 0}, {48409, 0}, {48413, 0}, {48437, 0}, {48449, 0}, {48463, 0},
   {48473, 0}, {48479, 0}, {48481, 0}, {48487, 0}, {48491, 0}, {48497, 0}, {48523, 0}, {48527, 0}, {48533, 0}, {48539, 0}, {48541, 0}, {48563, 0}, {48571, 0}, {48589, 0},
   {48593, 0}, {48611, 0}, {48619, 0}, {48623, 0}, {48647, 0}, {48649, 0}, {48661, 0}, {48673, 0}, {48677, 0}, {48679, 0}, {48731, 0}, {48733, 0}, {48751, 0}, {48757, 0},
   {48761, 0}, {48767, 0}, {48779, 0}, {48781, 0}, {48787, 0}, {48799, 0}, {48809, 0}, {48817, 0}, {48821, 0}, {48823, 0}, {48847, 0}, {48857, 0}, {48859, 0}, {48869, 0},
   {48871, 0}, {48883, 0}, {48889, 0}, {48907, 0}, {48947, 0}, {48953, 0}, {48973, 0}, {48989, 0}, {48991, 0}, {49003, 0}, {49009, 0}, {49019, 0}, {49031, 0}, {49033, 0},
   {49037, 0}, {49043, 0}, {49057, 0}, {49069, 0}, {49081, 0}, {49103, 0}, {49109, 0}, {49117, 0}, {49121, 0}, {49123, 0}, {49139, 0}, {49157, 0}, {49169, 0}, {49171, 0},
   {49177, 0}, {49193, 0}, {49199, 0}, {49201, 0}, {49207, 0}, {49211, 0}, {49223, 0}, {49253, 0}, {49261, 0}, {49277, 0}, {49279, 0}, {49297, 0}, {49307, 0}, {49331, 0},
   {49333, 0}, {49339, 0}, {49363, 0}, {49367, 0}, {49369, 0}, {49391, 0}, {49393, 0}, {49409, 0}, {49411, 0}, {49417, 0}, {49429, 0}, {49433, 0}, {49451, 0}, {49459, 0},
   {49463, 0}, {49477, 0}, {49481, 0}, {49499, 0}, {49523, 0}, {49529, 0}, {49531, 0}, {49537, 0}, {49547, 0}, {49549, 0}, {49559, 0}, {49597, 0}, {49603, 0}, {49613, 0},
   {49627, 0}, {49633, 0}, {49639, 0}, {49663, 0}, {49667, 0}, {49669, 0}, {49681, 0}, {49697, 0}, {49711, 0}, {49727, 0}, {49739, 0}, {49741, 0}, {49747, 0}, {49757, 0},
   {49783, 0}, {49787, 0}, {49789, 0}, {49801, 0}, {49807, 0}, {49811, 0}, {49823, 0}, {49831, 0}, {49843, 0}, {49853, 0}, {49871, 0}, {49877, 0}, {49891, 0}, {49919, 0},
   {49921, 0}, {49927, 0}, {49937, 0}, {49939, 0}, {49943, 0}, {49957, 0}, {49991, 0}, {49993, 0}, {49999, 0}, {50021, 0}, {50023, 0}, {50033, 0}, {50047, 0}, {50051, 0},
   {50053, 0}, {50069, 0}, {50077, 0}, {50087, 0}, {50093, 0}, {50101, 0}, {50111, 0}, {50119, 0}, {50123, 0}, {50129, 0}, {50131, 0}, {50147, 0}, {50153, 0}, {50159, 0},
   {50177, 0}, {50207, 0}, {50221, 0}, {50227, 0}, {50231, 0}, {50261, 0}, {50263, 0}, {50273, 0}, {50287, 0}, {50291, 0}, {50311, 0}, {50321, 0}, {50329, 0}, {50333, 0},
   {50341, 0}, {50359, 0}, {50363, 0}, {50377, 0}, {50383, 0}, {50387, 0}, {50411, 0}, {50417, 0}, {50423, 0}, {50441, 0}, {50459, 0}, {50461, 0}, {50497, 0}, {50503, 0},
   {50513, 0}, {50527, 0}, {50539, 0}, {50543, 0}, {50549, 0}, {50551, 0}, {50581, 0}, {50587, 0}, {50591, 0}, {50593, 0}, {50599, 0}, {50627, 0}, {50647, 0}, {50651, 0},
   {50671, 0}, {50683, 0}, {50707, 0}, {50723, 0}, {50741, 0}, {50753, 0}, {50767, 0}, {50773, 0}, {50777, 0}, {50789, 0}, {50821, 0}, {50833, 0}, {50839, 0}, {50849, 0},
   {50857, 0}, {50867, 0}, {50873, 0}, {50891, 0}, {50893, 0}, {50909, 0}, {50923, 0}, {50929, 0}, {50951, 0}, {50957, 0}, {50969, 0}, {50971, 0}, {50989, 0}, {50993, 0},
   {51001, 0}, {51031, 0}, {51043, 0}, {51047, 0}, {51059, 0}, {51061, 0}, {51071, 0}, {51109, 0}, {51131, 0}, {51133, 0}, {51137, 0}, {51151, 0}, {51157, 0}, {51169, 0},
   {51193, 0}, {51197, 0}, {51199, 0}, {51203, 0}, {51217, 0}, {51229, 0}, {51239, 0}, {51241, 0}, {51257, 0}, {51263, 0}, {51283, 0}, {51287, 0}, {51307, 0}, {51329, 0},
   {51341, 0}, {51343, 0}, {51347, 0}, {51349, 0}, {51361, 0}, {51383, 0}, {51407, 0}, {51413, 0}, {51419, 0}, {51421, 0}, {51427, 0}, {51431, 0}, {51437, 0}, {51439, 0},
   {51449, 0}, {51461, 0}, {51473, 0}, {51479, 0}, {51481, 0}, {51487, 0}, {51503, 0}, {51511, 0}, {51517, 0}, {51521, 0}, {51539, 0}, {51551, 0}, {51563, 0}, {51577, 0},
   {51581, 0}, {51593, 0}, {51599, 0}, {51607, 0}, {51613, 0}, {51631, 0}, {51637, 0}, {51647, 0}, {51659, 0}, {51673, 0}, {51679, 0}, {51683, 0}, {51691, 0}, {51713, 0},
   {51719, 0}, {51721, 0}, {51749, 0}, {51767, 0}, {51769, 0}, {51787, 0}, {51797, 0}, {51803, 0}, {51817, 0}, {51827, 0}, {51829, 0}, {51839, 0}, {51853, 0}, {51859, 0},
   {51869, 0}, {51871, 0}, {51893, 0}, {51899, 0}, {51907, 0}, {51913, 0}, {51929, 0}, {51941, 0}, {51949, 0}, {51971, 0}, {51973, 0}, {51977, 0}, {51991, 0}, {52009, 0},
   {52021, 0}, {52027, 0}, {52051, 0}, {52057, 0}, {52067, 0}, {52069, 0}, {52081, 0}, {52103, 0}, {52121, 0}, {52127, 0}, {52147, 0}, {52153, 0}, {52163, 0}, {52177, 0},
   {52181, 0}, {52183, 0}, {52189, 0}, {52201, 0}, {52223, 0}, {52237, 0}, {52249, 0}, {52253, 0}, {52259, 0}, {52267, 0}, {52289, 0}, {52291, 0}, {52301, 0}, {52313, 0},
   {52321, 0}, {52361, 0}, {52363, 0}, {52369, 0}, {52379, 0}, {52387, 0}, {52391, 0}, {52433, 0}, {52453, 0}, {52457, 0}, {52489, 0}, {52501, 0}, {52511, 0}, {52517, 0},
   {52529, 0}, {52541, 0}, {52543, 0}, {52553, 0}, {52561, 0}, {52567, 0}, {52571, 0}, {52579, 0}, {52583, 0}, {52609, 0}, {52627, 0}, {52631, 0}, {52639, 0}, {52667, 0},
   {52673, 0}, {52691, 0}, {52697, 0}, {52709, 0}, {52711, 0}, {52721, 0}, {52727, 0}, {52733, 0}, {52747, 0}, {52757, 0}, {52769, 0}, {52783, 0}, {52807, 0}, {52813, 0},
   {52817, 0}, {52837, 0}, {52859, 0}, {52861, 0}, {52879, 0}, {52883, 0}, {52889, 0}, {52901, 0}, {52903, 0}, {52919, 0}, {52937, 0}, {52951, 0}, {52957, 0}, {52963, 0},
   {52967, 0}, {52973, 0}, {52981, 0}, {52999, 0}, {53003, 0}, {53017, 0}, {53047, 0}, {53051, 0}, {53069, 0}, {53077, 0}, {53087, 0}, {53089, 0}, {53093, 0}, {53101, 0},
   {53113, 0}, {53117, 0}, {53129, 0}, {53147, 0}, {53149, 0}, {53161, 0}, {53171, 0}, {53173, 0}, {53189, 0}, {53197, 0}, {53201, 0}, {53231, 0}, {53233, 0}, {53239, 0},
   {53267, 0}, {53269, 0}, {53279, 0}, {53281, 0}, {53299, 0}, {53309, 0}, {53323, 0}, {53327, 0}, {53353, 0}, {53359, 0}, {53377, 0}, {53381, 0}, {53401, 0}, {53407, 0},
   {53411, 0}, {53419, 0}, {53437, 0}, {53441, 0}, {53453, 0}, {53479, 0}, {53503, 0}, {53507, 0}, {53527, 0}, {53549, 0}, {53551, 0}, {53569, 0}, {53591, 0}, {53593, 0},
   {53597, 0}, {53609, 0}, {53611, 0}, {53617, 0}, {53623, 0}, {53629, 0}, {53633, 0}, {53639, 0}, {53653, 0}, {53657, 0}, {53681, 0}, {53693, 0}, {53699, 0}, {53717, 0},
   {53719, 0}, {53731, 0}, {53759, 0}, {53773, 0}, {53777, 0}, {53783, 0}, {53791, 0}, {53813, 0}, {53819, 0}, {53831, 0}, {53849, 0}, {53857, 0}, {53861, 0}, {53881, 0},
   {53887, 0}, {53891, 0}, {53897, 0}, {53899, 0}, {53917, 0}, {53923, 0}, {53927, 0}, {53939, 0}, {53951, 0}, {53959, 0}, {53987, 0}, {53993, 0}, {54001, 0}, {54011, 0},
   {54013, 0}, {54037, 0}, {54049, 0}, {54059, 0}, {54083, 0}, {54091, 0}, {54101, 0}, {54121, 0}, {54133, 0}, {54139, 0}, {54151, 0}, {54163, 0}, {54167, 0}, {54181, 0},
   {54193, 0}, {54217, 0}, {54251, 0}, {54269, 0}, {54277, 0}, {54287, 0}, {54293, 0}, {54311, 0}, {54319, 0}, {54323, 0}, {54331, 0}, {54347, 0}, {54361, 0}, {54367, 0},
   {54371, 0}, {54377, 0}, {54401, 0}, {54403, 0}, {54409, 0}, {54413, 0}, {54419, 0}, {54421, 0}, {54437, 0}, {54443, 0}, {54449, 0}, {54469, 0}, {54493, 0}, {54497, 0},
   {54499, 0}, {54503, 0}, {54517, 0}, {54521, 0}, {54539, 0}, {54541, 0}, {54547, 0}, {54559, 0}, {54563, 0}, {54577, 0}, {54581, 0}, {54583, 0}, {54601, 0}, {54617, 0},
   {54623, 0}, {54629, 0}, {54631, 0}, {54647, 0}, {54667, 0}, {54673, 0}, {54679, 0}, {54709, 0}, {54713, 0}, {54721, 0}, {54727, 0}, {54751, 0}, {54767, 0}, {54773, 0},
   {54779, 0}, {54787, 0}, {54799, 0}, {54829, 0}, {54833, 0}, {54851, 0}, {54869, 0}, {54877, 0}, {54881, 0}, {54907, 0}, {54917, 0}, {54919, 0}, {54941, 0}, {54949, 0},
   {54959, 0}, {54973, 0}, {54979, 0}, {54983, 0}, {55001, 0}, {55009, 0}, {55021, 0}, {55049, 0}, {55051, 0}, {55057, 0}, {55061, 0}, {55073, 0}, {55079, 0}, {55103, 0},
   {55109, 0}, {55117, 0}, {55127, 0}, {55147, 0}, {55163, 0}, {55171, 0}, {55201, 0}, {55207, 0}, {55213, 0}, {55217, 0}, {55219, 0}, {55229, 0}, {55243, 0}, {55249, 0},
   {55259, 0}, {55291, 0}, {55313, 0}, {55331, 0}, {55333, 0}, {55337, 0}, {55339, 0}, {55343, 0}, {55351, 0}, {55373, 0}, {55381, 0}, {55399, 0}, {55411, 0}, {55439, 0},
   {55441, 0}, {55457, 0}, {55469, 0}, {55487, 0}, {55501, 0}, {55511, 0}, {55529, 0}, {55541, 0}, {55547, 0}, {55579, 0}, {55589, 0}, {55603, 0}, {55609, 0}, {55619, 0},
   {55621, 0}, {55631, 0}, {55633, 0}, {55639, 0}, {55661, 0}, {55663, 0}, {55667, 0}, {55673, 0}, {55681, 0}, {55691, 0}, {55697, 0}, {55711, 0}, {55717, 0}, {55721, 0},
   {55733, 0}, {55763, 0}, {55787, 0}, {55793, 0}, {55799, 0}, {55807, 0}, {55813, 0}, {55817, 0}, {55819, 0}, {55823, 0}, {55829, 0}, {55837, 0}, {55843, 0}, {55849, 0},
   {55871, 0}, {55889, 0}, {55897, 0}, {55901, 0}, {55903, 0}, {55921, 0}, {55927, 0}, {55931, 0}, {55933, 0}, {55949, 0}, {55967, 0}, {55987, 0}, {55997, 0}, {56003, 0},
   {56009, 0}, {56039, 0}, {56041, 0}, {56053, 0}, {56081, 0}, {56087, 0}, {56093, 0}, {56099, 0}, {56101, 0}, {56113, 0}, {56123, 0}, {56131, 0}, {56149, 0}, {56167, 0},
   {56171, 0}, {56179, 0}, {56197, 0}, {56207, 0}, {56209, 0}, {56237, 0}, {56239, 0}, {56249, 0}, {56263, 0}, {56267, 0}, {56269, 0}, {56299, 0}, {56311, 0}, {56333, 0},
   {56359, 0}, {56369, 0}, {56377, 0}, {56383, 0}, {56393, 0}, {56401, 0}, {56417, 0}, {56431, 0}, {56437, 0}, {56443, 0}, {56453, 0}, {56467, 0}, {56473, 0}, {56477, 0},
   {56479, 0}, {56489, 0}, {56501, 0}, {56503, 0}, {56509, 0}, {56519, 0}, {56527, 0}, {56531, 0}, {56533, 0}, {56543, 0}, {56569, 0}, {56591, 0}, {56597, 0}, {56599, 0},
   {56611, 0}, {56629, 0}, {56633, 0}, {56659, 0}, {56663, 0}, {56671, 0}, {56681, 0}, {56687, 0}, {56701, 0}, {56711, 0}, {56713, 0}, {56731, 0}, {56737, 0}, {56747, 0},
   {56767, 0}, {56773, 0}, {56779, 0}, {56783, 0}, {56807, 0}, {56809, 0}, {56813, 0}, {56821, 0}, {56827, 0}, {56843, 0}, {56857, 0}, {56873, 0}, {56891, 0}, {56893, 0},
   {56897, 0}, {56909, 0}, {56911, 0}, {56921, 0}, {56923, 0}, {56929, 0}, {56941, 0}, {56951, 0}, {56957, 0}, {56963, 0}, {56983, 0}, {56989, 0}, {56993, 0}, {56999, 0},
   {57037, 0}, {57041, 0}, {57047, 0}, {57059, 0}, {57073, 0}, {57077, 0}, {57089, 0}, {57097, 0}, {57107, 0}, {57119, 0}, {57131, 0}, {57139, 0}, {57143, 0}, {57149, 0},
   {57163, 0}, {57173, 0}, {57179, 0}, {57191, 0}, {57193, 0}, {57203, 0}, {57221, 0}, {57223, 0}, {57241, 0}, {57251, 0}, {57259, 0}, {57269, 0}, {57271, 0}, {57283, 0},
   {57287, 0}, {57301, 0}, {57329, 0}, {57331, 0}, {57347, 0}, {57349, 0}, {57367, 0}, {57373, 0}, {57383, 0}, {57389, 0}, {57397, 0}, {57413, 0}, {57427, 0}, {57457, 0},
   {57467, 0}, {57487, 0}, {57493, 0}, {57503, 0}, {57527, 0}, {57529, 0}, {57557, 0}, {57559, 0}, {57571, 0}, {57587, 0}, {57593, 0}, {57601, 0}, {57637, 0}, {57641, 0},
   {57649, 0}, {57653, 0}, {57667, 0}, {57679, 0}, {57689, 0}, {57697, 0}, {57709, 0}, {57713, 0}, {57719, 0}, {57727, 0}, {57731, 0}, {57737, 0}, {57751, 0}, {57773, 0},
   {57781, 0}, {57787, 0}, {57791, 0}, {57793, 0}, {57803, 0}, {57809, 0}, {57829, 0}, {57839, 0}, {57847, 0}, {57853, 0}, {57859, 0}, {57881, 0}, {57899, 0}, {57901, 0},
   {57917, 0}, {57923, 0}, {57943, 0}, {57947, 0}, {57973, 0}, {57977, 0}, {57991, 0}, {58013, 0}, {58027, 0}, {58031, 0}, {58043, 0}, {58049, 0}, {58057, 0}, {58061, 0},
   {58067, 0}, {58073, 0}, {58099, 0}, {58109, 0}, {58111, 0}, {58129, 0}, {58147, 0}, {58151, 0}, {58153, 0}, {58169, 0}, {58171, 0}, {58189, 0}, {58193, 0}, {58199, 0},
   {58207, 0}, {58211, 0}, {58217, 0}, {58229, 0}, {58231, 0}, {58237, 0}, {58243, 0}, {58271, 0}, {58309, 0}, {58313, 0}, {58321, 0}, {58337, 0}, {58363, 0}, {58367, 0},
   {58369, 0}, {58379, 0}, {58391, 0}, {58393, 0}, {58403, 0}, {58411, 0}, {58417, 0}, {58427, 0}, {58439, 0}, {58441, 0}, {58451, 0}, {58453, 0}, {58477, 0}, {58481, 0},
   {58511, 0}, {58537, 0}, {58543, 0}, {58549, 0}, {58567, 0}, {58573, 0}, {58579, 0}, {58601, 0}, {58603, 0}, {58613, 0}, {58631, 0}, {58657, 0}, {58661, 0}, {58679, 0},
   {58687, 0}, {58693, 0}, {58699, 0}, {58711, 0}, {58727, 0}, {58733, 0}, {58741, 0}, {58757, 0}, {58763, 0}, {58771, 0}, {58787, 0}, {58789, 0}, {58831, 0}, {58889, 0},
   {58897, 0}, {58901, 0}, {58907, 0}, {58909, 0}, {58913, 0}, {58921, 0}, {58937, 0}, {58943, 0}, {58963, 0}, {58967, 0}, {58979, 0}, {58991, 0}, {58997, 0}, {59009, 0},
   {59011, 0}, {59021, 0}, {59023, 0}, {59029, 0}, {59051, 0}, {59053, 0}, {59063, 0}, {59069, 0}, {59077, 0}, {59083, 0}, {59093, 0}, {59107, 0}, {59113, 0}, {59119, 0},
   {59123, 0}, {59141, 0}, {59149, 0}, {59159, 0}, {59167, 0}, {59183, 0}, {59197, 0}, {59207, 0}, {59209, 0}, {59219, 0}, {59221, 0}, {59233, 0}, {59239, 0}, {59243, 0},
   {59263, 0}, {59273, 0}, {59281, 0}, {59333, 0}, {59341, 0}, {59351, 0}, {59357, 0}, {59359, 0}, {59369, 0}, {59377, 0}, {59387, 0}, {59393, 0}, {59399, 0}, {59407, 0},
   {59417, 0}, {59419, 0}, {59441, 0}, {59443, 0}, {59447, 0}, {59453, 0}, {59467, 0}, {59471, 0}, {59473, 0}, {59497, 0}, {59509, 0}, {59513, 0}, {59539, 0}, {59557, 0},
   {59561, 0}, {59567, 0}, {59581, 0}, {59611, 0}, {59617, 0}, {59621, 0}, {59627, 0}, {59629, 0}, {59651, 0}, {59659, 0}, {59663, 0}, {59669, 0}, {59671, 0}, {59693, 0},
   {59699, 0}, {59707, 0}, {59723, 0}, {59729, 0}, {59743, 0}, {59747, 0}, {59753, 0}, {59771, 0}, {59779, 0}, {59791, 0}, {59797, 0}, {59809, 0}, {59833, 0}, {59863, 0},
   {59879, 0}, {59887, 0}, {59921, 0}, {59929, 0}, {59951, 0}, {59957, 0}, {59971, 0}, {59981, 0}, {59999, 0}, {60013, 0}, {60017, 0}, {60029, 0}, {60037, 0}, {60041, 0},
   {60077, 0}, {60083, 0}, {60089, 0}, {60091, 0}, {60101, 0}, {60103, 0}, {60107, 0}, {60127, 0}, {60133, 0}, {60139, 0}, {60149, 0}, {60161, 0}, {60167, 0}, {60169, 0},
   {60209, 0}, {60217, 0}, {60223, 0}, {60251, 0}, {60257, 0}, {60259, 0}, {60271, 0}, {60289, 0}, {60293, 0}, {60317, 0}, {60331, 0}, {60337, 0}, {60343, 0}, {60353, 0},
   {60373, 0}, {60383, 0}, {60397, 0}, {60413, 0}, {60427, 0}, {60443, 0}, {60449, 0}, {60457, 0}, {60493, 0}, {60497, 0}, {60509, 0}, {60521, 0}, {60527, 0}, {60539, 0},
   {60589, 0}, {60601, 0}, {60607, 0}, {60611, 0}, {60617, 0}, {60623, 0}, {60631, 0}, {60637, 0}, {60647, 0}, {60649, 0}, {60659, 0}, {60661, 0}, {60679, 0}, {60689, 0},
   {60703, 0}, {60719, 0}, {60727, 0}, {60733, 0}, {60737, 0}, {60757, 0}, {60761, 0}, {60763, 0}, {60773, 0}, {60779, 0}, {60793, 0}, {60811, 0}, {60821, 0}, {60859, 0},
   {60869, 0}, {60887, 0}, {60889, 0}, {60899, 0}, {60901, 0}, {60913, 0}, {60917, 0}, {60919, 0}, {60923, 0}, {60937, 0}, {60943, 0}, {60953, 0}, {60961, 0}, {61001, 0},
   {61007, 0}, {61027, 0}, {61031, 0}, {61043, 0}, {61051, 0}, {61057, 0}, {61091, 0}, {61099, 0}, {61121, 0}, {61129, 0}, {61141, 0}, {61151, 0}, {61153, 0}, {61169, 0},
   {61211, 0}, {61223, 0}, {61231, 0}, {61253, 0}, {61261, 0}, {61283, 0}, {61291, 0}, {61297, 0}, {61331, 0}, {61333, 0}, {61339, 0}, {61343, 0}, {61357, 0}, {61363, 0},
   {61379, 0}, {61381, 0}, {61403, 0}, {61409, 0}, {61417, 0}, {61441, 0}, {61463, 0}, {61469, 0}, {61471, 0}, {61483, 0}, {61487, 0}, {61493, 0}, {61507, 0}, {61511, 0},
   {61519, 0}, {61543, 0}, {61547, 0}, {61553, 0}, {61559, 0}, {61561, 0}, {61583, 0}, {61603, 0}, {61609, 0}, {61613, 0}, {61627, 0}, {61631, 0}, {61637, 0}, {61643, 0},
   {61651, 0}, {61657, 0}, {61667, 0}, {61673, 0}, {61681, 0}, {61687, 0}, {61703, 0}, {61717, 0}, {61723, 0}, {61729, 0}, {61751, 0}, {61757, 0}, {61781, 0}, {61813, 0},
   {61819, 0}, {61837, 0}, {61843, 0}, {61861, 0}, {61871, 0}, {61879, 0}, {61909, 0}, {61927, 0}, {61933, 0}, {61949, 0}, {61961, 0}, {61967, 0}, {61979, 0}, {61981, 0},
   {61987, 0}, {61991, 0}, {62003, 0}, {62011, 0}, {62017, 0}, {62039, 0}, {62047, 0}, {62053, 0}, {62057, 0}, {62071, 0}, {62081, 0}, {62099, 0}, {62119, 0}, {62129, 0},
   {62131, 0}, {62137, 0}, {62141, 0}, {62143, 0}, {62171, 0}, {62189, 0}, {62191, 0}, {62201, 0}, {62207, 0}, {62213, 0}, {62219, 0}, {62233, 0}, {62273, 0}, {62297, 0},
   {62299, 0}, {62303, 0}, {62311, 0}, {62323, 0}, {62327, 0}, {62347, 0}, {62351, 0}, {62383, 0}, {62401, 0}, {62417, 0}, {62423, 0}, {62459, 0}, {62467, 0}, {62473, 0},
   {62477, 0}, {62483, 0}, {62497, 0}, {62501, 0}, {62507, 0}, {62533, 0}, {62539, 0}, {62549, 0}, {62563, 0}, {62581, 0}, {62591, 0}, {62597, 0}, {62603, 0}, {62617, 0},
   {62627, 0}, {62633, 0}, {62639, 0}, {62653, 0}, {62659, 0}, {62683, 0}, {62687, 0}, {62701, 0}, {62723, 0}, {62731, 0}, {62743, 0}, {62753, 0}, {62761, 0}, {62773, 0},
   {62791, 0}, {62801, 0}, {62819, 0}, {62827, 0}, {62851, 0}, {62861, 0}, {62869, 0}, {62873, 0}, {62897, 0}, {62903, 0}, {62921, 0}, {62927, 0}, {62929, 0}, {62939, 0},
   {62969, 0}, {62971, 0}, {62981, 0}, {62983, 0}, {62987, 0}, {62989, 0}, {63029, 0}, {63031, 0}, {63059, 0}, {63067, 0}, {63073, 0}, {63079, 0}, {63097, 0}, {63103, 0},
   {63113, 0}, {63127, 0}, {63131, 0}, {63149, 0}, {63179, 0}, {63197, 0}, {63199, 0}, {63211, 0}, {63241, 0}, {63247, 0}, {63277, 0}, {63281, 0}, {63299, 0}, {63311, 0},
   {63313, 0}, {63317, 0}, {63331, 0}, {63337, 0}, {63347, 0}, {63353, 0}, {63361, 0}, {63367, 0}, {63377, 0}, {63389, 0}, {63391, 0}, {63397, 0}, {63409, 0}, {63419, 0},
   {63421, 0}, {63439, 0}, {63443, 0}, {63463, 0}, {63467, 0}, {63473, 0}, {63487, 0}, {63493, 0}, {63499, 0}, {63521, 0}, {63527, 0}, {63533, 0}, {63541, 0}, {63559, 0},
   {63577, 0}, {63587, 0}, {63589, 0}, {63599, 0}, {63601, 0}, {63607, 0}, {63611, 0}, {63617, 0}, {63629, 0}, {63647, 0}, {63649, 0}, {63659, 0}, {63667, 0}, {63671, 0},
   {63689, 0}, {63691, 0}, {63697, 0}, {63703, 0}, {63709, 0}, {63719, 0}, {63727, 0}, {63737, 0}, {63743, 0}, {63761, 0}, {63773, 0}, {63781, 0}, {63793, 0}, {63799, 0},
   {63803, 0}, {63809, 0}, {63823, 0}, {63839, 0}, {63841, 0}, {63853, 0}, {63857, 0}, {63863, 0}, {63901, 0}, {63907, 0}, {63913, 0}, {63929, 0}, {63949, 0}, {63977, 0},
   {63997, 0}, {64007, 0}, {64013, 0}, {64019, 0}, {64033, 0}, {64037, 0}, {64063, 0}, {64067, 0}, {64081, 0}, {64091, 0}, {64109, 0}, {64123, 0}, {64151, 0}, {64153, 0},
   {64157, 0}, {64171, 0}, {64187, 0}, {64189, 0}, {64217, 0}, {64223, 0}, {64231, 0}, {64237, 0}, {64271, 0}, {64279, 0}, {64283, 0}, {64301, 0}, {64303, 0}, {64319, 0},
   {64327, 0}, {64333, 0}, {64373, 0}, {64381, 0}, {64399, 0}, {64403, 0}, {64433, 0}, {64439, 0}, {64451, 0}, {64453, 0}, {64483, 0}, {64489, 0}, {64499, 0}, {64513, 0},
   {64553, 0}, {64567, 0}, {64577, 0}, {64579, 0}, {64591, 0}, {64601, 0}, {64609, 0}, {64613, 0}, {64621, 0}, {64627, 0}, {64633, 0}, {64661, 0}, {64663, 0}, {64667, 0},
   {64679, 0}, {64693, 0}, {64709, 0}, {64717, 0}, {64747, 0}, {64763, 0}, {64781, 0}, {64783, 0}, {64793, 0}, {64811, 0}, {64817, 0}, {64849, 0}, {64853, 0}, {64871, 0},
   {64877, 0}, {64879, 0}, {64891, 0}, {64901, 0}, {64919, 0}, {64921, 0}, {64927, 0}, {64937, 0}, {64951, 0}, {64969, 0}, {64997, 0}, {65003, 0}, {65011, 0}, {65027, 0},
   {65029, 0}, {65033, 0}, {65053, 0}, {65063, 0}, {65071, 0}, {65089, 0}, {65099, 0}, {65101, 0}, {65111, 0}, {65119, 0}, {65123, 0}, {65129, 0}, {65141, 0}, {65147, 0},
   {65167, 0}, {65171, 0}, {65173, 0}, {65179, 0}, {65183, 0}, {65203, 0}, {65213, 0}, {65239, 0}, {65257, 0}, {65267, 0}, {65269, 0}, {65287, 0}, {65293, 0}, {65309, 0},
   {65323, 0}, {65327, 0}, {65353, 0}, {65357, 0}, {65371, 0}, {65381, 0}, {65393, 0}, {65407, 0}, {65413, 0}, {65419, 0}, {65423, 0}, {65437, 0}, {65447, 0}, {65449, 0},
   {65479, 0}, {65497, 0}, {65519, 0}, {65521, 0}, {65537, 0}, {65539, 0}, {65543, 0}, {65551, 0}, {65557, 0}, {65563, 0}, {65579, 0}, {65581, 0}, {65587, 0}, {65599, 0},
   {65609, 0}, {65617, 0}, {65629, 0}, {65633, 0}, {65647, 0}, {65651, 0}, {65657, 0}, {65677, 0}, {65687, 0}, {65699, 0}, {65701, 0}, {65707, 0}, {65713, 0}, {65717, 0},
   {65719, 0}, {65729, 0}, {65731, 0}, {65761, 0}, {65777, 0}, {65789, 0}, {65809, 0}, {65827, 0}, {65831, 0}, {65837, 0}, {65839, 0}, {65843, 0}, {65851, 0}, {65867, 0},
   {65881, 0}, {65899, 0}, {65921, 0}, {65927, 0}, {65929, 0}, {65951, 0}, {65957, 0}, {65963, 0}, {65981, 0}, {65983, 0}, {65993, 0}, {66029, 0}, {66037, 0}, {66041, 0},
   {66047, 0}, {66067, 0}, {66071, 0}, {66083, 0}, {66089, 0}, {66103, 0}, {66107, 0}, {66109, 0}, {66137, 0}, {66161, 0}, {66169, 0}, {66173, 0}, {66179, 0}, {66191, 0},
   {66221, 0}, {66239, 0}, {66271, 0}, {66293, 0}, {66301, 0}, {66337, 0}, {66343, 0}, {66347, 0}, {66359, 0}, {66361, 0}, {66373, 0}, {66377, 0}, {66383, 0}, {66403, 0},
   {66413, 0}, {66431, 0}, {66449, 0}, {66457, 0}, {66463, 0}, {66467, 0}, {66491, 0}, {66499, 0}, {66509, 0}, {66523, 0}, {66529, 0}, {66533, 0}, {66541, 0}, {66553, 0},
   {66569, 0}, {66571, 0}, {66587, 0}, {66593, 0}, {66601, 0}, {66617, 0}, {66629, 0}, {66643, 0}, {66653, 0}, {66683, 0}, {66697, 0}, {66701, 0}, {66713, 0}, {66721, 0},
   {66733, 0}, {66739, 0}, {66749, 0}, {66751, 0}, {66763, 0}, {66791, 0}, {66797, 0}, {66809, 0}, {66821, 0}, {66841, 0}, {66851, 0}, {66853, 0}, {66863, 0}, {66877, 0},
   {66883, 0}, {66889, 0}, {66919, 0}, {66923, 0}, {66931, 0}, {66943, 0}, {66947, 0}, {66949, 0}, {66959, 0}, {66973, 0}, {66977, 0}, {67003, 0}, {67021, 0}, {67033, 0},
   {67043, 0}, {67049, 0}, {67057, 0}, {67061, 0}, {67073, 0}, {67079, 0}, {67103, 0}, {67121, 0}, {67129, 0}, {67139, 0}, {67141, 0}, {67153, 0}, {67157, 0}, {67169, 0},
   {67181, 0}, {67187, 0}, {67189, 0}, {67211, 0}, {67213, 0}, {67217, 0}, {67219, 0}, {67231, 0}, {67247, 0}, {67261, 0}, {67271, 0}, {67273, 0}, {67289, 0}, {67307, 0},
   {67339, 0}, {67343, 0}, {67349, 0}, {67369, 0}, {67391, 0}, {67399, 0}, {67409, 0}, {67411, 0}, {67421, 0}, {67427, 0}, {67429, 0}, {67433, 0}, {67447, 0}, {67453, 0},
   {67477, 0}, {67481, 0}, {67489, 0}, {67493, 0}, {67499, 0}, {67511, 0}, {67523, 0}, {67531, 0}, {67537, 0}, {67547, 0}, {67559, 0}, {67567, 0}, {67577, 0}, {67579, 0},
   {67589, 0}, {67601, 0}, {67607, 0}, {67619, 0}, {67631, 0}, {67651, 0}, {67679, 0}, {67699, 0}, {67709, 0}, {67723, 0}, {67733, 0}, {67741, 0}, {67751, 0}, {67757, 0},
   {67759, 0}, {67763, 0}, {67777, 0}, {67783, 0}, {67789, 0}, {67801, 0}, {67807, 0}, {67819, 0}, {67829, 0}, {67843, 0}, {67853, 0}, {67867, 0}, {67883, 0}, {67891, 0},
   {67901, 0}, {67927, 0}, {67931, 0}, {67933, 0}, {67939, 0}, {67943, 0}, {67957, 0}, {67961, 0}, {67967, 0}, {67979, 0}, {67987, 0}, {67993, 0}, {68023, 0}, {68041, 0},
   {68053, 0}, {68059, 0}, {68071, 0}, {68087, 0}, {68099, 0}, {68111, 0}, {68113, 0}, {68141, 0}, {68147, 0}, {68161, 0}, {68171, 0}, {68207, 0}, {68209, 0}, {68213, 0},
   {68219, 0}, {68227, 0}, {68239, 0}, {68261, 0}, {68279, 0}, {68281, 0}, {68311, 0}, {68329, 0}, {68351, 0}, {68371, 0}, {68389, 0}, {68399, 0}, {68437, 0}, {68443, 0},
   {68447, 0}, {68449, 0}, {68473, 0}, {68477, 0}, {68483, 0}, {68489, 0}, {68491, 0}, {68501, 0}, {68507, 0}, {68521, 0}, {68531, 0}, {68539, 0}, {68543, 0}, {68567, 0},
   {68581, 0}, {68597, 0}, {68611, 0}, {68633, 0}, {68639, 0}, {68659, 0}, {68669, 0}, {68683, 0}, {68687, 0}, {68699, 0}, {68711, 0}, {68713, 0}, {68729, 0}, {68737, 0},
   {68743, 0}, {68749, 0}, {68767, 0}, {68771, 0}, {68777, 0}, {68791, 0}, {68813, 0}, {68819, 0}, {68821, 0}, {68863, 0}, {68879, 0}, {68881, 0}, {68891, 0}, {68897, 0},
   {68899, 0}, {68903, 0}, {68909, 0}, {68917, 0}, {68927, 0}, {68947, 0}, {68963, 0}, {68993, 0}, {69001, 0}, {69011, 0}, {69019, 0}, {69029, 0}, {69031, 0}, {69061, 0},
   {69067, 0}, {69073, 0}, {69109, 0}, {69119, 0}, {69127, 0}, {69143, 0}, {69149, 0}, {69151, 0}, {69163, 0}, {69191, 0}, {69193, 0}, {69197, 0}, {69203, 0}, {69221, 0},
   {69233, 0}, {69239, 0}, {69247, 0}, {69257, 0}, {69259, 0}, {69263, 0}, {69313, 0}, {69317, 0}, {69337, 0}, {69341, 0}, {69371, 0}, {69379, 0}, {69383, 0}, {69389, 0},
   {69401, 0}, {69403, 0}, {69427, 0}, {69431, 0}, {69439, 0}, {69457, 0}, {69463, 0}, {69467, 0}, {69473, 0}, {69481, 0}, {69491, 0}, {69493, 0}, {69497, 0}, {69499, 0},
   {69539, 0}, {69557, 0}, {69593, 0}, {69623, 0}, {69653, 0}, {69661, 0}, {69677, 0}, {69691, 0}, {69697, 0}, {69709, 0}, {69737, 0}, {69739, 0}, {69761, 0}, {69763, 0},
   {69767, 0}, {69779, 0}, {69809, 0}, {69821, 0}, {69827, 0}, {69829, 0}, {69833, 0}, {69847, 0}, {69857, 0}, {69859, 0}, {69877, 0}, {69899, 0}, {69911, 0}, {69929, 0},
   {69931, 0}, {69941, 0}, {69959, 0}, {69991, 0}, {69997, 0}, {70001, 0}, {70003, 0}, {70009, 0}, {70019, 0}, {70039, 0}, {70051, 0}, {70061, 0}, {70067, 0}, {70079, 0},
   {70099, 0}, {70111, 0}, {70117, 0}, {70121, 0}, {70123, 0}, {70139, 0}, {70141, 0}, {70157, 0}, {70163, 0}, {70177, 0}, {70181, 0}, {70183, 0}, {70199, 0}, {70201, 0},
   {70207, 0}, {70223, 0}, {70229, 0}, {70237, 0}, {70241, 0}, {70249, 0}, {70271, 0}, {70289, 0}, {70297, 0}, {70309, 0}, {70313, 0}, {70321, 0}, {70327, 0}, {70351, 0},
   {70373, 0}, {70379, 0}, {70381, 0}, {70393, 0}, {70423, 0}, {70429, 0}, {70439, 0}, {70451, 0}, {70457, 0}, {70459, 0}, {70481, 0}, {70487, 0}, {70489, 0}, {70501, 0},
   {70507, 0}, {70529, 0}, {70537, 0}, {70549, 0}, {70571, 0}, {70573, 0}, {70583, 0}, {70589, 0}, {70607, 0}, {70619, 0}, {70621, 0}, {70627, 0}, {70639, 0}, {70657, 0},
   {70663, 0}, {70667, 0}, {70687, 0}, {70709, 0}, {70717, 0}, {70729, 0}, {70753, 0}, {70769, 0}, {70783, 0}, {70793, 0}, {70823, 0}, {70841, 0}, {70843, 0}, {70849, 0},
   {70853, 0}, {70867, 0}, {70877, 0}, {70879, 0}, {70891, 0}, {70901, 0}, {70913, 0}, {70919, 0}, {70921, 0}, {70937, 0}, {70949, 0}, {70951, 0}, {70957, 0}, {70969, 0},
   {70979, 0}, {70981, 0}, {70991, 0}, {70997, 0}, {70999, 0}, {71011, 0}, {71023, 0}, {71039, 0}, {71059, 0}, {71069, 0}, {71081, 0}, {71089, 0}, {71119, 0}, {71129, 0},
   {71143, 0}, {71147, 0}, {71153, 0}, {71161, 0}, {71167, 0}, {71171, 0}, {71191, 0}, {71209, 0}, {71233, 0}, {71237, 0}, {71249, 0}, {71257, 0}, {71261, 0}, {71263, 0},
   {71287, 0}, {71293, 0}, {71317, 0}, {71327, 0}, {71329, 0}, {71333, 0}, {71339, 0}, {71341, 0}, {71347, 0}, {71353, 0}, {71359, 0}, {71363, 0}, {71387, 0}, {71389, 0},
   {71399, 0}, {71411, 0}, {71413, 0}, {71419, 0}, {71429, 0}, {71437, 0}, {71443, 0}, {71453, 0}, {71471, 0}, {71473, 0}, {71479, 0}, {71483, 0}, {71503, 0}, {71527, 0},
   {71537, 0}, {71549, 0}, {71551, 0}, {71563, 0}, {71569, 0}, {71593, 0}, {71597, 0}, {71633, 0}, {71647, 0}, {71663, 0}, {71671, 0}, {71693, 0}, {71699, 0}, {71707, 0},
   {71711, 0}, {71713, 0}, {71719, 0}, {71741, 0}, {71761, 0}, {71777, 0}, {71789, 0}, {71807, 0}, {71809, 0}, {71821, 0}, {71837, 0}, {71843, 0}, {71849, 0}, {71861, 0},
   {71867, 0}, {71879, 0}, {71881, 0}, {71887, 0}, {71899, 0}, {71909, 0}, {71917, 0}, {71933, 0}, {71941, 0}, {71947, 0}, {71963, 0}, {71971, 0}, {71983, 0}, {71987, 0},
   {71993, 0}, {71999, 0}, {72019, 0}, {72031, 0}, {72043, 0}, {72047, 0}, {72053, 0}, {72073, 0}, {72077, 0}, {72089, 0}, {72091, 0}, {72101, 0}, {72103, 0}, {72109, 0},
   {72139, 0}, {72161, 0}, {72167, 0}, {72169, 0}, {72173, 0}, {72211, 0}, {72221, 0}, {72223, 0}, {72227, 0}, {72229, 0}, {72251, 0}, {72253, 0}, {72269, 0}, {72271, 0},
   {72277, 0}, {72287, 0}, {72307, 0}, {72313, 0}, {72337, 0}, {72341, 0}, {72353, 0}, {72367, 0}, {72379, 0}, {72383, 0}, {72421, 0}, {72431, 0}, {72461, 0}, {72467, 0},
   {72469, 0}, {72481, 0}, {72493, 0}, {72497, 0}, {72503, 0}, {72533, 0}, {72547, 0}, {72551, 0}, {72559, 0}, {72577, 0}, {72613, 0}, {72617, 0}, {72623, 0}, {72643, 0},
   {72647, 0}, {72649, 0}, {72661, 0}, {72671, 0}, {72673, 0}, {72679, 0}, {72689, 0}, {72701, 0}, {72707, 0}, {72719, 0}, {72727, 0}, {72733, 0}, {72739, 0}, {72763, 0},
   {72767, 0}, {72797, 0}, {72817, 0}, {72823, 0}, {72859, 0}, {72869, 0}, {72871, 0}, {72883, 0}, {72889, 0}, {72893, 0}, {72901, 0}, {72907, 0}, {72911, 0}, {72923, 0},
   {72931, 0}, {72937, 0}, {72949, 0}, {72953, 0}, {72959, 0}, {72973, 0}, {72977, 0}, {72997, 0}, {73009, 0}, {73013, 0}, {73019, 0}, {73037, 0}, {73039, 0}, {73043, 0},
   {73061, 0}, {73063, 0}, {73079, 0}, {73091, 0}, {73121, 0}, {73127, 0}, {73133, 0}, {73141, 0}, {73181, 0}, {73189, 0}, {73237, 0}, {73243, 0}, {73259, 0}, {73277, 0},
   {73291, 0}, {73303, 0}, {73309, 0}, {73327, 0}, {73331, 0}, {73351, 0}, {73361, 0}, {73363, 0}, {73369, 0}, {73379, 0}, {73387, 0}, {73417, 0}, {73421, 0}, {73433, 0},
   {73453, 0}, {73459, 0}, {73471, 0}, {73477, 0}, {73483, 0}, {73517, 0}, {73523, 0}, {73529, 0}, {73547, 0}, {73553, 0}, {73561, 0}, {73571, 0}, {73583, 0}, {73589, 0},
   {73597, 0}, {73607, 0}, {73609, 0}, {73613, 0}, {73637, 0}, {73643, 0}, {73651, 0}, {73673, 0}, {73679, 0}, {73681, 0}, {73693, 0}, {73699, 0}, {73709, 0}, {73721, 0},
   {73727, 0}, {73751, 0}, {73757, 0}, {73771, 0}, {73783, 0}, {73819, 0}, {73823, 0}, {73847, 0}, {73849, 0}, {73859, 0}, {73867, 0}, {73877, 0}, {73883, 0}, {73897, 0},
   {73907, 0}, {73939, 0}, {73943, 0}, {73951, 0}, {73961, 0}, {73973, 0}, {73999, 0}, {74017, 0}, {74021, 0}, {74027, 0}, {74047, 0}, {74051, 0}, {74071, 0}, {74077, 0},
   {74093, 0}, {74099, 0}, {74101, 0}, {74131, 0}, {74143, 0}, {74149, 0}, {74159, 0}, {74161, 0}, {74167, 0}, {74177, 0}, {74189, 0}, {74197, 0}, {74201, 0}, {74203, 0},
   {74209, 0}, {74219, 0}, {74231, 0}, {74257, 0}, {74279, 0}, {74287, 0}, {74293, 0}, {74297, 0}, {74311, 0}, {74317, 0}, {74323, 0}, {74353, 0}, {74357, 0}, {74363, 0},
   {74377, 0}, {74381, 0}, {74383, 0}, {74411, 0}, {74413, 0}, {74419, 0}, {74441, 0}, {74449, 0}, {74453, 0}, {74471, 0}, {74489, 0}, {74507, 0}, {74509, 0}, {74521, 0},
   {74527, 0}, {74531, 0}, {74551, 0}, {74561, 0}, {74567, 0}, {74573, 0}, {74587, 0}, {74597, 0}, {74609, 0}, {74611, 0}, {74623, 0}, {74653, 0}, {74687, 0}, {74699, 0},
   {74707, 0}, {74713, 0}, {74717, 0}, {74719, 0}, {74729, 0}, {74731, 0}, {74747, 0}, {74759, 0}, {74761, 0}, {74771, 0}, {74779, 0}, {74797, 0}, {74821, 0}, {74827, 0},
   {74831, 0}, {74843, 0}, {74857, 0}, {74861, 0}, {74869, 0}, {74873, 0}, {74887, 0}, {74891, 0}, {74897, 0}, {74903, 0}, {74923, 0}, {74929, 0}, {74933, 0}, {74941, 0},
   {74959, 0}, {75011, 0}, {75013, 0}, {75017, 0}, {75029, 0}, {75037, 0}, {75041, 0}, {75079, 0}, {75083, 0}, {75109, 0}, {75133, 0}, {75149, 0}, {75161, 0}, {75167, 0},
   {75169, 0}, {75181, 0}, {75193, 0}, {75209, 0}, {75211, 0}, {75217, 0}, {75223, 0}, {75227, 0}, {75239, 0}, {75253, 0}, {75269, 0}, {75277, 0}, {75289, 0}, {75307, 0},
   {75323, 0}, {75329, 0}, {75337, 0}, {75347, 0}, {75353, 0}, {75367, 0}, {75377, 0}, {75389, 0}, {75391, 0}, {75401, 0}, {75403, 0}, {75407, 0}, {75431, 0}, {75437, 0},
   {75479, 0}, {75503, 0}, {75511, 0}, {75521, 0}, {75527, 0}, {75533, 0}, {75539, 0}, {75541, 0}, {75553, 0}, {75557, 0}, {75571, 0}, {75577, 0}, {75583, 0}, {75611, 0},
   {75617, 0}, {75619, 0}, {75629, 0}, {75641, 0}, {75653, 0}, {75659, 0}, {75679, 0}, {75683, 0}, {75689, 0}, {75703, 0}, {75707, 0}, {75709, 0}, {75721, 0}, {75731, 0},
   {75743, 0}, {75767, 0}, {75773, 0}, {75781, 0}, {75787, 0}, {75793, 0}, {75797, 0}, {75821, 0}, {75833, 0}, {75853, 0}, {75869, 0}, {75883, 0}, {75913, 0}, {75931, 0},
   {75937, 0}, {75941, 0}, {75967, 0}, {75979, 0}, {75983, 0}, {75989, 0}, {75991, 0}, {75997, 0}, {76001, 0}, {76003, 0}, {76031, 0}, {76039, 0}, {76079, 0}, {76081, 0},
   {76091, 0}, {76099, 0}, {76103, 0}, {76123, 0}, {76129, 0}, {76147, 0}, {76157, 0}, {76159, 0}, {76163, 0}, {76207, 0}, {76213, 0}, {76231, 0}, {76243, 0}, {76249, 0},
   {76253, 0}, {76259, 0}, {76261, 0}, {76283, 0}, {76289, 0}, {76303, 0}, {76333, 0}, {76343, 0}, {76367, 0}, {76369, 0}, {76379, 0}, {76387, 0}, {76403, 0}, {76421, 0},
   {76423, 0}, {76441, 0}, {76463, 0}, {76471, 0}, {76481, 0}, {76487, 0}, {76493, 0}, {76507, 0}, {76511, 0}, {76519, 0}, {76537, 0}, {76541, 0}, {76543, 0}, {76561, 0},
   {76579, 0}, {76597, 0}, {76603, 0}, {76607, 0}, {76631, 0}, {76649, 0}, {76651, 0}, {76667, 0}, {76673, 0}, {76679, 0}, {76697, 0}, {76717, 0}, {76733, 0}, {76753, 0},
   {76757, 0}, {76771, 0}, {76777, 0}, {76781, 0}, {76801, 0}, {76819, 0}, {76829, 0}, {76831, 0}, {76837, 0}, {76847, 0}, {76871, 0}, {76873, 0}, {76883, 0}, {76907, 0},
   {76913, 0}, {76919, 0}, {76943, 0}, {76949, 0}, {76961, 0}, {76963, 0}, {76991, 0}, {77003, 0}, {77017, 0}, {77023, 0}, {77029, 0}, {77041, 0}, {77047, 0}, {77069, 0},
   {77081, 0}, {77093, 0}, {77101, 0}, {77137, 0}, {77141, 0}, {77153, 0}, {77167, 0}, {77171, 0}, {77191, 0}, {77201, 0}, {77213, 0}, {77237, 0}, {77239, 0}, {77243, 0},
   {77249, 0}, {77261, 0}, {77263, 0}, {77267, 0}, {77269, 0}, {77279, 0}, {77291, 0}, {77317, 0}, {77323, 0}, {77339, 0}, {77347, 0}, {77351, 0}, {77359, 0}, {77369, 0},
   {77377, 0}, {77383, 0}, {77417, 0}, {77419, 0}, {77431, 0}, {77447, 0}, {77471, 0}, {77477, 0}, {77479, 0}, {77489, 0}, {77491, 0}, {77509, 0}, {77513, 0}, {77521, 0},
   {77527, 0}, {77543, 0}, {77549, 0}, {77551, 0}, {77557, 0}, {77563, 0}, {77569, 0}, {77573, 0}, {77587, 0}, {77591, 0}, {77611, 0}, {77617, 0}, {77621, 0}, {77641, 0},
   {77647, 0}, {77659, 0}, {77681, 0}, {77687, 0}, {77689, 0}, {77699, 0}, {77711, 0}, {77713, 0}, {77719, 0}, {77723, 0}, {77731, 0}, {77743, 0}, {77747, 0}, {77761, 0},
   {77773, 0}, {77783, 0}, {77797, 0}, {77801, 0}, {77813, 0}, {77839, 0}, {77849, 0}, {77863, 0}, {77867, 0}, {77893, 0}, {77899, 0}, {77929, 0}, {77933, 0}, {77951, 0},
   {77969, 0}, {77977, 0}, {77983, 0}, {77999, 0}, {78007, 0}, {78017, 0}, {78031, 0}, {78041, 0}, {78049, 0}, {78059, 0}, {78079, 0}, {78101, 0}, {78121, 0}, {78137, 0},
   {78139, 0}, {78157, 0}, {78163, 0}, {78167, 0}, {78173, 0}, {78179, 0}, {78191, 0}, {78193, 0}, {78203, 0}, {78229, 0}, {78233, 0}, {78241, 0}, {78259, 0}, {78277, 0},
   {78283, 0}, {78301, 0}, {78307, 0}, {78311, 0}, {78317, 0}, {78341, 0}, {78347, 0}, {78367, 0}, {78401, 0}, {78427, 0}, {78437, 0}, {78439, 0}, {78467, 0}, {78479, 0},
   {78487, 0}, {78497, 0}, {78509, 0}, {78511, 0}, {78517, 0}, {78539, 0}, {78541, 0}, {78553, 0}, {78569, 0}, {78571, 0}, {78577, 0}, {78583, 0}, {78593, 0}, {78607, 0},
   {78623, 0}, {78643, 0}, {78649, 0}, {78653, 0}, {78691, 0}, {78697, 0}, {78707, 0}, {78713, 0}, {78721, 0}, {78737, 0}, {78779, 0}, {78781, 0}, {78787, 0}, {78791, 0},
   {78797, 0}, {78803, 0}, {78809, 0}, {78823, 0}, {78839, 0}, {78853, 0}, {78857, 0}, {78877, 0}, {78887, 0}, {78889, 0}, {78893, 0}, {78901, 0}, {78919, 0}, {78929, 0},
   {78941, 0}, {78977, 0}, {78979, 0}, {78989, 0}, {79031, 0}, {79039, 0}, {79043, 0}, {79063, 0}, {79087, 0}, {79103, 0}, {79111, 0}, {79133, 0}, {79139, 0}, {79147, 0},
   {79151, 0}, {79153, 0}, {79159, 0}, {79181, 0}, {79187, 0}, {79193, 0}, {79201, 0}, {79229, 0}, {79231, 0}, {79241, 0}, {79259, 0}, {79273, 0}, {79279, 0}, {79283, 0},
   {79301, 0}, {79309, 0}, {79319, 0}, {79333, 0}, {79337, 0}, {79349, 0}, {79357, 0}, {79367, 0}, {79379, 0}, {79393, 0}, {79397, 0}, {79399, 0}, {79411, 0}, {79423, 0},
   {79427, 0}, {79433, 0}, {79451, 0}, {79481, 0}, {79493, 0}, {79531, 0}, {79537, 0}, {79549, 0}, {79559, 0}, {79561, 0}, {79579, 0}, {79589, 0}, {79601, 0}, {79609, 0},
   {79613, 0}, {79621, 0}, {79627, 0}, {79631, 0}, {79633, 0}, {79657, 0}, {79669, 0}, {79687, 0}, {79691, 0}, {79693, 0}, {79697, 0}, {79699, 0}, {79757, 0}, {79769, 0},
   {79777, 0}, {79801, 0}, {79811, 0}, {79813, 0}, {79817, 0}, {79823, 0}, {79829, 0}, {79841, 0}, {79843, 0}, {79847, 0}, {79861, 0}, {79867, 0}, {79873, 0}, {79889, 0},
   {79901, 0}, {79903, 0}, {79907, 0}, {79939, 0}, {79943, 0}, {79967, 0}, {79973, 0}, {79979, 0}, {79987, 0}, {79997, 0}, {79999, 0}, {80021, 0}, {80039, 0}, {80051, 0},
   {80071, 0}, {80077, 0}, {80107, 0}, {80111, 0}, {80141, 0}, {80147, 0}, {80149, 0}, {80153, 0}, {80167, 0}, {80173, 0}, {80177, 0}, {80191, 0}, {80207, 0}, {80209, 0},
   {80221, 0}, {80231, 0}, {80233, 0}, {80239, 0}, {80251, 0}, {80263, 0}, {80273, 0}, {80279, 0}, {80287, 0}, {80309, 0}, {80317, 0}, {80329, 0}, {80341, 0}, {80347, 0},
   {80363, 0}, {80369, 0}, {80387, 0}, {80407, 0}, {80429, 0}, {80447, 0}, {80449, 0}, {80471, 0}, {80473, 0}, {80489, 0}, {80491, 0}, {80513, 0}, {80527, 0}, {80537, 0},
   {80557, 0}, {80567, 0}, {80599, 0}, {80603, 0}, {80611, 0}, {80621, 0}, {80627, 0}, {80629, 0}, {80651, 0}, {80657, 0}, {80669, 0}, {80671, 0}, {80677, 0}, {80681, 0},
   {80683, 0}, {80687, 0}, {80701, 0}, {80713, 0}, {80737, 0}, {80747, 0}, {80749, 0}, {80761, 0}, {80777, 0}, {80779, 0}, {80783, 0}, {80789, 0}, {80803, 0}, {80809, 0},
   {80819, 0}, {80831, 0}, {80833, 0}, {80849, 0}, {80863, 0}, {80897, 0}, {80909, 0}, {80911, 0}, {80917, 0}, {80923, 0}, {80929, 0}, {80933, 0}, {80953, 0}, {80963, 0},
   {80989, 0}, {81001, 0}, {81013, 0}, {81017, 0}, {81019, 0}, {81023, 0}, {81031, 0}, {81041, 0}, {81043, 0}, {81047, 0}, {81049, 0}, {81071, 0}, {81077, 0}, {81083, 0},
   {81097, 0}, {81101, 0}, {81119, 0}, {81131, 0}, {81157, 0}, {81163, 0}, {81173, 0}, {81181, 0}, {81197, 0}, {81199, 0}, {81203, 0}, {81223, 0}, {81233, 0}, {81239, 0},
   {81281, 0}, {81283, 0}, {81293, 0}, {81299, 0}, {81307, 0}, {81331, 0}, {81343, 0}, {81349, 0}, {81353, 0}, {81359, 0}, {81371, 0}, {81373, 0}, {81401, 0}, {81409, 0},
   {81421, 0}, {81439, 0}, {81457, 0}, {81463, 0}, {81509, 0}, {81517, 0}, {81527, 0}, {81533, 0}, {81547, 0}, {81551, 0}, {81553, 0}, {81559, 0}, {81563, 0}, {81569, 0},
   {81611, 0}, {81619, 0}, {81629, 0}, {81637, 0}, {81647, 0}, {81649, 0}, {81667, 0}, {81671, 0}, {81677, 0}, {81689, 0}, {81701, 0}, {81703, 0}, {81707, 0}, {81727, 0},
   {81737, 0}, {81749, 0}, {81761, 0}, {81769, 0}, {81773, 0}, {81799, 0}, {81817, 0}, {81839, 0}, {81847, 0}, {81853, 0}, {81869, 0}, {81883, 0}, {81899, 0}, {81901, 0},
   {81919, 0}, {81929, 0}, {81931, 0}, {81937, 0}, {81943, 0}, {81953, 0}, {81967, 0}, {81971, 0}, {81973, 0}, {82003, 0}, {82007, 0}, {82009, 0}, {82013, 0}, {82021, 0},
   {82031, 0}, {82037, 0}, {82039, 0}, {82051, 0}, {82067, 0}, {82073, 0}, {82129, 0}, {82139, 0}, {82141, 0}, {82153, 0}, {82163, 0}, {82171, 0}, {82183, 0}, {82189, 0},
   {82193, 0}, {82207, 0}, {82217, 0}, {82219, 0}, {82223, 0}, {82231, 0}, {82237, 0}, {82241, 0}, {82261, 0}, {82267, 0}, {82279, 0}, {82301, 0}, {82307, 0}, {82339, 0},
   {82349, 0}, {82351, 0}, {82361, 0}, {82373, 0}, {82387, 0}, {82393, 0}, {82421, 0}, {82457, 0}, {82463, 0}, {82469, 0}, {82471, 0}, {82483, 0}, {82487, 0}, {82493, 0},
   {82499, 0}, {82507, 0}, {82529, 0}, {82531, 0}, {82549, 0}, {82559, 0}, {82561, 0}, {82567, 0}, {82571, 0}, {82591, 0}, {82601, 0}, {82609, 0}, {82613, 0}, {82619, 0},
   {82633, 0}, {82651, 0}, {82657, 0}, {82699, 0}, {82721, 0}, {82723, 0}, {82727, 0}, {82729, 0}, {82757, 0}, {82759, 0}, {82763, 0}, {82781, 0}, {82787, 0}, {82793, 0},
   {82799, 0}, {82811, 0}, {82813, 0}, {82837, 0}, {82847, 0}, {82883, 0}, {82889, 0}, {82891, 0}, {82903, 0}, {82913, 0}, {82939, 0}, {82963, 0}, {82981, 0}, {82997, 0},
   {83003, 0}, {83009, 0}, {83023, 0}, {83047, 0}, {83059, 0}, {83063, 0}, {83071, 0}, {83077, 0}, {83089, 0}, {83093, 0}, {83101, 0}, {83117, 0}, {83137, 0}, {83177, 0},
   {83203, 0}, {83207, 0}, {83219, 0}, {83221, 0}, {83227, 0}, {83231, 0}, {83233, 0}, {83243, 0}, {83257, 0}, {83267, 0}, {83269, 0}, {83273, 0}, {83299, 0}, {83311, 0},
   {83339, 0}, {83341, 0}, {83357, 0}, {83383, 0}, {83389, 0}, {83399, 0}, {83401, 0}, {83407, 0}, {83417, 0}, {83423, 0}, {83431, 0}, {83437, 0}, {83443, 0}, {83449, 0},
   {83459, 0}, {83471, 0}, {83477, 0}, {83497, 0}, {83537, 0}, {83557, 0}, {83561, 0}, {83563, 0}, {83579, 0}, {83591, 0}, {83597, 0}, {83609, 0}, {83617, 0}, {83621, 0},
   {83639, 0}, {83641, 0}, {83653, 0}, {83663, 0}, {83689, 0}, {83701, 0}, {83717, 0}, {83719, 0}, {83737, 0}, {83761, 0}, {83773, 0}, {83777, 0}, {83791, 0}, {83813, 0},
   {83833, 0}, {83843, 0}, {83857, 0}, {83869, 0}, {83873, 0}, {83891, 0}, {83903, 0}, {83911, 0}, {83921, 0}, {83933, 0}, {83939, 0}, {83969, 0}, {83983, 0}, {83987, 0},
   {84011, 0}, {84017, 0}, {84047, 0}, {84053, 0}, {84059, 0}, {84061, 0}, {84067, 0}, {84089, 0}, {84121, 0}, {84127, 0}, {84131, 0}, {84137, 0}, {84143, 0}, {84163, 0},
   {84179, 0}, {84181, 0}, {84191, 0}, {84199, 0}, {84211, 0}, {84221, 0}, {84223, 0}, {84229, 0}, {84239, 0}, {84247, 0}, {84263, 0}, {84299, 0}, {84307, 0}, {84313, 0},
   {84317, 0}, {84319, 0}, {84347, 0}, {84349, 0}, {84377, 0}, {84389, 0}, {84391, 0}, {84401, 0}, {84407, 0}, {84421, 0}, {84431, 0}, {84437, 0}, {84443, 0}, {84449, 0},
   {84457, 0}, {84463, 0}, {84467, 0}, {84481, 0}, {84499, 0}, {84503, 0}, {84509, 0}, {84521, 0}, {84523, 0}, {84533, 0}, {84551, 0}, {84559, 0}, {84589, 0}, {84629, 0},
   {84631, 0}, {84649, 0}, {84653, 0}, {84659, 0}, {84673, 0}, {84691, 0}, {84697, 0}, {84701, 0}, {84713, 0}, {84719, 0}, {84731, 0}, {84737, 0}, {84751, 0}, {84761, 0},
   {84787, 0}, {84793, 0}, {84809, 0}, {84811, 0}, {84827, 0}, {84857, 0}, {84859, 0}, {84869, 0}, {84871, 0}, {84913, 0}, {84919, 0}, {84947, 0}, {84961, 0}, {84967, 0},
   {84977, 0}, {84979, 0}, {84991, 0}, {85009, 0}, {85021, 0}, {85027, 0}, {85037, 0}, {85049, 0}, {85061, 0}, {85081, 0}, {85087, 0}, {85091, 0}, {85093, 0}, {85103, 0},
   {85109, 0}, {85121, 0}, {85133, 0}, {85147, 0}, {85159, 0}, {85193, 0}, {85199, 0}, {85201, 0}, {85213, 0}, {85223, 0}, {85229, 0}, {85237, 0}, {85243, 0}, {85247, 0},
   {85259, 0}, {85297, 0}, {85303, 0}, {85313, 0}, {85331, 0}, {85333, 0}, {85361, 0}, {85363, 0}, {85369, 0}, {85381, 0}, {85411, 0}, {85427, 0}, {85429, 0}, {85439, 0},
   {85447, 0}, {85451, 0}, {85453, 0}, {85469, 0}, {85487, 0}, {85513, 0}, {85517, 0}, {85523, 0}, {85531, 0}, {85549, 0}, {85571, 0}, {85577, 0}, {85597, 0}, {85601, 0},
   {85607, 0}, {85619, 0}, {85621, 0}, {85627, 0}, {85639, 0}, {85643, 0}, {85661, 0}, {85667, 0}, {85669, 0}, {85691, 0}, {85703, 0}, {85711, 0}, {85717, 0}, {85733, 0},
   {85751, 0}, {85781, 0}, {85793, 0}, {85817, 0}, {85819, 0}, {85829, 0}, {85831, 0}, {85837, 0}, {85843, 0}, {85847, 0}, {85853, 0}, {85889, 0}, {85903, 0}, {85909, 0},
   {85931, 0}, {85933, 0}, {85991, 0}, {85999, 0}, {86011, 0}, {86017, 0}, {86027, 0}, {86029, 0}, {86069, 0}, {86077, 0}, {86083, 0}, {86111, 0}, {86113, 0}, {86117, 0},
   {86131, 0}, {86137, 0}, {86143, 0}, {86161, 0}, {86171, 0}, {86179, 0}, {86183, 0}, {86197, 0}, {86201, 0}, {86209, 0}, {86239, 0}, {86243, 0}, {86249, 0}, {86257, 0},
   {86263, 0}, {86269, 0}, {86287, 0}, {86291, 0}, {86293, 0}, {86297, 0}, {86311, 0}, {86323, 0}, {86341, 0}, {86351, 0}, {86353, 0}, {86357, 0}, {86369, 0}, {86371, 0},
   {86381, 0}, {86389, 0}, {86399, 0}, {86413, 0}, {86423, 0}, {86441, 0}, {86453, 0}, {86461, 0}, {86467, 0}, {86477, 0}, {86491, 0}, {86501, 0}, {86509, 0}, {86531, 0},
   {86533, 0}, {86539, 0}, {86561, 0}, {86573, 0}, {86579, 0}, {86587, 0}, {86599, 0}, {86627, 0}, {86629, 0}, {86677, 0}, {86689, 0}, {86693, 0}, {86711, 0}, {86719, 0},
   {86729, 0}, {86743, 0}, {86753, 0}, {86767, 0}, {86771, 0}, {86783, 0}, {86813, 0}, {86837, 0}, {86843, 0}, {86851, 0}, {86857, 0}, {86861, 0}, {86869, 0}, {86923, 0},
   {86927, 0}, {86929, 0}, {86939, 0}, {86951, 0}, {86959, 0}, {86969, 0}, {86981, 0}, {86993, 0}, {87011, 0}, {87013, 0}, {87037, 0}, {87041, 0}, {87049, 0}, {87071, 0},
   {87083, 0}, {87103, 0}, {87107, 0}, {87119, 0}, {87121, 0}, {87133, 0}, {87149, 0}, {87151, 0}, {87179, 0}, {87181, 0}, {87187, 0}, {87211, 0}, {87221, 0}, {87223, 0},
   {87251, 0}, {87253, 0}, {87257, 0}, {87277, 0}, {87281, 0}, {87293, 0}, {87299, 0}, {87313, 0}, {87317, 0}, {87323, 0}, {87337, 0}, {87359, 0}, {87383, 0}, {87403, 0},
   {87407, 0}, {87421, 0}, {87427, 0}, {87433, 0}, {87443, 0}, {87473, 0}, {87481, 0}, {87491, 0}, {87509, 0}, {87511, 0}, {87517, 0}, {87523, 0}, {87539, 0}, {87541, 0},
   {87547, 0}, {87553, 0}, {87557, 0}, {87559, 0}, {87583, 0}, {87587, 0}, {87589, 0}, {87613, 0}, {87623, 0}, {87629, 0}, {87631, 0}, {87641, 0}, {87643, 0}, {87649, 0},
   {87671, 0}, {87679, 0}, {87683, 0}, {87691, 0}, {87697, 0}, {87701, 0}, {87719, 0}, {87721, 0}, {87739, 0}, {87743, 0}, {87751, 0}, {87767, 0}, {87793, 0}, {87797, 0},
   {87803, 0}, {87811, 0}, {87833, 0}, {87853, 0}, {87869, 0}, {87877, 0}, {87881, 0}, {87887, 0}, {87911, 0}, {87917, 0}, {87931, 0}, {87943, 0}, {87959, 0}, {87961, 0},
   {87973, 0}, {87977, 0}, {87991, 0}, {88001, 0}, {88003, 0}, {88007, 0}, {88019, 0}, {88037, 0}, {88069, 0}, {88079, 0}, {88093, 0}, {88117, 0}, {88129, 0}, {88169, 0},
   {88177, 0}, {88211, 0}, {88223, 0}, {88237, 0}, {88241, 0}, {88259, 0}, {88261, 0}, {88289, 0}, {88301, 0}, {88321, 0}, {88327, 0}, {88337, 0}, {88339, 0}, {88379, 0},
   {88397, 0}, {88411, 0}, {88423, 0}, {88427, 0}, {88463, 0}, {88469, 0}, {88471, 0}, {88493, 0}, {88499, 0}, {88513, 0}, {88523, 0}, {88547, 0}, {88589, 0}, {88591, 0},
   {88607, 0}, {88609, 0}, {88643, 0}, {88651, 0}, {88657, 0}, {88661, 0}, {88663, 0}, {88667, 0}, {88681, 0}, {88721, 0}, {88729, 0}, {88741, 0}, {88747, 0}, {88771, 0},
   {88789, 0}, {88793, 0}, {88799, 0}, {88801, 0}, {88807, 0}, {88811, 0}, {88813, 0}, {88817, 0}, {88819, 0}, {88843, 0}, {88853, 0}, {88861, 0}, {88867, 0}, {88873, 0},
   {88883, 0}, {88897, 0}, {88903, 0}, {88919, 0}, {88937, 0}, {88951, 0}, {88969, 0}, {88993, 0}, {88997, 0}, {89003, 0}, {89009, 0}, {89017, 0}, {89021, 0}, {89041, 0},
   {89051, 0}, {89057, 0}, {89069, 0}, {89071, 0}, {89083, 0}, {89087, 0}, {89101, 0}, {89107, 0}, {89113, 0}, {89119, 0}, {89123, 0}, {89137, 0}, {89153, 0}, {89189, 0},
   {89203, 0}, {89209, 0}, {89213, 0}, {89227, 0}, {89231, 0}, {89237, 0}, {89261, 0}, {89269, 0}, {89273, 0}, {89293, 0}, {89303, 0}, {89317, 0}, {89329, 0}, {89363, 0},
   {89371, 0}, {89381, 0}, {89387, 0}, {89393, 0}, {89399, 0}, {89413, 0}, {89417, 0}, {89431, 0}, {89443, 0}, {89449, 0}, {89459, 0}, {89477, 0}, {89491, 0}, {89501, 0},
   {89513, 0}, {89519, 0}, {89521, 0}, {89527, 0}, {89533, 0}, {89561, 0}, {89563, 0}, {89567, 0}, {89591, 0}, {89597, 0}, {89599, 0}, {89603, 0}, {89611, 0}, {89627, 0},
   {89633, 0}, {89653, 0}, {89657, 0}, {89659, 0}, {89669, 0}, {89671, 0}, {89681, 0}, {89689, 0}, {89753, 0}, {89759, 0}, {89767, 0}, {89779, 0}, {89783, 0}, {89797, 0},
   {89809, 0}, {89819, 0}, {89821, 0}, {89833, 0}, {89839, 0}, {89849, 0}, {89867, 0}, {89891, 0}, {89897, 0}, {89899, 0}, {89909, 0}, {89917, 0}, {89923, 0}, {89939, 0},
   {89959, 0}, {89963, 0}, {89977, 0}, {89983, 0}, {89989, 0}, {90001, 0}, {90007, 0}, {90011, 0}, {90017, 0}, {90019, 0}, {90023, 0}, {90031, 0}, {90053, 0}, {90059, 0},
   {90067, 0}, {90071, 0}, {90073, 0}, {90089, 0}, {90107, 0}, {90121, 0}, {90127, 0}, {90149, 0}, {90163, 0}, {90173, 0}, {90187, 0}, {90191, 0}, {90197, 0}, {90199, 0},
   {90203, 0}, {90217, 0}, {90227, 0}, {90239, 0}, {90247, 0}, {90263, 0}, {90271, 0}, {90281, 0}, {90289, 0}, {90313, 0}, {90353, 0}, {90359, 0}, {90371, 0}, {90373, 0},
   {90379, 0}, {90397, 0}, {90401, 0}, {90403, 0}, {90407, 0}, {90437, 0}, {90439, 0}, {90469, 0}, {90473, 0}, {90481, 0}, {90499, 0}, {90511, 0}, {90523, 0}, {90527, 0},
   {90529, 0}, {90533, 0}, {90547, 0}, {90583, 0}, {90599, 0}, {90617, 0}, {90619, 0}, {90631, 0}, {90641, 0}, {90647, 0}, {90659, 0}, {90677, 0}, {90679, 0}, {90697, 0},
   {90703, 0}, {90709, 0}, {90731, 0}, {90749, 0}, {90787, 0}, {90793, 0}, {90803, 0}, {90821, 0}, {90823, 0}, {90833, 0}, {90841, 0}, {90847, 0}, {90863, 0}, {90887, 0},
   {90901, 0}, {90907, 0}, {90911, 0}, {90917, 0}, {90931, 0}, {90947, 0}, {90971, 0}, {90977, 0}, {90989, 0}, {90997, 0}, {91009, 0}, {91019, 0}, {91033, 0}, {91079, 0},
   {91081, 0}, {91097, 0}, {91099, 0}, {91121, 0}, {91127, 0}, {91129, 0}, {91139, 0}, {91141, 0}, {91151, 0}, {91153, 0}, {91159, 0}, {91163, 0}, {91183, 0}, {91193, 0},
   {91199, 0}, {91229, 0}, {91237, 0}, {91243, 0}, {91249, 0}, {91253, 0}, {91283, 0}, {91291, 0}, {91297, 0}, {91303, 0}, {91309, 0}, {91331, 0}, {91367, 0}, {91369, 0},
   {91373, 0}, {91381, 0}, {91387, 0}, {91393, 0}, {91397, 0}, {91411, 0}, {91423, 0}, {91433, 0}, {91453, 0}, {91457, 0}, {91459, 0}, {91463, 0}, {91493, 0}, {91499, 0},
   {91513, 0}, {91529, 0}, {91541, 0}, {91571, 0}, {91573, 0}, {91577, 0}, {91583, 0}, {91591, 0}, {91621, 0}, {91631, 0}, {91639, 0}, {91673, 0}, {91691, 0}, {91703, 0},
   {91711, 0}, {91733, 0}, {91753, 0}, {91757, 0}, {91771, 0}, {91781, 0}, {91801, 0}, {91807, 0}, {91811, 0}, {91813, 0}, {91823, 0}, {91837, 0}, {91841, 0}, {91867, 0},
   {91873, 0}, {91909, 0}, {91921, 0}, {91939, 0}, {91943, 0}, {91951, 0}, {91957, 0}, {91961, 0}, {91967, 0}, {91969, 0}, {91997, 0}, {92003, 0}, {92009, 0}, {92033, 0},
   {92041, 0}, {92051, 0}, {92077, 0}, {92083, 0}, {92107, 0}, {92111, 0}, {92119, 0}, {92143, 0}, {92153, 0}, {92173, 0}, {92177, 0}, {92179, 0}, {92189, 0}, {92203, 0},
   {92219, 0}, {92221, 0}, {92227, 0}, {92233, 0}, {92237, 0}, {92243, 0}, {92251, 0}, {92269, 0}, {92297, 0}, {92311, 0}, {92317, 0}, {92333, 0}, {92347, 0}, {92353, 0},
   {92357, 0}, {92363, 0}, {92369, 0}, {92377, 0}, {92381, 0}, {92383, 0}, {92387, 0}, {92399, 0}, {92401, 0}, {92413, 0}, {92419, 0}, {92431, 0}, {92459, 0}, {92461, 0},
   {92467, 0}, {92479, 0}, {92489, 0}, {92503, 0}, {92507, 0}, {92551, 0}, {92557, 0}, {92567, 0}, {92569, 0}, {92581, 0}, {92593, 0}, {92623, 0}, {92627, 0}, {92639, 0},
   {92641, 0}, {92647, 0}, {92657, 0}, {92669, 0}, {92671, 0}, {92681, 0}, {92683, 0}, {92693, 0}, {92699, 0}, {92707, 0}, {92717, 0}, {92723, 0}, {92737, 0}, {92753, 0},
   {92761, 0}, {92767, 0}, {92779, 0}, {92789, 0}, {92791, 0}, {92801, 0}, {92809, 0}, {92821, 0}, {92831, 0}, {92849, 0}, {92857, 0}, {92861, 0}, {92863, 0}, {92867, 0},
   {92893, 0}, {92899, 0}, {92921, 0}, {92927, 0}, {92941, 0}, {92951, 0}, {92957, 0}, {92959, 0}, {92987, 0}, {92993, 0}, {93001, 0}, {93047, 0}, {93053, 0}, {93059, 0},
   {93077, 0}, {93083, 0}, {93089, 0}, {93097, 0}, {93103, 0}, {93113, 0}, {93131, 0}, {93133, 0}, {93139, 0}, {93151, 0}, {93169, 0}, {93179, 0}, {93187, 0}, {93199, 0},
   {93229, 0}, {93239, 0}, {93241, 0}, {93251, 0}, {93253, 0}, {93257, 0}, {93263, 0}, {93281, 0}, {93283, 0}, {93287, 0}, {93307, 0}, {93319, 0}, {93323, 0}, {93329, 0},
   {93337, 0}, {93371, 0}, {93377, 0}, {93383, 0}, {93407, 0}, {93419, 0}, {93427, 0}, {93463, 0}, {93479, 0}, {93481, 0}, {93487, 0}, {93491, 0}, {93493, 0}, {93497, 0},
   {93503, 0}, {93523, 0}, {93529, 0}, {93553, 0}, {93557, 0}, {93559, 0}, {93563, 0}, {93581, 0}, {93601, 0}, {93607, 0}, {93629, 0}, {93637, 0}, {93683, 0}, {93701, 0},
   {93703, 0}, {93719, 0}, {93739, 0}, {93761, 0}, {93763, 0}, {93787, 0}, {93809, 0}, {93811, 0}, {93827, 0}, {93851, 0}, {93871, 0}, {93887, 0}, {93889, 0}, {93893, 0},
   {93901, 0}, {93911, 0}, {93913, 0}, {93923, 0}, {93937, 0}, {93941, 0}, {93949, 0}, {93967, 0}, {93971, 0}, {93979, 0}, {93983, 0}, {93997, 0}, {94007, 0}, {94009, 0},
   {94033, 0}, {94049, 0}, {94057, 0}, {94063, 0}, {94079, 0}, {94099, 0}, {94109, 0}, {94111, 0}, {94117, 0}, {94121, 0}, {94151, 0}, {94153, 0}, {94169, 0}, {94201, 0},
   {94207, 0}, {94219, 0}, {94229, 0}, {94253, 0}, {94261, 0}, {94273, 0}, {94291, 0}, {94307, 0}, {94309, 0}, {94321, 0}, {94327, 0}, {94331, 0}, {94343, 0}, {94349, 0},
   {94351, 0}, {94379, 0}, {94397, 0}, {94399, 0}, {94421, 0}, {94427, 0}, {94433, 0}, {94439, 0}, {94441, 0}, {94447, 0}, {94463, 0}, {94477, 0}, {94483, 0}, {94513, 0},
   {94529, 0}, {94531, 0}, {94541, 0}, {94543, 0}, {94547, 0}, {94559, 0}, {94561, 0}, {94573, 0}, {94583, 0}, {94597, 0}, {94603, 0}, {94613, 0}, {94621, 0}, {94649, 0},
   {94651, 0}, {94687, 0}, {94693, 0}, {94709, 0}, {94723, 0}, {94727, 0}, {94747, 0}, {94771, 0}, {94777, 0}, {94781, 0}, {94789, 0}, {94793, 0}, {94811, 0}, {94819, 0},
   {94823, 0}, {94837, 0}, {94841, 0}, {94847, 0}, {94849, 0}, {94873, 0}, {94889, 0}, {94903, 0}, {94907, 0}, {94933, 0}, {94949, 0}, {94951, 0}, {94961, 0}, {94993, 0},
   {94999, 0}, {95003, 0}, {95009, 0}, {95021, 0}, {95027, 0}, {95063, 0}, {95071, 0}, {95083, 0}, {95087, 0}, {95089, 0}, {95093, 0}, {95101, 0}, {95107, 0}, {95111, 0},
   {95131, 0}, {95143, 0}, {95153, 0}, {95177, 0}, {95189, 0}, {95191, 0}, {95203, 0}, {95213, 0}, {95219, 0}, {95231, 0}, {95233, 0}, {95239, 0}, {95257, 0}, {95261, 0},
   {95267, 0}, {95273, 0}, {95279, 0}, {95287, 0}, {95311, 0}, {95317, 0}, {95327, 0}, {95339, 0}, {95369, 0}, {95383, 0}, {95393, 0}, {95401, 0}, {95413, 0}, {95419, 0},
   {95429, 0}, {95441, 0}, {95443, 0}, {95461, 0}, {95467, 0}, {95471, 0}, {95479, 0}, {95483, 0}, {95507, 0}, {95527, 0}, {95531, 0}, {95539, 0}, {95549, 0}, {95561, 0},
   {95569, 0}, {95581, 0}, {95597, 0}, {95603, 0}, {95617, 0}, {95621, 0}, {95629, 0}, {95633, 0}, {95651, 0}, {95701, 0}, {95707, 0}, {95713, 0}, {95717, 0}, {95723, 0},
   {95731, 0}, {95737, 0}, {95747, 0}, {95773, 0}, {95783, 0}, {95789, 0}, {95791, 0}, {95801, 0}, {95803, 0}, {95813, 0}, {95819, 0}, {95857, 0}, {95869, 0}, {95873, 0},
   {95881, 0}, {95891, 0}, {95911, 0}, {95917, 0}, {95923, 0}, {95929, 0}, {95947, 0}, {95957, 0}, {95959, 0}, {95971, 0}, {95987, 0}, {95989, 0}, {96001, 0}, {96013, 0},
   {96017, 0}, {96043, 0}, {96053, 0}, {96059, 0}, {96079, 0}, {96097, 0}, {96137, 0}, {96149, 0}, {96157, 0}, {96167, 0}, {96179, 0}, {96181, 0}, {96199, 0}, {96211, 0},
   {96221, 0}, {96223, 0}, {96233, 0}, {96259, 0}, {96263, 0}, {96269, 0}, {96281, 0}, {96289, 0}, {96293, 0}, {96323, 0}, {96329, 0}, {96331, 0}, {96337, 0}, {96353, 0},
   {96377, 0}, {96401, 0}, {96419, 0}, {96431, 0}, {96443, 0}, {96451, 0}, {96457, 0}, {96461, 0}, {96469, 0}, {96479, 0}, {96487, 0}, {96493, 0}, {96497, 0}, {96517, 0},
   {96527, 0}, {96553, 0}, {96557, 0}, {96581, 0}, {96587, 0}, {96589, 0}, {96601, 0}, {96643, 0}, {96661, 0}, {96667, 0}, {96671, 0}, {96697, 0}, {96703, 0}, {96731, 0},
   {96737, 0}, {96739, 0}, {96749, 0}, {96757, 0}, {96763, 0}, {96769, 0}, {96779, 0}, {96787, 0}, {96797, 0}, {96799, 0}, {96821, 0}, {96823, 0}, {96827, 0}, {96847, 0},
   {96851, 0}, {96857, 0}, {96893, 0}, {96907, 0}, {96911, 0}, {96931, 0}, {96953, 0}, {96959, 0}, {96973, 0}, {96979, 0}, {96989, 0}, {96997, 0}, {97001, 0}, {97003, 0},
   {97007, 0}, {97021, 0}, {97039, 0}, {97073, 0}, {97081, 0}, {97103, 0}, {97117, 0}, {97127, 0}, {97151, 0}, {97157, 0}, {97159, 0}, {97169, 0}, {97171, 0}, {97177, 0},
   {97187, 0}, {97213, 0}, {97231, 0}, {97241, 0}, {97259, 0}, {97283, 0}, {97301, 0}, {97303, 0}, {97327, 0}, {97367, 0}, {97369, 0}, {97373, 0}, {97379, 0}, {97381, 0},
   {97387, 0}, {97397, 0}, {97423, 0}, {97429, 0}, {97441, 0}, {97453, 0}, {97459, 0}, {97463, 0}, {97499, 0}, {97501, 0}, {97511, 0}, {97523, 0}, {97547, 0}, {97549, 0},
   {97553, 0}, {97561, 0}, {97571, 0}, {97577, 0}, {97579, 0}, {97583, 0}, {97607, 0}, {97609, 0}, {97613, 0}, {97649, 0}, {97651, 0}, {97673, 0}, {97687, 0}, {97711, 0},
   {97729, 0}, {97771, 0}, {97777, 0}, {97787, 0}, {97789, 0}, {97813, 0}, {97829, 0}, {97841, 0}, {97843, 0}, {97847, 0}, {97849, 0}, {97859, 0}, {97861, 0}, {97871, 0},
   {97879, 0}, {97883, 0}, {97919, 0}, {97927, 0}, {97931, 0}, {97943, 0}, {97961, 0}, {97967, 0}, {97973, 0}, {97987, 0}, {98009, 0}, {98011, 0}, {98017, 0}, {98041, 0},
   {98047, 0}, {98057, 0}, {98081, 0}, {98101, 0}, {98123, 0}, {98129, 0}, {98143, 0}, {98179, 0}, {98207, 0}, {98213, 0}, {98221, 0}, {98227, 0}, {98251, 0}, {98257, 0},
   {98269, 0}, {98297, 0}, {98299, 0}, {98317, 0}, {98321, 0}, {98323, 0}, {98327, 0}, {98347, 0}, {98369, 0}, {98377, 0}, {98387, 0}, {98389, 0}, {98407, 0}, {98411, 0},
   {98419, 0}, {98429, 0}, {98443, 0}, {98453, 0}, {98459, 0}, {98467, 0}, {98473, 0}, {98479, 0}, {98491, 0}, {98507, 0}, {98519, 0}, {98533, 0}, {98543, 0}, {98561, 0},
   {98563, 0}, {98573, 0}, {98597, 0}, {98621, 0}, {98627, 0}, {98639, 0}, {98641, 0}, {98663, 0}, {98669, 0}, {98689, 0}, {98711, 0}, {98713, 0}, {98717, 0}, {98729, 0},
   {98731, 0}, {98737, 0}, {98773, 0}, {98779, 0}, {98801, 0}, {98807, 0}, {98809, 0}, {98837, 0}, {98849, 0}, {98867, 0}, {98869, 0}, {98873, 0}, {98887, 0}, {98893, 0},
   {98897, 0}, {98899, 0}, {98909, 0}, {98911, 0}, {98927, 0}, {98929, 0}, {98939, 0}, {98947, 0}, {98953, 0}, {98963, 0}, {98981, 0}, {98993, 0}, {98999, 0}, {99013, 0},
   {99017, 0}, {99023, 0}, {99041, 0}, {99053, 0}, {99079, 0}, {99083, 0}, {99089, 0}, {99103, 0}, {99109, 0}, {99119, 0}, {99131, 0}, {99133, 0}, {99137, 0}, {99139, 0},
   {99149, 0}, {99173, 0}, {99181, 0}, {99191, 0}, {99223, 0}, {99233, 0}, {99241, 0}, {99251, 0}, {99257, 0}, {99259, 0}, {99277, 0}, {99289, 0}, {99317, 0}, {99347, 0},
   {99349, 0}, {99367, 0}, {99371, 0}, {99377, 0}, {99391, 0}, {99397, 0}, {99401, 0}, {99409, 0}, {99431, 0}, {99439, 0}, {99469, 0}, {99487, 0}, {99497, 0}, {99523, 0},
   {99527, 0}, {99529, 0}, {99551, 0}, {99559, 0}, {99563, 0}, {99571, 0}, {99577, 0}, {99581, 0}, {99607, 0}, {99611, 0}, {99623, 0}, {99643, 0}, {99661, 0}, {99667, 0},
   {99679, 0}, {99689, 0}, {99707, 0}, {99709, 0}, {99713, 0}, {99719, 0}, {99721, 0}, {99733, 0}, {99761, 0}, {99767, 0}, {99787, 0}, {99793, 0}, {99809, 0}, {99817, 0},
   {99823, 0}, {99829, 0}, {99833, 0}, {99839, 0}, {99859, 0}, {99871, 0}, {99877, 0}, {99881, 0}, {99901, 0}, {99907, 0}, {99923, 0}, {99929, 0}, {99961, 0}, {99971, 0},
   {99989, 0}, {99991, 0}
};

int main(int argc, const char *argv[])
{
   uint128u r, s;
   uint32_t i, j, k, m, n = sizeof(num)/sizeof(uint128u);

   for (i = 0; i < n; i++)
   {
      for (j = 0; j < n; j++)
      {
         // comparison operations
         if ((num[i].v == num[j].v) != eq_u128(num[i].t, num[j].t))
            printf("%5u, %5u -- 0x%016llX|%016llX\n", i, j, num[j].q[1], num[j].q[0]);

         if ((num[i].v <  num[j].v) != lt_u128(num[i].t, num[j].t))
            printf("%5u, %5u -- 0x%016llX|%016llX\n", i, j, num[j].q[1], num[j].q[0]);

         if ((num[i].v <= num[j].v) != le_u128(num[i].t, num[j].t))
            printf("%5u, %5u -- 0x%016llX|%016llX\n", i, j, num[j].q[1], num[j].q[0]);

         if ((num[i].v >  num[j].v) != gt_u128(num[i].t, num[j].t))
            printf("%5u, %5u -- 0x%016llX|%016llX\n", i, j, num[j].q[1], num[j].q[0]);

         if ((num[i].v >= num[j].v) != ge_u128(num[i].t, num[j].t))
            printf("%5u, %5u -- 0x%016llX|%016llX\n", i, j, num[j].q[1], num[j].q[0]);

         // basic arithmetic operations
         if (num[i].v + num[j].v != (r = (uint128u)add_u128(num[i].t, num[j].t)).v)
            printf("%5u, %5u -- 0x%016llX|%016llX\n", i, j, r.q[1], r.q[0]);

         if (num[i].v - num[j].v != (r = (uint128u)sub_u128(num[i].t, num[j].t)).v)
            printf("%5u, %5u -- 0x%016llX|%016llX\n", i, j, r.q[1], r.q[0]);

         if (num[i].v * num[j].v != (r = (uint128u)mul_u128(num[i].t, num[j].t)).v)
            printf("%5u, %5u -- 0x%016llX|%016llX\n", i, j, r.q[1], r.q[0]);

         if (j &&
             num[i].v / num[j].v != (r = (uint128u)div_u128(num[i].t, num[j].t)).v)
            printf("%5u, %5u -- 0x%016llX|%016llX\n", i, j, r.q[1], r.q[0]);

         if (j &&
             num[i].v % num[j].v != (r = (uint128u)rem_u128(num[i].t, num[j].t)).v)
            printf("%5u, %5u -- 0x%016llX|%016llX\n", i, j, r.q[1], r.q[0]);
      }

      // bit shift operations
      for (k = 0; k < 128; k++)
      {
         if (num[i].v >> k != (r = (uint128u)shr_u128(num[i].t, k)).v)
            printf("%5u, %5u -- 0x%016llX|%016llX\n", i, k, r.q[1], r.q[0]);

         if (num[i].v << k != (r = (uint128u)shl_u128(num[i].t, k)).v)
            printf("%5u, %5u -- 0x%016llX|%016llX\n", i, k, r.q[1], r.q[0]);
      }

      // increment and decrement
      s = r = num[i];
      if (++s.v != ((uint128u)inc_u128(&r.t)).v)
         printf("%5u, -- 0x%016llX|%016llX\n", i, r.q[1], r.q[0]);

      if (--s.v != ((uint128u)dec_u128(&r.t)).v || num[i].v != r.v)
         printf("%5u, -- 0x%016llX|%016llX\n", i, r.q[1], r.q[0]);

      if (--s.v != ((uint128u)dec_u128(&r.t)).v)
         printf("%5u, -- 0x%016llX|%016llX\n", i, r.q[1], r.q[0]);

      if ((m = (i*10000)/(n-1)) % 1000 == 0)
         printf("%3u %%\n", m/100);
   }

   return 0;
}