random/detail/niederreiter_base2_table.hpp

0001 /* boost random/detail/nierderreiter_base2_table.hpp header file
0002  *
0003  * Copyright Justinas Vygintas Daugmaudis 2010-2018
0004  * Distributed under the Boost Software License, Version 1.0. (See
0005  * accompanying file LICENSE_1_0.txt or copy at
0006  * http://www.boost.org/LICENSE_1_0.txt)
0007  */
0008
0009 #ifndef BOOST_RANDOM_DETAIL_NIEDERREITER_BASE2_TABLE_HPP
0010 #define BOOST_RANDOM_DETAIL_NIEDERREITER_BASE2_TABLE_HPP
0011
0012 #include <boost/config.hpp>
0013 #include <cstddef>
0014
0015 namespace boost {
0016 namespace random {
0017
0018 namespace detail {
0019 namespace qrng_tables {
0020
0021 // Maximum allowed space dimension. This number of dimensions has been
0022 // chosen because up to 4720th GF(2) prime the values fit to unsigned short,
0023 // which produces a (still) reasonably small table.
0024 #define BOOST_RANDOM_NIEDERREITER_BASE2_MAX_DIMENSION 4720
0025
0026 struct niederreiter_base2
0027 {
0028   BOOST_STATIC_CONSTANT(unsigned, max_dimension = BOOST_RANDOM_NIEDERREITER_BASE2_MAX_DIMENSION);
0029
0030   typedef unsigned short value_type;
0031
0032   // Binary irreducible polynomials (primes in the ring GF(2)[X]), evaluated at X=2.
0033   // Mathematica code:
0034   // Reap[
0035   //   Do[If[IrreduciblePolynomialQ[
0036   //       IntegerDigits[n, 2].x^Reverse[Range[0, Floor[Log[2, n]]]],
0037   //       Modulus -> 2], Sow[n]], {n, 2, 65535}]][[2, 1]]
0038   static value_type polynomial(std::size_t n)
0039   {
0040     static const value_type nb2_a[max_dimension] = {
0041       2, 3, 7, 11, 13, 19, 25, 31, 37, 41, 47, 55, 59, 61, 67, 73, 87, 91,
0042       97, 103, 109, 115, 117, 131, 137, 143, 145, 157, 167, 171, 185, 191,
0043       193, 203, 211, 213, 229, 239, 241, 247, 253, 283, 285, 299, 301, 313,
0044       319, 333, 351, 355, 357, 361, 369, 375, 379, 391, 395, 397, 415, 419,
0045       425, 433, 445, 451, 463, 471, 477, 487, 499, 501, 505, 515, 529, 535,
0046       539, 545, 557, 563, 587, 601, 607, 613, 617, 623, 631, 637, 647, 661,
0047       665, 675, 677, 687, 695, 701, 719, 721, 731, 757, 761, 769, 787, 789,
0048       799, 803, 817, 827, 841, 847, 859, 865, 875, 877, 883, 895, 901, 911,
0049       929, 949, 953, 967, 971, 973, 981, 985, 995, 1001, 1019, 1033, 1039,
0050       1051, 1053, 1063, 1069, 1077, 1095, 1107, 1123, 1125, 1135, 1153,
0051       1163, 1177, 1193, 1199, 1221, 1225, 1239, 1255, 1261, 1267, 1279,
0052       1291, 1293, 1305, 1311, 1315, 1329, 1341, 1347, 1367, 1377, 1383,
0053       1387, 1413, 1423, 1431, 1435, 1441, 1451, 1465, 1473, 1479, 1509,
0054       1527, 1531, 1555, 1557, 1571, 1573, 1585, 1591, 1603, 1615, 1617,
0055       1627, 1657, 1663, 1669, 1673, 1703, 1709, 1717, 1727, 1729, 1741,
0056       1747, 1759, 1783, 1789, 1807, 1809, 1815, 1821, 1825, 1835, 1845,
0057       1849, 1863, 1869, 1877, 1881, 1891, 1915, 1917, 1921, 1927, 1933,
0058       1939, 1961, 1969, 1989, 2011, 2027, 2035, 2041, 2047, 2053, 2071,
0059       2091, 2093, 2119, 2147, 2149, 2161, 2171, 2189, 2197, 2207, 2217,
0060       2225, 2243, 2255, 2257, 2273, 2279, 2283, 2293, 2317, 2323, 2341,
0061       2345, 2359, 2363, 2365, 2373, 2377, 2385, 2395, 2419, 2421, 2431,
0062       2435, 2447, 2475, 2477, 2489, 2503, 2521, 2533, 2543, 2551, 2561,
0063       2567, 2579, 2581, 2601, 2633, 2657, 2669, 2681, 2687, 2693, 2705,
0064       2717, 2727, 2731, 2739, 2741, 2773, 2783, 2787, 2793, 2799, 2801,
0065       2811, 2819, 2825, 2833, 2867, 2879, 2881, 2891, 2905, 2911, 2917,
0066       2927, 2941, 2951, 2955, 2963, 2965, 2991, 2999, 3005, 3017, 3035,
0067       3037, 3047, 3053, 3083, 3085, 3097, 3103, 3121, 3159, 3169, 3179,
0068       3187, 3189, 3205, 3209, 3223, 3227, 3229, 3251, 3263, 3271, 3277,
0069       3283, 3285, 3299, 3305, 3319, 3331, 3343, 3357, 3367, 3373, 3393,
0070       3399, 3413, 3417, 3427, 3439, 3441, 3475, 3487, 3497, 3515, 3517,
0071       3529, 3543, 3547, 3553, 3559, 3573, 3583, 3589, 3613, 3617, 3623,
0072       3627, 3635, 3641, 3655, 3659, 3669, 3679, 3697, 3707, 3709, 3713,
0073       3731, 3743, 3747, 3771, 3785, 3791, 3805, 3827, 3833, 3851, 3865,
0074       3889, 3895, 3933, 3947, 3949, 3957, 3961, 3971, 3985, 3991, 3995,
0075       4007, 4013, 4021, 4045, 4051, 4069, 4073, 4091, 4105, 4119, 4129,
0076       4147, 4149, 4159, 4173, 4179, 4201, 4215, 4219, 4221, 4225, 4235,
0077       4249, 4259, 4261, 4303, 4305, 4331, 4333, 4351, 4359, 4383, 4387,
0078       4401, 4407, 4411, 4431, 4439, 4449, 4459, 4461, 4473, 4483, 4485,
0079       4497, 4523, 4531, 4569, 4575, 4579, 4591, 4593, 4609, 4621, 4627,
0080       4633, 4645, 4663, 4667, 4669, 4675, 4677, 4711, 4717, 4723, 4735,
0081       4789, 4793, 4801, 4811, 4873, 4879, 4891, 4893, 4897, 4915, 4921,
0082       4927, 4941, 4965, 4977, 5017, 5023, 5027, 5033, 5039, 5051, 5059,
0083       5073, 5079, 5085, 5107, 5109, 5127, 5139, 5169, 5175, 5193, 5199,
0084       5211, 5213, 5223, 5227, 5237, 5247, 5257, 5281, 5287, 5293, 5301,
0085       5325, 5331, 5337, 5343, 5349, 5391, 5405, 5451, 5453, 5505, 5523,
0086       5541, 5545, 5563, 5573, 5591, 5597, 5611, 5625, 5635, 5641, 5659,
0087       5695, 5697, 5703, 5707, 5717, 5721, 5731, 5733, 5743, 5779, 5797,
0088       5821, 5827, 5833, 5841, 5857, 5863, 5875, 5887, 5899, 5909, 5913,
0089       5949, 5955, 5957, 5967, 5975, 5981, 6003, 6005, 6009, 6025, 6031,
0090       6039, 6045, 6061, 6067, 6079, 6081, 6111, 6139, 6151, 6157, 6175,
0091       6179, 6193, 6199, 6217, 6231, 6237, 6253, 6265, 6271, 6275, 6289,
0092       6295, 6305, 6329, 6347, 6349, 6383, 6385, 6395, 6405, 6409, 6427,
0093       6445, 6453, 6465, 6475, 6495, 6501, 6511, 6523, 6529, 6539, 6553,
0094       6577, 6583, 6589, 6601, 6607, 6621, 6631, 6637, 6649, 6683, 6685,
0095       6689, 6699, 6707, 6733, 6739, 6741, 6751, 6755, 6761, 6779, 6795,
0096       6833, 6853, 6865, 6881, 6887, 6891, 6901, 6923, 6925, 6931, 6937,
0097       6943, 6959, 6981, 6999, 7049, 7055, 7057, 7079, 7093, 7097, 7103,
0098       7105, 7115, 7123, 7139, 7165, 7171, 7173, 7183, 7185, 7191, 7207,
0099       7245, 7263, 7303, 7327, 7333, 7351, 7355, 7365, 7369, 7375, 7383,
0100       7403, 7405, 7411, 7425, 7431, 7459, 7471, 7485, 7491, 7505, 7515,
0101       7517, 7527, 7541, 7545, 7555, 7557, 7561, 7569, 7591, 7603, 7617,
0102       7663, 7687, 7701, 7705, 7727, 7739, 7741, 7749, 7761, 7773, 7777,
0103       7783, 7795, 7823, 7831, 7835, 7865, 7871, 7885, 7891, 7907, 7921,
0104       7927, 7939, 7953, 7963, 7975, 7993, 8007, 8011, 8019, 8037, 8049,
0105       8061, 8065, 8077, 8089, 8111, 8123, 8125, 8131, 8133, 8137, 8161,
0106       8173, 8191, 8219, 8231, 8245, 8275, 8293, 8303, 8331, 8333, 8351,
0107       8357, 8367, 8379, 8381, 8387, 8393, 8417, 8435, 8461, 8469, 8489,
0108       8495, 8507, 8515, 8551, 8555, 8569, 8585, 8599, 8605, 8639, 8641,
0109       8647, 8653, 8671, 8675, 8689, 8699, 8729, 8741, 8759, 8765, 8771,
0110       8795, 8797, 8825, 8831, 8841, 8855, 8859, 8883, 8895, 8909, 8943,
0111       8951, 8955, 8965, 8999, 9003, 9031, 9045, 9049, 9071, 9073, 9085,
0112       9095, 9101, 9109, 9123, 9129, 9137, 9143, 9147, 9185, 9197, 9209,
0113       9227, 9235, 9247, 9253, 9257, 9277, 9297, 9303, 9313, 9325, 9343,
0114       9347, 9371, 9373, 9397, 9407, 9409, 9415, 9419, 9443, 9481, 9495,
0115       9501, 9505, 9517, 9529, 9555, 9557, 9571, 9585, 9591, 9607, 9611,
0116       9621, 9625, 9631, 9647, 9661, 9669, 9679, 9687, 9707, 9731, 9733,
0117       9745, 9773, 9791, 9803, 9811, 9817, 9833, 9847, 9851, 9863, 9875,
0118       9881, 9905, 9911, 9917, 9923, 9963, 9973, 10003, 10025, 10043, 10063,
0119       10071, 10077, 10091, 10099, 10105, 10115, 10129, 10145, 10169, 10183,
0120       10187, 10207, 10223, 10225, 10247, 10265, 10271, 10275, 10289, 10299,
0121       10301, 10309, 10343, 10357, 10373, 10411, 10413, 10431, 10445, 10453,
0122       10463, 10467, 10473, 10491, 10505, 10511, 10513, 10523, 10539, 10549,
0123       10559, 10561, 10571, 10581, 10615, 10621, 10625, 10643, 10655, 10671,
0124       10679, 10685, 10691, 10711, 10739, 10741, 10755, 10767, 10781, 10785,
0125       10803, 10805, 10829, 10857, 10863, 10865, 10875, 10877, 10917, 10921,
0126       10929, 10949, 10967, 10971, 10987, 10995, 11009, 11029, 11043, 11045,
0127       11055, 11063, 11075, 11081, 11117, 11135, 11141, 11159, 11163, 11181,
0128       11187, 11225, 11237, 11261, 11279, 11297, 11307, 11309, 11327, 11329,
0129       11341, 11377, 11403, 11405, 11413, 11427, 11439, 11453, 11461, 11473,
0130       11479, 11489, 11495, 11499, 11533, 11545, 11561, 11567, 11575, 11579,
0131       11589, 11611, 11623, 11637, 11657, 11663, 11687, 11691, 11701, 11747,
0132       11761, 11773, 11783, 11795, 11797, 11817, 11849, 11855, 11867, 11869,
0133       11873, 11883, 11919, 11921, 11927, 11933, 11947, 11955, 11961, 11999,
0134       12027, 12029, 12037, 12041, 12049, 12055, 12095, 12097, 12107, 12109,
0135       12121, 12127, 12133, 12137, 12181, 12197, 12207, 12209, 12239, 12253,
0136       12263, 12269, 12277, 12287, 12295, 12309, 12313, 12335, 12361, 12367,
0137       12391, 12409, 12415, 12433, 12449, 12469, 12479, 12481, 12499, 12505,
0138       12517, 12527, 12549, 12559, 12597, 12615, 12621, 12639, 12643, 12657,
0139       12667, 12707, 12713, 12727, 12741, 12745, 12763, 12769, 12779, 12781,
0140       12787, 12799, 12809, 12815, 12829, 12839, 12857, 12875, 12883, 12889,
0141       12901, 12929, 12947, 12953, 12959, 12969, 12983, 12987, 12995, 13015,
0142       13019, 13031, 13063, 13077, 13103, 13137, 13149, 13173, 13207, 13211,
0143       13227, 13241, 13249, 13255, 13269, 13283, 13285, 13303, 13307, 13321,
0144       13339, 13351, 13377, 13389, 13407, 13417, 13431, 13435, 13447, 13459,
0145       13465, 13477, 13501, 13513, 13531, 13543, 13561, 13581, 13599, 13605,
0146       13617, 13623, 13637, 13647, 13661, 13677, 13683, 13695, 13725, 13729,
0147       13753, 13773, 13781, 13785, 13795, 13801, 13807, 13825, 13835, 13855,
0148       13861, 13871, 13883, 13897, 13905, 13915, 13939, 13941, 13969, 13979,
0149       13981, 13997, 14027, 14035, 14037, 14051, 14063, 14085, 14095, 14107,
0150       14113, 14125, 14137, 14145, 14151, 14163, 14193, 14199, 14219, 14229,
0151       14233, 14243, 14277, 14287, 14289, 14295, 14301, 14305, 14323, 14339,
0152       14341, 14359, 14365, 14375, 14387, 14411, 14425, 14441, 14449, 14499,
0153       14513, 14523, 14537, 14543, 14561, 14579, 14585, 14593, 14599, 14603,
0154       14611, 14641, 14671, 14695, 14701, 14723, 14725, 14743, 14753, 14759,
0155       14765, 14795, 14797, 14803, 14831, 14839, 14845, 14855, 14889, 14895,
0156       14909, 14929, 14941, 14945, 14951, 14963, 14965, 14985, 15033, 15039,
0157       15053, 15059, 15061, 15071, 15077, 15081, 15099, 15121, 15147, 15149,
0158       15157, 15167, 15187, 15193, 15203, 15205, 15215, 15217, 15223, 15243,
0159       15257, 15269, 15273, 15287, 15291, 15313, 15335, 15347, 15359, 15373,
0160       15379, 15381, 15391, 15395, 15397, 15419, 15439, 15453, 15469, 15491,
0161       15503, 15517, 15527, 15531, 15545, 15559, 15593, 15611, 15613, 15619,
0162       15639, 15643, 15649, 15661, 15667, 15669, 15681, 15693, 15717, 15721,
0163       15741, 15745, 15765, 15793, 15799, 15811, 15825, 15835, 15847, 15851,
0164       15865, 15877, 15881, 15887, 15899, 15915, 15935, 15937, 15955, 15973,
0165       15977, 16011, 16035, 16061, 16069, 16087, 16093, 16097, 16121, 16141,
0166       16153, 16159, 16165, 16183, 16189, 16195, 16197, 16201, 16209, 16215,
0167       16225, 16259, 16265, 16273, 16299, 16309, 16355, 16375, 16381, 16417,
0168       16427, 16435, 16441, 16447, 16467, 16479, 16485, 16507, 16519, 16553,
0169       16559, 16571, 16573, 16591, 16599, 16619, 16627, 16633, 16651, 16653,
0170       16659, 16699, 16707, 16713, 16727, 16743, 16749, 16785, 16795, 16797,
0171       16807, 16811, 16813, 16821, 16853, 16857, 16881, 16897, 16909, 16965,
0172       16969, 16983, 16993, 17011, 17017, 17023, 17027, 17029, 17053, 17057,
0173       17095, 17099, 17101, 17123, 17129, 17135, 17155, 17161, 17179, 17185,
0174       17191, 17215, 17257, 17275, 17277, 17287, 17301, 17327, 17353, 17373,
0175       17387, 17389, 17407, 17419, 17421, 17475, 17501, 17523, 17545, 17601,
0176       17619, 17621, 17631, 17635, 17649, 17659, 17667, 17673, 17679, 17707,
0177       17721, 17753, 17775, 17783, 17789, 17805, 17817, 17823, 17829, 17847,
0178       17861, 17865, 17873, 17879, 17895, 17907, 17919, 17935, 17949, 17959,
0179       17973, 17991, 18009, 18019, 18033, 18043, 18061, 18067, 18069, 18083,
0180       18085, 18117, 18127, 18139, 18155, 18175, 18213, 18225, 18243, 18255,
0181       18303, 18313, 18321, 18331, 18343, 18357, 18369, 18387, 18393, 18405,
0182       18409, 18415, 18429, 18451, 18457, 18463, 18491, 18499, 18513, 18523,
0183       18529, 18535, 18559, 18563, 18577, 18623, 18631, 18659, 18673, 18679,
0184       18685, 18717, 18721, 18733, 18745, 18753, 18771, 18783, 18789, 18793,
0185       18807, 18823, 18827, 18857, 18895, 18897, 18909, 18913, 18919, 18967,
0186       18997, 19033, 19045, 19067, 19073, 19079, 19083, 19091, 19107, 19119,
0187       19133, 19145, 19165, 19181, 19193, 19231, 19255, 19273, 19291, 19297,
0188       19307, 19309, 19315, 19321, 19333, 19343, 19351, 19361, 19371, 19379,
0189       19385, 19403, 19405, 19413, 19423, 19441, 19451, 19465, 19483, 19485,
0190       19495, 19499, 19519, 19527, 19531, 19539, 19541, 19557, 19581, 19597,
0191       19621, 19645, 19653, 19665, 19671, 19693, 19711, 19733, 19743, 19753,
0192       19761, 19781, 19791, 19793, 19829, 19845, 19855, 19885, 19891, 19905,
0193       19923, 19953, 19963, 19969, 19989, 20003, 20023, 20035, 20041, 20049,
0194       20075, 20077, 20099, 20123, 20147, 20179, 20197, 20201, 20207, 20253,
0195       20257, 20299, 20309, 20319, 20329, 20335, 20353, 20365, 20383, 20389,
0196       20393, 20407, 20411, 20439, 20459, 20461, 20473, 20487, 20511, 20517,
0197       20571, 20573, 20641, 20683, 20693, 20697, 20707, 20713, 20719, 20731,
0198       20763, 20769, 20781, 20799, 20819, 20825, 20831, 20847, 20861, 20875,
0199       20889, 20901, 20913, 20919, 20943, 20945, 20955, 20971, 20973, 20981,
0200       20991, 20997, 21007, 21037, 21093, 21105, 21131, 21145, 21155, 21169,
0201       21181, 21187, 21189, 21199, 21201, 21223, 21227, 21241, 21249, 21273,
0202       21285, 21289, 21303, 21321, 21339, 21351, 21365, 21403, 21405, 21415,
0203       21433, 21439, 21447, 21459, 21477, 21489, 21501, 21507, 21519, 21527,
0204       21557, 21561, 21575, 21593, 21599, 21627, 21645, 21651, 21653, 21663,
0205       21681, 21687, 21691, 21725, 21729, 21739, 21779, 21785, 21807, 21815,
0206       21863, 21867, 21877, 21881, 21887, 21891, 21893, 21905, 21911, 21933,
0207       21953, 21971, 21983, 21993, 22007, 22023, 22029, 22037, 22051, 22057,
0208       22063, 22065, 22103, 22109, 22171, 22187, 22189, 22195, 22209, 22215,
0209       22221, 22257, 22263, 22267, 22315, 22317, 22335, 22347, 22357, 22361,
0210       22371, 22373, 22397, 22419, 22447, 22461, 22467, 22469, 22487, 22503,
0211       22515, 22531, 22545, 22561, 22573, 22579, 22581, 22591, 22593, 22653,
0212       22663, 22667, 22677, 22681, 22691, 22703, 22705, 22737, 22749, 22759,
0213       22763, 22777, 22783, 22803, 22819, 22843, 22863, 22911, 22927, 22935,
0214       22941, 22945, 22951, 22955, 22965, 22987, 23007, 23017, 23037, 23053,
0215       23059, 23071, 23077, 23099, 23101, 23107, 23109, 23113, 23157, 23183,
0216       23207, 23221, 23233, 23251, 23253, 23257, 23287, 23311, 23319, 23325,
0217       23339, 23347, 23353, 23361, 23395, 23401, 23415, 23449, 23459, 23465,
0218       23491, 23493, 23521, 23531, 23545, 23559, 23563, 23577, 23601, 23607,
0219       23625, 23645, 23661, 23673, 23683, 23713, 23743, 23745, 23755, 23757,
0220       23781, 23813, 23825, 23837, 23859, 23861, 23879, 23919, 23943, 23949,
0221       23957, 23967, 23971, 23977, 23995, 24009, 24015, 24027, 24033, 24067,
0222       24079, 24091, 24109, 24135, 24139, 24163, 24189, 24193, 24217, 24229,
0223       24233, 24279, 24283, 24295, 24309, 24327, 24333, 24345, 24351, 24355,
0224       24381, 24387, 24389, 24401, 24417, 24427, 24437, 24457, 24471, 24491,
0225       24525, 24543, 24547, 24549, 24561, 24587, 24589, 24597, 24623, 24637,
0226       24655, 24657, 24673, 24679, 24683, 24713, 24727, 24733, 24737, 24747,
0227       24755, 24761, 24787, 24789, 24823, 24841, 24849, 24877, 24889, 24897,
0228       24915, 24945, 24957, 24991, 24997, 25007, 25019, 25051, 25069, 25077,
0229       25087, 25131, 25139, 25141, 25145, 25159, 25165, 25187, 25199, 25213,
0230       25229, 25247, 25253, 25257, 25265, 25271, 25303, 25307, 25309, 25323,
0231       25325, 25331, 25343, 25379, 25393, 25399, 25405, 25435, 25453, 25461,
0232       25477, 25481, 25489, 25505, 25535, 25583, 25597, 25609, 25623, 25645,
0233       25665, 25671, 25677, 25685, 25739, 25749, 25759, 25769, 25777, 25831,
0234       25845, 25857, 25867, 25881, 25911, 25915, 25923, 25925, 25929, 25947,
0235       25987, 26001, 26023, 26029, 26041, 26047, 26067, 26069, 26073, 26085,
0236       26095, 26097, 26103, 26113, 26119, 26125, 26147, 26171, 26191, 26205,
0237       26219, 26221, 26227, 26243, 26255, 26263, 26279, 26283, 26293, 26297,
0238       26329, 26335, 26345, 26385, 26395, 26401, 26419, 26443, 26463, 26473,
0239       26487, 26497, 26531, 26543, 26551, 26577, 26599, 26603, 26613, 26627,
0240       26641, 26651, 26653, 26667, 26689, 26707, 26735, 26743, 26763, 26765,
0241       26771, 26783, 26789, 26793, 26821, 26825, 26879, 26887, 26905, 26927,
0242       26941, 26967, 26987, 26995, 26997, 27001, 27013, 27023, 27035, 27037,
0243       27041, 27051, 27079, 27085, 27113, 27137, 27143, 27147, 27161, 27171,
0244       27183, 27217, 27227, 27239, 27243, 27245, 27253, 27267, 27287, 27315,
0245       27317, 27327, 27329, 27339, 27341, 27369, 27375, 27387, 27389, 27395,
0246       27415, 27435, 27443, 27449, 27463, 27467, 27477, 27497, 27517, 27521,
0247       27533, 27541, 27551, 27555, 27557, 27569, 27575, 27589, 27607, 27617,
0248       27629, 27635, 27641, 27659, 27673, 27695, 27709, 27717, 27735, 27745,
0249       27763, 27829, 27833, 27839, 27841, 27847, 27851, 27877, 27889, 27909,
0250       27913, 27919, 27927, 27947, 27987, 28003, 28005, 28009, 28027, 28067,
0251       28081, 28091, 28093, 28099, 28101, 28125, 28169, 28199, 28205, 28211,
0252       28225, 28237, 28243, 28271, 28283, 28289, 28295, 28309, 28335, 28343,
0253       28355, 28379, 28381, 28409, 28417, 28437, 28457, 28465, 28475, 28495,
0254       28503, 28507, 28513, 28549, 28561, 28567, 28587, 28597, 28615, 28633,
0255       28639, 28649, 28677, 28701, 28715, 28723, 28725, 28747, 28797, 28801,
0256       28813, 28841, 28855, 28859, 28873, 28879, 28893, 28897, 28947, 28949,
0257       28953, 28963, 28977, 28983, 28989, 29021, 29035, 29065, 29079, 29083,
0258       29089, 29109, 29119, 29131, 29151, 29157, 29175, 29179, 29209, 29215,
0259       29231, 29233, 29243, 29263, 29281, 29287, 29327, 29357, 29363, 29377,
0260       29389, 29395, 29407, 29413, 29425, 29431, 29443, 29449, 29479, 29483,
0261       29505, 29525, 29541, 29551, 29581, 29587, 29605, 29629, 29641, 29649,
0262       29671, 29683, 29685, 29695, 29715, 29717, 29737, 29775, 29783, 29787,
0263       29803, 29805, 29827, 29867, 29875, 29895, 29901, 29909, 29919, 29929,
0264       29947, 29949, 29975, 29979, 29985, 30005, 30017, 30027, 30071, 30075,
0265       30081, 30105, 30115, 30141, 30159, 30161, 30187, 30197, 30201, 30207,
0266       30237, 30265, 30279, 30291, 30293, 30303, 30307, 30309, 30313, 30343,
0267       30357, 30367, 30371, 30383, 30395, 30405, 30417, 30443, 30451, 30457,
0268       30475, 30511, 30537, 30545, 30551, 30573, 30579, 30595, 30601, 30631,
0269       30637, 30645, 30663, 30675, 30677, 30703, 30741, 30757, 30769, 30781,
0270       30799, 30801, 30811, 30829, 30887, 30893, 30899, 30911, 30923, 30925,
0271       30937, 30943, 30953, 30959, 30979, 30991, 30999, 31015, 31027, 31053,
0272       31065, 31087, 31089, 31099, 31105, 31111, 31141, 31153, 31173, 31177,
0273       31191, 31197, 31235, 31259, 31271, 31275, 31285, 31295, 31307, 31317,
0274       31351, 31361, 31373, 31401, 31415, 31419, 31427, 31457, 31475, 31477,
0275       31499, 31523, 31547, 31557, 31567, 31569, 31581, 31591, 31609, 31621,
0276       31631, 31649, 31659, 31673, 31699, 31715, 31729, 31735, 31749, 31753,
0277       31783, 31789, 31833, 31849, 31869, 31883, 31891, 31893, 31907, 31927,
0278       31939, 31953, 31965, 31979, 31993, 31999, 32001, 32021, 32055, 32069,
0279       32073, 32115, 32121, 32143, 32145, 32151, 32167, 32179, 32199, 32205,
0280       32213, 32233, 32251, 32253, 32257, 32269, 32281, 32303, 32325, 32353,
0281       32373, 32383, 32393, 32399, 32411, 32413, 32427, 32447, 32455, 32467,
0282       32483, 32485, 32521, 32545, 32575, 32589, 32597, 32625, 32651, 32653,
0283       32665, 32671, 32675, 32689, 32707, 32709, 32721, 32727, 32737, 32743,
0284       32771, 32785, 32791, 32813, 32821, 32863, 32879, 32887, 32897, 32903,
0285       32915, 32933, 32945, 32957, 32963, 32975, 32989, 32999, 33013, 33023,
0286       33025, 33045, 33061, 33111, 33117, 33121, 33133, 33145, 33157, 33185,
0287       33191, 33209, 33227, 33229, 33237, 33247, 33277, 33299, 33339, 33349,
0288       33407, 33417, 33423, 33435, 33483, 33497, 33507, 33521, 33559, 33563,
0289       33579, 33587, 33607, 33613, 33631, 33635, 33641, 33649, 33675, 33685,
0290       33689, 33711, 33723, 33725, 33733, 33745, 33781, 33817, 33827, 33839,
0291       33841, 33847, 33865, 33895, 33901, 33913, 33923, 33925, 33943, 33953,
0292       33973, 34015, 34031, 34039, 34043, 34045, 34077, 34081, 34087, 34099,
0293       34119, 34123, 34143, 34161, 34171, 34177, 34189, 34211, 34225, 34231,
0294       34245, 34249, 34267, 34285, 34291, 34313, 34321, 34333, 34347, 34389,
0295       34393, 34405, 34429, 34433, 34451, 34473, 34479, 34487, 34499, 34523,
0296       34547, 34559, 34571, 34573, 34581, 34591, 34601, 34609, 34667, 34693,
0297       34697, 34703, 34717, 34731, 34733, 34739, 34751, 34783, 34793, 34801,
0298       34807, 34817, 34823, 34853, 34871, 34875, 34889, 34909, 34913, 34931,
0299       34937, 34947, 34959, 34961, 34995, 34997, 35015, 35033, 35075, 35077,
0300       35081, 35089, 35095, 35111, 35173, 35197, 35221, 35225, 35247, 35279,
0301       35281, 35291, 35293, 35309, 35327, 35351, 35385, 35413, 35427, 35429,
0302       35441, 35451, 35463, 35467, 35487, 35503, 35505, 35549, 35595, 35597,
0303       35643, 35645, 35651, 35693, 35699, 35729, 35741, 35777, 35787, 35797,
0304       35801, 35813, 35825, 35873, 35879, 35911, 35925, 35929, 35939, 35945,
0305       35975, 35987, 36003, 36009, 36027, 36041, 36065, 36075, 36097, 36103,
0306       36107, 36133, 36143, 36163, 36177, 36187, 36205, 36223, 36229, 36233,
0307       36251, 36257, 36287, 36299, 36301, 36325, 36329, 36335, 36343, 36363,
0308       36383, 36411, 36433, 36439, 36467, 36469, 36495, 36503, 36507, 36513,
0309       36543, 36545, 36563, 36575, 36581, 36603, 36623, 36647, 36651, 36665,
0310       36673, 36691, 36693, 36709, 36727, 36733, 36773, 36791, 36797, 36809,
0311       36817, 36833, 36839, 36875, 36889, 36895, 36901, 36919, 36925, 36931,
0312       36951, 36961, 36973, 36981, 37001, 37009, 37019, 37021, 37037, 37091,
0313       37125, 37129, 37135, 37143, 37147, 37149, 37185, 37197, 37239, 37243,
0314       37273, 37283, 37289, 37297, 37309, 37327, 37345, 37379, 37393, 37403,
0315       37409, 37415, 37427, 37439, 37453, 37459, 37471, 37499, 37511, 37525,
0316       37539, 37559, 37577, 37597, 37621, 37625, 37651, 37681, 37687, 37701,
0317       37705, 37719, 37747, 37759, 37763, 37789, 37793, 37813, 37835, 37855,
0318       37871, 37873, 37883, 37903, 37931, 37933, 37941, 37963, 37971, 38007,
0319       38013, 38027, 38035, 38041, 38053, 38057, 38075, 38085, 38103, 38107,
0320       38113, 38119, 38133, 38143, 38151, 38165, 38185, 38193, 38205, 38213,
0321       38241, 38251, 38281, 38299, 38317, 38349, 38367, 38371, 38377, 38419,
0322       38421, 38447, 38449, 38455, 38461, 38467, 38493, 38503, 38521, 38551,
0323       38573, 38593, 38603, 38611, 38623, 38639, 38651, 38661, 38699, 38709,
0324       38713, 38733, 38755, 38805, 38815, 38819, 38821, 38825, 38833, 38875,
0325       38877, 38881, 38899, 38911, 38921, 38945, 38957, 38983, 39061, 39065,
0326       39087, 39099, 39107, 39109, 39127, 39133, 39143, 39155, 39161, 39179,
0327       39193, 39205, 39209, 39215, 39223, 39235, 39237, 39259, 39277, 39295,
0328       39305, 39313, 39323, 39353, 39359, 39361, 39371, 39381, 39395, 39397,
0329       39461, 39473, 39503, 39511, 39515, 39517, 39521, 39533, 39545, 39551,
0330       39557, 39575, 39581, 39595, 39609, 39623, 39627, 39651, 39675, 39697,
0331       39707, 39725, 39731, 39745, 39763, 39775, 39791, 39799, 39805, 39815,
0332       39819, 39827, 39863, 39869, 39889, 39915, 39929, 39935, 39957, 39967,
0333       39983, 39995, 39997, 40017, 40029, 40039, 40051, 40053, 40057, 40069,
0334       40127, 40135, 40149, 40165, 40169, 40177, 40183, 40195, 40277, 40281,
0335       40291, 40311, 40321, 40331, 40345, 40351, 40357, 40381, 40451, 40465,
0336       40471, 40481, 40487, 40505, 40519, 40533, 40537, 40543, 40547, 40553,
0337       40577, 40607, 40611, 40685, 40691, 40715, 40723, 40729, 40739, 40751,
0338       40777, 40783, 40807, 40859, 40877, 40883, 40885, 40909, 40921, 40951,
0339       40971, 40981, 40995, 40997, 41007, 41027, 41051, 41053, 41063, 41067,
0340       41069, 41087, 41097, 41105, 41127, 41141, 41165, 41183, 41193, 41211,
0341       41219, 41231, 41245, 41249, 41255, 41267, 41269, 41273, 41287, 41305,
0342       41327, 41339, 41345, 41375, 41393, 41413, 41423, 41441, 41487, 41501,
0343       41517, 41525, 41537, 41543, 41557, 41571, 41583, 41625, 41641, 41659,
0344       41661, 41669, 41673, 41687, 41691, 41709, 41735, 41739, 41741, 41753,
0345       41759, 41763, 41769, 41797, 41835, 41843, 41861, 41871, 41879, 41889,
0346       41907, 41921, 41933, 41941, 41987, 41989, 41993, 42001, 42067, 42073,
0347       42085, 42113, 42119, 42123, 42133, 42137, 42149, 42159, 42161, 42173,
0348       42179, 42203, 42219, 42221, 42241, 42275, 42277, 42281, 42319, 42355,
0349       42371, 42407, 42425, 42439, 42445, 42473, 42481, 42491, 42515, 42533,
0350       42543, 42551, 42557, 42577, 42593, 42611, 42641, 42651, 42653, 42695,
0351       42737, 42749, 42779, 42795, 42809, 42847, 42865, 42893, 42905, 42929,
0352       42939, 42941, 42959, 42961, 42973, 42983, 43013, 43051, 43059, 43065,
0353       43083, 43085, 43093, 43113, 43119, 43133, 43137, 43155, 43167, 43171,
0354       43177, 43191, 43215, 43229, 43233, 43243, 43275, 43283, 43289, 43301,
0355       43337, 43381, 43409, 43431, 43437, 43455, 43457, 43497, 43503, 43511,
0356       43533, 43541, 43567, 43569, 43587, 43589, 43599, 43601, 43617, 43641,
0357       43677, 43691, 43693, 43699, 43705, 43731, 43743, 43761, 43779, 43791,
0358       43805, 43829, 43833, 43847, 43875, 43901, 43905, 43915, 43929, 43963,
0359       43973, 43985, 43991, 43995, 44007, 44019, 44033, 44039, 44045, 44051,
0360       44073, 44087, 44091, 44101, 44123, 44141, 44147, 44159, 44165, 44175,
0361       44183, 44231, 44245, 44255, 44265, 44285, 44293, 44305, 44315, 44321,
0362       44363, 44365, 44399, 44451, 44463, 44489, 44509, 44519, 44523, 44537,
0363       44553, 44573, 44589, 44601, 44607, 44621, 44639, 44643, 44657, 44663,
0364       44667, 44685, 44693, 44707, 44731, 44759, 44765, 44775, 44789, 44801,
0365       44819, 44831, 44841, 44847, 44859, 44867, 44873, 44903, 44917, 44943,
0366       44957, 44971, 44993, 45011, 45027, 45047, 45053, 45071, 45083, 45101,
0367       45109, 45119, 45141, 45175, 45197, 45203, 45231, 45251, 45253, 45265,
0368       45281, 45299, 45319, 45323, 45325, 45373, 45399, 45405, 45429, 45455,
0369       45463, 45469, 45473, 45511, 45535, 45541, 45579, 45587, 45589, 45635,
0370       45641, 45647, 45685, 45695, 45705, 45723, 45749, 45761, 45791, 45801,
0371       45807, 45815, 45829, 45847, 45863, 45923, 45947, 45953, 45971, 45989,
0372       45993, 46001, 46007, 46021, 46039, 46043, 46045, 46073, 46081, 46093,
0373       46105, 46111, 46121, 46147, 46149, 46167, 46189, 46197, 46207, 46247,
0374       46271, 46297, 46319, 46327, 46345, 46365, 46387, 46399, 46407, 46419,
0375       46421, 46441, 46455, 46459, 46485, 46505, 46523, 46531, 46551, 46561,
0376       46567, 46571, 46585, 46597, 46601, 46615, 46619, 46625, 46631, 46637,
0377       46643, 46645, 46667, 46681, 46715, 46721, 46731, 46745, 46767, 46769,
0378       46801, 46823, 46827, 46855, 46879, 46885, 46917, 46935, 46939, 46955,
0379       46969, 46979, 46993, 46999, 47005, 47009, 47027, 47051, 47101, 47135,
0380       47173, 47183, 47201, 47221, 47237, 47241, 47261, 47265, 47277, 47295,
0381       47315, 47317, 47355, 47363, 47369, 47389, 47399, 47403, 47431, 47445,
0382       47449, 47461, 47479, 47501, 47535, 47547, 47555, 47561, 47569, 47585,
0383       47597, 47603, 47605, 47621, 47631, 47633, 47659, 47673, 47705, 47721,
0384       47727, 47745, 47751, 47757, 47763, 47799, 47831, 47859, 47871, 47873,
0385       47879, 47893, 47897, 47907, 47933, 47939, 47945, 47951, 47953, 47963,
0386       47975, 47989, 48017, 48053, 48063, 48075, 48077, 48101, 48105, 48137,
0387       48179, 48185, 48227, 48229, 48233, 48251, 48267, 48269, 48287, 48297,
0388       48323, 48337, 48349, 48385, 48403, 48421, 48431, 48439, 48453, 48487,
0389       48511, 48515, 48521, 48569, 48577, 48595, 48601, 48613, 48625, 48647,
0390       48661, 48675, 48681, 48695, 48727, 48731, 48737, 48747, 48767, 48771,
0391       48785, 48811, 48853, 48857, 48881, 48919, 48929, 48935, 48947, 48949,
0392       48979, 48997, 49025, 49035, 49059, 49079, 49091, 49115, 49133, 49141,
0393       49151, 49153, 49159, 49171, 49183, 49189, 49225, 49267, 49273, 49285,
0394       49297, 49303, 49309, 49319, 49337, 49355, 49365, 49379, 49403, 49425,
0395       49441, 49459, 49471, 49483, 49503, 49519, 49527, 49531, 49533, 49555,
0396       49573, 49597, 49603, 49609, 49627, 49639, 49645, 49669, 49673, 49687,
0397       49709, 49741, 49747, 49749, 49769, 49817, 49841, 49871, 49873, 49885,
0398       49909, 49921, 49933, 49945, 49957, 49967, 49981, 50007, 50011, 50017,
0399       50035, 50051, 50075, 50077, 50091, 50093, 50111, 50119, 50147, 50159,
0400       50173, 50181, 50209, 50227, 50247, 50251, 50271, 50287, 50301, 50323,
0401       50335, 50341, 50359, 50373, 50391, 50397, 50411, 50425, 50431, 50443,
0402       50453, 50479, 50481, 50505, 50523, 50549, 50553, 50569, 50587, 50593,
0403       50611, 50613, 50623, 50635, 50655, 50665, 50671, 50685, 50735, 50737,
0404       50749, 50757, 50769, 50795, 50805, 50809, 50831, 50839, 50859, 50867,
0405       50873, 50881, 50887, 50893, 50901, 50915, 50921, 50939, 50947, 50953,
0406       51009, 51027, 51033, 51043, 51063, 51097, 51103, 51113, 51139, 51159,
0407       51163, 51189, 51203, 51227, 51253, 51265, 51277, 51295, 51301, 51305,
0408       51349, 51389, 51401, 51445, 51449, 51455, 51457, 51469, 51477, 51487,
0409       51491, 51497, 51505, 51511, 51515, 51547, 51549, 51553, 51583, 51587,
0410       51599, 51627, 51655, 51659, 51661, 51673, 51749, 51753, 51759, 51779,
0411       51785, 51815, 51855, 51885, 51903, 51929, 51939, 51951, 51953, 51965,
0412       51991, 51995, 51997, 52011, 52031, 52053, 52073, 52081, 52091, 52103,
0413       52157, 52183, 52199, 52213, 52231, 52245, 52259, 52285, 52297, 52315,
0414       52333, 52351, 52355, 52357, 52379, 52385, 52391, 52397, 52403, 52417,
0415       52441, 52471, 52475, 52477, 52497, 52523, 52531, 52565, 52579, 52591,
0416       52615, 52639, 52643, 52663, 52677, 52687, 52695, 52705, 52715, 52717,
0417       52729, 52735, 52739, 52753, 52775, 52789, 52793, 52837, 52847, 52849,
0418       52895, 52901, 52923, 52931, 52933, 52937, 52945, 52951, 52979, 52991,
0419       53005, 53017, 53023, 53039, 53085, 53089, 53099, 53107, 53113, 53135,
0420       53147, 53149, 53153, 53163, 53191, 53205, 53225, 53239, 53253, 53257,
0421       53311, 53319, 53325, 53361, 53367, 53383, 53387, 53389, 53397, 53401,
0422       53411, 53425, 53445, 53455, 53457, 53463, 53473, 53497, 53515, 53541,
0423       53545, 53551, 53565, 53585, 53595, 53613, 53659, 53689, 53695, 53697,
0424       53717, 53721, 53743, 53757, 53767, 53781, 53791, 53795, 53801, 53815,
0425       53847, 53867, 53869, 53891, 53903, 53921, 53941, 53963, 54019, 54039,
0426       54055, 54081, 54091, 54105, 54111, 54121, 54135, 54139, 54145, 54163,
0427       54169, 54179, 54193, 54217, 54225, 54237, 54247, 54253, 54293, 54313,
0428       54331, 54365, 54369, 54379, 54423, 54429, 54443, 54451, 54463, 54465,
0429       54483, 54501, 54505, 54513, 54543, 54555, 54567, 54571, 54599, 54613,
0430       54617, 54627, 54653, 54675, 54711, 54723, 54753, 54759, 54771, 54773,
0431       54789, 54823, 54827, 54859, 54879, 54883, 54895, 54909, 54919, 54953,
0432       54967, 54981, 54999, 55009, 55021, 55027, 55061, 55075, 55077, 55089,
0433       55143, 55149, 55167, 55213, 55219, 55221, 55231, 55257, 55287, 55291,
0434       55309, 55315, 55369, 55383, 55405, 55433, 55439, 55451, 55463, 55467,
0435       55477, 55489, 55495, 55507, 55513, 55525, 55561, 55579, 55603, 55617,
0436       55623, 55629, 55647, 55653, 55665, 55691, 55705, 55711, 55715, 55721,
0437       55729, 55747, 55767, 55795, 55801, 55813, 55831, 55847, 55859, 55861,
0438       55871, 55897, 55933, 55947, 55955, 55961, 55971, 55985, 56003, 56029,
0439       56045, 56071, 56095, 56101, 56105, 56123, 56133, 56143, 56161, 56195,
0440       56209, 56225, 56263, 56269, 56277, 56287, 56291, 56297, 56303, 56315,
0441       56317, 56337, 56363, 56373, 56377, 56385, 56431, 56433, 56467, 56479,
0442       56495, 56529, 56535, 56539, 56565, 56601, 56617, 56625, 56645, 56663,
0443       56679, 56691, 56693, 56733, 56749, 56769, 56789, 56805, 56823, 56827,
0444       56839, 56879, 56893, 56905, 56911, 56913, 56941, 56949, 56963, 56965,
0445       56969, 56993, 57005, 57035, 57037, 57043, 57091, 57093, 57111, 57117,
0446       57121, 57139, 57177, 57187, 57193, 57199, 57201, 57253, 57275, 57289,
0447       57307, 57323, 57347, 57359, 57361, 57395, 57397, 57415, 57419, 57439,
0448       57467, 57469, 57485, 57503, 57513, 57521, 57527, 57541, 57559, 57563,
0449       57565, 57581, 57599, 57601, 57611, 57637, 57649, 57673, 57679, 57681,
0450       57693, 57703, 57707, 57727, 57779, 57811, 57817, 57839, 57863, 57867,
0451       57881, 57891, 57905, 57925, 57935, 57959, 57977, 57989, 57999, 58011,
0452       58013, 58017, 58027, 58029, 58047, 58049, 58069, 58127, 58129, 58139,
0453       58165, 58169, 58201, 58211, 58213, 58231, 58253, 58259, 58271, 58277,
0454       58287, 58295, 58307, 58331, 58355, 58367, 58399, 58417, 58441, 58459,
0455       58475, 58477, 58483, 58489, 58501, 58513, 58519, 58525, 58529, 58539,
0456       58571, 58573, 58591, 58609, 58621, 58627, 58629, 58647, 58651, 58669,
0457       58675, 58753, 58773, 58789, 58799, 58855, 58885, 58913, 58937, 58943,
0458       58951, 58963, 58985, 59015, 59067, 59069, 59095, 59101, 59115, 59125,
0459       59129, 59137, 59161, 59177, 59245, 59253, 59267, 59279, 59303, 59307,
0460       59309, 59317, 59339, 59347, 59349, 59365, 59377, 59383, 59393, 59439,
0461       59459, 59471, 59473, 59483, 59501, 59513, 59529, 59537, 59559, 59583,
0462       59585, 59595, 59597, 59603, 59643, 59645, 59651, 59663, 59681, 59687,
0463       59691, 59701, 59737, 59743, 59747, 59753, 59761, 59789, 59831, 59845,
0464       59855, 59863, 59885, 59913, 59931, 59949, 59979, 59993, 60017, 60029,
0465       60033, 60045, 60091, 60099, 60105, 60119, 60141, 60159, 60167, 60171,
0466       60185, 60195, 60201, 60219, 60229, 60247, 60253, 60263, 60267, 60275,
0467       60277, 60311, 60315, 60333, 60339, 60365, 60371, 60373, 60387, 60425,
0468       60433, 60449, 60469, 60491, 60511, 60517, 60521, 60541, 60563, 60569,
0469       60591, 60599, 60605, 60617, 60623, 60671, 60679, 60693, 60707, 60727,
0470       60745, 60765, 60769, 60779, 60823, 60833, 60843, 60851, 60871, 60877,
0471       60889, 60895, 60911, 60913, 60925, 60929, 60939, 60941, 60959, 60969,
0472       61045, 61059, 61065, 61085, 61101, 61113, 61127, 61131, 61145, 61155,
0473       61169, 61175, 61199, 61217, 61229, 61235, 61241, 61261, 61303, 61333,
0474       61343, 61361, 61371, 61409, 61415, 61419, 61427, 61429, 61433, 61447,
0475       61453, 61471, 61481, 61487, 61509, 61533, 61573, 61577, 61591, 61611,
0476       61631, 61639, 61653, 61663, 61681, 61687, 61713, 61723, 61749, 61761,
0477       61767, 61771, 61779, 61795, 61809, 61837, 61843, 61893, 61921, 61927,
0478       61939, 61941, 61951, 61975, 61981, 62023, 62029, 62037, 62041, 62063,
0479       62075, 62087, 62111, 62117, 62171, 62173, 62201, 62207, 62209, 62219,
0480       62229, 62255, 62263, 62275, 62341, 62345, 62353, 62359, 62387, 62431,
0481       62437, 62469, 62479, 62487, 62497, 62521, 62547, 62549, 62563, 62565,
0482       62569, 62587, 62603, 62617, 62627, 62641, 62653, 62659, 62671, 62707,
0483       62709, 62713, 62733, 62745, 62757, 62775, 62779, 62801, 62817, 62829,
0484       62865, 62877, 62887, 62901, 62911, 62913, 62919, 62977, 62997, 63007,
0485       63011, 63035, 63045, 63055, 63069, 63083, 63091, 63107, 63109, 63155,
0486       63157, 63193, 63215, 63227, 63265, 63277, 63295, 63309, 63315, 63337,
0487       63343, 63367, 63371, 63381, 63395, 63409, 63415, 63427, 63433, 63451,
0488       63487, 63491, 63497, 63503, 63517, 63527, 63533, 63545, 63551, 63563,
0489       63599, 63601, 63607, 63635, 63685, 63707, 63713, 63725, 63731, 63733,
0490       63751, 63765, 63779, 63803, 63805, 63823, 63825, 63859, 63865, 63877,
0491       63899, 63923, 63929, 63943, 63971, 63977, 63991, 64001, 64007, 64019,
0492       64035, 64055, 64073, 64107, 64117, 64121, 64127, 64131, 64151, 64155,
0493       64161, 64193, 64203, 64217, 64223, 64229, 64261, 64271, 64289, 64295,
0494       64309, 64333, 64341, 64351, 64361, 64369, 64385, 64397, 64419, 64425,
0495       64439, 64457, 64463, 64475, 64481, 64523, 64525, 64543, 64585, 64603,
0496       64615, 64629, 64643, 64685, 64723, 64751, 64783, 64791, 64797, 64811,
0497       64813, 64825, 64839, 64851, 64881, 64907, 64917, 64921, 64931, 64943,
0498       64945, 64963, 64989, 64993, 65003, 65029, 65069, 65075, 65077, 65089,
0499       65101, 65113, 65119, 65149, 65159, 65171, 65177, 65201, 65213, 65225,
0500       65259, 65279, 65281, 65287, 65299, 65315, 65321, 65335, 65359, 65367,
0501       65373, 65377, 65395, 65407, 65423, 65425, 65459, 65479, 65497, 65513,
0502       65519, 65533};
0503     return nb2_a[n];
0504   }
0505 };
0506
0507 } // namespace qrng_tables
0508 } // namespace detail
0509
0510 } // namespace random
0511
0512 } // namespace boost
0513
0514 #endif // BOOST_RANDOM_DETAIL_NIEDERREITER_BASE2_TABLE_HPP