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