Make JetStream 2
[WebKit-https.git] / PerformanceTests / JetStream2 / SeaMonster / stanford-crypto-aes.js
1 /*
2  * Copyright (C) 2018 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS''
14  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
15  * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS
17  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
18  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
19  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
20  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
21  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
22  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
23  * THE POSSIBILITY OF SUCH DAMAGE.
24 */
25
26 let data = [
27     {
28         key:  [0x7b2e0f1f,0x9f216bee,0x8a8c089a,0xe2872c3b]
29         , pt:  [0x1fac2c99,0x9d8bbcd3,0xcf329565,0xfbabaa50]
30         , ct:  [0x47b93074,0x7dcf8cbb,0x44343ef7,0x1d347f16]
31     } ,
32     {
33         key:  [0x5d322ac0,0xb8a09764,0xbe57c426,0xc5ee59eb]
34         , pt:  [0x2314b9ea,0x1e07b2e0,0xc6c1ef6b,0x1901d1ec]
35         , ct:  [0xe6f2dbd9,0x8d5bf2dd,0x18f86752,0xb410b76a]
36     } ,
37     {
38         key:  [0xd9b70c85,0x7995b14a,0xdf87077e,0xc8d1007a]
39         , pt:  [0x28d89862,0x702bb678,0x3a2761bf,0x209475cb]
40         , ct:  [0xdf911250,0x955307bc,0xe8af5106,0x45ad3314]
41     } ,
42     {
43         key:  [0x5aeaad3,0x3a0d6b1b,0xdb35c4ce,0xecb0cca2]
44         , pt:  [0xf9f1ec88,0x7876b39c,0xd7eff360,0xb2f678d7]
45         , ct:  [0x2de608fe,0xd6488482,0x6a7e10a7,0x82a379ad]
46     } ,
47     {
48         key:  [0xab44b8da,0x4427bebc,0x2d7345fa,0x4c056d4e]
49         , pt:  [0xa2b091e5,0xee9cce21,0x80cc4b5d,0x2a6199a9]
50         , ct:  [0x4c9e3ce3,0x71805a41,0xac906d00,0xe6170011]
51     } ,
52     {
53         key:  [0xfb66ebb9,0xaeda3e46,0x56f12780,0x563884ff]
54         , pt:  [0xcfb17acf,0xf9e89df2,0xd1ab5d97,0xdc669d55]
55         , ct:  [0x8fe5a947,0xbf01a32d,0x6887f090,0xd891ec39]
56     } ,
57     {
58         key:  [0xd6f9b245,0xc3612052,0x26e6ff63,0xa09740a4]
59         , pt:  [0x8b724b0,0x42dd8ef9,0x6101afbc,0x200ee3a2]
60         , ct:  [0xe0267900,0xb5c45a9b,0x17089613,0xe1a4e23]
61     } ,
62     {
63         key:  [0x5b04fcf7,0xaa67f0b8,0xcc590be6,0xc5abb013]
64         , pt:  [0xfe6afdd3,0x3e4adcbe,0x26450ba8,0x48e8adae]
65         , ct:  [0x91b17402,0x90cbbd90,0x7da7edeb,0xca1c64a6]
66     } ,
67     {
68         key:  [0xb817db07,0x7da3084,0x9acd9b68,0xcc426b30]
69         , pt:  [0x2b885ac4,0x7aab0c75,0xace53408,0xfcad62a7]
70         , ct:  [0x4593c11,0xf6728aec,0xfe75ec6a,0xcfdf8259]
71     } ,
72     {
73         key:  [0x4b518d08,0xcd455c3b,0xd35c6264,0xe2d167de]
74         , pt:  [0x389b1d3b,0x39a79afe,0xdeee838b,0x272bd50d]
75         , ct:  [0xa2c02723,0x1766b166,0x8b064003,0x4346d2e1]
76     } ,
77     {
78         key:  [0xc8ab4083,0x2ba41b2b,0xa18cb3cb,0xec2320f9]
79         , pt:  [0xb19281dd,0x2469cdea,0x610d3e3c,0x34b62ae9]
80         , ct:  [0x1e2221ac,0x34c93ed9,0x85a34236,0xe3e522ec]
81     } ,
82     {
83         key:  [0x346a2a3c,0x60c86cc9,0x511c2b7e,0x6c3e2c64]
84         , pt:  [0xda31d45c,0xa133e016,0x71d1c27d,0x40b38cb]
85         , ct:  [0x58ce0a26,0xc36e8e6,0x378ad51f,0x2b0cdb46]
86     } ,
87     {
88         key:  [0xcf7c2f2a,0x40675847,0xb43a07d8,0x8fb29ceb]
89         , pt:  [0x6a5ce184,0x632e59a3,0x3b3fcfc7,0x93f032ab]
90         , ct:  [0x2ea61704,0xe10a7290,0xc5cd64b9,0x8aa1415b]
91     } ,
92     {
93         key:  [0xb359ece7,0xf2f2c0e1,0xad5dd1cf,0xaa6c8055]
94         , pt:  [0xd8eb8a1,0x8fd2c45,0xae4d7bcf,0x42037aa2]
95         , ct:  [0x6af21ef2,0xfaa21521,0x6bb856fb,0xcc52de03]
96     } ,
97     {
98         key:  [0xaa809d32,0xc0ce19df,0x356ee031,0x38b76164]
99         , pt:  [0x96be96de,0x311e0da7,0xbf63447a,0xdbf24d69]
100         , ct:  [0xfce177bd,0xee0516ba,0x9391708a,0xf9c1db8f]
101     } ,
102     {
103         key:  [0x59d1083e,0x2ac1663c,0x61058d77,0xa6cd1e48]
104         , pt:  [0xfa8c98a5,0x2d9b0911,0x30acc672,0x6aa3b8c8]
105         , ct:  [0x6c2ee654,0xd7342295,0x2310a8ac,0xd3721816]
106     } ,
107     {
108         key:  [0x807e770f,0x5c7d0a6d,0x8e03c450,0xefb5e8da]
109         , pt:  [0x2b39a3c3,0xe88eef4e,0x9af52bd5,0xbd4fa780]
110         , ct:  [0x77b183ed,0x351d5dc,0x6973a4e4,0x1bf74412]
111     } ,
112     {
113         key:  [0x19b77d81,0xb1ea196f,0x580ba972,0x3c47ec4f]
114         , pt:  [0x304387e3,0x2c1f1e99,0x631804af,0x8501f83e]
115         , ct:  [0xe2fe368e,0x64ba5028,0x7d50967a,0xa0e0e824]
116     } ,
117     {
118         key:  [0xd8b5c5a8,0xa61d056e,0xe07bf540,0x9b9f86d3]
119         , pt:  [0x4eb55fee,0xf3b1f6a6,0x55e3f390,0x716038f8]
120         , ct:  [0x8a4dbdf2,0x6abf7ef0,0x411cf865,0x8adf095f]
121     } ,
122     {
123         key:  [0x73780e87,0x2e522907,0x80020b4d,0xd51ddf79]
124         , pt:  [0x9ccfcf3c,0x60c24cb8,0x6c5f0090,0x95f624f0]
125         , ct:  [0xcc30f550,0x7b05fd0f,0x2e3af2c1,0xa9aa7bbf]
126     } ,
127     {
128         key:  [0x71f7a8ae,0x79bfb4c1,0x2ec9b1ab,0xd050ba4b]
129         , pt:  [0x46e58641,0x553135e5,0x29e51151,0x1e635f7c]
130         , ct:  [0x140dfba8,0xac9a5785,0x7be19955,0x15553204]
131     } ,
132     {
133         key:  [0x8a403e87,0x69b3ff06,0x91f4e104,0xae4ad386]
134         , pt:  [0xa8d04363,0x2d3ce601,0xa8a62e98,0x7b4749ce]
135         , ct:  [0xc1d533e1,0x1cff5802,0x81f51edb,0xb2c911a6]
136     } ,
137     {
138         key:  [0x268ec5e3,0xc3be7f56,0x874d4a62,0x5d1cb4fa]
139         , pt:  [0x508b5a8,0x23266504,0x49259809,0x984f613b]
140         , ct:  [0x8f2ff40c,0x6881c9bc,0x127d21e3,0xeb61939e]
141     } ,
142     {
143         key:  [0x49d7c617,0x5dc850e6,0x3ee4fe15,0x6eca7380]
144         , pt:  [0x272d0c57,0x771eedb6,0x9ef487c6,0x2805e924]
145         , ct:  [0x4bf90f2f,0x796a056a,0xaed6e05,0x37670e3e]
146     } ,
147     {
148         key:  [0x7248fb6d,0xf191659a,0x16f3e87c,0xbe4610dc]
149         , pt:  [0x7e65a2be,0x2a696aad,0x8c18dad9,0x995ce50b]
150         , ct:  [0xb3bc19f4,0xd22bc622,0x17e7a326,0xe46d00e3]
151     } ,
152     {
153         key:  [0x9735f897,0xddc56776,0x7b497237,0xd817ccce]
154         , pt:  [0xa23689ba,0x62198c32,0x3f8f807b,0xc2e19d82]
155         , ct:  [0x5f9a793d,0x3099672e,0x55049552,0xc1b61265]
156     } ,
157     {
158         key:  [0xe96dc40d,0x43874a0e,0xcdc908c,0xc07c7889]
159         , pt:  [0x7aabf0c3,0xff72ed56,0xe33edd44,0xa71ff508]
160         , ct:  [0xf17149db,0xc759983e,0x81a419,0xf4c20f05]
161     } ,
162     {
163         key:  [0xf041241e,0xbc5a6772,0x31ef7b9b,0x2c016536]
164         , pt:  [0xb3634a7d,0x8175b83a,0x908af9e9,0xd138f1ab]
165         , ct:  [0xf3a985a,0xc0163470,0x9ad8e8b8,0x2da56e46]
166     } ,
167     {
168         key:  [0x5864a1f9,0x71441763,0xfd6f77d8,0xe3413436]
169         , pt:  [0xa409dad,0xd1a65cd0,0x5842b145,0xfe98a73a]
170         , ct:  [0x7821dae6,0x2521e82e,0x86cd538b,0x73631a39]
171     } ,
172     {
173         key:  [0x4c61b563,0x6c70ae5c,0x2f59cd4e,0x8ea52846]
174         , pt:  [0xc7d652ee,0x4d6cb975,0x5c8bf459,0x8393c2be]
175         , ct:  [0x1be3fa23,0x56a26042,0x4bfdb139,0xe5116c7d]
176     } ,
177     {
178         key:  [0x5570ce14,0xc6e3b388,0x9d174ae3,0x20fd65d4]
179         , pt:  [0xf8f91887,0xe605a6d0,0x89569eb6,0x1cbcf72a]
180         , ct:  [0xc394e35,0x673d61e0,0x8533c754,0xd5e6e572]
181     } ,
182     {
183         key:  [0x37cb4383,0x10073ae4,0x17e2ee6f,0x8a368e41]
184         , pt:  [0x88499d9,0x5d2fee83,0x407b3012,0xff2450c6]
185         , ct:  [0x37aab9d8,0x8f79bd1b,0x6ab356a5,0xce2efddc]
186     } ,
187     {
188         key:  [0xc6c66307,0x994fa0ec,0x1f6f4299,0x60c24f8]
189         , pt:  [0x8f5ccfd9,0x4c8f57b,0x6aafba08,0x2034116b]
190         , ct:  [0xfc9bd5d4,0xa189ab7d,0x97f5fae4,0xc922a247]
191     } ,
192     {
193         key:  [0xe73cffd7,0x2ab75abd,0x50bddce7,0xf446ec42]
194         , pt:  [0x175aa79b,0x4abd3a1,0x29d3aaed,0xf5bfd04f]
195         , ct:  [0xeba81987,0xe556bacf,0x1b45a589,0x7a40ea65]
196     } ,
197     {
198         key:  [0x43b50d0b,0x2fa04584,0x68673051,0xa13c19e8]
199         , pt:  [0x2010e7ec,0x7401a264,0x786a2c44,0x6c57a577]
200         , ct:  [0x6b2e8487,0x431e26d7,0xd8470a81,0x8fad02b6]
201     } ,
202     {
203         key:  [0x4ea685d7,0xfd823286,0x9bbd1b19,0x59d7bd76]
204         , pt:  [0x5df33286,0x51235e59,0x2fa02371,0x73e56407]
205         , ct:  [0x1679e3a2,0x17691eac,0x990279ee,0x22e4c64d]
206     } ,
207     {
208         key:  [0x69f1b0d3,0xebb7cf5a,0xcea72abf,0xb4f0394e]
209         , pt:  [0x465fcf12,0xee930dfd,0xe7b4fb15,0xf7d6f9b7]
210         , ct:  [0x7164f57a,0x1950d93b,0x158d578c,0x14438ff2]
211     } ,
212     {
213         key:  [0x9be94896,0x491a371d,0x7867db32,0xdf0acf32]
214         , pt:  [0xc07767c8,0x9d57e421,0xbfe3ef21,0x10d336b6]
215         , ct:  [0xc377df27,0x96e348f,0x3c9bbc26,0x5bd1cd34]
216     } ,
217     {
218         key:  [0xe1829b06,0x39fb051b,0xd8c98a8b,0xa4c426b]
219         , pt:  [0x529f72dd,0x4f73e256,0x2ca9a91f,0x50537110]
220         , ct:  [0xd380b437,0xa3a67ca3,0x841d1293,0x8a0f6d84]
221     } ,
222     {
223         key:  [0x933c6bde,0xa5165d67,0x5fc7d0f7,0x4661d281]
224         , pt:  [0x61f0777f,0xda1e22cb,0x464c7172,0x8c9b1f8c]
225         , ct:  [0x3481e196,0xc07b0e5b,0x8b1ab429,0xf009c360]
226     } ,
227     {
228         key:  [0xfcc49655,0xd5145cab,0x6d0c9ebc,0xe5c7e4f5]
229         , pt:  [0x91fed9d6,0x3165f17d,0xd92648ed,0xe5d403f6]
230         , ct:  [0xfaff524a,0xd05fe831,0xde89dc11,0x86f57f37]
231     } ,
232     {
233         key:  [0x985cae48,0xaea8d84e,0xd1cba3f6,0xbfb3f08]
234         , pt:  [0x361e1cd0,0xaee44a7b,0x8664c7aa,0x18bd04e8]
235         , ct:  [0xb4cf42cd,0x92feef3f,0x62b89709,0x4e25dca3]
236     } ,
237     {
238         key:  [0x7752f821,0xcfe92a67,0xa7031955,0x1b1e92da]
239         , pt:  [0x5db2b567,0xf47904,0x2e10f720,0x956f7621]
240         , ct:  [0xc8423fba,0xd372331b,0x1db66a9c,0x327c0df0]
241     } ,
242     {
243         key:  [0x2e88599f,0xe2a16528,0xa4422e59,0x7fe0f149]
244         , pt:  [0x2c5b5f4,0x2529450c,0x240d484f,0x71180e1c]
245         , ct:  [0x77eda12b,0x3bcb0e81,0xc349853f,0xaab0a6aa]
246     } ,
247     {
248         key:  [0x832abf17,0x1f2a92da,0x28640921,0xa3e095ae]
249         , pt:  [0xb3653a1,0x2fb0baf3,0xd649a4df,0x175696be]
250         , ct:  [0xa0e2c1df,0x5ade77f,0x1e1abea3,0xe15ee8ad]
251     } ,
252     {
253         key:  [0xd01aa8d2,0x640e10c6,0x373f04e7,0x2ba5aef0]
254         , pt:  [0x8b9d8748,0xd940e284,0x4f9fe9b9,0xd7b6e6cf]
255         , ct:  [0x359a36e7,0x71c13666,0xefffd72b,0x90c9d9b4]
256     } ,
257     {
258         key:  [0x73a60d36,0x35769906,0x3eda856e,0x85b68146]
259         , pt:  [0x7ecc5510,0x55df7e66,0xf11b430b,0xd49415bb]
260         , ct:  [0x1dd6bde0,0x869f117f,0x94b54d5c,0x596340ac]
261     } ,
262     {
263         key:  [0x6ec41529,0x3fac0ab8,0xdd8884e5,0xfa1cc548]
264         , pt:  [0xafc2757c,0xcbf51c9a,0x59bd7657,0x407a9684]
265         , ct:  [0x6af9e59f,0xdf27e9ba,0x375dfd99,0x347c6192]
266     } ,
267     {
268         key:  [0x74ff3819,0xf0e770d0,0x93ad4c77,0x3874caca]
269         , pt:  [0x4762c140,0xb15d86b0,0x864d4af,0x3ef5150b]
270         , ct:  [0xbe9004f8,0x51a1cd03,0x6d574c11,0xc1f2ef13]
271     } ,
272     {
273         key:  [0x5e98d2d7,0x9dd27069,0x9ab3ff68,0xe3e849ea]
274         , pt:  [0xa4798523,0xc9593251,0x64364ad2,0x72ef5435]
275         , ct:  [0xdfd6f23e,0xd0a23f33,0x27b89ebf,0xdd520b45]
276     } ,
277     {
278         key:  [0x9ae91920,0xf0196634,0xc51dfce5,0xee872e37]
279         , pt:  [0x25eeebfc,0x63d39bea,0x3a84708b,0xe0a27d30]
280         , ct:  [0xb84be2d3,0x3efa90d3,0xe356784,0xac56d3bb]
281     } ,
282     {
283         key:  [0x6d228012,0xcdd549c3,0x2c59d79c,0x3d8cadbd]
284         , pt:  [0xd005b86d,0x42beb83b,0x258b2cf8,0xc2683aaf]
285         , ct:  [0x65a726b3,0x1001fe19,0x64927419,0xd005701a]
286     } ,
287     {
288         key:  [0xa9c1d2fe,0x401c6a20,0xdf2d6bcb,0x6f1fc916]
289         , pt:  [0xa087a1c8,0x85a02104,0xbfe25110,0xe0c07c3f]
290         , ct:  [0x2223f2b2,0xb77f7937,0x9c8bd0a0,0xf55334d6]
291     } ,
292     {
293         key:  [0x8b3a2fcc,0x26b140a6,0xa2ca0911,0x8d30c745]
294         , pt:  [0x61db2dae,0xdca8fa78,0x6526c457,0x4403afa8]
295         , ct:  [0xdda3c1f9,0x2d7c17bc,0x1b9570df,0x176b76e6]
296     } ,
297     {
298         key:  [0xcb4754ec,0x69f2fd19,0x40d062e0,0x637cd468]
299         , pt:  [0xb0c2c772,0x79368e16,0x79eebf16,0xfc61c8be]
300         , ct:  [0xf8901aeb,0x61594a1e,0xd5286300,0xba7e4694]
301     } ,
302     {
303         key:  [0x3b40b89,0x66cd45a5,0x908cb243,0x36465a50]
304         , pt:  [0x890f7a6a,0x8ccbb372,0xb9bd43fe,0x63874d23]
305         , ct:  [0x7f66c0e7,0xe44abcda,0xd1ec5a84,0xeddc83aa]
306     } ,
307     {
308         key:  [0xbbfdff9e,0x45d766b0,0xbaa4567f,0x2f17b62c]
309         , pt:  [0xae8045a8,0xa817c52c,0xf1e2f041,0xfb98737d]
310         , ct:  [0x139112d,0x7a9f11b2,0x4dab93ca,0xea2b3173]
311     } ,
312     {
313         key:  [0x2a75f6a4,0xef0eec1f,0x7b1d9dca,0x857d1444]
314         , pt:  [0xe61a3da9,0xc09fbe2b,0xc80c081,0x3c079611]
315         , ct:  [0x894a57a2,0xc1ebe13b,0xbed36f57,0xd5cac260]
316     } ,
317     {
318         key:  [0x2a9bfe72,0xf80279de,0x84ea56b0,0xb669cade]
319         , pt:  [0x998e8f9d,0x76d1a9f6,0x3d107e51,0xd4764cbd]
320         , ct:  [0xa085d54b,0x9066fab2,0xc3a5c5c0,0xed96b33c]
321     } ,
322     {
323         key:  [0x38fcdb22,0x8534810a,0xdff9cb57,0xe20f492d]
324         , pt:  [0x6f894a4b,0x2985f169,0x2d2a94b9,0x613b67e1]
325         , ct:  [0xd85fef9,0xa795b318,0x7c276361,0xdc4d0450]
326     } ,
327     {
328         key:  [0xd16bd281,0xc0d5319d,0xb24f19c3,0x290b7ab5]
329         , pt:  [0x949ccc1c,0xc286887c,0x268d6286,0x1e9e8d8a]
330         , ct:  [0xdca3d4a5,0x919c7cde,0xfaffb7a7,0x4ca30609]
331     } ,
332     {
333         key:  [0xb783c071,0xdbeb72a0,0xef93e164,0xa462b0b1]
334         , pt:  [0xdc7aac78,0xa20ef760,0x829e1b49,0x1d96196]
335         , ct:  [0x697a55ae,0x4c3b7c4c,0xb3f328a1,0xdb3976f2]
336     } ,
337     {
338         key:  [0xaa3880a1,0x6dd59a8e,0x577a10a2,0x308511c6]
339         , pt:  [0xa1c10d51,0x8dbf66a8,0x6d3e2a6e,0xae462981]
340         , ct:  [0xf90d02e,0xa6750716,0xeba82229,0x7923ebc7]
341     } ,
342     {
343         key:  [0xea113d1d,0xfd610a31,0x5d9cf19,0x915f488a]
344         , pt:  [0xf6b7ed7a,0x2cb65f25,0x77511fd1,0x611c862]
345         , ct:  [0x40ea48cb,0x34b8f0f,0xaae568b6,0x364bc8ef]
346     } ,
347     {
348         key:  [0xb4613491,0xc118dec6,0xfe7d9ba1,0xa280187a]
349         , pt:  [0xb23163c5,0x7a8845f,0xd4d0568a,0xdcc0a6c3]
350         , ct:  [0xa86e965f,0x1a88d273,0x5f8d4886,0xb3b1d799]
351     } ,
352     {
353         key:  [0x813a4b4b,0x79cf7ae9,0x6a1b216a,0xff1e9cd]
354         , pt:  [0xfd36532f,0xa1fd8957,0xd00e6fa,0x365e1330]
355         , ct:  [0x46613593,0x358e8c6d,0xfbcedbbd,0xc4b084b]
356     } ,
357     {
358         key:  [0x747cb7e4,0x42a5dbf4,0xfb5124b3,0xb5252fbf]
359         , pt:  [0xa6d6169,0xb28ff164,0xd6b7bc92,0x262b24e5]
360         , ct:  [0x779ce9ad,0xdd49384f,0x6093f029,0xaffa3258]
361     } ,
362     {
363         key:  [0x25f939b1,0x7db026dc,0x3f884a5e,0x816bb8bb]
364         , pt:  [0x11349942,0xec694e2a,0xcd031adf,0xd492c602]
365         , ct:  [0x322cfcec,0x1fc85396,0x5db8ae78,0x61ae1512]
366     } ,
367     {
368         key:  [0x604c81,0xbfc05c84,0x171b445f,0xff1d8e29]
369         , pt:  [0x179cee8c,0xff2a44c4,0x2e7e2832,0xcbe78902]
370         , ct:  [0xc1e24b90,0x111fded4,0x6184b602,0xed128541]
371     } ,
372     {
373         key:  [0x195b7c15,0xd0efa529,0xcc83609a,0xea1222e7]
374         , pt:  [0xb19c1c4f,0xe48379e3,0x1c20bdbd,0xb2664625]
375         , ct:  [0xf0c2cdae,0xe0422b50,0xd6bf45b,0xdc560f83]
376     } ,
377     {
378         key:  [0xf7eb2535,0x31a5e37b,0x95df46f3,0xe9804b9b]
379         , pt:  [0xfb669b9b,0x40db505b,0xf8d7d0ce,0xac13cea6]
380         , ct:  [0xb2c5e1b1,0x68a14b88,0x6b044d26,0xb8cfbcf9]
381     } ,
382     {
383         key:  [0x14a1b27d,0x5375302,0xafe1b865,0x27181703]
384         , pt:  [0xd60c8099,0x25a1eaa3,0x2348d75,0xaef1c4da]
385         , ct:  [0xa29828b2,0x4882757a,0xd65f2172,0x98d39ca]
386     } ,
387     {
388         key:  [0x13840529,0xf0811d75,0x7be2938,0x88ce405b]
389         , pt:  [0xefd2b41,0xa8fcef0a,0x77d8c4e1,0x33786519]
390         , ct:  [0x423d33fd,0x7f507adf,0x906b6fcf,0xb0cf13f2]
391     } ,
392     {
393         key:  [0x4a5605ad,0xca5a2670,0xe4f896f2,0xff60b4ca]
394         , pt:  [0x7dfe4329,0xd7a32a1f,0x3c389c9,0x1b64520f]
395         , ct:  [0x757fe8b4,0x5927c8cc,0x65686473,0xabaff7a3]
396     } ,
397     {
398         key:  [0x1746d436,0x1a5a4e48,0xf217c8db,0xe2e4906f]
399         , pt:  [0x45ecfaae,0x99ec86d,0x2c1fd76a,0x7f04cdbc]
400         , ct:  [0x3719ccc5,0xfd679661,0xd5f97796,0x3fc2976d]
401     } ,
402     {
403         key:  [0x771d24be,0x2fc885e,0xfe5e408e,0xa6137ca3]
404         , pt:  [0x6cdc42c3,0x53bfa457,0xc0f397a9,0x6eb20ed7]
405         , ct:  [0xe32b62d1,0xba90279a,0x3f7155eb,0xcb4bac57]
406     } ,
407     {
408         key:  [0x43522b3d,0xe0be38be,0xe26dfff0,0x6169bcd2]
409         , pt:  [0x868e0aec,0xbeb6873e,0x7e2ef23b,0x600a1d7e]
410         , ct:  [0xd3f1fe24,0x9078a0b9,0x4ea9a237,0x1d1224ec]
411     } ,
412     {
413         key:  [0xd30640c8,0xb3e927ae,0xcec3d51b,0x4eab0513]
414         , pt:  [0xead816f8,0x2410e4,0x996985f3,0x30ff8eb7]
415         , ct:  [0x8ab271aa,0x921e2ec6,0xb1411cc1,0x9dcd9a6b]
416     } ,
417     {
418         key:  [0xb52a14ad,0x5621cda,0xf88ef257,0x9f56b21d]
419         , pt:  [0xc7e7fe25,0xa7e58de,0x11a80ced,0xeb5ad273]
420         , ct:  [0xd5aa9f2c,0x1585790d,0x46dcb17f,0x54ce00ef]
421     } ,
422     {
423         key:  [0x51870748,0x1c8a8649,0xa612a2b5,0xed2abd5e]
424         , pt:  [0x9b58b941,0x1e9a199c,0xe558bac9,0x93389c6e]
425         , ct:  [0x76f16f6b,0x67321e20,0xdd72d046,0x391111d3]
426     } ,
427     {
428         key:  [0x59fcd7f9,0x91c887d4,0xde2d9ef,0x6d1d22d1]
429         , pt:  [0xc1282db3,0x3974b9c4,0x1e6253e6,0x2c7179e]
430         , ct:  [0x282e8ee2,0x209ad250,0x99581653,0x832c1125]
431     } ,
432     {
433         key:  [0xd287872b,0x811019f0,0x192e543e,0x81c10ecf]
434         , pt:  [0x675414f1,0x90ae80d9,0xc0d7afdb,0x1ffe0cc2]
435         , ct:  [0xb28a3f29,0x12617ffc,0xbb6c52a5,0x9c6c94cc]
436     } ,
437     {
438         key:  [0x329146b2,0x304a8961,0xe7dee1c4,0x8904c632]
439         , pt:  [0x7112fdfd,0xe0a6b563,0xf01d5d72,0x44cf9c26]
440         , ct:  [0xb260656a,0xe8e1c097,0xfa339cf5,0x6d0f03ed]
441     } ,
442     {
443         key:  [0x9dcc3903,0xcffc6848,0x7aa31522,0x4935f56]
444         , pt:  [0xf8c485ba,0x273fd593,0x120e3fc4,0xcb4db98c]
445         , ct:  [0xb255376,0x80cdc317,0x6e470426,0x62603b4f]
446     } ,
447     {
448         key:  [0xb38c19e3,0xb7214a83,0xd268e76b,0x2c93ea8c]
449         , pt:  [0x140807a0,0xbc741d36,0xd7e1854a,0x685f678]
450         , ct:  [0x6af3d63b,0x65d16570,0x7bd01fc1,0xf8a064a5]
451     } ,
452     {
453         key:  [0xe5d2f0b5,0x99f89d5c,0x89d8f8d8,0x1f92251a]
454         , pt:  [0xe8461085,0x7843866e,0xd3ae5012,0x14db2a1f]
455         , ct:  [0xfe6d48cd,0x10028378,0x333c22f,0xc4a5c5aa]
456     } ,
457     {
458         key:  [0x4469f8d2,0x9fc22df2,0xf17dfd2b,0x29b92b0f]
459         , pt:  [0xc2acad79,0x2109880f,0xf72077a0,0xddcb2d76]
460         , ct:  [0xaefa32f1,0x86fbd55,0x44fd53d1,0xd3cd9ab0]
461     } ,
462     {
463         key:  [0xc9827df4,0x2d756e9,0x33ebe02d,0x633ede6a]
464         , pt:  [0x285d1b81,0x4100abbe,0xab0d02b,0xba39d2b5]
465         , ct:  [0x9a99dcf5,0x43857cc7,0x8108eb6b,0xcae26e3a]
466     } ,
467     {
468         key:  [0x7a979b6,0x219f50ae,0x3ba39050,0x3e2ebb29]
469         , pt:  [0xd14fd54c,0xdd7e6b7f,0x64b90f3f,0x6dad1208]
470         , ct:  [0xb0e93229,0xbfaae4a0,0x7ea557e5,0xaa5599d8]
471     } ,
472     {
473         key:  [0x2965ea87,0x75916b8e,0x8743df6a,0x87865978]
474         , pt:  [0x62fdf99e,0x7999dc46,0x45cce3a6,0xf6e2cb18]
475         , ct:  [0x2436bd58,0xf107369f,0xd3c1b77a,0x112e3c16]
476     } ,
477     {
478         key:  [0x802e3b31,0x15ed5be0,0x75d36f91,0x2323828f]
479         , pt:  [0x8486574a,0xb9c2756d,0x88f397c0,0x3d6f7f4a]
480         , ct:  [0x69c4c864,0xd786ee76,0xd292d2f1,0x5964a803]
481     } ,
482     {
483         key:  [0x4d1bd7c6,0x3bcc2a61,0x16f57bb,0x8ac6fb75]
484         , pt:  [0xf92f5395,0x37f09158,0x9bb9daea,0x21d59ff4]
485         , ct:  [0x93a9a897,0x544859d4,0x5f545567,0x5a76d3ad]
486     } ,
487     {
488         key:  [0x1107c413,0xe8cf7e26,0xe155c44a,0xe71a38ad]
489         , pt:  [0xb701b629,0xd9c36227,0x17ea1ccb,0x2aa21c2b]
490         , ct:  [0xc5b8934f,0xcc758d3,0xd1ca45ac,0x9f0c919]
491     } ,
492     {
493         key:  [0x3897401d,0x3ffb3535,0x1608e1a8,0x3b107d95]
494         , pt:  [0x88e79eae,0x49440345,0xe8674688,0x518ed3d8]
495         , ct:  [0xf86055ff,0xdadef5e,0x3047cab8,0xc92e75c4]
496     } ,
497     {
498         key:  [0xabe527b2,0x1ed94dc4,0x4a6e92b0,0x8df6849a]
499         , pt:  [0xab2c701f,0x7d69bad1,0xc20a9f60,0x3270ed8d]
500         , ct:  [0x5cb278dd,0xa1540627,0x527e534b,0x85d294c6]
501     } ,
502     {
503         key:  [0x2602e967,0xad353077,0x52ea726f,0x698b0a0d]
504         , pt:  [0x6fe7369a,0xd61aea8,0xd0d4ea52,0xcecfe066]
505         , ct:  [0x2d54dd07,0x35411569,0xa5701f56,0x41916b11]
506     } ,
507     {
508         key:  [0x1f1513ca,0x6a283a32,0x28d53395,0xd8c1cb7f]
509         , pt:  [0xa9ef661d,0xf5dbd1ac,0xabb4263e,0x6483a9d3]
510         , ct:  [0xb2b1d081,0xeb6bbdd1,0x71b1b63b,0x9072715b]
511     } ,
512     {
513         key:  [0xbe8e0044,0xc13f5cdf,0x299b260c,0x9806fd48]
514         , pt:  [0x745fd894,0xb9082b3c,0xa50f0598,0x4c6353e5]
515         , ct:  [0x134af3cc,0x268a662e,0x9cc48864,0xc55a2172]
516     } ,
517     {
518         key:  [0x1f3660f7,0xc8958a88,0x249ca71c,0x4e8a4915]
519         , pt:  [0xb91d29b2,0xf01ba1e7,0x7bcf43f,0xbe1c7a5d]
520         , ct:  [0x743630d3,0x51e59817,0x10c389f7,0x614c7f13]
521     } ,
522     {
523         key:  [0xfc77fea6,0xf8c7f205,0xa796ae37,0xaa3fd4ae]
524         , pt:  [0xcec3efdd,0x1f2937f8,0xf3946d74,0xd055b910]
525         , ct:  [0xde55d84c,0x2c2629bb,0x7424b72c,0x5186ad9c]
526     } ,
527     {
528         key:  [0xa177b624,0x9a2d4e9,0x59a9e3af,0x350991bf]
529         , pt:  [0x83022809,0x2c5059b1,0x1f784e9a,0xa06c4858]
530         , ct:  [0x531361f7,0xaefee125,0x6f1e2c27,0x6770399]
531     } ,
532     {
533         key:  [0xd6c9307,0xc01e2e0b,0x37b6a20b,0xb318a00f]
534         , pt:  [0x62df2f3b,0xb999937d,0x26df56ea,0x2d85423a]
535         , ct:  [0x4d3777,0x67d5507b,0xa6f5d44d,0x96764128]
536     } ,
537     {
538         key:  [0x6add669c,0x5f7b8fca,0x9fc61635,0x16670d0e]
539         , pt:  [0x50dcc40e,0xd31624c3,0x22f3b2c0,0xf0f6b444]
540         , ct:  [0x70310362,0x421ade,0xf3d53276,0x7f41de34]
541     } ,
542     {
543         key:  [0x2958b759,0x3ab845f5,0xdc9f4d70,0xdc967ebe]
544         , pt:  [0xfeb640bf,0xc1805cae,0x64ef2388,0x23ee9a3]
545         , ct:  [0x855cd47d,0xcce9014f,0x1b69a5e3,0x1787ecb0]
546     } ,
547     {
548         key:  [0x606358ca,0x703ce1a2,0xe03ce5ee,0x4bcf7d21]
549         , pt:  [0xba49a95a,0xfeccf9a6,0xf63016c4,0xa33e041a]
550         , ct:  [0x16763798,0x73b11903,0x9708da6b,0x71ae27f2]
551     } ,
552     {
553         key:  [0xc82e3845,0x688e4d0e,0xff101513,0x9bffa951]
554         , pt:  [0x9c9f42ab,0xdf04777c,0xb68e5865,0x9a04b539]
555         , ct:  [0x928912df,0xbfd1a16a,0xf405ff79,0x7f3b2b60]
556     } ,
557     {
558         key:  [0x489f488f,0x5be787cf,0x31772239,0xccb1bd89]
559         , pt:  [0x7c75ea3,0x63b78ddd,0x2d0694c5,0xda964635]
560         , ct:  [0x223fe890,0x11cd68c7,0x6724eaa7,0x7049a1ae]
561     } ,
562     {
563         key:  [0x508637c3,0x51c8a9a7,0x1fb224d1,0xe16d143c]
564         , pt:  [0xa4d2d4c2,0x98e999d9,0x5a3599fb,0xdbd34c5a]
565         , ct:  [0x1c72fe7b,0x369f27fb,0xef51165f,0xa084fe15]
566     } ,
567     {
568         key:  [0x30a42c34,0x1646e40c,0xb8e33b22,0x61583ef4]
569         , pt:  [0xdcb4a8e1,0x6ee1e9d,0x97c90bd8,0x3875a1c]
570         , ct:  [0x26082e4d,0x8192243a,0xbf0991a5,0xa8fce8e5]
571     } ,
572     {
573         key:  [0x801b0e74,0x8a7f2c6f,0x2f6b8e1f,0xcaaef6b9]
574         , pt:  [0xa203a9e2,0x87abba9a,0x2083e37c,0x68c58c97]
575         , ct:  [0xfb058859,0xb733bf53,0xdf4f8974,0x460ccb13]
576     } ,
577     {
578         key:  [0x9efd462a,0xf250be55,0x6e51fa20,0xfbf30c65]
579         , pt:  [0x7dc55bfd,0x4d3c2975,0xd05e42ee,0xd0a25066]
580         , ct:  [0xc14c968f,0x7f2c229f,0xdc8b6068,0x5604741f]
581     } ,
582     {
583         key:  [0x923d9a4e,0x13ae66f4,0xc3220048,0x437770aa]
584         , pt:  [0xe1d5a22d,0x8a817840,0x86757ada,0xd35316e2]
585         , ct:  [0x20eecb77,0x6a8dcc22,0xbaa8c108,0xb53a1742]
586     } ,
587     {
588         key:  [0xd8d21904,0x363685ce,0xdea0c6cd,0xbfaee950]
589         , pt:  [0xfc480754,0xe441f9ea,0xc1776908,0xcf1c69bc]
590         , ct:  [0x2959dfbb,0x1dc33de9,0xbc4db4a6,0x5a9da783]
591     } ,
592     {
593         key:  [0x718b52d3,0x83f425d0,0xa3d621d5,0xcafeebb4]
594         , pt:  [0xd1acd5de,0x2de5a356,0xad9f34dc,0x120ef664]
595         , ct:  [0xdba1e77,0xffe6128f,0x674636f8,0x1561dd0e]
596     } ,
597     {
598         key:  [0xe0116da1,0x90d7ebbd,0x61fb05e3,0xf28ce553]
599         , pt:  [0xa6f8d875,0xc94c335,0x8043fd11,0x1011991e]
600         , ct:  [0x30357af0,0xb0115263,0x4f6631a0,0x14bfd3d0]
601     } ,
602     {
603         key:  [0xc8e6fde7,0x8697e6c8,0xa93a8d2e,0xc78dbd11]
604         , pt:  [0x4653c7ed,0x8d438db2,0xa888d199,0x98547ba3]
605         , ct:  [0x503f5fcb,0x6ac1044f,0x8a42fe21,0x67c89d33]
606     } ,
607     {
608         key:  [0x7e08ecff,0xb27be0eb,0xb582f99b,0x8bff4734]
609         , pt:  [0x5a7b1354,0x8512cbd9,0x6e76b171,0x1e02dff2]
610         , ct:  [0x53097001,0x1333c203,0x5f129e72,0x6ab817d5]
611     } ,
612     {
613         key:  [0x77d3e1df,0xebd941cd,0x760c8942,0xb3102b69]
614         , pt:  [0x7568a710,0x4d93656b,0x62d29b50,0x4f46ff7a]
615         , ct:  [0xdacd8d71,0xea654086,0x9d71fdc4,0xe60480c2]
616     } ,
617     {
618         key:  [0x829be282,0x6c2f01fd,0x2ae28c3c,0xbd98b9de]
619         , pt:  [0xa40c2d3c,0x15f408a9,0x13ab2ffe,0x437dd775]
620         , ct:  [0xe067caa7,0x2b403600,0x4e39a5b0,0xdf605396]
621     } ,
622     {
623         key:  [0x39a65934,0xe9ae9e96,0x9618bd26,0xa7186ee]
624         , pt:  [0x7e7c6bf,0x46cf1cf2,0x919d9fe3,0xc04c0e63]
625         , ct:  [0xb4a700d8,0x5c9c58f1,0xea24dc04,0x67ab7393]
626     } ,
627     {
628         key:  [0xc03eb0ff,0xb318a629,0x7167b736,0xc88234b2]
629         , pt:  [0x2c1834ee,0x12cf5c41,0x6df7c99b,0xff723c98]
630         , ct:  [0x6258f82e,0xe83622ca,0xf594589b,0x4c4c3762]
631     } ,
632     {
633         key:  [0x5fed884c,0x91974af3,0x747afd8,0x2d5059e2]
634         , pt:  [0x31f7f09f,0x11d64243,0x4e7b9c85,0xccad7e0c]
635         , ct:  [0x5be308ee,0x2190cdb7,0x6b677522,0x76f11153]
636     } ,
637     {
638         key:  [0xc17d2933,0xa3599bff,0x4549a3a0,0xa212b2c1]
639         , pt:  [0x4b1aaf99,0xe2b15ce0,0x6c12adeb,0x86011866]
640         , ct:  [0x80d3cf6b,0x5d30e7b6,0xa778e9e2,0xd289c7b8]
641     } ,
642     {
643         key:  [0xadc2fad5,0x9aec9e3e,0x7024cacc,0xb33993db]
644         , pt:  [0xe1f95f0e,0xbd5e43ab,0x6203991f,0x52cc7cdc]
645         , ct:  [0xda52ecf1,0x5a129256,0xeb1b7a67,0x7d66d115]
646     } ,
647     {
648         key:  [0x456bfcec,0x8583accf,0xc9afc526,0x7214281f]
649         , pt:  [0xa21dfc77,0xffdd5443,0xb8674a45,0x784d369b]
650         , ct:  [0xf884f17d,0x17fdd038,0x403e6a37,0x729ee4b]
651     } ,
652     {
653         key:  [0xd2a8f47d,0xc5c2280d,0x848fb9c8,0xd7e0ceb0]
654         , pt:  [0xf76cd274,0xd7c72ae6,0xfb55f9d7,0xa131c412]
655         , ct:  [0x7a937483,0x9dbed5bf,0x48a5dc45,0xf337f8ee]
656     } ,
657     {
658         key:  [0x7bbb9ec1,0xe4296e29,0xf5e0745b,0xebbdbc20]
659         , pt:  [0xdd8154d6,0xf0f761d3,0xb0ddf34a,0xb63737ef]
660         , ct:  [0x9422716f,0xc19609e7,0x9d3fa08c,0xe531e09c]
661     } ,
662     {
663         key:  [0xa6f2f1bb,0xfa0d62b1,0x8c394721,0x2f63daab]
664         , pt:  [0x3452dff5,0x385166b9,0xf9acc1eb,0x4f0aebfd]
665         , ct:  [0x21f05ed2,0x566b6650,0x4fed84d,0xe6c7c563]
666     } ,
667     {
668         key:  [0xabd9ad1e,0x5d460bb1,0x2176630d,0xdd65d8cd]
669         , pt:  [0x43786db5,0x41560cf6,0x57c85a35,0x4cfa3d39]
670         , ct:  [0x9b6ae09c,0x1f5a08a9,0x4f355cf9,0xea8f34ef]
671     } ,
672     {
673         key:  [0x5ac83332,0x119a9069,0x71304a62,0xb4f1393f]
674         , pt:  [0x97d12e77,0xfcd7fffd,0xd7aba29b,0xd9789c95]
675         , ct:  [0xdb711c0c,0x50c517aa,0xe8abcc89,0xdcec85ec]
676     } ,
677     {
678         key:  [0x2d0daebf,0xaa511be6,0x1bab4b63,0x53fe020d]
679         , pt:  [0xd89b15eb,0x4feb62ed,0x6164978b,0x59d2f09f]
680         , ct:  [0x77b8e854,0x80f95279,0xf398cfb9,0x21f44d38]
681     } ,
682     {
683         key:  [0x1133161c,0xf58db6c8,0xd885d8c7,0x86948fdd]
684         , pt:  [0xd8acc649,0x640b8f15,0xa80fb57e,0xaf9636df]
685         , ct:  [0x6fb144d8,0x9a3655f,0xf53baddd,0xb49a647b]
686     } ,
687     {
688         key:  [0xca957c5d,0x8b56553c,0xf04556ef,0xc5e81fea]
689         , pt:  [0x5df14e65,0x8cce354f,0x985e6f33,0x30b3b345]
690         , ct:  [0xb50026c9,0xfa057010,0x9b5cac9f,0xc1cfc8e8]
691     } ,
692     {
693         key:  [0xcae6b52c,0xf5f8703c,0xb25ab5c7,0xdc78cbe8]
694         , pt:  [0x30b12c36,0xa99f7247,0xddb92cbb,0x3915aa71]
695         , ct:  [0xeb00a9da,0xe9bd4a93,0x75685696,0x64c0eee9]
696     } ,
697     {
698         key:  [0xf83bc587,0x79bca429,0x6e77eab9,0xd1138732]
699         , pt:  [0x7ffe1a25,0x19eb949,0x922d1173,0xa77b06c]
700         , ct:  [0x46450368,0xdbceb6a9,0x96a55cc3,0xe0585428]
701     } ,
702     {
703         key:  [0x2e063f97,0x6c749430,0x51ec46b6,0xcbfebb9d]
704         , pt:  [0x2f868545,0x9d2e5d07,0xd09df4f2,0xc9161c77]
705         , ct:  [0x5220c33b,0xa1759a42,0x8222e66c,0x1dc1bac4]
706     } ,
707     {
708         key:  [0xa6d6a87d,0xa88aa9a1,0xcbcf0373,0x73491351]
709         , pt:  [0xebe4ee73,0xca960d6c,0xa288d539,0x1011c2e5]
710         , ct:  [0xb794b41f,0xcf61e897,0x74c262c9,0x693beb4e]
711     } ,
712     {
713         key:  [0xc836ab67,0xc52fb97f,0x40ab110a,0x495a13c9]
714         , pt:  [0x8ecb5de5,0x5f6a9d5a,0xc5d0ecbb,0x97e66ec3]
715         , ct:  [0x4f66fd08,0x7c3585e8,0xdfd13f34,0x696838d3]
716     } ,
717     {
718         key:  [0x65877cdb,0x2fab207e,0x3b472687,0x4ca9e635]
719         , pt:  [0xd50a5496,0x15666519,0x7ceb9231,0xf4ea5980]
720         , ct:  [0x7cfc9603,0x7481780,0x84fde342,0x5184020b]
721     } ,
722     {
723         key:  [0xfbff3054,0x322acf04,0x7846f106,0xc96fcfef]
724         , pt:  [0xd29d1968,0x18715033,0x10e1ade,0x1c4977b2]
725         , ct:  [0xbeb90d7b,0xf068c41b,0xfdae5713,0x6e73e12f]
726     } ,
727     {
728         key:  [0xbc6ac4ef,0xb7b9d5cd,0x7253c2ce,0xc3f03ac8]
729         , pt:  [0x2ee195c7,0xf175be6f,0xcc98373d,0x894e15aa]
730         , ct:  [0xffb23102,0xb505cd48,0x823c39,0x1c7f83e5]
731     } ,
732     {
733         key:  [0x1ca0e486,0xd782b6ca,0xec043384,0x5fe8ed9]
734         , pt:  [0xa7f24256,0x538a664e,0x2e9a09fe,0x22466afb]
735         , ct:  [0x3f857671,0x26c4d5e0,0x2a562881,0x79cacc57]
736     } ,
737     {
738         key:  [0xf431f6b4,0x686d6bb4,0xb8d3dbf4,0x271a04bc]
739         , pt:  [0x1149de10,0x8933d01d,0x71053a84,0x86c41d33]
740         , ct:  [0x4a71bb1d,0x986debef,0xb06c9707,0x4237ca47]
741     } ,
742     {
743         key:  [0xe59af5cf,0xd839a55e,0xda6591d1,0x1f3c37f9]
744         , pt:  [0x1da87528,0x24d7f30d,0x62eac1b7,0xc73e0d5e]
745         , ct:  [0xcab6c9ed,0xf0714d6b,0x42f11981,0x39295e54]
746     } ,
747     {
748         key:  [0xb1fd1c1b,0x3a95bf77,0x991f5be2,0x62564178]
749         , pt:  [0x984873b8,0x9fcdfdfb,0x251f4e1f,0x21039c67]
750         , ct:  [0xd1235be3,0xb3b1d1c0,0xac5e17bf,0xbf8dbc20]
751     } ,
752     {
753         key:  [0x73650918,0xa006f24b,0xb819f978,0x73ed5e4f]
754         , pt:  [0xff21faf7,0xc25c5cef,0xb70990a1,0xaea3de8]
755         , ct:  [0xa02aac1b,0x98574b66,0x5e1dbe6e,0xa40c0786]
756     } ,
757     {
758         key:  [0xe3fa92c0,0x45d17392,0x996af1af,0x43fb2eb4]
759         , pt:  [0xf271b583,0xe420ee4c,0xe607e90f,0x68d07af6]
760         , ct:  [0x59dc075b,0x3bcec29c,0xc664c1ea,0x25121ee5]
761     } ,
762     {
763         key:  [0xdc4571f9,0x21d11694,0xd904dbd2,0xb6dc9834]
764         , pt:  [0xe7ab20b7,0xa100f735,0xacfbf33,0xbfcf9118]
765         , ct:  [0x43bb2e9d,0x889fb716,0x936b4d91,0xb99044d7]
766     } ,
767     {
768         key:  [0x266df37d,0xe6de6e69,0x431e4d97,0x204483cb]
769         , pt:  [0xedd43ffb,0xf5e326cb,0xf7b1ee34,0x78879ad8]
770         , ct:  [0x9339f012,0x61d7e689,0x230e5f5d,0xeeea5c4c]
771     } ,
772     {
773         key:  [0xa3f6fa11,0xd97e8f9d,0x1e8b845a,0xaa1e90f8]
774         , pt:  [0x899cfe0b,0x2d09fe43,0x7a74714b,0xede7171b]
775         , ct:  [0x47901dd8,0x20a82ab5,0x9fa0c99b,0x3fec09cf]
776     } ,
777     {
778         key:  [0xa8262d21,0x9985f1e,0x9335d181,0xd7be689b]
779         , pt:  [0xf77619e3,0x7398ae3a,0x90c9c20e,0x3af81767]
780         , ct:  [0x377f053e,0xd41c5f64,0xde62a8c3,0x1d65a224]
781     } ,
782     {
783         key:  [0x7055509e,0x689f8138,0x86a1e7a8,0x832faa09]
784         , pt:  [0x996713f9,0xe44b816d,0x44e862fd,0xa1adce85]
785         , ct:  [0x67cc8adf,0x5b984b6b,0xac15686,0x87cbe82d]
786     } ,
787     {
788         key:  [0xdeb000f1,0xb02bb86b,0xdb5ca902,0x62c72fca]
789         , pt:  [0x4d53fe0,0x38cd3b6f,0x246110dc,0x78c41f89]
790         , ct:  [0x8ea14af5,0xab06577c,0x638f2a9e,0x7632ba3e]
791     } ,
792     {
793         key:  [0x4e53e56b,0x2e1e1cb4,0x8630c1ea,0x9dc162f3]
794         , pt:  [0x38283990,0xfd963315,0x7d887ff3,0x135e4ae2]
795         , ct:  [0xd9472249,0x51e22395,0x3ba4b1b7,0x9b96a8b1]
796     } ,
797     {
798         key:  [0x8fda4b39,0x179a488a,0x29467ac4,0x58af6adc]
799         , pt:  [0x8c5a09eb,0xe47945af,0x86a69c85,0x89858f5e]
800         , ct:  [0x92e800c,0xdf294398,0xc828f6ac,0xd23d195]
801     } ,
802     {
803         key:  [0x59810e07,0xa2677e01,0x62476399,0xc0ec5857]
804         , pt:  [0x15d0b9d8,0x2abef40,0x43cf0c65,0x9e24a019]
805         , ct:  [0xb7f109e,0xa037a4dc,0xbd9a0f7a,0x697f96ae]
806     } ,
807     {
808         key:  [0x958343cd,0x4ab40b1a,0x88c54b7c,0xee8e68fe]
809         , pt:  [0x8ab9024f,0xc6409608,0x85ebd763,0xb27eaf87]
810         , ct:  [0x55c493c5,0xffaca80a,0x70e223b7,0x4810ca0]
811     } ,
812     {
813         key:  [0xa8943367,0x9d06b239,0xa0b7495d,0x62179c1a]
814         , pt:  [0x313edf1a,0xc26451af,0x6cda0fe9,0x2cf9c4b]
815         , ct:  [0x13b4bf41,0xc52803e,0x3ec1b866,0xadc9bb88]
816     } ,
817     {
818         key:  [0xaa576419,0xebea7730,0x50085535,0xdc62b609]
819         , pt:  [0x25c6e2fa,0xaef3dd2d,0xe2e278f,0xebced828]
820         , ct:  [0xc0b14702,0x3ead73c4,0x63433395,0x45aa054c]
821     } ,
822     {
823         key:  [0xf82c019,0x9ffc17c9,0x4494452,0x7a75cc8f]
824         , pt:  [0x9b7c80e0,0xa8a8d7cd,0xae2c39e6,0x9cbe29ca]
825         , ct:  [0x8dac5817,0xf9743f86,0xb51bedee,0xef4c5ca9]
826     } ,
827     {
828         key:  [0xb98e2700,0x872fa265,0x74cdcbe9,0x6281dc26]
829         , pt:  [0xa570ca63,0x5d482de1,0x6f799138,0x436e6267]
830         , ct:  [0xe7e83af2,0x996e9705,0xfdb14da0,0x12bcd65]
831     } ,
832     {
833         key:  [0x387a7447,0x871f99a6,0xd1351510,0x172835c0]
834         , pt:  [0xc175a7ed,0xcbaa82e5,0x30db5f1c,0xcfa5b91a]
835         , ct:  [0x2af3c541,0x6ebd442f,0x6434b245,0x4fa6b582]
836     } ,
837     {
838         key:  [0x3072f10a,0xf146f5ca,0x3e3d91ba,0xf1062436]
839         , pt:  [0x435a8c40,0x6d57f560,0x9e1916b,0x728b4768]
840         , ct:  [0xf5e21898,0xe16a92d5,0x7c7e50,0x787ed601]
841     } ,
842     {
843         key:  [0x1daa4bcd,0xde8f4467,0xd8c2d054,0xae7cbd94]
844         , pt:  [0x2237d057,0x9f26a5ca,0x96bd2856,0x5c5598c6]
845         , ct:  [0x246d3055,0xb73e6e83,0x734c262,0x1ad9b717]
846     } ,
847     {
848         key:  [0xdfbcc70b,0xe7fa2ef8,0x442cabaa,0xa8d4188f]
849         , pt:  [0x40ee3ffc,0xd0af8030,0x57a541a0,0x55f49b1a]
850         , ct:  [0xbaf3bfc7,0x7462759e,0xf1fecdba,0xc7ae9963]
851     } ,
852     {
853         key:  [0xefbf9c33,0x26a73d21,0x35c26fa,0x6e9f2522]
854         , pt:  [0x3f1e6fba,0x1867dc7d,0x65fe00f5,0x8e1e949c]
855         , ct:  [0x9311c349,0x1d92188d,0x615ea3fc,0x9be1d25b]
856     } ,
857     {
858         key:  [0x8987ba67,0x7a094eff,0xacea2fda,0xb4deae55]
859         , pt:  [0xa5a54c7f,0x24d1d60b,0x3f834ebc,0x2204018f]
860         , ct:  [0xc553a2f3,0xe27df1fb,0xb074fc5,0x41767525]
861     } ,
862     {
863         key:  [0x3f8ae7e,0x99ec1b81,0x56d2e457,0x7b219de0]
864         , pt:  [0x16d60726,0x4a50a507,0xd86940a2,0xf10b979f]
865         , ct:  [0x9ed28439,0xa035f98c,0xfcbfa4ad,0xe5f8e3f4]
866     } ,
867     {
868         key:  [0x877465b3,0xb7a2fcd8,0xfa7fa572,0xec36c3a4]
869         , pt:  [0xfd57ce62,0xe2a96127,0xd3d3c5b5,0x608c9a19]
870         , ct:  [0xc3b9228a,0x760c304,0x925075b0,0x1f10966c]
871     } ,
872     {
873         key:  [0xaea57e26,0x49c74525,0x9f637e3c,0x282b392c]
874         , pt:  [0xd747f37b,0x35c28057,0x2c4d77d0,0x396efff1]
875         , ct:  [0xd1578e4e,0xe9401f94,0x53463366,0xbb62b855]
876     } ,
877     {
878         key:  [0x11989a9e,0xce7fcd6,0x6c52c0ca,0xf37d0478]
879         , pt:  [0x2b2bd4bc,0x768fc3be,0xeae6e404,0x70f717de]
880         , ct:  [0xb9181a22,0xbc8d91ac,0xc4f503cf,0xfb45cdb5]
881     } ,
882     {
883         key:  [0x878ac216,0x6b5df69,0x9c2801ef,0x4b7dcb]
884         , pt:  [0x6b2c148b,0x63b7b923,0x65597b02,0x32953f8c]
885         , ct:  [0x22a7120e,0x7a87b208,0x2b5a8ec4,0xc6753638]
886     } ,
887     {
888         key:  [0x4d924046,0xd87ab3ba,0xa61c145b,0x1ac31e57]
889         , pt:  [0x8129b2f,0x9116b377,0xa13ff6df,0xcae262cf]
890         , ct:  [0x5414996b,0xf9d9ddbc,0xc3481d3a,0xfdffafb2]
891     } ,
892     {
893         key:  [0xfb38d4c1,0xca43491a,0xf0d4f2a9,0x97e9f740]
894         , pt:  [0x1466d9c6,0x1be6d713,0xdb1a6381,0xed212978]
895         , ct:  [0x1b48c22c,0xfc5f8ac9,0x3e9b01d3,0xac38946b]
896     } ,
897     {
898         key:  [0xe3c1f0a8,0xd9c07e7f,0x51d02605,0xc8fe2f19]
899         , pt:  [0x244a49f2,0xf4633825,0x63f92594,0x1dc51f06]
900         , ct:  [0x86489daa,0xefec03ed,0xf928a8cb,0xfa7df4b5]
901     } ,
902     {
903         key:  [0x74cb1fb3,0x6b7f80a8,0xc87a6cfb,0x778dff36]
904         , pt:  [0x3fad0fed,0x2c4d3904,0x15c00d9a,0x6a377768]
905         , ct:  [0xd8654e00,0x27920724,0x380f4bc8,0x80284d56]
906     } ,
907     {
908         key:  [0x49ed6791,0x2a6b8c29,0x284399a4,0x24f5519]
909         , pt:  [0x3e311d3e,0xde14688b,0x80cd6220,0xedadc00a]
910         , ct:  [0x7455c216,0x2870e2dd,0x9c1b279,0x3e7b0095]
911     } ,
912     {
913         key:  [0x81992852,0x75773545,0x2d56ca05,0x192b33c2]
914         , pt:  [0xedc76e30,0xf4e7a50e,0x3e76459f,0xd1579557]
915         , ct:  [0xed8ddd07,0x9c37ca96,0xfe6b10d2,0x8825b460]
916     } ,
917     {
918         key:  [0x30f91606,0x92196404,0x574f34de,0x31ee83d1]
919         , pt:  [0x228cb101,0x196bd771,0x77732fe9,0x27391edd]
920         , ct:  [0x86e7a5cc,0x35d78267,0xae30f259,0xba0e13a1]
921     } ,
922     {
923         key:  [0x1a66237e,0x99984179,0xf63c8b6b,0x1927a592]
924         , pt:  [0x9d0cd50e,0xd2bfabf4,0x9963575b,0xfb2c4fe2]
925         , ct:  [0x9d66a013,0xac8e601,0x1d9b448a,0xc8c46177]
926     } ,
927     {
928         key:  [0x7aaa14c4,0x6db6b514,0x521cf2c7,0x5a23530d]
929         , pt:  [0xfddf1d33,0x1c27b4e7,0x29362e5c,0x815f0561]
930         , ct:  [0x7b798134,0x415cb2cf,0xb88bc21f,0x1dbb9c41]
931     } ,
932     {
933         key:  [0x8a5a68cf,0xae758e39,0x1a596870,0x4e8c05bc]
934         , pt:  [0xfb86d8c0,0x6674f638,0xcb8f551d,0xf30589a1]
935         , ct:  [0xc6169c87,0xc8cf2af5,0xa86c6d05,0xb16ab7a9]
936     } ,
937     {
938         key:  [0x2a8c54cc,0xf96a353a,0x66de0b78,0x3a499b]
939         , pt:  [0xd62faabe,0x7b654a8,0x83b5e979,0x307ee472]
940         , ct:  [0x8fa39571,0xd8f43a20,0xcc343cd8,0x23d437cf]
941     } ,
942     {
943         key:  [0xf0e19d7a,0x6b1c475c,0xa2df3f05,0xff84b3ed]
944         , pt:  [0x3f16bd44,0x166c181e,0x39b94d43,0x7409bde4]
945         , ct:  [0x3aaf565d,0xd8d92ecd,0x89d36eaf,0x9e2b88f3]
946     } ,
947     {
948         key:  [0x9f11d99c,0x392d8bd5,0x8d775223,0x6a7abe85]
949         , pt:  [0xed42580e,0x460301a3,0x7f668332,0x128969bb]
950         , ct:  [0x457e5aef,0xacebc4b5,0x60479471,0xb3a7db60]
951     } ,
952     {
953         key:  [0x14fd37e5,0xe50ff010,0xc4c11aaa,0xfc3a09d8]
954         , pt:  [0x8f8dcc16,0x66a6ad24,0xe6da9e9d,0xf1e1c087]
955         , ct:  [0xfc07c5a4,0xd92ac021,0xebc99acd,0xcde3e395]
956     } ,
957     {
958         key:  [0x3b0e99ea,0x96024d16,0x397a82f1,0xb813577a]
959         , pt:  [0x957d8c77,0x1a6df0b,0xa82fb1d0,0x29a7fed7]
960         , ct:  [0x6445acd3,0xd00d68ef,0x5b9a98d4,0xe8cc92db]
961     } ,
962     {
963         key:  [0xcf7be6d7,0x59fb8fce,0x3f059333,0x325b65cb]
964         , pt:  [0xf19d026f,0x9518b1fa,0x8af72900,0x317013a7]
965         , ct:  [0x819e085b,0xf0960687,0x4ec8b742,0xa4c9d68]
966     } ,
967     {
968         key:  [0x27b18601,0x3e3db7a,0xd5ebbd99,0x73effa80]
969         , pt:  [0xe1b2101d,0xa827ac60,0xf5ba881b,0x7d990a47]
970         , ct:  [0xff4ef5d4,0x76aeb34c,0xc1505d0,0x1b398440]
971     } ,
972     {
973         key:  [0x76075708,0xd55b47dd,0xe2a853f0,0x60bf98c9]
974         , pt:  [0x766dba9e,0x2f7e7058,0xabeb2b77,0x520f8ca9]
975         , ct:  [0x3dea2573,0x622a2e52,0xeaf64575,0x51604b22]
976     } ,
977     {
978         key:  [0x2052855f,0xdc7f5d94,0x1451e582,0xabc5da12]
979         , pt:  [0x54decfe2,0xadc44e81,0xf3cd4d2d,0x881935c0]
980         , ct:  [0xe1b59304,0x4ed93b17,0x272820ab,0xc19e50e]
981     } ,
982     {
983         key:  [0x8625d90e,0xeb4a26d3,0xa29a53f5,0x1d2c9028]
984         , pt:  [0x7dd7d1aa,0x7a29907c,0xa26820b1,0x224a43ac]
985         , ct:  [0xe7f43282,0xd66ccc5a,0x23cf2df9,0x1478517e]
986     } ,
987     {
988         key:  [0x5419f5c0,0x60903fcc,0xeb4414e6,0xdd916275]
989         , pt:  [0x66b8ef8a,0xce74b0ea,0xbd545067,0x75f92a01]
990         , ct:  [0xefec231e,0x6d9f875f,0xd036add2,0x527c147e]
991     } ,
992     {
993         key:  [0xf4dc3270,0x7dc9b8fc,0x6097abfb,0x69eb19ab]
994         , pt:  [0xf5e8b4b,0xdab8b261,0x399fe824,0x9284e798]
995         , ct:  [0x9b9db113,0xd426c3ae,0x5f767ca1,0x28c39862]
996     } ,
997     {
998         key:  [0x7d7f646c,0x54248375,0x4ee26e6,0x76197a77]
999         , pt:  [0x79a5c252,0x368aae0e,0xdcd9d11,0xdd74a3ed]
1000         , ct:  [0x7707e1ed,0x6cdb7c8d,0x6cd5736d,0x748c80e6]
1001     } ,
1002     {
1003         key:  [0x38428ffc,0x6120ae32,0xbb23c7e0,0x291264e9]
1004         , pt:  [0x78217744,0x6aacf8ef,0x430d8d5d,0xd36f5e0e]
1005         , ct:  [0xae8f59ee,0xeafa4800,0xb8acffb2,0x8d5d09d2]
1006     } ,
1007     {
1008         key:  [0xc2c147d0,0xca934715,0xc272a17a,0x4e022755]
1009         , pt:  [0x23484cfa,0x305810b2,0x8742da7d,0xd0e62f]
1010         , ct:  [0x73c5518,0xdc03fa20,0xf27b0c64,0x67242f68]
1011     } ,
1012     {
1013         key:  [0x3f257fe4,0x601cdf36,0x53a18cb8,0x656f8691]
1014         , pt:  [0xe073b4f0,0x20c99715,0xc716e9f6,0x8a5a4632]
1015         , ct:  [0x250a62bf,0x72e0e386,0xed621fd3,0x60bab5b3]
1016     } ,
1017     {
1018         key:  [0x94519927,0xef307655,0x2aff6085,0xf28c0e6e]
1019         , pt:  [0x96a37f99,0xfbdb9df8,0xd4cea2cf,0x9bdb014a]
1020         , ct:  [0x4ba0e1e8,0xe6bfb2e5,0xbe1bc970,0x810d2df5]
1021     } ,
1022     {
1023         key:  [0x90f4e1a9,0x84a554d9,0x979bcc74,0x3dd522a3]
1024         , pt:  [0xd8efa520,0x2dc12f8f,0x5aa673f9,0x725ed6fc]
1025         , ct:  [0xcf0c2aba,0x46ebe72a,0x8c89c305,0xe8156e00]
1026     } ,
1027     {
1028         key:  [0x1d74c249,0x21a77c9,0xc8fd3e91,0xd054f7c1]
1029         , pt:  [0x48e6f95a,0x5a9a2a5c,0x37d3ded,0xd7766d51]
1030         , ct:  [0x9286ab7c,0x290a5ae1,0xaeee14fa,0xe933c0d7]
1031     } ,
1032     {
1033         key:  [0x98fb3435,0x289bb07d,0x8b72bcf9,0x29bf15ce]
1034         , pt:  [0x1acac542,0x1d7acbeb,0xa2f0d24c,0x7cbdf4b4]
1035         , ct:  [0xd89ef7a5,0x4224c73,0x86019fb,0x4aed2099]
1036     } ,
1037     {
1038         key:  [0x1418a423,0xa5c16079,0xa3de4ddd,0xa2f09665]
1039         , pt:  [0xbb166141,0x202665e7,0xc50d7b3f,0x96d50382]
1040         , ct:  [0xb855a52c,0xc27fb04e,0xd8dfae0b,0x49d1d24b]
1041     } ,
1042     {
1043         key:  [0x32b7e0c3,0x2db4d72e,0xa16a54da,0xdc432d17]
1044         , pt:  [0x2b654142,0xd302aa3d,0x81fdca76,0xcf4b0167]
1045         , ct:  [0x5f771016,0xbe591af2,0x8e57860d,0x886aa15e]
1046     } ,
1047     {
1048         key:  [0xa351ceea,0x99787c3f,0x2711fcb0,0x6d519194]
1049         , pt:  [0xa490fb0b,0x23d042f8,0x26f004d0,0xb56cb84b]
1050         , ct:  [0x8397e747,0x32c59641,0xfd54c7d4,0xdab410d]
1051     } ,
1052     {
1053         key:  [0x294fc27e,0xbf1dbc03,0x8ec30a61,0xe48804ee]
1054         , pt:  [0xf20dcdca,0xa53b3897,0x203c53ae,0x93f246bd]
1055         , ct:  [0xe36c5081,0x45ebb23,0x5bd1a18e,0xfe6fb332]
1056     } ,
1057     {
1058         key:  [0xca28368b,0x57eff945,0xc2e05bcb,0x37100a9c]
1059         , pt:  [0x5b9e804f,0x74c44cea,0xa989e1d5,0x9f18e9d5]
1060         , ct:  [0xcb5c16c3,0x3233ef93,0xe218ae9d,0xd2f00fc8]
1061     } ,
1062     {
1063         key:  [0x1fa281f8,0xa9ea7506,0x6da0b07b,0xf923ceeb]
1064         , pt:  [0x6793656d,0x490edec9,0xbae93d03,0x21be0641]
1065         , ct:  [0x1b9f359f,0xa0a8e29e,0xb8bdf5de,0xa860c59c]
1066     } ,
1067     {
1068         key:  [0x591a1131,0x588be4f5,0x6732b72e,0xc385c396]
1069         , pt:  [0x3b9861b3,0x31e5396b,0x2b6e12f0,0x991aa5da]
1070         , ct:  [0xfd43614f,0x3f02d4a2,0x87f09947,0xab5162ea]
1071     } ,
1072     {
1073         key:  [0xf538253a,0x69a2f8f4,0x12805a16,0x27e1a70b]
1074         , pt:  [0xc53c8f4a,0x2311f80f,0x89fff5b3,0x1540ba5e]
1075         , ct:  [0x3bc7f9b6,0xfa6db33c,0x99dea790,0xb73dc5e2]
1076     } ,
1077     {
1078         key:  [0x65e26f5c,0x3a65942,0xd3891455,0x3076ce11]
1079         , pt:  [0x22b05bd5,0xeed93682,0x732fdf02,0xed255673]
1080         , ct:  [0xa0c13f9b,0xc26ccde4,0xd9975066,0x2064898c]
1081     } ,
1082     {
1083         key:  [0x2fc893bd,0x39fb243b,0xe9a0ffb4,0x30c25ba1]
1084         , pt:  [0x404a6ad6,0xe1e11aa3,0x3cb36,0xcb66dffa]
1085         , ct:  [0xa2a647ca,0x15851c6,0x5e7b670,0x2e134d03]
1086     } ,
1087     {
1088         key:  [0x180c4285,0x5d540bb6,0x2992a296,0xe289a29b]
1089         , pt:  [0xb461f043,0xfba39f65,0xb4d7a2e,0x495f786c]
1090         , ct:  [0xcbfc9b26,0xf9710e30,0xc27ef130,0xddec9ffc]
1091     } ,
1092     {
1093         key:  [0x571b02f3,0x8d45ae42,0xa06f6f88,0x315af8a2]
1094         , pt:  [0xce57388d,0xd8fb021,0x81689307,0xc5b276f9]
1095         , ct:  [0x2966b97a,0xe55c061a,0x1bc04f19,0x8fc61275]
1096     } ,
1097     {
1098         key:  [0xcf808226,0xd27f0244,0x70c8f08f,0x3fd3707b]
1099         , pt:  [0x9758c743,0xb2784f4d,0xf0d78741,0x94b472be]
1100         , ct:  [0xd6d89082,0xe40a7b62,0x1fa7ed4a,0x8e845970]
1101     } ,
1102     {
1103         key:  [0xc9769601,0xd3a99cc8,0xa7f7f59,0xdb882634]
1104         , pt:  [0x9e44101f,0x813b38c2,0xb39c5d6d,0x503e6b8f]
1105         , ct:  [0xac292df9,0xd565e24e,0x5253fd00,0x8741e231]
1106     } ,
1107     {
1108         key:  [0x43c90298,0xc18536c6,0x49c31cb8,0x1205b3b3]
1109         , pt:  [0x3a8cb006,0x95cf82bf,0x4bb3627,0x9e0b42d2]
1110         , ct:  [0x3e25bd02,0x911ba293,0xc64a0b5b,0xd7f58d01]
1111     } ,
1112     {
1113         key:  [0xa5598ef,0xafd34219,0x1dcd4f8e,0x3fd8007f]
1114         , pt:  [0xb39c085c,0xb43e0096,0xebb52eef,0xec5cdbd6]
1115         , ct:  [0xe6d7b198,0x128379ce,0x80fcd0cb,0x9f9eb0e2]
1116     } ,
1117     {
1118         key:  [0x94b27152,0xe2c21b65,0xc81ba02,0xe00f675f]
1119         , pt:  [0x8f52dd4f,0xdc8a200b,0xe5c15490,0xbb5db510]
1120         , ct:  [0xde26bd44,0x3f6ac66c,0xe5e61120,0x1ef210c1]
1121     } ,
1122     {
1123         key:  [0x8699f1d9,0x49b9357a,0xd1054d73,0xc7265250]
1124         , pt:  [0x2475e073,0x459f47da,0x85336a42,0x5cd11e1f]
1125         , ct:  [0xe7466e90,0x22e1de3a,0x85fe695e,0x29d1a124]
1126     } ,
1127     {
1128         key:  [0x145e3d99,0x752bc57c,0x5be17cf1,0xc1ca18c6]
1129         , pt:  [0xaa9a4047,0x83587c2d,0x47ad90a,0x9923ceda]
1130         , ct:  [0xb9d2e6db,0x8ca0649,0xaf9f433e,0x5158e7d5]
1131     } ,
1132     {
1133         key:  [0x67ba7664,0x60e6c961,0x460e225b,0x8f9d8ab2]
1134         , pt:  [0x98779424,0x7120c4d7,0x4803e6b1,0x80c5fed0]
1135         , ct:  [0x62ad6088,0x5509a90c,0xa8783bc7,0x434b4039]
1136     } ,
1137     {
1138         key:  [0x40917e8c,0xa8401d09,0x3fc61206,0x808bd137]
1139         , pt:  [0x4541a6e6,0xd82fdc39,0x6c5f2320,0xd14acd21]
1140         , ct:  [0x12402881,0x7587a701,0xcfac7322,0x17fdaba8]
1141     } ,
1142     {
1143         key:  [0x83c35e83,0x16d6234e,0xa29d36c1,0xa2dc1785]
1144         , pt:  [0x23a8a344,0x3ed503a6,0x410716ba,0x720e47ff]
1145         , ct:  [0x74d9523a,0x2079f513,0xaaa2e71c,0xdbcee1af]
1146     } ,
1147     {
1148         key:  [0xd64d5352,0x2a72f522,0x54759c15,0x9fb33a32]
1149         , pt:  [0x3f3fe5e6,0x690114a,0x27946f0b,0xed024018]
1150         , ct:  [0x10b06d7a,0xf5637a4e,0x19b11458,0x26bd49da]
1151     } ,
1152     {
1153         key:  [0x3c1300ec,0x432c49e5,0xf2353e0c,0xa1a03eb2]
1154         , pt:  [0xac99eeda,0xd4fbdf52,0xd417d63c,0xe837555d]
1155         , ct:  [0xd050f60d,0xd48913fd,0x387b7108,0xb9a939d1]
1156     } ,
1157     {
1158         key:  [0x47d41e75,0x2f1ad2f5,0x2cc203d0,0xb40e4b4f]
1159         , pt:  [0x9f818686,0x843b528b,0xe0e0b376,0x5d3cf29c]
1160         , ct:  [0x5bf46ebf,0xe7f907e4,0xad4eb3a3,0x8ea0a011]
1161     } ,
1162     {
1163         key:  [0xc1c1706b,0x365b606f,0xa8e3c28d,0x28ce0749]
1164         , pt:  [0xa67a9768,0x726c6d5,0xd92be59a,0x6680787b]
1165         , ct:  [0x506b43b4,0xaf9a1a26,0xae200ea7,0x7bc27ac6]
1166     } ,
1167     {
1168         key:  [0x7b3085b8,0xdbbf40d9,0xc6145e57,0x941a4979]
1169         , pt:  [0xfa99bddd,0xa43e9124,0x7a3a55dc,0x3b409b23]
1170         , ct:  [0x522d0075,0x655fd20c,0xaf3aa3f,0xfd354f4e]
1171     } ,
1172     {
1173         key:  [0x21d2a5e9,0x1bfc939a,0xfe08d91c,0x85d99fa]
1174         , pt:  [0x98e1974c,0xa85062fc,0xb83e72fa,0xc626861d]
1175         , ct:  [0xd097604,0x1784d419,0x523b0e7c,0x19f8346e]
1176     } ,
1177     {
1178         key:  [0x8fdb45b9,0x31e347f9,0x7e9fdc75,0x323b4098]
1179         , pt:  [0x68967660,0x74794a67,0xdad38fa9,0x3392146a]
1180         , ct:  [0x391f9934,0xb3fa423f,0x17079aa6,0xca03c062]
1181     } ,
1182     {
1183         key:  [0x1ccd9dd1,0x4bacb50f,0x41f44f2f,0xfe4adf1e]
1184         , pt:  [0x4e4add55,0x402a9de3,0x1d774e09,0x9839f44]
1185         , ct:  [0xf118fc3d,0x2ff6a5ab,0x3ddedffd,0x31f597c7]
1186     } ,
1187     {
1188         key:  [0xe95b139a,0x146c989a,0x5dd152f9,0x5596c67c]
1189         , pt:  [0xeed7723,0xf5fa1622,0x1f5d06b4,0xf149a4b0]
1190         , ct:  [0x7492e2f0,0x16175eb4,0x5717b810,0x4019d2d3]
1191     } ,
1192     {
1193         key:  [0xc117773c,0xa83a6376,0x84aaeff5,0xa5558786]
1194         , pt:  [0xe8019cda,0xf74c68f2,0xa2e9bbef,0x27438873]
1195         , ct:  [0xe37d558d,0x707de751,0xa9e882af,0xef0382c9]
1196     } ,
1197     {
1198         key:  [0x7d345bda,0xcd29fec,0x7b16b381,0x26853084]
1199         , pt:  [0xeb2ff988,0xefef5906,0x37e4e10,0xd440a8b9]
1200         , ct:  [0x27639685,0xc4cd6f33,0x875cb348,0xf8f35ee9]
1201     } ,
1202     {
1203         key:  [0x8a31bfb0,0x32473ff5,0x9d8efd13,0x66415f0f]
1204         , pt:  [0xed0d8eaa,0xaca71ea1,0x195b3952,0xc82e0ba6]
1205         , ct:  [0x6eda5ff8,0x6345ed38,0x3ed35c79,0xca7d1f04]
1206     } ,
1207     {
1208         key:  [0x26ca1da9,0xbfbf732d,0x4632d360,0x63170d30]
1209         , pt:  [0x8bd77448,0xc197e58a,0x522ec1ca,0xc9de21b8]
1210         , ct:  [0xf57d75aa,0xfbebeb9e,0x2ba8455a,0xfef74b46]
1211     } ,
1212     {
1213         key:  [0x3fb09c06,0x937e8035,0x2c7dc4c6,0xa913387f]
1214         , pt:  [0x5380d46d,0x4951a49b,0xa0741ffa,0xc7bdea0a]
1215         , ct:  [0x561d904e,0x414bc1bf,0xfa7384ba,0x7611bdb0]
1216     } ,
1217     {
1218         key:  [0x2c3bce63,0x423c766c,0x14032881,0xcb8822c8]
1219         , pt:  [0x75f0c682,0x6442012,0x944fedb1,0x36a9c2a7]
1220         , ct:  [0xb5a03f9d,0x2926d08f,0xb87688de,0xb03e6ad6]
1221     } ,
1222     {
1223         key:  [0xf65c65ca,0xeb0b637f,0x8e76da3c,0xe3798ce8]
1224         , pt:  [0x7c286730,0x5559679,0x1097f9fa,0x4a66e65f]
1225         , ct:  [0x10381fcf,0xeb96ee69,0x5f3297d1,0x259e718a]
1226     } ,
1227     {
1228         key:  [0x349af732,0x996bd10c,0xd56eb56c,0x57f351a0]
1229         , pt:  [0x4df3fbdd,0xc72d88a1,0x65ffd4eb,0x14a488b8]
1230         , ct:  [0x8beb5628,0x48aa7b64,0x26e7e8fd,0xe182a99e]
1231     } ,
1232     {
1233         key:  [0xca9b643c,0x5e564df4,0xf086f578,0xa761a51d]
1234         , pt:  [0x62451526,0x3e5244a2,0xc870453c,0xb8f37c4d]
1235         , ct:  [0x7a6c71fa,0x6e812b26,0xff663527,0x5c784d62]
1236     } ,
1237     {
1238         key:  [0x90198813,0x4ee1e23d,0x5498897b,0x72781bb1]
1239         , pt:  [0xda540600,0x8ebd2b0c,0x813a4a32,0x673aef85]
1240         , ct:  [0xc41763ed,0xff786dc5,0x7ac942c2,0xe84728b5]
1241     } ,
1242     {
1243         key:  [0xfb900fd8,0xd80a720e,0xf9f6b8fd,0x9e1dfc38]
1244         , pt:  [0x22d24c1c,0xa0f8b48f,0x8f0c0468,0x278bd394]
1245         , ct:  [0x9a103e45,0xb8c9c34c,0xb4cf964c,0xc6ef159e]
1246     } ,
1247     {
1248         key:  [0x95899247,0x388a5ac5,0x8719a503,0xb205ff91]
1249         , pt:  [0xa95d3adb,0x3144c716,0x84cb44fa,0xbfe6f5f6]
1250         , ct:  [0x5b41a0b4,0xee81e727,0x372b1d5b,0x25283cfc]
1251     } ,
1252     {
1253         key:  [0x93254ec1,0xd7c5dd53,0x4e5d962,0xb4e2bdc7]
1254         , pt:  [0x3ab0f068,0xd00df7b8,0xf8f83f8c,0x45e39916]
1255         , ct:  [0xbdb0eb9a,0x777df9ee,0xdcbbd196,0xf02acff3]
1256     } ,
1257     {
1258         key:  [0x943cbe97,0x681bfd8a,0xfeda11fa,0xf6c0f58f]
1259         , pt:  [0xf6546601,0xe930538,0x17411d1b,0xea5fe04a]
1260         , ct:  [0x1f6b3803,0x4922e958,0x970c22eb,0xbf742f62]
1261     } ,
1262     {
1263         key:  [0x4698864e,0x9857c432,0x7917efd6,0xca7d4b93]
1264         , pt:  [0x3d393ed2,0x2a0545a7,0x8435fb25,0x2caa2a2a]
1265         , ct:  [0xdd2fcbe5,0x5e183396,0x4bacaf86,0x65fe1771]
1266     } ,
1267     {
1268         key:  [0xfb148835,0x5fde85,0xc85be4d3,0x6b4fb64]
1269         , pt:  [0xe8da8109,0x90b542d7,0x9194d64b,0x8d7af88a]
1270         , ct:  [0x6e0070d2,0x1dd8afe8,0x970310d4,0xea94f129]
1271     } ,
1272     {
1273         key:  [0x559bf43b,0x4b288eef,0xc1ccca7e,0x6d9a92a1]
1274         , pt:  [0x6a1a4d50,0xae0ab970,0x2a3c6ce4,0x63147dd1]
1275         , ct:  [0x69000712,0xa4984d72,0x18e30085,0xb2e80fa]
1276     } ,
1277     {
1278         key:  [0xeb5ed7d5,0x4ba76d32,0x1da83a51,0x2eb52511]
1279         , pt:  [0xd9bfb052,0x274b126,0xc86522a5,0xbfa65fc6]
1280         , ct:  [0x723957b7,0x32d4de48,0x27fb49b9,0xfc47ca68]
1281     } ,
1282     {
1283         key:  [0xc0366624,0x1df86b98,0x4ed6afd9,0xfbcc594c]
1284         , pt:  [0xba14f66e,0xbec2de9b,0xbd032af2,0x82e71073]
1285         , ct:  [0xbe4722c0,0xcb214203,0xffe63a8c,0x9bd6b884]
1286     } ,
1287     {
1288         key:  [0x6d916616,0x3219e819,0x8e6427d6,0x4a2cc4af]
1289         , pt:  [0xd07ba2cc,0xbc8b8e43,0x445709f3,0x143cce8d]
1290         , ct:  [0xa7dd032,0xa33b003c,0x2e4fce61,0x5d235037]
1291     } ,
1292     {
1293         key:  [0xcaa60757,0xeecf8f27,0xc020b450,0x4c191a37]
1294         , pt:  [0xab678f3f,0x41b236c8,0xf6bc3b6c,0x9f9dfc27]
1295         , ct:  [0xdc705627,0x37160424,0x8ef00bf,0x2df6183e]
1296     } ,
1297     {
1298         key:  [0x1fbfe8d2,0x92c18406,0x28c5ecf2,0x92ad1464]
1299         , pt:  [0xf27a5327,0x10e46be3,0xaaeb5e47,0x8ebf0373]
1300         , ct:  [0x266bf75c,0xfefe120d,0xfce33fe9,0xe2a95e03]
1301     } ,
1302     {
1303         key:  [0x4c2d6e93,0xc85716fa,0xc51af501,0x4be7f5d4]
1304         , pt:  [0x83b6db9,0x95a99cfd,0x4131e7cc,0x2c6c5b1b]
1305         , ct:  [0x60752c84,0x4e8ca2e4,0x2f8a7be2,0xbf53882e]
1306     } ,
1307     {
1308         key:  [0xd0163cff,0x35ace527,0xe57b544c,0x18dde547]
1309         , pt:  [0x4e562665,0x603ccc7f,0x94a4d6fc,0x748ad668]
1310         , ct:  [0x69e179b5,0x510760cf,0x26fd7fc9,0xb2df65b7]
1311     } ,
1312     {
1313         key:  [0x6f2aa714,0xef8569f,0x290505a3,0xa8e07ddb]
1314         , pt:  [0x8c4b791e,0xf2cb2e9e,0xd4f6807d,0x10b3d158]
1315         , ct:  [0x56fb7b62,0x6995edc6,0xa3e9427c,0x5f3c7cf4]
1316     } ,
1317     {
1318         key:  [0x61364c54,0xe2cc3ed6,0xacede313,0x9e77b953]
1319         , pt:  [0x6292c769,0x2daea136,0x78751b14,0x784b0984]
1320         , ct:  [0xe1fcab5d,0xdc6eb2a4,0x2ccd96cb,0x370cc63b]
1321     } ,
1322     {
1323         key:  [0x7b2eb4fc,0x5daf8342,0x3c69afea,0xdaad026a]
1324         , pt:  [0x9334c4eb,0x6d0a12ea,0x4213f2d1,0x474a4147]
1325         , ct:  [0xd71d8ff0,0x60e6de53,0xbc66bacc,0x278f108f]
1326     } ,
1327     {
1328         key:  [0x3b31eb59,0xd801b182,0x84212908,0xc838f7f2]
1329         , pt:  [0x99bd8be8,0xd82de54d,0x857dfafc,0x257057ca]
1330         , ct:  [0xde3166f6,0xa52adbf1,0x6af1fb7e,0xb3153020]
1331     } ,
1332     {
1333         key:  [0xefe0ddf1,0xe1866e1b,0xfd97258,0xff615597]
1334         , pt:  [0xc4772868,0x3efd5e84,0x459bb246,0xe6e58e58]
1335         , ct:  [0xf3268ae6,0xd51df112,0x5d54adcc,0xca05cf5f]
1336     } ,
1337     {
1338         key:  [0x63f2481f,0x6fa63a2e,0xfb8ac82c,0xb3b07127]
1339         , pt:  [0x4dc1f34e,0xf3e6ae45,0xd7f961af,0xb895419a]
1340         , ct:  [0x1d0df04,0x96905d66,0x407fd651,0xd7da43fc]
1341     } ,
1342     {
1343         key:  [0x7d90ef1b,0xf25ff26b,0x89abec10,0x1347a4dc]
1344         , pt:  [0x12938508,0x92334e84,0xa560f07a,0x5b1e6f9d]
1345         , ct:  [0xfd332cb7,0xafbe95ad,0xf52fc88,0xf8a6be7f]
1346     } ,
1347     {
1348         key:  [0x1aa503fa,0x7b406521,0x4d75697d,0x882f88c3]
1349         , pt:  [0xc732a892,0x671972ef,0x25fc3c7a,0x906667be]
1350         , ct:  [0xa747e74c,0x287ca7d1,0x73454bce,0xcfd1a49f]
1351     } ,
1352     {
1353         key:  [0xb263b4ab,0x42878564,0x362c0986,0x2ed26667]
1354         , pt:  [0x518fc522,0xd18bbce4,0x3b93e93d,0x1557f221]
1355         , ct:  [0x3f468874,0x4c9e3749,0x82ffadfd,0xfa9404ca]
1356     } ,
1357     {
1358         key:  [0x3c369049,0x16d0cf38,0xbe402ff0,0x64bf618e]
1359         , pt:  [0x815cb78a,0xb6e617a,0xbaae63f4,0xd6b196da]
1360         , ct:  [0xc7ed71d9,0x9bfe772c,0xe948798d,0x15786463]
1361     } ,
1362     {
1363         key:  [0x47651efa,0x502f0ae9,0x86eaf5b9,0xed2621d5]
1364         , pt:  [0xc1cd9209,0x6eadcf0a,0xfbf2e1b0,0x3adb3f1d]
1365         , ct:  [0xa907f76e,0x62c16655,0x9ac24b93,0x208c5b65]
1366     } ,
1367     {
1368         key:  [0xe6b080bb,0x70541c03,0x8de2f99f,0xc5ddfe1a]
1369         , pt:  [0x7e1f8132,0xa6f75207,0x432bafae,0xf70ee10d]
1370         , ct:  [0x460c5ba3,0x3328c4e3,0x79e0be9a,0xb26b6cb8]
1371     } ,
1372     {
1373         key:  [0xade4d9de,0xcbeaab86,0x2ddd6e88,0x82dc6ea4]
1374         , pt:  [0xb30879ee,0xc42aa569,0x7e27c3c,0xfa1c15b1]
1375         , ct:  [0x1f4b98a8,0xca6943a,0xba474ac4,0xdff16ec4]
1376     } ,
1377     {
1378         key:  [0x14acc4ee,0x218f1267,0x908e242f,0x39808ffb]
1379         , pt:  [0xf5f9346f,0x748f606e,0x36d9e654,0xc007ae0d]
1380         , ct:  [0xbdc283f5,0x2f7a77fc,0x7fa6ab1a,0x9556f105]
1381     } ,
1382     {
1383         key:  [0x31be56f2,0x729c63e9,0x8f50ec14,0xae70f8ee]
1384         , pt:  [0x82283048,0x21dc28a4,0xc434d396,0x534c9063]
1385         , ct:  [0xb56d20ca,0x61f144e8,0xe727e677,0x8c87443e]
1386     } ,
1387     {
1388         key:  [0x22293962,0xd8ca4e51,0x64cfcd55,0xbb61f622]
1389         , pt:  [0x58ab1a2,0x5b5550a2,0x85171ba7,0xd8cd7f2c]
1390         , ct:  [0xfd361261,0xbec76513,0xae787ca1,0x55107471]
1391     } ,
1392     {
1393         key:  [0x30e7a39f,0xce2cac49,0x4cbea840,0x5b8aaf04]
1394         , pt:  [0xedc98c26,0x17c76a37,0x5e0d96e6,0xe973227e]
1395         , ct:  [0x1fb36f07,0x595305c7,0x6c825e7a,0xf36f83fc]
1396     } ,
1397     {
1398         key:  [0xd3c19c62,0xe73da503,0xf8baa6e3,0x25c5c34f]
1399         , pt:  [0xba8f8df6,0xfbaa017c,0xda705b2e,0xf71f84ed]
1400         , ct:  [0xdc036cba,0x1907f6f8,0x72d4fd02,0x422e1eca]
1401     } ,
1402     {
1403         key:  [0x7368445e,0xa2798980,0xdde789ab,0x13c84411]
1404         , pt:  [0xe7348d,0xe42c5378,0x25cda855,0x7508b0db]
1405         , ct:  [0x21d9095e,0x5ad638de,0x53f3885e,0x7d0fb38b]
1406     } ,
1407     {
1408         key:  [0x12d3336e,0x26abc258,0xbc39a924,0x66e0e7d8]
1409         , pt:  [0x3c343376,0x928a4293,0xa2f88d6b,0x8ba3b7a8]
1410         , ct:  [0x6b00ad72,0x7acdb1ad,0xc7f6e357,0xff0781a7]
1411     } ,
1412     {
1413         key:  [0x1e0529b9,0x79da6185,0x7abe39c3,0x35176126]
1414         , pt:  [0x58015977,0x920b8737,0xf706e17c,0x9a91240]
1415         , ct:  [0xfcd62853,0xa347d912,0xa8b6d10,0x8c0563a3]
1416     } ,
1417     {
1418         key:  [0xd6223850,0xac79b1ce,0xbf78113a,0x2d879dd4]
1419         , pt:  [0x5246a1cd,0xea9f57f,0x149d151e,0x46c615f0]
1420         , ct:  [0x250b78b8,0xf0bc3957,0x46b4ff03,0x5fdb1d19]
1421     } ,
1422     {
1423         key:  [0xff9e7c83,0xc07064dc,0x24db0e55,0x22f57b6c]
1424         , pt:  [0x23afcdc,0x90d23da4,0x1be15728,0x583dd151]
1425         , ct:  [0x18b2107b,0x1f5969b5,0x516f7b71,0xf533c69e]
1426     } ,
1427     {
1428         key:  [0xb1614aad,0xe7167359,0xfdc85af,0x9a56d914]
1429         , pt:  [0xa286e6f3,0xc11dc4d6,0xaa0bb980,0x340fdfcd]
1430         , ct:  [0xc68c40c9,0xd88e754a,0xbffe06e4,0xdc2d3456]
1431     } ,
1432     {
1433         key:  [0x46e87fde,0x86455216,0x4f69c879,0xdfbdb4de]
1434         , pt:  [0x4e0322da,0x9224908a,0xda604458,0xc47fae7c]
1435         , ct:  [0x40210a6e,0xa841baac,0x9c98b380,0xc713272c]
1436     } ,
1437     {
1438         key:  [0x50c52529,0xceddb909,0xf054820b,0xb7e2c2d3]
1439         , pt:  [0x8331bd49,0xb1e7b381,0x1e0da1a1,0x2ce53b6a]
1440         , ct:  [0xf59229fe,0xde769bac,0x4bc113f1,0xf5db10ed]
1441     } ,
1442     {
1443         key:  [0x11194936,0x8f136723,0x679bcbc5,0x7b621c35]
1444         , pt:  [0xb222fb0a,0x526f887c,0x25c6a12a,0xc7ff8ed6]
1445         , ct:  [0x18385ff1,0x54da875c,0xb14fa152,0xad2764ae]
1446     } ,
1447     {
1448         key:  [0x469e9b4f,0x62a73a38,0xf436be06,0xcaa8d1ac]
1449         , pt:  [0x43a4a05c,0xaadfbc14,0x149245db,0xde630d94]
1450         , ct:  [0x39d2fdc3,0xc8efb471,0xaba6780e,0xc9f64bd4]
1451     } ,
1452     {
1453         key:  [0xa20eced8,0x803c4a0,0x48daa3af,0x9036c266]
1454         , pt:  [0x49aa707e,0x66dcd4bc,0x5c324b52,0x9199a4d3]
1455         , ct:  [0x60427e32,0xd683e185,0x1f783126,0x336aedd0]
1456     } ,
1457     {
1458         key:  [0x6df532be,0xf771c1e8,0xea42378e,0x7433e75e]
1459         , pt:  [0xd3503457,0xf0e63dd2,0xf6e2563b,0xf09dd73d]
1460         , ct:  [0x6b7e1dde,0xaa23caf3,0xb93e219f,0x6f0c2083]
1461     } ,
1462     {
1463         key:  [0xbcfd577d,0x77d6f6ad,0xcfc21034,0xa130ff54]
1464         , pt:  [0xf33242c5,0xf8bfe4,0xab6b9ae2,0xe4559f6c]
1465         , ct:  [0x1f4e1442,0x13aa38fd,0x746e9d25,0x152ff238]
1466     } ,
1467     {
1468         key:  [0x7f56a9f7,0xe57db5bc,0xa1a6a42a,0x61325ede]
1469         , pt:  [0x987cc0f5,0x85fe3fb0,0x36267a43,0xc55dd984]
1470         , ct:  [0xd5a3bdc,0xb699e1ba,0xfb54b28c,0xcdd267f3]
1471     } ,
1472     {
1473         key:  [0x72777b18,0x3e271e7b,0x5dbd3ddd,0xe1ac86ee]
1474         , pt:  [0xe8b4c542,0xf2258bf2,0x687e6a40,0x8ffb4595]
1475         , ct:  [0x850b5bd1,0x35915d65,0xfc08ce06,0x3127409d]
1476     } ,
1477     {
1478         key:  [0x78e88933,0x6aa210a,0x3cccab9d,0xb17e51ab]
1479         , pt:  [0x4d10a27,0x1c7058a0,0x90a97592,0x29214623]
1480         , ct:  [0xb4cfa929,0xd9f6234d,0xbd250701,0x796965a4]
1481     } ,
1482     {
1483         key:  [0xceecf589,0x22a8b706,0x45c0902f,0xacc3cdc3]
1484         , pt:  [0x6b4918f1,0xa60d8211,0xc42fa95e,0x1bfbfd3f]
1485         , ct:  [0x99155a54,0x86954d78,0xdeb4a81b,0x991f4006]
1486     } ,
1487     {
1488         key:  [0x36f2d59b,0x34843236,0xea3769dd,0x80293df8]
1489         , pt:  [0xa6c8ba00,0x22127fd0,0x7c3416e6,0x81fd8fdb]
1490         , ct:  [0xa10d8779,0xd5984830,0x9c2c57fc,0xba9f8349]
1491     } ,
1492     {
1493         key:  [0x98e9dea3,0x62dff682,0x6362f893,0xc03f44ad]
1494         , pt:  [0x12469f30,0x13dc71c3,0xb93d2da4,0x7488f5e0]
1495         , ct:  [0x182263f5,0xb648e0ff,0xe7264a9a,0x7e7a0e07]
1496     } ,
1497     {
1498         key:  [0xa716d0f1,0x623b3171,0x33b31ecd,0x26efb156]
1499         , pt:  [0x1e07d536,0xaee5d163,0xf3784af9,0x17d50961]
1500         , ct:  [0x6a25adbe,0xe91ca32e,0x7a0cf742,0x5b55e74d]
1501     } ,
1502     {
1503         key:  [0xb0eeacce,0x67d95172,0x95bef7b7,0x67be0ac9]
1504         , pt:  [0xa2ab5d45,0xe371a054,0xa581718d,0x9de99251]
1505         , ct:  [0x19ace18d,0x6794b9a8,0xbd001a8d,0x10bef044]
1506     } ,
1507     {
1508         key:  [0x7a299a72,0x50ec0c0,0x4cfe0f68,0x28465fef]
1509         , pt:  [0x872aa729,0xf0a69e32,0x89e8c4,0x29b53db9]
1510         , ct:  [0x5cb7d0a7,0x656d8c87,0x5697eec6,0xaf4ebf8d]
1511     } ,
1512     {
1513         key:  [0x47fb7740,0x27e804ad,0x7e8535c8,0xfec44a8a]
1514         , pt:  [0x9a37f89b,0xe0423b9d,0xb779bf92,0x8cebc01c]
1515         , ct:  [0xb8e1d412,0x955abf40,0xa098e56e,0x6c20c6ed]
1516     } ,
1517     {
1518         key:  [0x9aada6f6,0x144067c1,0xfd9691cc,0x60bf3216]
1519         , pt:  [0xbc670f1e,0x72c725a6,0x25fe1c81,0xe6d4e99d]
1520         , ct:  [0xf122eef9,0xe32ac0b8,0x94500190,0x3f3fa0f]
1521     } ,
1522     {
1523         key:  [0x8a06c0c3,0x6d90454b,0x84b3277c,0x3d637947]
1524         , pt:  [0xeb4e1526,0x49815c83,0xb6f0b529,0x41cbe7f7]
1525         , ct:  [0x8d84c2f5,0xac2967da,0xb731d22e,0xe0e968d9]
1526     } ,
1527     {
1528         key:  [0xf74a1001,0x9eb23220,0x3b0111ac,0x8a5fde93]
1529         , pt:  [0x6b03649b,0x22f35f68,0x2b6d827f,0x158e13ca]
1530         , ct:  [0x615520c5,0x7d868547,0x1d331ad1,0xed45e4a4]
1531     } ,
1532     {
1533         key:  [0x2bd1a9f2,0x21df8bc9,0xf771deb0,0x7a54ced1]
1534         , pt:  [0x122b0000,0x5134221d,0xfa157fda,0x1be60d1f]
1535         , ct:  [0x51f9acb6,0x128fb8be,0x1b187dd6,0x1922389d]
1536     } ,
1537     {
1538         key:  [0x33154feb,0x887fbd43,0x5d418aa9,0xd57a9135]
1539         , pt:  [0x4afca23b,0x9d507fb9,0x792df740,0x2c7cc12b]
1540         , ct:  [0xe54d389e,0xfe296702,0x2dab92be,0x993f549f]
1541     } ,
1542     {
1543         key:  [0xcdd0cc4b,0xa2a776bc,0x65cebc88,0x9cb7b621]
1544         , pt:  [0xbfadb541,0x924645ec,0xd25c00d7,0x37c7825a]
1545         , ct:  [0x28fd1909,0x8d65a9d5,0x15890ff0,0x79b2cdb9]
1546     } ,
1547     {
1548         key:  [0xc7bd0cb7,0xb4aaa0f4,0x7b13d608,0x37303251]
1549         , pt:  [0xb929b305,0xcc73dff3,0x9e7d0e6c,0xcf53535c]
1550         , ct:  [0x17b378a5,0xb7c39b67,0xc00a79f,0x1217b3de]
1551     } ,
1552     {
1553         key:  [0x1dceab14,0xdb22752e,0x2b5550bf,0x9f308972]
1554         , pt:  [0x54927cc4,0x4d6bf32a,0x5be2fd56,0xa163afc8]
1555         , ct:  [0xa7c4824b,0x3dde2f83,0xa9c74c84,0x64a262d4]
1556     } ,
1557     {
1558         key:  [0x8a83aaa9,0xd3145e1f,0x2f38431c,0x4ca6231d]
1559         , pt:  [0xd36fe2b7,0x41448ca5,0x7788274e,0x88cd0a55]
1560         , ct:  [0x23eeba51,0x44e17ef0,0x29df24f5,0xf2923581]
1561     } ,
1562     {
1563         key:  [0xa9ec42b4,0x398ef0b3,0x98dac5ca,0x67ae4d48]
1564         , pt:  [0xbace331f,0x17688b0f,0xd5f0905,0x6e7c6da0]
1565         , ct:  [0x22d29814,0x8aa8985,0x6d455879,0x1335fce2]
1566     } ,
1567     {
1568         key:  [0x8f3b4ce2,0x10558d90,0x101893a4,0xc6b7b74c]
1569         , pt:  [0x763cb05,0x435d44c2,0x9b8a65a5,0x71d17a4c]
1570         , ct:  [0xb4076323,0xacc79ade,0x10a08900,0x655ce4ff]
1571     } ,
1572     {
1573         key:  [0x5163a44a,0xa9a7c512,0x32db524d,0xef2fa0d6]
1574         , pt:  [0x9da3f327,0xc3cf64ac,0x8a491927,0x46c58d06]
1575         , ct:  [0x97ab5e25,0x5522d4b4,0x29190939,0xbce99c09]
1576     } ,
1577     {
1578         key:  [0x730df2a2,0xa713799c,0xcc2ba6a8,0x52322047]
1579         , pt:  [0x381739a2,0x18a6c09f,0xafa1d51d,0xa955df68]
1580         , ct:  [0x6f37d279,0x93e6167,0x31cc84cb,0x8d271787]
1581     } ,
1582     {
1583         key:  [0xb89b7fd4,0x3a266e4a,0xb0cabe82,0xd0e2f44a]
1584         , pt:  [0x5ee9c6fa,0xbfa28edc,0xdafe50b2,0xd6852485]
1585         , ct:  [0x588cdb24,0x29fb3d5a,0x9b898b97,0x3f95ecb1]
1586     } ,
1587     {
1588         key:  [0x5af3710b,0xbf543482,0xe8ffedfd,0xe6aa3bf9]
1589         , pt:  [0xd2f1fb15,0xee073730,0xa1281cf2,0xd809b43]
1590         , ct:  [0x21274f8e,0x2187a4c,0xfe217ee3,0x8d03ec55]
1591     } ,
1592     {
1593         key:  [0xd69a4d22,0xa622d4ad,0x42d290d4,0x3bb350dd]
1594         , pt:  [0x8d417456,0xc1c97cfe,0x7fb5f812,0x3e1bf8d8]
1595         , ct:  [0xccadd511,0xe0c7319d,0x95868d93,0xe4a3410b]
1596     } ,
1597     {
1598         key:  [0xb773f974,0x7b549448,0x8e22b496,0x4d579f40]
1599         , pt:  [0xc9ed50f8,0xdddb84b4,0xe3a92a08,0x69c2846b]
1600         , ct:  [0x3c620119,0x2c9d184d,0xe84c8dd6,0x3bd726df]
1601     } ,
1602     {
1603         key:  [0x6f4487e7,0x3be16d15,0xb6fe6a68,0x4c5d10b8]
1604         , pt:  [0x98e19378,0xf679e5b9,0x77c2fcd1,0x6205a23e]
1605         , ct:  [0x4df8766d,0xeddf372d,0x9e0caa49,0xf8842d5a]
1606     } ,
1607     {
1608         key:  [0x8adbc276,0x27806b0d,0x57f7d9de,0xeca577c5]
1609         , pt:  [0x86dbd5aa,0x7d3ef677,0x1221f55b,0x57f9e701]
1610         , ct:  [0xf32a5099,0x5c7b88c9,0xa4d49591,0x32f830fd]
1611     } ,
1612     {
1613         key:  [0x14a5ffa0,0x3c38a558,0x775de3fa,0xd6616111]
1614         , pt:  [0x4d3d29b6,0xe2ecc38e,0x7e60c4f8,0xa22597d3]
1615         , ct:  [0x79cba6de,0xf15ccf9e,0x32301467,0xa262d6fe]
1616     } ,
1617     {
1618         key:  [0x97b514a7,0x3411dc67,0x6c8633a,0x8cd36dbe]
1619         , pt:  [0x223f5e9c,0x8a5edea7,0xc727e467,0xd28ea95c]
1620         , ct:  [0x9ae85f13,0xf3495487,0xab243e3b,0x786febec]
1621     } ,
1622     {
1623         key:  [0x17794474,0x404cf6c,0xa27e97f6,0x524910de]
1624         , pt:  [0xf857a464,0x1332b9b1,0x66107005,0x983ff88d]
1625         , ct:  [0x7ca2a437,0xd84098e8,0x36b595a1,0xa34fcc9e]
1626     } ,
1627     {
1628         key:  [0xd9a7380,0x2e158056,0x6000301f,0x45324d79]
1629         , pt:  [0x53152af4,0x1ad3fcd7,0x3e2fd522,0xb76cfc9c]
1630         , ct:  [0x3cc23f01,0x18875f08,0x3b630723,0x60febc3c]
1631     } ,
1632     {
1633         key:  [0xd84a3ce8,0xeed81896,0xaa90dbb4,0xeed3c27b]
1634         , pt:  [0x431649f7,0xef56bf28,0x31a75aab,0x46b6d2b]
1635         , ct:  [0x3f5acdba,0xc1108ce,0xcdd52a42,0xcaf44d22]
1636     } ,
1637     {
1638         key:  [0x55ff04f9,0x977e0a64,0x3b421d7c,0x1f697715]
1639         , pt:  [0xe4c80bde,0x4e577dd8,0x59bb4e90,0x1ddd8c3e]
1640         , ct:  [0xd0d0692,0xaf040958,0xf9b04658,0x7bb53c28]
1641     } ,
1642     {
1643         key:  [0xcc41ac37,0xe3c06de2,0x38bf3ac8,0x9e4c20d2]
1644         , pt:  [0x1f20e38e,0xe739a8aa,0x9d3c7075,0x3f5fab78]
1645         , ct:  [0x6a54df19,0xa0bbccd9,0x5860d0eb,0xfbe19dea]
1646     } ,
1647     {
1648         key:  [0xc9d79c8,0x93dbf9c5,0x98f28828,0x15b01066]
1649         , pt:  [0x42e021e4,0x6f77bcf,0xaf92ad11,0x4158d840]
1650         , ct:  [0x323fac8a,0x39050aa5,0x48a0bb68,0x7f978e69]
1651     } ,
1652     {
1653         key:  [0xa175b6a4,0x41486720,0x72018ce2,0xa14ef229]
1654         , pt:  [0xa06ced23,0xd1acadde,0xa056254f,0xfe2852ae]
1655         , ct:  [0xdfbf672c,0x1af99bac,0x89263fcc,0x37a07aac]
1656     } ,
1657     {
1658         key:  [0x4f3fdef,0x70aeff40,0xd8c824d7,0xad005a8e]
1659         , pt:  [0x69faddbe,0x79399520,0xd30db858,0xb8a91fe3]
1660         , ct:  [0x64ec4530,0x9fd89bbd,0x16e8e3c1,0x2db163dd]
1661     } ,
1662     {
1663         key:  [0x2481d5e1,0x165d9e3b,0xeab28a62,0x300cd3b7]
1664         , pt:  [0x179f213a,0x2ebccdfc,0x2fb3c0ec,0xf498c07f]
1665         , ct:  [0x1d1c4228,0x276a7cf6,0x9211b8ce,0x9499a8e6]
1666     } ,
1667     {
1668         key:  [0x3b191af1,0x86d37fed,0xc498004c,0x372d6e35]
1669         , pt:  [0x49275308,0xea6a988a,0x3589ff6e,0x2baf0c05]
1670         , ct:  [0x5b18b389,0x69c64154,0xa4d99be2,0xbc9796ba]
1671     } ,
1672     {
1673         key:  [0x610d192a,0xed459451,0x14f8384,0xf010d97]
1674         , pt:  [0x6cd41aeb,0xf478b242,0xc966e2b7,0x76abf803]
1675         , ct:  [0xe63c47cf,0xcfa3c0c2,0x4e7756f7,0x22e2ff10]
1676     } ,
1677     {
1678         key:  [0x41032b5c,0x7347d1f4,0x82485fa6,0x99dbb94]
1679         , pt:  [0xcc21d377,0x6e8ee613,0xffd6303a,0x82992e02]
1680         , ct:  [0x8f7a7233,0x39c3a684,0x84e8a8ca,0x99a41429]
1681     } ,
1682     {
1683         key:  [0xa51db914,0xebea5eb8,0x8cb768d3,0x79facfb]
1684         , pt:  [0x7db5b190,0xf72cbc4e,0xbd5f1682,0x1e239afb]
1685         , ct:  [0x3c9bc44,0x92bc5f0f,0x9d4b4b07,0x5c603885]
1686     } ,
1687     {
1688         key:  [0x98318193,0xf7c956e1,0x689c0d60,0xe87e667]
1689         , pt:  [0x48d853c1,0xee12f9fd,0x8bd6a593,0x9f31c48b]
1690         , ct:  [0x2e87739a,0x57193e93,0xf76036bd,0x44757d15]
1691     } ,
1692     {
1693         key:  [0x49192eee,0x729c7008,0xa1661abf,0xc6a378c]
1694         , pt:  [0x8b214b1a,0x3366b6a6,0xcb77b8b,0xab5e88f8]
1695         , ct:  [0x6032a333,0xaba90406,0x9af146b1,0xea409e2c]
1696     } ,
1697     {
1698         key:  [0xdf81bb9c,0xa45ad29d,0x94233318,0x1876f61a]
1699         , pt:  [0x11cce989,0x14f6adf4,0x4621fccc,0x51a1d915]
1700         , ct:  [0xe01c435b,0xe0a05fad,0xb4c40d1d,0x6ad5d19e]
1701     } ,
1702     {
1703         key:  [0x6030898b,0x263a4a2f,0xa1d099b4,0xe8c244e]
1704         , pt:  [0x38a75399,0xd26a5fa2,0x67c3a148,0xe40031f4]
1705         , ct:  [0x9c64026d,0x9298bb1,0x951ac6aa,0x38a7fb8]
1706     } ,
1707     {
1708         key:  [0x64ddb94,0x3ce0e301,0x23ad0974,0xcd6749de]
1709         , pt:  [0x66932495,0x89286741,0xee189c12,0x493cb26]
1710         , ct:  [0x625efd02,0xf48bc87e,0x6e88746f,0xbaf4a574]
1711     } ,
1712     {
1713         key:  [0x1348b372,0xa3fe1c85,0xd84f9733,0xc189c9cd]
1714         , pt:  [0x222db07,0xc8ee4b9,0x8e3dc4f5,0x12ad4916]
1715         , ct:  [0xc8c1e4b0,0x3357b2e2,0xe3d4558,0x13141ab2]
1716     } ,
1717     {
1718         key:  [0xf216d7f0,0x7e497389,0x8511f3b1,0x42ea7d29]
1719         , pt:  [0xeb4505ff,0x40149f9f,0x54d02d55,0x5be5efd3]
1720         , ct:  [0xab13121d,0x9b7b3288,0x7e8a111d,0x46fcae8f]
1721     } ,
1722     {
1723         key:  [0x14313530,0x89805f29,0xf4abe975,0xeb773e89]
1724         , pt:  [0xb3bd1fcc,0x72dfffa5,0x4f44842,0xc2931a03]
1725         , ct:  [0xf7cf1f37,0xaf0ae76a,0xb7e71833,0x38fba905]
1726     } ,
1727     {
1728         key:  [0x6bddf611,0xe3f62b53,0xb95a78fe,0xfeef099d]
1729         , pt:  [0xbef376d9,0xea546da1,0x63684665,0x255c4d94]
1730         , ct:  [0xebe1dfc1,0x53335a53,0xf92a7b8a,0xefb22d60]
1731     } ,
1732     {
1733         key:  [0xd6d52772,0xe2f1b5bc,0x4b6a80a4,0xc851e005]
1734         , pt:  [0x215780e7,0x76168c6c,0xd845e49e,0xa89b6bee]
1735         , ct:  [0x66d9082,0x7dc66e4f,0x4163faae,0x3d09ccd1]
1736     } ,
1737     {
1738         key:  [0x5d365133,0xadadace2,0x8b28f126,0x465948db]
1739         , pt:  [0x4eebd321,0xb341960f,0xc6b12fc0,0xfbce76d5]
1740         , ct:  [0x2f57db90,0x6c34019e,0x2d47640d,0xdfe35790]
1741     } ,
1742     {
1743         key:  [0xb0b50627,0x413c4008,0x1a3a279,0xbd9dca4b]
1744         , pt:  [0xa36f5323,0xd4cae85d,0x5dc2b16f,0x7835a068]
1745         , ct:  [0xa6460a4e,0x339766b8,0x537b56f8,0x6f82b206]
1746     } ,
1747     {
1748         key:  [0xd4069144,0x21dd5f53,0x25d3bf0c,0xa54676dd]
1749         , pt:  [0xcb52b2f8,0xb48be09c,0x6beabc99,0x574caea5]
1750         , ct:  [0xed0d0da7,0x1324001,0x298768e2,0xa8b91cc]
1751     } ,
1752     {
1753         key:  [0x4943af98,0x59cbfc8d,0x5c6b37eb,0x59e99802]
1754         , pt:  [0x91b77312,0x37c75340,0xbfcc268b,0xaa0a8614]
1755         , ct:  [0x62f261c3,0x343e49e6,0xa44a1b79,0x2542165b]
1756     } ,
1757     {
1758         key:  [0x19d925a4,0x292d02e,0xccdd88b9,0xf709b494]
1759         , pt:  [0xfd643eb,0x41d5ba80,0x3bfad9d9,0xb53267b4]
1760         , ct:  [0xbc4eb94c,0x7a3b95ea,0x24e55238,0xe90cc219]
1761     } ,
1762     {
1763         key:  [0x87741ea2,0x2ccd42cd,0x68d8d1da,0xdf0cd8c7]
1764         , pt:  [0xa174effc,0x7aebae38,0xd95f1291,0x13661b08]
1765         , ct:  [0x5c90ca22,0x78894ff4,0x15a706b3,0xad3f859c]
1766     } ,
1767     {
1768         key:  [0xa07dcebe,0x844de64,0x59da9f41,0x4370d3d8]
1769         , pt:  [0xc8e51f72,0xb32c264c,0xcbad7b90,0x4173269c]
1770         , ct:  [0x65921ad4,0xf2876d4b,0xf655edb3,0xaac541c4]
1771     } ,
1772     {
1773         key:  [0xc9bb0c25,0xd94416db,0x9d8c5a67,0x1a258e1a]
1774         , pt:  [0x7ba3ccf4,0x6f7ad137,0x8569d83b,0x7229e22a]
1775         , ct:  [0xef6d98dd,0x6bc38116,0x487368a2,0x72fd1145]
1776     } ,
1777     {
1778         key:  [0xcb986832,0x73ed29ff,0x76c62a42,0xcd9f1ab0]
1779         , pt:  [0x36b3a0a9,0x6f2ca8c3,0x5b99da2,0xa6c456a7]
1780         , ct:  [0x16516f80,0x7f7ecb8f,0xa55881fb,0x3475a56b]
1781     } ,
1782     {
1783         key:  [0x7edd238b,0xfaedd072,0x2cd2486a,0x571c9eb2]
1784         , pt:  [0x52199d0a,0x90b7eecc,0xa89776e0,0xeef8cc3f]
1785         , ct:  [0x68e91b11,0x5df7dc2c,0x2e03e34,0xfed8c881]
1786     } ,
1787     {
1788         key:  [0x96ede1b7,0x890b9727,0xd52b3924,0xbf114aba]
1789         , pt:  [0x7cc84cbf,0x4cc3fd2f,0xefe01be6,0x88fb4db3]
1790         , ct:  [0xe5a85309,0xcbc341,0x56ebf771,0x516d9657]
1791     } ,
1792     {
1793         key:  [0xd3ac8363,0x1b01be41,0xef4a337c,0xfc0365ca]
1794         , pt:  [0xd317fe52,0xf8900706,0x409b0198,0x62f63007]
1795         , ct:  [0xd2f0ae7,0xb8409ad1,0xe47ac192,0x765f1d8]
1796     } ,
1797     {
1798         key:  [0x45f1c76f,0xdfc1106a,0xf7924a28,0x3264fc56]
1799         , pt:  [0xfa3a197d,0x2084b1f3,0x64e4d86c,0xfc16ec45]
1800         , ct:  [0x37dc8a9c,0xcb5bfbc,0xe5bc0df6,0x70d1006e]
1801     } ,
1802     {
1803         key:  [0x65651d94,0x4a472ae1,0x9ba0b2ad,0xc30e3bcd]
1804         , pt:  [0x643b0c6d,0x6a3b3c84,0x270deab,0xca2812c4]
1805         , ct:  [0x5a8d852d,0x7788552c,0x2e398746,0xcd0c2bc1]
1806     } ,
1807     {
1808         key:  [0xc6bf0ae7,0x1e6cef2d,0x5196e24d,0xade4ce06]
1809         , pt:  [0xd076b002,0xabb585b4,0xdeb8f01e,0x384b53e1]
1810         , ct:  [0x48779b6d,0xa2571a12,0xe6b7781a,0x61847097]
1811     } ,
1812     {
1813         key:  [0x584a748d,0x513ae715,0x9de1f9fa,0xdbe896e4]
1814         , pt:  [0x735c2fa1,0x36143c9,0xc3686026,0x59919f94]
1815         , ct:  [0xeae32b7c,0x4150a53f,0x2488d31e,0x80c78beb]
1816     } ,
1817     {
1818         key:  [0x8a00a7fb,0x1166ab45,0x847c876f,0x1bc8a81e]
1819         , pt:  [0x18cc4807,0xcef6d7d,0x101f9b8d,0xbab416f8]
1820         , ct:  [0x55631740,0xcfccc233,0x2fb6de7f,0xb57133fc]
1821     } ,
1822     {
1823         key:  [0x1b0492ce,0xdad8cee2,0x9d1d5eac,0x5493b23b]
1824         , pt:  [0x3785ab1d,0xe60cb,0x5724a967,0xa856776]
1825         , ct:  [0x52eb200,0xd8cc2dbd,0xcd6d2710,0x317a5035]
1826     } ,
1827     {
1828         key:  [0x85f9f57,0x40e969ee,0xc228a111,0x753b6fdd]
1829         , pt:  [0x2b7a2044,0xc9477c95,0x703a6f2c,0x52cba6cb]
1830         , ct:  [0xb329061a,0xb0e96c02,0x7b8bc2cd,0xff0663f2]
1831     } ,
1832     {
1833         key:  [0x8ba3cb9b,0x9eadf276,0x7765d41f,0x8c17808e]
1834         , pt:  [0x5f6c1fa5,0x1d46be5b,0x97de9d5e,0x68f3e868]
1835         , ct:  [0xa04c4784,0xb0ab5a6d,0xb5bdb34f,0x9dbd7521]
1836     } ,
1837     {
1838         key:  [0x1dd44612,0xa993797d,0x826a0a6a,0xb30c3907]
1839         , pt:  [0x7579b7f1,0xc11254e4,0x54d06592,0x9b008873]
1840         , ct:  [0xd2803bf8,0x5aa873da,0x2069d6f0,0xf595afb5]
1841     } ,
1842     {
1843         key:  [0xb66b3ddb,0x3cad4468,0xb1c3086c,0xe7987baa]
1844         , pt:  [0xc662bbd9,0xc8882a8b,0xf0fb0226,0x70a7aadd]
1845         , ct:  [0x53c80563,0x70b22d11,0x5dcd14c2,0xdeba7777]
1846     } ,
1847     {
1848         key:  [0x74e2a4b9,0x8a92f141,0x62ce958e,0x6704a354]
1849         , pt:  [0xb1f33f88,0xde47b1bf,0xf1a9b633,0x32bbaa8e]
1850         , ct:  [0xa4b994b7,0xe75afe95,0x8b38ecd8,0xe061d29e]
1851     } ,
1852     {
1853         key:  [0x9e8270f6,0x5172a7f3,0x2f27d8f7,0xe2084b11]
1854         , pt:  [0x2ee38cc8,0x76b4278f,0xbb289254,0x8b3f83ae]
1855         , ct:  [0x2950de10,0xe659d9f,0x31b73510,0x627f364]
1856     } ,
1857     {
1858         key:  [0x129204de,0xb0ba80eb,0x2d110280,0x37cb5ac5]
1859         , pt:  [0x4b3a0abc,0xf14517cf,0x43ee8034,0xeed08dee]
1860         , ct:  [0xe0bbb43a,0xad3e6955,0xf4ec017b,0xb2d2fed7]
1861     } ,
1862     {
1863         key:  [0xfe22ee6c,0x3d46718f,0x8671be64,0x6e5782ea]
1864         , pt:  [0x2b3e9727,0x8a612e9b,0xf9b40f1b,0x12485795]
1865         , ct:  [0x507b1e20,0x9a21b18b,0x4134f85a,0xc4108c1a]
1866     } ,
1867     {
1868         key:  [0x6c3265cf,0x179b4fed,0x12382740,0x75ec34b2]
1869         , pt:  [0x7db0581,0xfb6163ca,0x34b2178f,0x870d34f]
1870         , ct:  [0x7abc2019,0x55b0663,0xbac0362a,0xb7cbade]
1871     } ,
1872     {
1873         key:  [0x859f9639,0x535bed4e,0x9519db0b,0x99c2c88]
1874         , pt:  [0x2e961bdd,0x66ddd6b0,0x47dd748f,0xe173ec6a]
1875         , ct:  [0xbe0fd95f,0x8d7cfaf6,0x13ece747,0xf4bf311a]
1876     } ,
1877     {
1878         key:  [0x67a2133d,0x7e7c7dcf,0x76fbe403,0x151644ef]
1879         , pt:  [0x98abab22,0x3c125252,0x39307b39,0xc3d6a620]
1880         , ct:  [0xa9283914,0xf2bf7356,0xf8736d5b,0x998516c2]
1881     } ,
1882     {
1883         key:  [0x67136d9d,0xd203a13a,0xfacbb2b2,0x8ea0ff39]
1884         , pt:  [0x9f49befd,0x41d2964f,0x234a2ce6,0x8840436f]
1885         , ct:  [0x8c09783e,0x3dc2f99f,0x92dc056d,0x4ae564c3]
1886     } ,
1887     {
1888         key:  [0xaa6f35c4,0x537dde12,0xa436a7e8,0xfe0e2f12]
1889         , pt:  [0x69251543,0x3e81c5dd,0xf448b9b0,0xc698e155]
1890         , ct:  [0x32325dd3,0x59b84c1c,0xd4335ffc,0x3cce40c3]
1891     } ,
1892     {
1893         key:  [0x1a206b74,0xbb0b6814,0xdc911af8,0x1883fe06]
1894         , pt:  [0xdbd02088,0x4c4c2470,0x58a8140d,0xeef43c25]
1895         , ct:  [0x5f7db510,0xe9c82977,0xa555b4c8,0x61cde3fa]
1896     } ,
1897     {
1898         key:  [0x9009ad31,0xb8a02533,0x511d2aed,0x25d10919]
1899         , pt:  [0x27d0211e,0x14a35611,0x2fb05c66,0xdfd66c67]
1900         , ct:  [0x9887f509,0x64e6090c,0xda085cc6,0xa0f3e155]
1901     } ,
1902     {
1903         key:  [0x895ca7d5,0x54b39538,0xaee33955,0x76229ce6]
1904         , pt:  [0x54292b2b,0x6838efcb,0x7a23b2ca,0xab3959d4]
1905         , ct:  [0x57704378,0xa43c939e,0xfdc78dd1,0xc86b4776]
1906     } ,
1907     {
1908         key:  [0xedf9cbfc,0xf8b159b6,0x18f687d5,0x71de9d3a]
1909         , pt:  [0x4d7798de,0x6d11d218,0xae3e6618,0x33d1d795]
1910         , ct:  [0xdfb70d2e,0x7cc08e81,0x492a0750,0xf3e0133e]
1911     } ,
1912     {
1913         key:  [0x3b586052,0xbecb11c,0x1a78cc8a,0xf0f2236]
1914         , pt:  [0x8c812c5a,0x5efcd0b8,0xe0fc3fc0,0xc55ceefa]
1915         , ct:  [0x647e308,0x2541987f,0x45c9fd5a,0xc6e2ca6c]
1916     } ,
1917     {
1918         key:  [0x9c0efbc1,0x3bbe9777,0xa724d348,0x39d6031d]
1919         , pt:  [0x5d28b15d,0xd37bb11e,0x2835ca26,0x846ac2ed]
1920         , ct:  [0x76036c6f,0xf54093d1,0xa08b4a03,0xd258d506]
1921     } ,
1922     {
1923         key:  [0x6702372f,0x697db921,0x4c48007c,0x3817adc7]
1924         , pt:  [0x2ea808f1,0x1aa4e95e,0x64cfc7bf,0xfacc3686]
1925         , ct:  [0xb7b0301d,0xa9348187,0x988206e0,0x12f363b4]
1926     } ,
1927     {
1928         key:  [0xdbc420e4,0x943957e,0x9676d5b7,0x71f2cff3]
1929         , pt:  [0xe5217710,0xbf6f60a3,0xf442ba63,0xc4885f40]
1930         , ct:  [0xa54753ac,0xdabfc318,0x70886270,0x96edf07f]
1931     } ,
1932     {
1933         key:  [0x97fdaeb5,0x72d1bd75,0x9546af7f,0x84453953]
1934         , pt:  [0x2f99c4c3,0x9f912a0f,0x9fc6905f,0x8e798df]
1935         , ct:  [0xb5a0dc21,0xb3ee20af,0x2d0dc024,0xc7969466]
1936     } ,
1937     {
1938         key:  [0x97961272,0xdf55b970,0x4187f5a3,0x199957c7]
1939         , pt:  [0x8d4181fb,0x4e98a997,0x21c15834,0x9eddcd3a]
1940         , ct:  [0xfab7cc0a,0xce1cdf0a,0x904765e1,0x290959]
1941     } ,
1942     {
1943         key:  [0x9c70abb6,0x9b6b6673,0x1571ec4b,0xbe9f0111]
1944         , pt:  [0xcb019547,0xc7131c38,0x9b68851b,0x36ff04eb]
1945         , ct:  [0x33828e04,0x79ff06d,0xf5429a24,0x120ab846]
1946     } ,
1947     {
1948         key:  [0x73fb7c50,0xade86bb4,0x8f3d91ba,0xbcf069ea]
1949         , pt:  [0xba8efaad,0x18e8b254,0x1f3a5eab,0x1b0dd2ba]
1950         , ct:  [0xd630c3d9,0xb5dc19c5,0x54b50186,0xff455e32]
1951     } ,
1952     {
1953         key:  [0xd6794c28,0xc7774b28,0x25b25b86,0xd267dfde]
1954         , pt:  [0xe8e7aefd,0x494d3f11,0xe17d89e8,0xa90f0468]
1955         , ct:  [0x859922b2,0xe397bb85,0x2f73f7ba,0xa3233a51]
1956     } ,
1957     {
1958         key:  [0x8eb190de,0xdb8fa92b,0x86e88222,0x9bcb3964]
1959         , pt:  [0xc5c7cc5a,0xfd083c4f,0xe982ccb3,0x945e1924]
1960         , ct:  [0x5685d43,0x3ce5f859,0x10db88fe,0xd71cd54d]
1961     } ,
1962     {
1963         key:  [0xf2a122e,0x1f02e21f,0xf89ebeac,0xe8ea40b7]
1964         , pt:  [0xb8773de8,0x6234616f,0x748b42be,0x6acb46e9]
1965         , ct:  [0xa3a55758,0x4c4aaed0,0x87535776,0x76e7228f]
1966     } ,
1967     {
1968         key:  [0x967992c4,0x9675a464,0xda30ee75,0x57402edd]
1969         , pt:  [0x8e65b653,0xac020a45,0x5675c9a2,0x591175e3]
1970         , ct:  [0x8d61429,0xa8aee66e,0x3f84e143,0xc45d2bd6]
1971     } ,
1972     {
1973         key:  [0x9430e39f,0x4eeb3a6f,0x74ff4621,0x7c0b7197]
1974         , pt:  [0x1b326404,0xd8a66697,0xc7326aef,0xb35a729a]
1975         , ct:  [0x80f773cd,0xcef16ca6,0xcb51c882,0xc1dcc438]
1976     } ,
1977     {
1978         key:  [0x63c5f908,0x62ca7f54,0x7c106eb3,0xc34cde68]
1979         , pt:  [0xd26dcf15,0x797dcb06,0x1897bd00,0xd8574eb9]
1980         , ct:  [0x287cb56a,0xf17ca3b8,0x17ab88e4,0x195326c5]
1981     } ,
1982     {
1983         key:  [0x420b334e,0x4411bcdd,0x67d2f66f,0x955c0dbf]
1984         , pt:  [0x5554bc69,0xee2a45ab,0xe4b59dec,0xf23400d]
1985         , ct:  [0xf3af1945,0x2b2fb725,0x678e1e9c,0xa8c3ca3e]
1986     } ,
1987     {
1988         key:  [0x80a9e0d6,0xf40b21fb,0xf7b662f7,0x121ed691]
1989         , pt:  [0x2888ad57,0x7ddfddf4,0xaa1e741c,0xc3c4653b]
1990         , ct:  [0x24e01ae5,0xd244e34f,0xd88865a7,0x464ada42]
1991     } ,
1992     {
1993         key:  [0x7500f27f,0xf92ae48,0x77084601,0x9117d6c5]
1994         , pt:  [0x198641b7,0xe9781e34,0xa3fb5407,0xd61f887f]
1995         , ct:  [0xe837aeb3,0x7351a9e0,0xece68e34,0xa11585bb]
1996     } ,
1997     {
1998         key:  [0x2e8bde45,0xbb80af66,0xeac09f60,0x7432fbb2]
1999         , pt:  [0xb9fc69dd,0x1722261a,0x63008378,0x6211dd13]
2000         , ct:  [0xfc3e899b,0x535a23f5,0xfca3d5f5,0x2a5cd1b0]
2001     } ,
2002     {
2003         key:  [0x3978a6c1,0x66167f23,0x8b78e2f9,0x44883110]
2004         , pt:  [0x3cecc8b6,0x87da8835,0xf79ca453,0x5a0122f3]
2005         , ct:  [0x182c8b52,0xcd5de733,0xf391bb90,0x82b3c0ee]
2006     } ,
2007     {
2008         key:  [0xd570af4,0xc71995d1,0x431ec9df,0x66a6b495]
2009         , pt:  [0xbceda1f1,0xa429e388,0xee6e4a87,0x65af419]
2010         , ct:  [0xf6a1807c,0x1ec86d6d,0xcf0e7a39,0x98976bf1]
2011     } ,
2012     {
2013         key:  [0x6404333c,0x725ddbe1,0x7b000a60,0x1adb557d]
2014         , pt:  [0x386b0f16,0xeadcf0bc,0x4af770cd,0x571dcc2]
2015         , ct:  [0x876ea8be,0x1b3e95ae,0x65230777,0x7c015515]
2016     } ,
2017     {
2018         key:  [0x25696221,0x6df69bf,0xd244c809,0xf1f3176e]
2019         , pt:  [0x1efd25b9,0xf5af3448,0x1404dc7,0x1e13ea36]
2020         , ct:  [0x638544c6,0x7a66e3fb,0xdf1ee77,0xf9f464c9]
2021     } ,
2022     {
2023         key:  [0xebcb6c69,0x37bc4c63,0x84bc44a9,0x60440e9]
2024         , pt:  [0x5b6f3158,0xa001528d,0x37470efb,0xfeffc9a4]
2025         , ct:  [0xd435445,0x461f44c7,0xc263c993,0xf1091ae5]
2026     } ,
2027     {
2028         key:  [0x4a037d2f,0x94721c0c,0x43f06494,0xa08a1eec]
2029         , pt:  [0x484805a0,0x11a54037,0xba23181d,0x851b500c]
2030         , ct:  [0xa748e3a6,0x837f8550,0x89cb774,0xb3495cf5]
2031     } ,
2032     {
2033         key:  [0xba4c763f,0x2281f21d,0x9efccfa5,0xdb7fcd6d]
2034         , pt:  [0x8f49372f,0x7365166b,0x6b34f2d3,0xfbc06847]
2035         , ct:  [0x74616dfe,0xfe8368c3,0x57acc507,0xfef4ea84]
2036     } ,
2037     {
2038         key:  [0x47a09225,0xcffbfd17,0xded238f4,0x82f6dab0]
2039         , pt:  [0x837ba0f8,0x6a1ba4eb,0xd542747,0x8f395097]
2040         , ct:  [0xe3804333,0x6b70be40,0xa7037a1,0x8313b462]
2041     } ,
2042     {
2043         key:  [0x2633dc06,0xd27c30c7,0x2517dba6,0x35b45d38]
2044         , pt:  [0x631bc936,0xd9d2e2aa,0xc98688cd,0xda18a519]
2045         , ct:  [0x245f05bc,0x91cb9142,0x8bc43ce6,0x2973beca]
2046     } ,
2047     {
2048         key:  [0xe720f4d9,0xa8538ab8,0x292dbdb,0x8754f2e7]
2049         , pt:  [0xe492c7a9,0xc996a2ff,0xa96cec15,0x51d934e0]
2050         , ct:  [0xc96a85cb,0x6b85cfa9,0xee283ec1,0xb295d7f0]
2051     } ,
2052     {
2053         key:  [0x94561370,0x91735197,0xa500a3b4,0xed8f7011]
2054         , pt:  [0x40c9b831,0x7e1585f,0xcebde23f,0xc5aebaf]
2055         , ct:  [0x94c1f4a5,0xada60613,0x5da510a7,0xbf2d54d8]
2056     } ,
2057     {
2058         key:  [0x1bc5bd4e,0x9a6747c,0x584835a5,0x109e5d72]
2059         , pt:  [0x82fceee8,0x57541d8e,0xf620d366,0xd74a04a8]
2060         , ct:  [0x680d60d7,0x2bbc9431,0xcf97684d,0xefbf5c0b]
2061     } ,
2062     {
2063         key:  [0x54563e89,0xe8ba859a,0xd9ea41ab,0xaccaa4b7]
2064         , pt:  [0xe16ba758,0x516719cb,0xdc936586,0x29241b6a]
2065         , ct:  [0x6fab10f1,0x4d4db9e1,0xbe6dddaa,0xba0f9614]
2066     } ,
2067     {
2068         key:  [0x8fe51598,0xfcab0e5f,0x3e676589,0xf85a746d]
2069         , pt:  [0xfe7a1a9e,0xce54c827,0xdeeb3855,0x5df24075]
2070         , ct:  [0xb579a098,0xc136ca3f,0xa34ba57b,0xa8437f2e]
2071     } ,
2072     {
2073         key:  [0x6cecb7c7,0x64e4f7fb,0xfc34c658,0x4c8ba7df]
2074         , pt:  [0xd4c47355,0xb7f1718b,0x93ecf9b,0x9861da18]
2075         , ct:  [0xbc57db6c,0x643a4e93,0x7b74b681,0xf978b76b]
2076     } ,
2077     {
2078         key:  [0x35b0a93a,0x43843aaa,0x42d3f64d,0xea4425f4]
2079         , pt:  [0x612fcc09,0x45962892,0xe9505e11,0xdad2c205]
2080         , ct:  [0x2cf0b2cc,0xe1d0500,0x9fed936a,0x778de120]
2081     } ,
2082     {
2083         key:  [0xc3cf1067,0xe7037275,0x94761124,0x43570060]
2084         , pt:  [0x9d94b7c0,0x29dc5f41,0x7dbf4517,0xf2ed0d10]
2085         , ct:  [0xd41c9219,0x189b2ec0,0xcc6af541,0x6d834de]
2086     } ,
2087     {
2088         key:  [0x2b09d6cc,0x71569245,0xc05b533e,0xaf164c3c]
2089         , pt:  [0x8c5c1ce5,0xc02c34db,0x666faab3,0x6f4f1e28]
2090         , ct:  [0xa4bbd6ff,0x1f231ce2,0xd2a810c4,0x6354305]
2091     } ,
2092     {
2093         key:  [0x69dc61d8,0x955ce46c,0x68d79767,0x27dd923b]
2094         , pt:  [0x7b83fa08,0xbc67310f,0x3c9206bd,0xf78a7204]
2095         , ct:  [0x70d14e76,0xcc2ce065,0x30a9632b,0x99cd495a]
2096     } ,
2097     {
2098         key:  [0xe975c36f,0xfd6956dc,0x4d5d09e4,0xade998fd]
2099         , pt:  [0x7efec6b5,0x5353e5d4,0xe478cac0,0x814e390e]
2100         , ct:  [0xb9f64a4d,0xdff6e1a6,0x2776bf9f,0x711f6a2d]
2101     } ,
2102     {
2103         key:  [0xfc45d38d,0xfd3d33aa,0x1077fab1,0x5c580317]
2104         , pt:  [0x8210eea2,0xa2e4f1c2,0x17da5ab4,0x9730d8a6]
2105         , ct:  [0x8e099e7c,0x93c49eee,0x4ad1ce52,0x16d5494c]
2106     } ,
2107     {
2108         key:  [0x4acafa5f,0x8bbf5354,0xfa61937d,0xa80b0750]
2109         , pt:  [0x1b8e6035,0xcab058ef,0x4e696b60,0xbb0eb6f9]
2110         , ct:  [0x7e376f00,0xd040be6f,0xfdc7e95e,0x25ca3942]
2111     } ,
2112     {
2113         key:  [0xa2e156c0,0x23305738,0xde903a42,0xde20a5e8]
2114         , pt:  [0xde96a9b1,0xf1d0e19d,0xfdc25522,0xd9a18771]
2115         , ct:  [0xb665672d,0xe7a60664,0x287f96ee,0x77a8c147]
2116     } ,
2117     {
2118         key:  [0xdacab989,0xd9de4e9a,0xb78a334a,0x49728058]
2119         , pt:  [0xf88bb9af,0x60417563,0x4dd20c45,0x20560eab]
2120         , ct:  [0x7acc9ee3,0x737d61cf,0xb1177e2e,0xbf63e3d6]
2121     } ,
2122     {
2123         key:  [0xf11c868b,0x1b3470aa,0x71669c5b,0x384b89a5]
2124         , pt:  [0x5687a470,0x4d5ba802,0xb3c8449f,0x6d3c72d7]
2125         , ct:  [0x3fb88770,0x98898112,0x16e6838,0x62c2db8a]
2126     } ,
2127     {
2128         key:  [0xa12d100,0x7e93c51a,0xf396c23e,0xec22305f]
2129         , pt:  [0x19a5db43,0x86844c7a,0x59db2b69,0x53babd57]
2130         , ct:  [0xc1fa2ed8,0x6133f418,0xc2641e1,0x313d3a4a]
2131     } ,
2132     {
2133         key:  [0x2c5a2c0d,0x656116a3,0x32d8ba8e,0xdd7ccc8b]
2134         , pt:  [0x333e0e08,0x2e9ba449,0x2402f52b,0x1c062cca]
2135         , ct:  [0xb88e7abb,0x272b2e1b,0x56be064a,0xe01f2e30]
2136     } ,
2137     {
2138         key:  [0xec3844f5,0x92dfd8c8,0x2a9ca9e1,0xa1688b9]
2139         , pt:  [0xee065cfa,0x9008771e,0x2539838d,0x4db3f41]
2140         , ct:  [0xd696cb41,0x627a69e9,0xd4884d39,0x34d4dd18]
2141     } ,
2142     {
2143         key:  [0x2217f747,0x3dcbf33b,0xf77a9276,0xc0ded4ab]
2144         , pt:  [0x2078e680,0xd3b4b727,0xf326c353,0x9bd778cb]
2145         , ct:  [0xb89dfc6c,0x46437e08,0xb8b63099,0xfcb9ec8e]
2146     } ,
2147     {
2148         key:  [0xfb26eded,0xb6136786,0xc218f851,0xc9c79162]
2149         , pt:  [0x3f7a3fca,0x4529e799,0x1a170690,0x82ac2a3]
2150         , ct:  [0xb375fc27,0xbda33bd5,0xabfa4621,0x228c2cbe]
2151     } ,
2152     {
2153         key:  [0xb645e44a,0xc1a93e2b,0x24987fae,0x45de9e18]
2154         , pt:  [0x885b9615,0x7d2164fc,0x2c0b529e,0x1717188d]
2155         , ct:  [0xd15ec9f1,0x7b31cdfd,0xcd841af5,0x86b39e26]
2156     } ,
2157     {
2158         key:  [0xa0850ea0,0x44af85dd,0x5396509c,0x7be18a91]
2159         , pt:  [0xd6c90953,0x574f234f,0xdb5f7f92,0xdca0c156]
2160         , ct:  [0x27c21fb8,0xf322b8ba,0xf9419ad0,0xbc91b8d8]
2161     } ,
2162     {
2163         key:  [0x5919228,0x8585159e,0x6a9546de,0x95c1f331]
2164         , pt:  [0x1a9bb44a,0x1be6a3d2,0xace1ee6d,0xffd16afa]
2165         , ct:  [0x24df56d5,0xc531ee62,0x1b59dbd8,0x477b8b51]
2166     } ,
2167     {
2168         key:  [0xf64eacd0,0xfc6967ec,0xc483084,0x823b4dc]
2169         , pt:  [0x483916ad,0xb05959f9,0x704d6c12,0xc23036dd]
2170         , ct:  [0x838b28d6,0x91bf940b,0xf26caec,0xc3f7068b]
2171     } ,
2172     {
2173         key:  [0xb25d7b22,0x6c14085a,0x208739bd,0x21210712]
2174         , pt:  [0x1f1cc891,0x69abb02,0x99412703,0x16362ae1]
2175         , ct:  [0xb286ad76,0x31a39fae,0x17de911,0xcdaf8ed5]
2176     } ,
2177     {
2178         key:  [0x2d001f1d,0x8061671d,0x14370046,0xfb05bff1]
2179         , pt:  [0x5ca50c5,0x905eb2ef,0x29b6ca6f,0x839b06e1]
2180         , ct:  [0xbce9fdbc,0xc85772e8,0xb96fb77d,0xa0da6af1]
2181     } ,
2182     {
2183         key:  [0xa1f54d0e,0x468f0249,0x2b22724d,0x936277c2]
2184         , pt:  [0x4d50b22b,0x5eb79f9e,0xc59d68ae,0x15e28a23]
2185         , ct:  [0xed9dafd9,0x295b53b8,0x6a887af1,0x73ff2d85]
2186     } ,
2187     {
2188         key:  [0x36154e89,0x66bfd6,0x5e5a2455,0x502b1906]
2189         , pt:  [0x5eaf70a,0xb766222,0x4e74c74b,0x554e7d56]
2190         , ct:  [0xa6572f83,0x5a8a6cd5,0xeb38480a,0x82c9ccf0]
2191     } ,
2192     {
2193         key:  [0xb8c509cd,0x7abbafa0,0xb8fcc2bd,0xedb78768]
2194         , pt:  [0xf9b1b9b9,0xc10cf9d9,0x38d79e4c,0xfa972dfe]
2195         , ct:  [0x4913b83c,0x10791ca2,0x9fd305c4,0x7737ccec]
2196     } ,
2197     {
2198         key:  [0xe3ebd8c9,0xe95e2b60,0x4a555648,0x59954ae6]
2199         , pt:  [0x64742a76,0x97c8ef59,0xfe236faf,0xb3a5817f]
2200         , ct:  [0xf8e7e036,0x96dd6ef1,0x5ce55b57,0xfd090642]
2201     } ,
2202     {
2203         key:  [0x7ea7725f,0xa6b61b9,0x3b59177e,0xccfbcff5]
2204         , pt:  [0xd0b04ae2,0xa63ae207,0x7d72e1db,0xdb708455]
2205         , ct:  [0xe3647cc6,0xc13129bd,0xde78b8df,0x907900e8]
2206     } ,
2207     {
2208         key:  [0x6e0f0d8a,0xe0d363d9,0x27d43dab,0x9aabf5dd]
2209         , pt:  [0x7eb0389d,0xd6ca6723,0xecd67895,0x25e7120a]
2210         , ct:  [0xe35d2a22,0x1e98e363,0x57c4f9e2,0x6027d21c]
2211     } ,
2212     {
2213         key:  [0xe667675e,0xb2fb4c7e,0x7c937270,0x9e90e2d]
2214         , pt:  [0x67fe2501,0x97e7c003,0xcdc311df,0x343b91fb]
2215         , ct:  [0xa5195f7d,0x7594df00,0xf08b4a14,0x9fcb4d24]
2216     } ,
2217     {
2218         key:  [0xd3038053,0xa0ba5868,0x28d8fb9,0xaf98ec12]
2219         , pt:  [0x75020ac9,0xbad47400,0x5d601257,0xa36b7ef1]
2220         , ct:  [0xfeb9efa3,0x72031f36,0xe4745fe5,0xad3d5f09]
2221     } ,
2222     {
2223         key:  [0xdc1a26d6,0xbe85b8e7,0x771c9d92,0x64587744]
2224         , pt:  [0x423f2d35,0x81827a28,0x99895df0,0xc9e523ad]
2225         , ct:  [0x61639afe,0xbb8aeba0,0x7822c3fe,0xaae48910]
2226     } ,
2227     {
2228         key:  [0x37441dcc,0x54c57838,0x38059891,0x8ed95d75]
2229         , pt:  [0xabcfcc8b,0x36ebe417,0xfedea73e,0xd2da6d20]
2230         , ct:  [0x721d22fb,0x4280c51c,0x9f6461c5,0xc15b6ffb]
2231     } ,
2232     {
2233         key:  [0x8b95889,0xa5743c71,0xdf78d20d,0x294c233]
2234         , pt:  [0x186c5e5b,0x49d6fa34,0x6bd2cf30,0xa98e7a9]
2235         , ct:  [0xd4a07e29,0xbf91c1cb,0xc6b4b0ac,0xa82a915e]
2236     } ,
2237     {
2238         key:  [0x46a49e32,0x8e929408,0xebbc4d4f,0x4c951713]
2239         , pt:  [0x775e92c5,0x5db872fc,0xf1f042b3,0x232610f6]
2240         , ct:  [0xd1f7f62c,0xf3ffdcab,0xafcbbf52,0xa5019f69]
2241     } ,
2242     {
2243         key:  [0x9680ff54,0xf62392bf,0x48883e2e,0xb19301ba]
2244         , pt:  [0x620a6bb5,0xc43c52fc,0xff4510b0,0xc1e713a4]
2245         , ct:  [0xfb4cddfd,0x2c8acb99,0x37b3abf8,0xbf075fc8]
2246     } ,
2247     {
2248         key:  [0x8c3e8bfc,0x7a7785e6,0xf1f0fab0,0xa374abfb]
2249         , pt:  [0x1b6157cd,0x7dbf01c8,0xb29fd54a,0x69f8f77]
2250         , ct:  [0x66f74da8,0xb6435e4d,0x5aa39646,0x6294f79f]
2251     } ,
2252     {
2253         key:  [0xe5bafb97,0x85937c53,0xf8dd8e8b,0x8d5a7fcb]
2254         , pt:  [0xc0401047,0xcaf097d3,0x31ec9723,0x65a95a51]
2255         , ct:  [0x6affb5a0,0x7838440a,0x71fdcf2e,0x2cc007fe]
2256     } ,
2257     {
2258         key:  [0xbe89bc36,0xb04dbb37,0x9534222e,0x40d0a41f]
2259         , pt:  [0xb09c6669,0x7c9f2176,0x7fbd5f20,0x4599d903]
2260         , ct:  [0x863211ae,0x446ca476,0xe71183f8,0xd0ee8e33]
2261     } ,
2262     {
2263         key:  [0x9698b2b8,0xcf076e93,0x9b005c3b,0x9893e48e]
2264         , pt:  [0x38641bdb,0xc4a20f54,0xd3dfc3d1,0x1c103b6]
2265         , ct:  [0x3ff2b61f,0x6fe709fb,0x36505ef6,0xeb3613be]
2266     } ,
2267     {
2268         key:  [0x81dbbebd,0xd77e08aa,0xf5afa8e9,0x7099768e]
2269         , pt:  [0x8223ae12,0x41104e4c,0xb4ef03ba,0x2d05ec59]
2270         , ct:  [0x97d6c085,0x217e6e8,0x624afba0,0x433fd9b2]
2271     } ,
2272     {
2273         key:  [0x8ab4c80,0x9da8f6ea,0xd4f2a057,0xd2773e59]
2274         , pt:  [0x28b46bc6,0x22b29590,0x92cbfa6a,0xe64e26e]
2275         , ct:  [0xcab29f35,0xc1b37c84,0x54e940bd,0x52599f22]
2276     } ,
2277     {
2278         key:  [0x3ef3307e,0x1f68b70d,0x93d9ab2,0x70633857]
2279         , pt:  [0xca6f99ab,0x75be1bca,0x28bdffc6,0x5dd28506]
2280         , ct:  [0x1903501b,0x805f96b1,0xcc21c8a,0x45773115]
2281     } ,
2282     {
2283         key:  [0x9958364d,0x4336bf8b,0x53c26dff,0xd6ee77df]
2284         , pt:  [0xe81b7aa,0x275fb0d4,0x1506174d,0x6897a1a]
2285         , ct:  [0xf17e47a2,0x2cba097c,0x52ee4ea5,0x342d621c]
2286     } ,
2287     {
2288         key:  [0x17bc313c,0x540a7bca,0x8d81c6b9,0x5b6a9ff9]
2289         , pt:  [0xce5e4cec,0x8e424912,0x5315e2c6,0xfe7448db]
2290         , ct:  [0x485c36b2,0x4d7ab06,0x98a5d68b,0xadf021f1]
2291     } ,
2292     {
2293         key:  [0x464891e8,0xd69250da,0x7cef56a6,0x7b70fd9]
2294         , pt:  [0x10c5351a,0x5eb02203,0xc1cc0d82,0xbb21cb4f]
2295         , ct:  [0x5180db5f,0x968c237d,0xc2e86d93,0x7030caf0]
2296     } ,
2297     {
2298         key:  [0x338ce2bd,0x81863421,0x3dc4129,0x8c737d16]
2299         , pt:  [0xf455f594,0xe3c70276,0xb6a3b1f4,0x77c7f46]
2300         , ct:  [0xa65eca3f,0xfe943954,0xc7d1d11,0x6842994d]
2301     } ,
2302     {
2303         key:  [0x4199cf6d,0x5c9b33f9,0x22b0d327,0xca362f92]
2304         , pt:  [0xf4c74f69,0x5d6c8b98,0xed71f156,0x2442ccda]
2305         , ct:  [0xab25918f,0xa0b809e4,0xc6979caa,0x28a1e76b]
2306     } ,
2307     {
2308         key:  [0x7ca52950,0xcceb2934,0xd8ae6a07,0x5696a20f]
2309         , pt:  [0x3b306086,0xecd69303,0x55880e3a,0x7c792a01]
2310         , ct:  [0xf7bf66a5,0x1a8c87ad,0x801f994f,0xdf021c9]
2311     } ,
2312     {
2313         key:  [0x3cf0b462,0x2462e5de,0x9a1e181e,0x852b68e0]
2314         , pt:  [0x60c07c00,0x3b86171d,0xdb1834b0,0x71a0a42]
2315         , ct:  [0x2cc5b5b9,0x6aef6cd5,0x2e7f04c5,0x5084e43c]
2316     } ,
2317     {
2318         key:  [0x4d56000,0xa3b70bc9,0xe55cc9e5,0x1cc312d2]
2319         , pt:  [0xce7172bf,0x600c6d1e,0xe715215c,0xc3dca5]
2320         , ct:  [0x88a6b891,0x21b880f2,0x29c36f4c,0x386d6ab8]
2321     } ,
2322     {
2323         key:  [0xca8bbbe0,0x765023d1,0x5ca1493,0xf1beddae]
2324         , pt:  [0x92366794,0x31c65507,0x799634e0,0xcb8d7cc7]
2325         , ct:  [0xb2191688,0xb79b50b8,0xce38a26c,0xf9e1cdd3]
2326     } ,
2327     {
2328         key:  [0xe0b81f12,0xb33f45d8,0x688e703f,0x9d0fd7b]
2329         , pt:  [0x46fb3c0,0x3345717,0xe4386412,0x56d5c8ee]
2330         , ct:  [0x15d6add0,0x16693772,0xe1ed9280,0xd1809824]
2331     } ,
2332     {
2333         key:  [0xbdfcdc58,0x6c9ea8fa,0x9aa8862a,0xaed0ce6b]
2334         , pt:  [0x1e027e94,0xca27724f,0x1c0a168c,0x6a226b20]
2335         , ct:  [0x793a9c27,0x73d7ad30,0x7eb8fc90,0xbe2bafc7]
2336     } ,
2337     {
2338         key:  [0x3f56532,0x3c34420f,0x50ae49e0,0x7bc3677d]
2339         , pt:  [0x542f471f,0x98a2f556,0x1d5a62ee,0x588500bb]
2340         , ct:  [0xcfe8655c,0x77bb8b03,0x1a9cfcd5,0x704cbb5a]
2341     } ,
2342     {
2343         key:  [0xd2e680c3,0x255ac39a,0x1ad20c20,0xc19123ac]
2344         , pt:  [0xc4c9b441,0x55ead6ea,0xf18be069,0xa3c351f]
2345         , ct:  [0xa1d0553e,0xba43058c,0xe9e0b1ae,0x15f5f507]
2346     } ,
2347     {
2348         key:  [0x9747daab,0x64121271,0x67834029,0xcdad48b3]
2349         , pt:  [0xc0da56d8,0x545e6a92,0x41bdf598,0x24335f1b]
2350         , ct:  [0x4776cfc7,0x580304e5,0x7ea7f74b,0xbd177730]
2351     } ,
2352     {
2353         key:  [0x4925d5ad,0x96832bd1,0x2c2d7c07,0x40b8dd35]
2354         , pt:  [0x166a0d0f,0x44020da3,0xb608e4b9,0x6d65c796]
2355         , ct:  [0x2b61ef7a,0x5c17ad9a,0x498ac089,0x9160ebbb]
2356     } ,
2357     {
2358         key:  [0x537a2b7c,0xf4f91d44,0x636f5cf7,0xa7a794e4]
2359         , pt:  [0x992e30d5,0xe650f4d0,0xa05332d9,0xbaef89f8]
2360         , ct:  [0x48904bc8,0xc0da7b95,0xf63c224d,0x58e5e579]
2361     } ,
2362     {
2363         key:  [0xfa8f1f6,0xa76ed586,0x928fbba2,0xa5097805]
2364         , pt:  [0x5bd8262d,0xbae4e041,0x74febc09,0x5a199c9c]
2365         , ct:  [0xd1b1a181,0x7e9124fd,0x7ed7707f,0x7d8634a5]
2366     } ,
2367     {
2368         key:  [0x143870b1,0x9084ed80,0xd6bd894e,0x85751751]
2369         , pt:  [0x56587db,0xd8eacf21,0x270a72e6,0xe0c86a73]
2370         , ct:  [0xa31b1287,0xec47b392,0x97d083a6,0x59bf3de1]
2371     } ,
2372     {
2373         key:  [0x6a1d117,0xe053fd65,0x9a60a4ad,0x2321d88b]
2374         , pt:  [0x4cce88a6,0x7dfc038a,0x684853c,0xce8bfc04]
2375         , ct:  [0xe628c945,0x6979db4d,0x6f1c7452,0x39b52835]
2376     } ,
2377     {
2378         key:  [0x6da8313,0x3b1c8b94,0xbced0110,0xc74fd7a0]
2379         , pt:  [0x81cda247,0xd00615b9,0xda0f0cdc,0x34b4cd1f]
2380         , ct:  [0x50ec2ebd,0xbc7b550b,0x990f1b8e,0x2a4013c2]
2381     } ,
2382     {
2383         key:  [0xf83a4c8,0xb784a297,0xc1a6ad4f,0x3ea2b33a]
2384         , pt:  [0x543004f3,0xb0f8272c,0x2951a661,0x110ed0d9]
2385         , ct:  [0xbf659abb,0xa050fdd0,0x17a0f3ad,0x1fa13d3d]
2386     } ,
2387     {
2388         key:  [0x185f242e,0xebe6f4fb,0x9afe8bbd,0x28868161]
2389         , pt:  [0xe5b86f2f,0xd2969a2,0x8fad94c4,0xd061f570]
2390         , ct:  [0xfa0a226b,0x9735d622,0xf1d07fbc,0x93681350]
2391     } ,
2392     {
2393         key:  [0x83ec91d2,0x2a2e8213,0x88ed7a87,0xfdecf848]
2394         , pt:  [0xde2e60b8,0x28bc3029,0x38147117,0xfa6ae49b]
2395         , ct:  [0x46ba0844,0x6c1e3e5d,0x4bb8db70,0xca04cf97]
2396     } ,
2397     {
2398         key:  [0x742e5dce,0xa7a25950,0xad5da95d,0x7f2506d0]
2399         , pt:  [0x9a80290a,0x60dff44,0x9c078322,0xa4a135f4]
2400         , ct:  [0x77e3f524,0x8159c6e0,0xc7eb84aa,0x32c9265b]
2401     } ,
2402     {
2403         key:  [0x9ae61698,0x9d05f7a6,0xdb64f830,0x9b2e8611]
2404         , pt:  [0x615a2a4b,0xdc143916,0xcd53f05c,0x7e0cd64a]
2405         , ct:  [0xd30ceb21,0xa6e208e0,0x930a4195,0xa111f06b]
2406     } ,
2407     {
2408         key:  [0xe0615e6c,0x85d59029,0xd992b094,0x823ad389]
2409         , pt:  [0x2c0e003e,0xce81bed4,0x1efed569,0xf73b9f45]
2410         , ct:  [0xefee0758,0x801bfec1,0x9cd3b6a,0x29063734]
2411     } ,
2412     {
2413         key:  [0x76355765,0xfa964697,0x125f2b68,0xcd413a15]
2414         , pt:  [0x96c64b4,0x32e31f40,0x54fc973c,0xc16f64c1]
2415         , ct:  [0x7bd5f38e,0x1bf5e6f,0x35514c75,0x6813ed41]
2416     } ,
2417     {
2418         key:  [0x6d7df670,0xd36ec500,0x586a9d78,0x242cdbfe]
2419         , pt:  [0x8887b0b8,0x8d8bdf00,0x423e8117,0x359f4486]
2420         , ct:  [0x1a0ec8c8,0xb81b359a,0x16f7bf0d,0x77f1b0f1]
2421     } ,
2422     {
2423         key:  [0xe8af9d80,0x41711e75,0x29f177de,0x6f250dc4]
2424         , pt:  [0x36ccefb0,0x617e9229,0x1da1f806,0x9646c38]
2425         , ct:  [0xb2d29723,0x76a91604,0xc9bad3,0x15b1b710]
2426     } ,
2427     {
2428         key:  [0xab5a46be,0x579601d7,0xbec3948,0xb0f45a77]
2429         , pt:  [0x9999ac5f,0xae17a513,0xa577fce1,0x68bfbf5b]
2430         , ct:  [0xcfa5151b,0x3ea0dd28,0x35db3ab2,0x4bceae2d]
2431     } ,
2432     {
2433         key:  [0x55d705d,0xeeb52b9a,0xf7201e04,0x9aa43e13]
2434         , pt:  [0x3db13135,0xa9465403,0xc77fe05f,0x21bf904e]
2435         , ct:  [0x8a0a8291,0xe6b6005e,0xa440011b,0xdcbf929b]
2436     } ,
2437     {
2438         key:  [0x454181a7,0xcde0af17,0xd65410f1,0xaf8055c5]
2439         , pt:  [0xe4fef1fe,0x7bbd8908,0xc8b42511,0x8f1cc8d3]
2440         , ct:  [0xac08031d,0x37c613a9,0x481f46e7,0x5c8a832]
2441     } ,
2442     {
2443         key:  [0x6d403e2e,0x79a2ef59,0x21b8e660,0x29f77d92]
2444         , pt:  [0x184289b0,0xc36a9f98,0x19c3bc50,0xf21f8104]
2445         , ct:  [0x99637489,0x441d890f,0xf087d72c,0x63be1bb]
2446     } ,
2447     {
2448         key:  [0xfd378690,0x4eae87da,0x1a5f4e1c,0xbe2f6811]
2449         , pt:  [0xad2fb817,0xf5453121,0x54e59342,0xeecc4407]
2450         , ct:  [0xb2bfc853,0x8adcea5f,0x5edc7e50,0xd9275f0a]
2451     } ,
2452     {
2453         key:  [0xf86aeb8b,0x1f6dc190,0x6c3aa135,0x33ebeb8]
2454         , pt:  [0x3aaa4ec7,0x9009e0bb,0xf0bc207c,0xc246e61e]
2455         , ct:  [0x512c989d,0xca76faa0,0x287fa00e,0xb28f3288]
2456     } ,
2457     {
2458         key:  [0x86ec0d44,0xd46dec94,0x699af318,0xd9a03a84]
2459         , pt:  [0xf0d79bb7,0x7d25fc46,0xa940e5ce,0x4ee65218]
2460         , ct:  [0xefee8db8,0x48a22d68,0xc5594e6a,0x536fa139]
2461     } ,
2462     {
2463         key:  [0x36f5bb79,0x2334b741,0x2090f887,0x1415beef]
2464         , pt:  [0x7cbea516,0xd3328438,0xf1e479b4,0x89b6254]
2465         , ct:  [0xe8eff977,0x31bf5f76,0x99e55a05,0xfc6ea311]
2466     } ,
2467     {
2468         key:  [0xddfbe5ab,0x5f47816c,0xac797d61,0xb758cab3]
2469         , pt:  [0x5d4610bc,0x8505c817,0xca6ad657,0x49f438ff]
2470         , ct:  [0x42bc8440,0xcade639d,0x48c4b52e,0x6f114c09]
2471     } ,
2472     {
2473         key:  [0x91284cee,0xc6953602,0xbd992f80,0x9d787b9b]
2474         , pt:  [0x9fa3950c,0xb4aee57e,0x4424f66f,0xee973486]
2475         , ct:  [0xa642aa08,0xcf997789,0x66c3a3d3,0x147bf905]
2476     } ,
2477     {
2478         key:  [0x623ef02b,0xef09cbbf,0x33c9a32,0xf4c4b310]
2479         , pt:  [0x26cce4d4,0x8840a508,0xf786e04d,0xbf6b4fd]
2480         , ct:  [0x67db611f,0x926e2c80,0xb5769de8,0x9007a0b]
2481     } ,
2482     {
2483         key:  [0xf38bdf54,0x6e0db200,0x2e8b5b94,0x9f8be079]
2484         , pt:  [0xa5a984c9,0x4abbeece,0x82826216,0xa18ee30c]
2485         , ct:  [0x1bb98a7f,0xc54f5cd2,0xe3c9d55f,0x44a61a7e]
2486     } ,
2487     {
2488         key:  [0x3e834fff,0x26bcc76,0x2b15ab39,0xdc7e45a6]
2489         , pt:  [0x54e24c3e,0xa2e45f2,0xe72f1908,0xdd88261f]
2490         , ct:  [0xa138ceb6,0x1b231f35,0xdfca296c,0x272aba4e]
2491     } ,
2492     {
2493         key:  [0x30920a26,0x63dcf752,0x31126fc6,0xf902f335]
2494         , pt:  [0xf38b307a,0xe8c03c05,0x450f18f8,0xa741180f]
2495         , ct:  [0x7fdc0cb7,0xc06bef01,0xd79fb53e,0x371c56fd]
2496     } ,
2497     {
2498         key:  [0x6eac82da,0x8ef83a33,0x8d4b9a35,0x1d0dc65d]
2499         , pt:  [0x2b808b6,0x3f9da14f,0x60d5c039,0xdecbf78a]
2500         , ct:  [0xd52aabbb,0x5cb71ac3,0x393a121f,0x9109f9f0]
2501     } ,
2502     {
2503         key:  [0x5ac78217,0x4110c705,0xda07d968,0xaeacfe83]
2504         , pt:  [0xbf70c0a7,0x95713bca,0x434a7817,0xae985630]
2505         , ct:  [0x5dcdece,0x25770a4e,0x520fc5ad,0xbfcc3288]
2506     } ,
2507     {
2508         key:  [0x56cfc375,0xef9913,0x2faad54,0xdf9ba28]
2509         , pt:  [0x7083590f,0x567659ea,0x5e3b70f3,0xfa5e6f37]
2510         , ct:  [0x3a3432f1,0x121839d3,0xf5a5771d,0x31c648ff]
2511     } ,
2512     {
2513         key:  [0x2207b844,0x8a8cfe51,0xd9f19781,0x769baca1]
2514         , pt:  [0xb98cdf8e,0xf314ef90,0x2042fef,0x1753f706]
2515         , ct:  [0x3ce6c85e,0x3ae91251,0xee46545a,0xdc4dc3f]
2516     } ,
2517     {
2518         key:  [0x26bbb269,0x8c440a67,0x3a837f59,0xb8a78b3]
2519         , pt:  [0xfb834f6b,0x981bbd27,0x13429527,0xe6a74359]
2520         , ct:  [0x1b9794a4,0x7b8307ed,0x83a5ec00,0xfc89d062]
2521     } ,
2522     {
2523         key:  [0x388884cd,0x2f0cd489,0x4fa53ae5,0x5b5711d9]
2524         , pt:  [0xe55d8e03,0x9b1c3bd0,0x38f1dcd5,0xccb10969]
2525         , ct:  [0x42b01cb4,0xbb8b1a68,0x7a3fdfcd,0xca2e2d47]
2526     } ,
2527     {
2528         key:  [0x3534910d,0xdd53c670,0x40d35ef2,0xff43ced8]
2529         , pt:  [0xa1bead73,0x8feaf651,0x93708717,0x31251e5a]
2530         , ct:  [0xcbe60c39,0xc70bcf34,0xc1f27e5,0xc0ce50a9]
2531     } ,
2532     {
2533         key:  [0xec387fe2,0x8ef89eb9,0x90c79b18,0xf97373a1]
2534         , pt:  [0xd3e47181,0x8636938,0x74c4aa15,0x742141d]
2535         , ct:  [0x8045aa69,0xbe57276d,0xeb470e10,0xc29775c]
2536     } ,
2537     {
2538         key:  [0xa8bb8ca0,0xb2be40a1,0x5c28bda2,0x8405fee]
2539         , pt:  [0x7c08eb13,0x8404b068,0x91de6cf2,0x24f8ab26]
2540         , ct:  [0xc719ebc2,0xc408ea33,0x1d4148a2,0x54ce1cc2]
2541     } ,
2542     {
2543         key:  [0xb15b061,0xf922ae64,0x9ec77b48,0x46a2adae]
2544         , pt:  [0xd49e3120,0xc4dcfde9,0xc91102a3,0xa3d9ef5]
2545         , ct:  [0x7c2d96e5,0x6fdcda3f,0x90e23091,0xfb43536f]
2546     } ,
2547     {
2548         key:  [0xb12c28df,0x6f585a9a,0x2df12fa0,0xcce4d328]
2549         , pt:  [0xf262137a,0x726f098e,0xc7661f06,0xf64b7dba]
2550         , ct:  [0xabfab767,0xadc7cf9b,0x64cff522,0x30e897d0]
2551     } ,
2552     {
2553         key:  [0x9b2ae5eb,0x83c0d92f,0xee75e32d,0x2cb3cf31]
2554         , pt:  [0xb0cbb71c,0xdaab3189,0xd5ea2afa,0xe17bafd8]
2555         , ct:  [0xb36e5400,0x1ebe5351,0xcc499fcc,0x74df296e]
2556     } ,
2557     {
2558         key:  [0x1adb59be,0x7c2bf5fb,0x3ffc3b3a,0xc1383a98]
2559         , pt:  [0x45b144fa,0x8a0443ab,0xc6ad063a,0x83bf4d73]
2560         , ct:  [0xf256fa97,0xb99fb569,0x2ee4ca86,0x67deb535]
2561     } ,
2562     {
2563         key:  [0x9052de6e,0x6304d332,0xd5fa61f7,0x8df7e944]
2564         , pt:  [0xb397dcda,0x601ab128,0x19941c41,0xa4382ca8]
2565         , ct:  [0x8630c6b5,0xdc313cdf,0x49c65cc1,0x2be79432]
2566     } ,
2567     {
2568         key:  [0xf9d87525,0xb7b2ad4,0xa5b66d7f,0xe34f7354]
2569         , pt:  [0x109bf78f,0x962eb412,0xbd247416,0xb3e6481a]
2570         , ct:  [0xfea2df7d,0x86742a86,0x83a1ac43,0x8586cfa7]
2571     } ,
2572     {
2573         key:  [0xfbe25f9a,0x33745173,0xeb5c7ee4,0xd7ac25b5]
2574         , pt:  [0x7939550d,0xb631ecac,0xa4f11e72,0xfb1357c1]
2575         , ct:  [0xfd8a4fa1,0xa4d3771c,0xf02d3d21,0x24dd7355]
2576     } ,
2577     {
2578         key:  [0x67c3c4f0,0x46e9f329,0x7735e9d1,0xcd0c46f5]
2579         , pt:  [0x5f6eb8b7,0x4b56b231,0x655ef38c,0x32e48e74]
2580         , ct:  [0xa1f24d3a,0xd9dfcde7,0x134c39df,0x6f79b872]
2581     } ,
2582     {
2583         key:  [0x39d93902,0xbcd5ac7a,0xfc8d08eb,0xa3ea71dd]
2584         , pt:  [0x20ced39a,0x8cc391d9,0x64239c98,0xc9d97a06]
2585         , ct:  [0x600360a4,0x3cb2de8c,0x687d0843,0xce98fbf5]
2586     } ,
2587     {
2588         key:  [0x18a8d540,0x4bdfa646,0xd22d9222,0xd269eae8]
2589         , pt:  [0x1370fd5b,0xee824e29,0x6c286e7d,0x865c0e8a]
2590         , ct:  [0x26302b5a,0xf9f675ad,0x2469e178,0x9f660985]
2591     } ,
2592     {
2593         key:  [0xda6fdb4e,0x1ab8e49d,0xb267d254,0x813ffb48]
2594         , pt:  [0xaa92ba6d,0x505058bf,0xfb9de373,0x69a76fee]
2595         , ct:  [0x81f21652,0xe7a32daa,0x9bfb9d28,0x8146f026]
2596     } ,
2597     {
2598         key:  [0x243de62c,0x25c0f6fe,0x6a111005,0xae1ed492]
2599         , pt:  [0xaaf3fc8c,0xb87a7123,0xb8d44dbb,0xef43e033]
2600         , ct:  [0xbe41db6d,0xe32c6632,0x49f320a9,0xe720c233]
2601     } ,
2602     {
2603         key:  [0x765e7d04,0xc3b2c53,0x89c78784,0xc07c1cb8]
2604         , pt:  [0xf3e1ae53,0xd4fdca4f,0xd0d4cdeb,0xee7505e0]
2605         , ct:  [0x1149b3bf,0x56c2f452,0x7ce6666f,0x43ac66e2]
2606     } ,
2607     {
2608         key:  [0xc2288b2,0xf1a10d3,0xb3745e05,0xf24f8c10]
2609         , pt:  [0x45c615ac,0xa1cbb7ff,0xbc985d05,0x1a16ee7f]
2610         , ct:  [0x12935198,0x831dd7b,0xfe8e7561,0x1285ab2]
2611     } ,
2612     {
2613         key:  [0xdb9f4d8d,0x145856c,0x60e8b425,0x2ac52c46]
2614         , pt:  [0xe511928b,0xda62c4c3,0x3ae8000c,0xa9008610]
2615         , ct:  [0xec84edcd,0x2d29fb41,0xe538ee99,0x48fb87b6]
2616     } ,
2617     {
2618         key:  [0x6388d5cb,0x6c9d5831,0xe73cd489,0x542b218]
2619         , pt:  [0x7d9e4083,0x63e03c4d,0x14c77b6c,0xdead2a63]
2620         , ct:  [0xc5d01e8,0xcfefbc48,0xf9ba2445,0x39a5e781]
2621     } ,
2622     {
2623         key:  [0x50948e9e,0xb13d83a8,0x11c08339,0x78d83b15]
2624         , pt:  [0x77822fd,0x96d0d9b,0x8226f514,0x4d7e096f]
2625         , ct:  [0xe04d481,0x49d2fdae,0x38f1f7f,0x6e66ba02]
2626     } ,
2627     {
2628         key:  [0x410c891f,0xd92f7b58,0x48bed429,0xcf70c963]
2629         , pt:  [0x7edb1ae8,0x446b20d0,0xf5d3d9b1,0x6a6e6491]
2630         , ct:  [0xaae0fb33,0xd6b8d7a5,0x492b7cec,0xe45e7cca]
2631     } ,
2632     {
2633         key:  [0x8ff97211,0x60cf687b,0x66e338d,0xcd85f4f5]
2634         , pt:  [0x582aa490,0xf9f5481,0x7ea2d7d6,0x2fc656a9]
2635         , ct:  [0xc31a25a,0xb06ae31b,0x5242f4b,0xefb6372f]
2636     } ,
2637     {
2638         key:  [0x8cd4468a,0xb8cce4cf,0xff7e61b2,0xc63093b7]
2639         , pt:  [0xb69f5cc4,0x25e46d5,0xc06d1417,0x296e2e86]
2640         , ct:  [0xec557c8f,0x13dcba03,0x63fe643a,0x7fd16182]
2641     } ,
2642     {
2643         key:  [0x6561f259,0xf7bd1c9f,0x52211e48,0xf48780aa]
2644         , pt:  [0x342485bf,0x80d97192,0x162bd246,0xf4349549]
2645         , ct:  [0x5f7ca6fc,0x727bd1da,0x545101ae,0x84eb87ae]
2646     } ,
2647     {
2648         key:  [0xba573a62,0xdeda8fb,0x4762e5b5,0xf1adbfbe]
2649         , pt:  [0x7598c355,0x647ed6f4,0x467cd98f,0x16497f8a]
2650         , ct:  [0x1d7d2e04,0x7c1ad715,0xe6e2e2eb,0xb957e493]
2651     } ,
2652     {
2653         key:  [0x32065ac6,0xbb376c78,0xe5b82f18,0x7711f4aa]
2654         , pt:  [0xdc9e6a5,0x6c685707,0x355ddb7f,0x4d019516]
2655         , ct:  [0xb9f228ba,0x9eb91603,0x2988fa58,0x9269b861]
2656     } ,
2657     {
2658         key:  [0x2f2b736,0xe141408e,0x14da9c4d,0xa5e1a91f]
2659         , pt:  [0xb9bf7648,0x15492fb6,0xf1154a13,0xb852e7b4]
2660         , ct:  [0x2377bd19,0x665b3fe9,0x2a43a43f,0x5faed73]
2661     } ,
2662     {
2663         key:  [0x316d5842,0xb457f6bf,0x212e8f70,0xb226f80]
2664         , pt:  [0x4609f383,0xfdbc11cf,0x52d6b8f3,0xdf69d790]
2665         , ct:  [0x636a4da6,0xa83e97fc,0xcc911e1a,0xd2d3e469]
2666     } ,
2667     {
2668         key:  [0xd349ea97,0xbad4d779,0x93ff420e,0x1bd4dfd7]
2669         , pt:  [0xb14d2878,0x800ecbe1,0x90c41588,0x4849f0ea]
2670         , ct:  [0x906467d9,0x574d55d8,0xb02d338a,0x83ed9ac4]
2671     } ,
2672     {
2673         key:  [0xfb00b1cf,0x1d9d147c,0x873af965,0x53130d02]
2674         , pt:  [0xd6c3c2e0,0x7fd1e0a7,0x35f250df,0x11c4f72]
2675         , ct:  [0xffed5bdd,0x35830fff,0x7c3d9d45,0xc21f23d0]
2676     } ,
2677     {
2678         key:  [0x5ca36b9d,0x6ac41c6,0xafde37d,0x1994e004]
2679         , pt:  [0xb7611b32,0x9a4067c9,0x1f87cfda,0x15a560ae]
2680         , ct:  [0x98c762dd,0x3344a859,0xcd354c47,0x8bd0861b]
2681     } ,
2682     {
2683         key:  [0xc7970185,0x97aba13d,0x924e90ea,0xdbce8599]
2684         , pt:  [0x9496d464,0xdc601db3,0x3b6be7fc,0x7a76d028]
2685         , ct:  [0x1360c11c,0xbf055fab,0x13d132bd,0x78e4a1a]
2686     } ,
2687     {
2688         key:  [0x34d8c8ab,0xce5a3142,0x42aab9e7,0x495a3874]
2689         , pt:  [0xb4d9d7a3,0x7f583dac,0xfb842618,0xb48c5955]
2690         , ct:  [0x1b5dda97,0xbcac5c8,0x524c874,0xb97bf88b]
2691     } ,
2692     {
2693         key:  [0xc8627980,0xedc54749,0xe77b5288,0x9407e03a]
2694         , pt:  [0xea4abc6c,0x2ad42ff9,0x58acf9a1,0x4265c857]
2695         , ct:  [0x23e8e42e,0x6a15663,0x57dd757f,0xe8981f4a]
2696     } ,
2697     {
2698         key:  [0x9bf6bcbe,0xd781191,0x107988c2,0x2bacf46a]
2699         , pt:  [0x7aab3295,0x7fe4b1df,0x522d0e09,0xe21b3091]
2700         , ct:  [0x3306c9ed,0x122247ac,0xf545c4ad,0xc5e883e7]
2701     } ,
2702     {
2703         key:  [0x5d3b8d75,0xb39748fc,0x2b1018bf,0xf08f415a]
2704         , pt:  [0xbc9cb87,0xfed00456,0xf1fc3a8e,0x8be1d083]
2705         , ct:  [0xfb04c271,0x3598ff8a,0xa39d6df6,0x98c0e698]
2706     } ,
2707     {
2708         key:  [0x649b6a01,0x66f0c9be,0x3702ce1,0x3b851b78]
2709         , pt:  [0x14650bed,0xb8e447b0,0x4a970289,0xd961c305]
2710         , ct:  [0x6ecbce17,0x414d0282,0x8616224c,0xe3c6136]
2711     } ,
2712     {
2713         key:  [0x3341bbf7,0xddaae010,0xaeee0eaf,0x19a744b0]
2714         , pt:  [0x8ca99585,0x3c16d545,0x722c3bc5,0xd1788538]
2715         , ct:  [0xac74b83b,0xc8465ffc,0x8c94c9a4,0xd02d3aa6]
2716     } ,
2717     {
2718         key:  [0x70ef10a2,0x896c07,0xa698ec12,0xa065c3e7]
2719         , pt:  [0xc325a596,0x15dd690a,0xfe8e6164,0x79256764]
2720         , ct:  [0xc95f392,0x13e49342,0xa7add87f,0xf31bf66c]
2721     } ,
2722     {
2723         key:  [0xdc7bef38,0x97d8ecd2,0x34ab6ab5,0xe14562cf]
2724         , pt:  [0xd8819a28,0x6f9ab3f3,0x4dfa7de0,0xc7dc82a0]
2725         , ct:  [0xc5232d30,0x942f5bee,0xd241006,0x754c4612]
2726     } ,
2727     {
2728         key:  [0x67b888fe,0x2e22dcec,0x45d3956b,0x640026ac]
2729         , pt:  [0x7157819a,0x59d4caea,0xf9fb3fbc,0x9b71742]
2730         , ct:  [0xbb76467f,0x73bb9273,0xb8dc38f0,0x8e99173a]
2731     } ,
2732     {
2733         key:  [0x14ca9bdf,0xaad25062,0x86c31b76,0x7359876e]
2734         , pt:  [0xc2b1724,0xcf1ca754,0x4fcb76c4,0x33e382a0]
2735         , ct:  [0x72f8a7e5,0xa635b0b6,0x38139335,0xfb27437]
2736     } ,
2737     {
2738         key:  [0x57ef8584,0x94418be8,0x1b028060,0x163c78df]
2739         , pt:  [0xde9d8a32,0xdb5f74d0,0xa468f640,0xcf86aa27]
2740         , ct:  [0xb708daac,0xbf59ab65,0x77578b11,0x9a990887]
2741     } ,
2742     {
2743         key:  [0xed2ad1b5,0x3886843c,0xb8e02ee9,0x5267d441]
2744         , pt:  [0x74e82854,0x423cccbb,0x741fc69d,0xe235bc0c]
2745         , ct:  [0xd403245e,0xa42eebde,0xb0a8f769,0xc06b9c6c]
2746     } ,
2747     {
2748         key:  [0x3c97ce12,0xbe80624,0xd6101ba5,0x1d6a4902]
2749         , pt:  [0xd38ab72,0x68f08b50,0x125ccee3,0x4a2e0394]
2750         , ct:  [0x893932c4,0x32f2635f,0xb7d1773b,0x5da7ab06]
2751     } ,
2752     {
2753         key:  [0xa0cff75b,0x46f037ba,0x6290c647,0x937611d4]
2754         , pt:  [0xcd06d87,0x7def0c57,0x4f71181d,0x5b7c9327]
2755         , ct:  [0xebf11ea4,0x566417eb,0xf5d76e72,0xae63d720]
2756     } ,
2757     {
2758         key:  [0xf9eaa85c,0xb304007c,0x28e656a9,0xb4022667]
2759         , pt:  [0x9f52d5ae,0x8083047e,0xa77dcb24,0x4aee261]
2760         , ct:  [0x87a2f8fb,0x809e146e,0xaf14ab93,0xf6953ee3]
2761     } ,
2762     {
2763         key:  [0xe6d859ac,0x593b869a,0x5bc67c85,0x6c54955f]
2764         , pt:  [0xce2d3aa6,0xd2e742c0,0xe18e50c2,0xaf6cb439]
2765         , ct:  [0x3d0862ad,0x4b265a81,0xd4059b18,0x26c6586a]
2766     } ,
2767     {
2768         key:  [0x963da336,0xe1063c26,0xb56fe877,0xd959a617]
2769         , pt:  [0xbc8e542d,0x7737690d,0x34d60bf7,0x461e8ad3]
2770         , ct:  [0x6744734c,0x70bb9e98,0x4ef446e8,0xc29dd8fc]
2771     } ,
2772     {
2773         key:  [0x14351b15,0xaa019b27,0x55971b6d,0xfe09ed3e]
2774         , pt:  [0x61406ceb,0x44a2c3fe,0x259ac73d,0xeab52e8a]
2775         , ct:  [0xd0d631f3,0x3f9210d4,0x2e40adf7,0x52af980c]
2776     } ,
2777     {
2778         key:  [0x65cbfd80,0xb38069e7,0x18262ddf,0x5b6b7e29]
2779         , pt:  [0x3994e5f4,0xbacc6be5,0x8490e889,0xc3ded97]
2780         , ct:  [0xac04d92c,0xb0470f0a,0x5650ff7d,0x6ac4d295]
2781     } ,
2782     {
2783         key:  [0x782f2397,0xf33a06cc,0x3c517b3,0xb921959d]
2784         , pt:  [0x87545752,0x70b152c3,0x309e5680,0x4d35c572]
2785         , ct:  [0x34f631c1,0x5c6edfab,0x66cf6e87,0xa8c2e348]
2786     } ,
2787     {
2788         key:  [0xd03db249,0x48df6322,0xd62d8e4a,0x9d5c96e7]
2789         , pt:  [0xdd3e26eb,0x8abeeb5f,0x6585cdaf,0xdc2d169e]
2790         , ct:  [0xad83667e,0xd43eea01,0x20694958,0x67466370]
2791     } ,
2792     {
2793         key:  [0x1e4880f7,0xd31f564d,0x4a208732,0x2783ecf8]
2794         , pt:  [0x3fc9ccdb,0x55323d23,0x7ac3ee2b,0xa1e14de6]
2795         , ct:  [0xf0f7b026,0x4f31b2cf,0xee1f0f75,0xbbae4de9]
2796     } ,
2797     {
2798         key:  [0x160e3821,0xb6ec68a6,0xbffc302e,0xfaf92620]
2799         , pt:  [0x64f60f28,0x81d1f9fa,0x87eaa11f,0xb5bcb75]
2800         , ct:  [0xff81a345,0xab4cb194,0xbdeaf150,0x6500b7f1]
2801     } ,
2802     {
2803         key:  [0x13b69b01,0xb2b5d0a5,0x1f5d5b09,0xdbf85a7e]
2804         , pt:  [0x3dd2dc59,0x207d98af,0xb4362e70,0x1858287a]
2805         , ct:  [0x394affe0,0xd14460a2,0x273abb20,0x935b9a8e]
2806     } ,
2807     {
2808         key:  [0xa1ef5269,0xca5eec28,0xc1922148,0x81b1ad16]
2809         , pt:  [0xb438fbe2,0x8d44f6d5,0x6b6a2bc9,0xcc37d3c6]
2810         , ct:  [0xd72bd05d,0xe6b23f1c,0x2e51a749,0x79e0dce2]
2811     } ,
2812     {
2813         key:  [0xc51f2d50,0x9c2d8356,0xffbdf355,0xb0c27c10]
2814         , pt:  [0x845f9bbe,0x9d469127,0xf21b6752,0x6795c207]
2815         , ct:  [0xeee6c83b,0xa7e63930,0xd63e03a7,0x8f28fde9]
2816     } ,
2817     {
2818         key:  [0x2075e5a1,0xbcf2c11c,0xed01e56e,0x4389d9cf]
2819         , pt:  [0x551f2438,0x2a868d1e,0xddd8cf60,0x245bb6d3]
2820         , ct:  [0xfed8f35e,0x98d967f3,0x1d15e91d,0x3ccf80b0]
2821     } ,
2822     {
2823         key:  [0xdd52b78f,0xb7bb8122,0x1303fc35,0xc8950b0f]
2824         , pt:  [0xa90b8887,0x67adfc16,0x6d23a7d7,0x6f748f66]
2825         , ct:  [0x7763b2ef,0x35e33a6d,0xd813eeec,0x88e7ef28]
2826     } ,
2827     {
2828         key:  [0x88dc1ccd,0xd6fb2832,0x359de18b,0x3150fc6e]
2829         , pt:  [0x4fbd19b1,0x1753a105,0x7e3183ee,0x7977a363]
2830         , ct:  [0xb98102ba,0x2dae8aed,0xd6ab5756,0xc3114883]
2831     } ,
2832     {
2833         key:  [0x9536ed90,0xca3f6ef0,0xd66655f,0x4d5cd97e]
2834         , pt:  [0x8fab1a18,0x1b6b24c9,0x968a31a6,0xe80dd09d]
2835         , ct:  [0x8c8a9ea9,0x9fb56b7a,0x2cfdfeeb,0x33185743]
2836     } ,
2837     {
2838         key:  [0x8c851428,0x5454ac72,0xee337fb2,0x602968d3]
2839         , pt:  [0x141168d6,0x14ae00ed,0x53fdf6a0,0x7493b91]
2840         , ct:  [0x7f368874,0xbd2e123d,0x3376d331,0x1cd01559]
2841     } ,
2842     {
2843         key:  [0x13e33aca,0xdc113c5f,0x83dc2ba1,0xa8b53710]
2844         , pt:  [0x790cca7d,0x567df27d,0x8f1dcdcc,0x7a636216]
2845         , ct:  [0xf83adf7d,0xbfc7c9c2,0xcc50dbf,0xe49e5d2c]
2846     } ,
2847     {
2848         key:  [0xae314ef2,0x479b4634,0xa2c8e459,0x3d46ad42]
2849         , pt:  [0x4b50e6a9,0x273f12db,0x1257208f,0xbffb89d]
2850         , ct:  [0xd8b2707e,0x5958d9c6,0x13d35c24,0xe8a53da0]
2851     } ,
2852     {
2853         key:  [0x9fc8f786,0x881af72c,0x4160df25,0x4b5494b2]
2854         , pt:  [0x9d0323eb,0x4bd3c95,0xd08eb403,0xc16f44b7]
2855         , ct:  [0xee16e3a7,0xe4489bd7,0x56ea3c41,0xf3e87144]
2856     } ,
2857     {
2858         key:  [0x3c40e467,0xee35230d,0xe934bffd,0xd16fe8ad]
2859         , pt:  [0x764fbd13,0x8f7bc041,0xe230eec0,0x326e8392]
2860         , ct:  [0xc7c56e6,0x6da6bff6,0x408c107a,0x5d81c3c6]
2861     } ,
2862     {
2863         key:  [0x42cfa433,0x799c9ff7,0x53c9b667,0xd603d904]
2864         , pt:  [0x34ed28f3,0xc406ce9f,0xb743ddbf,0xc3a7c5c2]
2865         , ct:  [0x40cf8ec8,0x521cff0,0x1b1e76fe,0x1b930123]
2866     } ,
2867     {
2868         key:  [0x6ca83f97,0xc4ba96ee,0xad11f514,0x58eac8e9]
2869         , pt:  [0x12aed9bf,0xb464d47f,0x24e3a7ff,0x73f63282]
2870         , ct:  [0xfcb8adc5,0x21da71dc,0xca03a82c,0x7451af5]
2871     } ,
2872     {
2873         key:  [0x74998501,0xc0caf31b,0xcac2faa4,0x7a764de7]
2874         , pt:  [0x36dd3496,0xe255b824,0x7600e248,0x3ae7e255]
2875         , ct:  [0x6cc76c2d,0xd04a6995,0x6f605925,0x83eac4b2]
2876     } ,
2877     {
2878         key:  [0x3b22c434,0x6afdbe24,0xd17a9156,0x4ca8d549]
2879         , pt:  [0x7c96ddcd,0xcb725282,0x1b0d501c,0x1fe91286]
2880         , ct:  [0x7d3dc1b7,0xaf7db03b,0x2298f524,0x36595308]
2881     } ,
2882     {
2883         key:  [0xc7987a86,0xe57f09e2,0x6314785f,0x60d4c7c5]
2884         , pt:  [0x23c98d63,0x4ce79ed3,0xb789f181,0x64855ea3]
2885         , ct:  [0x6b4d54ec,0x95a1cda,0x46ba1ac8,0x72b27921]
2886     } ,
2887     {
2888         key:  [0xede6e36f,0x468c3027,0xf70d82b,0xf4659617]
2889         , pt:  [0x369e91d8,0x58b0252c,0xea309738,0x2171bda3]
2890         , ct:  [0x53aae75,0x56214c14,0x284528a1,0x6fc3959f]
2891     } ,
2892     {
2893         key:  [0xd1f52711,0x10c8b93e,0xb510a42f,0x9aa21dc2]
2894         , pt:  [0x67015d8b,0xddac80b1,0xbfdbb3f4,0xe3b6c5a2]
2895         , ct:  [0xaab49896,0xd2bfdecc,0x5c00fd4c,0x5c7a8bfd]
2896     } ,
2897     {
2898         key:  [0x2ac1d195,0x136a71be,0x1deea4c7,0x547f919a]
2899         , pt:  [0x8d630b78,0x6b7b7514,0xa15168c4,0x61ca559e]
2900         , ct:  [0x40813e03,0x76231b80,0x298b83bf,0xc104675b]
2901     } ,
2902     {
2903         key:  [0x210665be,0x266de5dc,0x228b8036,0xa267da47]
2904         , pt:  [0x14bc0248,0x84b972ce,0xa34416b7,0xd52f6815]
2905         , ct:  [0x71881b58,0x8d0b394,0xff52f885,0x97423bd2]
2906     } ,
2907     {
2908         key:  [0x940ed759,0x3e87f756,0x7e10073b,0x97fdb11f]
2909         , pt:  [0x6e8a7a,0xf8351b78,0x29629f14,0x637f1e3e]
2910         , ct:  [0x853b87be,0x982ca2a1,0x95bd6b83,0xe14f1579]
2911     } ,
2912     {
2913         key:  [0x19d76d8a,0x3b1d2df6,0xd4a13168,0xefb38371]
2914         , pt:  [0xd2719f91,0x188b02e4,0x5f80b7e4,0x1ff9f7dc]
2915         , ct:  [0x47559de2,0x1386974d,0xc30f85e4,0xbec79752]
2916     } ,
2917     {
2918         key:  [0x982a2f36,0x669c8749,0x6a51dc03,0x8cceaf30]
2919         , pt:  [0x26308818,0x93b056b1,0xe2e1592e,0xf9eaef22]
2920         , ct:  [0xff9d72c0,0xe1abb6d4,0xf9271c1,0xb846b207]
2921     } ,
2922     {
2923         key:  [0xa278d6d7,0xbaf9e851,0xa3df72ac,0x51e92dd9]
2924         , pt:  [0xea07d2c8,0x88d66188,0x189592ea,0xca4cc0cf]
2925         , ct:  [0xa1ee4b47,0x494600bb,0xbec048d6,0x9c991534]
2926     } ,
2927     {
2928         key:  [0x3b4bb7a4,0x6e574c80,0x53340da,0x56fc7cb4]
2929         , pt:  [0xe42003c5,0x5785c10f,0x31776b4c,0x808656ab]
2930         , ct:  [0xc5a5251d,0x83a324a0,0xdf966cde,0xaaca6036]
2931     } ,
2932     {
2933         key:  [0xf6727252,0xe068608d,0x4e13bfcc,0xcf217fa]
2934         , pt:  [0x9e7c4b8e,0x48f5028d,0x41e24194,0xc2a0c08c]
2935         , ct:  [0x545e2092,0xb668c479,0x5ae316b8,0x3edc8fbe]
2936     } ,
2937     {
2938         key:  [0xe8aa2efa,0x4aa36f82,0x96ef0b25,0x976fe50e]
2939         , pt:  [0xe14377c8,0x7683c48d,0xeb204881,0x936a8043]
2940         , ct:  [0x58ca9894,0x1393f567,0x9c11a82a,0xebcf2e48]
2941     } ,
2942     {
2943         key:  [0x88a48cfb,0x26314c7e,0x12078e64,0x459edc7d]
2944         , pt:  [0xe0c48be2,0x1ab4a461,0x6464dc4,0x1915010d]
2945         , ct:  [0xcbea6006,0x5514a22e,0xb023e823,0xcc128f54]
2946     } ,
2947     {
2948         key:  [0xf45ca3ba,0xdceadb77,0x40a27c87,0xa0f2586f]
2949         , pt:  [0x5f532ac5,0xf405d1d7,0xbe3dc1a1,0xf760c93f]
2950         , ct:  [0x660a86a4,0x3755db89,0x60ae03e5,0xfa5059d1]
2951     } ,
2952     {
2953         key:  [0xd5d1e763,0xc8b2145,0x6238da9f,0xb964a30b]
2954         , pt:  [0x8625d5c7,0x66f8990d,0x5484a68,0x1889383b]
2955         , ct:  [0xa4fda642,0x16c29826,0xff4e588e,0x1d81f442]
2956     } ,
2957     {
2958         key:  [0x6454caf,0xfc6ac44,0x13311702,0xc8099ade]
2959         , pt:  [0xad5bd1c5,0x53b64936,0xb8857239,0x496cd4c0]
2960         , ct:  [0xacfea2c2,0xecf4d707,0xefc331f0,0x4ac697e]
2961     } ,
2962     {
2963         key:  [0xb4b41c76,0x10f36e72,0x1940df6c,0xd2309148]
2964         , pt:  [0xf0a7c5e6,0x6850b944,0x8251272c,0xd9a3ff85]
2965         , ct:  [0x3c0ddb68,0xccad469b,0x76f57f4,0xb8d187dd]
2966     } ,
2967     {
2968         key:  [0x2a2f35bd,0xa84e6e5e,0xb30e1712,0x78368de6]
2969         , pt:  [0x50f8a6b5,0xec4c742e,0xfeec8e85,0x2923c04a]
2970         , ct:  [0x6e2699ee,0x36ce143e,0xd714eed6,0x8b9dd232]
2971     } ,
2972     {
2973         key:  [0xe477a24d,0x37df05b,0xffbb4826,0xcaf903a0]
2974         , pt:  [0xd7203769,0x3b035e0e,0xa4337b91,0x12cb457f]
2975         , ct:  [0x3522bcdd,0xc4b3cbdf,0x7fd317f7,0x110a99ed]
2976     } ,
2977     {
2978         key:  [0xfec291c0,0x2cc88ab7,0xf005b734,0x8074254f]
2979         , pt:  [0x2d481d26,0x457f6d3,0x6a058ab6,0xfdac38f2]
2980         , ct:  [0x4fbe8a7e,0x4cb835b9,0xcb862958,0x53f0fd67]
2981     } ,
2982     {
2983         key:  [0xf830d23b,0x83cb973f,0x6af2bd78,0x83d69ab2]
2984         , pt:  [0x5fe5628f,0xa7b288,0x96835599,0x4a8f98a8]
2985         , ct:  [0x40443b92,0xce2bb681,0x6eab0833,0xc341fa55]
2986     } ,
2987     {
2988         key:  [0x89434a28,0x50b6e19c,0x9ae2a8a7,0x98e3838c]
2989         , pt:  [0xc9446a35,0xf73fcdd6,0x24d988c5,0x434936d0]
2990         , ct:  [0xbd6c165e,0x4f98a113,0x848cd26e,0x89fbd5a6]
2991     } ,
2992     {
2993         key:  [0x8b55f067,0xe0e3167a,0x8aa7ed6c,0xd484f31f]
2994         , pt:  [0x97e9b532,0x527241cf,0x81998720,0x4cb75958]
2995         , ct:  [0xa0f02d6c,0x706da60b,0xe06313f8,0x8a012efd]
2996     } ,
2997     {
2998         key:  [0xfa6bbfc7,0x385a8eb9,0x91bc8542,0x7b7d64bd]
2999         , pt:  [0x822a92e7,0x65eb6942,0x662e8ef5,0x5cc4e3bc]
3000         , ct:  [0xcac9ed70,0x8eb2638e,0xc9274732,0xd8723b55]
3001     } ,
3002     {
3003         key:  [0xeb23311c,0x67b32130,0x638561a6,0x10c4107b]
3004         , pt:  [0xb972f778,0xfdf0f60b,0xa52e22b7,0x7467ff30]
3005         , ct:  [0x5d800d3e,0xa5c1633e,0xa3ee74f6,0xe7793bab]
3006     } ,
3007     {
3008         key:  [0x699851ea,0x5cec96da,0xf9665c12,0x2f8b870a]
3009         , pt:  [0xe66615db,0x3c149201,0x66290340,0x2b6d27fd]
3010         , ct:  [0xfb3c3e4a,0x57cab4b2,0x5454b03b,0x70572f78]
3011     } ,
3012     {
3013         key:  [0x65b1fbc0,0x38cefebf,0x106fecab,0xa53ee2b9]
3014         , pt:  [0x723179a6,0xaee04096,0x9743741b,0xd2c57715]
3015         , ct:  [0x1390d063,0x184cab8b,0xa5a5c7df,0xa6c1e502]
3016     } ,
3017     {
3018         key:  [0x4ce37830,0xe293dcaa,0x8bae1337,0x782ade67]
3019         , pt:  [0xd211e1cf,0xfc91e3e6,0x427d10d9,0xd0f5ed33]
3020         , ct:  [0x39e9b05a,0xe6036eac,0x37b13baf,0x52eb7c48]
3021     } ,
3022     {
3023         key:  [0x112ec935,0x9a9dd7a6,0xb6780ae5,0xf866389f]
3024         , pt:  [0xb4eb1cc9,0xd3d883a9,0x3a6e3d29,0x22f1dc8c]
3025         , ct:  [0xca8a5128,0x4f0a056,0xfb1b48ce,0x85fa401c]
3026     } ,
3027     {
3028         key:  [0xac6803a7,0x47817a06,0xf6a46703,0xc0e1c805]
3029         , pt:  [0x4935b772,0xfb53918b,0xf021f4f,0x696741d3]
3030         , ct:  [0xa61b9495,0x901b8295,0xd510e64f,0x5b191c02]
3031     } ,
3032     {
3033         key:  [0xe999d9b1,0x695d9037,0xb818f00d,0x6251add5]
3034         , pt:  [0xb357ea10,0xb83ddd78,0x7ca6f41e,0x76319635]
3035         , ct:  [0x79355c13,0xb9f7f929,0x104c1c56,0xb6aea825]
3036     } ,
3037     {
3038         key:  [0x8e1502c,0x2d4440a9,0xb84859aa,0xd6e77be5]
3039         , pt:  [0xed940b40,0xadb245c,0x774ddebe,0x81c356cd]
3040         , ct:  [0x41341c66,0x89939944,0x13bb2516,0x94f25b0c]
3041     } ,
3042     {
3043         key:  [0x15865a4f,0x8e8b105a,0x81a5b778,0xb2b7b33b]
3044         , pt:  [0xf52de017,0xa55b148c,0x5b3d4430,0x56484825]
3045         , ct:  [0x535070b0,0xdc02c1c7,0x26113e5a,0xf2799f13]
3046     } ,
3047     {
3048         key:  [0x89720f69,0x69af036e,0xfa9a91e3,0x7f48e653]
3049         , pt:  [0x36014558,0xd16db46c,0xeeac66e6,0xa0f98ab]
3050         , ct:  [0xfcbba395,0x57a77eec,0x89fee3ad,0x635df0ee]
3051     } ,
3052     {
3053         key:  [0x9802c722,0xe83a5558,0xe83a5931,0x9d5c349f]
3054         , pt:  [0xfd3a9551,0x1a558f69,0x2448d32,0xa404ee3e]
3055         , ct:  [0x28aaccea,0x50ec9b23,0x61ed570b,0x3a7d6b7b]
3056     } ,
3057     {
3058         key:  [0xfa5e60a1,0x80c05454,0xe5197afa,0x9cc5f62e]
3059         , pt:  [0x3601dc92,0x2268c221,0x5ff428c4,0x2ca8f55a]
3060         , ct:  [0x7d2db7da,0x20689e9c,0x22584640,0xc4d756]
3061     } ,
3062     {
3063         key:  [0x11856ff3,0x96716b5a,0x4549b194,0x22d60203]
3064         , pt:  [0x2b6d2653,0xf7b0112e,0x95cef0e8,0xed2909c6]
3065         , ct:  [0x6fcef62e,0xb85ab389,0xa0e60340,0x41117eec]
3066     } ,
3067     {
3068         key:  [0x5fcc1744,0xf357504,0xf854f368,0x67069391]
3069         , pt:  [0xc98fcec4,0x14320109,0x9a830b2b,0x20a4e83]
3070         , ct:  [0xb7161901,0x89366a5e,0xcf956b0c,0x800dde63]
3071     } ,
3072     {
3073         key:  [0x5928d5,0x7b60ea45,0x5e3cb66b,0x7f6b5016]
3074         , pt:  [0x293b68cd,0xc5ab547a,0xa15f6a35,0x17893003]
3075         , ct:  [0xfb450b7,0x44b030e5,0xe73deb32,0xedd5e128]
3076     } ,
3077     {
3078         key:  [0xfacc2c42,0x6e23ddc1,0x381a08c8,0x2b69e238]
3079         , pt:  [0x756063d0,0x66e47b97,0x7b617115,0xda1a71cb]
3080         , ct:  [0x745f6274,0xb97fcff8,0x8d187107,0x11391b1f]
3081     } ,
3082     {
3083         key:  [0x2e0ec21a,0xe9d8fabb,0x14d0166,0x758ac144]
3084         , pt:  [0xc0932a47,0xef3942fb,0x7e2fd75d,0x13b8d9c4]
3085         , ct:  [0xe55d41ba,0x3ae7ee59,0x1b6548f2,0xd98cbcf5]
3086     } ,
3087     {
3088         key:  [0x38204f88,0xc7ce75b5,0x480be7ae,0xbf1ab9b5]
3089         , pt:  [0xb9ad65ef,0x352c6248,0x9dcdb53e,0xbd093794]
3090         , ct:  [0x2fbb16a9,0xa9a2b731,0x563f8be5,0xb7b50856]
3091     } ,
3092     {
3093         key:  [0xc0f2ee20,0xba88ab87,0x47c18507,0xc26ecc5f]
3094         , pt:  [0xff000c2f,0x6afacbc5,0x7ac24350,0xd2c39265]
3095         , ct:  [0xfb01aeb1,0x32821a9b,0x827df3bc,0xa3311779]
3096     } ,
3097     {
3098         key:  [0x52ca0870,0xeb2fd2c7,0xc06d0271,0x274cef52]
3099         , pt:  [0x8dd69109,0x9e602c7d,0x8c6c2a41,0x1638acd3]
3100         , ct:  [0x72b048c0,0xa963c14f,0xf9b59afa,0x8b6d2e52]
3101     } ,
3102     {
3103         key:  [0x35b65370,0xf4c10205,0xf8d65aa8,0x88a04abf]
3104         , pt:  [0x3b509cfa,0xe5375eef,0xb033a5ec,0x637834bd]
3105         , ct:  [0xf569ed22,0xe04eeef4,0xfba3ca52,0xdb2f8fa]
3106     } ,
3107     {
3108         key:  [0xac024436,0xe7ef3408,0x8a975a18,0xb946511b]
3109         , pt:  [0x33080c70,0x28ab6880,0x2dfd9d3d,0x4a60a44d]
3110         , ct:  [0x701dc445,0xdaa556a0,0x40dd3f84,0xf3e87427]
3111     } ,
3112     {
3113         key:  [0xbd6fef4d,0xac6dd650,0xac423842,0x7270e22]
3114         , pt:  [0x8c21ce8c,0x96013cc6,0xddbd6aa,0x6cf23eb1]
3115         , ct:  [0x66c6ce30,0xc00ffe58,0x7f02fe80,0xac000f1b]
3116     } ,
3117     {
3118         key:  [0x8819c4c0,0x86f48e57,0x3bb41dfa,0x184c981f]
3119         , pt:  [0xd245ba8c,0x889cbdf6,0xcefd9d7,0xd3b94fca]
3120         , ct:  [0x21a47fd5,0x351142a6,0x227cde21,0xaa32631b]
3121     } ,
3122     {
3123         key:  [0x8904867b,0xdb171947,0xf2bea3ed,0x429a62f9]
3124         , pt:  [0x4b512589,0x8437acad,0x8a11ed78,0x4debb0f7]
3125         , ct:  [0xfca288db,0xd610f248,0x3c3a008e,0x4e6671a2]
3126     } ,
3127     {
3128         key:  [0xe6a6bcfd,0x371e21d6,0xcedd4561,0x91a955bd]
3129         , pt:  [0x8295c842,0xcfe2a7ca,0x196b69f0,0x3a84aea5]
3130         , ct:  [0x92e44a36,0x9b17db5b,0xccdbeb6e,0x369942a6]
3131     } ,
3132     {
3133         key:  [0x9d1c3f7,0x6e76b88,0x8bc363e3,0xc0f96d94]
3134         , pt:  [0x2377142b,0x5fd6a5a3,0x64f46321,0xd6e6e270]
3135         , ct:  [0x5b73ec1,0xb0e11da0,0xbba0966f,0xc6c4ef1d]
3136     } ,
3137     {
3138         key:  [0x1f2c51e3,0xcd42609,0x4967bbfb,0x37e190f3]