Rearrange the file tree.
[u/mdw/catacomb] / math / t / gfx
CommitLineData
013d2916 1# Test vectors for low-level GF functions
013d2916 2
3# --- Addition (and subtraction) ---
4
5add {
6 # --- Simple sanity tests ---
7
8 01 01 00;
9 02 02 00;
10 03 01 02;
45c0fd36 11
013d2916 12 # --- Random data tests ---
13
14 7fb838a8a0a95046b9d9d9fb4440f7bb
15 c1a7bd3b4e853fc92d4e1588719986aa
16 be1f8593ee2c6f8f9497cc7335d97111;
17 8d68905434b020ccb849e17a03a5c441
18 d2a104aaf523699c1cc7a93174d21d9c
19 5fc994fec1934950a48e484b7777d9dd;
20 027aa17c97dfa80bbdef9f91b243c6e6
21 ddba1a223cad8a39e9c986879ad21b75
22 dfc0bb5eab722232542619162891dd93;
23 d668328b2594570198fd840b4783f5d9
24 f474e9ef071c418acf1f71b9cccdd179
25 221cdb642288168b57e2f5b28b4e24a0;
26 509e024b27fb8b3655da3938d0c04f92
27 3fa219832f73843c0ae8c4f4715f633c
28 6f3c1bc808880f0a5f32fdcca19f2cae;
29 13e8b9d83c66bc5fa56e2debbab3c9c2
30 6bb190b76e090abd7f6375a6921ad17e
31 7859296f526fb6e2da0d584d28a918bc;
32 3c98c1fd7d6e4ff9adae43a38ed0f2b3
33 101f88d732a51bbe40080cabd06002
34 3c88de75aa5ceae213ee4baf250092b1;
35 2774d74b7453e63c2d314e0be52eaf79
36 54c0dc1a0bedbafcb0b707fe5e496a20
37 73b40b517fbe5cc09d8649f5bb67c559;
38 75b9d1662c48f8c40ee4e9b3138a0b59
39 0ca3e9d4c75a6e2b493d7efb8554e9f8
40 791a38b2eb1296ef47d9974896dee2a1;
41 501591c68468a7d8ecfcae3f419ecb52
42 b0ad24cd246361f779e8317e94977c57
43 e0b8b50ba00bc62f95149f41d509b705;
44 6fa69209a292924f04fb5b3469a1068b
45 d9a06e9ac90f02ad095ff84f30a9addd
46 b606fc936b9d90e20da4a37b5908ab56;
47 ce596f2830ab988dfa7dc0add68214af
48 860c30b9a27c7b2759666dd71ec578c3
49 48555f9192d7e3aaa31bad7ac8476c6c;
50 862361325b5f7a6b506b948d55697ce3
51 95142973169fbae5410a22bb88ca63ee
52 133748414dc0c08e1161b636dda31f0d;
53 237495a82a6755689df073af2a56f88c
54 ab46613ddf7787fd1be42272fcb1be44
55 8832f495f510d295861451ddd6e746c8;
56 6b2d8d2b513277cfb03d8a5731234a3d
57 9cc41fbd7189a3b5b0ff2f3746eb9bc6
58 f7e9929620bbd47a00c2a56077c8d1fb;
59 af7baf1a8ce5d42eca4353de181d085a
60 c59bde6136dda59a839605252d1dd390
61 6ae0717bba3871b449d556fb3500dbca;
62 566a7c0f9adc5a021c1759e2c80708c0
63 28d1c20f2b8613b5e1ba8e3005aef30f
64 7ebbbe00b15a49b7fdadd7d2cda9fbcf;
65 a7d716d198bf6bb3d32ba364f722de52
66 4c9a1fa66d2d0cf7935d45e83b9ce326
67 eb4d0977f59267444076e68cccbe3d74;
68 310d8bb131c4bed327529185c4d46db8
69 2742ea95019b5f186c3c848744743d4a
70 164f6124305fe1cb4b6e150280a050f2;
71 70f5bfbf5f18a3deef4230b875b3a0af
72 93c9240145720297b96a404941792a21
73 e33c9bbe1a6aa149562870f134ca8a8e;
74 1ff7c9eaebd3b76791632b609a962992
75 bc3aca2e99d965238d8433eafd717279
76 a3cd03c4720ad2441ce7188a67e75beb;
77 3d1693836d0964dea42c5e80a4307b6c
78 aed5dcd2e9e918e0ff9577f5ceb66256
79 93c34f5184e07c3e5bb929756a86193a;
80 35706029aec609b55c48ab09df59744e
81 6d9b5b4dbeb1779580cba9bbc9fb8921
82 58eb3b6410777e20dc8302b216a2fd6f;
83 7a166f842cc6c36c09508e2b23dbad97
84 01e3fc1cacc040e96217a7281a4273d2
85 7bf59398800683856b4729033999de45;
86 510ce80a4ab0f9eae5f6c3281e7506c5
87 06351138a1ecb6be56a84f1b28a26368
88 5739f932eb5c4f54b35e8c3336d765ad;
89 31bfc6590de44898c40c31bb3aaddebc
90 82b37993094c9ff6498c55ba1cced0f8
91 b30cbfca04a8d76e8d80640126630e44;
92 d00d48a90eb9e89586cc3566b28fa5ea
93 0f502f973c2f17ad79543b20a92f2905
94 df5d673e3296ff38ff980e461ba08cef;
95 df63dead9d7aea0d3fca68123b0812ae
96 ae059fd909978bc6b8824b04e113fa2a
97 7166417494ed61cb87482316da1be884;
98 4c982bd2b93a027fd08ad69227a51506
99 bdc1112c061be0756685473011c61067
100 f1593afebf21e20ab60f91a236630561;
101 dc241c84816a1a50a7ad21519e6abd3a
102 f2c4d8d96bf32d999fdc7c37cfddac67
103 2ee0c45dea9937c938715d6651b7115d;
104 a466ee3984566e4947a28704ecd99d2f
105 0a5e90153ae473c9bee43aafaec08446
106 ae387e2cbeb21d80f946bdab42191969;
107 8698e5d4eede21f8d4791d69fc4cfb22
108 7b4bb531b633dfcb80d9bd35e10d4f6b
109 fdd350e558edfe3354a0a05c1d41b449;
110 4d2462e835a51ee5be30ea2bc6abbb1b
111 fb36217f8dd0fe234bb7dcb778130156
112 b6124397b875e0c6f587369cbeb8ba4d;
113 abf5c76c26bf952d64667f5049bbe6b5
114 436fbd0ad52336b0c9d2987ac79d2909
115 e89a7a66f39ca39dadb4e72a8e26cfbc;
116 8943b34ab9bc6f6839c09a9852492238
117 38b2304265ac16c80f84be3d61a82628
118 b1f18308dc1079a0364424a533e10410;
119 ae2730b3374140b33de67be248766cc7
120 1831ce84d756a4bda1c1ee22ed047d61
121 b616fe37e017e40e9c2795c0a57211a6;
122 4a87ef0f6bc691cab6d79253876ca89e
123 c0c2f4c479ffc90aeafe0598a4ac4d4b
124 8a451bcb123958c05c2997cb23c0e5d5;
125 63b2aad38a2d3b4cf681d892ed460110
126 d707531874bbc8fa22a49fd26142c631
127 b4b5f9cbfe96f3b6d42547408c04c721;
128 f44ef4d8cd19e4f6f6264c59360de94e
129 eb619a0c5fb3c490d382ff4a5d47a0f9
130 1f2f6ed492aa206625a4b3136b4a49b7;
131 786fa5572011847269ba3f51db1226
132 a1c8ac92fa365013326e0daac2dce7b9
133 a1b0c337ad1641974007b7959307f59f;
134}
135
136mul {
137 # --- Simple sanity tests ---
138
139 00 05 00;
140 01 05 05;
141 05 01 05;
142 05 00 00;
143
144 # --- Random data tests ---
145
146 7fb838a8a0a95046b9d9d9fb4440f7bb
147 c1a7bd3b4e853fc92d4e1588719986aa
148 207ccad257b4ed64447158315bfb9aca5cbc5622cfb8fcbb1380eea1bc5c624e;
149 8d68905434b020ccb849e17a03a5c441
150 d2a104aaf523699c1cc7a93174d21d9c
151 6c75a24ff82d63e8f9425d862be997fd7517511b2563189a6f0a238b33e60a9c;
152 027aa17c97dfa80bbdef9f91b243c6e6
153 ddba1a223cad8a39e9c986879ad21b75
154 019d5567c392730cf1fbc627f1de7ff20438e649e5ba7e7299fcea4ad4c7ac5e;
155 d668328b2594570198fd840b4783f5d9
156 f474e9ef071c418acf1f71b9cccdd179
157 4a7d1a3b7b904b1b135cb89e6f37a38d7f20fcc9bd7b9ec9f0c38114d2a742e1;
158 509e024b27fb8b3655da3938d0c04f92
159 3fa219832f73843c0ae8c4f4715f633c
160 0c0ff0782f813600eda5b73c0d2deaf072ed8b9e98e94991bd2578b776063fb8;
161 13e8b9d83c66bc5fa56e2debbab3c9c2
162 6bb190b76e090abd7f6375a6921ad17e
163 0626e9a14f2ada51ad47ae2385248d361142636fed5f062be9fa0a0567f14c7c;
164 3c98c1fd7d6e4ff9adae43a38ed0f2b3
165 101f88d732a51bbe40080cabd06002
166 03cb092534c593a9f834c21f1af0da8e604c416ec14e3fca1a72ba4c2b4566;
167 2774d74b7453e63c2d314e0be52eaf79
168 54c0dc1a0bedbafcb0b707fe5e496a20
169 0b2dd510554c5442d5871586392f81d08322aa0cf052f64ee507d59ef730b520;
170 75b9d1662c48f8c40ee4e9b3138a0b59
171 0ca3e9d4c75a6e2b493d7efb8554e9f8
172 024ff62a8d33d8c51560088e304cc9b13ccec97899ba476083b86f8c1dc28fb8;
173 501591c68468a7d8ecfcae3f419ecb52
174 b0ad24cd246361f779e8317e94977c57
175 2728b02f09e5cfc78d1b5e45d0b65d58aa353e8e5a928dc80a3fd523b464291e;
176 6fa69209a292924f04fb5b3469a1068b
177 d9a06e9ac90f02ad095ff84f30a9addd
178 29e8250c13db619580291b6d03317cf82d3f97c58aa1dc247c4d4ad25870b80f;
179 ce596f2830ab988dfa7dc0add68214af
180 860c30b9a27c7b2759666dd71ec578c3
181 658c3e0257c6986e4d0b7fd1c2296182f48c395f7a01acdb623702a83c0be9b1;
182 862361325b5f7a6b506b948d55697ce3
183 95142973169fbae5410a22bb88ca63ee
184 49e7469f9f53f214425455d15b9b5cc6309617f18db3e02b98aabe1b134dbd72;
185 237495a82a6755689df073af2a56f88c
186 ab46613ddf7787fd1be42272fcb1be44
187 14a2fbfb8b9621a60325ba6fc7c979b0caa46c7a5ffb865d01859f058621c930;
188 6b2d8d2b513277cfb03d8a5731234a3d
189 9cc41fbd7189a3b5b0ff2f3746eb9bc6
190 31ff31cfbb97615558ec4becb92036b6b8715ab6df7ed6dc18caff6e0641d24e;
191 af7baf1a8ce5d42eca4353de181d085a
192 c59bde6136dda59a839605252d1dd390
193 7e281956a0ae84282a4a600a9a434bcca6f89a9a661f03ac47dcd20ef2b066a0;
194 566a7c0f9adc5a021c1759e2c80708c0
195 28d1c20f2b8613b5e1ba8e3005aef30f
196 0845bd0d5a46401395876a7992ee9762842ea8d7202222e29b973a042a703c40;
197 a7d716d198bf6bb3d32ba364f722de52
198 4c9a1fa66d2d0cf7935d45e83b9ce326
199 2e09cac5254876c45a7dacddd71f13b394ca8ab95413ab681f554c50737839ac;
200 310d8bb131c4bed327529185c4d46db8
201 2742ea95019b5f186c3c848744743d4a
202 06baa3a8c8864b5ea1f998b6138db08924f3a49ddf1ecc22fa93110323aac0b0;
203 70f5bfbf5f18a3deef4230b875b3a0af
204 93c9240145720297b96a404941792a21
205 3fc325d1e5c637ab818172e3fdb51be97a28903ee232125797ead652b391734f;
206 1ff7c9eaebd3b76791632b609a962992
207 bc3aca2e99d965238d8433eafd717279
208 0d78c92f0d674c76fd9e71ace29b1ca58da8a67530a148bcf8815b395de46ee2;
209 3d1693836d0964dea42c5e80a4307b6c
210 aed5dcd2e9e918e0ff9577f5ceb66256
211 185d9d9d173a78a2ea8a86cef12ac9a560f5c1fd96a3e40d47f2d34798d02ea8;
212 35706029aec609b55c48ab09df59744e
213 6d9b5b4dbeb1779580cba9bbc9fb8921
214 0aa132382fb96e788f85a52888a8ef7fa645e17dfaaf35444566c2a56584c38e;
215 7a166f842cc6c36c09508e2b23dbad97
216 01e3fc1cacc040e96217a7281a4273d2
217 567d64a30f28d71578a9ced5624a950fe065d706cf3318c80c3883f126c51e;
218 510ce80a4ab0f9eae5f6c3281e7506c5
219 06351138a1ecb6be56a84f1b28a26368
220 01e80b50adeebb3790d5249eb4170d093b88ab1d42d0737d3dad6825e181f0c8;
221 31bfc6590de44898c40c31bb3aaddebc
222 82b37993094c9ff6498c55ba1cced0f8
223 18a13563df977554b9d470e4c5009f7ec1c62f561a9cb2041a51e7af81e2f8a0;
224 d00d48a90eb9e89586cc3566b28fa5ea
225 0f502f973c2f17ad79543b20a92f2905
226 048955ee72a928a69b16cc80502568ece68198c8947935283c725a2e6f00c842;
227 df63dead9d7aea0d3fca68123b0812ae
228 ae059fd909978bc6b8824b04e113fa2a
229 706606ae02e140bbf3783da276f47110834defb48e89270797e86251e27369ec;
230 4c982bd2b93a027fd08ad69227a51506
231 bdc1112c061be0756685473011c61067
232 283989fcc502efa3d0006b67465f3ebe7950cac8d54daf45215e09bd6058ea52;
233 dc241c84816a1a50a7ad21519e6abd3a
234 f2c4d8d96bf32d999fdc7c37cfddac67
235 4ebfbaf107e1e74583f1a0c6de06f2a4c230c1a96329d8bac1d95d122ce8a266;
236 a466ee3984566e4947a28704ecd99d2f
237 0a5e90153ae473c9bee43aafaec08446
238 044e0764b72ad37e86d87cca3b32c4d6797a7a9b2e8ab414e0c33617d2113922;
239 8698e5d4eede21f8d4791d69fc4cfb22
240 7b4bb531b633dfcb80d9bd35e10d4f6b
241 3c8785b738a800087fb26dc2562ebd676188a1f5e3b60d51463172a5ef5906b6;
242 4d2462e835a51ee5be30ea2bc6abbb1b
243 fb36217f8dd0fe234bb7dcb778130156
244 3a1f7deaeed3275707c611b83b64b4514d9b8508ed4b0827a7001be9488af62a;
245 abf5c76c26bf952d64667f5049bbe6b5
246 436fbd0ad52336b0c9d2987ac79d2909
247 2b38ad58100db6e6bffc52c6e7622581cc5daf65c0b4f7b87dab8313af786e1d;
248 8943b34ab9bc6f6839c09a9852492238
249 38b2304265ac16c80f84be3d61a82628
250 1daa464b09e5db4bef2c404c1be1fb6d6e0c5911ee10a1d7eba409e33b26c6c0;
251 ae2730b3374140b33de67be248766cc7
252 1831ce84d756a4bda1c1ee22ed047d61
253 0f8cb866e66f56fdfd530784d441c8b37d6e0b2a87e3ea6a0a2d6f4387e076e7;
254 4a87ef0f6bc691cab6d79253876ca89e
255 c0c2f4c479ffc90aeafe0598a4ac4d4b
256 37d54041b0e7d641ee3495897524f1ef4a4dad9671261e4aa03fba0bfadb0cd2;
257 63b2aad38a2d3b4cf681d892ed460110
258 d707531874bbc8fa22a49fd26142c631
259 2e25fc4f13fd3839c0698ca373d24ca2bfe572ad3ae46a50c1294237d30c5210;
260 f44ef4d8cd19e4f6f6264c59360de94e
261 eb619a0c5fb3c490d382ff4a5d47a0f9
262 5f20a07a81d4ed9f3d1fd9fef61318d01a58ea810b12ae3976dbe6c2406b2a9e;
263 786fa5572011847269ba3f51db1226
264 a1c8ac92fa365013326e0daac2dce7b9
265 336397c17a1fde4e90cbb9113a5fcd48239d39fee0807e66f8622d97b144b6;
266}
267
268sqr {
269 # --- Simple sanity tests ---
270
271 00 00;
272 01 01;
273 03 05;
274
275 # --- Random data tests ---
276
277 7fb838a8a0a95046b9d9d9fb4440f7bb
278 1555454005404440440044411100101445415141514155451010100055154545;
279 c1a7bd3b4e853fc92d4e1588719986aa
280 5001441545510545105440110555504104511054011140401501414140144444;
281 8d68905434b020ccb849e17a03a5c441
282 4051144041001110051045000400505045401041540115440005441150101001;
283 d2a104aaf523699c1cc7a93174d21d9c
284 5104440100104444551104051441415001505015444105011510510401514150;
285 027aa17c97dfa80bbdef9f91b243c6e6
286 04154444011550411551554440004545515455415541014504100550145414;
287 ddba1a223cad8a39e9c986879ad21b75
288 5151454401440404055044514044054154415041401440154144510401451511;
289 d668328b2594570198fd840b4783f5d9
290 5114144005044045041141101115000141405551401000451015400555115141;
291 f474e9ef071c418acf1f71b9cccdd179
292 5510151054415455001501501001404450550155150145415050505151011541;
293 509e024b27fb8b3655da3938d0c04f92
294 1100415400041045041555454045051411115144054105405100500010554104;
295 3fa219832f73843c0ae8c4f4715f633c
296 0555440401414005045515054010055000445440501055101501115514050550;
297 13e8b9d83c66bc5fa56e2debbab3c9c2
298 0105544045415140055014144550115544111454045154454544450550415004;
299 6bb190b76e090abd7f6375a6921ad17e
300 1445450141004515145400410044455115551405151144144104014451011554;
301 3c98c1fd7d6e4ff9adae43a38ed0f2b3
302 0550414050015551155114541055554144514454100544054054510055044505;
303 101f88d732a51bbe40080cabd06002
304 010001554040511505044411014545541000004000504445510014000004;
305 2774d74b7453e63c2d314e0be52eaf79
306 0415151051151045151011055414055004510501105400455411045444551541;
307 54c0dc1a0bedbafcb0b707fe5e496a20
308 1110500051500144004554514544555045004515001555541154104114440400;
309 75b9d1662c48f8c40ee4e9b3138a0b59
310 1511454151011414045010405540501000545410544145050105404400451141;
311 0ca3e9d4c75a6e2b493d7efb8554e9f8
312 50440554415110501511441454044510410551155455454011111054415540;
313 501591c68468a7d8ecfcae3f419ecb52
314 1100011141015014401014404415514054505550445405551001415450451104;
315 b0ad24cd246361f779e8317e94977c57
316 4500445104105051041014051401551515415440050115544110411515501115;
317 6fa69209a292924f04fb5b3469a1068b
318 1455441441040041440441044104105500105545114505101441440100144045;
319 d9a06e9ac90f02ad095ff84f30a9addd
320 5141440014544144504100550004445100411155554010550500444144515151;
321 ce596f2830ab988dfa7dc0add68214af
322 5054114114550440050044454140405155441551500044515114400401104455;
323 860c30b9a27c7b2759666dd71ec578c3
324 4014005005004541440415501545041511411414145151150154501115405005;
325 862361325b5f7a6b506b948d55697ce3
326 4014040514010504114511551544144511001445411040511111144115505405;
327 95142973169fbae5410a22bb88ca63ee
328 4111011004411505011441554544541110010044040445454040504414055454;
329 237495a82a6755689df073af2a56f88c
330 0405151041114440044414151111144041515500150544550444111455404050;
331 ab46613ddf7787fd1be42272fcb1be44
332 4445101414010551515515154015555101455410040415045550450145541010;
333 6b2d8d2b513277cfb03d8a5731234a3d
334 1445045140510445110105041515505545000551404411150501040510440551;
335 9cc41fbd7189a3b5b0ff2f3746eb9bc6
336 4150501001554551150140414405451145005555045505151014544541455014;
337 af7baf1a8ce5d42eca4353de181d085a
338 4455154544550144405054115110045450441005110551540140015100401144;
339 c59bde6136dda59a839605252d1dd390
340 5011414551541401051451514411414440054114001104110451015151054100;
341 566a7c0f9adc5a021c1759e2c80708c0
342 1114144415500055414451501144000401500115114154045040001500405000;
343 28d1c20f2b8613b5e1ba8e3005aef30f
344 0440510150040055044540140105451154014544405405000011445455050055;
345 a7d716d198bf6bb3d32ba364f722de52
346 4415511501145101414045551445450551050445440514105515040451541104;
347 4c9a1fa66d2d0cf7935d45e83b9ce326
348 1050414401554414145104510050551541051151101154400545415054050414;
349 310d8bb131c4bed327529185c4d46db8
350 0501005140454501050150104554510504151104410140115010511014514540;
351 2742ea95019b5f186c3c848744743d4a
352 0415100454444111000141451155014014500550401040151010151005511044;
353 70f5bfbf5f18a3deef4230b875b3a0af
354 1500551145554555115501404405515454551004050045401511450544004455;
355 93c9240145720297b96a404941792a21
356 4105504104100001101115040004411545411444100010411001154104440401;
ceb3f0c0 357
358 # --- Regression ---
359
360 01f081e69f45d3254530766ab98d55fa612c7bb27ea31bc2621d894be9c0b196b3
361 0155004001541441551011510504111011050015141444454140511111554414010450154545041554440501455004140401514041104554415000450141144505;
013d2916 362}
363
364div {
365 # --- Random data tests ---
366
367 6e0e2a282a5411ae76767ed1103deef069ef4ed3a14ff24b
368 5385621c6661aaa35a24150d2c08332e
369 01c2334cc957151dc7
370 398c4111da6d06cdf3d83704ee403101;
371 785e80e9711074a8412abd48da670731ea
372 4c5d348767009ea85f25f7ea02ef7be7
373 01c4
374 0b17de61cc808487285b72f14fa23336;
375 d921e3736edd0d111e56c51cf4e4c343cd690dbaeb34194592ca2b80cc7e
376 c205a3c1faecfa3a74f7838e20c5678f
377 012492f38367090dbc739e8a15c414
378 34570d4431e79cc4d3ff2a583c3a56b2;
379 06e7333745e54278092c9fee2cd95768e4e343013e48fe88660cbdce
380 10f02ba313d1c57d8cf04fa2e760f19a
381 6c1708dd11c7305e9d0a1974
382 0dd6757486f880c40590ed673c22ddc6;
383 bf4adc5bd775679384d763216edc12157afec6eb4d2435a2fc793183fafadc
384 9ff35b5c87471da1e56600203f11ae65
385 014fd82ad3ab0ef9bda71f5d88ab3fe1
386 3b599b787383608d59ba518513d7d0d9;
387 0377c80101957a0c0044ee9ae96e8a7cc785a629c1
388 7ca5d5ef2a981b83417db75f9616e0ff
389 0b71080c88
390 2d21297ee7c68552c11b6199fa1d55b9;
391 1c92d440eb73a2cc5891f1881dc9d366271416b21947d3a98eb4dc5692
392 7afdf70aa9d3f0a02b238d08d14fb1d9
393 4c61f24d2263168cc50b2d3126
394 2674528444adc656d5bfe3915849a064;
395 0ae3f419ecb52b0ad24cd246361f779e8317e94977c576fa69209a292924f04f
396 b5b3469a1068bd9a06e9ac90f02ad095
397 13ecfde29e5a9f5ff20fae44744397d7
398 58be1a2775d5b0424b7e9ef4450e9e34;
399 613cc2a6b7773965bca0c2ae6237e9f702b75a0852be1830c2e689f1ec9d6599
400 b75c7b15e30e188d84c96d7de9ad41ae
401 e3c34ccd80ca28706fdcd10562bd60cd
402 466ece9c2f57ebe70b744c210507d37f;
403 3555a5f38e5450a5cc5a7eeb9504288aee23298fb8
404 8dd256a0a99d55a277c1cebca95be232
405 6fa74dc1f5
406 0fdf1eba1901a220dce11aff114ba7a2;
407 23309eefbbc3fe8df211397e58df223596c695a8993be7d81ec52b
408 9891a51ece620fdeb8c4d1dad87f979b
409 4be153fb895358027814ae
410 7d23cf0b5d1b872877af14ab1b35ea49;
411 0175cde357bdd78d4672ea176521a9ef0c0e842d62cdef309b6ed2
412 cd41cb0292968ee9c82b353e07cd6e2d
413 037f62f06af153d6ad8c01
414 3d1533e7afd150b592fb196354585cff;
415 8705d678b201c2300a347083cae184ed
416 786ea38c016bbcc3e9f5c5b4662fdaec
417 03
418 0fb632ecb1bd0774302a3e5f6091ebd9;
419 0195d1b27b916f29264d0fd33696867bc9aea2f41dce71931886c5d898e25f69
420 93a948c2e26a36dc13a1754a80cdaf8c
421 034aeb96693c049c2af77e1a7b277a5e
422 3d9d04738de1dc0a7654b8115a7ee1e1;
423 79090e88e87a94e1eb7f7ebe3147bdde846170
424 eb67415f279248028ae4052f72d48092
425 9686d1
426 7100e616ea381ee5d0b2ffb7a67ee942;
427 f254423fef93d5d7a76ecf22c656c1352c53257875945d33
428 b2ca471b0867d5fae2e4f27a2d2706da
429 01bad680bd4a0132ee
430 582f783fc210f72814780e69b0bd29ff;
431 c9bd4858bd014860f6d95dabb9a5d3d231
432 c1ff2aefeb9d6cc4ac6ae0c0535d8c13
433 011f
434 17949a58ebcb086a5350c3aceffbc4e0;
435 0b8915613beb2e89cdb36b69b7d62ef2b0197537793f71
436 242f42cdf08598d86d812a11c5647b75
437 56ddd25003c7e7
438 1aa0da3ff44f29eb5db54ea6a970dd5a;
439 e03c7f839598081d2c42f4e503484e7a4a219d0149561f3d5cbed8
440 6503cea0d8a0c6a227143d96d7cad509
441 02c53788cff1530e65640225
442 078acf15737c0320afbac57f23098cd5;
443 0165144c6d0637f8cb21bc8913188186376755bbd790566f32612993fec931
444 8ab74399da1f1a01a91521d73d12b0d9
445 02ed5b96b580b772606cb77ff49191
446 58d92bf9fb6f5fb9f0975b3e2f5ad1f8;
447 02b35947d2f507a817cb9e178bd6bcaa1d9054979482efb1ef
448 56cebd75069fe534091d8409575702cf
449 08114f9866c8343218
450 2504e1784d51b5c26cad8df6357b0567;
451 109978bc6b8824b04e113fa2a4c982bd2b93a027fd08ad69227a51506bdc11
452 12c061be0756685473011c61067dc241
453 012013fcb240a4d4f394c40f357c666b
454 040d8ec7359c8fa7cb6864bb6fe2b6ba;
455 0240b50d2853d690a8cf355e9d79626c6cb5f996cccfee3e1be7eed633
456 d233771cc22b3724a3d14382766cce97
457 07b0d38444572f483317b557d4
458 7b499146cd46dab3812cf4691d3bbe5f;
459 025e90153ae473c9bee43aafaec084468698e5d4eede21f8d4
460 791d69fc4cfb227b4bb531b633dfcb80
461 0d396769c6e551b981
462 0f0854faf0c35a4ffa142b21d0047354;
463 0de9af086a7b5a69231741ad28f72df187515e355dd8dfd9b10bfc6e87f1
464 1a5dbee5bbc0980ab55fae3b6135fca9
465 89b00eb8894915d87ca6943ac6fd
466 06fa712cefe56e4dddbccc3b389d7bc4;
467 12333fa824ddf35aa1b7de856a919b5864e94c3d63ce94
468 84c4a1d9a55cde37b41ce04d4c292491
469 257b652b91361c
470 6b6611dde69c73a3bdde7b6fd01d6748;
471 038b2304265ac16c80f84be3d61a82628ae2
472 730b3374140b33de67be248766cc7183
473 0864
474 1519f8ad4b7430e93c72ce04104d044e;
475 1d09aead497b4383dc45da08fac2950fde1e
476 d78d23956daf24a70ed9513d8185e988
477 2b5e
478 227af9cc9eff71a25a89d3a5f95fc5ee;
479 01ff9215d5fc0b3149589a96c76555a7145a7699ed03b125da8c0221ae0ea630
480 e97791f445493fa4c2858c63e89de9b1
481 027c8467e27a018bbb903b85aeeff4c1
482 79ff4a78de0c7c1a9a87d63368ddcf41;
483 033c9edec4c98b26c1bd29dd6c33418bf678921a705fe94ba8f4
484 1f200f0df4aae402308e4d3747ea3b62
485 2b085586f038a6997a7a
486 095479470eacc695a289163c245933c0;
487 01a8722b24be8d9404cc9b836ab0b739ee57ae60ed
488 0ba579d54afea4a7386c2ae3664c3d93
489 3e54693717
490 0619d78694ac997bedf949a21bf9a024;
491 112bf3440706f9935e8221356e908bdd1972bc0b7d4540a76c779d845f604fc2
492 2d27eaf11c8af56eab46d787c409293a
493 b779548b4b726be09029b5b6e414316b
494 1498f6cd6bbed85fe55529a41188ce9c;
495 5fbb399787dc1c088ae1b1a868a8fd68071662aebe6859d764d8c66d
496 0ae272c16095b2e0b88f60f0bb2c77c1
497 09593fefe3ac800d34fa59a9d1
498 022c8aa8970653e5946394aaf55db47c;
499 0ba36adf7f6695ffcaf3cb4f671fcf1167c79f
500 d24e71e6be0662a608ddaac25c3174b7
501 1836b1
502 5a783d61e236025be73de15c60fb1738;
503 28b2a0867669dbc51f86661c3a1f6a1d5565284547a3f4f2f934
504 22bd5df7bc0c1e6a863a1a1c448733e7
505 01540ca5dc8900d40c3dd7
506 0eb263f6f9b698becce9b975cac485b1;
507 15503e6802be9c85711f75250539c76426f91b77
508 91cc2ed96c4eee210ed0cb5251934085
509 2f2129de
510 5430a3c98a336b14edef0d41d93dfad1;
511 011816c74ce3765423825661feba199268be5453932b36d6
512 a8a09df55f7606d260f79ad1825ec8ac
513 02b46a057ab9b6d8
514 5d970c88da5e61edfcf5b0afb7112c76;
515 0e58c4591e74eede082861a82117d4d41239247c
516 22afdfd47592ee3f4e9777003ee9e7ad
517 7437cb93
518 0faa41dc7710ab02ea755b778975ffdb;
519 019717a6f636f25b0467f5ae365c2ba5b8
520 801bf58c5282787aec5c66702e80efd5
521 03
522 173bb862c174d38b531104a62faa95c7;
523 1af0354e3dfc333b46c5efa3354f8a0cb6bb41
524 8d59fafe11fd9b7a2f687a13696d4315
525 375fa9
526 1993cbf7dfda1e1ce89c043dc306dbdc;
527}