1 module dcrypt.pqc.sphincs.sphincs256;
2 
3 import dcrypt.bitmanip;
4 
5 import dcrypt.streamcipher.chacha;
6 import dcrypt.digests.blake: Blake512, hash;
7 
8 import dcrypt.pqc.sphincs.common;
9 import dcrypt.pqc.sphincs.sphincs;
10 
11 public alias Sphincs!(n, m, 12, 5, hash_n_n, hash_2n_n, prg) Sphincs256;
12 
13 alias ubyte[32] hash256;
14 
15 enum n = 256;			/// Bitlength of the hashes used in HORST and WOTS
16 enum hash_bytes = n/8;	/// Bytelength of the hashes used in HORST and WOTS
17 enum seed_bytes = 32;
18 enum m = 512;			/// Bitlength of the message hash.
19 enum msg_hash_bytes = m/8;
20 
21 private immutable ubyte[32] hash_const = cast(immutable (ubyte[32])) "expand 32-byte to 64-byte state!";
22 
23 static assert(is_prg!(prg, 32));
24 /// Generate a pseudo random sequence from a given seed.
25 /// 
26 /// Params:
27 /// outBuf = Output buffer of desired length.
28 /// seed = Secret key.
29 @safe @nogc pure nothrow
30 package void prg(ubyte[] outBuf, in ubyte[32] seed) {
31 	outBuf[] = 0;
32 	
33 	immutable ubyte[12] zero_nonce = 0;
34 	
35 	/// Note: The reference implementation uses a slightly different version of chacha.
36 	/// Here Chacha following RFC7539 is used. This differs by the size of counter and nonce and
37 	/// by the counters initial value. When setting the initial counter value to 0 and using
38 	/// all 0 nonce then the output of the two variants is the same for the first 2^32 blocks.
39 	
40 	ChaCha12 chacha;
41 	chacha.start(true, seed, zero_nonce, 0);
42 	chacha.processBytes(outBuf, outBuf);
43 }
44 
45 /// Test prg().
46 private unittest {
47 	ubyte[32] seed = 0;
48 	ubyte[96] expanded;
49 	
50 	prg(expanded, seed);
51 	assert(expanded == x"
52 		9bf49a6a0755f953811fce125f2683d50429c3bb49e074147e0089a52eae155f
53 		0564f879d27ae3c02ce82834acfa8c793a629f2ca0de6919610be82f411326be
54 		0bd58841203e74fe86fc71338ce0173dc628ebb719bdcbcc151585214cc089b4",
55 		"prg() failed");
56 }
57 
58 @safe @nogc pure nothrow
59 private ubyte[64] chacha_permute(in ref ubyte[64] input) {
60 	import dcrypt.streamcipher.chacha;
61 
62 	uint[16] ibuf;
63 	fromLittleEndian!uint(input, ibuf);
64 	ChaCha12.permute(ibuf);
65 	ubyte[64] output;
66 	toLittleEndian!uint(ibuf, output);
67 	return output;
68 }
69 
70 static assert(is_hash_n_n!(hash_n_n, ubyte[32]));
71 /// Note: This is called 'Hash F' in the paper.
72 @safe @nogc pure nothrow
73 package hash256 hash_n_n(in ref hash256 input) {
74 	ubyte[64] buf;
75 	// expand to 64 state
76 	buf[0..32] = input;
77 	buf[32..64] = hash_const;
78 	
79 	buf = chacha_permute(buf);
80 	
81 	return buf[0..hash_bytes];
82 }
83 
84 // Test hash_n_n.
85 private unittest {
86 	hash256 input = 0;
87 	hash256 hash = hash_n_n(input);
88 	assert(hash == x"34e1f845772d5306c1628ba05f7027bbae56e59f0d96bb26822f02456d222251");
89 }
90 
91 static assert(is_hash_2n_n!(hash_2n_n, ubyte[32]));
92 /// Note: This is called 'Hash H' in the paper.
93 @safe @nogc pure nothrow
94 package hash256 hash_2n_n(in ref hash256 m1, in ref hash256 m2) {
95 	ubyte[2*hash_bytes] buf;
96 	buf[0..hash_bytes] = m1;
97 	buf[hash_bytes..$] = hash_const;
98 	buf = chacha_permute(buf);
99 	buf[0..hash_bytes] ^= m2[0..hash_bytes];
100 	buf = chacha_permute(buf);
101 	
102 	return buf[0..hash_bytes];
103 }
104 
105 // Test hash_2n_n.
106 private unittest {
107 	hash256 input0 = 1;
108 	hash256 input1 = 2;
109 	hash256 hash = hash_2n_n(input0, input1);
110 	assert(hash == x"892e3fc62101ad191fd1d725ac4ea2bba00414c05b8b245784bd03cf710270a4");
111 }
112 
113 /// Sanity test for crypto_sign.
114 unittest {
115 	ubyte[Sphincs256.secretkey_bytes] sk;
116 	ubyte[Sphincs256.publickey_bytes] pk = Sphincs256.pubkey(sk);
117 
118 	/// To generate a real keypair one could use: `Sphincs256.keypair(sk, pk)`
119 
120 	const ubyte[] message = cast (const ubyte[]) "signed message";
121 
122 	auto signature = Sphincs256.sign_detached(message, sk);
123 
124 	assert(Sphincs256.verify(message, signature, pk), "Signature verification failed!");
125 
126 	ubyte[message.length] evil_msg = message;
127 	evil_msg[$-1] ^= 1;
128 
129 	assert(!Sphincs256.verify(evil_msg, signature, pk), "Signature verification failed!");
130 }
131 
132 
133 /// Test sign_detached against a signature generated by the reference implementation.
134 unittest {
135 	ubyte[Sphincs256.secretkey_bytes] sk;
136 	ubyte[] masks = sk[seed_bytes..$-Sphincs256.sk_rand_seed_bytes];
137 
138 	for(int i = 0; i < Sphincs256.n_masks*hash_bytes; ++i) { masks[i] = cast(ubyte) (1+i/(2*hash_bytes)); }
139 	assert(sk[seed_bytes..$-Sphincs256.sk_rand_seed_bytes] == masks);
140 	immutable ubyte[8] msg = 0;
141 
142 	auto sig = Sphincs256.sign_detached(msg, sk);
143 
144 	string expected_sig = x"
145 73c1e0a8afea59487f9ac628b26428f10186753fa326a90538500488e18e2eb2
146 9051d35c11c95e0cdfe67673177c6a49c8ff9e941ebefcca91975eb73dfe86f0
147 2ff5d75959aed314ddc33cf74025e41575490669bf1c146cbbd0b5248c9585fd
148 e932c5f0313df601072f47aa57e4853be5319fe36d6a737b708484d82881435f
149 50ab8ca19884917bc2afae587e36a45dfc8410f14f45be349b353a8ff0865b35
150 964a47c2ea193722b4cc45f62a4825ecac038f946da79268cab5fad559d7f36a
151 201a024e264d8efbde380dea3922d0582f734c43ef8ed5bdbf16f7bd490394f0
152 78e5374511d2f2b78daba89714eefb8957055c2d6b00c428647e4cf824239662
153 97edf6fe7cc4b91af7fa854d06d614c53c06ab1db74d7d16bd995334c02e49dc
154 ea24244ca750807aa73055b93dd0225047acfa48b97c3b9ba1f0db2177bd076b
155 5776b49a69bd5f07202c32a8ba49459fa58f793b40b036c8f6fbd534a1526a7a
156 3bc6449b5b1e2dfc2761b9662a44ab5decf5bb5dbd0a658681fbeefb143e8a7f
157 075dfc2bcfe2f1bba658589c83da03be7e03cb2651ba0037830ef3a1b715c564
158 282aa1fca3fea8aa822232c0d3573d311160914ce68104cdebe097d2113353f4
159 ec79f182b4d3e6287d525e3f20e8423ca769511ab1535967d4a55b3f621ee8e6
160 5de878f205fe4095039444e4e079a71d6982f6dbf85706f99231dc6569aede8b
161 6b1aaa909dad1fc35f05164f514e90adba52f7f044ec89d48a7340fd0c5d6363
162 37e4928e82990f8e675b83729f92d86a167705449036c6414c16440cb7fbb2ed
163 7ebf2b8a0798f47ced1d477bd1ebaee3361cdcaaa1e51e502cf0bf2fbe4ae409
164 acc7b2e1a5a2fe0b02b7bf39aa8212841e77452a1accdc5fbae3ea500777046c
165 6d5d35a477095bdc16e52f86251e4efa72082573b88283d149b0efaef4a91af5
166 253160266c25d55ee8d48b4e45f9f3c0fcffdb0f5c2b39cc80220b86fa321050
167 4644137fd0a19a0fac23708fbca02ff0642ab40ffd56e2ffb9050c02087289cb
168 76a8a36233ff843a860b11f3dd11126564b07874cb59b64960adefab4f80c3a0
169 3ac77ec30f7a8e0915fe8a517318bbdefb1130db1d5e07f6b4afb57350bc2e97
170 d8e8d784eb7922e21b66c698bb3930273a3fbe1709c8df2e093831ac3c1671c1
171 abb8cbf00bdbf63f5202a3439f3af0ee1d519834c7cc5f4de7e6be2fff64f185
172 feec11f62479f3fa0daa93cac27869a205f1a7105b94b1a23ae3247723786216
173 b51150bb5038648ac847ceba75a3269021aa5917cc4ce28ab9376a8e60380fef
174 1ab173e3fa9e694343a5aff6e6754705a699a6520dfcc5dfe85fbb63a200bdf9
175 23e4c824f445c1f1e4cf8265084ef86848fde71ccba2e641d1ed6868aa57899b
176 493d56179bfed4638f78ec0a7d3236620754eb5e877ed3a407c8ca389600afe5
177 1ee50dc01316329d7ef7d0a772ca9188bbce2a94f89c489ec9405b7cf6213733
178 6c436f732a1565b4380f5b708f6e549f3708535c6e1710b64f43a2a6359d7812
179 de21f5ca1605696888c205a053c92c70c0a45b02aed6454545a52a0559a3eea8
180 27eb2f7fb31482fba7d5d9027469ed0c3888ed2b1a18ff937b1bf0a83808ea5d
181 65ea77ec01e248a6ae6985a0c0e4e0fd101143915433b2666479454ffbbe928e
182 c780abb582b53de49aa87f49eedb5161d48be48a099cf74bf9d5d17a42c42ea4
183 3279f55457531c7aa17574b2f1d6ac39aa29c0732364de896f818362ce5b2497
184 440bc1ecf5c52f430cd3a2e45180dcf71953045193701deefb3906fdfc32f5fb
185 fbc1b8b79d66ded7d38d4d675542452da6c681b5871493af61b2c18aa7a59236
186 be30cc3a496abc23b06aec01079727b6fb3323bb28d5b20fbb1e6a1af5ebb31b
187 d3eb84b7ba19bcb394f239b3254d3c62998661671a7e86702d0739f295b7f371
188 e5c8ba0c6af80fa1ed49494b1877325091a478eabbfd0f9ab0ad9289f93fcd8d
189 8ff31c2560411d94156ae104638e7b9e122f3914e6278dc196ff4d7246da3efc
190 72af722d8dccb409514f7383c6eda8d30ae2cf75f592e7f3e3ab405258658c85
191 3f1d8e24f456b9abda90d5d442a050b91ada84581c357126b2435a39167aa3c1
192 ecf1bd03f1808eb545f2e8e34c0da329c7f853d2e59b6c42ce098fb9ce2d6bbc
193 65c052a24bcdbc479f22ab91f80c54f9d4592c379259ae25d8f13295b89fc8dc
194 58d482ece11c4670a609e33cadc74946a7db8bf88b1a193fac9b6321ba1bf087
195 4775fb176fe0e5e4aebab20d0a224202f58392dec05779f445fefe65e53f336d
196 a3d1af533d4524246b1bf0f52873129003e92e87f46878236518286294c15caf
197 042ca56b71df67bd5c68e6f51c8b4806f9f5d7d94a8938e80c7d3b3b71c4a05b
198 f02b6221397668f62f555a5d889b5c1f72c691b5d9e6824bdff1c0c8c224154d
199 4509f64771cdf5613cb4b132f57c431c4ed3277e59c9bfb79909fab23266813e
200 365a31eb22c9723310cbd665b73714436d358a6bfe7a4ec2bee76ec5dcd487b4
201 7792fa7adddd1dc9903ae75e96fab2bb815a9e6b9826e314636ac4cdfbc341ff
202 04da239c297eae0a28a96fb45d4f455f1e93e2c6a2474684c1ed0352ac6b2107
203 6dbc50f3ddf7534ef403c307f854a6b6b3ccd58d4b77bf34253aeeb1fc05c978
204 0ce69b52822e15b6038760ccdaa379d44227ec6b9b98ac4432ef6063533dd67b
205 ab0e0af9d619b83145b458cfbb33864c4a95ed62ea25fcfd735f918905c356a3
206 6c21b636698e31ad66f1c24d3bff3fe2c0be41bd3ec839148e396c399f4c8b3a
207 3fad981c251de39954b932a3f6809883875b7196664c12e1f71544f1983a624e
208 1150f2a04602bd8529332df3f33f363bc95fa2d66470b2f4f9a270ee394dad56
209 f84c601ccbf00e7952358d00b5d3b864e98e18259d860cc8cad4321bcb3c6833
210 5aca44a2ccbc9b765f07af7c1de5a427114dcae47a2e35ba5963db721dfa892b
211 50bd616c84ded191065ba96d4f610b414ceef9a2ddd5e1bac837f3d6d640968d
212 0fb2fd46e35688897ebecf8e1ca763afdbb0374122be00d0fba3e7f6eb1fa274
213 e5ef789c696bb12aa0e53baaf321ce5191790d080e81b8fa4073768845fd5e65
214 3eb5755b1ea1b7c41d32c0f76cf806848989145254f9553554e1d54d84aa145d
215 ddce32ad2b764b1dad87ec995bf4acf2136c3e014c2d5a75204977b79150b926
216 6ad5b4bffd43c7dcf29fee35ea5abf21a7a010578cc245b1ca4a1b8c7584b859
217 c8695ef0f7320b46a79d270c21c2869f76bbeb6006dd2b38331ceb8091509533
218 a93091845288926c2260eb8de70b091ae664d7d054fcb649c6e3f8aea35c2337
219 38858bb0fc472e74e69d2656c720eb91eb33a62e414b204d55c04c62ce569f91
220 2fd9ac3ceafac66bb6d89635224d83ff477069b398c15d095965842e9d63bc72
221 5d227de20121b150cb8afe4a9828e94bd20805a6a74fe979ea8ff11eb0b5ceb2
222 05587fa150a6933545ebf078fabd50566e66603250812c66c8bb37fb576a712e
223 29811cc1477b9e2f72bbb8fe1402f3b2664a3c44e251b8a48abc1fdeefa606f9
224 9f4eed4302cb30ad9d99ef23f26f44872b50f9d916d32355ce994fcffc451e43
225 a24c528a9068122123d81548e144fde00d9424bfdfda9bcbc22652bf0d8c4af3
226 71db88e2386bdda60b6680ae45d1aa98ad44b6c2b43e1338db918f93807b991c
227 0efc59412c2deebf02b54b8794e70dc4087e9f77a78bebf18699047f5027f58a
228 2171afa1389a9b7dade6ec4b1921d9043da52fee611ad657f9b8f2680e56fa92
229 05405db2027bc17ab9e7cdacb5b36420d8a5a15af18e1bb57523191b8115a888
230 29a43dfe7e9db2483b30803f14fa977f3edf3f25a69c0818e7e0c589a968f664
231 0aaa872455f10c61b7502899272e744e1f8623213290ecd2afe68abd4b935e52
232 c9200403dbc983abf478808522eaff68203759625ad88cc2f45878a53966aa86
233 67755a13cc654cc9eb5868f999f3c22fd65173dba83094aed7bc71668a4ccfe5
234 ca242728225e1072e9e4ae686163b452a396769ae9b20be6d5ee01aab182a334
235 b8a6744d9ac454015117391136b2a3bc735b824a70c2e9446c0103450103b179
236 717f89a44e80bc0b6cf0b8bf4dfae7201fdf4b35c909e664afb129a3ce566f86
237 d9b119b22a09a118072bdffa44c7acb83d2b6182df9e1493bdb96967019f49b2
238 7fd62ee6fa3e8408ae00ddc4f2f6337bd47336f68bb06d0c852d1e9f15e0b3cf
239 12ad164503bc19735ebe6d52393d69f39364f91988da80955421dd0a71b3bf1c
240 1e2f3142af2bc7a285f93c27da037246424652b60e1d23c20addf98d4a787136
241 861204720ca452f424800f0508d291b7f5d4b0fb5e0ede27459737b03a433253
242 b861f8760143b66dec96bfc69976ce2a044162e609680c00d626db5e066d0395
243 9367f0cc25e5d31078c47cf00818ae74b7e3bdc6d1feaf6df94879531df6a7f5
244 7bfa2c965f11a3359d2254f4d07e91b4975cd5259f6b71938d7688b91f5255b4
245 31d3af04fb59bf21c6104a12cd1e94d3a05d16651089c5da8249efb23036d146
246 366c6bda5620350aced280a5d480830fa959991f1b1b8aca552279976a3a0d03
247 6218f3b7964a826bb670397263adb8999f2ebe751f4290ca3be020399a4d80a0
248 1dc9668244f13a5d875ea5c4f7732b654dd0d9f56aebd8800baffedea2329df7
249 9fc1a3432171ec997c68e9329a8af919a18efb85367547fff6d9569fc57b732e
250 0c5faab165244f85e9ac6f17651e8c557497e9940afca6f723f9378b9d0c39dc
251 efd416179fce483defe3dba790cd0f2d11dd7686bc0aba8dc76c930f1604dc72
252 921cdfce8c65ef6e8b1a1bae20b9ef3198fdd0e6417cdb023af49a1ab08f71a3
253 074bf6c1618a22bf01b8bd5f34844724002fb5695c791f74815a0b0cc4bd00e7
254 f38fd915395ce50c8cea0926c61ad953b8da9c680193922e5c240e6167089bd0
255 146631bab05bb57f2ac8eac580f29123d18b657a5e193c6e5227d2a0948ea0ee
256 40db5dc1ebe6e7e0fd6f2b8cb376eb3980a41b2ab4c05481173c347c5e5e208a
257 24553ba1764fff51170c3166347dbc60378b53b4a8036509efdc01f703537e0f
258 16a950cf86e312ea9dff54dd080ea96e7796523aa0852db0bf8262f3fdfe94e9
259 2b29b1a2e2adae967342940c595b2dde9210e7ba0d1b7b7ab0dc4688e781b3c1
260 ffccbff08c0b400d6c72217b279faa04914ade1f5ef586e3f3d18b34f9472f87
261 cacfa8ba8a54ccd2a7c7629a7cbef27aba51ca0818fd2bd804120f4f5a273ff7
262 c4e9561ac55dabd7d33734b3609c29d70a39e6c666f2a1ffa6f17eb14ba3c837
263 e7cb07e7c4e5bec964bc70493a89cbbd96d03ba08a2e12ecfdd562e64bc4afed
264 552ff3112cf1c7eac44e16c7c7cf18c9e411247b6240f8d46b54f20870c22256
265 dd419e33aba9314f79643dd3a0f2d6f09069dc78910c40356c8901e75c8638fa
266 140b309c0a71786a35204a0cf9518bf563c63b30a2dd97e0011f3bb67fd26743
267 1980665574c218876fa7dba3624f04ba76968af2d39ae257855b46fcb4a1f66c
268 2aa80c47835763628b650b6e3393f7033c172a0162b6472c287cd4688b604ab8
269 8a63d06e588dc0cc08c2a41d7a4635aeecb52fdedf0a166d80fefdcd99b2ef1f
270 cc505de2a6ce1f2bd51607ee699825a2ba1c476501bf95379aaba124d98476bf
271 e856eeebc60f2f5080b33e2559e4ab43e14219af206b018246ed40418f7c3755
272 a0e4aca7e850a79cade81533befc027dab46b9548cac250b9d3034a9a22f2dc0
273 26400309e5a87a0ac04b72827a56129d93251f6ef6687c46af06ecb9f519a6f6
274 a60a7db4337e85e4a39b828fc76090e06805713598feb837300a74db5a3e184e
275 0ce0168f67a12d2aaa85ff11d033de09bc8688e4c68d7bdc4750b00f7f53e673
276 ce0113f3da0ed98b7da09b33d14a7c6a10b16e4fcf3a8b396e79cf2c6a4a5c37
277 bd64d152ce1af372c3392bd482fa95f2828cc065e11c227c0f7726ea74e9b81f
278 e168519ea86e488133ef631dc9ee13e16a8341b3389b77c9ac96a077eb025c39
279 7b8553ae67e5a601f8ec0768cfe6ca2b9631215db704b5c0cc5d54e76f9d8374
280 212e8abae7f6882f96e695fad1fa3b09079db5757b0cfe7f373e0432f82f9918
281 c942b7e38c14e0f4cd1dfddb010b21962e9bf60a724b0bc305cffa7c1e5aa0df
282 1328cd7df4f8237ebf18003e70400851b672646131c18ffadd5b5094e849f7ef
283 603351b94560af86e4f14f29d25a90253ed8d97222afe09720ab29c110fb08a0
284 26b82e1f4e68988b0ca3fdca85595405cfb25b24acc56c8a4ac9b4b51c6a24cb
285 ea9b4786ff062bd106d9bc4b6402042672cf9b21fa3085bc387388232c3722ec
286 35bd3053d9e7dea6b345cb8b50144380e7dcfcd4079fd78029c0d61faa0e97c6
287 2d9caf19dc296371f31812afe2ab7828267b1c46054f35e61270014237c02803
288 17773110b73c15bb304742c2525fe7b587eb744e47718d59a8c887fbc2ebedb2
289 d4a6a182a618bc130be68a837739bc62dff50fe8b25d61d0d737bae7ac3990a4
290 6a245ce5165ced7747fba5559bd38d80a2c6cebfb0d2a64f22ab7ffa72c17e71
291 ed71576e00d4ae7f5cdfc77e4268c3a371739113c9be29d87ed47f193be51fea
292 9b7a251dbbf5197c5642505660b2513be2a026aff3a6b2b84dc4c18e185b8d08
293 8bd925822d04dcb5478a60a17976b65461e5c761ad477218f0ddba3d7f671779
294 601243a38aa47d7626e04c7c0f878f525799bfa6f763f7e0464c9aedfff33548
295 0eebb32e9866b605dbf17144baca7c668386ead7075b35a86595d12e07483be3
296 47df69507e20469faeb7fdf67be09ec0263597fdfa639d83bc972c29b9dc8086
297 937171064cb0bc7da77690673453d91c1d1500ad188960e237db96644948870d
298 a5212bef41001625b02526d172ca51b2e8a80b525c05efeaf0bb702b470a6405
299 ce5b1556f39c8f92ef34b132db16f28430c115c17b4ab441bbd957083eec1d3a
300 ecbd3f59392948f3e966f1ef169aabb8347498837108acbdaf0cc23af7ed6955
301 cbd9acf0eafbea2b88507518937ed4ea09a737f50083789ab2af98c3e5b795c1
302 920886123cd282b64f994986ef32cd4384bd647c47447a24a327e2eafbf848a8
303 8700aa6d6c624c49787c5f77966a6959e433eef018fe431e811301a9cd0de10c
304 dfbaf8007cb3944470c47832b2bbf432b7b0e98e4271d938b20bc61b2af5e9b5
305 aadf3d0adae35d879e9efc96f06725ece45d4db38233c7d12c073eb6d72bd686
306 24f237813d0080bb343eede66550f0fc30a819794931e2d5ec200895a2147b48
307 99d116531d4ab6d8dcf5dda42308a69b2c4675d3557bf7438e5d0692b9672fa7
308 a884b2b9d5a6bee7e2222d4fb0664d1ef153dbcf9e20d0183a3dc4b52f8dd62e
309 a0d9bf124f3eb760ec6641aa8633bf3ee484176bc5313690f591efa4cc737589
310 396e42fb13d0a5ca2e5dcfe85e9f569719bad9c9fd3524a0821be3dda1341c24
311 8aaab7e6b61b973addc1c0beebb798c07327874e72244009b285f2d23d6e20e8
312 08ccc8601de3657dcbe5d2f70596bf59bdb800881469ad367ac317ec97a8c8b2
313 488ab7ca6583a31d08bc849f0d7a1be7259f960586ee8bc04efa74886edb29a8
314 521fe4c15ad33ef2915b41f79da11445157da7d6fc0104c9cbc12244ac6ef310
315 d8153753aeaf2d25fa2b1dd71784f746de3fccb3342f50ff4e7215178285eda1
316 9dae8a98ac48d8bf2fc8e2de5453466e900d3f9a9d5d382997462b819436e566
317 ec5a120913a639960a88901cd21fd1068a2815778c9d801aaef4b6e22727ae07
318 d0e5449f15db1f3c7ac0661478c23018ea7244621a725c7340d603a01ba257af
319 69cfc9e1310e417130d70cedda35e85f753ab2df08daad8ac6e7d9567fef8748
320 4492a5adcf58918d0948b9198c6eaa39344770a3e87d3b8d4d7087aea19b84f1
321 f6b6b14d27f599ccd9033021eee60b75c1342f39af99f9ebb909801d6fc57840
322 3ee3b2cb177f24c14f5be35be976cca4edfb45aa97626314c5f49846b1b3c091
323 5629ecbcd9d5441e30e7d013a03215d7401a83c9f6da77a54c04adebd94bb9a4
324 355de48cfc215051c247f94ecb4f7116c70a3c078605a050acc869f2f705769f
325 6c6047b907f56de8aaa744a4f328cc7d5a39eb2344c17d7cd29fd5392a81c280
326 d51a066e36ffb95d4b2b8ff4dd702794e676bf115317b6100ca4a70ef07ea0f8
327 f3517c24cbaa170d6fca42197b2c192762f8ed00db8f56a072858d44e6ee4eab
328 1d0ea98475838dbd86d5325f84c56a6d29f8f5290f8652fa6f31daf7b237e54f
329 c8be22113c19831fe7d6e98f6a77879452d8b294449c13ce471fe4fa19e1d620
330 5f4a9643c2b8d4e48b34a1bc499af46b25db9fe9c878e933eaca9546a3584da1
331 a9c2e7ffc67f965149d44822689e85e475e52a8ba8bb1fdbae157ec7447a54d9
332 db76ba7f84f517e0aa06227892733188d219771317924fc0ea5ebb710c5b7d32
333 27da879bfcf8ecc3aa96ea9de117a5ece2216aeee4ba6b38cad175243a1a9264
334 b5d4122ab3f7f87059481ae98b00bec2132b86705afdffa87581777efe56f505
335 3f4a8aa925a28244b670397263adb8999f2ebe751f4290ca3be020399a4d80a0
336 1dc9668244f13a5d875ea5c4f7732b654dd0d9f56aebd8800baffedea2329df7
337 9fc1a3432171ec997c68e9329a8af919a18efb85367547fff6d9569fc57b732e
338 0c5faab165244f85e9ac6f17651e8c557497e9940afca6f723f9378b9d0c39dc
339 efd416179fce483defe3dba790cd0f2d11dd7686bc0aba8dc76c930f1604dc72
340 921cdfce8c65ef6e8b1a1bae20b9ef3198fdd0e6417cdb023af49a1ab08f71a3
341 074bf6c1618a22bf01b8bd5f34844724002fb5695c791f74815a0b0cc4bd00e7
342 f38fd915395ce50c37df224d115312ecff16ac2381a42393170300e36163c9c9
343 e888882193a7c900c9560dcfb5ccdee20af3fb858a01bb4d6093b805b48a2ed0
344 c2dc3bda4410d8f9b267992687669d8101eb1f4c07144b42e3c9838add8151e5
345 a338dcd59756d4aed810adac53886516bb4a2a5f14891fe15c8d59df14b77f31
346 15668d80e5594a3dd10faa48f0d8ec7627f2cb80710b2c20653d7cb77aa05d74
347 ab20048b126c2e41e5ad75eb66eb44cad19a0089e4cfc55ad4123f18de58f853
348 4e725ccdc64c74447f1af45b5c5502a3f75982a8ff582653225f851a6dbcbe0b
349 a000aecabe1e84dbea5e234abffeb6ae6f4bdd7aa522127a3c319629a5d9cc81
350 2b3a46630b7dd9841a89e727b8fdf524e2e288f98b6a8bdece9557af565555d4
351 7122f480149d7a7ce09500424d0797d2da4e93f6a4b4a6ec7b54a42de28525c9
352 aea6b63b55499ee405c76a31c79e1b30acc84ae6ea226d539e1da89085ef3103
353 c6e8a103ed5fca4249d9af4d864f6214d0f55ae34e23b9440c61f6c1e3a48dd3
354 6396348dd4c0c0678b4f57fc0afa637c8de7f8852dc6a9e90187698e36bb4455
355 501a7a1eda5204c3f99a9716374fa28edc7375e59e378b7f4c9fcf2a35f5649d
356 d4cc0ebc9860478aecac15d30fa756da7625f3bd9a17b0273fb5bc57f56257d9
357 b83dd4e5cc816e39256df85b87579dd96fa1bd2616d182403d18313559377033
358 b3cc28e50e96daf21b71dbfb881aac076ea08bafd4c8500ed0635d5cd2a06cc6
359 cd76ca552d8df72e5d211dc0beb1ed5704b0f77a6411f9a49a17d47bdda8ef3f
360 ad77ffc8a56c52dbac203a5567a8ef5917466bf25c1f10f8cbae023369dd26b5
361 5848cd9854c2ce7fa9e2fa7c85c107368eb46e1507169442820a7d633b692d89
362 9150fb924b4423dc8541abd160651b9fc64b100cf6ee33675db52ff47e0de26f
363 b93dd1c7d955eaeae09a4fc8aa4db7f383d6db61794e30bde77f8b76a3344595
364 821f087947c3f47df2816f56d2132f632be6b1d29dcd61ed1cc0c2b7e914f4e4
365 168a3926e2a55a1bbd31b91bd9b4af7ad9c2ac98f6ddb6fdcc6429353c5a98cb
366 bb96e95528596b2332f8820c16dd2c68dc174a50ad7359829cb93110741b9082
367 bcacb321a5b6b9a471360363d5d30c748ae78dadf038c0b69957c66854cce0db
368 06a6e297ca190298488801462eff717330faa805053961c8efaaf67d7918167f
369 8e15645dc917afe104b0e3dff6456ab88c1abb9b29d1b03b072a75312a8b4d7d
370 1cb8a754c42c1a90eb5ff50a0ce77467678d0d44a67ce3fa34af2c5b18b5fa38
371 e74f79207167ef621725f94d3e6b448282af4b6c938601649354275c8aa99028
372 f8ae28fad7c753de9d946ed1621eaac87205e48371a400d2e9d5cf115df454b8
373 5c3284810a96d0a94c04089982bd24c3f571c10c4115618fc3b5269c52e701ce
374 3236ac60959fc15839ed2586b819e12fab16e9c66492acf6f400b4a83f4d4fe8
375 c295f98e8be7f0ff09941e8af43313d755b33e9532ea23fe71f816e0ed247aa0
376 d9933f3886fbaf41011850c5c1ef1e31b4b0232852401c3727da024a42d4617f
377 c3338207ba08c2386430a80df87d24518c34f3918cb91880fd86fcdc387b2678
378 b015a8305ab42e519e7d9005a99f4b308a4d7022a49f895451ab272a42699836
379 e79d8e25034cf23f668f2e160cb83862cf5c04054ee05490c1782b393cce526f
380 d1a9a644e42ce7626bb3bc9c8a6b3abe7c131ba4b642bcc821580792cfdc223a
381 0506f2f3ef9e8403020bb6a082830f6c95e8b0f46d144b75daf08ba7554b43ea
382 edc64ee83db8b8db6716c76864a522f2aa9574b0c56708c48bf011b1d7e459e4
383 ba1c176898922b44018c4e797c6ebcaeb762ee0cb467a5bfcaabf034b16ce81b
384 44f480f51dd190736560ddb8e5f033a8bc0e5c5ce4b4c8d8db3eb03e0d95f45e
385 66fd8cfcf2c0cd214428f085422fdfe696dfdcbf3cde2e8c6a623127d0c54570
386 fc4a8ea9b5b34257ab657fa9355099c6360b66aa0231cf7a601558757a468d10
387 9ab162a47423c53e45b1db877786c79be6790fdd32db61661b5715a3b203ba1d
388 e888d7925b0bbfd5af0d3a9f9f897b8dcd4e8b86ee9d6f66f07e68b5c3f7e68a
389 db6092b15e7be81f96ff0565bd553d06655630ed7b32a43fcc5c36bbd907e803
390 8edd452e029b12b308e0b6e91e69460a848e180b50f8d780a9c8f42ae356cecd
391 aaf067a07691b6f07507dab48eaf193f2aa36c93163748e88de4bc9035295b55
392 8804ccaa3d4aa58664806180bd4c2f3c0f63996647d1538b8eea005fac7b4644
393 1730f8f6fcb6e4a3353fd1d518c5e4ad47f0fa18c4326a55ff3e13f0f9d86b8a
394 49aa1f005a4f541e06e750f27b016ec19c3631b6c183b804e3b20d62dee8d79f
395 4aa1abbab2520c48bef8374b5bfa10bb6608c39e018c060152fd96a0af6cccc8
396 b925d2a77fadf5f24b31771a3d55456be84d8362b19da116be70c0683dc2c4a4
397 879b0de7bc9b6cbda746d2220afca3b6a9551bfd5454276382fdabc5dc0f552e
398 de88122f5fe259e865e8cbc018f72badda5097bbe19b7f2325c450c39af003f4
399 ca14c9801e49f957f3ca67f85aa83199c5e301f49fba46b331c3ac43ae88d449
400 44ecbc4ba6eae3ea851bf5d90d6e7d706c4dc71fb17f022cfcbce9cb05f456b2
401 0fbc21a3b771fe0966eed59ce3647171eae59a9e131d56b562a7179f2a1e1546
402 2e73c93be9e29f1d24aaf4cf9c640c68d02738d365954d7c3193f95ac36394b6
403 d71213c1ad73d0a92f54a0d6f8dca05c7e5a53437d2bea6d66063d6b2a237d7a
404 56482b897a398813101db3aea01e845e6cc44de97ee50754da625a4fd2288649
405 7f00803985893d19644a31f2b268cd2c0c5df4968f41c86ede117acd13ec3ef2
406 42f1e2d165cc139b8948431a3cf157f2dc29ab954647baebd9006baf6a6b8574
407 b00e389fb0079fcc87dfadd16e4db014c8ea209325fb3e7712cd7c0f2dc4786a
408 c54f6533762739aadd9b42d690617bc03f2992a48f78935aa2c56184556e0154
409 a8ef63b67eb6bdbc2d7e1e4dd8238b1a5e2b3dfbb2408ce907b75497758fa1e7
410 74f9a9faf84e0664f39826d08bdfbf7c3bf230ad10423ff685884e3708a84014
411 9489e48bc9008179f88666fa3b52e56a7e683124218d5a9041b9cc046882d385
412 7fdc5a60c2d5d9fc8c00069106a5c035583dcbb0a90c22349e1fb2d5535f8513
413 7aa9489738f1881704cfe6410e3ae2c9441c72bd5b32e1426f8d9a932ee7639a
414 d917642ff652f631eb65f6588ac828804add48f69a77e8dd84d74339b77a568a
415 47bbddda6d7ff4c5c446ed2ace59998a75f512b8b6f3f9da6652cae631b2a8d5
416 c00d258dd957efb1274dedeaecae1966a733812ed09bb54ca77150f29df09964
417 3d7e190d477e7fabf4abb163022000847a9231d54ea3cae2c583a2162cecffda
418 c6fb741e0cba71aa279bd564894dc7665b98b6046fe7f815beca5fc91975ee51
419 7e7c24e3b222f433aa85a0a46c9c977b137bd6b4b279c9dc011dbc923d365d59
420 b08aa32367b708e7fa4d41f0a730ea78c9e8746bb0040f8a43a23f6507f28635
421 51e237de7ff7422f032235f224118623d457aabb6ffc78a3401d20260e7efc97
422 a79614d556a255c0f4d311b1a6787d49e7e3501f258eda001d8df0163ba94521
423 1ab0e5b9730e329aae2638906fb6ea273839a0ee7b1032dea8356d206d93f27a
424 277046df3f1a11f99a97ba16046767297bc8975c0c3b1589c5f801d225a592f9
425 adadde68470fa4c3711ab6ed6c8ec2165a1d050500aa244b2f1f3a5077e3b589
426 5408e2b3f84917c73f4f5b42b196b482972ddb1fd0e5548451c9bdbf0516dde5
427 6ef445ed17a586dd6555b878d88a2eec68e1f501e2dfc152c655e90ac20fe926
428 7e0c5900c3b7e1fc44f91407d419f46b7f988ffabbbf033d1f73186c3152ebbd
429 99f8aaf98be3b6960563ecd1072777b437e68378928821d4717ef7c9a9b9b935
430 ab9a908d5e82ea0c9a8b306fa55a813ed3bfaa71deb793018be40c5d01278286
431 87ee846f2e14593a08c39cebc309efe4e95a4dfabe376594ffc973f11641516a
432 c431781b09a90af2b9c45a4b524af92340f12657ac3715de35f002d74f87bb6c
433 b34ba1c48e5ac69e888604f53c1f231d29a45f8117bc27d22f0fb34f6028ecd2
434 21ba2af787efc5921dc0abf550f65d2993aa7de018ee54a4d6b92a7794963bf4
435 d7faade794aa269ccbc8c340251d716ef1713b2934bce59455747c22445a7901
436 e8570c2cbd3b21099ec8b13f366c35f68c5cea855a06a524aa1f217a3850e5cb
437 f1029a048243d2727d2f749b7996ad212c06ce27f9da7aaca64c613bf7c79355
438 7ff1cd5ac77156a1aec365f9671abd15ff31d4ea00ca06a35e4a8418a8d77f7b
439 b61bb064123ed2628541abd160651b9fc64b100cf6ee33675db52ff47e0de26f
440 b93dd1c7d955eaeae09a4fc8aa4db7f383d6db61794e30bde77f8b76a3344595
441 821f087947c3f47dbb3916b251ef2a66641a8150ec0262619fc63e27327f82de
442 904a969609060c8e282593572f2cc56b5ec6cd740f45325892258d75257aa6fe
443 08fda0a055258e6fbe30cc258cce6007c2d666e2d5214164891c3944c478d192
444 89e23e7e05ff1505f1788fc46a65352f5ac1f286e69ed0219ac78832b5f826c9
445 cc9f21f489f5d04796e695fad1fa3b09079db5757b0cfe7f373e0432f82f9918
446 c942b7e38c14e0f4cd1dfddb010b21962e9bf60a724b0bc305cffa7c1e5aa0df
447 1328cd7df4f8237ebf18003e70400851b672646131c18ffadd5b5094e849f7ef
448 603351b94560af86e4f14f29d25a90253ed8d97222afe09720ab29c110fb08a0
449 26b82e1f4e68988b0ca3fdca85595405cfb25b24acc56c8a4ac9b4b51c6a24cb
450 ea9b4786ff062bd106d9bc4b6402042672cf9b21fa3085bc387388232c3722ec
451 35bd3053d9e7dea6b345cb8b50144380e7dcfcd4079fd78029c0d61faa0e97c6
452 2d9caf19dc296371f61fafba7586c7a8e62fee0368d254eded452e050c1eac7c
453 a689548984bffff173aa1c45ee864490c1c5dd3f34149199afd0ab5c57dc1e80
454 9e9465a9806d630f40099f4ba6502b574ee6df0edb45eaa3edbde18c6e0406ae
455 c1641d6da7460ed89da87b58d6cbc247f2470b22c6ff2075075fe1ca245ac37b
456 893b700a7f4397aa15761b09580408fc2b06c473b5e401158b0d65c29b189912
457 ef381230f7e8379e075c998b827b71bcf6bf63ed9b8a27825074bdebb7b96b0c
458 a7860bfbe6b8b0439eb6334d414a87d461572731b6e1a7673ddfc0fee3b5efed
459 043eac6ccfb925509691f16d9e598e891a75f4f7d23a46d71716ba188d6a46aa
460 4873b5e6efd086d10dea28fef2b1635c2409dc3a1a357240b67daabc139f64d2
461 57d4db02a53192978c27ee8e304e15e4c3df9e52c42792d5dcb7716a198b03e6
462 cb6802d9c0f60b2d43ff7df5605fde04f783b301ef4ef2ccf45a4adb99093d33
463 a9b552ba2d326f6fa3ffec16c3c99d13aab85a94ece00502f51324639e6605e4
464 fc10b7d24e804501da20880695cbaf0d60c29a8ee2edb4e31bd2276f7fdc93fd
465 c0a44100bb18d71caa64b47eea96aafb1338eca27739c2d9658db1e5d7f513a9
466 8607c15ffad5e3d2ee0ca1013ad27917e0c0bcf424485e9e4374fe23e2a340c2
467 2c966488250c00744e7be40845d23ea88b7cc266330bfded2a5a8313973b4305
468 0b4b1c618fe70c5f83281199716bcfa7a5cde30b8df22d0bb1daa443df660df8
469 efbce56c1fb902e877398755b5f97f88479923b78d490779f0246f22b9c71cf3
470 cea0e2032b64f341ea387df1ae4b48984dd9ee676788ee55874883a11b4e22c8
471 45c7884812865d7219d46936d2f4b9d207b5ccf27dd20aed14d871c74bd2f70d
472 cffba7e7a6d2be1dd4cb0241a5350fdaca5a886dc6ef357efa48c901cd88c077
473 375703a36e15b19faa07325cb4bcf7679cc1f63892605fc89a3c21a967341783
474 a650646824093505ad29d1a09dd649aa3d4fd1a13cdf697565bbb4628b97c792
475 10e9bdae0db6a490646c8ec5b787e39694e82ff6a2c9f4b9f93579b53ddab3ee
476 ca772d56990594cb6b22a709fa31a04893c360f7f199d2ab0790eeb0f7acc673
477 a01b9fba38a3448c70c3cc71127ffcfaaf8869e6926424bba74270f8c9d807c6
478 539e66322953916ab0cd21c569ffc5e78a8b20c7c97e80f4dded31e898b2dc29
479 37d3d36825d373f7136fc93b665d0fa41b8e9af3f45826d3065678929e259181
480 aa2a1fafe4ec2386675fbd7fd90390eec2c34acdf5e8a0986fcf4816f6a297e0
481 742ee635689bb4b8877b081c73e961c94b6dd98701023424aaf9c4d999466e52
482 4d244361691df535e9ee78eaf2027cd1421cbc7071d6de0abfa150a3d4ac2a0b
483 21dca61f11d7199538f9c648e044b02d12263d67a6930732833af46b42f7e8e2
484 0d6a3ee3271a7b85c867e4bfc0d0b97d0ce2216b91fa2cdff2b12dd29f35dd6d
485 514a8e8f66873451217a860f780649da1ccb8b8e256d342f242545c74924e4cd
486 bb210c0b92a60f9e97fd6931ab0866855612316a2ec933df0c13f6b4470a3571
487 c1532edebf3ca23e9afd86b968386306ef98faf091f308560ea282d4f085881e
488 bf347770c9b26f01e69b2f72e36f6d8e91b3baf408068db268c98a92801c8e44
489 f9e25575b4d00cc10ff51d46b074db962132a1b29d610b1f6c2fbe0ad75e1586
490 ed1a8aa1e958bae6978827d644d4ba866e17f09b1ee03d7ebdfcb9e821685435
491 675fd429c63ca993cc97c066094972bf7ecc26a88a7c4c4b611cd6a17b98dae5
492 958f9461bbd429a7a11cadfd66eabd80ca390ca6aa2a5412318e0cb9e3ad4012
493 3900938b77b4a64e712699cd25a240a8e8f8b02efcee86b3bec3ef1d43049b5f
494 b44072396b75208b28c109075e80a3dcca6eea3a8eadb5216522f3118b1ac556
495 665643408f1c64a13f4574d8364334214a42011a49399d396a24636d7f49def9
496 be1641bd56f9f48928c0cb5f3096dd830ed1ede5aa27c4f8e631100f7359fbcf
497 999c05db47d829647eecb5477d1309d0daf02ba6fad2eacce7d637226e438d7e
498 8cd69ba0eec1715ff485f2e83fc5c6eba046349d6a43c449dfdc1bf7461b98b7
499 b7a2982adceae1531d0847c1e5ee89dc1b5c88652c79247b3c8dadc23ae0530f
500 4a92ab3292b668192931c96107fc8afbbb93d796d6837eca27d7797fe9458022
501 87ffbd96a9d048b2765c9bd346d29b04bb038cd3d6203cf6f8e8682f06c7cfe0
502 a21817d4bfc2f1f413fc96fdde7c30d1f6d524710d82db17d1e43287e3f5c7fa
503 c781d20d0985d2b1ac8c58ae078265151f5f44c0adc10e4f19f0a4230fea07d6
504 94607e4be850286a0a88901cd21fd1068a2815778c9d801aaef4b6e22727ae07
505 d0e5449f15db1f3c7ac0661478c23018ea7244621a725c7340d603a01ba257af
506 69cfc9e1310e417130d70cedda35e85f753ab2df08daad8ac6e7d9567fef8748
507 4492a5adcf58918d255ae3c9e1a8e3a52312bc1c50918a809f02176a2709e4c9
508 f08347512a1ecb18527db41d74556c30853e3528d1afa73aeaee70c382a82405
509 0634ce154a9e53b3dbd850c7ab225adee604bedda2bb92b7716dae0b4bdf376a
510 26dbe367de7897619846facd40cddd195cf0da397837ec034cc3389e35087ee3
511 a04224b539ea84703c5b4b7ec8ed92e371af95082591ccc39924eadf827cb901
512 f9a0a77c24d20df3f7ac968779cadf47750dd162561f14ea9a6eb0ceda92ee80
513 0cc66b66a42db94d0baa7a47587e11e6481c62c014ec495be5d484005e32138a
514 1614ae2732a206e69691f16d9e598e891a75f4f7d23a46d71716ba188d6a46aa
515 4873b5e6efd086d10dea28fef2b1635c2409dc3a1a357240b67daabc139f64d2
516 57d4db02a53192978c27ee8e304e15e4c3df9e52c42792d5dcb7716a198b03e6
517 cb6802d9c0f60b2d43ff7df5605fde04f783b301ef4ef2ccf45a4adb99093d33
518 a9b552ba2d326f6fb0f80c3b602eea71a01970684d4c281d3592c6faf2622b29
519 838c0c1853b8a16bc622f80755993af1e809b47e9b10eea6f45a2cb024eb4177
520 011d2978f050924796283af67955c1647dcb34323b3e92255cf07a6e295df1b0
521 64850c1c7f9cc4a5eb5fc40ab46f94a0cfb7833c7fe710bc79923512dc29d77b
522 a6955a0ac5ee303bec7946476fddaf3cb2e6429d806094cafa6baee1dab6afa0
523 c70dbfca2d0eafe48c63b8784cd09a68defdc5aa3b9451b585384cbb2bd77b92
524 43c238adcdcec4ac94e5bfd53d89a90c8267a88fb3f668caac92a391eab301c8
525 2cb0a7463e75b5c00882acb5a9abd54dd16592080a61e4a1bb269daf046a3bed
526 0c2ee81cf3a6ba5b03fc9f609592914aa9a1c0709737fdb02be505a084857628
527 4e1f7356049f5f1173baf878429c35a6e77252963af1f67f77c535ddd65b2f26
528 2a405f1b86ecd0bb8059668f902a183b8c047c3b6ecf1c5ecf0dc856872d4c6d
529 e862460ee7207bfa5fec005d96fb7247383e39919b961f312fa9181b917dd8b2
530 908df6fa25d415bf82dd9bb441dda31b7bcdd37d0cd10ab7b11ae78db0881a4b
531 d9896e681cd4aca1fe631b398508c77e5f3cbcc83b17e6c287822985d418888f
532 9de8be50643611fa23d57c463d2d6b44e2369618fe03a6b12fe9d1a343976133
533 853df91abec505018c00009de7b504084362dfe34c41fe04c34e7a46ba6a50e2
534 04ba000319f6ce3afe40a9a3570b441caace107d4c16584cb54ffdb40a2d47b6
535 55749c820bc47940f1eaa893d08a863de323f433b27235649a4dedcb52d842e7
536 0493169a0a7c413b62ccf45293e28afea04b7d2248b777dd47d2a15a6548ea81
537 b831418902cf7d202f4d3cc94eb04c407b2761ffaf25e7af7fe91b2e1938ce4b
538 6e3cc386d3dd8c26223d42b102e2c4e84970aab3a792f72a897cdeae385e2c40
539 26c3c04d922df7f6d36e96d90cc50c414b1108b9a9c9987711e9c0fe08dcf8ba
540 572fc94d60c06c9c1472964582bbb7be1cd233dd907da6a7630319606bf886fd
541 d2be76b07d1f5e72e022431874358e0c2950666fd5a01167537c6d437a96af81
542 f0e5715ae7c66b4e114172e58bd30b6de803060719b07c112f2f6fd3c5ca2021
543 8901789a26daa12648008dd14397fb6986f436072992c66c43cee485be76273b
544 9a1fa11d8ea5b3d3d8abda41080db55fa6099321181c7964b027276af5a1ecc1
545 93a3d58b1218e46dc72ed2535e8c4112774c8ba2f1736c22c142f1760fede537
546 3753b8d6aabe70a72dfe888a54cad937e0d6769d539754aefc42214c5589a66b
547 b2b8f40874c377e9ab352e59601ce0c3944bc96138d69d70f3b0fbfcaa371b8e
548 c484adc8e3c38b91e5359fa436a32167c12c2d18820eded1804119d71bdd1ffb
549 60ed7a2dd3e8aee6b0ce7bf6d5e91ba685dc66a959c94b67cddc396b75ef9318
550 fe58bae5c5f3b4802e8ec7a669098d237e18390c1db9371f8c98508d0f713a12
551 52147a149a982c2e9df3d5d613420485d187a116aea86c3578fa466dbbef1374
552 f5ba26a053ddda8f0e77e6ba98f41c8a9852d9c93dc303eb4588286855db8908
553 97ba49c720a3fdb433e284110dd0b62093554ede883e8ca8c1be572e96d99f18
554 19caff2408b3d91cdaba1543d899b5f51667176dfdd03fa79e2013f9522bd7d0
555 a48051ad467a4beb58e9357a34882956ff5d3a62eba8290f4210a2387bc0c3ff
556 14d544ddf0844c70fa76092b19c08e6234b94231f1c1e831ad4d9c2680747e14
557 06812434191e6b1a0740816fe0b46ad7b7175fb80f1358bcafcd368d4b69f377
558 79d212b9b5b19974c2789cea781451815fb404642aee289cf52bed0b50ebfa2c
559 2fe81cc5e516a5ab2dd2e07884e0ccb502d75c403145b6990c2c1394c79fc30d
560 97c3209e917919fba6f3d46af8fa03d49676d11331305e8edbc5e76d6ae5dbbe
561 acb157b7d9289933b1b243c598d750de4f8fb1be1c55625780201b6faecb3d71
562 bcc5da9ae790207fc747eb39ae1eaa65e6e33b76568f41858d458fb667f7fdba
563 107154f00132d2587c5c25a03d56c4bf0ad846ba6e41972aeafab857aeae8460
564 b323d95dab213efb5b9e4d401b62fe32469e5efa5978a6052f5a5f84762707f7
565 42bd06defde0414883859ea85dcf1bd88aedcf525e57b430487e7f98d313996a
566 c683ffe6b2ace3d5e492c755b47e3476a000f62ddb187c5892d830a4a16e039c
567 ad32a82e21139827a7a63fd8bef764246b12bef36986cc0984502d7b2c5d6a3a
568 1ff7adb951b3b65429f58a8f17e0bd3103a5175c62a376e86ec2745769440ade
569 01d407e458538fbb9acae1e33606bb22c81f0fab477c97a5ba691842ce0e53ff
570 f82c5cd3746282395179cf62299aa17869615987cf7d5882f1af03c9e1247323
571 fe66e548a481d9cce894fa59b652fa543c9c90c04b559284d40b239a4cee7c37
572 991eee151868f9fc70903eecceea0481e2423242bdf41752454f98d29124c6dd
573 f0ada6789b1c3a69f99d3480560157dbc204aabc7ab5fda892612440abe87ab7
574 9d1b00062539b0dc187273673ec3686ae8d97e5698523445f546dd632d9498a5
575 493efcb0d4e477819b8101a9ed18bf99577ca96099f4ff38a15b1b999aef81ab
576 4b632223e275db5f8fe674bfbaaf4d208a0087fb61e99e27e4b1104817860dd7
577 6110e31c8a62cb209f903542601e557c992f17fbcba1032a26011b25ff52fb20
578 d36b73aa660df10cf2a2c76b2d3fd4c4a795b6c2152f6243ef926cabec907801
579 8a031d673e4b81e2713d80636bb1bfc81a4e5c3c03200f55940e664a074999de
580 173dba3d843a7007dbadae02d2344ee641fcf8f09ffe887a542c50f5fc160d61
581 5526e8acc272e866eafd6e2262bc101abe4d19107cfa8ad9075cb1a8390e1220
582 a89c6cfde3cf28de30a6727b7df2292719c96234d72bd901fe9878c22320198c
583 cbda52050c7fbe5d24bec2b6606df9fdaf3b838ef214d097ebb28f2f45b188a4
584 df6e56c7b6617d612e10400f8cd6477780d0e67176402b0c3837354887957d07
585 f4d431a5cd545b90ed621ff47c54328d183582fe2261d6b0c79706617a404769
586 7a2accb3ddbc6c0a740ea0ffd1e8264cfae63aa88e9c9e1953a9dc45c11d0714
587 3806c95e8988e008665598ebceca01d62806969aa04071ad13e5e717d565ce91
588 0bcb65ff7aff44a98cdf6e24644760fa5a8495e5bd823bf1f66bb06937d5459b
589 b866b381e7321f45d1479995552702041f62d96c3a3b1241515321f591635540
590 a02ca8f37e48cd3ec2de59fd978c4da603e4aece774a5799ba583db5bb739a06
591 3ac80590e0a0d92ac441f81aea510c052acee345dbb3a6f1628b132d266d7692
592 59a0d6cd6f3728e1e6cb76bcdbfcccde70dfdb1532cbcee0b285882098d0ac0f
593 8edfc780d134468a0479a07fab7bbb55480dbee15d96464b9931f7356df022cb
594 96904629365fbd4d3a3ccb5e50b9cee4f11c53271ef9029768fc371855a9d91c
595 032b669d1ab3067330ce6b475d5adbda6cf0a1cedd9ac31c1728f8a187b72f11
596 0efbcb3bf8a748db5fe67b4face5e43d8e2be73bb33f2ec0a0c4bcae6ad7b12a
597 ba54908f43bdc293f7358c0d3dcdbcd7f9f2dfea3af6370834e4a13148f3bf1e
598 e9ec870e48f38821ac87b43ea77d9c5e9654912d74606f6a600783e91abab5fd
599 b9abc5520924d1638f8a2dbc60ed036d4d04654940ba311704927fe8a069bc2a
600 fa12ce8d56c93e7f36bfddc448535bb08bd4df81f5b9f89720bb048aca1c2452
601 c90fcd60bcfc970a4f620874ed1ba04cf81da9ee669602ed485281c7a75539cb
602 dc199b0e1060e766842cdae9b2c3e12be5510e826f73466b4226d8fa63611302
603 62b25c8831b1731527656f61c74bdd01539868fdef7099642ece7fcc2ec07b00
604 112b17a5022228bc0d675419e906dd75908de098de154c331029b93316186825
605 b6612c750e29a9a4e31f33d849ea93266b852e47c1ce1fd8721c3b8e4064b9c6
606 f8a940ea09faef0b9d05d4e73c3818f2fea24e6360e7cf11cb8a4695d01e7747
607 1c1c249bf2d76a9f0212e55dfde5fa443fe9912b9688b2b36682433e36454d20
608 14c74d29e737c85c0891068cbad2f7ce578c95b788322328b8c22ba68ee16b5d
609 3bd8d24982d19bf6bdb61be693edeb0bb9d2d286346871e34aa6920f09e7e3e2
610 60c06326de6453e2b33f961bba449f3dc0a192234d25a7f4a4d7f889b1a29460
611 49e2c0897669d5e28f532e0c1d5f6ea55759a98a2228572f6831f0f0dc736f94
612 80fd982a2bb2574825ffadb44cb81ee9812386f566e7bf2eaf542d861acc3988
613 eb9102dc85639ceefa91016461444bd7d8d10fec7d7d8d1e5ff36c31b41bc538
614 f64044ed041092899c7d3e5a0189f57e380c3f9b0b230462b7f88ec7a9fdb22b
615 d2f029a82e18b2138ac0a92f580af05017a0e23abd317e2b33c2077c655d0a97
616 5634045b74b5d97206b833b72d1295c4575a0b20e85abbeca271ce81ad336815
617 3892806a9408b17c854d482a5965fadd2c162513a88b6e760146d3f33aa78537
618 b09e7b7f2bcb64689a8477a4c3786ae518a2591fe5027b7d55e0cfee3bc7e3ce
619 39123a044e08fa9aab94447786d8bb1d6ed83248f10bcac0e2b421e54db9ab43
620 b4438b978d82f385de6096dc247e2fe042b6654b27738f023cd953dc3f0c760f
621 b7acba9b52f4ae3763ab501b88bf174b582616951221ced23960dcbf6a01b5eb
622 65f354f39bade746b20ae0fd18197fb6522dbe71385d0cc0a202dfd5064ff6ab
623 a24cc53e5f4579579d28636264b68c9111d08f214063a0a704e4fa31ca2d88dc
624 e75c2ef6cc57671a05536cef0de03d3fc0bde5c4c25facd68dd39ecfb893949f
625 510efc217d56889ae31994aba869ef88f677d75b956334fcc82f9ac8294a37dc
626 cfe5ab58a57160f9c6829c56d96b1cc72d2c5245a12387c89b72230d3c19a95a
627 248269b36b5797593a7f0997545ef052683d6ae23f8d712968f1c4adc28b4d9e
628 3bb8ff9141d51a9bc6fbfb2980a06e72cdc2ad2041350648717194b8e240f859
629 8e1e275864cb46788e6ff82d2da5e5d1612cc42a31eb9dd75fed7cfab3a09026
630 f81c5feab4ad525631d70d43161e46d9fabd058c011e954d482efb66e82a2f11
631 23d5accaea25f61460a69aa0d7ca14ec1633b173f9f6cfe50be13aaacdc23829
632 ab4a06aa51e451ec9e3e01a09153a4a35bd3e213bd97aa38b57351075b9b125b
633 2be443063767d844a272c054e6e3d05b63c23adc1b9493cff2c8b199ad3e36b3
634 1d4c7082857b8fae2d7c29ed377bac3eb7ca22e085bbc0d2f28e795fe7729dee
635 9ff40d728dec9f6483cc98f8b9392beec224781ed724a3d43dc7b227f0eff0a2
636 42f1fcfcd9ff5acd80cd74ca252b786f38fd1bcdff34d7c4f4a2423673c934d6
637 c6205e8e9346506cf39852c2e620aa91265a51ce66226fcb6e4d40b25600cb13
638 7745a0b883e015c302c7b8c699c2d5d832aaca961963ec184101bf99c4beebd4
639 1e3edbaf76c1e339ef0b37afc93f3d55866e89a65cf4b65791a24a23e983487f
640 d4792fb49d89c5881564ae47c52a49f85a053ea955f106d48ca19870f474d220
641 ae53023d79530a6f8d3c8d8392dc0a6ea7f3213ca565626e361a5d1eff420ac5
642 36017f95e4ae8d6d6325706c7dea2d31c2d6a0aa367058913c987f35daa527e6
643 1a0165d85bb02b70b2f74ab90ad842f02a92d98e7564b580c44374d7cefc2a47
644 c149cacecc815a5c5df6c448dc1e2a5892d804cc6931327a9cd38a02dbfa083e
645 8ab6891e5e2049ec28897f52be0c084eb062b037b6261f415bcf174fe9714039
646 26acadb08cd2f9f5719249b3406436d7c757ac39f53fd3c163aa708830e6e1c6
647 5ce1af871a3b0da13cd56bebffa566b484496b377f0e32293ed8ef36ea5c62a2
648 8b286f179074df3f28b9c1156cbe07ff466195c68c747a49abaab668d7fe48f7
649 0c643d703f1a6dd6f008649e4917f95c6ad88d6a8f1dc5e9f19e4c21fb3668ba
650 6d45ba771b001933802aa4329bbd45c56e226a3f764ac677acc0ee29314fe452
651 138dd55a1ac13820ea7aaf8942caf480f905fd9cbbb9818b230ae84952384a05
652 6ee418c5185f4ba74b072bc3b067207fb05c3d8308d565e23620ab0396814c42
653 b3f49b7c5ad032dfb0a8a232f11cb80e42b005372b163f6a9d15b4de905eaa54
654 e7b83ff8b3c88308cbcab936aea82107773e4a750258d7ec830649c9b3c8cf87
655 a4dcfa88235141f83036fc7e0f30ee0e549377d81035310cd0881c11a41714e6
656 594a76135711dd7ecea2681bb20b616e5c54efe56a7eda7f5c1cc3cf201c4bd3
657 6d46995749a1719c2084f68bc277b45251fe50d2386ac78309f0644412cb36e0
658 84fe2556270b3a32bb28575ffcda8182b6003e6b7b48cacfad1731d6148dbbae
659 617b96a645372b7168aa8436ac9ba58c978e9bba2c2a254ba5dd5a0a8ec798d5
660 f7747df121702ffce982562f4908cea8fc9d98fa017270ae217f3962301fc2d8
661 c3937d0ea361addfa9c6d7ed5f162b4aa0360bb27b5d8d79f19c84c8176bccb9
662 5abf03af655ef716f5bed7b4e4262dd9d6f1566d453aa9707084a866da645932
663 a8d8e9c09cc294c089a9e6ddef063547b700a4d084a747e801999f7ba3deab84
664 3425b464427733d1d4595054d5e1b4cb2f4b65e59094b0559f0a66fbe6e9da8e
665 495fee0f49102ced7078876c79b9b28ba55bf118d199119d73f1c4e22d691099
666 198d07a3c5e7f13213fa3530880da583e9be924708b9c199a392142b81eb1b5e
667 be730e2d6a9460e12835e717c2d313faa84a035a3b21e1e244b8d22273b9e9a2
668 663e8ef3839bebe8e18d2283bceaafde02c2d24ff2ac1095cc978f0dafd1247a
669 5edec5b2c7bd28830e9b40ae1fcab0ba3676c7452c06e9b9bf3f98640ecde149
670 9c27ebba1ff8e24e249ec70cb601376372a368530d6fef288263d7571a026c41
671 5a51feeeed1f727062e6199440369494bb9f09da69f3c2e2cf30cabccbfbb0f2
672 1c4e7b7de580972bbd2f2537baee4bc1c5a0fe36e6bdd18ab7526b9608d2fc64
673 84ca3b5b61b3550c4f7a7679b863a4ad11876b76092387f21d4510e20727b7cd
674 aa91c1b50a2c1b018b7f2feb2e7f1bab515562af74c321aaf52594c627bc9dfc
675 619c5578a3b37f7b0789890aef31d5140b9bece55928ce9e0477236f471af6bc
676 9807348d0d607e3ae675f883f882645e52c2dd502ad1ee9413dcb44c60683e52
677 a81d7fb974ecdfc0226dfd315aeb91da6467636a1417a1cf456094a1dfdf7c42
678 c4c46ff61e4fd294db04437abcb3d5a61af883e38511b4bac0eacfef1e966f19
679 a096da4b1f301fbddf034d5fcc479b989ab6d179a991d9fd272879c4c7d6e41e
680 ecc3bc28522e5bcfaf839e17185bf86e7f2fbdf7e5ded0e7bcfd9bc238f685b9
681 414eb9daa86aecc344d68a8f234e2e6aef83b06a18ee3f0a5fcbe2eadba891be
682 94791ec31c09f498f68bf4efa38cefaba29377c47e7727d4c670d110053857d2
683 7da580868afec020d100fe5ba9bf1e459de9c73cefb55d106c45c508ae90aecb
684 049e127da859e158f054f395ea366a4e6bb171fe866caf2b08bd7c63c8c75cd5
685 91eaa942d80402b3bc81873627b5533b64c52aaf68b10e2507da0c4760a0288e
686 a1af2299f403664bd51fa27b824ca0c4c58b32642872c24d0ac00e5054fd2706
687 30fdbea074545f21c03b2f3013b6bd258df33f7e0ce70f4d1f89e367acf79606
688 3dae9060c3c2650c472cfcf91a6b845dddf9e8f69755b9ce7f37e6de1e944328
689 bccbeb7f58e415fafc3985fc40eebf6a5274a79d887eb9c67449aaef5c8359e1
690 9b2a114f5c0ecad959eb2cc93d98d4aa0bb19967f70fee7e7a4521171eaeed02
691 4f3e04c75fc31cf016cc80fa006580b1d083972ca4e6fec65bdfb305f2ed9343
692 6981e4013ea4e891aecf6fc3485cc69f7ec80e4e7eec9c1ca9f715dab6e3526c
693 5ca25b15dcbb743ee2e23580c09a29bf26a9339e6f53dda6f61b59d24635671b
694 3e2b540619096e34a2cd9bbef91938b7fb0d0bf5b0afb82b1bf53352a0e75981
695 c9c6f5961053cf6abc742ecbdc91b6fefaa2e52f51b45f0a0f60ac98d6003df0
696 85ab936b707bda92586bed5a7538c619dd5fb2cdac1fd360b73379409b43f16d
697 84afd354955af10d9e4971bab57eb98f9455d5023b8c64349e183f5bc7f6ecfd
698 667c88a0f11214db027b7682a902169428f671511860f1733fdfb60a13971ea6
699 aa014705ff4bf25888e06cac9d47541de49bca49215d6f2e51a82782433bf19c
700 9ec8693c9354b93134c26482c776de218dc01cb48627bb26c1f9423e30e21f16
701 1b17444a27bda8896312a4337d87c3b46c6e376c74bda558b115e225a0afa8a3
702 fed8b6fa72e61c37042a89b6aaeef5771ff28cefd4f99521b07f0848c6a3d4d7
703 5aef2a6190a6d245083c653ba3eef859bdc076f1b3b9c94fb24fbb0d2075a34a
704 6fea619504f482a744cf8ffdef0a07ade1396a30c8efa999ef6e891fdde2cbce
705 6d66df9d90d4f493a243f0bda77bd20e30023c908c1c446a23f2831b1c2cd243
706 0aba6db2ebb7930c110cc55f644ad2840e22f264fb042c2391e23b0787abc47a
707 fa278ab694a947a7b72391c0fbf83271152bf0c8f2df6a37383bf661c80f104f
708 b43c576afb9c3faaa075c88b6a6b5e6f0a6d1f4120c85ec170eea750cfe8ab59
709 c4bb714491fd0f9b574b4cffc27facdcfb6824d907179f3bc6f55a216bcad493
710 8ffa8058d5bba48349e43b74ac875f40a350f717995ae544d5f2bb862258ee09
711 b8c843c26f62bd80118c0828a67325abe4696d3d5e84da9c46e8e79a121338d5
712 791fd987fdbd85d758041420d2c56a6d1a3bb49baefb26fd758a7c54e019cc88
713 3ed64aebb9f6a3b7c2d86320b6223f7f9547c13b1545f42cbb29a63468aa0b7e
714 bcca52f42b4e55b69818b3109a41a9c1775f17098d59c770d77f5be50baaab49
715 abb45a0b85483af6dcd76b309395fd52c2c29d6540c9fc9529e24899a39a8d42
716 89af5aa2852fa3e640809964548f1a61c03026f03c97c13513bae63abc01b690
717 c038e4e907497f86d247bd75c2ba36935f17d98ec309ce7e3f014bbca6e99800
718 6fde07a3910017e66a77675812f75028fafcd3ff4a20d46c14630039f7bcc301
719 0c6a750bfa321e8ab9f26cfb50647c3de0d794b0478a6c596a76e4fcfab4351c
720 36631f539f7db7952380f63f588cba802eb58e2e3d793148c1e0b0695fbae850
721 8799f885168e363629fc2dd599e2aae984b585bfc5a64ab4abd381231e49b50d
722 4b999e609fbfda09639779f7c8938ff7ed02a0cf91061880c511778d14d2f73a
723 6b20252bbf1f9cd04aa77fde2b99f1a7fa300b707bef8b57576de95adc15106e
724 56aa6d090c330d154ea25db7324664ce5d37217cfa1b9e20de9873dd53a3d32e
725 6011f24c094882af615f428ff7c16bb0e9dad6905053c4d366e413363294bcb1
726 a938e4ad076226441fadab1dd83627bed651679eb5cec19a5f00fea6cb3949ad
727 91c15f379482357278a3c6a5e3ba348ea478f2705eea883e624ed2e8062d6e6b
728 feecfc3f3590eac7b1a6e2c2e6ab5b8614fb65ff525b546cfa3a2f7aabcfd4bd
729 c836d769e6bd30855f82001032fbdb861b46cbc4498c5049a71de9bd8cc7be39
730 f25d5df0c9045a69a4e2ea7979b0c6e6a5dad97dea90ecbfb7880696424e9c03
731 fd80948ea33a2ceb9ab988ce2c4f08f3ba72efa1aa286939802d6148ef709aba
732 12d4ff68b4f520446850d742e833d8c47641420a63cb27f684ec93d5e81fefb8
733 b78c750227ccd63615ecbb2e01ae16661a70c682cf4243ca27aace0b384848ae
734 b0ae994e935c63e471ba1de1e646c2d1e3f3b8e0faa4bdb01940726bb58c2732
735 c83cc371699e8c2d2aaafb6da08a17653e7c187a8a44f367930ea63ccb7e7e64
736 3d45393d115ed445aa65cff1dcab40916b651730ba4e1eb7c25da59502ec9ee8
737 2b3339e27ae9c81b416a3afcb9b8b91e6debffc4408b61e227857da9f90df3ee
738 e4c1e6589cb63d4308d70c826d80f06d8764bca34ce716e3fea0586168774ee3
739 0aaff9e085f4bfc81078fd2789e1f65424bd90cad1682782552842bbce8c05ae
740 05e00f30168adb6cdf2a0717e24eda0d1a641a69f44f6f11a2bd6ec3ebafee33
741 99290ee8d147c772d07cd1d5cb8ab40a664fb66f57c11fab2aaa996dc9466039
742 7987c00c9b1ffd246109661944133c3232ee5d574948c1b9f95dba65e63de9b7
743 5fa662aefac6e1d4b17a786706f9acea6f1d7bdce0897149a1f8a80b54d44687
744 f6b568159441478508ebc4c45665715d6c13ca9752b45271cfaeea004099b53b
745 defcd302fd616f72e22f01508f8b3b0db2fcd3f5bf9cb1b6ff0e954d834c6b02
746 c6402947512e0cfa0a8fc912515b1e491fe9553fe058771dbf994e2cb38b57c2
747 6e005871861e0dc4d665dc0565081b253cfd75c442f59fbf9b84d7e5189258de
748 607159cbcb30b9495369ebc4f76c736f0923295507527b2c123db0c948410afc
749 00c4a1d1ffe15a18b3426db320b32b06fadd36b8ec81af3b49f851a20efb94c7
750 c1c24d941f0312028fa09d467e0b524750f1fbe8427d218d37ff00d00de93744
751 822ae9d629743a258a7bfe5d56cc119124896a814ca91688ff68248e829db4dc
752 1482b6987008f657c8a8ab98917f9fb561d85ba0f6af6073b1b77403514c4136
753 36c6608acfe4e03b0da4a2dfb401c719a81e5d19143a097ad1531df13dde0bba
754 8605678bb2be38e979fbbb3c74d6a6f62764638810e9bcb228c2e4f8be0387f6
755 f7571762253f234618071075f6a7ec95ed2ec209fa5e811d4316b9994011c01b
756 83c8c1638ac22f08e773a5079dcbc33d806271a2b432a4e36b3c5801e8c36366
757 e725afe3a7dd20d7b3f44b2e5080a914decea138db1fda1bc37942449700c0a6
758 cff3782348e0b60e5d2a77eefdaa39224f625e580acc2e9a4000a52abc677814
759 9d6c3d20d3746f9b3a06a8d778a6a49ff718904c0be182429be5ffc6232b3a9f
760 dc2297a520f8667f85269696b7d007ea4e6123c37bb6b43c2acb676eba046934
761 84cf49ebfa21764cfa82e172b717ce8c1060d6e02643311c9ea1f865746f2a67
762 e7cd3136797bfc6b6c8ee12d1837d2f0b402327f7dd60df26f336240efce4065
763 cf6d5bfaa9060e681b1f983d2d40527876041a15cc8b6938b9c288766c533259
764 b4ddf8885a836a51c79ff99697ccb94e56729ce8e1ad7c1a15e7b1fbc7da8a0c
765 ecf89cdd8701256484c90e67fd2e5d09148b44a9b5b0d1648a5356d83f359d44
766 9ef32403dcc610c0d2830263f43fb8bbbf497653956ca4592d30e90b82c6cb50
767 e6829d591cdcc6bb4cabe0db4c82e7f1b5bf3510f6224b6af06290021ac9baec
768 a53304378e9fb5b0888d17fbdd591986523595b18c1ceab4e3c6fad91b2f323b
769 ad2d8b0b577d76a81b88e4aae77994146c1d3ebce0e4e1a64bef3564118043b4
770 82d2d18518fd6331b9d38f1e4d24cead766ef7e811915d533dee7dc245e7a6f7
771 c20c3f2d4e11f5967140b355e46d7d03e01b0cf6231c6eccbb1bfa645e9e6793
772 42e6f30cc539fd5199b3ae2f6b6bc5ad3c8a63293b444ee678dad5ef63d25158
773 d3f2f2697ec9682f2ae21e29c9cf2e94b6aa88cd765ab6e03950285014a7c856
774 21f5f87df3417296a2cc618754a5bc4356b1ba8adf5832115cbbbebe721470c0
775 274a26d0b408771f7b4d4e0b65648ded9ac604822134aab87882197ec181bfaf
776 dcd4321cb35f129ecd12cf0682b1c8cdd3075523af86875a6fe2377461f22581
777 918a7c55201a374b9fa78df8b5e0a9772496fb924b2caf0da1a0dee268cd02bb
778 51591e383821e154790180e6ca76c9cf1eb382d681ec007cc2b86635c6656875
779 f0c48bad907f82af3cd2f55466252692b0ce29e1b787892e957f0a19f208b70b
780 550679afe8c5b0a8f4cc76d716e51837dd3d69dd604545dca54f24c38b3a5ee3
781 cb71b63e35b70a4284630529250c6973fa4d345991c2f62101bb8a9ab1624c30
782 108b49cc4581099c0107bdfa1f5334f1102b7ee634b3467380ab4176422fd0a2
783 8f79a21631d8047626ed812a1fed9f97466c5b5bd02856d98b09c3d08b992db6
784 f7785e30e7d1b8aa8be30367ca96ad5345ba3b9e2a3fd91dc4e5c59d3fbcd628
785 9e4139c302b9cb84ee0036780982005fcb38714fa7b8eb4e8fc51118ae78f669
786 9dd394a251cfb76b94f8e98f17fc39a44b1151a1b2a785f232e0d9fd8c24c829
787 91c88fc35875bc80f3c666ccfe8780b3489d0d402008fdb8b81e821bc5fb69f8
788 6f36dfe84182d24de44c37f7fc1727413b039c5555875cf59e4bb7dd480795a4
789 433103d8acede3a31d7a7e851f670d86bedce3b666db123742d9280730bc4d27
790 a52850a6ff69cae1b463a79e7807d2b0df6e60ff4090046f5be8ae632359a7f9
791 b1be73c90eb4716fbaac003b5e867e9caa2a892a11722db0da2b3ae13ca87fd6
792 987a6f24afb9c23158637dc28c71b002939bbdcf8a69a38110b7d4424ea17cfb
793 34605fcad6714b11243893d4e45e1ae077013bdcf9ec3e4d8bd7e819b5097a56
794 1c441e831082b1459c9f15afc74b88cfed0d762007f52426ea1aab8ee00463d8
795 f55589d7174855d53db8c495bbd7abbc0ed65056261ae708726df8133a88f1cc
796 cd0a89ba3898cff1f7edb3d85c1076279db6afadc63d441a8ccf393aee754add
797 de2e6c5d0baf8358b7aeac473f4c0418b95b0fb2087e32073e104e387688e5ca
798 aac175b302b493d87b4030a182490456a419a788f944efd30f935e65fd1a649d
799 64515065312371eb1f95ba0e70a9901f7a1e358de1b4661900ffdff9522d4fb1
800 47a6e0c9d72889da364b69e37fbc84f2d127f1264dc7e7a97755c5beb9271791
801 7deae38303ca97ed8725c1f04c960969cc1921e223443b39a62866cd54e966cc
802 2ba7e39f8ef5434b314fe1936a1f7b0a43108cf0ede682481e65daf9805513b7
803 799a02eb2a632114aa2ca6b73dd93862db6e98faa788e698d3d1cb467edea687
804 0a811b9074bac58fd5d8a3b9227eac229460e5b577aa6cf8bde775c0e5d89088
805 9ca96b487be623b9e00508f597d4b27d4bf07b577477626ffd298db23db4d9d2
806 1c62e2a3f83df1411dbed5f27a28239de68b3b92563587ab7e9b36aee6be684b
807 5ab2ccddd512db93a7283ea6399c6c5b220e6b0e9fa768c09f6ab6c70ee0ef2d
808 e9741b601ffd1f71065f8e24643dc7d723ee18f568def5099580a1a9d8f40310
809 730a581c7288f7a4cb4dd47fae9f53222d5a69b9c385fbeee998a84e0c830d02
810 5ee51591145b690415b06b5f2fc1bd4a43e95b01232776d7b6138b7c7f5ced2f
811 252a6b7059b29e064089c9ec101fa765cd66f5d291e80fb8e22b65c4ca8665ca
812 1c5849b207370032ccff0a84f56823aacaeb73bac6e5df66038d906a4390c092
813 8997330d04cf50659541cf2e78ad99623bfedad9d2b5980dd89a86c9da7681b4
814 2794f5040eba80e48ddaa49dd8bab643f561db6670b414fbb6e3ab96c76fde2f
815 51b839438d4077a7e03dcdab26e500b98b96e7ac0c3e54f5675ac4244b292ab1
816 72c014d4f855d3de9529c92ea292a319e21cd018ea63426e6386a67d0d21c644
817 8d034c7904ecd099253534e0769dfbeb6185b2d8212a6f591563fa4bf6eeb5fb
818 1af0f3b57274e1fdaeed6df7947768b8c78ba9b9090cb23a9ce6b451cd4c8662
819 ade7ecda92237bba1687254c7a4b5571ff75c570c323dcb92424c6f8301d69f1
820 45432e340ad6658be58df337bf2fb44c82b2dd3111327fa9b2018adab1ecc943
821 1fa50adc7570b92d4d6839d9200de1d20a6cc48fdbf68aa5d4ad38ea40ad2d12
822 470efacd40351f56a9ec23faf86e2ba1ea6bfbb95a7e0b353e3687c307d4f48a
823 7b4b8f58f14987a94ab6cdcacbb7198f9dc9f9c800cae3c05fa24e27506be7c8
824 adf8fce55ab9804dc3d44552b4c385a3fc64b14163637b5d60e2acc00040b838
825 ac7697ccedf353307073f4d6b7f78fde46d5bd0d8e990b4892ea06ae3fa54601
826 3db46f5038fb0dc91d476ead9cba742563a43af9598e962a645616b3657592a3
827 477a29c5b0cfd4c11b2561f4de96a465810d388c0a0131a148377d742b9e4496
828 41724c9846522a33cb35f1d9a85ae4f0fef921d69c6dfbe5984878eb895ff77b
829 61ba208d6240edc7cf32e7b446cdf0b8ee65b4973bd1c8620ab4610f97fbdfa8
830 952e0b427e641783bd5f0d68ab546026f748434a983535d12a43871c7d162ce5
831 f5d5ede80d1945cd04c1f39a5a9801cc834836ffd0f2c4c1ee378f1b4d0ed60b
832 b3faab47cdf6442739783974752ff5e49d8a0db2d890c78fbd3cae8eca125291
833 8b53fba25ecf63c4e3e423d5681938b16c85525b275a8ebea0eff641272628c8
834 dd30db6ef4777de2acc8a3ef69f237b033b3de83cf05c73d47a7ada0add3acce
835 37f238b1d2583ac194963c1422dddb7143bb6e4ec325a399e1ccfa8e1f228ece
836 c1885072dd81cd30091ae9c73a06b8143dee6e93e52374b015d6c809536bc14d
837 290a8df96c860551ae819718480c935a6a200f20a1095412bc43c50ad2007ce7
838 b4a24fa5ecd3b77a3a56fc2db6a0b7681270ad7408659bec097a87f7a0df27cf
839 52835a1161d7f03e85402a3e09d62613d4057505334e3dd0b3291a3822dafc7b
840 c395485844c57e2ee1a193e22c74ac91ec49c27e45ca571748b930cb696790d1
841 d7d5eb0e5a829e3394c61eedfa239907b9eca2ce63410c6f9a4a927aa7c7be20
842 4d747a8f0e0b0cfa39021fad7bb047bce10185ffe07421abdb779aebaafcd994
843 7850ed995f2f6b07897d451c2e575afe836c9814fa50b8289c954f0181263b5e
844 65ec874fd2d90608dd069c9843dd4eb88b5b3049306e82520ae9a5aa8c694eb0
845 3a9e7db34bbddda872bbf099d5b949158f94677440163fbc4c75d59e76b7c182
846 93118213b6ed5933b3e387b37a38a4706826f84b08dc741bfb6e3cc2dfbc96a0
847 ec822befb2f88a368fa20e56d91d6fc43f675a5b9eb83231b13cb9ae228d5793
848 e07dfd2f21e3f0b747a54862b708f68132d04b2df55d65057f6e5539acc44695
849 44d5eac1394ec9bbed94ee43f190a07e7e9aa7aa6ecac75defd17603384e68cc
850 51474f633a040a9e741dd124e7ba5c298617f6267b713016a4abd68a5ed10cdd
851 92571aa95850d83313589f66005ef991c8f9e47f5222d58291c71300747ab844
852 9a055a8f3dbd4213629a8a9613de17054fc6cc8248e00c1233a76f978e0e151e
853 7ba58c8f7d36b8566d05b4ba4ddceaab5d99f393703f675921d54410a32eccb7
854 073717ec769ec15b8d16b64b602b2b337198411187174e9c3caffe559ef1b277
855 ce8b2d4e2dd9d8c6de199ae439135ec1174600c1ee8a7a343f3cc5de1a239532
856 e4afecee55bc805df564e1c404366da7ce0db01a5bc878fc274ae92cad88800a
857 d06d4be61db4000de9f409dfc5516debfe03af863c0f764daaae8895c0b0deba
858 648b15cd6b62eddf6ca52906f16fbd681dc7d039edb5bf2f71f3da9d1586e1f7
859 e48efb13774fab1f58467ba6d4bc389630983191b37d3e4e3ba765d016dbb59e
860 d98a104e949c24bec2cbf3076e6e2e22a8b5d73947bb3966bfd6b8b623756036
861 2901b4b3e6c528e2938cbd3f5e417e38851c1ff9b7037e26168d92546ca1afdd
862 fa8534d891cac61f5f7658da11964777c1f7d581be32208ec07fe74b2851bea3
863 1361444501ae2dcbb963066a2b6392d4f183157c09cef32b55fb65b047a6924c
864 d18485f0c431ac263c5a8e7aae662ff627ab11cfed6e21a91b193dc95f1031f6
865 2eb37cf427128c58a92356fdd47e2ab70c30ffc65d72d255176f4dbdd99885e4
866 ca6c66ee6911d2c01d89a8d9c8ad0bdacbf860aa3dfa72c368a4a9afb67f5ae2
867 c3ec6e0ac49e802245f7c68b6d2718d1b40d586d31e56293a8d370f4d10b17dd
868 b0f1513413f8abf318e4e5775c259e789f10097c5af5dd68d77199fae250b0a7
869 1b65e5e2de4fc49ee8a543e0a3f3f80396d146a24278c8cf87ba58b3309b4fb9
870 02c0facc8fc022b53bfb75c2d0d913b664badec026260a295a2785163250d7da
871 81a73c0816bd696f2491e6046d9572545765853e091dd48bfedbf661eb24590a
872 b9a81a8fde9ec3f64b3334b6be279cf522228e7ed7e7877393379c2d01e26417
873 dbb6ecc83b84e599ff852e57202de4a9181db17ea0f6a9aa2db157d969bd40d3
874 6a654c12f06d67e4db2ccd87a396a44bab6144992df79f6b42687a679efc4759
875 5326ae181f6af993d64572df283dd996b762335fcf976962805a5d6e071a8ded
876 f6f81ce575444de3b37e163d18522963a2ccad23c2e343eee24b4dd6e6723571
877 4f7bdfa72ce6bef3de8f4e169f972272809e7f14403a8c7006a9cb45105ddcbe
878 8ad3713545dfbf21b72e7cf511b13437b1fe3f327e4f646f83bc49d7359a376e
879 faefbf202113a68d9fe6415836f807de1c1571d6e65856cd75a94fdc79dec7a5
880 d2957b4e74b5c01ac9a88a9703f7ced9b62e5d00a247b3362bf614a6966ffd07
881 2ae41e60a64ef91be176652efbd3dca9bc1479e206e59b92aa133d9c784dbfd2
882 2cbb37b24d028eb1687393d6039c64a4786c91795f9c86808f3ffabc57527be7
883 2f452c2eb0d19bed0378dfefdc713a1a1cfd8c79cfcb3e83d54edda35653e97f
884 3527fddb3c13fe706bc901d098fb0307a150ff1fad6cb0473ee60c7761bd68f5
885 a7078b8d5a46fe937b4fe21bd4053e7d302ae1b2174cd239db6c9cbe163b339c
886 6df4caef5617f360e145d5f40b07ee4317a0eb2cb0b34454d4e9f798e8921712
887 d3e27669d44ab54e37150fb8772cd0070278532de34c97c64b2fc8df23b6cd31
888 8949663d95b8d86baab72613c2b5008235944e76c940342fc8c5ba39b72311ec
889 d9c310fedade914d170445d9230456a533dd54fd9afdb763c6a18eaf9e30932a
890 4ed0e3f44eed103595e90ce5e5474877350234423a4b1464ceb2ba3e6bd2cc18
891 3e3e2b6a8a43bf628619b9f1a222ab8f088226839ee1c778bb9d0fc8a8b3b683
892 e13524c60896b29b2009ccce93f86b861c07a3ffe45158131d6b67d83bf80328
893 9b307e71332979468a2a9eacb12411f5e72702f299c0690b198e03dfa9955d4c
894 7a6a845e8aacd07687373a42836e5614c79766417573fefc221d42ad74861e7a
895 55943ee0f78dc73713eefef9f2ca8c2412f7ef4d88f4e8b3bf23fb07d03c46f8
896 0610a5fed91881ea0e5bc5403633e737358383482c35e9dbbc32b298f5a2b061
897 152b88569d68bfb80477cf08cbc7b4d1255e6aa76056287b6591f30a9a32bbc2
898 473fd65bdc3ed1fbdc4484769f79837df29d146bcbdee36d73f2a6cbad9bb983
899 d2cf82c1cf16eeb07b93d8a9dde08fbd891e4bf1fcc70b4b0fa873b98a8d52fe
900 64779c26358df78cfa5a9beb725f7f55b418bfcbc713d9b6a1e9d15b4501e803
901 42f31e685367c49f2ae1af5c3bb7a54d2c484d6e0857e0de30180a013c247340
902 68438c2d7bd7100bba5d20862338bad6e9c3f2157d66486b9546265789f1fef9
903 62e843f80828f5811c59534e190e86ed46e3b2a3b0b41c66857e5c57b434069c
904 ffc3184a7a150996162fdbe31758b248e41986418e659045f00fcd95e022b071
905 a0e75cad65b69da3d291849ce93f161f3de4aad22a95e4256b91d22d548d2b6f
906 cb73167ec281d8bae09427758d00be22864f4389bbb593e8472609e662c31aad
907 dad114f657c267dada2c28a72192e2b59e572867c1b282a9d14f55ffd31d4e87
908 c6efbfc70b5848c6b3f2a8344a4aea644afe7f775005222c519a738ed49c780f
909 595881138fd43d49cfb9cf68f06d8155f41230b2e532214280ca1d84f52db4d7
910 c62746ca4f640fef2638494abac5b2390d611bbd02cf9b568dfab5158d3aa018
911 c63d5b3d2affc56fd5b1a3437b29f54f867f1c17939a00fc052f4cbf62aca863
912 bc13a06ac35925f0c089e4961cd6fc5b23a2fe265ea440c2b96bfa7896dbf5b2
913 16ed8cb13346d19ec309b1ad0c1f3c9ba6166c9ec3d7462bc4a2aab1ea8d2131
914 1d83b7f008cc65cb575d8457f74ab71b591e01b19caf5b844bc137e8c3462ed8
915 44e62c1038a95bf725ef8b0b4886e49671d35f096331f813a1dca3afea0db06b
916 31959c90dbe9644f0f5ab875d671784123db6440fb64bf4936982ddbe1dee404
917 5b832a3918284424c264a57b373a22704705ae633e09f5ff8e08031e542a56e7
918 f4929d16084b0e22803f47acc584612b79f4481488b0ccd5723fd9de59c7300d
919 1e24ea23739ed704ed2ab1857a93a896866b76168984df37873a67b6248c485b
920 875b3642809a9f88e0ba5f74835e303892a95ad37642bd858c2a2037d61e3f6b
921 4251ff6c7d8f1e856b8b531110ef580d2b6031335e691de39f9eae5d962fc32b
922 8aa12c75449d93735d107cfd4bd74a097fd335e305e348c1f95cdfb5bf50639b
923 449f7cb0cec88e7be604670de1ddada3d4ec5bdb530f260b0c36b13a979264b8
924 ac1069ebf3b2d63b35e63ebc10f58759d65ee35e68d40f0c846951f51bc02332
925 6bfa56bb1e525467e5f18f8dabec3cf429f6503295aad62265eb0638bd689822
926 d91a9cc519318707fcf17e7113c6ad8bb562362bcbef5a8a74735c8e02f12c11
927 8d0e2da41f69f6c3b32e149a33d710287652f45f3093a87b5ccb860ceb7d8fdd
928 3121c5377f0c8bab840331ad9974f8af57f1e59e77d0fc71ae6dff298d1f9e5b
929 ebfdbb3bf1ba54bae50db7749b8d503e6616b6257f64d161c1522ed9046e67df
930 ad2c5b7bbf3bfa23749308ec651b0cba5524d96e7d7b740c1e577b1b69b25149
931 9ecb6738a25210582eb02e92e6efbab2ed5d6e3a6f48f495ae385525986b6d73
932 6ccd382bc382a50e675c066d0e990673900cc2513b99116da95919973a079570
933 1c7d70791521a63a02e905e4b1d28c13494e7a736f40720b3e0c8eeb7559119d
934 fb2e1b646248dcabc6db8c0ad64581525b4b4f3b16ba4d6bf6851e733ad4a24e
935 a9cef70700827925310f53a71de865f7fa9097f4ae86c90ece5a925bec85ebc1
936 377097ea8a17155fc6ef7b599aaa43d5d43909560348ccb32ed7feebc5c4e970
937 237e72afe57dc32177e2bb426153294aa6d84c8d7ecd08e3d46d0825c2e8ea54
938 a20cba94b7d25d7c339aab52e5116de5d8fa317ac916fc2a6bc07560b06823ed
939 ba0c1d52b4ec31b8c3283e7cfb83ab7e57ff2192353849ea284839578e7c7449
940 05003a8ea1470f35e24f422eda3974ff9ee391ed3a52b0de91287b5e50853b1f
941 49524687e7ec3ae4f49705b9df4bf69366fcf5d3edefb5cc0a784486379d0083
942 e1c689e2c88657871b73a7c0976d1d48e3f120ebec7aad5a55bae35d1ff686c4
943 e3bf887586eef821355d279b7a9e9ad2927ec3cdfd2f702a42213a0a850233a4
944 f788b8118d1ea0575cbcd6ead296c64024fa609b2b30cc2ff96e9884561c11fd
945 13291d285ff2e46cd312acd7491e8a2dc992e99f527fe000a4c63aab7c5e2dac
946 2d5526025d747a61fed7761d0741daef9f94c65f1d92441ccba66140b19413aa
947 7adced4a692aa7dbb8e36fb251950733c7a2f286d45cca242d9fd1ac19512cdf
948 9d1e8d1f509458f6544532ec067bb897d75363409834a28aad23a179709aeb5d
949 9ccabdbd7a994e2d7fba4476f1f559db3b805c16945c78da760b73673da54a83
950 ffac2c548efa964414be2df82847561cb772b84efa63ba471f43675092e8c969
951 895da6fd9bfc8c3130b3c368d173ba24c2784b0c9d5d18500938c37eac77bce9
952 22f969e31548bd950edb6c26f5cb7b3e3145f4c2e8579afe53a41eb882a077f2
953 7c5ac6b2f0069a88c869a49d3fc8e709b505ca8c1c5121ee5d3ac421a52728c3
954 facdf2310a9a931f6d29e36e2e63dff84a4a4c70027bb271326db5961abc02e7
955 63f27157576f758f25550ad7a0ae1ec519ec50ccd5d617cd7241cbd474a8a8fb
956 a506b206efd22c4eaed5c3239ce428e32b4ae4baaadead46bb28f846bbcf60f6
957 babe2425d1467e8ed267df5c7dad3550a43e98807f371a9944b966b387894023
958 0f6e3438401664d64e33121628fe4412ffcf099cd4d7f4dd4658b1f8ab7ca99d
959 82189c6f864c3fcfdd4212c6b58f62ed8f57368369f38d21f051d873233ee716
960 5033a143783fcc0106c9212d93b4a9ba5a988cdd0f4c8230e1d7ac4d04d2daf3
961 7757f70255c2f82113ab23f3786cd2e4b1bf570f3708475fee5303ed82b51b09
962 489eb9cc703ed5a75f9483b5cbbf0fc28f3d99aaffa3e9286430b31a011a871d
963 2273e2b6d23c7ae5742fbb6d24301b6fd90cf2a84ed028dfe164b0abd4360123
964 655ee9fc9d6040a5adcc67f0ab2a35b471498e4d1966a3011c6b48a36cb15c2a
965 ac81025f66348c03d60fa8f831745364f32a9896922d6c59764a965f6ce1c75b
966 92b1ecdebf6e0fa79504ebaf48ec94c7bc8971e15c7a470f0585f5729f0b113e
967 e909588f432eb1939c93a6b79ad668f95c0dc3b57f728ec1d2def5bbe09358f0
968 d2d8301d7c123cab478563e3fd701c2c66563dfd7b3cfe62f52b8aa83055ed05
969 d31ef8802bb56a701d3a2d8e05f0eb4f3f6551aefcbeb8839f89abfb9f94fabd
970 c0fd5edf2f8c7d224355f93aa05c9bfbdd4a3b3899d7856ef1613ac91adea9aa
971 73eb5207765e1a8c58a71e90192cf0338976a7c7074f5b0d8ee601294d3c083c
972 88e2713dabdbff33a3b29d7bbd642729da93b06e85c24b253a1b6127c8468799
973 68266f1a70a5a929bbbc13d5f9ce344962b7f37c284b1a37a4c2bb6dea762804
974 c0e56e13dc7789713abcd8f2d0752a18d0a5da4b65dda63eeacc55b7bff6ac70
975 9f1a18890e7763862717c9eeb670f6ddf950044cfafb26a8fd3f352169e4d056
976 ddbc8f46680b225343d7336988bd485620c273a27f508add1c00241194ed8323
977 7666287becbd4da86dae0667b2069d5afaaea7f13db9368fcc129b5a04c09b05
978 39599cbda235f8bd5a430dba5bcc2a170a65f790098b20889138d0ee1a60612f
979 8dc6c0f5ef8bd258970df92de14051a0ab98fdedadaaf19a0ea1c259f4704cbc
980 786865888898975d4506486f0d351a248804737050403c9bc9e3a28fd3b7d387
981 afc68a0943f90f01c1bdc975c27d47984ac3ffd69605cf5dba5afbc670e80664
982 19b3e16b3a6acc477a0618233aabc9ddecc478b234672bf474b26765ff458a11
983 8ce56bc5326bb202c4f9e9cceb7a095d0e7b375bd49b2c139a26c1e6e2335e21
984 9358ae15af768f2165d4dc6b6c767e5bb2888a31de53c492f32f51ea615a1974
985 668d179075a91487bf56e4e137f24f79f1f2ab62746a46fb15cfffb7054acaa5
986 b5cb13d7d9fb258a66971eeec5129c89251421894110db7af9b44e7b730d8db8
987 a552bce68a8b091b4b74a04cb23688aaf8ca12735429cc9e31e4fc006cea4fec
988 e930a1a37251e4f663d541f949fa383d0f23ecf3e62a27b284aa6c3b78e72f37
989 336ba9015818499296ee5f81ae8af49db7c36e7db8817b72d185b632ed65eb0c
990 28f0a453323c52b1775aaa031de0cfc4afdf421339b494a53b01e8d92756ce79
991 305a9600fbaf87d0bfbce2e08cfa951f8a4aabc2267f68d390d9d81848f4c489
992 0b68face3701fc2bf7bdef0e11e49c5f88600a38c15e17aface393bca772f165
993 37704d75f3698ec4319a769643b7f5ef18bd486237a886e78c0d40d0cb20fb94
994 4b50565b3ddc49c9ef9435271764a826257dd39b04ba61ee69f4818a37e06b99
995 434d764fb24f75e6d474e0f72af7e35842e4add8c4d917ee018f82bdcba700bf
996 3bdd6d77722b5f36061322a4b769e17aeadef623f4353d6ee247f5eaffcc0a67
997 913f0c698f0ec59ee75085e66aaddb8f58b12c1f5a10b928c9bd645e4afb9eb6
998 25ae1f78e18c4cb4b805aacd5940bec518c0c215e6e36b7c4b8403fbb0fe853b
999 0a72f9bec81553185ae7a62f1189ac50d13a91dd30d866ce2477b1704b4db36b
1000 b007ba319d7aa8e9ffaf5235de7e693fb78e93d4eefce6e65d08250a95fb042b
1001 3c08131651e8af55e835d44b0f1d7419ecd2426d3efd6abd0407548ac3a5a434
1002 00335c26ff4c57b0a968454c12ad21e1d7c7e926a236bc697b8948be74d52810
1003 97b222f700ab5b4948fb981839b8908840ad34be0ad21b8bf4d7aa80fb10659e
1004 6bc5bc55d677a0fa27ea462e6e16459d008e67e6099766f86d3549ecd339a159
1005 d020ef95a37ac6c319601695229b7f0a7791f3f51d7533371b7b89d47f41bb2e
1006 eb492a82a9a37650a3d1938183e4ddc0e383c7c75dd698925d9c21eae2555ce5
1007 c931b74e29ed537ae8490fffd54e0ae9a9111f1324840c7cec3460e81f1c79f1
1008 2820aaf79abfadac8097e606461b8c0753dabbfd052a03a20c3bfb99c3cd2f95
1009 2137fdd7cfdbc601f717d0d80e365a0ef6a62fcace7efadb9dfa0dd97dd0c097
1010 74b0a61dc1a1970c399cabcd27dd95fe65d694a60f6903955ad66296b26e21ba
1011 ec8616e2a8b6d0d841a4dfc697e02af0123e7b074e01a12d45139fd7895baddd
1012 c8cdbf44cac7985b70fbedfe0ad2ac2f313ad4f4eb24e6415e920cf8f1bd5355
1013 d259ab4730498abe5307e915471a15b0b27e23b40fa92bdb01de3a36fab10ef7
1014 8f4565753c1dca3c65584098f0008706e344cd115f6b1da801e39dc9f1a889f5
1015 622fc2c0e1547626ddf8c6681438f9b6656495ff5ea5d50b2a504a5523af01d9
1016 78d291239deeef9ba8f104645edb4bc8cb63d2f949b78eee6ae573802dadba09
1017 5604ce732c426c352f9ead11e8d5ede9031fe8142992d8b93f09826682e46435
1018 cb08153f5a058306826fac801859d2288389b22739934d21477d6987c566e508
1019 a516a641257ada6935d84e9d560bb6ec4ed9d84807b4eb6728a17b2b227114c7
1020 bd23002bc290d6fd22da7515abb22d5b13a8c0da691699dc908e1f013abbb684
1021 00af15dc48d1bc8daecaaf7efe5b15d514a4271211a2f1fb38e41a041662255e
1022 0111629ae4f1bfdbb4eb6815d9c782f88b2d53f59be628325e7f9b8c7f925199
1023 86f81c80c32a128e0f97e1b683ae05ebffef7e6683d5555250ed6f82c6cde10f
1024 b40f8ddf5afa57613d15e6a69896a7977e82f4277e36fa6c1aa1be28ee1c7f44
1025 5752f2e780dd6e8eade5714d3cef265814019dcd7d63a654f04dbcbf6782f285
1026 89f9b2026e44806fa0a17d42d8141aa9a017d47956d58d2ec6cd8039fec0591f
1027 8b2eed9560f28fc920939f44bea9354c853d817c212859c35ac890d3731c4bc6
1028 5daa86476544ce3e3790cec2f9a3721053ebf68fb12f270392c46e89b6c94653
1029 5dd758292f4d556bb578ecb124c99621c5c75f098e999c43e3ede0adf223b82d
1030 7694fd43bc88f750685dbc3d94cf179e1b18af2a04580039aab5716ae34abc3e
1031 18e096530bd59056e436a2ec1480d3ce4c8eaa4aa92683b9db317dbf9e4de189
1032 abfa2d68f16208d05f7a30dc4aedd33a38a688e5fdd1e90cb7964d0002a39282
1033 34c553c96b5d75b3962cc7ba07503a4993b117bb970c5ed84212afe1da03b9e6
1034 f7f36680f31d59637b4f55be6ce344f4f51e0da7c12cd788d3b18d5ad051b197
1035 a32116d2aaea5e4d4e6f3783286fcaf12b9ec869c1341e5648a259df2e6a3137
1036 b716f7ef77ddc6ff381d4c2f887b7088fd1cdd61e63f18d0a07c06c7d5ad1b62
1037 6849b4fce056d687754d40404732fb1e2ae7da5789f39818a36559af5c00f59b
1038 18504883c3fef80a7d72cf0fb63a368166da46d023cfcdcaf8c7fa4e8d3e0635
1039 7e92821645143992c00dc7c322fb81ad69d23d738855f089f7ff4b22389e179e
1040 29fec4cc168cfafba179749aef82da10510b8e71728bcf07d5733a29a2a2011d
1041 2620071610e567c8b7b0dffd7a57e517fda76b8c63d161c3bf4e7706e1d03ece
1042 12b535b7fb09bdfad7bc6ad052f9eb90f9e27c1ac2452942e5bb9889841c8515
1043 c23f6bc4973e6087e1a1bf2e54dc40cc623a66fc485e1f053b1c0d4aedbde9c6
1044 5e2a80dea0c21c7b7acb80204c032d190b951c5e9548be4f3ee1c8db26a3b732
1045 d1082a450926ff848223f0a01d7bb0a67c4ab4af7b0a35ecdcd095a439df83a9
1046 3ef16721e62d10047277b5012dff6a6b9a941765fac600ad443f0b4953d688c8
1047 f941333553f4f46ff2093376c86fa2b15d39b583a4a8bba602a7cf4b8edf2cd8
1048 01a85281c7ff6c00b1727cc3c0929992cc3feb5546c68e3ff2b7d19f7373ab0e
1049 bfe5eef514b6eb2e4f5da8b037a10f26a5b3ac6b08fde6abcd413705e52a3dbc
1050 c5f7d680d0fbe06e101d37cd5386eff1264b36029c42bf98db4e6328e3b8ea25
1051 1c7dc53a603e7d55b1d0cc083a56b56baa430564971edb13bb6689041194c92f
1052 335e984191b0d6c1adb63e2705b0bd571317c4f0660e305040c17098184d78ff
1053 c264d8efee9a73648b4f16106a5d10998fd2321bce1c05344e8e7f049eb7991c
1054 9b8e3f996bf90850d7a1004493807fc97c7b53a3861a3432a644b7df0c3e23f7
1055 5dc5a84cea04d660d0075ff5d7c9c075fa1bfa1baa1fe651bbfdee0dfa6d6cc8
1056 65be39e695436c9b0fdf38b35e0b8d01732a91014251c60b43241999031d63c7
1057 e9bedfc00c39602a7ee97b4bfe99f88ed728283726049aae97d23878ec215335
1058 d1164f9d6e74e6053acb36dc4073915fd46968d69be1f2ca66d84592382b83b3
1059 0b773e9555b09f777df1a4e6a876c766e590af792256cd0ce126711074320691
1060 60c8e88eaebdc8a9e78b94650a8d7c7ab732ae61a102470471896f3fb33c8132
1061 227e8b4f58787390643d3f7b1242b6e8a2dd90040aeab910918fb5f7524c2e4a
1062 f2af8d1375d0b8fa2cd17e27305a52ed927250ca9d27ba980585c4bbb5988d0e
1063 c9b6dd4ad445100aeead47f37e913dc2ad9350e3554ee0faf529e68c18cdb904
1064 351659cc47240d9f42269c7c304fc8d0b27e55147cad9d3041791cfba5e43a2d
1065 042021e84de3442771600470180990fb19a343852b3e111a227e9056f498103f
1066 4ccc10c113b2d15f28dcf50ed816d15b3042c9af8bea81b7f874f600d437cca9
1067 4cb9d5d36caa7bd0bfa8a1cafda7ba1e542c840518b0406e525b85fa47afaefb
1068 a0e1782abf5360af550aaf1d2c08aa6a64348d337de32785d76c491dbc473ca4
1069 ae1e1c6bb8d477cfd6d5f673c86bbac62167e74ad7b0c4696baf026b43f37292
1070 91d4f56dfea6ed7c63c2162185af04894639d663c7eada0ac29ca514d5ae0803
1071 117fb95c12f8c83acbcd4bfd8072445f038651d95af75f08c97797e11fc5dbfc
1072 ca5867945fb9f9a6fd24da05f3ff7cf8638201837eba04a6eca185041b86cb54
1073 d86232b8b609d1049b148970ee249d98a141f0b387acf2a8d5451e4f983501ac
1074 9253e012ccec63f38cfc3d5aeb7e80b8a46ed1c9ccf13a94f3dc18a44c0bfb56
1075 63fcae9f000cfc879849423ba7477712b1cd7271cfe7e604eaaf07a47a3c90f4
1076 d61240b05604641ae9842cfaa700801f56a43b88c3c4d239d6c84a338c265db6
1077 79ffeb3b2e414c540a59e0a18a65600f7aef70023156db9d312e2b5e863aa6fd
1078 49dff14efba46b7b19af6e8529b7c35c7a8f26904a47a9976e01f96111cc450b
1079 d35f436e004b241b11fe2323a729477a0e75f814a2d115303546d7e6d3c0a781
1080 ba532160f257d385b73cf25960cd28a736593acde5e4ea16a6da3115d62e7fd9
1081 ce2841f6b7ff80256e0f9f71b0490d78b57d47d9ead58d5208d7ffcf9d325b55
1082 65dad966ba2a546b1d9eab1bcbe308718ad7b0146197e9ba44efd64fa22579ab
1083 ac6e554977b7e57a44502df8fee3c0ce14b255db99f08f3e9ffa5df21b9a3953
1084 99e8f8600165e744eb00f132e261c3515e9c06672d0a1ee0f5aed79de9e79491
1085 92a9da63cd102ac7d82e9f266c4aee4f977cf5290807c9084b77f7c8ee1a290e
1086 0159ec24a8c6d851d8ce3229b24b38f54c658c900e3071e06a63e4926f39afa6
1087 2b944110b0297e2d4c13f35275983b7f9db096995c1eec222564ad2f44cd9e78
1088 7dd01ddcd6e02aca904ff302561f20eb66ac0c7c2feb363a2f77291463e37207
1089 28f52f788599ae7857c40d04108e69e345209bad120a78678caee5c69750eab4
1090 c2f156de2d3e1b79dd03c30037dd795ff0cb0328d66d8f70c9cd951744545e4f
1091 259f349e2ed8d6b49106980f53b298860c48a9fc9ff43bec2d437d47e7d05baf
1092 a18ef10c1335a7a97644e03fc1086d3c65664b3eefacf919cc85bcec671e4139
1093 e93f7a9d331fc5452fe8100f458ce61cece99579c16e65864c6ca788b5ad61c3
1094 3cb5c9c1c3dbb276b8b3c19ce6c62ca6b96dea5dfb9d5bb33c00dc1f840644ad
1095 e2ec506f83b63df9e2a45710116b90eaeeaf55c0f275da8d1cff7174c7baf16a
1096 7f43e65d7b9d9ed9248f12a09507cfb0e19cd75bb585ecca1373a93b1c17edda
1097 96b079eac3d02184cf22c6e1a9a8bbad875fce6844b7372f99304f6875a23436
1098 0fae212dd4a27816806b8a9c93b233679cbc90f25b3b7496553e2cb4ac0df7ff
1099 c5bd2b026d80f36a5cd7fc05e0bc4d43a3a2bad45bc14d136456970d21359490
1100 041a1613522179fa6d8153de805648cf64b5698ea9435921258c0449c4297061
1101 88d1951dde18741b2f8374c00e8baf0359f1cd5f88b7a0e9558ab41aa7d6b570
1102 ba54e028c9665f4af3037018808b528f87ae6f456efc5150cc87c029d70bb556
1103 0c143cdd6e6e253637f98a3caa4bedbad202fb3abde63b71f7cb4212ddacafa0
1104 8d156befde9d68a23afc25176789b57c83a8eeaf099dcb617a6ab41fff7fe3ae
1105 0f120103651fd6667896de45ee5e336c7a857fa9d1eea18fd8ceab73639a273b
1106 d67f61610520e095a879f61a61101298177b65285e88dea638407a679036ccec
1107 b5f38632ecf21966cea564759dbe226f1cb03136b18798cbc1b3fb09a2f25e2b
1108 1c720a3d2bb7246be0f4a654d22e9cbe6319203db50b8f9839a46c05598c2bdc
1109 4ccab4a85890739f09d630bcba64583d428d3380fb9b1f7fa25ca06f0add9aa2
1110 83e2040ebb00536f5d23c166886614b28baeeac36fbada9b762927e99e5fcd79
1111 0edddc76c49abf3d6c11709f1a9e63c7cb33eeff60076f4a57f37ada26bc39c7
1112 d2d3e4ed843284481990e4642cd06dc4db95d976384caf967d0916883223aab2
1113 7e17bf7a0f8e75e0b755c85d54dc239a67dea8086ca7b632aff3c092f59177ef
1114 40a037cb4abc7e1f83c8a75244fcd7f73ca0f4f05027f52cea9e6dba5e977774
1115 2815c0726c21773547d0b0a8a2c03b742a0683787440156caaf75a91e9f0cf78
1116 4dff7b47707e0a8cf17bb5b4e65888ab0e1cc3b1391e04d528fc986c2f7ece9e
1117 26103d5ca495f06ede1b6404a49ab88ee283525a0357759fea34f9eb7f115715
1118 638ffe38529c56feb12e30fd4182d46f7ccc3f5ce6a94405eae434608ffe8665
1119 98755dee3bb08ca1abd4b7f8f5f7216e0b08de2a9d69505657fa0fda4e734e2a
1120 0fcf9e9641ac7c59c0da09e336375465c752e6c2428684861ca044a5f76a1dd1
1121 9948cdec2c89bd7dc2545e9c470a554acb969388afa8b99e918c97f58f38a4f5
1122 69f630d7c4c9dfc2b0f883f20398287a063cff66a6452874af6078f371676883
1123 fde77f8cfc8cf09589529cc66f54fd390d4dd72d5ae5225e5a5466e8683b64bf
1124 34f9115dfbac35a9e930c2912b33c3120b5f6bee0fbc6d1a33fc7d19f65e4d85
1125 105560e55665fc260d1ff32ef4df8d2336cf1d4f550f052ab14077c0efa4c991
1126 1037f62f7289b911737571fb4ca17f9053e5641de8521dce3287e3f6ab228cf8
1127 f0f9762b6f1e2fef28991c08e1777159706963e4f6685af94926e836e77d6403
1128 1abdf4e1ceaef4bb43dc30c15cbd723128b2ef7d6d87c8c022992b3178d6dffc
1129 91dd24a072e03c1ce9a51c8582e6d3da776ea4e4c9e5e2f0ef8e25d15e4ce17f
1130 264b2974baafe86333a5936d867c62e3c1104bf6b9180d7f11396f9b6cdb5033
1131 4947792ae4be9b83745c131d8ad13b3c0bb5dbda6f977c49e6fa9e3aabba8044
1132 903128736c3312f90e6d8de9cd72d852e7910ccc3641fe9409832047a509e057
1133 e712184b6f0a2f301460f9532021aeada5a1c5d599e6eb3a036a4a7407777dc0
1134 c0fa53197ddc2bfc0e9faa820ceea905ead6fdbbd5e10f077e523faea427191e
1135 9295480afcf339ca9b231eae770b0fa78591b365fec12bf14558767d229ffe25
1136 a02abf2a482bb89a89bcc5da340d2064cade11696d22aac181064d184e5a0cda
1137 1844638a5e5816b3ca5446cf4149900e1633d771e5bf5ea2e64761a9b46a92bc
1138 17ffe1d0f921c5d8de8b82e69d93c467ee56bb9994c19927e9db9e62d7aff367
1139 7735757d995e54168377b9916267407079112a41b47589abe80fe28fa7977044
1140 19734e2dd4ebeb6362b5f2839d8758b415743ae3779a7ff2913d38355bd7b660
1141 538da9c213f1e4d58dd8fcb15249282e507fb3457e41021488a73525f9b5f3d2
1142 da26f7dc0ab6120c053276088274a0e6a09323f5d8fe5cc23a866eb628f74bb0
1143 6c7d6bc8cc87901350244c9c21c7c5c10e1e1cddcfbb833db02cdd15c9ee4874
1144 8a7b44c5d173425dc6571f60d35213c57b4c6fe64ea887f57e6b4545f170a5f4
1145 5befbb4926d6c4c234fcb331a0f4d60c25a3de2d461b9c1cc8235db7033d543d
1146 b4487c1b73a76f66d87b87e3dcdd6feb9fefb288760a3314530982b0670d6a3a
1147 48266f09dddbbb2e304c10cdd75468196108fa25481422cae40b1e05b7f2be5d
1148 12276bc33c49ade3eacada7b6fe84f0ceda32980baf70bc69d2512b504898e76
1149 43ff367cc0873cf24a719a52e25f6c91766cda8f11b05213b6e1f8a3033adec0
1150 3ffbdb47d7c668dd9044817d77a9161995983070d8ff14b74ef55dc168a2a82e
1151 673b4107e6b17a344baac1f1147411c0e114e023096009ebe0a05d5cb6ef1343
1152 ae18b48a3849cfbe7534f1bc6ccd68e54caff658d899006a3f86695b91c09f1b
1153 93f4b26c54c0cb11851ddc2b1bc156b10b37fde4bb3ae4d12c14170b7b6530b0
1154 7cab07fdbda212a0bd4447e87a4e0a2be663812092c79e430a3d848339afb4c8
1155 ce3672c3cc0ecc4ac9464db70f44411ee8063d7a35aea66937e11f0412019c01
1156 15d94855ba3aa11514e53460842fa95b83e53bca485262bd433c352435170e7e
1157 032319c3420d11982242ff456d824a824f28c4544a25b35f389df69d71e558d5
1158 cd44f71edc81684b58e29e468469c297ca76c53894b476087411eba4c0538cc2
1159 47d2b8ccfd18501941442b9db67251e36c7fa77dd59819f280e0dffb75ad87ca
1160 66d43c48c6ba5329154385312b4be8feaefd65958cd2941ce8a2fb26fa4f7a19
1161 e196c1ae6a81d5c3713c53ea31275aef75a62cbff72f856b52e4417bd8ab6026
1162 5c3e373282b7f1d8b819a48be37b676dfabf884d866ee6e5bc418307c86a83fb
1163 f482ad0ffb5863bd58b59abe97b91818ca9144d4befe9ec74319f0771b8a12c9
1164 3b14ac939b9c6d0282e6f6024e1224468827433e6df256710dcd4d32068c00a9
1165 72ffbe81b34470f2e2c113b27cb91404dcafdf125dd89729a28262d0e9ab8555
1166 b5fb3d1180f451f5e937f4eaf6aabb618e40369116fcdfd89abf5280921b2162
1167 d80b98b50c019c6cc2607c931f5094c71dd32c614f9b40d8b0b21110e2e8a823
1168 0f777df2410d29a3250cf38c33196b9195743303f2bd29e4b35a6e17080c6f90
1169 9a8213a570785483fccf777aeec307b5feb47c0d2c6e926cb19949d07938627f
1170 1cbe30cdc42f3f4b3ad984ef59cd2dd03274458321e4b8d11bf8dcd6e02f970c
1171 6791be0e56b1e896e95c83bd9fadfbbb9640a057ec2a4e410d09cac056b01935
1172 969306a68e8f39f7072585d0ced10a30fbd0ee8e575fcce86f818d30ef1b0185
1173 1b806e6a7df39f94ab13ab8c5403217e715d24cc38c45eb62049abb0d0b3e6ec
1174 69a3617a9effa911eacbcf7cc9b4f55889c81847a6c6482c46a2dc7a9373aaa6
1175 ed483202a80509847b9fa7b0c8ad0623e4456202be5ab5841f67e5a643563110
1176 8ed2c4c4cccff0c1537f787ccb3d8ac3d518226be878f5f6be4058bccc7837db
1177 330c525bff0a37bbbabfe5ab8f7102355ca498fb0c7be52362a05ad2ac3225a4
1178 539290dfcda4d9b95c4220ad34986425573b6f91d04625367af466a2c15f2276
1179 bcb7d65cd45347dbe9e235d94d183de494781e9937ea15b35f1a8a4001ef5f54
1180 fdf9435676381cf37d6fcb3e2e954167037e4dadf2e936943e4a9f83a9fdc2ae
1181 23fa490d3c9d3bf039997d6c92bd206a5a36b5a0bb800b8c9e2bf343fff2a91b
1182 669d70e127a7bb74b9f4f692e476c90c3e005cfc95088d49780b18716b4eac6f
1183 c58f5559015517a8ca9a9e0a1c4f6acc19e1b18fd3d425a1a3638aee7220d9da
1184 6dafd6f2c72e4c0b7f4d30cce456ef888d945dbd09fb205c4df13d8f9b3035a3
1185 953b77aa58defa582092e642b1115ab469656c9280c018241260c06b8f8f99b7
1186 d18c855f0747b82500e891ae9c653283fe607e25a8d75e301d35eef39bab75e6
1187 533654a77daa6a7b9a9de319cf0490bb0f8b2f7dbd54d5b1a2f2351eaba61f9e
1188 cea2f8f9a30dc149024f02dc1cb15b78fa5a7b8b8f7fba69115bf07eba432e7d
1189 cd59a427eb1234f6409c5bd7e11353120ff33c5b6c52bec1f4af0b75218f18ae
1190 e58551e2cba8dee946863d9b0c431f60ed193892a039def7c72fffd74b0324b4
1191 d40496e0585756e4751d59d4651f19ed60295fd9000a890dcaabfe8f78e27815
1192 cbc1e8d1cf71e29cdd62da5188f11269a7b124d90c0d154960ca71be9d410bd3
1193 479e9134dac0670425a2d83bcea6f7eeaca052fba9fdb581b1843bbc9fadd77f
1194 b137e67b820c811a9cc0231d9b2790000b6a66002eb3210a7c10268c8c86e59b
1195 97bc023591a9c986491adf832129ca454d91922deda9c2482b9bcfca657e19dc
1196 6544341e8e686f63607d34ce3bdc7eff2d70eac3676f7bab54ad13093c5fc586
1197 3df06fff691b8dd2668f80c5b769d29624bb3145d4710a2fd45c42254a25aebd
1198 45091efe0cda06dd8f8d036cc21696de9c64fc1f334ac2d8b6ef7152a98e79c2
1199 59206881a83f176b5a1c748d317722d873da6a183b6fd186ff8aebf42b87c96c
1200 08372ce50b64615a75bcb61ee77383f1ef39b824fbdd155ce090b20aba94547a
1201 c49e23e50a63e4ba7b5d1e7496abbce82a0e0fa0b140a57516f85b8755c83ee0
1202 1c94f0040828addb63bacf6de37e5bb5db6e7ff2746f3c3dd2b27101192367d5
1203 330ca17e4bd48410f012df93c05d1dddd71e614e1110723fbe663a865bef749a
1204 dd0f5bc25b9c27116bdba0ce1eff46b68dde0892e4d7f3ff52e57a050729c280
1205 51b8d341c2acf067bc15523a73586bdddaa1e6b8393b20c6e0ce2688bd2c87c2
1206 8f9641e6e215d681242e83fcfd6ffaf1fc73290a3a4134239059a5b51576b920
1207 b5042400a0af66af57886e5f7987267e3f0883fb5f96f5add6d529abcf4bb53b
1208 a291d97acc541e09535c924ba1251ee2533246edca5ec02cafff593c4dc297d2
1209 0d44fdc9e820acf4baf66335fad2ec20b438b38659073265801cc9769f26421e
1210 74102f8b6bb1958f51d1558269ca90bf22f1b98672b4c89019155930f18a32de
1211 ed279c63fa31042d6986ff08c0917b449d16f0b13b7b3981a73a0fb25aa1f3cc
1212 b1c42bc45b480a812e8536159b47d1565c36de7a548fe68a73b82211ebc539a4
1213 34f85d3585d438929d7223de66157679b3ec8253a3c2a1422ea21a4eec288d7e
1214 0c277cacdbd0ba3eb354c0ad4334d786e99ccc8061d7b94b4c650bb37b89f7d7
1215 e86c2145a252cd89dc94c7fd8454efa73418e1518eb98f9ff2443eeeff9a91fc
1216 fbde1f6e2dc86a4366c796c2532c39c4f51ad4aff7aa18e947e3a94362043316
1217 daa7c43ab0e7b61e765cbe5c84d55d8ce37f6aaef3a7b7e2f089f80f58858026
1218 d3c8fc80403710dfd02ee23652f13d3df066c14b7ed4dbbd5146c86756e5b698
1219 7570d46b5926e987e9b2825bc987db903e31c049348fe6249552b2d28732fea3
1220 14ee9b03061cbea66338ccd319b9af1d18978b06ca4280be718b30e5920a1540
1221 397eae7699eced1997dbd4d3fb090f0ad76009cda5488233da4a8e07b746e2cf
1222 43aa609a61f93728b6fb3485b36d9e2d6d27c4dd70e3ec75a0e3dac31896ec06
1223 ca079a27002ebaec96b70a0fa947e53ba006e48e584d157e52a132750ab28de0
1224 765d0f67a5f94817d9bf93a7972dcdc825c56bd81ef707709e805cdb0d710984
1225 c823e0ece01177ddb6710205ff49769c6058eddb3025c0e193faae8bb34a409f
1226 58103f783ce05d41aef58b84c4e149e964969005f65b01b7bfd14d233c65097a
1227 497584e76f38654c959ccaad0f9d603a2502ac644078796fc9cb848b6c0e0224
1228 cb2f9bf7077ccb6ccd8815d4911b7e4275243180f65929097888c2efc0aa956e
1229 e2f19a6510ee17a29565c80abe4d0c365438601e5ce2fc5e70d52c0b68fbb007
1230 5d8044a649e159df54255b17e99ed9a81bab0bd1a64b89d00a4485cf5ff8c47a
1231 364a3bd33c64b7fff3ee2ba5edd3c6944e46c0569b51782cabac471e1cff07bf
1232 068dea3513eade7e3ced9cf3f44ab4246e13154c638b63e1bad665fa5872c975
1233 f831a9f7ef258e317e88b66d9aaf5b81ee12240cde5e34adff770bfef49dbae5
1234 67a44670b62ae7418ba7a9be063771a91bcd6ae5f0c5945ab26fa91e4841ca29
1235 bf344757f6f041e74c4b8e756b81d0f7efe2d8641014dbfd6d3ce62835b2c0db
1236 aba3d9460ace8b660870908fe6f546bdd56ca219bb45792821754e7dc24165a4
1237 95262806cf94e3536bbf708f945ed7936e0c6f0b30b1159d72d33c2845eb0f91
1238 86996281ab6463b282d5742b349081a1e6ee150c9a82586f34d86ab533879ce7
1239 ae41e126f4d658bab0fde2e8c1939009bfca66405bc3c4ddecae646d3ab1049d
1240 51654b3be4581a2d2e54b9429c0c496172e2576667541838614fa0e114f7115b
1241 a703b708605877df45db6f72d08cf41bb43bf9722f451dc1623ec39676c7af82
1242 0c1b048aec3ea7dd2f9c2986e815035ef18651f502fcce23b8c6935518fbbc10
1243 033c64ebb6480881b4bcc71f829167025fd514387817d5c16a7707c43f220a80
1244 5d1cc2c255348e9b2a0ca41cbd0fda7c2ceb12ac1c7a978aff31f32bde3c2831
1245 4b3cf3825386106f455651509f4a0103c301815f78e00ca3c9760a510e12533d
1246 1890790292af3f1075c1a4f182f4e29fff2ad7f375ab1bbc04787a6c0bcdcf6b
1247 82bddc046a9c843d71e338896b1bfec28766c59b9705b99f89d68c843bd2e276
1248 e3d1de5a440ced44747e9ac783cd70604a78107736b7d46dabe251097c6d5236
1249 1e2df9986861d1481e25b6cecd53d8cfa38920fccb33e304b5cbfff29795e410
1250 7d913c9d9899f7bd6d8ff936b0fd380495855e164ddb57c6add22ed1b9f89c30
1251 2bbe9ffacc6bd84a698435d584ab2bff5082acebd094a6222fb36d9649f9676f
1252 a5981604a2fe2f50733a59d4822a15ec9c6a8e618a8d416493eca80a31d30875
1253 3acd2d34485dae465baaa4ae7693bf9e3996a87ad421833a1b4089b94088271c
1254 5b87d3cbf5472f4d85de51516a865dba4dd2a4ee04839a9fc108b3bd5598790e
1255 c219a3752a8ff46c7eb6d0a45054a16a88a24f2a77138c8b5398a7b5ae98cc13
1256 e109134bb57dd7d51935ac71eaacfea2263555fa86f126bce5169312e733f75d
1257 3034cbf651b86a52c9eb2e1ef4327f3bafa0c85d916775396163282340f737d5
1258 c41df0cb0d24b7bcf36df943ea3cf70147ab45920cd403b3ea368219ab2b44ee
1259 fe26ec7ac13c48afea166d3774a7f9377460403e49b0685db837bd578c3a52cf
1260 ca5095788ca41048e26e0c1c37feda5ac98b221fbd88bcea5653456865c5f215
1261 2add186b48e7b3c511d222f13c2ec78bb111eeae736bfd7301341be3751a5a0c
1262 8df5a0fb88caeda43d9d7ea57aa1e8cc934cd8fed85ce4e9397b722a846bd5d5
1263 c8d5637364a3ce8ed828ae038e6d54201726036ac6d6a2bb35d0909d8bcd12bc
1264 a942b1c727685ac8bf49daf2f36eefaf1790fbfba55a1d49098e7b8ad2ab15dd
1265 d337252bdac193efed68b51028d6eefd07fe1e15fcc316306031de32d5e5de46
1266 be3a0e798f78a124d63f1aff61775778f7d44fefdcc0e9f1aed82f14d70c8766
1267 b0c557cc96955bc71c5fa8d99bf8d452f29f18030eaeefadf121c39c09b523f2
1268 82ce3b029cc29b12c23af5973b032f5c2c9e39680df9067fc51254e4e2981eb6
1269 6f7a7e482d20017c3ad95a567ccc7283f0c12a1503f930273e5eb420fd2f661b
1270 a72ad27f9ac6522c849257e6fa272e86eb2adf73b8bee1df7fdfa9a4e9292d00
1271 9e2066b453fe9e3a6b60809e1ac616e376193bbc3508d874b91c3403c8175497
1272 3c8cc9a453dd536bee395129a7f9ffc931a1ed26fba49408aa0fc3fe4a2c72fa
1273 e4071356b264b5ba6b35b3eda9ef2101fbd0e0c85ef0bca7ab6526620e4780ca
1274 1f8c7f0f9a512ce498916170adae19770d7aaf82d8846288104bf9a7abed222a
1275 01cbca96320783caffd86cca3df5f62d49d8494b0e92dd34b4b161415345b058
1276 981b1cd32d63036e91e453854352ec1f941d0a2d01ccf13426081d8f3341ca5f
1277 417678062274c957c1a5c94c2767e4da0593f92d7c485fa158849c119ad510e8
1278 e04446467928cf7f1448f095ffda48762baa5ffb144c72cfd4ae3756f2326fb6
1279 ca81fa2b18c230a3021f9b9d3e4c1defa60e6d019099c070b416b7b7d0d1ef9f
1280 e4de07ed2f4799ccaec974232ceabdc6f772b71a057615e29c0686807ef403fc
1281 e83864abd21873d4fd3c87f68b4e10ea047624a4985206473f5c6951d4b119f3
1282 d70e5e76b097645ff7349429a7196223d6e12c99606df1e08aa2ff7aa252322e
1283 116e3fb768c17c64dc68341e2a439e0abeb5cc5dc1bb6d52d7efe62e59e9bb81
1284 e3002563a9ca996699a1e68d64f5e5719127ceac377e71e67ee5e31e80c24312
1285 e420c72b66458afff52640e265a0935a845bf437b55729a13d58ec045510b9b7
1286 589418ab8c12ad9d693e5d24c16e1803aa38c1a880fdf79890d575619c13c46d
1287 70341432aa8619ed4f21aab9fe4e1c8b1b227fbe064d0eb1150415c068206a4e
1288 8a9157c20b8eeb5274eb6895f385b5010abf2df5d0c6763451f044f4d3f715ed
1289 c290f7245e47bb77f5b27db6a22a4732392d816052c823e77a281c3e0689c8f6
1290 cd236bff58c12c613ff59d0a99d220b941a2465020b1817383dfe810f62a4ed0
1291 2dadb2ab12e4a2427a715988971435882652a0e8b3371563ecd79750aa7a6231
1292 b327c362e21a307958481b9dc8c20f274e14bc9e44f58cbe7da2b051c170046d
1293 9ab212c82a67859df5227ebe458e4c71c9b73a957e540fa44ff66b82350c505c
1294 efefdf8b12d2d66cf0502ba0f9d352279c22d331043611709342ceb52102621d
1295 d34786cf24da4c29b54559f0adbc9a3b247dae6605a75aa1e76382ac8ff1a351
1296 996c4e06666d4137dc3b0381df22907aca80d70b32d66faf061c8a7cb35a24ab
1297 d867cd4fb79e64390d88a8b02addbe6a70ef0a6e93134b05d2bf5e7b8c690876
1298 a33bba96465f476fa1817feae44cc78f5725a73701d3c1872ac34390fe62f014
1299 41ed59759c13cab5d536ebf8f265fda544720339eace99324855e3986dba73fe
1300 b7b4b6f6b5316d27ede73edf3ae7bd8b9434f5254948c5f484b92adae6c7936c
1301 d0290ff58048edb125886616eeb63997c54886701597fb9a55f4b84fa9e45312
1302 b8b1293e7c942eda5466b321e6c9ebaadd187e24a8b75eb83cbf3a1d10b4d4f2
1303 09a1841efd79bc7aa515bbece11cc7204050daffdd378c829fd92612277f6736
1304 66f9263024c14f8ae72e27112e5390782771f185f51d4b82d21997bdac677163
1305 844fd75aa68e64bebbb74b937a5373843456564e32b2ef4d1e55312f3cf09e94
1306 a06c1a4931bd91cba1191b6a22aaedde26c29ef38917f04d0c168349f1107749
1307 90dc5b595dfbe915e29be9f5e6184e793d6093ef8329b9748d4a7c87c0b04b36
1308 bbb672697010e873ba9a6137341d36afc405c80582dfa2c8345038c0500f51b0
1309 7838d40f5194a8759ad4d1943c9fa37c2d052016586aace59992e90eb23c7a00
1310 aed674db87701eca772648f9667493d36cd0aa8cef6cf55b746d2045157b923e
1311 6329b4882a2c89d3c601b4e821a433740acba1b96eb27c7e0ce4a313086db897
1312 1b047345c5dbe36cf3c8bed6dd78f91a109b35ca6bc63b1d7179a7c1a13316d7
1313 f89b518f876a96e7922aa7e39bd4612e55e1979d5c44607576c8b3379e7a0ab5
1314 f4c244ea6305efd9feb3798523aa80c120670908783540b6f887e571cf34e6e7
1315 7525a798318d715fc32aba032f994b966094df922eaf1019038f9976b7f4f052
1316 2a664ad55b94968513f88450fdf75c85bac2ea5db5eac80b400f22d006c76e2e
1317 4886ad81b3e20ca4180f2d43f5448e50f720b6451a9ffc28628d31826d63c0f5
1318 e55d9d69b3db62fa1ce482b519a822364bdfdf8c2c2d2a66ad590e82bcd6c8cd
1319 da57c7d2fd84f089046d11dbf3a34a18b92fc1d03300a82657c3f1c7c16e7083
1320 1370bdaacd27a19d661c88a842431a4c8315dc5ecca393718bd7aff35737ecc8
1321 a83c97c77fc8bc92b18c855c1b8dc07d77ef9fb31e9821100f19a7673b9effe5
1322 8d348ab2ac336e62936092badffad1f5b1d9b8715aa51ac659dacb5a8893aaf0
1323 a063ae1a381ee986ab83679f51986ae99eb31873153beef16d62b44e58deb805
1324 86826e5740df5313bb540a1557e8b94ec950a4d267f6a2f419c3c03a3003d949
1325 b09a74b196ef2454a7f0404860cedf6f8be9b893a65123a107b6be40ae1f28ab
1326 cc9eb1c1e4542aecd27a190220a3dc8c1c5a61095ea22515171b4703774a9247
1327 56388974f2acae62cdcf9b27acda295b69035ba99a8907d8b1002337b97fd0dc
1328 011abdb6a0992e33d003db6af02cb004558e8cfa57552f4e49fcf277c9fe52df
1329 24459ef3186cd39f0de9e316d3f8de7e808e8d5aa6bfb682b718ad859c7a7212
1330 e09985e5b99e13406c1d37578a13f85cb5d0666e135f646e6c4904587a8d2700
1331 70bd71860a7fde46e98c0b61e96845b9485927b0b67fd8c99a9567052d8e86d0
1332 06ec6f873dced652c7bd41d6881203a70783076fe8505cb8c7fa205f618b49cc
1333 be6ea4cd3027aba02198ea9970713844b83820ccea43c3febfec772635530eff
1334 98cf3ff41d94f0231906dc5dddd64be7d890c2d44ee72518cd127ead88e5fd9c
1335 78b09d66d7bb9921ade38e35c887a34676b52f2aee0e8002b828b0c37d16bf49
1336 5aa36ebd32142e72e2a05fb732b8e2c58835ac4c53ff9410bea0cde9ff3a1bda
1337 d4583eac0979e47c8cefd8a62330f44651c005bd42263b3aaf7b3eae7527096d
1338 2e8705c9415c5012c0d446b9e2945019d3c7255de8ddab5c05b453cb3ba1c357
1339 b165ccf58bde28bdeb9c2adf7647d8d156276bf978ad08bbd5d14901c084f847
1340 85fa75bcd788366f54a128e56f93b26353892d2703202476b2febf3f7d348268
1341 813afef2654ac385c8513e9a286abd8c631216d707e944c1b5667ba7ec7d1e00
1342 dc304fcd4cf03acd7798c24b88990a643411cca735b003123582bd5dc12656ae
1343 89ef293ee0705344e010572b3294c386bc4a1503ced968a0da8ab547e1bbbbfe
1344 dd2fef666282d1edc6d5899356881141bff75940ec83998f89407efe9ce44220
1345 21a3631ae45ded368771c713e8addc3f7e2a99396a1956e9b02a64527d73f0a7
1346 3bc324d8e954992f9cbeb2afa23a3c029a0c607ef7866b871ad4d85f3412ab8a
1347 da1e1f9abc9437ffc9ce9d97a7c7feaaae8b5562626019bba37528dfbc63d777
1348 9b14c892f24afd80caaf55336fff0de10ed1ab9ffac50776cd7c473721fd323a
1349 eaf1603c2bb3c9936398c56494defd588ab8a050cb013204a86d028b97f17278
1350 672751db58f83f3ce4da5210f97dd182a7018a32789df08f704ed9bfbd910482
1351 f3e6597a43e4aeeaad249c637899788081abc1b2447bb8f7ddbab9f077981025
1352 af831f35e04c0b1f7a6f8f6a1dac18cb79f096eb684d4e55247d2f159189a40c
1353 48bd7fbfba982f154e9cdb85a6aaa279f57a58ef06550df96d19484b35ee17e2
1354 9928d5bb9a4b88f6630baf15a3a4201587ec435993eed1d2781a47c7e451ac1e
1355 06687ae93daf8536e693c03a36c0ed807d0b704702fecd4ba0c0c86f48ed7603
1356 6e3ac757e13c1d5113d702212380c39de49c336091f14e26e8dac4a51e903bc3
1357 c5c94305fb888e22654fe85ef497325665c4a69a22359d891c3d5a7d7f3b63a9
1358 695d7583a8765d04939268dcd29a8b9adfcf2234183d6801112df02b26d03dee
1359 d251836b898a3f049ed8b23649ca7abb51b338fa5e309371732fcff1b58770f3
1360 b76484c06fa17c36e755945ac40185a12eeac1bf97a4647720a4b09a1ac65ffa
1361 29a8737061f4c96fc1f36ef263ee44920fb29a0ce1979e5d9cacb8d158a5f379
1362 c2135f16d5782d51ae46d2a2df3e851109afe8c0d4fe44aeb22c108e42e4d920
1363 ace87e693e7f29c0c42424f35d7a28efecceae6b151d6f9b87313348aadcd1e7
1364 4765e9aec59f5cdc29b415ae4f8ea91a1909b8472fa2aa40582fbd8bb88f6c21
1365 230d7d1c65e374052a6f99154e2df3428ff9728f1fbc75a82459dd94325d906f
1366 e95a6bba2760604df04e0882bc16c17031bab358681568a00cae1b500e9f04e0
1367 1156bd451214e6d99d583f64e5b0f0ccd8c5b61bace97b814b7bd69f7fe858c0
1368 704b6213850ee98cfde99889a8e2cbefb1daa7b0257138bff40efe8d0b779e7b
1369 7deb4fea63caea0de2357ab5f7430d839fe340a1a8614b4e74ea9a2f44bb77c3
1370 eafa1e216b919214f55063dabd0f5fc6c5768a2686045a96875079a658b14f7e
1371 d0217035148d2b74b178caea79a4de261155ba45fcc11248037f38015a3b7b4f
1372 7a6db8520a486b4a0ca5bf566467828aefd7fd3e90fa48dacb60d708d1063f39
1373 009bac83ec72b467ba963dbc462768fe96d7648a67097cf7a8c0e11b29c196e0
1374 46766583994d3544a0f8ddfe9ac03b2c92c088f9b5b171c380075c4baf1cafec
1375 730e42d7c49601082476efd0e8c5337243be567741c804ac2a935cf3a5ab8653
1376 9a784df29324792c17798254de572294f14350cf041ff68fe02926318adcb1f4
1377 0fb248d5f68eee43bbb75291a0d7a4117d92a2e81a5fb74c64eb51618fd61e24
1378 c66c77b51bf2602a0066caa18741b34bb963b035567bb9e5199b00e4c4602a9b
1379 1cd7a7159119859e8c769d39d74d13085f233e2572a183fa0749c9957c7bbdef
1380 9dbc5485521c11975cdf317c780dca9342736dc9dfbcb41fae36e0f38c6e87f9
1381 6be6bf443d9ee88ba49b17940746e5e1cb86bfe84460580296491a020603079c
1382 d79afa4f2ee0f138c12e060508b34de89823b11c2976641726f9811edd37c5c2
1383 de741452e903ce067493623a4e58aac11dda8ef756fbe836bfcd6f29b01fc749
1384 8feb34fe5f15b7e9fa038831c9b96adaab346045b3dbb191b6f1521eea270482
1385 95e875945bb9f6d84053e593735cdb298f73648c1b84ed3b016ace959231ef10
1386 ca46ab9f610108c165cf6331e8efb589b26f20a0bb243b3a8bb53ab85b28589d
1387 d81ad57210913f3aaff02fa188afb714287474df0707412984e1446198c51296
1388 479283c996b821aa46613cf0f3421692e014b408ea49d0fc2219dc55ba9b7a43
1389 04d286aef0f25d159464077749d4a21b885def1a0d9da8b0b204d3ea385bfe3e
1390 696ec52d5c7c86dfccfd0ae544f352cf6a429a2837eedef85b2a7a75d14fd7a0
1391 99ecf4dd2d512b538eeea20b779807003188557571e050cae4f2354461d58df7
1392 a1505f34f2f321f8a4786475e23ab55a5bdddd545e61ee699c91d32893bf14e0
1393 7185b9f39e1ba39b692130d97190cf089b0ad2e266936c3b455b40eb95d56681
1394 c030807d6a38ffe1f566ccc5b0277b6ebb9f8cd3b1c130f88f83555d78c0d876
1395 c9f46c01c02848639d9b97ecc19dbe0683168f07faa04dabfb84a1ec85d6046f
1396 c166ccea80a71d3639690769fd12310311672b95cfe21b1450f9c3102899cf1a
1397 26576869b10b04a4f70472d703bfc975abe05017b5b2d6f076cd4814db204e63
1398 852e76c73d5bbc7070bb37e7e631184d5d31d40e983b9b08c87eabc0a9727c55
1399 aab3c41ec4426f70d43304f2c46063f93d816a12cbd94c3d878bb68d8301f4b8
1400 7049aa330a555cffc1261f780799df2e221de799f1ca1bdb5b88397e8e424994
1401 a5b1f5c180f783ffbd604edd37922eb9b866f5f47e911cf66a1b19acc71c7d6b
1402 0dc710488d649e68062b1044690f0ed627e19fa80372a8438decf341cb501a01
1403 357d907cdbc0080c870067cef086ca4a0b0dde5b135475a7c3fb298864eafede
1404 916fcde5627fec01656ae140a500da08b52dfd5581acc4ea734c2f17a7faf048
1405 d5aecdb17e70bc3ba5c2ffb15dbcad30275b28c4964af491c6f8f05e4e7ee73a
1406 4ab70ccf47e87864c884631ad541a834e396f5a83dce1b52f8c02f7d6268dac5
1407 b593a310277fe0be1aa0713d19abe8d66e3f403eb05c5713e767b7fc868b60c6
1408 b53ddb24584ff191451b39d66b32838bc9575e9dc6b1b458ac0ba0b2d3fb39da
1409 e379970e0f7dcb458d2fcd28cbc71fdb2a91e8017166081d991855a9dd948217
1410 f3cba5b080add164b0331de83f445c52627b6e013477b1e439dde99f7b443eec
1411 badd7fa6dba5d3404921352b36180a72dcb7901229f86d6490d6f8db0b050043
1412 8ff22c989e78779898133c980e4658062d46111350737d8eb58cd4be91d3c06c
1413 8903f0c295006d1893ae505bb5f2b32983ae94063e065faf77acc2f6d2cb8e26
1414 287cdebf9c78cbf56d48468e367cf617c0c12c2e9978b6c3c77b41c7def72f49
1415 862b03eec4c14dfcf94aea0e78d0260d20d896d4e07706385c016811040b869b
1416 f0755b4f9627cd8de5c57581974e28d3b7841131bf82f62f058baa949b9abf01
1417 b31f98154b97c8cb571e95f0f8b51f90c66787b5fce2cd65c21c23514a9581c3
1418 672d60eec42a6deee92693672fe325704b39d6ad9480188b56c4f15f00f91ed4
1419 abe0c1437e22c59fb50b06de576f51b556cd9bc3eb18277937b2904e286d69a2
1420 a0215629e7ac37eee067352e5aa45da090a832ef11d821b2e344911828ff09ad
1421 171f310456d5ce284b97cf53affdc1d8a53801b8222b296e83e487185214a67f
1422 2866351dd5c49886fe9ff4da9b15e09d86d4a9a8a5df941895c1ba0215aa6dd4
1423 9a6dc44647ea18666029bfe5e23cbcf843ff4b07277109e461e0b11a16e426ac
1424 6d8c08fa5850d4eb90019ce9f3b8011444489d562813d5b6042bf1603f6284b3
1425 90cf2ae0049947c1e68b4924adf73bc9516612d7054c6da9e51dc72b95f8847d
1426 60c296be43917cea
1427 ";
1428 
1429 	assert(expected_sig == sig);
1430 }