chiark / gitweb /
Merge branch '2.4.x' into 2.5.x
[catacomb] / symm / t / gcm
1 ### Low-level tests for GCM multiplication.
2
3 gcm-mul64 {
4   cde4bef260d7bcda
5     163547d348b75511
6     c9ee47ed2b156ee9;
7   95e77022907dd1df
8     f7dac5c9941d26d0
9     6dbd5c9c416492a6;
10   c6eb14ad568f86ed
11     d1dc9268eeee5332
12     08bdf4e9bf8c1f93;
13   85a6ed810c9b689d
14     aaa9060d2d4b6003
15     0cf6ee6642648823;
16   062365b0a54364c7
17     6c160f11896c4794
18     79f08ae100e469b0;
19   846ecfa14a7130c9
20     f137120634c95198
21     9f105828be4871c9;
22   48a877ff77bf7919
23     2a5b50ade5d9cd73
24     474a0e6c8b786a42;
25   9a3d1f337f29549e
26     6b0d27a4ba234085
27     44071433860810ec;
28   406a6136512061f7
29     080cc07df0591d8f
30     a09f47fee5c90487;
31   a21f2dd88374d8cd
32     e8e160ad10997a21
33     d1a3ae2849f6e1b3;
34   635c6d62c9269029
35     df3e6057acc87638
36     4d02197152061f71;
37   f508046733d9ff61
38     cdbda3b3e9878731
39     3b567fc5b2fad254;
40   ebfedd4705e505da
41     1435dceaa7b1cc49
42     dee51993e134cdcf;
43   ae1d50c38201a894
44     476b3f102b752eb9
45     8e3e6132a84c2062;
46   529533966f27043e
47     b621b7f65b000961
48     262098e88d669837;
49   040ef2f9b2fc5fa4
50     50727a9b542cde52
51     ad129933b7f306e5;
52   ebfda19d0ccc520f
53     215eb57bb3a4f3eb
54     95e06cd4d7f6453a;
55   bbb18ac6c95a97a4
56     8030370c33d090c5
57     0acd90305b863292;
58   4215abd6b3ad54ef
59     c9a38378c5b93bf4
60     9f21b3656650b80d;
61   f2aad2605faee2b0
62     3fb648e27fff6310
63     53448ad6016b5a88;
64   2758fe2b69ac26af
65     a3349829b9458630
66     7a114f9030a64751;
67   6fed54154f8f2852
68     3c03d4de16001578
69     91532dc3dcd1b8fe;
70   46b710ee72807a22
71     19bfb474fd71d891
72     877c3092f14be92e;
73   f24bb65d1563259f
74     9eb53b571ea629c5
75     26fa6c3a6205f520;
76   4d57dd2d42f70800
77     df9fcbaca48b77db
78     baa61b8ee2efee4b;
79   a189196d1ebba10b
80     0467cb9fc2712a19
81     a7b5b29b8359b2d3;
82   9e533fa9156308cd
83     ec3f768281e040a9
84     30ae2526b8601e66;
85   b9a222bd689aef66
86     f5306ceb0c6b08ac
87     3656b2206364b85f;
88   8b0a22260c571b4a
89     42bb8fdb233bfa6a
90     351d3f9025791fb4;
91   5cfb0bad7d95214a
92     de49cb3b6f5fe836
93     3c571fdf110d88d3;
94   8131115c037ba323
95     fe1dc8151784873f
96     a5280a7d7bf3fbd5;
97   0eb5b647da6794c1
98     8b5337685a96ed65
99     15a80ceb4c5612d9;
100   b9aca338527ef19b
101     09c063c46f88de9f
102     506d2129368b3535;
103   d41e72d7b97e23e6
104     eabdff3bcd211499
105     a9485bc115054e16;
106   268878dbf30f1dad
107     89d4b9b12012e471
108     d33c8040301aa9d6;
109   3df46795630e7952
110     d22bb02d7100b8b6
111     c351d03535b15a43;
112   49377d20a8f08345
113     5b663e4ee1315f3c
114     659490124597d0ac;
115   8f2aebfa921451dc
116     d1af5813b70d30ce
117     a1265ff538452f9b;
118   2f1fef6ef315d079
119     8391805da08da3ae
120     090119c5295ce005;
121   fc5f8584b7c5e617
122     669c0f16e39815d4
123     fc0d6997230f9340;
124   e9cfce3ed1ecdf3d
125     264a7f16cb16c2e8
126     173b0d65b7f7defa;
127   15f422cdf0c8e303
128     08be3c31e6bc58c0
129     95789ad1072e5991;
130   b7cadcb658b970e4
131     7479a684b5aefa69
132     5681dbf13399af21;
133   a4cd52147ed12ca9
134     86981a874498ad0a
135     69266124234d8824;
136   bef8bc4fcb70e27e
137     98ef1f0446b42fb1
138     9ce3c0c2bd679e5d;
139   44d44b6d00f06dc1
140     88d472a784e0c6f2
141     d4d0dde377de138c;
142   1195a3b9f4ae9855
143     11265febd11c1647
144     324150243bf34600;
145   20eef9eb1c8dd0b0
146     0951f284649016ed
147     15cb17aa733f44ba;
148   00456331854bc78b
149     f43966eb0cfa9138
150     4c8fd598a01bf479;
151   ddc39908445608fe
152     95e81c2533e31c9c
153     5341133994016920;
154   1a9851bc2810d858
155     cbbc8424d126b807
156     470ff40df79063ab;
157   e6daa089c3f9099c
158     5ffb824173d7634c
159     0a778cecd0cafb7a;
160   04226f30cbb7f0e4
161     a973a8cd19010731
162     85a0294ea292354a;
163   4717a77456f3ff66
164     9c732b58db8f48af
165     636a37a3d5c97941;
166   65f7cc9e3fb90e17
167     21b730374ffc9bc5
168     64dccdd7dfb08b84;
169   97f56ccbb2f294b3
170     8766fc69f6a9f2c0
171     bf6f50d14cf7e5b8;
172   945ffd505003cc0c
173     ae9ce021a5f1fa4f
174     37035c953d053e5f;
175   fa91544485f1a125
176     8b2b9b8f0911e32d
177     9c50f40823733f0b;
178   65cc1770a18cbfe6
179     effd1ff6778554ac
180     11d7d33017171bc2;
181   f1270485b203a3c1
182     c4c967c0a458cb94
183     75e2e1a04e3ad3d7;
184   8bdd409b687fa3a6
185     827b480aa3a4c84c
186     e40958395d2015c9;
187   ef64f6c9b53bf8f9
188     57f4b03cf43e8995
189     cc0ff0246e3ea756;
190   7f9a3e8128f8743d
191     16687b7bb8deb9bd
192     e7afa3631ceb1d83;
193   205b70e04c091d20
194     5cdad9e9a79b1abf
195     295070cfdc2c3748;
196 }
197
198 gcm-mul96 {
199   cde4bef260d7bcda163547d3
200     48b7551195e77022907dd1df
201     4eec45fb8fc3b3e39aac7aae;
202   f7dac5c9941d26d0c6eb14ad
203     568f86edd1dc9268eeee5332
204     05134f056f51918c72e23289;
205   85a6ed810c9b689daaa9060d
206     2d4b6003062365b0a54364c7
207     bcfba16699cf54c7b4827b8c;
208   6c160f11896c4794846ecfa1
209     4a7130c9f137120634c95198
210     b831f2da94b112266bd6bc3e;
211   48a877ff77bf79192a5b50ad
212     e5d9cd739a3d1f337f29549e
213     5ad06fd826c670ca741020ec;
214   6b0d27a4ba234085406a6136
215     512061f7080cc07df0591d8f
216     e29fc44efee1497b3d29ef65;
217   a21f2dd88374d8cde8e160ad
218     10997a21635c6d62c9269029
219     5cc40a00243b31c565f37eba;
220   df3e6057acc87638f5080467
221     33d9ff61cdbda3b3e9878731
222     dccd19797b205b612986e298;
223   ebfedd4705e505da1435dcea
224     a7b1cc49ae1d50c38201a894
225     e8be723b884eb9f69e388db1;
226   476b3f102b752eb952953396
227     6f27043eb621b7f65b000961
228     bc04044aaaef558b55e3dd7b;
229   040ef2f9b2fc5fa450727a9b
230     542cde52ebfda19d0ccc520f
231     de533f5f43678c1072d64ef8;
232   215eb57bb3a4f3ebbbb18ac6
233     c95a97a48030370c33d090c5
234     861b3f005e294a74ae9d78b5;
235   4215abd6b3ad54efc9a38378
236     c5b93bf4f2aad2605faee2b0
237     bd3d716b1535654fc1336c3f;
238   3fb648e27fff63102758fe2b
239     69ac26afa3349829b9458630
240     9199c9fc5fe891d9b22fe7c5;
241   6fed54154f8f28523c03d4de
242     1600157846b710ee72807a22
243     66f5090ef7912cd1c4b4ebec;
244   19bfb474fd71d891f24bb65d
245     1563259f9eb53b571ea629c5
246     11a1ad6bd0e17aa45aa29d18;
247   4d57dd2d42f70800df9fcbac
248     a48b77dba189196d1ebba10b
249     5887206626c27472a811261c;
250   0467cb9fc2712a199e533fa9
251     156308cdec3f768281e040a9
252     f6c50c86da0692784633b96a;
253   b9a222bd689aef66f5306ceb
254     0c6b08ac8b0a22260c571b4a
255     6b5169d0ead2cf118bead4a1;
256   42bb8fdb233bfa6a5cfb0bad
257     7d95214ade49cb3b6f5fe836
258     23aeda3be39212e86bc0be3b;
259   8131115c037ba323fe1dc815
260     1784873f0eb5b647da6794c1
261     711e6d0a1d2f28008b8c1ff1;
262   8b5337685a96ed65b9aca338
263     527ef19b09c063c46f88de9f
264     5fcf403f2c1cbd40c5a2b2bf;
265   d41e72d7b97e23e6eabdff3b
266     cd211499268878dbf30f1dad
267     8f025a46e6a1c48a74cad7a4;
268   89d4b9b12012e4713df46795
269     630e7952d22bb02d7100b8b6
270     e147d342d3feee155226d69b;
271   49377d20a8f083455b663e4e
272     e1315f3c8f2aebfa921451dc
273     bd0327387c43f688f66cdbbe;
274   d1af5813b70d30ce2f1fef6e
275     f315d0798391805da08da3ae
276     08fa0a0c901d0d0965968170;
277   fc5f8584b7c5e617669c0f16
278     e39815d4e9cfce3ed1ecdf3d
279     98add0390bd310fa096f453f;
280   264a7f16cb16c2e815f422cd
281     f0c8e30308be3c31e6bc58c0
282     cd186496b610dd8764aa152d;
283   b7cadcb658b970e47479a684
284     b5aefa69a4cd52147ed12ca9
285     c2de0b36d4dea7af5bbaf035;
286   86981a874498ad0abef8bc4f
287     cb70e27e98ef1f0446b42fb1
288     9d2ab48640b402ade690ca33;
289   44d44b6d00f06dc188d472a7
290     84e0c6f21195a3b9f4ae9855
291     6c5c40b6a299efd5663d5010;
292   11265febd11c164720eef9eb
293     1c8dd0b00951f284649016ed
294     3c0b6a72988abb596a30e347;
295   00456331854bc78bf43966eb
296     0cfa9138ddc39908445608fe
297     7e180f9395090b8646d62aa4;
298   95e81c2533e31c9c1a9851bc
299     2810d858cbbc8424d126b807
300     78ae33d19f5d9ba3b2158f0a;
301   e6daa089c3f9099c5ffb8241
302     73d7634c04226f30cbb7f0e4
303     922a3fa3bb9704aa3cb0c627;
304   a973a8cd190107314717a774
305     56f3ff669c732b58db8f48af
306     f5996b9d374f4174367ca998;
307   65f7cc9e3fb90e1721b73037
308     4ffc9bc597f56ccbb2f294b3
309     799bda7e13675b504cc15d48;
310   8766fc69f6a9f2c0945ffd50
311     5003cc0cae9ce021a5f1fa4f
312     62aaf766cc72b312acf6b867;
313   fa91544485f1a1258b2b9b8f
314     0911e32d65cc1770a18cbfe6
315     5fe1f589f40181cef0aeaf9b;
316   effd1ff6778554acf1270485
317     b203a3c1c4c967c0a458cb94
318     8847d0b844fc9063ff111626;
319   8bdd409b687fa3a6827b480a
320     a3a4c84cef64f6c9b53bf8f9
321     1b937802f75d4ebc4f3d7a86;
322   57f4b03cf43e89957f9a3e81
323     28f8743d16687b7bb8deb9bd
324     a53eb13d45700a7885120b81;
325   205b70e04c091d205cdad9e9
326     a79b1abf91b0851e5ca605ac
327     d448d6ac6e6eb01171b14634;
328   8451399587011677508a15dd
329     e524af3e2bee0646541a42c2
330     dab29efd14f77990ca5d724a;
331   ecccb44d65bad397abfaf529
332     ee41cf9a05c7efedef340153
333     fea1ab4c3083794c01303a23;
334   9c51d2a90bbf7f1bfc338ab0
335     ef5746ea8fdcccd213e33f7e
336     74b7906ccadf56726f06016c;
337   8a5718fd25014107c8e7d715
338     a92add9589d1f5c054b2d983
339     20656261ca5136c2bf69b1d1;
340   514605ec590294a319b98020
341     68a9f891bc5ba5afabf8c312
342     55d0d749027044ab80ecfb46;
343   2d12d7ff3c41122d70d17d45
344     69eaff59a332ba58d5d5589b
345     a4de245c51057e4ca49e06d7;
346   fe079753ee1a957eb6d6699e
347     6b7ea2725cb2dac07ecde957
348     ad498f1966703fd2cbad5b6d;
349   59ac46fee6dda7abc8ad68da
350     ac90cfe22d2f1f2968cc42fa
351     f415976427d6fe6ff4547d08;
352   8b669ed3bb3542a9cf44bbc8
353     c6254d980398bd94e66eb456
354     afe3c9c5ded2010edc99564f;
355   3d405e51881e99027b8ab9ae
356     a3ccf860b0009740763d9683
357     1ee6d3bc94ea166843327955;
358   6c5f87b95460938de1288c69
359     d80ea12ff4bb5f069b8a2e86
360     046ba565c8674b84f22ac9a3;
361   041c1b9fc214e9ca2186ddf1
362     f6a7a3aa7e740da967828e36
363     9c0b170f7e8ca9958dcfc12f;
364   04b35b15ffaa6c36800d9645
365     563a308ba60076817523bd2a
366     cff407868fb153b9b51fface;
367   bf1261b089d8f23a9c283507
368     6a23faac2cdd67771cc667a8
369     7006da38a1cf3992ef37b338;
370   331f0a170b66283e4f834a06
371     148f302c3973accd56f6f24e
372     d493d3e118362ffe57ffce5a;
373   33958b8c2e2352fd61e4fa8f
374     ec816ac861a8b33779f09e7a
375     f700eeecf80cfd35a7c249c8;
376   10fc02a8f48afa3080ee119a
377     52a9a817e4f2b94b0820cab3
378     41f9bc5aceef5e3c164829d6;
379   83a8cffeea7c486315799dc8
380     75fba578c8ec4837898a9214
381     9ab99439ea7108fdd2b3a68a;
382   2b5b0677da1ac273117b45bc
383     fff5d5f8b6fde2893232a9f8
384     ed9e4c863cac39665c322566;
385   1d14517ffae475f6b94a43a6
386     7b3d380d2f9aaafe2dd721c0
387     a84bebd2a47410cb5320cd55;
388   095c8808847689211450ba80
389     95ffab1eaadf66fd22ac1976
390     09742e21f274088ba0c8fcc0;
391 }
392
393 gcm-mul128 {
394   cde4bef260d7bcda163547d348b75511
395     95e77022907dd1dff7dac5c9941d26d0
396     ae22821f55ada6b996c3818891f4ec1d;
397   c6eb14ad568f86edd1dc9268eeee5332
398     85a6ed810c9b689daaa9060d2d4b6003
399     c23e2072f3dbef54a6d43f840a45cd25;
400   062365b0a54364c76c160f11896c4794
401     846ecfa14a7130c9f137120634c95198
402     e4c3bf75dfae8f6201d306bb612d2757;
403   48a877ff77bf79192a5b50ade5d9cd73
404     9a3d1f337f29549e6b0d27a4ba234085
405     b5e1c1885725019124e64e12a7f7a284;
406   406a6136512061f7080cc07df0591d8f
407     a21f2dd88374d8cde8e160ad10997a21
408     83dc338673e6dce375f0c9e9c3853a3f;
409   635c6d62c9269029df3e6057acc87638
410     f508046733d9ff61cdbda3b3e9878731
411     48660987fa15f010812e499b7e448508;
412   ebfedd4705e505da1435dceaa7b1cc49
413     ae1d50c38201a894476b3f102b752eb9
414     1be7a7b553d5f4e88c6bdda1162fc56b;
415   529533966f27043eb621b7f65b000961
416     040ef2f9b2fc5fa450727a9b542cde52
417     7c48e4ab5e27e4f79f7c02e4e171cc2b;
418   ebfda19d0ccc520f215eb57bb3a4f3eb
419     bbb18ac6c95a97a48030370c33d090c5
420     45d12390797c08a0c3cc9244cd56b922;
421   4215abd6b3ad54efc9a38378c5b93bf4
422     f2aad2605faee2b03fb648e27fff6310
423     c53ccfdb25d06cd49acea8481c953bb7;
424   2758fe2b69ac26afa3349829b9458630
425     6fed54154f8f28523c03d4de16001578
426     413a6503df527330e38a5e62d61677da;
427   46b710ee72807a2219bfb474fd71d891
428     f24bb65d1563259f9eb53b571ea629c5
429     4c22f463e2528bfff499d3337d32a921;
430   4d57dd2d42f70800df9fcbaca48b77db
431     a189196d1ebba10b0467cb9fc2712a19
432     068a3e3a1cf5552b90d915e565c76c47;
433   9e533fa9156308cdec3f768281e040a9
434     b9a222bd689aef66f5306ceb0c6b08ac
435     1463b22c7b22f4b483ceff293a405c18;
436   8b0a22260c571b4a42bb8fdb233bfa6a
437     5cfb0bad7d95214ade49cb3b6f5fe836
438     d1be35fea22f3168cb22d7b044c4a53b;
439   8131115c037ba323fe1dc8151784873f
440     0eb5b647da6794c18b5337685a96ed65
441     39ee791290bd770cc3747c82e906de45;
442   b9aca338527ef19b09c063c46f88de9f
443     d41e72d7b97e23e6eabdff3bcd211499
444     5e39550b65471a1a5a8db0a1a36ba3a6;
445   268878dbf30f1dad89d4b9b12012e471
446     3df46795630e7952d22bb02d7100b8b6
447     f1f7219c57aca09072abd1a4b5dc211c;
448   49377d20a8f083455b663e4ee1315f3c
449     8f2aebfa921451dcd1af5813b70d30ce
450     c53ec2fa18d6dd8749295e7246056537;
451   2f1fef6ef315d0798391805da08da3ae
452     fc5f8584b7c5e617669c0f16e39815d4
453     ba9f8b1bbaaca05549621835352a0732;
454   e9cfce3ed1ecdf3d264a7f16cb16c2e8
455     15f422cdf0c8e30308be3c31e6bc58c0
456     e24b90e7ca7ee0094901641a6ed9efe3;
457   b7cadcb658b970e47479a684b5aefa69
458     a4cd52147ed12ca986981a874498ad0a
459     6a8831e02852976a844c69f551cd6617;
460   bef8bc4fcb70e27e98ef1f0446b42fb1
461     44d44b6d00f06dc188d472a784e0c6f2
462     d8ede7cda85607c85ca2aa454275cab5;
463   1195a3b9f4ae985511265febd11c1647
464     20eef9eb1c8dd0b00951f284649016ed
465     b7690610ba96abfaa395dc709830c17d;
466   00456331854bc78bf43966eb0cfa9138
467     ddc39908445608fe95e81c2533e31c9c
468     7b23455563491e6234d7f3976ed92534;
469   1a9851bc2810d858cbbc8424d126b807
470     e6daa089c3f9099c5ffb824173d7634c
471     4111b410f25d6c27ef36e4c0744e06dd;
472   04226f30cbb7f0e4a973a8cd19010731
473     4717a77456f3ff669c732b58db8f48af
474     f3ed8ac5133b62dc453bb3b845371f07;
475   65f7cc9e3fb90e1721b730374ffc9bc5
476     97f56ccbb2f294b38766fc69f6a9f2c0
477     97bd7eac33021557df0c54ca9b45c4b3;
478   945ffd505003cc0cae9ce021a5f1fa4f
479     fa91544485f1a1258b2b9b8f0911e32d
480     074736b8f03cfe2d058b60a60c1c42b2;
481   65cc1770a18cbfe6effd1ff6778554ac
482     f1270485b203a3c1c4c967c0a458cb94
483     e6159e8e83f7acbcd6e3c1530ec97a31;
484   8bdd409b687fa3a6827b480aa3a4c84c
485     ef64f6c9b53bf8f957f4b03cf43e8995
486     47c1e7905f2f87b6a522a2eb83b6e7cd;
487   7f9a3e8128f8743d16687b7bb8deb9bd
488     205b70e04c091d205cdad9e9a79b1abf
489     48d09e17f51f54cb44113d4f22d19bee;
490   91b0851e5ca605ac8451399587011677
491     508a15dde524af3e2bee0646541a42c2
492     7b880e45b35f9b942de7b817ad2d3921;
493   ecccb44d65bad397abfaf529ee41cf9a
494     05c7efedef3401539c51d2a90bbf7f1b
495     0f092a20ab3a445fa314921920e68a7b;
496   fc338ab0ef5746ea8fdcccd213e33f7e
497     8a5718fd25014107c8e7d715a92add95
498     b03bdb56bcea03d7a98444d06c4d9949;
499   89d1f5c054b2d983514605ec590294a3
500     19b9802068a9f891bc5ba5afabf8c312
501     7c950c3817abf217b1bb67c78dbc9ce1;
502   2d12d7ff3c41122d70d17d4569eaff59
503     a332ba58d5d5589bfe079753ee1a957e
504     22164f3d69c20fb9a211645810a980b5;
505   b6d6699e6b7ea2725cb2dac07ecde957
506     59ac46fee6dda7abc8ad68daac90cfe2
507     f916129ec57c478ffd99077e76fb9f0b;
508   2d2f1f2968cc42fa8b669ed3bb3542a9
509     cf44bbc8c6254d980398bd94e66eb456
510     ccacc0839b857afecba7bbd5ca6b2e2c;
511   3d405e51881e99027b8ab9aea3ccf860
512     b0009740763d96836c5f87b95460938d
513     b5dc31fc7ae8d1a7c4b638fa22490910;
514   e1288c69d80ea12ff4bb5f069b8a2e86
515     041c1b9fc214e9ca2186ddf1f6a7a3aa
516     9445b9b898beeb32a4d1ce0ab979c740;
517   7e740da967828e3604b35b15ffaa6c36
518     800d9645563a308ba60076817523bd2a
519     765a9b5e6dd62f8b3bba62382a58f149;
520   bf1261b089d8f23a9c2835076a23faac
521     2cdd67771cc667a8331f0a170b66283e
522     7ae006a4c122e24d4f7e3ff2c6f1354d;
523   4f834a06148f302c3973accd56f6f24e
524     33958b8c2e2352fd61e4fa8fec816ac8
525     2935d8d91408993ddb7a7d0d8db8516a;
526   61a8b33779f09e7a10fc02a8f48afa30
527     80ee119a52a9a817e4f2b94b0820cab3
528     ae4fd2f3a8d384e0b395461a8e326022;
529   83a8cffeea7c486315799dc875fba578
530     c8ec4837898a92142b5b0677da1ac273
531     9b0c75856b1c2972cb990106690d373b;
532   117b45bcfff5d5f8b6fde2893232a9f8
533     1d14517ffae475f6b94a43a67b3d380d
534     5b7b6a4fdfcf0c8a6d67f240458b70f3;
535   2f9aaafe2dd721c0095c880884768921
536     1450ba8095ffab1eaadf66fd22ac1976
537     729752ad6453d80b3d31e7433be19add;
538   063e113ab61f813e28a1397a7974a1d7
539     f4220c785fe426a5a0e80f678d404147
540     dc51774484281b3ab9cd2859a1f91063;
541   842941feeffdc2eb44dc8c0d5e8f444f
542     7f4e0c893959b74dc23a7bb40e7e0013
543     1a01406d34cf1da32e48b55e792b37e9;
544   e5150686d2301b43a15a84e81d7f5ced
545     aa49e2414ebf47970e560475cff20687
546     0e9125c21526a8dc35085476ffbd523d;
547   7de69146acc3ab6cf8556b7aa7769459
548     48d1b8834df2196c92ec1718dcdeee0d
549     31df775698abd477c7c389bbade1026b;
550   52d9539726d2810391b3f9d10c39b07a
551     e8f08ce7cee4758a386a9943e97dedfb
552     87800aad52281a95fb85fb4679774add;
553   e61e737882cd09c2b9a80f34c0fde11c
554     2481b11fc76bfa4dbf710a9e544e0c53
555     a3b71ba7cd2e15c70cd5d40d6d145d1b;
556   6ca1e040f9ad5b04140d98edabe08485
557     290a4d87d13b07398a1458c2c6b61dbd
558     fdba17a43c6d190d2318855a2645748b;
559   bc1cccada8c1a0a9aabb6c4e3c3554f8
560     fb1ef61614c270295dfc0ca6551ca4bd
561     c7eabdcdea64775c683fa87614816b9e;
562   b75359f91cb9d921056b7de74fc9a9b3
563     7154ce6c0b396179d31f06a1dd5982cb
564     a3fa226d9cd4183023e8061d3c3c7666;
565   c0d7cb23841da1ae8f4ae480cda98ad6
566     cf2bacf6f9fd3f821330c43f3df6c2b3
567     635a20300e343fbd26211c9ff3ea26d5;
568   fac7cbcf96523d4723f91801325eb855
569     3236651c96788d73d192ee53b3f3ebd6
570     1ac40bd24b41dcc095e25dd6f5647d68;
571   6ddd98cedbe88e245de25b1593b70f86
572     01562d90a9b59ed034a867642d25d547
573     fe9b405f0a0e3d917075a2ce8282a881;
574   56fa5c47f16f64b837bb4926214211a1
575     c696ba172010abb433922a22d9fd8815
576     384b8bc7a4a1135a6bdf3c36756b0774;
577   19165eb9d85197a21cc34ac0d5ae7be8
578     dbf98e4ffed2cf6b1372a5aa47b54fd9
579     0b197a28af39b496a4d82db88cfa51b2;
580   d70c70e117bf1cae71b3a56f0e7d839e
581     a59cc783443d64f2ed6a29b96856beca
582     ab4ef17dac09d42ecaaac8d50643d89a;
583   34fd6544bcf86b799e2a1681160ccf05
584     5f0fd3001da597a1406d465b7b1419ea
585     c964db11b22df7e476eac1448500114e;
586 }
587
588 gcm-mul192 {
589   cde4bef260d7bcda163547d348b7551195e77022907dd1df
590     f7dac5c9941d26d0c6eb14ad568f86edd1dc9268eeee5332
591     3bf1ea9b1ebee7e9444aaf08e585b09b31e67d3c95c9612d;
592   85a6ed810c9b689daaa9060d2d4b6003062365b0a54364c7
593     6c160f11896c4794846ecfa14a7130c9f137120634c95198
594     aa859fbc2a8ddcff234ac6e350b0e0c1a62f882f77219ce3;
595   48a877ff77bf79192a5b50ade5d9cd739a3d1f337f29549e
596     6b0d27a4ba234085406a6136512061f7080cc07df0591d8f
597     6caddb90ad1aaf422acc28e99d650fa1a3d7b480101b3b32;
598   a21f2dd88374d8cde8e160ad10997a21635c6d62c9269029
599     df3e6057acc87638f508046733d9ff61cdbda3b3e9878731
600     f8d6b247d97ac3252c49a7544bbde8a0e45a999bc81b156b;
601   ebfedd4705e505da1435dceaa7b1cc49ae1d50c38201a894
602     476b3f102b752eb9529533966f27043eb621b7f65b000961
603     27177d063a813ad4be51f4360cb3933bf6ccc1bb64c5cb32;
604   040ef2f9b2fc5fa450727a9b542cde52ebfda19d0ccc520f
605     215eb57bb3a4f3ebbbb18ac6c95a97a48030370c33d090c5
606     c03117b28345bbbbdf657e220e2f23de46743a5591e66d69;
607   4215abd6b3ad54efc9a38378c5b93bf4f2aad2605faee2b0
608     3fb648e27fff63102758fe2b69ac26afa3349829b9458630
609     9c0ce16e01e9376fb28c571aa2401c7be69cabc249323ab4;
610   6fed54154f8f28523c03d4de1600157846b710ee72807a22
611     19bfb474fd71d891f24bb65d1563259f9eb53b571ea629c5
612     e869d24bde7293357bb17686c423591a891c40eb75e9cf8c;
613   4d57dd2d42f70800df9fcbaca48b77dba189196d1ebba10b
614     0467cb9fc2712a199e533fa9156308cdec3f768281e040a9
615     26ca24fde1d3d37a5e3dc72acf6d2b31ab1d084caa3dc205;
616   b9a222bd689aef66f5306ceb0c6b08ac8b0a22260c571b4a
617     42bb8fdb233bfa6a5cfb0bad7d95214ade49cb3b6f5fe836
618     ee889525ce4e6531e0eb218a0e72bdad13ecc5a1842d16f6;
619   8131115c037ba323fe1dc8151784873f0eb5b647da6794c1
620     8b5337685a96ed65b9aca338527ef19b09c063c46f88de9f
621     12eeda395ce56e2170f6671f527f165f1992cc1940b552f7;
622   d41e72d7b97e23e6eabdff3bcd211499268878dbf30f1dad
623     89d4b9b12012e4713df46795630e7952d22bb02d7100b8b6
624     55153969c52056416bfd39a39cd2417339c800620227b450;
625   49377d20a8f083455b663e4ee1315f3c8f2aebfa921451dc
626     d1af5813b70d30ce2f1fef6ef315d0798391805da08da3ae
627     7e3e26d9c6514465ae7258f1ed4909c83ea1bbcb8a0b2947;
628   fc5f8584b7c5e617669c0f16e39815d4e9cfce3ed1ecdf3d
629     264a7f16cb16c2e815f422cdf0c8e30308be3c31e6bc58c0
630     8acad6c66a7d17fc4e55a164408cf9ad42974ee147d6fd0f;
631   b7cadcb658b970e47479a684b5aefa69a4cd52147ed12ca9
632     86981a874498ad0abef8bc4fcb70e27e98ef1f0446b42fb1
633     b62791c6430580b6921bda4e8f0dc67a3cd4c344ba87a56a;
634   44d44b6d00f06dc188d472a784e0c6f21195a3b9f4ae9855
635     11265febd11c164720eef9eb1c8dd0b00951f284649016ed
636     9a063e0f09a4fc2e41a63b38564fc07c578df43375a31c9b;
637   00456331854bc78bf43966eb0cfa9138ddc39908445608fe
638     95e81c2533e31c9c1a9851bc2810d858cbbc8424d126b807
639     6eb9bc75eb709c4a6f63d8121d25b8777f5ea3af865ce812;
640   e6daa089c3f9099c5ffb824173d7634c04226f30cbb7f0e4
641     a973a8cd190107314717a77456f3ff669c732b58db8f48af
642     0b3e51503a58f410adb27a6203a8966d47657d481a302d23;
643   65f7cc9e3fb90e1721b730374ffc9bc597f56ccbb2f294b3
644     8766fc69f6a9f2c0945ffd505003cc0cae9ce021a5f1fa4f
645     82de8284669677b6832d83675af4fe5462636a530459d49a;
646   fa91544485f1a1258b2b9b8f0911e32d65cc1770a18cbfe6
647     effd1ff6778554acf1270485b203a3c1c4c967c0a458cb94
648     61d8b471ee449edb41627d254bfbfcbca10babbc1460d5f8;
649   8bdd409b687fa3a6827b480aa3a4c84cef64f6c9b53bf8f9
650     57f4b03cf43e89957f9a3e8128f8743d16687b7bb8deb9bd
651     254a831b866aad0f5e51943fc70c5ccaa7b9adba85762f00;
652   205b70e04c091d205cdad9e9a79b1abf91b0851e5ca605ac
653     8451399587011677508a15dde524af3e2bee0646541a42c2
654     418f551166e166e2e89fdc3d3a7a1e60e50e472c349da9de;
655   ecccb44d65bad397abfaf529ee41cf9a05c7efedef340153
656     9c51d2a90bbf7f1bfc338ab0ef5746ea8fdcccd213e33f7e
657     ecf94369195385ea66741348bd0e796c461293ad8b1d1895;
658   8a5718fd25014107c8e7d715a92add9589d1f5c054b2d983
659     514605ec590294a319b9802068a9f891bc5ba5afabf8c312
660     245f715f907f93b9b5277b55f844f5b4aa732ac698a76f95;
661   2d12d7ff3c41122d70d17d4569eaff59a332ba58d5d5589b
662     fe079753ee1a957eb6d6699e6b7ea2725cb2dac07ecde957
663     233a36249df31b12a3da455a1ff4c34f457399aa9ae8194c;
664   59ac46fee6dda7abc8ad68daac90cfe22d2f1f2968cc42fa
665     8b669ed3bb3542a9cf44bbc8c6254d980398bd94e66eb456
666     db7a3e16e9aafeab616ce0fd985073f9eefbcb08c69985b7;
667   3d405e51881e99027b8ab9aea3ccf860b0009740763d9683
668     6c5f87b95460938de1288c69d80ea12ff4bb5f069b8a2e86
669     7fc4a6d0b794e1bc893a00969479168876f166d1140aa9e7;
670   041c1b9fc214e9ca2186ddf1f6a7a3aa7e740da967828e36
671     04b35b15ffaa6c36800d9645563a308ba60076817523bd2a
672     da67471cfae7c99a25eb0f23d5081e6f05888ef4c7c5651a;
673   bf1261b089d8f23a9c2835076a23faac2cdd67771cc667a8
674     331f0a170b66283e4f834a06148f302c3973accd56f6f24e
675     6a391d4b0a662c09d3807c90dfcb8f230e260dacb89943e0;
676   33958b8c2e2352fd61e4fa8fec816ac861a8b33779f09e7a
677     10fc02a8f48afa3080ee119a52a9a817e4f2b94b0820cab3
678     8ae8f405accb95e13d86bed19e63f6d6efe47264a46960ca;
679   83a8cffeea7c486315799dc875fba578c8ec4837898a9214
680     2b5b0677da1ac273117b45bcfff5d5f8b6fde2893232a9f8
681     72892f188dce0da69ee68b3782ead0d40f1748fbec7dfd06;
682   1d14517ffae475f6b94a43a67b3d380d2f9aaafe2dd721c0
683     095c8808847689211450ba8095ffab1eaadf66fd22ac1976
684     281ef0eff8afd5233318b564c8ed228e76c075ba61e7bd6b;
685   063e113ab61f813e28a1397a7974a1d7f4220c785fe426a5
686     a0e80f678d404147842941feeffdc2eb44dc8c0d5e8f444f
687     4fa4ca4d35e133d9d94815fc1bd294792bf73d2cb470eef3;
688   7f4e0c893959b74dc23a7bb40e7e0013e5150686d2301b43
689     a15a84e81d7f5cedaa49e2414ebf47970e560475cff20687
690     9d7c763547460f559d2ace4bc185f365e0c634e9ddffe0fd;
691   7de69146acc3ab6cf8556b7aa776945948d1b8834df2196c
692     92ec1718dcdeee0d52d9539726d2810391b3f9d10c39b07a
693     33c5a1a6645c8ea5e2a1bd5c3d8a05ed1fbf25bc16b969b1;
694   e8f08ce7cee4758a386a9943e97dedfbe61e737882cd09c2
695     b9a80f34c0fde11c2481b11fc76bfa4dbf710a9e544e0c53
696     14ed2a6864c16b031fe425f0edd51930c4e09a1672e28578;
697   6ca1e040f9ad5b04140d98edabe08485290a4d87d13b0739
698     8a1458c2c6b61dbdbc1cccada8c1a0a9aabb6c4e3c3554f8
699     ae886c5aa093d9c66b6de64062eccf3c5d2c3fb763bdde09;
700   fb1ef61614c270295dfc0ca6551ca4bdb75359f91cb9d921
701     056b7de74fc9a9b37154ce6c0b396179d31f06a1dd5982cb
702     877d80fe26e43415303f4590f934354f265aefc3aa7bf85c;
703   c0d7cb23841da1ae8f4ae480cda98ad6cf2bacf6f9fd3f82
704     1330c43f3df6c2b3fac7cbcf96523d4723f91801325eb855
705     9ffdb8a099964dd83b1936e57a1c3511c92c68e0c712d1ba;
706   3236651c96788d73d192ee53b3f3ebd66ddd98cedbe88e24
707     5de25b1593b70f8601562d90a9b59ed034a867642d25d547
708     6bd995f6829d0ac4d313f7ab100ea03ffbac19de700dce3a;
709   56fa5c47f16f64b837bb4926214211a1c696ba172010abb4
710     33922a22d9fd881519165eb9d85197a21cc34ac0d5ae7be8
711     1fbdf165adb07f53ff3ea39a33a82ab9a5cb243259c5ec1d;
712   dbf98e4ffed2cf6b1372a5aa47b54fd9d70c70e117bf1cae
713     71b3a56f0e7d839ea59cc783443d64f2ed6a29b96856beca
714     14c2eb66e8aa8bdcd09978ebcb905473a8edff6c771da7f1;
715   34fd6544bcf86b799e2a1681160ccf055f0fd3001da597a1
716     406d465b7b1419ea51cf858f938f6daafbd656445a09898e
717     c1f403fe552c5a3d008512eb2d015705e149072ce1d3e69a;
718   aa96ffc3d1d2e31e4e34c94b8bfae64825ecd75a66d88eed
719     b969ffe07669845ebb7a24c69f13d099f47166edf54538e8
720     a033fe30ee8714a173e1fd5c821ff2c5aeaeda27c3a9dcca;
721   8fbf433a7ff212085179e79771f6eee7283ab178ef2b800d
722     7b969da05780ffc1ba78c70dda7a4ca2a25e771702fb1901
723     ecff14eb486025a840e4b7d8b43075a87de1cac31cf05804;
724   ecfc8a959cb8e75079bb018ccc8c54f31b450e88f8e90029
725     26ad0284c738f4cb0f58a1e34c8b15ad930c1b627235a2cb
726     936b458a28fc0c6de0ea6f10e49cc13892899a112fa175b4;
727   84241986c251f5b70be2367f047265264e0da72efe8995e6
728     c932a17eab511eddb8e4ba463c663035a6ae8a7a899e4279
729     c106ea40f0e1a1cab89dfd44d27bec7ad878e4bfdefb1c8a;
730   d54d03f0e0f3e961dcfd40088d5be74088e4097efb0368c7
731     e2f431ee6988cf2a0e9ebeb3de79c4f86c9e4fba61339d6d
732     5962497cc337df2622d05213a1d8a5048ad7f017cc53b01e;
733   907eab7707ca48ff5ba1ae93d16225d469de5747bc1addf5
734     748729720a320fe14fd29cfc59314fe2079c0a2535ded561
735     cec57ed2e38528db38facc00e2cc658f681f371ccd55af54;
736   12d6e3d33dcf7c71cd7d130323794e3da84a9df69703a9ca
737     f02d2a8f57ac71e554a6850d55882f8c7ae6994fc8528bd1
738     d4186ea94ce6b6e90797ce6c5c09a2f136e758b7bbc332a0;
739   8c374fc43581d2f72a89584a2404a059f7f99c7241a0c879
740     d6d4455b382a9ce757b3e7a1d07585ad9d7ea9c7c9cf54f3
741     55dc606dc9bad711515603b589f1e1227c03826c0d017b3d;
742   bc6d94238ab56d738e02abd651477cd726d6f3ebcd6fadea
743     b50906642a7de6496247060e7be3632ed9bd94bb42f45a87
744     97ef18739ec98e9cff77ca3f323b567df45c8ca5e5f3b310;
745   33b2cd2df9d1d905cfdb29983050d6bcdb686a0c897031ad
746     09a5b8fa687ec3bad8e18dc2ad361f1e226e78876cd35f86
747     5671fca885dd004ba927253cd0342c5e0bfbdaddc608dcd0;
748   c639733c5cd84aed8aaebabb7e0f24edfd9710b7bca91b61
749     2ea37fc5cc09f7f62f66b423fcd2dec5de24d264f2c83983
750     e587e42c1e61c6ceadea37c68bfb715e01a15c47730ac81b;
751   9c1b06319f687dbc68d9f07fd41ccb4f8cde8de201ec2680
752     332bbded4883deea0b58b54bdd13c17ef292b0ded3caeb5e
753     87aa1604b5d3a8bc2b6b8bc67d37a3dbfc3d12b19cbc43ae;
754   57fd21df10bc6186265ee6ea45907de6cb822fb2ef953aea
755     358a03e0fce2e1b9511bd332c86e67f123377a8f0256b8dc
756     9e06e282ca2a9286bedf70783876f36cc238cca76cf81dab;
757   c73ae1b3c6cd3f104e3cb24284cfed17811d64d492d39ea7
758     496993a25b072945d83f923e66b0a6689cf0969c003a8fca
759     54ce4a46639bb8b1627fcb98bb76270c615f5a4411c8c754;
760   80e322a4b1bf050c1220450433efb6b6d8a2d820cf27a64b
761     9d47f636845dac557bb3e75f3a18fb8e173416867fcd0ee7
762     0b77cb7790f367b2b8465ddec635b6d272e78c5f8670dab0;
763   8ddd9236beec76d55ed58b10f91d07a037791ab96e83c4bf
764     2fb5b205e592c172a5cbc19456c95c1bea6079f3867e52d6
765     3dbca1bf0639237a10ee151674812fb5a4459614d405ea17;
766   63cb3884b2a0a8ff825df752423f3179bfeb89eca385f20d
767     dce5f1f23564672e370ffc37d400a31e8aac1d426ce10df7
768     3186bd4e2bd9b82499779406fa93fe98d2d74a9de4f94cfe;
769   3c5ee478b3b63d91024780e974a8a2a0e7a36f84ab1286b6
770     27e7d01b38a84a6de738721ed80fd0d7f69fa658abb5a440
771     83f9caa8826f361ae7b7015fed42ed61d964258e4b9aa944;
772   d304128719b541a9451cead18e4c61d93d1f8fcc53574427
773     767396322b3bf7d02cec05093696cec07591ada462271b1d
774     a6cb63d9b94d2269e85bb551f019180b8daaf1461946a2f1;
775   1519eedde0df37a330fe8c22ebd77705917b7e32ae88f45a
776     34a8ba3037235e19a394be4d26ce47317d8087684456b4cf
777     25e012b33b54bb9734315020b02651a8476dd2af54fa9e39;
778   c5555e925e3e7b2ebc829b2d0505ea617b0ca9531bcdb960
779     40d39040e632d562643ccb64286303040fcaf679e914eadd
780     b059b9be9e7700024accda083f56f569ac51e624ed72a7ed;
781 }
782
783 gcm-mul256 {
784   cde4bef260d7bcda163547d348b7551195e77022907dd1dff7dac5c9941d26d0
785     c6eb14ad568f86edd1dc9268eeee533285a6ed810c9b689daaa9060d2d4b6003
786     789615a0602ce0d6e57a94074e22645fcdca1c2530cdce6a3a9898eefa48f602;
787   062365b0a54364c76c160f11896c4794846ecfa14a7130c9f137120634c95198
788     48a877ff77bf79192a5b50ade5d9cd739a3d1f337f29549e6b0d27a4ba234085
789     ccd7a63e0f43d900d461f137b5f9a1b797580961dfe96d9e85ce0cc154f608ee;
790   406a6136512061f7080cc07df0591d8fa21f2dd88374d8cde8e160ad10997a21
791     635c6d62c9269029df3e6057acc87638f508046733d9ff61cdbda3b3e9878731
792     5f81e704e9b04d5b517392c372c5d2756eacc4f7a9442ac98d4bf8bb8536fe89;
793   ebfedd4705e505da1435dceaa7b1cc49ae1d50c38201a894476b3f102b752eb9
794     529533966f27043eb621b7f65b000961040ef2f9b2fc5fa450727a9b542cde52
795     094e95ea9c8346285f98c6f07ddd15830aa193170953a8abc41712732c76c336;
796   ebfda19d0ccc520f215eb57bb3a4f3ebbbb18ac6c95a97a48030370c33d090c5
797     4215abd6b3ad54efc9a38378c5b93bf4f2aad2605faee2b03fb648e27fff6310
798     52d7772d1f860c1ce6cb4d1259577c2d43421ebfc44c89c43f05d0f424401b34;
799   2758fe2b69ac26afa3349829b94586306fed54154f8f28523c03d4de16001578
800     46b710ee72807a2219bfb474fd71d891f24bb65d1563259f9eb53b571ea629c5
801     ad51dbcde8d0216bc998500d67317c852d273252d39d2c6a555d22a4fd180959;
802   4d57dd2d42f70800df9fcbaca48b77dba189196d1ebba10b0467cb9fc2712a19
803     9e533fa9156308cdec3f768281e040a9b9a222bd689aef66f5306ceb0c6b08ac
804     f25c5e462dc2a069bedb1d39ee68b16d025c0596ca27efd01c46555b245f6087;
805   8b0a22260c571b4a42bb8fdb233bfa6a5cfb0bad7d95214ade49cb3b6f5fe836
806     8131115c037ba323fe1dc8151784873f0eb5b647da6794c18b5337685a96ed65
807     934d35daaec3791e39e799c81c62f07b1628bcd3113eecc4cc13993fad10e629;
808   b9aca338527ef19b09c063c46f88de9fd41e72d7b97e23e6eabdff3bcd211499
809     268878dbf30f1dad89d4b9b12012e4713df46795630e7952d22bb02d7100b8b6
810     99845195dba2f3b005653321a028907e11f546e597a641d652d85dae95e1775e;
811   49377d20a8f083455b663e4ee1315f3c8f2aebfa921451dcd1af5813b70d30ce
812     2f1fef6ef315d0798391805da08da3aefc5f8584b7c5e617669c0f16e39815d4
813     16edc22df1c67d480ba3d471d61097eeba54e40ca0bf06d6fdd84232677efd19;
814   e9cfce3ed1ecdf3d264a7f16cb16c2e815f422cdf0c8e30308be3c31e6bc58c0
815     b7cadcb658b970e47479a684b5aefa69a4cd52147ed12ca986981a874498ad0a
816     49b59d9642e48bb2116b5b2515b77ba746e6ae804e8e9ed83ca2322a800a9ae6;
817   bef8bc4fcb70e27e98ef1f0446b42fb144d44b6d00f06dc188d472a784e0c6f2
818     1195a3b9f4ae985511265febd11c164720eef9eb1c8dd0b00951f284649016ed
819     6d03d43d9d7afc91f749c061d63dde21753f303c5d070e34dde5193c27e13046;
820   00456331854bc78bf43966eb0cfa9138ddc39908445608fe95e81c2533e31c9c
821     1a9851bc2810d858cbbc8424d126b807e6daa089c3f9099c5ffb824173d7634c
822     fd315ad2958b91405b2895b81391997c56a599609bdcd17ce9f2d540689374c1;
823   04226f30cbb7f0e4a973a8cd190107314717a77456f3ff669c732b58db8f48af
824     65f7cc9e3fb90e1721b730374ffc9bc597f56ccbb2f294b38766fc69f6a9f2c0
825     4978b31536da1b90c44b6dfa1e874a37d4442a9e65979465998ae5ef0599fdfe;
826   945ffd505003cc0cae9ce021a5f1fa4ffa91544485f1a1258b2b9b8f0911e32d
827     65cc1770a18cbfe6effd1ff6778554acf1270485b203a3c1c4c967c0a458cb94
828     d64e275582ac14f23502aa43a0c2819e236e28770d72f3e9fe0d91b1cfe18d2d;
829   8bdd409b687fa3a6827b480aa3a4c84cef64f6c9b53bf8f957f4b03cf43e8995
830     7f9a3e8128f8743d16687b7bb8deb9bd205b70e04c091d205cdad9e9a79b1abf
831     32223b066ce69f5963af0f7e121424ad3ab03d818562327eb0a495e7b0a0a844;
832   91b0851e5ca605ac8451399587011677508a15dde524af3e2bee0646541a42c2
833     ecccb44d65bad397abfaf529ee41cf9a05c7efedef3401539c51d2a90bbf7f1b
834     98abd767205b0f7fe21909f48b6182430169836df1712981bc1ae96b4e5c1b2b;
835   fc338ab0ef5746ea8fdcccd213e33f7e8a5718fd25014107c8e7d715a92add95
836     89d1f5c054b2d983514605ec590294a319b9802068a9f891bc5ba5afabf8c312
837     35446e8c959e35b74ff4e8960a1c80c3a4fc60998fc074d3fa6d73e7787b2bdc;
838   2d12d7ff3c41122d70d17d4569eaff59a332ba58d5d5589bfe079753ee1a957e
839     b6d6699e6b7ea2725cb2dac07ecde95759ac46fee6dda7abc8ad68daac90cfe2
840     b893278872133d6ae9370dd0c1bf7e6990438ef83b012db8b4ac0197ee115ac1;
841   2d2f1f2968cc42fa8b669ed3bb3542a9cf44bbc8c6254d980398bd94e66eb456
842     3d405e51881e99027b8ab9aea3ccf860b0009740763d96836c5f87b95460938d
843     b954c35b504dd99c3f95f2778ac8c69c9516eb5ecb279f01dca0cc5b1d33528f;
844   e1288c69d80ea12ff4bb5f069b8a2e86041c1b9fc214e9ca2186ddf1f6a7a3aa
845     7e740da967828e3604b35b15ffaa6c36800d9645563a308ba60076817523bd2a
846     a947b0e3b6d5caa39dd7899d60cc739b86a306c9de07b826efe14d1565ae933c;
847   bf1261b089d8f23a9c2835076a23faac2cdd67771cc667a8331f0a170b66283e
848     4f834a06148f302c3973accd56f6f24e33958b8c2e2352fd61e4fa8fec816ac8
849     93c8e6eb9eb2a085c0fe1e424c031d75e3cb3924e6636a3d0fbd97a9057b1497;
850   61a8b33779f09e7a10fc02a8f48afa3080ee119a52a9a817e4f2b94b0820cab3
851     83a8cffeea7c486315799dc875fba578c8ec4837898a92142b5b0677da1ac273
852     1a9447bbcab0bf9fa9d4f97b44df070a91e73465559561cf07bf66f253b74839;
853   117b45bcfff5d5f8b6fde2893232a9f81d14517ffae475f6b94a43a67b3d380d
854     2f9aaafe2dd721c0095c8808847689211450ba8095ffab1eaadf66fd22ac1976
855     19931b3731ce5cd2a6e0fd8db3528a01cf67f21c9f2b6536f617786536862f1b;
856   063e113ab61f813e28a1397a7974a1d7f4220c785fe426a5a0e80f678d404147
857     842941feeffdc2eb44dc8c0d5e8f444f7f4e0c893959b74dc23a7bb40e7e0013
858     7814dc31116b923eff0567f1898f0dcfe5db31cea5f82d371c895b9cd0e1e626;
859   e5150686d2301b43a15a84e81d7f5cedaa49e2414ebf47970e560475cff20687
860     7de69146acc3ab6cf8556b7aa776945948d1b8834df2196c92ec1718dcdeee0d
861     bf48e4fcb2685f89934fe3b4e1f093795e48c129192425f8d83df0a859982026;
862   52d9539726d2810391b3f9d10c39b07ae8f08ce7cee4758a386a9943e97dedfb
863     e61e737882cd09c2b9a80f34c0fde11c2481b11fc76bfa4dbf710a9e544e0c53
864     3c2f3e81bbfcfe08da13e35354b1bac0f0af0da35266c33c3a85c7cfa2ee849e;
865   6ca1e040f9ad5b04140d98edabe08485290a4d87d13b07398a1458c2c6b61dbd
866     bc1cccada8c1a0a9aabb6c4e3c3554f8fb1ef61614c270295dfc0ca6551ca4bd
867     975de7c5d90df79434ad560bfa1f2d3acb2bb268bad74a40f40dfb0b0cc55d80;
868   b75359f91cb9d921056b7de74fc9a9b37154ce6c0b396179d31f06a1dd5982cb
869     c0d7cb23841da1ae8f4ae480cda98ad6cf2bacf6f9fd3f821330c43f3df6c2b3
870     778ec7881d07957cb956ee98b77f4771f0b354eee8ad6ed146dc9848bb4e5a15;
871   fac7cbcf96523d4723f91801325eb8553236651c96788d73d192ee53b3f3ebd6
872     6ddd98cedbe88e245de25b1593b70f8601562d90a9b59ed034a867642d25d547
873     b41eff7927b5a1646b42fe8e7f3404366196b47be1d22a51819727a2987a12c5;
874   56fa5c47f16f64b837bb4926214211a1c696ba172010abb433922a22d9fd8815
875     19165eb9d85197a21cc34ac0d5ae7be8dbf98e4ffed2cf6b1372a5aa47b54fd9
876     eb4d497d39f0ccce56894c544b916a5a32aabb5e8470197389918e758cf5bcbc;
877   d70c70e117bf1cae71b3a56f0e7d839ea59cc783443d64f2ed6a29b96856beca
878     34fd6544bcf86b799e2a1681160ccf055f0fd3001da597a1406d465b7b1419ea
879     ef9fd1957ea0125681170f801a2ff55cd40c11f1d8d03e28a47d07e530518d8f;
880   51cf858f938f6daafbd656445a09898eaa96ffc3d1d2e31e4e34c94b8bfae648
881     25ecd75a66d88eedb969ffe07669845ebb7a24c69f13d099f47166edf54538e8
882     b48119d50954fe55c7cb531c051c858b91a2cc0be497434ac06f1746d05200b1;
883   8fbf433a7ff212085179e79771f6eee7283ab178ef2b800d7b969da05780ffc1
884     ba78c70dda7a4ca2a25e771702fb1901ecfc8a959cb8e75079bb018ccc8c54f3
885     417db866feb0dc25af3bbff0a733e5220044c6933507f6d68d651a77b3371083;
886   1b450e88f8e9002926ad0284c738f4cb0f58a1e34c8b15ad930c1b627235a2cb
887     84241986c251f5b70be2367f047265264e0da72efe8995e6c932a17eab511edd
888     2093bb7f7243f7d09835512229a449b3fcfbebc4f158d1f360d61dfa33aba949;
889   b8e4ba463c663035a6ae8a7a899e4279d54d03f0e0f3e961dcfd40088d5be740
890     88e4097efb0368c7e2f431ee6988cf2a0e9ebeb3de79c4f86c9e4fba61339d6d
891     aadd61dcffddf277215a600d2a262375b40e8e8a00d2d1ee59d656ad63eca173;
892   907eab7707ca48ff5ba1ae93d16225d469de5747bc1addf5748729720a320fe1
893     4fd29cfc59314fe2079c0a2535ded56112d6e3d33dcf7c71cd7d130323794e3d
894     1ddab3418f7c2e73138a161d9480144100ac8a8c453cea6cbda181416ce835c1;
895   a84a9df69703a9caf02d2a8f57ac71e554a6850d55882f8c7ae6994fc8528bd1
896     8c374fc43581d2f72a89584a2404a059f7f99c7241a0c879d6d4455b382a9ce7
897     ac62a144b60cbcee96700e35a156c4ea04e8527600094b7c7c1fa57eb67c78c5;
898   57b3e7a1d07585ad9d7ea9c7c9cf54f3bc6d94238ab56d738e02abd651477cd7
899     26d6f3ebcd6fadeab50906642a7de6496247060e7be3632ed9bd94bb42f45a87
900     6ac5d880e25effaad82da8efe77ed2245c9306d82e19c9b680b0a166b13db5cb;
901   33b2cd2df9d1d905cfdb29983050d6bcdb686a0c897031ad09a5b8fa687ec3ba
902     d8e18dc2ad361f1e226e78876cd35f86c639733c5cd84aed8aaebabb7e0f24ed
903     6bc8ad093f2148dc06ee942ce06a6b6c41ad4fb2ae796f9351df4d7829d0b759;
904   fd9710b7bca91b612ea37fc5cc09f7f62f66b423fcd2dec5de24d264f2c83983
905     9c1b06319f687dbc68d9f07fd41ccb4f8cde8de201ec2680332bbded4883deea
906     7cdba7c767a1b2e0d8ea98db6d05d0e6dc5ec4add6d68cb3a0ed213ba91fb46f;
907   0b58b54bdd13c17ef292b0ded3caeb5e57fd21df10bc6186265ee6ea45907de6
908     cb822fb2ef953aea358a03e0fce2e1b9511bd332c86e67f123377a8f0256b8dc
909     4d19278b4626808b203535680f24d55aa0bcf39b89221ccdceef29212f738776;
910   c73ae1b3c6cd3f104e3cb24284cfed17811d64d492d39ea7496993a25b072945
911     d83f923e66b0a6689cf0969c003a8fca80e322a4b1bf050c1220450433efb6b6
912     e82546a97e4d982315567afa93cc9cfbed1e6a9a553fb7209ac3c0c8a0f7d2a0;
913   d8a2d820cf27a64b9d47f636845dac557bb3e75f3a18fb8e173416867fcd0ee7
914     8ddd9236beec76d55ed58b10f91d07a037791ab96e83c4bf2fb5b205e592c172
915     550b3822df20109989c3ad201218184ea69c16e7efc41e9ae40d163565ea52e2;
916   a5cbc19456c95c1bea6079f3867e52d663cb3884b2a0a8ff825df752423f3179
917     bfeb89eca385f20ddce5f1f23564672e370ffc37d400a31e8aac1d426ce10df7
918     b35239f297beda780ccb0168fadd0708fe02a09e29566b3cea47f8f1932321e2;
919   3c5ee478b3b63d91024780e974a8a2a0e7a36f84ab1286b627e7d01b38a84a6d
920     e738721ed80fd0d7f69fa658abb5a440d304128719b541a9451cead18e4c61d9
921     5c8cae06450a234fd67621baf1be40de09a7ee05227b7cc527bfffb14c861641;
922   3d1f8fcc53574427767396322b3bf7d02cec05093696cec07591ada462271b1d
923     1519eedde0df37a330fe8c22ebd77705917b7e32ae88f45a34a8ba3037235e19
924     0d07975a21745840a9528f6ad84812f76d981c7cbd51d23295b0a4c77647955a;
925   a394be4d26ce47317d8087684456b4cfc5555e925e3e7b2ebc829b2d0505ea61
926     7b0ca9531bcdb96040d39040e632d562643ccb64286303040fcaf679e914eadd
927     b11034402f9178618471341a208717e0db49389cc10169da3bbfd18c0b155dbf;
928   c05af8843ce6a427b99a5dc266de31c09165237eeefe4b58cc034b9f099f0467
929     8c2a9da898b39324cd3087a651014f6796f9c4881d89e127e62221e47e57badd
930     a3115e01610e03d14a9aa231f0af30c2f864724a9b827bee723862a2da21f67c;
931   678d490c2f320ff8fb1c42761bd439f3e96dc0ed1d5b2169912af1a4e2c533c5
932     2ba3e8c71c23a089e231480aa63c484fb34bd522397f102cb8ecf4f64e329884
933     f8fb5571f45bfe48a3e0a32c0152f4cf9f05fd9b6df1b16c135ac57b53140b1f;
934   fe73be257a753b38200bc23f94a079bde2dd98d813655dafa15b85419d15c41a
935     5153cce5d0e8c8702db2ba11927589678d4f7b8fcfad4818c411f15f45230090
936     f0eb21d7c095cbb71ce2a6e98cd274161a006a321bc6516d92e292d4f9d80fe5;
937   3874f9a532ee46496ae753a2340af7b91f9632fc5ae71ae18b40de751ab6b676
938     1ca16434a9935e466e11c1cb072f32a59c313dba3db646ae909a096697d9a7b0
939     2784404b966884dd1be5778471a98b8cd9ffc6fb4cef97e9f828f5a9976519ea;
940   556463ff1126ebc43263391424d02739d0787e804d8f1dccf6c897a8a4843132
941     4324041b5302ccd501b538bd03d5cb5c90d1fd3f7d2be187a787032c79ed9007
942     7a286ff42bd536174d2d471c7edf52d76cc1e2149ae5e89fe7c527d1baf61024;
943   64ee4ce1d3fc042c084f7d8c0c48ad7d6f1eabd0fd1ec24a88f26734d5c8d92d
944     bd873a8fe113090d401bea4d28ff49f10ff593adc258e091abd31b62dd173515
945     c4cf640c91c885ead4d5ad0de5769f1bf2fc7cc928ddb20ecd77903e78d60296;
946   8f98765970acc6602da063aae01a2a199d3a4f37a5f062d216d2053a83b5d3a0
947     488ab0d2df631b2892cdfcf9fdd0f37de9ed67179aeae82fe00009428b297b55
948     fd32af281c32754a7cb4b70f0856a6a595d53df2f655dfb5d065813b658f6e49;
949   3230a6d917fa0c1a233c9ebc8a4cba45b20543c540fc1b9dbce078b87a1534ac
950     f03897b95a3f372e9f6c5a5f2ae44a7dbce9ba43a39089de20de70d0544b5151
951     d717a2d8e24c431d7322091c4afa9291e6b2f642164fb5dd41b03d63eb3991ad;
952   db0a16e9769e8f2fc12c7f839fab269a0056284a697ffd4113a1cf43b5d5bdce
953     2d86dead83f5a356e9106bedf908db61f1119f9700260ea9379cc7232184d217
954     ad5a3798580a21a9af3a14a20c498e9ba81075c0d4c771481da0b3e6544bb711;
955   158fee8ca42e75614739e9007f234fbcd86b0ad8f641a0449b6d9b0f99d1cb4a
956     57a4d6f987feb0ade90aa1d81c4f497b3734be301da3e25fe692629db57311f4
957     feca63faa55407c1cbe7ba36da4101ed6fc318162d0834ef6ea91095e6fbb38c;
958   22f3a1573f9e0553a23e96265e4326fa532d7136863e5b4bc6c99ade3d4eb23c
959     acdf6e42ad8ca13187eba1532920ba31582b3793b05fa65e9f80c5814b91f4d3
960     c9ddac65e7d93033570d39fc200ea11df6f56cf19994e791092cab78342f8793;
961   c581c7b16c46b484859c6d19eebaf124681aa3be9943307fa4ef095ef8e7e50b
962     703dc0420e74227c9351366ef8e98e1e24b48aa989dbb8d0f10471ae5428a601
963     f1e437fdbee29a5838d58d6ca0abd51bf3fe4bed82ea86f5e3d2e8effa7dbee9;
964   2fbe4f5cb2dab2863e574842cc0b3774e00dcfa63b0db1716c7e916a26fc2e19
965     8f8db63ab59955989497782f16c5816270ef3fbe4ea22f484ddc12ec8f4bdbd6
966     c8721ce2f69e7d5d6fc5746fea4185ff8a7d296b99bcc17bbbad3e7036053bcb;
967   ebdfbafb21fcf5427dbee5f95b53a0b4cb6d7c128b79f4657895f4b0ba518dd6
968     1436140f20d40224baac3a602da83cb254a7e03f052c63c1f3f00f301cc944a1
969     f3298d9cfbd5fd3a98e1ecabe8a2aac82b1b54f2f65f09d7cf3bcd9ca8bd2bcf;
970   789133bb8048f07dc123f2ca7e20c83988e4bfea6d561ab5aea542db544a1437
971     6d5d52f7265c7a8d2fc4feef99b9dba89eb472f71d8eb5affe900d776e4cf74e
972     795de908ed1e3149d3e92fc4d2fb56c47db72b54097702f360c3de4363a1b38c;
973   52b6c86db981143082735c6473a86a5da3d2e8cbb8602ebbaf08bf9315fba15f
974     46714bfd2c8312fb5744dfe84615ddb93f15360161f2efb1fc39b8b6ad97427d
975     9e96a1dd18f2683365cb98a46a9cb8bf49f1766ac86eddec4a87dfa3f83339ce;
976 }