找回密码
 欢迎注册
楼主: 无心人

[原创] 10^28开始的10^14个整数的素性概率性测试算法实践报告

[复制链接]
发表于 2020-12-1 22:23:09 | 显示全部楼层
无心人 发表于 2020-12-1 19:00
我感觉模乘不需要除法

最后取模你准备怎么搞?
我已经把取模的数量精简到一个了
  1. mulmod=|mut x,mut y|{
  2.         let [lx,ly,mut hx,hy]=[x&9223372036854775807,y&9223372036854775807,x>>63,y>>63];
  3.         x=lx*hy+ly*hx;
  4.         y=lx*ly+((x&9223372036854775807)<<63);x>>=63;//y=low_mid, x=high_mid<<126
  5.         //lx*ly+y+x<<126+hx*hy<<126
  6.         x+=hx*hy;
  7.         //lx*ly+y+x<<126
  8.         hx=x&2147483647;
  9.         x>>=31;
  10.         //(y+hx*m126+x*m157)%module
  11.         y+=hx*m126+x*m157;
  12.         //y-(((y>>64)as u64)/m64) as u128*module
  13.         y%module
  14.         //lx.max(ly) < 1<<63 ==> lx*ly < 1<<126
  15.         // y < 9223372036854775807<<63 < 1<<126
  16.         //hx <2147483647*module< 1<<31+94 = 1<<126
  17.         // x <(module*module>>(63*2+31))*module < 1<<(94*2-63*2-31+94)=1<<125
  18.         //Thus, lx*ly+y+hx*m126+x*m157 < 1<<128, safe to add them together and executing % ops.
  19.     };
复制代码



点评

mulmod可以不用除法,能做道这点就行了  发表于 2020-12-2 10:01
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2020-12-2 10:00:36 | 显示全部楼层
刚查了gmp的源代码
mpz_millerrabin(mpz_t n, int d);
d是测试次数,而不是测试基
所以不合适,需要自己写

点评

github 上用 MillerRabin 作关键字搜索,可测试一下他们的代码是否可用,比如下面这两个: https://github.com/nodgd/MillerRabin; https://github.com/RanaSamy/RSA-MillerRabin-algorithm  发表于 2020-12-2 10:22
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2020-12-2 10:07:26 | 显示全部楼层
说下只用加减乘的模乘

u=u1u0
v=v1v0
w=w1w0
r0=r3r2r1r0=u*v
r1=r0-(r3r2)*w<r0
这样设计是不是可以
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2020-12-2 10:36:10 | 显示全部楼层

  1. #include<gmp.h>
  2. #include<stdio.h>
  3. #include<stdlib.h>
  4. #include<stdbool.h>
  5. #define NULL_TERMINATED  0

  6. bool fermatTest( const mpz_t n, unsigned long b)
  7. {
  8.     mpz_t r, b1, ns1;
  9.    
  10.     mpz_inits(r, ns1, NULL_TERMINATED);
  11.     mpz_init_set_ui(b1, b);
  12.    
  13.     mpz_sub_ui(ns1, n, 1);
  14.     mpz_powm(r, b1, ns1, n);
  15.    
  16.     int result = mpz_cmp_ui(r, 1);
  17.     mpz_clears(r, b1, ns1, NULL_TERMINATED);
  18.     return (result == 0);
  19. }

  20. bool millerrabinTest( const mpz_t n, unsigned long b )
  21. {
  22.     mpz_t ns1, t, x, b1, r;
  23.     unsigned int s;
  24.     bool result;

  25.     mpz_inits(ns1, t, x, r, NULL_TERMINATED);
  26.     mpz_init_set_ui(b1, b);//b1=b

  27.     mpz_sub_ui(ns1, n, 1);//ns1=n-1
  28.     s = mpz_scan1(ns1, 0);
  29.     mpz_tdiv_q_2exp(t, ns1, s);//ns1=2^s*t, t%2=1

  30.     mpz_powm(r, b1, t, n);
  31.     if (mpz_cmp_ui(r, 1) == 0 || mpz_cmp(r, ns1) == 0)
  32.         result = true;
  33.     else
  34.     {
  35.         result = false;
  36.         for (int i = 1; i < s; i ++)
  37.         {
  38.             mpz_powm_ui(r, r, 2, n);
  39.             if (mpz_cmp(r, ns1) == 0)
  40.             {
  41.                 result = true;
  42.                 break;
  43.             }
  44.         }
  45.     }
  46.    
  47.     mpz_clears(ns1, t, x, b1, r, NULL_TERMINATED);
  48.     return result;
  49. }


  50. void testFunc( void )
  51. {
  52.     mpz_t n;
  53.     int d;
  54.     mpz_init(n);

  55.     mpz_set_ui(n, 341); d = 2;
  56.     gmp_printf("fermat test(%Zd, %d) = %d\n", n, d, fermatTest(n, d));
  57.     gmp_printf("miller rabin test(%Zd, %d) = %d\n", n, d, millerrabinTest(n, d));

  58.     mpz_set_ui(n, 8321); d = 2;
  59.     gmp_printf("fermat test(%Zd, %d) = %d\n", n, d, fermatTest(n, d));
  60.     gmp_printf("miller rabin test(%Zd, %d) = %d\n", n, d, millerrabinTest(n, d));

  61.     mpz_set_ui(n, 65541); d = 2;
  62.     gmp_printf("fermat test(%Zd, %d) = %d\n", n, d, fermatTest(n, d));
  63.     gmp_printf("miller rabin test(%Zd, %d) = %d\n", n, d, millerrabinTest(n, d));

  64.     mpz_set_ui(n, 65539); d = 3;
  65.     gmp_printf("fermat test(%Zd, %d) = %d\n", n, d, fermatTest(n, d));
  66.     gmp_printf("miller rabin test(%Zd, %d) = %d\n", n, d, millerrabinTest(n, d));

  67.     mpz_set_ui(n, 65539); d = 3;
  68.     mpz_pow_ui(n, n, 8);
  69.     mpz_add_ui(n, n, 78);
  70.     gmp_printf("fermat test(%Zd, %d) = %d\n", n, d, fermatTest(n, d));
  71.     gmp_printf("miller rabin test(%Zd, %d) = %d\n", n, d, millerrabinTest(n, d));

  72.     mpz_clear(n);
  73. }

  74. int main( void )
  75. {
  76.     testFunc();
  77.     return 0;
  78. }
复制代码


fermat test(341, 2) = 1
miller rabin test(341, 2) = 0
fermat test(8321, 2) = 1
miller rabin test(8321, 2) = 1
fermat test(65541, 2) = 0
miller rabin test(65541, 2) = 0
fermat test(65539, 3) = 1
miller rabin test(65539, 3) = 1
fermat test(340407002012868253357199029315156056559, 3) = 1
miller rabin test(340407002012868253357199029315156056559, 3) = 1

点评

不可以,32行等价于ns1=n-1,ns1之前没值,你不可以只复制最后一个字  发表于 2020-12-2 20:21
32行mpz_sub_ui(ns1, n, 1);可以换成ns1->_mp_d[0] -= 1甚至ns1->_mp_d[0] ^= 1,反正n是奇数  发表于 2020-12-2 19:47
确实有个虫子,不过似乎不影响,另外按照你说的直接比较n-1了  发表于 2020-12-2 16:49
avx的话,gmp会主动用的  发表于 2020-12-2 16:36
你这个主意不错~~~~  发表于 2020-12-2 16:35
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2020-12-2 15:46:27 | 显示全部楼层
无心人 发表于 2020-12-2 10:36
341 2 1
65541 2 0
65539 3 1

你可能需要这个东西:
gmp-6.2.1/mini-gmp/mini-gmp.c

  1. static int
  2. gmp_millerrabin (const mpz_t n, const mpz_t nm1, mpz_t y,
  3.                  const mpz_t q, mp_bitcnt_t k)
  4. {
  5.   assert (k > 0);

  6.   /* Caller must initialize y to the base. */
  7.   mpz_powm (y, y, q, n);

  8.   if (mpz_cmp_ui (y, 1) == 0 || mpz_cmp (y, nm1) == 0)
  9.     return 1;

  10.   while (--k > 0)
  11.     {
  12.       mpz_powm_ui (y, y, 2, n);
  13.       if (mpz_cmp (y, nm1) == 0)
  14.         return 1;
  15.       /* y == 1 means that the previous y was a non-trivial square root
  16.          of 1 (mod n). y == 0 means that n is a power of the base.
  17.          In either case, n is not prime. */
  18.       if (mpz_cmp_ui (y, 1) <= 0)
  19.         return 0;
  20.     }
  21.   return 0;
  22. }
复制代码

点评

上面帖子我更新了代码,来捉虫啊~  发表于 2020-12-2 16:24
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2020-12-4 09:38:30 | 显示全部楼层
2.5G主频的处理器,gmp测试10^8的时间是142.8秒
3.2G主频的处理器,同样逻辑的Julia的时间是236.5秒

另外发现,gmp的gmp_printf在windows下会崩,找不到崩的原因,所以只好少用~

  1. #include<gmp.h>
  2. #include<stdbool.h>
  3. #include<stdio.h>
  4. #include<stdlib.h>
  5. #define NULL_TERMINATED                0

  6. bool fermatTest( const mpz_t n, unsigned long b)
  7. {
  8.     mpz_t r, b1, ns1;
  9.    
  10.     mpz_inits(r, ns1, NULL_TERMINATED);
  11.     mpz_init_set_ui(b1, b);
  12.    
  13.     mpz_sub_ui(ns1, n, 1);
  14.     mpz_powm(r, b1, ns1, n);
  15.    
  16.     bool result = mpz_cmp_ui(r, 1) == 0;
  17.     mpz_clears(r, b1, ns1, NULL_TERMINATED);
  18.     return result;
  19. }

  20. bool millerrabinTest( const mpz_t n, unsigned long b )
  21. {
  22.     mpz_t ns1, t, b1, r;
  23.     unsigned long s;
  24.     bool result;

  25.     mpz_inits(ns1, t, r, NULL_TERMINATED);
  26.     mpz_init_set_ui(b1, b);// b1=b

  27.     mpz_sub_ui(ns1, n, 1);// ns1=n-1
  28.     s = mpz_scan1(ns1, 0);
  29.     mpz_tdiv_q_2exp(t, ns1, s);// ns1=2^s*t, t%2=1

  30.     mpz_powm(r, b1, t, n);
  31.     if (mpz_cmp_ui(r, 1) == 0 || mpz_cmp(r, ns1) == 0)
  32.         result = true;
  33.     else
  34.     {
  35.         result = false;
  36.         for (unsigned long i = 1; i < s; i ++)
  37.         {
  38.             mpz_powm_ui(r, r, 2, n);
  39.             if (mpz_cmp(r, ns1) == 0)
  40.             {
  41.                 result = true;
  42.                 break;
  43.             }
  44.         }
  45.     }
  46.     mpz_clears(ns1, t, b1, r, NULL_TERMINATED);
  47.     return result;
  48. }

  49. const unsigned long step = 100000000;

  50. // 实际测试值=base + index*step + [1..step]
  51. void init( mpz_t base, unsigned long index )
  52. {
  53.     mpz_t tmp;
  54.     mpz_set_ui(base, 10);
  55.     mpz_pow_ui(base, base, 28);
  56.     mpz_init_set_ui(tmp, step);
  57.     mpz_mul_ui(tmp, tmp, index);
  58.     mpz_add(base, base, tmp);
  59.     mpz_clear(tmp);
  60. }

  61. bool quickTest( mpz_t n )
  62. {
  63.     unsigned long b[] = {3, 5, 7, 11, 13};
  64.     for (int i = 0; i < sizeof(b)/sizeof(unsigned long); i++)
  65.         if (!millerrabinTest(n, b[i]))
  66.             return false;
  67.     return true;
  68. }

  69. void testFunc( mpz_t base )
  70. {
  71.     mpz_t n;
  72.     for (unsigned long i = 1; i < step; i += 2)
  73.     {
  74.         mpz_init(n);
  75.         mpz_add_ui(n, base, i);
  76.         if (fermatTest(n, 2))
  77.             if (millerrabinTest(n, 2))
  78.             {
  79.                 if (!quickTest(n))
  80.                     gmp_printf("%Zd : SPSP(2)\n", n);
  81.             }
  82.             else
  83.                 gmp_printf("%Zd : PSP(2)\n", n);   
  84.         mpz_clear(n);
  85.     }
  86. }

  87. int main( void )
  88. {
  89.     mpz_t base;
  90.     mpz_init(base);
  91.     init( base, 0 );
  92.     testFunc( base );
  93.     mpz_clear(base);
  94.     return 0;
  95. }
复制代码

  1. using Primes

  2. global function fermatProbablePrimeTest(n, b)
  3.     a = powermod(b, n-1, n)
  4.     return (a == 1)
  5. end

  6. global function millerRabinProbablePrimeTest( n, b )
  7.     k = trailing_zeros(n-1)
  8.     m = (n-1) >> k
  9.     a = powermod(b, m, n)
  10.     if (a == 1) || (a == (n-1))
  11.         return true
  12.     else
  13.         for i in 1:k-1
  14.             a = powermod(a, 2, n)
  15.             if a == n - 1
  16.                 return true
  17.             end
  18.         end
  19.     end
  20.     return false
  21. end

  22. global function quickPrimeTest(n)
  23.     for b in [3, 5, 7, 11, 13]
  24.         if !millerRabinProbablePrimeTest(n, b)
  25.             return false
  26.         end
  27.     end
  28.     return true
  29. end

  30. global b28 = big(10)^28

  31. println("==========")
  32. @time begin
  33.     for i in range(1, step = 2, stop = 99999999)
  34.         test = b28 + i

  35.         if fermatProbablePrimeTest(test, 2)
  36.             if millerRabinProbablePrimeTest(test, 2)
  37.                 if !quickPrimeTest(test)
  38.                     println("$test is SPSP(2)")
  39.                 end
  40.             else
  41.                 println("$test is PSP(2)")
  42.             end
  43.         end
  44.     end
  45. end
  46. println("==========")

复制代码

毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2020-12-5 01:08:18 | 显示全部楼层
无心人 发表于 2020-12-4 09:38
2.5G主频的处理器,gmp测试10^8的时间是142.8秒
3.2G主频的处理器,同样逻辑的Julia的时间是236.5秒

./test
free(): double free detected in tcache 2
已放弃 (核心已转储)
看上去像是93和95行把同一个n clear了两次的结果

  1. gcc test.c -march=native -O3 -pipe -flto -lgmp -o test && time ./test

  2. real        1m20.758s
  3. user        1m20.706s
  4. sys        0m0.000s
复制代码

在我这里测试的结果只是比Rust略快,而快的原因可以解释成,这里用的是quickTest而非ispseudoprime
感觉你大概重复造了跟轮子……

装一个Rust不好吗:)

点评

确实,是我改并发造成的,另外,我不想装rust的原因,是怕被rust编译器急死  发表于 2020-12-5 15:27
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2020-12-6 20:34:56 | 显示全部楼层
做了筛法的一个测试,1亿的数字需要测试fermat(2)的数字从5000万降低到大概1200万~
还没确认程序正确,代码可能会修改
粗略测试,20核并发,1亿数字6秒左右

  1. #include<gmp.h>
  2. #include<omp.h>
  3. #include<stdbool.h>
  4. #include<stdio.h>
  5. #include<stdlib.h>
  6. #define NULL_TERMINATED                0

  7. bool fermatTest( const mpz_t n, unsigned long b)
  8. {
  9.     mpz_t r, b1, ns1;
  10.    
  11.     mpz_inits(r, ns1, NULL_TERMINATED);
  12.     mpz_init_set_ui(b1, b);
  13.    
  14.     mpz_sub_ui(ns1, n, 1);
  15.     mpz_powm(r, b1, ns1, n);
  16.    
  17.     bool result = mpz_cmp_ui(r, 1) == 0;
  18.     mpz_clears(r, b1, ns1, NULL_TERMINATED);
  19.     return result;
  20. }

  21. bool millerrabinTest( const mpz_t n, unsigned long b )
  22. {
  23.     mpz_t ns1, t, b1, r;
  24.     unsigned long s;
  25.     bool result;

  26.     //gmp_printf("MR(%Zd, %d)...\n", n, b);

  27.     mpz_inits(ns1, t, r, NULL_TERMINATED);
  28.     mpz_init_set_ui(b1, b);// b1=b

  29.     mpz_sub_ui(ns1, n, 1);// ns1=n-1
  30.     s = mpz_scan1(ns1, 0);
  31.     mpz_tdiv_q_2exp(t, ns1, s);// ns1=2^s*t, t%2=1

  32.     mpz_powm(r, b1, t, n);
  33.     if (mpz_cmp_ui(r, 1) == 0 || mpz_cmp(r, ns1) == 0)
  34.         result = true;
  35.     else
  36.     {
  37.         result = false;
  38.         for (unsigned long i = 1; i < s; i ++)
  39.         {
  40.             mpz_powm_ui(r, r, 2, n);
  41.             if (mpz_cmp(r, ns1) == 0)
  42.             {
  43.                 result = true;
  44.                 break;
  45.             }
  46.         }
  47.     }
  48.     //gmp_printf("MR(%Zd, %d) = %d\n", n, b, result);
  49.     mpz_clears(ns1, t, b1, r, NULL_TERMINATED);
  50.     return result;
  51. }

  52. const unsigned long step = 100000000;
  53. char  *buff;
  54. unsigned long cnt = 0;
  55. unsigned long small[1227][2];
  56. unsigned long p100[] = { 2,  3,  5,  7, 11,
  57.                         13, 17, 19, 23, 29,
  58.                         31, 37, 41, 43, 47,
  59.                         53, 59, 61, 67, 71,
  60.                         73, 79, 83, 89, 97};

  61. //p < 10000
  62. unsigned long ord(unsigned long p)
  63. {
  64.     unsigned long factor[16];
  65.     unsigned long s = 0;
  66.     unsigned long n = p - 1;
  67.     mpz_t b, tmp, mp;
  68.     mpz_init_set_ui(b, 2);
  69.     mpz_init_set_ui(mp, p);
  70.     mpz_init(tmp);
  71.     for (int i = 0; i < 25; i ++)
  72.     {
  73.         if (n%p100[i] == 0)
  74.             do
  75.             {
  76.                 factor[s++] = p100[i];
  77.                 n /= p100[i];
  78.             } while (n%p100[i] == 0);
  79.     }

  80.     n = p - 1;
  81.     for (int i = 0; i < s; i++)
  82.     {
  83.         mpz_powm_ui(tmp, b, n / factor[i], mp);
  84.         if (mpz_cmp_ui(tmp, 1) == 0)
  85.             n /= factor[i];
  86.     }
  87.     if (n%2==1)
  88.         n*=2;
  89.     mpz_clears(b, tmp, mp, NULL_TERMINATED);
  90.     return n;
  91. }

  92. // 实际测试值=base + index*step + [1..step]
  93. void init( mpz_t base, unsigned long index )
  94. {
  95.     mpz_t tmp, tmp1;
  96.     mpz_set_ui(base, 10);
  97.     mpz_pow_ui(base, base, 28);
  98.     mpz_init_set_ui(tmp, step);
  99.     mpz_mul_ui(tmp, tmp, index);
  100.     mpz_add(base, base, tmp);

  101.     buff = (char *)malloc(step);
  102.     for (long i = 0; i < step; i += 2)
  103.         buff[i] = 0;
  104.     for (long i = 1; i < step; i += 2)
  105.         buff[i] = 1;
  106.       
  107.     unsigned long i = 0;
  108.     mpz_init_set_ui(tmp1, 3);
  109.     while (i < 1227)
  110.     {
  111.         mpz_nextprime(tmp, tmp1);
  112.         mpz_set(tmp1, tmp);
  113.         small[i][0] = mpz_get_ui(tmp);
  114.         small[i][1] = ord(small[i][0]);
  115.         i++;
  116.     }

  117.     mpz_clears(tmp, tmp1, NULL_TERMINATED);
  118. }

  119. bool quickTest( mpz_t n )
  120. {
  121.     //gmp_printf("%Zd quick test...\n", n); fflush(stdout);
  122.     unsigned long b[] = {3, 5, 7, 11, 13};
  123.     for (int i = 0; i < sizeof(b)/sizeof(unsigned long); i++)
  124.         if (!millerrabinTest(n, b[i]))
  125.             return false;
  126.     return true;
  127. }

  128. void check(mpz_t base, long i)
  129. {
  130.     mpz_t n;
  131.     mpz_init(n);
  132.     mpz_add_ui(n, base, i);
  133.     if (fermatTest(n, 2))
  134.         if (millerrabinTest(n, 2))
  135.         {
  136.                 //gmp_printf("quick test.....\n");
  137.             if (!quickTest(n))
  138.             #pragma omp critical
  139.             {
  140.                 gmp_printf("%Zd : SPSP(2)\n", n);
  141.             }
  142.         }
  143.         else
  144.         #pragma omp critical
  145.         {
  146.             gmp_printf("%Zd : PSP(2)\n", n);   
  147.         }
  148.     mpz_clear(n);
  149.     #pragma omp atomic
  150.     cnt++;
  151. }

  152. void testFunc( mpz_t base )
  153. {
  154.     mpz_t q, r, q1;
  155.     mpz_inits(q, r, q1, NULL_TERMINATED);
  156.     gmp_printf("start: %Zd\n", base);
  157.     for (long i = 0; i < 1227; i ++)
  158.     {
  159.         mpz_fdiv_qr_ui(q, r, base, small[i][0]);
  160.         mpz_mod_ui(q1, q, small[i][1]);
  161.         unsigned long q2 = mpz_get_ui(q1);
  162.         unsigned long r1 = mpz_get_ui(r);
  163.         r1 = small[i][0] - r1;
  164.         q2 = (q2+1)%small[i][1];
  165.         if (r1%2==0)
  166.         {
  167.             r1 += small[i][0];
  168.             q2 = (q2+1)%small[i][1];
  169.         }
  170.         while (r1 < step)
  171.         {
  172.             if (q2 != 1)
  173.                 buff[r1] = 0;
  174.             r1 += 2*small[i][0];
  175.             q2 = (q2+2)%small[i][1];
  176.         }
  177.     }

  178.     #pragma omp parallel for schedule(static,20)
  179.     for (long i = 1; i < step; i += 2)
  180.         if (buff[i] == 1)
  181.             check(base, i);

  182.     mpz_clears(q, r, q1, NULL_TERMINATED);
  183. }

  184. void clear( void )
  185. {
  186.     free(buff);
  187. }

  188. int main( void )
  189. {
  190.     mpz_t base;
  191.     mpz_init(base);
  192.     init( base, 0 );
  193.     testFunc( base );
  194.     printf("%d fermat test\n", cnt);
  195.     mpz_clear(base);
  196.     clear();
  197.     return 0;
  198. }
复制代码
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2020-12-8 10:09:18 | 显示全部楼层
100万范围的测试,50万个奇数
2.5G主频处理器,单线程
一次Fermat测试,6次Miller Robin测试

C 1.18秒, Julia 2.65秒, go 6.46秒

C
  1. #include<gmp.h>
  2. #include<stdbool.h>
  3. #include<stdio.h>
  4. #include<stdlib.h>
  5. #define NULL_TERMINATED                0

  6. bool fermatTest( const mpz_t n, unsigned long b)
  7. {
  8.     mpz_t r, b1, ns1;
  9.    
  10.     mpz_inits(r, ns1, NULL_TERMINATED);
  11.     mpz_init_set_ui(b1, b);
  12.    
  13.     mpz_sub_ui(ns1, n, 1);
  14.     mpz_powm(r, b1, ns1, n);
  15.    
  16.     bool result = mpz_cmp_ui(r, 1) == 0;
  17.     mpz_clears(r, b1, ns1, NULL_TERMINATED);
  18.     return result;
  19. }

  20. bool millerrabinTest( const mpz_t n, unsigned long b )
  21. {
  22.     mpz_t ns1, t, b1, r;
  23.     unsigned long s;
  24.     bool result;

  25.     mpz_inits(ns1, t, r, NULL_TERMINATED);
  26.     mpz_init_set_ui(b1, b);// b1=b

  27.     mpz_sub_ui(ns1, n, 1);// ns1=n-1
  28.     s = mpz_scan1(ns1, 0);
  29.     mpz_tdiv_q_2exp(t, ns1, s);// ns1=2^s*t, t%2=1

  30.     mpz_powm(r, b1, t, n);
  31.     if (mpz_cmp_ui(r, 1) == 0 || mpz_cmp(r, ns1) == 0)
  32.         result = true;
  33.     else
  34.     {
  35.         result = false;
  36.         for (unsigned long i = 1; i < s; i ++)
  37.         {
  38.             mpz_powm_ui(r, r, 2, n);
  39.             if (mpz_cmp(r, ns1) == 0)
  40.             {
  41.                 result = true;
  42.                 break;
  43.             }
  44.         }
  45.     }
  46.     mpz_clears(ns1, t, b1, r, NULL_TERMINATED);
  47.     return result;
  48. }

  49. const long step = 1000000;

  50. void init( mpz_t base, int idx)
  51. {
  52.     mpz_t tmp;
  53.     mpz_set_ui(base, 10);
  54.     mpz_pow_ui(base, base, 28);
  55.     mpz_init_set_ui(tmp, step);
  56.     mpz_mul_ui(tmp, tmp, idx);
  57.     mpz_add(base, base, tmp);
  58.     mpz_clears(tmp, NULL_TERMINATED);
  59. }

  60. bool quickTest( mpz_t n )
  61. {
  62.     //gmp_printf("%Zd quick test...\n", n); fflush(stdout);
  63.     unsigned long b[] = {3, 5, 7, 11, 13};
  64.     for (int i = 0; i < sizeof(b)/sizeof(unsigned long); i++)
  65.         if (!millerrabinTest(n, b[i]))
  66.             return false;
  67.     return true;
  68. }

  69. void check(mpz_t base, long i)
  70. {
  71.     mpz_t n;
  72.     mpz_init(n);
  73.     mpz_add_ui(n, base, i);
  74.     if (fermatTest(n, 2))
  75.         if (millerrabinTest(n, 2))
  76.         {
  77.             if (!quickTest(n))
  78.             {
  79.                 gmp_printf("%Zd : SPSP(2)\n", n);
  80.             }
  81.         }
  82.         else
  83.         {
  84.             gmp_printf("%Zd : PSP(2)\n", n);   
  85.         }
  86.     mpz_clear(n);
  87. }

  88. void testFunc( mpz_t base )
  89. {
  90.     mpz_t q, r, q1;
  91.     mpz_inits(q, r, q1, NULL_TERMINATED);
  92.     for (long i = 1; i < step; i += 2)
  93.         check(base, i);

  94.     mpz_clears(q, r, q1, NULL_TERMINATED);
  95. }

  96. int main( int argc, char * argv[] )
  97. {
  98.     mpz_t base;
  99.     mpz_init(base);
  100.     init( base, 0);
  101.     gmp_printf("%Zd start...\n", base);
  102.     testFunc( base );
  103.     mpz_clear(base);
  104.     return 0;
  105. }
复制代码


Julia
  1. using Primes

  2. global function fermatTest(n, b)
  3.     a = powermod(b, n-1, n)
  4.     return (a == 1)
  5. end

  6. global function millerRabinTest( n, b )
  7.     k = trailing_zeros(n-1)
  8.     m = (n-1) >> k
  9.     a = powermod(b, m, n)
  10.     if (a == 1) || (a == (n-1))
  11.         return true
  12.     else
  13.         for i in 1:k-1
  14.             a = powermod(a, 2, n)
  15.             if a == n - 1
  16.                 return true
  17.             end
  18.         end
  19.     end
  20.     return false
  21. end

  22. global function quickTest(n)
  23.     for b in [3, 5, 7, 11, 13]
  24.         if !millerRabinTest(n, b)
  25.             return false
  26.         end
  27.     end
  28.     return true
  29. end

  30. global b28 = big(10)^28

  31. @time begin
  32.     for i in range(1, step = 2, stop = 999999)
  33.         test = b28 + i

  34.         if fermatTest(test, 2)
  35.             if millerRabinTest(test, 2)
  36.                 if !quickTest(test)
  37.                     println("$test is SPSP(2)")
  38.                 end
  39.             else
  40.                 println("$test is PSP(2)")
  41.             end
  42.         end
  43.     end
  44. end
复制代码


