/*

Copyright (c) 1998-2018 University Corporation for Atmospheric Research/Unidata

See LICENSE.txt for license information.

*/

#include "config.h"

#include <stdio.h>

#include <stdlib.h>

#include <string.h>

#include <assert.h>

#ifdef HAVE_STDINT_H

#include <stdint.h>

#endif

#include "ncdispatch.h"

#include "nchashmap.h"

#include "nc3internal.h"

#undef DEBUG

#undef DEBUGTRACE

#undef ASSERTIONS

/**

@Internal

This hashmap is optimized to use counted strings as its

key value. It is assumed in most cases that a string plus its

length are passed in for doing lookups.

When an entry is added, a copy of the string is kept in the hash table

entry. Since we also keep the hashkey, the probability is high that

we will only do string comparisons when they will match.

*/

/* Prototype for the crc32 function */

extern unsigned int NC_crc32(unsigned int crc, const unsigned char* buf, unsigned int len);

#undef SMALLTABLE

#ifdef ASSERTIONS

#define ASSERT(x) assert(x)

#else

#define ASSERT(x)

#endif

#ifdef DEBUGTRACE

#define Trace(x) {fprintf(stderr,"NC_hashmap: %s\n",x); fflush(stderr);}

#else

#define Trace(x)

#endif

#define SEED 37

/* See lookup3.c */

extern unsigned int hash_fast(const char*, size_t length);

/* this should be prime */

#ifdef SMALLTABLE

#define MINTABLESIZE 7U

#else

#define MINTABLESIZE 131U

#endif

/* Flags must be powers of 2 */

/* Slot has data */

#define ACTIVE 1

/* Slot had its value deleted */

#define DELETED 2

/* Slot is unused */

#define EMPTY 0

#define MAX(a,b) ((a) > (b) ? (a) : (b))

/* Forward */

static const unsigned int NC_nprimes;

static const unsigned int NC_primes[16386];

static unsigned int findPrimeGreaterThan(size_t val);

extern void printhashmapstats(NC_hashmap* hm);

extern void printhashmap(NC_hashmap* hm);

static void

rehash(NC_hashmap* hm)

{

    size_t alloc = hm->alloc;

#ifdef ASSERTIONS

    size_t active = hm->active;

#endif

    NC_hentry* oldtable = hm->table;

    Trace("rehash");

    hm->alloc = findPrimeGreaterThan(alloc<<1);

    hm->table = (NC_hentry*)calloc(sizeof(NC_hentry), hm->alloc);

    hm->active = 0;

    while(alloc > 0) {

        NC_hentry* h = &oldtable[--alloc];

        if(h->flags == ACTIVE) {

            NC_hashmapadd(hm, h->data, h->key, h->keysize);

      if(h->key) free(h->key);

        }

    }

    free(oldtable);

    ASSERT(active == hm->active);

}

/* Locate where given object is or should be placed in indexp.

   if fail to find spot return 0 else 1.

   If deletok then a deleted slot is ok to return;

   return invariant: return == 0 || *indexp is defined

 */

static int

locate(NC_hashmap* hash, unsigned int hashkey, const char* key, size_t keysize, size_t* indexp, int deletedok)

{

    size_t i;

    size_t index;

    size_t step = 1; /* simple linear probe */

    int deletefound = 0;

    size_t deletedindex = 0; /* first deleted entry encountered */

    NC_hentry* entry;

    Trace("locate");

    /* Compute starting point */

    index = (size_t)(hashkey % hash->alloc);

    /* Search table using linear probing */

    for (i = 0; i < hash->alloc; i++) {

      entry = &hash->table[index];

      if(entry->flags & ACTIVE) {

      if(indexp) *indexp = index; /* assume a match */

            if(entry->hashkey == hashkey && entry->keysize == keysize) {

    /* Check content */

    if(memcmp(entry->key,key,keysize)==0)

        return 1;

            }

      /* Keep looking */

  } else if(entry->flags & DELETED) {

      if(!deletefound) {/* save this position */

          deletefound = 1;

    deletedindex = index;

      }

      /* Keep looking */

  } else { /* Empty slot */

      if(indexp) *indexp = index;

      return 1;

  }

        /* linear probe */

  index = (index + step) % hash->alloc;

    }

    if(deletedok && deletefound) {

  if(indexp) *indexp = deletedindex;

  return 1;

    }

    return 0;

}

/* Return the hash key for specified key; takes key+size*/

/* Wrapper for crc32 */

unsigned int

NC_hashmapkey(const char* key, size_t size)

{

    return NC_crc32(0,(unsigned char*)key,(unsigned int)size);

}

NC_hashmap*

NC_hashmapnew(size_t startsize)

{

    NC_hashmap* hm = NULL;

    Trace("NC_hashmapnew");

    hm = (NC_hashmap*)malloc(sizeof(NC_hashmap));

    if(startsize == 0 || startsize < MINTABLESIZE)

  startsize = MINTABLESIZE;

    else {

  startsize *= 4;

  startsize /= 3;

  startsize = findPrimeGreaterThan(startsize);

    }

    hm->table = (NC_hentry*)calloc(sizeof(NC_hentry), (size_t)startsize);

    hm->alloc = startsize;

    hm->active = 0;

    return hm;

}

int

NC_hashmapadd(NC_hashmap* hash, uintptr_t data, const char* key, size_t keysize)

{

  NC_hentry* entry;

  unsigned int hashkey;

    Trace("NC_hashmapadd");

    if(key == NULL || keysize == 0)

      return 0;

    hashkey = NC_crc32(0,(unsigned char*)key,(unsigned int)keysize);

    if(hash->alloc*3/4 <= hash->active)

  rehash(hash);

    for(;;) {

  size_t index;

  if(!locate(hash,hashkey,key,keysize,&index,1)) {

      rehash(hash);

      continue; /* try on larger table */

  }

    entry = &hash->table[index];

  if(entry->flags & ACTIVE) {

      /* key already exists in table => overwrite data */

      entry->data = data;

      return 1;

        } else { /* !ACTIVE || DELETED */

      entry->flags = ACTIVE;

      entry->data = data;

      entry->hashkey = hashkey;

      entry->keysize = keysize;

      entry->key = malloc(keysize+1);

      if(entry->key == NULL)

    return 0;

      memcpy(entry->key,key,keysize);

      entry->key[keysize] = '\0'; /* ensure null terminated */

      ++hash->active;

      return 1;

  }

     }

     return 0;

}

int

NC_hashmapremove(NC_hashmap* hash, const char* key, size_t keysize, uintptr_t* datap)

{

    unsigned int hashkey;

    size_t index;

    NC_hentry* h;

    Trace("NC_hashmapremove");

    if(key == NULL || keysize == 0)

  return 0;

    hashkey = NC_crc32(0,(unsigned char*)key,(unsigned int)keysize);

    if(!locate(hash,hashkey,key,keysize,&index,0))

  return 0; /* not present */

    h = &hash->table[index];

    if(h->flags & ACTIVE) { /* matching entry found */

  h->flags = DELETED; /* also turn off ACTIVE */

  if(h->key) free(h->key);

  h->key = NULL;

  h->keysize = 0;

  --hash->active;

  if(datap) *datap = h->data;

  return 1;

    } else /* !ACTIVE && !DELETED => not in table*/

  return 0;

}

int

NC_hashmapget(NC_hashmap* hash, const char* key, size_t keysize, uintptr_t* datap)

{

    unsigned int hashkey;

    Trace("NC_hashmapget");

    if(key == NULL || keysize == 0)

  return 0;

    hashkey = NC_crc32(0,(unsigned char*)key,(unsigned int)keysize);

    if(hash->active) {

      size_t index;

      NC_hentry* h;

      if(!locate(hash,hashkey,key,keysize,&index,0))

      return 0; /* not present */

      h = &hash->table[index];

  if(h->flags & ACTIVE) {

      if(datap) *datap = h->data;

      return 1;

        } else /* Not found */

      return 0;

    }

    return 0;

}

/** Change the data for the specified key

    Return 1 if found, 0 otherwise

*/

int

NC_hashmapsetdata(NC_hashmap* hash, const char* key, size_t keysize, uintptr_t newdata)

{

    size_t index;

    NC_hentry* h;

    unsigned int hashkey;

    Trace("NC_hashmapsetdata");

    if(key == NULL || keysize == 0)

  return 0;

    hashkey = NC_crc32(0,(unsigned char*)key,(unsigned int)keysize);

    if(hash == NULL || hash->active == 0)

  return 0; /* no such entry */

    if(!locate(hash,hashkey,key,keysize,&index,0))

        return 0; /* not present */

    h = &hash->table[index];

    assert((h->flags & ACTIVE) == ACTIVE);

    h->data = newdata;

    return 1;

}

size_t

NC_hashmapcount(NC_hashmap* hash)

{

    Trace("NC_hashmapcount");

    return hash->active;

}

int

NC_hashmapfree(NC_hashmap* hash)

{

    Trace("NC_hashmapfree");

    if(hash) {

      int i;

#ifdef DEBUG

      printhashmapstats(hash);

#endif

      for(i=0;i<hash->alloc;i++) {

  NC_hentry* he = &hash->table[i];

  if((he->flags & ACTIVE) && he->key != NULL)

     free(he->key);

      }

      free(hash->table);

      free(hash);

    }

    return 1;

}

/**

Friend: ncindex.c

Only used by ncindex.c.

Allows a hack by ncindex.

*/

int

NC_hashmapdeactivate(NC_hashmap* map, uintptr_t data)

{

    size_t i;

    NC_hentry* h;

    for(h=map->table,i=0;i<map->alloc;i++,h++) {

  if((h->flags & ACTIVE) && h->data == data) {

      h->flags = DELETED;

      if(h->key) free(h->key);

      h->key = NULL;

      h->keysize = 0;

      --map->active;

      return 1;

  }

    }

    return 0;

}

/**************************************************/

/* Prime table */

/*

Binary search prime table for first prime just greater than or

equal to val

*/

static unsigned int

findPrimeGreaterThan(size_t val)

{

      int n = NC_nprimes;

      int L = 1; /* skip leading flag number */

      int R = (n - 2); /* skip trailing flag */

      unsigned int v = 0;

      int m;

      if(val >= 0xFFFFFFFF)

        return 0; /* Too big */

      v = (unsigned int)val;

      for(;;) {

        if(L >= R) break;

        m = (L + R) / 2;

        /* is this an acceptable prime? */

        if(NC_primes[m-1] < v && NC_primes[m] >= v)

          return NC_primes[m]; /* acceptable*/

        else if(NC_primes[m-1] >= v)

          R = m;

        else if(NC_primes[m] < v)

          L = m;

      }

      return 0;

}

/*

Table of the the first 2^14 primes.

Add leading and trailing values to simplify

search binary algorithm.

*/

