Initial commit of OpenSPARC T2 design and verification files.
[OpenSPARC-T2-DV] / verif / diag / assembly / isa3 / aes_kat_ecb.s
CommitLineData
86530b38
AT
1/*
2* ========== Copyright Header Begin ==========================================
3*
4* OpenSPARC T2 Processor File: aes_kat_ecb.s
5* Copyright (C) 1995-2007 Sun Microsystems, Inc. All Rights Reserved
6* 4150 Network Circle, Santa Clara, California 95054, U.S.A.
7*
8* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
9*
10* This program is free software; you can redistribute it and/or modify
11* it under the terms of the GNU General Public License as published by
12* the Free Software Foundation; version 2 of the License.
13*
14* This program is distributed in the hope that it will be useful,
15* but WITHOUT ANY WARRANTY; without even the implied warranty of
16* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17* GNU General Public License for more details.
18*
19* You should have received a copy of the GNU General Public License
20* along with this program; if not, write to the Free Software
21* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
22*
23* For the avoidance of doubt, and except that if any non-GPL license
24* choice is available it will apply instead, Sun elects to use only
25* the General Public License version 2 (GPLv2) at this time for any
26* software where a choice of GPL license versions is made
27* available with the language indicating that GPLv2 or any later version
28* may be used, or where a choice of which version of the GPL is applied is
29* otherwise unspecified.
30*
31* Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
32* CA 95054 USA or visit www.sun.com if you need additional information or
33* have any questions.
34*
35*
36* ========== Copyright Header End ============================================
37*/
38#define MAIN_PAGE_HV_ALSO
39#include "hboot.s"
40#define NUM_MODE_PATTERNS 128
41#define NUM_PATTERNS 3*NUM_MODE_PATTERNS
42
43/************************************************************************
44 Test case code start
45 ************************************************************************/
46
47.text
48.global main
49
50main: /* test begin */
51 !# Switch to hpriv mode
52 ta T_CHANGE_HPRIV
53
54 !# how many loops
55 mov 0, %i4 !# Loop counter
56 mov 0, %i5 !# For plaintext/cipher offset
57 mov 0, %i7 !# For key offset
58
59 !# Execute Main Diag ..
60 !# setup ASI register to point to SPU
61 wr %g0, 0x40, %asi
62
63 !# Make sure CWQ is currently disabled, not busy, not terminated, no protocol error; else fail
64 ldxa [%g0 + ASI_SPU_CWQ_CSR] %asi, %l1
65 and %l1, 0xf, %l2
66 cmp %g0, %l2
67 bne,pn %xcc, fail
68 nop
69
70 !# allocate control word queue (e.g., setup head/tail/first/last registers)
71 !# %l6 CWQ_BASE
72 setx CWQ_BASE, %g1, %l6
73
74 !# write base addr to first, head, and tail ptr
75 !# first store to first
76 stxa %l6, [%g0 + ASI_SPU_CWQ_FIRST] %asi
77 ldxa [%g0 + ASI_SPU_CWQ_FIRST] %asi, %l1
78 !# Mask off upper 16 bits
79 setx 0x0000ffffffffffff, %l5, %l0
80 and %l0, %l6, %l2
81 cmp %l1, %l2
82 bne,pn %xcc, fail
83 nop
84
85 !# then to head
86 stxa %l6, [%g0 + ASI_SPU_CWQ_HEAD] %asi
87 ldxa [%g0 + ASI_SPU_CWQ_HEAD] %asi, %l1
88 cmp %l1, %l2
89 bne,pn %xcc, fail
90 nop
91
92 !# then to tail
93 stxa %l6, [%g0 + ASI_SPU_CWQ_TAIL] %asi
94 ldxa [%g0 + ASI_SPU_CWQ_TAIL] %asi, %l1
95 cmp %l1, %l2
96 bne,pn %xcc, fail
97 nop
98
99 !# then end of CWQ region to LAST
100 setx CWQ_LAST, %g1, %l5
101 stxa %l5, [%g0 + ASI_SPU_CWQ_LAST] %asi
102 ldxa [%g0 + ASI_SPU_CWQ_LAST] %asi, %l1
103
104 !# Mask off upper 16 bits
105 and %l0, %l5, %l2
106 cmp %l1, %l2
107 bne,pn %xcc, fail
108 nop
109
110kat_loop:
111 !# Build the first control word, for the first AES vector.
112 !# First build up word 0
113 !# For AES, set op = 64, Enc=1, SOB=EOB=1, SFAS=0, Int=CoreID=0, AuthType=0, EncType=10, status=0, Len=15
114 setx 0x40e000001000000f, %l1, %l2
115 addcc %i4, 0-NUM_MODE_PATTERNS, %g0
116 addC 0, %g0, %g1 !# Add 1 on 192 bit keys => EncType=14
117 addcc %i4, 0-NUM_MODE_PATTERNS*2, %g0
118 addC 0, %g1, %g1 !# Add 2 on 256 bit keys => EncType=18
119 sllx %g1, 26, %g1
120 or %l2, %g1, %l2
121
122 !# %l6 points to CWQ_BASE
123 !# Note: All CWQ entry addresses must be physical!
124 stx %l2, [%l6 + 0x0]
125
126 !# Write source address to next CW field
127 setx plaintext_128, %g1, %l2
128 add %i5, %l2, %l2
129 stx %l2, [%l6+0x8]
130
131 !# Write 0's to the next 3 CW fields as they are not used
132 stx %g0, [%l6+0x10]
133 stx %g0, [%l6+0x18]
134 stx %g0, [%l6+0x20]
135
136 !# Write address of Encryption key
137 setx aes_key_128, %g1, %o2
138 add %i7, %o2, %o2
139 stx %o2, [%l6 + 0x28]
140
141 !# Encryption IV (not used)
142 stx %g0, [%l6+0x30]
143
144 !# Finally write destination address to last CW field
145 setx result, %g1, %o3
146 stx %o3, [%l6 + 0x38]
147
148 !# Make sure all these stores get to memory before we start
149 membar #Sync
150
151 !# Now add 1 (actually 8*8B) to tail pointer
152 ldxa [%g0 + ASI_SPU_CWQ_TAIL] %asi, %l2
153 add %l2, 0x40, %l2
154 stxa %l2, [%g0 + ASI_SPU_CWQ_TAIL] %asi
155 ldxa [%g0 + ASI_SPU_CWQ_TAIL] %asi, %l1
156 cmp %l1, %l2
157 bne,pn %xcc, fail
158 nop
159
160 !# Kick off the CWQ operation by writing to the CWQ_CSR
161 !# Set the enabled bit and reset the other bits
162 or %g0, 0x1, %g1
163 stxa %g1, [%g0 + ASI_SPU_CWQ_CSR] %asi
164
165 !# Try CWQ_SYNC operation...
166 ldxa [%g0 + 0x30] %asi, %l1
167
168 !# Check for protocol error - Riesling should only have busy bit set
169 ldxa [%g0 + ASI_SPU_CWQ_CSR] %asi, %l1
170
171
172 !# check the results...first check the data
173 !# Each AES block is only 16B long (divide by 8 anyway)
174 or %g0, 0x2, %i0
175 !# set %l3 to be base address of result area, and
176 !# %l4 to be base address of known ciphertext area
177 setx result, %g1, %l3
178 setx ciphertext_128, %g1, %l4
179 add %l4, %i5, %l4
180 or %g0, %g0, %g3
181
182more1:
183 ldx [%l3 + %g3], %l1
184 ldx [%l4 + %g3], %l2
185 cmp %l1, %l2
186 bne,pn %xcc, fail
187 add %g3, 0x8, %g3 !# i++
188 addcc %i0, -1, %i0
189 bgt more1
190 nop
191
192 add %l6, 0x40, %l6 !# next CWQ
193 add %i5, 0x10, %i5 !# next pattern
194 add %i4, 1, %i4 !# loop counter
195
196 cmp %i4, NUM_MODE_PATTERNS
197 ble kat_loop
198 add %i7, 0x10, %i7 !# add offset for 128bit keys in branch delay
199
200 add %i7, 0x10, %i7 !# add offset for 192/256 bit keys (keep them aligned!)
201
202 cmp %i4, NUM_PATTERNS
203 bl kat_loop
204 nop
205
206 EXIT_GOOD
207
208fail:
209 EXIT_BAD
210
211
212/************************************************************************
213 Test case data start
214 ************************************************************************/
215.data
216user_data_start:
217scratch_area:
218
219!# temporary area for storing expected result
220.align 16
221result:
222.xword 0xDEADBEEFDEADBEEF, 0xDEADBEEFDEADBEEF
223
224!# CWQ data area, set aside 512 CW's worth
225!# 512*8*8 = 32KB
226.align 32*1024
227CWQ_BASE:
228.xword 0xAAAAAAAAAAAAAAA
229.xword 0xAAAAAAAAAAAAAAA
230.xword 0xAAAAAAAAAAAAAAA
231.xword 0xAAAAAAAAAAAAAAA
232.xword 0xAAAAAAAAAAAAAAA
233.xword 0xAAAAAAAAAAAAAAA
234.xword 0xAAAAAAAAAAAAAAA
235.xword 0xAAAAAAAAAAAAAAA
236.align 32*1024
237CWQ_LAST:
238
239
240.align 16
241plaintext_128:
242.xword 0x506812A45F08C889, 0xB97F5980038B8359
243.xword 0x5C6D71CA30DE8B8B, 0x00549984D2EC7D4B
244.xword 0x53F3F4C64F8616E4, 0xE7C56199F48F21F6
245.xword 0xA1EB65A3487165FB, 0x0F1C27FF9959F703
246.xword 0x3553ECF0B1739558, 0xB08E350A98A39BFA
247.xword 0x67429969490B9711, 0xAE2B01DC497AFDE8
248.xword 0x93385C1F2AEC8BED, 0x192F5A8E161DD508
249.xword 0xB5BF946BE19BEB8D, 0xB3983B5F4C6E8DDB
250.xword 0x41321EE10E21BD90, 0x7227C4450FF42324
251.xword 0x00A82F59C91C8486, 0xD12C0A80124F6089
252.xword 0x7CE0FD076754691B, 0x4BBD9FAF8A1372FE
253.xword 0x23605A8243D07764, 0x541BC5AD355B3129
254.xword 0x12A8CFA23EA764FD, 0x876232B4E842BC44
255.xword 0xBCAF32415E8308B3, 0x723E5FDD853CCC80
256.xword 0x89AFAE685D801AD7, 0x47ACE91FC49ADDE0
257.xword 0xF521D07B484357C4, 0xA69E76124A634216
258.xword 0x3E23B3BC065BCC15, 0x2407E23896D77783
259.xword 0x79F0FBA002BE1744, 0x670E7E99290D8F52
260.xword 0xDA23FE9D5BD63E1D, 0x72E3DAFBE21A6C2A
261.xword 0xE3F5698BA90B6A02, 0x2EFD7DB2C7E6C823
262.xword 0xBDC2691D4F1B73D2, 0x700679C3BCBF9C6E
263.xword 0xBA74E02093217EE1, 0xBA1B42BD5624349A
264.xword 0xB5C593B5851C57FB, 0xF8B3F57715E8F680
265.xword 0x3DA9BD9CEC072381, 0x788F9387C3BBF4EE
266.xword 0x4197F3051121702A, 0xB65D316B3C637374
267.xword 0x9F46C62EC4F6EE3F, 0x6E8C62554BC48AB7
268.xword 0x0220673FE9E699A4, 0xEBC8E0DBEB6979C8
269.xword 0xB2B99171337DED9B, 0xC8C2C23FF6F18867
270.xword 0xA7FACF4E301E984E, 0x5EFEEFD645B23505
271.xword 0xF7C762E4A9819160, 0xFD7ACFB6C4EEDCDD
272.xword 0x9B64FC21EA08709F, 0x4915436FAA70F1BE
273.xword 0x52AF2C3DE07EE677, 0x7F55A4ABFC100B3F
274.xword 0x2FCA001224386C57, 0xAA3F968CBE2C816F
275.xword 0x4149C73658A4A9C5, 0x64342755EE2C132F
276.xword 0xAF60005A00A1772F, 0x7C07A48A923C23D2
277.xword 0x6FCCBC2836375991, 0x4B6F0280AFAF20C6
278.xword 0x7D82A43DDF4FEFA2, 0xFC5947499884D386
279.xword 0x5D5A990EAAB9093A, 0xFE4CE254DFA49EF9
280.xword 0x4CD1E2FD3F4434B5, 0x53AAE453F0ED1A02
281.xword 0x5A2C9A9641D42991, 0x25FA1B9363104B5E
282.xword 0xB517FE34C0FA217D, 0x341740BFD4FE8DD4
283.xword 0x014BAF2278A69D33, 0x1D5180103643E99A
284.xword 0xB529BD8164F20D0A, 0xA443D4932116841C
285.xword 0x2E596DCBB2F33D42, 0x16A1176D5BD1E456
286.xword 0x7274A1EA2B7EE242, 0x4E9A0E4673689143
287.xword 0xAE20020BD4F13E9D, 0x90140BEE3B5D26AF
288.xword 0xBAAC065DA7AC26E8, 0x55E79C8849D75A02
289.xword 0x7C917D8D1D45FAB9, 0xE2540E28832540CC
290.xword 0xBDE6F89E16DAADB0, 0xE847A2A614566A91
291.xword 0xC9DE163725F1F5BE, 0x44EBB1DB51D07FBC
292.xword 0x3AF57A58F0C07DFF, 0xA669572B521E2B92
293.xword 0x3D5EBAC306DDE460, 0x4F1B4FBBBFCDAE55
294.xword 0xC2DFA91BCEB76A11, 0x83C995020AC0B556
295.xword 0xC70F54305885E9A0, 0x746D01EC56C8596B
296.xword 0xC4F81B610E98012C, 0xE000182050C0C2B2
297.xword 0xEAAB86B1D02A95D7, 0x404EFF67489F97D4
298.xword 0x7C55BDB40B88870B, 0x52BEC3738DE82886
299.xword 0xBA6EAA88371FF0A3, 0xBD875E3F2A975CE0
300.xword 0x08059130C4C24BD3, 0x0CF0575E4E0373DC
301.xword 0x9A8EAB004EF53093, 0xDFCF96F57E7EDA82
302.xword 0x0745B589E2400C25, 0xF117B1D796C28129
303.xword 0x2F1777781216CEC3, 0xF044F134B1B92BBE
304.xword 0x353A779FFC541B3A, 0x3805D90CE17580FC
305.xword 0x1A1EAE4415CEFCF0, 0x8C4AC1C8F68BEA8F
306.xword 0xE6E7E4E5B0B3B2B5, 0xD4D5AAAB16111013
307.xword 0xF8F9FAFBFBF8F9E6, 0x77767170EFE0E1E2
308.xword 0x63626160A1A2A3A4, 0x45444B4A75727370
309.xword 0x717073720605040B, 0x2D2C2B2A05FAFBF9
310.xword 0x78797A7BEAE9E8EF, 0x3736292891969794
311.xword 0x838281803231300F, 0xDDDCDBDAA0AFAEAD
312.xword 0x18191A1BBFBCBDBA, 0x75747B7A7F78797A
313.xword 0x848586879B989996, 0xA3A2A5A4849B9A99
314.xword 0x0001020322212027, 0xCACBF4F551565754
315.xword 0xCECFCCCDAFACADB2, 0x515057564A454447
316.xword 0x92939091CDCECFC8, 0x13121D1C80878685
317.xword 0xD2D3D0D16F6C6D62, 0x59585F5ED1EEEFEC
318.xword 0xACADAEAF87848582, 0x0F0E1110D5D2D3D0
319.xword 0x9091929364676619, 0xE6E7E0E1757A7B78
320.xword 0xBABBB8B98A89888F, 0x74757A7B92959497
321.xword 0x8D8C8F8E6E6D6C63, 0x3B3A3D3CCAD5D4D7
322.xword 0x8687848501020304, 0x0808F7F767606162
323.xword 0x8E8F8C8D65666778, 0x8A8B8C8D010E0F0C
324.xword 0xC8C9CACB85868780, 0x7A7B7475E7E0E1E2
325.xword 0x6D6C6F6E5053525D, 0x8C8D8A8BADD2D3D0
326.xword 0x28292A2B393A3B3C, 0x0607181903040506
327.xword 0xA5A4A7A6B0B3B28D, 0xDBDADDDCBDB2B3B0
328.xword 0x3233303164676661, 0x30313E3F2C2B2A29
329.xword 0x27262524080B0A05, 0x171611100B141516
330.xword 0x0405060741424344, 0x35340B0AA3A4A5A6
331.xword 0x242526271112130C, 0x61606766BDB2B3B0
332.xword 0x4B4A494825262720, 0x9E9F9091CEC9C8CB
333.xword 0x68696A6B6665646B, 0x9F9E9998D9E6E7E4
334.xword 0x34353637C5C6C7C0, 0xF0F1EEEF7C7B7A79
335.xword 0x32333031C2C1C13F, 0x0D0C0B0A050A0B08
336.xword 0xCDCCCFCEBEBDBCBB, 0xABAAA5A4181F1E1D
337.xword 0x212023223635343B, 0xA0A1A6A7445B5A59
338.xword 0x0E0F0C0DA8ABAAAD, 0x2F2E515002050407
339.xword 0x070605042A292837, 0x8E8F8889BDB2B3B0
340.xword 0xCBCAC9C893909196, 0xA9A8A7A6A5A2A3A0
341.xword 0x80818283C1C2C3CC, 0x9C9D9A9B0CF3F2F1
342.xword 0x1213101125262720, 0xFAFBE4E5B1B6B7B4
343.xword 0x7F7E7D7C3033320D, 0x97969190222D2C2F
344.xword 0x4E4F4C4D484B4A4D, 0x81808F8E53545556
345.xword 0xDCDDDEDFB0B3B2BD, 0x15141312A1BEBFBC
346.xword 0x93929190282B2A2D, 0xC4C5FAFB92959497
347.xword 0xF5F4F7F6C4C7C6D9, 0x373631307E717073
348.xword 0x93929190B6B5B4B3, 0x64656A6B05020300
349.xword 0xBABBB8B90D0E0F00, 0xA4A5A2A3043B3A39
350.xword 0xD8D9DADB7F7C7D7A, 0x10110E0F787F7E7D
351.xword 0xFEFFFCFDEFECED92, 0x3B3A3D3C6768696A
352.xword 0xD6D7D4D58A89888F, 0x96979899A5A2A3A0
353.xword 0x18191A1BA8ABAAA5, 0x303136379B848586
354.xword 0x6B6A6968A4A7A6A1, 0xD6D72829B0B7B6B5
355.xword 0x000102038A898897, 0x55545352A6A9A8AB
356.xword 0x2D2C2F2EB3B0B1B6, 0xB6B7B8B9F2F5F4F7
357.xword 0x9796959435363738, 0x56575051E09F9E9D
358.xword 0xA4A5A6A7989B9A9D, 0xB1B0AFAE7A7D7C7F
359.xword 0xC1C0C3C2686B6A55, 0xA8A9AEAFEAE5E4E7
360.xword 0xC1C0C3C214171611, 0x8C8D828364636261
361.xword 0x93929190CCCFCEC1, 0x96979091E0FFFEFD
362.xword 0xB4B5B6B7F9FAFBFC, 0x25241B1A6E69686B
363.xword 0x868784850704051A, 0xC7C6C1C08788898A
364.xword 0xF4F5F6F7AAA9A8AF, 0xFDFCF3F277707172
365.xword 0xD3D2D1D00605040B, 0xC3C2C5C43E010003
366.xword 0x7372717042414047, 0x6A6B74750D0A0B08
367.xword 0xC2C3C0C10A0908F7, 0x54555253A1AEAFAC
368.xword 0x6D6C6F6EF8FBFAFD, 0x82838C8DF8FFFEFD
369.xword 0xF5F4F7F684878689, 0xA6A7A0A1D2CDCCCF
370
371plaintext_192:
372.xword 0x2D33EEF2C0430A8A, 0x9EBF45E809C40BB6
373.xword 0x6AA375D1FA155A61, 0xFB72353E0A5A8756
374.xword 0xBC3736518B9490DC, 0xB8ED60EB26758ED4
375.xword 0xAA214402B46CFFB9, 0xF761EC11263A311E
376.xword 0x02AEA86E572EEAB6, 0x6B2C3AF5E9A46FD6
377.xword 0xE2AEF6ACC33B965C, 0x4FA1F91C75FF6F36
378.xword 0x0659DF46427162B9, 0x434865DD9499F91D
379.xword 0x49A44239C748FEB4, 0x56F59C276A5658DF
380.xword 0x66208F6E9D04525B, 0xDEDB2733B6A6BE37
381.xword 0x3393F8DFC729C97F, 0x5480B950BC9666B0
382.xword 0x606834C8CE063F32, 0x34CF1145325DBD71
383.xword 0xFEC1C04F529BBD17, 0xD8CECFCC4718B17F
384.xword 0x32DF99B431ED5DC5, 0xACF8CAF6DC6CE475
385.xword 0x7FDC2B746F3F6652, 0x96943B83710D1F82
386.xword 0x8FBA1510A3C5B87E, 0x2EAA3F7A91455CA2
387.xword 0x2C9B468B1C2EED92, 0x578D41B0716B223B
388.xword 0x0A2BBF0EFC6BC003, 0x4F8A03433FCA1B1A
389.xword 0x25260E1F31F4104D, 0x387222E70632504B
390.xword 0xC527D25A49F08A52, 0x28D338642AE65137
391.xword 0x3B49FC081432F589, 0x0D0E3D87E884A69E
392.xword 0xD173F9ED1E57597E, 0x166931DF2754A083
393.xword 0x8C2B7CAFA5AFE7F1, 0x3562DAEAE1ADEDE0
394.xword 0xAAF4EC8C1A815AEB, 0x826CAB741339532C
395.xword 0x40BE8C5D9108E663, 0xF38F1A2395279ECF
396.xword 0x0C8AD9BC32D43E04, 0x716753AA4CFBE351
397.xword 0x1407B1D5F87D6335, 0x7C8DC7EBBAEBBFEE
398.xword 0xE62734D1AE3378C4, 0x549E939E6F123416
399.xword 0x5A752CFF2A176DB1, 0xA1DE77F2D2CDEE41
400.xword 0xA9C8C3A4EABEDC80, 0xC64730DDD018CD88
401.xword 0xEE9B3DBBDB861800, 0x72130834D305999A
402.xword 0xA7FA8C3586B8EBDE, 0x7568EAD6F634A879
403.xword 0x37E0F4A87F127D45, 0xAC936FE7AD88C10A
404.xword 0x3F77D8B5D92BAC14, 0x8E4E46F697A535C5
405.xword 0xD25EBB686C40F7E2, 0xC4DA1014936571CA
406.xword 0x4F1C769D1E5B0552, 0xC7ECA84DEA26A549
407.xword 0x8548E2F882D7584D, 0x0FAFC54372B6633A
408.xword 0x87D7A336CB476F17, 0x7CD2A51AF2A62CDF
409.xword 0x03B1FEAC668C4E48, 0x5C1065DFC22B44EE
410.xword 0xBDA15E66819FA72D, 0x653A6866AA287962
411.xword 0x4D0C7A0D2505B80B, 0xF8B62CEB12467F0A
412.xword 0x626D34C9429B3721, 0x1330986466B94E5F
413.xword 0x333C3E6BF00656B0, 0x88A17E5FF0E7F60A
414.xword 0x687ED0CDC0D2A2BC, 0x8C466D05EF9D2891
415.xword 0x487830E78CC56C16, 0x93E64B2A6660C7B6
416.xword 0x7A48D6B7B52B2939, 0x2AA2072A32B66160
417.xword 0x907320E64C8C5314, 0xD10F8D7A11C8618D
418.xword 0xB561F2CA2D6E65A4, 0xA98341F3ED9FF533
419.xword 0xDF769380D212792D, 0x026F049E2E3E48EF
420.xword 0x79F374BC445BDABF, 0x8FCCB8843D6054C6
421.xword 0x4E02F1242FA56B05, 0xC68DBAE8FE44C9D6
422.xword 0xCF73C93CBFF57AC6, 0x35A6F4AD2A4A1545
423.xword 0x9923548E28757507, 0x25B886566784C625
424.xword 0x4888336B723A022C, 0x9545320F836A4207
425.xword 0xF84D9A5561B0608B, 0x1160DEE000C41BA8
426.xword 0xC23192A0418E30A1, 0x9B45AE3E3625BF22
427.xword 0xB84E0690B28B0025, 0x381AD82A15E501A7
428.xword 0xACEF5E5C108876C4, 0xF06269F865B8F0B0
429.xword 0x0F1B3603E0F5DDEA, 0x4548246153A5E064
430.xword 0xFBB63893450D42B5, 0x8C6D88CD3C1809E3
431.xword 0x4BEF736DF150259D, 0xAE0C91354E8A5F92
432.xword 0x7D2D46242056EF13, 0xD3C3FC93C128F4C7
433.xword 0xE9C1BA2DF415657A, 0x256EDB33934680FD
434.xword 0xE23EE277B0AA0A1D, 0xFB81F7527C3514F1
435.xword 0x3E7445B0B63CAAF7, 0x5E4A911E12106B4C
436.xword 0x7677747520232225, 0x44455A5BE6E1E0E3
437.xword 0x72737475717E7F7C, 0xE9E8EBEA696A6B6C
438.xword 0xDFDEDDDC25262728, 0xC9C8CFCEF1EEEFEC
439.xword 0xFFFE010070777675, 0x5F5E5D5C7675746B
440.xword 0xE0E1E2E342414047, 0x9F9E9190292E2F2C
441.xword 0x2120272690EFEEED, 0x3B3A39384E4D4C4B
442.xword 0xECEDEEEF5350516E, 0xA1A0A7A6A3ACADAE
443.xword 0x32333C3D25222320, 0xE9E8EBEACECDCCC3
444.xword 0x4041424362616067, 0x8A8BB4B511161714
445.xword 0x94959293F5FAFBF8, 0x1F1E1D1C7C7F7E79
446.xword 0xBEBFBCBD191A1B14, 0xCFCEC9C8546B6A69
447.xword 0x2C2D3233898E8F8C, 0xBBBAB9B8333031CE
448.xword 0x84858687BFBCBDBA, 0x37363938FDFAFBF8
449.xword 0x828384857669686B, 0x909192930B08090E
450.xword 0xBEBFBCBD9695948B, 0x707176779E919093
451.xword 0x8B8A858460676665, 0x21202322D0D3D2DD
452.xword 0x76777475F1F2F3F4, 0xF8F9E6E777707172
453.xword 0xA4A5A2A34F404142, 0xB4B5B6B727242522
454.xword 0x94959697E1E2E3EC, 0x16171011839C9D9E
455.xword 0x03023D3C06010003, 0xDEDFDCDDFFFCFDE2
456.xword 0x10111213F1F2F3F4, 0xCECFC0C1DBDCDDDE
457.xword 0x67666160724D4C4F, 0x1D1C1F1E73707176
458.xword 0xE6E7E4E5A8ABAAD5, 0x84858283909F9E9D
459.xword 0x71707F7E56515053, 0x7D7C7F7E6162636C
460.xword 0x6465666721222324, 0x5555AAAA03040506
461.xword 0x9E9F9899ABA4A5A6, 0xCFCECDCC2B28292E
462.xword 0xC7C6C5C4D1D2D3DC, 0x626364653A454447
463.xword 0xF6F7E8E9E0E7E6E5, 0x1D1C1F1E5B585966
464.xword 0xBCBDBEBF5D5E5F58, 0x68696667F4F3F2F1
465.xword 0x40414647B0AFAEAD, 0x9B9A99989B98999E
466.xword 0x69686B6A0201001F, 0x0F0E0908B4BBBAB9
467.xword 0xC7C6C9C8D8DFDEDD, 0x5A5B5859BEBDBCB3
468.xword 0xDEDFDCDD787B7A7D, 0xFFFEE1E0B2B5B4B7
469.xword 0x4D4C4B4A606F6E6D, 0xD0D1D2D3FBF8F9FE
470.xword 0xB7B6B5B4D7D4D5DA, 0xE5E4E3E2E1FEFFFC
471.xword 0xCECFB0B1F7F0F1F2, 0xAEAFACAD3E3D3C23
472.xword 0xCACBC8C9CDCECFC8, 0x12131C1D494E4F4C
473.xword 0x9D9C9B9AD22D2C2F, 0xB1B0B3B20C0F0E09
474.xword 0x7A7B787964676659, 0x959493924F404142
475.xword 0xAAABA4A5CEC9C8CB, 0x1F1E1D1CABA8A9A6
476.xword 0x93929190282B2A2D, 0xC4C5FAFB92959497
477.xword 0xEFEEE9E8DED1D0D3, 0x39383B3A888B8A8D
478.xword 0x7F7E7D7CA2A1A0AF, 0x78797E7F112E2F2C
479.xword 0x84859A9B2B2C2D2E, 0x868784852625245B
480.xword 0xB0B1B2B307040502, 0x6869666710171615
481.xword 0xACADAAABBDA2A3A0, 0x0D0C0F0E595A5B5C
482.xword 0x121310115655544B, 0x5253545569666764
483.xword 0xDEDFD0D166616063, 0xEAEBE8E94142434C
484.xword 0xDBDAD9D814171611, 0x66677879E0E7E6E5
485.xword 0x6A6B6C6DE0EFEEED, 0x2B2A2928C0C3C2C5
486.xword 0xB1B0B3B21714151A, 0x1A1B1C1D5649484B
487.xword 0x39380706A3A4A5A6, 0xC4C5C6C77271706F
488.xword 0x5C5D5E5F10131215, 0x39383736E2E5E4E7
489.xword 0x43424544EAD5D4D7, 0x2E2F2C2D64676661
490.xword 0x55545756989B9A65, 0xF8F9FEFF18171615
491.xword 0x05040B0A52555457, 0x3C3D3E3F4A494847
492.xword 0x14151617595A5B5C, 0x8584FBFA8E89888B
493.xword 0x7C7D7A7BFDF2F3F0, 0x29282B2A51525354
494.xword 0x38393A3B1E1D1C13, 0x41404746C23D3C3E
495.xword 0x8D8C939240474645, 0x818083827C7F7E41
496.xword 0x3B3A39381A19181F, 0x32333C3D45424340
497.xword 0xF0F1F6F738272625, 0x828380817F7C7D7A
498.xword 0x89888B8A04070619, 0x66676061141B1A19
499.xword 0xD3D2DDDCAAADACAF, 0x9C9D9E9FE8EBEAE5
500
501plaintext_256:
502.xword 0x834EADFCCAC7E1B3, 0x0664B1ABA44815AB
503.xword 0xD9DC4DBA3021B05D, 0x67C0518F72B62BF1
504.xword 0xA291D86301A4A739, 0xF7392173AA3C604C
505.xword 0x4264B2696498DE4D, 0xF79788A9F83E9390
506.xword 0xEE9932B3721804D5, 0xA83EF5949245B6F6
507.xword 0xE6248F55C5FDCBCA, 0x9CBBB01C88A2EA77
508.xword 0xB8358E41B9DFF65F, 0xD461D55A99266247
509.xword 0xF0E2D72260AF58E2, 0x1E015AB3A4C0D906
510.xword 0x475B8B823CE8893D, 0xB3C44A9F2A379FF7
511.xword 0x688F528194581286, 0x2F5F3076CF80412F
512.xword 0x08D1D2BC750AF553, 0x365D35E75AFACEAA
513.xword 0x8707121F47CC3EFC, 0xECA5F9A8474950A1
514.xword 0xE51AA0B135DBA566, 0x939C3B6359A980C5
515.xword 0x069A007FC76A459F, 0x98BAF917FEDF9521
516.xword 0x726165C1723FBCF6, 0xC026D7D00B091027
517.xword 0xD7C544DE91D55CFC, 0xDE1F84CA382200CE
518.xword 0xFED3C9A161B9B5B2, 0xBD611B41DC9DA357
519.xword 0x4F634CDC65510434, 0x09F30B635832CF82
520.xword 0x109CE98DB0DFB367, 0x34D9F3394711B4E6
521.xword 0x4EA6DFABA2D8A02F, 0xFDFFA89835987242
522.xword 0x5AE094F54AF58E6E, 0x3CDBF976DAC6D9EF
523.xword 0x764D8E8E0F29926D, 0xBE5122E66354FDBE
524.xword 0x3F0418F888CDF29A, 0x982BF6B75410D6A9
525.xword 0xE4A3E7CB12CDD56A, 0xA4A75197A9530220
526.xword 0x211677684AAC1EC1, 0xA160F44C4EBF3F26
527.xword 0xD21E439FF749AC8F, 0x18D6D4B105E03895
528.xword 0xD9F6FF44646C4725, 0xBD4C0103FF5552A7
529.xword 0x0B1256C2A00B9762, 0x50CFC5B0C37ED382
530.xword 0xB056447FFC6DC452, 0x3A36CC2E972A3A79
531.xword 0x5E25CA78F0DE5580, 0x2524D38DA3FE4456
532.xword 0xA5BCF4728FA5EAAD, 0x8567C0DC24675F83
533.xword 0x814E59F97ED84646, 0xB78B2CA022E9CA43
534.xword 0x15478BEEC58F4775, 0xC7A7F5D4395514D7
535.xword 0x253548FFCA461C67, 0xC8CBC78CD59F4756
536.xword 0xFD7AD8D73B9B0F8C, 0xC41600640F503D65
537.xword 0x06199DE52C6CBF8A, 0xF954CD65830BCD56
538.xword 0xF17C4FFE48E44C61, 0xBD891E257E725794
539.xword 0x9A5B4A402A3E8A59, 0xBE6BF5CD8154F029
540.xword 0x79BD40B91A7E07DC, 0x939D441782AE6B17
541.xword 0xD8CEAAF8976E5FBE, 0x1012D8C84F323799
542.xword 0x3316E2751E2E388B, 0x083DA23DD6AC3FBE
543.xword 0x8B7CFBE37DE7DCA7, 0x93521819242C5816
544.xword 0xF23F033C0EEBF8EC, 0x55752662FD58CE68
545.xword 0x59EB34F6C8BDBACC, 0x5FC6AD73A59A1301
546.xword 0xDCDE8B6BD5CF7CC2, 0x2D9505E3CE81261A
547.xword 0xE33CF7E524FED781, 0xE7042FF9F4B35DC7
548.xword 0x27963C8FACDF7306, 0x2867D164DF6D064C
549.xword 0x77B1CE386B551B99, 0x5F2F2A1DA994EEF8
550.xword 0xF083388B013679EF, 0xCF0BB9B15D52AE5C
551.xword 0xC5009E0DAB55DB0A, 0xBDB636F2600290C8
552.xword 0x7804881E26CD532D, 0x8514D3683F00F1B9
553.xword 0x46CDDCD73D1EB53E, 0x675CA012870A92A3
554.xword 0xA9FB44062BB07FE1, 0x30A8E8299EACB1AB
555.xword 0x2B6FF8D7A5CC3A28, 0xA22D5A6F221AF26B
556.xword 0x1A9527C29B8ADD4B, 0x0E3E656DBB2AF8B4
557.xword 0x7F99CF2C75244DF0, 0x15EB4B0C1050AEAE
558.xword 0xE84FF85B0D945407, 0x1909C1381646C4ED
559.xword 0x89AFD40F99521280, 0xD5399B12404F6DB4
560.xword 0xA09EF32DBC5119A3, 0x5AB7FA38656F0329
561.xword 0x61773457F068C376, 0xC7829B93E696E716
562.xword 0xA34F0CAE726CCE41, 0xDD498747D891B967
563.xword 0x856F59496C7388EE, 0x2D2B1A27B7697847
564.xword 0xCB090C593EF7720B, 0xD95908FB93B49DF4
565.xword 0xA0AC75CD2F1923D4, 0x60FC4D457AD95BAF
566.xword 0x2A2B282974777689, 0xE8E9EEEF525D5C5F
567.xword 0x909192939390919E, 0x0F0E09089788898A
568.xword 0x777675748D8E8F90, 0x7170777649464744
569.xword 0x717073720605040B, 0x2D2C2B2A05FAFBF9
570.xword 0x64656667FEFDFCC3, 0x1B1A1D1CA5AAABA8
571.xword 0xDBDAD9D86A696867, 0xB5B4B3B2C8D7D6D5
572.xword 0x5C5D5E5FE3E0E1FE, 0x31303736333C3D3E
573.xword 0x545556574B484946, 0x73727574546B6A69
574.xword 0xECEDEEEFC6C5C4BB, 0x56575051F5FAFBF8
575.xword 0x464744452724252A, 0xC9C8CFCED2CDCCCF
576.xword 0xE6E7E4E54142435C, 0x878681801C131211
577.xword 0x72737071CFCCCDC2, 0xF9F8FFFE710E0F0C
578.xword 0x505152537370714E, 0xC3C2C5C4010E0F0C
579.xword 0xA8A9AAAB5C5F5E51, 0xAEAFA8A93D222320
580.xword 0xDEDFDCDDF6F5F4EB, 0x10111617FEF1F0F3
581.xword 0xBDBCBFBE5E5D5C53, 0x0B0A0D0CFAC5C4C7
582.xword 0x8A8B8889050606F8, 0xF4F5F2F3636C6D6E
583.xword 0xA6A7A4A54D4E4F40, 0xB2B3B4B539262724
584.xword 0x9C9D9E9FE9EAEBF4, 0x0E0F08099B949596
585.xword 0x2D2C2F2E1013121D, 0xCCCDCACBED121310
586.xword 0xF4F5F6F7EDEEEFD0, 0xEAEBECEDF7F8F9FA
587.xword 0x3D3C3F3E282B2A25, 0x73727574150A0B08
588.xword 0xB6B7B4B5F8FBFAE5, 0xB4B5B2B3A0AFAEAD
589.xword 0xB7B6B5B4989B9A95, 0x878681809BA4A5A6
590.xword 0xA8A9AAABE5E6E798, 0xE9E8EFEE4748494A
591.xword 0xECEDEEEFD9DADBD4, 0xB9B8BFBE657A7B78
592.xword 0x7F7E7D7C696A6B74, 0xCACBCCCD929D9C9F
593.xword 0x08090A0B0605040B, 0xFFFEF9F8B9C6C7C4
594.xword 0x08090A0BF1F2F3CC, 0xFCFDFAFB68676665
595.xword 0xCACBC8C93A393837, 0x050403020D121310
596.xword 0xE9E8EBEA8281809F, 0x8F8E8988343B3A39
597.xword 0x515053524645444B, 0xD0D1D6D7340B0A09
598.xword 0x42434041ECEFEE11, 0x93929594C6C9C8CB
599.xword 0xEFEEEDECC2C1C0CF, 0x76777071455A5B58
600.xword 0x5F5E5D5C3F3C3D22, 0x1D1C1B1A19161714
601.xword 0x000102034142434C, 0x1C1D1A1B8D727371
602.xword 0x8E8F8C8DB1B2B38C, 0x56575051050A0B08
603.xword 0xA7A6A5A4E8EBEAE5, 0x7F7E7978CAD5D4D7
604.xword 0x8A8B888994979689, 0x454443429F909192
605.xword 0x8C8D8E8FE0E3E2ED, 0x45444342F1CECFCC
606.xword 0xFFFEFDFC4C4F4E31, 0xD8D9DEDFB6B9B8BB
607.xword 0xFDFCFFFECCCFCEC1, 0x2F2E29286679787B
608.xword 0x67666564BAB9B8A7, 0x7071767719161714
609.xword 0x9A9B98992D2E2F20, 0x84858283245B5A59
610.xword 0xA4A5A6A70B080936, 0x5C5D5A5B2C232221
611.xword 0x464744455754555A, 0xF3F2F5F4AFB0B1B2
612.xword 0x323330317675746B, 0x7273747549464744
613.xword 0xA8A9AAAB181B1A15, 0x808186872B141516
614.xword 0xE7E6E5E4202323DD, 0xAAABACAD343B3A39
615.xword 0xA8A9AAAB2221202F, 0xEDECEBEA1E010003
616.xword 0xF9F8FBFA5F5C5D42, 0x424344450E010003
617.xword 0x57565554F5F6F7F8, 0x9697909120DFDEDD
618.xword 0xF8F9FAFBCCCFCEF1, 0xDDDCDBDA0E010003
619.xword 0xD9D8DBDA7073727D, 0x80818687C2DDDCDF
620.xword 0xC5C4C7C6080B0A15, 0x88898E8F68676665
621.xword 0x83828180DCDFDED1, 0x86878081F0CFCECD
622.xword 0x98999A9BDDDEDFA0, 0x79787F7E0A050407
623.xword 0xCECFCCCD4F4C4D42, 0x9F9E9998DFC0C1C2
624.xword 0x404142436665647B, 0x29282F2EABA4A5A6
625.xword 0x33323130E6E5E4EB, 0x23222524DEA1A0A3
626.xword 0xCFCECDCCF6F5F4CB, 0xE6E7E0E199969794
627.xword 0xBABBB8B97271707F, 0xDCDDDADB29363734
628.xword 0xC9C8CBCA44474659, 0x26272021545B5A59
629.xword 0x0504070674777679, 0x56575051221D1C1F
630
631.align 16
632aes_key_128:
633.xword 0x0001020305060708, 0x0A0B0C0D0F101112
634.xword 0x14151617191A1B1C, 0x1E1F202123242526
635.xword 0x28292A2B2D2E2F30, 0x323334353738393A
636.xword 0x3C3D3E3F41424344, 0x464748494B4C4D4E
637.xword 0x5051525355565758, 0x5A5B5C5D5F606162
638.xword 0x64656667696A6B6C, 0x6E6F707173747576
639.xword 0x78797A7B7D7E7F80, 0x828384858788898A
640.xword 0x8C8D8E8F91929394, 0x969798999B9C9D9E
641.xword 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2
642.xword 0xB4B5B6B7B9BABBBC, 0xBEBFC0C1C3C4C5C6
643.xword 0xC8C9CACBCDCECFD0, 0xD2D3D4D5D7D8D9DA
644.xword 0xDCDDDEDFE1E2E3E4, 0xE6E7E8E9EBECEDEE
645.xword 0xF0F1F2F3F5F6F7F8, 0xFAFBFCFDFE010002
646.xword 0x04050607090A0B0C, 0x0E0F101113141516
647.xword 0x2C2D2E2F31323334, 0x363738393B3C3D3E
648.xword 0x4041424345464748, 0x4A4B4C4D4F505152
649.xword 0x54555657595A5B5C, 0x5E5F606163646566
650.xword 0x68696A6B6D6E6F70, 0x727374757778797A
651.xword 0x7C7D7E7F81828384, 0x868788898B8C8D8E
652.xword 0xA4A5A6A7A9AAABAC, 0xAEAFB0B1B3B4B5B6
653.xword 0xE0E1E2E3E5E6E7E8, 0xEAEBECEDEFF0F1F2
654.xword 0x08090A0B0D0E0F10, 0x121314151718191A
655.xword 0x6C6D6E6F71727374, 0x767778797B7C7D7E
656.xword 0x8081828385868788, 0x8A8B8C8D8F909192
657.xword 0x94959697999A9B9C, 0x9E9FA0A1A3A4A5A6
658.xword 0xA8A9AAABADAEAFB0, 0xB2B3B4B5B7B8B9BA
659.xword 0xBCBDBEBFC1C2C3C4, 0xC6C7C8C9CBCCCDCE
660.xword 0xD0D1D2D3D5D6D7D8, 0xDADBDCDDDFE0E1E2
661.xword 0xE4E5E6E7E9EAEBEC, 0xEEEFF0F1F3F4F5F6
662.xword 0xF8F9FAFBFDFEFE00, 0x020304050708090A
663.xword 0x0C0D0E0F11121314, 0x161718191B1C1D1E
664.xword 0x2021222325262728, 0x2A2B2C2D2F303132
665.xword 0x34353637393A3B3C, 0x3E3F404143444546
666.xword 0x48494A4B4D4E4F50, 0x525354555758595A
667.xword 0x5C5D5E5F61626364, 0x666768696B6C6D6E
668.xword 0x7071727375767778, 0x7A7B7C7D7F808182
669.xword 0x84858687898A8B8C, 0x8E8F909193949596
670.xword 0x98999A9B9D9E9FA0, 0xA2A3A4A5A7A8A9AA
671.xword 0xACADAEAFB1B2B3B4, 0xB6B7B8B9BBBCBDBE
672.xword 0xC0C1C2C3C5C6C7C8, 0xCACBCCCDCFD0D1D2
673.xword 0xD4D5D6D7D9DADBDC, 0xDEDFE0E1E3E4E5E6
674.xword 0xE8E9EAEBEDEEEFF0, 0xF2F3F4F5F7F8F9FA
675.xword 0xFCFDFEFF01020304, 0x060708090B0C0D0E
676.xword 0x1011121315161718, 0x1A1B1C1D1F202122
677.xword 0x24252627292A2B2C, 0x2E2F303133343536
678.xword 0x38393A3B3D3E3F40, 0x424344454748494A
679.xword 0x4C4D4E4F51525354, 0x565758595B5C5D5E
680.xword 0x6061626365666768, 0x6A6B6C6D6F707172
681.xword 0x74757677797A7B7C, 0x7E7F808183848586
682.xword 0x88898A8B8D8E8F90, 0x929394959798999A
683.xword 0x9C9D9E9FA1A2A3A4, 0xA6A7A8A9ABACADAE
684.xword 0xB0B1B2B3B5B6B7B8, 0xBABBBCBDBFC0C1C2
685.xword 0xC4C5C6C7C9CACBCC, 0xCECFD0D1D3D4D5D6
686.xword 0xD8D9DADBDDDEDFE0, 0xE2E3E4E5E7E8E9EA
687.xword 0xECEDEEEFF1F2F3F4, 0xF6F7F8F9FBFCFDFE
688.xword 0x0001020305060708, 0x0A0B0C0D0F101112
689.xword 0x14151617191A1B1C, 0x1E1F202123242526
690.xword 0x28292A2B2D2E2F30, 0x323334353738393A
691.xword 0x3C3D3E3F41424344, 0x464748494B4C4D4E
692.xword 0x5051525355565758, 0x5A5B5C5D5F606162
693.xword 0x64656667696A6B6C, 0x6E6F707173747576
694.xword 0x78797A7B7D7E7F80, 0x828384858788898A
695.xword 0x8C8D8E8F91929394, 0x969798999B9C9D9E
696.xword 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2
697.xword 0xB4B5B6B7B9BABBBC, 0xBEBFC0C1C3C4C5C6
698.xword 0xC8C9CACBCDCECFD0, 0xD2D3D4D5D7D8D9DA
699.xword 0xDCDDDEDFE1E2E3E4, 0xE6E7E8E9EBECEDEE
700.xword 0xF0F1F2F3F5F6F7F8, 0xFAFBFCFDFE010002
701.xword 0x04050607090A0B0C, 0x0E0F101113141516
702.xword 0x18191A1B1D1E1F20, 0x222324252728292A
703.xword 0x2C2D2E2F31323334, 0x363738393B3C3D3E
704.xword 0x4041424345464748, 0x4A4B4C4D4F505152
705.xword 0x54555657595A5B5C, 0x5E5F606163646566
706.xword 0x68696A6B6D6E6F70, 0x727374757778797A
707.xword 0x7C7D7E7F81828384, 0x868788898B8C8D8E
708.xword 0x9091929395969798, 0x9A9B9C9D9FA0A1A2
709.xword 0xA4A5A6A7A9AAABAC, 0xAEAFB0B1B3B4B5B6
710.xword 0xB8B9BABBBDBEBFC0, 0xC2C3C4C5C7C8C9CA
711.xword 0xCCCDCECFD1D2D3D4, 0xD6D7D8D9DBDCDDDE
712.xword 0xE0E1E2E3E5E6E7E8, 0xEAEBECEDEFF0F1F2
713.xword 0xF4F5F6F7F9FAFBFC, 0xFEFE010103040506
714.xword 0x08090A0B0D0E0F10, 0x121314151718191A
715.xword 0x1C1D1E1F21222324, 0x262728292B2C2D2E
716.xword 0x3031323335363738, 0x3A3B3C3D3F404142
717.xword 0x44454647494A4B4C, 0x4E4F505153545556
718.xword 0x58595A5B5D5E5F60, 0x626364656768696A
719.xword 0x6C6D6E6F71727374, 0x767778797B7C7D7E
720.xword 0x8081828385868788, 0x8A8B8C8D8F909192
721.xword 0x94959697999A9B9C, 0x9E9FA0A1A3A4A5A6
722.xword 0xA8A9AAABADAEAFB0, 0xB2B3B4B5B7B8B9BA
723.xword 0xBCBDBEBFC1C2C3C4, 0xC6C7C8C9CBCCCDCE
724.xword 0xD0D1D2D3D5D6D7D8, 0xDADBDCDDDFE0E1E2
725.xword 0xE4E5E6E7E9EAEBEC, 0xEEEFF0F1F3F4F5F6
726.xword 0xF8F9FAFBFDFEFE00, 0x020304050708090A
727.xword 0x0C0D0E0F11121314, 0x161718191B1C1D1E
728.xword 0x2021222325262728, 0x2A2B2C2D2F303132
729.xword 0x34353637393A3B3C, 0x3E3F404143444546
730.xword 0x48494A4B4D4E4F50, 0x525354555758595A
731.xword 0x5C5D5E5F61626364, 0x666768696B6C6D6E
732.xword 0x7071727375767778, 0x7A7B7C7D7F808182
733.xword 0x84858687898A8B8C, 0x8E8F909193949596
734.xword 0x98999A9B9D9E9FA0, 0xA2A3A4A5A7A8A9AA
735.xword 0xACADAEAFB1B2B3B4, 0xB6B7B8B9BBBCBDBE
736.xword 0xC0C1C2C3C5C6C7C8, 0xCACBCCCDCFD0D1D2
737.xword 0xD4D5D6D7D9DADBDC, 0xDEDFE0E1E3E4E5E6
738.xword 0xE8E9EAEBEDEEEFF0, 0xF2F3F4F5F7F8F9FA
739.xword 0xFCFDFEFF01020304, 0x060708090B0C0D0E
740.xword 0x1011121315161718, 0x1A1B1C1D1F202122
741.xword 0x24252627292A2B2C, 0x2E2F303133343536
742.xword 0x38393A3B3D3E3F40, 0x424344454748494A
743.xword 0x4C4D4E4F51525354, 0x565758595B5C5D5E
744.xword 0x6061626365666768, 0x6A6B6C6D6F707172
745.xword 0x74757677797A7B7C, 0x7E7F808183848586
746.xword 0x88898A8B8D8E8F90, 0x929394959798999A
747.xword 0x9C9D9E9FA1A2A3A4, 0xA6A7A8A9ABACADAE
748.xword 0xB0B1B2B3B5B6B7B8, 0xBABBBCBDBFC0C1C2
749.xword 0xC4C5C6C7C9CACBCC, 0xCECFD0D1D3D4D5D6
750.xword 0xD8D9DADBDDDEDFE0, 0xE2E3E4E5E7E8E9EA
751.xword 0xECEDEEEFF1F2F3F4, 0xF6F7F8F9FBFCFDFE
752.xword 0x0001020305060708, 0x0A0B0C0D0F101112
753.xword 0x14151617191A1B1C, 0x1E1F202123242526
754.xword 0x28292A2B2D2E2F30, 0x323334353738393A
755.xword 0x3C3D3E3F41424344, 0x464748494B4C4D4E
756.xword 0x5051525355565758, 0x5A5B5C5D5F606162
757.xword 0x64656667696A6B6C, 0x6E6F707173747576
758.xword 0x78797A7B7D7E7F80, 0x828384858788898A
759.xword 0x8C8D8E8F91929394, 0x969798999B9C9D9E
760.xword 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2
761
762aes_key_192:
763.xword 0x0001020305060708, 0x0A0B0C0D0F101112, 0x14151617191A1B1C, 0x0
764.xword 0x1E1F202123242526, 0x28292A2B2D2E2F30, 0x323334353738393A, 0x0
765.xword 0x3C3D3E3F41424344, 0x464748494B4C4D4E, 0x5051525355565758, 0x0
766.xword 0x5A5B5C5D5F606162, 0x64656667696A6B6C, 0x6E6F707173747576, 0x0
767.xword 0x78797A7B7D7E7F80, 0x828384858788898A, 0x8C8D8E8F91929394, 0x0
768.xword 0x969798999B9C9D9E, 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2, 0x0
769.xword 0xB4B5B6B7B9BABBBC, 0xBEBFC0C1C3C4C5C6, 0xC8C9CACBCDCECFD0, 0x0
770.xword 0xD2D3D4D5D7D8D9DA, 0xDCDDDEDFE1E2E3E4, 0xE6E7E8E9EBECEDEE, 0x0
771.xword 0xF0F1F2F3F5F6F7F8, 0xFAFBFCFDFE010002, 0x04050607090A0B0C, 0x0
772.xword 0x0E0F101113141516, 0x18191A1B1D1E1F20, 0x222324252728292A, 0x0
773.xword 0x2C2D2E2F31323334, 0x363738393B3C3D3E, 0x4041424345464748, 0x0
774.xword 0x4A4B4C4D4F505152, 0x54555657595A5B5C, 0x5E5F606163646566, 0x0
775.xword 0x68696A6B6D6E6F70, 0x727374757778797A, 0x7C7D7E7F81828384, 0x0
776.xword 0x868788898B8C8D8E, 0x9091929395969798, 0x9A9B9C9D9FA0A1A2, 0x0
777.xword 0xA4A5A6A7A9AAABAC, 0xAEAFB0B1B3B4B5B6, 0xB8B9BABBBDBEBFC0, 0x0
778.xword 0xC2C3C4C5C7C8C9CA, 0xCCCDCECFD1D2D3D4, 0xD6D7D8D9DBDCDDDE, 0x0
779.xword 0xE0E1E2E3E5E6E7E8, 0xEAEBECEDEFF0F1F2, 0xF4F5F6F7F9FAFBFC, 0x0
780.xword 0xFEFE010103040506, 0x08090A0B0D0E0F10, 0x121314151718191A, 0x0
781.xword 0x1C1D1E1F21222324, 0x262728292B2C2D2E, 0x3031323335363738, 0x0
782.xword 0x3A3B3C3D3F404142, 0x44454647494A4B4C, 0x4E4F505153545556, 0x0
783.xword 0x58595A5B5D5E5F60, 0x626364656768696A, 0x6C6D6E6F71727374, 0x0
784.xword 0x767778797B7C7D7E, 0x8081828385868788, 0x8A8B8C8D8F909192, 0x0
785.xword 0x94959697999A9B9C, 0x9E9FA0A1A3A4A5A6, 0xA8A9AAABADAEAFB0, 0x0
786.xword 0xD0D1D2D3D5D6D7D8, 0xDADBDCDDDFE0E1E2, 0xE4E5E6E7E9EAEBEC, 0x0
787.xword 0x2A2B2C2D2F303132, 0x34353637393A3B3C, 0x3E3F404143444546, 0x0
788.xword 0x48494A4B4D4E4F50, 0x525354555758595A, 0x5C5D5E5F61626364, 0x0
789.xword 0x84858687898A8B8C, 0x8E8F909193949596, 0x98999A9B9D9E9FA0, 0x0
790.xword 0xA2A3A4A5A7A8A9AA, 0xACADAEAFB1B2B3B4, 0xB6B7B8B9BBBCBDBE, 0x0
791.xword 0xC0C1C2C3C5C6C7C8, 0xCACBCCCDCFD0D1D2, 0xD4D5D6D7D9DADBDC, 0x0
792.xword 0x1A1B1C1D1F202122, 0x24252627292A2B2C, 0x2E2F303133343536, 0x0
793.xword 0x38393A3B3D3E3F40, 0x424344454748494A, 0x4C4D4E4F51525354, 0x0
794.xword 0x929394959798999A, 0x9C9D9E9FA1A2A3A4, 0xA6A7A8A9ABACADAE, 0x0
795.xword 0x464748494B4C4D4E, 0x5051525355565758, 0x5A5B5C5D5F606162, 0x0
796.xword 0x828384858788898A, 0x8C8D8E8F91929394, 0x969798999B9C9D9E, 0x0
797.xword 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2, 0xB4B5B6B7B9BABBBC, 0x0
798.xword 0xBEBFC0C1C3C4C5C6, 0xC8C9CACBCDCECFD0, 0xD2D3D4D5D7D8D9DA, 0x0
799.xword 0xDCDDDEDFE1E2E3E4, 0xE6E7E8E9EBECEDEE, 0xF0F1F2F3F5F6F7F8, 0x0
800.xword 0xFAFBFCFDFE010002, 0x04050607090A0B0C, 0x0E0F101113141516, 0x0
801.xword 0x18191A1B1D1E1F20, 0x222324252728292A, 0x2C2D2E2F31323334, 0x0
802.xword 0x363738393B3C3D3E, 0x4041424345464748, 0x4A4B4C4D4F505152, 0x0
803.xword 0x54555657595A5B5C, 0x5E5F606163646566, 0x68696A6B6D6E6F70, 0x0
804.xword 0x727374757778797A, 0x7C7D7E7F81828384, 0x868788898B8C8D8E, 0x0
805.xword 0x9091929395969798, 0x9A9B9C9D9FA0A1A2, 0xA4A5A6A7A9AAABAC, 0x0
806.xword 0xAEAFB0B1B3B4B5B6, 0xB8B9BABBBDBEBFC0, 0xC2C3C4C5C7C8C9CA, 0x0
807.xword 0xCCCDCECFD1D2D3D4, 0xD6D7D8D9DBDCDDDE, 0xE0E1E2E3E5E6E7E8, 0x0
808.xword 0xEAEBECEDEFF0F1F2, 0xF4F5F6F7F9FAFBFC, 0xFEFE010103040506, 0x0
809.xword 0x08090A0B0D0E0F10, 0x121314151718191A, 0x1C1D1E1F21222324, 0x0
810.xword 0x262728292B2C2D2E, 0x3031323335363738, 0x3A3B3C3D3F404142, 0x0
811.xword 0x44454647494A4B4C, 0x4E4F505153545556, 0x58595A5B5D5E5F60, 0x0
812.xword 0x626364656768696A, 0x6C6D6E6F71727374, 0x767778797B7C7D7E, 0x0
813.xword 0x8081828385868788, 0x8A8B8C8D8F909192, 0x94959697999A9B9C, 0x0
814.xword 0x9E9FA0A1A3A4A5A6, 0xA8A9AAABADAEAFB0, 0xB2B3B4B5B7B8B9BA, 0x0
815.xword 0xBCBDBEBFC1C2C3C4, 0xC6C7C8C9CBCCCDCE, 0xD0D1D2D3D5D6D7D8, 0x0
816.xword 0xDADBDCDDDFE0E1E2, 0xE4E5E6E7E9EAEBEC, 0xEEEFF0F1F3F4F5F6, 0x0
817.xword 0xF8F9FAFBFDFEFE00, 0x020304050708090A, 0x0C0D0E0F11121314, 0x0
818.xword 0x161718191B1C1D1E, 0x2021222325262728, 0x2A2B2C2D2F303132, 0x0
819.xword 0x34353637393A3B3C, 0x3E3F404143444546, 0x48494A4B4D4E4F50, 0x0
820.xword 0x525354555758595A, 0x5C5D5E5F61626364, 0x666768696B6C6D6E, 0x0
821.xword 0x7071727375767778, 0x7A7B7C7D7F808182, 0x84858687898A8B8C, 0x0
822.xword 0x8E8F909193949596, 0x98999A9B9D9E9FA0, 0xA2A3A4A5A7A8A9AA, 0x0
823.xword 0xACADAEAFB1B2B3B4, 0xB6B7B8B9BBBCBDBE, 0xC0C1C2C3C5C6C7C8, 0x0
824.xword 0xCACBCCCDCFD0D1D2, 0xD4D5D6D7D9DADBDC, 0xDEDFE0E1E3E4E5E6, 0x0
825.xword 0xE8E9EAEBEDEEEFF0, 0xF2F3F4F5F7F8F9FA, 0xFCFDFEFF01020304, 0x0
826.xword 0x060708090B0C0D0E, 0x1011121315161718, 0x1A1B1C1D1F202122, 0x0
827.xword 0x24252627292A2B2C, 0x2E2F303133343536, 0x38393A3B3D3E3F40, 0x0
828.xword 0x424344454748494A, 0x4C4D4E4F51525354, 0x565758595B5C5D5E, 0x0
829.xword 0x6061626365666768, 0x6A6B6C6D6F707172, 0x74757677797A7B7C, 0x0
830.xword 0x7E7F808183848586, 0x88898A8B8D8E8F90, 0x929394959798999A, 0x0
831.xword 0x9C9D9E9FA1A2A3A4, 0xA6A7A8A9ABACADAE, 0xB0B1B2B3B5B6B7B8, 0x0
832.xword 0xBABBBCBDBFC0C1C2, 0xC4C5C6C7C9CACBCC, 0xCECFD0D1D3D4D5D6, 0x0
833.xword 0xD8D9DADBDDDEDFE0, 0xE2E3E4E5E7E8E9EA, 0xECEDEEEFF1F2F3F4, 0x0
834.xword 0xF6F7F8F9FBFCFDFE, 0x0001020305060708, 0x0A0B0C0D0F101112, 0x0
835.xword 0x14151617191A1B1C, 0x1E1F202123242526, 0x28292A2B2D2E2F30, 0x0
836.xword 0x323334353738393A, 0x3C3D3E3F41424344, 0x464748494B4C4D4E, 0x0
837.xword 0x5051525355565758, 0x5A5B5C5D5F606162, 0x64656667696A6B6C, 0x0
838.xword 0x6E6F707173747576, 0x78797A7B7D7E7F80, 0x828384858788898A, 0x0
839.xword 0x8C8D8E8F91929394, 0x969798999B9C9D9E, 0xA0A1A2A3A5A6A7A8, 0x0
840.xword 0xAAABACADAFB0B1B2, 0xB4B5B6B7B9BABBBC, 0xBEBFC0C1C3C4C5C6, 0x0
841.xword 0xC8C9CACBCDCECFD0, 0xD2D3D4D5D7D8D9DA, 0xDCDDDEDFE1E2E3E4, 0x0
842.xword 0xE6E7E8E9EBECEDEE, 0xF0F1F2F3F5F6F7F8, 0xFAFBFCFDFE010002, 0x0
843.xword 0x04050607090A0B0C, 0x0E0F101113141516, 0x18191A1B1D1E1F20, 0x0
844.xword 0x222324252728292A, 0x2C2D2E2F31323334, 0x363738393B3C3D3E, 0x0
845.xword 0x4041424345464748, 0x4A4B4C4D4F505152, 0x54555657595A5B5C, 0x0
846.xword 0x5E5F606163646566, 0x68696A6B6D6E6F70, 0x727374757778797A, 0x0
847.xword 0x7C7D7E7F81828384, 0x868788898B8C8D8E, 0x9091929395969798, 0x0
848.xword 0x9A9B9C9D9FA0A1A2, 0xA4A5A6A7A9AAABAC, 0xAEAFB0B1B3B4B5B6, 0x0
849.xword 0xB8B9BABBBDBEBFC0, 0xC2C3C4C5C7C8C9CA, 0xCCCDCECFD1D2D3D4, 0x0
850.xword 0xD6D7D8D9DBDCDDDE, 0xE0E1E2E3E5E6E7E8, 0xEAEBECEDEFF0F1F2, 0x0
851.xword 0xF4F5F6F7F9FAFBFC, 0xFEFE010103040506, 0x08090A0B0D0E0F10, 0x0
852.xword 0x121314151718191A, 0x1C1D1E1F21222324, 0x262728292B2C2D2E, 0x0
853.xword 0x3031323335363738, 0x3A3B3C3D3F404142, 0x44454647494A4B4C, 0x0
854.xword 0x4E4F505153545556, 0x58595A5B5D5E5F60, 0x626364656768696A, 0x0
855.xword 0x6C6D6E6F71727374, 0x767778797B7C7D7E, 0x8081828385868788, 0x0
856.xword 0x8A8B8C8D8F909192, 0x94959697999A9B9C, 0x9E9FA0A1A3A4A5A6, 0x0
857.xword 0xA8A9AAABADAEAFB0, 0xB2B3B4B5B7B8B9BA, 0xBCBDBEBFC1C2C3C4, 0x0
858.xword 0xC6C7C8C9CBCCCDCE, 0xD0D1D2D3D5D6D7D8, 0xDADBDCDDDFE0E1E2, 0x0
859.xword 0xE4E5E6E7E9EAEBEC, 0xEEEFF0F1F3F4F5F6, 0xF8F9FAFBFDFEFE00, 0x0
860.xword 0x020304050708090A, 0x0C0D0E0F11121314, 0x161718191B1C1D1E, 0x0
861.xword 0x2021222325262728, 0x2A2B2C2D2F303132, 0x34353637393A3B3C, 0x0
862.xword 0x3E3F404143444546, 0x48494A4B4D4E4F50, 0x525354555758595A, 0x0
863.xword 0x5C5D5E5F61626364, 0x666768696B6C6D6E, 0x7071727375767778, 0x0
864.xword 0x7A7B7C7D7F808182, 0x84858687898A8B8C, 0x8E8F909193949596, 0x0
865.xword 0x98999A9B9D9E9FA0, 0xA2A3A4A5A7A8A9AA, 0xACADAEAFB1B2B3B4, 0x0
866.xword 0xB6B7B8B9BBBCBDBE, 0xC0C1C2C3C5C6C7C8, 0xCACBCCCDCFD0D1D2, 0x0
867.xword 0xD4D5D6D7D9DADBDC, 0xDEDFE0E1E3E4E5E6, 0xE8E9EAEBEDEEEFF0, 0x0
868.xword 0xF2F3F4F5F7F8F9FA, 0xFCFDFEFF01020304, 0x060708090B0C0D0E, 0x0
869.xword 0x1011121315161718, 0x1A1B1C1D1F202122, 0x24252627292A2B2C, 0x0
870.xword 0x2E2F303133343536, 0x38393A3B3D3E3F40, 0x424344454748494A, 0x0
871.xword 0x4C4D4E4F51525354, 0x565758595B5C5D5E, 0x6061626365666768, 0x0
872.xword 0x6A6B6C6D6F707172, 0x74757677797A7B7C, 0x7E7F808183848586, 0x0
873.xword 0x88898A8B8D8E8F90, 0x929394959798999A, 0x9C9D9E9FA1A2A3A4, 0x0
874.xword 0xA6A7A8A9ABACADAE, 0xB0B1B2B3B5B6B7B8, 0xBABBBCBDBFC0C1C2, 0x0
875.xword 0xC4C5C6C7C9CACBCC, 0xCECFD0D1D3D4D5D6, 0xD8D9DADBDDDEDFE0, 0x0
876.xword 0xE2E3E4E5E7E8E9EA, 0xECEDEEEFF1F2F3F4, 0xF6F7F8F9FBFCFDFE, 0x0
877.xword 0x0001020305060708, 0x0A0B0C0D0F101112, 0x14151617191A1B1C, 0x0
878.xword 0x1E1F202123242526, 0x28292A2B2D2E2F30, 0x323334353738393A, 0x0
879.xword 0x3C3D3E3F41424344, 0x464748494B4C4D4E, 0x5051525355565758, 0x0
880.xword 0x5A5B5C5D5F606162, 0x64656667696A6B6C, 0x6E6F707173747576, 0x0
881.xword 0x78797A7B7D7E7F80, 0x828384858788898A, 0x8C8D8E8F91929394, 0x0
882.xword 0x969798999B9C9D9E, 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2, 0x0
883.xword 0xB4B5B6B7B9BABBBC, 0xBEBFC0C1C3C4C5C6, 0xC8C9CACBCDCECFD0, 0x0
884.xword 0xD2D3D4D5D7D8D9DA, 0xDCDDDEDFE1E2E3E4, 0xE6E7E8E9EBECEDEE, 0x0
885.xword 0xF0F1F2F3F5F6F7F8, 0xFAFBFCFDFE010002, 0x04050607090A0B0C, 0x0
886.xword 0x0E0F101113141516, 0x18191A1B1D1E1F20, 0x222324252728292A, 0x0
887.xword 0x2C2D2E2F31323334, 0x363738393B3C3D3E, 0x4041424345464748, 0x0
888.xword 0x4A4B4C4D4F505152, 0x54555657595A5B5C, 0x5E5F606163646566, 0x0
889.xword 0x68696A6B6D6E6F70, 0x727374757778797A, 0x7C7D7E7F81828384, 0x0
890.xword 0x868788898B8C8D8E, 0x9091929395969798, 0x9A9B9C9D9FA0A1A2, 0x0
891
892aes_key_256:
893.xword 0x0001020305060708, 0x0A0B0C0D0F101112, 0x14151617191A1B1C, 0x1E1F202123242526
894.xword 0x28292A2B2D2E2F30, 0x323334353738393A, 0x3C3D3E3F41424344, 0x464748494B4C4D4E
895.xword 0x5051525355565758, 0x5A5B5C5D5F606162, 0x64656667696A6B6C, 0x6E6F707173747576
896.xword 0x78797A7B7D7E7F80, 0x828384858788898A, 0x8C8D8E8F91929394, 0x969798999B9C9D9E
897.xword 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2, 0xB4B5B6B7B9BABBBC, 0xBEBFC0C1C3C4C5C6
898.xword 0xC8C9CACBCDCECFD0, 0xD2D3D4D5D7D8D9DA, 0xDCDDDEDFE1E2E3E4, 0xE6E7E8E9EBECEDEE
899.xword 0xF0F1F2F3F5F6F7F8, 0xFAFBFCFDFE010002, 0x04050607090A0B0C, 0x0E0F101113141516
900.xword 0x18191A1B1D1E1F20, 0x222324252728292A, 0x2C2D2E2F31323334, 0x363738393B3C3D3E
901.xword 0x4041424345464748, 0x4A4B4C4D4F505152, 0x54555657595A5B5C, 0x5E5F606163646566
902.xword 0x68696A6B6D6E6F70, 0x727374757778797A, 0x7C7D7E7F81828384, 0x868788898B8C8D8E
903.xword 0x9091929395969798, 0x9A9B9C9D9FA0A1A2, 0xA4A5A6A7A9AAABAC, 0xAEAFB0B1B3B4B5B6
904.xword 0xB8B9BABBBDBEBFC0, 0xC2C3C4C5C7C8C9CA, 0xCCCDCECFD1D2D3D4, 0xD6D7D8D9DBDCDDDE
905.xword 0xE0E1E2E3E5E6E7E8, 0xEAEBECEDEFF0F1F2, 0xF4F5F6F7F9FAFBFC, 0xFEFE010103040506
906.xword 0x08090A0B0D0E0F10, 0x121314151718191A, 0x1C1D1E1F21222324, 0x262728292B2C2D2E
907.xword 0x3031323335363738, 0x3A3B3C3D3F404142, 0x44454647494A4B4C, 0x4E4F505153545556
908.xword 0x58595A5B5D5E5F60, 0x626364656768696A, 0x6C6D6E6F71727374, 0x767778797B7C7D7E
909.xword 0x8081828385868788, 0x8A8B8C8D8F909192, 0x94959697999A9B9C, 0x9E9FA0A1A3A4A5A6
910.xword 0xA8A9AAABADAEAFB0, 0xB2B3B4B5B7B8B9BA, 0xBCBDBEBFC1C2C3C4, 0xC6C7C8C9CBCCCDCE
911.xword 0xD0D1D2D3D5D6D7D8, 0xDADBDCDDDFE0E1E2, 0xE4E5E6E7E9EAEBEC, 0xEEEFF0F1F3F4F5F6
912.xword 0x7071727375767778, 0x7A7B7C7D7F808182, 0x84858687898A8B8C, 0x8E8F909193949596
913.xword 0x98999A9B9D9E9FA0, 0xA2A3A4A5A7A8A9AA, 0xACADAEAFB1B2B3B4, 0xB6B7B8B9BBBCBDBE
914.xword 0xC0C1C2C3C5C6C7C8, 0xCACBCCCDCFD0D1D2, 0xD4D5D6D7D9DADBDC, 0xDEDFE0E1E3E4E5E6
915.xword 0xE8E9EAEBEDEEEFF0, 0xF2F3F4F5F7F8F9FA, 0xFCFDFEFF01020304, 0x060708090B0C0D0E
916.xword 0x1011121315161718, 0x1A1B1C1D1F202122, 0x24252627292A2B2C, 0x2E2F303133343536
917.xword 0x38393A3B3D3E3F40, 0x424344454748494A, 0x4C4D4E4F51525354, 0x565758595B5C5D5E
918.xword 0x6061626365666768, 0x6A6B6C6D6F707172, 0x74757677797A7B7C, 0x7E7F808183848586
919.xword 0x88898A8B8D8E8F90, 0x929394959798999A, 0x9C9D9E9FA1A2A3A4, 0xA6A7A8A9ABACADAE
920.xword 0xB0B1B2B3B5B6B7B8, 0xBABBBCBDBFC0C1C2, 0xC4C5C6C7C9CACBCC, 0xCECFD0D1D3D4D5D6
921.xword 0xD8D9DADBDDDEDFE0, 0xE2E3E4E5E7E8E9EA, 0xECEDEEEFF1F2F3F4, 0xF6F7F8F9FBFCFDFE
922.xword 0x0001020305060708, 0x0A0B0C0D0F101112, 0x14151617191A1B1C, 0x1E1F202123242526
923.xword 0x28292A2B2D2E2F30, 0x323334353738393A, 0x3C3D3E3F41424344, 0x464748494B4C4D4E
924.xword 0x5051525355565758, 0x5A5B5C5D5F606162, 0x64656667696A6B6C, 0x6E6F707173747576
925.xword 0x78797A7B7D7E7F80, 0x828384858788898A, 0x8C8D8E8F91929394, 0x969798999B9C9D9E
926.xword 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2, 0xB4B5B6B7B9BABBBC, 0xBEBFC0C1C3C4C5C6
927.xword 0xC8C9CACBCDCECFD0, 0xD2D3D4D5D7D8D9DA, 0xDCDDDEDFE1E2E3E4, 0xE6E7E8E9EBECEDEE
928.xword 0xF0F1F2F3F5F6F7F8, 0xFAFBFCFDFE010002, 0x04050607090A0B0C, 0x0E0F101113141516
929.xword 0x18191A1B1D1E1F20, 0x222324252728292A, 0x2C2D2E2F31323334, 0x363738393B3C3D3E
930.xword 0x4041424345464748, 0x4A4B4C4D4F505152, 0x54555657595A5B5C, 0x5E5F606163646566
931.xword 0x68696A6B6D6E6F70, 0x727374757778797A, 0x7C7D7E7F81828384, 0x868788898B8C8D8E
932.xword 0x9091929395969798, 0x9A9B9C9D9FA0A1A2, 0xA4A5A6A7A9AAABAC, 0xAEAFB0B1B3B4B5B6
933.xword 0xB8B9BABBBDBEBFC0, 0xC2C3C4C5C7C8C9CA, 0xCCCDCECFD1D2D3D4, 0xD6D7D8D9DBDCDDDE
934.xword 0xE0E1E2E3E5E6E7E8, 0xEAEBECEDEFF0F1F2, 0xF4F5F6F7F9FAFBFC, 0xFEFE010103040506
935.xword 0x08090A0B0D0E0F10, 0x121314151718191A, 0x1C1D1E1F21222324, 0x262728292B2C2D2E
936.xword 0x3031323335363738, 0x3A3B3C3D3F404142, 0x44454647494A4B4C, 0x4E4F505153545556
937.xword 0x58595A5B5D5E5F60, 0x626364656768696A, 0x6C6D6E6F71727374, 0x767778797B7C7D7E
938.xword 0x8081828385868788, 0x8A8B8C8D8F909192, 0x94959697999A9B9C, 0x9E9FA0A1A3A4A5A6
939.xword 0xA8A9AAABADAEAFB0, 0xB2B3B4B5B7B8B9BA, 0xBCBDBEBFC1C2C3C4, 0xC6C7C8C9CBCCCDCE
940.xword 0xD0D1D2D3D5D6D7D8, 0xDADBDCDDDFE0E1E2, 0xE4E5E6E7E9EAEBEC, 0xEEEFF0F1F3F4F5F6
941.xword 0xF8F9FAFBFDFEFE00, 0x020304050708090A, 0x0C0D0E0F11121314, 0x161718191B1C1D1E
942.xword 0x2021222325262728, 0x2A2B2C2D2F303132, 0x34353637393A3B3C, 0x3E3F404143444546
943.xword 0x48494A4B4D4E4F50, 0x525354555758595A, 0x5C5D5E5F61626364, 0x666768696B6C6D6E
944.xword 0x7071727375767778, 0x7A7B7C7D7F808182, 0x84858687898A8B8C, 0x8E8F909193949596
945.xword 0x98999A9B9D9E9FA0, 0xA2A3A4A5A7A8A9AA, 0xACADAEAFB1B2B3B4, 0xB6B7B8B9BBBCBDBE
946.xword 0xC0C1C2C3C5C6C7C8, 0xCACBCCCDCFD0D1D2, 0xD4D5D6D7D9DADBDC, 0xDEDFE0E1E3E4E5E6
947.xword 0xE8E9EAEBEDEEEFF0, 0xF2F3F4F5F7F8F9FA, 0xFCFDFEFF01020304, 0x060708090B0C0D0E
948.xword 0x1011121315161718, 0x1A1B1C1D1F202122, 0x24252627292A2B2C, 0x2E2F303133343536
949.xword 0x38393A3B3D3E3F40, 0x424344454748494A, 0x4C4D4E4F51525354, 0x565758595B5C5D5E
950.xword 0x6061626365666768, 0x6A6B6C6D6F707172, 0x74757677797A7B7C, 0x7E7F808183848586
951.xword 0x88898A8B8D8E8F90, 0x929394959798999A, 0x9C9D9E9FA1A2A3A4, 0xA6A7A8A9ABACADAE
952.xword 0xB0B1B2B3B5B6B7B8, 0xBABBBCBDBFC0C1C2, 0xC4C5C6C7C9CACBCC, 0xCECFD0D1D3D4D5D6
953.xword 0xD8D9DADBDDDEDFE0, 0xE2E3E4E5E7E8E9EA, 0xECEDEEEFF1F2F3F4, 0xF6F7F8F9FBFCFDFE
954.xword 0x0001020305060708, 0x0A0B0C0D0F101112, 0x14151617191A1B1C, 0x1E1F202123242526
955.xword 0x28292A2B2D2E2F30, 0x323334353738393A, 0x3C3D3E3F41424344, 0x464748494B4C4D4E
956.xword 0x5051525355565758, 0x5A5B5C5D5F606162, 0x64656667696A6B6C, 0x6E6F707173747576
957.xword 0x78797A7B7D7E7F80, 0x828384858788898A, 0x8C8D8E8F91929394, 0x969798999B9C9D9E
958.xword 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2, 0xB4B5B6B7B9BABBBC, 0xBEBFC0C1C3C4C5C6
959.xword 0xC8C9CACBCDCECFD0, 0xD2D3D4D5D7D8D9DA, 0xDCDDDEDFE1E2E3E4, 0xE6E7E8E9EBECEDEE
960.xword 0xF0F1F2F3F5F6F7F8, 0xFAFBFCFDFE010002, 0x04050607090A0B0C, 0x0E0F101113141516
961.xword 0x18191A1B1D1E1F20, 0x222324252728292A, 0x2C2D2E2F31323334, 0x363738393B3C3D3E
962.xword 0x4041424345464748, 0x4A4B4C4D4F505152, 0x54555657595A5B5C, 0x5E5F606163646566
963.xword 0x68696A6B6D6E6F70, 0x727374757778797A, 0x7C7D7E7F81828384, 0x868788898B8C8D8E
964.xword 0x9091929395969798, 0x9A9B9C9D9FA0A1A2, 0xA4A5A6A7A9AAABAC, 0xAEAFB0B1B3B4B5B6
965.xword 0xB8B9BABBBDBEBFC0, 0xC2C3C4C5C7C8C9CA, 0xCCCDCECFD1D2D3D4, 0xD6D7D8D9DBDCDDDE
966.xword 0xE0E1E2E3E5E6E7E8, 0xEAEBECEDEFF0F1F2, 0xF4F5F6F7F9FAFBFC, 0xFEFE010103040506
967.xword 0x08090A0B0D0E0F10, 0x121314151718191A, 0x1C1D1E1F21222324, 0x262728292B2C2D2E
968.xword 0x3031323335363738, 0x3A3B3C3D3F404142, 0x44454647494A4B4C, 0x4E4F505153545556
969.xword 0x58595A5B5D5E5F60, 0x626364656768696A, 0x6C6D6E6F71727374, 0x767778797B7C7D7E
970.xword 0x8081828385868788, 0x8A8B8C8D8F909192, 0x94959697999A9B9C, 0x9E9FA0A1A3A4A5A6
971.xword 0xA8A9AAABADAEAFB0, 0xB2B3B4B5B7B8B9BA, 0xBCBDBEBFC1C2C3C4, 0xC6C7C8C9CBCCCDCE
972.xword 0xD0D1D2D3D5D6D7D8, 0xDADBDCDDDFE0E1E2, 0xE4E5E6E7E9EAEBEC, 0xEEEFF0F1F3F4F5F6
973.xword 0xF8F9FAFBFDFEFE00, 0x020304050708090A, 0x0C0D0E0F11121314, 0x161718191B1C1D1E
974.xword 0x2021222325262728, 0x2A2B2C2D2F303132, 0x34353637393A3B3C, 0x3E3F404143444546
975.xword 0x48494A4B4D4E4F50, 0x525354555758595A, 0x5C5D5E5F61626364, 0x666768696B6C6D6E
976.xword 0x7071727375767778, 0x7A7B7C7D7F808182, 0x84858687898A8B8C, 0x8E8F909193949596
977.xword 0x98999A9B9D9E9FA0, 0xA2A3A4A5A7A8A9AA, 0xACADAEAFB1B2B3B4, 0xB6B7B8B9BBBCBDBE
978.xword 0xC0C1C2C3C5C6C7C8, 0xCACBCCCDCFD0D1D2, 0xD4D5D6D7D9DADBDC, 0xDEDFE0E1E3E4E5E6
979.xword 0xE8E9EAEBEDEEEFF0, 0xF2F3F4F5F7F8F9FA, 0xFCFDFEFF01020304, 0x060708090B0C0D0E
980.xword 0x1011121315161718, 0x1A1B1C1D1F202122, 0x24252627292A2B2C, 0x2E2F303133343536
981.xword 0x38393A3B3D3E3F40, 0x424344454748494A, 0x4C4D4E4F51525354, 0x565758595B5C5D5E
982.xword 0x6061626365666768, 0x6A6B6C6D6F707172, 0x74757677797A7B7C, 0x7E7F808183848586
983.xword 0x88898A8B8D8E8F90, 0x929394959798999A, 0x9C9D9E9FA1A2A3A4, 0xA6A7A8A9ABACADAE
984.xword 0xB0B1B2B3B5B6B7B8, 0xBABBBCBDBFC0C1C2, 0xC4C5C6C7C9CACBCC, 0xCECFD0D1D3D4D5D6
985.xword 0xD8D9DADBDDDEDFE0, 0xE2E3E4E5E7E8E9EA, 0xECEDEEEFF1F2F3F4, 0xF6F7F8F9FBFCFDFE
986.xword 0x0001020305060708, 0x0A0B0C0D0F101112, 0x14151617191A1B1C, 0x1E1F202123242526
987.xword 0x28292A2B2D2E2F30, 0x323334353738393A, 0x3C3D3E3F41424344, 0x464748494B4C4D4E
988.xword 0x5051525355565758, 0x5A5B5C5D5F606162, 0x64656667696A6B6C, 0x6E6F707173747576
989.xword 0x78797A7B7D7E7F80, 0x828384858788898A, 0x8C8D8E8F91929394, 0x969798999B9C9D9E
990.xword 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2, 0xB4B5B6B7B9BABBBC, 0xBEBFC0C1C3C4C5C6
991.xword 0xC8C9CACBCDCECFD0, 0xD2D3D4D5D7D8D9DA, 0xDCDDDEDFE1E2E3E4, 0xE6E7E8E9EBECEDEE
992.xword 0xF0F1F2F3F5F6F7F8, 0xFAFBFCFDFE010002, 0x04050607090A0B0C, 0x0E0F101113141516
993.xword 0x18191A1B1D1E1F20, 0x222324252728292A, 0x2C2D2E2F31323334, 0x363738393B3C3D3E
994.xword 0x4041424345464748, 0x4A4B4C4D4F505152, 0x54555657595A5B5C, 0x5E5F606163646566
995.xword 0x68696A6B6D6E6F70, 0x727374757778797A, 0x7C7D7E7F81828384, 0x868788898B8C8D8E
996.xword 0x9091929395969798, 0x9A9B9C9D9FA0A1A2, 0xA4A5A6A7A9AAABAC, 0xAEAFB0B1B3B4B5B6
997.xword 0xB8B9BABBBDBEBFC0, 0xC2C3C4C5C7C8C9CA, 0xCCCDCECFD1D2D3D4, 0xD6D7D8D9DBDCDDDE
998.xword 0xE0E1E2E3E5E6E7E8, 0xEAEBECEDEFF0F1F2, 0xF4F5F6F7F9FAFBFC, 0xFEFE010103040506
999.xword 0x08090A0B0D0E0F10, 0x121314151718191A, 0x1C1D1E1F21222324, 0x262728292B2C2D2E
1000.xword 0x3031323335363738, 0x3A3B3C3D3F404142, 0x44454647494A4B4C, 0x4E4F505153545556
1001.xword 0x58595A5B5D5E5F60, 0x626364656768696A, 0x6C6D6E6F71727374, 0x767778797B7C7D7E
1002.xword 0x8081828385868788, 0x8A8B8C8D8F909192, 0x94959697999A9B9C, 0x9E9FA0A1A3A4A5A6
1003.xword 0xA8A9AAABADAEAFB0, 0xB2B3B4B5B7B8B9BA, 0xBCBDBEBFC1C2C3C4, 0xC6C7C8C9CBCCCDCE
1004.xword 0xD0D1D2D3D5D6D7D8, 0xDADBDCDDDFE0E1E2, 0xE4E5E6E7E9EAEBEC, 0xEEEFF0F1F3F4F5F6
1005.xword 0xF8F9FAFBFDFEFE00, 0x020304050708090A, 0x0C0D0E0F11121314, 0x161718191B1C1D1E
1006.xword 0x2021222325262728, 0x2A2B2C2D2F303132, 0x34353637393A3B3C, 0x3E3F404143444546
1007.xword 0x48494A4B4D4E4F50, 0x525354555758595A, 0x5C5D5E5F61626364, 0x666768696B6C6D6E
1008.xword 0x7071727375767778, 0x7A7B7C7D7F808182, 0x84858687898A8B8C, 0x8E8F909193949596
1009.xword 0x98999A9B9D9E9FA0, 0xA2A3A4A5A7A8A9AA, 0xACADAEAFB1B2B3B4, 0xB6B7B8B9BBBCBDBE
1010.xword 0xC0C1C2C3C5C6C7C8, 0xCACBCCCDCFD0D1D2, 0xD4D5D6D7D9DADBDC, 0xDEDFE0E1E3E4E5E6
1011.xword 0xE8E9EAEBEDEEEFF0, 0xF2F3F4F5F7F8F9FA, 0xFCFDFEFF01020304, 0x060708090B0C0D0E
1012.xword 0x1011121315161718, 0x1A1B1C1D1F202122, 0x24252627292A2B2C, 0x2E2F303133343536
1013.xword 0x38393A3B3D3E3F40, 0x424344454748494A, 0x4C4D4E4F51525354, 0x565758595B5C5D5E
1014.xword 0x6061626365666768, 0x6A6B6C6D6F707172, 0x74757677797A7B7C, 0x7E7F808183848586
1015.xword 0x88898A8B8D8E8F90, 0x929394959798999A, 0x9C9D9E9FA1A2A3A4, 0xA6A7A8A9ABACADAE
1016.xword 0xB0B1B2B3B5B6B7B8, 0xBABBBCBDBFC0C1C2, 0xC4C5C6C7C9CACBCC, 0xCECFD0D1D3D4D5D6
1017.xword 0xD8D9DADBDDDEDFE0, 0xE2E3E4E5E7E8E9EA, 0xECEDEEEFF1F2F3F4, 0xF6F7F8F9FBFCFDFE
1018.xword 0x0001020305060708, 0x0A0B0C0D0F101112, 0x14151617191A1B1C, 0x1E1F202123242526
1019.xword 0x28292A2B2D2E2F30, 0x323334353738393A, 0x3C3D3E3F41424344, 0x464748494B4C4D4E
1020.xword 0x5051525355565758, 0x5A5B5C5D5F606162, 0x64656667696A6B6C, 0x6E6F707173747576
1021
1022.align 16
1023ciphertext_128:
1024.xword 0xD8F532538289EF7D, 0x06B506A4FD5BE9C9
1025.xword 0x59AB30F4D4EE6E4F, 0xF9907EF65B1FB68C
1026.xword 0xBF1ED2FCB2AF3FD4, 0x1443B56D85025CB1
1027.xword 0x7316632D5C32233E, 0xDCB0780560EAE8B2
1028.xword 0x408C073E3E253807, 0x2B72625E68B8364B
1029.xword 0xE1F94DFA776597BE, 0xACA262F2F6366FEA
1030.xword 0xF29E986C6A1C27D7, 0xB29FFD7EE92B75F1
1031.xword 0x131C886A57F8C2E7, 0x13ABA6955E2B55B5
1032.xword 0xD2AB7662DF9B8C74, 0x0210E5EEB61C199D
1033.xword 0x14C10554B2859C48, 0x4CAB5869BBE7C470
1034.xword 0xDB4D498F0A49CF55, 0x445D502C1F9AB3B5
1035.xword 0x6D96FEF7D66590A7, 0x7A77BB2056667F7F
1036.xword 0x316FB68EDBA736C5, 0x3E78477BF913725C
1037.xword 0x6936F2B93AF8397F, 0xD3A771FC011C8C37
1038.xword 0xF3F92F7A9C59179C, 0x1FCC2C2BA0B082CD
1039.xword 0x6A95EA659EE38891, 0x58E7A9152FF04EBC
1040.xword 0x1959338344E94567, 0x0678A5D432C90B93
1041.xword 0xE49BDDD2369B83EE, 0x66E6C75A1161B394
1042.xword 0xD3388F19057FF704, 0xB70784164A74867D
1043.xword 0x23AA03E2D5E4CD24, 0xF3217E596480D1E1
1044.xword 0xC84113D68B666AB2, 0xA50A8BDB222E91B9
1045.xword 0xAC02403981CD4340, 0xB507963DB65CB7B6
1046.xword 0x8D12992362233594, 0x74011F6BF5088414
1047.xword 0x5A1D6AB8605505F7, 0x977E55B9A54D9B90
1048.xword 0x72E9C2D519CF555E, 0x4208805AABE3B258
1049.xword 0xA8F3E81C4A23A39E, 0xF4D745DFFE026E80
1050.xword 0x546F646449D31458, 0xF9EB4EF5483AEE6C
1051.xword 0x4DBE4BC84AC797C0, 0xEE4EFB7F1A07401C
1052.xword 0x25E10BFB411BBD4D, 0x625AC8795C8CA3B3
1053.xword 0x315637405054EC80, 0x3614E43DEF177579
1054.xword 0x60C5BC8A14102472, 0x95C6386C59E572A8
1055.xword 0x01366FC8CA52DFE0, 0x55D6A00A76471BA6
1056.xword 0xECC46595516EC612, 0x449C3F581E7D42FF
1057.xword 0x6B7FFE4C602A154B, 0x06EE9C7DAB5331C9
1058.xword 0x7DA234C14039A240, 0xDD02DD0FBF84EB67
1059.xword 0xC7DC217D9E3604FF, 0xE7E91F080ECD5A3A
1060.xword 0x37785901863F5C81, 0x260EA41E7580CDA5
1061.xword 0xA07B9338E92ED105, 0xE6AD720FCCCE9FE4
1062.xword 0xAE0FB9722418CC21, 0xA7DA816BBC61322C
1063.xword 0xC826A193080FF91F, 0xFB21F71D3373C877
1064.xword 0x1181B11B0E494E8D, 0x8B0AA6B1D5AC2C48
1065.xword 0x6743C3D1519AB4F2, 0xCD9A78AB09A511BD
1066.xword 0xDC55C076D52BACDF, 0x2EEFD952946A439D
1067.xword 0x711B17B590FFC72B, 0x5C8E342B601E8003
1068.xword 0x19983BB0950783A5, 0x37E1339F4AA21C75
1069.xword 0x3BA7762E15554169, 0xC0F4FA39164C410C
1070.xword 0xA0564C41245AFCA7, 0xAF8AA2E0E588EA89
1071.xword 0x5E36A42A2E099F54, 0xAE85ECD92E2381ED
1072.xword 0x770036F878CD0F6C, 0xA2268172F106F2FE
1073.xword 0x7E4E03908B716116, 0x443CCF7C94E7C259
1074.xword 0x482735A48C30613A, 0x242DD494C7F9185D
1075.xword 0xB4C0F6C9D4D7079A, 0xDDF9369FC081061D
1076.xword 0xD5810FE0509AC53E, 0xDCD74F89962E6270
1077.xword 0x03F17A16B3F91848, 0x269ECDD38EBB2165
1078.xword 0xDA1248C3180348BA, 0xD4A93B4D9856C9DF
1079.xword 0x3D10D7B63F3452C0, 0x6CDF6CCE18BE0C2C
1080.xword 0x4AB823E7477DFDDC, 0x0E6789018FCB6258
1081.xword 0xE6478BA56A77E70C, 0xFDAA5C843ABDE30E
1082.xword 0x1673064895FBEAF7, 0xF09C5429FF75772D
1083.xword 0x4488033AE9F2EFD0, 0xCA9383BFCA1A94E9
1084.xword 0x978F3B8C8F9D6F46, 0x626CAC3C0BCB9217
1085.xword 0xE08C8A7E582E15E5, 0x527F1D9E2EECB236
1086.xword 0xCEC155B76AC5FFDA, 0x4CF4F9CA91E49A7A
1087.xword 0xD5AC7165763225DD, 0x2A38CDC6862C29AD
1088.xword 0x03680FE19F7CE727, 0x5452020BE70E8204
1089.xword 0x461DF740C9781C38, 0x8E94BB861CEB54F6
1090.xword 0x451BD60367F96483, 0x042742219786A074
1091.xword 0xE4DFA42671A02E57, 0xEF173B85C0EA9F2B
1092.xword 0xED11B89E76274282, 0x227D854700A78B9E
1093.xword 0x433946EAA51EA47A, 0xF33895F2B90B3B75
1094.xword 0x6BC6D616A5D7D028, 0x4A5910AB35022528
1095.xword 0xD2A920ECFE919D35, 0x4B5F49EAE9719C98
1096.xword 0x3A061B17F6A92885, 0xEFBD0676985B373D
1097.xword 0xFADEEC16E33EA2F4, 0x688499D157E20D8F
1098.xword 0x5CDEFEDE59601AA3, 0xC3CDA36FA6B1FA13
1099.xword 0x9574B00039844D92, 0xEBBA7EE8719265F8
1100.xword 0x9A9CF33758671787, 0xE5006928188643FA
1101.xword 0x2CDDD634C846BA66, 0xBB46CBFEA4A674F9
1102.xword 0xD28BAE029393C3E7, 0xE26E9FAFBBB4B98F
1103.xword 0xEC27529B1BEE0A9A, 0xB6A0D73EBC82E9B7
1104.xword 0x3CB25C09472AFF6E, 0xE7E2B47CCD7CCB17
1105.xword 0xDEE33103A7283370, 0xD725E44CA38F8FE5
1106.xword 0x27F9BCD1AAC64BFF, 0xC11E7815702C1A69
1107.xword 0x5DF534FFAD4ED074, 0x9A9988E9849D0021
1108.xword 0xA48BEE75DB04FB60, 0xCA2B80F752A8421B
1109.xword 0x024C8CF70BC86EE5, 0xCE03678CB7AF45F9
1110.xword 0x3C19AC0F8A3A3862, 0xCE577831301E166B
1111.xword 0xC5E355B796A57421, 0xD59CA6BE82E73BCA
1112.xword 0xD94033276417ABFB, 0x05A69D15B6E386E2
1113.xword 0x24B36559EA3A9B9B, 0x958FE6DA3E5B8D85
1114.xword 0x20FD4FEAA0E8BF0C, 0xCE7861D74EF4CB72
1115.xword 0x350E20D5174277B9, 0xEC314C501570A11D
1116.xword 0x87A29D61B7C604D2, 0x38FE73045A7EFD57
1117.xword 0x2C3164C1CC7D0064, 0x816BDC0FAA362C52
1118.xword 0x195FE5E8A05A2ED5, 0x94F6E4400EEE10B3
1119.xword 0xE4663DF19B9A21A5, 0xA284C2BD7F905025
1120.xword 0x21B88714CFB4E2A9, 0x33BD281A2C4743FD
1121.xword 0xCBFC3980D704FD0F, 0xC54378AB84E17870
1122.xword 0xBC5144BAA48BDEB8, 0xB63E22E03DA418EF
1123.xword 0x5A1DBAEF1EE2984B, 0x8395DA3BDFFA3CCC
1124.xword 0xF0B11CD0729DFCC8, 0x0CEC903D97159574
1125.xword 0x9F95314ACFDDC6D1, 0x914B7F19A9CC8209
1126.xword 0x595736F6F0F70914, 0xA94E9E007F022519
1127.xword 0x1F19F57892CAE586, 0xFCDFB4C694DEB183
1128.xword 0x540700EE1F6F3DAB, 0x0B3EDDF6CAEE1EF5
1129.xword 0x14A342A91019A331, 0x687A2254E6626CA2
1130.xword 0x7B25F3C3B2EEA18D, 0x743EF283140F29FF
1131.xword 0x46C2587D66E5E6FA, 0x7F7CA6411AD28047
1132.xword 0x09470E72229D954E, 0xD5EE73886DFEEBA9
1133.xword 0xD77C03DE92D4D0D7, 0x9EF8D4824EF365EB
1134.xword 0x1D190219F290E0F1, 0x715D152D41A23593
1135.xword 0xA2CD332CE3A08187, 0x69616292E87F757B
1136.xword 0xD54AFA6CE60FBF93, 0x41A3690E21385102
1137.xword 0x06E5C364DED628A3, 0xF5E05E613E356F46
1138.xword 0xEAE63C0E62556DAC, 0x85D221099896355A
1139.xword 0x1FED060E2C6FC93E, 0xE764403A889985A2
1140.xword 0xC25235C1A30FDEC1, 0xC7CB5C5737B2A588
1141.xword 0x796DBEF95147D4D3, 0x0873AD8B7B92EFC0
1142.xword 0xCBCF0FB34D98D0BD, 0x5C22CE37211A46BF
1143.xword 0x94B44DA6466126CA, 0xFA7C7FD09063FC24
1144.xword 0xD78C5B5EBF9B4DBD, 0xA6AE506C5074C8FE
1145.xword 0x6C27444C27204B04, 0x3812CF8CF95F9769
1146.xword 0xBE94524EE5A2AA50, 0xBBA8B75F4C0AEBCF
1147.xword 0xA0AEAAE91BA9F31F, 0x51AEB3588CF3A39E
1148.xword 0x275297779C28266E, 0xF9FE4C6A13C08488
1149.xword 0x86523D92BB8672CB, 0x01CF4A77FD725882
1150.xword 0x4B8327640E9F3332, 0x2A04DD96FCBF9A36
1151.xword 0xCE52AF650D088CA5, 0x59425223F4D32694
1152
1153ciphertext_192:
1154.xword 0xDFF4945E0336DF4C, 0x1C56BC700EFF837F
1155.xword 0xB6FDDEF4752765E3, 0x47D5D2DC196D1252
1156.xword 0xD23684E3D963B3AF, 0xCF1A114ACA90CBD6
1157.xword 0x3A7AC027753E2A18, 0xC2CEAB9E17C11FD0
1158.xword 0x8F6786BD007528BA, 0x26603C1601CDD0D8
1159.xword 0xD17D073B01E71502, 0xE28B47AB551168B3
1160.xword 0xA469DA517119FAB9, 0x5876F41D06D40FFA
1161.xword 0x6091AA3B695C11F5, 0xC0B6AD26D3D862FF
1162.xword 0x70F9E67F9F8DF129, 0x4131662DC6E69364
1163.xword 0xD154DCAFAD8B207F, 0xA5CBC95E9996B559
1164.xword 0x4934D541E8B46FA3, 0x39C805A7AEB9E5DA
1165.xword 0x62564C738F3EFE18, 0x6E1A127A0C4D3C61
1166.xword 0x07805AA043986EB2, 0x3693E23BEF8F3438
1167.xword 0xDF0B4931038BADE8, 0x48DEE3B4B85AA44B
1168.xword 0x592D5FDED76582E4, 0x143C65099309477C
1169.xword 0xC9B8D6545580D3DF, 0xBCDD09B954ED4E92
1170.xword 0x5DCCD5D6EB7C1B42, 0xACB008201DF707A0
1171.xword 0xA2A91682FFEB6ED1, 0xD34340946829E6F9
1172.xword 0xE45D185B79700034, 0x8D9267960A68435D
1173.xword 0x45E060DAE5901CDA, 0x8089E10D4F4C246B
1174.xword 0xF6951AFACC0079A3, 0x69C71FDCFF45DF50
1175.xword 0x9E95E00F351D5B3A, 0xC3D0E22E626DDAD6
1176.xword 0x9CB566FF26D92DAD, 0x083B51FDC18C173C
1177.xword 0xC9C82766176A9B22, 0x8EB9A974A010B4FB
1178.xword 0xD8E26AA02945881D, 0x5137F1C1E1386E88
1179.xword 0xC0E024CCD68FF5FF, 0xA4D139C355A77C55
1180.xword 0x0B18B3D16F491619, 0xDA338640DF391D43
1181.xword 0xDBE09AC8F66027BF, 0x20CB6E434F252EFC
1182.xword 0x6D04E5E43C5B9CBE, 0x05FEB9606B6480FE
1183.xword 0xDD1D6553B96BE526, 0xD9FEE0FBD7176866
1184.xword 0x0260CA7E3F979FD0, 0x15B0DD4690E16D2A
1185.xword 0x9893734DE10EDCC8, 0xA67C3B110B8B8CC6
1186.xword 0x93B30B750516B2D1, 0x8808D710C2EE84EF
1187.xword 0x16F65FA47BE3CB5E, 0x6DFE7C6C37016C0E
1188.xword 0xF3847210D5391E23, 0x60608E5ACB560581
1189.xword 0x8754462CD223366D, 0x0753913E6AF2643D
1190.xword 0x1EA20617468D1B80, 0x6A1FD58145462017
1191.xword 0x3B155D927355D737, 0xC6BE9DDA60136E2E
1192.xword 0x26144F7B66DAA91B, 0x6333DBD3850502B3
1193.xword 0xE4F9A4AB52CED813, 0x4C649BF319EBCC90
1194.xword 0xB9DDD29AC6128A6C, 0xAB121E34A4C62B36
1195.xword 0x6FCDDAD898F2CE4E, 0xFF51294F5EAAF5C9
1196.xword 0xC9A6FE2BF4028080, 0xBEA6F7FC417BD7E3
1197.xword 0x6A2026846D8609D6, 0x0F298A9C0673127F
1198.xword 0x2CB25C005E26EFEA, 0x44336C4C97A4240B
1199.xword 0x496967AB8680DDD7, 0x3D09A0E4C7DCC8AA
1200.xword 0xD5AF94DE93487D1F, 0x3A8C577CB84A66A4
1201.xword 0x84BDAC569CAE2828, 0x705F267CC8376E90
1202.xword 0xF7401DDA5AD5AB71, 0x2B7EB5D10C6F99B6
1203.xword 0x1C9D54318539EBD4, 0xC3B5B7E37BF119F0
1204.xword 0xACA572D65FB2764C, 0xFFD4A6ECA090EA0D
1205.xword 0x36D9C627B8C2A886, 0xA10CCB36EAE3DFBB
1206.xword 0x010EDBF5981E143A, 0x81D646E597A4A568
1207.xword 0x8DB44D538DC20CC2, 0xF40F3067FD298E60
1208.xword 0x930EB53BC71E6AC4, 0xB82972BDCD5AAFB3
1209.xword 0x6C42A81EDCBC9517, 0xCCD89C30C95597B4
1210.xword 0xDA389847AD06DF19, 0xD76EE119C71E1DD3
1211.xword 0xE018FDAE13D3118F, 0x9A5D1A647A3F0462
1212.xword 0x2AA65DB36264239D, 0x3846180FABDFAD20
1213.xword 0x1472163E9A4F780F, 0x1CEB44B07ECF4FDB
1214.xword 0xC8273FDC8F3A9F72, 0xE91097614B62397C
1215.xword 0x66C8427DCD733AAF, 0x7B3470CB7D976E3F
1216.xword 0x146131CB17F1424D, 0x4F8DA91E6F80C1D0
1217.xword 0x2610D0AD83659081, 0xAE085266A88770DC
1218.xword 0x38A2B5A974B0575C, 0x5D733917FB0D4570
1219.xword 0xE21D401EBC60DE20, 0xD6C486E4F39A588B
1220.xword 0xE51D5F88C670B079, 0xC0CA1F0C2C4405A2
1221.xword 0x246A94788A642FB3, 0xD1B823C8762380C8
1222.xword 0xB80C391C5C41A4C3, 0xB30C68E0E3D7550F
1223.xword 0xB77C4754FC64EB9A, 0x1154A9AF0BB1F21C
1224.xword 0xFB554DE520D159A0, 0x6BF219FC7F34A02F
1225.xword 0xA89FBA152D76B492, 0x7BEED160DDB76C57
1226.xword 0x5676EAB4A98D2E84, 0x73B3F3D46424247C
1227.xword 0x4E8F068BD7EDE52A, 0x639036EC86C33568
1228.xword 0xF0193C4D7AFF1791, 0xEE4C07EB4A1824FC
1229.xword 0xAC8686EECA9BA761, 0xAFE82D67B928C33F
1230.xword 0x5FAF8573E33B145B, 0x6A369CD3606AB2C9
1231.xword 0x31587E9944AB1C16, 0xB844ECAD0DF2E7DA
1232.xword 0xD017FECD91148ABA, 0x37F6F3068AA67D8A
1233.xword 0x788EF2F021A73CBA, 0x2794B616078A8500
1234.xword 0x5D1EF20DCED6BCBC, 0x12131AC7C54788AA
1235.xword 0xB3C8CF961FAF9EA0, 0x5FDDE6D1E4D8F663
1236.xword 0x143075C70605861C, 0x7FAC6526199E459F
1237.xword 0xA5AE12EADE9A8726, 0x8D898BFC8FC0252A
1238.xword 0x0924F7CF2E877A48, 0x19F5244A360DCEA9
1239.xword 0x3D9E9635AFCC3E29, 0x1CC7AB3F27D1C99A
1240.xword 0x9D80FEEBF87510E2, 0xB8FB98BB54FD788C
1241.xword 0x5F9D1A082A1A3798, 0x5F174002ECA01309
1242.xword 0xA390EBB1D1403930, 0x184A44B4876646E4
1243.xword 0x700FE918981C3195, 0xBB6C4BCB46B74E29
1244.xword 0x907984406F7BF2D1, 0x7FB1EB15B673D747
1245.xword 0xC32A956DCFC875C2, 0xAC7C7CC8B8CC26E1
1246.xword 0x02646E2EBFA9B820, 0xCF8424E9B9B6EB51
1247.xword 0x621FDA3A5BBD54C6, 0xD3C685816BD4EAD8
1248.xword 0xD4E216040426DFAF, 0x18B152469BC5AC2F
1249.xword 0x9D0635B9D33B6CDB, 0xD71F5D246EA17CC8
1250.xword 0x10ABAD1BD9BAE544, 0x8808765583A2CC1A
1251.xword 0x6891889E16544E35, 0x5FF65A793C39C9A8
1252.xword 0xCC735582E68072C1, 0x63CD9DDF46B91279
1253.xword 0xC5C68B9AEEB7F878, 0xDF578EFA562F9574
1254.xword 0x5F4764395A667A47, 0xD73452955D0D2CE8
1255.xword 0x701448331F66106C, 0xEFDDF1EB8267C357
1256.xword 0xCB3EE56D2E14B4E1, 0x941666F13379D657
1257.xword 0x9FE16EFD18AB6E19, 0x81191851FEDB0764
1258.xword 0x3DC9BA24E1B22358, 0x9B147ADCEB4C8E48
1259.xword 0x1C333032682E7D4D, 0xE5E5AFC05C3E483C
1260.xword 0xD593CC99A95AFEF7, 0xE92038E05A59D00A
1261.xword 0x51E7F96F53B43539, 0x23452C222134E1EC
1262.xword 0x4075B357A1A2B473, 0x400C3B25F32F81A4
1263.xword 0x302E341A3EBCD74F, 0x0D55F61714570284
1264.xword 0x57ABDD8231280DA0, 0x1C5042B78CF76522
1265.xword 0x17F9EA7EEA17AC1A, 0xDF0E190FEF799E92
1266.xword 0x2E1BDD563DD87EE5, 0xC338DD6D098D0A7A
1267.xword 0xEB869996E6F8BFB2, 0xBFDD9E0C4504DBB2
1268.xword 0xC2E01549E9DECF31, 0x7468B3E018C61BA8
1269.xword 0x8DA875D033C01DD4, 0x63B244A1770F4A22
1270.xword 0x8BA0DCF3A186844F, 0x026D022F8839D696
1271.xword 0xE9691FF9A6CC6970, 0xE51670A0FD5B88C1
1272.xword 0xF2BAEC06FAEED30F, 0x88EE63BA081A6E5B
1273.xword 0x9C39D4C459AE5753, 0x394D6094ADC21E78
1274.xword 0x6345B532A1190450, 0x2EA43BA99C6BD2B2
1275.xword 0x5FFAE3061A95172E, 0x4070CEDCE1E428C8
1276.xword 0x0A4566BE4CDF9ADC, 0xE5DEC865B5AB34CD
1277.xword 0xCA17FCCE79B7404F, 0x2559B22928F126FB
1278.xword 0x97CA39B849ED73A6, 0x470A97C821D82F58
1279.xword 0x8198CB06BC684C6D, 0x3E9B7989428DCF7A
1280.xword 0xF53C464C705EE0F2, 0x8D9A4C59374928BD
1281.xword 0x9ADB3D4CCA559BB9, 0x8C3E2ED73DBF1154
1282
1283ciphertext_256:
1284.xword 0x1946DABF6A03A2A2, 0xC3D0B05080AED6FC
1285.xword 0x5ED301D747D3CC71, 0x5445EBDEC62F2FB4
1286.xword 0x6585C8F43D13A6BE, 0xAB6419FC5935B9D0
1287.xword 0x2A5B56A596680FCC, 0x0E05F5E0F151ECAE
1288.xword 0xF5D6FF414FD2C618, 0x1494D20C37F2B8C4
1289.xword 0x85399C01F59FFFB5, 0x204F19F8482F00B8
1290.xword 0x92097B4C88A041DD, 0xF98144BC8D22E8E7
1291.xword 0x89BD5B73B356AB41, 0x2AEF9F76CEA2D65C
1292.xword 0x2536969093C55FF9, 0x454692F2FAC2F530
1293.xword 0x07FC76A872843F3F, 0x6E0081EE9396D637
1294.xword 0xE38BA8EC2AA74135, 0x8DCC93E8F141C491
1295.xword 0xD028EE23E4A89075, 0xD0B03E868D7D3A42
1296.xword 0x8CD9423DFC459E54, 0x7155C5D1D522E540
1297.xword 0x080E9517EB167771, 0x9ACF728086040AE3
1298.xword 0x7C1700211A3991FC, 0x0ECDED0AB3E576B0
1299.xword 0xDABCBCC855839251, 0xDB51E224FBE87435
1300.xword 0x68D56FAD0406947A, 0x4DD27A7448C10F1D
1301.xword 0xDA9A11479844D1FF, 0xEE24BBF3719A9925
1302.xword 0x5E4BA572F8D23E73, 0x8DA9B05BA24B8D81
1303.xword 0xA115A2065D667E3F, 0x0B883837A6E903F8
1304.xword 0x3E9E90DC33EAC243, 0x7D86AD30B137E66E
1305.xword 0x01CE82D8FBCDAE82, 0x4CB3C48E495C3692
1306.xword 0x0C9CFF163CE936FA, 0xAF083CFD3DEA3117
1307.xword 0x5131BA9BD48F2BBA, 0x85560680DF504B52
1308.xword 0x9DC503BBF09823AE, 0xC8A977A5AD26CCB2
1309.xword 0x9A6DB0C0862E506A, 0x9E397225884041D7
1310.xword 0x430BF9570804185E, 0x1AB6365FC6A6860C
1311.xword 0x3525EBC02F4886E6, 0xA5A3762813E8CE8A
1312.xword 0x07FA265C763779CC, 0xE224C7BAD671027B
1313.xword 0xE8B72B4E8BE24343, 0x8C9FFF1F0E205872
1314.xword 0x109D4F999A0E11AC, 0xE1F05E6B22CBCB50
1315.xword 0x45A5E8D4C3ED5840, 0x3FF08D68A0CC4029
1316.xword 0x196865964DB3D417, 0xB6BD4D586BCB7634
1317.xword 0x60436AD45AC7D30D, 0x99195F815D98D2AE
1318.xword 0xBB07A23F0B61014B, 0x197620C185E2CD75
1319.xword 0x5BC0B2850129C854, 0x423AFF0751FE343B
1320.xword 0x7541A78F96738E64, 0x17D2A24BD2BECA40
1321.xword 0xB0A303054412882E, 0x464591F1546C5B9E
1322.xword 0x778C06D8A355EEEE, 0x214FCEA14B4E0EEF
1323.xword 0x09614206D15CBACE, 0x63227D06DB6BEEBB
1324.xword 0x41B97FB20E427A9F, 0xDBBB358D9262255D
1325.xword 0xC1940F703D845F95, 0x7652C2D64ABD7ADF
1326.xword 0xD2D44FCDAE533234, 0x3366DB297EFCF21B
1327.xword 0xEA8196B79DBE167B, 0x6AA9896E287EED2B
1328.xword 0xD6B0B0C4BA6C7DBE, 0x5ED467A1E3F06C2D
1329.xword 0xEC51EB295250C22C, 0x2FB01816FB72BCAE
1330.xword 0xADED6630A07CE9C7, 0x408A155D3BD0D36F
1331.xword 0x697C9245B9937F32, 0xF5D1C82319F0363A
1332.xword 0xAAD5AD50C6262AAE, 0xC30541A1B7B5B19C
1333.xword 0x7D34B893855341EC, 0x625BD6875AC18C0D
1334.xword 0x7EF05105440F8386, 0x2F5D780E88F02B41
1335.xword 0xC377C06403382061, 0xAF2C9C93A8E70DF6
1336.xword 0x1DBDB3FFDC052DAC, 0xC83318853ABC6DE5
1337.xword 0x69A6EAB00432517D, 0x0BF483C91C0963C7
1338.xword 0x0797F41DC217C804, 0x46E1D514BD6AB197
1339.xword 0x9DFD76575902A637, 0xC01343C58E011A03
1340.xword 0xACF4328AE78F34B9, 0xFA9B459747CC2658
1341.xword 0xB0479AEA12BAC4FE, 0x2384CF98995150C6
1342.xword 0x9DD52789EFE3FFB9, 0x9F33B3DA5030109A
1343.xword 0xABBB755E4621EF8F, 0x1214C19F649FB9FD
1344.xword 0xDA27FB8174357BCE, 0x2BED0E7354F380F9
1345.xword 0xC59A0663F0993838, 0xF6E5856593BDC5EF
1346.xword 0xED60B264B5213E83, 0x1607A99C0CE5E57E
1347.xword 0xE50548746846F3EB, 0x77B8C520640884ED
1348.xword 0x28282CC7D21D6A29, 0x23641E52D188EF0C
1349.xword 0x0DFA5B02ABB18E5A, 0x815305216D6D4F8E
1350.xword 0x7359635C0EECEFE3, 0x1D673395FB46FB99
1351.xword 0x73C679F7D5AEF274, 0x5C9737BB4C47FB36
1352.xword 0xB192BD472A4D2EAF, 0xB786E97458967626
1353.xword 0x0EC327F6C8A2B147, 0x598CA3FDE61DC6A4
1354.xword 0xFC418EB3C41B859B, 0x38D4B6F646629729
1355.xword 0x30249E5AC282B1C9, 0x81EA64B609F3A154
1356.xword 0x5E6E08646D121507, 0x76BB43C2D78A9703
1357.xword 0xFAEB3D5DE652CD34, 0x47DCEB343F30394A
1358.xword 0xA8E88706823F6993, 0xEF80D05C1C7B2CF0
1359.xword 0x8CED86677E6E00A1, 0xA1B15968F2D3CCE6
1360.xword 0x9FC7C23858BE03BD, 0xEBB84E90DB6786A9
1361.xword 0xB4FBD65B33F70D8C, 0xF7F1111AC4649C36
1362.xword 0xC5C32D5ED03C4B53, 0xCC8C1BD0EF0DBBF6
1363.xword 0xD1A7F03B773E5C21, 0x2464B63709C6A891
1364.xword 0x6B7161D8745947AC, 0x6950438EA138D028
1365.xword 0xFD47A9F7E366EE7A, 0x09BC508B00460661
1366.xword 0x00D40B003DC3A0D9, 0x310B659B98C7E416
1367.xword 0xEEA4C79DCC8E2BDA, 0x691F20AC48BE0717
1368.xword 0xE78F43B11C204403, 0xE5751F89D05A2509
1369.xword 0xD0F0E3D1F1244BB9, 0x79931E38DD1786EF
1370.xword 0x042E639DC4E1E4DD, 0xE7B75B749EA6F765
1371.xword 0xBC032FDD0EFE2950, 0x3A980A7D07AB46A8
1372.xword 0x0C93AC949C0DA644, 0x6EFFB86183B6C910
1373.xword 0xE0D343E14DA75C91, 0x7B4A5CEC4810D7C2
1374.xword 0x0EAFB82174840827, 0x9B937B626792E619
1375.xword 0xFA1AC6E02D23B106, 0xA1FEF18B274A553F
1376.xword 0x0DADFE019CD12368, 0x075507DF33C1A1E9
1377.xword 0x3A0879B414465D9F, 0xFBAF86B33A63A1B9
1378.xword 0x62199FADC76D0BE1, 0x805D3BA0B7D914BF
1379.xword 0x1B06D6C5D333E742, 0x730130CF78E719B4
1380.xword 0xF1F848824C32E9DC, 0xDCBF21580F069329
1381.xword 0x1A09050CBD684F78, 0x4D8E965E0782F28A
1382.xword 0x79C2969E7DED2BA7, 0xD088F3F320692360
1383.xword 0x091A658A2F7444C1, 0x6ACCB669450C7B63
1384.xword 0x97C1E3A72CCA65FA, 0x977D5ED0E8A7BBFC
1385.xword 0x70C430C6DB9A1782, 0x8937305A2DF91A2A
1386.xword 0x629553457FBE2479, 0x098571C7C903FDE8
1387.xword 0xA25B25A61F612669, 0xE7D91265C7D476BA
1388.xword 0xEB7E4E49B8AE0F02, 0x4570DDA293254FED
1389.xword 0x38FE15D61CCA8451, 0x6E924ADCE5014F67
1390.xword 0x3AD208492249108C, 0x9F3EBEB167AD0583
1391.xword 0x299BA9F9BF5AB05C, 0x3580FC26EDD1ED12
1392.xword 0x19DC705B857A60FB, 0x07717B2EA5717781
1393.xword 0xFFC8AEB885B5EFCA, 0xD06B6DBEBF92E76B
1394.xword 0xF58900C5E0B38525, 0x3FF2546250A0142B
1395.xword 0x2EE67B56280BC462, 0x429CEE6E3370CBC1
1396.xword 0x20DB650A9C8E9A84, 0xAB4D25F7EDC8F03F
1397.xword 0x3C36DA169525CF81, 0x8843805F25B78AE5
1398.xword 0x9A781D960DB9E45E, 0x37779042FEA51922
1399.xword 0x6560395EC269C672, 0xA3C288226EFDBA77
1400.xword 0x8C772B7A189AC544, 0x453D5916EBB27B9A
1401.xword 0x77CA5468CC48E843, 0xD05F78EED9D6578F
1402.xword 0x72CDCC71DC82C60D, 0x4429C9E2D8195BAA
1403.xword 0x8080D68CE60E94B4, 0x0B5B8B69EEB35AFA
1404.xword 0x44222D3CDE299C04, 0x369D58AC0EBA1E8E
1405.xword 0x9B8721B0A8DFC691, 0xC5BC5885DBFCB27A
1406.xword 0x0DC015CE9A3A3414, 0xB5E62EC643384183
1407.xword 0x705715448A8DA412, 0x025CE38345C2A148
1408.xword 0xC32B5B0B6FBAE165, 0x266C569F4B6ECF0B
1409.xword 0x4DCA6C75192A01DD, 0xCA9476AF2A521E87
1410.xword 0x058691E627ECBC36, 0xAC07B6DB423BD698
1411.xword 0x7444527095838FE0, 0x80FC2BCDD30847EB
1412
1413
1414.end