Go
  1. package main

  2. import (
  3.         "fmt"
  4.         "math/big"
  5.         "time"
  6. )

  7. func fermatTest(n *big.Int, b int64) bool {
  8.         ns1 := big.NewInt(0)
  9.         ns1.Set(n)
  10.         one := big.NewInt(1)
  11.         b1 := big.NewInt(b)
  12.         ns1.Sub(ns1, one)
  13.         ns1.Exp(b1, ns1, n)
  14.         return ns1.Cmp(one) == 0
  15. }

  16. func millerRabinTest(n *big.Int, b *big.Int) bool {
  17.         s := int(0)
  18.         ns1 := big.NewInt(0)
  19.         ns1.Set(n)
  20.         one := big.NewInt(1)
  21.         two := big.NewInt(2)
  22.         ns1.Sub(ns1, one)
  23.         t := big.NewInt(0)
  24.         t.Set(ns1)
  25.         for t.Bit(0) == 0 {
  26.                 s++
  27.                 t.Rsh(t, 1)
  28.         }
  29.         t.Exp(b, t, n)
  30.         if t.Cmp(one) == 0 || t.Cmp(ns1) == 0 {
  31.                 return true
  32.         }
  33.         for i := 1; i < s; i++ {
  34.                 t.Exp(t, two, n)
  35.                 if t.Cmp(ns1) == 0 {
  36.                         return true
  37.                 }
  38.         }
  39.         return false
  40. }

  41. func quickTest(n *big.Int) bool {
  42.         for _, t := range []int64{3, 5, 7, 11, 13} {
  43.                 b := big.NewInt(t)
  44.                 if !millerRabinTest(n, b) {
  45.                         return false
  46.                 }
  47.         }
  48.         return true
  49. }

  50. func main() {
  51.         t0 := time.Now()
  52.         b := big.NewInt(10)
  53.         n28 := big.NewInt(28)
  54.         two := big.NewInt(2)
  55.         b.Exp(b, n28, nil)
  56.         for i := 1; i < 1000000; i += 2 {
  57.                 t := big.NewInt(int64(i))
  58.                 t.Add(b, t)
  59.                 if fermatTest(t, 2) {
  60.                         if millerRabinTest(t, two) {
  61.                                 if !quickTest(t) {
  62.                                         fmt.Println(t.String(), " is SPSP(2)")
  63.                                 }
  64.                         } else {
  65.                                 fmt.Println(t.String(), " is PSP(2)")
  66.                         }
  67.                 }

  68.         }
  69.         fmt.Println(time.Since(t0).String())
  70. }
复制代码

点评

刚加了统计,也是1552676素数  发表于 2020-12-9 10:45
我刚想写rust,发现这玩意的gmp-mpfr-mpc不支持windows msvc,只支持msys  发表于 2020-12-9 09:02
为什么go都用上了还不用rust:)以及,能统计一下你搜到了多少个素数吗?这个数字可以用来检验计算是否正确  发表于 2020-12-8 17:20
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2020-12-8 20:26:48 | 显示全部楼层
本帖最后由 .·.·. 于 2020-12-8 21:40 编辑

fermat.7z (91.59 KB, 下载次数: 0) rust 优化版
  1. from=10000000000000000000000000001,len=250
  2. 10000000000000000000100000001.1552676,0,34.23762839s
复制代码
搜索前一亿个数字,不开并行,34.23762839s(得到1552676个素数,与之前的程序一致)使用nightly版本的rust,代码如下:
  1. #![feature(slice_fill)]
  2. use rug::{Assign, Integer};
  3. const SIEVE_SIZE:usize=200000;
  4. const PRIME_SIZE:usize=include!("final.txt").len();
  5. const PRIME_MAP:[[i32;2];PRIME_SIZE]=include!("final.txt");
  6. fn main() {
  7.     const CONSTARR:[u128;7]=[1u128<<1,1u128<<2,1u128<<4,1u128<<8,1u128<<16,1u128<<32,1u128<<64];
  8.     let now=std::time::Instant::now();
  9.     let arguments: Vec<String> = std::env::args().collect();
  10.     let begin=if let Some(x)=arguments.get(2){x.parse::<u128>().unwrap_or(0)}else{0};
  11.     let len=if let Some(x)=arguments.get(1){x.parse::<u128>().unwrap_or(250)}else{250};
  12.     let start=10000000000000000000000000000u128+begin*len;
  13.     let mut am1=Integer::from(start);
  14.     let mut a=Integer::from(start+1);
  15.     println!("from={},len={}",a,len);
  16.     let mut b=Integer::from(2);
  17.     let mut am1d=Integer::from(0);
  18.     let mut prime=0u64;
  19.     let mut psp=0u64;
  20.     let mut sieve=[true;SIEVE_SIZE];
  21.     let mut prime_curr=[0;PRIME_SIZE];
  22.     let mut prime_order=[0;PRIME_SIZE];
  23.     for i in 0..PRIME_SIZE{
  24.         let t=(start%PRIME_MAP[i][0] as u128) as i32;
  25.         let next= if t==0{
  26.             start+PRIME_MAP[i][0] as u128
  27.         }else{
  28.             let mut tmp=start-(t as u128)+PRIME_MAP[i][0] as u128;
  29.             if tmp%2==0{tmp+=PRIME_MAP[i][0] as u128}
  30.             tmp
  31.         };
  32.         let count=next/PRIME_MAP[i][0] as u128;
  33.         prime_curr[i]=((next-start)>>1) as i32;
  34.         prime_order[i]=PRIME_MAP[i][1]-((count>>1)%PRIME_MAP[i][1] as u128) as i32
  35.     }
  36.     for _i in 0..len{
  37.         sieve.fill(true);
  38.         for (i,&[prime,order]) in PRIME_MAP.iter().enumerate(){
  39.             let mut cur=prime_curr[i];
  40.             let mut ord=prime_order[i];
  41.             while cur<SIEVE_SIZE as i32{
  42.                 if ord==0{
  43.                     ord=order
  44.                 }else{
  45.                     sieve[cur as usize]=false
  46.                 }
  47.                 cur+=prime;
  48.                 ord-=1
  49.             }
  50.             prime_curr[i]=cur-SIEVE_SIZE as i32;
  51.             prime_order[i]=ord
  52.         }
  53.         for test in &sieve{
  54.             if *test{
  55.                 let aa=am1.find_one(0).unwrap().min(6);
  56.                 am1d.assign(&am1>>aa);
  57.                 if {b.assign(CONSTARR[aa as usize]);let _=b.pow_mod_mut(&am1d,&a);b==1u8}{//Fermat
  58.                     psp+=1;
  59.                     if {b.assign(2u8);//Miller-Rabin
  60.                         let aa=a.find_one(0).unwrap();
  61.                         am1d.assign(&am1>>aa);
  62.                         let _=b.pow_mod_mut(&am1d,&a);
  63.                         (b==1 || b==am1 )||{
  64.                             let mut f=false;
  65.                             for _ in 0..aa{
  66.                                 let _=b.pow_mod_mut(&Integer::from(2),&a);
  67.                                 if b==am1{f=true;break}
  68.                             }
  69.                             f
  70.                         }
  71.                     }{
  72.                         if a.is_probably_prime(25)==rug::integer::IsPrime::No{
  73.                             println!("{} is SPSP(2)",a)
  74.                         }else{prime+=1}
  75.                     }else{println!("{} is PSP(2)",a)}
  76.                 }
  77.             }
  78.             a+=2;
  79.             am1+=2;
  80.         }
  81.     }
  82.     println!("{}.{},{},{:?}",a,prime,prime-psp,now.elapsed());
  83. }
复制代码
其中final.txt是大于3小于100000的全部9590个素数,以及其order或其order的一半(如果order能被2整除)
可以用gp+python生成这个order列表(gp生成python排版,不换行的话对眼睛和文本编辑器都不怎么友好)
生成用代码如下
  1. '''
  2. #generate by GP:
  3. echo "print(vector(primepi(100000)-2,i,my(a=prime(i+2));b=znorder(Mod(2,a));[a,if(b%2==0,b>>1,b)]))" | gp -fq > primev2.txt
  4. #processing by python:
  5. with open('primesv2.txt') as f:g=eval(f.read())
  6. #finally print result:
  7. with open('final.txt','w') as f:
  8.   _=f.write('[')
  9.   t=0
  10.   for i in g:
  11.     _=f.write(str(i)+',')
  12.     t+=1
  13.     if t==10:
  14.       t=0
  15.       _=f.write('\n')
  16.   _=f.write(']')
  17. '''
