chiark / gitweb /
base/permute.h, utils/permute.lisp, symm/...: Formalize bit permutations.
[catacomb] / symm / t / desx
1 # Test vectors for DES
2
3 desx {
4   # --- From SCAN ---
5
6   0123456789abcdef1011121314151617
7     4445535864657378 d8fa5084fad4b35c;
8   01010101010101010123456789abcdef1011121314151617
9     94dbe082549a14ef 9011121314151617;
10
11   # --- 7-bit key tests ---
12
13   004513389573771011121314151617
14     4445535864657378 d8fa5084fad4b35c;
15   000000000000000123456789abcdef1011121314151617
16     94dbe082549a14ef 9011121314151617;
17
18   # --- Equivalence tests ---
19
20   00451338957377 4e6f772069732074 3fa40e8a984d4815;
21   0123456789abcdef 4e6f772069732074 3fa40e8a984d4815;
22 }
23
24 desx-cmac {
25   60d7bcda163547d348b7551195e770
26     ""
27     a63cd9292fdf838b;
28   22907dd1dff7dac5c9941d26d0c6eb
29     14
30     a750bb7618266464;
31   ad568f86edd1dc9268eeee533285a6
32     ed810c9b689daaa9060d2d4b6003062365b0a54364c76c16
33     46adc2fa0e79b3b1;
34   0f11896c4794846ecfa14a7130c9f1
35     37120634c9519848a877ff77bf79192a5b50ad
36     68ba5dd6b52f40fb;
37   e5d9cd739a3d1f33
38     ""
39     3480b2e14686a332;
40   7f29549e6b0d27a4
41     ba
42     9bbb98b5d49df72c;
43   234085406a613651
44     2061f7080cc07df0591d8fa21f2dd88374d8cde8e160ad10
45     f2c52f3919204c2b;
46   997a21635c6d62c9
47     269029df3e6057acc87638f508046733d9ff61
48     e5acddb871d45625;
49   cdbda3b3e9878731ebfedd4705e505da
50     ""
51     08febcce60b0e724;
52   1435dceaa7b1cc49ae1d50c38201a894
53     47
54     80bdb1521243c0b1;
55   6b3f102b752eb9529533966f27043eb6
56     21b7f65b000961040ef2f9b2fc5fa450727a9b542cde52eb
57     86e00e79a5a63fc9;
58   fda19d0ccc520f215eb57bb3a4f3ebbb
59     b18ac6c95a97a48030370c33d090c54215abd6
60     9b4ee9b29a9da89c;
61   b3ad54efc9a38378c5b93bf4f2aad2605faee2b03fb648
62     ""
63     00413cee3fc9338f;
64   e27fff63102758fe2b69ac26afa3349829b94586306fed
65     54
66     f0bda4592cdc8ed1;
67   154f8f28523c03d4de1600157846b710ee72807a2219bf
68     b474fd71d891f24bb65d1563259f9eb53b571ea629c54d57
69     88158a6ce8f67fb2;
70   dd2d42f70800df9fcbaca48b77dba189196d1ebba10b04
71     67cb9fc2712a199e533fa9156308cdec3f7682
72     ebda61b856727ef6;
73 }
74
75 desx-ccm {
76   60d7bcda163547d348b7551195e770
77     22907d
78     ""
79     ""
80     ""
81     8ec46476;
82   d1dff7dac5c9941d26d0c6eb14ad56
83     8f86ed
84     d1
85     ""
86     ""
87     5f3af780;
88   dc9268eeee533285a6ed810c9b689d
89     aaa906
90     ""
91     0d
92     81
93     6bf70ba0;
94   2d4b6003062365b0a54364c76c160f
95     11896c4794
96     846ecfa14a7130c9f137120634c9519848a877ff77bf7919
97     2a5b50ade5d9cd739a3d1f337f29549e6b0d27a4ba234085
98     0d411f5b72112442088bee58587f1b0acc6cdc2609b38528
99     263feadb0d5a70aa;
100   406a6136512061f7080cc07df0591d
101     8fa21f2dd8
102     8374d8cde8e160ad10997a21635c6d62c92690
103     29df3e6057acc87638f508046733d9ff61cdbda3b3e9878731ebfedd47
104     0b9ff20737a20741c3caa6bdad16930cce5fdbe1754d211e15701f547f
105     97f1a547f1179100;
106   05e505da1435dcea
107     a7b1cc
108     ""
109     ""
110     ""
111     001cf051;
112   49ae1d50c38201a8
113     94476b
114     3f
115     ""
116     ""
117     f4d9c98e;
118   102b752eb9529533
119     966f27
120     ""
121     04
122     a0
123     a8ed8162;
124   3eb621b7f65b0009
125     61040ef2f9
126     b2fc5fa450727a9b542cde52ebfda19d0ccc520f215eb57b
127     b3a4f3ebbbb18ac6c95a97a48030370c33d090c54215abd6
128     ab9b7c746d2bc3d9987a625049e1e17f09268f61914db075
129     af163edd14717f26;
130   b3ad54efc9a38378
131     c5b93bf4f2
132     aad2605faee2b03fb648e27fff63102758fe2b
133     69ac26afa3349829b94586306fed54154f8f28523c03d4de1600157846
134     222e460a7c0c877a3c3043bf46cd87c4b76b2dd7491d3d4dd22c8ea42f
135     c0d94d90dade32cb;
136   b710ee72807a2219bfb474fd71d891f2
137     4bb65d
138     ""
139     ""
140     ""
141     bd9bb6dc;
142   1563259f9eb53b571ea629c54d57dd2d
143     42f708
144     00
145     ""
146     ""
147     f24fb66d;
148   df9fcbaca48b77dba189196d1ebba10b
149     0467cb
150     ""
151     9f
152     cc
153     099a7f96;
154   c2712a199e533fa9156308cdec3f7682
155     81e040a9b9
156     a222bd689aef66f5306ceb0c6b08ac8b0a22260c571b4a42
157     bb8fdb233bfa6a5cfb0bad7d95214ade49cb3b6f5fe83681
158     15c1c73b28a6b905f4b301d941b961156ea6f145334295df
159     b81b11f44423b169;
160   31115c037ba323fe1dc8151784873f0e
161     b5b647da67
162     94c18b5337685a96ed65b9aca338527ef19b09
163     c063c46f88de9fd41e72d7b97e23e6eabdff3bcd211499268878dbf30f
164     3999f0ebfb02f3e9163b462d325a844ada24367ab139617a32a4ac7f69
165     d7d9bc4926dce5fe;
166   1dad89d4b9b12012e4713df46795630e7952d22bb02d71
167     00b8b6
168     ""
169     ""
170     ""
171     e2278b44;
172   49377d20a8f083455b663e4ee1315f3c8f2aebfa921451
173     dcd1af
174     58
175     ""
176     ""
177     eb62b54e;
178   13b70d30ce2f1fef6ef315d0798391805da08da3aefc5f
179     8584b7
180     ""
181     c5
182     d7
183     72d0dd81;
184   e617669c0f16e39815d4e9cfce3ed1ecdf3d264a7f16cb
185     16c2e815f4
186     22cdf0c8e30308be3c31e6bc58c0b7cadcb658b970e47479
187     a684b5aefa69a4cd52147ed12ca986981a874498ad0abef8
188     e709032bd184e5104714acdbd444b4ba1242692f504e8bbd
189     0e8982b121c86359;
190   bc4fcb70e27e98ef1f0446b42fb144d44b6d00f06dc188
191     d472a784e0
192     c6f21195a3b9f4ae985511265febd11c164720
193     eef9eb1c8dd0b00951f284649016ed00456331854bc78bf43966eb0cfa
194     157111d7f22ece6942850acb95f131f9749eb8625c0b6cef13fc859b62
195     690bf035ddf2b2db;
196 }
197
198 desx-eax {
199   60d7bcda163547d348b7551195e770
200     ""
201     ""
202     ""
203     ""
204     ee1840d22093ec87;
205   22907dd1dff7dac5c9941d26d0c6eb
206     14
207     ""
208     ""
209     ""
210     46bb7bcd888d7699;
211   ad568f86edd1dc9268eeee533285a6
212     ""
213     ed
214     ""
215     ""
216     64df2aefb68d65ae;
217   810c9b689daaa9060d2d4b60030623
218     ""
219     ""
220     65
221     bb
222     575efecd423272be;
223   b0a54364c76c160f11896c4794846e
224     cfa14a7130c9f137
225     120634c9519848a877ff77bf79192a5b50ade5d9cd739a3d
226     1f337f29549e6b0d27a4ba234085406a6136512061f7080c
227     2972fa4117846aea7de02f73eb27981c4b72524b1d8bfb72
228     abd123bd49b7e2e9;
229   c07df0591d8fa21f2dd88374d8cde8
230     e160ad10997a21
231     635c6d62c9269029df3e6057acc87638f50804
232     6733d9ff61cdbda3b3e9878731ebfedd4705e505da1435dceaa7b1cc49
233     35a431ef317b963514e1de6dfb568191eaa1bc89028e5868bcd25a8a3c
234     2693b4f76100e1df;
235   ae1d50c38201a894
236     ""
237     ""
238     ""
239     ""
240     c9fb343d394b7356;
241   476b3f102b752eb9
242     52
243     ""
244     ""
245     ""
246     47b15722772ba414;
247   9533966f27043eb6
248     ""
249     21
250     ""
251     ""
252     0d4b68956fb6f426;
253   b7f65b000961040e
254     ""
255     ""
256     f2
257     dd
258     8371e2b42301e2b0;
259   f9b2fc5fa450727a
260     9b542cde52ebfda1
261     9d0ccc520f215eb57bb3a4f3ebbbb18ac6c95a97a4803037
262     0c33d090c54215abd6b3ad54efc9a38378c5b93bf4f2aad2
263     c199728a8cd014558621fcda5a5ce7765ba3770b43832210
264     84815299c2507a60;
265   605faee2b03fb648
266     e27fff63102758
267     fe2b69ac26afa3349829b94586306fed54154f
268     8f28523c03d4de1600157846b710ee72807a2219bfb474fd71d891f24b
269     bd352eea02065aa6352132121df385b3135e6598f1bbb589ed2c6044f1
270     6993814a37fada84;
271   b65d1563259f9eb53b571ea629c54d57
272     ""
273     ""
274     ""
275     ""
276     0a53de56ab1af32b;
277   dd2d42f70800df9fcbaca48b77dba189
278     19
279     ""
280     ""
281     ""
282     2539d47126f0cf9f;
283   6d1ebba10b0467cb9fc2712a199e533f
284     ""
285     a9
286     ""
287     ""
288     395bc02e7eefec9a;
289   156308cdec3f768281e040a9b9a222bd
290     ""
291     ""
292     68
293     ba
294     eb13f2c72c06d835;
295   9aef66f5306ceb0c6b08ac8b0a22260c
296     571b4a42bb8fdb23
297     3bfa6a5cfb0bad7d95214ade49cb3b6f5fe8368131115c03
298     7ba323fe1dc8151784873f0eb5b647da6794c18b5337685a
299     be11a99ec28d932e8064d57a7d3b6530cb137b8c05c397f2
300     9e116a03c63831e0;
301   96ed65b9aca338527ef19b09c063c46f
302     88de9fd41e72d7
303     b97e23e6eabdff3bcd211499268878dbf30f1d
304     ad89d4b9b12012e4713df46795630e7952d22bb02d7100b8b649377d20
305     87f8e65dcf6034314eba4a952e6a6d0fc7595318f0cde2ba027276421e
306     0c029e501b79f342;
307   a8f083455b663e4ee1315f3c8f2aebfa921451dcd1af58
308     ""
309     ""
310     ""
311     ""
312     f784fa0ed911d8ec;
313   13b70d30ce2f1fef6ef315d0798391805da08da3aefc5f
314     85
315     ""
316     ""
317     ""
318     14998b9f57e85a91;
319   84b7c5e617669c0f16e39815d4e9cfce3ed1ecdf3d264a
320     ""
321     7f
322     ""
323     ""
324     eaad2aaf758ba8cb;
325   16cb16c2e815f422cdf0c8e30308be3c31e6bc58c0b7ca
326     ""
327     ""
328     dc
329     c6
330     05378e1a70ab191a;
331   b658b970e47479a684b5aefa69a4cd52147ed12ca98698
332     1a874498ad0abef8
333     bc4fcb70e27e98ef1f0446b42fb144d44b6d00f06dc188d4
334     72a784e0c6f21195a3b9f4ae985511265febd11c164720ee
335     c5f5009fdbade4e487e8440429fc86aa782937bcdec0ca08
336     6feaef25c63b0802;
337   f9eb1c8dd0b00951f284649016ed00456331854bc78bf4
338     3966eb0cfa9138
339     ddc39908445608fe95e81c2533e31c9c1a9851
340     bc2810d858cbbc8424d126b807e6daa089c3f9099c5ffb824173d7634c
341     bf860edf5f2e423766bd979b97a8b90082ad8f015e2c24997603fe75e7
342     783c8dbade8c11f5;
343 }
344
345 desx-gcm {
346   60d7bcda163547d348b7551195e770
347     ""
348     ""
349     ""
350     ""
351     3cbc7b1df84dfef7;
352   22907dd1dff7dac5c9941d26d0c6eb
353     14
354     ""
355     ""
356     ""
357     37276edd9916fab0;
358   ad568f86edd1dc9268eeee533285a6
359     ""
360     ed
361     ""
362     ""
363     88e93bc3d86c7bf8;
364   810c9b689daaa9060d2d4b60030623
365     ""
366     ""
367     65
368     4b
369     742b8f2a4982002f;
370   b0a54364c76c160f11896c4794846e
371     cfa14a7130c9f137
372     120634c9519848a877ff77bf79192a5b50ade5d9cd739a3d
373     1f337f29549e6b0d27a4ba234085406a6136512061f7080c
374     ae84aba1c0a431bfee3521370654d195518e43fbbcae082e
375     8ae1456ca69792a7;
376   c07df0591d8fa21f2dd88374d8cde8
377     e160ad10
378     997a21635c6d62c9269029
379     df3e6057acc87638f508046733d9ff61cdbda3b3e9878731ebfedd4705e505da14
380     4f97aead4260eff9a4c1e39ef827ce568f08fcb95f2245503953f5c1e5b02036fb
381     b685fc67d7bac453;
382   35dceaa7b1cc49ae1d50c38201a894
383     476b3f102b752e
384     b9529533966f27043eb621b7f65b000961040e
385     f2f9b2fc5fa450727a9b542cde52ebfda19d0ccc520f215eb57bb3a4f3
386     e8df8e4af153dbf70d1517d2f6d388f02705dd53c25b7f5c9d7c6c60f8
387     fa07533070e3b62b;
388   ebbbb18ac6c95a97
389     ""
390     ""
391     ""
392     ""
393     52880f24cb1c97c4;
394   a48030370c33d090
395     c5
396     ""
397     ""
398     ""
399     ea8c5fd1be78bb6b;
400   4215abd6b3ad54ef
401     ""
402     c9
403     ""
404     ""
405     6130a7a2a73d2517;
406   a38378c5b93bf4f2
407     ""
408     ""
409     aa
410     bf
411     6a2baada10b09a4f;
412   d2605faee2b03fb6
413     48e27fff63102758
414     fe2b69ac26afa3349829b94586306fed54154f8f28523c03
415     d4de1600157846b710ee72807a2219bfb474fd71d891f24b
416     353616debc97a081ea320a9a6379498465389fc12a30c97e
417     29ae2d4f192ff073;
418   b65d1563259f9eb5
419     3b571ea6
420     29c54d57dd2d42f70800df
421     9fcbaca48b77dba189196d1ebba10b0467cb9fc2712a199e533fa9156308cdec3f
422     e098b62b321e856c615d30d670b21afbbecc1c01d58184165b0d766819f149ff4d
423     afd78ddc422cde3b;
424   768281e040a9b9a2
425     22bd689aef66f5
426     306ceb0c6b08ac8b0a22260c571b4a42bb8fdb
427     233bfa6a5cfb0bad7d95214ade49cb3b6f5fe8368131115c037ba323fe
428     44c55447399ff836d71fa8adc5975f7fe504a62f8a031d118e9bdb8592
429     3aec6e5c527595ee;
430   1dc8151784873f0eb5b647da6794c18b
431     ""
432     ""
433     ""
434     ""
435     b649714dae520d42;
436   5337685a96ed65b9aca338527ef19b09
437     c0
438     ""
439     ""
440     ""
441     0f7b54a0f0e759de;
442   63c46f88de9fd41e72d7b97e23e6eabd
443     ""
444     ff
445     ""
446     ""
447     b5332afef45bc1e2;
448   3bcd211499268878dbf30f1dad89d4b9
449     ""
450     ""
451     b1
452     d9
453     7d02b1fcfd1d0d3e;
454   2012e4713df46795630e7952d22bb02d
455     7100b8b649377d20
456     a8f083455b663e4ee1315f3c8f2aebfa921451dcd1af5813
457     b70d30ce2f1fef6ef315d0798391805da08da3aefc5f8584
458     902dda67a4bf1b44cc8f2b788541da0946d53815390326c4
459     b2a841f844b8b948;
460   b7c5e617669c0f16e39815d4e9cfce3e
461     d1ecdf3d
462     264a7f16cb16c2e815f422
463     cdf0c8e30308be3c31e6bc58c0b7cadcb658b970e47479a684b5aefa69a4cd5214
464     cfb2568095e376c9f50aed2f781748b98a68629a13f81842b6ed3315fe03633a37
465     9188774ecda5437a;
466   7ed12ca986981a874498ad0abef8bc4f
467     cb70e27e98ef1f
468     0446b42fb144d44b6d00f06dc188d472a784e0
469     c6f21195a3b9f4ae985511265febd11c164720eef9eb1c8dd0b00951f2
470     be0fd7ae8afa1502f49e7616bd5a20956f3ce40c05b3ec395eefc2ee91
471     d16dddd5c97d9dad;
472   84649016ed00456331854bc78bf43966eb0cfa9138ddc3
473     ""
474     ""
475     ""
476     ""
477     35514c76e6059f2d;
478   9908445608fe95e81c2533e31c9c1a9851bc2810d858cb
479     bc
480     ""
481     ""
482     ""
483     88e733af8182afbd;
484   8424d126b807e6daa089c3f9099c5ffb824173d7634c04
485     ""
486     22
487     ""
488     ""
489     fa4d035dde2e7d7c;
490   6f30cbb7f0e4a973a8cd190107314717a77456f3ff669c
491     ""
492     ""
493     73
494     45
495     706978229672282f;
496   2b58db8f48af65f7cc9e3fb90e1721b730374ffc9bc597
497     f56ccbb2f294b387
498     66fc69f6a9f2c0945ffd505003cc0cae9ce021a5f1fa4ffa
499     91544485f1a1258b2b9b8f0911e32d65cc1770a18cbfe6ef
500     9b5a4d527d5bc4c52350bb496dcbda3b072b99173b55d90d
501     9b96c04ec2f5504e;
502   fd1ff6778554acf1270485b203a3c1c4c967c0a458cb94
503     8bdd409b
504     687fa3a6827b480aa3a4c8
505     4cef64f6c9b53bf8f957f4b03cf43e89957f9a3e8128f8743d16687b7bb8deb9bd
506     63b58db88053af9da1f93879beea44bee6faa6a2c672aefc6ec5517b273cecda73
507     edbc4b6c82c99d4d;
508   205b70e04c091d205cdad9e9a79b1abf91b0851e5ca605
509     ac845139958701
510     1677508a15dde524af3e2bee0646541a42c2ec
511     ccb44d65bad397abfaf529ee41cf9a05c7efedef3401539c51d2a90bbf
512     e6bc35974509d938a953ad32ae829a5cced3f2846e756fbc99247ae1d5
513     623e465c7913e6b2;
514 }
515
516 desx-ocb1 {
517   60d7bcda163547d348b7551195e770
518     22907dd1dff7dac5
519     ""
520     ""
521     ""
522     caa9db9c2fd96b20;
523   c9941d26d0c6eb14ad568f86edd1dc
524     9268eeee533285a6
525     ed
526     ""
527     ""
528     e3f19e04d004771a;
529   810c9b689daaa9060d2d4b60030623
530     65b0a54364c76c16
531     ""
532     0f
533     ce
534     274fa8d10ec38416;
535   11896c4794846ecfa14a7130c9f137
536     120634c9519848a8
537     ""
538     77ff77bf79192a5b50ade5d9cd739a3d1f337f29549e6b0d
539     286bf711ca2f9d9e6e3ea11390d46225834d56c3cadef9f3
540     8a3e9e27a8bd1267;
541   27a4ba234085406a6136512061f708
542     0cc07df0591d8fa2
543     1f2dd88374d8cde8e160ad10997a21635c6d62c9269029df
544     3e6057acc87638f508046733d9ff61cdbda3b3e9878731eb
545     e9a1c82381cb138e2b635f58ec9ad77e81eee97cb9b725cf
546     2c08bbda5c67ae28;
547   fedd4705e505da1435dceaa7b1cc49
548     ae1d50c38201a894
549     ""
550     476b3f102b752eb9529533966f27043eb621b7f65b000961040ef2f9b2
551     77c71af12f7e75599be17868608c1e66a767d5324a43d136777c8298f2
552     da3b49f25c22648f;
553   fc5fa450727a9b542cde52ebfda19d
554     0ccc520f215eb57b
555     b3a4f3ebbbb18ac6c95a97a48030370c33d090
556     c54215abd6b3ad54efc9a38378c5b93bf4f2aad2605faee2b03fb648e2
557     e93425b446b6e0ee7622d56eb8781430e61c0b79fbf75b5129e66be0df
558     aaae9e5df22ffd66;
559   7fff63102758fe2b
560     69ac26afa3349829
561     ""
562     ""
563     ""
564     2454c6d4af0543c6;
565   b94586306fed5415
566     4f8f28523c03d4de
567     16
568     ""
569     ""
570     57f09f05b22aed2a;
571   00157846b710ee72
572     807a2219bfb474fd
573     ""
574     71
575     07
576     98a03e06427d6c6e;
577   d891f24bb65d1563
578     259f9eb53b571ea6
579     ""
580     29c54d57dd2d42f70800df9fcbaca48b77dba189196d1ebb
581     79bc018164ccf90123ed426c5e261171c67c69512e8f41b1
582     d83eb8863b890872;
583   a10b0467cb9fc271
584     2a199e533fa91563
585     08cdec3f768281e040a9b9a222bd689aef66f5306ceb0c6b
586     08ac8b0a22260c571b4a42bb8fdb233bfa6a5cfb0bad7d95
587     2b050493ae97a338a539cf0a46f443a137a90bce681c3cf7
588     cca806fe40ecdf0d;
589   214ade49cb3b6f5f
590     e8368131115c037b
591     ""
592     a323fe1dc8151784873f0eb5b647da6794c18b5337685a96ed65b9aca3
593     49d25f8e34f3dfac53f8409552f42c89167889d2cbe2af5ba0ba4c2dfc
594     7051575c9d170e37;
595   38527ef19b09c063
596     c46f88de9fd41e72
597     d7b97e23e6eabdff3bcd211499268878dbf30f
598     1dad89d4b9b12012e4713df46795630e7952d22bb02d7100b8b649377d
599     bfe9acab806680bdc205fdaf72e274eeec6698801454fc94a8c0c16262
600     4f53c9ecfbb5f758;
601   20a8f083455b663e4ee1315f3c8f2aeb
602     fa921451dcd1af58
603     ""
604     ""
605     ""
606     0230f537d84fad83;
607   13b70d30ce2f1fef6ef315d079839180
608     5da08da3aefc5f85
609     84
610     ""
611     ""
612     03faa4ac602dc7ed;
613   b7c5e617669c0f16e39815d4e9cfce3e
614     d1ecdf3d264a7f16
615     ""
616     cb
617     18
618     a514a198a9c98049;
619   16c2e815f422cdf0c8e30308be3c31e6
620     bc58c0b7cadcb658
621     ""
622     b970e47479a684b5aefa69a4cd52147ed12ca986981a8744
623     7fb1ffb913b75f8d4c7ea6e84a9f2fc911380d1b8ee343f6
624     2a496d014b16a40a;
625   98ad0abef8bc4fcb70e27e98ef1f0446
626     b42fb144d44b6d00
627     f06dc188d472a784e0c6f21195a3b9f4ae985511265febd1
628     1c164720eef9eb1c8dd0b00951f284649016ed0045633185
629     722aa22fa02f13d32187730cb051fa3b49fcd9a308a9d453
630     c59459ba824bc1a5;
631   4bc78bf43966eb0cfa9138ddc3990844
632     5608fe95e81c2533
633     ""
634     e31c9c1a9851bc2810d858cbbc8424d126b807e6daa089c3f9099c5ffb
635     86c1f74d4db77a90398574f168f83e6de15e6a2b7b2afa621590dc0404
636     4543ce1f721609f4;
637   824173d7634c04226f30cbb7f0e4a973
638     a8cd190107314717
639     a77456f3ff669c732b58db8f48af65f7cc9e3f
640     b90e1721b730374ffc9bc597f56ccbb2f294b38766fc69f6a9f2c0945f
641     cfa9cfeddbc593bd6812352a35fa31e2a53b1840ea430ee8e2085d60da
642     90bfab3707b05a6a;
643   fd505003cc0cae9ce021a5f1fa4ffa91544485f1a1258b
644     2b9b8f0911e32d65
645     ""
646     ""
647     ""
648     7a861a7d3af428f9;
649   cc1770a18cbfe6effd1ff6778554acf1270485b203a3c1
650     c4c967c0a458cb94
651     8b
652     ""
653     ""
654     ff1c4c7bc330ef39;
655   dd409b687fa3a6827b480aa3a4c84cef64f6c9b53bf8f9
656     57f4b03cf43e8995
657     ""
658     7f
659     d2
660     b1cb7d2102d5c32c;
661   9a3e8128f8743d16687b7bb8deb9bd205b70e04c091d20
662     5cdad9e9a79b1abf
663     ""
664     91b0851e5ca605ac8451399587011677508a15dde524af3e
665     9bdb27bbfc7389090471f3cb7051cb8d1fd530005e21a93f
666     3bd9da825a402482;
667   2bee0646541a42c2ecccb44d65bad397abfaf529ee41cf
668     9a05c7efedef3401
669     539c51d2a90bbf7f1bfc338ab0ef5746ea8fdcccd213e33f
670     7e8a5718fd25014107c8e7d715a92add9589d1f5c054b2d9
671     b569d836ce07d26017bdecdc06938abe11f29988e2ee4eaa
672     7c12ae284dab4140;
673   83514605ec590294a319b9802068a9f891bc5ba5afabf8
674     c3122d12d7ff3c41
675     ""
676     122d70d17d4569eaff59a332ba58d5d5589bfe079753ee1a957eb6d669
677     c893ff49cfec7dfa04b6c966ff8e2de2dbca702ed6cd0416b4d1e12b2a
678     4f6e8bdaed610893;
679   9e6b7ea2725cb2dac07ecde95759ac46fee6dda7abc8ad
680     68daac90cfe22d2f
681     1f2968cc42fa8b669ed3bb3542a9cf44bbc8c6
682     254d980398bd94e66eb4563d405e51881e99027b8ab9aea3ccf860b000
683     e5977138d0d737d7b616047aa523dc1b7d5b5fb6fd20e26831a2f34bb8
684     6e42e08c54165845;
685 }
686
687 desx-pmac1 {
688   60d7bcda163547d348b7551195e770
689     ""
690     4af29214a7b8f451;
691   22907dd1dff7dac5c9941d26d0c6eb
692     14
693     497e34853501b17c;
694   ad568f86edd1dc9268eeee533285a6
695     ed810c9b689daaa9060d2d4b6003062365b0a54364c76c16
696     be4cb7dd9428ff3f;
697   0f11896c4794846ecfa14a7130c9f1
698     37120634c9519848a877ff77bf79192a5b50ad
699     bd394b556e88691a;
700   e5d9cd739a3d1f33
701     ""
702     cf37166cf40c5a63;
703   7f29549e6b0d27a4
704     ba
705     36f50dc5278f6d48;
706   234085406a613651
707     2061f7080cc07df0591d8fa21f2dd88374d8cde8e160ad10
708     afa0c00f1d78a165;
709   997a21635c6d62c9
710     269029df3e6057acc87638f508046733d9ff61
711     0cb5b03ffdf32b7e;
712   cdbda3b3e9878731ebfedd4705e505da
713     ""
714     12307602abf4cd83;
715   1435dceaa7b1cc49ae1d50c38201a894
716     47
717     7b6c2a63bc1599df;
718   6b3f102b752eb9529533966f27043eb6
719     21b7f65b000961040ef2f9b2fc5fa450727a9b542cde52eb
720     ec16536d65cbf867;
721   fda19d0ccc520f215eb57bb3a4f3ebbb
722     b18ac6c95a97a48030370c33d090c54215abd6
723     b0548570d2b43e37;
724   b3ad54efc9a38378c5b93bf4f2aad2605faee2b03fb648
725     ""
726     1e5b6857738e4db7;
727   e27fff63102758fe2b69ac26afa3349829b94586306fed
728     54
729     3739adab4d52a786;
730   154f8f28523c03d4de1600157846b710ee72807a2219bf
731     b474fd71d891f24bb65d1563259f9eb53b571ea629c54d57
732     54f3e5fc1458f0a3;
733   dd2d42f70800df9fcbaca48b77dba189196d1ebba10b04
734     67cb9fc2712a199e533fa9156308cdec3f7682
735     462473f2102f3c1d;
736 }
737
738 desx-ocb3 {
739   60d7bcda163547d348b7551195e770
740     22907dd1dff7
741     ""
742     ""
743     ""
744     421aa0e31e3c1a41;
745   dac5c9941d26d0c6eb14ad568f86ed
746     d1dc9268eeee
747     53
748     ""
749     ""
750     7bb6a8ce983ccb5e;
751   3285a6ed810c9b689daaa9060d2d4b
752     6003062365b0
753     ""
754     a5
755     0d
756     ca4e70eaefa59040;
757   4364c76c160f11896c4794846ecfa1
758     4a7130
759     ""
760     c9f137120634c9519848a877ff77bf79192a5b50ade5d9cd
761     d0075d682bb032d318f435f35ed9e7e0dd2e759b18346051
762     3c5c9c5dab448848;
763   739a3d1f337f29549e6b0d27a4ba23
764     4085406a61
765     36512061f7080cc07df0591d8fa21f2dd88374d8cde8e160
766     ad10997a21635c6d62c9269029df3e6057acc87638f50804
767     2b0daddf1c1562ed4ec92feba5fc19abb1a7d7fe85035cc3
768     b574000108612b30;
769   6733d9ff61cdbda3b3e9878731ebfe
770     dd4705e505da
771     ""
772     1435dceaa7b1cc49ae1d50c38201a894476b3f102b752eb9529533966f
773     f9d6ea23faa8a36974e06d38d9061790875f1e4523e9f8eccb89dd8c13
774     73bdbd55cfa011e8;
775   27043eb621b7f65b000961040ef2f9
776     b2fc5fa45072
777     7a9b542cde52ebfda19d0ccc520f215eb57bb3
778     a4f3ebbbb18ac6c95a97a48030370c33d090c54215abd6b3ad54efc9a3
779     21b80b17c3caf1e5b5fdabe9f9ce4fec36e20cae0a9c9b1e85167041be
780     68f794a0eb64f247;
781   8378c5b93bf4f2aa
782     d2605faee2b0
783     ""
784     ""
785     ""
786     fd8891d8d9802520;
787   3fb648e27fff6310
788     2758fe2b69ac
789     26
790     ""
791     ""
792     ce479a676926cc17;
793   afa3349829b94586
794     306fed54154f
795     ""
796     8f
797     d7
798     d92beba1b5d650db;
799   28523c03d4de1600
800     157846
801     ""
802     b710ee72807a2219bfb474fd71d891f24bb65d1563259f9e
803     6818636db15d3a46dc05078583752a6a774b1b514bdea903
804     c5958bbdef31bba2;
805   b53b571ea629c54d
806     57dd2d42f7
807     0800df9fcbaca48b77dba189196d1ebba10b0467cb9fc271
808     2a199e533fa9156308cdec3f768281e040a9b9a222bd689a
809     22dfcb714017ac0ad765d20593b65444a234a59dd3fc1abb
810     aa605331fbc55268;
811   ef66f5306ceb0c6b
812     08ac8b0a2226
813     ""
814     0c571b4a42bb8fdb233bfa6a5cfb0bad7d95214ade49cb3b6f5fe83681
815     40a58a44dd58cd9e44d06391edc4ec2916d3b29628c61ad9084f56cc29
816     436c5a2b1728295f;
817   31115c037ba323fe
818     1dc815178487
819     3f0eb5b647da6794c18b5337685a96ed65b9ac
820     a338527ef19b09c063c46f88de9fd41e72d7b97e23e6eabdff3bcd2114
821     2b6d4c2462ad510a000d9df521066c02a81e31d5873c66343deb78fce2
822     77a855f0a7d42e18;
823   99268878dbf30f1dad89d4b9b12012e4
824     713df4679563
825     ""
826     ""
827     ""
828     2685c7810bf996c5;
829   0e7952d22bb02d7100b8b649377d20a8
830     f083455b663e
831     4e
832     ""
833     ""
834     a25ea075d7bc735a;
835   e1315f3c8f2aebfa921451dcd1af5813
836     b70d30ce2f1f
837     ""
838     ef
839     ef
840     e4ea88484e9e6b1e;
841   6ef315d0798391805da08da3aefc5f85
842     84b7c5
843     ""
844     e617669c0f16e39815d4e9cfce3ed1ecdf3d264a7f16cb16
845     fd6a65b03ae4567f3c6a94e573da790cb684b8d5bd32e3fd
846     754c91fb0050e81e;
847   c2e815f422cdf0c8e30308be3c31e6bc
848     58c0b7cadc
849     b658b970e47479a684b5aefa69a4cd52147ed12ca986981a
850     874498ad0abef8bc4fcb70e27e98ef1f0446b42fb144d44b
851     5c9347f1dc4853413edfe418d369932c21212122dac2955d
852     92362b5fed50868c;
853   6d00f06dc188d472a784e0c6f21195a3
854     b9f4ae985511
855     ""
856     265febd11c164720eef9eb1c8dd0b00951f284649016ed00456331854b
857     6f62164db8d9a857e36ca6eef9bbdcba9d01743165ee7acd87fe754d0d
858     a55e71bcc128168d;
859   c78bf43966eb0cfa9138ddc399084456
860     08fe95e81c25
861     33e31c9c1a9851bc2810d858cbbc8424d126b8
862     07e6daa089c3f9099c5ffb824173d7634c04226f30cbb7f0e4a973a8cd
863     1c394e0b510d366554dd0afcb0c6b0b4e9437fb1c83355753863e2eec9
864     86560f52894b7d41;
865   190107314717a77456f3ff669c732b58db8f48af65f7cc
866     9e3fb90e1721
867     ""
868     ""
869     ""
870     a4205f9ab2399111;
871   b730374ffc9bc597f56ccbb2f294b38766fc69f6a9f2c0
872     945ffd505003
873     cc
874     ""
875     ""
876     5078f8d6fa0e866a;
877   0cae9ce021a5f1fa4ffa91544485f1a1258b2b9b8f0911
878     e32d65cc1770
879     ""
880     a1
881     32
882     87fddf9b28a92f55;
883   8cbfe6effd1ff6778554acf1270485b203a3c1c4c967c0
884     a458cb
885     ""
886     948bdd409b687fa3a6827b480aa3a4c84cef64f6c9b53bf8
887     b1af8fefb936518c083e54b9c67363455a1f642e253c0918
888     159d0ce2b235b273;
889   f957f4b03cf43e89957f9a3e8128f8743d16687b7bb8de
890     b9bd205b70
891     e04c091d205cdad9e9a79b1abf91b0851e5ca605ac845139
892     9587011677508a15dde524af3e2bee0646541a42c2ecccb4
893     ef425d80e98f3681592695628ed0a816418fa5899b1d1d42
894     f29bb2c9e21839c7;
895   4d65bad397abfaf529ee41cf9a05c7efedef3401539c51
896     d2a90bbf7f1b
897     ""
898     fc338ab0ef5746ea8fdcccd213e33f7e8a5718fd25014107c8e7d715a9
899     2c4a2be80fd7d3f7b3b5a4ef05a6540fb6798601ad3623aaab10d0ac60
900     a1ed9a02743fa18a;
901   2add9589d1f5c054b2d983514605ec590294a319b98020
902     68a9f891bc5b
903     a5afabf8c3122d12d7ff3c41122d70d17d4569
904     eaff59a332ba58d5d5589bfe079753ee1a957eb6d6699e6b7ea2725cb2
905     81c230d8f7e0294cbbb8fe659f94a74332801000f5b5f49b74ce635cc0
906     9d5ceb6d322cfa12;
907 }
908
909 desx-ocb3-mct {
910   24 b8a0fa1c0e3e1201;
911   23 b8a0fa1c0e3e1201;
912   16 08afcdeda8acc974;
913   15 0c967b6cca833a3c;
914    8 d3d27b14989225a9;
915    7 eb3be38e3517c6d1;
916   24 0418ab9332b6;
917   23 0418ab9332b6;
918   16 aff581b9de59;
919   15 2b546df8e00c;
920    8 70d5d3c75417;
921    7 93e83240fae6;
922   24 802690b2;
923   23 802690b2;
924   16 cf467380;
925   15 c874e69c;
926    8 bdc8b8e1;
927    7 4407c007;
928 }