machine-prime 1.5.7

ne plus ultra primality testing for machine-sized integers
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240

/// Multiplicative inverse over Z/2^8
#[rustfmt::skip]
#[cfg(any(feature="lucas",feature="ssmr"))]
#[no_mangle]
pub static INV_8 : [u8; 128] = [

    0x01, 0xAB, 0xCD, 0xB7, 0x39, 0xA3, 0xC5, 0xEF, 0xF1, 0x1B, 0x3D, 0xA7, 0x29, 0x13, 0x35, 0xDF,
    0xE1, 0x8B, 0xAD, 0x97, 0x19, 0x83, 0xA5, 0xCF, 0xD1, 0xFB, 0x1D, 0x87, 0x09, 0xF3, 0x15, 0xBF,
    0xC1, 0x6B, 0x8D, 0x77, 0xF9, 0x63, 0x85, 0xAF, 0xB1, 0xDB, 0xFD, 0x67, 0xE9, 0xD3, 0xF5, 0x9F,
    0xA1, 0x4B, 0x6D, 0x57, 0xD9, 0x43, 0x65, 0x8F, 0x91, 0xBB, 0xDD, 0x47, 0xC9, 0xB3, 0xD5, 0x7F,
    0x81, 0x2B, 0x4D, 0x37, 0xB9, 0x23, 0x45, 0x6F, 0x71, 0x9B, 0xBD, 0x27, 0xA9, 0x93, 0xB5, 0x5F,
    0x61, 0x0B, 0x2D, 0x17, 0x99, 0x03, 0x25, 0x4F, 0x51, 0x7B, 0x9D, 0x07, 0x89, 0x73, 0x95, 0x3F,
    0x41, 0xEB, 0x0D, 0xF7, 0x79, 0xE3, 0x05, 0x2F, 0x31, 0x5B, 0x7D, 0xE7, 0x69, 0x53, 0x75, 0x1F,
    0x21, 0xCB, 0xED, 0xD7, 0x59, 0xC3, 0xE5, 0x0F, 0x11, 0x3B, 0x5D, 0xC7, 0x49, 0x33, 0x55, 0xFF,

];

/// Parameters that eliminate base-2 strong pseudoprimes
#[rustfmt::skip]
#[cfg(all(feature="lucas",not(feature="ssmr")))] // Makes sure that this data is excluded if any dependencies have the ssmr feature
#[no_mangle]
pub static LUCAS_PARAM : [u8;27] = [

    0x06, 0x09, 0x0B, 0x0F, 0x11, 0x15, 0x2D, 0x51, 0x54,
    0x63, 0x69, 0x78, 0x81, 0x87, 0x99, 0xA4, 0xA5, 0xAF,
    0xBA, 0xC3, 0xCC, 0xD6, 0xD8, 0xE1, 0xE7, 0xEA, 0xF1,

];