复制代码
成品:
  1. [[5, 2],[7, 3],[11, 5],[13, 6],[17, 4],[19, 9],[23, 11],[29, 14],[31, 5],[37, 18],
  2. [41, 10],[43, 7],[47, 23],[53, 26],[59, 29],[61, 30],[67, 33],[71, 35],[73, 9],[79, 39],
  3. [83, 41],[89, 11],[97, 24],[101, 50],[103, 51],[107, 53],[109, 18],[113, 14],[127, 7],[131, 65],
  4. [137, 34],[139, 69],[149, 74],[151, 15],[157, 26],[163, 81],[167, 83],[173, 86],[179, 89],[181, 90],
  5. [191, 95],[193, 48],[197, 98],[199, 99],[211, 105],[223, 37],[227, 113],[229, 38],[233, 29],[239, 119],
  6. [241, 12],[251, 25],[257, 8],[263, 131],[269, 134],[271, 135],[277, 46],[281, 35],[283, 47],[293, 146],
  7. [307, 51],[311, 155],[313, 78],[317, 158],[331, 15],[337, 21],[347, 173],[349, 174],[353, 44],[359, 179],
  8. [367, 183],[373, 186],[379, 189],[383, 191],[389, 194],[397, 22],[401, 100],[409, 102],[419, 209],[421, 210],
  9. [431, 43],[433, 36],[439, 73],[443, 221],[449, 112],[457, 38],[461, 230],[463, 231],[467, 233],[479, 239],
  10. [487, 243],[491, 245],[499, 83],[503, 251],[509, 254],[521, 130],[523, 261],[541, 270],[547, 273],[557, 278],
  11. [563, 281],[569, 142],[571, 57],[577, 72],[587, 293],[593, 74],[599, 299],[601, 25],[607, 303],[613, 306],
  12. [617, 77],[619, 309],[631, 45],[641, 32],[643, 107],[647, 323],[653, 326],[659, 329],[661, 330],[673, 24],
  13. [677, 338],[683, 11],[691, 115],[701, 350],[709, 354],[719, 359],[727, 121],[733, 122],[739, 123],[743, 371],
  14. [751, 375],[757, 378],[761, 190],[769, 192],[773, 386],[787, 393],[797, 398],[809, 202],[811, 135],[821, 410],
  15. [823, 411],[827, 413],[829, 414],[839, 419],[853, 426],[857, 214],[859, 429],[863, 431],[877, 438],[881, 55],
  16. [883, 441],[887, 443],[907, 453],[911, 91],[919, 153],[929, 232],[937, 117],[941, 470],[947, 473],[953, 34],
  17. [967, 483],[971, 97],[977, 244],[983, 491],[991, 495],[997, 166],[1009, 252],[1013, 46],[1019, 509],[1021, 170],
  18. [1031, 515],[1033, 129],[1039, 519],[1049, 131],[1051, 175],[1061, 530],[1063, 531],[1069, 178],[1087, 543],[1091, 545],
  19. [1093, 182],[1097, 137],[1103, 29],[1109, 554],[1117, 558],[1123, 561],[1129, 282],[1151, 575],[1153, 144],[1163, 83],
  20. [1171, 585],[1181, 118],[1187, 593],[1193, 149],[1201, 150],[1213, 606],[1217, 76],[1223, 611],[1229, 614],[1231, 615],
  21. [1237, 618],[1249, 78],[1259, 629],[1277, 638],[1279, 639],[1283, 641],[1289, 161],[1291, 645],[1297, 324],[1301, 650],
  22. [1303, 651],[1307, 653],[1319, 659],[1321, 30],[1327, 221],[1361, 340],[1367, 683],[1373, 686],[1381, 690],[1399, 233],
  23. [1409, 352],[1423, 237],[1427, 713],[1429, 42],[1433, 179],[1439, 719],[1447, 723],[1451, 725],[1453, 726],[1459, 243],
  24. [1471, 245],[1481, 185],[1483, 741],[1487, 743],[1489, 372],[1493, 746],[1499, 749],[1511, 755],[1523, 761],[1531, 765],
  25. [1543, 771],[1549, 774],[1553, 97],[1559, 779],[1567, 783],[1571, 785],[1579, 263],[1583, 791],[1597, 266],[1601, 200],
  26. [1607, 803],[1609, 201],[1613, 26],[1619, 809],[1621, 810],[1627, 271],[1637, 818],[1657, 46],[1663, 831],[1667, 833],
  27. [1669, 834],[1693, 846],[1697, 424],[1699, 283],[1709, 122],[1721, 215],[1723, 287],[1733, 866],[1741, 870],[1747, 873],
  28. [1753, 73],[1759, 879],[1777, 37],[1783, 891],[1787, 893],[1789, 298],[1801, 25],[1811, 181],[1823, 911],[1831, 305],
  29. [1847, 923],[1861, 930],[1867, 933],[1871, 935],[1873, 468],[1877, 938],[1879, 939],[1889, 236],[1901, 950],[1907, 953],
  30. [1913, 239],[1931, 965],[1933, 322],[1949, 974],[1951, 975],[1973, 986],[1979, 989],[1987, 993],[1993, 498],[1997, 998],
  31. [1999, 333],[2003, 143],[2011, 201],[2017, 168],[2027, 1013],[2029, 1014],[2039, 1019],[2053, 1026],[2063, 1031],[2069, 1034],
  32. [2081, 520],[2083, 1041],[2087, 1043],[2089, 29],[2099, 1049],[2111, 1055],[2113, 22],[2129, 266],[2131, 1065],[2137, 534],
  33. [2141, 1070],[2143, 51],[2153, 538],[2161, 540],[2179, 363],[2203, 367],[2207, 1103],[2213, 1106],[2221, 1110],[2237, 1118],
  34. [2239, 1119],[2243, 1121],[2251, 375],[2267, 1133],[2269, 1134],[2273, 284],[2281, 95],[2287, 381],[2293, 1146],[2297, 574],
  35. [2309, 1154],[2311, 1155],[2333, 1166],[2339, 1169],[2341, 390],[2347, 391],[2351, 47],[2357, 1178],[2371, 1185],[2377, 594],
  36. [2381, 238],[2383, 397],[2389, 1194],[2393, 299],[2399, 1199],[2411, 241],[2417, 604],[2423, 1211],[2437, 1218],[2441, 305],
  37. [2447, 1223],[2459, 1229],[2467, 1233],[2473, 309],[2477, 1238],[2503, 1251],[2521, 630],[2531, 1265],[2539, 1269],[2543, 1271],
  38. [2549, 1274],[2551, 1275],[2557, 1278],[2579, 1289],[2591, 1295],[2593, 81],[2609, 652],[2617, 654],[2621, 1310],[2633, 658],
  39. [2647, 1323],[2657, 83],[2659, 1329],[2663, 1331],[2671, 445],[2677, 1338],[2683, 1341],[2687, 79],[2689, 112],[2693, 1346],
  40. [2699, 1349],[2707, 1353],[2711, 1355],[2713, 678],[2719, 1359],[2729, 682],[2731, 13],[2741, 1370],[2749, 458],[2753, 688],
  41. [2767, 461],[2777, 694],[2789, 1394],[2791, 465],[2797, 1398],[2801, 700],[2803, 1401],[2819, 1409],[2833, 59],[2837, 1418],
  42. [2843, 1421],[2851, 1425],[2857, 51],[2861, 1430],[2879, 1439],[2887, 1443],[2897, 724],[2903, 1451],[2909, 1454],[2917, 486],
  43. [2927, 1463],[2939, 1469],[2953, 246],[2957, 1478],[2963, 1481],[2969, 371],[2971, 55],[2999, 1499],[3001, 750],[3011, 1505],
  44. [3019, 1509],[3023, 1511],[3037, 1518],[3041, 760],[3049, 381],[3061, 102],[3067, 1533],[3079, 1539],[3083, 1541],[3089, 386],
  45. [3109, 222],[3119, 1559],[3121, 78],[3137, 392],[3163, 527],[3167, 1583],[3169, 792],[3181, 530],[3187, 1593],[3191, 55],
  46. [3203, 1601],[3209, 802],[3217, 402],[3221, 322],[3229, 538],[3251, 325],[3253, 1626],[3257, 407],[3259, 543],[3271, 545],
  47. [3299, 1649],[3301, 330],[3307, 1653],[3313, 414],[3319, 1659],[3323, 1661],[3329, 832],[3331, 111],[3343, 557],[3347, 1673],
  48. [3359, 1679],[3361, 84],[3371, 1685],[3373, 562],[3389, 242],[3391, 113],[3407, 1703],[3413, 1706],[3433, 858],[3449, 431],
  49. [3457, 288],[3461, 1730],[3463, 577],[3467, 1733],[3469, 1734],[3491, 1745],[3499, 1749],[3511, 1755],[3517, 1758],[3527, 1763],
  50. [3529, 441],[3533, 1766],[3539, 1769],[3541, 118],[3547, 1773],[3557, 1778],[3559, 1779],[3571, 1785],[3581, 1790],[3583, 1791],
  51. [3593, 898],[3607, 601],[3613, 1806],[3617, 904],[3623, 1811],[3631, 605],[3637, 1818],[3643, 1821],[3659, 1829],[3671, 1835],
  52. [3673, 459],[3677, 1838],[3691, 1845],[3697, 924],[3701, 1850],[3709, 1854],[3719, 1859],[3727, 1863],[3733, 1866],[3739, 267],
  53. [3761, 94],[3767, 1883],[3769, 942],[3779, 1889],[3793, 948],[3797, 1898],[3803, 1901],[3821, 382],[3823, 637],[3833, 479],
  54. [3847, 1923],[3851, 1925],[3853, 1926],[3863, 1931],[3877, 1938],[3881, 194],[3889, 324],[3907, 1953],[3911, 1955],[3917, 1958],
  55. [3919, 1959],[3923, 1961],[3929, 982],[3931, 1965],[3943, 219],[3947, 1973],[3967, 1983],[3989, 1994],[4001, 500],[4003, 2001],
  56. [4007, 2003],[4013, 2006],[4019, 2009],[4021, 2010],[4027, 671],[4049, 253],[4051, 25],[4057, 169],[4073, 1018],[4079, 2039],
  57. [4091, 2045],[4093, 2046],[4099, 2049],[4111, 2055],[4127, 2063],[4129, 344],[4133, 2066],[4139, 2069],[4153, 173],[4157, 2078],
  58. [4159, 2079],[4177, 87],[4201, 525],[4211, 421],[4217, 527],[4219, 2109],[4229, 2114],[4231, 2115],[4241, 1060],[4243, 2121],
  59. [4253, 2126],[4259, 2129],[4261, 2130],[4271, 305],[4273, 267],[4283, 2141],[4289, 536],[4297, 537],[4327, 2163],[4337, 1084],
  60. [4339, 723],[4349, 2174],[4357, 2178],[4363, 2181],[4373, 2186],[4391, 2195],[4397, 2198],[4409, 551],[4421, 170],[4423, 737],
  61. [4441, 1110],[4447, 2223],[4451, 2225],[4457, 557],[4463, 2231],[4481, 280],[4483, 2241],[4493, 2246],[4507, 2253],[4513, 47],
  62. [4517, 2258],[4519, 753],[4523, 133],[4547, 2273],[4549, 758],[4561, 1140],[4567, 761],[4583, 2291],[4591, 2295],[4597, 766],
  63. [4603, 2301],[4621, 2310],[4637, 2318],[4639, 2319],[4643, 211],[4649, 1162],[4651, 775],[4657, 194],[4663, 777],[4673, 1168],
  64. [4679, 2339],[4691, 2345],[4703, 2351],[4721, 295],[4723, 2361],[4729, 394],[4733, 182],[4751, 475],[4759, 793],[4783, 2391],
  65. [4787, 2393],[4789, 2394],[4793, 1198],[4799, 2399],[4801, 600],[4813, 2406],[4817, 602],[4831, 2415],[4861, 486],[4871, 487],
  66. [4877, 2438],[4889, 1222],[4903, 2451],[4909, 818],[4919, 2459],[4931, 493],[4933, 2466],[4937, 617],[4943, 2471],[4951, 2475],
  67. [4957, 2478],[4967, 2483],[4969, 1242],[4973, 2486],[4987, 2493],[4993, 312],[4999, 357],[5003, 2501],[5009, 1252],[5011, 2505],
  68. [5021, 502],[5023, 2511],[5039, 2519],[5051, 2525],[5059, 2529],[5077, 2538],[5081, 635],[5087, 2543],[5099, 2549],[5101, 850],
  69. [5107, 2553],[5113, 213],[5119, 2559],[5147, 2573],[5153, 56],[5167, 861],[5171, 2585],[5179, 2589],[5189, 2594],[5197, 866],
  70. [5209, 217],[5227, 2613],[5231, 2615],[5233, 654],[5237, 374],[5261, 2630],[5273, 1318],[5279, 377],[5281, 1320],[5297, 331],
  71. [5303, 2651],[5309, 2654],[5323, 887],[5333, 2666],[5347, 99],[5351, 2675],[5381, 538],[5387, 2693],[5393, 674],[5399, 2699],
  72. [5407, 2703],[5413, 902],[5417, 1354],[5419, 21],[5431, 2715],[5437, 906],[5441, 272],[5443, 2721],[5449, 454],[5471, 547],
  73. [5477, 2738],[5479, 2739],[5483, 2741],[5501, 2750],[5503, 917],[5507, 2753],[5519, 2759],[5521, 1380],[5527, 2763],[5531, 395],
  74. [5557, 2778],[5563, 2781],[5569, 232],[5573, 2786],[5581, 62],[5591, 2795],[5623, 2811],[5639, 2819],[5641, 282],[5647, 2823],
  75. [5651, 2825],[5653, 942],[5657, 1414],[5659, 2829],[5669, 218],[5683, 2841],[5689, 711],[5693, 2846],[5701, 2850],[5711, 571],
  76. [5717, 2858],[5737, 239],[5741, 2870],[5743, 2871],[5749, 2874],[5779, 2889],[5783, 2891],[5791, 2895],[5801, 1450],[5807, 2903],
  77. [5813, 2906],[5821, 194],[5827, 2913],[5839, 2919],[5843, 2921],[5849, 1462],[5851, 2925],[5857, 1464],[5861, 586],[5867, 419],
  78. [5869, 2934],[5879, 2939],[5881, 735],[5897, 1474],[5903, 2951],[5923, 2961],[5927, 2963],[5939, 2969],[5953, 496],[5981, 230],
  79. [5987, 2993],[6007, 1001],[6011, 3005],[6029, 3014],[6037, 1006],[6043, 159],[6047, 3023],[6053, 3026],[6067, 3033],[6073, 1518],
  80. [6079, 1013],[6089, 761],[6091, 1015],[6101, 3050],[6113, 1528],[6121, 765],[6131, 3065],[6133, 1022],[6143, 3071],[6151, 1025],
  81. [6163, 1027],[6173, 3086],[6197, 3098],[6199, 3099],[6203, 3101],[6211, 3105],[6217, 518],[6221, 622],[6229, 3114],[6247, 3123],
  82. [6257, 1564],[6263, 3131],[6269, 3134],[6271, 1045],[6277, 3138],[6287, 3143],[6299, 3149],[6301, 1050],[6311, 3155],[6317, 3158],
  83. [6323, 3161],[6329, 1582],[6337, 144],[6343, 3171],[6353, 397],[6359, 3179],[6361, 53],[6367, 3183],[6373, 3186],[6379, 3189],
  84. [6389, 3194],[6397, 3198],[6421, 1070],[6427, 1071],[6449, 403],[6451, 1075],[6469, 3234],[6473, 1618],[6481, 405],[6491, 3245],
  85. [6521, 815],[6529, 51],[6547, 3273],[6551, 3275],[6553, 117],[6563, 193],[6569, 821],[6571, 657],[6577, 1644],[6581, 658],
  86. [6599, 3299],[6607, 3303],[6619, 3309],[6637, 3318],[6653, 3326],[6659, 3329],[6661, 1110],[6673, 556],[6679, 159],[6689, 418],
  87. [6691, 3345],[6701, 3350],[6703, 3351],[6709, 3354],[6719, 3359],[6733, 3366],[6737, 1684],[6761, 845],[6763, 3381],[6779, 3389],
  88. [6781, 3390],[6791, 679],[6793, 849],[6803, 3401],[6823, 3411],[6827, 3413],[6829, 3414],[6833, 1708],[6841, 855],[6857, 857],
  89. [6863, 3431],[6869, 3434],[6871, 687],[6883, 3441],[6899, 3449],[6907, 3453],[6911, 3455],[6917, 3458],[6947, 3473],[6949, 3474],
  90. [6959, 497],[6961, 580],[6967, 1161],[6971, 3485],[6977, 1744],[6983, 3491],[6991, 3495],[6997, 1166],[7001, 250],[7013, 3506],
  91. [7019, 3509],[7027, 3513],[7039, 3519],[7043, 3521],[7057, 196],[7069, 3534],[7079, 3539],[7103, 3551],[7109, 3554],[7121, 445],
  92. [7127, 3563],[7129, 891],[7151, 325],[7159, 3579],[7177, 1794],[7187, 3593],[7193, 1798],[7207, 3603],[7211, 3605],[7213, 1202],
  93. [7219, 3609],[7229, 3614],[7237, 3618],[7243, 3621],[7247, 3623],[7253, 3626],[7283, 3641],[7297, 1824],[7307, 3653],[7309, 522],
  94. [7321, 610],[7331, 3665],[7333, 1222],[7349, 3674],[7351, 525],[7369, 614],[7393, 132],[7411, 3705],[7417, 1854],[7433, 1858],
  95. [7451, 3725],[7457, 1864],[7459, 3729],[7477, 3738],[7481, 935],[7487, 197],[7489, 234],[7499, 3749],[7507, 3753],[7517, 3758],
  96. [7523, 3761],[7529, 941],[7537, 628],[7541, 3770],[7547, 3773],[7549, 3774],[7559, 3779],[7561, 1890],[7573, 3786],[7577, 947],
  97. [7583, 3791],[7589, 3794],[7591, 3795],[7603, 3801],[7607, 3803],[7621, 3810],[7639, 1273],[7643, 3821],[7649, 1912],[7669, 3834],
  98. [7673, 1918],[7681, 1920],[7687, 3843],[7691, 3845],[7699, 1283],[7703, 3851],[7717, 3858],[7723, 1287],[7727, 3863],[7741, 1290],
  99. [7753, 323],[7757, 3878],[7759, 3879],[7789, 3894],[7793, 974],[7817, 977],[7823, 3911],[7829, 3914],[7841, 980],[7853, 3926],
  100. [7867, 437],[7873, 656],[7877, 3938],[7879, 3939],[7883, 3941],[7901, 3950],[7907, 3953],[7919, 3959],[7927, 1321],[7933, 3966],
  101. [7937, 1984],[7949, 3974],[7951, 3975],[7963, 1327],[7993, 999],[8009, 2002],[8011, 1335],[8017, 2004],[8039, 4019],[8053, 4026],
  102. [8059, 1343],[8069, 4034],[8081, 505],[8087, 4043],[8089, 2022],[8093, 4046],[8101, 50],[8111, 4055],[8117, 4058],[8123, 4061],
  103. [8147, 4073],[8161, 204],[8167, 1361],[8171, 4085],[8179, 4089],[8191, 13],[8209, 1026],[8219, 4109],[8221, 4110],[8231, 4115],
  104. [8233, 1029],[8237, 4118],[8243, 4121],[8263, 4131],[8269, 4134],[8273, 1034],[8287, 1381],[8291, 4145],[8293, 4146],[8297, 2074],
  105. [8311, 4155],[8317, 154],[8329, 2082],[8353, 232],[8363, 4181],[8369, 1046],[8377, 698],[8387, 4193],[8389, 1398],[8419, 1403],
  106. [8423, 4211],[8429, 4214],[8431, 4215],[8443, 4221],[8447, 4223],[8461, 846],[8467, 4233],[8501, 850],[8513, 2128],[8521, 2130],
  107. [8527, 4263],[8537, 1067],[8539, 4269],[8543, 4271],[8563, 4281],[8573, 4286],[8581, 330],[8597, 4298],[8599, 4299],[8609, 538],
  108. [8623, 4311],[8627, 4313],[8629, 1438],[8641, 2160],[8647, 4323],[8663, 4331],[8669, 4334],[8677, 4338],[8681, 62],[8689, 2172],
  109. [8693, 4346],[8699, 4349],[8707, 1451],[8713, 363],[8719, 1453],[8731, 4365],[8737, 2184],[8741, 4370],[8747, 4373],[8753, 2188],
  110. [8761, 365],[8779, 1463],[8783, 4391],[8803, 4401],[8807, 4403],[8819, 4409],[8821, 4410],[8831, 883],[8837, 4418],[8839, 4419],
  111. [8849, 2212],[8861, 4430],[8863, 1477],[8867, 4433],[8887, 4443],[8893, 1482],[8923, 4461],[8929, 248],[8933, 4466],[8941, 1490],
  112. [8951, 4475],[8963, 4481],[8969, 1121],[8971, 4485],[8999, 4499],[9001, 1125],[9007, 4503],[9011, 4505],[9013, 1502],[9029, 4514],
  113. [9041, 452],[9043, 1507],[9049, 2262],[9059, 4529],[9067, 1511],[9091, 909],[9103, 4551],[9109, 1518],[9127, 4563],[9133, 1522],
  114. [9137, 571],[9151, 4575],[9157, 654],[9161, 2290],[9173, 4586],[9181, 4590],[9187, 1531],[9199, 4599],[9203, 4601],[9209, 1151],
  115. [9221, 4610],[9227, 4613],[9239, 4619],[9241, 1155],[9257, 2314],[9277, 1546],[9281, 580],[9283, 4641],[9293, 4646],[9311, 4655],
  116. [9319, 4659],[9323, 4661],[9337, 1167],[9341, 4670],[9343, 4671],[9349, 4674],[9371, 4685],[9377, 1172],[9391, 4695],[9397, 4698],
  117. [9403, 1567],[9413, 362],[9419, 4709],[9421, 4710],[9431, 943],[9433, 2358],[9437, 4718],[9439, 1573],[9461, 946],[9463, 1577],
  118. [9467, 4733],[9473, 1184],[9479, 4739],[9491, 4745],[9497, 2374],[9511, 317],[9521, 238],[9533, 4766],[9539, 4769],[9547, 4773],
  119. [9551, 4775],[9587, 4793],[9601, 1200],[9613, 4806],[9619, 4809],[9623, 283],[9629, 4814],[9631, 1605],[9643, 4821],[9649, 201],
  120. [9661, 4830],[9677, 4838],[9679, 4839],[9689, 2422],[9697, 1212],[9719, 43],[9721, 405],[9733, 4866],[9739, 1623],[9743, 4871],
  121. [9749, 4874],[9767, 4883],[9769, 1221],[9781, 326],[9787, 1631],[9791, 4895],[9803, 4901],[9811, 1635],[9817, 818],[9829, 702],
  122. [9833, 2458],[9839, 4919],[9851, 4925],[9857, 2464],[9859, 4929],[9871, 4935],[9883, 4941],[9887, 4943],[9901, 4950],[9907, 4953],
  123. [9923, 4961],[9929, 146],[9931, 1655],[9941, 4970],[9949, 4974],[9967, 4983],[9973, 1662],[10007, 5003],[10009, 834],[10037, 5018],
  124. [10039, 1673],[10061, 1006],[10067, 5033],[10069, 5034],[10079, 5039],[10091, 5045],[10093, 5046],[10099, 5049],[10103, 5051],[10111, 5055],
  125. [10133, 5066],[10139, 5069],[10141, 5070],[10151, 5075],[10159, 1693],[10163, 5081],[10169, 82],[10177, 318],[10181, 5090],[10193, 2548],
  126. [10211, 1021],[10223, 5111],[10243, 569],[10247, 5123],[10253, 5126],[10259, 5129],[10267, 5133],[10271, 5135],[10273, 2568],[10289, 2572],
  127. [10301, 5150],[10303, 1717],[10313, 2578],[10321, 2580],[10331, 5165],[10333, 574],[10337, 646],[10343, 5171],[10357, 5178],[10369, 648],
  128. [10391, 5195],[10399, 5199],[10427, 5213],[10429, 1738],[10433, 652],[10453, 402],[10457, 1307],[10459, 5229],[10463, 5231],[10477, 5238],
  129. [10487, 5243],[10499, 5249],[10501, 5250],[10513, 1314],[10529, 2632],[10531, 1755],[10559, 5279],[10567, 5283],[10589, 5294],[10597, 1766],
  130. [10601, 2650],[10607, 5303],[10613, 5306],[10627, 759],[10631, 5315],[10639, 5319],[10651, 1775],[10657, 333],[10663, 1777],[10667, 5333],
  131. [10687, 5343],[10691, 5345],[10709, 5354],[10711, 1071],[10723, 5361],[10729, 2682],[10733, 5366],[10739, 767],[10753, 896],[10771, 1795],
  132. [10781, 1078],[10789, 5394],[10799, 5399],[10831, 5415],[10837, 5418],[10847, 5423],[10853, 5426],[10859, 5429],[10861, 5430],[10867, 5433],
  133. [10883, 5441],[10889, 1361],[10891, 5445],[10903, 1817],[10909, 5454],[10937, 1367],[10939, 1823],[10949, 5474],[10957, 1826],[10973, 5486],
  134. [10979, 5489],[10987, 5493],[10993, 1374],[11003, 5501],[11027, 5513],[11047, 5523],[11057, 1382],[11059, 1843],[11069, 5534],[11071, 5535],
  135. [11083, 5541],[11087, 5543],[11093, 5546],[11113, 463],[11117, 794],[11119, 51],[11131, 5565],[11149, 1858],[11159, 5579],[11161, 155],
  136. [11171, 5585],[11173, 1862],[11177, 1397],[11197, 5598],[11213, 5606],[11239, 5619],[11243, 803],[11251, 1125],[11257, 1407],[11261, 5630],
  137. [11273, 2818],[11279, 5639],[11287, 627],[11299, 807],[11311, 5655],[11317, 5658],[11321, 1415],[11329, 236],[11351, 5675],[11353, 2838],
  138. [11369, 2842],[11383, 5691],[11393, 2848],[11399, 5699],[11411, 815],[11423, 5711],[11437, 5718],[11443, 5721],[11447, 97],[11467, 819],
  139. [11471, 155],[11483, 5741],[11489, 2872],[11491, 1915],[11497, 2874],[11503, 5751],[11519, 5759],[11527, 5763],[11549, 5774],[11551, 1925],
  140. [11579, 5789],[11587, 5793],[11593, 2898],[11597, 446],[11617, 726],[11621, 5810],[11633, 727],[11657, 1457],[11677, 5838],[11681, 2920],
  141. [11689, 2922],[11699, 5849],[11701, 1170],[11717, 5858],[11719, 5859],[11731, 1955],[11743, 5871],[11777, 1472],[11779, 5889],[11783, 5891],
  142. [11789, 5894],[11801, 1475],[11807, 5903],[11813, 5906],[11821, 5910],[11827, 5913],[11831, 5915],[11833, 2958],[11839, 5919],[11863, 1977],
  143. [11867, 5933],[11887, 5943],[11897, 2974],[11903, 5951],[11909, 5954],[11923, 1987],[11927, 5963],[11933, 5966],[11939, 5969],[11941, 1194],
  144. [11953, 332],[11959, 1993],[11969, 1496],[11971, 1995],[11981, 5990],[11987, 5993],[12007, 667],[12011, 6005],[12037, 354],[12041, 1505],
  145. [12043, 6021],[12049, 753],[12071, 6035],[12073, 1509],[12097, 3024],[12101, 550],[12107, 6053],[12109, 2018],[12113, 3028],[12119, 6059],
  146. [12143, 6071],[12149, 6074],[12157, 6078],[12161, 1520],[12163, 2027],[12197, 6098],[12203, 6101],[12211, 6105],[12227, 6113],[12239, 6119],
  147. [12241, 255],[12251, 6125],[12253, 6126],[12263, 6131],[12269, 6134],[12277, 6138],[12281, 3070],[12289, 3072],[12301, 6150],[12323, 6161],
  148. [12329, 1541],[12343, 2057],[12347, 6173],[12373, 6186],[12377, 1547],[12379, 6189],[12391, 2065],[12401, 3100],[12409, 1551],[12413, 6206],
  149. [12421, 2070],[12433, 3108],[12437, 6218],[12451, 2075],[12457, 1557],[12473, 1559],[12479, 367],[12487, 6243],[12491, 6245],[12497, 1562],
  150. [12503, 329],[12511, 6255],[12517, 2086],[12527, 6263],[12539, 6269],[12541, 1254],[12547, 6273],[12553, 1569],[12569, 1571],[12577, 786],
  151. [12583, 2097],[12589, 6294],[12601, 3150],[12611, 6305],[12613, 6306],[12619, 6309],[12637, 6318],[12641, 395],[12647, 6323],[12653, 6326],
  152. [12659, 6329],[12671, 6335],[12689, 3172],[12697, 1587],[12703, 2117],[12713, 1589],[12721, 636],[12739, 6369],[12743, 6371],[12757, 6378],
  153. [12763, 6381],[12781, 6390],[12791, 6395],[12799, 2133],[12809, 3202],[12821, 6410],[12823, 6411],[12829, 6414],[12841, 535],[12853, 714],
  154. [12889, 3222],[12893, 586],[12899, 6449],[12907, 6453],[12911, 6455],[12917, 6458],[12919, 6459],[12923, 6461],[12941, 6470],[12953, 3238],
  155. [12959, 6479],[12967, 6483],[12973, 2162],[12979, 6489],[12983, 6491],[13001, 3250],[13003, 2167],[13007, 929],[13009, 1084],[13033, 3258],
  156. [13037, 6518],[13043, 6521],[13049, 1631],[13063, 2177],[13093, 2182],[13099, 177],[13103, 6551],[13109, 6554],[13121, 164],[13127, 6563],
  157. [13147, 6573],[13151, 6575],[13159, 6579],[13163, 6581],[13171, 1317],[13177, 1098],[13183, 6591],[13187, 6593],[13217, 1652],[13219, 2203],
  158. [13229, 6614],[13241, 3310],[13249, 3312],[13259, 947],[13267, 2211],[13291, 6645],[13297, 1108],[13309, 2218],[13313, 3328],[13327, 6663],
  159. [13331, 6665],[13337, 1667],[13339, 6669],[13367, 41],[13381, 1338],[13397, 6698],[13399, 2233],[13411, 6705],[13417, 1677],[13421, 1342],
  160. [13441, 840],[13451, 6725],[13457, 3364],[13463, 6731],[13469, 6734],[13477, 6738],[13487, 6743],[13499, 397],[13513, 3378],[13523, 6761],
  161. [13537, 3384],[13553, 308],[13567, 6783],[13577, 3394],[13591, 2265],[13597, 2266],[13613, 6806],[13619, 6809],[13627, 6813],[13633, 852],
  162. [13649, 3412],[13669, 102],[13679, 6839],[13681, 3420],[13687, 6843],[13691, 6845],[13693, 2282],[13697, 3424],[13709, 6854],[13711, 6855],
  163. [13721, 3430],[13723, 6861],[13729, 3432],[13751, 1375],[13757, 6878],[13759, 6879],[13763, 6881],[13781, 1378],[13789, 766],[13799, 6899],
  164. [13807, 6903],[13829, 6914],[13831, 6915],[13841, 1730],[13859, 6929],[13873, 3468],[13877, 6938],[13879, 6939],[13883, 6941],[13901, 6950],
  165. [13903, 6951],[13907, 6953],[13913, 1739],[13921, 1740],[13931, 6965],[13933, 6966],[13963, 537],[13967, 6983],[13997, 6998],[13999, 6999],
  166. [14009, 3502],[14011, 7005],[14029, 2338],[14033, 3508],[14051, 7025],[14057, 3514],[14071, 1407],[14081, 3520],[14083, 2347],[14087, 7043],
  167. [14107, 7053],[14143, 7071],[14149, 786],[14153, 3538],[14159, 7079],[14173, 7086],[14177, 3544],[14197, 2366],[14207, 7103],[14221, 7110],
  168. [14243, 7121],[14249, 1781],[14251, 1425],[14281, 1190],[14293, 794],[14303, 7151],[14321, 895],[14323, 231],[14327, 551],[14341, 7170],
  169. [14347, 2391],[14369, 1796],[14387, 7193],[14389, 7194],[14401, 1800],[14407, 2401],[14411, 7205],[14419, 7209],[14423, 7211],[14431, 1443],
  170. [14437, 2406],[14447, 7223],[14449, 42],[14461, 7230],[14479, 2413],[14489, 3622],[14503, 2417],[14519, 7259],[14533, 7266],[14537, 1817],
  171. [14543, 7271],[14549, 7274],[14551, 7275],[14557, 7278],[14561, 3640],[14563, 809],[14591, 1459],[14593, 608],[14621, 7310],[14627, 7313],
  172. [14629, 7314],[14633, 1829],[14639, 7319],[14653, 7326],[14657, 3664],[14669, 7334],[14683, 2447],[14699, 7349],[14713, 1839],[14717, 7358],
  173. [14723, 7361],[14731, 2455],[14737, 1842],[14741, 7370],[14747, 7373],[14753, 922],[14759, 7379],[14767, 2461],[14771, 7385],[14779, 2463],
  174. [14783, 7391],[14797, 7398],[14813, 7406],[14821, 7410],[14827, 7413],[14831, 7415],[14843, 7421],[14851, 7425],[14867, 7433],[14869, 7434],
  175. [14879, 7439],[14887, 7443],[14891, 7445],[14897, 931],[14923, 7461],[14929, 1866],[14939, 7469],[14947, 7473],[14951, 115],[14957, 7478],
  176. [14969, 1871],[14983, 7491],[15013, 7506],[15017, 1877],[15031, 7515],[15053, 7526],[15061, 7530],[15073, 157],[15077, 7538],[15083, 7541],
  177. [15091, 7545],[15101, 7550],[15107, 7553],[15121, 135],[15131, 7565],[15137, 3784],[15139, 7569],[15149, 7574],[15161, 3790],[15173, 7586],
  178. [15187, 7593],[15193, 211],[15199, 2533],[15217, 1902],[15227, 7613],[15233, 544],[15241, 381],[15259, 7629],[15263, 7631],[15269, 7634],
  179. [15271, 2545],[15277, 2546],[15287, 7643],[15289, 637],[15299, 7649],[15307, 2551],[15313, 1914],[15319, 7659],[15329, 3832],[15331, 7665],
  180. [15349, 7674],[15359, 7679],[15361, 1920],[15373, 7686],[15377, 3844],[15383, 7691],[15391, 7695],[15401, 3850],[15413, 7706],[15427, 7713],
  181. [15439, 2573],[15443, 7721],[15451, 309],[15461, 7730],[15467, 407],[15473, 3868],[15493, 2582],[15497, 3874],[15511, 7755],[15527, 7763],
  182. [15541, 1554],[15551, 1555],[15559, 2593],[15569, 973],[15581, 7790],[15583, 1113],[15601, 1300],[15607, 7803],[15619, 137],[15629, 7814],
  183. [15641, 3910],[15643, 869],[15647, 7823],[15649, 3912],[15661, 7830],[15667, 7833],[15671, 7835],[15679, 871],[15683, 7841],[15727, 2621],
  184. [15731, 7865],[15733, 2622],[15737, 3934],[15739, 7869],[15749, 7874],[15761, 1970],[15767, 7883],[15773, 7886],[15787, 7893],[15791, 7895],
  185. [15797, 7898],[15803, 7901],[15809, 247],[15817, 3954],[15823, 7911],[15859, 7929],[15877, 2646],[15881, 1985],[15887, 7943],[15889, 1324],
  186. [15901, 2650],[15907, 7953],[15913, 1326],[15919, 7959],[15923, 7961],[15937, 1328],[15959, 7979],[15971, 7985],[15973, 2662],[15991, 7995],
  187. [16001, 4000],[16007, 8003],[16033, 4008],[16057, 1338],[16061, 730],[16063, 8031],[16067, 8033],[16069, 8034],[16073, 574],[16087, 8043],
  188. [16091, 1609],[16097, 4024],[16103, 8051],[16111, 537],[16127, 8063],[16139, 8069],[16141, 1614],[16183, 279],[16187, 8093],[16189, 8094],
  189. [16193, 2024],[16217, 4054],[16223, 8111],[16229, 8114],[16231, 8115],[16249, 2031],[16253, 8126],[16267, 2711],[16273, 4068],[16301, 8150],
  190. [16319, 8159],[16333, 8166],[16339, 8169],[16349, 8174],[16361, 2045],[16363, 8181],[16369, 1364],[16381, 8190],[16411, 2735],[16417, 1026],
  191. [16421, 8210],[16427, 8213],[16433, 1027],[16447, 8223],[16451, 1645],[16453, 8226],[16477, 8238],[16481, 4120],[16487, 8243],[16493, 8246],
  192. [16519, 8259],[16529, 4132],[16547, 8273],[16553, 2069],[16561, 1380],[16567, 8283],[16573, 8286],[16603, 8301],[16607, 8303],[16619, 8309],
  193. [16631, 1663],[16633, 2079],[16649, 2081],[16651, 8325],[16657, 1388],[16661, 1666],[16673, 1042],[16691, 1669],[16693, 8346],[16699, 2783],
  194. [16703, 8351],[16729, 697],[16741, 2790],[16747, 8373],[16759, 8379],[16763, 8381],[16787, 8393],[16811, 1681],[16823, 8411],[16829, 8414],
  195. [16831, 765],[16843, 8421],[16871, 1687],[16879, 2813],[16883, 8441],[16889, 4222],[16901, 8450],[16903, 8451],[16921, 1410],[16927, 2821],
  196. [16931, 8465],[16937, 4234],[16943, 8471],[16963, 8481],[16979, 8489],[16981, 8490],[16987, 2831],[16993, 4248],[17011, 8505],[17021, 8510],
  197. [17027, 8513],[17029, 258],[17033, 2129],[17041, 1420],[17047, 8523],[17053, 8526],[17077, 8538],[17093, 8546],[17099, 8549],[17107, 2851],
  198. [17117, 778],[17123, 8561],[17137, 1071],[17159, 8579],[17167, 8583],[17183, 8591],[17189, 8594],[17191, 955],[17203, 8601],[17207, 8603],
  199. [17209, 2151],[17231, 1723],[17239, 8619],[17257, 4314],[17291, 1729],[17293, 2882],[17299, 8649],[17317, 8658],[17321, 2165],[17327, 8663],
  200. [17333, 8666],[17341, 2890],[17351, 8675],[17359, 2893],[17377, 2172],[17383, 2897],[17387, 8693],[17389, 8694],[17393, 4348],[17401, 290],
  201. [17417, 2177],[17419, 2903],[17431, 8715],[17443, 8721],[17449, 4362],[17467, 213],[17471, 8735],[17477, 8738],[17483, 8741],[17489, 4372],
  202. [17491, 583],[17497, 2187],[17509, 8754],[17519, 8759],[17539, 111],[17551, 2925],[17569, 4392],[17573, 8786],[17579, 8789],[17581, 1758],
  203. [17597, 8798],[17599, 8799],[17609, 2201],[17623, 8811],[17627, 8813],[17657, 4414],[17659, 981],[17669, 8834],[17681, 884],[17683, 2947],
  204. [17707, 2951],[17713, 4428],[17729, 2216],[17737, 2217],[17747, 8873],[17749, 8874],[17761, 1480],[17783, 8891],[17789, 8894],[17791, 1779],
  205. [17807, 8903],[17827, 8913],[17837, 8918],[17839, 8919],[17851, 8925],[17863, 8931],[17881, 2235],[17891, 8945],[17903, 8951],[17909, 8954],
  206. [17911, 8955],[17921, 4480],[17923, 8961],[17929, 2241],[17939, 8969],[17957, 8978],[17959, 8979],[17971, 1797],[17977, 4494],[17981, 8990],
  207. [17987, 529],[17989, 8994],[18013, 9006],[18041, 451],[18043, 9021],[18047, 9023],[18049, 1504],[18059, 9029],[18061, 602],[18077, 9038],
  208. [18089, 4522],[18097, 4524],[18119, 9059],[18121, 151],[18127, 3021],[18131, 1813],[18133, 3022],[18143, 9071],[18149, 9074],[18169, 2271],
  209. [18181, 9090],[18191, 9095],[18199, 337],[18211, 3035],[18217, 414],[18223, 3037],[18229, 9114],[18233, 2279],[18251, 9125],[18253, 3042],
  210. [18257, 1141],[18269, 9134],[18287, 223],[18289, 2286],[18301, 3050],[18307, 3051],[18311, 9155],[18313, 4578],[18329, 4582],[18341, 1834],
  211. [18353, 2294],[18367, 9183],[18371, 1837],[18379, 1021],[18397, 3066],[18401, 920],[18413, 9206],[18427, 9213],[18433, 1152],[18439, 1317],
  212. [18443, 9221],[18451, 369],[18457, 4614],[18461, 9230],[18481, 1155],[18493, 9246],[18503, 319],[18517, 3086],[18521, 2315],[18523, 3087],
  213. [18539, 403],[18541, 1030],[18553, 4638],[18583, 3097],[18587, 9293],[18593, 581],[18617, 2327],[18637, 9318],[18661, 3110],[18671, 9335],
  214. [18679, 849],[18691, 1869],[18701, 9350],[18713, 2339],[18719, 9359],[18731, 9365],[18743, 9371],[18749, 9374],[18757, 9378],[18773, 9386],
  215. [18787, 9393],[18793, 1566],[18797, 254],[18803, 1343],[18839, 9419],[18859, 9429],[18869, 9434],[18899, 9449],[18911, 9455],[18913, 4728],
  216. [18917, 9458],[18919, 9459],[18947, 9473],[18959, 9479],[18973, 9486],[18979, 9489],[19001, 4750],[19009, 4752],[19013, 9506],[19031, 1903],
  217. [19037, 9518],[19051, 9525],[19069, 9534],[19073, 4768],[19079, 9539],[19081, 1590],[19087, 3181],[19121, 2390],[19139, 9569],[19141, 9570],
  218. [19157, 9578],[19163, 9581],[19181, 9590],[19183, 3197],[19207, 9603],[19211, 565],[19213, 3202],[19219, 9609],[19231, 9615],[19237, 9618],
  219. [19249, 1203],[19259, 9629],[19267, 741],[19273, 1606],[19289, 2411],[19301, 9650],[19309, 3218],[19319, 9659],[19333, 9666],[19373, 9686],
  220. [19379, 9689],[19381, 1938],[19387, 9693],[19391, 9695],[19403, 9701],[19417, 809],[19421, 1942],[19423, 9711],[19427, 9713],[19429, 3238],
  221. [19433, 2429],[19441, 2430],[19447, 3241],[19457, 2432],[19463, 9731],[19469, 9734],[19471, 1947],[19477, 3246],[19483, 9741],[19489, 4872],
  222. [19501, 9750],[19507, 9753],[19531, 3255],[19541, 9770],[19543, 9771],[19553, 4888],[19559, 9779],[19571, 9785],[19577, 2447],[19583, 9791],
  223. [19597, 9798],[19603, 9801],[19609, 4902],[19661, 9830],[19681, 1640],[19687, 3281],[19697, 4924],[19699, 3283],[19709, 9854],[19717, 9858],
  224. [19727, 9863],[19739, 9869],[19751, 9875],[19753, 1646],[19759, 3293],[19763, 9881],[19777, 824],[19793, 1237],[19801, 4950],[19813, 9906],
  225. [19819, 367],[19841, 2480],[19843, 3307],[19853, 9926],[19861, 3310],[19867, 9933],[19889, 4972],[19891, 9945],[19913, 4978],[19919, 9959],
  226. [19927, 9963],[19937, 4984],[19949, 9974],[19961, 4990],[19963, 9981],[19973, 9986],[19979, 9989],[19991, 9995],[19993, 2499],[19997, 9998],
  227. [20011, 3335],[20021, 2002],[20023, 10011],[20029, 10014],[20047, 10023],[20051, 10025],[20063, 1433],[20071, 10035],[20089, 2511],[20101, 3350],
  228. [20107, 10053],[20113, 1257],[20117, 10058],[20123, 10061],[20129, 5032],[20143, 1119],[20147, 1439],[20149, 10074],[20161, 5040],[20173, 10086],
  229. [20177, 2522],[20183, 10091],[20201, 5050],[20219, 10109],[20231, 119],[20233, 5058],[20249, 5062],[20261, 10130],[20269, 10134],[20287, 10143],
  230. [20297, 2537],[20323, 10161],[20327, 10163],[20333, 598],[20341, 10170],[20347, 3391],[20353, 1272],[20357, 10178],[20359, 3393],[20369, 2546],
  231. [20389, 3398],[20393, 5098],[20399, 1457],[20407, 3401],[20411, 2041],[20431, 10215],[20441, 730],[20443, 10221],[20477, 10238],[20479, 10239],
  232. [20483, 1463],[20507, 10253],[20509, 10254],[20521, 2565],[20533, 10266],[20543, 10271],[20549, 10274],[20551, 10275],[20563, 3427],[20593, 1716],
  233. [20599, 10299],[20611, 10305],[20627, 10313],[20639, 10319],[20641, 2580],[20663, 10331],[20681, 5170],[20693, 10346],[20707, 3451],[20717, 10358],
  234. [20719, 3453],[20731, 10365],[20743, 3457],[20747, 451],[20749, 10374],[20753, 5188],[20759, 10379],[20771, 10385],[20773, 10386],[20789, 10394],
  235. [20807, 10403],[20809, 2601],[20849, 5212],[20857, 33],[20873, 2609],[20879, 10439],[20887, 10443],[20897, 2612],[20899, 10449],[20903, 10451],
  236. [20921, 2615],[20929, 5232],[20939, 10469],[20947, 3491],[20959, 499],[20963, 10481],[20981, 10490],[20983, 3497],[21001, 1750],[21011, 10505],
  237. [21013, 10506],[21017, 2627],[21019, 10509],[21023, 10511],[21031, 10515],[21059, 10529],[21061, 234],[21067, 10533],[21089, 2636],[21101, 10550],
  238. [21107, 10553],[21121, 5280],[21139, 10569],[21143, 10571],[21149, 622],[21157, 10578],[21163, 10581],[21169, 252],[21179, 10589],[21187, 10593],
  239. [21191, 10595],[21193, 883],[21211, 10605],[21221, 10610],[21227, 10613],[21247, 10623],[21269, 10634],[21277, 1182],[21283, 3547],[21313, 2664],
  240. [21317, 10658],[21319, 10659],[21323, 1523],[21341, 10670],[21347, 10673],[21377, 5344],[21379, 10689],[21383, 10691],[21391, 10695],[21397, 10698],
  241. [21401, 1070],[21407, 10703],[21419, 10709],[21433, 2679],[21467, 10733],[21481, 895],[21487, 3581],[21491, 10745],[21493, 10746],[21499, 3583],
  242. [21503, 10751],[21517, 3586],[21521, 2690],[21523, 10761],[21529, 897],[21557, 10778],[21559, 3593],[21563, 10781],[21569, 337],[21577, 899],
  243. [21587, 10793],[21589, 10794],[21599, 10799],[21601, 540],[21611, 10805],[21613, 10806],[21617, 5404],[21647, 10823],[21649, 5412],[21661, 10830],
  244. [21673, 2709],[21683, 10841],[21701, 10850],[21713, 1357],[21727, 3621],[21737, 5434],[21739, 10869],[21751, 10875],[21757, 1554],[21767, 10883],
  245. [21773, 10886],[21787, 3631],[21799, 3633],[21803, 10901],[21817, 5454],[21821, 10910],[21839, 10919],[21841, 78],[21851, 575],[21859, 10929],
  246. [21863, 10931],[21871, 10935],[21881, 5470],[21893, 10946],[21911, 10955],[21929, 5482],[21937, 5484],[21943, 10971],[21961, 2745],[21977, 2747],
  247. [21991, 3665],[21997, 1222],[22003, 11001],[22013, 11006],[22027, 3671],[22031, 11015],[22037, 11018],[22039, 11019],[22051, 441],[22063, 11031],
  248. [22067, 11033],[22073, 5518],[22079, 11039],[22091, 11045],[22093, 3682],[22109, 11054],[22111, 201],[22123, 11061],[22129, 1844],[22133, 11066],
  249. [22147, 3691],[22153, 5538],[22157, 11078],[22159, 11079],[22171, 11085],[22189, 11094],[22193, 5548],[22229, 11114],[22247, 11123],[22259, 11129],
  250. [22271, 11135],[22273, 5568],[22277, 11138],[22279, 11139],[22283, 11141],[22291, 743],[22303, 1593],[22307, 11153],[22343, 11171],[22349, 11174],
  251. [22367, 11183],[22369, 5592],[22381, 2238],[22391, 11195],[22397, 11198],[22409, 5602],[22433, 5608],[22441, 935],[22447, 11223],[22453, 3742],
  252. [22469, 11234],[22481, 5620],[22483, 11241],[22501, 11250],[22511, 11255],[22531, 11265],[22541, 2254],[22543, 11271],[22549, 11274],[22567, 11283],
  253. [22571, 2257],[22573, 594],[22613, 11306],[22619, 11309],[22621, 11310],[22637, 11318],[22639, 3773],[22643, 11321],[22651, 3775],[22669, 11334],
  254. [22679, 11339],[22691, 11345],[22697, 2837],[22699, 873],[22709, 11354],[22717, 11358],[22721, 2840],[22727, 11363],[22739, 11369],[22741, 3790],
  255. [22751, 11375],[22769, 5692],[22777, 949],[22783, 11391],[22787, 11393],[22807, 3801],[22811, 2281],[22817, 5704],[22853, 11426],[22859, 11429],
  256. [22861, 11430],[22871, 11435],[22877, 11438],[22901, 11450],[22907, 881],[22921, 5730],[22937, 5734],[22943, 11471],[22961, 5740],[22963, 3827],
  257. [22973, 11486],[22993, 5748],[23003, 11501],[23011, 2301],[23017, 959],[23021, 11510],[23027, 11513],[23029, 11514],[23039, 11519],[23041, 240],
  258. [23053, 11526],[23057, 1441],[23059, 1281],[23063, 11531],[23071, 11535],[23081, 5770],[23087, 11543],[23099, 11549],[23117, 11558],[23131, 3855],
  259. [23143, 3857],[23159, 11579],[23167, 11583],[23173, 3862],[23189, 11594],[23197, 11598],[23201, 5800],[23203, 1289],[23209, 967],[23227, 3871],
  260. [23251, 11625],[23269, 3878],[23279, 113],[23291, 2329],[23293, 3882],[23297, 5824],[23311, 45],[23321, 5830],[23327, 11663],[23333, 11666],
  261. [23339, 11669],[23357, 11678],[23369, 2921],[23371, 11685],[23399, 11699],[23417, 2927],[23431, 3905],[23447, 11723],[23459, 11729],[23473, 978],
  262. [23497, 5874],[23509, 11754],[23531, 11765],[23537, 2942],[23539, 11769],[23549, 11774],[23557, 906],[23561, 2945],[23563, 11781],[23567, 11783],
  263. [23581, 3930],[23593, 5898],[23599, 1311],[23603, 11801],[23609, 2951],[23623, 11811],[23627, 11813],[23629, 11814],[23633, 2954],[23663, 11831],
  264. [23669, 11834],[23671, 263],[23677, 3946],[23687, 11843],[23689, 5922],[23719, 11859],[23741, 11870],[23743, 3957],[23747, 11873],[23753, 5938],
  265. [23761, 297],[23767, 11883],[23773, 3962],[23789, 11894],[23801, 2975],[23813, 11906],[23819, 11909],[23827, 11913],[23831, 11915],[23833, 993],
  266. [23857, 1491],[23869, 11934],[23873, 2984],[23879, 11939],[23887, 3981],[23893, 1086],[23899, 11949],[23909, 11954],[23911, 11955],[23917, 11958],
  267. [23929, 1994],[23957, 11978],[23971, 2397],[23977, 999],[23981, 2398],[23993, 2999],[24001, 6000],[24007, 4001],[24019, 12009],[24023, 12011],
  268. [24029, 12014],[24043, 12021],[24049, 6012],[24061, 4010],[24071, 12035],[24077, 12038],[24083, 12041],[24091, 4015],[24097, 6024],[24103, 12051],
  269. [24107, 12053],[24109, 12054],[24113, 6028],[24121, 3015],[24133, 4022],[24137, 6034],[24151, 4025],[24169, 6042],[24179, 12089],[24181, 4030],
  270. [24197, 12098],[24203, 12101],[24223, 12111],[24229, 12114],[24239, 12119],[24247, 12123],[24251, 2425],[24281, 3035],[24317, 12158],[24329, 3041],
  271. [24337, 2028],[24359, 12179],[24371, 12185],[24373, 4062],[24379, 12189],[24391, 813],[24407, 12203],[24413, 12206],[24419, 12209],[24421, 814],
  272. [24439, 12219],[24443, 12221],[24469, 4078],[24473, 3059],[24481, 6120],[24499, 12249],[24509, 12254],[24517, 4086],[24527, 12263],[24533, 12266],
  273. [24547, 12273],[24551, 12275],[24571, 4095],[24593, 6148],[24611, 2461],[24623, 12311],[24631, 4105],[24659, 12329],[24671, 12335],[24677, 12338],
  274. [24683, 12341],[24691, 12345],[24697, 6174],[24709, 12354],[24733, 12366],[24749, 12374],[24763, 12381],[24767, 12383],[24781, 12390],[24793, 6198],
  275. [24799, 12399],[24809, 6202],[24821, 12410],[24841, 3105],[24847, 12423],[24851, 12425],[24859, 12429],[24877, 4146],[24889, 2074],[24907, 12453],
  276. [24917, 12458],[24919, 12459],[24923, 12461],[24943, 12471],[24953, 3119],[24967, 12483],[24971, 12485],[24977, 3122],[24979, 12489],[24989, 12494],
  277. [25013, 12506],[25031, 12515],[25033, 3129],[25037, 12518],[25057, 3132],[25073, 6268],[25087, 12543],[25097, 6274],[25111, 2511],[25117, 966],
  278. [25121, 785],[25127, 12563],[25147, 12573],[25153, 6288],[25163, 12581],[25169, 1573],[25171, 4195],[25183, 12591],[25189, 12594],[25219, 12609],
  279. [25229, 12614],[25237, 12618],[25243, 12621],[25247, 12623],[25253, 12626],[25261, 4210],[25301, 506],[25303, 12651],[25307, 12653],[25309, 342],
  280. [25321, 6330],[25339, 4223],[25343, 12671],[25349, 12674],[25357, 12678],[25367, 12683],[25373, 12686],[25391, 2539],[25409, 794],[25411, 4235],
  281. [25423, 12711],[25439, 12719],[25447, 12723],[25453, 12726],[25457, 3182],[25463, 12731],[25469, 12734],[25471, 12735],[25523, 12761],[25537, 798],
  282. [25541, 12770],[25561, 1278],[25577, 6394],[25579, 12789],[25583, 12791],[25589, 12794],[25601, 200],[25603, 12801],[25609, 291],[25621, 4270],
  283. [25633, 3204],[25639, 4273],[25643, 12821],[25657, 2138],[25667, 12833],[25673, 3209],[25679, 12839],[25693, 12846],[25703, 12851],[25717, 12858],
  284. [25733, 12866],[25741, 286],[25747, 12873],[25759, 1431],[25763, 1171],[25771, 12885],[25793, 806],[25799, 12899],[25801, 6450],[25819, 993],
  285. [25841, 6460],[25847, 12923],[25849, 3231],[25867, 12933],[25873, 6468],[25889, 1618],[25903, 4317],[25913, 3239],[25919, 12959],[25931, 12965],
  286. [25933, 12966],[25939, 1179],[25943, 12971],[25951, 4325],[25969, 3246],[25981, 4330],[25997, 12998],[25999, 12999],[26003, 13001],[26017, 6504],
  287. [26021, 13010],[26029, 4338],[26041, 465],[26053, 13026],[26083, 4347],[26099, 13049],[26107, 13053],[26111, 1865],[26113, 6528],[26119, 13059],
  288. [26141, 13070],[26153, 6538],[26161, 2180],[26171, 13085],[26177, 1636],[26183, 13091],[26189, 13094],[26203, 4367],[26209, 1092],[26227, 279],
  289. [26237, 13118],[26249, 3281],[26251, 13125],[26261, 13130],[26263, 13131],[26267, 13133],[26293, 4382],[26297, 3287],[26309, 13154],[26317, 34],
  290. [26321, 6580],[26339, 13169],[26347, 4391],[26357, 13178],[26371, 293],[26387, 13193],[26393, 6598],[26399, 13199],[26407, 1467],[26417, 254],
  291. [26423, 13211],[26431, 881],[26437, 4406],[26449, 6612],[26459, 13229],[26479, 4413],[26489, 6622],[26497, 1104],[26501, 13250],[26513, 3314],
  292. [26539, 13269],[26557, 13278],[26561, 1660],[26573, 13286],[26591, 13295],[26597, 13298],[26627, 13313],[26633, 3329],[26641, 6660],[26647, 4441],
  293. [26669, 13334],[26681, 6670],[26683, 13341],[26687, 13343],[26693, 13346],[26699, 13349],[26701, 4450],[26711, 13355],[26713, 6678],[26717, 13358],
  294. [26723, 13361],[26729, 6682],[26731, 1485],[26737, 6684],[26759, 13379],[26777, 3347],[26783, 13391],[26801, 6700],[26813, 13406],[26821, 13410],
  295. [26833, 6708],[26839, 13419],[26849, 839],[26861, 13430],[26863, 13431],[26879, 13439],[26881, 480],[26891, 2689],[26893, 4482],[26903, 13451],
  296. [26921, 1346],[26927, 13463],[26947, 13473],[26951, 13475],[26953, 3369],[26959, 13479],[26981, 2698],[26987, 13493],[26993, 1687],[27011, 13505],
  297. [27017, 6754],[27031, 2703],[27043, 13521],[27059, 13529],[27061, 13530],[27067, 13533],[27073, 3384],[27077, 13538],[27091, 13545],[27103, 4517],
  298. [27107, 13553],[27109, 4518],[27127, 13563],[27143, 13571],[27179, 13589],[27191, 13595],[27197, 13598],[27211, 2721],[27239, 13619],[27241, 6810],
  299. [27253, 13626],[27259, 13629],[27271, 13635],[27277, 4546],[27281, 1705],[27283, 4547],[27299, 13649],[27329, 3416],[27337, 6834],[27361, 152],
  300. [27367, 13683],[27397, 13698],[27407, 13703],[27409, 571],[27427, 4571],[27431, 13715],[27437, 13718],[27449, 3431],[27457, 3432],[27479, 13739],
  301. [27481, 3435],[27487, 13743],[27509, 13754],[27527, 13763],[27529, 6882],[27539, 13769],[27541, 918],[27551, 551],[27581, 13790],[27583, 4597],
  302. [27611, 13805],[27617, 6904],[27631, 2763],[27647, 13823],[27653, 13826],[27673, 1153],[27689, 6922],[27691, 4615],[27697, 2308],[27701, 13850],
  303. [27733, 13866],[27737, 6934],[27739, 1541],[27743, 13871],[27749, 1982],[27751, 555],[27763, 1983],[27767, 13883],[27773, 13886],[27779, 13889],
  304. [27791, 13895],[27793, 6948],[27799, 4633],[27803, 13901],[27809, 869],[27817, 2318],[27823, 13911],[27827, 13913],[27847, 13923],[27851, 13925],
  305. [27883, 4647],[27893, 13946],[27901, 13950],[27917, 13958],[27919, 13959],[27941, 13970],[27943, 13971],[27947, 13973],[27953, 3494],[27961, 233],
  306. [27967, 4661],[27983, 13991],[27997, 4666],[28001, 250],[28019, 14009],[28027, 14013],[28031, 14015],[28051, 14025],[28057, 2338],[28069, 4678],
  307. [28081, 7020],[28087, 14043],[28097, 7024],[28099, 14049],[28109, 14054],[28111, 937],[28123, 14061],[28151, 14075],[28163, 14081],[28181, 14090],
  308. [28183, 4697],[28201, 3525],[28211, 14105],[28219, 4703],[28229, 14114],[28277, 14138],[28279, 4713],[28283, 14141],[28289, 7072],[28297, 1179],
  309. [28307, 14153],[28309, 14154],[28319, 14159],[28349, 14174],[28351, 2835],[28387, 14193],[28393, 1183],[28403, 1291],[28409, 3551],[28411, 14205],
  310. [28429, 14214],[28433, 3554],[28439, 14219],[28447, 4741],[28463, 14231],[28477, 14238],[28493, 14246],[28499, 14249],[28513, 3564],[28517, 14258],
  311. [28537, 1189],[28541, 14270],[28547, 14273],[28549, 14274],[28559, 14279],[28571, 14285],[28573, 14286],[28579, 14289],[28591, 14295],[28597, 14298],
  312. [28603, 14301],[28607, 14303],[28619, 14309],[28621, 954],[28627, 1101],[28631, 14315],[28643, 14321],[28649, 7162],[28657, 1791],[28661, 14330],
  313. [28663, 14331],[28669, 4778],[28687, 14343],[28697, 3587],[28703, 14351],[28711, 14355],[28723, 14361],[28729, 3591],[28751, 14375],[28753, 3594],
  314. [28759, 14379],[28771, 14385],[28789, 4798],[28793, 7198],[28807, 4801],[28813, 14406],[28817, 1801],[28837, 14418],[28843, 14421],[28859, 14429],
  315. [28867, 4811],[28871, 14435],[28879, 4813],[28901, 2890],[28909, 14454],[28921, 7230],[28927, 1607],[28933, 14466],[28949, 14474],[28961, 7240],
  316. [28979, 14489],[29009, 7252],[29017, 1209],[29021, 14510],[29023, 14511],[29027, 14513],[29033, 3629],[29059, 14529],[29063, 14531],[29077, 14538],
  317. [29101, 14550],[29123, 14561],[29129, 7282],[29131, 14565],[29137, 3642],[29147, 14573],[29153, 1822],[29167, 4861],[29173, 14586],[29179, 1621],
  318. [29191, 105],[29201, 1825],[29207, 14603],[29209, 3651],[29221, 14610],[29231, 14615],[29243, 14621],[29251, 14625],[29269, 4878],[29287, 4881],
  319. [29297, 7324],[29303, 14651],[29311, 4885],[29327, 1333],[29333, 14666],[29339, 14669],[29347, 4891],[29363, 14681],[29383, 14691],[29387, 14693],
  320. [29389, 14694],[29399, 14699],[29401, 7350],[29411, 14705],[29423, 14711],[29429, 14714],[29437, 14718],[29443, 14721],[29453, 14726],[29473, 7368],
  321. [29483, 14741],[29501, 14750],[29527, 4921],[29531, 14765],[29537, 7384],[29567, 14783],[29569, 616],[29573, 14786],[29581, 174],[29587, 14793],
  322. [29599, 4933],[29611, 705],[29629, 4938],[29633, 7408],[29641, 7410],[29663, 14831],[29669, 14834],[29671, 14835],[29683, 1649],[29717, 14858],
  323. [29723, 14861],[29741, 14870],[29753, 7438],[29759, 14879],[29761, 372],[29789, 14894],[29803, 4967],[29819, 877],[29833, 3729],[29837, 14918],
  324. [29851, 14925],[29863, 1659],[29867, 14933],[29873, 7468],[29879, 14939],[29881, 7470],[29917, 14958],[29921, 7480],[29927, 14963],[29947, 2139],
  325. [29959, 14979],[29983, 14991],[29989, 14994],[30011, 15005],[30013, 15006],[30029, 15014],[30047, 15023],[30059, 15029],[30071, 15035],[30089, 3761],
  326. [30091, 3009],[30097, 7524],[30103, 5017],[30109, 15054],[30113, 7528],[30119, 15059],[30133, 5022],[30137, 3767],[30139, 15069],[30161, 3770],
  327. [30169, 7542],[30181, 15090],[30187, 5031],[30197, 15098],[30203, 15101],[30211, 15105],[30223, 5037],[30241, 270],[30253, 15126],[30259, 5043],
  328. [30269, 46],[30271, 15135],[30293, 15146],[30307, 15153],[30313, 7578],[30319, 15159],[30323, 15161],[30341, 15170],[30347, 15173],[30367, 15183],
  329. [30389, 15194],[30391, 15195],[30403, 5067],[30427, 5071],[30431, 15215],[30449, 7612],[30467, 15233],[30469, 15234],[30491, 15245],[30493, 1386],
  330. [30497, 7624],[30509, 15254],[30517, 15258],[30529, 3816],[30539, 15269],[30553, 7638],[30557, 15278],[30559, 5093],[30577, 2548],[30593, 7648],
  331. [30631, 15315],[30637, 15318],[30643, 15321],[30649, 7662],[30661, 15330],[30671, 15335],[30677, 15338],[30689, 3836],[30697, 3837],[30703, 15351],
  332. [30707, 15353],[30713, 7678],[30727, 15363],[30757, 466],[30763, 15381],[30773, 2198],[30781, 15390],[30803, 15401],[30809, 7702],[30817, 3852],
  333. [30829, 15414],[30839, 15419],[30841, 3855],[30851, 15425],[30853, 15426],[30859, 15429],[30869, 15434],[30871, 15435],[30881, 965],[30893, 15446],
  334. [30911, 15455],[30931, 15465],[30937, 1289],[30941, 15470],[30949, 5158],[30971, 15485],[30977, 968],[30983, 15491],[31013, 15506],[31019, 15509],
  335. [31033, 3879],[31039, 5173],[31051, 621],[31063, 5177],[31069, 15534],[31079, 15539],[31081, 1110],[31091, 15545],[31121, 7780],[31123, 2223],
  336. [31139, 15569],[31147, 15573],[31151, 15575],[31153, 354],[31159, 15579],[31177, 866],[31181, 15590],[31183, 5197],[31189, 5198],[31193, 7798],
  337. [31219, 5203],[31223, 15611],[31231, 15615],[31237, 5206],[31247, 15623],[31249, 434],[31253, 15626],[31259, 15629],[31267, 15633],[31271, 15635],
  338. [31277, 15638],[31307, 15653],[31319, 15659],[31321, 3915],[31327, 15663],[31333, 5222],[31337, 3917],[31357, 15678],[31379, 15689],[31387, 15693],
  339. [31391, 3139],[31393, 3924],[31397, 15698],[31469, 15734],[31477, 5246],[31481, 7870],[31489, 7872],[31511, 15755],[31513, 3939],[31517, 15758],
  340. [31531, 15765],[31541, 3154],[31543, 5257],[31547, 15773],[31567, 15783],[31573, 5262],[31583, 15791],[31601, 1975],[31607, 15803],[31627, 2259],
  341. [31643, 15821],[31649, 989],[31657, 2638],[31663, 15831],[31667, 15833],[31687, 15843],[31699, 15849],[31721, 793],[31723, 5287],[31727, 15863],
  342. [31729, 7932],[31741, 5290],[31751, 15875],[31769, 3971],[31771, 1765],[31793, 7948],[31799, 1223],[31817, 97],[31847, 15923],[31849, 7962],
  343. [31859, 15929],[31873, 2656],[31883, 15941],[31891, 15945],[31907, 15953],[31957, 15978],[31963, 15981],[31973, 15986],[31981, 3198],[31991, 15995],
  344. [32003, 16001],[32009, 4001],[32027, 16013],[32029, 16014],[32051, 641],[32057, 8014],[32059, 16029],[32063, 16031],[32069, 16034],[32077, 16038],
  345. [32083, 16041],[32089, 4011],[32099, 16049],[32117, 16058],[32119, 5353],[32141, 16070],[32143, 16071],[32159, 16079],[32173, 5362],[32183, 16091],
  346. [32189, 16094],[32191, 16095],[32203, 16101],[32213, 16106],[32233, 4029],[32237, 16118],[32251, 1075],[32257, 8064],[32261, 16130],[32297, 4037],
  347. [32299, 5383],[32303, 16151],[32309, 16154],[32321, 1010],[32323, 16161],[32327, 16163],[32341, 16170],[32353, 674],[32359, 5393],[32363, 16181],
  348. [32369, 8092],[32371, 16185],[32377, 57],[32381, 16190],[32401, 1620],[32411, 16205],[32413, 5402],[32423, 16211],[32429, 1474],[32441, 8110],
  349. [32443, 16221],[32467, 16233],[32479, 16239],[32491, 16245],[32497, 2031],[32503, 16251],[32507, 16253],[32531, 16265],[32533, 16266],[32537, 8134],
  350. [32561, 8140],[32563, 16281],[32569, 8142],[32573, 16286],[32579, 1253],[32587, 16293],[32603, 16301],[32609, 8152],[32611, 3261],[32621, 3262],
  351. [32633, 8158],[32647, 16323],[32653, 16326],[32687, 16343],[32693, 16346],[32707, 5451],[32713, 1363],[32717, 16358],[32719, 16359],[32749, 16374],
  352. [32771, 16385],[32779, 5463],[32783, 16391],[32789, 16394],[32797, 16398],[32801, 1640],[32803, 2343],[32831, 16415],[32833, 912],[32839, 16419],
  353. [32843, 16421],[32869, 5478],[32887, 16443],[32909, 16454],[32911, 3291],[32917, 16458],[32933, 16466],[32939, 16469],[32941, 16470],[32957, 1498],
  354. [32969, 4121],[32971, 5495],[32983, 16491],[32987, 16493],[32993, 2062],[32999, 16499],[33013, 786],[33023, 16511],[33029, 16514],[33037, 16518],
  355. [33049, 2754],[33053, 16526],[33071, 16535],[33073, 4134],[33083, 16541],[33091, 5515],[33107, 16553],[33113, 8278],[33119, 16559],[33149, 16574],
  356. [33151, 5525],[33161, 8290],[33179, 16589],[33181, 5530],[33191, 3319],[33199, 16599],[33203, 16601],[33211, 16605],[33223, 5537],[33247, 1847],
  357. [33287, 16643],[33289, 8322],[33301, 16650],[33311, 16655],[33317, 16658],[33329, 8332],[33331, 5555],[33343, 5557],[33347, 16673],[33349, 16674],
  358. [33353, 8338],[33359, 16679],[33377, 2086],[33391, 2385],[33403, 293],[33409, 8352],[33413, 16706],[33427, 16713],[33457, 8364],[33461, 2390],
  359. [33469, 16734],[33479, 16739],[33487, 16743],[33493, 16746],[33503, 2393],[33521, 2095],[33529, 8382],[33533, 16766],[33547, 16773],[33563, 16781],
  360. [33569, 1049],[33577, 1399],[33581, 16790],[33587, 2399],[33589, 16794],[33599, 16799],[33601, 2800],[33613, 5602],[33617, 4202],[33619, 16809],
  361. [33623, 16811],[33629, 16814],[33637, 16818],[33641, 4205],[33647, 16823],[33679, 16839],[33703, 16851],[33713, 4214],[33721, 4215],[33739, 16869],
  362. [33749, 16874],[33751, 1875],[33757, 16878],[33767, 16883],[33769, 2814],[33773, 16886],[33791, 16895],[33797, 994],[33809, 8452],[33811, 5635],
  363. [33827, 16913],[33829, 16914],[33851, 16925],[33857, 4232],[33863, 16931],[33871, 1129],[33889, 2824],[33893, 16946],[33911, 16955],[33923, 16961],
  364. [33931, 16965],[33937, 1414],[33941, 16970],[33961, 4245],[33967, 16983],[33997, 16998],[34019, 17009],[34031, 3403],[34033, 8508],[34039, 279],
  365. [34057, 8514],[34061, 17030],[34123, 17061],[34127, 17063],[34129, 4266],[34141, 17070],[34147, 1897],[34157, 17078],[34159, 17079],[34171, 17085],
  366. [34183, 17091],[34211, 17105],[34213, 17106],[34217, 4277],[34231, 5705],[34253, 17126],[34259, 17129],[34261, 17130],[34267, 17133],[34273, 504],
  367. [34283, 17141],[34297, 4287],[34301, 3430],[34303, 5717],[34313, 4289],[34319, 17159],[34327, 17163],[34337, 8584],[34351, 17175],[34361, 4295],
  368. [34367, 17183],[34369, 8592],[34381, 5730],[34403, 17201],[34421, 17210],[34429, 17214],[34439, 17219],[34457, 4307],[34469, 2462],[34471, 17235],
  369. [34483, 17241],[34487, 17243],[34499, 17249],[34501, 5750],[34511, 595],[34513, 719],[34519, 5753],[34537, 2878],[34543, 17271],[34549, 17274],
  370. [34583, 17291],[34589, 17294],[34591, 17295],[34603, 17301],[34607, 17303],[34613, 17306],[34631, 17315],[34649, 8662],[34651, 17325],[34667, 17333],
  371. [34673, 8668],[34679, 17339],[34687, 17343],[34693, 5782],[34703, 17351],[34721, 2170],[34729, 8682],[34739, 1579],[34747, 17373],[34757, 17378],
  372. [34759, 17379],[34763, 17381],[34781, 17390],[34807, 5801],[34819, 17409],[34841, 4355],[34843, 17421],[34847, 2489],[34849, 4356],[34871, 1585],
  373. [34877, 17438],[34883, 17441],[34897, 2181],[34913, 8728],[34919, 17459],[34939, 17469],[34949, 17474],[34961, 2185],[34963, 17481],[34981, 17490],
  374. [35023, 17511],[35027, 17513],[35051, 17525],[35053, 17526],[35059, 5843],[35069, 17534],[35081, 877],[35083, 17541],[35089, 4386],[35099, 17549],
  375. [35107, 17553],[35111, 3511],[35117, 17558],[35129, 8782],[35141, 17570],[35149, 17574],[35153, 2197],[35159, 17579],[35171, 17585],[35201, 550],
  376. [35221, 1174],[35227, 17613],[35251, 5875],[35257, 8814],[35267, 17633],[35279, 17639],[35281, 980],[35291, 17645],[35311, 5885],[35317, 5886],
  377. [35323, 2523],[35327, 17663],[35339, 17669],[35353, 2946],[35363, 17681],[35381, 3538],[35393, 8848],[35401, 1475],[35407, 17703],[35419, 17709],
  378. [35423, 17711],[35437, 5906],[35447, 17723],[35449, 1477],[35461, 1970],[35491, 1365],[35507, 17753],[35509, 17754],[35521, 2960],[35527, 17763],
  379. [35531, 3553],[35533, 17766],[35537, 4442],[35543, 17771],[35569, 2964],[35573, 17786],[35591, 17795],[35593, 8898],[35597, 17798],[35603, 17801],
  380. [35617, 2968],[35671, 17835],[35677, 17838],[35729, 8932],[35731, 17865],[35747, 17873],[35753, 8938],[35759, 17879],[35771, 2555],[35797, 17898],
  381. [35801, 4475],[35803, 1989],[35809, 1492],[35831, 17915],[35837, 17918],[35839, 17919],[35851, 17925],[35863, 17931],[35869, 5978],[35879, 17939],
  382. [35897, 641],[35899, 17949],[35911, 17955],[35923, 17961],[35933, 17966],[35951, 17975],[35963, 17981],[35969, 8992],[35977, 4497],[35983, 17991],
  383. [35993, 4499],[35999, 17999],[36007, 18003],[36011, 18005],[36013, 18006],[36017, 2251],[36037, 18018],[36061, 18030],[36067, 6011],[36073, 9018],
  384. [36083, 18041],[36097, 4512],[36107, 18053],[36109, 18054],[36131, 18065],[36137, 4517],[36151, 3615],[36161, 9040],[36187, 6031],[36191, 18095],
  385. [36209, 2263],[36217, 3018],[36229, 18114],[36241, 9060],[36251, 18125],[36263, 18131],[36269, 18134],[36277, 18138],[36293, 18146],[36299, 18149],
  386. [36307, 18153],[36313, 9078],[36319, 18159],[36341, 18170],[36343, 6057],[36353, 9088],[36373, 18186],[36383, 18191],[36389, 1654],[36433, 9108],
  387. [36451, 3645],[36457, 4557],[36467, 18233],[36469, 18234],[36473, 9118],[36479, 18239],[36493, 18246],[36497, 9124],[36523, 18261],[36527, 2609],
  388. [36529, 2283],[36541, 2030],[36551, 18275],[36559, 18279],[36563, 18281],[36571, 18285],[36583, 6097],[36587, 18293],[36599, 18299],[36607, 18303],
  389. [36629, 18314],[36637, 6106],[36643, 6107],[36653, 18326],[36671, 18335],[36677, 18338],[36683, 18341],[36691, 18345],[36697, 3058],[36709, 18354],
  390. [36713, 9178],[36721, 1530],[36739, 18369],[36749, 18374],[36761, 9190],[36767, 18383],[36779, 18389],[36781, 18390],[36787, 18393],[36791, 18395],
  391. [36793, 1533],[36809, 9202],[36821, 18410],[36833, 2302],[36847, 18423],[36857, 4607],[36871, 1229],[36877, 18438],[36887, 18443],[36899, 18449],
  392. [36901, 18450],[36913, 769],[36919, 6153],[36923, 18461],[36929, 9232],[36931, 18465],[36943, 18471],[36947, 18473],[36973, 18486],[36979, 6163],
  393. [36997, 18498],[37003, 18501],[37013, 18506],[37019, 18509],[37021, 6170],[37039, 6173],[37049, 4631],[37057, 1544],[37061, 18530],[37087, 18543],
  394. [37097, 9274],[37117, 18558],[37123, 6187],[37139, 18569],[37159, 6193],[37171, 59],[37181, 18590],[37189, 18594],[37199, 2657],[37201, 310],
  395. [37217, 2326],[37223, 18611],[37243, 18621],[37253, 18626],[37273, 4659],[37277, 18638],[37307, 18653],[37309, 6218],[37313, 4664],[37321, 933],
  396. [37337, 4667],[37339, 2667],[37357, 6226],[37361, 4670],[37363, 6227],[37369, 3114],[37379, 18689],[37397, 18698],[37409, 1169],[37423, 6237],
  397. [37441, 720],[37447, 6241],[37463, 18731],[37483, 18741],[37489, 2343],[37493, 18746],[37501, 18750],[37507, 6251],[37511, 18755],[37517, 18758],
  398. [37529, 9382],[37537, 391],[37547, 18773],[37549, 18774],[37561, 9390],[37567, 18783],[37571, 18785],[37573, 6262],[37579, 18789],[37589, 18794],
  399. [37591, 6265],[37607, 18803],[37619, 18809],[37633, 4704],[37643, 18821],[37649, 9412],[37657, 9414],[37663, 6277],[37691, 3769],[37693, 18846],
  400. [37699, 6283],[37717, 6286],[37747, 2097],[37781, 18890],[37783, 18891],[37799, 18899],[37811, 3781],[37813, 18906],[37831, 18915],[37847, 18923],
  401. [37853, 18926],[37861, 18930],[37871, 3787],[37879, 6313],[37889, 9472],[37897, 4737],[37907, 18953],[37951, 18975],[37957, 18978],[37963, 18981],
  402. [37967, 18983],[37987, 6331],[37991, 18995],[37993, 4749],[37997, 18998],[38011, 19005],[38039, 1729],[38047, 6341],[38053, 6342],[38069, 19034],
  403. [38083, 6347],[38113, 3176],[38119, 6353],[38149, 1734],[38153, 9538],[38167, 19083],[38177, 9544],[38183, 19091],[38189, 19094],[38197, 19098],
  404. [38201, 4775],[38219, 19109],[38231, 19115],[38237, 19118],[38239, 6373],[38261, 19130],[38273, 1196],[38281, 4785],[38287, 2127],[38299, 19149],
  405. [38303, 19151],[38317, 19158],[38321, 479],[38327, 19163],[38329, 3194],[38333, 19166],[38351, 767],[38371, 3837],[38377, 4797],[38393, 9598],
  406. [38431, 549],[38447, 19223],[38449, 9612],[38453, 19226],[38459, 19229],[38461, 6410],[38501, 19250],[38543, 19271],[38557, 19278],[38561, 9640],
  407. [38567, 19283],[38569, 9642],[38593, 9648],[38603, 19301],[38609, 9652],[38611, 6435],[38629, 19314],[38639, 19319],[38651, 19325],[38653, 19326],
  408. [38669, 19334],[38671, 3867],[38677, 6446],[38693, 19346],[38699, 19349],[38707, 19353],[38711, 2765],[38713, 1613],[38723, 19361],[38729, 4841],
  409. [38737, 36],[38747, 19373],[38749, 19374],[38767, 19383],[38783, 19391],[38791, 19395],[38803, 6467],[38821, 19410],[38833, 4854],[38839, 19419],
  410. [38851, 6475],[38861, 3886],[38867, 19433],[38873, 4859],[38891, 19445],[38903, 19451],[38917, 6486],[38921, 1946],[38923, 19461],[38933, 19466],
  411. [38953, 3246],[38959, 6493],[38971, 19485],[38977, 3248],[38993, 9748],[39019, 19509],[39023, 19511],[39041, 9760],[39043, 19521],[39047, 19523],
  412. [39079, 6513],[39089, 9772],[39097, 3258],[39103, 19551],[39107, 19553],[39113, 4889],[39119, 19559],[39133, 6522],[39139, 1779],[39157, 6526],
  413. [39161, 979],[39163, 19581],[39181, 6530],[39191, 19595],[39199, 6533],[39209, 9802],[39217, 3268],[39227, 19613],[39229, 19614],[39233, 4904],
  414. [39239, 19619],[39241, 3270],[39251, 19625],[39293, 19646],[39301, 786],[39313, 9828],[39317, 19658],[39323, 19661],[39341, 19670],[39343, 19671],
  415. [39359, 1789],[39367, 2187],[39371, 19685],[39373, 6562],[39383, 19691],[39397, 19698],[39409, 4926],[39419, 19709],[39439, 19719],[39443, 19721],
  416. [39451, 19725],[39461, 19730],[39499, 19749],[39503, 19751],[39509, 1162],[39511, 19755],[39521, 4940],[39541, 19770],[39551, 175],[39563, 19781],
  417. [39569, 9892],[39581, 19790],[39607, 943],[39619, 19809],[39623, 19811],[39631, 19815],[39659, 19829],[39667, 6611],[39671, 19835],[39679, 19839],
  418. [39703, 19851],[39709, 6618],[39719, 19859],[39727, 19863],[39733, 19866],[39749, 19874],[39761, 2485],[39769, 4971],[39779, 19889],[39791, 19895],
  419. [39799, 2211],[39821, 19910],[39827, 19913],[39829, 6638],[39839, 19919],[39841, 2490],[39847, 6641],[39857, 2491],[39863, 19931],[39869, 19934],
  420. [39877, 19938],[39883, 6647],[39887, 19943],[39901, 19950],[39929, 9982],[39937, 3328],[39953, 9988],[39971, 19985],[39979, 2221],[39983, 19991],
  421. [39989, 19994],[40009, 5001],[40013, 20006],[40031, 20015],[40037, 20018],[40039, 20019],[40063, 20031],[40087, 20043],[40093, 20046],[40099, 6683],
  422. [40111, 20055],[40123, 20061],[40127, 20063],[40129, 10032],[40151, 1825],[40153, 717],[40163, 20081],[40169, 5021],[40177, 5022],[40189, 20094],
  423. [40193, 10048],[40213, 2234],[40231, 20115],[40237, 6706],[40241, 2515],[40253, 20126],[40277, 20138],[40283, 20141],[40289, 5036],[40343, 20171],
  424. [40351, 4035],[40357, 6726],[40361, 5045],[40387, 20193],[40423, 20211],[40427, 20213],[40429, 2246],[40433, 2527],[40459, 20229],[40471, 1349],
  425. [40483, 20241],[40487, 20243],[40493, 20246],[40499, 20249],[40507, 20253],[40519, 20259],[40529, 5066],[40531, 20265],[40543, 20271],[40559, 20279],
  426. [40577, 2536],[40583, 20291],[40591, 1353],[40597, 20298],[40609, 10152],[40627, 20313],[40637, 20318],[40639, 6773],[40693, 20346],[40697, 5087],
  427. [40699, 20349],[40709, 20354],[40739, 20369],[40751, 20375],[40759, 20379],[40763, 20381],[40771, 4077],[40787, 20393],[40801, 10200],[40813, 20406],
  428. [40819, 6803],[40823, 20411],[40829, 20414],[40841, 1021],[40847, 20423],[40849, 10212],[40853, 20426],[40867, 20433],[40879, 20439],[40883, 20441],
  429. [40897, 10224],[40903, 6817],[40927, 6821],[40933, 20466],[40939, 20469],[40949, 20474],[40961, 5120],[40973, 20486],[40993, 5124],[41011, 20505],
  430. [41017, 10254],[41023, 20511],[41039, 20519],[41047, 6841],[41051, 20525],[41057, 10264],[41077, 20538],[41081, 5135],[41113, 5139],[41117, 20558],
  431. [41131, 2285],[41141, 20570],[41143, 20571],[41149, 20574],[41161, 735],[41177, 5147],[41179, 6863],[41183, 20591],[41189, 20594],[41201, 206],
  432. [41203, 6867],[41213, 20606],[41221, 20610],[41227, 20613],[41231, 20615],[41233, 1718],[41243, 20621],[41257, 5157],[41263, 6877],[41269, 20634],
  433. [41281, 10320],[41299, 20649],[41333, 20666],[41341, 20670],[41351, 20675],[41357, 20678],[41381, 4138],[41387, 20693],[41389, 6898],[41399, 20699],
  434. [41411, 20705],[41413, 6902],[41443, 20721],[41453, 20726],[41467, 6911],[41479, 6913],[41491, 2305],[41507, 20753],[41513, 10378],[41519, 20759],
  435. [41521, 1038],[41539, 6923],[41543, 20771],[41549, 1598],[41579, 20789],[41593, 10398],[41597, 20798],[41603, 20801],[41609, 10402],[41611, 20805],
  436. [41617, 1156],[41621, 4162],[41627, 20813],[41641, 3470],[41647, 20823],[41651, 20825],[41659, 6943],[41669, 20834],[41681, 5210],[41687, 20843],
  437. [41719, 20859],[41729, 1304],[41737, 10434],[41759, 20879],[41761, 2610],[41771, 20885],[41777, 5222],[41801, 10450],[41809, 3484],[41813, 20906],
  438. [41843, 20921],[41849, 5231],[41851, 6975],[41863, 6977],[41879, 20939],[41887, 20943],[41893, 20946],[41897, 10474],[41903, 20951],[41911, 6985],
  439. [41927, 20963],[41941, 20970],[41947, 6991],[41953, 10488],[41957, 20978],[41959, 20979],[41969, 5246],[41981, 20990],[41983, 20991],[41999, 20999],
  440. [42013, 7002],[42017, 10504],[42019, 21009],[42023, 21011],[42043, 1911],[42061, 4206],[42071, 21035],[42073, 10518],[42083, 21041],[42089, 5261],
  441. [42101, 21050],[42131, 21065],[42139, 21069],[42157, 21078],[42169, 10542],[42179, 21089],[42181, 7030],[42187, 7031],[42193, 879],[42197, 21098],
  442. [42209, 5276],[42221, 21110],[42223, 7037],[42227, 21113],[42239, 21119],[42257, 10564],[42281, 5285],[42283, 21141],[42293, 21146],[42299, 21149],
  443. [42307, 7051],[42323, 21161],[42331, 1411],[42337, 10584],[42349, 21174],[42359, 21179],[42373, 198],[42379, 21189],[42391, 21195],[42397, 21198],
  444. [42403, 21201],[42407, 21203],[42409, 10602],[42433, 5304],[42437, 21218],[42443, 21221],[42451, 4245],[42457, 3538],[42461, 21230],[42463, 7077],
  445. [42467, 1249],[42473, 5309],[42487, 21243],[42491, 21245],[42499, 21249],[42509, 21254],[42533, 21266],[42557, 21278],[42569, 626],[42571, 21285],
  446. [42577, 10644],[42589, 21294],[42611, 21305],[42641, 260],[42643, 21321],[42649, 10662],[42667, 7111],[42677, 21338],[42683, 21341],[42689, 10672],
  447. [42697, 3558],[42701, 610],[42703, 21351],[42709, 7118],[42719, 21359],[42727, 21363],[42737, 5342],[42743, 3053],[42751, 21375],[42767, 21383],
  448. [42773, 1258],[42787, 7131],[42793, 5349],[42797, 21398],[42821, 21410],[42829, 21414],[42839, 21419],[42841, 238],[42853, 21426],[42859, 7143],
  449. [42863, 21431],[42899, 21449],[42901, 7150],[42923, 21461],[42929, 10732],[42937, 1789],[42943, 21471],[42953, 767],[42961, 5370],[42967, 21483],
  450. [42979, 7163],[42989, 21494],[43003, 7167],[43013, 21506],[43019, 21509],[43037, 21518],[43049, 5381],[43051, 21525],[43063, 21531],[43067, 21533],
  451. [43093, 7182],[43103, 21551],[43117, 21558],[43133, 21566],[43151, 21575],[43159, 21579],[43177, 10794],[43189, 21594],[43201, 3600],[43207, 21603],
  452. [43223, 21611],[43237, 21618],[43261, 21630],[43271, 21635],[43283, 21641],[43291, 7215],[43313, 2707],[43319, 21659],[43321, 3610],[43331, 21665],
  453. [43391, 21695],[43397, 21698],[43399, 7233],[43403, 21701],[43411, 4341],[43427, 21713],[43441, 181],[43451, 21725],[43457, 10864],[43481, 5435],
  454. [43487, 21743],[43499, 21749],[43517, 21758],[43541, 21770],[43543, 21771],[43573, 21786],[43577, 5447],[43579, 21789],[43591, 7265],[43597, 21798],
  455. [43607, 21803],[43609, 5451],[43613, 21806],[43627, 21813],[43633, 10908],[43649, 1364],[43651, 21825],[43661, 21830],[43669, 21834],[43691, 17],
  456. [43711, 7285],[43717, 7286],[43721, 1093],[43753, 1823],[43759, 7293],[43777, 1824],[43781, 21890],[43783, 21891],[43787, 21893],[43789, 7298],
  457. [43793, 2737],[43801, 10950],[43853, 21926],[43867, 7311],[43889, 2743],[43891, 1463],[43913, 998],[43933, 21966],[43943, 21971],[43951, 21975],
  458. [43961, 10990],[43963, 1293],[43969, 1832],[43973, 21986],[43987, 21993],[43991, 21995],[43997, 21998],[44017, 3668],[44021, 22010],[44027, 22013],
  459. [44029, 2446],[44041, 3670],[44053, 22026],[44059, 22029],[44071, 1469],[44087, 22043],[44089, 5511],[44101, 2450],[44111, 22055],[44119, 22059],
  460. [44123, 22061],[44129, 5516],[44131, 22065],[44159, 22079],[44171, 22085],[44179, 22089],[44189, 22094],[44201, 1105],[44203, 7367],[44207, 22103],
  461. [44221, 22110],[44249, 11062],[44257, 5532],[44263, 22131],[44267, 22133],[44269, 22134],[44273, 2767],[44279, 22139],[44281, 11070],[44293, 22146],
  462. [44351, 22175],[44357, 22178],[44371, 22185],[44381, 22190],[44383, 22191],[44389, 22194],[44417, 5552],[44449, 5556],[44453, 22226],[44483, 22241],
  463. [44491, 7415],[44497, 2781],[44501, 22250],[44507, 22253],[44519, 22259],[44531, 22265],[44533, 22266],[44537, 11134],[44543, 22271],[44549, 22274],
  464. [44563, 7427],[44579, 22289],[44587, 2477],[44617, 11154],[44621, 22310],[44623, 7437],[44633, 5579],[44641, 11160],[44647, 7441],[44651, 22325],
  465. [44657, 11164],[44683, 22341],[44687, 22343],[44699, 22349],[44701, 22350],[44711, 22355],[44729, 11182],[44741, 22370],[44753, 11188],[44771, 2035],
  466. [44773, 1722],[44777, 5597],[44789, 22394],[44797, 22398],[44809, 3734],[44819, 22409],[44839, 22419],[44843, 3203],[44851, 1725],[44867, 22433],
  467. [44879, 22439],[44887, 22443],[44893, 7482],[44909, 22454],[44917, 7486],[44927, 22463],[44939, 22469],[44953, 3746],[44959, 22479],[44963, 22481],
  468. [44971, 1499],[44983, 22491],[44987, 22493],[45007, 22503],[45013, 22506],[45053, 22526],[45061, 22530],[45077, 22538],[45083, 22541],[45119, 22559],
  469. [45121, 11280],[45127, 22563],[45131, 22565],[45137, 403],[45139, 22569],[45161, 5645],[45179, 3227],[45181, 22590],[45191, 22595],[45197, 22598],
  470. [45233, 11308],[45247, 22623],[45259, 7543],[45263, 3233],[45281, 5660],[45289, 5661],[45293, 22646],[45307, 22653],[45317, 22658],[45319, 3237],
  471. [45329, 5666],[45337, 3778],[45341, 22670],[45343, 22671],[45361, 11340],[45377, 11344],[45389, 22694],[45403, 7567],[45413, 22706],[45427, 7571],
  472. [45433, 5679],[45439, 7573],[45481, 1895],[45491, 22745],[45497, 11374],[45503, 22751],[45523, 22761],[45533, 22766],[45541, 2070],[45553, 876],
  473. [45557, 3254],[45569, 11392],[45587, 22793],[45589, 22794],[45599, 22799],[45613, 22806],[45631, 22815],[45641, 1630],[45659, 22829],[45667, 22833],
  474. [45673, 11418],[45677, 22838],[45691, 7615],[45697, 714],[45707, 22853],[45737, 5717],[45751, 4575],[45757, 22878],[45763, 7627],[45767, 22883],
  475. [45779, 22889],[45817, 3818],[45821, 22910],[45823, 7637],[45827, 22913],[45833, 11458],[45841, 11460],[45853, 7642],[45863, 22931],[45869, 22934],
  476. [45887, 22943],[45893, 22946],[45943, 22971],[45949, 22974],[45953, 11488],[45959, 22979],[45971, 22985],[45979, 22989],[45989, 22994],[46021, 23010],
  477. [46027, 23013],[46049, 1439],[46051, 4605],[46061, 23030],[46073, 5759],[46091, 23045],[46093, 23046],[46099, 23049],[46103, 23051],[46133, 23066],
  478. [46141, 7690],[46147, 23073],[46153, 11538],[46171, 7695],[46181, 23090],[46183, 23091],[46187, 23093],[46199, 23099],[46219, 7703],[46229, 23114],
  479. [46237, 23118],[46261, 23130],[46271, 23135],[46273, 2892],[46279, 23139],[46301, 23150],[46307, 23153],[46309, 23154],[46327, 23163],[46337, 11584],
  480. [46349, 23174],[46351, 927],[46381, 7730],[46399, 23199],[46411, 7735],[46439, 749],[46441, 645],[46447, 23223],[46451, 4645],[46457, 11614],
  481. [46471, 7745],[46477, 23238],[46489, 11622],[46499, 23249],[46507, 23253],[46511, 23255],[46523, 3323],[46549, 23274],[46559, 23279],[46567, 2587],
  482. [46573, 23286],[46589, 23294],[46591, 23295],[46601, 5825],[46619, 1793],[46633, 11658],[46639, 23319],[46643, 23321],[46649, 1666],[46663, 23331],
  483. [46679, 23339],[46681, 1945],[46687, 23343],[46691, 23345],[46703, 1229],[46723, 23361],[46727, 23363],[46747, 23373],[46751, 23375],[46757, 23378],
  484. [46769, 2923],[46771, 23385],[46807, 23403],[46811, 23405],[46817, 5852],[46819, 23409],[46829, 23414],[46831, 7805],[46853, 23426],[46861, 2130],
  485. [46867, 23433],[46877, 23438],[46889, 5861],[46901, 4690],[46919, 23459],[46933, 23466],[46957, 258],[46993, 5874],[46997, 23498],[47017, 5877],
  486. [47041, 11760],[47051, 23525],[47057, 5882],[47059, 23529],[47087, 23543],[47093, 23546],[47111, 23555],[47119, 7853],[47123, 23561],[47129, 5891],
  487. [47137, 11784],[47143, 23571],[47147, 23573],[47149, 23574],[47161, 5895],[47189, 23594],[47207, 23603],[47221, 1574],[47237, 23618],[47251, 7875],
  488. [47269, 7878],[47279, 23639],[47287, 23643],[47293, 7882],[47297, 5912],[47303, 23651],[47309, 23654],[47317, 7886],[47339, 23669],[47351, 23675],
  489. [47353, 11838],[47363, 23681],[47381, 23690],[47387, 23693],[47389, 23694],[47407, 7901],[47417, 11854],[47419, 23709],[47431, 23715],[47441, 11860],
  490. [47459, 23729],[47491, 23745],[47497, 5937],[47501, 4750],[47507, 23753],[47513, 5939],[47521, 440],[47527, 23763],[47533, 23766],[47543, 23771],
  491. [47563, 23781],[47569, 1982],[47581, 23790],[47591, 23795],[47599, 23799],[47609, 5951],[47623, 23811],[47629, 7938],[47639, 23819],[47653, 722],
  492. [47657, 5957],[47659, 23829],[47681, 11920],[47699, 23849],[47701, 23850],[47711, 23855],[47713, 1491],[47717, 23858],[47737, 663],[47741, 4774],
  493. [47743, 23871],[47777, 2986],[47779, 7963],[47791, 2655],[47797, 1138],[47807, 23903],[47809, 11952],[47819, 23909],[47837, 23918],[47843, 23921],
  494. [47857, 11964],[47869, 23934],[47881, 5985],[47903, 23951],[47911, 4791],[47917, 7986],[47933, 23966],[47939, 23969],[47947, 23973],[47951, 23975],
  495. [47963, 23981],[47969, 11992],[47977, 11994],[47981, 23990],[48017, 6002],[48023, 24011],[48029, 24014],[48049, 4004],[48073, 12018],[48079, 24039],
  496. [48091, 1603],[48109, 24054],[48119, 3437],[48121, 4010],[48131, 4813],[48157, 8026],[48163, 8027],[48179, 1853],[48187, 24093],[48193, 12048],
  497. [48197, 24098],[48221, 24110],[48239, 24119],[48247, 24123],[48259, 24129],[48271, 4827],[48281, 6035],[48299, 24149],[48311, 24155],[48313, 671],
  498. [48337, 6042],[48341, 4834],[48353, 12088],[48371, 24185],[48383, 24191],[48397, 8066],[48407, 24203],[48409, 4034],[48413, 24206],[48437, 24218],
  499. [48449, 12112],[48463, 8077],[48473, 12118],[48479, 24239],[48481, 2424],[48487, 24243],[48491, 24245],[48497, 6062],[48523, 8087],[48527, 24263],
  500. [48533, 24266],[48539, 24269],[48541, 24270],[48563, 24281],[48571, 24285],[48589, 8098],[48593, 3037],[48611, 24305],[48619, 24309],[48623, 3473],
  501. [48647, 24323],[48649, 6081],[48661, 24330],[48673, 2028],[48677, 24338],[48679, 24339],[48731, 443],[48733, 24366],[48751, 8125],[48757, 24378],
  502. [48761, 12190],[48767, 24383],[48779, 24389],[48781, 4878],[48787, 24393],[48799, 24399],[48809, 12202],[48817, 113],[48821, 24410],[48823, 24411],
  503. [48847, 8141],[48857, 12214],[48859, 24429],[48869, 24434],[48871, 24435],[48883, 24441],[48889, 6111],[48907, 24453],[48947, 24473],[48953, 6119],
  504. [48973, 8162],[48989, 24494],[48991, 4899],[49003, 8167],[49009, 3063],[49019, 24509],[49031, 4903],[49033, 12258],[49037, 24518],[49043, 24521],
  505. [49057, 2044],[49069, 24534],[49081, 12270],[49103, 24551],[49109, 24554],[49117, 24558],[49121, 6140],[49123, 24561],[49139, 24569],[49157, 24578],
  506. [49169, 1756],[49171, 24585],[49177, 12294],[49193, 6149],[49199, 24599],[49201, 615],[49207, 24603],[49211, 24605],[49223, 24611],[49253, 24626],
  507. [49261, 24630],[49277, 24638],[49279, 24639],[49297, 237],[49307, 24653],[49331, 24665],[49333, 24666],[49339, 2741],[49363, 24681],[49367, 24683],
  508. [49369, 6171],[49391, 24695],[49393, 3087],[49409, 6176],[49411, 24705],[49417, 6177],[49429, 24714],[49433, 12358],[49451, 989],[49459, 8243],
  509. [49463, 24731],[49477, 62],[49481, 6185],[49499, 24749],[49523, 24761],[49529, 12382],[49531, 8255],[49537, 12384],[49547, 24773],[49549, 8258],
  510. [49559, 24779],[49597, 8266],[49603, 1181],[49613, 24806],[49627, 8271],[49633, 1034],[49639, 24819],[49663, 8277],[49667, 24833],[49669, 24834],
  511. [49681, 270],[49697, 12424],[49711, 8285],[49727, 24863],[49739, 24869],[49741, 24870],[49747, 8291],[49757, 24878],[49783, 24891],[49787, 24893],
  512. [49789, 8298],[49801, 6225],[49807, 24903],[49811, 4981],[49823, 24911],[49831, 24915],[49843, 24921],[49853, 24926],[49871, 24935],[49877, 24938],
  513. [49891, 24945],[49919, 24959],[49921, 960],[49927, 8321],[49937, 12484],[49939, 8323],[49943, 24971],[49957, 8326],[49991, 24995],[49993, 12498],
  514. [49999, 641],[50021, 25010],[50023, 397],[50033, 12508],[50047, 25023],[50051, 25025],[50053, 25026],[50069, 25034],[50077, 25038],[50087, 25043],
  515. [50093, 25046],[50101, 25050],[50111, 25055],[50119, 8353],[50123, 25061],[50129, 12532],[50131, 25065],[50147, 25073],[50153, 6269],[50159, 25079],
  516. [50177, 392],[50207, 1931],[50221, 8370],[50227, 25113],[50231, 25115],[50261, 3590],[50263, 8377],[50273, 12568],[50287, 8381],[50291, 25145],
  517. [50311, 25155],[50321, 3145],[50329, 6291],[50333, 25166],[50341, 25170],[50359, 8393],[50363, 25181],[50377, 6297],[50383, 8397],[50387, 25193],
  518. [50411, 25205],[50417, 6302],[50423, 25211],[50441, 1261],[50459, 25229],[50461, 5046],[50497, 6312],[50503, 25251],[50513, 12628],[50527, 25263],
  519. [50539, 25269],[50543, 25271],[50549, 25274],[50551, 8425],[50581, 25290],[50587, 8431],[50591, 25295],[50593, 2108],[50599, 8433],[50627, 25313],
  520. [50647, 25323],[50651, 25325],[50671, 1689],[50683, 25341],[50707, 8451],[50723, 25361],[50741, 25370],[50753, 793],[50767, 25383],[50773, 8462],
  521. [50777, 12694],[50789, 25394],[50821, 25410],[50833, 3177],[50839, 25419],[50849, 1816],[50857, 6357],[50867, 25433],[50873, 12718],[50891, 25445],
  522. [50893, 25446],[50909, 25454],[50923, 25461],[50929, 12732],[50951, 25475],[50957, 25478],[50969, 12742],[50971, 25485],[50989, 25494],[50993, 6374],
  523. [51001, 510],[51031, 8505],[51043, 25521],[51047, 25523],[51059, 25529],[51061, 25530],[51071, 5107],[51109, 8518],[51131, 5113],[51133, 25566],
  524. [51137, 1598],[51151, 5115],[51157, 3654],[51169, 12792],[51193, 12798],[51197, 25598],[51199, 1113],[51203, 25601],[51217, 6402],[51229, 25614],
  525. [51239, 25619],[51241, 1281],[51257, 6407],[51263, 25631],[51283, 25641],[51287, 25643],[51307, 8551],[51329, 6416],[51341, 25670],[51343, 25671],
  526. [51347, 25673],[51349, 778],[51361, 1605],[51383, 25691],[51407, 25703],[51413, 25706],[51419, 25709],[51421, 25710],[51427, 25713],[51431, 25715],
  527. [51437, 25718],[51439, 25719],[51449, 6431],[51461, 25730],[51473, 12868],[51479, 25739],[51481, 130],[51487, 25743],[51503, 25751],[51511, 25755],
  528. [51517, 8586],[51521, 3220],[51539, 25769],[51551, 25775],[51563, 25781],[51577, 12894],[51581, 25790],[51593, 6449],[51599, 25799],[51607, 2867],
  529. [51613, 25806],[51631, 5163],[51637, 8606],[51647, 3689],[51659, 25829],[51673, 4306],[51679, 25839],[51683, 25841],[51691, 5169],[51713, 12928],
  530. [51719, 25859],[51721, 12930],[51749, 25874],[51767, 25883],[51769, 6471],[51787, 8631],[51797, 1126],[51803, 25901],[51817, 12954],[51827, 25913],
  531. [51829, 25914],[51839, 25919],[51853, 8642],[51859, 8643],[51869, 25934],[51871, 8645],[51893, 25946],[51899, 25949],[51907, 8651],[51913, 6489],
  532. [51929, 12982],[51941, 530],[51949, 25974],[51971, 25985],[51973, 25986],[51977, 6497],[51991, 5199],[52009, 394],[52021, 26010],[52027, 26013],
  533. [52051, 26025],[52057, 6507],[52067, 26033],[52069, 26034],[52081, 6510],[52103, 26051],[52121, 13030],[52127, 26063],[52147, 26073],[52153, 4346],
  534. [52163, 26081],[52177, 13044],[52181, 5218],[52183, 8697],[52189, 8698],[52201, 6525],[52223, 26111],[52237, 8706],[52249, 6531],[52253, 26126],
  535. [52259, 26129],[52267, 26133],[52289, 3268],[52291, 1245],[52301, 26150],[52313, 13078],[52321, 2180],[52361, 13090],[52363, 8727],[52369, 13092],
  536. [52379, 26189],[52387, 26193],[52391, 26195],[52433, 13108],[52453, 26226],[52457, 13114],[52489, 6561],[52501, 1750],[52511, 26255],[52517, 26258],
  537. [52529, 13132],[52541, 26270],[52543, 26271],[52553, 6569],[52561, 876],[52567, 26283],[52571, 26285],[52579, 26289],[52583, 26291],[52609, 4384],
  538. [52627, 8771],[52631, 5263],[52639, 26319],[52667, 26333],[52673, 3292],[52691, 26345],[52697, 6587],[52709, 26354],[52711, 1757],[52721, 6590],
  539. [52727, 26363],[52733, 26366],[52747, 8791],[52757, 26378],[52769, 6596],[52783, 8797],[52807, 8801],[52813, 26406],[52817, 13204],[52837, 26418],
  540. [52859, 2033],[52861, 8810],[52879, 26439],[52883, 26441],[52889, 13222],[52901, 5290],[52903, 26451],[52919, 26459],[52937, 6617],[52951, 26475],
  541. [52957, 8826],[52963, 8827],[52967, 26483],[52973, 26486],[52981, 26490],[52999, 26499],[53003, 26501],[53017, 6627],[53047, 26523],[53051, 5305],
  542. [53069, 26534],[53077, 26538],[53087, 26543],[53089, 13272],[53093, 26546],[53101, 26550],[53113, 2213],[53117, 26558],[53129, 6641],[53147, 26573],
  543. [53149, 8858],[53161, 13290],[53171, 26585],[53173, 3798],[53189, 26594],[53197, 26598],[53201, 3325],[53231, 26615],[53233, 4436],[53239, 8873],
  544. [53267, 26633],[53269, 8878],[53279, 26639],[53281, 13320],[53299, 26649],[53309, 26654],[53323, 26661],[53327, 26663],[53353, 13338],[53359, 26679],
  545. [53377, 13344],[53381, 26690],[53401, 4450],[53407, 26703],[53411, 26705],[53419, 26709],[53437, 26718],[53441, 13360],[53453, 26726],[53479, 26739],
  546. [53503, 8917],[53507, 26753],[53527, 26763],[53549, 26774],[53551, 26775],[53569, 4464],[53591, 26795],[53593, 13398],[53597, 26798],[53609, 13402],
  547. [53611, 8935],[53617, 1117],[53623, 26811],[53629, 8938],[53633, 838],[53639, 2063],[53653, 26826],[53657, 6707],[53681, 2684],[53693, 26846],
  548. [53699, 26849],[53717, 26858],[53719, 26859],[53731, 5373],[53759, 26879],[53773, 26886],[53777, 3361],[53783, 26891],[53791, 26895],[53813, 26906],
  549. [53819, 26909],[53831, 5383],[53849, 6731],[53857, 13464],[53861, 26930],[53881, 6735],[53887, 26943],[53891, 26945],[53897, 6737],[53899, 26949],
  550. [53917, 26958],[53923, 2451],[53927, 26963],[53939, 26969],[53951, 26975],[53959, 26979],[53987, 26993],[53993, 397],[54001, 90],[54011, 27005],
  551. [54013, 9002],[54037, 27018],[54049, 6756],[54059, 27029],[54083, 27041],[54091, 5409],[54101, 5410],[54121, 4510],[54133, 9022],[54139, 27069],
  552. [54151, 27075],[54163, 27081],[54167, 3869],[54181, 27090],[54193, 13548],[54217, 251],[54251, 27125],[54269, 27134],[54277, 9046],[54287, 27143],
  553. [54293, 27146],[54311, 5431],[54319, 27159],[54323, 27161],[54331, 27165],[54347, 27173],[54361, 755],[54367, 9061],[54371, 5437],[54377, 13594],
  554. [54401, 3400],[54403, 27201],[54409, 6801],[54413, 27206],[54419, 27209],[54421, 27210],[54437, 27218],[54443, 27221],[54449, 6806],[54469, 27234],
  555. [54493, 27246],[54497, 6812],[54499, 9083],[54503, 27251],[54517, 9086],[54521, 13630],[54539, 27269],[54541, 27270],[54547, 9091],[54559, 27279],
  556. [54563, 27281],[54577, 6822],[54581, 5458],[54583, 2481],[54601, 13650],[54617, 13654],[54623, 27311],[54629, 3902],[54631, 27315],[54647, 27323],
  557. [54667, 27333],[54673, 4556],[54679, 9113],[54709, 27354],[54713, 6839],[54721, 190],[54727, 27363],[54751, 27375],[54767, 27383],[54773, 27386],
  558. [54779, 27389],[54787, 27393],[54799, 27399],[54829, 27414],[54833, 6854],[54851, 5485],[54869, 27434],[54877, 27438],[54881, 6860],[54907, 27453],
  559. [54917, 27458],[54919, 1017],[54941, 27470],[54949, 27474],[54959, 27479],[54973, 9162],[54979, 9163],[54983, 27491],[55001, 1375],[55009, 13752],
  560. [55021, 1834],[55049, 6881],[55051, 27525],[55057, 13764],[55061, 27530],[55073, 13768],[55079, 27539],[55103, 27551],[55109, 27554],[55117, 3062],
  561. [55127, 27563],[55147, 9191],[55163, 27581],[55171, 1839],[55201, 600],[55207, 27603],[55213, 27606],[55217, 3451],[55219, 27609],[55229, 27614],
  562. [55243, 27621],[55249, 13812],[55259, 3947],[55291, 9215],[55313, 3457],[55331, 27665],[55333, 9222],[55337, 6917],[55339, 27669],[55343, 3953],
  563. [55351, 9225],[55373, 27686],[55381, 5538],[55399, 9233],[55411, 27705],[55439, 27719],[55441, 385],[55457, 13864],[55469, 27734],[55487, 27743],
  564. [55501, 9250],[55511, 27755],[55529, 6941],[55541, 27770],[55547, 27773],[55579, 27789],[55589, 27794],[55603, 27801],[55609, 993],[55619, 27809],
  565. [55621, 27810],[55631, 27815],[55633, 183],[55639, 3091],[55661, 27830],[55663, 27831],[55667, 27833],[55673, 6959],[55681, 6960],[55691, 27845],
  566. [55697, 13924],[55711, 27855],[55717, 27858],[55721, 13930],[55733, 27866],[55763, 27881],[55787, 27893],[55793, 13948],[55799, 27899],[55807, 27903],
  567. [55813, 27906],[55817, 13954],[55819, 27909],[55823, 27911],[55829, 27914],[55837, 9306],[55843, 27921],[55849, 6981],[55871, 151],[55889, 6986],
  568. [55897, 13974],[55901, 27950],[55903, 27951],[55921, 2796],[55927, 27963],[55931, 5593],[55933, 27966],[55949, 27974],[55967, 27983],[55987, 27993],
  569. [55997, 27998],[56003, 28001],[56009, 14002],[56039, 28019],[56041, 14010],[56053, 28026],[56081, 14020],[56087, 28043],[56093, 28046],[56099, 28049],
  570. [56101, 1122],[56113, 7014],[56123, 28061],[56131, 28065],[56149, 9358],[56167, 9361],[56171, 28085],[56179, 3121],[56197, 9366],[56207, 28103],
  571. [56209, 4684],[56237, 28118],[56239, 28119],[56249, 7031],[56263, 28131],[56267, 28133],[56269, 28134],[56299, 9383],[56311, 28155],[56333, 28166],
  572. [56359, 28179],[56369, 14092],[56377, 14094],[56383, 28191],[56393, 14098],[56401, 14100],[56417, 1763],[56431, 5643],[56437, 28218],[56443, 9407],
  573. [56453, 28226],[56467, 28233],[56473, 14118],[56477, 28238],[56479, 28239],[56489, 7061],[56501, 5650],[56503, 28251],[56509, 28254],[56519, 28259],
  574. [56527, 28263],[56531, 28265],[56533, 4038],[56543, 28271],[56569, 14142],[56591, 28295],[56597, 28298],[56599, 28299],[56611, 3145],[56629, 28314],
  575. [56633, 7079],[56659, 28329],[56663, 28331],[56671, 9445],[56681, 2834],[56687, 28343],[56701, 28350],[56711, 28355],[56713, 7089],[56731, 28365],
  576. [56737, 1773],[56747, 28373],[56767, 28383],[56773, 28386],[56779, 28389],[56783, 28391],[56807, 28403],[56809, 14202],[56813, 4058],[56821, 9470],
  577. [56827, 28413],[56843, 28421],[56857, 7107],[56873, 14218],[56891, 28445],[56893, 28446],[56897, 3556],[56909, 28454],[56911, 28455],[56921, 14230],
  578. [56923, 9487],[56929, 3558],[56941, 28470],[56951, 28475],[56957, 28478],[56963, 28481],[56983, 28491],[56989, 9498],[56993, 14248],[56999, 28499],
  579. [57037, 9506],[57041, 7130],[57047, 28523],[57059, 28529],[57073, 7134],[57077, 28538],[57089, 14272],[57097, 14274],[57107, 28553],[57119, 28559],
  580. [57131, 28565],[57139, 28569],[57143, 28571],[57149, 28574],[57163, 28581],[57173, 28586],[57179, 28589],[57191, 28595],[57193, 2383],[57203, 28601],
  581. [57221, 28610],[57223, 28611],[57241, 14310],[57251, 28625],[57259, 28629],[57269, 28634],[57271, 1909],[57283, 28641],[57287, 28643],[57301, 1910],
  582. [57329, 7166],[57331, 28665],[57347, 28673],[57349, 28674],[57367, 28683],[57373, 28686],[57383, 28691],[57389, 28694],[57397, 28698],[57413, 28706],
  583. [57427, 28713],[57457, 513],[57467, 28733],[57487, 9581],[57493, 9582],[57503, 28751],[57527, 4109],[57529, 7191],[57557, 28778],[57559, 28779],
  584. [57571, 5757],[57587, 28793],[57593, 7199],[57601, 1200],[57637, 28818],[57641, 7205],[57649, 1201],[57653, 28826],[57667, 9611],[57679, 9613],
  585. [57689, 7211],[57697, 7212],[57709, 28854],[57713, 14428],[57719, 28859],[57727, 28863],[57731, 28865],[57737, 14434],[57751, 28875],[57773, 2626],
  586. [57781, 642],[57787, 28893],[57791, 28895],[57793, 2408],[57803, 28901],[57809, 14452],[57829, 9638],[57839, 28919],[57847, 28923],[57853, 9642],
  587. [57859, 28929],[57881, 1447],[57899, 28949],[57901, 28950],[57917, 28958],[57923, 28961],[57943, 28971],[57947, 4139],[57973, 9662],[57977, 14494],
  588. [57991, 5799],[58013, 29006],[58027, 29013],[58031, 29015],[58043, 29021],[58049, 7256],[58057, 7257],[58061, 5806],[58067, 29033],[58073, 7259],
  589. [58099, 9683],[58109, 29054],[58111, 29055],[58129, 3633],[58147, 881],[58151, 29075],[58153, 7269],[58169, 14542],[58171, 29085],[58189, 9698],
  590. [58193, 14548],[58199, 29099],[58207, 29103],[58211, 29105],[58217, 14554],[58229, 29114],[58231, 29115],[58237, 9706],[58243, 29121],[58271, 29135],
  591. [58309, 226],[58313, 7289],[58321, 14580],[58337, 3646],[58363, 29181],[58367, 29183],[58369, 7296],[58379, 29189],[58391, 29195],[58393, 7299],
  592. [58403, 29201],[58411, 29205],[58417, 4868],[58427, 29213],[58439, 29219],[58441, 2435],[58451, 5845],[58453, 29226],[58477, 9746],[58481, 14620],
  593. [58511, 29255],[58537, 7317],[58543, 29271],[58549, 29274],[58567, 29283],[58573, 29286],[58579, 29289],[58601, 14650],[58603, 29301],[58613, 29306],
  594. [58631, 5863],[58657, 7332],[58661, 29330],[58679, 29339],[58687, 29343],[58693, 29346],[58699, 29349],[58711, 29355],[58727, 29363],[58733, 29366],
  595. [58741, 29370],[58757, 29378],[58763, 29381],[58771, 3265],[58787, 29393],[58789, 29394],[58831, 9805],[58889, 7361],[58897, 7362],[58901, 29450],
  596. [58907, 29453],[58909, 29454],[58913, 2104],[58921, 1473],[58937, 14734],[58943, 29471],[58963, 9827],[58967, 29483],[58979, 29489],[58991, 29495],
  597. [58997, 4214],[59009, 14752],[59011, 29505],[59021, 29510],[59023, 9837],[59029, 29514],[59051, 1181],[59053, 9842],[59063, 29531],[59069, 29534],
  598. [59077, 9846],[59083, 29541],[59093, 1738],[59107, 29553],[59113, 2463],[59119, 29559],[59123, 29561],[59141, 5914],[59149, 29574],[59159, 29579],
  599. [59167, 29583],[59183, 29591],[59197, 29598],[59207, 29603],[59209, 14802],[59219, 29609],[59221, 29610],[59233, 617],[59239, 9873],[59243, 29621],
  600. [59263, 29631],[59273, 7409],[59281, 3705],[59333, 29666],[59341, 9890],[59351, 29675],[59357, 29678],[59359, 29679],[59369, 14842],[59377, 14844],
  601. [59387, 29693],[59393, 116],[59399, 29699],[59407, 29703],[59417, 14854],[59419, 29709],[59441, 14860],[59443, 29721],[59447, 29723],[59453, 29726],
  602. [59467, 29733],[59471, 29735],[59473, 7434],[59497, 4958],[59509, 9918],[59513, 14878],[59539, 29769],[59557, 29778],[59561, 2978],[59567, 29783],
  603. [59581, 9930],[59611, 29805],[59617, 14904],[59621, 2710],[59627, 29813],[59629, 29814],[59651, 29825],[59659, 9943],[59663, 29831],[59669, 29834],
  604. [59671, 29835],[59693, 29846],[59699, 29849],[59707, 3317],[59723, 29861],[59729, 14932],[59743, 9957],[59747, 29873],[59753, 679],[59771, 29885],
  605. [59779, 9963],[59791, 29895],[59797, 29898],[59809, 623],[59833, 14958],[59863, 29931],[59879, 29939],[59887, 3327],[59921, 2140],[59929, 14982],
  606. [59951, 29975],[59957, 29978],[59971, 9995],[59981, 29990],[59999, 29999],[60013, 10002],[60017, 15004],[60029, 30014],[60037, 30018],[60041, 3002],
  607. [60077, 30038],[60083, 30041],[60089, 7511],[60091, 30045],[60101, 6010],[60103, 30051],[60107, 30053],[60127, 10021],[60133, 10022],[60139, 3341],
  608. [60149, 30074],[60161, 15040],[60167, 30083],[60169, 15042],[60209, 15052],[60217, 579],[60223, 30111],[60251, 6025],[60257, 7532],[60259, 10043],
  609. [60271, 10045],[60289, 15072],[60293, 30146],[60317, 30158],[60331, 6033],[60337, 3771],[60343, 10057],[60353, 7544],[60373, 30186],[60383, 30191],
  610. [60397, 10066],[60413, 30206],[60427, 373],[60443, 30221],[60449, 7556],[60457, 5038],[60493, 30246],[60497, 15124],[60509, 30254],[60521, 1513],
  611. [60527, 30263],[60539, 30269],[60589, 30294],[60601, 7575],[60607, 30303],[60611, 2755],[60617, 15154],[60623, 30311],[60631, 10105],[60637, 30318],
  612. [60647, 30323],[60649, 7581],[60659, 30329],[60661, 30330],[60679, 10113],[60689, 3793],[60703, 10117],[60719, 30359],[60727, 30363],[60733, 30366],
  613. [60737, 15184],[60757, 30378],[60761, 15190],[60763, 10127],[60773, 30386],[60779, 30389],[60793, 15198],[60811, 30405],[60821, 30410],[60859, 10143],
  614. [60869, 30434],[60887, 30443],[60889, 2537],[60899, 30449],[60901, 30450],[60913, 5076],[60917, 30458],[60919, 2769],[60923, 30461],[60937, 15234],
  615. [60943, 4353],[60953, 7619],[60961, 15240],[61001, 3050],[61007, 30503],[61027, 30513],[61031, 30515],[61043, 30521],[61051, 6105],[61057, 15264],
  616. [61091, 30545],[61099, 30549],[61121, 3056],[61129, 7641],[61141, 2038],[61151, 30575],[61153, 15288],[61169, 15292],[61211, 30605],[61223, 4373],
  617. [61231, 2041],[61253, 30626],[61261, 30630],[61283, 30641],[61291, 3405],[61297, 2554],[61331, 30665],[61333, 30666],[61339, 30669],[61343, 30671],
  618. [61357, 10226],[61363, 4383],[61379, 30689],[61381, 6138],[61403, 30701],[61409, 15352],[61417, 15354],[61441, 2560],[61463, 30731],[61469, 30734],
  619. [61471, 30735],[61483, 30741],[61487, 30743],[61493, 30746],[61507, 30753],[61511, 30755],[61519, 30759],[61543, 30771],[61547, 30773],[61553, 7694],
  620. [61559, 30779],[61561, 5130],[61583, 30791],[61603, 30801],[61609, 7701],[61613, 30806],[61627, 10271],[61631, 30815],[61637, 30818],[61643, 30821],
  621. [61651, 30825],[61657, 7707],[61667, 30833],[61673, 7709],[61681, 20],[61687, 30843],[61703, 30851],[61717, 30858],[61723, 10287],[61729, 7716],
  622. [61751, 30875],[61757, 30878],[61781, 30890],[61813, 30906],[61819, 10303],[61837, 10306],[61843, 30921],[61861, 30930],[61871, 30935],[61879, 30939],
  623. [61909, 1474],[61927, 10321],[61933, 10322],[61949, 30974],[61961, 15490],[61967, 30983],[61979, 30989],[61981, 10330],[61987, 30993],[61991, 6199],
  624. [62003, 31001],[62011, 31005],[62017, 15504],[62039, 31019],[62047, 3447],[62053, 31026],[62057, 7757],[62071, 10345],[62081, 3880],[62099, 31049],
  625. [62119, 10353],[62129, 7766],[62131, 31065],[62137, 1726],[62141, 31070],[62143, 10357],[62171, 31085],[62189, 31094],[62191, 6219],[62201, 7775],
  626. [62207, 31103],[62213, 31106],[62219, 31109],[62233, 2593],[62273, 3892],[62297, 15574],[62299, 31149],[62303, 31151],[62311, 31155],[62323, 31161],
  627. [62327, 31163],[62347, 10391],[62351, 31175],[62383, 10397],[62401, 15600],[62417, 7802],[62423, 31211],[62459, 1837],[62467, 10411],[62473, 2603],
  628. [62477, 31238],[62483, 31241],[62497, 217],[62501, 31250],[62507, 31253],[62533, 31266],[62539, 31269],[62549, 31274],[62563, 10427],[62581, 31290],
  629. [62591, 31295],[62597, 31298],[62603, 31301],[62617, 5218],[62627, 31313],[62633, 15658],[62639, 31319],[62653, 31326],[62659, 10443],[62683, 10447],
  630. [62687, 31343],[62701, 31350],[62723, 31361],[62731, 6273],[62743, 10457],[62753, 15688],[62761, 7845],[62773, 10462],[62791, 4485],[62801, 7850],
  631. [62819, 31409],[62827, 283],[62851, 31425],[62861, 6286],[62869, 31434],[62873, 7859],[62897, 15724],[62903, 31451],[62921, 3146],[62927, 31463],
  632. [62929, 3933],[62939, 31469],[62969, 7871],[62971, 10495],[62981, 31490],[62983, 10497],[62987, 31493],[62989, 31494],[63029, 31514],[63031, 31515],
  633. [63059, 31529],[63067, 31533],[63073, 15768],[63079, 31539],[63097, 7887],[63103, 31551],[63113, 15778],[63127, 3507],[63131, 31565],[63149, 31574],
  634. [63179, 31589],[63197, 31598],[63199, 31599],[63211, 6321],[63241, 2635],[63247, 31623],[63277, 31638],[63281, 2260],[63299, 31649],[63311, 31655],
  635. [63313, 3957],[63317, 31658],[63331, 31665],[63337, 15834],[63347, 31673],[63353, 7919],[63361, 3168],[63367, 31683],[63377, 15844],[63389, 31694],
  636. [63391, 31695],[63397, 31698],[63409, 7926],[63419, 31709],[63421, 31710],[63439, 31719],[63443, 31721],[63463, 31731],[63467, 31733],[63473, 3967],
  637. [63487, 3527],[63493, 31746],[63499, 10583],[63521, 3970],[63527, 31763],[63533, 4538],[63541, 31770],[63559, 31779],[63577, 883],[63587, 31793],
  638. [63589, 31794],[63599, 31799],[63601, 7950],[63607, 31803],[63611, 31805],[63617, 15904],[63629, 31814],[63647, 31823],[63649, 5304],[63659, 31829],
  639. [63667, 31833],[63671, 6367],[63689, 838],[63691, 10615],[63697, 15924],[63703, 31851],[63709, 10618],[63719, 31859],[63727, 31863],[63737, 7967],
  640. [63743, 31871],[63761, 15940],[63773, 31886],[63781, 31890],[63793, 15948],[63799, 31899],[63803, 31901],[63809, 15952],[63823, 10637],[63839, 31919],
  641. [63841, 399],[63853, 31926],[63857, 15964],[63863, 31931],[63901, 150],[63907, 31953],[63913, 2663],[63929, 15982],[63949, 31974],[63977, 15994],
  642. [63997, 31998],[64007, 32003],[64013, 32006],[64019, 32009],[64033, 5336],[64037, 32018],[64063, 32031],[64067, 311],[64081, 16020],[64091, 32045],
  643. [64109, 32054],[64123, 32061],[64151, 32075],[64153, 5346],[64157, 32078],[64171, 3565],[64187, 32093],[64189, 32094],[64217, 16054],[64223, 32111],
  644. [64231, 32115],[64237, 32118],[64271, 32135],[64279, 3571],[64283, 32141],[64301, 32150],[64303, 32151],[64319, 32159],[64327, 32163],[64333, 32166],
  645. [64373, 32186],[64381, 32190],[64399, 10733],[64403, 2477],[64433, 8054],[64439, 319],[64451, 32225],[64453, 32226],[64483, 32241],[64489, 8061],
  646. [64499, 32249],[64513, 16128],[64553, 16138],[64567, 32283],[64577, 16144],[64579, 32289],[64591, 32295],[64601, 8075],[64609, 5384],[64613, 32306],
  647. [64621, 6462],[64627, 10771],[64633, 16158],[64661, 32330],[64663, 32331],[64667, 32333],[64679, 32339],[64693, 32346],[64709, 4622],[64717, 32358],
  648. [64747, 10791],[64763, 32381],[64781, 32390],[64783, 3599],[64793, 16198],[64811, 32405],[64817, 4051],[64849, 2702],[64853, 32426],[64871, 32435],
  649. [64877, 4634],[64879, 32439],[64891, 10815],[64901, 32450],[64919, 32459],[64921, 5410],[64927, 10821],[64937, 16234],[64951, 32475],[64969, 16242],
  650. [64997, 32498],[65003, 4643],[65011, 32505],[65027, 32513],[65029, 32514],[65033, 8129],[65053, 3614],[65063, 32531],[65071, 32535],[65089, 904],
  651. [65099, 32549],[65101, 32550],[65111, 32555],[65119, 10853],[65123, 32561],[65129, 8141],[65141, 32570],[65147, 32573],[65167, 32583],[65171, 32585],
  652. [65173, 32586],[65179, 32589],[65183, 32591],[65203, 32601],[65213, 32606],[65239, 32619],[65257, 8157],[65267, 32633],[65269, 32634],[65287, 32643],
  653. [65293, 32646],[65309, 32654],[65323, 32661],[65327, 32663],[65353, 16338],[65357, 32678],[65371, 32685],[65381, 6538],[65393, 16348],[65407, 2973],
  654. [65413, 10902],[65419, 10903],[65423, 32711],[65437, 1558],[65447, 32723],[65449, 8181],[65479, 10913],[65497, 5458],[65519, 32759],[65521, 585],
  655. [65537, 16],[65539, 32769],[65543, 32771],[65551, 10925],[65557, 3642],[65563, 10927],[65579, 32789],[65581, 32790],[65587, 32793],[65599, 32799],
  656. [65609, 8201],[65617, 1367],[65629, 32814],[65633, 16408],[65647, 4689],[65651, 32825],[65657, 8207],[65677, 32838],[65687, 32843],[65699, 32849],
  657. [65701, 3650],[65707, 32853],[65713, 16428],[65717, 32858],[65719, 32859],[65729, 8216],[65731, 10955],[65761, 4110],[65777, 16444],[65789, 32894],
  658. [65809, 16452],[65827, 32913],[65831, 32915],[65837, 32918],[65839, 10973],[65843, 32921],[65851, 10975],[65867, 32933],[65881, 8235],[65899, 4707],
  659. [65921, 8240],[65927, 32963],[65929, 2747],[65951, 32975],[65957, 32978],[65963, 32981],[65981, 32990],[65983, 10997],[65993, 113],[66029, 33014],
  660. [66037, 33018],[66041, 1651],[66047, 33023],[66067, 1001],[66071, 33035],[66083, 33041],[66089, 16522],[66103, 33051],[66107, 33053],[66109, 33054],
  661. [66137, 8267],[66161, 827],[66169, 16542],[66173, 33086],[66179, 33089],[66191, 33095],[66221, 33110],[66239, 33119],[66271, 11045],[66293, 33146],
  662. [66301, 11050],[66337, 4146],[66343, 33171],[66347, 33173],[66359, 33179],[66361, 16590],[66373, 33186],[66377, 8297],[66383, 33191],[66403, 33201],
  663. [66413, 33206],[66431, 4745],[66449, 16612],[66457, 213],[66463, 33231],[66467, 33233],[66491, 33245],[66499, 33249],[66509, 33254],[66523, 33261],
  664. [66529, 1512],[66533, 33266],[66541, 11090],[66553, 16638],[66569, 8321],[66571, 6657],[66587, 33293],[66593, 8324],[66601, 16650],[66617, 8327],
  665. [66629, 33314],[66643, 33321],[66653, 33326],[66683, 4763],[66697, 2779],[66701, 6670],[66713, 16678],[66721, 16680],[66733, 33366],[66739, 33369],
  666. [66749, 902],[66751, 11125],[66763, 11127],[66791, 33395],[66797, 33398],[66809, 8351],[66821, 33410],[66841, 1671],[66851, 33425],[66853, 33426],
  667. [66863, 33431],[66877, 11146],[66883, 33441],[66889, 5574],[66919, 33459],[66923, 33461],[66931, 11155],[66943, 11157],[66947, 33473],[66949, 11158],
  668. [66959, 33479],[66973, 33486],[66977, 16744],[67003, 33501],[67021, 2234],[67033, 931],[67043, 33521],[67049, 8381],[67057, 4191],[67061, 33530],
  669. [67073, 2096],[67079, 33539],[67103, 4793],[67121, 16780],[67129, 8391],[67139, 33569],[67141, 33570],[67153, 16788],[67157, 33578],[67169, 16792],
  670. [67181, 33590],[67187, 33593],[67189, 11198],[67211, 33605],[67213, 33606],[67217, 4201],[67219, 659],[67231, 33615],[67247, 33623],[67261, 33630],
  671. [67271, 33635],[67273, 16818],[67289, 8411],[67307, 33653],[67339, 11223],[67343, 33671],[67349, 33674],[67369, 16842],[67391, 33695],[67399, 33699],
  672. [67409, 4213],[67411, 33705],[67421, 33710],[67427, 33713],[67429, 33714],[67433, 8429],[67447, 33723],[67453, 33726],[67477, 33738],[67481, 3374],
  673. [67489, 2109],[67493, 33746],[67499, 33749],[67511, 33755],[67523, 33761],[67531, 11255],[67537, 5628],[67547, 33773],[67559, 1987],[67567, 33783],
  674. [67577, 16894],[67579, 11263],[67589, 33794],[67601, 3380],[67607, 4829],[67619, 33809],[67631, 33815],[67651, 2255],[67679, 33839],[67699, 33849],
  675. [67709, 33854],[67723, 11287],[67733, 33866],[67741, 11290],[67751, 6775],[67757, 2606],[67759, 33879],[67763, 33881],[67777, 5648],[67783, 11297],
  676. [67789, 11298],[67801, 8475],[67807, 33903],[67819, 11303],[67829, 33914],[67843, 11307],[67853, 33926],[67867, 33933],[67883, 33941],[67891, 6789],
  677. [67901, 6790],[67927, 33963],[67931, 6793],[67933, 33966],[67939, 11323],[67943, 33971],[67957, 33978],[67961, 3398],[67967, 33983],[67979, 33989],
  678. [67987, 33993],[67993, 5666],[68023, 34011],[68041, 17010],[68053, 11342],[68059, 34029],[68071, 34035],[68087, 34043],[68099, 34049],[68111, 34055],
  679. [68113, 17028],[68141, 6814],[68147, 34073],[68161, 8520],[68171, 34085],[68207, 34103],[68209, 4263],[68213, 34106],[68219, 34109],[68227, 34113],
  680. [68239, 34119],[68261, 34130],[68279, 34139],[68281, 3414],[68311, 3795],[68329, 17082],[68351, 6835],[68371, 6837],[68389, 34194],[68399, 34199],
  681. [68437, 34218],[68443, 2013],[68447, 34223],[68449, 713],[68473, 8559],[68477, 34238],[68483, 34241],[68489, 2446],[68491, 11415],[68501, 1370],
  682. [68507, 34253],[68521, 17130],[68531, 4895],[68539, 34269],[68543, 34271],[68567, 34283],[68581, 2286],[68597, 34298],[68611, 34305],[68633, 17158],
  683. [68639, 34319],[68659, 34329],[68669, 34334],[68683, 34341],[68687, 34343],[68699, 34349],[68711, 34355],[68713, 8589],[68729, 8591],[68737, 17184],
  684. [68743, 34371],[68749, 11458],[68767, 34383],[68771, 6877],[68777, 17194],[68791, 34395],[68813, 34406],[68819, 34409],[68821, 11470],[68863, 34431],
  685. [68879, 34439],[68881, 5740],[68891, 34445],[68897, 8612],[68899, 34449],[68903, 34451],[68909, 34454],[68917, 11486],[68927, 34463],[68947, 34473],
  686. [68963, 34481],[68993, 1568],[69001, 1725],[69011, 6901],[69019, 34509],[69029, 34514],[69031, 34515],[69061, 34530],[69067, 34533],[69073, 8634],
  687. [69109, 34554],[69119, 34559],[69127, 34563],[69143, 34571],[69149, 34574],[69151, 34575],[69163, 34581],[69191, 34595],[69193, 8649],[69197, 34598],
  688. [69203, 34601],[69221, 34610],[69233, 8654],[69239, 34619],[69247, 11541],[69257, 8657],[69259, 34629],[69263, 34631],[69313, 17328],[69317, 2666],
  689. [69337, 17334],[69341, 6934],[69371, 34685],[69379, 34689],[69383, 34691],[69389, 34694],[69401, 8675],[69403, 11567],[69427, 34713],[69431, 53],
  690. [69439, 34719],[69457, 8682],[69463, 34731],[69467, 34733],[69473, 17368],[69481, 1737],[69491, 34745],[69493, 34746],[69497, 1241],[69499, 2673],
  691. [69539, 34769],[69557, 34778],[69593, 17398],[69623, 34811],[69653, 34826],[69661, 6966],[69677, 34838],[69691, 34845],[69697, 8712],[69709, 11618],
  692. [69737, 17434],[69739, 34869],[69761, 4360],[69763, 34881],[69767, 34883],[69779, 34889],[69809, 17452],[69821, 6982],[69827, 34913],[69829, 11638],
  693. [69833, 8729],[69847, 34923],[69857, 17464],[69859, 3881],[69877, 34938],[69899, 34949],[69911, 34955],[69929, 8741],[69931, 945],[69941, 34970],
  694. [69959, 34979],[69991, 34995],[69997, 34998],[70001, 17500],[70003, 35001],[70009, 5834],[70019, 2693],[70039, 35019],[70051, 2335],[70061, 35030],
  695. [70067, 35033],[70079, 35039],[70099, 11683],[70111, 35055],[70117, 35058],[70121, 8765],[70123, 35061],[70139, 35069],[70141, 11690],[70157, 35078],
  696. [70163, 35081],[70177, 17544],[70181, 7018],[70183, 35091],[70199, 35099],[70201, 17550],[70207, 11701],[70223, 35111],[70229, 35114],[70237, 35118],
  697. [70241, 17560],[70249, 8781],[70271, 35135],[70289, 8786],[70297, 8787],[70309, 1674],[70313, 17578],[70321, 1758],[70327, 11721],[70351, 11725],
  698. [70373, 35186],[70379, 5027],[70381, 1530],[70393, 17598],[70423, 11737],[70429, 11738],[70439, 35219],[70451, 7045],[70457, 17614],[70459, 11743],
  699. [70481, 881],[70487, 35243],[70489, 2937],[70501, 35250],[70507, 35253],[70529, 8816],[70537, 8817],[70549, 35274],[70571, 35285],[70573, 35286],
  700. [70583, 35291],[70589, 35294],[70607, 35303],[70619, 35309],[70621, 7062],[70627, 11771],[70639, 35319],[70657, 2944],[70663, 35331],[70667, 35333],
  701. [70687, 35343],[70709, 35354],[70717, 35358],[70729, 17682],[70753, 17688],[70769, 8846],[70783, 11797],[70793, 17698],[70823, 35411],[70841, 8855],
  702. [70843, 35421],[70849, 17712],[70853, 35426],[70867, 11811],[70877, 35438],[70879, 11813],[70891, 2363],[70901, 35450],[70913, 8864],[70919, 35459],
  703. [70921, 985],[70937, 8867],[70949, 35474],[70951, 35475],[70957, 35478],[70969, 2957],[70979, 35489],[70981, 11830],[70991, 7099],[70997, 35498],
  704. [70999, 11833],[71011, 11835],[71023, 35511],[71039, 35519],[71059, 11843],[71069, 35534],[71081, 17770],[71089, 1481],[71119, 81],[71129, 17782],
  705. [71143, 35571],[71147, 35573],[71153, 4447],[71161, 8895],[71167, 35583],[71171, 35585],[71191, 7119],[71209, 17802],[71233, 2968],[71237, 35618],
  706. [71249, 4453],[71257, 8907],[71261, 5090],[71263, 35631],[71287, 35643],[71293, 914],[71317, 35658],[71327, 35663],[71329, 2972],[71333, 35666],
  707. [71339, 35669],[71341, 2378],[71347, 35673],[71353, 8919],[71359, 35679],[71363, 35681],[71387, 35693],[71389, 11898],[71399, 35699],[71411, 35705],
  708. [71413, 35706],[71419, 35709],[71429, 35714],[71437, 35718],[71443, 3969],[71453, 35726],[71471, 7147],[71473, 1489],[71479, 35739],[71483, 35741],
  709. [71503, 35751],[71527, 35763],[71537, 17884],[71549, 35774],[71551, 1325],[71563, 35781],[71569, 2556],[71593, 2983],[71597, 35798],[71633, 17908],
  710. [71647, 35823],[71663, 35831],[71671, 2389],[71693, 35846],[71699, 35849],[71707, 35853],[71711, 35855],[71713, 17928],[71719, 35859],[71741, 35870],
  711. [71761, 1495],[71777, 4486],[71789, 35894],[71807, 5129],[71809, 5984],[71821, 35910],[71837, 35918],[71843, 35921],[71849, 17962],[71861, 7186],
  712. [71867, 35933],[71879, 35939],[71881, 8985],[71887, 35943],[71899, 35949],[71909, 35954],[71917, 35958],[71933, 35966],[71941, 35970],[71947, 35973],
  713. [71963, 35981],[71971, 35985],[71983, 35991],[71987, 35993],[71993, 17998],[71999, 35999],[72019, 36009],[72031, 36015],[72043, 12007],[72047, 36023],
  714. [72053, 36026],[72073, 18018],[72077, 36038],[72089, 18022],[72091, 36045],[72101, 36050],[72103, 36051],[72109, 36054],[72139, 36069],[72161, 18040],
  715. [72167, 36083],[72169, 6014],[72173, 36086],[72211, 36105],[72221, 36110],[72223, 12037],[72227, 36113],[72229, 36114],[72251, 289],[72253, 36126],
  716. [72269, 1246],[72271, 3285],[72277, 12046],[72287, 36143],[72307, 12051],[72313, 9039],[72337, 18084],[72341, 36170],[72353, 18088],[72367, 36183],
  717. [72379, 36189],[72383, 36191],[72421, 12070],[72431, 36215],[72461, 36230],[72467, 36233],[72469, 1098],[72481, 9060],[72493, 36246],[72497, 788],
  718. [72503, 36251],[72533, 36266],[72547, 36273],[72551, 36275],[72559, 36279],[72577, 9072],[72613, 36306],[72617, 9077],[72623, 36311],[72643, 36321],
  719. [72647, 36323],[72649, 18162],[72661, 5190],[72671, 36335],[72673, 6056],[72679, 36339],[72689, 649],[72701, 36350],[72707, 36353],[72719, 36359],
  720. [72727, 12121],[72733, 36366],[72739, 36369],[72763, 36381],[72767, 36383],[72797, 36398],[72817, 3034],[72823, 36411],[72859, 36429],[72869, 36434],
  721. [72871, 7287],[72883, 4049],[72889, 9111],[72893, 36446],[72901, 36450],[72907, 36453],[72911, 1585],[72923, 36461],[72931, 12155],[72937, 9117],
  722. [72949, 36474],[72953, 829],[72959, 36479],[72973, 36486],[72977, 4561],[72997, 36498],[73009, 6084],[73013, 36506],[73019, 36509],[73037, 36518],
  723. [73039, 36519],[73043, 36521],[73061, 36530],[73063, 4059],[73079, 36539],[73091, 36545],[73121, 18280],[73127, 36563],[73133, 36566],[73141, 12190],
  724. [73181, 36590],[73189, 36594],[73237, 12206],[73243, 2817],[73259, 36629],[73277, 5234],[73291, 12215],[73303, 36651],[73309, 36654],[73327, 36663],
  725. [73331, 36665],[73351, 36675],[73361, 1834],[73363, 12227],[73369, 6114],[73379, 36689],[73387, 36693],[73417, 399],[73421, 36710],[73433, 18358],
  726. [73453, 36726],[73459, 36729],[73471, 155],[73477, 12246],[73483, 36741],[73517, 36758],[73523, 36761],[73529, 2626],[73547, 36773],[73553, 4597],
  727. [73561, 9195],[73571, 36785],[73583, 36791],[73589, 36794],[73597, 36798],[73607, 36803],[73609, 6134],[73613, 36806],[73637, 36818],[73643, 36821],
  728. [73651, 36825],[73673, 18418],[73679, 36839],[73681, 18420],[73693, 36846],[73699, 36849],[73709, 36854],[73721, 9215],[73727, 36863],[73751, 36875],
  729. [73757, 36878],[73771, 36885],[73783, 4099],[73819, 12303],[73823, 36911],[73847, 36923],[73849, 6154],[73859, 36929],[73867, 36933],[73877, 36938],
  730. [73883, 36941],[73897, 18474],[73907, 36953],[73939, 36969],[73943, 36971],[73951, 36975],[73961, 9245],[73973, 36986],[73999, 36999],[74017, 9252],
  731. [74021, 37010],[74027, 37013],[74047, 37023],[74051, 7405],[74071, 12345],[74077, 12346],[74093, 37046],[74099, 37049],[74101, 37050],[74131, 37065],
  732. [74143, 37071],[74149, 37074],[74159, 37079],[74161, 18540],[74167, 37083],[74177, 18544],[74189, 37094],[74197, 12366],[74201, 9275],[74203, 37101],
  733. [74209, 2319],[74219, 37109],[74231, 7423],[74257, 9282],[74279, 37139],[74287, 4127],[74293, 12382],[74297, 18574],[74311, 37155],[74317, 37158],
  734. [74323, 12387],[74353, 9294],[74357, 37178],[74363, 37181],[74377, 6198],[74381, 37190],[74383, 37191],[74411, 37205],[74413, 12402],[74419, 37209],
  735. [74441, 9305],[74449, 9306],[74453, 37226],[74471, 37235],[74489, 18622],[74507, 37253],[74509, 37254],[74521, 1863],[74527, 12421],[74531, 37265],
  736. [74551, 37275],[74561, 932],[74567, 37283],[74573, 37286],[74587, 37293],[74597, 37298],[74609, 4663],[74611, 37305],[74623, 37311],[74653, 37326],
  737. [74687, 37343],[74699, 37349],[74707, 37353],[74713, 9339],[74717, 37358],[74719, 4151],[74729, 9341],[74731, 37365],[74747, 37373],[74759, 37379],
  738. [74761, 9345],[74771, 37385],[74779, 37389],[74797, 12466],[74821, 12470],[74827, 12471],[74831, 37415],[74843, 37421],[74857, 6238],[74861, 37430],
  739. [74869, 37434],[74873, 18718],[74887, 12481],[74891, 37445],[74897, 18724],[74903, 37451],[74923, 12487],[74929, 18732],[74933, 37466],[74941, 7494],
  740. [74959, 37479],[75011, 577],[75013, 37506],[75017, 18754],[75029, 37514],[75037, 37518],[75041, 268],[75079, 37539],[75083, 37541],[75109, 37554],
  741. [75133, 37566],[75149, 37574],[75161, 18790],[75167, 5369],[75169, 696],[75181, 37590],[75193, 9399],[75209, 9401],[75211, 37605],[75217, 3134],
  742. [75223, 37611],[75227, 37613],[75239, 37619],[75253, 37626],[75269, 37634],[75277, 37638],[75289, 9411],[75307, 12551],[75323, 37661],[75329, 4708],
  743. [75337, 9417],[75347, 37673],[75353, 9419],[75367, 37683],[75377, 18844],[75389, 37694],[75391, 37695],[75401, 18850],[75403, 12567],[75407, 1019],
  744. [75431, 37715],[75437, 37718],[75479, 37739],[75503, 37751],[75511, 12585],[75521, 3776],[75527, 37763],[75533, 37766],[75539, 37769],[75541, 37770],
  745. [75553, 2361],[75557, 37778],[75571, 37785],[75577, 6298],[75583, 37791],[75611, 37805],[75617, 9452],[75619, 37809],[75629, 37814],[75641, 18910],
  746. [75653, 37826],[75659, 37829],[75679, 37839],[75683, 37841],[75689, 9461],[75703, 12617],[75707, 37853],[75709, 37854],[75721, 9465],[75731, 37865],
  747. [75743, 37871],[75767, 37883],[75773, 37886],[75781, 4210],[75787, 12631],[75793, 18948],[75797, 37898],[75821, 37910],[75833, 9479],[75853, 5418],
  748. [75869, 37934],[75883, 37941],[75913, 18978],[75931, 7593],[75937, 9492],[75941, 37970],[75967, 37983],[75979, 37989],[75983, 37991],[75989, 37994],
  749. [75991, 2533],[75997, 37998],[76001, 1000],[76003, 12667],[76031, 38015],[76039, 12673],[76079, 38039],[76081, 6340],[76091, 38045],[76099, 12683],
  750. [76103, 38051],[76123, 4229],[76129, 9516],[76147, 38073],[76157, 38078],[76159, 38079],[76163, 38081],[76207, 38103],[76213, 1314],[76231, 38115],
  751. [76243, 12707],[76249, 6354],[76253, 38126],[76259, 38129],[76261, 38130],[76283, 38141],[76289, 19072],[76303, 38151],[76333, 12722],[76343, 38171],
  752. [76367, 38183],[76369, 1591],[76379, 38189],[76387, 12731],[76403, 38201],[76421, 7642],[76423, 12737],[76441, 19110],[76463, 38231],[76471, 38235],
  753. [76481, 9560],[76487, 38243],[76493, 38246],[76507, 38253],[76511, 38255],[76519, 12753],[76537, 19134],[76541, 38270],[76543, 12757],[76561, 1595],
  754. [76579, 12763],[76597, 12766],[76603, 38301],[76607, 38303],[76631, 38315],[76649, 9581],[76651, 5475],[76667, 38333],[76673, 19168],[76679, 38339],
  755. [76697, 19174],[76717, 38358],[76733, 38366],[76753, 4797],[76757, 38378],[76771, 38385],[76777, 19194],[76781, 38390],[76801, 19200],[76819, 12803],
  756. [76829, 38414],[76831, 2561],[76837, 12806],[76847, 38423],[76871, 38435],[76873, 19218],[76883, 38441],[76907, 38453],[76913, 9614],[76919, 38459],
  757. [76943, 38471],[76949, 38474],[76961, 19240],[76963, 12827],[76991, 38495],[77003, 38501],[77017, 6418],[77023, 12837],[77029, 38514],[77041, 19260],
  758. [77047, 38523],[77069, 38534],[77081, 19270],[77093, 38546],[77101, 7710],[77137, 6428],[77141, 7714],[77153, 19288],[77167, 12861],[77171, 38585],
  759. [77191, 38595],[77201, 4825],[77213, 38606],[77237, 38618],[77239, 5517],[77243, 38621],[77249, 9656],[77261, 38630],[77263, 12877],[77267, 38633],
  760. [77269, 38634],[77279, 38639],[77291, 38645],[77317, 38658],[77323, 38661],[77339, 38669],[77347, 12891],[77351, 7735],[77359, 38679],[77369, 19342],
  761. [77377, 6448],[77383, 38691],[77417, 9677],[77419, 38709],[77431, 38715],[77447, 38723],[77471, 7747],[77477, 38738],[77479, 12913],[77489, 4843],
  762. [77491, 5535],[77509, 38754],[77513, 19378],[77521, 19380],[77527, 12921],[77543, 38771],[77549, 38774],[77551, 38775],[77557, 12926],[77563, 38781],
  763. [77569, 2424],[77573, 38786],[77587, 38793],[77591, 38795],[77611, 38805],[77617, 9702],[77621, 38810],[77641, 19410],[77647, 38823],[77659, 38829],
  764. [77681, 19420],[77687, 38843],[77689, 9711],[77699, 38849],[77711, 38855],[77713, 19428],[77719, 38859],[77723, 38861],[77731, 38865],[77743, 5553],
  765. [77747, 38873],[77761, 19440],[77773, 38886],[77783, 38891],[77797, 12966],[77801, 3890],[77813, 38906],[77839, 38919],[77849, 9731],[77863, 38931],
  766. [77867, 38933],[77893, 38946],[77899, 12983],[77929, 9741],[77933, 38966],[77951, 38975],[77969, 9746],[77977, 9747],[77983, 38991],[77999, 38999],
  767. [78007, 39003],[78017, 19504],[78031, 39015],[78041, 9755],[78049, 1626],[78059, 39029],[78079, 39039],[78101, 39050],[78121, 2790],[78137, 19534],
  768. [78139, 13023],[78157, 4342],[78163, 5583],[78167, 39083],[78173, 39086],[78179, 39089],[78191, 39095],[78193, 6516],[78203, 39101],[78229, 39114],
  769. [78233, 77],[78241, 19560],[78259, 39129],[78277, 13046],[78283, 4349],[78301, 4350],[78307, 39153],[78311, 39155],[78317, 39158],[78341, 39170],
  770. [78347, 39173],[78367, 39183],[78401, 1960],[78427, 13071],[78437, 39218],[78439, 39219],[78467, 39233],[78479, 39239],[78487, 39243],[78497, 19624],
  771. [78509, 2066],[78511, 2617],[78517, 39258],[78539, 39269],[78541, 39270],[78553, 6546],[78569, 9821],[78571, 39285],[78577, 19644],[78583, 39291],
  772. [78593, 4912],[78607, 13101],[78623, 39311],[78643, 13107],[78649, 19662],[78653, 5618],[78691, 13115],[78697, 9837],[78707, 39353],[78713, 19678],
  773. [78721, 9840],[78737, 4921],[78779, 39389],[78781, 13130],[78787, 39393],[78791, 39395],[78797, 39398],[78803, 39401],[78809, 9851],[78823, 13137],
  774. [78839, 39419],[78853, 13142],[78857, 19714],[78877, 39438],[78887, 39443],[78889, 9861],[78893, 39446],[78901, 13150],[78919, 39459],[78929, 9866],
  775. [78941, 39470],[78977, 19744],[78979, 13163],[78989, 39494],[79031, 39515],[79039, 39519],[79043, 39521],[79063, 13177],[79087, 39543],[79103, 39551],
  776. [79111, 39555],[79133, 39566],[79139, 39569],[79147, 39573],[79151, 39575],[79153, 19788],[79159, 39579],[79181, 39590],[79187, 289],[79193, 9899],
  777. [79201, 1800],[79229, 39614],[79231, 39615],[79241, 1415],[79259, 39629],[79273, 1101],[79279, 39639],[79283, 39641],[79301, 39650],[79309, 39654],
  778. [79319, 39659],[79333, 1202],[79337, 19834],[79349, 39674],[79357, 13226],[79367, 39683],[79379, 39689],[79393, 6616],[79397, 39698],[79399, 13233],
  779. [79411, 39705],[79423, 5673],[79427, 39713],[79433, 19858],[79451, 5675],[79481, 19870],[79493, 5678],[79531, 39765],[79537, 9942],[79549, 39774],
  780. [79559, 39779],[79561, 6630],[79579, 4421],[79589, 39794],[79601, 9950],[79609, 9951],[79613, 39806],[79621, 39810],[79627, 13271],[79631, 39815],
  781. [79633, 19908],[79657, 19914],[79669, 4426],[79687, 13281],[79691, 3065],[79693, 13282],[79697, 4981],[79699, 39849],[79757, 39878],[79769, 9971],
  782. [79777, 19944],[79801, 9975],[79811, 39905],[79813, 39906],[79817, 9977],[79823, 39911],[79829, 39914],[79841, 4990],[79843, 39921],[79847, 39923],
  783. [79861, 39930],[79867, 39933],[79873, 19968],[79889, 4993],[79901, 39950],[79903, 207],[79907, 39953],[79939, 4441],[79943, 39971],[79967, 39983],
  784. [79973, 39986],[79979, 39989],[79987, 39993],[79997, 39998],[79999, 39999],[80021, 40010],[80039, 40019],[80051, 40025],[80071, 40035],[80077, 40038],
  785. [80107, 40053],[80111, 8011],[80141, 40070],[80147, 40073],[80149, 13358],[80153, 10019],[80167, 40083],[80173, 2358],[80177, 5011],[80191, 729],
  786. [80207, 40103],[80209, 20052],[80221, 40110],[80231, 40115],[80233, 6686],[80239, 40119],[80251, 40125],[80263, 5733],[80273, 10034],[80279, 40139],
  787. [80287, 40143],[80309, 40154],[80317, 40158],[80329, 20082],[80341, 40170],[80347, 40173],[80363, 40181],[80369, 20092],[80387, 40193],[80407, 40203],
  788. [80429, 40214],[80447, 40223],[80449, 3352],[80471, 3095],[80473, 20118],[80489, 20122],[80491, 40245],[80513, 296],[80527, 40263],[80537, 20134],
  789. [80557, 40278],[80567, 40283],[80599, 1919],[80603, 40301],[80611, 40305],[80621, 40310],[80627, 40313],[80629, 40314],[80651, 40325],[80657, 20164],
  790. [80669, 40334],[80671, 40335],[80677, 40338],[80681, 20170],[80683, 13447],[80687, 40343],[80701, 40350],[80713, 20178],[80737, 20184],[80747, 40373],
  791. [80749, 40374],[80761, 10095],[80777, 20194],[80779, 40389],[80783, 40391],[80789, 40394],[80803, 40401],[80809, 10101],[80819, 40409],[80831, 40415],
  792. [80833, 6736],[80849, 20212],[80863, 40431],[80897, 20224],[80909, 40454],[80911, 40455],[80917, 13486],[80923, 40461],[80929, 281],[80933, 40466],
  793. [80953, 20238],[80963, 5783],[80989, 40494],[81001, 2025],[81013, 13502],[81017, 20254],[81019, 40509],[81023, 40511],[81031, 40515],[81041, 10130],
  794. [81043, 13507],[81047, 40523],[81049, 10131],[81071, 40535],[81077, 40538],[81083, 40541],[81097, 20274],[81101, 40550],[81119, 40559],[81131, 40565],
  795. [81157, 13526],[81163, 40581],[81173, 40586],[81181, 8118],[81197, 40598],[81199, 40599],[81203, 40601],[81223, 40611],[81233, 20308],[81239, 40619],
  796. [81281, 20320],[81283, 40641],[81293, 40646],[81299, 40649],[81307, 40653],[81331, 13555],[81343, 40671],[81349, 40674],[81353, 20338],[81359, 40679],
  797. [81371, 40685],[81373, 40686],[81401, 20350],[81409, 5088],[81421, 13570],[81439, 40719],[81457, 20364],[81463, 13577],[81509, 40754],[81517, 40758],
  798. [81527, 40763],[81533, 3706],[81547, 13591],[81551, 40775],[81553, 5097],[81559, 40779],[81563, 40781],[81569, 20392],[81611, 40805],[81619, 13603],
  799. [81629, 40814],[81637, 40818],[81647, 40823],[81649, 10206],[81667, 4537],[81671, 40835],[81677, 5834],[81689, 10211],[81701, 40850],[81703, 40851],
  800. [81707, 40853],[81727, 13621],[81737, 20434],[81749, 40874],[81761, 20440],[81769, 10221],[81773, 40886],[81799, 40899],[81817, 3409],[81839, 40919],
  801. [81847, 13641],[81853, 13642],[81869, 40934],[81883, 13647],[81899, 40949],[81901, 40950],[81919, 40959],[81929, 1078],[81931, 13655],[81937, 1707],
  802. [81943, 5853],[81953, 10244],[81967, 40983],[81971, 40985],[81973, 40986],[82003, 41001],[82007, 41003],[82009, 2278],[82013, 5858],[82021, 2734],
  803. [82031, 41015],[82037, 41018],[82039, 13673],[82051, 41025],[82067, 41033],[82073, 10259],[82129, 348],[82139, 5867],[82141, 13690],[82153, 10269],
  804. [82163, 41081],[82171, 41085],[82183, 13697],[82189, 1522],[82193, 20548],[82207, 41103],[82217, 10277],[82219, 41109],[82223, 41111],[82231, 2741],
  805. [82237, 13706],[82241, 4112],[82261, 13710],[82267, 41133],[82279, 41139],[82301, 41150],[82307, 41153],[82339, 41169],[82349, 5882],[82351, 4575],
  806. [82361, 20590],[82373, 41186],[82387, 41193],[82393, 10299],[82421, 41210],[82457, 20614],[82463, 41231],[82469, 41234],[82471, 13745],[82483, 41241],
  807. [82487, 41243],[82493, 41246],[82499, 2171],[82507, 41253],[82529, 10316],[82531, 1179],[82549, 41274],[82559, 41279],[82561, 20640],[82567, 13761],
  808. [82571, 8257],[82591, 13765],[82601, 2950],[82609, 20652],[82613, 41306],[82619, 41309],[82633, 3443],[82651, 41325],[82657, 1722],[82699, 13783],
  809. [82721, 517],[82723, 41361],[82727, 41363],[82729, 20682],[82757, 41378],[82759, 13793],[82763, 41381],[82781, 41390],[82787, 41393],[82793, 20698],
  810. [82799, 41399],[82811, 41405],[82813, 41406],[82837, 41418],[82847, 41423],[82883, 41441],[82889, 10361],[82891, 41445],[82903, 41451],[82913, 20728],
  811. [82939, 41469],[82963, 4609],[82981, 41490],[82997, 41498],[83003, 41501],[83009, 2594],[83023, 13837],[83047, 13841],[83059, 41529],[83063, 41531],
  812. [83071, 3195],[83077, 966],[83089, 5193],[83093, 41546],[83101, 41550],[83117, 41558],[83137, 10392],[83177, 10397],[83203, 41601],[83207, 41603],
  813. [83219, 41609],[83221, 13870],[83227, 13871],[83231, 41615],[83233, 1734],[83243, 41621],[83257, 20814],[83267, 41633],[83269, 41634],[83273, 20818],
  814. [83299, 41649],[83311, 41655],[83339, 41669],[83341, 13890],[83357, 41678],[83383, 41691],[83389, 41694],[83399, 41699],[83401, 4170],[83407, 41703],
  815. [83417, 10427],[83423, 41711],[83431, 41715],[83437, 41718],[83443, 41721],[83449, 10431],[83459, 41729],[83471, 41735],[83477, 41738],[83497, 20874],
  816. [83537, 908],[83557, 41778],[83561, 4178],[83563, 41781],[83579, 41789],[83591, 41795],[83597, 41798],[83609, 20902],[83617, 6968],[83621, 41810],
  817. [83639, 41819],[83641, 6970],[83653, 13942],[83663, 41831],[83689, 20922],[83701, 13950],[83717, 41858],[83719, 41859],[83737, 10467],[83761, 5235],
  818. [83773, 13962],[83777, 1309],[83791, 399],[83813, 41906],[83833, 3493],[83843, 41921],[83857, 10482],[83869, 1446],[83873, 20968],[83891, 41945],
  819. [83903, 41951],[83911, 41955],[83921, 20980],[83933, 41966],[83939, 41969],[83969, 10496],[83983, 13997],[83987, 41993],[84011, 8401],[84017, 21004],
  820. [84047, 42023],[84053, 42026],[84059, 42029],[84061, 14010],[84067, 42033],[84089, 21022],[84121, 21030],[84127, 14021],[84131, 42065],[84137, 21034],
  821. [84143, 42071],[84163, 42081],[84179, 42089],[84181, 42090],[84191, 42095],[84199, 14033],[84211, 14035],[84221, 42110],[84223, 42111],[84229, 42114],
  822. [84239, 3829],[84247, 42123],[84263, 42131],[84299, 42149],[84307, 14051],[84313, 1171],[84317, 42158],[84319, 42159],[84347, 42173],[84349, 42174],
  823. [84377, 21094],[84389, 42194],[84391, 42195],[84401, 5275],[84407, 6029],[84421, 42210],[84431, 42215],[84437, 42218],[84443, 42221],[84449, 10556],
  824. [84457, 2346],[84463, 42231],[84467, 42233],[84481, 10560],[84499, 42249],[84503, 42251],[84509, 42254],[84521, 10565],[84523, 42261],[84533, 42266],
  825. [84551, 8455],[84559, 42279],[84589, 42294],[84629, 42314],[84631, 42315],[84649, 10581],[84653, 42326],[84659, 42329],[84673, 588],[84691, 42345],
  826. [84697, 7058],[84701, 42350],[84713, 21178],[84719, 42359],[84731, 42365],[84737, 21184],[84751, 42375],[84761, 21190],[84787, 42393],[84793, 3533],
  827. [84809, 21202],[84811, 2827],[84827, 42413],[84857, 10607],[84859, 42429],[84869, 6062],[84871, 42435],[84913, 10614],[84919, 42459],[84947, 42473],
  828. [84961, 236],[84967, 42483],[84977, 21244],[84979, 42489],[84991, 14165],[85009, 253],[85021, 14170],[85027, 42513],[85037, 42518],[85049, 21262],
  829. [85061, 42530],[85081, 21270],[85087, 14181],[85091, 635],[85093, 42546],[85103, 42551],[85109, 42554],[85121, 10640],[85133, 42566],[85147, 42573],
  830. [85159, 42579],[85193, 21298],[85199, 42599],[85201, 7100],[85213, 14202],[85223, 42611],[85229, 3874],[85237, 42618],[85243, 14207],[85247, 42623],
  831. [85259, 42629],[85297, 7108],[85303, 42651],[85313, 21328],[85331, 42665],[85333, 14222],[85361, 5335],[85363, 14227],[85369, 10671],[85381, 14230],
  832. [85411, 42705],[85427, 42713],[85429, 1582],[85439, 42719],[85447, 14241],[85451, 42725],[85453, 42726],[85469, 1858],[85487, 42743],[85513, 7126],
  833. [85517, 42758],[85523, 42761],[85531, 8553],[85549, 42774],[85571, 42785],[85577, 10697],[85597, 42798],[85601, 21400],[85607, 42803],[85619, 3293],
  834. [85621, 14270],[85627, 42813],[85639, 42819],[85643, 42821],[85661, 42830],[85667, 1477],[85669, 42834],[85691, 42845],[85703, 42851],[85711, 42855],
  835. [85717, 42858],[85733, 42866],[85751, 6125],[85781, 42890],[85793, 21448],[85817, 21454],[85819, 42909],[85829, 42914],[85831, 42915],[85837, 42918],
  836. [85843, 14307],[85847, 42923],[85853, 42926],[85889, 21472],[85903, 42951],[85909, 42954],[85931, 42965],[85933, 6138],[85991, 8599],[85999, 42999],
  837. [86011, 14335],[86017, 21504],[86027, 43013],[86029, 43014],[86069, 43034],[86077, 4782],[86083, 43041],[86111, 8611],[86113, 117],[86117, 43058],
  838. [86131, 43065],[86137, 21534],[86143, 14357],[86161, 5385],[86171, 35],[86179, 43089],[86183, 43091],[86197, 43098],[86201, 2155],[86209, 21552],
  839. [86239, 43119],[86243, 43121],[86249, 21562],[86257, 1198],[86263, 43131],[86269, 1106],[86287, 14381],[86291, 43145],[86293, 43146],[86297, 10787],
  840. [86311, 8631],[86323, 43161],[86341, 43170],[86351, 43175],[86353, 7196],[86357, 43178],[86369, 21592],[86371, 8637],[86381, 1234],[86389, 43194],
  841. [86399, 43199],[86413, 43206],[86423, 43211],[86441, 10805],[86453, 43226],[86461, 43230],[86467, 43233],[86477, 43238],[86491, 43245],[86501, 43250],
  842. [86509, 14418],[86531, 43265],[86533, 43266],[86539, 14423],[86561, 541],[86573, 43286],[86579, 43289],[86587, 14431],[86599, 43299],[86627, 43313],
  843. [86629, 43314],[86677, 43338],[86689, 21672],[86693, 43346],[86711, 43355],[86719, 43359],[86729, 21682],[86743, 43371],[86753, 5422],[86767, 43383],
  844. [86771, 8677],[86783, 43391],[86813, 43406],[86837, 43418],[86843, 43421],[86851, 43425],[86857, 3619],[86861, 43430],[86869, 43434],[86923, 43461],
  845. [86927, 6209],[86929, 21732],[86939, 43469],[86951, 8695],[86959, 43479],[86969, 21742],[86981, 43490],[86993, 21748],[87011, 43505],[87013, 4834],
  846. [87037, 43518],[87041, 21760],[87049, 10881],[87071, 43535],[87083, 43541],[87103, 43551],[87107, 43553],[87119, 43559],[87121, 4356],[87133, 14522],
  847. [87149, 43574],[87151, 14525],[87179, 43589],[87181, 43590],[87187, 3963],[87211, 27],[87221, 890],[87223, 14537],[87251, 43625],[87253, 43626],
  848. [87257, 21814],[87277, 6234],[87281, 1091],[87293, 43646],[87299, 43649],[87313, 10914],[87317, 43658],[87323, 43661],[87337, 21834],[87359, 43679],
  849. [87383, 43691],[87403, 43701],[87407, 43703],[87421, 310],[87427, 43713],[87433, 3643],[87443, 43721],[87473, 3124],[87481, 7290],[87491, 43745],
  850. [87509, 43754],[87511, 43755],[87517, 43758],[87523, 43761],[87539, 43769],[87541, 8754],[87547, 43773],[87553, 10944],[87557, 6254],[87559, 14593],
  851. [87583, 43791],[87587, 43793],[87589, 43794],[87613, 43806],[87623, 43811],[87629, 43814],[87631, 14605],[87641, 2191],[87643, 14607],[87649, 7304],
  852. [87671, 43835],[87679, 43839],[87683, 43841],[87691, 8769],[87697, 3654],[87701, 43850],[87719, 43859],[87721, 7310],[87739, 14623],[87743, 43871],
  853. [87751, 43875],[87767, 43883],[87793, 21948],[87797, 43898],[87803, 3377],[87811, 43905],[87833, 10979],[87853, 43926],[87869, 43934],[87877, 43938],
  854. [87881, 21970],[87887, 43943],[87911, 8791],[87917, 43958],[87931, 14655],[87943, 14657],[87959, 43979],[87961, 10995],[87973, 43986],[87977, 10997],
  855. [87991, 43995],[88001, 22000],[88003, 44001],[88007, 44003],[88019, 44009],[88037, 44018],[88069, 44034],[88079, 44039],[88093, 44046],[88117, 6294],
  856. [88129, 1224],[88169, 11021],[88177, 5511],[88211, 44105],[88223, 44111],[88237, 44118],[88241, 11030],[88259, 44129],[88261, 44130],[88289, 22072],
  857. [88301, 44150],[88321, 22080],[88327, 14721],[88337, 5521],[88339, 14723],[88379, 44189],[88397, 44198],[88411, 44205],[88423, 44211],[88427, 44213],
  858. [88463, 44231],[88469, 44234],[88471, 44235],[88493, 44246],[88499, 44249],[88513, 22128],[88523, 44261],[88547, 44273],[88589, 44294],[88591, 2953],
  859. [88607, 44303],[88609, 22152],[88643, 44321],[88651, 14775],[88657, 3694],[88661, 44330],[88663, 14777],[88667, 44333],[88681, 11085],[88721, 11090],
  860. [88729, 11091],[88741, 44370],[88747, 14791],[88771, 14795],[88789, 44394],[88793, 11099],[88799, 1531],[88801, 22200],[88807, 44403],[88811, 44405],
  861. [88813, 4934],[88817, 22204],[88819, 44409],[88843, 44421],[88853, 44426],[88861, 44430],[88867, 44433],[88873, 11109],[88883, 44441],[88897, 7408],
  862. [88903, 44451],[88919, 44459],[88937, 22234],[88951, 44475],[88969, 11121],[88993, 824],[88997, 44498],[89003, 44501],[89009, 11126],[89017, 11127],
  863. [89021, 44510],[89041, 22260],[89051, 44525],[89057, 5566],[89069, 44534],[89071, 14845],[89083, 44541],[89087, 44543],[89101, 44550],[89107, 44553],
  864. [89113, 11139],[89119, 44559],[89123, 4051],[89137, 3714],[89153, 11144],[89189, 44594],[89203, 44601],[89209, 22302],[89213, 44606],[89227, 14871],
  865. [89231, 44615],[89237, 44618],[89261, 44630],[89269, 44634],[89273, 11159],[89293, 14882],[89303, 44651],[89317, 44658],[89329, 5583],[89363, 3437],
  866. [89371, 44685],[89381, 44690],[89387, 44693],[89393, 11174],[89399, 44699],[89413, 44706],[89417, 22354],[89431, 44715],[89443, 44721],[89449, 22362],
  867. [89459, 44729],[89477, 44738],[89491, 44745],[89501, 44750],[89513, 22378],[89519, 44759],[89521, 7460],[89527, 44763],[89533, 44766],[89561, 11195],
  868. [89563, 44781],[89567, 44783],[89591, 44795],[89597, 44798],[89599, 14933],[89603, 44801],[89611, 44805],[89627, 44813],[89633, 22408],[89653, 14942],
  869. [89657, 11207],[89659, 14943],[89669, 44834],[89671, 8967],[89681, 1180],[89689, 22422],[89753, 22438],[89759, 44879],[89767, 14961],[89779, 44889],
  870. [89783, 44891],[89797, 14966],[89809, 11226],[89819, 44909],[89821, 44910],[89833, 3743],[89839, 14973],[89849, 11231],[89867, 44933],[89891, 8989],
  871. [89897, 22474],[89899, 44949],[89909, 44954],[89917, 44958],[89923, 14987],[89939, 44969],[89959, 44979],[89963, 44981],[89977, 11247],[89983, 44991],
  872. [89989, 44994],[90001, 7500],[90007, 45003],[90011, 45005],[90017, 11252],[90019, 15003],[90023, 45011],[90031, 45015],[90053, 45026],[90059, 45029],
  873. [90067, 45033],[90071, 9007],[90073, 22518],[90089, 22522],[90107, 45053],[90121, 22530],[90127, 15021],[90149, 45074],[90163, 45081],[90173, 45086],
  874. [90187, 45093],[90191, 45095],[90197, 45098],[90199, 45099],[90203, 45101],[90217, 1253],[90227, 45113],[90239, 45119],[90247, 45123],[90263, 45131],
  875. [90271, 45135],[90281, 11285],[90289, 228],[90313, 22578],[90353, 5647],[90359, 45179],[90371, 45185],[90373, 15062],[90379, 45189],[90397, 45198],
  876. [90401, 22600],[90403, 15067],[90407, 45203],[90437, 45218],[90439, 15073],[90469, 45234],[90473, 22618],[90481, 4524],[90499, 45249],[90511, 15085],
  877. [90523, 45261],[90527, 45263],[90529, 22632],[90533, 45266],[90547, 45273],[90583, 45291],[90599, 45299],[90617, 22654],[90619, 15103],[90631, 45315],
  878. [90641, 2266],[90647, 45323],[90659, 45329],[90677, 45338],[90679, 45339],[90697, 7558],[90703, 45351],[90709, 15118],[90731, 45365],[90749, 45374],
  879. [90787, 15131],[90793, 22698],[90803, 45401],[90821, 9082],[90823, 45411],[90833, 3244],[90841, 22710],[90847, 45423],[90863, 45431],[90887, 45443],
  880. [90901, 45450],[90907, 15151],[90911, 45455],[90917, 45458],[90931, 6495],[90947, 45473],[90971, 45485],[90977, 11372],[90989, 45494],[90997, 15166],
  881. [91009, 22752],[91019, 45509],[91033, 3793],[91079, 45539],[91081, 3795],[91097, 11387],[91099, 45549],[91121, 5695],[91127, 45563],[91129, 3797],
  882. [91139, 45569],[91141, 15190],[91151, 45575],[91153, 5697],[91159, 45579],[91163, 45581],[91183, 2171],[91193, 22798],[91199, 45599],[91229, 45614],
  883. [91237, 15206],[91243, 15207],[91249, 22812],[91253, 45626],[91283, 45641],[91291, 45645],[91297, 22824],[91303, 45651],[91309, 15218],[91331, 45665],
  884. [91367, 4153],[91369, 22842],[91373, 862],[91381, 15230],[91387, 45693],[91393, 7616],[91397, 45698],[91411, 45705],[91423, 45711],[91433, 11429],
  885. [91453, 15242],[91457, 5716],[91459, 45729],[91463, 45731],[91493, 45746],[91499, 45749],[91513, 22878],[91529, 11441],[91541, 45770],[91571, 45785],
  886. [91573, 15262],[91577, 22894],[91583, 45791],[91591, 45795],[91621, 45810],[91631, 45815],[91639, 5091],[91673, 11459],[91691, 45845],[91703, 45851],
  887. [91711, 45855],[91733, 45866],[91753, 22938],[91757, 45878],[91771, 45885],[91781, 45890],[91801, 4590],[91807, 45903],[91811, 45905],[91813, 45906],
  888. [91823, 45911],[91837, 45918],[91841, 11480],[91867, 45933],[91873, 1276],[91909, 45954],[91921, 4596],[91939, 45969],[91943, 45971],[91951, 15325],
  889. [91957, 15326],[91961, 242],[91967, 45983],[91969, 5748],[91997, 45998],[92003, 46001],[92009, 11501],[92033, 23008],[92041, 3835],[92051, 263],
  890. [92077, 46038],[92083, 46041],[92107, 46053],[92111, 46055],[92119, 46059],[92143, 15357],[92153, 23038],[92173, 46086],[92177, 23044],[92179, 15363],
  891. [92189, 46094],[92203, 46101],[92219, 46109],[92221, 15370],[92227, 15371],[92233, 11529],[92237, 46118],[92243, 46121],[92251, 46125],[92269, 5126],
  892. [92297, 23074],[92311, 15385],[92317, 15386],[92333, 46166],[92347, 15391],[92353, 444],[92357, 4198],[92363, 46181],[92369, 23092],[92377, 11547],
  893. [92381, 46190],[92383, 15397],[92387, 46193],[92399, 46199],[92401, 23100],[92413, 46206],[92419, 46209],[92431, 9243],[92459, 46229],[92461, 46230],
  894. [92467, 46233],[92479, 46239],[92489, 2102],[92503, 46251],[92507, 46253],[92551, 46275],[92557, 46278],[92567, 46283],[92569, 11571],[92581, 9258],
  895. [92593, 7716],[92623, 15437],[92627, 46313],[92639, 46319],[92641, 579],[92647, 46323],[92657, 11582],[92669, 46334],[92671, 9267],[92681, 2317],
  896. [92683, 5149],[92693, 46346],[92699, 46349],[92707, 46353],[92717, 46358],[92723, 46361],[92737, 63],[92753, 5797],[92761, 3865],[92767, 15461],
  897. [92779, 46389],[92789, 46394],[92791, 9279],[92801, 23200],[92809, 23202],[92821, 6630],[92831, 46415],[92849, 23212],[92857, 11607],[92861, 46430],
  898. [92863, 46431],[92867, 46433],[92893, 15482],[92899, 3573],[92921, 23230],[92927, 46463],[92941, 46470],[92951, 46475],[92957, 46478],[92959, 46479],
  899. [92987, 46493],[92993, 5812],[93001, 23250],[93047, 46523],[93053, 46526],[93059, 46529],[93077, 46538],[93083, 46541],[93089, 11636],[93097, 11637],
  900. [93103, 46551],[93113, 11639],[93131, 335],[93133, 5174],[93139, 46569],[93151, 46575],[93169, 7764],[93179, 46589],[93187, 5177],[93199, 15533],
  901. [93229, 15538],[93239, 46619],[93241, 1665],[93251, 46625],[93253, 46626],[93257, 11657],[93263, 46631],[93281, 5830],[93283, 46641],[93287, 46643],
  902. [93307, 46653],[93319, 46659],[93323, 46661],[93329, 614],[93337, 23334],[93371, 46685],[93377, 1459],[93383, 46691],[93407, 46703],[93419, 46709],
  903. [93427, 46713],[93463, 15577],[93479, 46739],[93481, 7790],[93487, 46743],[93491, 46745],[93493, 46746],[93497, 11687],[93503, 46751],[93523, 46761],
  904. [93529, 1299],[93553, 5847],[93557, 46778],[93559, 46779],[93563, 6683],[93581, 9358],[93601, 11700],[93607, 15601],[93629, 46814],[93637, 15606],
  905. [93683, 46841],[93701, 46850],[93703, 679],[93719, 46859],[93739, 15623],[93761, 23440],[93763, 46881],[93787, 15631],[93809, 23452],[93811, 46905],
  906. [93827, 46913],[93851, 46925],[93871, 1341],[93887, 46943],[93889, 5868],[93893, 46946],[93901, 46950],[93911, 9391],[93913, 23478],[93923, 46961],
  907. [93937, 1957],[93941, 46970],[93949, 46974],[93967, 15661],[93971, 46985],[93979, 2043],[93983, 6713],[93997, 5222],[94007, 47003],[94009, 23502],
  908. [94033, 2612],[94049, 2939],[94057, 23514],[94063, 47031],[94079, 47039],[94099, 47049],[94109, 47054],[94111, 9411],[94117, 47058],[94121, 11765],
  909. [94151, 6725],[94153, 23538],[94169, 23542],[94201, 23550],[94207, 47103],[94219, 15703],[94229, 47114],[94253, 47126],[94261, 9426],[94273, 11784],
  910. [94291, 47145],[94307, 47153],[94309, 15718],[94321, 7860],[94327, 47163],[94331, 47165],[94343, 47171],[94349, 47174],[94351, 47175],[94379, 47189],
  911. [94397, 47198],[94399, 47199],[94421, 47210],[94427, 47213],[94433, 2951],[94439, 47219],[94441, 11805],[94447, 477],[94463, 47231],[94477, 47238],
  912. [94483, 47241],[94513, 716],[94529, 1688],[94531, 15755],[94541, 47270],[94543, 6753],[94547, 47273],[94559, 47279],[94561, 23640],[94573, 47286],
  913. [94583, 47291],[94597, 15766],[94603, 15767],[94613, 6758],[94621, 47310],[94649, 23662],[94651, 47325],[94687, 47343],[94693, 15782],[94709, 47354],
  914. [94723, 47361],[94727, 47363],[94747, 47373],[94771, 15795],[94777, 11847],[94781, 47390],[94789, 47394],[94793, 11849],[94811, 47405],[94819, 47409],
  915. [94823, 47411],[94837, 47418],[94841, 11855],[94847, 47423],[94849, 312],[94873, 7906],[94889, 23722],[94903, 47451],[94907, 47453],[94933, 47466],
  916. [94949, 47474],[94951, 47475],[94961, 23740],[94993, 11874],[94999, 47499],[95003, 47501],[95009, 5938],[95021, 47510],[95027, 47513],[95063, 47531],
  917. [95071, 47535],[95083, 47541],[95087, 47543],[95089, 23772],[95093, 47546],[95101, 47550],[95107, 15851],[95111, 9511],[95131, 15855],[95143, 15857],
  918. [95153, 23788],[95177, 23794],[95189, 47594],[95191, 3173],[95203, 47601],[95213, 3662],[95219, 47609],[95231, 535],[95233, 23808],[95239, 47619],
  919. [95257, 23814],[95261, 47630],[95267, 47633],[95273, 11909],[95279, 47639],[95287, 47643],[95311, 47655],[95317, 15886],[95327, 47663],[95339, 47669],
  920. [95369, 23842],[95383, 6813],[95393, 23848],[95401, 23850],[95413, 47706],[95419, 589],[95429, 47714],[95441, 5965],[95443, 15907],[95461, 47730],
  921. [95467, 15911],[95471, 47735],[95479, 15913],[95483, 47741],[95507, 47753],[95527, 15921],[95531, 47765],[95539, 15923],[95549, 47774],[95561, 11945],
  922. [95569, 23892],[95581, 47790],[95597, 47798],[95603, 3677],[95617, 11952],[95621, 6830],[95629, 47814],[95633, 23908],[95651, 47825],[95701, 47850],
  923. [95707, 47853],[95713, 2991],[95717, 47858],[95723, 47861],[95731, 47865],[95737, 11967],[95747, 6839],[95773, 15962],[95783, 47891],[95789, 47894],
  924. [95791, 47895],[95801, 11975],[95803, 2281],[95813, 47906],[95819, 47909],[95857, 11982],[95869, 5326],[95873, 23968],[95881, 23970],[95891, 47945],
  925. [95911, 47955],[95917, 47958],[95923, 5329],[95929, 23982],[95947, 47973],[95957, 47978],[95959, 47979],[95971, 6855],[95987, 47993],[95989, 2526],
  926. [96001, 250],[96013, 48006],[96017, 24004],[96043, 48021],[96053, 48026],[96059, 48029],[96079, 16013],[96097, 24024],[96137, 12017],[96149, 48074],
  927. [96157, 5342],[96167, 48083],[96179, 48089],[96181, 9618],[96199, 48099],[96211, 48105],[96221, 48110],[96223, 48111],[96233, 24058],[96259, 48129],
  928. [96263, 48131],[96269, 48134],[96281, 24070],[96289, 1416],[96293, 48146],[96323, 48161],[96329, 24082],[96331, 2535],[96337, 12042],[96353, 24088],
  929. [96377, 3442],[96401, 6025],[96419, 6887],[96431, 48215],[96443, 48221],[96451, 48225],[96457, 24114],[96461, 48230],[96469, 16078],[96479, 48239],
  930. [96487, 16081],[96493, 4386],[96497, 24124],[96517, 48258],[96527, 48263],[96553, 4023],[96557, 48278],[96581, 48290],[96587, 48293],[96589, 16098],
  931. [96601, 3450],[96643, 48321],[96661, 16110],[96667, 48333],[96671, 48335],[96697, 24174],[96703, 16117],[96731, 48365],[96737, 24184],[96739, 48369],
  932. [96749, 48374],[96757, 16126],[96763, 16127],[96769, 12096],[96779, 48389],[96787, 48393],[96797, 48398],[96799, 48399],[96821, 48410],[96823, 48411],
  933. [96827, 48413],[96847, 48423],[96851, 48425],[96857, 12107],[96893, 48446],[96907, 48453],[96911, 48455],[96931, 48465],[96953, 24238],[96959, 48479],
  934. [96973, 48486],[96979, 16163],[96989, 48494],[96997, 48498],[97001, 12125],[97003, 5389],[97007, 48503],[97021, 48510],[97039, 48519],[97073, 24268],
  935. [97081, 12135],[97103, 48551],[97117, 48558],[97127, 48563],[97151, 48575],[97157, 48578],[97159, 16193],[97169, 12146],[97171, 16195],[97177, 4049],
  936. [97187, 48593],[97213, 16202],[97231, 48615],[97241, 24310],[97259, 6947],[97283, 48641],[97301, 48650],[97303, 48651],[97327, 16221],[97367, 48683],
  937. [97369, 4057],[97373, 48686],[97379, 48689],[97381, 48690],[97387, 48693],[97397, 48698],[97423, 1249],[97429, 16238],[97441, 8120],[97453, 48726],
  938. [97459, 48729],[97463, 48731],[97499, 48749],[97501, 16250],[97511, 48755],[97523, 48761],[97547, 48773],[97549, 48774],[97553, 6097],[97561, 542],
  939. [97571, 48785],[97577, 12197],[97579, 48789],[97583, 48791],[97607, 48803],[97609, 12201],[97613, 48806],[97649, 24412],[97651, 48825],[97673, 24418],
  940. [97687, 729],[97711, 3257],[97729, 8144],[97771, 16295],[97777, 24444],[97787, 48893],[97789, 48894],[97813, 48906],[97829, 48914],[97841, 12230],
  941. [97843, 48921],[97847, 48923],[97849, 24462],[97859, 48929],[97861, 48930],[97871, 48935],[97879, 48939],[97883, 48941],[97919, 48959],[97927, 48963],
  942. [97931, 48965],[97943, 48971],[97961, 2449],[97967, 48983],[97973, 48986],[97987, 48993],[98009, 12251],[98011, 9801],[98017, 24504],[98041, 4085],
  943. [98047, 16341],[98057, 12257],[98081, 12260],[98101, 49050],[98123, 49061],[98129, 24532],[98143, 49071],[98179, 49089],[98207, 49103],[98213, 49106],
  944. [98221, 49110],[98227, 459],[98251, 49125],[98257, 12282],[98269, 49134],[98297, 12287],[98299, 49149],[98317, 16386],[98321, 12290],[98323, 2341],
  945. [98327, 49163],[98347, 49173],[98369, 24592],[98377, 24594],[98387, 49193],[98389, 49194],[98407, 7029],[98411, 49205],[98419, 49209],[98429, 49214],
  946. [98443, 49221],[98453, 49226],[98459, 49229],[98467, 16411],[98473, 24618],[98479, 49239],[98491, 16415],[98507, 49253],[98519, 49259],[98533, 49266],
  947. [98543, 49271],[98561, 4928],[98563, 49281],[98573, 49286],[98597, 49298],[98621, 9862],[98627, 49313],[98639, 49319],[98641, 12330],[98663, 49331],
  948. [98669, 49334],[98689, 8224],[98711, 49355],[98713, 12339],[98717, 49358],[98729, 12341],[98731, 49365],[98737, 24684],[98773, 49386],[98779, 49389],
  949. [98801, 24700],[98807, 49403],[98809, 12351],[98837, 49418],[98849, 12356],[98867, 49433],[98869, 49434],[98873, 24718],[98887, 16481],[98893, 49446],
  950. [98897, 24724],[98899, 49449],[98909, 49454],[98911, 49455],[98927, 49463],[98929, 8244],[98939, 49469],[98947, 16491],[98953, 24738],[98963, 49481],
  951. [98981, 1010],[98993, 6187],[98999, 49499],[99013, 16502],[99017, 12377],[99023, 7073],[99041, 3095],[99053, 49526],[99079, 49539],[99083, 49541],
  952. [99089, 24772],[99103, 49551],[99109, 5506],[99119, 49559],[99131, 9913],[99133, 49566],[99137, 24784],[99139, 49569],[99149, 49574],[99173, 49586],
  953. [99181, 1102],[99191, 49595],[99223, 49611],[99233, 3544],[99241, 24810],[99251, 9925],[99257, 24814],[99259, 49629],[99277, 49638],[99289, 12411],
  954. [99317, 49658],[99347, 49673],[99349, 16558],[99367, 16561],[99371, 49685],[99377, 24844],[99391, 49695],[99397, 49698],[99401, 24850],[99409, 8284],
  955. [99431, 49715],[99439, 49719],[99469, 49734],[99487, 49743],[99497, 12437],[99523, 5529],[99527, 49763],[99529, 12441],[99551, 49775],[99559, 16593],
  956. [99563, 49781],[99571, 49785],[99577, 461],[99581, 49790],[99607, 3831],[99611, 49805],[99623, 49811],[99643, 16607],[99661, 49830],[99667, 49833],
  957. [99679, 49839],[99689, 24922],[99707, 49853],[99709, 7122],[99713, 24928],[99719, 49859],[99721, 12465],[99733, 49866],[99761, 6235],[99767, 49883],
  958. [99787, 49893],[99793, 24948],[99809, 24952],[99817, 12477],[99823, 16637],[99829, 49914],[99833, 12479],[99839, 49919],[99859, 49929],[99871, 49935],
  959. [99877, 49938],[99881, 24970],[99901, 49950],[99907, 49953],[99923, 49961],[99929, 24982],[99961, 24990],[99971, 49985],[99989, 49994],[99991, 16665],
  960. ]