static const unsigned int NC_primes[16386] = {

0U,

2U, 3U, 5U, 7U, 11U, 13U, 17U, 19U, 23U, 29U,

31U, 37U, 41U, 43U, 47U, 53U, 59U, 61U, 67U, 71U,

73U, 79U, 83U, 89U, 97U, 101U, 103U, 107U, 109U, 113U,

127U, 131U, 137U, 139U, 149U, 151U, 157U, 163U, 167U, 173U,

179U, 181U, 191U, 193U, 197U, 199U, 211U, 223U, 227U, 229U,

233U, 239U, 241U, 251U, 257U, 263U, 269U, 271U, 277U, 281U,

283U, 293U, 307U, 311U, 313U, 317U, 331U, 337U, 347U, 349U,

353U, 359U, 367U, 373U, 379U, 383U, 389U, 397U, 401U, 409U,

419U, 421U, 431U, 433U, 439U, 443U, 449U, 457U, 461U, 463U,

467U, 479U, 487U, 491U, 499U, 503U, 509U, 521U, 523U, 541U,

547U, 557U, 563U, 569U, 571U, 577U, 587U, 593U, 599U, 601U,

607U, 613U, 617U, 619U, 631U, 641U, 643U, 647U, 653U, 659U,

661U, 673U, 677U, 683U, 691U, 701U, 709U, 719U, 727U, 733U,

739U, 743U, 751U, 757U, 761U, 769U, 773U, 787U, 797U, 809U,

811U, 821U, 823U, 827U, 829U, 839U, 853U, 857U, 859U, 863U,

877U, 881U, 883U, 887U, 907U, 911U, 919U, 929U, 937U, 941U,

947U, 953U, 967U, 971U, 977U, 983U, 991U, 997U, 1009U, 1013U,

1019U, 1021U, 1031U, 1033U, 1039U, 1049U, 1051U, 1061U, 1063U, 1069U,

1087U, 1091U, 1093U, 1097U, 1103U, 1109U, 1117U, 1123U, 1129U, 1151U,

1153U, 1163U, 1171U, 1181U, 1187U, 1193U, 1201U, 1213U, 1217U, 1223U,

1229U, 1231U, 1237U, 1249U, 1259U, 1277U, 1279U, 1283U, 1289U, 1291U,

1297U, 1301U, 1303U, 1307U, 1319U, 1321U, 1327U, 1361U, 1367U, 1373U,

1381U, 1399U, 1409U, 1423U, 1427U, 1429U, 1433U, 1439U, 1447U, 1451U,

1453U, 1459U, 1471U, 1481U, 1483U, 1487U, 1489U, 1493U, 1499U, 1511U,

1523U, 1531U, 1543U, 1549U, 1553U, 1559U, 1567U, 1571U, 1579U, 1583U,

1597U, 1601U, 1607U, 1609U, 1613U, 1619U, 1621U, 1627U, 1637U, 1657U,

1663U, 1667U, 1669U, 1693U, 1697U, 1699U, 1709U, 1721U, 1723U, 1733U,

1741U, 1747U, 1753U, 1759U, 1777U, 1783U, 1787U, 1789U, 1801U, 1811U,

1823U, 1831U, 1847U, 1861U, 1867U, 1871U, 1873U, 1877U, 1879U, 1889U,

1901U, 1907U, 1913U, 1931U, 1933U, 1949U, 1951U, 1973U, 1979U, 1987U,

1993U, 1997U, 1999U, 2003U, 2011U, 2017U, 2027U, 2029U, 2039U, 2053U,

2063U, 2069U, 2081U, 2083U, 2087U, 2089U, 2099U, 2111U, 2113U, 2129U,

2131U, 2137U, 2141U, 2143U, 2153U, 2161U, 2179U, 2203U, 2207U, 2213U,

2221U, 2237U, 2239U, 2243U, 2251U, 2267U, 2269U, 2273U, 2281U, 2287U,

2293U, 2297U, 2309U, 2311U, 2333U, 2339U, 2341U, 2347U, 2351U, 2357U,

2371U, 2377U, 2381U, 2383U, 2389U, 2393U, 2399U, 2411U, 2417U, 2423U,

2437U, 2441U, 2447U, 2459U, 2467U, 2473U, 2477U, 2503U, 2521U, 2531U,

2539U, 2543U, 2549U, 2551U, 2557U, 2579U, 2591U, 2593U, 2609U, 2617U,

2621U, 2633U, 2647U, 2657U, 2659U, 2663U, 2671U, 2677U, 2683U, 2687U,

2689U, 2693U, 2699U, 2707U, 2711U, 2713U, 2719U, 2729U, 2731U, 2741U,

2749U, 2753U, 2767U, 2777U, 2789U, 2791U, 2797U, 2801U, 2803U, 2819U,

2833U, 2837U, 2843U, 2851U, 2857U, 2861U, 2879U, 2887U, 2897U, 2903U,

2909U, 2917U, 2927U, 2939U, 2953U, 2957U, 2963U, 2969U, 2971U, 2999U,

3001U, 3011U, 3019U, 3023U, 3037U, 3041U, 3049U, 3061U, 3067U, 3079U,

3083U, 3089U, 3109U, 3119U, 3121U, 3137U, 3163U, 3167U, 3169U, 3181U,

3187U, 3191U, 3203U, 3209U, 3217U, 3221U, 3229U, 3251U, 3253U, 3257U,

3259U, 3271U, 3299U, 3301U, 3307U, 3313U, 3319U, 3323U, 3329U, 3331U,

3343U, 3347U, 3359U, 3361U, 3371U, 3373U, 3389U, 3391U, 3407U, 3413U,

3433U, 3449U, 3457U, 3461U, 3463U, 3467U, 3469U, 3491U, 3499U, 3511U,

3517U, 3527U, 3529U, 3533U, 3539U, 3541U, 3547U, 3557U, 3559U, 3571U,

3581U, 3583U, 3593U, 3607U, 3613U, 3617U, 3623U, 3631U, 3637U, 3643U,

3659U, 3671U, 3673U, 3677U, 3691U, 3697U, 3701U, 3709U, 3719U, 3727U,

3733U, 3739U, 3761U, 3767U, 3769U, 3779U, 3793U, 3797U, 3803U, 3821U,

3823U, 3833U, 3847U, 3851U, 3853U, 3863U, 3877U, 3881U, 3889U, 3907U,

3911U, 3917U, 3919U, 3923U, 3929U, 3931U, 3943U, 3947U, 3967U, 3989U,

4001U, 4003U, 4007U, 4013U, 4019U, 4021U, 4027U, 4049U, 4051U, 4057U,

4073U, 4079U, 4091U, 4093U, 4099U, 4111U, 4127U, 4129U, 4133U, 4139U,

4153U, 4157U, 4159U, 4177U, 4201U, 4211U, 4217U, 4219U, 4229U, 4231U,

4241U, 4243U, 4253U, 4259U, 4261U, 4271U, 4273U, 4283U, 4289U, 4297U,

4327U, 4337U, 4339U, 4349U, 4357U, 4363U, 4373U, 4391U, 4397U, 4409U,

4421U, 4423U, 4441U, 4447U, 4451U, 4457U, 4463U, 4481U, 4483U, 4493U,

4507U, 4513U, 4517U, 4519U, 4523U, 4547U, 4549U, 4561U, 4567U, 4583U,

4591U, 4597U, 4603U, 4621U, 4637U, 4639U, 4643U, 4649U, 4651U, 4657U,

4663U, 4673U, 4679U, 4691U, 4703U, 4721U, 4723U, 4729U, 4733U, 4751U,

4759U, 4783U, 4787U, 4789U, 4793U, 4799U, 4801U, 4813U, 4817U, 4831U,

4861U, 4871U, 4877U, 4889U, 4903U, 4909U, 4919U, 4931U, 4933U, 4937U,

4943U, 4951U, 4957U, 4967U, 4969U, 4973U, 4987U, 4993U, 4999U, 5003U,

5009U, 5011U, 5021U, 5023U, 5039U, 5051U, 5059U, 5077U, 5081U, 5087U,

5099U, 5101U, 5107U, 5113U, 5119U, 5147U, 5153U, 5167U, 5171U, 5179U,

5189U, 5197U, 5209U, 5227U, 5231U, 5233U, 5237U, 5261U, 5273U, 5279U,

5281U, 5297U, 5303U, 5309U, 5323U, 5333U, 5347U, 5351U, 5381U, 5387U,

5393U, 5399U, 5407U, 5413U, 5417U, 5419U, 5431U, 5437U, 5441U, 5443U,

5449U, 5471U, 5477U, 5479U, 5483U, 5501U, 5503U, 5507U, 5519U, 5521U,

5527U, 5531U, 5557U, 5563U, 5569U, 5573U, 5581U, 5591U, 5623U, 5639U,

5641U, 5647U, 5651U, 5653U, 5657U, 5659U, 5669U, 5683U, 5689U, 5693U,

5701U, 5711U, 5717U, 5737U, 5741U, 5743U, 5749U, 5779U, 5783U, 5791U,

5801U, 5807U, 5813U, 5821U, 5827U, 5839U, 5843U, 5849U, 5851U, 5857U,

5861U, 5867U, 5869U, 5879U, 5881U, 5897U, 5903U, 5923U, 5927U, 5939U,

5953U, 5981U, 5987U, 6007U, 6011U, 6029U, 6037U, 6043U, 6047U, 6053U,

6067U, 6073U, 6079U, 6089U, 6091U, 6101U, 6113U, 6121U, 6131U, 6133U,

6143U, 6151U, 6163U, 6173U, 6197U, 6199U, 6203U, 6211U, 6217U, 6221U,

6229U, 6247U, 6257U, 6263U, 6269U, 6271U, 6277U, 6287U, 6299U, 6301U,

6311U, 6317U, 6323U, 6329U, 6337U, 6343U, 6353U, 6359U, 6361U, 6367U,

6373U, 6379U, 6389U, 6397U, 6421U, 6427U, 6449U, 6451U, 6469U, 6473U,

6481U, 6491U, 6521U, 6529U, 6547U, 6551U, 6553U, 6563U, 6569U, 6571U,

6577U, 6581U, 6599U, 6607U, 6619U, 6637U, 6653U, 6659U, 6661U, 6673U,

6679U, 6689U, 6691U, 6701U, 6703U, 6709U, 6719U, 6733U, 6737U, 6761U,

6763U, 6779U, 6781U, 6791U, 6793U, 6803U, 6823U, 6827U, 6829U, 6833U,

6841U, 6857U, 6863U, 6869U, 6871U, 6883U, 6899U, 6907U, 6911U, 6917U,

6947U, 6949U, 6959U, 6961U, 6967U, 6971U, 6977U, 6983U, 6991U, 6997U,

7001U, 7013U, 7019U, 7027U, 7039U, 7043U, 7057U, 7069U, 7079U, 7103U,

7109U, 7121U, 7127U, 7129U, 7151U, 7159U, 7177U, 7187U, 7193U, 7207U,

7211U, 7213U, 7219U, 7229U, 7237U, 7243U, 7247U, 7253U, 7283U, 7297U,

7307U, 7309U, 7321U, 7331U, 7333U, 7349U, 7351U, 7369U, 7393U, 7411U,

7417U, 7433U, 7451U, 7457U, 7459U, 7477U, 7481U, 7487U, 7489U, 7499U,

7507U, 7517U, 7523U, 7529U, 7537U, 7541U, 7547U, 7549U, 7559U, 7561U,

7573U, 7577U, 7583U, 7589U, 7591U, 7603U, 7607U, 7621U, 7639U, 7643U,

7649U, 7669U, 7673U, 7681U, 7687U, 7691U, 7699U, 7703U, 7717U, 7723U,

7727U, 7741U, 7753U, 7757U, 7759U, 7789U, 7793U, 7817U, 7823U, 7829U,

7841U, 7853U, 7867U, 7873U, 7877U, 7879U, 7883U, 7901U, 7907U, 7919U,

7927U, 7933U, 7937U, 7949U, 7951U, 7963U, 7993U, 8009U, 8011U, 8017U,

8039U, 8053U, 8059U, 8069U, 8081U, 8087U, 8089U, 8093U, 8101U, 8111U,

8117U, 8123U, 8147U, 8161U, 8167U, 8171U, 8179U, 8191U, 8209U, 8219U,

8221U, 8231U, 8233U, 8237U, 8243U, 8263U, 8269U, 8273U, 8287U, 8291U,

8293U, 8297U, 8311U, 8317U, 8329U, 8353U, 8363U, 8369U, 8377U, 8387U,

8389U, 8419U, 8423U, 8429U, 8431U, 8443U, 8447U, 8461U, 8467U, 8501U,

8513U, 8521U, 8527U, 8537U, 8539U, 8543U, 8563U, 8573U, 8581U, 8597U,

8599U, 8609U, 8623U, 8627U, 8629U, 8641U, 8647U, 8663U, 8669U, 8677U,

8681U, 8689U, 8693U, 8699U, 8707U, 8713U, 8719U, 8731U, 8737U, 8741U,

8747U, 8753U, 8761U, 8779U, 8783U, 8803U, 8807U, 8819U, 8821U, 8831U,

8837U, 8839U, 8849U, 8861U, 8863U, 8867U, 8887U, 8893U, 8923U, 8929U,

8933U, 8941U, 8951U, 8963U, 8969U, 8971U, 8999U, 9001U, 9007U, 9011U,

9013U, 9029U, 9041U, 9043U, 9049U, 9059U, 9067U, 9091U, 9103U, 9109U,

9127U, 9133U, 9137U, 9151U, 9157U, 9161U, 9173U, 9181U, 9187U, 9199U,

9203U, 9209U, 9221U, 9227U, 9239U, 9241U, 9257U, 9277U, 9281U, 9283U,

9293U, 9311U, 9319U, 9323U, 9337U, 9341U, 9343U, 9349U, 9371U, 9377U,

9391U, 9397U, 9403U, 9413U, 9419U, 9421U, 9431U, 9433U, 9437U, 9439U,

9461U, 9463U, 9467U, 9473U, 9479U, 9491U, 9497U, 9511U, 9521U, 9533U,

9539U, 9547U, 9551U, 9587U, 9601U, 9613U, 9619U, 9623U, 9629U, 9631U,

9643U, 9649U, 9661U, 9677U, 9679U, 9689U, 9697U, 9719U, 9721U, 9733U,

9739U, 9743U, 9749U, 9767U, 9769U, 9781U, 9787U, 9791U, 9803U, 9811U,

9817U, 9829U, 9833U, 9839U, 9851U, 9857U, 9859U, 9871U, 9883U, 9887U,

9901U, 9907U, 9923U, 9929U, 9931U, 9941U, 9949U, 9967U, 9973U, 10007U,

10009U, 10037U, 10039U, 10061U, 10067U, 10069U, 10079U, 10091U, 10093U, 10099U,

10103U, 10111U, 10133U, 10139U, 10141U, 10151U, 10159U, 10163U, 10169U, 10177U,

10181U, 10193U, 10211U, 10223U, 10243U, 10247U, 10253U, 10259U, 10267U, 10271U,

10273U, 10289U, 10301U, 10303U, 10313U, 10321U, 10331U, 10333U, 10337U, 10343U,

10357U, 10369U, 10391U, 10399U, 10427U, 10429U, 10433U, 10453U, 10457U, 10459U,

10463U, 10477U, 10487U, 10499U, 10501U, 10513U, 10529U, 10531U, 10559U, 10567U,

10589U, 10597U, 10601U, 10607U, 10613U, 10627U, 10631U, 10639U, 10651U, 10657U,

10663U, 10667U, 10687U, 10691U, 10709U, 10711U, 10723U, 10729U, 10733U, 10739U,

10753U, 10771U, 10781U, 10789U, 10799U, 10831U, 10837U, 10847U, 10853U, 10859U,

10861U, 10867U, 10883U, 10889U, 10891U, 10903U, 10909U, 10937U, 10939U, 10949U,

10957U, 10973U, 10979U, 10987U, 10993U, 11003U, 11027U, 11047U, 11057U, 11059U,

11069U, 11071U, 11083U, 11087U, 11093U, 11113U, 11117U, 11119U, 11131U, 11149U,

11159U, 11161U, 11171U, 11173U, 11177U, 11197U, 11213U, 11239U, 11243U, 11251U,

11257U, 11261U, 11273U, 11279U, 11287U, 11299U, 11311U, 11317U, 11321U, 11329U,

11351U, 11353U, 11369U, 11383U, 11393U, 11399U, 11411U, 11423U, 11437U, 11443U,

11447U, 11467U, 11471U, 11483U, 11489U, 11491U, 11497U, 11503U, 11519U, 11527U,

11549U, 11551U, 11579U, 11587U, 11593U, 11597U, 11617U, 11621U, 11633U, 11657U,

11677U, 11681U, 11689U, 11699U, 11701U, 11717U, 11719U, 11731U, 11743U, 11777U,

11779U, 11783U, 11789U, 11801U, 11807U, 11813U, 11821U, 11827U, 11831U, 11833U,

11839U, 11863U, 11867U, 11887U, 11897U, 11903U, 11909U, 11923U, 11927U, 11933U,

11939U, 11941U, 11953U, 11959U, 11969U, 11971U, 11981U, 11987U, 12007U, 12011U,

12037U, 12041U, 12043U, 12049U, 12071U, 12073U, 12097U, 12101U, 12107U, 12109U,

12113U, 12119U, 12143U, 12149U, 12157U, 12161U, 12163U, 12197U, 12203U, 12211U,

12227U, 12239U, 12241U, 12251U, 12253U, 12263U, 12269U, 12277U, 12281U, 12289U,

12301U, 12323U, 12329U, 12343U, 12347U, 12373U, 12377U, 12379U, 12391U, 12401U,

12409U, 12413U, 12421U, 12433U, 12437U, 12451U, 12457U, 12473U, 12479U, 12487U,

12491U, 12497U, 12503U, 12511U, 12517U, 12527U, 12539U, 12541U, 12547U, 12553U,

12569U, 12577U, 12583U, 12589U, 12601U, 12611U, 12613U, 12619U, 12637U, 12641U,

12647U, 12653U, 12659U, 12671U, 12689U, 12697U, 12703U, 12713U, 12721U, 12739U,

12743U, 12757U, 12763U, 12781U, 12791U, 12799U, 12809U, 12821U, 12823U, 12829U,

12841U, 12853U, 12889U, 12893U, 12899U, 12907U, 12911U, 12917U, 12919U, 12923U,

12941U, 12953U, 12959U, 12967U, 12973U, 12979U, 12983U, 13001U, 13003U, 13007U,

13009U, 13033U, 13037U, 13043U, 13049U, 13063U, 13093U, 13099U, 13103U, 13109U,

13121U, 13127U, 13147U, 13151U, 13159U, 13163U, 13171U, 13177U, 13183U, 13187U,

13217U, 13219U, 13229U, 13241U, 13249U, 13259U, 13267U, 13291U, 13297U, 13309U,

13313U, 13327U, 13331U, 13337U, 13339U, 13367U, 13381U, 13397U, 13399U, 13411U,

13417U, 13421U, 13441U, 13451U, 13457U, 13463U, 13469U, 13477U, 13487U, 13499U,

13513U, 13523U, 13537U, 13553U, 13567U, 13577U, 13591U, 13597U, 13613U, 13619U,

13627U, 13633U, 13649U, 13669U, 13679U, 13681U, 13687U, 13691U, 13693U, 13697U,

13709U, 13711U, 13721U, 13723U, 13729U, 13751U, 13757U, 13759U, 13763U, 13781U,

13789U, 13799U, 13807U, 13829U, 13831U, 13841U, 13859U, 13873U, 13877U, 13879U,

13883U, 13901U, 13903U, 13907U, 13913U, 13921U, 13931U, 13933U, 13963U, 13967U,

13997U, 13999U, 14009U, 14011U, 14029U, 14033U, 14051U, 14057U, 14071U, 14081U,

14083U, 14087U, 14107U, 14143U, 14149U, 14153U, 14159U, 14173U, 14177U, 14197U,

14207U, 14221U, 14243U, 14249U, 14251U, 14281U, 14293U, 14303U, 14321U, 14323U,

14327U, 14341U, 14347U, 14369U, 14387U, 14389U, 14401U, 14407U, 14411U, 14419U,

14423U, 14431U, 14437U, 14447U, 14449U, 14461U, 14479U, 14489U, 14503U, 14519U,

14533U, 14537U, 14543U, 14549U, 14551U, 14557U, 14561U, 14563U, 14591U, 14593U,

14621U, 14627U, 14629U, 14633U, 14639U, 14653U, 14657U, 14669U, 14683U, 14699U,

14713U, 14717U, 14723U, 14731U, 14737U, 14741U, 14747U, 14753U, 14759U, 14767U,

14771U, 14779U, 14783U, 14797U, 14813U, 14821U, 14827U, 14831U, 14843U, 14851U,

14867U, 14869U, 14879U, 14887U, 14891U, 14897U, 14923U, 14929U, 14939U, 14947U,

14951U, 14957U, 14969U, 14983U, 15013U, 15017U, 15031U, 15053U, 15061U, 15073U,

15077U, 15083U, 15091U, 15101U, 15107U, 15121U, 15131U, 15137U, 15139U, 15149U,

15161U, 15173U, 15187U, 15193U, 15199U, 15217U, 15227U, 15233U, 15241U, 15259U,

15263U, 15269U, 15271U, 15277U, 15287U, 15289U, 15299U, 15307U, 15313U, 15319U,

15329U, 15331U, 15349U, 15359U, 15361U, 15373U, 15377U, 15383U, 15391U, 15401U,

15413U, 15427U, 15439U, 15443U, 15451U, 15461U, 15467U, 15473U, 15493U, 15497U,

15511U, 15527U, 15541U, 15551U, 15559U, 15569U, 15581U, 15583U, 15601U, 15607U,

15619U, 15629U, 15641U, 15643U, 15647U, 15649U, 15661U, 15667U, 15671U, 15679U,

15683U, 15727U, 15731U, 15733U, 15737U, 15739U, 15749U, 15761U, 15767U, 15773U,

15787U, 15791U, 15797U, 15803U, 15809U, 15817U, 15823U, 15859U, 15877U, 15881U,

15887U, 15889U, 15901U, 15907U, 15913U, 15919U, 15923U, 15937U, 15959U, 15971U,

15973U, 15991U, 16001U, 16007U, 16033U, 16057U, 16061U, 16063U, 16067U, 16069U,

16073U, 16087U, 16091U, 16097U, 16103U, 16111U, 16127U, 16139U, 16141U, 16183U,

16187U, 16189U, 16193U, 16217U, 16223U, 16229U, 16231U, 16249U, 16253U, 16267U,

16273U, 16301U, 16319U, 16333U, 16339U, 16349U, 16361U, 16363U, 16369U, 16381U,

16411U, 16417U, 16421U, 16427U, 16433U, 16447U, 16451U, 16453U, 16477U, 16481U,

16487U, 16493U, 16519U, 16529U, 16547U, 16553U, 16561U, 16567U, 16573U, 16603U,

16607U, 16619U, 16631U, 16633U, 16649U, 16651U, 16657U, 16661U, 16673U, 16691U,

16693U, 16699U, 16703U, 16729U, 16741U, 16747U, 16759U, 16763U, 16787U, 16811U,

16823U, 16829U, 16831U, 16843U, 16871U, 16879U, 16883U, 16889U, 16901U, 16903U,

16921U, 16927U, 16931U, 16937U, 16943U, 16963U, 16979U, 16981U, 16987U, 16993U,

17011U, 17021U, 17027U, 17029U, 17033U, 17041U, 17047U, 17053U, 17077U, 17093U,

17099U, 17107U, 17117U, 17123U, 17137U, 17159U, 17167U, 17183U, 17189U, 17191U,

17203U, 17207U, 17209U, 17231U, 17239U, 17257U, 17291U, 17293U, 17299U, 17317U,

17321U, 17327U, 17333U, 17341U, 17351U, 17359U, 17377U, 17383U, 17387U, 17389U,

17393U, 17401U, 17417U, 17419U, 17431U, 17443U, 17449U, 17467U, 17471U, 17477U,

17483U, 17489U, 17491U, 17497U, 17509U, 17519U, 17539U, 17551U, 17569U, 17573U,

17579U, 17581U, 17597U, 17599U, 17609U, 17623U, 17627U, 17657U, 17659U, 17669U,

17681U, 17683U, 17707U, 17713U, 17729U, 17737U, 17747U, 17749U, 17761U, 17783U,

17789U, 17791U, 17807U, 17827U, 17837U, 17839U, 17851U, 17863U, 17881U, 17891U,

17903U, 17909U, 17911U, 17921U, 17923U, 17929U, 17939U, 17957U, 17959U, 17971U,

17977U, 17981U, 17987U, 17989U, 18013U, 18041U, 18043U, 18047U, 18049U, 18059U,

18061U, 18077U, 18089U, 18097U, 18119U, 18121U, 18127U, 18131U, 18133U, 18143U,

18149U, 18169U, 18181U, 18191U, 18199U, 18211U, 18217U, 18223U, 18229U, 18233U,

18251U, 18253U, 18257U, 18269U, 18287U, 18289U, 18301U, 18307U, 18311U, 18313U,

18329U, 18341U, 18353U, 18367U, 18371U, 18379U, 18397U, 18401U, 18413U, 18427U,

18433U, 18439U, 18443U, 18451U, 18457U, 18461U, 18481U, 18493U, 18503U, 18517U,

18521U, 18523U, 18539U, 18541U, 18553U, 18583U, 18587U, 18593U, 18617U, 18637U,

18661U, 18671U, 18679U, 18691U, 18701U, 18713U, 18719U, 18731U, 18743U, 18749U,

18757U, 18773U, 18787U, 18793U, 18797U, 18803U, 18839U, 18859U, 18869U, 18899U,

18911U, 18913U, 18917U, 18919U, 18947U, 18959U, 18973U, 18979U, 19001U, 19009U,

19013U, 19031U, 19037U, 19051U, 19069U, 19073U, 19079U, 19081U, 19087U, 19121U,

19139U, 19141U, 19157U, 19163U, 19181U, 19183U, 19207U, 19211U, 19213U, 19219U,

19231U, 19237U, 19249U, 19259U, 19267U, 19273U, 19289U, 19301U, 19309U, 19319U,

19333U, 19373U, 19379U, 19381U, 19387U, 19391U, 19403U, 19417U, 19421U, 19423U,

19427U, 19429U, 19433U, 19441U, 19447U, 19457U, 19463U, 19469U, 19471U, 19477U,

19483U, 19489U, 19501U, 19507U, 19531U, 19541U, 19543U, 19553U, 19559U, 19571U,

19577U, 19583U, 19597U, 19603U, 19609U, 19661U, 19681U, 19687U, 19697U, 19699U,

19709U, 19717U, 19727U, 19739U, 19751U, 19753U, 19759U, 19763U, 19777U, 19793U,

19801U, 19813U, 19819U, 19841U, 19843U, 19853U, 19861U, 19867U, 19889U, 19891U,

19913U, 19919U, 19927U, 19937U, 19949U, 19961U, 19963U, 19973U, 19979U, 19991U,

19993U, 19997U, 20011U, 20021U, 20023U, 20029U, 20047U, 20051U, 20063U, 20071U,

20089U, 20101U, 20107U, 20113U, 20117U, 20123U, 20129U, 20143U, 20147U, 20149U,

20161U, 20173U, 20177U, 20183U, 20201U, 20219U, 20231U, 20233U, 20249U, 20261U,

20269U, 20287U, 20297U, 20323U, 20327U, 20333U, 20341U, 20347U, 20353U, 20357U,

20359U, 20369U, 20389U, 20393U, 20399U, 20407U, 20411U, 20431U, 20441U, 20443U,

20477U, 20479U, 20483U, 20507U, 20509U, 20521U, 20533U, 20543U, 20549U, 20551U,

20563U, 20593U, 20599U, 20611U, 20627U, 20639U, 20641U, 20663U, 20681U, 20693U,

20707U, 20717U, 20719U, 20731U, 20743U, 20747U, 20749U, 20753U, 20759U, 20771U,

20773U, 20789U, 20807U, 20809U, 20849U, 20857U, 20873U, 20879U, 20887U, 20897U,

20899U, 20903U, 20921U, 20929U, 20939U, 20947U, 20959U, 20963U, 20981U, 20983U,

21001U, 21011U, 21013U, 21017U, 21019U, 21023U, 21031U, 21059U, 21061U, 21067U,

21089U, 21101U, 21107U, 21121U, 21139U, 21143U, 21149U, 21157U, 21163U, 21169U,

21179U, 21187U, 21191U, 21193U, 21211U, 21221U, 21227U, 21247U, 21269U, 21277U,

21283U, 21313U, 21317U, 21319U, 21323U, 21341U, 21347U, 21377U, 21379U, 21383U,

21391U, 21397U, 21401U, 21407U, 21419U, 21433U, 21467U, 21481U, 21487U, 21491U,

21493U, 21499U, 21503U, 21517U, 21521U, 21523U, 21529U, 21557U, 21559U, 21563U,

21569U, 21577U, 21587U, 21589U, 21599U, 21601U, 21611U, 21613U, 21617U, 21647U,

21649U, 21661U, 21673U, 21683U, 21701U, 21713U, 21727U, 21737U, 21739U, 21751U,

21757U, 21767U, 21773U, 21787U, 21799U, 21803U, 21817U, 21821U, 21839U, 21841U,

21851U, 21859U, 21863U, 21871U, 21881U, 21893U, 21911U, 21929U, 21937U, 21943U,

21961U, 21977U, 21991U, 21997U, 22003U, 22013U, 22027U, 22031U, 22037U, 22039U,

22051U, 22063U, 22067U, 22073U, 22079U, 22091U, 22093U, 22109U, 22111U, 22123U,

22129U, 22133U, 22147U, 22153U, 22157U, 22159U, 22171U, 22189U, 22193U, 22229U,

22247U, 22259U, 22271U, 22273U, 22277U, 22279U, 22283U, 22291U, 22303U, 22307U,

22343U, 22349U, 22367U, 22369U, 22381U, 22391U, 22397U, 22409U, 22433U, 22441U,

22447U, 22453U, 22469U, 22481U, 22483U, 22501U, 22511U, 22531U, 22541U, 22543U,

22549U, 22567U, 22571U, 22573U, 22613U, 22619U, 22621U, 22637U, 22639U, 22643U,

22651U, 22669U, 22679U, 22691U, 22697U, 22699U, 22709U, 22717U, 22721U, 22727U,

22739U, 22741U, 22751U, 22769U, 22777U, 22783U, 22787U, 22807U, 22811U, 22817U,

22853U, 22859U, 22861U, 22871U, 22877U, 22901U, 22907U, 22921U, 22937U, 22943U,

22961U, 22963U, 22973U, 22993U, 23003U, 23011U, 23017U, 23021U, 23027U, 23029U,

23039U, 23041U, 23053U, 23057U, 23059U, 23063U, 23071U, 23081U, 23087U, 23099U,

23117U, 23131U, 23143U, 23159U, 23167U, 23173U, 23189U, 23197U, 23201U, 23203U,

23209U, 23227U, 23251U, 23269U, 23279U, 23291U, 23293U, 23297U, 23311U, 23321U,

23327U, 23333U, 23339U, 23357U, 23369U, 23371U, 23399U, 23417U, 23431U, 23447U,

23459U, 23473U, 23497U, 23509U, 23531U, 23537U, 23539U, 23549U, 23557U, 23561U,

23563U, 23567U, 23581U, 23593U, 23599U, 23603U, 23609U, 23623U, 23627U, 23629U,

23633U, 23663U, 23669U, 23671U, 23677U, 23687U, 23689U, 23719U, 23741U, 23743U,

23747U, 23753U, 23761U, 23767U, 23773U, 23789U, 23801U, 23813U, 23819U, 23827U,

23831U, 23833U, 23857U, 23869U, 23873U, 23879U, 23887U, 23893U, 23899U, 23909U,

23911U, 23917U, 23929U, 23957U, 23971U, 23977U, 23981U, 23993U, 24001U, 24007U,

24019U, 24023U, 24029U, 24043U, 24049U, 24061U, 24071U, 24077U, 24083U, 24091U,

24097U, 24103U, 24107U, 24109U, 24113U, 24121U, 24133U, 24137U, 24151U, 24169U,

24179U, 24181U, 24197U, 24203U, 24223U, 24229U, 24239U, 24247U, 24251U, 24281U,

24317U, 24329U, 24337U, 24359U, 24371U, 24373U, 24379U, 24391U, 24407U, 24413U,

24419U, 24421U, 24439U, 24443U, 24469U, 24473U, 24481U, 24499U, 24509U, 24517U,

24527U, 24533U, 24547U, 24551U, 24571U, 24593U, 24611U, 24623U, 24631U, 24659U,

24671U, 24677U, 24683U, 24691U, 24697U, 24709U, 24733U, 24749U, 24763U, 24767U,

24781U, 24793U, 24799U, 24809U, 24821U, 24841U, 24847U, 24851U, 24859U, 24877U,

24889U, 24907U, 24917U, 24919U, 24923U, 24943U, 24953U, 24967U, 24971U, 24977U,

24979U, 24989U, 25013U, 25031U, 25033U, 25037U, 25057U, 25073U, 25087U, 25097U,

25111U, 25117U, 25121U, 25127U, 25147U, 25153U, 25163U, 25169U, 25171U, 25183U,

25189U, 25219U, 25229U, 25237U, 25243U, 25247U, 25253U, 25261U, 25301U, 25303U,

25307U, 25309U, 25321U, 25339U, 25343U, 25349U, 25357U, 25367U, 25373U, 25391U,

25409U, 25411U, 25423U, 25439U, 25447U, 25453U, 25457U, 25463U, 25469U, 25471U,

25523U, 25537U, 25541U, 25561U, 25577U, 25579U, 25583U, 25589U, 25601U, 25603U,

25609U, 25621U, 25633U, 25639U, 25643U, 25657U, 25667U, 25673U, 25679U, 25693U,

25703U, 25717U, 25733U, 25741U, 25747U, 25759U, 25763U, 25771U, 25793U, 25799U,

25801U, 25819U, 25841U, 25847U, 25849U, 25867U, 25873U, 25889U, 25903U, 25913U,

25919U, 25931U, 25933U, 25939U, 25943U, 25951U, 25969U, 25981U, 25997U, 25999U,

26003U, 26017U, 26021U, 26029U, 26041U, 26053U, 26083U, 26099U, 26107U, 26111U,

26113U, 26119U, 26141U, 26153U, 26161U, 26171U, 26177U, 26183U, 26189U, 26203U,

26209U, 26227U, 26237U, 26249U, 26251U, 26261U, 26263U, 26267U, 26293U, 26297U,

26309U, 26317U, 26321U, 26339U, 26347U, 26357U, 26371U, 26387U, 26393U, 26399U,

26407U, 26417U, 26423U, 26431U, 26437U, 26449U, 26459U, 26479U, 26489U, 26497U,

26501U, 26513U, 26539U, 26557U, 26561U, 26573U, 26591U, 26597U, 26627U, 26633U,

26641U, 26647U, 26669U, 26681U, 26683U, 26687U, 26693U, 26699U, 26701U, 26711U,

26713U, 26717U, 26723U, 26729U, 26731U, 26737U, 26759U, 26777U, 26783U, 26801U,

26813U, 26821U, 26833U, 26839U, 26849U, 26861U, 26863U, 26879U, 26881U, 26891U,

26893U, 26903U, 26921U, 26927U, 26947U, 26951U, 26953U, 26959U, 26981U, 26987U,

26993U, 27011U, 27017U, 27031U, 27043U, 27059U, 27061U, 27067U, 27073U, 27077U,

27091U, 27103U, 27107U, 27109U, 27127U, 27143U, 27179U, 27191U, 27197U, 27211U,

27239U, 27241U, 27253U, 27259U, 27271U, 27277U, 27281U, 27283U, 27299U, 27329U,

27337U, 27361U, 27367U, 27397U, 27407U, 27409U, 27427U, 27431U, 27437U, 27449U,

27457U, 27479U, 27481U, 27487U, 27509U, 27527U, 27529U, 27539U, 27541U, 27551U,

27581U, 27583U, 27611U, 27617U, 27631U, 27647U, 27653U, 27673U, 27689U, 27691U,

27697U, 27701U, 27733U, 27737U, 27739U, 27743U, 27749U, 27751U, 27763U, 27767U,

27773U, 27779U, 27791U, 27793U, 27799U, 27803U, 27809U, 27817U, 27823U, 27827U,

27847U, 27851U, 27883U, 27893U, 27901U, 27917U, 27919U, 27941U, 27943U, 27947U,

27953U, 27961U, 27967U, 27983U, 27997U, 28001U, 28019U, 28027U, 28031U, 28051U,

28057U, 28069U, 28081U, 28087U, 28097U, 28099U, 28109U, 28111U, 28123U, 28151U,

28163U, 28181U, 28183U, 28201U, 28211U, 28219U, 28229U, 28277U, 28279U, 28283U,

28289U, 28297U, 28307U, 28309U, 28319U, 28349U, 28351U, 28387U, 28393U, 28403U,

28409U, 28411U, 28429U, 28433U, 28439U, 28447U, 28463U, 28477U, 28493U, 28499U,

28513U, 28517U, 28537U, 28541U, 28547U, 28549U, 28559U, 28571U, 28573U, 28579U,

28591U, 28597U, 28603U, 28607U, 28619U, 28621U, 28627U, 28631U, 28643U, 28649U,

28657U, 28661U, 28663U, 28669U, 28687U, 28697U, 28703U, 28711U, 28723U, 28729U,

28751U, 28753U, 28759U, 28771U, 28789U, 28793U, 28807U, 28813U, 28817U, 28837U,

28843U, 28859U, 28867U, 28871U, 28879U, 28901U, 28909U, 28921U, 28927U, 28933U,

28949U, 28961U, 28979U, 29009U, 29017U, 29021U, 29023U, 29027U, 29033U, 29059U,

29063U, 29077U, 29101U, 29123U, 29129U, 29131U, 29137U, 29147U, 29153U, 29167U,

29173U, 29179U, 29191U, 29201U, 29207U, 29209U, 29221U, 29231U, 29243U, 29251U,

29269U, 29287U, 29297U, 29303U, 29311U, 29327U, 29333U, 29339U, 29347U, 29363U,

29383U, 29387U, 29389U, 29399U, 29401U, 29411U, 29423U, 29429U, 29437U, 29443U,

29453U, 29473U, 29483U, 29501U, 29527U, 29531U, 29537U, 29567U, 29569U, 29573U,

29581U, 29587U, 29599U, 29611U, 29629U, 29633U, 29641U, 29663U, 29669U, 29671U,

29683U, 29717U, 29723U, 29741U, 29753U, 29759U, 29761U, 29789U, 29803U, 29819U,

29833U, 29837U, 29851U, 29863U, 29867U, 29873U, 29879U, 29881U, 29917U, 29921U,

29927U, 29947U, 29959U, 29983U, 29989U, 30011U, 30013U, 30029U, 30047U, 30059U,

30071U, 30089U, 30091U, 30097U, 30103U, 30109U, 30113U, 30119U, 30133U, 30137U,

30139U, 30161U, 30169U, 30181U, 30187U, 30197U, 30203U, 30211U, 30223U, 30241U,

30253U, 30259U, 30269U, 30271U, 30293U, 30307U, 30313U, 30319U, 30323U, 30341U,

30347U, 30367U, 30389U, 30391U, 30403U, 30427U, 30431U, 30449U, 30467U, 30469U,

30491U, 30493U, 30497U, 30509U, 30517U, 30529U, 30539U, 30553U, 30557U, 30559U,

30577U, 30593U, 30631U, 30637U, 30643U, 30649U, 30661U, 30671U, 30677U, 30689U,

30697U, 30703U, 30707U, 30713U, 30727U, 30757U, 30763U, 30773U, 30781U, 30803U,

30809U, 30817U, 30829U, 30839U, 30841U, 30851U, 30853U, 30859U, 30869U, 30871U,

30881U, 30893U, 30911U, 30931U, 30937U, 30941U, 30949U, 30971U, 30977U, 30983U,

31013U, 31019U, 31033U, 31039U, 31051U, 31063U, 31069U, 31079U, 31081U, 31091U,

31121U, 31123U, 31139U, 31147U, 31151U, 31153U, 31159U, 31177U, 31181U, 31183U,

31189U, 31193U, 31219U, 31223U, 31231U, 31237U, 31247U, 31249U, 31253U, 31259U,

31267U, 31271U, 31277U, 31307U, 31319U, 31321U, 31327U, 31333U, 31337U, 31357U,

31379U, 31387U, 31391U, 31393U, 31397U, 31469U, 31477U, 31481U, 31489U, 31511U,

31513U, 31517U, 31531U, 31541U, 31543U, 31547U, 31567U, 31573U, 31583U, 31601U,

31607U, 31627U, 31643U, 31649U, 31657U, 31663U, 31667U, 31687U, 31699U, 31721U,

31723U, 31727U, 31729U, 31741U, 31751U, 31769U, 31771U, 31793U, 31799U, 31817U,

31847U, 31849U, 31859U, 31873U, 31883U, 31891U, 31907U, 31957U, 31963U, 31973U,

31981U, 31991U, 32003U, 32009U, 32027U, 32029U, 32051U, 32057U, 32059U, 32063U,

32069U, 32077U, 32083U, 32089U, 32099U, 32117U, 32119U, 32141U, 32143U, 32159U,

32173U, 32183U, 32189U, 32191U, 32203U, 32213U, 32233U, 32237U, 32251U, 32257U,

32261U, 32297U, 32299U, 32303U, 32309U, 32321U, 32323U, 32327U, 32341U, 32353U,

32359U, 32363U, 32369U, 32371U, 32377U, 32381U, 32401U, 32411U, 32413U, 32423U,

32429U, 32441U, 32443U, 32467U, 32479U, 32491U, 32497U, 32503U, 32507U, 32531U,

32533U, 32537U, 32561U, 32563U, 32569U, 32573U, 32579U, 32587U, 32603U, 32609U,

32611U, 32621U, 32633U, 32647U, 32653U, 32687U, 32693U, 32707U, 32713U, 32717U,

32719U, 32749U, 32771U, 32779U, 32783U, 32789U, 32797U, 32801U, 32803U, 32831U,

32833U, 32839U, 32843U, 32869U, 32887U, 32909U, 32911U, 32917U, 32933U, 32939U,

32941U, 32957U, 32969U, 32971U, 32983U, 32987U, 32993U, 32999U, 33013U, 33023U,

33029U, 33037U, 33049U, 33053U, 33071U, 33073U, 33083U, 33091U, 33107U, 33113U,

33119U, 33149U, 33151U, 33161U, 33179U, 33181U, 33191U, 33199U, 33203U, 33211U,

33223U, 33247U, 33287U, 33289U, 33301U, 33311U, 33317U, 33329U, 33331U, 33343U,

33347U, 33349U, 33353U, 33359U, 33377U, 33391U, 33403U, 33409U, 33413U, 33427U,

33457U, 33461U, 33469U, 33479U, 33487U, 33493U, 33503U, 33521U, 33529U, 33533U,

33547U, 33563U, 33569U, 33577U, 33581U, 33587U, 33589U, 33599U, 33601U, 33613U,

33617U, 33619U, 33623U, 33629U, 33637U, 33641U, 33647U, 33679U, 33703U, 33713U,

33721U, 33739U, 33749U, 33751U, 33757U, 33767U, 33769U, 33773U, 33791U, 33797U,

33809U, 33811U, 33827U, 33829U, 33851U, 33857U, 33863U, 33871U, 33889U, 33893U,

33911U, 33923U, 33931U, 33937U, 33941U, 33961U, 33967U, 33997U, 34019U, 34031U,

34033U, 34039U, 34057U, 34061U, 34123U, 34127U, 34129U, 34141U, 34147U, 34157U,

34159U, 34171U, 34183U, 34211U, 34213U, 34217U, 34231U, 34253U, 34259U, 34261U,

34267U, 34273U, 34283U, 34297U, 34301U, 34303U, 34313U, 34319U, 34327U, 34337U,

34351U, 34361U, 34367U, 34369U, 34381U, 34403U, 34421U, 34429U, 34439U, 34457U,

34469U, 34471U, 34483U, 34487U, 34499U, 34501U, 34511U, 34513U, 34519U, 34537U,

34543U, 34549U, 34583U, 34589U, 34591U, 34603U, 34607U, 34613U, 34631U, 34649U,

34651U, 34667U, 34673U, 34679U, 34687U, 34693U, 34703U, 34721U, 34729U, 34739U,

34747U, 34757U, 34759U, 34763U, 34781U, 34807U, 34819U, 34841U, 34843U, 34847U,

34849U, 34871U, 34877U, 34883U, 34897U, 34913U, 34919U, 34939U, 34949U, 34961U,

34963U, 34981U, 35023U, 35027U, 35051U, 35053U, 35059U, 35069U, 35081U, 35083U,

35089U, 35099U, 35107U, 35111U, 35117U, 35129U, 35141U, 35149U, 35153U, 35159U,

35171U, 35201U, 35221U, 35227U, 35251U, 35257U, 35267U, 35279U, 35281U, 35291U,

35311U, 35317U, 35323U, 35327U, 35339U, 35353U, 35363U, 35381U, 35393U, 35401U,

35407U, 35419U, 35423U, 35437U, 35447U, 35449U, 35461U, 35491U, 35507U, 35509U,

35521U, 35527U, 35531U, 35533U, 35537U, 35543U, 35569U, 35573U, 35591U, 35593U,

35597U, 35603U, 35617U, 35671U, 35677U, 35729U, 35731U, 35747U, 35753U, 35759U,

35771U, 35797U, 35801U, 35803U, 35809U, 35831U, 35837U, 35839U, 35851U, 35863U,

35869U, 35879U, 35897U, 35899U, 35911U, 35923U, 35933U, 35951U, 35963U, 35969U,

35977U, 35983U, 35993U, 35999U, 36007U, 36011U, 36013U, 36017U, 36037U, 36061U,

36067U, 36073U, 36083U, 36097U, 36107U, 36109U, 36131U, 36137U, 36151U, 36161U,

36187U, 36191U, 36209U, 36217U, 36229U, 36241U, 36251U, 36263U, 36269U, 36277U,

36293U, 36299U, 36307U, 36313U, 36319U, 36341U, 36343U, 36353U, 36373U, 36383U,

36389U, 36433U, 36451U, 36457U, 36467U, 36469U, 36473U, 36479U, 36493U, 36497U,

36523U, 36527U, 36529U, 36541U, 36551U, 36559U, 36563U, 36571U, 36583U, 36587U,

36599U, 36607U, 36629U, 36637U, 36643U, 36653U, 36671U, 36677U, 36683U, 36691U,

36697U, 36709U, 36713U, 36721U, 36739U, 36749U, 36761U, 36767U, 36779U, 36781U,

36787U, 36791U, 36793U, 36809U, 36821U, 36833U, 36847U, 36857U, 36871U, 36877U,

36887U, 36899U, 36901U, 36913U, 36919U, 36923U, 36929U, 36931U, 36943U, 36947U,

36973U, 36979U, 36997U, 37003U, 37013U, 37019U, 37021U, 37039U, 37049U, 37057U,

37061U, 37087U, 37097U, 37117U, 37123U, 37139U, 37159U, 37171U, 37181U, 37189U,

37199U, 37201U, 37217U, 37223U, 37243U, 37253U, 37273U, 37277U, 37307U, 37309U,

37313U, 37321U, 37337U, 37339U, 37357U, 37361U, 37363U, 37369U, 37379U, 37397U,

37409U, 37423U, 37441U, 37447U, 37463U, 37483U, 37489U, 37493U, 37501U, 37507U,

37511U, 37517U, 37529U, 37537U, 37547U, 37549U, 37561U, 37567U, 37571U, 37573U,

37579U, 37589U, 37591U, 37607U, 37619U, 37633U, 37643U, 37649U, 37657U, 37663U,

37691U, 37693U, 37699U, 37717U, 37747U, 37781U, 37783U, 37799U, 37811U, 37813U,

37831U, 37847U, 37853U, 37861U, 37871U, 37879U, 37889U, 37897U, 37907U, 37951U,

37957U, 37963U, 37967U, 37987U, 37991U, 37993U, 37997U, 38011U, 38039U, 38047U,

38053U, 38069U, 38083U, 38113U, 38119U, 38149U, 38153U, 38167U, 38177U, 38183U,

38189U, 38197U, 38201U, 38219U, 38231U, 38237U, 38239U, 38261U, 38273U, 38281U,

38287U, 38299U, 38303U, 38317U, 38321U, 38327U, 38329U, 38333U, 38351U, 38371U,

38377U, 38393U, 38431U, 38447U, 38449U, 38453U, 38459U, 38461U, 38501U, 38543U,

38557U, 38561U, 38567U, 38569U, 38593U, 38603U, 38609U, 38611U, 38629U, 38639U,

38651U, 38653U, 38669U, 38671U, 38677U, 38693U, 38699U, 38707U, 38711U, 38713U,

38723U, 38729U, 38737U, 38747U, 38749U, 38767U, 38783U, 38791U, 38803U, 38821U,

38833U, 38839U, 38851U, 38861U, 38867U, 38873U, 38891U, 38903U, 38917U, 38921U,

38923U, 38933U, 38953U, 38959U, 38971U, 38977U, 38993U, 39019U, 39023U, 39041U,

39043U, 39047U, 39079U, 39089U, 39097U, 39103U, 39107U, 39113U, 39119U, 39133U,

39139U, 39157U, 39161U, 39163U, 39181U, 39191U, 39199U, 39209U, 39217U, 39227U,

39229U, 39233U, 39239U, 39241U, 39251U, 39293U, 39301U, 39313U, 39317U, 39323U,

39341U, 39343U, 39359U, 39367U, 39371U, 39373U, 39383U, 39397U, 39409U, 39419U,

39439U, 39443U, 39451U, 39461U, 39499U, 39503U, 39509U, 39511U, 39521U, 39541U,

39551U, 39563U, 39569U, 39581U, 39607U, 39619U, 39623U, 39631U, 39659U, 39667U,

39671U, 39679U, 39703U, 39709U, 39719U, 39727U, 39733U, 39749U, 39761U, 39769U,

39779U, 39791U, 39799U, 39821U, 39827U, 39829U, 39839U, 39841U, 39847U, 39857U,

39863U, 39869U, 39877U, 39883U, 39887U, 39901U, 39929U, 39937U, 39953U, 39971U,

39979U, 39983U, 39989U, 40009U, 40013U, 40031U, 40037U, 40039U, 40063U, 40087U,

40093U, 40099U, 40111U, 40123U, 40127U, 40129U, 40151U, 40153U, 40163U, 40169U,

40177U, 40189U, 40193U, 40213U, 40231U, 40237U, 40241U, 40253U, 40277U, 40283U,

40289U, 40343U, 40351U, 40357U, 40361U, 40387U, 40423U, 40427U, 40429U, 40433U,

40459U, 40471U, 40483U, 40487U, 40493U, 40499U, 40507U, 40519U, 40529U, 40531U,

40543U, 40559U, 40577U, 40583U, 40591U, 40597U, 40609U, 40627U, 40637U, 40639U,

40693U, 40697U, 40699U, 40709U, 40739U, 40751U, 40759U, 40763U, 40771U, 40787U,

40801U, 40813U, 40819U, 40823U, 40829U, 40841U, 40847U, 40849U, 40853U, 40867U,

40879U, 40883U, 40897U, 40903U, 40927U, 40933U, 40939U, 40949U, 40961U, 40973U,

40993U, 41011U, 41017U, 41023U, 41039U, 41047U, 41051U, 41057U, 41077U, 41081U,

41113U, 41117U, 41131U, 41141U, 41143U, 41149U, 41161U, 41177U, 41179U, 41183U,

41189U, 41201U, 41203U, 41213U, 41221U, 41227U, 41231U, 41233U, 41243U, 41257U,

41263U, 41269U, 41281U, 41299U, 41333U, 41341U, 41351U, 41357U, 41381U, 41387U,

41389U, 41399U, 41411U, 41413U, 41443U, 41453U, 41467U, 41479U, 41491U, 41507U,

41513U, 41519U, 41521U, 41539U, 41543U, 41549U, 41579U, 41593U, 41597U, 41603U,

41609U, 41611U, 41617U, 41621U, 41627U, 41641U, 41647U, 41651U, 41659U, 41669U,

41681U, 41687U, 41719U, 41729U, 41737U, 41759U, 41761U, 41771U, 41777U, 41801U,

41809U, 41813U, 41843U, 41849U, 41851U, 41863U, 41879U, 41887U, 41893U, 41897U,

41903U, 41911U, 41927U, 41941U, 41947U, 41953U, 41957U, 41959U, 41969U, 41981U,

41983U, 41999U, 42013U, 42017U, 42019U, 42023U, 42043U, 42061U, 42071U, 42073U,

42083U, 42089U, 42101U, 42131U, 42139U, 42157U, 42169U, 42179U, 42181U, 42187U,

42193U, 42197U, 42209U, 42221U, 42223U, 42227U, 42239U, 42257U, 42281U, 42283U,

42293U, 42299U, 42307U, 42323U, 42331U, 42337U, 42349U, 42359U, 42373U, 42379U,

42391U, 42397U, 42403U, 42407U, 42409U, 42433U, 42437U, 42443U, 42451U, 42457U,

42461U, 42463U, 42467U, 42473U, 42487U, 42491U, 42499U, 42509U, 42533U, 42557U,

42569U, 42571U, 42577U, 42589U, 42611U, 42641U, 42643U, 42649U, 42667U, 42677U,

42683U, 42689U, 42697U, 42701U, 42703U, 42709U, 42719U, 42727U, 42737U, 42743U,

42751U, 42767U, 42773U, 42787U, 42793U, 42797U, 42821U, 42829U, 42839U, 42841U,

42853U, 42859U, 42863U, 42899U, 42901U, 42923U, 42929U, 42937U, 42943U, 42953U,

42961U, 42967U, 42979U, 42989U, 43003U, 43013U, 43019U, 43037U, 43049U, 43051U,

43063U, 43067U, 43093U, 43103U, 43117U, 43133U, 43151U, 43159U, 43177U, 43189U,

43201U, 43207U, 43223U, 43237U, 43261U, 43271U, 43283U, 43291U, 43313U, 43319U,

43321U, 43331U, 43391U, 43397U, 43399U, 43403U, 43411U, 43427U, 43441U, 43451U,

43457U, 43481U, 43487U, 43499U, 43517U, 43541U, 43543U, 43573U, 43577U, 43579U,

43591U, 43597U, 43607U, 43609U, 43613U, 43627U, 43633U, 43649U, 43651U, 43661U,

43669U, 43691U, 43711U, 43717U, 43721U, 43753U, 43759U, 43777U, 43781U, 43783U,

43787U, 43789U, 43793U, 43801U, 43853U, 43867U, 43889U, 43891U, 43913U, 43933U,

43943U, 43951U, 43961U, 43963U, 43969U, 43973U, 43987U, 43991U, 43997U, 44017U,

44021U, 44027U, 44029U, 44041U, 44053U, 44059U, 44071U, 44087U, 44089U, 44101U,

44111U, 44119U, 44123U, 44129U, 44131U, 44159U, 44171U, 44179U, 44189U, 44201U,

44203U, 44207U, 44221U, 44249U, 44257U, 44263U, 44267U, 44269U, 44273U, 44279U,

44281U, 44293U, 44351U, 44357U, 44371U, 44381U, 44383U, 44389U, 44417U, 44449U,

44453U, 44483U, 44491U, 44497U, 44501U, 44507U, 44519U, 44531U, 44533U, 44537U,

44543U, 44549U, 44563U, 44579U, 44587U, 44617U, 44621U, 44623U, 44633U, 44641U,

44647U, 44651U, 44657U, 44683U, 44687U, 44699U, 44701U, 44711U, 44729U, 44741U,

44753U, 44771U, 44773U, 44777U, 44789U, 44797U, 44809U, 44819U, 44839U, 44843U,

44851U, 44867U, 44879U, 44887U, 44893U, 44909U, 44917U, 44927U, 44939U, 44953U,

44959U, 44963U, 44971U, 44983U, 44987U, 45007U, 45013U, 45053U, 45061U, 45077U,

45083U, 45119U, 45121U, 45127U, 45131U, 45137U, 45139U, 45161U, 45179U, 45181U,

45191U, 45197U, 45233U, 45247U, 45259U, 45263U, 45281U, 45289U, 45293U, 45307U,

45317U, 45319U, 45329U, 45337U, 45341U, 45343U, 45361U, 45377U, 45389U, 45403U,

45413U, 45427U, 45433U, 45439U, 45481U, 45491U, 45497U, 45503U, 45523U, 45533U,

45541U, 45553U, 45557U, 45569U, 45587U, 45589U, 45599U, 45613U, 45631U, 45641U,

45659U, 45667U, 45673U, 45677U, 45691U, 45697U, 45707U, 45737U, 45751U, 45757U,

45763U, 45767U, 45779U, 45817U, 45821U, 45823U, 45827U, 45833U, 45841U, 45853U,

45863U, 45869U, 45887U, 45893U, 45943U, 45949U, 45953U, 45959U, 45971U, 45979U,

45989U, 46021U, 46027U, 46049U, 46051U, 46061U, 46073U, 46091U, 46093U, 46099U,

46103U, 46133U, 46141U, 46147U, 46153U, 46171U, 46181U, 46183U, 46187U, 46199U,

46219U, 46229U, 46237U, 46261U, 46271U, 46273U, 46279U, 46301U, 46307U, 46309U,

46327U, 46337U, 46349U, 46351U, 46381U, 46399U, 46411U, 46439U, 46441U, 46447U,

46451U, 46457U, 46471U, 46477U, 46489U, 46499U, 46507U, 46511U, 46523U, 46549U,

46559U, 46567U, 46573U, 46589U, 46591U, 46601U, 46619U, 46633U, 46639U, 46643U,

46649U, 46663U, 46679U, 46681U, 46687U, 46691U, 46703U, 46723U, 46727U, 46747U,

46751U, 46757U, 46769U, 46771U, 46807U, 46811U, 46817U, 46819U, 46829U, 46831U,

46853U, 46861U, 46867U, 46877U, 46889U, 46901U, 46919U, 46933U, 46957U, 46993U,

46997U, 47017U, 47041U, 47051U, 47057U, 47059U, 47087U, 47093U, 47111U, 47119U,

47123U, 47129U, 47137U, 47143U, 47147U, 47149U, 47161U, 47189U, 47207U, 47221U,

47237U, 47251U, 47269U, 47279U, 47287U, 47293U, 47297U, 47303U, 47309U, 47317U,

47339U, 47351U, 47353U, 47363U, 47381U, 47387U, 47389U, 47407U, 47417U, 47419U,

47431U, 47441U, 47459U, 47491U, 47497U, 47501U, 47507U, 47513U, 47521U, 47527U,

47533U, 47543U, 47563U, 47569U, 47581U, 47591U, 47599U, 47609U, 47623U, 47629U,

47639U, 47653U, 47657U, 47659U, 47681U, 47699U, 47701U, 47711U, 47713U, 47717U,

47737U, 47741U, 47743U, 47777U, 47779U, 47791U, 47797U, 47807U, 47809U, 47819U,

47837U, 47843U, 47857U, 47869U, 47881U, 47903U, 47911U, 47917U, 47933U, 47939U,

47947U, 47951U, 47963U, 47969U, 47977U, 47981U, 48017U, 48023U, 48029U, 48049U,

48073U, 48079U, 48091U, 48109U, 48119U, 48121U, 48131U, 48157U, 48163U, 48179U,

48187U, 48193U, 48197U, 48221U, 48239U, 48247U, 48259U, 48271U, 48281U, 48299U,

48311U, 48313U, 48337U, 48341U, 48353U, 48371U, 48383U, 48397U, 48407U, 48409U,

48413U, 48437U, 48449U, 48463U, 48473U, 48479U, 48481U, 48487U, 48491U, 48497U,

48523U, 48527U, 48533U, 48539U, 48541U, 48563U, 48571U, 48589U, 48593U, 48611U,

48619U, 48623U, 48647U, 48649U, 48661U, 48673U, 48677U, 48679U, 48731U, 48733U,

48751U, 48757U, 48761U, 48767U, 48779U, 48781U, 48787U, 48799U, 48809U, 48817U,

48821U, 48823U, 48847U, 48857U, 48859U, 48869U, 48871U, 48883U, 48889U, 48907U,

48947U, 48953U, 48973U, 48989U, 48991U, 49003U, 49009U, 49019U, 49031U, 49033U,

49037U, 49043U, 49057U, 49069U, 49081U, 49103U, 49109U, 49117U, 49121U, 49123U,

49139U, 49157U, 49169U, 49171U, 49177U, 49193U, 49199U, 49201U, 49207U, 49211U,

49223U, 49253U, 49261U, 49277U, 49279U, 49297U, 49307U, 49331U, 49333U, 49339U,

49363U, 49367U, 49369U, 49391U, 49393U, 49409U, 49411U, 49417U, 49429U, 49433U,

49451U, 49459U, 49463U, 49477U, 49481U, 49499U, 49523U, 49529U, 49531U, 49537U,

49547U, 49549U, 49559U, 49597U, 49603U, 49613U, 49627U, 49633U, 49639U, 49663U,

49667U, 49669U, 49681U, 49697U, 49711U, 49727U, 49739U, 49741U, 49747U, 49757U,

49783U, 49787U, 49789U, 49801U, 49807U, 49811U, 49823U, 49831U, 49843U, 49853U,

49871U, 49877U, 49891U, 49919U, 49921U, 49927U, 49937U, 49939U, 49943U, 49957U,

49991U, 49993U, 49999U, 50021U, 50023U, 50033U, 50047U, 50051U, 50053U, 50069U,

50077U, 50087U, 50093U, 50101U, 50111U, 50119U, 50123U, 50129U, 50131U, 50147U,

50153U, 50159U, 50177U, 50207U, 50221U, 50227U, 50231U, 50261U, 50263U, 50273U,

50287U, 50291U, 50311U, 50321U, 50329U, 50333U, 50341U, 50359U, 50363U, 50377U,

50383U, 50387U, 50411U, 50417U, 50423U, 50441U, 50459U, 50461U, 50497U, 50503U,

50513U, 50527U, 50539U, 50543U, 50549U, 50551U, 50581U, 50587U, 50591U, 50593U,

50599U, 50627U, 50647U, 50651U, 50671U, 50683U, 50707U, 50723U, 50741U, 50753U,

50767U, 50773U, 50777U, 50789U, 50821U, 50833U, 50839U, 50849U, 50857U, 50867U,

50873U, 50891U, 50893U, 50909U, 50923U, 50929U, 50951U, 50957U, 50969U, 50971U,

50989U, 50993U, 51001U, 51031U, 51043U, 51047U, 51059U, 51061U, 51071U, 51109U,

51131U, 51133U, 51137U, 51151U, 51157U, 51169U, 51193U, 51197U, 51199U, 51203U,

51217U, 51229U, 51239U, 51241U, 51257U, 51263U, 51283U, 51287U, 51307U, 51329U,

51341U, 51343U, 51347U, 51349U, 51361U, 51383U, 51407U, 51413U, 51419U, 51421U,

51427U, 51431U, 51437U, 51439U, 51449U, 51461U, 51473U, 51479U, 51481U, 51487U,

51503U, 51511U, 51517U, 51521U, 51539U, 51551U, 51563U, 51577U, 51581U, 51593U,

51599U, 51607U, 51613U, 51631U, 51637U, 51647U, 51659U, 51673U, 51679U, 51683U,

51691U, 51713U, 51719U, 51721U, 51749U, 51767U, 51769U, 51787U, 51797U, 51803U,

51817U, 51827U, 51829U, 51839U, 51853U, 51859U, 51869U, 51871U, 51893U, 51899U,

51907U, 51913U, 51929U, 51941U, 51949U, 51971U, 51973U, 51977U, 51991U, 52009U,

52021U, 52027U, 52051U, 52057U, 52067U, 52069U, 52081U, 52103U, 52121U, 52127U,

52147U, 52153U, 52163U, 52177U, 52181U, 52183U, 52189U, 52201U, 52223U, 52237U,

52249U, 52253U, 52259U, 52267U, 52289U, 52291U, 52301U, 52313U, 52321U, 52361U,

52363U, 52369U, 52379U, 52387U, 52391U, 52433U, 52453U, 52457U, 52489U, 52501U,

52511U, 52517U, 52529U, 52541U, 52543U, 52553U, 52561U, 52567U, 52571U, 52579U,

52583U, 52609U, 52627U, 52631U, 52639U, 52667U, 52673U, 52691U, 52697U, 52709U,

52711U, 52721U, 52727U, 52733U, 52747U, 52757U, 52769U, 52783U, 52807U, 52813U,

52817U, 52837U, 52859U, 52861U, 52879U, 52883U, 52889U, 52901U, 52903U, 52919U,

52937U, 52951U, 52957U, 52963U, 52967U, 52973U, 52981U, 52999U, 53003U, 53017U,

53047U, 53051U, 53069U, 53077U, 53087U, 53089U, 53093U, 53101U, 53113U, 53117U,

53129U, 53147U, 53149U, 53161U, 53171U, 53173U, 53189U, 53197U, 53201U, 53231U,

53233U, 53239U, 53267U, 53269U, 53279U, 53281U, 53299U, 53309U, 53323U, 53327U,

53353U, 53359U, 53377U, 53381U, 53401U, 53407U, 53411U, 53419U, 53437U, 53441U,

53453U, 53479U, 53503U, 53507U, 53527U, 53549U, 53551U, 53569U, 53591U, 53593U,

53597U, 53609U, 53611U, 53617U, 53623U, 53629U, 53633U, 53639U, 53653U, 53657U,

53681U, 53693U, 53699U, 53717U, 53719U, 53731U, 53759U, 53773U, 53777U, 53783U,

53791U, 53813U, 53819U, 53831U, 53849U, 53857U, 53861U, 53881U, 53887U, 53891U,

53897U, 53899U, 53917U, 53923U, 53927U, 53939U, 53951U, 53959U, 53987U, 53993U,

54001U, 54011U, 54013U, 54037U, 54049U, 54059U, 54083U, 54091U, 54101U, 54121U,

54133U, 54139U, 54151U, 54163U, 54167U, 54181U, 54193U, 54217U, 54251U, 54269U,

54277U, 54287U, 54293U, 54311U, 54319U, 54323U, 54331U, 54347U, 54361U, 54367U,

54371U, 54377U, 54401U, 54403U, 54409U, 54413U, 54419U, 54421U, 54437U, 54443U,

54449U, 54469U, 54493U, 54497U, 54499U, 54503U, 54517U, 54521U, 54539U, 54541U,

54547U, 54559U, 54563U, 54577U, 54581U, 54583U, 54601U, 54617U, 54623U, 54629U,

54631U, 54647U, 54667U, 54673U, 54679U, 54709U, 54713U, 54721U, 54727U, 54751U,

54767U, 54773U, 54779U, 54787U, 54799U, 54829U, 54833U, 54851U, 54869U, 54877U,

54881U, 54907U, 54917U, 54919U, 54941U, 54949U, 54959U, 54973U, 54979U, 54983U,

55001U, 55009U, 55021U, 55049U, 55051U, 55057U, 55061U, 55073U, 55079U, 55103U,

55109U, 55117U, 55127U, 55147U, 55163U, 55171U, 55201U, 55207U, 55213U, 55217U,

55219U, 55229U, 55243U, 55249U, 55259U, 55291U, 55313U, 55331U, 55333U, 55337U,

55339U, 55343U, 55351U, 55373U, 55381U, 55399U, 55411U, 55439U, 55441U, 55457U,

55469U, 55487U, 55501U, 55511U, 55529U, 55541U, 55547U, 55579U, 55589U, 55603U,

55609U, 55619U, 55621U, 55631U, 55633U, 55639U, 55661U, 55663U, 55667U, 55673U,

55681U, 55691U, 55697U, 55711U, 55717U, 55721U, 55733U, 55763U, 55787U, 55793U,

55799U, 55807U, 55813U, 55817U, 55819U, 55823U, 55829U, 55837U, 55843U, 55849U,

55871U, 55889U, 55897U, 55901U, 55903U, 55921U, 55927U, 55931U, 55933U, 55949U,

55967U, 55987U, 55997U, 56003U, 56009U, 56039U, 56041U, 56053U, 56081U, 56087U,

56093U, 56099U, 56101U, 56113U, 56123U, 56131U, 56149U, 56167U, 56171U, 56179U,

56197U, 56207U, 56209U, 56237U, 56239U, 56249U, 56263U, 56267U, 56269U, 56299U,

56311U, 56333U, 56359U, 56369U, 56377U, 56383U, 56393U, 56401U, 56417U, 56431U,

56437U, 56443U, 56453U, 56467U, 56473U, 56477U, 56479U, 56489U, 56501U, 56503U,

56509U, 56519U, 56527U, 56531U, 56533U, 56543U, 56569U, 56591U, 56597U, 56599U,

56611U, 56629U, 56633U, 56659U, 56663U, 56671U, 56681U, 56687U, 56701U, 56711U,

56713U, 56731U, 56737U, 56747U, 56767U, 56773U, 56779U, 56783U, 56807U, 56809U,

56813U, 56821U, 56827U, 56843U, 56857U, 56873U, 56891U, 56893U, 56897U, 56909U,

56911U, 56921U, 56923U, 56929U, 56941U, 56951U, 56957U, 56963U, 56983U, 56989U,

56993U, 56999U, 57037U, 57041U, 57047U, 57059U, 57073U, 57077U, 57089U, 57097U,

57107U, 57119U, 57131U, 57139U, 57143U, 57149U, 57163U, 57173U, 57179U, 57191U,

57193U, 57203U, 57221U, 57223U, 57241U, 57251U, 57259U, 57269U, 57271U, 57283U,

57287U, 57301U, 57329U, 57331U, 57347U, 57349U, 57367U, 57373U, 57383U, 57389U,

57397U, 57413U, 57427U, 57457U, 57467U, 57487U, 57493U, 57503U, 57527U, 57529U,

57557U, 57559U, 57571U, 57587U, 57593U, 57601U, 57637U, 57641U, 57649U, 57653U,

57667U, 57679U, 57689U, 57697U, 57709U, 57713U, 57719U, 57727U, 57731U, 57737U,

57751U, 57773U, 57781U, 57787U, 57791U, 57793U, 57803U, 57809U, 57829U, 57839U,

57847U, 57853U, 57859U, 57881U, 57899U, 57901U, 57917U, 57923U, 57943U, 57947U,

57973U, 57977U, 57991U, 58013U, 58027U, 58031U, 58043U, 58049U, 58057U, 58061U,

58067U, 58073U, 58099U, 58109U, 58111U, 58129U, 58147U, 58151U, 58153U, 58169U,

58171U, 58189U, 58193U, 58199U, 58207U, 58211U, 58217U, 58229U, 58231U, 58237U,

58243U, 58271U, 58309U, 58313U, 58321U, 58337U, 58363U, 58367U, 58369U, 58379U,

58391U, 58393U, 58403U, 58411U, 58417U, 58427U, 58439U, 58441U, 58451U, 58453U,

58477U, 58481U, 58511U, 58537U, 58543U, 58549U, 58567U, 58573U, 58579U, 58601U,

58603U, 58613U, 58631U, 58657U, 58661U, 58679U, 58687U, 58693U, 58699U, 58711U,

58727U, 58733U, 58741U, 58757U, 58763U, 58771U, 58787U, 58789U, 58831U, 58889U,

58897U, 58901U, 58907U, 58909U, 58913U, 58921U, 58937U, 58943U, 58963U, 58967U,

58979U, 58991U, 58997U, 59009U, 59011U, 59021U, 59023U, 59029U, 59051U, 59053U,

59063U, 59069U, 59077U, 59083U, 59093U, 59107U, 59113U, 59119U, 59123U, 59141U,

59149U, 59159U, 59167U, 59183U, 59197U, 59207U, 59209U, 59219U, 59221U, 59233U,

59239U, 59243U, 59263U, 59273U, 59281U, 59333U, 59341U, 59351U, 59357U, 59359U,

59369U, 59377U, 59387U, 59393U, 59399U, 59407U, 59417U, 59419U, 59441U, 59443U,

59447U, 59453U, 59467U, 59471U, 59473U, 59497U, 59509U, 59513U, 59539U, 59557U,

59561U, 59567U, 59581U, 59611U, 59617U, 59621U, 59627U, 59629U, 59651U, 59659U,

59663U, 59669U, 59671U, 59693U, 59699U, 59707U, 59723U, 59729U, 59743U, 59747U,

59753U, 59771U, 59779U, 59791U, 59797U, 59809U, 59833U, 59863U, 59879U, 59887U,

59921U, 59929U, 59951U, 59957U, 59971U, 59981U, 59999U, 60013U, 60017U, 60029U,

60037U, 60041U, 60077U, 60083U, 60089U, 60091U, 60101U, 60103U, 60107U, 60127U,

60133U, 60139U, 60149U, 60161U, 60167U, 60169U, 60209U, 60217U, 60223U, 60251U,

60257U, 60259U, 60271U, 60289U, 60293U, 60317U, 60331U, 60337U, 60343U, 60353U,

60373U, 60383U, 60397U, 60413U, 60427U, 60443U, 60449U, 60457U, 60493U, 60497U,

60509U, 60521U, 60527U, 60539U, 60589U, 60601U, 60607U, 60611U, 60617U, 60623U,

60631U, 60637U, 60647U, 60649U, 60659U, 60661U, 60679U, 60689U, 60703U, 60719U,

60727U, 60733U, 60737U, 60757U, 60761U, 60763U, 60773U, 60779U, 60793U, 60811U,

60821U, 60859U, 60869U, 60887U, 60889U, 60899U, 60901U, 60913U, 60917U, 60919U,

60923U, 60937U, 60943U, 60953U, 60961U, 61001U, 61007U, 61027U, 61031U, 61043U,

61051U, 61057U, 61091U, 61099U, 61121U, 61129U, 61141U, 61151U, 61153U, 61169U,

61211U, 61223U, 61231U, 61253U, 61261U, 61283U, 61291U, 61297U, 61331U, 61333U,

61339U, 61343U, 61357U, 61363U, 61379U, 61381U, 61403U, 61409U, 61417U, 61441U,

61463U, 61469U, 61471U, 61483U, 61487U, 61493U, 61507U, 61511U, 61519U, 61543U,

61547U, 61553U, 61559U, 61561U, 61583U, 61603U, 61609U, 61613U, 61627U, 61631U,

61637U, 61643U, 61651U, 61657U, 61667U, 61673U, 61681U, 61687U, 61703U, 61717U,

61723U, 61729U, 61751U, 61757U, 61781U, 61813U, 61819U, 61837U, 61843U, 61861U,

61871U, 61879U, 61909U, 61927U, 61933U, 61949U, 61961U, 61967U, 61979U, 61981U,

61987U, 61991U, 62003U, 62011U, 62017U, 62039U, 62047U, 62053U, 62057U, 62071U,

62081U, 62099U, 62119U, 62129U, 62131U, 62137U, 62141U, 62143U, 62171U, 62189U,

62191U, 62201U, 62207U, 62213U, 62219U, 62233U, 62273U, 62297U, 62299U, 62303U,

62311U, 62323U, 62327U, 62347U, 62351U, 62383U, 62401U, 62417U, 62423U, 62459U,

62467U, 62473U, 62477U, 62483U, 62497U, 62501U, 62507U, 62533U, 62539U, 62549U,

62563U, 62581U, 62591U, 62597U, 62603U, 62617U, 62627U, 62633U, 62639U, 62653U,

62659U, 62683U, 62687U, 62701U, 62723U, 62731U, 62743U, 62753U, 62761U, 62773U,

62791U, 62801U, 62819U, 62827U, 62851U, 62861U, 62869U, 62873U, 62897U, 62903U,

62921U, 62927U, 62929U, 62939U, 62969U, 62971U, 62981U, 62983U, 62987U, 62989U,

63029U, 63031U, 63059U, 63067U, 63073U, 63079U, 63097U, 63103U, 63113U, 63127U,

63131U, 63149U, 63179U, 63197U, 63199U, 63211U, 63241U, 63247U, 63277U, 63281U,

63299U, 63311U, 63313U, 63317U, 63331U, 63337U, 63347U, 63353U, 63361U, 63367U,

63377U, 63389U, 63391U, 63397U, 63409U, 63419U, 63421U, 63439U, 63443U, 63463U,

63467U, 63473U, 63487U, 63493U, 63499U, 63521U, 63527U, 63533U, 63541U, 63559U,

63577U, 63587U, 63589U, 63599U, 63601U, 63607U, 63611U, 63617U, 63629U, 63647U,