1 // Copyright 2008 John Maddock
2 //
3 // Use, modification and distribution are subject to the
4 // Boost Software License, Version 1.0.
5 // (See accompanying file LICENSE_1_0.txt
6 // or copy at http://www.boost.org/LICENSE_1_0.txt)
7 
8 #ifndef BOOST_MATH_SF_PRIME_HPP
9 #define BOOST_MATH_SF_PRIME_HPP
10 
11 #include <boost/cstdint.hpp>
12 #include <boost/math/policies/error_handling.hpp>
13 #include <boost/math/special_functions/math_fwd.hpp>
14 #ifdef BOOST_MATH_HAVE_CONSTEXPR_TABLES
15 #include <array>
16 #else
17 #include <boost/array.hpp>
18 #endif
19 
20 namespace boost{ namespace math{
21 
22    template <class Policy>
prime(unsigned n,const Policy & pol)23    BOOST_MATH_CONSTEXPR_TABLE_FUNCTION boost::uint32_t prime(unsigned n, const Policy& pol)
24    {
25       //
26       // This is basically three big tables which together
27       // occupy 19946 bytes, we use the smallest type which
28       // will handle each value, and store the final set of
29       // values in a uint16_t with the values offset by 0xffff.
30       // That gives us the first 10000 primes with the largest
31       // being 104729:
32       //
33 #ifdef BOOST_MATH_HAVE_CONSTEXPR_TABLES
34       constexpr unsigned b1 = 53;
35       constexpr unsigned b2 = 6541;
36       constexpr unsigned b3 = 10000;
37       constexpr std::array<unsigned char, 54> a1 = {{
38 #else
39       static const unsigned b1 = 53;
40       static const unsigned b2 = 6541;
41       static const unsigned b3 = 10000;
42       static const boost::array<unsigned char, 54> a1 = {{
43 #endif
44          2u, 3u, 5u, 7u, 11u, 13u, 17u, 19u, 23u, 29u, 31u,
45          37u, 41u, 43u, 47u, 53u, 59u, 61u, 67u, 71u, 73u,
46          79u, 83u, 89u, 97u, 101u, 103u, 107u, 109u, 113u,
47          127u, 131u, 137u, 139u, 149u, 151u, 157u, 163u,
48          167u, 173u, 179u, 181u, 191u, 193u, 197u, 199u,
49          211u, 223u, 227u, 229u, 233u, 239u, 241u, 251u
50       }};
51 #ifdef BOOST_MATH_HAVE_CONSTEXPR_TABLES
52       constexpr std::array<boost::uint16_t, 6488> a2 = {{
53 #else
54       static const boost::array<boost::uint16_t, 6488> a2 = {{
55 #endif
56          257u, 263u, 269u, 271u, 277u, 281u, 283u, 293u,
57          307u, 311u, 313u, 317u, 331u, 337u, 347u, 349u, 353u,
58          359u, 367u, 373u, 379u, 383u, 389u, 397u, 401u, 409u,
59          419u, 421u, 431u, 433u, 439u, 443u, 449u, 457u, 461u,
60          463u, 467u, 479u, 487u, 491u, 499u, 503u, 509u, 521u,
61          523u, 541u, 547u, 557u, 563u, 569u, 571u, 577u, 587u,
62          593u, 599u, 601u, 607u, 613u, 617u, 619u, 631u, 641u,
63          643u, 647u, 653u, 659u, 661u, 673u, 677u, 683u, 691u,
64          701u, 709u, 719u, 727u, 733u, 739u, 743u, 751u, 757u,
65          761u, 769u, 773u, 787u, 797u, 809u, 811u, 821u, 823u,
66          827u, 829u, 839u, 853u, 857u, 859u, 863u, 877u, 881u,
67          883u, 887u, 907u, 911u, 919u, 929u, 937u, 941u, 947u,
68          953u, 967u, 971u, 977u, 983u, 991u, 997u, 1009u, 1013u,
69          1019u, 1021u, 1031u, 1033u, 1039u, 1049u, 1051u, 1061u, 1063u,
70          1069u, 1087u, 1091u, 1093u, 1097u, 1103u, 1109u, 1117u, 1123u,
71          1129u, 1151u, 1153u, 1163u, 1171u, 1181u, 1187u, 1193u, 1201u,
72          1213u, 1217u, 1223u, 1229u, 1231u, 1237u, 1249u, 1259u, 1277u,
73          1279u, 1283u, 1289u, 1291u, 1297u, 1301u, 1303u, 1307u, 1319u,
74          1321u, 1327u, 1361u, 1367u, 1373u, 1381u, 1399u, 1409u, 1423u,
75          1427u, 1429u, 1433u, 1439u, 1447u, 1451u, 1453u, 1459u, 1471u,
76          1481u, 1483u, 1487u, 1489u, 1493u, 1499u, 1511u, 1523u, 1531u,
77          1543u, 1549u, 1553u, 1559u, 1567u, 1571u, 1579u, 1583u, 1597u,
78          1601u, 1607u, 1609u, 1613u, 1619u, 1621u, 1627u, 1637u, 1657u,
79          1663u, 1667u, 1669u, 1693u, 1697u, 1699u, 1709u, 1721u, 1723u,
80          1733u, 1741u, 1747u, 1753u, 1759u, 1777u, 1783u, 1787u, 1789u,
81          1801u, 1811u, 1823u, 1831u, 1847u, 1861u, 1867u, 1871u, 1873u,
82          1877u, 1879u, 1889u, 1901u, 1907u, 1913u, 1931u, 1933u, 1949u,
83          1951u, 1973u, 1979u, 1987u, 1993u, 1997u, 1999u, 2003u, 2011u,
84          2017u, 2027u, 2029u, 2039u, 2053u, 2063u, 2069u, 2081u, 2083u,
85          2087u, 2089u, 2099u, 2111u, 2113u, 2129u, 2131u, 2137u, 2141u,
86          2143u, 2153u, 2161u, 2179u, 2203u, 2207u, 2213u, 2221u, 2237u,
87          2239u, 2243u, 2251u, 2267u, 2269u, 2273u, 2281u, 2287u, 2293u,
88          2297u, 2309u, 2311u, 2333u, 2339u, 2341u, 2347u, 2351u, 2357u,
89          2371u, 2377u, 2381u, 2383u, 2389u, 2393u, 2399u, 2411u, 2417u,
90          2423u, 2437u, 2441u, 2447u, 2459u, 2467u, 2473u, 2477u, 2503u,
91          2521u, 2531u, 2539u, 2543u, 2549u, 2551u, 2557u, 2579u, 2591u,
92          2593u, 2609u, 2617u, 2621u, 2633u, 2647u, 2657u, 2659u, 2663u,
93          2671u, 2677u, 2683u, 2687u, 2689u, 2693u, 2699u, 2707u, 2711u,
94          2713u, 2719u, 2729u, 2731u, 2741u, 2749u, 2753u, 2767u, 2777u,
95          2789u, 2791u, 2797u, 2801u, 2803u, 2819u, 2833u, 2837u, 2843u,
96          2851u, 2857u, 2861u, 2879u, 2887u, 2897u, 2903u, 2909u, 2917u,
97          2927u, 2939u, 2953u, 2957u, 2963u, 2969u, 2971u, 2999u, 3001u,
98          3011u, 3019u, 3023u, 3037u, 3041u, 3049u, 3061u, 3067u, 3079u,
99          3083u, 3089u, 3109u, 3119u, 3121u, 3137u, 3163u, 3167u, 3169u,
100          3181u, 3187u, 3191u, 3203u, 3209u, 3217u, 3221u, 3229u, 3251u,
101          3253u, 3257u, 3259u, 3271u, 3299u, 3301u, 3307u, 3313u, 3319u,
102          3323u, 3329u, 3331u, 3343u, 3347u, 3359u, 3361u, 3371u, 3373u,
103          3389u, 3391u, 3407u, 3413u, 3433u, 3449u, 3457u, 3461u, 3463u,
104          3467u, 3469u, 3491u, 3499u, 3511u, 3517u, 3527u, 3529u, 3533u,
105          3539u, 3541u, 3547u, 3557u, 3559u, 3571u, 3581u, 3583u, 3593u,
106          3607u, 3613u, 3617u, 3623u, 3631u, 3637u, 3643u, 3659u, 3671u,
107          3673u, 3677u, 3691u, 3697u, 3701u, 3709u, 3719u, 3727u, 3733u,
108          3739u, 3761u, 3767u, 3769u, 3779u, 3793u, 3797u, 3803u, 3821u,
109          3823u, 3833u, 3847u, 3851u, 3853u, 3863u, 3877u, 3881u, 3889u,
110          3907u, 3911u, 3917u, 3919u, 3923u, 3929u, 3931u, 3943u, 3947u,
111          3967u, 3989u, 4001u, 4003u, 4007u, 4013u, 4019u, 4021u, 4027u,
112          4049u, 4051u, 4057u, 4073u, 4079u, 4091u, 4093u, 4099u, 4111u,
113          4127u, 4129u, 4133u, 4139u, 4153u, 4157u, 4159u, 4177u, 4201u,
114          4211u, 4217u, 4219u, 4229u, 4231u, 4241u, 4243u, 4253u, 4259u,
115          4261u, 4271u, 4273u, 4283u, 4289u, 4297u, 4327u, 4337u, 4339u,
116          4349u, 4357u, 4363u, 4373u, 4391u, 4397u, 4409u, 4421u, 4423u,
117          4441u, 4447u, 4451u, 4457u, 4463u, 4481u, 4483u, 4493u, 4507u,
118          4513u, 4517u, 4519u, 4523u, 4547u, 4549u, 4561u, 4567u, 4583u,
119          4591u, 4597u, 4603u, 4621u, 4637u, 4639u, 4643u, 4649u, 4651u,
120          4657u, 4663u, 4673u, 4679u, 4691u, 4703u, 4721u, 4723u, 4729u,
121          4733u, 4751u, 4759u, 4783u, 4787u, 4789u, 4793u, 4799u, 4801u,
122          4813u, 4817u, 4831u, 4861u, 4871u, 4877u, 4889u, 4903u, 4909u,
123          4919u, 4931u, 4933u, 4937u, 4943u, 4951u, 4957u, 4967u, 4969u,
124          4973u, 4987u, 4993u, 4999u, 5003u, 5009u, 5011u, 5021u, 5023u,
125          5039u, 5051u, 5059u, 5077u, 5081u, 5087u, 5099u, 5101u, 5107u,
126          5113u, 5119u, 5147u, 5153u, 5167u, 5171u, 5179u, 5189u, 5197u,
127          5209u, 5227u, 5231u, 5233u, 5237u, 5261u, 5273u, 5279u, 5281u,
128          5297u, 5303u, 5309u, 5323u, 5333u, 5347u, 5351u, 5381u, 5387u,
129          5393u, 5399u, 5407u, 5413u, 5417u, 5419u, 5431u, 5437u, 5441u,
130          5443u, 5449u, 5471u, 5477u, 5479u, 5483u, 5501u, 5503u, 5507u,
131          5519u, 5521u, 5527u, 5531u, 5557u, 5563u, 5569u, 5573u, 5581u,
132          5591u, 5623u, 5639u, 5641u, 5647u, 5651u, 5653u, 5657u, 5659u,
133          5669u, 5683u, 5689u, 5693u, 5701u, 5711u, 5717u, 5737u, 5741u,
134          5743u, 5749u, 5779u, 5783u, 5791u, 5801u, 5807u, 5813u, 5821u,
135          5827u, 5839u, 5843u, 5849u, 5851u, 5857u, 5861u, 5867u, 5869u,
136          5879u, 5881u, 5897u, 5903u, 5923u, 5927u, 5939u, 5953u, 5981u,
137          5987u, 6007u, 6011u, 6029u, 6037u, 6043u, 6047u, 6053u, 6067u,
138          6073u, 6079u, 6089u, 6091u, 6101u, 6113u, 6121u, 6131u, 6133u,
139          6143u, 6151u, 6163u, 6173u, 6197u, 6199u, 6203u, 6211u, 6217u,
140          6221u, 6229u, 6247u, 6257u, 6263u, 6269u, 6271u, 6277u, 6287u,
141          6299u, 6301u, 6311u, 6317u, 6323u, 6329u, 6337u, 6343u, 6353u,
142          6359u, 6361u, 6367u, 6373u, 6379u, 6389u, 6397u, 6421u, 6427u,
143          6449u, 6451u, 6469u, 6473u, 6481u, 6491u, 6521u, 6529u, 6547u,
144          6551u, 6553u, 6563u, 6569u, 6571u, 6577u, 6581u, 6599u, 6607u,
145          6619u, 6637u, 6653u, 6659u, 6661u, 6673u, 6679u, 6689u, 6691u,
146          6701u, 6703u, 6709u, 6719u, 6733u, 6737u, 6761u, 6763u, 6779u,
147          6781u, 6791u, 6793u, 6803u, 6823u, 6827u, 6829u, 6833u, 6841u,
148          6857u, 6863u, 6869u, 6871u, 6883u, 6899u, 6907u, 6911u, 6917u,
149          6947u, 6949u, 6959u, 6961u, 6967u, 6971u, 6977u, 6983u, 6991u,
150          6997u, 7001u, 7013u, 7019u, 7027u, 7039u, 7043u, 7057u, 7069u,
151          7079u, 7103u, 7109u, 7121u, 7127u, 7129u, 7151u, 7159u, 7177u,
152          7187u, 7193u, 7207u, 7211u, 7213u, 7219u, 7229u, 7237u, 7243u,
153          7247u, 7253u, 7283u, 7297u, 7307u, 7309u, 7321u, 7331u, 7333u,
154          7349u, 7351u, 7369u, 7393u, 7411u, 7417u, 7433u, 7451u, 7457u,
155          7459u, 7477u, 7481u, 7487u, 7489u, 7499u, 7507u, 7517u, 7523u,
156          7529u, 7537u, 7541u, 7547u, 7549u, 7559u, 7561u, 7573u, 7577u,
157          7583u, 7589u, 7591u, 7603u, 7607u, 7621u, 7639u, 7643u, 7649u,
158          7669u, 7673u, 7681u, 7687u, 7691u, 7699u, 7703u, 7717u, 7723u,
159          7727u, 7741u, 7753u, 7757u, 7759u, 7789u, 7793u, 7817u, 7823u,
160          7829u, 7841u, 7853u, 7867u, 7873u, 7877u, 7879u, 7883u, 7901u,
161          7907u, 7919u, 7927u, 7933u, 7937u, 7949u, 7951u, 7963u, 7993u,
162          8009u, 8011u, 8017u, 8039u, 8053u, 8059u, 8069u, 8081u, 8087u,
163          8089u, 8093u, 8101u, 8111u, 8117u, 8123u, 8147u, 8161u, 8167u,
164          8171u, 8179u, 8191u, 8209u, 8219u, 8221u, 8231u, 8233u, 8237u,
165          8243u, 8263u, 8269u, 8273u, 8287u, 8291u, 8293u, 8297u, 8311u,
166          8317u, 8329u, 8353u, 8363u, 8369u, 8377u, 8387u, 8389u, 8419u,
167          8423u, 8429u, 8431u, 8443u, 8447u, 8461u, 8467u, 8501u, 8513u,
168          8521u, 8527u, 8537u, 8539u, 8543u, 8563u, 8573u, 8581u, 8597u,
169          8599u, 8609u, 8623u, 8627u, 8629u, 8641u, 8647u, 8663u, 8669u,
170          8677u, 8681u, 8689u, 8693u, 8699u, 8707u, 8713u, 8719u, 8731u,
171          8737u, 8741u, 8747u, 8753u, 8761u, 8779u, 8783u, 8803u, 8807u,
172          8819u, 8821u, 8831u, 8837u, 8839u, 8849u, 8861u, 8863u, 8867u,
173          8887u, 8893u, 8923u, 8929u, 8933u, 8941u, 8951u, 8963u, 8969u,
174          8971u, 8999u, 9001u, 9007u, 9011u, 9013u, 9029u, 9041u, 9043u,
175          9049u, 9059u, 9067u, 9091u, 9103u, 9109u, 9127u, 9133u, 9137u,
176          9151u, 9157u, 9161u, 9173u, 9181u, 9187u, 9199u, 9203u, 9209u,
177          9221u, 9227u, 9239u, 9241u, 9257u, 9277u, 9281u, 9283u, 9293u,
178          9311u, 9319u, 9323u, 9337u, 9341u, 9343u, 9349u, 9371u, 9377u,
179          9391u, 9397u, 9403u, 9413u, 9419u, 9421u, 9431u, 9433u, 9437u,
180          9439u, 9461u, 9463u, 9467u, 9473u, 9479u, 9491u, 9497u, 9511u,
181          9521u, 9533u, 9539u, 9547u, 9551u, 9587u, 9601u, 9613u, 9619u,
182          9623u, 9629u, 9631u, 9643u, 9649u, 9661u, 9677u, 9679u, 9689u,
183          9697u, 9719u, 9721u, 9733u, 9739u, 9743u, 9749u, 9767u, 9769u,
184          9781u, 9787u, 9791u, 9803u, 9811u, 9817u, 9829u, 9833u, 9839u,
185          9851u, 9857u, 9859u, 9871u, 9883u, 9887u, 9901u, 9907u, 9923u,
186          9929u, 9931u, 9941u, 9949u, 9967u, 9973u, 10007u, 10009u, 10037u,
187          10039u, 10061u, 10067u, 10069u, 10079u, 10091u, 10093u, 10099u, 10103u,
188          10111u, 10133u, 10139u, 10141u, 10151u, 10159u, 10163u, 10169u, 10177u,
189          10181u, 10193u, 10211u, 10223u, 10243u, 10247u, 10253u, 10259u, 10267u,
190          10271u, 10273u, 10289u, 10301u, 10303u, 10313u, 10321u, 10331u, 10333u,
191          10337u, 10343u, 10357u, 10369u, 10391u, 10399u, 10427u, 10429u, 10433u,
192          10453u, 10457u, 10459u, 10463u, 10477u, 10487u, 10499u, 10501u, 10513u,
193          10529u, 10531u, 10559u, 10567u, 10589u, 10597u, 10601u, 10607u, 10613u,
194          10627u, 10631u, 10639u, 10651u, 10657u, 10663u, 10667u, 10687u, 10691u,
195          10709u, 10711u, 10723u, 10729u, 10733u, 10739u, 10753u, 10771u, 10781u,
196          10789u, 10799u, 10831u, 10837u, 10847u, 10853u, 10859u, 10861u, 10867u,
197          10883u, 10889u, 10891u, 10903u, 10909u, 10937u, 10939u, 10949u, 10957u,
198          10973u, 10979u, 10987u, 10993u, 11003u, 11027u, 11047u, 11057u, 11059u,
199          11069u, 11071u, 11083u, 11087u, 11093u, 11113u, 11117u, 11119u, 11131u,
200          11149u, 11159u, 11161u, 11171u, 11173u, 11177u, 11197u, 11213u, 11239u,
201          11243u, 11251u, 11257u, 11261u, 11273u, 11279u, 11287u, 11299u, 11311u,
202          11317u, 11321u, 11329u, 11351u, 11353u, 11369u, 11383u, 11393u, 11399u,
203          11411u, 11423u, 11437u, 11443u, 11447u, 11467u, 11471u, 11483u, 11489u,
204          11491u, 11497u, 11503u, 11519u, 11527u, 11549u, 11551u, 11579u, 11587u,
205          11593u, 11597u, 11617u, 11621u, 11633u, 11657u, 11677u, 11681u, 11689u,
206          11699u, 11701u, 11717u, 11719u, 11731u, 11743u, 11777u, 11779u, 11783u,
207          11789u, 11801u, 11807u, 11813u, 11821u, 11827u, 11831u, 11833u, 11839u,
208          11863u, 11867u, 11887u, 11897u, 11903u, 11909u, 11923u, 11927u, 11933u,
209          11939u, 11941u, 11953u, 11959u, 11969u, 11971u, 11981u, 11987u, 12007u,
210          12011u, 12037u, 12041u, 12043u, 12049u, 12071u, 12073u, 12097u, 12101u,
211          12107u, 12109u, 12113u, 12119u, 12143u, 12149u, 12157u, 12161u, 12163u,
212          12197u, 12203u, 12211u, 12227u, 12239u, 12241u, 12251u, 12253u, 12263u,
213          12269u, 12277u, 12281u, 12289u, 12301u, 12323u, 12329u, 12343u, 12347u,
214          12373u, 12377u, 12379u, 12391u, 12401u, 12409u, 12413u, 12421u, 12433u,
215          12437u, 12451u, 12457u, 12473u, 12479u, 12487u, 12491u, 12497u, 12503u,
216          12511u, 12517u, 12527u, 12539u, 12541u, 12547u, 12553u, 12569u, 12577u,
217          12583u, 12589u, 12601u, 12611u, 12613u, 12619u, 12637u, 12641u, 12647u,
218          12653u, 12659u, 12671u, 12689u, 12697u, 12703u, 12713u, 12721u, 12739u,
219          12743u, 12757u, 12763u, 12781u, 12791u, 12799u, 12809u, 12821u, 12823u,
220          12829u, 12841u, 12853u, 12889u, 12893u, 12899u, 12907u, 12911u, 12917u,
221          12919u, 12923u, 12941u, 12953u, 12959u, 12967u, 12973u, 12979u, 12983u,
222          13001u, 13003u, 13007u, 13009u, 13033u, 13037u, 13043u, 13049u, 13063u,
223          13093u, 13099u, 13103u, 13109u, 13121u, 13127u, 13147u, 13151u, 13159u,
224          13163u, 13171u, 13177u, 13183u, 13187u, 13217u, 13219u, 13229u, 13241u,
225          13249u, 13259u, 13267u, 13291u, 13297u, 13309u, 13313u, 13327u, 13331u,
226          13337u, 13339u, 13367u, 13381u, 13397u, 13399u, 13411u, 13417u, 13421u,
227          13441u, 13451u, 13457u, 13463u, 13469u, 13477u, 13487u, 13499u, 13513u,
228          13523u, 13537u, 13553u, 13567u, 13577u, 13591u, 13597u, 13613u, 13619u,
229          13627u, 13633u, 13649u, 13669u, 13679u, 13681u, 13687u, 13691u, 13693u,
230          13697u, 13709u, 13711u, 13721u, 13723u, 13729u, 13751u, 13757u, 13759u,
231          13763u, 13781u, 13789u, 13799u, 13807u, 13829u, 13831u, 13841u, 13859u,
232          13873u, 13877u, 13879u, 13883u, 13901u, 13903u, 13907u, 13913u, 13921u,
233          13931u, 13933u, 13963u, 13967u, 13997u, 13999u, 14009u, 14011u, 14029u,
234          14033u, 14051u, 14057u, 14071u, 14081u, 14083u, 14087u, 14107u, 14143u,
235          14149u, 14153u, 14159u, 14173u, 14177u, 14197u, 14207u, 14221u, 14243u,
236          14249u, 14251u, 14281u, 14293u, 14303u, 14321u, 14323u, 14327u, 14341u,
237          14347u, 14369u, 14387u, 14389u, 14401u, 14407u, 14411u, 14419u, 14423u,
238          14431u, 14437u, 14447u, 14449u, 14461u, 14479u, 14489u, 14503u, 14519u,
239          14533u, 14537u, 14543u, 14549u, 14551u, 14557u, 14561u, 14563u, 14591u,
240          14593u, 14621u, 14627u, 14629u, 14633u, 14639u, 14653u, 14657u, 14669u,
241          14683u, 14699u, 14713u, 14717u, 14723u, 14731u, 14737u, 14741u, 14747u,
242          14753u, 14759u, 14767u, 14771u, 14779u, 14783u, 14797u, 14813u, 14821u,
243          14827u, 14831u, 14843u, 14851u, 14867u, 14869u, 14879u, 14887u, 14891u,
244          14897u, 14923u, 14929u, 14939u, 14947u, 14951u, 14957u, 14969u, 14983u,
245          15013u, 15017u, 15031u, 15053u, 15061u, 15073u, 15077u, 15083u, 15091u,
246          15101u, 15107u, 15121u, 15131u, 15137u, 15139u, 15149u, 15161u, 15173u,
247          15187u, 15193u, 15199u, 15217u, 15227u, 15233u, 15241u, 15259u, 15263u,
248          15269u, 15271u, 15277u, 15287u, 15289u, 15299u, 15307u, 15313u, 15319u,
249          15329u, 15331u, 15349u, 15359u, 15361u, 15373u, 15377u, 15383u, 15391u,
250          15401u, 15413u, 15427u, 15439u, 15443u, 15451u, 15461u, 15467u, 15473u,
251          15493u, 15497u, 15511u, 15527u, 15541u, 15551u, 15559u, 15569u, 15581u,
252          15583u, 15601u, 15607u, 15619u, 15629u, 15641u, 15643u, 15647u, 15649u,
253          15661u, 15667u, 15671u, 15679u, 15683u, 15727u, 15731u, 15733u, 15737u,
254          15739u, 15749u, 15761u, 15767u, 15773u, 15787u, 15791u, 15797u, 15803u,
255          15809u, 15817u, 15823u, 15859u, 15877u, 15881u, 15887u, 15889u, 15901u,
256          15907u, 15913u, 15919u, 15923u, 15937u, 15959u, 15971u, 15973u, 15991u,
257          16001u, 16007u, 16033u, 16057u, 16061u, 16063u, 16067u, 16069u, 16073u,
258          16087u, 16091u, 16097u, 16103u, 16111u, 16127u, 16139u, 16141u, 16183u,
259          16187u, 16189u, 16193u, 16217u, 16223u, 16229u, 16231u, 16249u, 16253u,
260          16267u, 16273u, 16301u, 16319u, 16333u, 16339u, 16349u, 16361u, 16363u,
261          16369u, 16381u, 16411u, 16417u, 16421u, 16427u, 16433u, 16447u, 16451u,
262          16453u, 16477u, 16481u, 16487u, 16493u, 16519u, 16529u, 16547u, 16553u,
263          16561u, 16567u, 16573u, 16603u, 16607u, 16619u, 16631u, 16633u, 16649u,
264          16651u, 16657u, 16661u, 16673u, 16691u, 16693u, 16699u, 16703u, 16729u,
265          16741u, 16747u, 16759u, 16763u, 16787u, 16811u, 16823u, 16829u, 16831u,
266          16843u, 16871u, 16879u, 16883u, 16889u, 16901u, 16903u, 16921u, 16927u,
267          16931u, 16937u, 16943u, 16963u, 16979u, 16981u, 16987u, 16993u, 17011u,
268          17021u, 17027u, 17029u, 17033u, 17041u, 17047u, 17053u, 17077u, 17093u,
269          17099u, 17107u, 17117u, 17123u, 17137u, 17159u, 17167u, 17183u, 17189u,
270          17191u, 17203u, 17207u, 17209u, 17231u, 17239u, 17257u, 17291u, 17293u,
271          17299u, 17317u, 17321u, 17327u, 17333u, 17341u, 17351u, 17359u, 17377u,
272          17383u, 17387u, 17389u, 17393u, 17401u, 17417u, 17419u, 17431u, 17443u,
273          17449u, 17467u, 17471u, 17477u, 17483u, 17489u, 17491u, 17497u, 17509u,
274          17519u, 17539u, 17551u, 17569u, 17573u, 17579u, 17581u, 17597u, 17599u,
275          17609u, 17623u, 17627u, 17657u, 17659u, 17669u, 17681u, 17683u, 17707u,
276          17713u, 17729u, 17737u, 17747u, 17749u, 17761u, 17783u, 17789u, 17791u,
277          17807u, 17827u, 17837u, 17839u, 17851u, 17863u, 17881u, 17891u, 17903u,
278          17909u, 17911u, 17921u, 17923u, 17929u, 17939u, 17957u, 17959u, 17971u,
279          17977u, 17981u, 17987u, 17989u, 18013u, 18041u, 18043u, 18047u, 18049u,
280          18059u, 18061u, 18077u, 18089u, 18097u, 18119u, 18121u, 18127u, 18131u,
281          18133u, 18143u, 18149u, 18169u, 18181u, 18191u, 18199u, 18211u, 18217u,
282          18223u, 18229u, 18233u, 18251u, 18253u, 18257u, 18269u, 18287u, 18289u,
283          18301u, 18307u, 18311u, 18313u, 18329u, 18341u, 18353u, 18367u, 18371u,
284          18379u, 18397u, 18401u, 18413u, 18427u, 18433u, 18439u, 18443u, 18451u,
285          18457u, 18461u, 18481u, 18493u, 18503u, 18517u, 18521u, 18523u, 18539u,
286          18541u, 18553u, 18583u, 18587u, 18593u, 18617u, 18637u, 18661u, 18671u,
287          18679u, 18691u, 18701u, 18713u, 18719u, 18731u, 18743u, 18749u, 18757u,
288          18773u, 18787u, 18793u, 18797u, 18803u, 18839u, 18859u, 18869u, 18899u,
289          18911u, 18913u, 18917u, 18919u, 18947u, 18959u, 18973u, 18979u, 19001u,
290          19009u, 19013u, 19031u, 19037u, 19051u, 19069u, 19073u, 19079u, 19081u,
291          19087u, 19121u, 19139u, 19141u, 19157u, 19163u, 19181u, 19183u, 19207u,
292          19211u, 19213u, 19219u, 19231u, 19237u, 19249u, 19259u, 19267u, 19273u,
293          19289u, 19301u, 19309u, 19319u, 19333u, 19373u, 19379u, 19381u, 19387u,
294          19391u, 19403u, 19417u, 19421u, 19423u, 19427u, 19429u, 19433u, 19441u,
295          19447u, 19457u, 19463u, 19469u, 19471u, 19477u, 19483u, 19489u, 19501u,
296          19507u, 19531u, 19541u, 19543u, 19553u, 19559u, 19571u, 19577u, 19583u,
297          19597u, 19603u, 19609u, 19661u, 19681u, 19687u, 19697u, 19699u, 19709u,
298          19717u, 19727u, 19739u, 19751u, 19753u, 19759u, 19763u, 19777u, 19793u,
299          19801u, 19813u, 19819u, 19841u, 19843u, 19853u, 19861u, 19867u, 19889u,
300          19891u, 19913u, 19919u, 19927u, 19937u, 19949u, 19961u, 19963u, 19973u,
301          19979u, 19991u, 19993u, 19997u, 20011u, 20021u, 20023u, 20029u, 20047u,
302          20051u, 20063u, 20071u, 20089u, 20101u, 20107u, 20113u, 20117u, 20123u,
303          20129u, 20143u, 20147u, 20149u, 20161u, 20173u, 20177u, 20183u, 20201u,
304          20219u, 20231u, 20233u, 20249u, 20261u, 20269u, 20287u, 20297u, 20323u,
305          20327u, 20333u, 20341u, 20347u, 20353u, 20357u, 20359u, 20369u, 20389u,
306          20393u, 20399u, 20407u, 20411u, 20431u, 20441u, 20443u, 20477u, 20479u,
307          20483u, 20507u, 20509u, 20521u, 20533u, 20543u, 20549u, 20551u, 20563u,
308          20593u, 20599u, 20611u, 20627u, 20639u, 20641u, 20663u, 20681u, 20693u,
309          20707u, 20717u, 20719u, 20731u, 20743u, 20747u, 20749u, 20753u, 20759u,
310          20771u, 20773u, 20789u, 20807u, 20809u, 20849u, 20857u, 20873u, 20879u,
311          20887u, 20897u, 20899u, 20903u, 20921u, 20929u, 20939u, 20947u, 20959u,
312          20963u, 20981u, 20983u, 21001u, 21011u, 21013u, 21017u, 21019u, 21023u,
313          21031u, 21059u, 21061u, 21067u, 21089u, 21101u, 21107u, 21121u, 21139u,
314          21143u, 21149u, 21157u, 21163u, 21169u, 21179u, 21187u, 21191u, 21193u,
315          21211u, 21221u, 21227u, 21247u, 21269u, 21277u, 21283u, 21313u, 21317u,
316          21319u, 21323u, 21341u, 21347u, 21377u, 21379u, 21383u, 21391u, 21397u,
317          21401u, 21407u, 21419u, 21433u, 21467u, 21481u, 21487u, 21491u, 21493u,
318          21499u, 21503u, 21517u, 21521u, 21523u, 21529u, 21557u, 21559u, 21563u,
319          21569u, 21577u, 21587u, 21589u, 21599u, 21601u, 21611u, 21613u, 21617u,
320          21647u, 21649u, 21661u, 21673u, 21683u, 21701u, 21713u, 21727u, 21737u,
321          21739u, 21751u, 21757u, 21767u, 21773u, 21787u, 21799u, 21803u, 21817u,
322          21821u, 21839u, 21841u, 21851u, 21859u, 21863u, 21871u, 21881u, 21893u,
323          21911u, 21929u, 21937u, 21943u, 21961u, 21977u, 21991u, 21997u, 22003u,
324          22013u, 22027u, 22031u, 22037u, 22039u, 22051u, 22063u, 22067u, 22073u,
325          22079u, 22091u, 22093u, 22109u, 22111u, 22123u, 22129u, 22133u, 22147u,
326          22153u, 22157u, 22159u, 22171u, 22189u, 22193u, 22229u, 22247u, 22259u,
327          22271u, 22273u, 22277u, 22279u, 22283u, 22291u, 22303u, 22307u, 22343u,
328          22349u, 22367u, 22369u, 22381u, 22391u, 22397u, 22409u, 22433u, 22441u,
329          22447u, 22453u, 22469u, 22481u, 22483u, 22501u, 22511u, 22531u, 22541u,
330          22543u, 22549u, 22567u, 22571u, 22573u, 22613u, 22619u, 22621u, 22637u,
331          22639u, 22643u, 22651u, 22669u, 22679u, 22691u, 22697u, 22699u, 22709u,
332          22717u, 22721u, 22727u, 22739u, 22741u, 22751u, 22769u, 22777u, 22783u,
333          22787u, 22807u, 22811u, 22817u, 22853u, 22859u, 22861u, 22871u, 22877u,
334          22901u, 22907u, 22921u, 22937u, 22943u, 22961u, 22963u, 22973u, 22993u,
335          23003u, 23011u, 23017u, 23021u, 23027u, 23029u, 23039u, 23041u, 23053u,
336          23057u, 23059u, 23063u, 23071u, 23081u, 23087u, 23099u, 23117u, 23131u,
337          23143u, 23159u, 23167u, 23173u, 23189u, 23197u, 23201u, 23203u, 23209u,
338          23227u, 23251u, 23269u, 23279u, 23291u, 23293u, 23297u, 23311u, 23321u,
339          23327u, 23333u, 23339u, 23357u, 23369u, 23371u, 23399u, 23417u, 23431u,
340          23447u, 23459u, 23473u, 23497u, 23509u, 23531u, 23537u, 23539u, 23549u,
341          23557u, 23561u, 23563u, 23567u, 23581u, 23593u, 23599u, 23603u, 23609u,
342          23623u, 23627u, 23629u, 23633u, 23663u, 23669u, 23671u, 23677u, 23687u,
343          23689u, 23719u, 23741u, 23743u, 23747u, 23753u, 23761u, 23767u, 23773u,
344          23789u, 23801u, 23813u, 23819u, 23827u, 23831u, 23833u, 23857u, 23869u,
345          23873u, 23879u, 23887u, 23893u, 23899u, 23909u, 23911u, 23917u, 23929u,
346          23957u, 23971u, 23977u, 23981u, 23993u, 24001u, 24007u, 24019u, 24023u,
347          24029u, 24043u, 24049u, 24061u, 24071u, 24077u, 24083u, 24091u, 24097u,
348          24103u, 24107u, 24109u, 24113u, 24121u, 24133u, 24137u, 24151u, 24169u,
349          24179u, 24181u, 24197u, 24203u, 24223u, 24229u, 24239u, 24247u, 24251u,
350          24281u, 24317u, 24329u, 24337u, 24359u, 24371u, 24373u, 24379u, 24391u,
351          24407u, 24413u, 24419u, 24421u, 24439u, 24443u, 24469u, 24473u, 24481u,
352          24499u, 24509u, 24517u, 24527u, 24533u, 24547u, 24551u, 24571u, 24593u,
353          24611u, 24623u, 24631u, 24659u, 24671u, 24677u, 24683u, 24691u, 24697u,
354          24709u, 24733u, 24749u, 24763u, 24767u, 24781u, 24793u, 24799u, 24809u,
355          24821u, 24841u, 24847u, 24851u, 24859u, 24877u, 24889u, 24907u, 24917u,
356          24919u, 24923u, 24943u, 24953u, 24967u, 24971u, 24977u, 24979u, 24989u,
357          25013u, 25031u, 25033u, 25037u, 25057u, 25073u, 25087u, 25097u, 25111u,
358          25117u, 25121u, 25127u, 25147u, 25153u, 25163u, 25169u, 25171u, 25183u,
359          25189u, 25219u, 25229u, 25237u, 25243u, 25247u, 25253u, 25261u, 25301u,
360          25303u, 25307u, 25309u, 25321u, 25339u, 25343u, 25349u, 25357u, 25367u,
361          25373u, 25391u, 25409u, 25411u, 25423u, 25439u, 25447u, 25453u, 25457u,
362          25463u, 25469u, 25471u, 25523u, 25537u, 25541u, 25561u, 25577u, 25579u,
363          25583u, 25589u, 25601u, 25603u, 25609u, 25621u, 25633u, 25639u, 25643u,
364          25657u, 25667u, 25673u, 25679u, 25693u, 25703u, 25717u, 25733u, 25741u,
365          25747u, 25759u, 25763u, 25771u, 25793u, 25799u, 25801u, 25819u, 25841u,
366          25847u, 25849u, 25867u, 25873u, 25889u, 25903u, 25913u, 25919u, 25931u,
367          25933u, 25939u, 25943u, 25951u, 25969u, 25981u, 25997u, 25999u, 26003u,
368          26017u, 26021u, 26029u, 26041u, 26053u, 26083u, 26099u, 26107u, 26111u,
369          26113u, 26119u, 26141u, 26153u, 26161u, 26171u, 26177u, 26183u, 26189u,
370          26203u, 26209u, 26227u, 26237u, 26249u, 26251u, 26261u, 26263u, 26267u,
371          26293u, 26297u, 26309u, 26317u, 26321u, 26339u, 26347u, 26357u, 26371u,
372          26387u, 26393u, 26399u, 26407u, 26417u, 26423u, 26431u, 26437u, 26449u,
373          26459u, 26479u, 26489u, 26497u, 26501u, 26513u, 26539u, 26557u, 26561u,
374          26573u, 26591u, 26597u, 26627u, 26633u, 26641u, 26647u, 26669u, 26681u,
375          26683u, 26687u, 26693u, 26699u, 26701u, 26711u, 26713u, 26717u, 26723u,
376          26729u, 26731u, 26737u, 26759u, 26777u, 26783u, 26801u, 26813u, 26821u,
377          26833u, 26839u, 26849u, 26861u, 26863u, 26879u, 26881u, 26891u, 26893u,
378          26903u, 26921u, 26927u, 26947u, 26951u, 26953u, 26959u, 26981u, 26987u,
379          26993u, 27011u, 27017u, 27031u, 27043u, 27059u, 27061u, 27067u, 27073u,
380          27077u, 27091u, 27103u, 27107u, 27109u, 27127u, 27143u, 27179u, 27191u,
381          27197u, 27211u, 27239u, 27241u, 27253u, 27259u, 27271u, 27277u, 27281u,
382          27283u, 27299u, 27329u, 27337u, 27361u, 27367u, 27397u, 27407u, 27409u,
383          27427u, 27431u, 27437u, 27449u, 27457u, 27479u, 27481u, 27487u, 27509u,
384          27527u, 27529u, 27539u, 27541u, 27551u, 27581u, 27583u, 27611u, 27617u,
385          27631u, 27647u, 27653u, 27673u, 27689u, 27691u, 27697u, 27701u, 27733u,
386          27737u, 27739u, 27743u, 27749u, 27751u, 27763u, 27767u, 27773u, 27779u,
387          27791u, 27793u, 27799u, 27803u, 27809u, 27817u, 27823u, 27827u, 27847u,
388          27851u, 27883u, 27893u, 27901u, 27917u, 27919u, 27941u, 27943u, 27947u,
389          27953u, 27961u, 27967u, 27983u, 27997u, 28001u, 28019u, 28027u, 28031u,
390          28051u, 28057u, 28069u, 28081u, 28087u, 28097u, 28099u, 28109u, 28111u,
391          28123u, 28151u, 28163u, 28181u, 28183u, 28201u, 28211u, 28219u, 28229u,
392          28277u, 28279u, 28283u, 28289u, 28297u, 28307u, 28309u, 28319u, 28349u,
393          28351u, 28387u, 28393u, 28403u, 28409u, 28411u, 28429u, 28433u, 28439u,
394          28447u, 28463u, 28477u, 28493u, 28499u, 28513u, 28517u, 28537u, 28541u,
395          28547u, 28549u, 28559u, 28571u, 28573u, 28579u, 28591u, 28597u, 28603u,
396          28607u, 28619u, 28621u, 28627u, 28631u, 28643u, 28649u, 28657u, 28661u,
397          28663u, 28669u, 28687u, 28697u, 28703u, 28711u, 28723u, 28729u, 28751u,
398          28753u, 28759u, 28771u, 28789u, 28793u, 28807u, 28813u, 28817u, 28837u,
399          28843u, 28859u, 28867u, 28871u, 28879u, 28901u, 28909u, 28921u, 28927u,
400          28933u, 28949u, 28961u, 28979u, 29009u, 29017u, 29021u, 29023u, 29027u,
401          29033u, 29059u, 29063u, 29077u, 29101u, 29123u, 29129u, 29131u, 29137u,
402          29147u, 29153u, 29167u, 29173u, 29179u, 29191u, 29201u, 29207u, 29209u,
403          29221u, 29231u, 29243u, 29251u, 29269u, 29287u, 29297u, 29303u, 29311u,
404          29327u, 29333u, 29339u, 29347u, 29363u, 29383u, 29387u, 29389u, 29399u,
405          29401u, 29411u, 29423u, 29429u, 29437u, 29443u, 29453u, 29473u, 29483u,
406          29501u, 29527u, 29531u, 29537u, 29567u, 29569u, 29573u, 29581u, 29587u,
407          29599u, 29611u, 29629u, 29633u, 29641u, 29663u, 29669u, 29671u, 29683u,
408          29717u, 29723u, 29741u, 29753u, 29759u, 29761u, 29789u, 29803u, 29819u,
409          29833u, 29837u, 29851u, 29863u, 29867u, 29873u, 29879u, 29881u, 29917u,
410          29921u, 29927u, 29947u, 29959u, 29983u, 29989u, 30011u, 30013u, 30029u,
411          30047u, 30059u, 30071u, 30089u, 30091u, 30097u, 30103u, 30109u, 30113u,
412          30119u, 30133u, 30137u, 30139u, 30161u, 30169u, 30181u, 30187u, 30197u,
413          30203u, 30211u, 30223u, 30241u, 30253u, 30259u, 30269u, 30271u, 30293u,
414          30307u, 30313u, 30319u, 30323u, 30341u, 30347u, 30367u, 30389u, 30391u,
415          30403u, 30427u, 30431u, 30449u, 30467u, 30469u, 30491u, 30493u, 30497u,
416          30509u, 30517u, 30529u, 30539u, 30553u, 30557u, 30559u, 30577u, 30593u,
417          30631u, 30637u, 30643u, 30649u, 30661u, 30671u, 30677u, 30689u, 30697u,
418          30703u, 30707u, 30713u, 30727u, 30757u, 30763u, 30773u, 30781u, 30803u,
419          30809u, 30817u, 30829u, 30839u, 30841u, 30851u, 30853u, 30859u, 30869u,
420          30871u, 30881u, 30893u, 30911u, 30931u, 30937u, 30941u, 30949u, 30971u,
421          30977u, 30983u, 31013u, 31019u, 31033u, 31039u, 31051u, 31063u, 31069u,
422          31079u, 31081u, 31091u, 31121u, 31123u, 31139u, 31147u, 31151u, 31153u,
423          31159u, 31177u, 31181u, 31183u, 31189u, 31193u, 31219u, 31223u, 31231u,
424          31237u, 31247u, 31249u, 31253u, 31259u, 31267u, 31271u, 31277u, 31307u,
425          31319u, 31321u, 31327u, 31333u, 31337u, 31357u, 31379u, 31387u, 31391u,
426          31393u, 31397u, 31469u, 31477u, 31481u, 31489u, 31511u, 31513u, 31517u,
427          31531u, 31541u, 31543u, 31547u, 31567u, 31573u, 31583u, 31601u, 31607u,
428          31627u, 31643u, 31649u, 31657u, 31663u, 31667u, 31687u, 31699u, 31721u,
429          31723u, 31727u, 31729u, 31741u, 31751u, 31769u, 31771u, 31793u, 31799u,
430          31817u, 31847u, 31849u, 31859u, 31873u, 31883u, 31891u, 31907u, 31957u,
431          31963u, 31973u, 31981u, 31991u, 32003u, 32009u, 32027u, 32029u, 32051u,
432          32057u, 32059u, 32063u, 32069u, 32077u, 32083u, 32089u, 32099u, 32117u,
433          32119u, 32141u, 32143u, 32159u, 32173u, 32183u, 32189u, 32191u, 32203u,
434          32213u, 32233u, 32237u, 32251u, 32257u, 32261u, 32297u, 32299u, 32303u,
435          32309u, 32321u, 32323u, 32327u, 32341u, 32353u, 32359u, 32363u, 32369u,
436          32371u, 32377u, 32381u, 32401u, 32411u, 32413u, 32423u, 32429u, 32441u,
437          32443u, 32467u, 32479u, 32491u, 32497u, 32503u, 32507u, 32531u, 32533u,
438          32537u, 32561u, 32563u, 32569u, 32573u, 32579u, 32587u, 32603u, 32609u,
439          32611u, 32621u, 32633u, 32647u, 32653u, 32687u, 32693u, 32707u, 32713u,
440          32717u, 32719u, 32749u, 32771u, 32779u, 32783u, 32789u, 32797u, 32801u,
441          32803u, 32831u, 32833u, 32839u, 32843u, 32869u, 32887u, 32909u, 32911u,
442          32917u, 32933u, 32939u, 32941u, 32957u, 32969u, 32971u, 32983u, 32987u,
443          32993u, 32999u, 33013u, 33023u, 33029u, 33037u, 33049u, 33053u, 33071u,
444          33073u, 33083u, 33091u, 33107u, 33113u, 33119u, 33149u, 33151u, 33161u,
445          33179u, 33181u, 33191u, 33199u, 33203u, 33211u, 33223u, 33247u, 33287u,
446          33289u, 33301u, 33311u, 33317u, 33329u, 33331u, 33343u, 33347u, 33349u,
447          33353u, 33359u, 33377u, 33391u, 33403u, 33409u, 33413u, 33427u, 33457u,
448          33461u, 33469u, 33479u, 33487u, 33493u, 33503u, 33521u, 33529u, 33533u,
449          33547u, 33563u, 33569u, 33577u, 33581u, 33587u, 33589u, 33599u, 33601u,
450          33613u, 33617u, 33619u, 33623u, 33629u, 33637u, 33641u, 33647u, 33679u,
451          33703u, 33713u, 33721u, 33739u, 33749u, 33751u, 33757u, 33767u, 33769u,
452          33773u, 33791u, 33797u, 33809u, 33811u, 33827u, 33829u, 33851u, 33857u,
453          33863u, 33871u, 33889u, 33893u, 33911u, 33923u, 33931u, 33937u, 33941u,
454          33961u, 33967u, 33997u, 34019u, 34031u, 34033u, 34039u, 34057u, 34061u,
455          34123u, 34127u, 34129u, 34141u, 34147u, 34157u, 34159u, 34171u, 34183u,
456          34211u, 34213u, 34217u, 34231u, 34253u, 34259u, 34261u, 34267u, 34273u,
457          34283u, 34297u, 34301u, 34303u, 34313u, 34319u, 34327u, 34337u, 34351u,
458          34361u, 34367u, 34369u, 34381u, 34403u, 34421u, 34429u, 34439u, 34457u,
459          34469u, 34471u, 34483u, 34487u, 34499u, 34501u, 34511u, 34513u, 34519u,
460          34537u, 34543u, 34549u, 34583u, 34589u, 34591u, 34603u, 34607u, 34613u,
461          34631u, 34649u, 34651u, 34667u, 34673u, 34679u, 34687u, 34693u, 34703u,
462          34721u, 34729u, 34739u, 34747u, 34757u, 34759u, 34763u, 34781u, 34807u,
463          34819u, 34841u, 34843u, 34847u, 34849u, 34871u, 34877u, 34883u, 34897u,
464          34913u, 34919u, 34939u, 34949u, 34961u, 34963u, 34981u, 35023u, 35027u,
465          35051u, 35053u, 35059u, 35069u, 35081u, 35083u, 35089u, 35099u, 35107u,
466          35111u, 35117u, 35129u, 35141u, 35149u, 35153u, 35159u, 35171u, 35201u,
467          35221u, 35227u, 35251u, 35257u, 35267u, 35279u, 35281u, 35291u, 35311u,
468          35317u, 35323u, 35327u, 35339u, 35353u, 35363u, 35381u, 35393u, 35401u,
469          35407u, 35419u, 35423u, 35437u, 35447u, 35449u, 35461u, 35491u, 35507u,
470          35509u, 35521u, 35527u, 35531u, 35533u, 35537u, 35543u, 35569u, 35573u,
471          35591u, 35593u, 35597u, 35603u, 35617u, 35671u, 35677u, 35729u, 35731u,
472          35747u, 35753u, 35759u, 35771u, 35797u, 35801u, 35803u, 35809u, 35831u,
473          35837u, 35839u, 35851u, 35863u, 35869u, 35879u, 35897u, 35899u, 35911u,
474          35923u, 35933u, 35951u, 35963u, 35969u, 35977u, 35983u, 35993u, 35999u,
475          36007u, 36011u, 36013u, 36017u, 36037u, 36061u, 36067u, 36073u, 36083u,
476          36097u, 36107u, 36109u, 36131u, 36137u, 36151u, 36161u, 36187u, 36191u,
477          36209u, 36217u, 36229u, 36241u, 36251u, 36263u, 36269u, 36277u, 36293u,
478          36299u, 36307u, 36313u, 36319u, 36341u, 36343u, 36353u, 36373u, 36383u,
479          36389u, 36433u, 36451u, 36457u, 36467u, 36469u, 36473u, 36479u, 36493u,
480          36497u, 36523u, 36527u, 36529u, 36541u, 36551u, 36559u, 36563u, 36571u,
481          36583u, 36587u, 36599u, 36607u, 36629u, 36637u, 36643u, 36653u, 36671u,
482          36677u, 36683u, 36691u, 36697u, 36709u, 36713u, 36721u, 36739u, 36749u,
483          36761u, 36767u, 36779u, 36781u, 36787u, 36791u, 36793u, 36809u, 36821u,
484          36833u, 36847u, 36857u, 36871u, 36877u, 36887u, 36899u, 36901u, 36913u,
485          36919u, 36923u, 36929u, 36931u, 36943u, 36947u, 36973u, 36979u, 36997u,
486          37003u, 37013u, 37019u, 37021u, 37039u, 37049u, 37057u, 37061u, 37087u,
487          37097u, 37117u, 37123u, 37139u, 37159u, 37171u, 37181u, 37189u, 37199u,
488          37201u, 37217u, 37223u, 37243u, 37253u, 37273u, 37277u, 37307u, 37309u,
489          37313u, 37321u, 37337u, 37339u, 37357u, 37361u, 37363u, 37369u, 37379u,
490          37397u, 37409u, 37423u, 37441u, 37447u, 37463u, 37483u, 37489u, 37493u,
491          37501u, 37507u, 37511u, 37517u, 37529u, 37537u, 37547u, 37549u, 37561u,
492          37567u, 37571u, 37573u, 37579u, 37589u, 37591u, 37607u, 37619u, 37633u,
493          37643u, 37649u, 37657u, 37663u, 37691u, 37693u, 37699u, 37717u, 37747u,
494          37781u, 37783u, 37799u, 37811u, 37813u, 37831u, 37847u, 37853u, 37861u,
495          37871u, 37879u, 37889u, 37897u, 37907u, 37951u, 37957u, 37963u, 37967u,
496          37987u, 37991u, 37993u, 37997u, 38011u, 38039u, 38047u, 38053u, 38069u,
497          38083u, 38113u, 38119u, 38149u, 38153u, 38167u, 38177u, 38183u, 38189u,
498          38197u, 38201u, 38219u, 38231u, 38237u, 38239u, 38261u, 38273u, 38281u,
499          38287u, 38299u, 38303u, 38317u, 38321u, 38327u, 38329u, 38333u, 38351u,
500          38371u, 38377u, 38393u, 38431u, 38447u, 38449u, 38453u, 38459u, 38461u,
501          38501u, 38543u, 38557u, 38561u, 38567u, 38569u, 38593u, 38603u, 38609u,
502          38611u, 38629u, 38639u, 38651u, 38653u, 38669u, 38671u, 38677u, 38693u,
503          38699u, 38707u, 38711u, 38713u, 38723u, 38729u, 38737u, 38747u, 38749u,
504          38767u, 38783u, 38791u, 38803u, 38821u, 38833u, 38839u, 38851u, 38861u,
505          38867u, 38873u, 38891u, 38903u, 38917u, 38921u, 38923u, 38933u, 38953u,
506          38959u, 38971u, 38977u, 38993u, 39019u, 39023u, 39041u, 39043u, 39047u,
507          39079u, 39089u, 39097u, 39103u, 39107u, 39113u, 39119u, 39133u, 39139u,
508          39157u, 39161u, 39163u, 39181u, 39191u, 39199u, 39209u, 39217u, 39227u,
509          39229u, 39233u, 39239u, 39241u, 39251u, 39293u, 39301u, 39313u, 39317u,
510          39323u, 39341u, 39343u, 39359u, 39367u, 39371u, 39373u, 39383u, 39397u,
511          39409u, 39419u, 39439u, 39443u, 39451u, 39461u, 39499u, 39503u, 39509u,
512          39511u, 39521u, 39541u, 39551u, 39563u, 39569u, 39581u, 39607u, 39619u,
513          39623u, 39631u, 39659u, 39667u, 39671u, 39679u, 39703u, 39709u, 39719u,
514          39727u, 39733u, 39749u, 39761u, 39769u, 39779u, 39791u, 39799u, 39821u,
515          39827u, 39829u, 39839u, 39841u, 39847u, 39857u, 39863u, 39869u, 39877u,
516          39883u, 39887u, 39901u, 39929u, 39937u, 39953u, 39971u, 39979u, 39983u,
517          39989u, 40009u, 40013u, 40031u, 40037u, 40039u, 40063u, 40087u, 40093u,
518          40099u, 40111u, 40123u, 40127u, 40129u, 40151u, 40153u, 40163u, 40169u,
519          40177u, 40189u, 40193u, 40213u, 40231u, 40237u, 40241u, 40253u, 40277u,
520          40283u, 40289u, 40343u, 40351u, 40357u, 40361u, 40387u, 40423u, 40427u,
521          40429u, 40433u, 40459u, 40471u, 40483u, 40487u, 40493u, 40499u, 40507u,
522          40519u, 40529u, 40531u, 40543u, 40559u, 40577u, 40583u, 40591u, 40597u,
523          40609u, 40627u, 40637u, 40639u, 40693u, 40697u, 40699u, 40709u, 40739u,
524          40751u, 40759u, 40763u, 40771u, 40787u, 40801u, 40813u, 40819u, 40823u,
525          40829u, 40841u, 40847u, 40849u, 40853u, 40867u, 40879u, 40883u, 40897u,
526          40903u, 40927u, 40933u, 40939u, 40949u, 40961u, 40973u, 40993u, 41011u,
527          41017u, 41023u, 41039u, 41047u, 41051u, 41057u, 41077u, 41081u, 41113u,
528          41117u, 41131u, 41141u, 41143u, 41149u, 41161u, 41177u, 41179u, 41183u,
529          41189u, 41201u, 41203u, 41213u, 41221u, 41227u, 41231u, 41233u, 41243u,
530          41257u, 41263u, 41269u, 41281u, 41299u, 41333u, 41341u, 41351u, 41357u,
531          41381u, 41387u, 41389u, 41399u, 41411u, 41413u, 41443u, 41453u, 41467u,
532          41479u, 41491u, 41507u, 41513u, 41519u, 41521u, 41539u, 41543u, 41549u,
533          41579u, 41593u, 41597u, 41603u, 41609u, 41611u, 41617u, 41621u, 41627u,
534          41641u, 41647u, 41651u, 41659u, 41669u, 41681u, 41687u, 41719u, 41729u,
535          41737u, 41759u, 41761u, 41771u, 41777u, 41801u, 41809u, 41813u, 41843u,
536          41849u, 41851u, 41863u, 41879u, 41887u, 41893u, 41897u, 41903u, 41911u,
537          41927u, 41941u, 41947u, 41953u, 41957u, 41959u, 41969u, 41981u, 41983u,
538          41999u, 42013u, 42017u, 42019u, 42023u, 42043u, 42061u, 42071u, 42073u,
539          42083u, 42089u, 42101u, 42131u, 42139u, 42157u, 42169u, 42179u, 42181u,
540          42187u, 42193u, 42197u, 42209u, 42221u, 42223u, 42227u, 42239u, 42257u,
541          42281u, 42283u, 42293u, 42299u, 42307u, 42323u, 42331u, 42337u, 42349u,
542          42359u, 42373u, 42379u, 42391u, 42397u, 42403u, 42407u, 42409u, 42433u,
543          42437u, 42443u, 42451u, 42457u, 42461u, 42463u, 42467u, 42473u, 42487u,
544          42491u, 42499u, 42509u, 42533u, 42557u, 42569u, 42571u, 42577u, 42589u,
545          42611u, 42641u, 42643u, 42649u, 42667u, 42677u, 42683u, 42689u, 42697u,
546          42701u, 42703u, 42709u, 42719u, 42727u, 42737u, 42743u, 42751u, 42767u,
547          42773u, 42787u, 42793u, 42797u, 42821u, 42829u, 42839u, 42841u, 42853u,
548          42859u, 42863u, 42899u, 42901u, 42923u, 42929u, 42937u, 42943u, 42953u,
549          42961u, 42967u, 42979u, 42989u, 43003u, 43013u, 43019u, 43037u, 43049u,
550          43051u, 43063u, 43067u, 43093u, 43103u, 43117u, 43133u, 43151u, 43159u,
551          43177u, 43189u, 43201u, 43207u, 43223u, 43237u, 43261u, 43271u, 43283u,
552          43291u, 43313u, 43319u, 43321u, 43331u, 43391u, 43397u, 43399u, 43403u,
553          43411u, 43427u, 43441u, 43451u, 43457u, 43481u, 43487u, 43499u, 43517u,
554          43541u, 43543u, 43573u, 43577u, 43579u, 43591u, 43597u, 43607u, 43609u,
555          43613u, 43627u, 43633u, 43649u, 43651u, 43661u, 43669u, 43691u, 43711u,
556          43717u, 43721u, 43753u, 43759u, 43777u, 43781u, 43783u, 43787u, 43789u,
557          43793u, 43801u, 43853u, 43867u, 43889u, 43891u, 43913u, 43933u, 43943u,
558          43951u, 43961u, 43963u, 43969u, 43973u, 43987u, 43991u, 43997u, 44017u,
559          44021u, 44027u, 44029u, 44041u, 44053u, 44059u, 44071u, 44087u, 44089u,
560          44101u, 44111u, 44119u, 44123u, 44129u, 44131u, 44159u, 44171u, 44179u,
561          44189u, 44201u, 44203u, 44207u, 44221u, 44249u, 44257u, 44263u, 44267u,
562          44269u, 44273u, 44279u, 44281u, 44293u, 44351u, 44357u, 44371u, 44381u,
563          44383u, 44389u, 44417u, 44449u, 44453u, 44483u, 44491u, 44497u, 44501u,
564          44507u, 44519u, 44531u, 44533u, 44537u, 44543u, 44549u, 44563u, 44579u,
565          44587u, 44617u, 44621u, 44623u, 44633u, 44641u, 44647u, 44651u, 44657u,
566          44683u, 44687u, 44699u, 44701u, 44711u, 44729u, 44741u, 44753u, 44771u,
567          44773u, 44777u, 44789u, 44797u, 44809u, 44819u, 44839u, 44843u, 44851u,
568          44867u, 44879u, 44887u, 44893u, 44909u, 44917u, 44927u, 44939u, 44953u,
569          44959u, 44963u, 44971u, 44983u, 44987u, 45007u, 45013u, 45053u, 45061u,
570          45077u, 45083u, 45119u, 45121u, 45127u, 45131u, 45137u, 45139u, 45161u,
571          45179u, 45181u, 45191u, 45197u, 45233u, 45247u, 45259u, 45263u, 45281u,
572          45289u, 45293u, 45307u, 45317u, 45319u, 45329u, 45337u, 45341u, 45343u,
573          45361u, 45377u, 45389u, 45403u, 45413u, 45427u, 45433u, 45439u, 45481u,
574          45491u, 45497u, 45503u, 45523u, 45533u, 45541u, 45553u, 45557u, 45569u,
575          45587u, 45589u, 45599u, 45613u, 45631u, 45641u, 45659u, 45667u, 45673u,
576          45677u, 45691u, 45697u, 45707u, 45737u, 45751u, 45757u, 45763u, 45767u,
577          45779u, 45817u, 45821u, 45823u, 45827u, 45833u, 45841u, 45853u, 45863u,
578          45869u, 45887u, 45893u, 45943u, 45949u, 45953u, 45959u, 45971u, 45979u,
579          45989u, 46021u, 46027u, 46049u, 46051u, 46061u, 46073u, 46091u, 46093u,
580          46099u, 46103u, 46133u, 46141u, 46147u, 46153u, 46171u, 46181u, 46183u,
581          46187u, 46199u, 46219u, 46229u, 46237u, 46261u, 46271u, 46273u, 46279u,
582          46301u, 46307u, 46309u, 46327u, 46337u, 46349u, 46351u, 46381u, 46399u,
583          46411u, 46439u, 46441u, 46447u, 46451u, 46457u, 46471u, 46477u, 46489u,
584          46499u, 46507u, 46511u, 46523u, 46549u, 46559u, 46567u, 46573u, 46589u,
585          46591u, 46601u, 46619u, 46633u, 46639u, 46643u, 46649u, 46663u, 46679u,
586          46681u, 46687u, 46691u, 46703u, 46723u, 46727u, 46747u, 46751u, 46757u,
587          46769u, 46771u, 46807u, 46811u, 46817u, 46819u, 46829u, 46831u, 46853u,
588          46861u, 46867u, 46877u, 46889u, 46901u, 46919u, 46933u, 46957u, 46993u,
589          46997u, 47017u, 47041u, 47051u, 47057u, 47059u, 47087u, 47093u, 47111u,
590          47119u, 47123u, 47129u, 47137u, 47143u, 47147u, 47149u, 47161u, 47189u,
591          47207u, 47221u, 47237u, 47251u, 47269u, 47279u, 47287u, 47293u, 47297u,
592          47303u, 47309u, 47317u, 47339u, 47351u, 47353u, 47363u, 47381u, 47387u,
593          47389u, 47407u, 47417u, 47419u, 47431u, 47441u, 47459u, 47491u, 47497u,
594          47501u, 47507u, 47513u, 47521u, 47527u, 47533u, 47543u, 47563u, 47569u,
595          47581u, 47591u, 47599u, 47609u, 47623u, 47629u, 47639u, 47653u, 47657u,
596          47659u, 47681u, 47699u, 47701u, 47711u, 47713u, 47717u, 47737u, 47741u,
597          47743u, 47777u, 47779u, 47791u, 47797u, 47807u, 47809u, 47819u, 47837u,
598          47843u, 47857u, 47869u, 47881u, 47903u, 47911u, 47917u, 47933u, 47939u,
599          47947u, 47951u, 47963u, 47969u, 47977u, 47981u, 48017u, 48023u, 48029u,
600          48049u, 48073u, 48079u, 48091u, 48109u, 48119u, 48121u, 48131u, 48157u,
601          48163u, 48179u, 48187u, 48193u, 48197u, 48221u, 48239u, 48247u, 48259u,
602          48271u, 48281u, 48299u, 48311u, 48313u, 48337u, 48341u, 48353u, 48371u,
603          48383u, 48397u, 48407u, 48409u, 48413u, 48437u, 48449u, 48463u, 48473u,
604          48479u, 48481u, 48487u, 48491u, 48497u, 48523u, 48527u, 48533u, 48539u,
605          48541u, 48563u, 48571u, 48589u, 48593u, 48611u, 48619u, 48623u, 48647u,
606          48649u, 48661u, 48673u, 48677u, 48679u, 48731u, 48733u, 48751u, 48757u,
607          48761u, 48767u, 48779u, 48781u, 48787u, 48799u, 48809u, 48817u, 48821u,
608          48823u, 48847u, 48857u, 48859u, 48869u, 48871u, 48883u, 48889u, 48907u,
609          48947u, 48953u, 48973u, 48989u, 48991u, 49003u, 49009u, 49019u, 49031u,
610          49033u, 49037u, 49043u, 49057u, 49069u, 49081u, 49103u, 49109u, 49117u,
611          49121u, 49123u, 49139u, 49157u, 49169u, 49171u, 49177u, 49193u, 49199u,
612          49201u, 49207u, 49211u, 49223u, 49253u, 49261u, 49277u, 49279u, 49297u,
613          49307u, 49331u, 49333u, 49339u, 49363u, 49367u, 49369u, 49391u, 49393u,
614          49409u, 49411u, 49417u, 49429u, 49433u, 49451u, 49459u, 49463u, 49477u,
615          49481u, 49499u, 49523u, 49529u, 49531u, 49537u, 49547u, 49549u, 49559u,
616          49597u, 49603u, 49613u, 49627u, 49633u, 49639u, 49663u, 49667u, 49669u,
617          49681u, 49697u, 49711u, 49727u, 49739u, 49741u, 49747u, 49757u, 49783u,
618          49787u, 49789u, 49801u, 49807u, 49811u, 49823u, 49831u, 49843u, 49853u,
619          49871u, 49877u, 49891u, 49919u, 49921u, 49927u, 49937u, 49939u, 49943u,
620          49957u, 49991u, 49993u, 49999u, 50021u, 50023u, 50033u, 50047u, 50051u,
621          50053u, 50069u, 50077u, 50087u, 50093u, 50101u, 50111u, 50119u, 50123u,
622          50129u, 50131u, 50147u, 50153u, 50159u, 50177u, 50207u, 50221u, 50227u,
623          50231u, 50261u, 50263u, 50273u, 50287u, 50291u, 50311u, 50321u, 50329u,
624          50333u, 50341u, 50359u, 50363u, 50377u, 50383u, 50387u, 50411u, 50417u,
625          50423u, 50441u, 50459u, 50461u, 50497u, 50503u, 50513u, 50527u, 50539u,
626          50543u, 50549u, 50551u, 50581u, 50587u, 50591u, 50593u, 50599u, 50627u,
627          50647u, 50651u, 50671u, 50683u, 50707u, 50723u, 50741u, 50753u, 50767u,
628          50773u, 50777u, 50789u, 50821u, 50833u, 50839u, 50849u, 50857u, 50867u,
629          50873u, 50891u, 50893u, 50909u, 50923u, 50929u, 50951u, 50957u, 50969u,
630          50971u, 50989u, 50993u, 51001u, 51031u, 51043u, 51047u, 51059u, 51061u,
631          51071u, 51109u, 51131u, 51133u, 51137u, 51151u, 51157u, 51169u, 51193u,
632          51197u, 51199u, 51203u, 51217u, 51229u, 51239u, 51241u, 51257u, 51263u,
633          51283u, 51287u, 51307u, 51329u, 51341u, 51343u, 51347u, 51349u, 51361u,
634          51383u, 51407u, 51413u, 51419u, 51421u, 51427u, 51431u, 51437u, 51439u,
635          51449u, 51461u, 51473u, 51479u, 51481u, 51487u, 51503u, 51511u, 51517u,
636          51521u, 51539u, 51551u, 51563u, 51577u, 51581u, 51593u, 51599u, 51607u,
637          51613u, 51631u, 51637u, 51647u, 51659u, 51673u, 51679u, 51683u, 51691u,
638          51713u, 51719u, 51721u, 51749u, 51767u, 51769u, 51787u, 51797u, 51803u,
639          51817u, 51827u, 51829u, 51839u, 51853u, 51859u, 51869u, 51871u, 51893u,
640          51899u, 51907u, 51913u, 51929u, 51941u, 51949u, 51971u, 51973u, 51977u,
641          51991u, 52009u, 52021u, 52027u, 52051u, 52057u, 52067u, 52069u, 52081u,
642          52103u, 52121u, 52127u, 52147u, 52153u, 52163u, 52177u, 52181u, 52183u,
643          52189u, 52201u, 52223u, 52237u, 52249u, 52253u, 52259u, 52267u, 52289u,
644          52291u, 52301u, 52313u, 52321u, 52361u, 52363u, 52369u, 52379u, 52387u,
645          52391u, 52433u, 52453u, 52457u, 52489u, 52501u, 52511u, 52517u, 52529u,
646          52541u, 52543u, 52553u, 52561u, 52567u, 52571u, 52579u, 52583u, 52609u,
647          52627u, 52631u, 52639u, 52667u, 52673u, 52691u, 52697u, 52709u, 52711u,
648          52721u, 52727u, 52733u, 52747u, 52757u, 52769u, 52783u, 52807u, 52813u,
649          52817u, 52837u, 52859u, 52861u, 52879u, 52883u, 52889u, 52901u, 52903u,
650          52919u, 52937u, 52951u, 52957u, 52963u, 52967u, 52973u, 52981u, 52999u,
651          53003u, 53017u, 53047u, 53051u, 53069u, 53077u, 53087u, 53089u, 53093u,
652          53101u, 53113u, 53117u, 53129u, 53147u, 53149u, 53161u, 53171u, 53173u,
653          53189u, 53197u, 53201u, 53231u, 53233u, 53239u, 53267u, 53269u, 53279u,
654          53281u, 53299u, 53309u, 53323u, 53327u, 53353u, 53359u, 53377u, 53381u,
655          53401u, 53407u, 53411u, 53419u, 53437u, 53441u, 53453u, 53479u, 53503u,
656          53507u, 53527u, 53549u, 53551u, 53569u, 53591u, 53593u, 53597u, 53609u,
657          53611u, 53617u, 53623u, 53629u, 53633u, 53639u, 53653u, 53657u, 53681u,
658          53693u, 53699u, 53717u, 53719u, 53731u, 53759u, 53773u, 53777u, 53783u,
659          53791u, 53813u, 53819u, 53831u, 53849u, 53857u, 53861u, 53881u, 53887u,
660          53891u, 53897u, 53899u, 53917u, 53923u, 53927u, 53939u, 53951u, 53959u,
661          53987u, 53993u, 54001u, 54011u, 54013u, 54037u, 54049u, 54059u, 54083u,
662          54091u, 54101u, 54121u, 54133u, 54139u, 54151u, 54163u, 54167u, 54181u,
663          54193u, 54217u, 54251u, 54269u, 54277u, 54287u, 54293u, 54311u, 54319u,
664          54323u, 54331u, 54347u, 54361u, 54367u, 54371u, 54377u, 54401u, 54403u,
665          54409u, 54413u, 54419u, 54421u, 54437u, 54443u, 54449u, 54469u, 54493u,
666          54497u, 54499u, 54503u, 54517u, 54521u, 54539u, 54541u, 54547u, 54559u,
667          54563u, 54577u, 54581u, 54583u, 54601u, 54617u, 54623u, 54629u, 54631u,
668          54647u, 54667u, 54673u, 54679u, 54709u, 54713u, 54721u, 54727u, 54751u,
669          54767u, 54773u, 54779u, 54787u, 54799u, 54829u, 54833u, 54851u, 54869u,
670          54877u, 54881u, 54907u, 54917u, 54919u, 54941u, 54949u, 54959u, 54973u,
671          54979u, 54983u, 55001u, 55009u, 55021u, 55049u, 55051u, 55057u, 55061u,
672          55073u, 55079u, 55103u, 55109u, 55117u, 55127u, 55147u, 55163u, 55171u,
673          55201u, 55207u, 55213u, 55217u, 55219u, 55229u, 55243u, 55249u, 55259u,
674          55291u, 55313u, 55331u, 55333u, 55337u, 55339u, 55343u, 55351u, 55373u,
675          55381u, 55399u, 55411u, 55439u, 55441u, 55457u, 55469u, 55487u, 55501u,
676          55511u, 55529u, 55541u, 55547u, 55579u, 55589u, 55603u, 55609u, 55619u,
677          55621u, 55631u, 55633u, 55639u, 55661u, 55663u, 55667u, 55673u, 55681u,
678          55691u, 55697u, 55711u, 55717u, 55721u, 55733u, 55763u, 55787u, 55793u,
679          55799u, 55807u, 55813u, 55817u, 55819u, 55823u, 55829u, 55837u, 55843u,
680          55849u, 55871u, 55889u, 55897u, 55901u, 55903u, 55921u, 55927u, 55931u,
681          55933u, 55949u, 55967u, 55987u, 55997u, 56003u, 56009u, 56039u, 56041u,
682          56053u, 56081u, 56087u, 56093u, 56099u, 56101u, 56113u, 56123u, 56131u,
683          56149u, 56167u, 56171u, 56179u, 56197u, 56207u, 56209u, 56237u, 56239u,
684          56249u, 56263u, 56267u, 56269u, 56299u, 56311u, 56333u, 56359u, 56369u,
685          56377u, 56383u, 56393u, 56401u, 56417u, 56431u, 56437u, 56443u, 56453u,
686          56467u, 56473u, 56477u, 56479u, 56489u, 56501u, 56503u, 56509u, 56519u,
687          56527u, 56531u, 56533u, 56543u, 56569u, 56591u, 56597u, 56599u, 56611u,
688          56629u, 56633u, 56659u, 56663u, 56671u, 56681u, 56687u, 56701u, 56711u,
689          56713u, 56731u, 56737u, 56747u, 56767u, 56773u, 56779u, 56783u, 56807u,
690          56809u, 56813u, 56821u, 56827u, 56843u, 56857u, 56873u, 56891u, 56893u,
691          56897u, 56909u, 56911u, 56921u, 56923u, 56929u, 56941u, 56951u, 56957u,
692          56963u, 56983u, 56989u, 56993u, 56999u, 57037u, 57041u, 57047u, 57059u,
693          57073u, 57077u, 57089u, 57097u, 57107u, 57119u, 57131u, 57139u, 57143u,
694          57149u, 57163u, 57173u, 57179u, 57191u, 57193u, 57203u, 57221u, 57223u,
695          57241u, 57251u, 57259u, 57269u, 57271u, 57283u, 57287u, 57301u, 57329u,
696          57331u, 57347u, 57349u, 57367u, 57373u, 57383u, 57389u, 57397u, 57413u,
697          57427u, 57457u, 57467u, 57487u, 57493u, 57503u, 57527u, 57529u, 57557u,
698          57559u, 57571u, 57587u, 57593u, 57601u, 57637u, 57641u, 57649u, 57653u,
699          57667u, 57679u, 57689u, 57697u, 57709u, 57713u, 57719u, 57727u, 57731u,
700          57737u, 57751u, 57773u, 57781u, 57787u, 57791u, 57793u, 57803u, 57809u,
701          57829u, 57839u, 57847u, 57853u, 57859u, 57881u, 57899u, 57901u, 57917u,
702          57923u, 57943u, 57947u, 57973u, 57977u, 57991u, 58013u, 58027u, 58031u,
703          58043u, 58049u, 58057u, 58061u, 58067u, 58073u, 58099u, 58109u, 58111u,
704          58129u, 58147u, 58151u, 58153u, 58169u, 58171u, 58189u, 58193u, 58199u,
705          58207u, 58211u, 58217u, 58229u, 58231u, 58237u, 58243u, 58271u, 58309u,
706          58313u, 58321u, 58337u, 58363u, 58367u, 58369u, 58379u, 58391u, 58393u,
707          58403u, 58411u, 58417u, 58427u, 58439u, 58441u, 58451u, 58453u, 58477u,
708          58481u, 58511u, 58537u, 58543u, 58549u, 58567u, 58573u, 58579u, 58601u,
709          58603u, 58613u, 58631u, 58657u, 58661u, 58679u, 58687u, 58693u, 58699u,
710          58711u, 58727u, 58733u, 58741u, 58757u, 58763u, 58771u, 58787u, 58789u,
711          58831u, 58889u, 58897u, 58901u, 58907u, 58909u, 58913u, 58921u, 58937u,
712          58943u, 58963u, 58967u, 58979u, 58991u, 58997u, 59009u, 59011u, 59021u,
713          59023u, 59029u, 59051u, 59053u, 59063u, 59069u, 59077u, 59083u, 59093u,
714          59107u, 59113u, 59119u, 59123u, 59141u, 59149u, 59159u, 59167u, 59183u,
715          59197u, 59207u, 59209u, 59219u, 59221u, 59233u, 59239u, 59243u, 59263u,
716          59273u, 59281u, 59333u, 59341u, 59351u, 59357u, 59359u, 59369u, 59377u,
717          59387u, 59393u, 59399u, 59407u, 59417u, 59419u, 59441u, 59443u, 59447u,
718          59453u, 59467u, 59471u, 59473u, 59497u, 59509u, 59513u, 59539u, 59557u,
719          59561u, 59567u, 59581u, 59611u, 59617u, 59621u, 59627u, 59629u, 59651u,
720          59659u, 59663u, 59669u, 59671u, 59693u, 59699u, 59707u, 59723u, 59729u,
721          59743u, 59747u, 59753u, 59771u, 59779u, 59791u, 59797u, 59809u, 59833u,
722          59863u, 59879u, 59887u, 59921u, 59929u, 59951u, 59957u, 59971u, 59981u,
723          59999u, 60013u, 60017u, 60029u, 60037u, 60041u, 60077u, 60083u, 60089u,
724          60091u, 60101u, 60103u, 60107u, 60127u, 60133u, 60139u, 60149u, 60161u,
725          60167u, 60169u, 60209u, 60217u, 60223u, 60251u, 60257u, 60259u, 60271u,
726          60289u, 60293u, 60317u, 60331u, 60337u, 60343u, 60353u, 60373u, 60383u,
727          60397u, 60413u, 60427u, 60443u, 60449u, 60457u, 60493u, 60497u, 60509u,
728          60521u, 60527u, 60539u, 60589u, 60601u, 60607u, 60611u, 60617u, 60623u,
729          60631u, 60637u, 60647u, 60649u, 60659u, 60661u, 60679u, 60689u, 60703u,
730          60719u, 60727u, 60733u, 60737u, 60757u, 60761u, 60763u, 60773u, 60779u,
731          60793u, 60811u, 60821u, 60859u, 60869u, 60887u, 60889u, 60899u, 60901u,
732          60913u, 60917u, 60919u, 60923u, 60937u, 60943u, 60953u, 60961u, 61001u,
733          61007u, 61027u, 61031u, 61043u, 61051u, 61057u, 61091u, 61099u, 61121u,
734          61129u, 61141u, 61151u, 61153u, 61169u, 61211u, 61223u, 61231u, 61253u,
735          61261u, 61283u, 61291u, 61297u, 61331u, 61333u, 61339u, 61343u, 61357u,
736          61363u, 61379u, 61381u, 61403u, 61409u, 61417u, 61441u, 61463u, 61469u,
737          61471u, 61483u, 61487u, 61493u, 61507u, 61511u, 61519u, 61543u, 61547u,
738          61553u, 61559u, 61561u, 61583u, 61603u, 61609u, 61613u, 61627u, 61631u,
739          61637u, 61643u, 61651u, 61657u, 61667u, 61673u, 61681u, 61687u, 61703u,
740          61717u, 61723u, 61729u, 61751u, 61757u, 61781u, 61813u, 61819u, 61837u,
741          61843u, 61861u, 61871u, 61879u, 61909u, 61927u, 61933u, 61949u, 61961u,
742          61967u, 61979u, 61981u, 61987u, 61991u, 62003u, 62011u, 62017u, 62039u,
743          62047u, 62053u, 62057u, 62071u, 62081u, 62099u, 62119u, 62129u, 62131u,
744          62137u, 62141u, 62143u, 62171u, 62189u, 62191u, 62201u, 62207u, 62213u,
745          62219u, 62233u, 62273u, 62297u, 62299u, 62303u, 62311u, 62323u, 62327u,
746          62347u, 62351u, 62383u, 62401u, 62417u, 62423u, 62459u, 62467u, 62473u,
747          62477u, 62483u, 62497u, 62501u, 62507u, 62533u, 62539u, 62549u, 62563u,
748          62581u, 62591u, 62597u, 62603u, 62617u, 62627u, 62633u, 62639u, 62653u,
749          62659u, 62683u, 62687u, 62701u, 62723u, 62731u, 62743u, 62753u, 62761u,
750          62773u, 62791u, 62801u, 62819u, 62827u, 62851u, 62861u, 62869u, 62873u,
751          62897u, 62903u, 62921u, 62927u, 62929u, 62939u, 62969u, 62971u, 62981u,
752          62983u, 62987u, 62989u, 63029u, 63031u, 63059u, 63067u, 63073u, 63079u,
753          63097u, 63103u, 63113u, 63127u, 63131u, 63149u, 63179u, 63197u, 63199u,
754          63211u, 63241u, 63247u, 63277u, 63281u, 63299u, 63311u, 63313u, 63317u,
755          63331u, 63337u, 63347u, 63353u, 63361u, 63367u, 63377u, 63389u, 63391u,
756          63397u, 63409u, 63419u, 63421u, 63439u, 63443u, 63463u, 63467u, 63473u,
757          63487u, 63493u, 63499u, 63521u, 63527u, 63533u, 63541u, 63559u, 63577u,
758          63587u, 63589u, 63599u, 63601u, 63607u, 63611u, 63617u, 63629u, 63647u,
759          63649u, 63659u, 63667u, 63671u, 63689u, 63691u, 63697u, 63703u, 63709u,
760          63719u, 63727u, 63737u, 63743u, 63761u, 63773u, 63781u, 63793u, 63799u,
761          63803u, 63809u, 63823u, 63839u, 63841u, 63853u, 63857u, 63863u, 63901u,
762          63907u, 63913u, 63929u, 63949u, 63977u, 63997u, 64007u, 64013u, 64019u,
763          64033u, 64037u, 64063u, 64067u, 64081u, 64091u, 64109u, 64123u, 64151u,
764          64153u, 64157u, 64171u, 64187u, 64189u, 64217u, 64223u, 64231u, 64237u,
765          64271u, 64279u, 64283u, 64301u, 64303u, 64319u, 64327u, 64333u, 64373u,
766          64381u, 64399u, 64403u, 64433u, 64439u, 64451u, 64453u, 64483u, 64489u,
767          64499u, 64513u, 64553u, 64567u, 64577u, 64579u, 64591u, 64601u, 64609u,
768          64613u, 64621u, 64627u, 64633u, 64661u, 64663u, 64667u, 64679u, 64693u,
769          64709u, 64717u, 64747u, 64763u, 64781u, 64783u, 64793u, 64811u, 64817u,
770          64849u, 64853u, 64871u, 64877u, 64879u, 64891u, 64901u, 64919u, 64921u,
771          64927u, 64937u, 64951u, 64969u, 64997u, 65003u, 65011u, 65027u, 65029u,
772          65033u, 65053u, 65063u, 65071u, 65089u, 65099u, 65101u, 65111u, 65119u,
773          65123u, 65129u, 65141u, 65147u, 65167u, 65171u, 65173u, 65179u, 65183u,
774          65203u, 65213u, 65239u, 65257u, 65267u, 65269u, 65287u, 65293u, 65309u,
775          65323u, 65327u, 65353u, 65357u, 65371u, 65381u, 65393u, 65407u, 65413u,
776          65419u, 65423u, 65437u, 65447u, 65449u, 65479u, 65497u, 65519u, 65521u
777       }};
778 #ifdef BOOST_MATH_HAVE_CONSTEXPR_TABLES
779       constexpr std::array<boost::uint16_t, 3458> a3 = {{
780 #else
781       static const boost::array<boost::uint16_t, 3458> a3 = {{
782 #endif
783          2u, 4u, 8u, 16u, 22u, 28u, 44u,
784          46u, 52u, 64u, 74u, 82u, 94u, 98u, 112u,
785          116u, 122u, 142u, 152u, 164u, 166u, 172u, 178u,
786          182u, 184u, 194u, 196u, 226u, 242u, 254u, 274u,
787          292u, 296u, 302u, 304u, 308u, 316u, 332u, 346u,
788          364u, 386u, 392u, 394u, 416u, 422u, 428u, 446u,
789          448u, 458u, 494u, 502u, 506u, 512u, 532u, 536u,
790          548u, 554u, 568u, 572u, 574u, 602u, 626u, 634u,
791          638u, 644u, 656u, 686u, 704u, 736u, 758u, 766u,
792          802u, 808u, 812u, 824u, 826u, 838u, 842u, 848u,
793          868u, 878u, 896u, 914u, 922u, 928u, 932u, 956u,
794          964u, 974u, 988u, 994u, 998u, 1006u, 1018u, 1034u,
795          1036u, 1052u, 1058u, 1066u, 1082u, 1094u, 1108u, 1118u,
796          1148u, 1162u, 1166u, 1178u, 1186u, 1198u, 1204u, 1214u,
797          1216u, 1228u, 1256u, 1262u, 1274u, 1286u, 1306u, 1316u,
798          1318u, 1328u, 1342u, 1348u, 1354u, 1384u, 1388u, 1396u,
799          1408u, 1412u, 1414u, 1424u, 1438u, 1442u, 1468u, 1486u,
800          1498u, 1508u, 1514u, 1522u, 1526u, 1538u, 1544u, 1568u,
801          1586u, 1594u, 1604u, 1606u, 1618u, 1622u, 1634u, 1646u,
802          1652u, 1654u, 1676u, 1678u, 1682u, 1684u, 1696u, 1712u,
803          1726u, 1736u, 1738u, 1754u, 1772u, 1804u, 1808u, 1814u,
804          1834u, 1856u, 1864u, 1874u, 1876u, 1886u, 1892u, 1894u,
805          1898u, 1912u, 1918u, 1942u, 1946u, 1954u, 1958u, 1964u,
806          1976u, 1988u, 1996u, 2002u, 2012u, 2024u, 2032u, 2042u,
807          2044u, 2054u, 2066u, 2072u, 2084u, 2096u, 2116u, 2144u,
808          2164u, 2174u, 2188u, 2198u, 2206u, 2216u, 2222u, 2224u,
809          2228u, 2242u, 2248u, 2254u, 2266u, 2272u, 2284u, 2294u,
810          2308u, 2318u, 2332u, 2348u, 2356u, 2366u, 2392u, 2396u,
811          2398u, 2404u, 2408u, 2422u, 2426u, 2432u, 2444u, 2452u,
812          2458u, 2488u, 2506u, 2518u, 2524u, 2536u, 2552u, 2564u,
813          2576u, 2578u, 2606u, 2612u, 2626u, 2636u, 2672u, 2674u,
814          2678u, 2684u, 2692u, 2704u, 2726u, 2744u, 2746u, 2776u,
815          2794u, 2816u, 2836u, 2854u, 2864u, 2902u, 2908u, 2912u,
816          2914u, 2938u, 2942u, 2948u, 2954u, 2956u, 2966u, 2972u,
817          2986u, 2996u, 3004u, 3008u, 3032u, 3046u, 3062u, 3076u,
818          3098u, 3104u, 3124u, 3134u, 3148u, 3152u, 3164u, 3176u,
819          3178u, 3194u, 3202u, 3208u, 3214u, 3232u, 3236u, 3242u,
820          3256u, 3278u, 3284u, 3286u, 3328u, 3344u, 3346u, 3356u,
821          3362u, 3364u, 3368u, 3374u, 3382u, 3392u, 3412u, 3428u,
822          3458u, 3466u, 3476u, 3484u, 3494u, 3496u, 3526u, 3532u,
823          3538u, 3574u, 3584u, 3592u, 3608u, 3614u, 3616u, 3628u,
824          3656u, 3658u, 3662u, 3668u, 3686u, 3698u, 3704u, 3712u,
825          3722u, 3724u, 3728u, 3778u, 3782u, 3802u, 3806u, 3836u,
826          3844u, 3848u, 3854u, 3866u, 3868u, 3892u, 3896u, 3904u,
827          3922u, 3928u, 3932u, 3938u, 3946u, 3956u, 3958u, 3962u,
828          3964u, 4004u, 4022u, 4058u, 4088u, 4118u, 4126u, 4142u,
829          4156u, 4162u, 4174u, 4202u, 4204u, 4226u, 4228u, 4232u,
830          4244u, 4274u, 4286u, 4292u, 4294u, 4298u, 4312u, 4322u,
831          4324u, 4342u, 4364u, 4376u, 4394u, 4396u, 4406u, 4424u,
832          4456u, 4462u, 4466u, 4468u, 4474u, 4484u, 4504u, 4516u,
833          4526u, 4532u, 4544u, 4564u, 4576u, 4582u, 4586u, 4588u,
834          4604u, 4606u, 4622u, 4628u, 4642u, 4646u, 4648u, 4664u,
835          4666u, 4672u, 4688u, 4694u, 4702u, 4706u, 4714u, 4736u,
836          4754u, 4762u, 4774u, 4778u, 4786u, 4792u, 4816u, 4838u,
837          4844u, 4846u, 4858u, 4888u, 4894u, 4904u, 4916u, 4922u,
838          4924u, 4946u, 4952u, 4954u, 4966u, 4972u, 4994u, 5002u,
839          5014u, 5036u, 5038u, 5048u, 5054u, 5072u, 5084u, 5086u,
840          5092u, 5104u, 5122u, 5128u, 5132u, 5152u, 5174u, 5182u,
841          5194u, 5218u, 5234u, 5248u, 5258u, 5288u, 5306u, 5308u,
842          5314u, 5318u, 5332u, 5342u, 5344u, 5356u, 5366u, 5378u,
843          5384u, 5386u, 5402u, 5414u, 5416u, 5422u, 5434u, 5444u,
844          5446u, 5456u, 5462u, 5464u, 5476u, 5488u, 5504u, 5524u,
845          5534u, 5546u, 5554u, 5584u, 5594u, 5608u, 5612u, 5618u,
846          5626u, 5632u, 5636u, 5656u, 5674u, 5698u, 5702u, 5714u,
847          5722u, 5726u, 5728u, 5752u, 5758u, 5782u, 5792u, 5794u,
848          5798u, 5804u, 5806u, 5812u, 5818u, 5824u, 5828u, 5852u,
849          5854u, 5864u, 5876u, 5878u, 5884u, 5894u, 5902u, 5908u,
850          5918u, 5936u, 5938u, 5944u, 5948u, 5968u, 5992u, 6002u,
851          6014u, 6016u, 6028u, 6034u, 6058u, 6062u, 6098u, 6112u,
852          6128u, 6136u, 6158u, 6164u, 6172u, 6176u, 6178u, 6184u,
853          6206u, 6226u, 6242u, 6254u, 6272u, 6274u, 6286u, 6302u,
854          6308u, 6314u, 6326u, 6332u, 6344u, 6346u, 6352u, 6364u,
855          6374u, 6382u, 6398u, 6406u, 6412u, 6428u, 6436u, 6448u,
856          6452u, 6458u, 6464u, 6484u, 6496u, 6508u, 6512u, 6518u,
857          6538u, 6542u, 6554u, 6556u, 6566u, 6568u, 6574u, 6604u,
858          6626u, 6632u, 6634u, 6638u, 6676u, 6686u, 6688u, 6692u,
859          6694u, 6716u, 6718u, 6734u, 6736u, 6742u, 6752u, 6772u,
860          6778u, 6802u, 6806u, 6818u, 6832u, 6844u, 6848u, 6886u,
861          6896u, 6926u, 6932u, 6934u, 6946u, 6958u, 6962u, 6968u,
862          6998u, 7012u, 7016u, 7024u, 7042u, 7078u, 7082u, 7088u,
863          7108u, 7112u, 7114u, 7126u, 7136u, 7138u, 7144u, 7154u,
864          7166u, 7172u, 7184u, 7192u, 7198u, 7204u, 7228u, 7232u,
865          7262u, 7282u, 7288u, 7324u, 7334u, 7336u, 7348u, 7354u,
866          7358u, 7366u, 7372u, 7376u, 7388u, 7396u, 7402u, 7414u,
867          7418u, 7424u, 7438u, 7442u, 7462u, 7474u, 7478u, 7484u,
868          7502u, 7504u, 7508u, 7526u, 7528u, 7544u, 7556u, 7586u,
869          7592u, 7598u, 7606u, 7646u, 7654u, 7702u, 7708u, 7724u,
870          7742u, 7756u, 7768u, 7774u, 7792u, 7796u, 7816u, 7826u,
871          7828u, 7834u, 7844u, 7852u, 7882u, 7886u, 7898u, 7918u,
872          7924u, 7936u, 7942u, 7948u, 7982u, 7988u, 7994u, 8012u,
873          8018u, 8026u, 8036u, 8048u, 8054u, 8062u, 8072u, 8074u,
874          8078u, 8102u, 8108u, 8116u, 8138u, 8144u, 8146u, 8158u,
875          8164u, 8174u, 8186u, 8192u, 8216u, 8222u, 8236u, 8248u,
876          8284u, 8288u, 8312u, 8314u, 8324u, 8332u, 8342u, 8348u,
877          8362u, 8372u, 8404u, 8408u, 8416u, 8426u, 8438u, 8464u,
878          8482u, 8486u, 8492u, 8512u, 8516u, 8536u, 8542u, 8558u,
879          8564u, 8566u, 8596u, 8608u, 8614u, 8624u, 8626u, 8632u,
880          8642u, 8654u, 8662u, 8666u, 8668u, 8674u, 8684u, 8696u,
881          8722u, 8744u, 8752u, 8758u, 8762u, 8776u, 8782u, 8788u,
882          8818u, 8822u, 8828u, 8842u, 8846u, 8848u, 8876u, 8878u,
883          8884u, 8906u, 8914u, 8918u, 8936u, 8954u, 8972u, 8974u,
884          8986u, 8992u, 8996u, 9016u, 9026u, 9032u, 9038u, 9052u,
885          9062u, 9074u, 9076u, 9088u, 9118u, 9152u, 9164u, 9172u,
886          9178u, 9182u, 9184u, 9194u, 9196u, 9212u, 9224u, 9226u,
887          9236u, 9244u, 9262u, 9286u, 9292u, 9296u, 9308u, 9322u,
888          9326u, 9334u, 9338u, 9352u, 9356u, 9362u, 9368u, 9388u,
889          9394u, 9398u, 9406u, 9424u, 9476u, 9478u, 9482u, 9494u,
890          9502u, 9506u, 9544u, 9548u, 9574u, 9598u, 9614u, 9626u,
891          9632u, 9634u, 9646u, 9658u, 9674u, 9676u, 9682u, 9688u,
892          9692u, 9704u, 9718u, 9734u, 9742u, 9754u, 9772u, 9788u,
893          9794u, 9802u, 9812u, 9818u, 9832u, 9842u, 9854u, 9856u,
894          9866u, 9868u, 9872u, 9896u, 9902u, 9944u, 9968u, 9976u,
895          9986u, 9992u, 9998u, 10004u, 10006u, 10018u, 10022u, 10036u,
896          10042u, 10048u, 10076u, 10082u, 10084u, 10094u, 10106u, 10118u,
897          10124u, 10144u, 10148u, 10154u, 10168u, 10172u, 10174u, 10186u,
898          10196u, 10208u, 10232u, 10238u, 10246u, 10252u, 10258u, 10262u,
899          10286u, 10298u, 10318u, 10334u, 10348u, 10378u, 10396u, 10402u,
900          10406u, 10432u, 10444u, 10448u, 10454u, 10456u, 10462u, 10466u,
901          10468u, 10496u, 10504u, 10544u, 10546u, 10556u, 10564u, 10568u,
902          10588u, 10594u, 10612u, 10622u, 10624u, 10628u, 10672u, 10678u,
903          10696u, 10708u, 10714u, 10718u, 10724u, 10726u, 10748u, 10754u,
904          10768u, 10798u, 10808u, 10832u, 10834u, 10844u, 10852u, 10868u,
905          10886u, 10888u, 10906u, 10928u, 10936u, 10946u, 10952u, 10958u,
906          10972u, 10976u, 10984u, 11002u, 11006u, 11008u, 11026u, 11044u,
907          11062u, 11068u, 11072u, 11096u, 11114u, 11116u, 11132u, 11138u,
908          11144u, 11162u, 11182u, 11198u, 11218u, 11222u, 11236u, 11242u,
909          11246u, 11266u, 11284u, 11294u, 11296u, 11302u, 11312u, 11336u,
910          11338u, 11348u, 11372u, 11378u, 11384u, 11408u, 11414u, 11426u,
911          11428u, 11456u, 11468u, 11482u, 11488u, 11494u, 11506u, 11512u,
912          11534u, 11546u, 11558u, 11566u, 11602u, 11606u, 11618u, 11632u,
913          11636u, 11656u, 11666u, 11678u, 11702u, 11704u, 11708u, 11714u,
914          11726u, 11728u, 11732u, 11734u, 11744u, 11756u, 11782u, 11788u,
915          11804u, 11812u, 11816u, 11824u, 11834u, 11842u, 11848u, 11882u,
916          11884u, 11896u, 11912u, 11936u, 11942u, 11944u, 11954u, 11956u,
917          11974u, 11978u, 11986u, 11992u, 12008u, 12014u, 12016u, 12022u,
918          12028u, 12034u, 12038u, 12052u, 12056u, 12076u, 12082u, 12086u,
919          12106u, 12112u, 12124u, 12146u, 12152u, 12154u, 12164u, 12176u,
920          12178u, 12184u, 12188u, 12196u, 12208u, 12212u, 12226u, 12238u,
921          12248u, 12262u, 12266u, 12278u, 12304u, 12314u, 12328u, 12332u,
922          12358u, 12364u, 12394u, 12398u, 12416u, 12434u, 12442u, 12448u,
923          12464u, 12472u, 12482u, 12496u, 12506u, 12514u, 12524u, 12544u,
924          12566u, 12586u, 12602u, 12604u, 12622u, 12628u, 12632u, 12638u,
925          12644u, 12656u, 12658u, 12668u, 12694u, 12698u, 12706u, 12724u,
926          12742u, 12748u, 12766u, 12772u, 12776u, 12782u, 12806u, 12812u,
927          12832u, 12866u, 12892u, 12902u, 12904u, 12932u, 12944u, 12952u,
928          12962u, 12974u, 12976u, 12982u, 13004u, 13006u, 13018u, 13034u,
929          13036u, 13042u, 13048u, 13058u, 13072u, 13088u, 13108u, 13114u,
930          13118u, 13156u, 13162u, 13172u, 13178u, 13186u, 13202u, 13244u,
931          13246u, 13252u, 13256u, 13262u, 13268u, 13274u, 13288u, 13304u,
932          13318u, 13322u, 13342u, 13352u, 13354u, 13358u, 13366u, 13384u,
933          13394u, 13406u, 13442u, 13444u, 13454u, 13496u, 13504u, 13508u,
934          13528u, 13552u, 13568u, 13576u, 13598u, 13604u, 13612u, 13616u,
935          13618u, 13624u, 13646u, 13652u, 13658u, 13666u, 13694u, 13696u,
936          13706u, 13724u, 13738u, 13744u, 13748u, 13766u, 13774u, 13784u,
937          13798u, 13802u, 13814u, 13822u, 13832u, 13844u, 13858u, 13862u,
938          13864u, 13876u, 13888u, 13892u, 13898u, 13916u, 13946u, 13958u,
939          13996u, 14002u, 14014u, 14024u, 14026u, 14044u, 14054u, 14066u,
940          14074u, 14078u, 14086u, 14092u, 14096u, 14098u, 14122u, 14134u,
941          14152u, 14156u, 14158u, 14162u, 14164u, 14222u, 14234u, 14242u,
942          14266u, 14276u, 14278u, 14282u, 14288u, 14294u, 14306u, 14308u,
943          14312u, 14326u, 14332u, 14338u, 14354u, 14366u, 14368u, 14372u,
944          14404u, 14408u, 14432u, 14438u, 14444u, 14452u, 14462u, 14464u,
945          14486u, 14504u, 14516u, 14536u, 14542u, 14572u, 14576u, 14606u,
946          14612u, 14614u, 14618u, 14632u, 14638u, 14642u, 14656u, 14672u,
947          14674u, 14686u, 14696u, 14698u, 14704u, 14716u, 14728u, 14738u,
948          14744u, 14752u, 14774u, 14782u, 14794u, 14806u, 14812u, 14828u,
949          14834u, 14852u, 14872u, 14894u, 14912u, 14914u, 14936u, 14938u,
950          14954u, 14956u, 14978u, 14992u, 15002u, 15022u, 15032u, 15064u,
951          15068u, 15076u, 15086u, 15092u, 15094u, 15116u, 15122u, 15134u,
952          15136u, 15142u, 15146u, 15148u, 15152u, 15166u, 15178u, 15202u,
953          15212u, 15214u, 15226u, 15242u, 15244u, 15248u, 15254u, 15268u,
954          15274u, 15284u, 15296u, 15298u, 15314u, 15328u, 15362u, 15374u,
955          15376u, 15382u, 15388u, 15394u, 15398u, 15418u, 15428u, 15454u,
956          15466u, 15478u, 15482u, 15484u, 15488u, 15496u, 15506u, 15508u,
957          15512u, 15514u, 15536u, 15542u, 15548u, 15562u, 15566u, 15584u,
958          15596u, 15622u, 15628u, 15638u, 15646u, 15662u, 15664u, 15668u,
959          15688u, 15698u, 15704u, 15746u, 15748u, 15758u, 15764u, 15772u,
960          15796u, 15808u, 15814u, 15818u, 15824u, 15836u, 15838u, 15866u,
961          15874u, 15886u, 15904u, 15922u, 15928u, 15974u, 15982u, 15992u,
962          15998u, 16012u, 16016u, 16018u, 16024u, 16028u, 16034u, 16076u,
963          16084u, 16094u, 16102u, 16112u, 16114u, 16132u, 16136u, 16142u,
964          16154u, 16166u, 16168u, 16172u, 16192u, 16202u, 16214u, 16226u,
965          16234u, 16238u, 16264u, 16282u, 16304u, 16312u, 16318u, 16334u,
966          16348u, 16364u, 16366u, 16384u, 16394u, 16396u, 16402u, 16408u,
967          16418u, 16432u, 16436u, 16438u, 16468u, 16472u, 16474u, 16478u,
968          16486u, 16496u, 16502u, 16504u, 16516u, 16532u, 16538u, 16594u,
969          16604u, 16606u, 16618u, 16628u, 16636u, 16648u, 16654u, 16658u,
970          16672u, 16682u, 16684u, 16688u, 16696u, 16702u, 16706u, 16726u,
971          16732u, 16744u, 16766u, 16772u, 16804u, 16814u, 16816u, 16826u,
972          16838u, 16852u, 16858u, 16886u, 16922u, 16928u, 16934u, 16936u,
973          16948u, 16952u, 16958u, 16964u, 16972u, 16994u, 16996u, 17014u,
974          17024u, 17026u, 17032u, 17036u, 17056u, 17066u, 17074u, 17078u,
975          17084u, 17098u, 17116u, 17122u, 17164u, 17186u, 17188u, 17192u,
976          17194u, 17222u, 17224u, 17228u, 17246u, 17252u, 17258u, 17264u,
977          17276u, 17278u, 17302u, 17312u, 17348u, 17354u, 17356u, 17368u,
978          17378u, 17404u, 17428u, 17446u, 17462u, 17468u, 17474u, 17488u,
979          17512u, 17524u, 17528u, 17536u, 17542u, 17554u, 17558u, 17566u,
980          17582u, 17602u, 17642u, 17668u, 17672u, 17684u, 17686u, 17692u,
981          17696u, 17698u, 17708u, 17722u, 17732u, 17734u, 17738u, 17764u,
982          17776u, 17804u, 17806u, 17822u, 17848u, 17854u, 17864u, 17866u,
983          17872u, 17882u, 17888u, 17896u, 17902u, 17908u, 17914u, 17924u,
984          17936u, 17942u, 17962u, 18002u, 18022u, 18026u, 18028u, 18044u,
985          18056u, 18062u, 18074u, 18082u, 18086u, 18104u, 18106u, 18118u,
986          18128u, 18154u, 18166u, 18182u, 18184u, 18202u, 18226u, 18238u,
987          18242u, 18256u, 18278u, 18298u, 18308u, 18322u, 18334u, 18338u,
988          18356u, 18368u, 18376u, 18386u, 18398u, 18404u, 18434u, 18448u,
989          18452u, 18476u, 18482u, 18512u, 18518u, 18524u, 18526u, 18532u,
990          18554u, 18586u, 18592u, 18596u, 18602u, 18608u, 18628u, 18644u,
991          18646u, 18656u, 18664u, 18676u, 18686u, 18688u, 18694u, 18704u,
992          18712u, 18728u, 18764u, 18772u, 18778u, 18782u, 18784u, 18812u,
993          18814u, 18842u, 18854u, 18856u, 18866u, 18872u, 18886u, 18896u,
994          18902u, 18908u, 18914u, 18922u, 18928u, 18932u, 18946u, 18964u,
995          18968u, 18974u, 18986u, 18988u, 18998u, 19016u, 19024u, 19054u,
996          19094u, 19096u, 19114u, 19118u, 19124u, 19138u, 19156u, 19162u,
997          19166u, 19178u, 19184u, 19196u, 19202u, 19216u, 19226u, 19252u,
998          19258u, 19274u, 19276u, 19292u, 19322u, 19324u, 19334u, 19336u,
999          19378u, 19384u, 19412u, 19426u, 19432u, 19442u, 19444u, 19456u,
1000          19474u, 19486u, 19492u, 19502u, 19514u, 19526u, 19546u, 19552u,
1001          19556u, 19558u, 19568u, 19574u, 19586u, 19598u, 19612u, 19624u,
1002          19658u, 19664u, 19666u, 19678u, 19688u, 19694u, 19702u, 19708u,
1003          19712u, 19724u, 19762u, 19768u, 19778u, 19796u, 19798u, 19826u,
1004          19828u, 19834u, 19846u, 19876u, 19892u, 19894u, 19904u, 19912u,
1005          19916u, 19918u, 19934u, 19952u, 19978u, 19982u, 19988u, 19996u,
1006          20014u, 20036u, 20042u, 20062u, 20066u, 20072u, 20084u, 20086u,
1007          20092u, 20104u, 20108u, 20126u, 20132u, 20134u, 20156u, 20168u,
1008          20176u, 20182u, 20198u, 20216u, 20246u, 20258u, 20282u, 20284u,
1009          20294u, 20296u, 20302u, 20308u, 20312u, 20318u, 20354u, 20368u,
1010          20374u, 20396u, 20398u, 20456u, 20464u, 20476u, 20482u, 20492u,
1011          20494u, 20534u, 20542u, 20548u, 20576u, 20578u, 20582u, 20596u,
1012          20602u, 20608u, 20626u, 20636u, 20644u, 20648u, 20662u, 20666u,
1013          20674u, 20704u, 20708u, 20714u, 20722u, 20728u, 20734u, 20752u,
1014          20756u, 20758u, 20762u, 20776u, 20788u, 20806u, 20816u, 20818u,
1015          20822u, 20834u, 20836u, 20846u, 20854u, 20864u, 20878u, 20888u,
1016          20906u, 20918u, 20926u, 20932u, 20942u, 20956u, 20966u, 20974u,
1017          20996u, 20998u, 21004u, 21026u, 21038u, 21044u, 21052u, 21064u,
1018          21092u, 21094u, 21142u, 21154u, 21158u, 21176u, 21184u, 21194u,
1019          21208u, 21218u, 21232u, 21236u, 21248u, 21278u, 21302u, 21308u,
1020          21316u, 21322u, 21326u, 21334u, 21388u, 21392u, 21394u, 21404u,
1021          21416u, 21424u, 21434u, 21446u, 21458u, 21476u, 21478u, 21502u,
1022          21506u, 21514u, 21536u, 21548u, 21568u, 21572u, 21584u, 21586u,
1023          21598u, 21614u, 21616u, 21644u, 21646u, 21652u, 21676u, 21686u,
1024          21688u, 21716u, 21718u, 21722u, 21742u, 21746u, 21758u, 21764u,
1025          21778u, 21782u, 21788u, 21802u, 21824u, 21848u, 21868u, 21872u,
1026          21886u, 21892u, 21898u, 21908u, 21938u, 21946u, 21956u, 21974u,
1027          21976u, 21982u, 21988u, 22004u, 22006u, 22012u, 22018u, 22022u,
1028          22024u, 22048u, 22052u, 22054u, 22078u, 22088u, 22094u, 22096u,
1029          22106u, 22108u, 22114u, 22136u, 22144u, 22148u, 22156u, 22162u,
1030          22166u, 22184u, 22186u, 22204u, 22208u, 22216u, 22232u, 22258u,
1031          22262u, 22268u, 22276u, 22298u, 22318u, 22334u, 22342u, 22346u,
1032          22352u, 22376u, 22382u, 22396u, 22408u, 22424u, 22426u, 22438u,
1033          22442u, 22456u, 22466u, 22468u, 22472u, 22484u, 22502u, 22534u,
1034          22544u, 22558u, 22582u, 22594u, 22634u, 22642u, 22676u, 22688u,
1035          22702u, 22706u, 22724u, 22726u, 22754u, 22766u, 22786u, 22792u,
1036          22802u, 22804u, 22844u, 22862u, 22876u, 22888u, 22892u, 22928u,
1037          22934u, 22936u, 22958u, 22964u, 22978u, 22988u, 23012u, 23054u,
1038          23056u, 23072u, 23074u, 23108u, 23116u, 23122u, 23126u, 23128u,
1039          23132u, 23146u, 23186u, 23194u, 23206u, 23212u, 23236u, 23254u,
1040          23258u, 23264u, 23266u, 23272u, 23276u, 23278u, 23282u, 23284u,
1041          23308u, 23318u, 23326u, 23332u, 23338u, 23348u, 23362u, 23368u,
1042          23384u, 23402u, 23416u, 23434u, 23458u, 23462u, 23468u, 23474u,
1043          23482u, 23486u, 23506u, 23516u, 23522u, 23534u, 23536u, 23548u,
1044          23552u, 23566u, 23572u, 23578u, 23584u, 23588u, 23602u, 23618u,
1045          23654u, 23668u, 23674u, 23678u, 23692u, 23696u, 23702u, 23726u,
1046          23734u, 23738u, 23758u, 23768u, 23782u, 23794u, 23828u, 23836u,
1047          23846u, 23852u, 23858u, 23864u, 23878u, 23882u, 23896u, 23908u,
1048          23914u, 23924u, 23942u, 23956u, 23966u, 23978u, 23984u, 23986u,
1049          23992u, 23998u, 24026u, 24028u, 24032u, 24056u, 24062u, 24064u,
1050          24068u, 24076u, 24092u, 24098u, 24118u, 24122u, 24124u, 24134u,
1051          24136u, 24146u, 24154u, 24218u, 24224u, 24232u, 24244u, 24248u,
1052          24262u, 24274u, 24284u, 24286u, 24298u, 24304u, 24314u, 24332u,
1053          24356u, 24362u, 24364u, 24374u, 24382u, 24388u, 24404u, 24424u,
1054          24428u, 24442u, 24448u, 24454u, 24466u, 24472u, 24476u, 24482u,
1055          24484u, 24488u, 24496u, 24518u, 24524u, 24532u, 24536u, 24538u,
1056          24554u, 24572u, 24586u, 24592u, 24614u, 24628u, 24638u, 24652u,
1057          24656u, 24662u, 24664u, 24668u, 24682u, 24692u, 24704u, 24712u,
1058          24728u, 24736u, 24746u, 24754u, 24778u, 24818u, 24824u, 24836u,
1059          24838u, 24844u, 24862u, 24866u, 24868u, 24872u, 24902u, 24904u,
1060          24934u, 24938u, 24946u, 24964u, 24976u, 24988u, 24992u, 24994u,
1061          24998u, 25012u, 25048u, 25064u, 25082u, 25084u, 25096u, 25106u,
1062          25112u, 25124u, 25142u, 25144u, 25162u, 25168u, 25174u, 25196u,
1063          25214u, 25252u, 25258u, 25268u, 25286u, 25288u, 25298u, 25306u,
1064          25312u, 25328u, 25352u, 25366u, 25372u, 25376u, 25382u, 25396u,
1065          25412u, 25436u, 25442u, 25454u, 25462u, 25474u, 25484u, 25498u,
1066          25544u, 25546u, 25562u, 25564u, 25586u, 25592u, 25594u, 25604u,
1067          25606u, 25616u, 25618u, 25624u, 25628u, 25648u, 25658u, 25664u,
1068          25694u, 25702u, 25708u, 25714u, 25718u, 25748u, 25756u, 25762u,
1069          25768u, 25774u, 25796u, 25832u, 25834u, 25838u, 25846u, 25852u,
1070          25858u, 25862u, 25876u, 25888u, 25898u, 25918u, 25922u, 25924u,
1071          25928u, 25958u, 25964u, 25978u, 25994u, 26006u, 26036u, 26038u,
1072          26042u, 26048u, 26056u, 26086u, 26096u, 26104u, 26138u, 26156u,
1073          26168u, 26176u, 26198u, 26218u, 26222u, 26236u, 26246u, 26266u,
1074          26272u, 26276u, 26278u, 26288u, 26302u, 26306u, 26332u, 26338u,
1075          26374u, 26386u, 26404u, 26408u, 26416u, 26422u, 26426u, 26432u,
1076          26434u, 26462u, 26468u, 26474u, 26498u, 26506u, 26516u, 26542u,
1077          26548u, 26572u, 26576u, 26584u, 26608u, 26618u, 26638u, 26642u,
1078          26644u, 26654u, 26668u, 26684u, 26686u, 26692u, 26698u, 26702u,
1079          26708u, 26716u, 26734u, 26762u, 26776u, 26782u, 26798u, 26812u,
1080          26818u, 26822u, 26828u, 26834u, 26842u, 26846u, 26848u, 26852u,
1081          26864u, 26866u, 26878u, 26884u, 26896u, 26924u, 26926u, 26932u,
1082          26944u, 26954u, 26968u, 26972u, 27016u, 27022u, 27032u, 27034u,
1083          27046u, 27058u, 27088u, 27092u, 27104u, 27106u, 27112u, 27122u,
1084          27134u, 27136u, 27146u, 27148u, 27158u, 27164u, 27172u, 27182u,
1085          27188u, 27202u, 27218u, 27226u, 27232u, 27244u, 27254u, 27256u,
1086          27266u, 27274u, 27286u, 27296u, 27314u, 27322u, 27326u, 27328u,
1087          27332u, 27358u, 27364u, 27386u, 27392u, 27406u, 27416u, 27422u,
1088          27424u, 27452u, 27458u, 27466u, 27512u, 27518u, 27524u, 27542u,
1089          27548u, 27554u, 27562u, 27568u, 27578u, 27596u, 27598u, 27604u,
1090          27616u, 27634u, 27644u, 27652u, 27664u, 27694u, 27704u, 27706u,
1091          27716u, 27718u, 27722u, 27728u, 27746u, 27748u, 27752u, 27772u,
1092          27784u, 27788u, 27794u, 27802u, 27836u, 27842u, 27848u, 27872u,
1093          27884u, 27892u, 27928u, 27944u, 27946u, 27952u, 27956u, 27958u,
1094          27962u, 27968u, 27988u, 27994u, 28018u, 28022u, 28024u, 28028u,
1095          28046u, 28066u, 28072u, 28094u, 28102u, 28148u, 28166u, 28168u,
1096          28184u, 28204u, 28226u, 28228u, 28252u, 28274u, 28276u, 28292u,
1097          28316u, 28336u, 28352u, 28354u, 28358u, 28366u, 28376u, 28378u,
1098          28388u, 28402u, 28406u, 28414u, 28432u, 28436u, 28444u, 28448u,
1099          28462u, 28472u, 28474u, 28498u, 28514u, 28522u, 28528u, 28544u,
1100          28564u, 28574u, 28576u, 28582u, 28586u, 28616u, 28618u, 28634u,
1101          28666u, 28672u, 28684u, 28694u, 28718u, 28726u, 28738u, 28756u,
1102          28772u, 28774u, 28786u, 28792u, 28796u, 28808u, 28814u, 28816u,
1103          28844u, 28862u, 28864u, 28886u, 28892u, 28898u, 28904u, 28906u,
1104          28912u, 28928u, 28942u, 28948u, 28978u, 28994u, 28996u, 29006u,
1105          29008u, 29012u, 29024u, 29026u, 29038u, 29048u, 29062u, 29068u,
1106          29078u, 29086u, 29114u, 29116u, 29152u, 29158u, 29174u, 29188u,
1107          29192u, 29212u, 29236u, 29242u, 29246u, 29254u, 29258u, 29276u,
1108          29284u, 29288u, 29302u, 29306u, 29312u, 29314u, 29338u, 29354u,
1109          29368u, 29372u, 29398u, 29414u, 29416u, 29426u, 29458u, 29464u,
1110          29468u, 29474u, 29486u, 29492u, 29528u, 29536u, 29548u, 29552u,
1111          29554u, 29558u, 29566u, 29572u, 29576u, 29596u, 29608u, 29618u,
1112          29642u, 29654u, 29656u, 29668u, 29678u, 29684u, 29696u, 29698u,
1113          29704u, 29722u, 29726u, 29732u, 29738u, 29744u, 29752u, 29776u,
1114          29782u, 29792u, 29804u, 29834u, 29848u, 29858u, 29866u, 29878u,
1115          29884u, 29894u, 29906u, 29908u, 29926u, 29932u, 29936u, 29944u,
1116          29948u, 29972u, 29992u, 29996u, 30004u, 30014u, 30026u, 30034u,
1117          30046u, 30062u, 30068u, 30082u, 30086u, 30094u, 30098u, 30116u,
1118          30166u, 30172u, 30178u, 30182u, 30188u, 30196u, 30202u, 30212u,
1119          30238u, 30248u, 30254u, 30256u, 30266u, 30268u, 30278u, 30284u,
1120          30322u, 30334u, 30338u, 30346u, 30356u, 30376u, 30382u, 30388u,
1121          30394u, 30412u, 30422u, 30424u, 30436u, 30452u, 30454u, 30466u,
1122          30478u, 30482u, 30508u, 30518u, 30524u, 30544u, 30562u, 30602u,
1123          30614u, 30622u, 30632u, 30644u, 30646u, 30664u, 30676u, 30686u,
1124          30688u, 30698u, 30724u, 30728u, 30734u, 30746u, 30754u, 30758u,
1125          30788u, 30794u, 30796u, 30802u, 30818u, 30842u, 30866u, 30884u,
1126          30896u, 30908u, 30916u, 30922u, 30926u, 30934u, 30944u, 30952u,
1127          30958u, 30962u, 30982u, 30992u, 31018u, 31022u, 31046u, 31052u,
1128          31054u, 31066u, 31108u, 31126u, 31132u, 31136u, 31162u, 31168u,
1129          31196u, 31202u, 31204u, 31214u, 31222u, 31228u, 31234u, 31244u,
1130          31252u, 31262u, 31264u, 31286u, 31288u, 31292u, 31312u, 31316u,
1131          31322u, 31358u, 31372u, 31376u, 31396u, 31418u, 31424u, 31438u,
1132          31444u, 31454u, 31462u, 31466u, 31468u, 31472u, 31486u, 31504u,
1133          31538u, 31546u, 31568u, 31582u, 31592u, 31616u, 31622u, 31624u,
1134          31634u, 31636u, 31642u, 31652u, 31678u, 31696u, 31706u, 31724u,
1135          31748u, 31766u, 31768u, 31792u, 31832u, 31834u, 31838u, 31844u,
1136          31846u, 31852u, 31862u, 31888u, 31894u, 31906u, 31918u, 31924u,
1137          31928u, 31964u, 31966u, 31976u, 31988u, 32012u, 32014u, 32018u,
1138          32026u, 32036u, 32042u, 32044u, 32048u, 32072u, 32074u, 32078u,
1139          32114u, 32116u, 32138u, 32152u, 32176u, 32194u, 32236u, 32242u,
1140          32252u, 32254u, 32278u, 32294u, 32306u, 32308u, 32312u, 32314u,
1141          32324u, 32326u, 32336u, 32344u, 32348u, 32384u, 32392u, 32396u,
1142          32408u, 32426u, 32432u, 32438u, 32452u, 32474u, 32476u, 32482u,
1143          32506u, 32512u, 32522u, 32546u, 32566u, 32588u, 32594u, 32608u,
1144          32644u, 32672u, 32678u, 32686u, 32692u, 32716u, 32722u, 32734u,
1145          32762u, 32764u, 32782u, 32786u, 32788u, 32792u, 32812u, 32834u,
1146          32842u, 32852u, 32854u, 32872u, 32876u, 32884u, 32894u, 32908u,
1147          32918u, 32924u, 32932u, 32938u, 32944u, 32956u, 32972u, 32984u,
1148          32998u, 33008u, 33026u, 33028u, 33038u, 33062u, 33086u, 33092u,
1149          33104u, 33106u, 33128u, 33134u, 33154u, 33176u, 33178u, 33182u,
1150          33194u, 33196u, 33202u, 33238u, 33244u, 33266u, 33272u, 33274u,
1151          33302u, 33314u, 33332u, 33334u, 33338u, 33352u, 33358u, 33362u,
1152          33364u, 33374u, 33376u, 33392u, 33394u, 33404u, 33412u, 33418u,
1153          33428u, 33446u, 33458u, 33464u, 33478u, 33482u, 33488u, 33506u,
1154          33518u, 33544u, 33548u, 33554u, 33568u, 33574u, 33584u, 33596u,
1155          33598u, 33602u, 33604u, 33614u, 33638u, 33646u, 33656u, 33688u,
1156          33698u, 33706u, 33716u, 33722u, 33724u, 33742u, 33754u, 33782u,
1157          33812u, 33814u, 33832u, 33836u, 33842u, 33856u, 33862u, 33866u,
1158          33874u, 33896u, 33904u, 33934u, 33952u, 33962u, 33988u, 33992u,
1159          33994u, 34016u, 34024u, 34028u, 34036u, 34042u, 34046u, 34072u,
1160          34076u, 34088u, 34108u, 34126u, 34132u, 34144u, 34154u, 34172u,
1161          34174u, 34178u, 34184u, 34186u, 34198u, 34226u, 34232u, 34252u,
1162          34258u, 34274u, 34282u, 34288u, 34294u, 34298u, 34304u, 34324u,
1163          34336u, 34342u, 34346u, 34366u, 34372u, 34388u, 34394u, 34426u,
1164          34436u, 34454u, 34456u, 34468u, 34484u, 34508u, 34514u, 34522u,
1165          34534u, 34568u, 34574u, 34594u, 34616u, 34618u, 34634u, 34648u,
1166          34654u, 34658u, 34672u, 34678u, 34702u, 34732u, 34736u, 34744u,
1167          34756u, 34762u, 34778u, 34798u, 34808u, 34822u, 34826u, 34828u,
1168          34844u, 34856u, 34858u, 34868u, 34876u, 34882u, 34912u, 34924u,
1169          34934u, 34948u, 34958u, 34966u, 34976u, 34982u, 34984u, 34988u,
1170          35002u, 35012u, 35014u, 35024u, 35056u, 35074u, 35078u, 35086u,
1171          35114u, 35134u, 35138u, 35158u, 35164u, 35168u, 35198u, 35206u,
1172          35212u, 35234u, 35252u, 35264u, 35266u, 35276u, 35288u, 35294u,
1173          35312u, 35318u, 35372u, 35378u, 35392u, 35396u, 35402u, 35408u,
1174          35422u, 35446u, 35452u, 35464u, 35474u, 35486u, 35492u, 35516u,
1175          35528u, 35546u, 35554u, 35572u, 35576u, 35578u, 35582u, 35584u,
1176          35606u, 35614u, 35624u, 35626u, 35638u, 35648u, 35662u, 35668u,
1177          35672u, 35674u, 35686u, 35732u, 35738u, 35744u, 35746u, 35752u,
1178          35758u, 35788u, 35798u, 35806u, 35812u, 35824u, 35828u, 35842u,
1179          35848u, 35864u, 35876u, 35884u, 35894u, 35914u, 35932u, 35942u,
1180          35948u, 35954u, 35966u, 35968u, 35978u, 35992u, 35996u, 35998u,
1181          36002u, 36026u, 36038u, 36046u, 36064u, 36068u, 36076u, 36092u,
1182          36106u, 36118u, 36128u, 36146u, 36158u, 36166u, 36184u, 36188u,
1183          36202u, 36206u, 36212u, 36214u, 36236u, 36254u, 36262u, 36272u,
1184          36298u, 36302u, 36304u, 36328u, 36334u, 36338u, 36344u, 36356u,
1185          36382u, 36386u, 36394u, 36404u, 36422u, 36428u, 36442u, 36452u,
1186          36464u, 36466u, 36478u, 36484u, 36488u, 36496u, 36508u, 36524u,
1187          36526u, 36536u, 36542u, 36544u, 36566u, 36568u, 36572u, 36586u,
1188          36604u, 36614u, 36626u, 36646u, 36656u, 36662u, 36664u, 36668u,
1189          36682u, 36694u, 36698u, 36706u, 36716u, 36718u, 36724u, 36758u,
1190          36764u, 36766u, 36782u, 36794u, 36802u, 36824u, 36832u, 36862u,
1191          36872u, 36874u, 36898u, 36902u, 36916u, 36926u, 36946u, 36962u,
1192          36964u, 36968u, 36988u, 36998u, 37004u, 37012u, 37016u, 37024u,
1193          37028u, 37052u, 37058u, 37072u, 37076u, 37108u, 37112u, 37118u,
1194          37132u, 37138u, 37142u, 37144u, 37166u, 37226u, 37228u, 37234u,
1195          37258u, 37262u, 37276u, 37294u, 37306u, 37324u, 37336u, 37342u,
1196          37346u, 37376u, 37378u, 37394u, 37396u, 37418u, 37432u, 37448u,
1197          37466u, 37472u, 37508u, 37514u, 37532u, 37534u, 37544u, 37552u,
1198          37556u, 37558u, 37564u, 37588u, 37606u, 37636u, 37642u, 37648u,
1199          37682u, 37696u, 37702u, 37754u, 37756u, 37772u, 37784u, 37798u,
1200          37814u, 37822u, 37852u, 37856u, 37858u, 37864u, 37874u, 37886u,
1201          37888u, 37916u, 37922u, 37936u, 37948u, 37976u, 37994u, 38014u,
1202          38018u, 38026u, 38032u, 38038u, 38042u, 38048u, 38056u, 38078u,
1203          38084u, 38108u, 38116u, 38122u, 38134u, 38146u, 38152u, 38164u,
1204          38168u, 38188u, 38234u, 38252u, 38266u, 38276u, 38278u, 38302u,
1205          38306u, 38308u, 38332u, 38354u, 38368u, 38378u, 38384u, 38416u,
1206          38428u, 38432u, 38434u, 38444u, 38446u, 38456u, 38458u, 38462u,
1207          38468u, 38474u, 38486u, 38498u, 38512u, 38518u, 38524u, 38552u,
1208          38554u, 38572u, 38578u, 38584u, 38588u, 38612u, 38614u, 38626u,
1209          38638u, 38644u, 38648u, 38672u, 38696u, 38698u, 38704u, 38708u,
1210          38746u, 38752u, 38762u, 38774u, 38776u, 38788u, 38792u, 38812u,
1211          38834u, 38846u, 38848u, 38858u, 38864u, 38882u, 38924u, 38936u,
1212          38938u, 38944u, 38956u, 38978u, 38992u, 39002u, 39008u, 39014u,
1213          39016u, 39026u, 39044u, 39058u, 39062u, 39088u, 39104u, 39116u,
1214          39124u, 39142u, 39146u, 39148u, 39158u, 39166u, 39172u, 39176u,
1215          39182u, 39188u, 39194u
1216       }};
1217 
1218       if(n <= b1)
1219          return a1[n];
1220       if(n <= b2)
1221          return a2[n - b1 - 1];
1222       if(n >= b3)
1223       {
1224          return boost::math::policies::raise_domain_error<boost::uint32_t>(
1225             "boost::math::prime<%1%>", "Argument n out of range: got %1%", n, pol);
1226       }
1227       return static_cast<boost::uint32_t>(a3[n - b2 - 1]) + 0xFFFFu;
1228    }
1229 
1230    inline BOOST_MATH_CONSTEXPR_TABLE_FUNCTION boost::uint32_t prime(unsigned n)
1231    {
1232       return boost::math::prime(n, boost::math::policies::policy<>());
1233    }
1234 
1235    static const unsigned max_prime = 9999;
1236 
1237 }} // namespace boost and math
1238 
1239 #endif // BOOST_MATH_SF_PRIME_HPP
1240