// Table of Prime Inverse (p^-1) pairs and limits of the residues of N*p^-1 where p|N
#[rustfmt::skip]
#[cfg(any(feature="lucas",feature="ssmr"))]
#[no_mangle]
pub static PRIME_TABLE : [u64;256] = [

//     3^-1 mod 2^64        2^64/3                  5^-1 mod 2^64          2^64/5
	0xAAAAAAAAAAAAAAAB ,   0x5555555555555555 ,   0xCCCCCCCCCCCCCCCD ,   0x3333333333333333 ,
	0x6DB6DB6DB6DB6DB7 ,   0x2492492492492492 ,   0x2E8BA2E8BA2E8BA3 ,   0x1745D1745D1745D1 ,
	0x4EC4EC4EC4EC4EC5 ,   0x13B13B13B13B13B1 ,   0xF0F0F0F0F0F0F0F1 ,   0xF0F0F0F0F0F0F0F  ,
	0x86BCA1AF286BCA1B ,   0xD79435E50D79435  ,   0xD37A6F4DE9BD37A7 ,   0xB21642C8590B216  ,
	0x34F72C234F72C235 ,   0x8D3DCB08D3DCB08  ,   0xEF7BDEF7BDEF7BDF ,   0x842108421084210  ,
	0x14C1BACF914C1BAD ,   0x6EB3E45306EB3E4  ,   0x8F9C18F9C18F9C19 ,   0x63E7063E7063E70  ,
	0x82FA0BE82FA0BE83 ,   0x5F417D05F417D05  ,   0x51B3BEA3677D46CF ,   0x572620AE4C415C9  ,
	0x21CFB2B78C13521D ,   0x4D4873ECADE304D  ,   0xCBEEA4E1A08AD8F3 ,   0x456C797DD49C341  ,
	0x4FBCDA3AC10C9715 ,   0x4325C53EF368EB0  ,   0xF0B7672A07A44C6B ,   0x3D226357E16ECE5  ,
	0x193D4BB7E327A977 ,   0x39B0AD12073615A  ,   0x7E3F1F8FC7E3F1F9 ,   0x381C0E070381C0E  ,
	0x9B8B577E613716AF ,   0x33D91D2A2067B23  ,   0xA3784A062B2E43DB ,   0x3159721ED7E7534  ,
	0xF47E8FD1FA3F47E9 ,   0x2E05C0B81702E05  ,   0xA3A0FD5C5F02A3A1 ,   0x2A3A0FD5C5F02A3  ,
	0x3A4C0A237C32B16D ,   0x288DF0CAC5B3F5D  ,   0xDAB7EC1DD3431B57 ,   0x27C45979C95204F  ,
	0x77A04C8F8D28AC43 ,   0x2647C69456217EC  ,   0xA6C0964FDA6C0965 ,   0x2593F69B02593F6  ,
	0x90FDBC090FDBC091 ,   0x243F6F0243F6F02  ,   0x7EFDFBF7EFDFBF7F ,   0x204081020408102  ,
	0x3E88CB3C9484E2B  ,   0x1F44659E4A42715  ,   0xE21A291C077975B9 ,   0x1DE5D6E3F8868A4  ,
	0x3AEF6CA970586723 ,   0x1D77B654B82C339  ,   0xDF5B0F768CE2CABD ,   0x1B7D6C3DDA338B2  ,
	0x6FE4DFC9BF937F27 ,   0x1B2036406C80D90  ,   0x5B4FE5E92C0685B5 ,   0x1A16D3F97A4B01A  ,
	0x1F693A1C451AB30B ,   0x1920FB49D0E228D  ,   0x8D07AA27DB35A717 ,   0x1886E5F0ABB0499  ,
	0x882383B30D516325 ,   0x17AD2208E0ECC35  ,   0xED6866F8D962AE7B ,   0x16E1F76B4337C6C  ,
	0x3454DCA410F8ED9D ,   0x16A13CD15372904  ,   0x1D7CA632EE936F3F ,   0x1571ED3C506B39A  ,
	0x70BF015390948F41 ,   0x15390948F40FEAC  ,   0xC96BDB9D3D137E0D ,   0x14CAB88725AF6E7  ,
	0x2697CC8AEF46C0F7 ,   0x149539E3B2D066E  ,   0xC0E8F2A76E68575B ,   0x13698DF3DE07479  ,
	0x687763DFDB43BB1F ,   0x125E22708092F11  ,   0x1B10EA929BA144CB ,   0x120B470C67C0D88  ,
	0x1D10C4C0478BBCED ,   0x11E2EF3B3FB8744  ,   0x63FB9AEB1FDCD759 ,   0x119453808CA29C0  ,
	0x64AFAA4F437B2E0F ,   0x112358E75D30336  ,   0xF010FEF010FEF011 ,   0x10FEF010FEF010F  ,
	0x28CBFBEB9A020A33 ,   0x105197F7D734041  ,   0xFF00FF00FF00FF01 ,   0xFF00FF00FF00FF   ,
	0xD624FD1470E99CB7 ,   0xF92FB2211855A8   ,   0x8FB3DDBD6205B5C5 ,   0xF3A0D52CBA8723   ,
	0xD57DA36CA27ACDEF ,   0xF1D48BCEE0D399   ,   0xEE70C03B25E4463D ,   0xEC979118F3FC4D   ,
	0xC5B1A6B80749CB29 ,   0xE939651FE2D8D3   ,   0x47768073C9B97113 ,   0xE79372E225FE30   ,
	0x2591E94884CE32AD ,   0xDFAC1F74346C57   ,   0xF02806ABC74BE1FB ,   0xD578E97C3F5FE5   ,
	0x7EC3E8F3A7198487 ,   0xD2BA083B445250   ,   0x58550F8A39409D09 ,   0xD161543E28E502   ,
	0xEC9E48AE6F71DE15 ,   0xCEBCF8BB5B4169   ,   0x2FF3A018BFCE8063 ,   0xC5FE740317F9D0   ,
	0x7F9EC3FCF61FE7B1 ,   0xC2780613C0309E   ,   0x89F5ABE570E046D3 ,   0xBCDD535DB1CC5B   ,
	0xDA971B23F1545AF5 ,   0xBBC8408CD63069   ,   0x79D5F00B9A7862A1 ,   0xB9A7862A0FF465   ,
	0x4DBA1DF32A128A57 ,   0xB68D31340E4307   ,   0x87530217B7747D8F ,   0xB2927C29DA5519   ,
	0x30BAAE53BB5E06DD ,   0xAFB321A1496FDF   ,   0xEE70206C12E9B5B3 ,   0xACEB0F891E6551   ,
	0xCDDE9462EC9DBE7F ,   0xAB1CBDD3E2970F   ,   0xAFB64B05EC41CF4D ,   0xA87917088E262B   ,
	0x2944FF5AEC02945  ,   0xA513FD6BB00A51   ,   0x2CB033128382DF71 ,   0xA36E71A2CB0331   ,
	0x1CCACC0C84B1C2A9 ,   0xA03C1688732B30   ,   0x19A93DB575EB3A0B ,   0x9C69169B30446D   ,
	0xCEBEEF94FA86FE2D ,   0x9BAADE8E4A2F6E   ,   0x6FAA77FB3F8DF54F ,   0x980E4156201301   ,
	0x68A58AF00975A751 ,   0x975A750FF68A58   ,   0xD56E36D0C3EFAC07 ,   0x9548E4979E0829   ,
	0xD8B44C47A8299B73 ,   0x93EFD1C50E726B   ,   0x2D9CCAF9BA70E41  ,   0x91F5BCB8BB02D9   ,
	0x985E1C023D9E879  ,   0x8F67A1E3FDC261   ,   0x2A343316C494D305 ,   0x8E2917E0E702C6   ,
	0x70CB7916AB67652F ,   0x8D8BE33F95D715   ,   0xD398F132FB10FE5B ,   0x8C55841C815ED5   ,
	0x6F2A38A6BF54FA1F ,   0x88D180CD3A4133   ,   0x211DF689B98F81D7 ,   0x869222B1ACF1CE   ,
	0xE994983E90F1EC3  ,   0x85797B917765AB   ,   0xAD671E44BED87F3B ,   0x8355ACE3C897DB   ,
	0xF9623A0516E70FC7 ,   0x824A4E60B3262B   ,   0x4B7129BE9DECE355 ,   0x80C121B28BD1BA   ,
	0x190F3B7473F62C39 ,   0x7DC9F3397D4C29   ,   0x63DACC9AAD46F9A3 ,   0x7D4ECE8FE88139   ,
	0xC1108FDA24E8D035 ,   0x79237D65BCCE50   ,   0xB77578472319BD8B ,   0x77CF53C5F7936C   ,
	0x473D20A1C7ED9DA5 ,   0x75A8ACCFBDD11E   ,   0xFBE85AF0FEA2C8FB ,   0x7467AC557C228E   ,
	0x58A1F7E6CE0F4C09 ,   0x732D70ED8DB8E9   ,   0x1A00E58C544986F3 ,   0x72C62A24C3797F   ,
	0x7194A17F55A10DC1 ,   0x7194A17F55A10D   ,   0x7084944785E33763 ,   0x6FA549B41DA7E7   ,
	0xBA10679BD84886B1 ,   0x6E8419E6F61221   ,   0xEBE9C6BB31260967 ,   0x6D68B5356C207B   ,
	0x97A3FE4BD1FF25E9 ,   0x6D0B803685C01B   ,   0x6C6388395B84D99F ,   0x6BF790A8B2D207   ,
	0x8C51DA6A1335DF6D ,   0x6AE907EF4B96C2   ,   0x46F3234475D5ADD9 ,   0x6A37991A23AEAD   ,
	0x905605CA3C619A43 ,   0x69DFBDD4295B66   ,   0xCEE8DFF304767747 ,   0x67DC4C45C8033E   ,
	0xFF99C27F00663D81 ,   0x663D80FF99C27F   ,   0xACCA407F671DDC2B ,   0x65EC17E3559948   ,
	0xE71298BAC1E12337 ,   0x654AC835CFBA5C   ,   0xFA1E94309CD09045 ,   0x645C854AE10772   ,
	0xBEBCCB8E91496B9B ,   0x6372990E5F901F   ,   0x312FA30CC7D7B8BD ,   0x6325913C07BEEF   ,
	0x6160FF9E9F006161 ,   0x6160FF9E9F0061   ,   0x6B03673B5E28152D ,   0x60CDB520E5E88E   ,
	0xFE802FFA00BFE803 ,   0x5FF4017FD005FF   ,   0xE66FE25C9E907C7B ,   0x5ED79E31A4DCCD   ,
	0x3F8B236C76528895 ,   0x5D7D42D48AC5EF   ,   0xF6F923BF01CE2C0D ,   0x5C6F35CCBA5028   ,
	0x6C3D3D98BED7C42F ,   0x5B2618EC6AD0A5   ,   0x30981EFCD4B010E7 ,   0x5A2553748E42E7 
];

