corecrypto/ccdrbg/test_vectors/CTR_DRBG-AES-128-df.inc

923 lines
31 KiB
PHP
Raw Permalink Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

/* Copyright (c) (2011,2014,2016,2019) Apple Inc. All rights reserved.
*
* corecrypto is licensed under Apple Inc.s Internal Use License Agreement (which
* is contained in the License.txt file distributed with corecrypto) and only to
* people who accept that license. IMPORTANT: Any license rights granted to you by
* Apple Inc. (if any) are limited to internal use within your organization only on
* devices and computers you own or control, for the sole purpose of verifying the
* security characteristics and correct functioning of the Apple Software. You may
* not, directly or indirectly, redistribute the Apple Software or any portions thereof.
*/
/* Cipher: AES-128 df: -df PR: False EIL: 128 NL: 64 PSL: 0 AIL: 0 */
{ /* COUNT = 0 */
16, "\xb9\xad\x87\x32\x94\xa5\x8a\x0d\x6c\x2e\x9d\x07\x2f\x8a\x27\x0b",
8, "\x0d\x58\x49\xcc\xaa\x7b\x8a\x95",
0, "",
0, "",
16, "\xe4\x74\x85\xdd\xa9\xd2\x46\xa0\x7c\x0c\x39\xf0\xcf\x8c\xb7\x6b",
0, "",
0, "",
16, "\x24\xbd\x4f\x7c\xc6\xeb\x71\x98\x7a\xb7\xb0\x6b\xd0\x66\xcc\x07"
},
{ /* COUNT = 1 */
16, "\x58\xd8\x27\x58\x70\xa3\x79\xae\x43\x5b\x19\x28\x83\x55\xba\x9a",
8, "\x89\xf1\xbc\x80\x28\xeb\x35\x9b",
0, "",
0, "",
16, "\xd3\xb8\x1d\x09\x78\x4e\xbc\xf9\x31\xb1\x25\x4b\xca\x01\x9f\x23",
0, "",
0, "",
16, "\x4f\x9d\xd4\xcb\x63\xdf\x4b\xab\x16\x20\x87\x20\xea\xf1\x2e\x85"
},
{ /* COUNT = 2 */
16, "\xb7\x7d\xdd\x97\x60\x1c\x91\x77\x05\xab\x8b\x81\xf8\xc8\x8e\x58",
8, "\x41\x5f\x16\x0d\x79\x97\x8e\x3d",
0, "",
0, "",
16, "\x96\x96\x13\x6c\xf3\x66\x05\x1e\xe8\x6f\xc1\x61\x12\x61\xdb\xbb",
0, "",
0, "",
16, "\xab\x31\xb5\x69\x4c\xa7\x1f\xc1\xad\xb7\x93\x8b\x23\x14\x33\x54"
},
{ /* COUNT = 3 */
16, "\xdf\x29\x10\x0c\x45\x93\xf0\xf2\x36\x7c\xa4\xe7\xea\xe2\x7e\xb5",
8, "\xee\x3b\x6d\x70\x47\x2b\xd9\x5b",
0, "",
0, "",
16, "\x3f\x22\xd1\xa9\x39\xc3\xd2\x01\x4c\xde\xd3\x2f\xb5\x70\x7b\x8b",
0, "",
0, "",
16, "\xd6\x46\xdf\xe5\x3d\x9b\xc4\xe9\xf3\x9f\x6e\x20\x61\x3a\x1c\xcb"
},
{ /* COUNT = 4 */
16, "\x1c\x30\xe1\xce\x50\xa8\x4b\x01\xff\x0a\x61\xe1\xb6\x8d\x60\x3d",
8, "\x64\x4b\x5d\xf2\x87\xf8\x89\x2c",
0, "",
0, "",
16, "\x41\xbd\xa3\x45\x2c\xba\x67\xf4\x45\x56\x4a\x99\xd2\xde\x2e\xcf",
0, "",
0, "",
16, "\x5e\x04\x79\x74\xda\x95\x4b\x06\x3c\xca\xff\xff\xe5\xc3\x76\x4e"
},
{ /* COUNT = 5 */
16, "\xf5\x53\x39\x6c\x0f\x82\x65\x0a\x61\xc1\xd5\x06\xa5\xe2\xea\x7c",
8, "\x46\xb4\x48\x4d\xed\x20\x03\xbd",
0, "",
0, "",
16, "\x2f\x06\xdf\xd4\xf7\xff\x1b\x89\xe2\xd5\x88\x94\x1d\x34\x90\x0b",
0, "",
0, "",
16, "\xe8\xaa\x10\xa0\xf7\x22\xf3\x84\x10\x69\x6e\x98\x80\x82\x77\x02"
},
{ /* COUNT = 6 */
16, "\xfa\xa3\x51\xbe\x07\xb0\x79\x7e\xd1\x46\xf8\x12\x20\xdd\x4a\xe0",
8, "\x10\x67\x85\x5b\x52\xd0\x69\x05",
0, "",
0, "",
16, "\xd8\x65\x57\xc4\x14\x1c\xd0\x75\x18\x70\xe5\xe4\x36\x2c\xcf\x10",
0, "",
0, "",
16, "\xe0\x40\x13\xda\x6b\x2e\xf6\xa1\xfe\x72\x56\x14\xe1\xcf\x7f\x82"
},
{ /* COUNT = 7 */
16, "\x96\x8c\xd3\xdf\xf4\xd9\xab\x07\x82\x8b\xc7\xa0\x2e\x8e\x56\x01",
8, "\x13\x5f\x47\x89\x13\x15\xe3\x94",
0, "",
0, "",
16, "\xea\xd6\xf5\x01\x37\xcc\x96\x56\x90\xb9\x92\xc6\xe9\x31\xdb\xb9",
0, "",
0, "",
16, "\x80\xb8\xdc\xcc\x6d\xd6\xf6\xdf\xf0\xee\x30\x28\xbd\xc0\x0e\xee"
},
{ /* COUNT = 8 */
16, "\x45\x21\xa7\x62\xd1\x57\xde\x69\x4d\x8b\x8a\xe9\xdd\xc0\xa5\x1f",
8, "\x64\x20\xa8\xac\xbf\x17\x9c\x3b",
0, "",
0, "",
16, "\xca\xe8\x93\xd9\x59\x6f\xe9\x6d\xe6\x4f\x76\x99\x06\x66\xea\x09",
0, "",
0, "",
16, "\x97\x3f\x13\xf3\x96\x18\xf5\xe0\x7d\x6c\xc9\x2a\x03\x1e\x96\x9a"
},
{ /* COUNT = 9 */
16, "\x69\xd4\x76\x1c\x88\xcc\xaa\x9e\x7a\x4e\x31\xbd\xc1\x14\x9e\x57",
8, "\xac\x21\xa6\x7b\x20\x1c\x23\x21",
0, "",
0, "",
16, "\x08\x8a\x48\x12\x29\x69\xc5\x66\xa4\x95\x5a\x85\x3e\x5c\x67\xb4",
0, "",
0, "",
16, "\xe1\xdf\x32\x09\xf6\x6e\x31\x65\x8e\xab\xe5\x89\x28\x1d\x13\xb2"
},
{ /* COUNT = 10 */
16, "\xe1\xbe\x98\xe1\xcb\x62\x5e\x99\xdf\x01\x40\x78\xf1\x63\xa1\xed",
8, "\x31\x7f\x0e\xef\x7d\x40\xd3\xa4",
0, "",
0, "",
16, "\x8b\x8c\x7b\x24\xcd\x4b\x0a\xe2\x54\xf2\x2f\x93\x0b\x95\xe0\x21",
0, "",
0, "",
16, "\x93\x7d\x96\x45\xad\x08\x15\x1e\x93\xf4\x45\x7c\x80\xb0\xf3\x18"
},
{ /* COUNT = 11 */
16, "\xa6\xb7\x26\xa3\xbe\x59\x94\x41\xec\x3e\x7d\x68\x06\xaf\x44\x5e",
8, "\x80\x19\x10\xa3\xaf\xb5\x0e\x8c",
0, "",
0, "",
16, "\xfc\x7b\xa1\x5f\xe5\x31\x5c\x00\xb3\xab\x42\x35\x6f\xcc\x82\x00",
0, "",
0, "",
16, "\x4b\xe0\x2a\x75\xf5\x15\xf4\x83\xe1\x4e\x63\x35\xa9\xf5\x57\x96"
},
{ /* COUNT = 12 */
16, "\x51\x27\x68\xa7\x54\xa3\x80\x10\x3d\x4a\xd3\x86\x89\x03\x65\x98",
8, "\xc7\x44\x4f\xf4\x0e\x42\xb3\xab",
0, "",
0, "",
16, "\x6d\xd1\x31\xae\xe7\xa7\xff\x3f\x69\xab\xca\x93\x68\xf0\x5c\x79",
0, "",
0, "",
16, "\x6f\x98\x72\xc5\x76\xcb\x98\xc7\x5c\x17\x9d\xc6\x63\x02\x12\xce"
},
{ /* COUNT = 13 */
16, "\x51\x75\x83\x14\xac\x1c\x3b\x0d\x5c\x84\xa2\x28\x8d\x04\x40\x70",
8, "\x9e\xac\x43\xc2\x82\x76\x9c\x31",
0, "",
0, "",
16, "\xb1\x88\xa7\xee\xc5\x21\x71\xde\x40\xad\xc6\x72\x94\x42\x6f\x78",
0, "",
0, "",
16, "\x4c\x62\x79\x89\x3a\xc2\xcc\x16\x76\x36\x09\x78\x0e\x82\x65\x62"
},
{ /* COUNT = 14 */
16, "\xe2\x2b\xe4\x54\x0c\xf8\x4f\x60\xb8\x7d\x32\x7b\x86\x3f\x5a\x99",
8, "\x26\x39\x56\xed\x8e\xcd\x1a\xfe",
0, "",
0, "",
16, "\xe6\xcb\xab\x29\xef\xed\x1a\x45\xc9\x52\xb8\x58\x87\x58\xb4\x36",
0, "",
0, "",
16, "\x98\x55\xef\x82\xe0\x9e\xfe\xa6\x1c\x87\x22\x43\xbc\x13\x64\xf0"
},
/* Cipher: AES-128 df: -df PR: False EIL: 128 NL: 64 PSL: 128 AIL: 0 */
{ /* COUNT = 0 */
16, "\xad\xc9\xa4\x91\x9c\xd1\x7d\x4d\x71\xb6\xc6\xe0\x00\x3f\x8c\xd3",
8, "\xa4\x89\x3b\x9e\x5f\x47\x12\x9d",
16, "\x2d\xe7\x62\x6f\x45\xfe\x10\x7f\xe7\x17\xca\xa4\x40\x5e\x50\x03",
0, "",
16, "\xbd\xdd\xfc\x3b\x6c\xe2\x6c\x93\x8f\x81\x30\xa2\x2f\x46\xe9\xee",
0, "",
0, "",
16, "\x4a\xc7\x0f\x53\xf8\x8e\x56\x49\xaa\xa9\xce\x77\x3a\xa2\x9d\x97"
},
{ /* COUNT = 1 */
16, "\xf3\x7f\x47\x34\x08\xd4\x3d\x0d\xe3\x3f\x81\x22\xc6\xba\x0e\x5a",
8, "\xce\x41\x1b\x0d\x95\xf7\xa1\xd1",
16, "\xdd\xaf\x09\xd4\xf6\x4b\x09\x11\xaa\x53\x77\x87\xba\x6d\x40\xf7",
0, "",
16, "\x81\xef\x6c\x8e\x81\x32\x8d\x31\x98\xd1\x1a\x0f\xed\xce\xb6\x2f",
0, "",
0, "",
16, "\x09\xba\x5e\xb1\xda\xfb\x18\x72\xfb\x51\x25\x6b\xae\x59\x1d\x0d"
},
{ /* COUNT = 2 */
16, "\xf4\x1e\x2e\x20\x6a\xf5\x8b\xc4\x96\x30\x02\x11\x4e\x17\xf7\x4d",
8, "\x46\x49\xec\x48\x73\xce\x4e\x29",
16, "\x46\x99\x0c\x46\xaa\x38\x57\xfb\x21\x5b\x47\xc2\x98\x44\xed\x4f",
0, "",
16, "\x65\x12\x2d\xdf\xb5\x31\x08\x09\xb3\xee\x84\x7f\xde\xda\x69\x8c",
0, "",
0, "",
16, "\xfb\x5d\x72\x53\x97\x4b\x12\xe9\x9e\xf4\x31\x95\x14\xb2\x05\x5d"
},
{ /* COUNT = 3 */
16, "\xfa\x77\x08\x29\x9a\xb0\x3a\xde\xc0\xee\x22\x6e\x06\x36\x8e\xfa",
8, "\x95\x26\x7b\x6d\xcb\x65\xee\xa0",
16, "\xe4\xa6\xca\xc9\x88\x27\x06\xe1\x86\x02\x18\xd3\xf9\xe9\xbf\x97",
0, "",
16, "\xa2\xdf\x73\x36\x9e\x0c\xf9\x5f\x51\x89\x19\x35\x46\x39\x2c\x2a",
0, "",
0, "",
16, "\x63\xe5\xcc\xdc\xbe\x0a\x96\x9b\xb8\x9b\xaa\x05\x3c\xba\x21\x54"
},
{ /* COUNT = 4 */
16, "\x98\xf6\xde\x82\xa0\x98\x15\x60\xc5\xed\xb4\x57\x7a\xe1\xbe\x4b",
8, "\x9a\x25\x0c\x56\x3f\x0f\x1e\xf0",
16, "\xfb\x06\xe8\x35\x47\xd1\xc3\x14\x5a\xfa\x10\xd5\xe6\xd5\x2f\x68",
0, "",
16, "\x43\xd7\x94\x96\xde\x30\x41\x2e\x42\x80\x88\xb6\xf5\x81\xa5\xd4",
0, "",
0, "",
16, "\xc5\xdc\x8f\xb0\x94\xbf\xb4\x15\xdc\x3b\xfa\xea\x47\x78\xdf\x82"
},
{ /* COUNT = 5 */
16, "\xb3\x85\x46\x93\x53\x85\x66\x77\x06\x0a\xd6\x88\xae\xae\xdd\x15",
8, "\xe5\x24\x45\x54\x96\xa3\xb9\xd5",
16, "\xa2\x09\xc5\xe9\x1a\x77\xd9\x56\x73\xf0\xb0\xeb\xb8\xab\x09\xcd",
0, "",
16, "\x4b\x64\xeb\xd7\xed\xe2\xf0\x6a\xa0\x53\x17\x91\xb3\x58\x28\x45",
0, "",
0, "",
16, "\x7e\xd8\x1b\x2e\x4e\x2a\x61\x90\xdd\x35\xf1\x73\x8e\x9d\x04\x2d"
},
{ /* COUNT = 6 */
16, "\x16\xa5\xa9\x8a\x7d\x52\x23\xe5\x47\x2b\xae\x31\xa9\x85\xd2\x7a",
8, "\x8a\x54\x4f\xcc\x9e\xf8\x2e\x3a",
16, "\x87\xbc\x0d\x53\xa4\x85\x44\xd8\xcd\xe2\xde\xd2\x80\x0f\x6c\xa0",
0, "",
16, "\x0f\x13\x13\x3f\x55\x0a\xed\xa7\xb7\x61\xf7\x3a\xf7\x90\x02\xee",
0, "",
0, "",
16, "\x1b\x0a\x0f\x58\x29\x10\xeb\x11\xbf\x47\x4d\x11\x7c\xbc\x06\x42"
},
{ /* COUNT = 7 */
16, "\x65\xa8\xd0\xda\x58\x5a\xfe\x4b\x8f\xe9\x3d\xd2\x60\xf2\xa6\x4b",
8, "\x38\x8e\x11\xf9\x12\x06\xa2\x4b",
16, "\x32\xca\xdf\x50\x44\xde\xe5\xd1\x75\xa8\x8b\xf0\x80\x7a\x85\xd5",
0, "",
16, "\xa9\x25\xc7\x16\xa0\xbd\x23\xdd\x98\xa5\x10\x02\x7a\x74\xd7\xd1",
0, "",
0, "",
16, "\xf4\xf0\x65\xdd\x5f\x8b\xeb\xdb\xd1\xcc\x01\x46\x7d\x6c\x9e\x12"
},
{ /* COUNT = 8 */
16, "\xde\xeb\xa1\x61\x9d\x6f\xba\xc8\x31\x88\x5a\x1b\x36\x3b\x4c\x7b",
8, "\xaf\x99\xab\x6a\xd5\x33\xe3\xd7",
16, "\x19\xac\x88\x11\xb4\x3a\x4a\x5d\x82\x30\xdd\x83\xc3\x87\xea\x86",
0, "",
16, "\x87\x3c\x27\x94\x3a\xb3\x67\xaa\xe4\x8d\x82\x40\x3d\x73\x66\xc0",
0, "",
0, "",
16, "\x9d\xa3\xd4\x02\xdb\xe4\x7f\x8f\x7c\xcb\xc9\xe7\x66\xce\x78\x62"
},
{ /* COUNT = 9 */
16, "\xd0\x03\x8b\x2d\xd7\x80\x69\x4b\xf9\x5f\x57\xe1\xac\x5e\xe8\x25",
8, "\x15\x69\x8a\xb4\x01\x59\x3b\x1c",
16, "\x14\x77\x0f\x3d\x96\xc9\xc3\x43\x94\xe0\xc9\x6e\x8c\xf6\xb5\x1d",
0, "",
16, "\x9e\x65\x85\x14\x1d\xb4\x1f\xd7\x2e\x6f\x43\xdb\x20\x8e\x46\x96",
0, "",
0, "",
16, "\xc4\x4e\x1c\x35\x4e\xf0\x3f\xdb\x07\x00\xf6\xeb\x4d\xd3\xc0\x5b"
},
{ /* COUNT = 10 */
16, "\x13\x16\x14\x6c\x73\x75\xc3\x74\x53\x49\x87\x28\x69\x3c\xa3\x2c",
8, "\x45\xbf\x36\x22\xab\x1b\x91\x7f",
16, "\x93\x33\xd2\x4a\x1c\xa1\x56\xa6\xc9\xaa\x8b\xec\xa9\x5b\x67\x5b",
0, "",
16, "\x8f\x2e\x48\x6e\x13\x86\x4c\xe8\xba\xe6\xf3\x12\xbe\x9f\xc6\xf8",
0, "",
0, "",
16, "\x92\x88\xe3\x1a\xb6\xb7\x2c\x6f\xe1\x5a\x24\x36\x30\x58\x31\x9f"
},
{ /* COUNT = 11 */
16, "\xa5\xda\xda\xc7\x07\xa8\xb0\xa9\x52\x56\x66\x6b\xee\x7b\x6d\x22",
8, "\xec\xa5\x0e\xb5\x0a\x24\x92\x2b",
16, "\x81\x03\x42\x52\x74\x25\x0a\x6d\x29\xbf\x88\xac\x78\x98\x75\xb5",
0, "",
16, "\xed\xe6\x43\x6b\xb2\x0e\x60\xbd\x54\x75\x02\x94\xac\x8e\xfd\x38",
0, "",
0, "",
16, "\x15\xc3\xa3\xe2\x85\x8e\x71\xc2\x03\xdf\x8f\xa7\x9f\x2b\xf1\xcc"
},
{ /* COUNT = 12 */
16, "\x96\x1c\xbe\x53\x66\x12\xa6\x95\xe0\x5d\xd1\xf7\xcc\xca\xf5\x77",
8, "\xb5\x95\x2a\xf6\x91\xf8\x56\x1c",
16, "\xfa\x2b\xc8\x07\x0d\x4b\x55\x49\x75\x69\x2e\x75\x39\xbe\x66\x94",
0, "",
16, "\x2f\xe7\x3e\xd5\x53\xc5\x66\xf0\xe0\x41\x36\xa6\x9e\xa7\x0e\x3c",
0, "",
0, "",
16, "\x5d\x9b\x49\x4a\xc8\xd4\x60\xe2\x69\x9b\x37\x73\x41\xe6\xca\x19"
},
{ /* COUNT = 13 */
16, "\xca\xef\xe8\x23\x22\xd7\x03\x9a\x3a\x24\xaa\xc6\x1f\x63\x26\x49",
8, "\xb1\xc1\xe5\x06\x4a\xb7\x62\xc9",
16, "\x21\xbe\x82\xfe\x3b\x94\x77\xad\x6b\x21\xd4\x75\x7f\xda\x17\x66",
0, "",
16, "\x9d\x4a\x53\x58\x07\xbe\x65\xe3\xdb\x71\x08\x06\xaa\x14\x28\xd8",
0, "",
0, "",
16, "\xcd\x83\x12\x37\x62\x72\xe9\xcc\x8b\xa7\x18\x88\x38\x26\xeb\x5c"
},
{ /* COUNT = 14 */
16, "\x71\x36\xe5\x95\xc0\xbd\xd1\x1b\x9b\xbf\xb0\x0d\xf6\x7d\xe7\x5a",
8, "\x9c\x8b\x8c\xe4\xce\xc7\xad\xa4",
16, "\xb8\x38\x3c\x1f\x66\x03\x9b\x50\x4f\x77\x65\x44\x90\x46\x06\x65",
0, "",
16, "\x3e\x97\x79\x85\xc2\x1a\x28\xa5\x59\x71\xf2\x2a\x8e\x55\x15\x64",
0, "",
0, "",
16, "\x76\xf5\xd8\xcd\xa7\xa2\x74\x41\x01\xf4\x16\x89\xd7\x5c\x77\xe0"
},
/* Cipher: AES-128 df: -df PR: False EIL: 128 NL: 64 PSL: 0 AIL: 0 */
{ /* COUNT = 0 */
16, "\xb5\x84\x7f\xdf\x1a\x31\x4f\xac\xc9\x11\x4a\xc8\x21\xe8\xff\x14",
8, "\xa4\xbd\xb8\xd7\x5a\xba\xbb\x95",
0, "",
0, "",
16, "\xb3\xbb\xe2\x90\x76\x84\x3f\x51\xc7\xf8\xc5\xc7\x46\x73\x25\xc8",
0, "",
0, "",
16, "\xc9\x31\x5d\x4c\xc4\x1f\x83\xbf\x26\xec\x2b\xa6\x87\x72\x04\x4d"
},
{ /* COUNT = 1 */
16, "\x46\xf5\xc4\xa8\xf4\x8d\xd2\x6a\xbf\xe9\x94\x11\xa5\x6f\x8c\xab",
8, "\xc0\xb5\x6f\xe8\x7d\xb9\x51\xf5",
0, "",
0, "",
16, "\x88\x20\x83\x24\xa9\xb2\xdf\x97\xd9\x0c\xeb\xef\xce\xad\x25\x93",
0, "",
0, "",
16, "\xb9\x8d\xea\x46\x70\xef\x01\x63\x8c\xb6\x7d\xec\x04\xc9\xe7\xa5"
},
{ /* COUNT = 2 */
16, "\x8b\x4e\x0f\xde\x1d\x88\x26\xc1\x27\x29\xd0\xfe\xe4\x80\x96\xf8",
8, "\x63\xdd\x5b\x8a\x66\x50\x96\xdd",
0, "",
0, "",
16, "\xdf\x2d\x71\xa0\xe6\x7b\xfc\x6d\xf2\x55\x0d\x98\x5a\x59\x6a\x6f",
0, "",
0, "",
16, "\xa3\x9f\x2e\x62\xce\x55\xc1\xcb\xd2\x66\x05\xc2\x4a\x29\x8c\x32"
},
{ /* COUNT = 3 */
16, "\x54\x31\x41\x03\x34\x63\x00\xe9\xf0\x8c\xc9\x1f\x76\x98\x72\x17",
8, "\xe1\x02\x78\x19\xb8\x77\x61\x6a",
0, "",
0, "",
16, "\x1b\x61\xe4\xce\x3b\xf6\x5a\xf6\x9a\xe4\x1b\x70\xba\x0f\x2d\x75",
0, "",
0, "",
16, "\x24\x80\xea\xf3\x01\xd6\x36\x5d\x6d\x32\x1c\x57\x35\xf6\xc0\x82"
},
{ /* COUNT = 4 */
16, "\xa7\x3c\xff\x35\x21\xc7\x55\x57\x16\xc3\xfc\x36\xa0\x63\x09\x87",
8, "\xd5\x32\x13\x49\x5c\x84\x37\x5a",
0, "",
0, "",
16, "\x6b\x61\xb1\xfe\xa0\x66\x4b\x57\x14\xcf\x63\xa6\x47\xd6\xe0\x2f",
0, "",
0, "",
16, "\xa8\x77\x6b\xda\xb0\xc1\xb1\xd3\x78\xdb\xd5\xe1\xc1\xb3\x59\x1f"
},
{ /* COUNT = 5 */
16, "\xff\xb5\xe1\x31\x0e\x1e\x76\xbb\x45\x39\xc9\x96\x4d\x85\x55\x7f",
8, "\x04\xa7\xdf\xa9\x09\xa6\x83\x52",
0, "",
0, "",
16, "\xd7\xe1\x65\xe3\xed\x68\x56\x9d\x6b\xbf\xb2\xa5\x71\xec\x1a\xfe",
0, "",
0, "",
16, "\xe3\xa6\x1d\xd0\x74\xb5\x2c\x11\x1a\xa2\xd0\xa2\x98\x88\x8c\x46"
},
{ /* COUNT = 6 */
16, "\xe3\x82\x6e\xdd\xba\x9c\x04\x8b\x2e\x18\x2c\xb1\x0a\xec\xb8\x6e",
8, "\x13\xa5\xb0\x8c\x65\x85\xef\x0a",
0, "",
0, "",
16, "\x87\xa1\x43\x72\x1f\xc5\xbe\x87\xfc\x9a\x82\xc9\xec\xeb\xf1\x53",
0, "",
0, "",
16, "\x58\x69\xff\x9d\xce\xea\xdc\x14\x72\xc5\x19\xd6\x9c\xb0\xd0\xac"
},
{ /* COUNT = 7 */
16, "\xe2\xec\x32\x12\x36\x40\xe9\x87\x06\xbe\x77\x85\x7e\x11\xf2\xea",
8, "\x74\x7a\x9c\xf8\x87\x9f\xb2\x4f",
0, "",
0, "",
16, "\xf8\x8e\x23\xb1\xf5\x3a\xe3\x17\x23\xd0\xab\x5d\xbb\x78\x95\xe0",
0, "",
0, "",
16, "\x5c\x1d\x48\x38\x13\xf3\x9e\xce\x3c\x46\x0f\x3d\x77\x63\x49\xd7"
},
{ /* COUNT = 8 */
16, "\x7a\x67\xcb\xa9\xa1\x65\x33\x07\xfa\x18\xab\x64\xa8\x04\x81\xb3",
8, "\x3c\x40\x4c\xfe\x9d\x76\xdd\x74",
0, "",
0, "",
16, "\x55\xd0\x1b\x5d\x23\xd2\x34\x28\x3c\x4f\x49\x5b\xf5\x39\xae\x13",
0, "",
0, "",
16, "\xb2\x1f\x10\xd0\xe7\x16\xa3\xa3\xd5\xa8\x5e\x22\xf1\xa6\x56\x8a"
},
{ /* COUNT = 9 */
16, "\x01\x4a\xda\x49\xea\x3b\x8a\x5c\x34\x39\x60\xe4\xf4\xf9\x19\x2f",
8, "\x86\xb7\x2d\x5b\x7f\xd5\x4b\xe7",
0, "",
0, "",
16, "\x6d\x48\xe8\xf5\x55\x24\x6e\x60\x6a\x91\x54\xb3\xa0\x79\x1e\xd3",
0, "",
0, "",
16, "\xc7\x68\x84\x78\x39\x2f\x4c\xe9\x50\x93\xf3\x54\x9a\xf1\x09\x8f"
},
{ /* COUNT = 10 */
16, "\x12\x37\x85\xc0\x60\xe3\xad\x19\x8b\x60\x87\x3a\x72\x9e\x3c\x25",
8, "\x09\x71\xd8\x8a\x11\x96\xd4\x81",
0, "",
0, "",
16, "\x6b\x4a\x2f\x7f\x55\x78\x44\x9d\x54\x36\xdb\xe4\xd4\xee\x4b\x45",
0, "",
0, "",
16, "\x14\x3d\xa0\x71\xe1\x2e\x3f\x11\x17\x23\x37\xef\x31\x57\x61\xcc"
},
{ /* COUNT = 11 */
16, "\x28\x4b\x5c\x5d\x55\x07\x0c\x05\x59\x23\x7f\xe6\x76\xf0\x42\x63",
8, "\xd7\x35\xd1\x35\x14\xe8\xd9\xbf",
0, "",
0, "",
16, "\xc4\xe8\x0d\x55\x71\xe7\xd7\xc8\x07\x36\x8a\x07\xa5\xdb\xcb\x18",
0, "",
0, "",
16, "\x04\xd0\x64\x0b\x8f\x90\xc8\xc0\x3d\xe1\xd8\x72\x70\x22\xe8\x59"
},
{ /* COUNT = 12 */
16, "\xf5\xb8\x9a\xc4\x50\x0c\x17\x60\x7e\x64\xed\xfa\xf9\x4f\x3b\xc1",
8, "\x9b\x6d\x20\xcc\x4e\x4a\x8e\xb8",
0, "",
0, "",
16, "\xdf\x1d\x1f\x99\x5f\xeb\x0f\x14\xb2\x11\x3b\xeb\x88\x63\x57\x73",
0, "",
0, "",
16, "\xdd\x2f\x25\x06\x22\x1a\x94\x04\xd7\x55\x59\xbf\xf4\xdf\xd3\x56"
},
{ /* COUNT = 13 */
16, "\x10\xb1\x54\x1e\xf2\xc2\x28\x16\x11\xfc\x14\x6b\xd3\xa3\xf9\x0e",
8, "\x3e\x5b\x73\x1a\xbf\x07\x23\xfc",
0, "",
0, "",
16, "\x68\x57\x46\x9c\xb5\xb9\xa0\xf9\x10\xf9\xb9\xf6\xb3\x14\x39\x42",
0, "",
0, "",
16, "\x47\x8c\x47\x70\x67\xd6\x53\xb8\x2a\x9b\xce\xb9\x80\x51\xad\xec"
},
{ /* COUNT = 14 */
16, "\x37\x57\x0f\x04\xc7\xac\x15\x45\xcd\x99\x19\xaf\xd4\x82\x21\xfb",
8, "\xe3\x2f\x37\x72\xb6\xd9\x18\x17",
0, "",
0, "",
16, "\x53\x6a\x2d\x9c\x8d\x37\x7b\xbc\x2e\xf9\x35\x23\xea\x86\x11\x7a",
0, "",
0, "",
16, "\x89\xae\x12\x8d\x88\x86\x53\x84\x2c\xd4\xeb\x3a\x38\xc6\xa9\x57"
},
/* Cipher: AES-128 df: -df PR: False EIL: 128 NL: 64 PSL: 128 AIL: 0 */
{ /* COUNT = 0 */
16, "\xf6\xa2\x6b\x45\xdf\xe2\x03\x28\xf8\xce\x23\x2a\xcf\x70\x43\x34",
8, "\x6c\xfe\x5d\xac\x4b\xa1\x5f\x75",
16, "\x4a\xe4\x32\xa8\x13\xa4\x07\xfe\x10\x95\x0a\x2f\x76\xb6\xe2\x3f",
0, "",
16, "\x4b\x20\xe7\xcc\xfb\xc4\xed\xcb\x66\x93\xde\xb7\x19\xc1\xfa\x60",
0, "",
0, "",
16, "\x93\x94\xc3\xdf\x06\xcb\xe6\x77\xfe\xe2\xce\x79\x3b\x52\xc1\xa0"
},
{ /* COUNT = 1 */
16, "\xe9\x44\x24\xa3\x3e\x12\xa7\x9f\x80\x51\x36\x6b\x37\x0e\xf1\x0b",
8, "\x97\xe6\x53\x2e\x19\x66\xe8\x27",
16, "\xd5\x3a\xd0\x7f\x1f\x07\xab\x42\xd4\x00\xcd\x25\x87\xda\xcb\xb1",
0, "",
16, "\x6a\x84\xa1\x7e\x1b\x46\x76\x0c\xba\xe2\x12\x53\xc8\x3b\xce\x1a",
0, "",
0, "",
16, "\xf2\x5a\xed\x8d\x69\x66\x76\x7c\x9d\xde\xf2\xb8\x19\xfe\x1c\x89"
},
{ /* COUNT = 2 */
16, "\x3c\x68\x43\x75\x44\x1a\xa8\x89\xd0\x7b\x8a\x36\x3c\xa6\x59\x11",
8, "\x13\x6f\x07\xa7\x09\x63\x7a\x1b",
16, "\x11\x8f\xb1\xf2\x13\x86\x77\x2f\xea\x3e\x16\x54\x7f\x24\x65\x54",
0, "",
16, "\x61\x77\xea\xab\xc3\xf5\xf6\x55\x66\x35\xeb\xdd\x05\xb5\xef\x1a",
0, "",
0, "",
16, "\x41\x60\x52\xd0\xee\x55\x5c\x7f\x22\xf2\x2a\x7e\x74\xaa\xd3\x37"
},
{ /* COUNT = 3 */
16, "\x14\x6e\x67\x0e\x53\xcd\xe1\x73\xdf\x08\xf8\x55\x05\x40\xc7\x13",
8, "\xcb\x70\x80\xac\xc0\x21\x3c\x2f",
16, "\x40\x57\xe7\x78\x02\x98\x4a\x7d\xb3\x36\xe2\x1b\xa4\x28\x58\x55",
0, "",
16, "\x15\x71\xe5\x73\x2d\x06\xcd\x6b\x83\xc7\xae\x63\xbd\xb6\x56\x27",
0, "",
0, "",
16, "\xe5\xec\x22\x85\xb4\x43\x33\x8e\xf6\xae\xbc\x3f\x50\xd9\xe7\x18"
},
{ /* COUNT = 4 */
16, "\xda\x9e\xe6\xb0\x8e\xe6\xb8\x16\xf3\x90\x18\x66\x01\x5a\xc1\x9f",
8, "\x7b\x82\x80\x82\xc3\x19\xd3\x17",
16, "\xce\x76\x22\xbb\x2f\x52\xd3\xd0\x06\x48\xd7\xc7\x20\xa2\xe7\x73",
0, "",
16, "\xb8\xf9\xf8\xd7\x68\xe2\x5f\x1c\x99\x96\x68\x89\x2c\x5a\x24\x7d",
0, "",
0, "",
16, "\xec\x99\x5c\x78\x79\x95\x1f\x2c\x17\xec\xda\x32\x54\x6a\x75\x29"
},
{ /* COUNT = 5 */
16, "\xcc\x56\x22\x37\x71\x91\xe2\xaa\x7a\x5b\xfe\x41\x0b\x8d\xfe\xdf",
8, "\x36\xc2\x00\x02\x03\x2f\xf0\x17",
16, "\xc4\x82\x1b\xf7\xeb\x79\xa4\x40\x32\xe5\xa3\xa0\x40\x1f\x1e\xcf",
0, "",
16, "\x3a\x32\xa8\x23\x5b\xa9\x4d\x12\x4c\x3c\xe6\xcd\xd4\x8d\x0b\xdd",
0, "",
0, "",
16, "\x40\x48\x71\xf0\xcd\x4c\xb6\x86\x9b\x59\x8f\xfe\x6b\xed\xf7\xdc"
},
{ /* COUNT = 6 */
16, "\xf6\x31\x70\x08\x16\x61\xb6\x77\xda\xcb\xe1\xf2\x98\x38\xd2\x94",
8, "\xc8\xa0\x6b\x06\x03\x3d\x66\xf1",
16, "\x1c\xf4\x26\x8b\x04\xaa\xc5\x5b\x7d\x57\x20\x3c\x9c\x06\x85\xfb",
0, "",
16, "\xe8\x37\x31\xca\x5f\x09\x74\xb8\x24\xba\xe1\x38\x4a\xfd\xe2\xb7",
0, "",
0, "",
16, "\x33\x0d\xbf\x0b\xee\xd6\x01\xb1\xbb\x7f\xd5\xb2\x12\xca\xc8\x8e"
},
{ /* COUNT = 7 */
16, "\x55\x66\x57\xb6\x65\x12\xf8\xdb\x17\xc9\x9c\xa8\x1f\xde\xa2\xb7",
8, "\x0b\x12\x3b\xcb\xfd\x87\x92\xef",
16, "\xed\x27\xc5\x1e\x4c\xa5\xd1\x57\xc9\x45\x19\x63\xce\x72\x49\x70",
0, "",
16, "\x10\x1d\xc1\xff\x5a\x7c\x72\x77\x9a\x59\x26\xfc\x0a\x87\x66\xc5",
0, "",
0, "",
16, "\xd6\xea\xb2\xaf\x75\xfa\xda\xdc\x3e\x7b\x22\xf0\x66\x7c\x82\x5e"
},
{ /* COUNT = 8 */
16, "\x49\x54\xa8\x46\x5c\x5a\x45\xd5\x39\xaf\x97\xe3\x59\x3d\xf6\xe3",
8, "\x3a\x7b\x73\xba\x31\x86\xbb\x2c",
16, "\x57\x73\xae\x3e\x0b\x3b\x0d\x70\xa0\x21\x5d\x37\xef\x96\xc6\xc0",
0, "",
16, "\x9e\x96\x1d\x46\xdd\x04\xa9\x47\x71\xd3\x24\xf3\xcc\xed\x3a\xf7",
0, "",
0, "",
16, "\xa1\x88\x77\x16\xfa\x57\x6d\x45\x82\xe1\xef\x3e\x56\x35\x9d\x27"
},
{ /* COUNT = 9 */
16, "\xb6\x66\x2c\x88\x85\x9b\x95\xfc\xec\x7b\xb4\x8e\x80\xe5\x3a\x94",
8, "\x2e\xa4\x56\x29\x75\x57\x96\x55",
16, "\x1a\x75\x37\x3c\x2c\xd4\x44\xb0\x81\x88\x11\x0c\xec\xd9\xab\xb1",
0, "",
16, "\x93\x7b\x3f\x79\x54\xa1\x5e\xe7\x39\xd9\xfc\x71\x8b\x19\x16\xfc",
0, "",
0, "",
16, "\x61\x25\xbc\x0c\x1e\x51\x02\xa6\x4b\xf2\x77\x2c\x4e\xf6\xaa\x37"
},
{ /* COUNT = 10 */
16, "\x83\xc6\x4e\x18\xd3\x7b\x1b\xad\x8a\xb0\xdc\xe7\x9d\x79\xdb\x91",
8, "\x7b\x26\x8c\xe1\xdf\x59\xc9\xe4",
16, "\x9a\x98\xf1\x71\x29\xdb\xae\xac\x3b\xfa\x90\x60\x86\x1e\xda\x5c",
0, "",
16, "\x89\x5c\x5b\x38\x4a\x7d\xf0\x91\xf7\x31\x08\x9f\xe4\xc3\x85\xfb",
0, "",
0, "",
16, "\x8c\x4c\xac\x96\xcf\xce\x88\xb7\x63\x0f\x0b\xe5\xc9\xec\x13\xff"
},
{ /* COUNT = 11 */
16, "\x3e\xce\xd8\x43\x83\xa4\xc9\x67\x82\x99\x73\x7e\x3d\x13\x06\xb2",
8, "\xce\xa3\x2b\xe5\x55\x4d\xdd\x8e",
16, "\xc2\x40\x53\xd6\x05\x4b\x04\x74\x9e\xcd\x5c\x40\x93\x7d\xc4\xfd",
0, "",
16, "\x87\x1c\x91\x51\xcd\x91\xa6\x84\x4c\x69\x56\x61\x2c\x25\x47\x16",
0, "",
0, "",
16, "\xb7\x86\x94\x83\xa7\x0b\x7e\xd4\xe3\xac\x13\x4f\xe5\x2d\x61\x54"
},
{ /* COUNT = 12 */
16, "\x69\xfb\xb5\xab\x97\x19\x78\x73\xa0\x4b\x4f\xbb\x34\x67\x96\x9e",
8, "\x6f\x0f\x91\xab\x86\xf3\x9b\x68",
16, "\xa3\xf6\xb2\x1f\xbc\x65\xcf\x69\x63\x58\x30\xce\x64\x9b\x8b\x9f",
0, "",
16, "\x34\xa1\x41\xcc\xd9\xd1\x08\x74\xa1\xc0\xf6\xed\x68\xb5\xc4\x08",
0, "",
0, "",
16, "\x02\x89\x5c\x69\x47\xc1\xd9\xd3\x04\xe7\x72\x29\x64\x3c\x40\x9b"
},
{ /* COUNT = 13 */
16, "\x9b\xa6\x81\xf0\x25\xb0\x2b\x59\xe0\xae\xbb\x0f\x17\x6e\xbc\x47",
8, "\xb6\xe6\x13\x0e\xdd\x9c\x1d\xec",
16, "\x67\x02\xa6\x29\x1e\xb5\xda\x41\x3a\xd1\x68\xd8\xdb\xdc\xf2\xc9",
0, "",
16, "\xf8\x65\xf4\xee\x32\x79\x2e\x4c\xc9\x90\x5c\xce\xbb\x12\x00\x84",
0, "",
0, "",
16, "\xb9\xfb\xd0\xa4\xbd\xcc\x5b\x26\x61\x30\x32\x33\xb1\x95\x41\x81"
},
{ /* COUNT = 14 */
16, "\x8e\xe2\x1e\x52\x07\xa7\xf8\x6b\x10\x09\x92\x64\x8b\x22\x33\x60",
8, "\xfb\x0a\x2c\x4f\x59\x5e\xc6\xd8",
16, "\x0e\x00\xdc\x30\xaf\xd3\x8b\x9c\x85\x6a\x96\x28\xcb\x42\xf7\x8f",
0, "",
16, "\x18\xe2\xc0\x7b\xc4\xb9\x6c\xea\x0b\x05\x2b\x77\x74\xa8\xab\x7a",
0, "",
0, "",
16, "\xd1\x12\x0e\xb6\x17\x8c\xb2\xed\xd7\xda\x97\xa5\xc9\x34\xc4\xab"
},
/* Cipher: AES-128 df: -df PR: False EIL: 128 NL: 64 PSL: 0 AIL: 0 */
{ /* COUNT = 0 */
16, "\x93\xc3\x3c\xaf\xd0\x84\xe7\x5a\x60\xb5\x3e\x69\x7f\x26\x20\xa2",
8, "\x93\x88\xb2\x27\xdd\x2e\xa6\x6b",
0, "",
0, "",
16, "\x07\xeb\xc4\x7f\xc8\xf6\xd8\xbe\x5c\x14\x91\xc7\xc8\x52\x8d\xf4",
0, "",
0, "",
16, "\x30\xb7\x9a\x87\xb9\xbb\x5b\xd8\xd8\x73\xc7\xe5\x4a\x53\x15\x72"
},
{ /* COUNT = 1 */
16, "\xb0\x0a\x6a\x69\x04\x49\xa1\xc4\xba\x31\xcf\xbe\xb2\x2f\xca\xf3",
8, "\xfd\x59\x70\x58\xa8\xa2\x26\xb4",
0, "",
0, "",
16, "\xff\x41\x24\x15\xf2\x71\x37\xc3\xca\x54\x2b\x39\x04\x52\xad\x4d",
0, "",
0, "",
16, "\xb3\xd3\x62\x41\xd2\x44\x66\x63\xc1\x15\x17\xbe\xe5\x7c\x20\xe9"
},
{ /* COUNT = 2 */
16, "\x31\xea\x6d\x20\xc0\xa6\xd9\x2e\x87\xe0\xb2\xe5\xb4\x18\x9d\x74",
8, "\xb3\x3f\x11\x94\xa0\x7d\xc6\x62",
0, "",
0, "",
16, "\xf5\x0b\x3f\x46\xc4\x8d\xad\x03\x4f\xbf\xca\x1c\x6d\x13\xc1\x67",
0, "",
0, "",
16, "\xf3\xa3\x26\x24\xde\x9b\x5c\xd2\x68\x1c\x40\x31\x41\xd9\x4f\x59"
},
{ /* COUNT = 3 */
16, "\xc9\x1a\x67\x66\x67\xcc\x2e\xff\x1c\x3b\xac\x09\x00\xf0\x85\x5e",
8, "\x49\x99\x0b\xb8\xec\x54\xae\x4c",
0, "",
0, "",
16, "\x0d\xb7\x25\xbd\x0d\x1e\xda\xf9\xad\xc2\xa9\x1c\x78\xda\xd0\x4e",
0, "",
0, "",
16, "\x47\xaa\xc6\x0c\xb6\x7a\x42\x7b\x24\xe5\xce\xa1\xbc\x3f\x5d\x84"
},
{ /* COUNT = 4 */
16, "\x85\x1f\x9a\xb9\xe6\x1c\x18\x5d\x2a\xd5\x1c\x5c\x08\x73\xe8\x82",
8, "\x92\x1c\x2c\xbf\x9d\x5e\x4d\x0c",
0, "",
0, "",
16, "\xae\x4e\xba\x62\x99\xaa\xcc\x27\x9a\x1b\xd0\xf5\xed\x1b\x6a\xf9",
0, "",
0, "",
16, "\xa8\xf1\x2d\x6b\x33\x92\x95\xd6\x37\x42\x40\x34\x45\x46\xaf\xf7"
},
{ /* COUNT = 5 */
16, "\x16\xae\x47\x35\x64\x10\x12\xd5\xf8\x22\x27\xf6\x2e\x2c\x13\x51",
8, "\x50\x14\x0a\x7d\x2c\xac\xa2\xe4",
0, "",
0, "",
16, "\xa7\xf9\xe8\x17\x4a\xeb\x11\x84\x11\x1a\x2a\xbd\xe2\x9e\x7b\x38",
0, "",
0, "",
16, "\x06\xea\xcd\xec\x85\x72\x89\x41\xc6\xd8\xe7\x81\x1f\xc9\xef\x97"
},
{ /* COUNT = 6 */
16, "\x71\x4b\x2d\x9c\x09\xfd\xf4\x52\x72\x2a\x18\x67\x21\x3a\x48\x5a",
8, "\x35\x05\x30\x37\x8c\x7f\x95\x6d",
0, "",
0, "",
16, "\x48\xc4\x96\x9b\xed\xb7\xf7\x71\x30\x33\x24\x3e\xb7\x65\xb4\x0a",
0, "",
0, "",
16, "\xb9\x0b\xca\x7a\x85\xb9\x42\x44\xce\x21\xfc\x4d\x8e\x7a\x7f\xa3"
},
{ /* COUNT = 7 */
16, "\x1f\xa4\x4d\xfa\xfc\x5b\x41\xe6\xe7\x2b\x07\x28\x2d\x60\x7f\x58",
8, "\xfe\xc0\x24\xea\x0f\xb8\x77\x74",
0, "",
0, "",
16, "\xcf\x64\x84\x7c\x6a\x4e\x96\x87\x20\xb0\x73\x8d\xfd\x15\x65\xd9",
0, "",
0, "",
16, "\x11\xeb\x5b\xb5\x0d\x79\x39\x2a\xd3\x1c\x4f\xb2\xba\x19\x38\x06"
},
{ /* COUNT = 8 */
16, "\x19\xe1\x28\x3a\x84\xd2\xc9\x57\xe6\x87\xb1\x85\xa6\x6c\xdf\x29",
8, "\x5a\xb7\xeb\x07\x22\x9d\xfc\x69",
0, "",
0, "",
16, "\x4e\xc3\x92\x52\x6f\xe5\xff\x71\x0f\xe2\x5b\x2d\x0e\xff\x07\x77",
0, "",
0, "",
16, "\xd1\x42\x8c\xf8\x95\xa3\xc1\x87\x09\x01\x9b\x67\xd4\x89\x38\x7d"
},
{ /* COUNT = 9 */
16, "\x70\x92\x61\x80\x41\x5b\xbd\xb3\xb8\x38\xf9\x4f\x26\x9d\x14\x64",
8, "\x42\x32\x75\xbd\xab\xdc\x63\x77",
0, "",
0, "",
16, "\x4b\x64\x0f\xe3\x3d\xb2\x9c\x20\xa9\x96\x9c\x1c\x6b\xd4\x1d\xb8",
0, "",
0, "",
16, "\xd7\xb9\x3b\xa0\x90\xdc\xda\xe1\xd7\x2a\x93\x6c\x0a\x55\x9b\xb3"
},
{ /* COUNT = 10 */
16, "\x58\x58\x44\xc5\xcf\xe6\xed\x76\xb1\xfc\x30\x07\x42\x68\x43\x75",
8, "\x86\x34\x88\x06\x07\x96\xa3\x1b",
0, "",
0, "",
16, "\x73\xe1\x82\xf0\x81\xeb\xc8\x2a\xa0\xe5\xfa\xca\x62\x84\x57\x1d",
0, "",
0, "",
16, "\xae\xe8\x63\x1d\xb3\x91\x6f\x2d\xc5\x71\x9a\xc1\x7f\xe0\xf0\x70"
},
{ /* COUNT = 11 */
16, "\xb9\x19\x74\x20\xbb\xb4\x3f\x48\xbb\x53\x06\x72\x2d\xdf\x79\xf2",
8, "\x7b\xc1\x1d\x84\xe9\x00\xa7\xc5",
0, "",
0, "",
16, "\x3f\xa4\xec\x6c\x7b\xf3\x71\x3c\x30\x5c\x2c\xe5\xf8\x67\xeb\xb3",
0, "",
0, "",
16, "\x31\xee\x21\x34\x90\x68\x93\xf3\xe8\x1f\x18\x46\x5d\x32\x8c\x8f"
},
{ /* COUNT = 12 */
16, "\x1c\x9b\x28\x93\x1a\x28\x6e\x6a\xb5\xbe\x2a\x2a\xc4\x26\x15\x26",
8, "\x8a\xf6\x83\x29\x89\x55\x76\xcb",
0, "",
0, "",
16, "\xee\xbc\xd3\x3d\xa8\x48\x77\x0f\x58\xed\x43\xfb\x0e\xe1\xa2\xef",
0, "",
0, "",
16, "\x70\x18\xba\xf2\xba\x92\xc6\x9f\x79\xe5\x14\xed\x1b\x36\x54\x2b"
},
{ /* COUNT = 13 */
16, "\xd1\xa9\x43\x46\x2e\x40\x3f\xbf\xd7\x10\x0c\xc3\x7d\x99\x26\x63",
8, "\xf7\x86\x41\x53\x82\xb8\x98\x9b",
0, "",
0, "",
16, "\xae\xb5\x0e\x70\x03\xb4\x8c\x31\x50\xb9\xb2\x66\xe9\x0e\x0c\xc4",
0, "",
0, "",
16, "\x48\x25\x87\xde\x52\xb0\x3b\x07\x23\x3b\x94\xde\x68\x58\x0f\x86"
},
{ /* COUNT = 14 */
16, "\x09\x86\x9f\x9f\x33\xa8\x0b\x68\x0c\xfa\xee\x33\x9d\x5f\xcd\x37",
8, "\xe1\x32\x47\x32\x63\x8d\x2d\xdc",
0, "",
0, "",
16, "\x30\x6d\x9a\xa2\x59\x19\x8e\xac\xdb\x0f\x0c\x6e\xb6\x0b\x29\x1c",
0, "",
0, "",
16, "\x5b\x18\xfa\xe5\x5d\xc4\x1f\x04\xb6\x4e\xaf\xa5\x08\x60\x8d\xf9"
},
/* Cipher: AES-128 df: -df PR: False EIL: 128 NL: 64 PSL: 128 AIL: 0 */
{ /* COUNT = 0 */
16, "\xdd\x63\x6d\xaf\xc4\x69\x10\xac\x3a\x30\x93\xe2\x73\xe1\x65\x3b",
8, "\x1c\x50\x16\x00\x1e\x56\x7d\x97",
16, "\x2e\x18\x61\x98\x11\x2e\xa4\x45\x39\xbf\x37\x3e\x60\xf5\xb3\x34",
0, "",
16, "\x73\x7b\x97\xcd\xf6\x81\xb7\x05\x37\x64\xbb\xe2\xb9\xb5\x1b\x20",
0, "",
0, "",
16, "\x89\x73\x66\xce\x28\x23\x9b\xe6\x64\x6c\x68\xe7\x14\xfa\x7c\x8a"
},
{ /* COUNT = 1 */
16, "\x05\xf2\xb4\x1a\x02\x33\x65\xeb\xeb\x41\x74\xf5\x69\xc8\x77\x16",
8, "\x27\xf6\x00\x80\xeb\x97\x77\xfb",
16, "\x0f\xbd\xfe\x5d\xd8\x9a\x86\xaa\xab\xe1\x54\x4a\xe9\xd8\x4c\xd8",
0, "",
16, "\xc2\x18\x50\xc0\xa3\x3a\x1a\xa0\x45\x58\xb4\xa1\x49\xa4\x5d\x3d",
0, "",
0, "",
16, "\xb4\x82\x2a\x60\x78\x29\xd8\x87\x38\x64\x1b\x5d\xaa\xcc\xb2\x60"
},
{ /* COUNT = 2 */
16, "\x76\x39\x66\xed\x34\xa2\x92\x4b\x3e\x8a\xd4\x38\x76\x0a\x1b\xf3",
8, "\xa4\x96\xab\x20\x20\xbf\x08\x2b",
16, "\x32\x0e\xe8\x87\xff\x11\x39\x65\x05\x5f\x37\x3b\x1b\xc0\x42\x77",
0, "",
16, "\x0c\x2b\x15\x3e\xbc\x02\xdc\x0c\x16\xe1\x53\xf2\xf6\x64\xc0\x94",
0, "",
0, "",
16, "\xe2\x45\xc6\x83\xca\x72\x2b\x8f\x50\xaf\x4a\xf7\x0e\xc5\x4a\x28"
},
{ /* COUNT = 3 */
16, "\x97\x5e\xfc\xa9\x1f\xdb\x92\x69\xdd\x24\x7f\x11\xd9\x9b\x45\x5c",
8, "\x10\x5d\xe1\x3b\x24\x48\xad\xcb",
16, "\x67\x3c\xd1\x66\x09\x55\x36\xe0\x50\x4a\x4a\x5b\x2e\x85\x92\x3a",
0, "",
16, "\x48\x19\x3a\x1d\x99\x2f\xe2\xbf\x68\xa8\x1e\xbc\x96\x4a\xfb\x48",
0, "",
0, "",
16, "\x71\xa5\x95\xa5\xf6\xcb\xfc\xd2\x88\x67\x8f\x8b\xa4\xf5\x2d\xf0"
},
{ /* COUNT = 4 */
16, "\x62\x11\xa4\xa2\x2a\x35\x52\xea\x18\x31\xfa\xac\x28\x43\xac\xf3",
8, "\xe4\xee\x29\x49\xb6\x4f\x74\x22",
16, "\x9c\x01\x7d\x21\x59\xf9\x2e\x33\xdd\x09\xb7\x96\x30\xc0\x66\x3f",
0, "",
16, "\x28\xb7\x5f\x6f\x93\xc2\xd3\xe1\x89\x0b\xb9\xff\x54\xb2\xd6\x44",
0, "",
0, "",
16, "\x58\x3e\x8c\x8b\xc2\xcf\xc2\xe9\xad\x27\x58\x6d\xb0\x25\x28\xe2"
},
{ /* COUNT = 5 */
16, "\xe7\x83\x4c\xe1\xd4\x95\x02\x42\xcd\x16\x6d\x02\xc9\x19\xd6\x43",
8, "\xdf\x68\x3f\xf8\xfc\xbc\x1a\x72",
16, "\x12\xbd\x8f\xf2\xbe\xc9\x89\x0a\x8b\x6f\xa7\xa3\x37\xac\x65\x50",
0, "",
16, "\xa1\x80\xcf\x59\x0b\xbf\xe7\xc9\xd3\x43\x1d\x3a\x97\xe6\xcc\xc8",
0, "",
0, "",
16, "\x87\x1e\x12\xec\x7e\x24\x4a\x49\xbc\x58\xd8\x9f\x1d\xaa\x56\xd8"
},
{ /* COUNT = 6 */
16, "\x37\x47\x84\xea\x6f\xc6\xea\x1f\xe4\x6b\x2f\x2d\xaf\x13\x84\xbe",
8, "\xb6\x9c\x73\xda\xb1\xc3\xa8\xc8",
16, "\xb6\x93\x35\x96\x30\xeb\xca\x06\xce\xfc\x6c\x74\x6b\x64\x64\x2e",
0, "",
16, "\x0c\xee\xe1\x44\x29\x5c\xe2\xa1\xc7\xc5\x12\xa8\x61\x3a\x3a\xce",
0, "",
0, "",
16, "\xf2\x79\xb9\x2b\x90\x27\xb5\xca\x48\x27\xad\xb1\x2d\x11\x39\xb1"
},
{ /* COUNT = 7 */
16, "\x6f\xb1\xd0\x8b\x94\x98\x81\x2e\xf0\x24\x2e\x32\x7e\xbe\xb0\xdf",
8, "\x58\x6c\x3d\x95\x13\xa9\x15\x69",
16, "\xb5\xec\x3e\xd8\x46\x5f\x12\xc5\x18\x40\x42\x13\xbb\x6f\x26\xe1",
0, "",
16, "\x05\x5d\xb8\x10\x8d\x4e\x01\x68\x26\x81\xe3\xfd\x4d\x88\x7d\x00",
0, "",
0, "",
16, "\xa3\x32\x2b\x3b\x6c\x1d\xa0\x09\xe6\x54\x1e\xf1\x95\x14\xdf\x0b"
},
{ /* COUNT = 8 */
16, "\xee\xa5\xcd\xa0\x6d\x16\x34\x0f\xbc\xb2\x2e\x50\x18\x4a\x46\x45",
8, "\xa0\x40\xb3\x2b\x74\xe3\x7d\xe1",
16, "\xda\x9c\x7a\x7d\x4e\x0b\x38\xb1\x0f\x61\xc5\x0a\x68\x15\x20\xeb",
0, "",
16, "\x70\x8c\x69\x54\x99\x1a\x8d\x09\x16\x8f\x62\x83\x18\x96\x57\xd8",
0, "",
0, "",
16, "\x78\x31\xf7\x30\xb4\x80\x18\x4a\x82\x72\x93\x41\xfe\xe2\xe3\xeb"
},
{ /* COUNT = 9 */
16, "\xfa\x5d\x8b\xb8\x2c\x3f\x04\x0e\xfa\x88\x27\xaf\x2f\xdb\x38\x3e",
8, "\x75\x92\x64\xac\x0a\x53\x93\xff",
16, "\xc0\xc0\xd9\xd9\x7c\xbc\xa4\x84\x97\x3a\x62\x7e\xd4\x60\xad\x25",
0, "",
16, "\x6e\x0e\x13\x7f\xf8\x81\x5a\x58\x58\x5a\x29\xaf\x56\x68\xe0\x9e",
0, "",
0, "",
16, "\xcf\x4b\x7d\xf3\x68\x55\x2f\x73\x4c\x9b\x24\x7d\x70\x6b\xb2\xbb"
},
{ /* COUNT = 10 */
16, "\x0d\x9b\x51\x3b\x77\x7e\x35\x67\xe5\xf0\x2b\xaf\xe7\xa7\x1c\xd7",
8, "\xa4\x5f\x41\xc2\xa3\xc8\x4a\xaa",
16, "\xbe\xe8\xc3\x4b\x6f\x90\xff\xd0\x5e\xbf\x30\x31\xd7\xea\xff\x46",
0, "",
16, "\x74\x2d\x9d\x5c\xa0\x6e\x2d\x7c\x57\x05\xad\x0f\xfd\x63\x71\x5e",
0, "",
0, "",
16, "\x4e\xbb\xaf\xfc\x73\x85\xfa\xe1\x97\x44\x18\xb4\x0d\x6e\x0b\xdc"
},
{ /* COUNT = 11 */
16, "\x2c\xed\x50\xfa\x31\xd1\x22\x6a\xac\xdd\xe8\x16\x71\x06\x77\xc8",
8, "\xc2\x72\x06\xd9\x53\x5e\x6e\xe4",
16, "\xba\x12\x67\xee\x5b\xf6\x28\xdb\x12\xe9\xc0\xfe\x1b\xbb\x64\x00",
0, "",
16, "\xe4\x67\x43\xeb\x79\xed\x44\xd4\xd7\xe3\x39\x9c\xf6\x06\x88\x07",
0, "",
0, "",
16, "\x81\x64\x59\xe9\x41\xa5\x05\xeb\x07\x23\xb0\x94\xfd\x95\xc6\x8f"
},
{ /* COUNT = 12 */
16, "\xca\x4f\xbc\xa0\x93\x20\x85\x34\xda\x68\xb9\xae\x43\x7f\x08\xe1",
8, "\x58\x79\x0a\xfd\xe2\x77\x9f\x3d",
16, "\xe3\xe8\x49\x34\xdd\xff\x50\xd1\x17\x4e\x0e\x7b\x8a\x3d\xb0\xb5",
0, "",
16, "\x6a\xe0\x23\x16\xd9\x05\xdb\x57\x92\x09\x67\xf2\x14\x7e\x3c\x50",
0, "",
0, "",
16, "\xb6\x9f\xd2\x4a\xc8\x8d\x83\x1e\x85\xd2\x9f\x7e\x08\xc4\xc0\xbb"
},
{ /* COUNT = 13 */
16, "\xdf\x19\x2d\xe2\xfe\x75\xac\xb5\xb2\xfc\x54\x12\x76\xbd\x44\x56",
8, "\xd8\xe6\x9e\xb2\xee\x7e\x12\x68",
16, "\x3a\x75\x9a\x36\xfe\x30\x8f\x05\xfc\x2f\xc2\x6a\x8f\x66\x86\x85",
0, "",
16, "\x40\x10\x88\xf8\xf0\xeb\x86\x13\x9e\xde\x3b\x5b\xc4\x27\xe3\xa4",
0, "",
0, "",
16, "\x42\x6e\xe7\x24\x2f\xf0\xbc\x5e\x29\xfa\x89\xf9\x72\x26\x43\x6b"
},
{ /* COUNT = 14 */
16, "\xfa\x38\xd8\x3e\x00\x03\xbb\x34\x1f\x93\xfb\xd5\xc1\x2a\x28\x2e",
8, "\x6b\x9d\xb4\x3d\xda\x64\xff\x0a",
16, "\xaa\x86\x4a\x4d\xf7\x15\x85\x9d\x98\x61\x01\x57\xb1\x6d\x0b\x9d",
0, "",
16, "\x61\x12\xa0\x3d\x6a\xcb\x55\x8c\xa8\x1f\x2b\xd1\x06\xd2\x86\x79",
0, "",
0, "",
16, "\x9f\xd4\x82\x80\xdf\xb3\x05\x8d\xd5\x32\x5d\xc8\xf4\xde\x90\x5b"
},