Initial commit of OpenSPARC T2 design and verification files.
[OpenSPARC-T2-DV] / verif / diag / assembly / isa3 / aes_kat_cbc.s
/*
* ========== Copyright Header Begin ==========================================
*
* OpenSPARC T2 Processor File: aes_kat_cbc.s
* Copyright (C) 1995-2007 Sun Microsystems, Inc. All Rights Reserved
* 4150 Network Circle, Santa Clara, California 95054, U.S.A.
*
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; version 2 of the License.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
*
* For the avoidance of doubt, and except that if any non-GPL license
* choice is available it will apply instead, Sun elects to use only
* the General Public License version 2 (GPLv2) at this time for any
* software where a choice of GPL license versions is made
* available with the language indicating that GPLv2 or any later version
* may be used, or where a choice of which version of the GPL is applied is
* otherwise unspecified.
*
* Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
* CA 95054 USA or visit www.sun.com if you need additional information or
* have any questions.
*
*
* ========== Copyright Header End ============================================
*/
#define MAIN_PAGE_HV_ALSO
#include "hboot.s"
#define NUM_MODE_PATTERNS 128
#define NUM_PATTERNS 3*NUM_MODE_PATTERNS
/************************************************************************
Test case code start
************************************************************************/
.text
.global main
main: /* test begin */
!# Switch to hpriv mode
ta T_CHANGE_HPRIV
mov 0, %i4 !# Loop counter
mov 0, %i5 !# For plaintext/cipher offset
mov 0, %i7 !# For key offset
mov 0, %g3 !# index
mov 0, %g4 !# For 128 bit xor mask, msw
mov 1, %g5 !# lsw
!# Execute Main Diag ..
!# setup ASI register to point to SPU
wr %g0, 0x40, %asi
!# Make sure CWQ is currently disabled, not busy, not terminated, no protocol error; else fail
ldxa [%g0 + ASI_SPU_CWQ_CSR] %asi, %l1
and %l1, 0xf, %l2
cmp %g0, %l2
bne,pn %xcc, fail
nop
!# allocate control word queue (e.g., setup head/tail/first/last registers)
!# %l6 CWQ_BASE
setx CWQ_BASE, %g1, %l6
!# write base addr to first, head, and tail ptr
!# first store to first
stxa %l6, [%g0 + ASI_SPU_CWQ_FIRST] %asi
ldxa [%g0 + ASI_SPU_CWQ_FIRST] %asi, %l1
!# Mask off upper 16 bits
setx 0x0000ffffffffffff, %l5, %l0
and %l0, %l6, %l2
cmp %l1, %l2
bne,pn %xcc, fail
nop
!# then to head
stxa %l6, [%g0 + ASI_SPU_CWQ_HEAD] %asi
ldxa [%g0 + ASI_SPU_CWQ_HEAD] %asi, %l1
cmp %l1, %l2
bne,pn %xcc, fail
nop
!# then to tail
stxa %l6, [%g0 + ASI_SPU_CWQ_TAIL] %asi
ldxa [%g0 + ASI_SPU_CWQ_TAIL] %asi, %l1
cmp %l1, %l2
bne,pn %xcc, fail
nop
!# then end of CWQ region to LAST
setx CWQ_LAST, %g1, %l5
stxa %l5, [%g0 + ASI_SPU_CWQ_LAST] %asi
ldxa [%g0 + ASI_SPU_CWQ_LAST] %asi, %l1
!# Mask off upper 16 bits
and %l0, %l5, %l2
cmp %l1, %l2
bne,pn %xcc, fail
nop
kat_loop:
!# Build the first control word, for the first AES vector.
!# First build up word 0
!# For AES, set op = 64, Enc=1, SOB=EOB=1, SFAS=0, Int=CoreID=0, AuthType=0, EncType=11, status=0, Len=15
setx 0x40e000001100000f, %l1, %l2
addcc %i4, 0-NUM_MODE_PATTERNS, %g0
addC 0, %g0, %g1 !# Add 1 on 192 bit keys => EncType=14
addcc %i4, 0-NUM_MODE_PATTERNS*2, %g0
addC 0, %g1, %g1 !# Add 2 on 256 bit keys => EncType=18
sllx %g1, 26, %g1
or %l2, %g1, %l2
!# %l6 points to CWQ_BASE
!# Note: All CWQ entry addresses must be physical!
stx %l2, [%l6 + 0x0]
!# Write source address to next CW field
setx plaintext_128, %g1, %l2
add %i5, %l2, %l2
ldx [%l2], %g1
xor %g1, %g4, %g1
stx %g1, [%l2]
ldx [%l2+0x8], %g1
xor %g1, %g5, %g1
stx %g1, [%l2+0x8]
stx %l2, [%l6+0x8]
!# Write 0's to the next 3 CW fields as they are not used
stx %g0, [%l6+0x10]
stx %g0, [%l6+0x18]
stx %g0, [%l6+0x20]
!# Write address of Encryption key
setx aes_key_128, %g1, %o2
add %i7, %o2, %o2
stx %o2, [%l6 + 0x28]
!# Encryption IV
setx iv_address, %g1, %l2
stx %g4, [%l2]
stx %g5, [%l2+0x08]
stx %l2, [%l6+0x30]
!# Finally write destination address to last CW field
setx result, %g1, %o3
stx %o3, [%l6 + 0x38]
!# Make sure all these stores get to memory before we start
membar #Sync
!# Now add 1 (actually 8*8B) to tail pointer
ldxa [%g0 + ASI_SPU_CWQ_TAIL] %asi, %l2
add %l2, 0x40, %l2
stxa %l2, [%g0 + ASI_SPU_CWQ_TAIL] %asi
ldxa [%g0 + ASI_SPU_CWQ_TAIL] %asi, %l1
cmp %l1, %l2
bne,pn %xcc, fail
nop
!# Kick off the CWQ operation by writing to the CWQ_CSR
!# Set the enabled bit and reset the other bits
or %g0, 0x1, %g1
stxa %g1, [%g0 + ASI_SPU_CWQ_CSR] %asi
!# Try CWQ_SYNC operation...
ldxa [%g0 + 0x30] %asi, %l1
!# Check for protocol error - Riesling should only have busy bit set
ldxa [%g0 + ASI_SPU_CWQ_CSR] %asi, %l1
!# check the results...first check the data
!# Each AES block is only 16B long (divide by 8 anyway)
or %g0, 0x2, %i0
!# set %l3 to be base address of result area, and
!# %l4 to be base address of known ciphertext area
setx result, %g1, %l3
setx ciphertext_128, %g1, %l4
add %l4, %i5, %l4
or %g0, %g0, %g3
more1:
ldx [%l3 + %g3], %l1
ldx [%l4 + %g3], %l2
cmp %l1, %l2
bne,pn %xcc, fail
add %g3, 0x8, %g3 !# i++
addcc %i0, -1, %i0
bgt more1
nop
!# Make new 128 bit xor mask
addcc %g5, %g5, %g5 !# shift
rd %ccr, %g1
srl %g1, 4, %g1 !# Use the xcc codes instead of icc
wr %g1, 0, %ccr
addccc %g4, %g4, %g4 !# shift and add overflow
rd %ccr, %g1
srl %g1, 4, %g1
wr %g1, 0, %ccr
addc %g5, 0, %g5 !# add overflow
add %l6, 0x40, %l6 !# next CWQ
add %i5, 0x10, %i5 !# next pattern
add %i4, 1, %i4 !# loop counter
cmp %i4, NUM_MODE_PATTERNS
ble kat_loop
add %i7, 0x10, %i7 !# add offset for 128bit keys in branch delay
add %i7, 0x10, %i7 !# add offset for 192/256 bit keys (keep them aligned!)
cmp %i4, NUM_PATTERNS
bl kat_loop
nop
EXIT_GOOD
fail:
EXIT_BAD
/************************************************************************
Test case data start
************************************************************************/
.data
user_data_start:
scratch_area:
!# temporary area for storing expected result
.align 16
result:
.xword 0xDEADBEEFDEADBEEF, 0xDEADBEEFDEADBEEF
.align 16
iv_address:
.xword 0xDEADBEEFDEADBEEF, 0xDEADBEEFDEADBEEF
!# CWQ data area, set aside 512 CW's worth
!# 512*8*8 = 32KB
.align 32*1024
CWQ_BASE:
.xword 0xAAAAAAAAAAAAAAA
.xword 0xAAAAAAAAAAAAAAA
.xword 0xAAAAAAAAAAAAAAA
.xword 0xAAAAAAAAAAAAAAA
.xword 0xAAAAAAAAAAAAAAA
.xword 0xAAAAAAAAAAAAAAA
.xword 0xAAAAAAAAAAAAAAA
.xword 0xAAAAAAAAAAAAAAA
.align 32*1024
CWQ_LAST:
.align 16
plaintext_128:
.xword 0x506812A45F08C889, 0xB97F5980038B8359
.xword 0x5C6D71CA30DE8B8B, 0x00549984D2EC7D4B
.xword 0x53F3F4C64F8616E4, 0xE7C56199F48F21F6
.xword 0xA1EB65A3487165FB, 0x0F1C27FF9959F703
.xword 0x3553ECF0B1739558, 0xB08E350A98A39BFA
.xword 0x67429969490B9711, 0xAE2B01DC497AFDE8
.xword 0x93385C1F2AEC8BED, 0x192F5A8E161DD508
.xword 0xB5BF946BE19BEB8D, 0xB3983B5F4C6E8DDB
.xword 0x41321EE10E21BD90, 0x7227C4450FF42324
.xword 0x00A82F59C91C8486, 0xD12C0A80124F6089
.xword 0x7CE0FD076754691B, 0x4BBD9FAF8A1372FE
.xword 0x23605A8243D07764, 0x541BC5AD355B3129
.xword 0x12A8CFA23EA764FD, 0x876232B4E842BC44
.xword 0xBCAF32415E8308B3, 0x723E5FDD853CCC80
.xword 0x89AFAE685D801AD7, 0x47ACE91FC49ADDE0
.xword 0xF521D07B484357C4, 0xA69E76124A634216
.xword 0x3E23B3BC065BCC15, 0x2407E23896D77783
.xword 0x79F0FBA002BE1744, 0x670E7E99290D8F52
.xword 0xDA23FE9D5BD63E1D, 0x72E3DAFBE21A6C2A
.xword 0xE3F5698BA90B6A02, 0x2EFD7DB2C7E6C823
.xword 0xBDC2691D4F1B73D2, 0x700679C3BCBF9C6E
.xword 0xBA74E02093217EE1, 0xBA1B42BD5624349A
.xword 0xB5C593B5851C57FB, 0xF8B3F57715E8F680
.xword 0x3DA9BD9CEC072381, 0x788F9387C3BBF4EE
.xword 0x4197F3051121702A, 0xB65D316B3C637374
.xword 0x9F46C62EC4F6EE3F, 0x6E8C62554BC48AB7
.xword 0x0220673FE9E699A4, 0xEBC8E0DBEB6979C8
.xword 0xB2B99171337DED9B, 0xC8C2C23FF6F18867
.xword 0xA7FACF4E301E984E, 0x5EFEEFD645B23505
.xword 0xF7C762E4A9819160, 0xFD7ACFB6C4EEDCDD
.xword 0x9B64FC21EA08709F, 0x4915436FAA70F1BE
.xword 0x52AF2C3DE07EE677, 0x7F55A4ABFC100B3F
.xword 0x2FCA001224386C57, 0xAA3F968CBE2C816F
.xword 0x4149C73658A4A9C5, 0x64342755EE2C132F
.xword 0xAF60005A00A1772F, 0x7C07A48A923C23D2
.xword 0x6FCCBC2836375991, 0x4B6F0280AFAF20C6
.xword 0x7D82A43DDF4FEFA2, 0xFC5947499884D386
.xword 0x5D5A990EAAB9093A, 0xFE4CE254DFA49EF9
.xword 0x4CD1E2FD3F4434B5, 0x53AAE453F0ED1A02
.xword 0x5A2C9A9641D42991, 0x25FA1B9363104B5E
.xword 0xB517FE34C0FA217D, 0x341740BFD4FE8DD4
.xword 0x014BAF2278A69D33, 0x1D5180103643E99A
.xword 0xB529BD8164F20D0A, 0xA443D4932116841C
.xword 0x2E596DCBB2F33D42, 0x16A1176D5BD1E456
.xword 0x7274A1EA2B7EE242, 0x4E9A0E4673689143
.xword 0xAE20020BD4F13E9D, 0x90140BEE3B5D26AF
.xword 0xBAAC065DA7AC26E8, 0x55E79C8849D75A02
.xword 0x7C917D8D1D45FAB9, 0xE2540E28832540CC
.xword 0xBDE6F89E16DAADB0, 0xE847A2A614566A91
.xword 0xC9DE163725F1F5BE, 0x44EBB1DB51D07FBC
.xword 0x3AF57A58F0C07DFF, 0xA669572B521E2B92
.xword 0x3D5EBAC306DDE460, 0x4F1B4FBBBFCDAE55
.xword 0xC2DFA91BCEB76A11, 0x83C995020AC0B556
.xword 0xC70F54305885E9A0, 0x746D01EC56C8596B
.xword 0xC4F81B610E98012C, 0xE000182050C0C2B2
.xword 0xEAAB86B1D02A95D7, 0x404EFF67489F97D4
.xword 0x7C55BDB40B88870B, 0x52BEC3738DE82886
.xword 0xBA6EAA88371FF0A3, 0xBD875E3F2A975CE0
.xword 0x08059130C4C24BD3, 0x0CF0575E4E0373DC
.xword 0x9A8EAB004EF53093, 0xDFCF96F57E7EDA82
.xword 0x0745B589E2400C25, 0xF117B1D796C28129
.xword 0x2F1777781216CEC3, 0xF044F134B1B92BBE
.xword 0x353A779FFC541B3A, 0x3805D90CE17580FC
.xword 0x1A1EAE4415CEFCF0, 0x8C4AC1C8F68BEA8F
.xword 0xE6E7E4E5B0B3B2B5, 0xD4D5AAAB16111013
.xword 0xF8F9FAFBFBF8F9E6, 0x77767170EFE0E1E2
.xword 0x63626160A1A2A3A4, 0x45444B4A75727370
.xword 0x717073720605040B, 0x2D2C2B2A05FAFBF9
.xword 0x78797A7BEAE9E8EF, 0x3736292891969794
.xword 0x838281803231300F, 0xDDDCDBDAA0AFAEAD
.xword 0x18191A1BBFBCBDBA, 0x75747B7A7F78797A
.xword 0x848586879B989996, 0xA3A2A5A4849B9A99
.xword 0x0001020322212027, 0xCACBF4F551565754
.xword 0xCECFCCCDAFACADB2, 0x515057564A454447
.xword 0x92939091CDCECFC8, 0x13121D1C80878685
.xword 0xD2D3D0D16F6C6D62, 0x59585F5ED1EEEFEC
.xword 0xACADAEAF87848582, 0x0F0E1110D5D2D3D0
.xword 0x9091929364676619, 0xE6E7E0E1757A7B78
.xword 0xBABBB8B98A89888F, 0x74757A7B92959497
.xword 0x8D8C8F8E6E6D6C63, 0x3B3A3D3CCAD5D4D7
.xword 0x8687848501020304, 0x0808F7F767606162
.xword 0x8E8F8C8D65666778, 0x8A8B8C8D010E0F0C
.xword 0xC8C9CACB85868780, 0x7A7B7475E7E0E1E2
.xword 0x6D6C6F6E5053525D, 0x8C8D8A8BADD2D3D0
.xword 0x28292A2B393A3B3C, 0x0607181903040506
.xword 0xA5A4A7A6B0B3B28D, 0xDBDADDDCBDB2B3B0
.xword 0x3233303164676661, 0x30313E3F2C2B2A29
.xword 0x27262524080B0A05, 0x171611100B141516
.xword 0x0405060741424344, 0x35340B0AA3A4A5A6
.xword 0x242526271112130C, 0x61606766BDB2B3B0
.xword 0x4B4A494825262720, 0x9E9F9091CEC9C8CB
.xword 0x68696A6B6665646B, 0x9F9E9998D9E6E7E4
.xword 0x34353637C5C6C7C0, 0xF0F1EEEF7C7B7A79
.xword 0x32333031C2C1C13F, 0x0D0C0B0A050A0B08
.xword 0xCDCCCFCEBEBDBCBB, 0xABAAA5A4181F1E1D
.xword 0x212023223635343B, 0xA0A1A6A7445B5A59
.xword 0x0E0F0C0DA8ABAAAD, 0x2F2E515002050407
.xword 0x070605042A292837, 0x8E8F8889BDB2B3B0
.xword 0xCBCAC9C893909196, 0xA9A8A7A6A5A2A3A0
.xword 0x80818283C1C2C3CC, 0x9C9D9A9B0CF3F2F1
.xword 0x1213101125262720, 0xFAFBE4E5B1B6B7B4
.xword 0x7F7E7D7C3033320D, 0x97969190222D2C2F
.xword 0x4E4F4C4D484B4A4D, 0x81808F8E53545556
.xword 0xDCDDDEDFB0B3B2BD, 0x15141312A1BEBFBC
.xword 0x93929190282B2A2D, 0xC4C5FAFB92959497
.xword 0xF5F4F7F6C4C7C6D9, 0x373631307E717073
.xword 0x93929190B6B5B4B3, 0x64656A6B05020300
.xword 0xBABBB8B90D0E0F00, 0xA4A5A2A3043B3A39
.xword 0xD8D9DADB7F7C7D7A, 0x10110E0F787F7E7D
.xword 0xFEFFFCFDEFECED92, 0x3B3A3D3C6768696A
.xword 0xD6D7D4D58A89888F, 0x96979899A5A2A3A0
.xword 0x18191A1BA8ABAAA5, 0x303136379B848586
.xword 0x6B6A6968A4A7A6A1, 0xD6D72829B0B7B6B5
.xword 0x000102038A898897, 0x55545352A6A9A8AB
.xword 0x2D2C2F2EB3B0B1B6, 0xB6B7B8B9F2F5F4F7
.xword 0x9796959435363738, 0x56575051E09F9E9D
.xword 0xA4A5A6A7989B9A9D, 0xB1B0AFAE7A7D7C7F
.xword 0xC1C0C3C2686B6A55, 0xA8A9AEAFEAE5E4E7
.xword 0xC1C0C3C214171611, 0x8C8D828364636261
.xword 0x93929190CCCFCEC1, 0x96979091E0FFFEFD
.xword 0xB4B5B6B7F9FAFBFC, 0x25241B1A6E69686B
.xword 0x868784850704051A, 0xC7C6C1C08788898A
.xword 0xF4F5F6F7AAA9A8AF, 0xFDFCF3F277707172
.xword 0xD3D2D1D00605040B, 0xC3C2C5C43E010003
.xword 0x7372717042414047, 0x6A6B74750D0A0B08
.xword 0xC2C3C0C10A0908F7, 0x54555253A1AEAFAC
.xword 0x6D6C6F6EF8FBFAFD, 0x82838C8DF8FFFEFD
.xword 0xF5F4F7F684878689, 0xA6A7A0A1D2CDCCCF
plaintext_192:
.xword 0x2D33EEF2C0430A8A, 0x9EBF45E809C40BB6
.xword 0x6AA375D1FA155A61, 0xFB72353E0A5A8756
.xword 0xBC3736518B9490DC, 0xB8ED60EB26758ED4
.xword 0xAA214402B46CFFB9, 0xF761EC11263A311E
.xword 0x02AEA86E572EEAB6, 0x6B2C3AF5E9A46FD6
.xword 0xE2AEF6ACC33B965C, 0x4FA1F91C75FF6F36
.xword 0x0659DF46427162B9, 0x434865DD9499F91D
.xword 0x49A44239C748FEB4, 0x56F59C276A5658DF
.xword 0x66208F6E9D04525B, 0xDEDB2733B6A6BE37
.xword 0x3393F8DFC729C97F, 0x5480B950BC9666B0
.xword 0x606834C8CE063F32, 0x34CF1145325DBD71
.xword 0xFEC1C04F529BBD17, 0xD8CECFCC4718B17F
.xword 0x32DF99B431ED5DC5, 0xACF8CAF6DC6CE475
.xword 0x7FDC2B746F3F6652, 0x96943B83710D1F82
.xword 0x8FBA1510A3C5B87E, 0x2EAA3F7A91455CA2
.xword 0x2C9B468B1C2EED92, 0x578D41B0716B223B
.xword 0x0A2BBF0EFC6BC003, 0x4F8A03433FCA1B1A
.xword 0x25260E1F31F4104D, 0x387222E70632504B
.xword 0xC527D25A49F08A52, 0x28D338642AE65137
.xword 0x3B49FC081432F589, 0x0D0E3D87E884A69E
.xword 0xD173F9ED1E57597E, 0x166931DF2754A083
.xword 0x8C2B7CAFA5AFE7F1, 0x3562DAEAE1ADEDE0
.xword 0xAAF4EC8C1A815AEB, 0x826CAB741339532C
.xword 0x40BE8C5D9108E663, 0xF38F1A2395279ECF
.xword 0x0C8AD9BC32D43E04, 0x716753AA4CFBE351
.xword 0x1407B1D5F87D6335, 0x7C8DC7EBBAEBBFEE
.xword 0xE62734D1AE3378C4, 0x549E939E6F123416
.xword 0x5A752CFF2A176DB1, 0xA1DE77F2D2CDEE41
.xword 0xA9C8C3A4EABEDC80, 0xC64730DDD018CD88
.xword 0xEE9B3DBBDB861800, 0x72130834D305999A
.xword 0xA7FA8C3586B8EBDE, 0x7568EAD6F634A879
.xword 0x37E0F4A87F127D45, 0xAC936FE7AD88C10A
.xword 0x3F77D8B5D92BAC14, 0x8E4E46F697A535C5
.xword 0xD25EBB686C40F7E2, 0xC4DA1014936571CA
.xword 0x4F1C769D1E5B0552, 0xC7ECA84DEA26A549
.xword 0x8548E2F882D7584D, 0x0FAFC54372B6633A
.xword 0x87D7A336CB476F17, 0x7CD2A51AF2A62CDF
.xword 0x03B1FEAC668C4E48, 0x5C1065DFC22B44EE
.xword 0xBDA15E66819FA72D, 0x653A6866AA287962
.xword 0x4D0C7A0D2505B80B, 0xF8B62CEB12467F0A
.xword 0x626D34C9429B3721, 0x1330986466B94E5F
.xword 0x333C3E6BF00656B0, 0x88A17E5FF0E7F60A
.xword 0x687ED0CDC0D2A2BC, 0x8C466D05EF9D2891
.xword 0x487830E78CC56C16, 0x93E64B2A6660C7B6
.xword 0x7A48D6B7B52B2939, 0x2AA2072A32B66160
.xword 0x907320E64C8C5314, 0xD10F8D7A11C8618D
.xword 0xB561F2CA2D6E65A4, 0xA98341F3ED9FF533
.xword 0xDF769380D212792D, 0x026F049E2E3E48EF
.xword 0x79F374BC445BDABF, 0x8FCCB8843D6054C6
.xword 0x4E02F1242FA56B05, 0xC68DBAE8FE44C9D6
.xword 0xCF73C93CBFF57AC6, 0x35A6F4AD2A4A1545
.xword 0x9923548E28757507, 0x25B886566784C625
.xword 0x4888336B723A022C, 0x9545320F836A4207
.xword 0xF84D9A5561B0608B, 0x1160DEE000C41BA8
.xword 0xC23192A0418E30A1, 0x9B45AE3E3625BF22
.xword 0xB84E0690B28B0025, 0x381AD82A15E501A7
.xword 0xACEF5E5C108876C4, 0xF06269F865B8F0B0
.xword 0x0F1B3603E0F5DDEA, 0x4548246153A5E064
.xword 0xFBB63893450D42B5, 0x8C6D88CD3C1809E3
.xword 0x4BEF736DF150259D, 0xAE0C91354E8A5F92
.xword 0x7D2D46242056EF13, 0xD3C3FC93C128F4C7
.xword 0xE9C1BA2DF415657A, 0x256EDB33934680FD
.xword 0xE23EE277B0AA0A1D, 0xFB81F7527C3514F1
.xword 0x3E7445B0B63CAAF7, 0x5E4A911E12106B4C
.xword 0x7677747520232225, 0x44455A5BE6E1E0E3
.xword 0x72737475717E7F7C, 0xE9E8EBEA696A6B6C
.xword 0xDFDEDDDC25262728, 0xC9C8CFCEF1EEEFEC
.xword 0xFFFE010070777675, 0x5F5E5D5C7675746B
.xword 0xE0E1E2E342414047, 0x9F9E9190292E2F2C
.xword 0x2120272690EFEEED, 0x3B3A39384E4D4C4B
.xword 0xECEDEEEF5350516E, 0xA1A0A7A6A3ACADAE
.xword 0x32333C3D25222320, 0xE9E8EBEACECDCCC3
.xword 0x4041424362616067, 0x8A8BB4B511161714
.xword 0x94959293F5FAFBF8, 0x1F1E1D1C7C7F7E79
.xword 0xBEBFBCBD191A1B14, 0xCFCEC9C8546B6A69
.xword 0x2C2D3233898E8F8C, 0xBBBAB9B8333031CE
.xword 0x84858687BFBCBDBA, 0x37363938FDFAFBF8
.xword 0x828384857669686B, 0x909192930B08090E
.xword 0xBEBFBCBD9695948B, 0x707176779E919093
.xword 0x8B8A858460676665, 0x21202322D0D3D2DD
.xword 0x76777475F1F2F3F4, 0xF8F9E6E777707172
.xword 0xA4A5A2A34F404142, 0xB4B5B6B727242522
.xword 0x94959697E1E2E3EC, 0x16171011839C9D9E
.xword 0x03023D3C06010003, 0xDEDFDCDDFFFCFDE2
.xword 0x10111213F1F2F3F4, 0xCECFC0C1DBDCDDDE
.xword 0x67666160724D4C4F, 0x1D1C1F1E73707176
.xword 0xE6E7E4E5A8ABAAD5, 0x84858283909F9E9D
.xword 0x71707F7E56515053, 0x7D7C7F7E6162636C
.xword 0x6465666721222324, 0x5555AAAA03040506
.xword 0x9E9F9899ABA4A5A6, 0xCFCECDCC2B28292E
.xword 0xC7C6C5C4D1D2D3DC, 0x626364653A454447
.xword 0xF6F7E8E9E0E7E6E5, 0x1D1C1F1E5B585966
.xword 0xBCBDBEBF5D5E5F58, 0x68696667F4F3F2F1
.xword 0x40414647B0AFAEAD, 0x9B9A99989B98999E
.xword 0x69686B6A0201001F, 0x0F0E0908B4BBBAB9
.xword 0xC7C6C9C8D8DFDEDD, 0x5A5B5859BEBDBCB3
.xword 0xDEDFDCDD787B7A7D, 0xFFFEE1E0B2B5B4B7
.xword 0x4D4C4B4A606F6E6D, 0xD0D1D2D3FBF8F9FE
.xword 0xB7B6B5B4D7D4D5DA, 0xE5E4E3E2E1FEFFFC
.xword 0xCECFB0B1F7F0F1F2, 0xAEAFACAD3E3D3C23
.xword 0xCACBC8C9CDCECFC8, 0x12131C1D494E4F4C
.xword 0x9D9C9B9AD22D2C2F, 0xB1B0B3B20C0F0E09
.xword 0x7A7B787964676659, 0x959493924F404142
.xword 0xAAABA4A5CEC9C8CB, 0x1F1E1D1CABA8A9A6
.xword 0x93929190282B2A2D, 0xC4C5FAFB92959497
.xword 0xEFEEE9E8DED1D0D3, 0x39383B3A888B8A8D
.xword 0x7F7E7D7CA2A1A0AF, 0x78797E7F112E2F2C
.xword 0x84859A9B2B2C2D2E, 0x868784852625245B
.xword 0xB0B1B2B307040502, 0x6869666710171615
.xword 0xACADAAABBDA2A3A0, 0x0D0C0F0E595A5B5C
.xword 0x121310115655544B, 0x5253545569666764
.xword 0xDEDFD0D166616063, 0xEAEBE8E94142434C
.xword 0xDBDAD9D814171611, 0x66677879E0E7E6E5
.xword 0x6A6B6C6DE0EFEEED, 0x2B2A2928C0C3C2C5
.xword 0xB1B0B3B21714151A, 0x1A1B1C1D5649484B
.xword 0x39380706A3A4A5A6, 0xC4C5C6C77271706F
.xword 0x5C5D5E5F10131215, 0x39383736E2E5E4E7
.xword 0x43424544EAD5D4D7, 0x2E2F2C2D64676661
.xword 0x55545756989B9A65, 0xF8F9FEFF18171615
.xword 0x05040B0A52555457, 0x3C3D3E3F4A494847
.xword 0x14151617595A5B5C, 0x8584FBFA8E89888B
.xword 0x7C7D7A7BFDF2F3F0, 0x29282B2A51525354
.xword 0x38393A3B1E1D1C13, 0x41404746C23D3C3E
.xword 0x8D8C939240474645, 0x818083827C7F7E41
.xword 0x3B3A39381A19181F, 0x32333C3D45424340
.xword 0xF0F1F6F738272625, 0x828380817F7C7D7A
.xword 0x89888B8A04070619, 0x66676061141B1A19
.xword 0xD3D2DDDCAAADACAF, 0x9C9D9E9FE8EBEAE5
plaintext_256:
.xword 0x834EADFCCAC7E1B3, 0x0664B1ABA44815AB
.xword 0xD9DC4DBA3021B05D, 0x67C0518F72B62BF1
.xword 0xA291D86301A4A739, 0xF7392173AA3C604C
.xword 0x4264B2696498DE4D, 0xF79788A9F83E9390
.xword 0xEE9932B3721804D5, 0xA83EF5949245B6F6
.xword 0xE6248F55C5FDCBCA, 0x9CBBB01C88A2EA77
.xword 0xB8358E41B9DFF65F, 0xD461D55A99266247
.xword 0xF0E2D72260AF58E2, 0x1E015AB3A4C0D906
.xword 0x475B8B823CE8893D, 0xB3C44A9F2A379FF7
.xword 0x688F528194581286, 0x2F5F3076CF80412F
.xword 0x08D1D2BC750AF553, 0x365D35E75AFACEAA
.xword 0x8707121F47CC3EFC, 0xECA5F9A8474950A1
.xword 0xE51AA0B135DBA566, 0x939C3B6359A980C5
.xword 0x069A007FC76A459F, 0x98BAF917FEDF9521
.xword 0x726165C1723FBCF6, 0xC026D7D00B091027
.xword 0xD7C544DE91D55CFC, 0xDE1F84CA382200CE
.xword 0xFED3C9A161B9B5B2, 0xBD611B41DC9DA357
.xword 0x4F634CDC65510434, 0x09F30B635832CF82
.xword 0x109CE98DB0DFB367, 0x34D9F3394711B4E6
.xword 0x4EA6DFABA2D8A02F, 0xFDFFA89835987242
.xword 0x5AE094F54AF58E6E, 0x3CDBF976DAC6D9EF
.xword 0x764D8E8E0F29926D, 0xBE5122E66354FDBE
.xword 0x3F0418F888CDF29A, 0x982BF6B75410D6A9
.xword 0xE4A3E7CB12CDD56A, 0xA4A75197A9530220
.xword 0x211677684AAC1EC1, 0xA160F44C4EBF3F26
.xword 0xD21E439FF749AC8F, 0x18D6D4B105E03895
.xword 0xD9F6FF44646C4725, 0xBD4C0103FF5552A7
.xword 0x0B1256C2A00B9762, 0x50CFC5B0C37ED382
.xword 0xB056447FFC6DC452, 0x3A36CC2E972A3A79
.xword 0x5E25CA78F0DE5580, 0x2524D38DA3FE4456
.xword 0xA5BCF4728FA5EAAD, 0x8567C0DC24675F83
.xword 0x814E59F97ED84646, 0xB78B2CA022E9CA43
.xword 0x15478BEEC58F4775, 0xC7A7F5D4395514D7
.xword 0x253548FFCA461C67, 0xC8CBC78CD59F4756
.xword 0xFD7AD8D73B9B0F8C, 0xC41600640F503D65
.xword 0x06199DE52C6CBF8A, 0xF954CD65830BCD56
.xword 0xF17C4FFE48E44C61, 0xBD891E257E725794
.xword 0x9A5B4A402A3E8A59, 0xBE6BF5CD8154F029
.xword 0x79BD40B91A7E07DC, 0x939D441782AE6B17
.xword 0xD8CEAAF8976E5FBE, 0x1012D8C84F323799
.xword 0x3316E2751E2E388B, 0x083DA23DD6AC3FBE
.xword 0x8B7CFBE37DE7DCA7, 0x93521819242C5816
.xword 0xF23F033C0EEBF8EC, 0x55752662FD58CE68
.xword 0x59EB34F6C8BDBACC, 0x5FC6AD73A59A1301
.xword 0xDCDE8B6BD5CF7CC2, 0x2D9505E3CE81261A
.xword 0xE33CF7E524FED781, 0xE7042FF9F4B35DC7
.xword 0x27963C8FACDF7306, 0x2867D164DF6D064C
.xword 0x77B1CE386B551B99, 0x5F2F2A1DA994EEF8
.xword 0xF083388B013679EF, 0xCF0BB9B15D52AE5C
.xword 0xC5009E0DAB55DB0A, 0xBDB636F2600290C8
.xword 0x7804881E26CD532D, 0x8514D3683F00F1B9
.xword 0x46CDDCD73D1EB53E, 0x675CA012870A92A3
.xword 0xA9FB44062BB07FE1, 0x30A8E8299EACB1AB
.xword 0x2B6FF8D7A5CC3A28, 0xA22D5A6F221AF26B
.xword 0x1A9527C29B8ADD4B, 0x0E3E656DBB2AF8B4
.xword 0x7F99CF2C75244DF0, 0x15EB4B0C1050AEAE
.xword 0xE84FF85B0D945407, 0x1909C1381646C4ED
.xword 0x89AFD40F99521280, 0xD5399B12404F6DB4
.xword 0xA09EF32DBC5119A3, 0x5AB7FA38656F0329
.xword 0x61773457F068C376, 0xC7829B93E696E716
.xword 0xA34F0CAE726CCE41, 0xDD498747D891B967
.xword 0x856F59496C7388EE, 0x2D2B1A27B7697847
.xword 0xCB090C593EF7720B, 0xD95908FB93B49DF4
.xword 0xA0AC75CD2F1923D4, 0x60FC4D457AD95BAF
.xword 0x2A2B282974777689, 0xE8E9EEEF525D5C5F
.xword 0x909192939390919E, 0x0F0E09089788898A
.xword 0x777675748D8E8F90, 0x7170777649464744
.xword 0x717073720605040B, 0x2D2C2B2A05FAFBF9
.xword 0x64656667FEFDFCC3, 0x1B1A1D1CA5AAABA8
.xword 0xDBDAD9D86A696867, 0xB5B4B3B2C8D7D6D5
.xword 0x5C5D5E5FE3E0E1FE, 0x31303736333C3D3E
.xword 0x545556574B484946, 0x73727574546B6A69
.xword 0xECEDEEEFC6C5C4BB, 0x56575051F5FAFBF8
.xword 0x464744452724252A, 0xC9C8CFCED2CDCCCF
.xword 0xE6E7E4E54142435C, 0x878681801C131211
.xword 0x72737071CFCCCDC2, 0xF9F8FFFE710E0F0C
.xword 0x505152537370714E, 0xC3C2C5C4010E0F0C
.xword 0xA8A9AAAB5C5F5E51, 0xAEAFA8A93D222320
.xword 0xDEDFDCDDF6F5F4EB, 0x10111617FEF1F0F3
.xword 0xBDBCBFBE5E5D5C53, 0x0B0A0D0CFAC5C4C7
.xword 0x8A8B8889050606F8, 0xF4F5F2F3636C6D6E
.xword 0xA6A7A4A54D4E4F40, 0xB2B3B4B539262724
.xword 0x9C9D9E9FE9EAEBF4, 0x0E0F08099B949596
.xword 0x2D2C2F2E1013121D, 0xCCCDCACBED121310
.xword 0xF4F5F6F7EDEEEFD0, 0xEAEBECEDF7F8F9FA
.xword 0x3D3C3F3E282B2A25, 0x73727574150A0B08
.xword 0xB6B7B4B5F8FBFAE5, 0xB4B5B2B3A0AFAEAD
.xword 0xB7B6B5B4989B9A95, 0x878681809BA4A5A6
.xword 0xA8A9AAABE5E6E798, 0xE9E8EFEE4748494A
.xword 0xECEDEEEFD9DADBD4, 0xB9B8BFBE657A7B78
.xword 0x7F7E7D7C696A6B74, 0xCACBCCCD929D9C9F
.xword 0x08090A0B0605040B, 0xFFFEF9F8B9C6C7C4
.xword 0x08090A0BF1F2F3CC, 0xFCFDFAFB68676665
.xword 0xCACBC8C93A393837, 0x050403020D121310
.xword 0xE9E8EBEA8281809F, 0x8F8E8988343B3A39
.xword 0x515053524645444B, 0xD0D1D6D7340B0A09
.xword 0x42434041ECEFEE11, 0x93929594C6C9C8CB
.xword 0xEFEEEDECC2C1C0CF, 0x76777071455A5B58
.xword 0x5F5E5D5C3F3C3D22, 0x1D1C1B1A19161714
.xword 0x000102034142434C, 0x1C1D1A1B8D727371
.xword 0x8E8F8C8DB1B2B38C, 0x56575051050A0B08
.xword 0xA7A6A5A4E8EBEAE5, 0x7F7E7978CAD5D4D7
.xword 0x8A8B888994979689, 0x454443429F909192
.xword 0x8C8D8E8FE0E3E2ED, 0x45444342F1CECFCC
.xword 0xFFFEFDFC4C4F4E31, 0xD8D9DEDFB6B9B8BB
.xword 0xFDFCFFFECCCFCEC1, 0x2F2E29286679787B
.xword 0x67666564BAB9B8A7, 0x7071767719161714
.xword 0x9A9B98992D2E2F20, 0x84858283245B5A59
.xword 0xA4A5A6A70B080936, 0x5C5D5A5B2C232221
.xword 0x464744455754555A, 0xF3F2F5F4AFB0B1B2
.xword 0x323330317675746B, 0x7273747549464744
.xword 0xA8A9AAAB181B1A15, 0x808186872B141516
.xword 0xE7E6E5E4202323DD, 0xAAABACAD343B3A39
.xword 0xA8A9AAAB2221202F, 0xEDECEBEA1E010003
.xword 0xF9F8FBFA5F5C5D42, 0x424344450E010003
.xword 0x57565554F5F6F7F8, 0x9697909120DFDEDD
.xword 0xF8F9FAFBCCCFCEF1, 0xDDDCDBDA0E010003
.xword 0xD9D8DBDA7073727D, 0x80818687C2DDDCDF
.xword 0xC5C4C7C6080B0A15, 0x88898E8F68676665
.xword 0x83828180DCDFDED1, 0x86878081F0CFCECD
.xword 0x98999A9BDDDEDFA0, 0x79787F7E0A050407
.xword 0xCECFCCCD4F4C4D42, 0x9F9E9998DFC0C1C2
.xword 0x404142436665647B, 0x29282F2EABA4A5A6
.xword 0x33323130E6E5E4EB, 0x23222524DEA1A0A3
.xword 0xCFCECDCCF6F5F4CB, 0xE6E7E0E199969794
.xword 0xBABBB8B97271707F, 0xDCDDDADB29363734
.xword 0xC9C8CBCA44474659, 0x26272021545B5A59
.xword 0x0504070674777679, 0x56575051221D1C1F
.align 16
aes_key_128:
.xword 0x0001020305060708, 0x0A0B0C0D0F101112
.xword 0x14151617191A1B1C, 0x1E1F202123242526
.xword 0x28292A2B2D2E2F30, 0x323334353738393A
.xword 0x3C3D3E3F41424344, 0x464748494B4C4D4E
.xword 0x5051525355565758, 0x5A5B5C5D5F606162
.xword 0x64656667696A6B6C, 0x6E6F707173747576
.xword 0x78797A7B7D7E7F80, 0x828384858788898A
.xword 0x8C8D8E8F91929394, 0x969798999B9C9D9E
.xword 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2
.xword 0xB4B5B6B7B9BABBBC, 0xBEBFC0C1C3C4C5C6
.xword 0xC8C9CACBCDCECFD0, 0xD2D3D4D5D7D8D9DA
.xword 0xDCDDDEDFE1E2E3E4, 0xE6E7E8E9EBECEDEE
.xword 0xF0F1F2F3F5F6F7F8, 0xFAFBFCFDFE010002
.xword 0x04050607090A0B0C, 0x0E0F101113141516
.xword 0x2C2D2E2F31323334, 0x363738393B3C3D3E
.xword 0x4041424345464748, 0x4A4B4C4D4F505152
.xword 0x54555657595A5B5C, 0x5E5F606163646566
.xword 0x68696A6B6D6E6F70, 0x727374757778797A
.xword 0x7C7D7E7F81828384, 0x868788898B8C8D8E
.xword 0xA4A5A6A7A9AAABAC, 0xAEAFB0B1B3B4B5B6
.xword 0xE0E1E2E3E5E6E7E8, 0xEAEBECEDEFF0F1F2
.xword 0x08090A0B0D0E0F10, 0x121314151718191A
.xword 0x6C6D6E6F71727374, 0x767778797B7C7D7E
.xword 0x8081828385868788, 0x8A8B8C8D8F909192
.xword 0x94959697999A9B9C, 0x9E9FA0A1A3A4A5A6
.xword 0xA8A9AAABADAEAFB0, 0xB2B3B4B5B7B8B9BA
.xword 0xBCBDBEBFC1C2C3C4, 0xC6C7C8C9CBCCCDCE
.xword 0xD0D1D2D3D5D6D7D8, 0xDADBDCDDDFE0E1E2
.xword 0xE4E5E6E7E9EAEBEC, 0xEEEFF0F1F3F4F5F6
.xword 0xF8F9FAFBFDFEFE00, 0x020304050708090A
.xword 0x0C0D0E0F11121314, 0x161718191B1C1D1E
.xword 0x2021222325262728, 0x2A2B2C2D2F303132
.xword 0x34353637393A3B3C, 0x3E3F404143444546
.xword 0x48494A4B4D4E4F50, 0x525354555758595A
.xword 0x5C5D5E5F61626364, 0x666768696B6C6D6E
.xword 0x7071727375767778, 0x7A7B7C7D7F808182
.xword 0x84858687898A8B8C, 0x8E8F909193949596
.xword 0x98999A9B9D9E9FA0, 0xA2A3A4A5A7A8A9AA
.xword 0xACADAEAFB1B2B3B4, 0xB6B7B8B9BBBCBDBE
.xword 0xC0C1C2C3C5C6C7C8, 0xCACBCCCDCFD0D1D2
.xword 0xD4D5D6D7D9DADBDC, 0xDEDFE0E1E3E4E5E6
.xword 0xE8E9EAEBEDEEEFF0, 0xF2F3F4F5F7F8F9FA
.xword 0xFCFDFEFF01020304, 0x060708090B0C0D0E
.xword 0x1011121315161718, 0x1A1B1C1D1F202122
.xword 0x24252627292A2B2C, 0x2E2F303133343536
.xword 0x38393A3B3D3E3F40, 0x424344454748494A
.xword 0x4C4D4E4F51525354, 0x565758595B5C5D5E
.xword 0x6061626365666768, 0x6A6B6C6D6F707172
.xword 0x74757677797A7B7C, 0x7E7F808183848586
.xword 0x88898A8B8D8E8F90, 0x929394959798999A
.xword 0x9C9D9E9FA1A2A3A4, 0xA6A7A8A9ABACADAE
.xword 0xB0B1B2B3B5B6B7B8, 0xBABBBCBDBFC0C1C2
.xword 0xC4C5C6C7C9CACBCC, 0xCECFD0D1D3D4D5D6
.xword 0xD8D9DADBDDDEDFE0, 0xE2E3E4E5E7E8E9EA
.xword 0xECEDEEEFF1F2F3F4, 0xF6F7F8F9FBFCFDFE
.xword 0x0001020305060708, 0x0A0B0C0D0F101112
.xword 0x14151617191A1B1C, 0x1E1F202123242526
.xword 0x28292A2B2D2E2F30, 0x323334353738393A
.xword 0x3C3D3E3F41424344, 0x464748494B4C4D4E
.xword 0x5051525355565758, 0x5A5B5C5D5F606162
.xword 0x64656667696A6B6C, 0x6E6F707173747576
.xword 0x78797A7B7D7E7F80, 0x828384858788898A
.xword 0x8C8D8E8F91929394, 0x969798999B9C9D9E
.xword 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2
.xword 0xB4B5B6B7B9BABBBC, 0xBEBFC0C1C3C4C5C6
.xword 0xC8C9CACBCDCECFD0, 0xD2D3D4D5D7D8D9DA
.xword 0xDCDDDEDFE1E2E3E4, 0xE6E7E8E9EBECEDEE
.xword 0xF0F1F2F3F5F6F7F8, 0xFAFBFCFDFE010002
.xword 0x04050607090A0B0C, 0x0E0F101113141516
.xword 0x18191A1B1D1E1F20, 0x222324252728292A
.xword 0x2C2D2E2F31323334, 0x363738393B3C3D3E
.xword 0x4041424345464748, 0x4A4B4C4D4F505152
.xword 0x54555657595A5B5C, 0x5E5F606163646566
.xword 0x68696A6B6D6E6F70, 0x727374757778797A
.xword 0x7C7D7E7F81828384, 0x868788898B8C8D8E
.xword 0x9091929395969798, 0x9A9B9C9D9FA0A1A2
.xword 0xA4A5A6A7A9AAABAC, 0xAEAFB0B1B3B4B5B6
.xword 0xB8B9BABBBDBEBFC0, 0xC2C3C4C5C7C8C9CA
.xword 0xCCCDCECFD1D2D3D4, 0xD6D7D8D9DBDCDDDE
.xword 0xE0E1E2E3E5E6E7E8, 0xEAEBECEDEFF0F1F2
.xword 0xF4F5F6F7F9FAFBFC, 0xFEFE010103040506
.xword 0x08090A0B0D0E0F10, 0x121314151718191A
.xword 0x1C1D1E1F21222324, 0x262728292B2C2D2E
.xword 0x3031323335363738, 0x3A3B3C3D3F404142
.xword 0x44454647494A4B4C, 0x4E4F505153545556
.xword 0x58595A5B5D5E5F60, 0x626364656768696A
.xword 0x6C6D6E6F71727374, 0x767778797B7C7D7E
.xword 0x8081828385868788, 0x8A8B8C8D8F909192
.xword 0x94959697999A9B9C, 0x9E9FA0A1A3A4A5A6
.xword 0xA8A9AAABADAEAFB0, 0xB2B3B4B5B7B8B9BA
.xword 0xBCBDBEBFC1C2C3C4, 0xC6C7C8C9CBCCCDCE
.xword 0xD0D1D2D3D5D6D7D8, 0xDADBDCDDDFE0E1E2
.xword 0xE4E5E6E7E9EAEBEC, 0xEEEFF0F1F3F4F5F6
.xword 0xF8F9FAFBFDFEFE00, 0x020304050708090A
.xword 0x0C0D0E0F11121314, 0x161718191B1C1D1E
.xword 0x2021222325262728, 0x2A2B2C2D2F303132
.xword 0x34353637393A3B3C, 0x3E3F404143444546
.xword 0x48494A4B4D4E4F50, 0x525354555758595A
.xword 0x5C5D5E5F61626364, 0x666768696B6C6D6E
.xword 0x7071727375767778, 0x7A7B7C7D7F808182
.xword 0x84858687898A8B8C, 0x8E8F909193949596
.xword 0x98999A9B9D9E9FA0, 0xA2A3A4A5A7A8A9AA
.xword 0xACADAEAFB1B2B3B4, 0xB6B7B8B9BBBCBDBE
.xword 0xC0C1C2C3C5C6C7C8, 0xCACBCCCDCFD0D1D2
.xword 0xD4D5D6D7D9DADBDC, 0xDEDFE0E1E3E4E5E6
.xword 0xE8E9EAEBEDEEEFF0, 0xF2F3F4F5F7F8F9FA
.xword 0xFCFDFEFF01020304, 0x060708090B0C0D0E
.xword 0x1011121315161718, 0x1A1B1C1D1F202122
.xword 0x24252627292A2B2C, 0x2E2F303133343536
.xword 0x38393A3B3D3E3F40, 0x424344454748494A
.xword 0x4C4D4E4F51525354, 0x565758595B5C5D5E
.xword 0x6061626365666768, 0x6A6B6C6D6F707172
.xword 0x74757677797A7B7C, 0x7E7F808183848586
.xword 0x88898A8B8D8E8F90, 0x929394959798999A
.xword 0x9C9D9E9FA1A2A3A4, 0xA6A7A8A9ABACADAE
.xword 0xB0B1B2B3B5B6B7B8, 0xBABBBCBDBFC0C1C2
.xword 0xC4C5C6C7C9CACBCC, 0xCECFD0D1D3D4D5D6
.xword 0xD8D9DADBDDDEDFE0, 0xE2E3E4E5E7E8E9EA
.xword 0xECEDEEEFF1F2F3F4, 0xF6F7F8F9FBFCFDFE
.xword 0x0001020305060708, 0x0A0B0C0D0F101112
.xword 0x14151617191A1B1C, 0x1E1F202123242526
.xword 0x28292A2B2D2E2F30, 0x323334353738393A
.xword 0x3C3D3E3F41424344, 0x464748494B4C4D4E
.xword 0x5051525355565758, 0x5A5B5C5D5F606162
.xword 0x64656667696A6B6C, 0x6E6F707173747576
.xword 0x78797A7B7D7E7F80, 0x828384858788898A
.xword 0x8C8D8E8F91929394, 0x969798999B9C9D9E
.xword 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2
aes_key_192:
.xword 0x0001020305060708, 0x0A0B0C0D0F101112, 0x14151617191A1B1C, 0x0
.xword 0x1E1F202123242526, 0x28292A2B2D2E2F30, 0x323334353738393A, 0x0
.xword 0x3C3D3E3F41424344, 0x464748494B4C4D4E, 0x5051525355565758, 0x0
.xword 0x5A5B5C5D5F606162, 0x64656667696A6B6C, 0x6E6F707173747576, 0x0
.xword 0x78797A7B7D7E7F80, 0x828384858788898A, 0x8C8D8E8F91929394, 0x0
.xword 0x969798999B9C9D9E, 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2, 0x0
.xword 0xB4B5B6B7B9BABBBC, 0xBEBFC0C1C3C4C5C6, 0xC8C9CACBCDCECFD0, 0x0
.xword 0xD2D3D4D5D7D8D9DA, 0xDCDDDEDFE1E2E3E4, 0xE6E7E8E9EBECEDEE, 0x0
.xword 0xF0F1F2F3F5F6F7F8, 0xFAFBFCFDFE010002, 0x04050607090A0B0C, 0x0
.xword 0x0E0F101113141516, 0x18191A1B1D1E1F20, 0x222324252728292A, 0x0
.xword 0x2C2D2E2F31323334, 0x363738393B3C3D3E, 0x4041424345464748, 0x0
.xword 0x4A4B4C4D4F505152, 0x54555657595A5B5C, 0x5E5F606163646566, 0x0
.xword 0x68696A6B6D6E6F70, 0x727374757778797A, 0x7C7D7E7F81828384, 0x0
.xword 0x868788898B8C8D8E, 0x9091929395969798, 0x9A9B9C9D9FA0A1A2, 0x0
.xword 0xA4A5A6A7A9AAABAC, 0xAEAFB0B1B3B4B5B6, 0xB8B9BABBBDBEBFC0, 0x0
.xword 0xC2C3C4C5C7C8C9CA, 0xCCCDCECFD1D2D3D4, 0xD6D7D8D9DBDCDDDE, 0x0
.xword 0xE0E1E2E3E5E6E7E8, 0xEAEBECEDEFF0F1F2, 0xF4F5F6F7F9FAFBFC, 0x0
.xword 0xFEFE010103040506, 0x08090A0B0D0E0F10, 0x121314151718191A, 0x0
.xword 0x1C1D1E1F21222324, 0x262728292B2C2D2E, 0x3031323335363738, 0x0
.xword 0x3A3B3C3D3F404142, 0x44454647494A4B4C, 0x4E4F505153545556, 0x0
.xword 0x58595A5B5D5E5F60, 0x626364656768696A, 0x6C6D6E6F71727374, 0x0
.xword 0x767778797B7C7D7E, 0x8081828385868788, 0x8A8B8C8D8F909192, 0x0
.xword 0x94959697999A9B9C, 0x9E9FA0A1A3A4A5A6, 0xA8A9AAABADAEAFB0, 0x0
.xword 0xD0D1D2D3D5D6D7D8, 0xDADBDCDDDFE0E1E2, 0xE4E5E6E7E9EAEBEC, 0x0
.xword 0x2A2B2C2D2F303132, 0x34353637393A3B3C, 0x3E3F404143444546, 0x0
.xword 0x48494A4B4D4E4F50, 0x525354555758595A, 0x5C5D5E5F61626364, 0x0
.xword 0x84858687898A8B8C, 0x8E8F909193949596, 0x98999A9B9D9E9FA0, 0x0
.xword 0xA2A3A4A5A7A8A9AA, 0xACADAEAFB1B2B3B4, 0xB6B7B8B9BBBCBDBE, 0x0
.xword 0xC0C1C2C3C5C6C7C8, 0xCACBCCCDCFD0D1D2, 0xD4D5D6D7D9DADBDC, 0x0
.xword 0x1A1B1C1D1F202122, 0x24252627292A2B2C, 0x2E2F303133343536, 0x0
.xword 0x38393A3B3D3E3F40, 0x424344454748494A, 0x4C4D4E4F51525354, 0x0
.xword 0x929394959798999A, 0x9C9D9E9FA1A2A3A4, 0xA6A7A8A9ABACADAE, 0x0
.xword 0x464748494B4C4D4E, 0x5051525355565758, 0x5A5B5C5D5F606162, 0x0
.xword 0x828384858788898A, 0x8C8D8E8F91929394, 0x969798999B9C9D9E, 0x0
.xword 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2, 0xB4B5B6B7B9BABBBC, 0x0
.xword 0xBEBFC0C1C3C4C5C6, 0xC8C9CACBCDCECFD0, 0xD2D3D4D5D7D8D9DA, 0x0
.xword 0xDCDDDEDFE1E2E3E4, 0xE6E7E8E9EBECEDEE, 0xF0F1F2F3F5F6F7F8, 0x0
.xword 0xFAFBFCFDFE010002, 0x04050607090A0B0C, 0x0E0F101113141516, 0x0
.xword 0x18191A1B1D1E1F20, 0x222324252728292A, 0x2C2D2E2F31323334, 0x0
.xword 0x363738393B3C3D3E, 0x4041424345464748, 0x4A4B4C4D4F505152, 0x0
.xword 0x54555657595A5B5C, 0x5E5F606163646566, 0x68696A6B6D6E6F70, 0x0
.xword 0x727374757778797A, 0x7C7D7E7F81828384, 0x868788898B8C8D8E, 0x0
.xword 0x9091929395969798, 0x9A9B9C9D9FA0A1A2, 0xA4A5A6A7A9AAABAC, 0x0
.xword 0xAEAFB0B1B3B4B5B6, 0xB8B9BABBBDBEBFC0, 0xC2C3C4C5C7C8C9CA, 0x0
.xword 0xCCCDCECFD1D2D3D4, 0xD6D7D8D9DBDCDDDE, 0xE0E1E2E3E5E6E7E8, 0x0
.xword 0xEAEBECEDEFF0F1F2, 0xF4F5F6F7F9FAFBFC, 0xFEFE010103040506, 0x0
.xword 0x08090A0B0D0E0F10, 0x121314151718191A, 0x1C1D1E1F21222324, 0x0
.xword 0x262728292B2C2D2E, 0x3031323335363738, 0x3A3B3C3D3F404142, 0x0
.xword 0x44454647494A4B4C, 0x4E4F505153545556, 0x58595A5B5D5E5F60, 0x0
.xword 0x626364656768696A, 0x6C6D6E6F71727374, 0x767778797B7C7D7E, 0x0
.xword 0x8081828385868788, 0x8A8B8C8D8F909192, 0x94959697999A9B9C, 0x0
.xword 0x9E9FA0A1A3A4A5A6, 0xA8A9AAABADAEAFB0, 0xB2B3B4B5B7B8B9BA, 0x0
.xword 0xBCBDBEBFC1C2C3C4, 0xC6C7C8C9CBCCCDCE, 0xD0D1D2D3D5D6D7D8, 0x0
.xword 0xDADBDCDDDFE0E1E2, 0xE4E5E6E7E9EAEBEC, 0xEEEFF0F1F3F4F5F6, 0x0
.xword 0xF8F9FAFBFDFEFE00, 0x020304050708090A, 0x0C0D0E0F11121314, 0x0
.xword 0x161718191B1C1D1E, 0x2021222325262728, 0x2A2B2C2D2F303132, 0x0
.xword 0x34353637393A3B3C, 0x3E3F404143444546, 0x48494A4B4D4E4F50, 0x0
.xword 0x525354555758595A, 0x5C5D5E5F61626364, 0x666768696B6C6D6E, 0x0
.xword 0x7071727375767778, 0x7A7B7C7D7F808182, 0x84858687898A8B8C, 0x0
.xword 0x8E8F909193949596, 0x98999A9B9D9E9FA0, 0xA2A3A4A5A7A8A9AA, 0x0
.xword 0xACADAEAFB1B2B3B4, 0xB6B7B8B9BBBCBDBE, 0xC0C1C2C3C5C6C7C8, 0x0
.xword 0xCACBCCCDCFD0D1D2, 0xD4D5D6D7D9DADBDC, 0xDEDFE0E1E3E4E5E6, 0x0
.xword 0xE8E9EAEBEDEEEFF0, 0xF2F3F4F5F7F8F9FA, 0xFCFDFEFF01020304, 0x0
.xword 0x060708090B0C0D0E, 0x1011121315161718, 0x1A1B1C1D1F202122, 0x0
.xword 0x24252627292A2B2C, 0x2E2F303133343536, 0x38393A3B3D3E3F40, 0x0
.xword 0x424344454748494A, 0x4C4D4E4F51525354, 0x565758595B5C5D5E, 0x0
.xword 0x6061626365666768, 0x6A6B6C6D6F707172, 0x74757677797A7B7C, 0x0
.xword 0x7E7F808183848586, 0x88898A8B8D8E8F90, 0x929394959798999A, 0x0
.xword 0x9C9D9E9FA1A2A3A4, 0xA6A7A8A9ABACADAE, 0xB0B1B2B3B5B6B7B8, 0x0
.xword 0xBABBBCBDBFC0C1C2, 0xC4C5C6C7C9CACBCC, 0xCECFD0D1D3D4D5D6, 0x0
.xword 0xD8D9DADBDDDEDFE0, 0xE2E3E4E5E7E8E9EA, 0xECEDEEEFF1F2F3F4, 0x0
.xword 0xF6F7F8F9FBFCFDFE, 0x0001020305060708, 0x0A0B0C0D0F101112, 0x0
.xword 0x14151617191A1B1C, 0x1E1F202123242526, 0x28292A2B2D2E2F30, 0x0
.xword 0x323334353738393A, 0x3C3D3E3F41424344, 0x464748494B4C4D4E, 0x0
.xword 0x5051525355565758, 0x5A5B5C5D5F606162, 0x64656667696A6B6C, 0x0
.xword 0x6E6F707173747576, 0x78797A7B7D7E7F80, 0x828384858788898A, 0x0
.xword 0x8C8D8E8F91929394, 0x969798999B9C9D9E, 0xA0A1A2A3A5A6A7A8, 0x0
.xword 0xAAABACADAFB0B1B2, 0xB4B5B6B7B9BABBBC, 0xBEBFC0C1C3C4C5C6, 0x0
.xword 0xC8C9CACBCDCECFD0, 0xD2D3D4D5D7D8D9DA, 0xDCDDDEDFE1E2E3E4, 0x0
.xword 0xE6E7E8E9EBECEDEE, 0xF0F1F2F3F5F6F7F8, 0xFAFBFCFDFE010002, 0x0
.xword 0x04050607090A0B0C, 0x0E0F101113141516, 0x18191A1B1D1E1F20, 0x0
.xword 0x222324252728292A, 0x2C2D2E2F31323334, 0x363738393B3C3D3E, 0x0
.xword 0x4041424345464748, 0x4A4B4C4D4F505152, 0x54555657595A5B5C, 0x0
.xword 0x5E5F606163646566, 0x68696A6B6D6E6F70, 0x727374757778797A, 0x0
.xword 0x7C7D7E7F81828384, 0x868788898B8C8D8E, 0x9091929395969798, 0x0
.xword 0x9A9B9C9D9FA0A1A2, 0xA4A5A6A7A9AAABAC, 0xAEAFB0B1B3B4B5B6, 0x0
.xword 0xB8B9BABBBDBEBFC0, 0xC2C3C4C5C7C8C9CA, 0xCCCDCECFD1D2D3D4, 0x0
.xword 0xD6D7D8D9DBDCDDDE, 0xE0E1E2E3E5E6E7E8, 0xEAEBECEDEFF0F1F2, 0x0
.xword 0xF4F5F6F7F9FAFBFC, 0xFEFE010103040506, 0x08090A0B0D0E0F10, 0x0
.xword 0x121314151718191A, 0x1C1D1E1F21222324, 0x262728292B2C2D2E, 0x0
.xword 0x3031323335363738, 0x3A3B3C3D3F404142, 0x44454647494A4B4C, 0x0
.xword 0x4E4F505153545556, 0x58595A5B5D5E5F60, 0x626364656768696A, 0x0
.xword 0x6C6D6E6F71727374, 0x767778797B7C7D7E, 0x8081828385868788, 0x0
.xword 0x8A8B8C8D8F909192, 0x94959697999A9B9C, 0x9E9FA0A1A3A4A5A6, 0x0
.xword 0xA8A9AAABADAEAFB0, 0xB2B3B4B5B7B8B9BA, 0xBCBDBEBFC1C2C3C4, 0x0
.xword 0xC6C7C8C9CBCCCDCE, 0xD0D1D2D3D5D6D7D8, 0xDADBDCDDDFE0E1E2, 0x0
.xword 0xE4E5E6E7E9EAEBEC, 0xEEEFF0F1F3F4F5F6, 0xF8F9FAFBFDFEFE00, 0x0
.xword 0x020304050708090A, 0x0C0D0E0F11121314, 0x161718191B1C1D1E, 0x0
.xword 0x2021222325262728, 0x2A2B2C2D2F303132, 0x34353637393A3B3C, 0x0
.xword 0x3E3F404143444546, 0x48494A4B4D4E4F50, 0x525354555758595A, 0x0
.xword 0x5C5D5E5F61626364, 0x666768696B6C6D6E, 0x7071727375767778, 0x0
.xword 0x7A7B7C7D7F808182, 0x84858687898A8B8C, 0x8E8F909193949596, 0x0
.xword 0x98999A9B9D9E9FA0, 0xA2A3A4A5A7A8A9AA, 0xACADAEAFB1B2B3B4, 0x0
.xword 0xB6B7B8B9BBBCBDBE, 0xC0C1C2C3C5C6C7C8, 0xCACBCCCDCFD0D1D2, 0x0
.xword 0xD4D5D6D7D9DADBDC, 0xDEDFE0E1E3E4E5E6, 0xE8E9EAEBEDEEEFF0, 0x0
.xword 0xF2F3F4F5F7F8F9FA, 0xFCFDFEFF01020304, 0x060708090B0C0D0E, 0x0
.xword 0x1011121315161718, 0x1A1B1C1D1F202122, 0x24252627292A2B2C, 0x0
.xword 0x2E2F303133343536, 0x38393A3B3D3E3F40, 0x424344454748494A, 0x0
.xword 0x4C4D4E4F51525354, 0x565758595B5C5D5E, 0x6061626365666768, 0x0
.xword 0x6A6B6C6D6F707172, 0x74757677797A7B7C, 0x7E7F808183848586, 0x0
.xword 0x88898A8B8D8E8F90, 0x929394959798999A, 0x9C9D9E9FA1A2A3A4, 0x0
.xword 0xA6A7A8A9ABACADAE, 0xB0B1B2B3B5B6B7B8, 0xBABBBCBDBFC0C1C2, 0x0
.xword 0xC4C5C6C7C9CACBCC, 0xCECFD0D1D3D4D5D6, 0xD8D9DADBDDDEDFE0, 0x0
.xword 0xE2E3E4E5E7E8E9EA, 0xECEDEEEFF1F2F3F4, 0xF6F7F8F9FBFCFDFE, 0x0
.xword 0x0001020305060708, 0x0A0B0C0D0F101112, 0x14151617191A1B1C, 0x0
.xword 0x1E1F202123242526, 0x28292A2B2D2E2F30, 0x323334353738393A, 0x0
.xword 0x3C3D3E3F41424344, 0x464748494B4C4D4E, 0x5051525355565758, 0x0
.xword 0x5A5B5C5D5F606162, 0x64656667696A6B6C, 0x6E6F707173747576, 0x0
.xword 0x78797A7B7D7E7F80, 0x828384858788898A, 0x8C8D8E8F91929394, 0x0
.xword 0x969798999B9C9D9E, 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2, 0x0
.xword 0xB4B5B6B7B9BABBBC, 0xBEBFC0C1C3C4C5C6, 0xC8C9CACBCDCECFD0, 0x0
.xword 0xD2D3D4D5D7D8D9DA, 0xDCDDDEDFE1E2E3E4, 0xE6E7E8E9EBECEDEE, 0x0
.xword 0xF0F1F2F3F5F6F7F8, 0xFAFBFCFDFE010002, 0x04050607090A0B0C, 0x0
.xword 0x0E0F101113141516, 0x18191A1B1D1E1F20, 0x222324252728292A, 0x0
.xword 0x2C2D2E2F31323334, 0x363738393B3C3D3E, 0x4041424345464748, 0x0
.xword 0x4A4B4C4D4F505152, 0x54555657595A5B5C, 0x5E5F606163646566, 0x0
.xword 0x68696A6B6D6E6F70, 0x727374757778797A, 0x7C7D7E7F81828384, 0x0
.xword 0x868788898B8C8D8E, 0x9091929395969798, 0x9A9B9C9D9FA0A1A2, 0x0
aes_key_256:
.xword 0x0001020305060708, 0x0A0B0C0D0F101112, 0x14151617191A1B1C, 0x1E1F202123242526
.xword 0x28292A2B2D2E2F30, 0x323334353738393A, 0x3C3D3E3F41424344, 0x464748494B4C4D4E
.xword 0x5051525355565758, 0x5A5B5C5D5F606162, 0x64656667696A6B6C, 0x6E6F707173747576
.xword 0x78797A7B7D7E7F80, 0x828384858788898A, 0x8C8D8E8F91929394, 0x969798999B9C9D9E
.xword 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2, 0xB4B5B6B7B9BABBBC, 0xBEBFC0C1C3C4C5C6
.xword 0xC8C9CACBCDCECFD0, 0xD2D3D4D5D7D8D9DA, 0xDCDDDEDFE1E2E3E4, 0xE6E7E8E9EBECEDEE
.xword 0xF0F1F2F3F5F6F7F8, 0xFAFBFCFDFE010002, 0x04050607090A0B0C, 0x0E0F101113141516
.xword 0x18191A1B1D1E1F20, 0x222324252728292A, 0x2C2D2E2F31323334, 0x363738393B3C3D3E
.xword 0x4041424345464748, 0x4A4B4C4D4F505152, 0x54555657595A5B5C, 0x5E5F606163646566
.xword 0x68696A6B6D6E6F70, 0x727374757778797A, 0x7C7D7E7F81828384, 0x868788898B8C8D8E
.xword 0x9091929395969798, 0x9A9B9C9D9FA0A1A2, 0xA4A5A6A7A9AAABAC, 0xAEAFB0B1B3B4B5B6
.xword 0xB8B9BABBBDBEBFC0, 0xC2C3C4C5C7C8C9CA, 0xCCCDCECFD1D2D3D4, 0xD6D7D8D9DBDCDDDE
.xword 0xE0E1E2E3E5E6E7E8, 0xEAEBECEDEFF0F1F2, 0xF4F5F6F7F9FAFBFC, 0xFEFE010103040506
.xword 0x08090A0B0D0E0F10, 0x121314151718191A, 0x1C1D1E1F21222324, 0x262728292B2C2D2E
.xword 0x3031323335363738, 0x3A3B3C3D3F404142, 0x44454647494A4B4C, 0x4E4F505153545556
.xword 0x58595A5B5D5E5F60, 0x626364656768696A, 0x6C6D6E6F71727374, 0x767778797B7C7D7E
.xword 0x8081828385868788, 0x8A8B8C8D8F909192, 0x94959697999A9B9C, 0x9E9FA0A1A3A4A5A6
.xword 0xA8A9AAABADAEAFB0, 0xB2B3B4B5B7B8B9BA, 0xBCBDBEBFC1C2C3C4, 0xC6C7C8C9CBCCCDCE
.xword 0xD0D1D2D3D5D6D7D8, 0xDADBDCDDDFE0E1E2, 0xE4E5E6E7E9EAEBEC, 0xEEEFF0F1F3F4F5F6
.xword 0x7071727375767778, 0x7A7B7C7D7F808182, 0x84858687898A8B8C, 0x8E8F909193949596
.xword 0x98999A9B9D9E9FA0, 0xA2A3A4A5A7A8A9AA, 0xACADAEAFB1B2B3B4, 0xB6B7B8B9BBBCBDBE
.xword 0xC0C1C2C3C5C6C7C8, 0xCACBCCCDCFD0D1D2, 0xD4D5D6D7D9DADBDC, 0xDEDFE0E1E3E4E5E6
.xword 0xE8E9EAEBEDEEEFF0, 0xF2F3F4F5F7F8F9FA, 0xFCFDFEFF01020304, 0x060708090B0C0D0E
.xword 0x1011121315161718, 0x1A1B1C1D1F202122, 0x24252627292A2B2C, 0x2E2F303133343536
.xword 0x38393A3B3D3E3F40, 0x424344454748494A, 0x4C4D4E4F51525354, 0x565758595B5C5D5E
.xword 0x6061626365666768, 0x6A6B6C6D6F707172, 0x74757677797A7B7C, 0x7E7F808183848586
.xword 0x88898A8B8D8E8F90, 0x929394959798999A, 0x9C9D9E9FA1A2A3A4, 0xA6A7A8A9ABACADAE
.xword 0xB0B1B2B3B5B6B7B8, 0xBABBBCBDBFC0C1C2, 0xC4C5C6C7C9CACBCC, 0xCECFD0D1D3D4D5D6
.xword 0xD8D9DADBDDDEDFE0, 0xE2E3E4E5E7E8E9EA, 0xECEDEEEFF1F2F3F4, 0xF6F7F8F9FBFCFDFE
.xword 0x0001020305060708, 0x0A0B0C0D0F101112, 0x14151617191A1B1C, 0x1E1F202123242526
.xword 0x28292A2B2D2E2F30, 0x323334353738393A, 0x3C3D3E3F41424344, 0x464748494B4C4D4E
.xword 0x5051525355565758, 0x5A5B5C5D5F606162, 0x64656667696A6B6C, 0x6E6F707173747576
.xword 0x78797A7B7D7E7F80, 0x828384858788898A, 0x8C8D8E8F91929394, 0x969798999B9C9D9E
.xword 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2, 0xB4B5B6B7B9BABBBC, 0xBEBFC0C1C3C4C5C6
.xword 0xC8C9CACBCDCECFD0, 0xD2D3D4D5D7D8D9DA, 0xDCDDDEDFE1E2E3E4, 0xE6E7E8E9EBECEDEE
.xword 0xF0F1F2F3F5F6F7F8, 0xFAFBFCFDFE010002, 0x04050607090A0B0C, 0x0E0F101113141516
.xword 0x18191A1B1D1E1F20, 0x222324252728292A, 0x2C2D2E2F31323334, 0x363738393B3C3D3E
.xword 0x4041424345464748, 0x4A4B4C4D4F505152, 0x54555657595A5B5C, 0x5E5F606163646566
.xword 0x68696A6B6D6E6F70, 0x727374757778797A, 0x7C7D7E7F81828384, 0x868788898B8C8D8E
.xword 0x9091929395969798, 0x9A9B9C9D9FA0A1A2, 0xA4A5A6A7A9AAABAC, 0xAEAFB0B1B3B4B5B6
.xword 0xB8B9BABBBDBEBFC0, 0xC2C3C4C5C7C8C9CA, 0xCCCDCECFD1D2D3D4, 0xD6D7D8D9DBDCDDDE
.xword 0xE0E1E2E3E5E6E7E8, 0xEAEBECEDEFF0F1F2, 0xF4F5F6F7F9FAFBFC, 0xFEFE010103040506
.xword 0x08090A0B0D0E0F10, 0x121314151718191A, 0x1C1D1E1F21222324, 0x262728292B2C2D2E
.xword 0x3031323335363738, 0x3A3B3C3D3F404142, 0x44454647494A4B4C, 0x4E4F505153545556
.xword 0x58595A5B5D5E5F60, 0x626364656768696A, 0x6C6D6E6F71727374, 0x767778797B7C7D7E
.xword 0x8081828385868788, 0x8A8B8C8D8F909192, 0x94959697999A9B9C, 0x9E9FA0A1A3A4A5A6
.xword 0xA8A9AAABADAEAFB0, 0xB2B3B4B5B7B8B9BA, 0xBCBDBEBFC1C2C3C4, 0xC6C7C8C9CBCCCDCE
.xword 0xD0D1D2D3D5D6D7D8, 0xDADBDCDDDFE0E1E2, 0xE4E5E6E7E9EAEBEC, 0xEEEFF0F1F3F4F5F6
.xword 0xF8F9FAFBFDFEFE00, 0x020304050708090A, 0x0C0D0E0F11121314, 0x161718191B1C1D1E
.xword 0x2021222325262728, 0x2A2B2C2D2F303132, 0x34353637393A3B3C, 0x3E3F404143444546
.xword 0x48494A4B4D4E4F50, 0x525354555758595A, 0x5C5D5E5F61626364, 0x666768696B6C6D6E
.xword 0x7071727375767778, 0x7A7B7C7D7F808182, 0x84858687898A8B8C, 0x8E8F909193949596
.xword 0x98999A9B9D9E9FA0, 0xA2A3A4A5A7A8A9AA, 0xACADAEAFB1B2B3B4, 0xB6B7B8B9BBBCBDBE
.xword 0xC0C1C2C3C5C6C7C8, 0xCACBCCCDCFD0D1D2, 0xD4D5D6D7D9DADBDC, 0xDEDFE0E1E3E4E5E6
.xword 0xE8E9EAEBEDEEEFF0, 0xF2F3F4F5F7F8F9FA, 0xFCFDFEFF01020304, 0x060708090B0C0D0E
.xword 0x1011121315161718, 0x1A1B1C1D1F202122, 0x24252627292A2B2C, 0x2E2F303133343536
.xword 0x38393A3B3D3E3F40, 0x424344454748494A, 0x4C4D4E4F51525354, 0x565758595B5C5D5E
.xword 0x6061626365666768, 0x6A6B6C6D6F707172, 0x74757677797A7B7C, 0x7E7F808183848586
.xword 0x88898A8B8D8E8F90, 0x929394959798999A, 0x9C9D9E9FA1A2A3A4, 0xA6A7A8A9ABACADAE
.xword 0xB0B1B2B3B5B6B7B8, 0xBABBBCBDBFC0C1C2, 0xC4C5C6C7C9CACBCC, 0xCECFD0D1D3D4D5D6
.xword 0xD8D9DADBDDDEDFE0, 0xE2E3E4E5E7E8E9EA, 0xECEDEEEFF1F2F3F4, 0xF6F7F8F9FBFCFDFE
.xword 0x0001020305060708, 0x0A0B0C0D0F101112, 0x14151617191A1B1C, 0x1E1F202123242526
.xword 0x28292A2B2D2E2F30, 0x323334353738393A, 0x3C3D3E3F41424344, 0x464748494B4C4D4E
.xword 0x5051525355565758, 0x5A5B5C5D5F606162, 0x64656667696A6B6C, 0x6E6F707173747576
.xword 0x78797A7B7D7E7F80, 0x828384858788898A, 0x8C8D8E8F91929394, 0x969798999B9C9D9E
.xword 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2, 0xB4B5B6B7B9BABBBC, 0xBEBFC0C1C3C4C5C6
.xword 0xC8C9CACBCDCECFD0, 0xD2D3D4D5D7D8D9DA, 0xDCDDDEDFE1E2E3E4, 0xE6E7E8E9EBECEDEE
.xword 0xF0F1F2F3F5F6F7F8, 0xFAFBFCFDFE010002, 0x04050607090A0B0C, 0x0E0F101113141516
.xword 0x18191A1B1D1E1F20, 0x222324252728292A, 0x2C2D2E2F31323334, 0x363738393B3C3D3E
.xword 0x4041424345464748, 0x4A4B4C4D4F505152, 0x54555657595A5B5C, 0x5E5F606163646566
.xword 0x68696A6B6D6E6F70, 0x727374757778797A, 0x7C7D7E7F81828384, 0x868788898B8C8D8E
.xword 0x9091929395969798, 0x9A9B9C9D9FA0A1A2, 0xA4A5A6A7A9AAABAC, 0xAEAFB0B1B3B4B5B6
.xword 0xB8B9BABBBDBEBFC0, 0xC2C3C4C5C7C8C9CA, 0xCCCDCECFD1D2D3D4, 0xD6D7D8D9DBDCDDDE
.xword 0xE0E1E2E3E5E6E7E8, 0xEAEBECEDEFF0F1F2, 0xF4F5F6F7F9FAFBFC, 0xFEFE010103040506
.xword 0x08090A0B0D0E0F10, 0x121314151718191A, 0x1C1D1E1F21222324, 0x262728292B2C2D2E
.xword 0x3031323335363738, 0x3A3B3C3D3F404142, 0x44454647494A4B4C, 0x4E4F505153545556
.xword 0x58595A5B5D5E5F60, 0x626364656768696A, 0x6C6D6E6F71727374, 0x767778797B7C7D7E
.xword 0x8081828385868788, 0x8A8B8C8D8F909192, 0x94959697999A9B9C, 0x9E9FA0A1A3A4A5A6
.xword 0xA8A9AAABADAEAFB0, 0xB2B3B4B5B7B8B9BA, 0xBCBDBEBFC1C2C3C4, 0xC6C7C8C9CBCCCDCE
.xword 0xD0D1D2D3D5D6D7D8, 0xDADBDCDDDFE0E1E2, 0xE4E5E6E7E9EAEBEC, 0xEEEFF0F1F3F4F5F6
.xword 0xF8F9FAFBFDFEFE00, 0x020304050708090A, 0x0C0D0E0F11121314, 0x161718191B1C1D1E
.xword 0x2021222325262728, 0x2A2B2C2D2F303132, 0x34353637393A3B3C, 0x3E3F404143444546
.xword 0x48494A4B4D4E4F50, 0x525354555758595A, 0x5C5D5E5F61626364, 0x666768696B6C6D6E
.xword 0x7071727375767778, 0x7A7B7C7D7F808182, 0x84858687898A8B8C, 0x8E8F909193949596
.xword 0x98999A9B9D9E9FA0, 0xA2A3A4A5A7A8A9AA, 0xACADAEAFB1B2B3B4, 0xB6B7B8B9BBBCBDBE
.xword 0xC0C1C2C3C5C6C7C8, 0xCACBCCCDCFD0D1D2, 0xD4D5D6D7D9DADBDC, 0xDEDFE0E1E3E4E5E6
.xword 0xE8E9EAEBEDEEEFF0, 0xF2F3F4F5F7F8F9FA, 0xFCFDFEFF01020304, 0x060708090B0C0D0E
.xword 0x1011121315161718, 0x1A1B1C1D1F202122, 0x24252627292A2B2C, 0x2E2F303133343536
.xword 0x38393A3B3D3E3F40, 0x424344454748494A, 0x4C4D4E4F51525354, 0x565758595B5C5D5E
.xword 0x6061626365666768, 0x6A6B6C6D6F707172, 0x74757677797A7B7C, 0x7E7F808183848586
.xword 0x88898A8B8D8E8F90, 0x929394959798999A, 0x9C9D9E9FA1A2A3A4, 0xA6A7A8A9ABACADAE
.xword 0xB0B1B2B3B5B6B7B8, 0xBABBBCBDBFC0C1C2, 0xC4C5C6C7C9CACBCC, 0xCECFD0D1D3D4D5D6
.xword 0xD8D9DADBDDDEDFE0, 0xE2E3E4E5E7E8E9EA, 0xECEDEEEFF1F2F3F4, 0xF6F7F8F9FBFCFDFE
.xword 0x0001020305060708, 0x0A0B0C0D0F101112, 0x14151617191A1B1C, 0x1E1F202123242526
.xword 0x28292A2B2D2E2F30, 0x323334353738393A, 0x3C3D3E3F41424344, 0x464748494B4C4D4E
.xword 0x5051525355565758, 0x5A5B5C5D5F606162, 0x64656667696A6B6C, 0x6E6F707173747576
.xword 0x78797A7B7D7E7F80, 0x828384858788898A, 0x8C8D8E8F91929394, 0x969798999B9C9D9E
.xword 0xA0A1A2A3A5A6A7A8, 0xAAABACADAFB0B1B2, 0xB4B5B6B7B9BABBBC, 0xBEBFC0C1C3C4C5C6
.xword 0xC8C9CACBCDCECFD0, 0xD2D3D4D5D7D8D9DA, 0xDCDDDEDFE1E2E3E4, 0xE6E7E8E9EBECEDEE
.xword 0xF0F1F2F3F5F6F7F8, 0xFAFBFCFDFE010002, 0x04050607090A0B0C, 0x0E0F101113141516
.xword 0x18191A1B1D1E1F20, 0x222324252728292A, 0x2C2D2E2F31323334, 0x363738393B3C3D3E
.xword 0x4041424345464748, 0x4A4B4C4D4F505152, 0x54555657595A5B5C, 0x5E5F606163646566
.xword 0x68696A6B6D6E6F70, 0x727374757778797A, 0x7C7D7E7F81828384, 0x868788898B8C8D8E
.xword 0x9091929395969798, 0x9A9B9C9D9FA0A1A2, 0xA4A5A6A7A9AAABAC, 0xAEAFB0B1B3B4B5B6
.xword 0xB8B9BABBBDBEBFC0, 0xC2C3C4C5C7C8C9CA, 0xCCCDCECFD1D2D3D4, 0xD6D7D8D9DBDCDDDE
.xword 0xE0E1E2E3E5E6E7E8, 0xEAEBECEDEFF0F1F2, 0xF4F5F6F7F9FAFBFC, 0xFEFE010103040506
.xword 0x08090A0B0D0E0F10, 0x121314151718191A, 0x1C1D1E1F21222324, 0x262728292B2C2D2E
.xword 0x3031323335363738, 0x3A3B3C3D3F404142, 0x44454647494A4B4C, 0x4E4F505153545556
.xword 0x58595A5B5D5E5F60, 0x626364656768696A, 0x6C6D6E6F71727374, 0x767778797B7C7D7E
.xword 0x8081828385868788, 0x8A8B8C8D8F909192, 0x94959697999A9B9C, 0x9E9FA0A1A3A4A5A6
.xword 0xA8A9AAABADAEAFB0, 0xB2B3B4B5B7B8B9BA, 0xBCBDBEBFC1C2C3C4, 0xC6C7C8C9CBCCCDCE
.xword 0xD0D1D2D3D5D6D7D8, 0xDADBDCDDDFE0E1E2, 0xE4E5E6E7E9EAEBEC, 0xEEEFF0F1F3F4F5F6
.xword 0xF8F9FAFBFDFEFE00, 0x020304050708090A, 0x0C0D0E0F11121314, 0x161718191B1C1D1E
.xword 0x2021222325262728, 0x2A2B2C2D2F303132, 0x34353637393A3B3C, 0x3E3F404143444546
.xword 0x48494A4B4D4E4F50, 0x525354555758595A, 0x5C5D5E5F61626364, 0x666768696B6C6D6E
.xword 0x7071727375767778, 0x7A7B7C7D7F808182, 0x84858687898A8B8C, 0x8E8F909193949596
.xword 0x98999A9B9D9E9FA0, 0xA2A3A4A5A7A8A9AA, 0xACADAEAFB1B2B3B4, 0xB6B7B8B9BBBCBDBE
.xword 0xC0C1C2C3C5C6C7C8, 0xCACBCCCDCFD0D1D2, 0xD4D5D6D7D9DADBDC, 0xDEDFE0E1E3E4E5E6
.xword 0xE8E9EAEBEDEEEFF0, 0xF2F3F4F5F7F8F9FA, 0xFCFDFEFF01020304, 0x060708090B0C0D0E
.xword 0x1011121315161718, 0x1A1B1C1D1F202122, 0x24252627292A2B2C, 0x2E2F303133343536
.xword 0x38393A3B3D3E3F40, 0x424344454748494A, 0x4C4D4E4F51525354, 0x565758595B5C5D5E
.xword 0x6061626365666768, 0x6A6B6C6D6F707172, 0x74757677797A7B7C, 0x7E7F808183848586
.xword 0x88898A8B8D8E8F90, 0x929394959798999A, 0x9C9D9E9FA1A2A3A4, 0xA6A7A8A9ABACADAE
.xword 0xB0B1B2B3B5B6B7B8, 0xBABBBCBDBFC0C1C2, 0xC4C5C6C7C9CACBCC, 0xCECFD0D1D3D4D5D6
.xword 0xD8D9DADBDDDEDFE0, 0xE2E3E4E5E7E8E9EA, 0xECEDEEEFF1F2F3F4, 0xF6F7F8F9FBFCFDFE
.xword 0x0001020305060708, 0x0A0B0C0D0F101112, 0x14151617191A1B1C, 0x1E1F202123242526
.xword 0x28292A2B2D2E2F30, 0x323334353738393A, 0x3C3D3E3F41424344, 0x464748494B4C4D4E
.xword 0x5051525355565758, 0x5A5B5C5D5F606162, 0x64656667696A6B6C, 0x6E6F707173747576
.align 16
ciphertext_128:
.xword 0xD8F532538289EF7D, 0x06B506A4FD5BE9C9
.xword 0x59AB30F4D4EE6E4F, 0xF9907EF65B1FB68C
.xword 0xBF1ED2FCB2AF3FD4, 0x1443B56D85025CB1
.xword 0x7316632D5C32233E, 0xDCB0780560EAE8B2
.xword 0x408C073E3E253807, 0x2B72625E68B8364B
.xword 0xE1F94DFA776597BE, 0xACA262F2F6366FEA
.xword 0xF29E986C6A1C27D7, 0xB29FFD7EE92B75F1
.xword 0x131C886A57F8C2E7, 0x13ABA6955E2B55B5
.xword 0xD2AB7662DF9B8C74, 0x0210E5EEB61C199D
.xword 0x14C10554B2859C48, 0x4CAB5869BBE7C470
.xword 0xDB4D498F0A49CF55, 0x445D502C1F9AB3B5
.xword 0x6D96FEF7D66590A7, 0x7A77BB2056667F7F
.xword 0x316FB68EDBA736C5, 0x3E78477BF913725C
.xword 0x6936F2B93AF8397F, 0xD3A771FC011C8C37
.xword 0xF3F92F7A9C59179C, 0x1FCC2C2BA0B082CD
.xword 0x6A95EA659EE38891, 0x58E7A9152FF04EBC
.xword 0x1959338344E94567, 0x0678A5D432C90B93
.xword 0xE49BDDD2369B83EE, 0x66E6C75A1161B394
.xword 0xD3388F19057FF704, 0xB70784164A74867D
.xword 0x23AA03E2D5E4CD24, 0xF3217E596480D1E1
.xword 0xC84113D68B666AB2, 0xA50A8BDB222E91B9
.xword 0xAC02403981CD4340, 0xB507963DB65CB7B6
.xword 0x8D12992362233594, 0x74011F6BF5088414
.xword 0x5A1D6AB8605505F7, 0x977E55B9A54D9B90
.xword 0x72E9C2D519CF555E, 0x4208805AABE3B258
.xword 0xA8F3E81C4A23A39E, 0xF4D745DFFE026E80
.xword 0x546F646449D31458, 0xF9EB4EF5483AEE6C
.xword 0x4DBE4BC84AC797C0, 0xEE4EFB7F1A07401C
.xword 0x25E10BFB411BBD4D, 0x625AC8795C8CA3B3
.xword 0x315637405054EC80, 0x3614E43DEF177579
.xword 0x60C5BC8A14102472, 0x95C6386C59E572A8
.xword 0x01366FC8CA52DFE0, 0x55D6A00A76471BA6
.xword 0xECC46595516EC612, 0x449C3F581E7D42FF
.xword 0x6B7FFE4C602A154B, 0x06EE9C7DAB5331C9
.xword 0x7DA234C14039A240, 0xDD02DD0FBF84EB67
.xword 0xC7DC217D9E3604FF, 0xE7E91F080ECD5A3A
.xword 0x37785901863F5C81, 0x260EA41E7580CDA5
.xword 0xA07B9338E92ED105, 0xE6AD720FCCCE9FE4
.xword 0xAE0FB9722418CC21, 0xA7DA816BBC61322C
.xword 0xC826A193080FF91F, 0xFB21F71D3373C877
.xword 0x1181B11B0E494E8D, 0x8B0AA6B1D5AC2C48
.xword 0x6743C3D1519AB4F2, 0xCD9A78AB09A511BD
.xword 0xDC55C076D52BACDF, 0x2EEFD952946A439D
.xword 0x711B17B590FFC72B, 0x5C8E342B601E8003
.xword 0x19983BB0950783A5, 0x37E1339F4AA21C75
.xword 0x3BA7762E15554169, 0xC0F4FA39164C410C
.xword 0xA0564C41245AFCA7, 0xAF8AA2E0E588EA89
.xword 0x5E36A42A2E099F54, 0xAE85ECD92E2381ED
.xword 0x770036F878CD0F6C, 0xA2268172F106F2FE
.xword 0x7E4E03908B716116, 0x443CCF7C94E7C259
.xword 0x482735A48C30613A, 0x242DD494C7F9185D
.xword 0xB4C0F6C9D4D7079A, 0xDDF9369FC081061D
.xword 0xD5810FE0509AC53E, 0xDCD74F89962E6270
.xword 0x03F17A16B3F91848, 0x269ECDD38EBB2165
.xword 0xDA1248C3180348BA, 0xD4A93B4D9856C9DF
.xword 0x3D10D7B63F3452C0, 0x6CDF6CCE18BE0C2C
.xword 0x4AB823E7477DFDDC, 0x0E6789018FCB6258
.xword 0xE6478BA56A77E70C, 0xFDAA5C843ABDE30E
.xword 0x1673064895FBEAF7, 0xF09C5429FF75772D
.xword 0x4488033AE9F2EFD0, 0xCA9383BFCA1A94E9
.xword 0x978F3B8C8F9D6F46, 0x626CAC3C0BCB9217
.xword 0xE08C8A7E582E15E5, 0x527F1D9E2EECB236
.xword 0xCEC155B76AC5FFDA, 0x4CF4F9CA91E49A7A
.xword 0xD5AC7165763225DD, 0x2A38CDC6862C29AD
.xword 0x03680FE19F7CE727, 0x5452020BE70E8204
.xword 0x461DF740C9781C38, 0x8E94BB861CEB54F6
.xword 0x451BD60367F96483, 0x042742219786A074
.xword 0xE4DFA42671A02E57, 0xEF173B85C0EA9F2B
.xword 0xED11B89E76274282, 0x227D854700A78B9E
.xword 0x433946EAA51EA47A, 0xF33895F2B90B3B75
.xword 0x6BC6D616A5D7D028, 0x4A5910AB35022528
.xword 0xD2A920ECFE919D35, 0x4B5F49EAE9719C98
.xword 0x3A061B17F6A92885, 0xEFBD0676985B373D
.xword 0xFADEEC16E33EA2F4, 0x688499D157E20D8F
.xword 0x5CDEFEDE59601AA3, 0xC3CDA36FA6B1FA13
.xword 0x9574B00039844D92, 0xEBBA7EE8719265F8
.xword 0x9A9CF33758671787, 0xE5006928188643FA
.xword 0x2CDDD634C846BA66, 0xBB46CBFEA4A674F9
.xword 0xD28BAE029393C3E7, 0xE26E9FAFBBB4B98F
.xword 0xEC27529B1BEE0A9A, 0xB6A0D73EBC82E9B7
.xword 0x3CB25C09472AFF6E, 0xE7E2B47CCD7CCB17
.xword 0xDEE33103A7283370, 0xD725E44CA38F8FE5
.xword 0x27F9BCD1AAC64BFF, 0xC11E7815702C1A69
.xword 0x5DF534FFAD4ED074, 0x9A9988E9849D0021
.xword 0xA48BEE75DB04FB60, 0xCA2B80F752A8421B
.xword 0x024C8CF70BC86EE5, 0xCE03678CB7AF45F9
.xword 0x3C19AC0F8A3A3862, 0xCE577831301E166B
.xword 0xC5E355B796A57421, 0xD59CA6BE82E73BCA
.xword 0xD94033276417ABFB, 0x05A69D15B6E386E2
.xword 0x24B36559EA3A9B9B, 0x958FE6DA3E5B8D85
.xword 0x20FD4FEAA0E8BF0C, 0xCE7861D74EF4CB72
.xword 0x350E20D5174277B9, 0xEC314C501570A11D
.xword 0x87A29D61B7C604D2, 0x38FE73045A7EFD57
.xword 0x2C3164C1CC7D0064, 0x816BDC0FAA362C52
.xword 0x195FE5E8A05A2ED5, 0x94F6E4400EEE10B3
.xword 0xE4663DF19B9A21A5, 0xA284C2BD7F905025
.xword 0x21B88714CFB4E2A9, 0x33BD281A2C4743FD
.xword 0xCBFC3980D704FD0F, 0xC54378AB84E17870
.xword 0xBC5144BAA48BDEB8, 0xB63E22E03DA418EF
.xword 0x5A1DBAEF1EE2984B, 0x8395DA3BDFFA3CCC
.xword 0xF0B11CD0729DFCC8, 0x0CEC903D97159574
.xword 0x9F95314ACFDDC6D1, 0x914B7F19A9CC8209
.xword 0x595736F6F0F70914, 0xA94E9E007F022519
.xword 0x1F19F57892CAE586, 0xFCDFB4C694DEB183
.xword 0x540700EE1F6F3DAB, 0x0B3EDDF6CAEE1EF5
.xword 0x14A342A91019A331, 0x687A2254E6626CA2
.xword 0x7B25F3C3B2EEA18D, 0x743EF283140F29FF
.xword 0x46C2587D66E5E6FA, 0x7F7CA6411AD28047
.xword 0x09470E72229D954E, 0xD5EE73886DFEEBA9
.xword 0xD77C03DE92D4D0D7, 0x9EF8D4824EF365EB
.xword 0x1D190219F290E0F1, 0x715D152D41A23593
.xword 0xA2CD332CE3A08187, 0x69616292E87F757B
.xword 0xD54AFA6CE60FBF93, 0x41A3690E21385102
.xword 0x06E5C364DED628A3, 0xF5E05E613E356F46
.xword 0xEAE63C0E62556DAC, 0x85D221099896355A
.xword 0x1FED060E2C6FC93E, 0xE764403A889985A2
.xword 0xC25235C1A30FDEC1, 0xC7CB5C5737B2A588
.xword 0x796DBEF95147D4D3, 0x0873AD8B7B92EFC0
.xword 0xCBCF0FB34D98D0BD, 0x5C22CE37211A46BF
.xword 0x94B44DA6466126CA, 0xFA7C7FD09063FC24
.xword 0xD78C5B5EBF9B4DBD, 0xA6AE506C5074C8FE
.xword 0x6C27444C27204B04, 0x3812CF8CF95F9769
.xword 0xBE94524EE5A2AA50, 0xBBA8B75F4C0AEBCF
.xword 0xA0AEAAE91BA9F31F, 0x51AEB3588CF3A39E
.xword 0x275297779C28266E, 0xF9FE4C6A13C08488
.xword 0x86523D92BB8672CB, 0x01CF4A77FD725882
.xword 0x4B8327640E9F3332, 0x2A04DD96FCBF9A36
.xword 0xCE52AF650D088CA5, 0x59425223F4D32694
ciphertext_192:
.xword 0xDFF4945E0336DF4C, 0x1C56BC700EFF837F
.xword 0xB6FDDEF4752765E3, 0x47D5D2DC196D1252
.xword 0xD23684E3D963B3AF, 0xCF1A114ACA90CBD6
.xword 0x3A7AC027753E2A18, 0xC2CEAB9E17C11FD0
.xword 0x8F6786BD007528BA, 0x26603C1601CDD0D8
.xword 0xD17D073B01E71502, 0xE28B47AB551168B3
.xword 0xA469DA517119FAB9, 0x5876F41D06D40FFA
.xword 0x6091AA3B695C11F5, 0xC0B6AD26D3D862FF
.xword 0x70F9E67F9F8DF129, 0x4131662DC6E69364
.xword 0xD154DCAFAD8B207F, 0xA5CBC95E9996B559
.xword 0x4934D541E8B46FA3, 0x39C805A7AEB9E5DA
.xword 0x62564C738F3EFE18, 0x6E1A127A0C4D3C61
.xword 0x07805AA043986EB2, 0x3693E23BEF8F3438
.xword 0xDF0B4931038BADE8, 0x48DEE3B4B85AA44B
.xword 0x592D5FDED76582E4, 0x143C65099309477C
.xword 0xC9B8D6545580D3DF, 0xBCDD09B954ED4E92
.xword 0x5DCCD5D6EB7C1B42, 0xACB008201DF707A0
.xword 0xA2A91682FFEB6ED1, 0xD34340946829E6F9
.xword 0xE45D185B79700034, 0x8D9267960A68435D
.xword 0x45E060DAE5901CDA, 0x8089E10D4F4C246B
.xword 0xF6951AFACC0079A3, 0x69C71FDCFF45DF50
.xword 0x9E95E00F351D5B3A, 0xC3D0E22E626DDAD6
.xword 0x9CB566FF26D92DAD, 0x083B51FDC18C173C
.xword 0xC9C82766176A9B22, 0x8EB9A974A010B4FB
.xword 0xD8E26AA02945881D, 0x5137F1C1E1386E88
.xword 0xC0E024CCD68FF5FF, 0xA4D139C355A77C55
.xword 0x0B18B3D16F491619, 0xDA338640DF391D43
.xword 0xDBE09AC8F66027BF, 0x20CB6E434F252EFC
.xword 0x6D04E5E43C5B9CBE, 0x05FEB9606B6480FE
.xword 0xDD1D6553B96BE526, 0xD9FEE0FBD7176866
.xword 0x0260CA7E3F979FD0, 0x15B0DD4690E16D2A
.xword 0x9893734DE10EDCC8, 0xA67C3B110B8B8CC6
.xword 0x93B30B750516B2D1, 0x8808D710C2EE84EF
.xword 0x16F65FA47BE3CB5E, 0x6DFE7C6C37016C0E
.xword 0xF3847210D5391E23, 0x60608E5ACB560581
.xword 0x8754462CD223366D, 0x0753913E6AF2643D
.xword 0x1EA20617468D1B80, 0x6A1FD58145462017
.xword 0x3B155D927355D737, 0xC6BE9DDA60136E2E
.xword 0x26144F7B66DAA91B, 0x6333DBD3850502B3
.xword 0xE4F9A4AB52CED813, 0x4C649BF319EBCC90
.xword 0xB9DDD29AC6128A6C, 0xAB121E34A4C62B36
.xword 0x6FCDDAD898F2CE4E, 0xFF51294F5EAAF5C9
.xword 0xC9A6FE2BF4028080, 0xBEA6F7FC417BD7E3
.xword 0x6A2026846D8609D6, 0x0F298A9C0673127F
.xword 0x2CB25C005E26EFEA, 0x44336C4C97A4240B
.xword 0x496967AB8680DDD7, 0x3D09A0E4C7DCC8AA
.xword 0xD5AF94DE93487D1F, 0x3A8C577CB84A66A4
.xword 0x84BDAC569CAE2828, 0x705F267CC8376E90
.xword 0xF7401DDA5AD5AB71, 0x2B7EB5D10C6F99B6
.xword 0x1C9D54318539EBD4, 0xC3B5B7E37BF119F0
.xword 0xACA572D65FB2764C, 0xFFD4A6ECA090EA0D
.xword 0x36D9C627B8C2A886, 0xA10CCB36EAE3DFBB
.xword 0x010EDBF5981E143A, 0x81D646E597A4A568
.xword 0x8DB44D538DC20CC2, 0xF40F3067FD298E60
.xword 0x930EB53BC71E6AC4, 0xB82972BDCD5AAFB3
.xword 0x6C42A81EDCBC9517, 0xCCD89C30C95597B4
.xword 0xDA389847AD06DF19, 0xD76EE119C71E1DD3
.xword 0xE018FDAE13D3118F, 0x9A5D1A647A3F0462
.xword 0x2AA65DB36264239D, 0x3846180FABDFAD20
.xword 0x1472163E9A4F780F, 0x1CEB44B07ECF4FDB
.xword 0xC8273FDC8F3A9F72, 0xE91097614B62397C
.xword 0x66C8427DCD733AAF, 0x7B3470CB7D976E3F
.xword 0x146131CB17F1424D, 0x4F8DA91E6F80C1D0
.xword 0x2610D0AD83659081, 0xAE085266A88770DC
.xword 0x38A2B5A974B0575C, 0x5D733917FB0D4570
.xword 0xE21D401EBC60DE20, 0xD6C486E4F39A588B
.xword 0xE51D5F88C670B079, 0xC0CA1F0C2C4405A2
.xword 0x246A94788A642FB3, 0xD1B823C8762380C8
.xword 0xB80C391C5C41A4C3, 0xB30C68E0E3D7550F
.xword 0xB77C4754FC64EB9A, 0x1154A9AF0BB1F21C
.xword 0xFB554DE520D159A0, 0x6BF219FC7F34A02F
.xword 0xA89FBA152D76B492, 0x7BEED160DDB76C57
.xword 0x5676EAB4A98D2E84, 0x73B3F3D46424247C
.xword 0x4E8F068BD7EDE52A, 0x639036EC86C33568
.xword 0xF0193C4D7AFF1791, 0xEE4C07EB4A1824FC
.xword 0xAC8686EECA9BA761, 0xAFE82D67B928C33F
.xword 0x5FAF8573E33B145B, 0x6A369CD3606AB2C9
.xword 0x31587E9944AB1C16, 0xB844ECAD0DF2E7DA
.xword 0xD017FECD91148ABA, 0x37F6F3068AA67D8A
.xword 0x788EF2F021A73CBA, 0x2794B616078A8500
.xword 0x5D1EF20DCED6BCBC, 0x12131AC7C54788AA
.xword 0xB3C8CF961FAF9EA0, 0x5FDDE6D1E4D8F663
.xword 0x143075C70605861C, 0x7FAC6526199E459F
.xword 0xA5AE12EADE9A8726, 0x8D898BFC8FC0252A
.xword 0x0924F7CF2E877A48, 0x19F5244A360DCEA9
.xword 0x3D9E9635AFCC3E29, 0x1CC7AB3F27D1C99A
.xword 0x9D80FEEBF87510E2, 0xB8FB98BB54FD788C
.xword 0x5F9D1A082A1A3798, 0x5F174002ECA01309
.xword 0xA390EBB1D1403930, 0x184A44B4876646E4
.xword 0x700FE918981C3195, 0xBB6C4BCB46B74E29
.xword 0x907984406F7BF2D1, 0x7FB1EB15B673D747
.xword 0xC32A956DCFC875C2, 0xAC7C7CC8B8CC26E1
.xword 0x02646E2EBFA9B820, 0xCF8424E9B9B6EB51
.xword 0x621FDA3A5BBD54C6, 0xD3C685816BD4EAD8
.xword 0xD4E216040426DFAF, 0x18B152469BC5AC2F
.xword 0x9D0635B9D33B6CDB, 0xD71F5D246EA17CC8
.xword 0x10ABAD1BD9BAE544, 0x8808765583A2CC1A
.xword 0x6891889E16544E35, 0x5FF65A793C39C9A8
.xword 0xCC735582E68072C1, 0x63CD9DDF46B91279
.xword 0xC5C68B9AEEB7F878, 0xDF578EFA562F9574
.xword 0x5F4764395A667A47, 0xD73452955D0D2CE8
.xword 0x701448331F66106C, 0xEFDDF1EB8267C357
.xword 0xCB3EE56D2E14B4E1, 0x941666F13379D657
.xword 0x9FE16EFD18AB6E19, 0x81191851FEDB0764
.xword 0x3DC9BA24E1B22358, 0x9B147ADCEB4C8E48
.xword 0x1C333032682E7D4D, 0xE5E5AFC05C3E483C
.xword 0xD593CC99A95AFEF7, 0xE92038E05A59D00A
.xword 0x51E7F96F53B43539, 0x23452C222134E1EC
.xword 0x4075B357A1A2B473, 0x400C3B25F32F81A4
.xword 0x302E341A3EBCD74F, 0x0D55F61714570284
.xword 0x57ABDD8231280DA0, 0x1C5042B78CF76522
.xword 0x17F9EA7EEA17AC1A, 0xDF0E190FEF799E92
.xword 0x2E1BDD563DD87EE5, 0xC338DD6D098D0A7A
.xword 0xEB869996E6F8BFB2, 0xBFDD9E0C4504DBB2
.xword 0xC2E01549E9DECF31, 0x7468B3E018C61BA8
.xword 0x8DA875D033C01DD4, 0x63B244A1770F4A22
.xword 0x8BA0DCF3A186844F, 0x026D022F8839D696
.xword 0xE9691FF9A6CC6970, 0xE51670A0FD5B88C1
.xword 0xF2BAEC06FAEED30F, 0x88EE63BA081A6E5B
.xword 0x9C39D4C459AE5753, 0x394D6094ADC21E78
.xword 0x6345B532A1190450, 0x2EA43BA99C6BD2B2
.xword 0x5FFAE3061A95172E, 0x4070CEDCE1E428C8
.xword 0x0A4566BE4CDF9ADC, 0xE5DEC865B5AB34CD
.xword 0xCA17FCCE79B7404F, 0x2559B22928F126FB
.xword 0x97CA39B849ED73A6, 0x470A97C821D82F58
.xword 0x8198CB06BC684C6D, 0x3E9B7989428DCF7A
.xword 0xF53C464C705EE0F2, 0x8D9A4C59374928BD
.xword 0x9ADB3D4CCA559BB9, 0x8C3E2ED73DBF1154
ciphertext_256:
.xword 0x1946DABF6A03A2A2, 0xC3D0B05080AED6FC
.xword 0x5ED301D747D3CC71, 0x5445EBDEC62F2FB4
.xword 0x6585C8F43D13A6BE, 0xAB6419FC5935B9D0
.xword 0x2A5B56A596680FCC, 0x0E05F5E0F151ECAE
.xword 0xF5D6FF414FD2C618, 0x1494D20C37F2B8C4
.xword 0x85399C01F59FFFB5, 0x204F19F8482F00B8
.xword 0x92097B4C88A041DD, 0xF98144BC8D22E8E7
.xword 0x89BD5B73B356AB41, 0x2AEF9F76CEA2D65C
.xword 0x2536969093C55FF9, 0x454692F2FAC2F530
.xword 0x07FC76A872843F3F, 0x6E0081EE9396D637
.xword 0xE38BA8EC2AA74135, 0x8DCC93E8F141C491
.xword 0xD028EE23E4A89075, 0xD0B03E868D7D3A42
.xword 0x8CD9423DFC459E54, 0x7155C5D1D522E540
.xword 0x080E9517EB167771, 0x9ACF728086040AE3
.xword 0x7C1700211A3991FC, 0x0ECDED0AB3E576B0
.xword 0xDABCBCC855839251, 0xDB51E224FBE87435
.xword 0x68D56FAD0406947A, 0x4DD27A7448C10F1D
.xword 0xDA9A11479844D1FF, 0xEE24BBF3719A9925
.xword 0x5E4BA572F8D23E73, 0x8DA9B05BA24B8D81
.xword 0xA115A2065D667E3F, 0x0B883837A6E903F8
.xword 0x3E9E90DC33EAC243, 0x7D86AD30B137E66E
.xword 0x01CE82D8FBCDAE82, 0x4CB3C48E495C3692
.xword 0x0C9CFF163CE936FA, 0xAF083CFD3DEA3117
.xword 0x5131BA9BD48F2BBA, 0x85560680DF504B52
.xword 0x9DC503BBF09823AE, 0xC8A977A5AD26CCB2
.xword 0x9A6DB0C0862E506A, 0x9E397225884041D7
.xword 0x430BF9570804185E, 0x1AB6365FC6A6860C
.xword 0x3525EBC02F4886E6, 0xA5A3762813E8CE8A
.xword 0x07FA265C763779CC, 0xE224C7BAD671027B
.xword 0xE8B72B4E8BE24343, 0x8C9FFF1F0E205872
.xword 0x109D4F999A0E11AC, 0xE1F05E6B22CBCB50
.xword 0x45A5E8D4C3ED5840, 0x3FF08D68A0CC4029
.xword 0x196865964DB3D417, 0xB6BD4D586BCB7634
.xword 0x60436AD45AC7D30D, 0x99195F815D98D2AE
.xword 0xBB07A23F0B61014B, 0x197620C185E2CD75
.xword 0x5BC0B2850129C854, 0x423AFF0751FE343B
.xword 0x7541A78F96738E64, 0x17D2A24BD2BECA40
.xword 0xB0A303054412882E, 0x464591F1546C5B9E
.xword 0x778C06D8A355EEEE, 0x214FCEA14B4E0EEF
.xword 0x09614206D15CBACE, 0x63227D06DB6BEEBB
.xword 0x41B97FB20E427A9F, 0xDBBB358D9262255D
.xword 0xC1940F703D845F95, 0x7652C2D64ABD7ADF
.xword 0xD2D44FCDAE533234, 0x3366DB297EFCF21B
.xword 0xEA8196B79DBE167B, 0x6AA9896E287EED2B
.xword 0xD6B0B0C4BA6C7DBE, 0x5ED467A1E3F06C2D
.xword 0xEC51EB295250C22C, 0x2FB01816FB72BCAE
.xword 0xADED6630A07CE9C7, 0x408A155D3BD0D36F
.xword 0x697C9245B9937F32, 0xF5D1C82319F0363A
.xword 0xAAD5AD50C6262AAE, 0xC30541A1B7B5B19C
.xword 0x7D34B893855341EC, 0x625BD6875AC18C0D
.xword 0x7EF05105440F8386, 0x2F5D780E88F02B41
.xword 0xC377C06403382061, 0xAF2C9C93A8E70DF6
.xword 0x1DBDB3FFDC052DAC, 0xC83318853ABC6DE5
.xword 0x69A6EAB00432517D, 0x0BF483C91C0963C7
.xword 0x0797F41DC217C804, 0x46E1D514BD6AB197
.xword 0x9DFD76575902A637, 0xC01343C58E011A03
.xword 0xACF4328AE78F34B9, 0xFA9B459747CC2658
.xword 0xB0479AEA12BAC4FE, 0x2384CF98995150C6
.xword 0x9DD52789EFE3FFB9, 0x9F33B3DA5030109A
.xword 0xABBB755E4621EF8F, 0x1214C19F649FB9FD
.xword 0xDA27FB8174357BCE, 0x2BED0E7354F380F9
.xword 0xC59A0663F0993838, 0xF6E5856593BDC5EF
.xword 0xED60B264B5213E83, 0x1607A99C0CE5E57E
.xword 0xE50548746846F3EB, 0x77B8C520640884ED
.xword 0x28282CC7D21D6A29, 0x23641E52D188EF0C
.xword 0x0DFA5B02ABB18E5A, 0x815305216D6D4F8E
.xword 0x7359635C0EECEFE3, 0x1D673395FB46FB99
.xword 0x73C679F7D5AEF274, 0x5C9737BB4C47FB36
.xword 0xB192BD472A4D2EAF, 0xB786E97458967626
.xword 0x0EC327F6C8A2B147, 0x598CA3FDE61DC6A4
.xword 0xFC418EB3C41B859B, 0x38D4B6F646629729
.xword 0x30249E5AC282B1C9, 0x81EA64B609F3A154
.xword 0x5E6E08646D121507, 0x76BB43C2D78A9703
.xword 0xFAEB3D5DE652CD34, 0x47DCEB343F30394A
.xword 0xA8E88706823F6993, 0xEF80D05C1C7B2CF0
.xword 0x8CED86677E6E00A1, 0xA1B15968F2D3CCE6
.xword 0x9FC7C23858BE03BD, 0xEBB84E90DB6786A9
.xword 0xB4FBD65B33F70D8C, 0xF7F1111AC4649C36
.xword 0xC5C32D5ED03C4B53, 0xCC8C1BD0EF0DBBF6
.xword 0xD1A7F03B773E5C21, 0x2464B63709C6A891
.xword 0x6B7161D8745947AC, 0x6950438EA138D028
.xword 0xFD47A9F7E366EE7A, 0x09BC508B00460661
.xword 0x00D40B003DC3A0D9, 0x310B659B98C7E416
.xword 0xEEA4C79DCC8E2BDA, 0x691F20AC48BE0717
.xword 0xE78F43B11C204403, 0xE5751F89D05A2509
.xword 0xD0F0E3D1F1244BB9, 0x79931E38DD1786EF
.xword 0x042E639DC4E1E4DD, 0xE7B75B749EA6F765
.xword 0xBC032FDD0EFE2950, 0x3A980A7D07AB46A8
.xword 0x0C93AC949C0DA644, 0x6EFFB86183B6C910
.xword 0xE0D343E14DA75C91, 0x7B4A5CEC4810D7C2
.xword 0x0EAFB82174840827, 0x9B937B626792E619
.xword 0xFA1AC6E02D23B106, 0xA1FEF18B274A553F
.xword 0x0DADFE019CD12368, 0x075507DF33C1A1E9
.xword 0x3A0879B414465D9F, 0xFBAF86B33A63A1B9
.xword 0x62199FADC76D0BE1, 0x805D3BA0B7D914BF
.xword 0x1B06D6C5D333E742, 0x730130CF78E719B4
.xword 0xF1F848824C32E9DC, 0xDCBF21580F069329
.xword 0x1A09050CBD684F78, 0x4D8E965E0782F28A
.xword 0x79C2969E7DED2BA7, 0xD088F3F320692360
.xword 0x091A658A2F7444C1, 0x6ACCB669450C7B63
.xword 0x97C1E3A72CCA65FA, 0x977D5ED0E8A7BBFC
.xword 0x70C430C6DB9A1782, 0x8937305A2DF91A2A
.xword 0x629553457FBE2479, 0x098571C7C903FDE8
.xword 0xA25B25A61F612669, 0xE7D91265C7D476BA
.xword 0xEB7E4E49B8AE0F02, 0x4570DDA293254FED
.xword 0x38FE15D61CCA8451, 0x6E924ADCE5014F67
.xword 0x3AD208492249108C, 0x9F3EBEB167AD0583
.xword 0x299BA9F9BF5AB05C, 0x3580FC26EDD1ED12
.xword 0x19DC705B857A60FB, 0x07717B2EA5717781
.xword 0xFFC8AEB885B5EFCA, 0xD06B6DBEBF92E76B
.xword 0xF58900C5E0B38525, 0x3FF2546250A0142B
.xword 0x2EE67B56280BC462, 0x429CEE6E3370CBC1
.xword 0x20DB650A9C8E9A84, 0xAB4D25F7EDC8F03F
.xword 0x3C36DA169525CF81, 0x8843805F25B78AE5
.xword 0x9A781D960DB9E45E, 0x37779042FEA51922
.xword 0x6560395EC269C672, 0xA3C288226EFDBA77
.xword 0x8C772B7A189AC544, 0x453D5916EBB27B9A
.xword 0x77CA5468CC48E843, 0xD05F78EED9D6578F
.xword 0x72CDCC71DC82C60D, 0x4429C9E2D8195BAA
.xword 0x8080D68CE60E94B4, 0x0B5B8B69EEB35AFA
.xword 0x44222D3CDE299C04, 0x369D58AC0EBA1E8E
.xword 0x9B8721B0A8DFC691, 0xC5BC5885DBFCB27A
.xword 0x0DC015CE9A3A3414, 0xB5E62EC643384183
.xword 0x705715448A8DA412, 0x025CE38345C2A148
.xword 0xC32B5B0B6FBAE165, 0x266C569F4B6ECF0B
.xword 0x4DCA6C75192A01DD, 0xCA9476AF2A521E87
.xword 0x058691E627ECBC36, 0xAC07B6DB423BD698
.xword 0x7444527095838FE0, 0x80FC2BCDD30847EB
.end