// Same table as above except for 2^128
#[rustfmt::skip]
#[cfg(all(any(feature="lucas",feature="ssmr"),any(feature="wide",feature="qft")) )]
#[no_mangle]
pub static PRIME_TABLE_128 : [u128;256] = [
//    3^-1 mod 2^128                          2^128/3
    0xAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAB ,   0x55555555555555555555555555555555,
    0xCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCD ,   0x33333333333333333333333333333333,
    0xB6DB6DB6DB6DB6DB6DB6DB6DB6DB6DB7 ,   0x24924924924924924924924924924924,
    0xA2E8BA2E8BA2E8BA2E8BA2E8BA2E8BA3 ,   0x1745D1745D1745D1745D1745D1745D17,
    0xC4EC4EC4EC4EC4EC4EC4EC4EC4EC4EC5 ,   0x13B13B13B13B13B13B13B13B13B13B13,
    0xF0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F1 ,   0xF0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F ,
    0xBCA1AF286BCA1AF286BCA1AF286BCA1B ,   0xD79435E50D79435E50D79435E50D794 ,
    0x4DE9BD37A6F4DE9BD37A6F4DE9BD37A7 ,   0xB21642C8590B21642C8590B21642C85 ,
    0xC234F72C234F72C234F72C234F72C235 ,   0x8D3DCB08D3DCB08D3DCB08D3DCB08D3 ,
    0xDEF7BDEF7BDEF7BDEF7BDEF7BDEF7BDF ,   0x8421084210842108421084210842108 ,
    0xC1BACF914C1BACF914C1BACF914C1BAD ,   0x6EB3E45306EB3E45306EB3E45306EB3 ,
    0x18F9C18F9C18F9C18F9C18F9C18F9C19 ,   0x63E7063E7063E7063E7063E7063E706 ,
    0xBE82FA0BE82FA0BE82FA0BE82FA0BE83 ,   0x5F417D05F417D05F417D05F417D05F4 ,
    0x3677D46CEFA8D9DF51B3BEA3677D46CF ,   0x572620AE4C415C9882B9310572620AE ,
    0x13521CFB2B78C13521CFB2B78C13521D ,   0x4D4873ECADE304D4873ECADE304D487 ,
    0x8F2FBA9386822B63CBEEA4E1A08AD8F3 ,   0x456C797DD49C34115B1E5F75270D045 ,
    0x14FBCDA3AC10C9714FBCDA3AC10C9715 ,   0x4325C53EF368EB04325C53EF368EB04 ,
    0xC2DD9CA81E9131ABF0B7672A07A44C6B ,   0x3D226357E16ECE540F4898D5F85BB39 ,
    0x4F52EDF8C9EA5DBF193D4BB7E327A977 ,   0x39B0AD12073615A240E6C2B4481CD85 ,
    0x3F1F8FC7E3F1F8FC7E3F1F8FC7E3F1F9 ,   0x381C0E070381C0E070381C0E070381C ,
    0xD5DF984DC5ABBF309B8B577E613716AF ,   0x33D91D2A2067B23A5440CF6474A8819 ,
    0x2818ACB90F6BF3A9A3784A062B2E43DB ,   0x3159721ED7E75346F0940C565C87B5F ,
    0xD1FA3F47E8FD1FA3F47E8FD1FA3F47E9 ,   0x2E05C0B81702E05C0B81702E05C0B81 ,
    0x5F02A3A0FD5C5F02A3A0FD5C5F02A3A1 ,   0x2A3A0FD5C5F02A3A0FD5C5F02A3A0FD ,
    0xC32B16CFD7720F353A4C0A237C32B16D ,   0x288DF0CAC5B3F5DC83CD4E930288DF0 ,
    0xD0C6D5BF60EE9A18DAB7EC1DD3431B57 ,   0x27C45979C95204F88B2F392A409F116 ,
    0xA2B10BF66E0E5AEA77A04C8F8D28AC43 ,   0x2647C69456217ECDC1CB5D4EF40991F ,
    0xC0964FDA6C0964FDA6C0964FDA6C0965 ,   0x2593F69B02593F69B02593F69B02593 ,
    0xC090FDBC090FDBC090FDBC090FDBC091 ,   0x243F6F0243F6F0243F6F0243F6F0243 ,
    0xBF7EFDFBF7EFDFBF7EFDFBF7EFDFBF7F ,   0x2040810204081020408102040810204 ,
    0xF82EE6986D6F63AA03E88CB3C9484E2B ,   0x1F44659E4A427157F05DCD30DADEC75 ,
    0x21A291C077975B8FE21A291C077975B9 ,   0x1DE5D6E3F8868A4701DE5D6E3F8868A ,
    0xA2126AD1F4F31BA03AEF6CA970586723 ,   0x1D77B654B82C33917F14424D5A3E9E6 ,
    0x93C225CC74D50C06DF5B0F768CE2CABD ,   0x1B7D6C3DDA338B2AF3F920A4F089731 ,
    0x26FE4DFC9BF937F26FE4DFC9BF937F27 ,   0x1B2036406C80D901B2036406C80D901 ,
    0x685B4FE5E92C0685B4FE5E92C0685B5  ,   0x1A16D3F97A4B01A16D3F97A4B01A16D ,
    0x8BC775CA99EA03241F693A1C451AB30B ,   0x1920FB49D0E228D59857F36F825B178 ,
    0x513ED9AD38B7F3BC8D07AA27DB35A717 ,   0x1886E5F0ABB04994B1D20310DCBE157 ,
    0x133CABA736C05EB4882383B30D516325 ,   0x17AD2208E0ECC35458C93FA14B77DC7 ,
    0xE4D3AA30A02DC3EED6866F8D962AE7B  ,   0x16E1F76B4337C6CB1573D7F48F044A5 ,
    0x6FBC1C498C05A84F3454DCA410F8ED9D ,   0x16A13CD153729043E3B673FA57B0CBA ,
    0x7749B79F7F5470961D7CA632EE936F3F ,   0x1571ED3C506B39A22D9218202AE3DA7 ,
    0x90948F40FEAC6F6B70BF015390948F41 ,   0x15390948F40FEAC6F6B70BF01539094 ,
    0xBB207CC0532AE21C96BDB9D3D137E0D  ,   0x14CAB88725AF6E74F44DF833FACD51D ,
    0x7A3607B7F5B5630E2697CC8AEF46C0F7 ,   0x149539E3B2D066EA21727E120292A73 ,
    0x2F514A026D31BE7BC0E8F2A76E68575B ,   0x13698DF3DE0747953B7342BAD7F64B3 ,
    0xDD8F7F6D0EEC7BFB687763DFDB43BB1F ,   0x125E22708092F113840497889C2024B ,
    0x766A024168E18CF81B10EA929BA144CB ,   0x120B470C67C0D8875494DD0A2657F6F ,
    0xC4C0478BBCECFEE1D10C4C0478BBCED  ,   0x11E2EF3B3FB8744313011E2EF3B3FB8 ,
    0x758FEE6BAC7F735D63FB9AEB1FDCD759 ,   0x119453808CA29C046514E02328A7011 ,
    0x77F76E538C5167E64AFAA4F437B2E0F  ,   0x112358E75D30336A0AB617909A3E202 ,
    0x10FEF010FEF010FEF010FEF010FEF011 ,   0x10FEF010FEF010FEF010FEF010FEF01 ,
    0xA020A32FEFAE680828CBFBEB9A020A33 ,   0x105197F7D734041465FDF5CD0105197 ,
    0xFF00FF00FF00FF00FF00FF00FF00FF01 ,   0xFF00FF00FF00FF00FF00FF00FF00FF  ,
    0xF836826EF73D52BCD624FD1470E99CB7 ,   0xF92FB2211855A8653B605D71E2CC69  ,
    0x3CE8354B2EA1C8CD8FB3DDBD6205B5C5 ,   0xF3A0D52CBA8723363ECF76F58816D7  ,
    0x8715BA188F963302D57DA36CA27ACDEF ,   0xF1D48BCEE0D399FA5504B926BB0A64  ,
    0xB25E4463CFF13686EE70C03B25E4463D ,   0xEC979118F3FC4DA1BB9C300EC97911  ,
    0x6C69AE01D272CA3FC5B1A6B80749CB29 ,   0xE939651FE2D8D35C03A4E5947F8B63  ,
    0xF26E5C44BFC61B2347768073C9B97113 ,   0xE79372E225FE30D91A3BB4039E4DCB  ,
    0xB07DD0D1B15D7CF12591E94884CE32AD ,   0xDFAC1F74346C575F3C49647A522133  ,
    0xD2F87EBFCAA1C5A0F02806ABC74BE1FB ,   0xD578E97C3F5FE550E2D078140355E3  ,
    0xBE25DD6D7AA646CA7EC3E8F3A7198487 ,   0xD2BA083B445250AB3726B02782E18B  ,
    0xBC1D71AFD8BDC03458550F8A39409D09 ,   0xD161543E28E5027423FCBA7AAF075C  ,
    0x2ED6D05A72ACD1F7EC9E48AE6F71DE15 ,   0xCEBCF8BB5B4169CAB347DFB27922B9  ,
    0x62FF3A018BFCE8062FF3A018BFCE8063 ,   0xC5FE740317F9D00C5FE740317F9D00  ,
    0x3FCF61FE7B0FF3D87F9EC3FCF61FE7B1 ,   0xC2780613C0309E0184F00C2780613C  ,
    0x398B6F668C2C43DF89F5ABE570E046D3 ,   0xBCDD535DB1CC5B7B3461621EFC4FAD  ,
    0x8C1A682913CE1ECEDA971B23F1545AF5 ,   0xBBC8408CD63069A0A44F387B3B6A5C  ,
    0xB9A7862A0FF465879D5F00B9A7862A1  ,   0xB9A7862A0FF465879D5F00B9A7862A  ,
    0xE7C13F77161B18F54DBA1DF32A128A57 ,   0xB68D31340E4307D8111D3C9CE15648  ,
    0x73186A06F9B8D9A287530217B7747D8F ,   0xB2927C29DA5519CF2BF20C8E4CBAF1  ,
    0x7C39A6C708EC18B530BAAE53BB5E06DD ,   0xAFB321A1496FDF0E69B1C23B062D4C  ,
    0x37634AF9EBBC742DEE70206C12E9B5B3 ,   0xACEB0F891E6551BB1A57CF5DE3A16F  ,
    0x503578FB5236CF34CDDE9462EC9DBE7F ,   0xAB1CBDD3E2970F5F950E095B926196  ,
    0xBCDFC0D2975CCAB1AFB64B05EC41CF4D ,   0xA87917088E262B6F37F034A5D732AC  ,
    0xF5AEC02944FF5AEC02944FF5AEC02945 ,   0xA513FD6BB00A513FD6BB00A513FD6B  ,
    0xC7D208F00A36E71A2CB033128382DF71 ,   0xA36E71A2CB033128382DF70FF5C918  ,
    0xD38F55C0280F05A21CCACC0C84B1C2A9 ,   0xA03C1688732B303212C70AA3FD7F0F  ,
    0xCA3BE03AA7687A3219A93DB575EB3A0B ,   0x9C69169B30446DF9E3E51DF01D53B4  ,
    0x6A69CE2344B66C3CCEBEEF94FA86FE2D ,   0x9BAADE8E4A2F6E0FCF5A9A7388D12D  ,
    0xFECFE37D53BFD9FC6FAA77FB3F8DF54F ,   0x980E4156201301C82AC40260390558  ,
    0xA58AF00975A750FF68A58AF00975A751 ,   0x975A750FF68A58AF00975A750FF68A,
    0xDC6DA187DF580DFED56E36D0C3EFAC07 ,   0x9548E4979E0829FC804AA4724BCF04,
    0x8FE44308AB0D4A8BD8B44C47A8299B73 ,   0x93EFD1C50E726B7C3E692C7F221845,
    0xF1BF0091F5BCB8BB02D9CCAF9BA70E41 ,   0x91F5BCB8BB02D9CCAF9BA70E40FF6E,
    0x5E1C023D9E878FF70985E1C023D9E879 ,   0x8F67A1E3FDC261787008F67A1E3FDC,
    0x7880D53DA3D15A842A343316C494D305 ,   0x8E2917E0E702C6CD7764830DE20354,
    0x1DDB81EF699B5E8C70CB7916AB67652F ,   0x8D8BE33F95D715904F9EAFD3C448FC,
    0xF364512170607ACAD398F132FB10FE5B ,   0x8C55841C815ED5CA47436D1679B228,
    0xADB1F8848AF4C6D06F2A38A6BF54FA1F ,   0x88D180CD3A4133D761CDC312B4A49C,
    0xD9A0541B55AF0C17211DF689B98F81D7 ,   0x869222B1ACF1CE965742C27F3624CB,
    0x673BF5928258A2AC0E994983E90F1EC3 ,   0x85797B917765AB891FCDF271A97339,
    0xDDA093C0628041AAD671E44BED87F3B  ,   0x8355ACE3C897DB0FE75FEF954A6386,
    0xA9FCF24229BBCD1AF9623A0516E70FC7 ,   0x824A4E60B3262BC4F6547C2ED2B42A,
    0xCBB18A4F7732CC324B7129BE9DECE355 ,   0x80C121B28BD1BA97E3D5C0A0F16A1F,
    0x1F727CCE5F530A5190F3B7473F62C39  ,   0x7DC9F3397D4C294643CEDD1CFD8B0E,
    0x6DA4F4BDEB71121C63DACC9AAD46F9A3 ,   0x7D4ECE8FE88139450467C5430F2C8B,
    0x4D9ABC552CF42B88C1108FDA24E8D035 ,   0x79237D65BCCE507191458F61016B6A,
    0x141FD3124095C328B77578472319BD8B ,   0x77CF53C5F7936C1C1497A266068D56,
    0xDDFD3E0BF3218D19473D20A1C7ED9DA5 ,   0x75A8ACCFBDD11ECB253A5EADBB0F2A,
    0xDB2B3278F3B910D2FBE85AF0FEA2C8FB ,   0x7467AC557C228EC72960DA42632048,
    0xCB5C3B636E3A7D1358A1F7E6CE0F4C09 ,   0x732D70ED8DB8E9F44D6287DF9B383D,
    0x1BCBFE34E7576CF21A00E58C544986F3 ,   0x72C62A24C3797FC69CEAED9E43401C,
    0x6B5E80AA5EF23F007194A17F55A10DC1 ,   0x7194A17F55A10DC0FF8E6B5E80AA5E,
    0x9A628FEB11022E3A7084944785E33763 ,   0x6FA549B41DA7E793D7E099834557A8,
    0xBE61909EDDE53C01BA10679BD84886B1 ,   0x6E8419E6F61221AC3FE45EF986427B,
    0x4FEB7C5E05FBB9E8EBE9C6BB31260967 ,   0x6D68B5356C207B15CBDC19A48A7885,
    0x1FF25E8FF92F47FC97A3FE4BD1FF25E9 ,   0x6D0B803685C01B42E00DA17006D0B8,
    0x30143E6B1FA187616C6388395B84D99F ,   0x6BF790A8B2D20797682BDC92C488A5,
    0xD49154C6C94AC0F08C51DA6A1335DF6D ,   0x6AE907EF4B96C29C307197986E4050,
    0x9B9771454A44E00D46F3234475D5ADD9 ,   0x6A37991A23AEAD6EC7FCAE43372EE2,
    0x3ABA1B4BAEF0B2A9905605CA3C619A43 ,   0x69DFBDD4295B6626E027B3E72F8F82,
    0xCC11D9DD1BFE608ECEE8DFF304767747 ,   0x67DC4C45C8033EE2622E4019F71311,
    0xFF99C27F00663D80FF99C27F00663D81 ,   0x663D80FF99C27F00663D80FF99C27F,
    0x111EA8032F60BF1AACCA407F671DDC2B ,   0x65EC17E35599480FECE3BB855FF342,
    0xDD9395F5B667AA88E71298BAC1E12337 ,   0x654AC835CFBA5C965B012FE058A16F,
    0xA7CAAED93038740AFA1E94309CD09045 ,   0x645C854AE10772DDE48EB38D8677F6,
    0x2BE5958F582E9DB7BEBCCB8E91496B9B ,   0x6372990E5F901F13CFD47DDD09B630,
    0x995E1CA8DBFB5A3D312FA30CC7D7B8BD ,   0x6325913C07BEEF58B09AEAB2EDCC1A,
    0x9F006160FF9E9F006160FF9E9F006161 ,   0x6160FF9E9F006160FF9E9F006160FF,
    0xB33CE15EE9B097416B03673B5E28152D ,   0x60CDB520E5E88E2E220851AD90D3C1,
    0xFA00BFE802FFA00BFE802FFA00BFE803 ,   0x5FF4017FD005FF4017FD005FF4017F,
    0x1C2802F6BCF18D26E66FE25C9E907C7B ,   0x5ED79E31A4DCCDFC4B93D20F8F5FF4,
    0xCF6DEC4793E72ABA3F8B236C76528895 ,   0x5D7D42D48AC5EF337DFDCF106F04BF,
    0x1E547DA72D224D44F6F923BF01CE2C0D ,   0x5C6F35CCBA502870A789918311B149,
    0x7746DA9D5FC708306C3D3D98BED7C42F ,   0x5B2618EC6AD0A5350D2C819A2B7027,
    0xCDFF4BB55916E37A30981EFCD4B010E7 ,   0x5A2553748E42E7B3F08195A7F78C80,

];