复制代码
update:如果增加平方项的筛选(删除全部平方数),可以稍快一点
只要不是1093跟3511这两个数字,其他(适合初筛的)p计算mod p^2的阶的时候,阶一定能被p整除,也就是,如果$2^{p^2q-1}=1(mod p^2)$,一定有$p|p^2q-1$也就是$p|-1$,这是不可能的。
所以凡是平方数都可以直接删掉
顺便改了一个(似乎没影响的)BUG
我写的sieve_size=200000是sieve的长度,等效的size其实是400000,现在将sieve_size_div_2设置为真正的sieve长度,而sieve_size弃用。
这里的版本看上去很难继续优化了。
就这样吧 fermat-update.7z (89.55 KB, 下载次数: 1)

点评

我都不知道我为什么不写函数……  发表于 2020-12-21 17:07
我知道你为啥不写函数了  发表于 2020-12-21 15:11
其实,我一直想知道,用多少小素数筛,时间最少,但是我把时间花在写不同语言程序上了~win确实不适合写这玩意~~~  发表于 2020-12-9 09:45
另外,假如p次数k是奇数,q=p(nk+1),仅当n是偶数,q才是奇数,所以,奇数的k要乘以2  发表于 2020-12-9 09:33
(2^14-1)/5, (2^24-1)/5,你验证这两个就知道,2k+1是不对的,4k+1是对的  发表于 2020-12-9 09:30
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2024-3-29 18:22 , Processed in 0.069060 second(s), 18 queries .

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

快速回复 返回顶部 返回列表