Blame crypto/fips/fips_drbg_selftest.h

Packit Service 084de1
/* ====================================================================
Packit Service 084de1
 * Copyright (c) 2011 The OpenSSL Project.  All rights reserved.
Packit Service 084de1
 *
Packit Service 084de1
 * Redistribution and use in source and binary forms, with or without
Packit Service 084de1
 * modification, are permitted provided that the following conditions
Packit Service 084de1
 * are met:
Packit Service 084de1
 *
Packit Service 084de1
 * 1. Redistributions of source code must retain the above copyright
Packit Service 084de1
 *    notice, this list of conditions and the following disclaimer. 
Packit Service 084de1
 *
Packit Service 084de1
 * 2. Redistributions in binary form must reproduce the above copyright
Packit Service 084de1
 *    notice, this list of conditions and the following disclaimer in
Packit Service 084de1
 *    the documentation and/or other materials provided with the
Packit Service 084de1
 *    distribution.
Packit Service 084de1
 *
Packit Service 084de1
 * 3. All advertising materials mentioning features or use of this
Packit Service 084de1
 *    software must display the following acknowledgment:
Packit Service 084de1
 *    "This product includes software developed by the OpenSSL Project
Packit Service 084de1
 *    for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
Packit Service 084de1
 *
Packit Service 084de1
 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
Packit Service 084de1
 *    endorse or promote products derived from this software without
Packit Service 084de1
 *    prior written permission. For written permission, please contact
Packit Service 084de1
 *    openssl-core.org.
Packit Service 084de1
 *
Packit Service 084de1
 * 5. Products derived from this software may not be called "OpenSSL"
Packit Service 084de1
 *    nor may "OpenSSL" appear in their names without prior written
Packit Service 084de1
 *    permission of the OpenSSL Project.
Packit Service 084de1
 *
Packit Service 084de1
 * 6. Redistributions of any form whatsoever must retain the following
Packit Service 084de1
 *    acknowledgment:
Packit Service 084de1
 *    "This product includes software developed by the OpenSSL Project
Packit Service 084de1
 *    for use in the OpenSSL Toolkit (http://www.openssl.org/)"
Packit Service 084de1
 *
Packit Service 084de1
 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
Packit Service 084de1
 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
Packit Service 084de1
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
Packit Service 084de1
 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE OpenSSL PROJECT OR
Packit Service 084de1
 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
Packit Service 084de1
 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
Packit Service 084de1
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
Packit Service 084de1
 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
Packit Service 084de1
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
Packit Service 084de1
 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
Packit Service 084de1
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
Packit Service 084de1
 * OF THE POSSIBILITY OF SUCH DAMAGE.
Packit Service 084de1
 *
Packit Service 084de1
 */
Packit Service 084de1
Packit Service 084de1
/* Selftest and health check data for the SP800-90 DRBG */
Packit Service 084de1
Packit Service 084de1
#define __fips_constseg
Packit Service 084de1
Packit Service 084de1
/* AES-128 use df PR  */
Packit Service 084de1
__fips_constseg static const unsigned char aes_128_use_df_pr_entropyinput[] = {
Packit Service 084de1
    0x61, 0x52, 0x7c, 0xe3, 0x23, 0x7d, 0x0a, 0x07, 0x10, 0x0c, 0x50, 0x33,
Packit Service 084de1
    0xc8, 0xdb, 0xff, 0x12
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_128_use_df_pr_nonce[] = {
Packit Service 084de1
    0x51, 0x0d, 0x85, 0x77, 0xed, 0x22, 0x97, 0x28
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_128_use_df_pr_personalizationstring[] = {
Packit Service 084de1
    0x59, 0x9f, 0xbb, 0xcd, 0xd5, 0x25, 0x69, 0xb5, 0xcb, 0xb5, 0x03, 0xfe,
Packit Service 084de1
    0xd7, 0xd7, 0x01, 0x67
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_128_use_df_pr_additionalinput[] = {
Packit Service 084de1
    0xef, 0x88, 0x76, 0x01, 0xaf, 0x3c, 0xfe, 0x8b, 0xaf, 0x26, 0x06, 0x9e,
Packit Service 084de1
    0x9a, 0x47, 0x08, 0x76
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_128_use_df_pr_entropyinputpr[] = {
Packit Service 084de1
    0xe2, 0x76, 0xf9, 0xf6, 0x3a, 0xba, 0x10, 0x9f, 0xbf, 0x47, 0x0e, 0x51,
Packit Service 084de1
    0x09, 0xfb, 0xa3, 0xb6
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_128_use_df_pr_int_returnedbits[] = {
Packit Service 084de1
    0xd4, 0x98, 0x8a, 0x46, 0x80, 0x4c, 0xdb, 0xa3, 0x59, 0x02, 0x57, 0x52,
Packit Service 084de1
    0x66, 0x1c, 0xea, 0x5b
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_128_use_df_pr_additionalinput2[] = {
Packit Service 084de1
    0x88, 0x8c, 0x91, 0xd6, 0xbe, 0x56, 0x6e, 0x08, 0x9a, 0x62, 0x2b, 0x11,
Packit Service 084de1
    0x3f, 0x5e, 0x31, 0x06
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_128_use_df_pr_entropyinputpr2[] = {
Packit Service 084de1
    0xc0, 0x5c, 0x6b, 0x98, 0x01, 0x0d, 0x58, 0x18, 0x51, 0x18, 0x96, 0xae,
Packit Service 084de1
    0xa7, 0xe3, 0xa8, 0x67
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_128_use_df_pr_returnedbits[] = {
Packit Service 084de1
    0xcf, 0x01, 0xac, 0x22, 0x31, 0x06, 0x8e, 0xfc, 0xce, 0x56, 0xea, 0x24,
Packit Service 084de1
    0x0f, 0x38, 0x43, 0xc6
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* AES-128 use df No PR  */
Packit Service 084de1
__fips_constseg static const unsigned char aes_128_use_df_entropyinput[] = {
Packit Service 084de1
    0x1f, 0x8e, 0x34, 0x82, 0x0c, 0xb7, 0xbe, 0xc5, 0x01, 0x3e, 0xd0, 0xa3,
Packit Service 084de1
    0x9d, 0x7d, 0x1c, 0x9b
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_128_use_df_nonce[] = {
Packit Service 084de1
    0xd5, 0x4d, 0xbd, 0x4a, 0x93, 0x7f, 0xb8, 0x96
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_128_use_df_personalizationstring[] = {
Packit Service 084de1
    0xab, 0xd6, 0x3f, 0x04, 0xfe, 0x27, 0x6b, 0x2d, 0xd7, 0xc3, 0x1c, 0xf3,
Packit Service 084de1
    0x38, 0x66, 0xba, 0x1b
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_128_use_df_additionalinput[] = {
Packit Service 084de1
    0xfe, 0xf4, 0x09, 0xa8, 0xb7, 0x73, 0x27, 0x9c, 0x5f, 0xa7, 0xea, 0x46,
Packit Service 084de1
    0xb5, 0xe2, 0xb2, 0x41
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_128_use_df_int_returnedbits[] = {
Packit Service 084de1
    0x42, 0xe4, 0x4e, 0x7b, 0x27, 0xdd, 0xcb, 0xbc, 0x0a, 0xcf, 0xa6, 0x67,
Packit Service 084de1
    0xe7, 0x57, 0x11, 0xb4
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_128_use_df_entropyinputreseed[] = {
Packit Service 084de1
    0x14, 0x26, 0x69, 0xd9, 0xf3, 0x65, 0x03, 0xd6, 0x6b, 0xb9, 0x44, 0x0b,
Packit Service 084de1
    0xc7, 0xc4, 0x9e, 0x39
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_128_use_df_additionalinputreseed[] = {
Packit Service 084de1
    0x55, 0x2e, 0x60, 0x9a, 0x05, 0x72, 0x8a, 0xa8, 0xef, 0x22, 0x81, 0x5a,
Packit Service 084de1
    0xc8, 0x93, 0xfa, 0x84
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_128_use_df_additionalinput2[] = {
Packit Service 084de1
    0x3c, 0x40, 0xc8, 0xc4, 0x16, 0x0c, 0x21, 0xa4, 0x37, 0x2c, 0x8f, 0xa5,
Packit Service 084de1
    0x06, 0x0c, 0x15, 0x2c
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_128_use_df_returnedbits[] = {
Packit Service 084de1
    0xe1, 0x3e, 0x99, 0x98, 0x86, 0x67, 0x0b, 0x63, 0x7b, 0xbe, 0x3f, 0x88,
Packit Service 084de1
    0x46, 0x81, 0xc7, 0x19
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* AES-192 use df PR  */
Packit Service 084de1
__fips_constseg static const unsigned char aes_192_use_df_pr_entropyinput[] = {
Packit Service 084de1
    0x2b, 0x4e, 0x8b, 0xe1, 0xf1, 0x34, 0x80, 0x56, 0x81, 0xf9, 0x74, 0xec,
Packit Service 084de1
    0x17, 0x44, 0x2a, 0xf1, 0x14, 0xb0, 0xbf, 0x97, 0x39, 0xb7, 0x04, 0x7d
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_192_use_df_pr_nonce[] = {
Packit Service 084de1
    0xd6, 0x9d, 0xeb, 0x14, 0x4e, 0x6c, 0x30, 0x1e, 0x39, 0x55, 0x73, 0xd0,
Packit Service 084de1
    0xd1, 0x80, 0x78, 0xfa
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_192_use_df_pr_personalizationstring[] = {
Packit Service 084de1
    0xfc, 0x43, 0x4a, 0xf8, 0x9a, 0x55, 0xb3, 0x53, 0x83, 0xe2, 0x18, 0x16,
Packit Service 084de1
    0x0c, 0xdc, 0xcd, 0x5e, 0x4f, 0xa0, 0x03, 0x01, 0x2b, 0x9f, 0xe4, 0xd5,
Packit Service 084de1
    0x7d, 0x49, 0xf0, 0x41, 0x9e, 0x3d, 0x99, 0x04
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_192_use_df_pr_additionalinput[] = {
Packit Service 084de1
    0x5e, 0x9f, 0x49, 0x6f, 0x21, 0x8b, 0x1d, 0x32, 0xd5, 0x84, 0x5c, 0xac,
Packit Service 084de1
    0xaf, 0xdf, 0xe4, 0x79, 0x9e, 0xaf, 0xa9, 0x82, 0xd0, 0xf8, 0x4f, 0xcb,
Packit Service 084de1
    0x69, 0x10, 0x0a, 0x7e, 0x81, 0x57, 0xb5, 0x36
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_192_use_df_pr_entropyinputpr[] = {
Packit Service 084de1
    0xd4, 0x81, 0x0c, 0xd7, 0x66, 0x39, 0xec, 0x42, 0x53, 0x87, 0x41, 0xa5,
Packit Service 084de1
    0x1e, 0x7d, 0x80, 0x91, 0x8e, 0xbb, 0xed, 0xac, 0x14, 0x02, 0x1a, 0xd5
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_192_use_df_pr_int_returnedbits[] = {
Packit Service 084de1
    0xdf, 0x1d, 0x39, 0x45, 0x7c, 0x9b, 0xc6, 0x2b, 0x7d, 0x8c, 0x93, 0xe9,
Packit Service 084de1
    0x19, 0x30, 0x6b, 0x67
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_192_use_df_pr_additionalinput2[] = {
Packit Service 084de1
    0x00, 0x71, 0x27, 0x4e, 0xd3, 0x14, 0xf1, 0x20, 0x7f, 0x4a, 0x41, 0x32,
Packit Service 084de1
    0x2a, 0x97, 0x11, 0x43, 0x8f, 0x4a, 0x15, 0x7b, 0x9b, 0x51, 0x79, 0xda,
Packit Service 084de1
    0x49, 0x3d, 0xde, 0xe8, 0xbc, 0x93, 0x91, 0x99
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_192_use_df_pr_entropyinputpr2[] = {
Packit Service 084de1
    0x90, 0xee, 0x76, 0xa1, 0x45, 0x8d, 0xb7, 0x40, 0xb0, 0x11, 0xbf, 0xd0,
Packit Service 084de1
    0x65, 0xd7, 0x3c, 0x7c, 0x4f, 0x20, 0x3f, 0x4e, 0x11, 0x9d, 0xb3, 0x5e
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_192_use_df_pr_returnedbits[] = {
Packit Service 084de1
    0x24, 0x3b, 0x20, 0xa4, 0x37, 0x66, 0xba, 0x72, 0x39, 0x3f, 0xcf, 0x3c,
Packit Service 084de1
    0x7e, 0x1a, 0x2b, 0x83
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* AES-192 use df No PR  */
Packit Service 084de1
__fips_constseg static const unsigned char aes_192_use_df_entropyinput[] = {
Packit Service 084de1
    0x8d, 0x74, 0xa4, 0x50, 0x1a, 0x02, 0x68, 0x0c, 0x2a, 0x69, 0xc4, 0x82,
Packit Service 084de1
    0x3b, 0xbb, 0xda, 0x0e, 0x7f, 0x77, 0xa3, 0x17, 0x78, 0x57, 0xb2, 0x7b
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_192_use_df_nonce[] = {
Packit Service 084de1
    0x75, 0xd5, 0x1f, 0xac, 0xa4, 0x8d, 0x42, 0x78, 0xd7, 0x69, 0x86, 0x9d,
Packit Service 084de1
    0x77, 0xd7, 0x41, 0x0e
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_192_use_df_personalizationstring[] = {
Packit Service 084de1
    0x4e, 0x33, 0x41, 0x3c, 0x9c, 0xc2, 0xd2, 0x53, 0xaf, 0x90, 0xea, 0xcf,
Packit Service 084de1
    0x19, 0x50, 0x1e, 0xe6, 0x6f, 0x63, 0xc8, 0x32, 0x22, 0xdc, 0x07, 0x65,
Packit Service 084de1
    0x9c, 0xd3, 0xf8, 0x30, 0x9e, 0xed, 0x35, 0x70
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_192_use_df_additionalinput[] = {
Packit Service 084de1
    0x5d, 0x8b, 0x8c, 0xc1, 0xdf, 0x0e, 0x02, 0x78, 0xfb, 0x19, 0xb8, 0x69,
Packit Service 084de1
    0x78, 0x4e, 0x9c, 0x52, 0xbc, 0xc7, 0x20, 0xc9, 0xe6, 0x5e, 0x77, 0x22,
Packit Service 084de1
    0x28, 0x3d, 0x0c, 0x9e, 0x68, 0xa8, 0x45, 0xd7
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_192_use_df_int_returnedbits[] = {
Packit Service 084de1
    0xd5, 0xe7, 0x08, 0xc5, 0x19, 0x99, 0xd5, 0x31, 0x03, 0x0a, 0x74, 0xb6,
Packit Service 084de1
    0xb7, 0xed, 0xe9, 0xea
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_192_use_df_entropyinputreseed[] = {
Packit Service 084de1
    0x9c, 0x26, 0xda, 0xf1, 0xac, 0xd9, 0x5a, 0xd6, 0xa8, 0x65, 0xf5, 0x02,
Packit Service 084de1
    0x8f, 0xdc, 0xa2, 0x09, 0x54, 0xa6, 0xe2, 0xa4, 0xde, 0x32, 0xe0, 0x01
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_192_use_df_additionalinputreseed[] = {
Packit Service 084de1
    0x9b, 0x90, 0xb0, 0x3a, 0x0e, 0x3a, 0x80, 0x07, 0x4a, 0xf4, 0xda, 0x76,
Packit Service 084de1
    0x28, 0x30, 0x3c, 0xee, 0x54, 0x1b, 0x94, 0x59, 0x51, 0x43, 0x56, 0x77,
Packit Service 084de1
    0xaf, 0x88, 0xdd, 0x63, 0x89, 0x47, 0x06, 0x65
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_192_use_df_additionalinput2[] = {
Packit Service 084de1
    0x3c, 0x11, 0x64, 0x7a, 0x96, 0xf5, 0xd8, 0xb8, 0xae, 0xd6, 0x70, 0x4e,
Packit Service 084de1
    0x16, 0x96, 0xde, 0xe9, 0x62, 0xbc, 0xee, 0x28, 0x2f, 0x26, 0xa6, 0xf0,
Packit Service 084de1
    0x56, 0xef, 0xa3, 0xf1, 0x6b, 0xa1, 0xb1, 0x77
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_192_use_df_returnedbits[] = {
Packit Service 084de1
    0x0b, 0xe2, 0x56, 0x03, 0x1e, 0xdb, 0x2c, 0x6d, 0x7f, 0x1b, 0x15, 0x58,
Packit Service 084de1
    0x1a, 0xf9, 0x13, 0x28
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* AES-256 use df PR  */
Packit Service 084de1
__fips_constseg static const unsigned char aes_256_use_df_pr_entropyinput[] = {
Packit Service 084de1
    0x61, 0x68, 0xfc, 0x1a, 0xf0, 0xb5, 0x95, 0x6b, 0x85, 0x09, 0x9b, 0x74,
Packit Service 084de1
    0x3f, 0x13, 0x78, 0x49, 0x3b, 0x85, 0xec, 0x93, 0x13, 0x3b, 0xa9, 0x4f,
Packit Service 084de1
    0x96, 0xab, 0x2c, 0xe4, 0xc8, 0x8f, 0xdd, 0x6a
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_256_use_df_pr_nonce[] = {
Packit Service 084de1
    0xad, 0xd2, 0xbb, 0xba, 0xb7, 0x65, 0x89, 0xc3, 0x21, 0x6c, 0x55, 0x33,
Packit Service 084de1
    0x2b, 0x36, 0xff, 0xa4
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_256_use_df_pr_personalizationstring[] = {
Packit Service 084de1
    0x6e, 0xca, 0xe7, 0x20, 0x72, 0xd3, 0x84, 0x5a, 0x32, 0xd3, 0x4b, 0x24,
Packit Service 084de1
    0x72, 0xc4, 0x63, 0x2b, 0x9d, 0x12, 0x24, 0x0c, 0x23, 0x26, 0x8e, 0x83,
Packit Service 084de1
    0x16, 0x37, 0x0b, 0xd1, 0x06, 0x4f, 0x68, 0x6d
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_256_use_df_pr_additionalinput[] = {
Packit Service 084de1
    0x7e, 0x08, 0x4a, 0xbb, 0xe3, 0x21, 0x7c, 0xc9, 0x23, 0xd2, 0xf8, 0xb0,
Packit Service 084de1
    0x73, 0x98, 0xba, 0x84, 0x74, 0x23, 0xab, 0x06, 0x8a, 0xe2, 0x22, 0xd3,
Packit Service 084de1
    0x7b, 0xce, 0x9b, 0xd2, 0x4a, 0x76, 0xb8, 0xde
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_256_use_df_pr_entropyinputpr[] = {
Packit Service 084de1
    0x0b, 0x23, 0xaf, 0xdf, 0xf1, 0x62, 0xd7, 0xd3, 0x43, 0x97, 0xf8, 0x77,
Packit Service 084de1
    0x04, 0xa8, 0x42, 0x20, 0xbd, 0xf6, 0x0f, 0xc1, 0x17, 0x2f, 0x9f, 0x54,
Packit Service 084de1
    0xbb, 0x56, 0x17, 0x86, 0x68, 0x0e, 0xba, 0xa9
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_256_use_df_pr_int_returnedbits[] = {
Packit Service 084de1
    0x31, 0x8e, 0xad, 0xaf, 0x40, 0xeb, 0x6b, 0x74, 0x31, 0x46, 0x80, 0xc7,
Packit Service 084de1
    0x17, 0xab, 0x3c, 0x7a
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_256_use_df_pr_additionalinput2[] = {
Packit Service 084de1
    0x94, 0x6b, 0xc9, 0x9f, 0xab, 0x8d, 0xc5, 0xec, 0x71, 0x88, 0x1d, 0x00,
Packit Service 084de1
    0x8c, 0x89, 0x68, 0xe4, 0xc8, 0x07, 0x77, 0x36, 0x17, 0x6d, 0x79, 0x78,
Packit Service 084de1
    0xc7, 0x06, 0x4e, 0x99, 0x04, 0x28, 0x29, 0xc3
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_256_use_df_pr_entropyinputpr2[] = {
Packit Service 084de1
    0xbf, 0x6c, 0x59, 0x2a, 0x0d, 0x44, 0x0f, 0xae, 0x9a, 0x5e, 0x03, 0x73,
Packit Service 084de1
    0xd8, 0xa6, 0xe1, 0xcf, 0x25, 0x61, 0x38, 0x24, 0x86, 0x9e, 0x53, 0xe8,
Packit Service 084de1
    0xa4, 0xdf, 0x56, 0xf4, 0x06, 0x07, 0x9c, 0x0f
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_256_use_df_pr_returnedbits[] = {
Packit Service 084de1
    0x22, 0x4a, 0xb4, 0xb8, 0xb6, 0xee, 0x7d, 0xb1, 0x9e, 0xc9, 0xf9, 0xa0,
Packit Service 084de1
    0xd9, 0xe2, 0x97, 0x00
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* AES-256 use df No PR  */
Packit Service 084de1
__fips_constseg static const unsigned char aes_256_use_df_entropyinput[] = {
Packit Service 084de1
    0xa5, 0x3e, 0x37, 0x10, 0x17, 0x43, 0x91, 0x93, 0x59, 0x1e, 0x47, 0x50,
Packit Service 084de1
    0x87, 0xaa, 0xdd, 0xd5, 0xc1, 0xc3, 0x86, 0xcd, 0xca, 0x0d, 0xdb, 0x68,
Packit Service 084de1
    0xe0, 0x02, 0xd8, 0x0f, 0xdc, 0x40, 0x1a, 0x47
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_256_use_df_nonce[] = {
Packit Service 084de1
    0xa9, 0x4d, 0xa5, 0x5a, 0xfd, 0xc5, 0x0c, 0xe5, 0x1c, 0x9a, 0x3b, 0x8a,
Packit Service 084de1
    0x4c, 0x44, 0x84, 0x40
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_256_use_df_personalizationstring[] = {
Packit Service 084de1
    0x8b, 0x52, 0xa2, 0x4a, 0x93, 0xc3, 0x4e, 0xa7, 0x1e, 0x1c, 0xa7, 0x05,
Packit Service 084de1
    0xeb, 0x82, 0x9b, 0xa6, 0x5d, 0xe4, 0xd4, 0xe0, 0x7f, 0xa3, 0xd8, 0x6b,
Packit Service 084de1
    0x37, 0x84, 0x5f, 0xf1, 0xc7, 0xd5, 0xf6, 0xd2
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_256_use_df_additionalinput[] = {
Packit Service 084de1
    0x20, 0xf4, 0x22, 0xed, 0xf8, 0x5c, 0xa1, 0x6a, 0x01, 0xcf, 0xbe, 0x5f,
Packit Service 084de1
    0x8d, 0x6c, 0x94, 0x7f, 0xae, 0x12, 0xa8, 0x57, 0xdb, 0x2a, 0xa9, 0xbf,
Packit Service 084de1
    0xc7, 0xb3, 0x65, 0x81, 0x80, 0x8d, 0x0d, 0x46
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_256_use_df_int_returnedbits[] = {
Packit Service 084de1
    0x4e, 0x44, 0xfd, 0xf3, 0x9e, 0x29, 0xa2, 0xb8, 0x0f, 0x5d, 0x6c, 0xe1,
Packit Service 084de1
    0x28, 0x0c, 0x3b, 0xc1
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_256_use_df_entropyinputreseed[] = {
Packit Service 084de1
    0xdd, 0x40, 0xe5, 0x98, 0x7b, 0x27, 0x16, 0x73, 0x15, 0x68, 0xd2, 0x76,
Packit Service 084de1
    0xbf, 0x0c, 0x67, 0x15, 0x75, 0x79, 0x03, 0xd3, 0xde, 0xde, 0x91, 0x46,
Packit Service 084de1
    0x42, 0xdd, 0xd4, 0x67, 0xc8, 0x79, 0xc8, 0x1e
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_256_use_df_additionalinputreseed[] = {
Packit Service 084de1
    0x7f, 0xd8, 0x1f, 0xbd, 0x2a, 0xb5, 0x1c, 0x11, 0x5d, 0x83, 0x4e, 0x99,
Packit Service 084de1
    0xf6, 0x5c, 0xa5, 0x40, 0x20, 0xed, 0x38, 0x8e, 0xd5, 0x9e, 0xe0, 0x75,
Packit Service 084de1
    0x93, 0xfe, 0x12, 0x5e, 0x5d, 0x73, 0xfb, 0x75
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_256_use_df_additionalinput2[] = {
Packit Service 084de1
    0xcd, 0x2c, 0xff, 0x14, 0x69, 0x3e, 0x4c, 0x9e, 0xfd, 0xfe, 0x26, 0x0d,
Packit Service 084de1
    0xe9, 0x86, 0x00, 0x49, 0x30, 0xba, 0xb1, 0xc6, 0x50, 0x57, 0x77, 0x2a,
Packit Service 084de1
    0x62, 0x39, 0x2c, 0x3b, 0x74, 0xeb, 0xc9, 0x0d
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_256_use_df_returnedbits[] = {
Packit Service 084de1
    0x4f, 0x78, 0xbe, 0xb9, 0x4d, 0x97, 0x8c, 0xe9, 0xd0, 0x97, 0xfe, 0xad,
Packit Service 084de1
    0xfa, 0xfd, 0x35, 0x5e
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* AES-128 no df PR  */
Packit Service 084de1
__fips_constseg static const unsigned char aes_128_no_df_pr_entropyinput[] = {
Packit Service 084de1
    0x9a, 0x25, 0x65, 0x10, 0x67, 0xd5, 0xb6, 0x6b, 0x70, 0xa1, 0xb3, 0xa4,
Packit Service 084de1
    0x43, 0x95, 0x80, 0xc0, 0x84, 0x0a, 0x79, 0xb0, 0x88, 0x74, 0xf2, 0xbf,
Packit Service 084de1
    0x31, 0x6c, 0x33, 0x38, 0x0b, 0x00, 0xb2, 0x5a
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_128_no_df_pr_nonce[] = {
Packit Service 084de1
    0x78, 0x47, 0x6b, 0xf7, 0x90, 0x8e, 0x87, 0xf1
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_128_no_df_pr_personalizationstring[] = {
Packit Service 084de1
    0xf7, 0x22, 0x1d, 0x3a, 0xbe, 0x1d, 0xca, 0x32, 0x1b, 0xbd, 0x87, 0x0c,
Packit Service 084de1
    0x51, 0x24, 0x19, 0xee, 0xa3, 0x23, 0x09, 0x63, 0x33, 0x3d, 0xa8, 0x0c,
Packit Service 084de1
    0x1c, 0xfa, 0x42, 0x89, 0xcc, 0x6f, 0xa0, 0xa8
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_128_no_df_pr_additionalinput[] = {
Packit Service 084de1
    0xc9, 0xe0, 0x80, 0xbf, 0x8c, 0x45, 0x58, 0x39, 0xff, 0x00, 0xab, 0x02,
Packit Service 084de1
    0x4c, 0x3e, 0x3a, 0x95, 0x9b, 0x80, 0xa8, 0x21, 0x2a, 0xee, 0xba, 0x73,
Packit Service 084de1
    0xb1, 0xd9, 0xcf, 0x28, 0xf6, 0x8f, 0x9b, 0x12
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_128_no_df_pr_entropyinputpr[] = {
Packit Service 084de1
    0x4c, 0xa8, 0xc5, 0xf0, 0x59, 0x9e, 0xa6, 0x8d, 0x26, 0x53, 0xd7, 0x8a,
Packit Service 084de1
    0xa9, 0xd8, 0xf7, 0xed, 0xb2, 0xf9, 0x12, 0x42, 0xe1, 0xe5, 0xbd, 0xe7,
Packit Service 084de1
    0xe7, 0x1d, 0x74, 0x99, 0x00, 0x9d, 0x31, 0x3e
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_128_no_df_pr_int_returnedbits[] = {
Packit Service 084de1
    0xe2, 0xac, 0x20, 0xf0, 0x80, 0xe7, 0xbc, 0x7e, 0x9c, 0x7b, 0x65, 0x71,
Packit Service 084de1
    0xaf, 0x19, 0x32, 0x16
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_128_no_df_pr_additionalinput2[] = {
Packit Service 084de1
    0x32, 0x7f, 0x38, 0x8b, 0x73, 0x0a, 0x78, 0x83, 0xdc, 0x30, 0xbe, 0x9f,
Packit Service 084de1
    0x10, 0x1f, 0xf5, 0x1f, 0xca, 0x00, 0xb5, 0x0d, 0xd6, 0x9d, 0x60, 0x83,
Packit Service 084de1
    0x51, 0x54, 0x7d, 0x38, 0x23, 0x3a, 0x52, 0x50
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_128_no_df_pr_entropyinputpr2[] = {
Packit Service 084de1
    0x18, 0x61, 0x53, 0x56, 0xed, 0xed, 0xd7, 0x20, 0xfb, 0x71, 0x04, 0x7a,
Packit Service 084de1
    0xb2, 0xac, 0xc1, 0x28, 0xcd, 0xf2, 0xc2, 0xfc, 0xaa, 0xb1, 0x06, 0x07,
Packit Service 084de1
    0xe9, 0x46, 0x95, 0x02, 0x48, 0x01, 0x78, 0xf9
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_128_no_df_pr_returnedbits[] = {
Packit Service 084de1
    0x29, 0xc8, 0x1b, 0x15, 0xb1, 0xd1, 0xc2, 0xf6, 0x71, 0x86, 0x68, 0x33,
Packit Service 084de1
    0x57, 0x82, 0x33, 0xaf
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* AES-128 no df No PR  */
Packit Service 084de1
__fips_constseg static const unsigned char aes_128_no_df_entropyinput[] = {
Packit Service 084de1
    0xc9, 0xc5, 0x79, 0xbc, 0xe8, 0xc5, 0x19, 0xd8, 0xbc, 0x66, 0x73, 0x67,
Packit Service 084de1
    0xf6, 0xd3, 0x72, 0xaa, 0xa6, 0x16, 0xb8, 0x50, 0xb7, 0x47, 0x3a, 0x42,
Packit Service 084de1
    0xab, 0xf4, 0x16, 0xb2, 0x96, 0xd2, 0xb6, 0x60
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_128_no_df_nonce[] = {
Packit Service 084de1
    0x5f, 0xbf, 0x97, 0x0c, 0x4b, 0xa4, 0x87, 0x13
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_128_no_df_personalizationstring[] = {
Packit Service 084de1
    0xce, 0xfb, 0x7b, 0x3f, 0xd4, 0x6b, 0x29, 0x0d, 0x69, 0x06, 0xff, 0xbb,
Packit Service 084de1
    0xf2, 0xe5, 0xc6, 0x6c, 0x0a, 0x10, 0xa0, 0xcf, 0x1a, 0x48, 0xc7, 0x8b,
Packit Service 084de1
    0x3c, 0x16, 0x88, 0xed, 0x50, 0x13, 0x81, 0xce
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_128_no_df_additionalinput[] = {
Packit Service 084de1
    0x4b, 0x22, 0x46, 0x18, 0x02, 0x7b, 0xd2, 0x1b, 0x22, 0x42, 0x7c, 0x37,
Packit Service 084de1
    0xd9, 0xf6, 0xe8, 0x9b, 0x12, 0x30, 0x5f, 0xe9, 0x90, 0xe8, 0x08, 0x24,
Packit Service 084de1
    0x4f, 0x06, 0x66, 0xdb, 0x19, 0x2b, 0x13, 0x95
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_128_no_df_int_returnedbits[] = {
Packit Service 084de1
    0x2e, 0x96, 0x70, 0x64, 0xfa, 0xdf, 0xdf, 0x57, 0xb5, 0x82, 0xee, 0xd6,
Packit Service 084de1
    0xed, 0x3e, 0x65, 0xc2
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_128_no_df_entropyinputreseed[] = {
Packit Service 084de1
    0x26, 0xc0, 0x72, 0x16, 0x3a, 0x4b, 0xb7, 0x99, 0xd4, 0x07, 0xaf, 0x66,
Packit Service 084de1
    0x62, 0x36, 0x96, 0xa4, 0x51, 0x17, 0xfa, 0x07, 0x8b, 0x17, 0x5e, 0xa1,
Packit Service 084de1
    0x2f, 0x3c, 0x10, 0xe7, 0x90, 0xd0, 0x46, 0x00
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_128_no_df_additionalinputreseed[] = {
Packit Service 084de1
    0x83, 0x39, 0x37, 0x7b, 0x02, 0x06, 0xd2, 0x12, 0x13, 0x8d, 0x8b, 0xf2,
Packit Service 084de1
    0xf0, 0xf6, 0x26, 0xeb, 0xa4, 0x22, 0x7b, 0xc2, 0xe7, 0xba, 0x79, 0xe4,
Packit Service 084de1
    0x3b, 0x77, 0x5d, 0x4d, 0x47, 0xb2, 0x2d, 0xb4
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_128_no_df_additionalinput2[] = {
Packit Service 084de1
    0x0b, 0xb9, 0x67, 0x37, 0xdb, 0x83, 0xdf, 0xca, 0x81, 0x8b, 0xf9, 0x3f,
Packit Service 084de1
    0xf1, 0x11, 0x1b, 0x2f, 0xf0, 0x61, 0xa6, 0xdf, 0xba, 0xa3, 0xb1, 0xac,
Packit Service 084de1
    0xd3, 0xe6, 0x09, 0xb8, 0x2c, 0x6a, 0x67, 0xd6
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_128_no_df_returnedbits[] = {
Packit Service 084de1
    0x1e, 0xa7, 0xa4, 0xe4, 0xe1, 0xa6, 0x7c, 0x69, 0x9a, 0x44, 0x6c, 0x36,
Packit Service 084de1
    0x81, 0x37, 0x19, 0xd4
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* AES-192 no df PR  */
Packit Service 084de1
__fips_constseg static const unsigned char aes_192_no_df_pr_entropyinput[] = {
Packit Service 084de1
    0x9d, 0x2c, 0xd2, 0x55, 0x66, 0xea, 0xe0, 0xbe, 0x18, 0xb7, 0x76, 0xe7,
Packit Service 084de1
    0x73, 0x35, 0xd8, 0x1f, 0xad, 0x3a, 0xe3, 0x81, 0x0e, 0x92, 0xd0, 0x61,
Packit Service 084de1
    0xc9, 0x12, 0x26, 0xf6, 0x1c, 0xdf, 0xfe, 0x47, 0xaa, 0xfe, 0x7d, 0x5a,
Packit Service 084de1
    0x17, 0x1f, 0x8d, 0x9a
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_192_no_df_pr_nonce[] = {
Packit Service 084de1
    0x44, 0x82, 0xed, 0xe8, 0x4c, 0x28, 0x5a, 0x14, 0xff, 0x88, 0x8d, 0x19,
Packit Service 084de1
    0x61, 0x5c, 0xee, 0x0f
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_192_no_df_pr_personalizationstring[] = {
Packit Service 084de1
    0x47, 0xd7, 0x9b, 0x99, 0xaa, 0xcb, 0xe7, 0xd2, 0x57, 0x66, 0x2c, 0xe1,
Packit Service 084de1
    0x78, 0xd6, 0x2c, 0xea, 0xa3, 0x23, 0x5f, 0x2a, 0xc1, 0x3a, 0xf0, 0xa4,
Packit Service 084de1
    0x20, 0x3b, 0xfa, 0x07, 0xd5, 0x05, 0x02, 0xe4, 0x57, 0x01, 0xb6, 0x10,
Packit Service 084de1
    0x57, 0x2e, 0xe7, 0x55
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_192_no_df_pr_additionalinput[] = {
Packit Service 084de1
    0x4b, 0x74, 0x0b, 0x40, 0xce, 0x6b, 0xc2, 0x6a, 0x24, 0xb4, 0xf3, 0xad,
Packit Service 084de1
    0x7a, 0xa5, 0x7a, 0xa2, 0x15, 0xe2, 0xc8, 0x61, 0x15, 0xc6, 0xb7, 0x85,
Packit Service 084de1
    0x69, 0x11, 0xad, 0x7b, 0x14, 0xd2, 0xf6, 0x12, 0xa1, 0x95, 0x5d, 0x3f,
Packit Service 084de1
    0xe2, 0xd0, 0x0c, 0x2f
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_192_no_df_pr_entropyinputpr[] = {
Packit Service 084de1
    0x0c, 0x9c, 0xad, 0x05, 0xee, 0xae, 0x48, 0x23, 0x89, 0x59, 0xa1, 0x94,
Packit Service 084de1
    0xd7, 0xd8, 0x75, 0xd5, 0x54, 0x93, 0xc7, 0x4a, 0xd9, 0x26, 0xde, 0xeb,
Packit Service 084de1
    0xba, 0xb0, 0x7e, 0x30, 0x1d, 0x5f, 0x69, 0x40, 0x9c, 0x3b, 0x17, 0x58,
Packit Service 084de1
    0x1d, 0x30, 0xb3, 0x78
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_192_no_df_pr_int_returnedbits[] = {
Packit Service 084de1
    0xf7, 0x93, 0xb0, 0x6d, 0x77, 0x83, 0xd5, 0x38, 0x01, 0xe1, 0x52, 0x40,
Packit Service 084de1
    0x7e, 0x3e, 0x0c, 0x26
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_192_no_df_pr_additionalinput2[] = {
Packit Service 084de1
    0xbc, 0x4b, 0x37, 0x44, 0x1c, 0xc5, 0x45, 0x5f, 0x8f, 0x51, 0x62, 0x8a,
Packit Service 084de1
    0x85, 0x30, 0x1d, 0x7c, 0xe4, 0xcf, 0xf7, 0x44, 0xce, 0x32, 0x3e, 0x57,
Packit Service 084de1
    0x95, 0xa4, 0x2a, 0xdf, 0xfd, 0x9e, 0x38, 0x41, 0xb3, 0xf6, 0xc5, 0xee,
Packit Service 084de1
    0x0c, 0x4b, 0xee, 0x6e
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_192_no_df_pr_entropyinputpr2[] = {
Packit Service 084de1
    0xec, 0xaf, 0xf6, 0x4f, 0xb1, 0xa0, 0x54, 0xb5, 0x5b, 0xe3, 0x46, 0xb0,
Packit Service 084de1
    0x76, 0x5a, 0x7c, 0x3f, 0x7b, 0x94, 0x69, 0x21, 0x51, 0x02, 0xe5, 0x9f,
Packit Service 084de1
    0x04, 0x59, 0x02, 0x98, 0xc6, 0x43, 0x2c, 0xcc, 0x26, 0x4c, 0x87, 0x6b,
Packit Service 084de1
    0x8e, 0x0a, 0x83, 0xdf
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_192_no_df_pr_returnedbits[] = {
Packit Service 084de1
    0x74, 0x45, 0xfb, 0x53, 0x84, 0x96, 0xbe, 0xff, 0x15, 0xcc, 0x41, 0x91,
Packit Service 084de1
    0xb9, 0xa1, 0x21, 0x68
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* AES-192 no df No PR  */
Packit Service 084de1
__fips_constseg static const unsigned char aes_192_no_df_entropyinput[] = {
Packit Service 084de1
    0x3c, 0x7d, 0xb5, 0xe0, 0x54, 0xd9, 0x6e, 0x8c, 0xa9, 0x86, 0xce, 0x4e,
Packit Service 084de1
    0x6b, 0xaf, 0xeb, 0x2f, 0xe7, 0x75, 0xe0, 0x8b, 0xa4, 0x3b, 0x07, 0xfe,
Packit Service 084de1
    0xbe, 0x33, 0x75, 0x93, 0x80, 0x27, 0xb5, 0x29, 0x47, 0x8b, 0xc7, 0x28,
Packit Service 084de1
    0x94, 0xc3, 0x59, 0x63
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_192_no_df_nonce[] = {
Packit Service 084de1
    0x43, 0xf1, 0x7d, 0xb8, 0xc3, 0xfe, 0xd0, 0x23, 0x6b, 0xb4, 0x92, 0xdb,
Packit Service 084de1
    0x29, 0xfd, 0x45, 0x71
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_192_no_df_personalizationstring[] = {
Packit Service 084de1
    0x9f, 0x24, 0x29, 0x99, 0x9e, 0x01, 0xab, 0xe9, 0x19, 0xd8, 0x23, 0x08,
Packit Service 084de1
    0xb7, 0xd6, 0x7e, 0x8c, 0xc0, 0x9e, 0x7f, 0x6e, 0x5b, 0x33, 0x20, 0x96,
Packit Service 084de1
    0x0b, 0x23, 0x2c, 0xa5, 0x6a, 0xf8, 0x1b, 0x04, 0x26, 0xdb, 0x2e, 0x2b,
Packit Service 084de1
    0x3b, 0x88, 0xce, 0x35
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_192_no_df_additionalinput[] = {
Packit Service 084de1
    0x94, 0xe9, 0x7c, 0x3d, 0xa7, 0xdb, 0x60, 0x83, 0x1f, 0x98, 0x3f, 0x0b,
Packit Service 084de1
    0x88, 0x59, 0x57, 0x51, 0x88, 0x9f, 0x76, 0x49, 0x9f, 0xa6, 0xda, 0x71,
Packit Service 084de1
    0x1d, 0x0d, 0x47, 0x16, 0x63, 0xc5, 0x68, 0xe4, 0x5d, 0x39, 0x69, 0xb3,
Packit Service 084de1
    0x3e, 0xbe, 0xd4, 0x8e
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_192_no_df_int_returnedbits[] = {
Packit Service 084de1
    0xf9, 0xd7, 0xad, 0x69, 0xab, 0x8f, 0x23, 0x56, 0x70, 0x17, 0x4f, 0x2a,
Packit Service 084de1
    0x45, 0xe7, 0x4a, 0xc5
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_192_no_df_entropyinputreseed[] = {
Packit Service 084de1
    0xa6, 0x71, 0x6a, 0x3d, 0xba, 0xd1, 0xe8, 0x66, 0xa6, 0xef, 0xb2, 0x0e,
Packit Service 084de1
    0xa8, 0x9c, 0xaa, 0x4e, 0xaf, 0x17, 0x89, 0x50, 0x00, 0xda, 0xa1, 0xb1,
Packit Service 084de1
    0x0b, 0xa4, 0xd9, 0x35, 0x89, 0xc8, 0xe5, 0xb0, 0xd9, 0xb7, 0xc4, 0x33,
Packit Service 084de1
    0x9b, 0xcb, 0x7e, 0x75
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_192_no_df_additionalinputreseed[] = {
Packit Service 084de1
    0x27, 0x21, 0xfc, 0xc2, 0xbd, 0xf3, 0x3c, 0xce, 0xc3, 0xca, 0xc1, 0x01,
Packit Service 084de1
    0xe0, 0xff, 0x93, 0x12, 0x7d, 0x54, 0x42, 0xe3, 0x9f, 0x03, 0xdf, 0x27,
Packit Service 084de1
    0x04, 0x07, 0x3c, 0x53, 0x7f, 0xa8, 0x66, 0xc8, 0x97, 0x4b, 0x61, 0x40,
Packit Service 084de1
    0x5d, 0x7a, 0x25, 0x79
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_192_no_df_additionalinput2[] = {
Packit Service 084de1
    0x2d, 0x8e, 0x16, 0x5d, 0x0b, 0x9f, 0xeb, 0xaa, 0xd6, 0xec, 0x28, 0x71,
Packit Service 084de1
    0x7c, 0x0b, 0xc1, 0x1d, 0xd4, 0x44, 0x19, 0x47, 0xfd, 0x1d, 0x7c, 0xe5,
Packit Service 084de1
    0xf3, 0x27, 0xe1, 0xb6, 0x72, 0x0a, 0xe0, 0xec, 0x0e, 0xcd, 0xef, 0x1a,
Packit Service 084de1
    0x91, 0x6a, 0xe3, 0x5f
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_192_no_df_returnedbits[] = {
Packit Service 084de1
    0xe5, 0xda, 0xb8, 0xe0, 0x63, 0x59, 0x5a, 0xcc, 0x3d, 0xdc, 0x9f, 0xe8,
Packit Service 084de1
    0x66, 0x67, 0x2c, 0x92
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* AES-256 no df PR  */
Packit Service 084de1
__fips_constseg static const unsigned char aes_256_no_df_pr_entropyinput[] = {
Packit Service 084de1
    0x15, 0xc7, 0x5d, 0xcb, 0x41, 0x4b, 0x16, 0x01, 0x3a, 0xd1, 0x44, 0xe8,
Packit Service 084de1
    0x22, 0x32, 0xc6, 0x9c, 0x3f, 0xe7, 0x43, 0xf5, 0x9a, 0xd3, 0xea, 0xf2,
Packit Service 084de1
    0xd7, 0x4e, 0x6e, 0x6a, 0x55, 0x73, 0x40, 0xef, 0x89, 0xad, 0x0d, 0x03,
Packit Service 084de1
    0x96, 0x7e, 0x78, 0x81, 0x2f, 0x91, 0x1b, 0x44, 0xb0, 0x02, 0xba, 0x1c
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_256_no_df_pr_nonce[] = {
Packit Service 084de1
    0xdc, 0xe4, 0xd4, 0x27, 0x7a, 0x90, 0xd7, 0x99, 0x43, 0xa1, 0x3c, 0x30,
Packit Service 084de1
    0xcc, 0x4b, 0xee, 0x2e
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_256_no_df_pr_personalizationstring[] = {
Packit Service 084de1
    0xe3, 0xe6, 0xb9, 0x11, 0xe4, 0x7a, 0xa4, 0x40, 0x6b, 0xf8, 0x73, 0xf7,
Packit Service 084de1
    0x7e, 0xec, 0xc7, 0xb9, 0x97, 0xbf, 0xf8, 0x25, 0x7b, 0xbe, 0x11, 0x9b,
Packit Service 084de1
    0x5b, 0x6a, 0x0c, 0x2e, 0x2b, 0x01, 0x51, 0xcd, 0x41, 0x4b, 0x6b, 0xac,
Packit Service 084de1
    0x31, 0xa8, 0x0b, 0xf7, 0xe6, 0x59, 0x42, 0xb8, 0x03, 0x0c, 0xf8, 0x06
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_256_no_df_pr_additionalinput[] = {
Packit Service 084de1
    0x6a, 0x9f, 0x00, 0x91, 0xae, 0xfe, 0xcf, 0x84, 0x99, 0xce, 0xb1, 0x40,
Packit Service 084de1
    0x6d, 0x5d, 0x33, 0x28, 0x84, 0xf4, 0x8c, 0x63, 0x4c, 0x7e, 0xbd, 0x2c,
Packit Service 084de1
    0x80, 0x76, 0xee, 0x5a, 0xaa, 0x15, 0x07, 0x31, 0xd8, 0xbb, 0x8c, 0x69,
Packit Service 084de1
    0x9d, 0x9d, 0xbc, 0x7e, 0x49, 0xae, 0xec, 0x39, 0x6b, 0xd1, 0x1f, 0x7e
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_256_no_df_pr_entropyinputpr[] = {
Packit Service 084de1
    0xf3, 0xb9, 0x75, 0x9c, 0xbd, 0x88, 0xea, 0xa2, 0x50, 0xad, 0xd6, 0x16,
Packit Service 084de1
    0x1a, 0x12, 0x3c, 0x86, 0x68, 0xaf, 0x6f, 0xbe, 0x19, 0xf2, 0xee, 0xcc,
Packit Service 084de1
    0xa5, 0x70, 0x84, 0x53, 0x50, 0xcb, 0x9f, 0x14, 0xa9, 0xe5, 0xee, 0xb9,
Packit Service 084de1
    0x48, 0x45, 0x40, 0xe2, 0xc7, 0xc9, 0x9a, 0x74, 0xff, 0x8c, 0x99, 0x1f
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_256_no_df_pr_int_returnedbits[] = {
Packit Service 084de1
    0x2e, 0xf2, 0x45, 0x4c, 0x62, 0x2e, 0x0a, 0xb9, 0x6b, 0xa2, 0xfd, 0x56,
Packit Service 084de1
    0x79, 0x60, 0x93, 0xcf
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_256_no_df_pr_additionalinput2[] = {
Packit Service 084de1
    0xaf, 0x69, 0x20, 0xe9, 0x3b, 0x37, 0x9d, 0x3f, 0xb4, 0x80, 0x02, 0x7a,
Packit Service 084de1
    0x25, 0x7d, 0xb8, 0xde, 0x71, 0xc5, 0x06, 0x0c, 0xb4, 0xe2, 0x8f, 0x35,
Packit Service 084de1
    0xd8, 0x14, 0x0d, 0x7f, 0x76, 0x63, 0x4e, 0xb5, 0xee, 0xe9, 0x6f, 0x34,
Packit Service 084de1
    0xc7, 0x5f, 0x56, 0x14, 0x4a, 0xe8, 0x73, 0x95, 0x5b, 0x1c, 0xb9, 0xcb
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_256_no_df_pr_entropyinputpr2[] = {
Packit Service 084de1
    0xe5, 0xb0, 0x2e, 0x7e, 0x52, 0x30, 0xe3, 0x63, 0x82, 0xb6, 0x44, 0xd3,
Packit Service 084de1
    0x25, 0x19, 0x05, 0x24, 0x9a, 0x9f, 0x5f, 0x27, 0x6a, 0x29, 0xab, 0xfa,
Packit Service 084de1
    0x07, 0xa2, 0x42, 0x0f, 0xc5, 0xa8, 0x94, 0x7c, 0x17, 0x7b, 0x85, 0x83,
Packit Service 084de1
    0x0c, 0x25, 0x0e, 0x63, 0x0b, 0xe9, 0x12, 0x60, 0xcd, 0xef, 0x80, 0x0f
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_256_no_df_pr_returnedbits[] = {
Packit Service 084de1
    0x5e, 0xf2, 0x26, 0xef, 0x9f, 0x58, 0x5d, 0xd5, 0x4a, 0x10, 0xfe, 0xa7,
Packit Service 084de1
    0x2d, 0x5f, 0x4a, 0x46
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* AES-256 no df No PR  */
Packit Service 084de1
__fips_constseg static const unsigned char aes_256_no_df_entropyinput[] = {
Packit Service 084de1
    0xfb, 0xcf, 0x1b, 0x61, 0x16, 0x89, 0x78, 0x23, 0xf5, 0xd8, 0x96, 0xe3,
Packit Service 084de1
    0x4e, 0x64, 0x0b, 0x29, 0x9a, 0x3f, 0xf8, 0xa5, 0xed, 0xf2, 0xfe, 0xdb,
Packit Service 084de1
    0x16, 0xca, 0x7f, 0x10, 0xfa, 0x5e, 0x18, 0x76, 0x2c, 0x63, 0x5e, 0x96,
Packit Service 084de1
    0xcf, 0xb3, 0xd6, 0xfc, 0xaf, 0x99, 0x39, 0x28, 0x9c, 0x61, 0xe8, 0xb3
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_256_no_df_nonce[] = {
Packit Service 084de1
    0x12, 0x96, 0xf0, 0x52, 0xf3, 0x8d, 0x81, 0xcf, 0xde, 0x86, 0xf2, 0x99,
Packit Service 084de1
    0x43, 0x96, 0xb9, 0xf0
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_256_no_df_personalizationstring[] = {
Packit Service 084de1
    0x63, 0x0d, 0x78, 0xf5, 0x90, 0x8e, 0x32, 0x47, 0xb0, 0x4d, 0x37, 0x60,
Packit Service 084de1
    0x09, 0x96, 0xbc, 0xbf, 0x97, 0x7a, 0x62, 0x14, 0x45, 0xbd, 0x8d, 0xcc,
Packit Service 084de1
    0x69, 0xfb, 0x03, 0xe1, 0x80, 0x1c, 0xc7, 0xe2, 0x2a, 0xf9, 0x37, 0x3f,
Packit Service 084de1
    0x66, 0x4d, 0x62, 0xd9, 0x10, 0xe0, 0xad, 0xc8, 0x9a, 0xf0, 0xa8, 0x6d
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_256_no_df_additionalinput[] = {
Packit Service 084de1
    0x36, 0xc6, 0x13, 0x60, 0xbb, 0x14, 0xad, 0x22, 0xb0, 0x38, 0xac, 0xa6,
Packit Service 084de1
    0x18, 0x16, 0x93, 0x25, 0x86, 0xb7, 0xdc, 0xdc, 0x36, 0x98, 0x2b, 0xf9,
Packit Service 084de1
    0x68, 0x33, 0xd3, 0xc6, 0xff, 0xce, 0x8d, 0x15, 0x59, 0x82, 0x76, 0xed,
Packit Service 084de1
    0x6f, 0x8d, 0x49, 0x74, 0x2f, 0xda, 0xdc, 0x1f, 0x17, 0xd0, 0xde, 0x17
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_256_no_df_int_returnedbits[] = {
Packit Service 084de1
    0x16, 0x2f, 0x8e, 0x3f, 0x21, 0x7a, 0x1c, 0x20, 0x56, 0xd1, 0x92, 0xf6,
Packit Service 084de1
    0xd2, 0x25, 0x75, 0x0e
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_256_no_df_entropyinputreseed[] = {
Packit Service 084de1
    0x91, 0x79, 0x76, 0xee, 0xe0, 0xcf, 0x9e, 0xc2, 0xd5, 0xd4, 0x23, 0x9b,
Packit Service 084de1
    0x12, 0x8c, 0x7e, 0x0a, 0xb7, 0xd2, 0x8b, 0xd6, 0x7c, 0xa3, 0xc6, 0xe5,
Packit Service 084de1
    0x0e, 0xaa, 0xc7, 0x6b, 0xae, 0x0d, 0xfa, 0x53, 0x06, 0x79, 0xa1, 0xed,
Packit Service 084de1
    0x4d, 0x6a, 0x0e, 0xd8, 0x9d, 0xbe, 0x1b, 0x31, 0x93, 0x7b, 0xec, 0xfb
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char aes_256_no_df_additionalinputreseed[] = {
Packit Service 084de1
    0xd2, 0x46, 0x50, 0x22, 0x10, 0x14, 0x63, 0xf7, 0xea, 0x0f, 0xb9, 0x7e,
Packit Service 084de1
    0x0d, 0xe1, 0x94, 0x07, 0xaf, 0x09, 0x44, 0x31, 0xea, 0x64, 0xa4, 0x18,
Packit Service 084de1
    0x5b, 0xf9, 0xd8, 0xc2, 0xfa, 0x03, 0x47, 0xc5, 0x39, 0x43, 0xd5, 0x3b,
Packit Service 084de1
    0x62, 0x86, 0x64, 0xea, 0x2c, 0x73, 0x8c, 0xae, 0x9d, 0x98, 0x98, 0x29
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_256_no_df_additionalinput2[] = {
Packit Service 084de1
    0x8c, 0xab, 0x18, 0xf8, 0xc3, 0xec, 0x18, 0x5c, 0xb3, 0x1e, 0x9d, 0xbe,
Packit Service 084de1
    0x3f, 0x03, 0xb4, 0x00, 0x98, 0x9d, 0xae, 0xeb, 0xf4, 0x94, 0xf8, 0x42,
Packit Service 084de1
    0x8f, 0xe3, 0x39, 0x07, 0xe1, 0xc9, 0xad, 0x0b, 0x1f, 0xed, 0xc0, 0xba,
Packit Service 084de1
    0xf6, 0xd1, 0xec, 0x27, 0x86, 0x7b, 0xd6, 0x55, 0x9b, 0x60, 0xa5, 0xc6
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char aes_256_no_df_returnedbits[] = {
Packit Service 084de1
    0xef, 0xd2, 0xd8, 0x5c, 0xdc, 0x62, 0x25, 0x9f, 0xaa, 0x1e, 0x2c, 0x67,
Packit Service 084de1
    0xf6, 0x02, 0x32, 0xe2
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* SHA-1 PR  */
Packit Service 084de1
__fips_constseg static const unsigned char sha1_pr_entropyinput[] = {
Packit Service 084de1
    0xd2, 0x36, 0xa5, 0x27, 0x31, 0x73, 0xdd, 0x11, 0x4f, 0x93, 0xbd, 0xe2,
Packit Service 084de1
    0x31, 0xa5, 0x91, 0x13
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha1_pr_nonce[] = {
Packit Service 084de1
    0xb5, 0xb3, 0x60, 0xef, 0xf7, 0x63, 0x31, 0xf3
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha1_pr_personalizationstring[] = {
Packit Service 084de1
    0xd4, 0xbb, 0x02, 0x10, 0xb2, 0x71, 0xdb, 0x81, 0xd6, 0xf0, 0x42, 0x60,
Packit Service 084de1
    0xda, 0xea, 0x77, 0x52
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha1_pr_additionalinput[] = {
Packit Service 084de1
    0x4d, 0xd2, 0x6c, 0x87, 0xfb, 0x2c, 0x4f, 0xa6, 0x8d, 0x16, 0x63, 0x22,
Packit Service 084de1
    0x6a, 0x51, 0xe3, 0xf8
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha1_pr_entropyinputpr[] = {
Packit Service 084de1
    0xc9, 0x83, 0x9e, 0x16, 0xf6, 0x1c, 0x0f, 0xb2, 0xec, 0x60, 0x31, 0xa9,
Packit Service 084de1
    0xcb, 0xa9, 0x36, 0x7a
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha1_pr_int_returnedbits[] = {
Packit Service 084de1
    0xa8, 0x13, 0x4f, 0xf4, 0x31, 0x02, 0x44, 0xe3, 0xd3, 0x3d, 0x61, 0x9e,
Packit Service 084de1
    0xe5, 0xc6, 0x3e, 0x89, 0xb5, 0x9b, 0x0f, 0x35
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha1_pr_additionalinput2[] = {
Packit Service 084de1
    0xf9, 0xe8, 0xd2, 0x72, 0x13, 0x34, 0x95, 0x6f, 0x15, 0x49, 0x47, 0x99,
Packit Service 084de1
    0x16, 0x03, 0x19, 0x47
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha1_pr_entropyinputpr2[] = {
Packit Service 084de1
    0x4e, 0x8c, 0x49, 0x9b, 0x4a, 0x5c, 0x9b, 0x9c, 0x3a, 0xee, 0xfb, 0xd2,
Packit Service 084de1
    0xae, 0xcd, 0x8c, 0xc4
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha1_pr_returnedbits[] = {
Packit Service 084de1
    0x50, 0xb4, 0xb4, 0xcd, 0x68, 0x57, 0xfc, 0x2e, 0xc1, 0x52, 0xcc, 0xf6,
Packit Service 084de1
    0x68, 0xa4, 0x81, 0xed, 0x7e, 0xe4, 0x1d, 0x87
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* SHA-1 No PR  */
Packit Service 084de1
__fips_constseg static const unsigned char sha1_entropyinput[] = {
Packit Service 084de1
    0xa9, 0x47, 0x1b, 0x29, 0x2d, 0x1c, 0x05, 0xdf, 0x76, 0xd0, 0x62, 0xf9,
Packit Service 084de1
    0xe2, 0x7f, 0x4c, 0x7b
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha1_nonce[] = {
Packit Service 084de1
    0x53, 0x23, 0x24, 0xe3, 0xec, 0x0c, 0x54, 0x14
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha1_personalizationstring[] = {
Packit Service 084de1
    0x7a, 0x87, 0xa1, 0xac, 0x1c, 0xfd, 0xab, 0xae, 0xf7, 0xd6, 0xfb, 0x76,
Packit Service 084de1
    0x28, 0xec, 0x6d, 0xca
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha1_additionalinput[] = {
Packit Service 084de1
    0xfc, 0x92, 0x35, 0xd6, 0x7e, 0xb7, 0x24, 0x65, 0xfd, 0x12, 0x27, 0x35,
Packit Service 084de1
    0xc0, 0x72, 0xca, 0x28
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha1_int_returnedbits[] = {
Packit Service 084de1
    0x57, 0x88, 0x82, 0xe5, 0x25, 0xa5, 0x2c, 0x4a, 0x06, 0x20, 0x6c, 0x72,
Packit Service 084de1
    0x55, 0x61, 0xdd, 0x90, 0x71, 0x9f, 0x95, 0xea
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha1_entropyinputreseed[] = {
Packit Service 084de1
    0x69, 0xa5, 0x40, 0x62, 0x98, 0x47, 0x56, 0x73, 0x4a, 0x8f, 0x60, 0x96,
Packit Service 084de1
    0xd6, 0x99, 0x27, 0xed
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha1_additionalinputreseed[] = {
Packit Service 084de1
    0xe5, 0x40, 0x4e, 0xbd, 0x50, 0x00, 0xf5, 0x15, 0xa6, 0xee, 0x45, 0xda,
Packit Service 084de1
    0x84, 0x3d, 0xd4, 0xc0
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha1_additionalinput2[] = {
Packit Service 084de1
    0x11, 0x51, 0x14, 0xf0, 0x09, 0x1b, 0x4e, 0x56, 0x0d, 0xe9, 0xf6, 0x1e,
Packit Service 084de1
    0x52, 0x65, 0xcd, 0x96
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha1_returnedbits[] = {
Packit Service 084de1
    0xa1, 0x9c, 0x94, 0x6e, 0x29, 0xe1, 0x33, 0x0d, 0x32, 0xd6, 0xaa, 0xce,
Packit Service 084de1
    0x71, 0x3f, 0x52, 0x72, 0x8b, 0x42, 0xa8, 0xd7
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* SHA-224 PR  */
Packit Service 084de1
__fips_constseg static const unsigned char sha224_pr_entropyinput[] = {
Packit Service 084de1
    0x12, 0x69, 0x32, 0x4f, 0x83, 0xa6, 0xf5, 0x14, 0xe3, 0x49, 0x3e, 0x75,
Packit Service 084de1
    0x3e, 0xde, 0xad, 0xa1, 0x29, 0xc3, 0xf3, 0x19, 0x20, 0xb5, 0x4c, 0xd9
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha224_pr_nonce[] = {
Packit Service 084de1
    0x6a, 0x78, 0xd0, 0xeb, 0xbb, 0x5a, 0xf0, 0xee, 0xe8, 0xc3, 0xba, 0x71
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha224_pr_personalizationstring[] = {
Packit Service 084de1
    0xd5, 0xb8, 0xb6, 0xbc, 0xc1, 0x5b, 0x60, 0x31, 0x3c, 0xf5, 0xe5, 0xc0,
Packit Service 084de1
    0x8e, 0x52, 0x7a, 0xbd, 0xea, 0x47, 0xa9, 0x5f, 0x8f, 0xf9, 0x8b, 0xae
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha224_pr_additionalinput[] = {
Packit Service 084de1
    0x1f, 0x55, 0xec, 0xae, 0x16, 0x12, 0x84, 0xba, 0x84, 0x16, 0x19, 0x88,
Packit Service 084de1
    0x8e, 0xb8, 0x33, 0x25, 0x54, 0xff, 0xca, 0x79, 0xaf, 0x07, 0x25, 0x50
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha224_pr_entropyinputpr[] = {
Packit Service 084de1
    0x92, 0xa3, 0x32, 0xa8, 0x9a, 0x0a, 0x58, 0x7c, 0x1d, 0x5a, 0x7e, 0xe1,
Packit Service 084de1
    0xb2, 0x73, 0xab, 0x0e, 0x16, 0x79, 0x23, 0xd3, 0x29, 0x89, 0x81, 0xe1
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha224_pr_int_returnedbits[] = {
Packit Service 084de1
    0xf3, 0x38, 0x91, 0x40, 0x37, 0x7a, 0x51, 0x72, 0x42, 0x74, 0x78, 0x0a,
Packit Service 084de1
    0x69, 0xfd, 0xa6, 0x44, 0x43, 0x45, 0x6c, 0x0c, 0x5a, 0x19, 0xff, 0xf1,
Packit Service 084de1
    0x54, 0x60, 0xee, 0x6a
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha224_pr_additionalinput2[] = {
Packit Service 084de1
    0x75, 0xf3, 0x04, 0x25, 0xdd, 0x36, 0xa8, 0x37, 0x46, 0xae, 0x0c, 0x52,
Packit Service 084de1
    0x05, 0x79, 0x4c, 0x26, 0xdb, 0xe9, 0x71, 0x16, 0x4c, 0x0a, 0xf2, 0x60
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha224_pr_entropyinputpr2[] = {
Packit Service 084de1
    0xea, 0xc5, 0x03, 0x0a, 0x4f, 0xb0, 0x38, 0x8d, 0x23, 0xd4, 0xc8, 0x77,
Packit Service 084de1
    0xe2, 0x6d, 0x9c, 0x0b, 0x44, 0xf7, 0x2d, 0x5b, 0xbf, 0x5d, 0x2a, 0x11
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha224_pr_returnedbits[] = {
Packit Service 084de1
    0x60, 0x50, 0x2b, 0xe7, 0x86, 0xd8, 0x26, 0x73, 0xe3, 0x1d, 0x95, 0x20,
Packit Service 084de1
    0xb3, 0x2c, 0x32, 0x1c, 0xf5, 0xce, 0x57, 0xa6, 0x67, 0x2b, 0xdc, 0x4e,
Packit Service 084de1
    0xdd, 0x11, 0x4c, 0xc4
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* SHA-224 No PR  */
Packit Service 084de1
__fips_constseg static const unsigned char sha224_entropyinput[] = {
Packit Service 084de1
    0xb2, 0x1c, 0x77, 0x4d, 0xf6, 0xd3, 0xb6, 0x40, 0xb7, 0x30, 0x3e, 0x29,
Packit Service 084de1
    0xb0, 0x85, 0x1c, 0xbe, 0x4a, 0xea, 0x6b, 0x5a, 0xb5, 0x8a, 0x97, 0xeb
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha224_nonce[] = {
Packit Service 084de1
    0x42, 0x02, 0x0a, 0x1c, 0x98, 0x9a, 0x77, 0x9e, 0x9f, 0x80, 0xba, 0xe0
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha224_personalizationstring[] = {
Packit Service 084de1
    0x98, 0xb8, 0x04, 0x41, 0xfc, 0xc1, 0x5d, 0xc5, 0xe9, 0xb9, 0x08, 0xda,
Packit Service 084de1
    0xf9, 0xfa, 0x0d, 0x90, 0xce, 0xdf, 0x1d, 0x10, 0xa9, 0x8d, 0x50, 0x0c
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha224_additionalinput[] = {
Packit Service 084de1
    0x9a, 0x8d, 0x39, 0x49, 0x42, 0xd5, 0x0b, 0xae, 0xe1, 0xaf, 0xb7, 0x00,
Packit Service 084de1
    0x02, 0xfa, 0x96, 0xb1, 0xa5, 0x1d, 0x2d, 0x25, 0x78, 0xee, 0x83, 0x3f
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha224_int_returnedbits[] = {
Packit Service 084de1
    0xe4, 0xf5, 0x53, 0x79, 0x5a, 0x97, 0x58, 0x06, 0x08, 0xba, 0x7b, 0xfa,
Packit Service 084de1
    0xf0, 0x83, 0x05, 0x8c, 0x22, 0xc0, 0xc9, 0xdb, 0x15, 0xe7, 0xde, 0x20,
Packit Service 084de1
    0x55, 0x22, 0x9a, 0xad
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha224_entropyinputreseed[] = {
Packit Service 084de1
    0x67, 0x09, 0x48, 0xaa, 0x07, 0x16, 0x99, 0x89, 0x7f, 0x6d, 0xa0, 0xe5,
Packit Service 084de1
    0x8f, 0xdf, 0xbc, 0xdb, 0xfe, 0xe5, 0x6c, 0x7a, 0x95, 0x4a, 0x66, 0x17
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha224_additionalinputreseed[] = {
Packit Service 084de1
    0x0f, 0x4b, 0x1c, 0x6f, 0xb7, 0xe3, 0x47, 0xe5, 0x5d, 0x7d, 0x38, 0xd6,
Packit Service 084de1
    0x28, 0x9b, 0xeb, 0x55, 0x63, 0x09, 0x3e, 0x7c, 0x56, 0xea, 0xf8, 0x19
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha224_additionalinput2[] = {
Packit Service 084de1
    0x2d, 0x26, 0x7c, 0x37, 0xe4, 0x7a, 0x28, 0x5e, 0x5a, 0x3c, 0xaf, 0x3d,
Packit Service 084de1
    0x5a, 0x8e, 0x55, 0xa2, 0x1a, 0x6e, 0xc0, 0xe5, 0xf6, 0x21, 0xd3, 0xf6
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha224_returnedbits[] = {
Packit Service 084de1
    0x4d, 0x83, 0x35, 0xdf, 0x67, 0xa9, 0xfc, 0x17, 0xda, 0x70, 0xcc, 0x8b,
Packit Service 084de1
    0x7f, 0x77, 0xae, 0xa2, 0x5f, 0xb9, 0x7e, 0x74, 0x4c, 0x26, 0xc1, 0x7a,
Packit Service 084de1
    0x3b, 0xa7, 0x5c, 0x93
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* SHA-256 PR  */
Packit Service 084de1
__fips_constseg static const unsigned char sha256_pr_entropyinput[] = {
Packit Service 084de1
    0xce, 0x49, 0x00, 0x7a, 0x56, 0xe3, 0x67, 0x8f, 0xe1, 0xb6, 0xa7, 0xd4,
Packit Service 084de1
    0x4f, 0x08, 0x7a, 0x1b, 0x01, 0xf4, 0xfa, 0x6b, 0xef, 0xb7, 0xe5, 0xeb,
Packit Service 084de1
    0x07, 0x3d, 0x11, 0x0d, 0xc8, 0xea, 0x2b, 0xfe
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha256_pr_nonce[] = {
Packit Service 084de1
    0x73, 0x41, 0xc8, 0x92, 0x94, 0xe2, 0xc5, 0x5f, 0x93, 0xfd, 0x39, 0x5d,
Packit Service 084de1
    0x2b, 0x91, 0x4d, 0x38
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha256_pr_personalizationstring[] = {
Packit Service 084de1
    0x50, 0x6d, 0x01, 0x01, 0x07, 0x5a, 0x80, 0x35, 0x7a, 0x56, 0x1a, 0x56,
Packit Service 084de1
    0x2f, 0x9a, 0x0b, 0x35, 0xb2, 0xb1, 0xc9, 0xe5, 0xca, 0x69, 0x61, 0x48,
Packit Service 084de1
    0xff, 0xfb, 0x0f, 0xd9, 0x4b, 0x79, 0x1d, 0xba
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha256_pr_additionalinput[] = {
Packit Service 084de1
    0x20, 0xb8, 0xdf, 0x44, 0x77, 0x5a, 0xb8, 0xd3, 0xbf, 0xf6, 0xcf, 0xac,
Packit Service 084de1
    0x5e, 0xa6, 0x96, 0x62, 0x73, 0x44, 0x40, 0x4a, 0x30, 0xfb, 0x38, 0xa5,
Packit Service 084de1
    0x7b, 0x0d, 0xe4, 0x0d, 0xc6, 0xe4, 0x9a, 0x1f
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha256_pr_entropyinputpr[] = {
Packit Service 084de1
    0x04, 0xc4, 0x65, 0xf4, 0xd3, 0xbf, 0x83, 0x4b, 0xab, 0xc8, 0x41, 0xa8,
Packit Service 084de1
    0xc2, 0xe0, 0x44, 0x63, 0x77, 0x4c, 0x6f, 0x6c, 0x49, 0x46, 0xff, 0x94,
Packit Service 084de1
    0x17, 0xea, 0xe6, 0x1a, 0x9d, 0x5e, 0x66, 0x78
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha256_pr_int_returnedbits[] = {
Packit Service 084de1
    0x07, 0x4d, 0xac, 0x9b, 0x86, 0xca, 0x4a, 0xaa, 0x6e, 0x7a, 0x03, 0xa2,
Packit Service 084de1
    0x5d, 0x10, 0xea, 0x0b, 0xf9, 0x83, 0xcc, 0xd1, 0xfc, 0xe2, 0x07, 0xc7,
Packit Service 084de1
    0x06, 0x34, 0x60, 0x6f, 0x83, 0x94, 0x99, 0x76
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha256_pr_additionalinput2[] = {
Packit Service 084de1
    0x89, 0x4e, 0x45, 0x8c, 0x11, 0xf9, 0xbc, 0x5b, 0xac, 0x74, 0x8b, 0x4b,
Packit Service 084de1
    0x5f, 0xf7, 0x19, 0xf3, 0xf5, 0x24, 0x54, 0x14, 0xd1, 0x15, 0xb1, 0x43,
Packit Service 084de1
    0x12, 0xa4, 0x5f, 0xd4, 0xec, 0xfc, 0xcd, 0x09
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha256_pr_entropyinputpr2[] = {
Packit Service 084de1
    0x0e, 0xeb, 0x1f, 0xd7, 0xfc, 0xd1, 0x9d, 0xd4, 0x05, 0x36, 0x8b, 0xb2,
Packit Service 084de1
    0xfb, 0xe4, 0xf4, 0x51, 0x0c, 0x87, 0x9b, 0x02, 0x44, 0xd5, 0x92, 0x4d,
Packit Service 084de1
    0x44, 0xfe, 0x1a, 0x03, 0x43, 0x56, 0xbd, 0x86
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha256_pr_returnedbits[] = {
Packit Service 084de1
    0x02, 0xaa, 0xb6, 0x1d, 0x7e, 0x2a, 0x40, 0x03, 0x69, 0x2d, 0x49, 0xa3,
Packit Service 084de1
    0x41, 0xe7, 0x44, 0x0b, 0xaf, 0x7b, 0x85, 0xe4, 0x5f, 0x53, 0x3b, 0x64,
Packit Service 084de1
    0xbc, 0x89, 0xc8, 0x82, 0xd4, 0x78, 0x37, 0xa2
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* SHA-256 No PR  */
Packit Service 084de1
__fips_constseg static const unsigned char sha256_entropyinput[] = {
Packit Service 084de1
    0x5b, 0x1b, 0xec, 0x4d, 0xa9, 0x38, 0x74, 0x5a, 0x34, 0x0b, 0x7b, 0xc5,
Packit Service 084de1
    0xe5, 0xd7, 0x66, 0x7c, 0xbc, 0x82, 0xb9, 0x0e, 0x2d, 0x1f, 0x92, 0xd7,
Packit Service 084de1
    0xc1, 0xbc, 0x67, 0x69, 0xec, 0x6b, 0x03, 0x3c
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha256_nonce[] = {
Packit Service 084de1
    0xa4, 0x0c, 0xd8, 0x9c, 0x61, 0xd8, 0xc3, 0x54, 0xfe, 0x53, 0xc9, 0xe5,
Packit Service 084de1
    0x5d, 0x6f, 0x6d, 0x35
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha256_personalizationstring[] = {
Packit Service 084de1
    0x22, 0x5e, 0x62, 0x93, 0x42, 0x83, 0x78, 0x24, 0xd8, 0x40, 0x8c, 0xde,
Packit Service 084de1
    0x6f, 0xf9, 0xa4, 0x7a, 0xc5, 0xa7, 0x3b, 0x88, 0xa3, 0xee, 0x42, 0x20,
Packit Service 084de1
    0xfd, 0x61, 0x56, 0xc6, 0x4c, 0x13, 0x41, 0x9c
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha256_additionalinput[] = {
Packit Service 084de1
    0xbf, 0x74, 0x5b, 0xf6, 0xc5, 0x64, 0x5e, 0x99, 0x34, 0x8f, 0xbc, 0xa4,
Packit Service 084de1
    0xe2, 0xbd, 0xd8, 0x85, 0x26, 0x37, 0xea, 0xba, 0x4f, 0xf2, 0x9a, 0x9a,
Packit Service 084de1
    0x66, 0xfc, 0xdf, 0x63, 0x26, 0x26, 0x19, 0x87
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha256_int_returnedbits[] = {
Packit Service 084de1
    0xb3, 0xc6, 0x07, 0x07, 0xd6, 0x75, 0xf6, 0x2b, 0xd6, 0x21, 0x96, 0xf1,
Packit Service 084de1
    0xae, 0xdb, 0x2b, 0xac, 0x25, 0x2a, 0xae, 0xae, 0x41, 0x72, 0x03, 0x5e,
Packit Service 084de1
    0xbf, 0xd3, 0x64, 0xbc, 0x59, 0xf9, 0xc0, 0x76
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha256_entropyinputreseed[] = {
Packit Service 084de1
    0xbf, 0x20, 0x33, 0x56, 0x29, 0xa8, 0x37, 0x04, 0x1f, 0x78, 0x34, 0x3d,
Packit Service 084de1
    0x81, 0x2a, 0xc9, 0x86, 0xc6, 0x7a, 0x2f, 0x88, 0x5e, 0xd5, 0xbe, 0x34,
Packit Service 084de1
    0x46, 0x20, 0xa4, 0x35, 0xeb, 0xc7, 0xe2, 0x9d
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha256_additionalinputreseed[] = {
Packit Service 084de1
    0x9b, 0xae, 0x2d, 0x2d, 0x61, 0xa4, 0x89, 0xeb, 0x43, 0x46, 0xa7, 0xda,
Packit Service 084de1
    0xef, 0x40, 0xca, 0x4a, 0x99, 0x11, 0x41, 0xdc, 0x5c, 0x94, 0xe9, 0xac,
Packit Service 084de1
    0xd4, 0xd0, 0xe6, 0xbd, 0xfb, 0x03, 0x9c, 0xa8
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha256_additionalinput2[] = {
Packit Service 084de1
    0x23, 0xaa, 0x0c, 0xbd, 0x28, 0x33, 0xe2, 0x51, 0xfc, 0x71, 0xd2, 0x15,
Packit Service 084de1
    0x1f, 0x76, 0xfd, 0x0d, 0xe0, 0xb7, 0xb5, 0x84, 0x75, 0x5b, 0xbe, 0xf3,
Packit Service 084de1
    0x5c, 0xca, 0xc5, 0x30, 0xf2, 0x75, 0x1f, 0xda
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha256_returnedbits[] = {
Packit Service 084de1
    0x90, 0x3c, 0xc1, 0x10, 0x8c, 0x12, 0x01, 0xc6, 0xa6, 0x3a, 0x0f, 0x4d,
Packit Service 084de1
    0xb6, 0x3a, 0x4f, 0x41, 0x9c, 0x61, 0x75, 0x84, 0xe9, 0x74, 0x75, 0xfd,
Packit Service 084de1
    0xfe, 0xf2, 0x1f, 0x43, 0xd8, 0x5e, 0x24, 0xa3
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* SHA-384 PR  */
Packit Service 084de1
__fips_constseg static const unsigned char sha384_pr_entropyinput[] = {
Packit Service 084de1
    0x71, 0x9d, 0xb2, 0x5a, 0x71, 0x6d, 0x04, 0xe9, 0x1e, 0xc7, 0x92, 0x24,
Packit Service 084de1
    0x6e, 0x12, 0x33, 0xa9, 0x52, 0x64, 0x31, 0xef, 0x71, 0xeb, 0x22, 0x55,
Packit Service 084de1
    0x28, 0x97, 0x06, 0x6a, 0xc0, 0x0c, 0xa0, 0x7e
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha384_pr_nonce[] = {
Packit Service 084de1
    0xf5, 0x0d, 0xfa, 0xb0, 0xec, 0x6a, 0x7c, 0xd6, 0xbd, 0x9b, 0x05, 0xfd,
Packit Service 084de1
    0x38, 0x3e, 0x2e, 0x56
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha384_pr_personalizationstring[] = {
Packit Service 084de1
    0x74, 0xac, 0x7e, 0x6d, 0xb1, 0xa4, 0xe7, 0x21, 0xd1, 0x1e, 0x6e, 0x96,
Packit Service 084de1
    0x6d, 0x4d, 0x53, 0x46, 0x82, 0x96, 0x6e, 0xcf, 0xaa, 0x81, 0x8d, 0x7d,
Packit Service 084de1
    0x9e, 0xe1, 0x0f, 0x15, 0xea, 0x41, 0xbf, 0xe3
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha384_pr_additionalinput[] = {
Packit Service 084de1
    0xda, 0x95, 0xd4, 0xd0, 0xb8, 0x11, 0xd3, 0x49, 0x27, 0x5d, 0xa9, 0x39,
Packit Service 084de1
    0x68, 0xf3, 0xa8, 0xe9, 0x5d, 0x19, 0x8a, 0x2b, 0x66, 0xe8, 0x69, 0x06,
Packit Service 084de1
    0x7c, 0x9e, 0x03, 0xa1, 0x8b, 0x26, 0x2d, 0x6e
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha384_pr_entropyinputpr[] = {
Packit Service 084de1
    0x49, 0xdf, 0x44, 0x00, 0xe4, 0x1c, 0x75, 0x0b, 0x26, 0x5a, 0x59, 0x64,
Packit Service 084de1
    0x1f, 0x4e, 0xb1, 0xb2, 0x13, 0xf1, 0x22, 0x4e, 0xb4, 0x6d, 0x9a, 0xcc,
Packit Service 084de1
    0xa0, 0x48, 0xe6, 0xcf, 0x1d, 0xd1, 0x92, 0x0d
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha384_pr_int_returnedbits[] = {
Packit Service 084de1
    0xc8, 0x52, 0xae, 0xbf, 0x04, 0x3c, 0x27, 0xb7, 0x78, 0x18, 0xaa, 0x8f,
Packit Service 084de1
    0xff, 0xcf, 0xa4, 0xf1, 0xcc, 0xe7, 0x68, 0xfa, 0x22, 0xa2, 0x13, 0x45,
Packit Service 084de1
    0xe8, 0xdd, 0x87, 0xe6, 0xf2, 0x6e, 0xdd, 0xc7, 0x52, 0x90, 0x9f, 0x7b,
Packit Service 084de1
    0xfa, 0x61, 0x2d, 0x9d, 0x9e, 0xcf, 0x98, 0xac, 0x52, 0x40, 0xce, 0xaf
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha384_pr_additionalinput2[] = {
Packit Service 084de1
    0x61, 0x7c, 0x03, 0x9a, 0x3e, 0x50, 0x57, 0x60, 0xc5, 0x83, 0xc9, 0xb2,
Packit Service 084de1
    0xd1, 0x87, 0x85, 0x66, 0x92, 0x5d, 0x84, 0x0e, 0x53, 0xfb, 0x70, 0x03,
Packit Service 084de1
    0x72, 0xfd, 0xba, 0xae, 0x9c, 0x8f, 0xf8, 0x18
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha384_pr_entropyinputpr2[] = {
Packit Service 084de1
    0xf8, 0xeb, 0x89, 0xb1, 0x8d, 0x78, 0xbe, 0x21, 0xe0, 0xbb, 0x9d, 0xb7,
Packit Service 084de1
    0x95, 0x0e, 0xd9, 0x46, 0x0c, 0x8c, 0xe2, 0x63, 0xb7, 0x9d, 0x67, 0x90,
Packit Service 084de1
    0xbd, 0xc7, 0x0b, 0xa5, 0xce, 0xb2, 0x65, 0x81
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha384_pr_returnedbits[] = {
Packit Service 084de1
    0xe6, 0x9f, 0xfe, 0x68, 0xd6, 0xb5, 0x79, 0xf1, 0x06, 0x5f, 0xa3, 0xbb,
Packit Service 084de1
    0x23, 0x85, 0xd8, 0xf0, 0x29, 0x5a, 0x68, 0x9e, 0xf5, 0xf4, 0xa6, 0x12,
Packit Service 084de1
    0xe0, 0x9a, 0xe2, 0xac, 0x00, 0x1d, 0x98, 0x26, 0xfc, 0x53, 0x95, 0x53,
Packit Service 084de1
    0xe4, 0x3e, 0x17, 0xd5, 0x08, 0x0b, 0x70, 0x3d, 0x67, 0x99, 0xac, 0x66
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* SHA-384 No PR  */
Packit Service 084de1
__fips_constseg static const unsigned char sha384_entropyinput[] = {
Packit Service 084de1
    0x07, 0x15, 0x27, 0x2a, 0xaf, 0x74, 0x24, 0x37, 0xbc, 0xd5, 0x14, 0x69,
Packit Service 084de1
    0xce, 0x11, 0xff, 0xa2, 0x6b, 0xb8, 0x05, 0x67, 0x34, 0xf8, 0xbd, 0x6d,
Packit Service 084de1
    0x6a, 0xcc, 0xcd, 0x60, 0xa3, 0x68, 0xca, 0xf4
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha384_nonce[] = {
Packit Service 084de1
    0x70, 0x17, 0xc2, 0x5b, 0x5d, 0x22, 0x0b, 0x06, 0x15, 0x54, 0x78, 0x77,
Packit Service 084de1
    0x44, 0xaf, 0x2f, 0x09
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha384_personalizationstring[] = {
Packit Service 084de1
    0x89, 0x39, 0x28, 0xb0, 0x60, 0xeb, 0x3d, 0xdc, 0x55, 0x75, 0x86, 0xeb,
Packit Service 084de1
    0xae, 0xa2, 0x8f, 0xbc, 0x1b, 0x75, 0xd4, 0xe1, 0x0f, 0xaa, 0x38, 0xca,
Packit Service 084de1
    0x62, 0x8b, 0xcb, 0x2c, 0x26, 0xf6, 0xbc, 0xb1
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha384_additionalinput[] = {
Packit Service 084de1
    0x30, 0x2b, 0x42, 0x35, 0xef, 0xda, 0x40, 0x55, 0x28, 0xc6, 0x95, 0xfb,
Packit Service 084de1
    0x54, 0x01, 0x62, 0xd7, 0x87, 0x14, 0x48, 0x6d, 0x90, 0x4c, 0xa9, 0x02,
Packit Service 084de1
    0x54, 0x40, 0x22, 0xc8, 0x66, 0xa5, 0x48, 0x48
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha384_int_returnedbits[] = {
Packit Service 084de1
    0x82, 0xc4, 0xa1, 0x9c, 0x21, 0xd2, 0xe7, 0xa5, 0xa6, 0xf6, 0x5f, 0x04,
Packit Service 084de1
    0x5c, 0xc7, 0x31, 0x9d, 0x8d, 0x59, 0x74, 0x50, 0x19, 0x89, 0x2f, 0x63,
Packit Service 084de1
    0xd5, 0xb7, 0x7e, 0xeb, 0x15, 0xe3, 0x70, 0x83, 0xa1, 0x24, 0x59, 0xfa,
Packit Service 084de1
    0x2c, 0x56, 0xf6, 0x88, 0x3a, 0x92, 0x93, 0xa1, 0xfb, 0x79, 0xc1, 0x7a
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha384_entropyinputreseed[] = {
Packit Service 084de1
    0x39, 0xa6, 0xe8, 0x5c, 0x82, 0x17, 0x71, 0x26, 0x57, 0x4f, 0x9f, 0xc2,
Packit Service 084de1
    0x55, 0xff, 0x5c, 0x9b, 0x53, 0x1a, 0xd1, 0x5f, 0xbc, 0x62, 0xe4, 0x27,
Packit Service 084de1
    0x2d, 0x32, 0xf0, 0xe4, 0x52, 0x8c, 0xc5, 0x0c
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha384_additionalinputreseed[] = {
Packit Service 084de1
    0x8d, 0xcb, 0x8d, 0xce, 0x08, 0xea, 0x80, 0xe8, 0x9b, 0x61, 0xa8, 0x0f,
Packit Service 084de1
    0xaf, 0x49, 0x20, 0x9e, 0x74, 0xcb, 0x57, 0x80, 0x42, 0xb0, 0x84, 0x5e,
Packit Service 084de1
    0x30, 0x2a, 0x67, 0x08, 0xf4, 0xe3, 0x40, 0x22
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha384_additionalinput2[] = {
Packit Service 084de1
    0x7c, 0x8f, 0xc2, 0xae, 0x22, 0x4a, 0xd6, 0xf6, 0x05, 0xa4, 0x7a, 0xea,
Packit Service 084de1
    0xbb, 0x25, 0xd0, 0xb7, 0x5a, 0xd6, 0xcf, 0x9d, 0xf3, 0x6c, 0xe2, 0xb2,
Packit Service 084de1
    0x4e, 0xb4, 0xbd, 0xf4, 0xe5, 0x40, 0x80, 0x94
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha384_returnedbits[] = {
Packit Service 084de1
    0x9e, 0x7e, 0xfb, 0x59, 0xbb, 0xaa, 0x3c, 0xf7, 0xe1, 0xf8, 0x76, 0xdd,
Packit Service 084de1
    0x63, 0x5f, 0xaf, 0x23, 0xd6, 0x64, 0x61, 0xc0, 0x9a, 0x09, 0x47, 0xc9,
Packit Service 084de1
    0x33, 0xdf, 0x6d, 0x55, 0x91, 0x34, 0x79, 0x70, 0xc4, 0x99, 0x6e, 0x54,
Packit Service 084de1
    0x09, 0x64, 0x21, 0x1a, 0xbd, 0x1e, 0x80, 0x40, 0x34, 0xad, 0xfa, 0xd7
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* SHA-512 PR  */
Packit Service 084de1
__fips_constseg static const unsigned char sha512_pr_entropyinput[] = {
Packit Service 084de1
    0x13, 0xf7, 0x61, 0x75, 0x65, 0x28, 0xa2, 0x59, 0x13, 0x5a, 0x4a, 0x4f,
Packit Service 084de1
    0x56, 0x60, 0x8c, 0x53, 0x7d, 0xb0, 0xbd, 0x06, 0x4f, 0xed, 0xcc, 0xd2,
Packit Service 084de1
    0xa2, 0xb5, 0xfd, 0x5b, 0x3a, 0xab, 0xec, 0x28
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha512_pr_nonce[] = {
Packit Service 084de1
    0xbe, 0xa3, 0x91, 0x93, 0x1d, 0xc3, 0x31, 0x3a, 0x23, 0x33, 0x50, 0x67,
Packit Service 084de1
    0x88, 0xc7, 0xa2, 0xc4
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha512_pr_personalizationstring[] = {
Packit Service 084de1
    0x1f, 0x59, 0x4d, 0x7b, 0xe6, 0x46, 0x91, 0x48, 0xc1, 0x25, 0xfa, 0xff,
Packit Service 084de1
    0x89, 0x12, 0x77, 0x35, 0xdf, 0x3e, 0xf4, 0x80, 0x5f, 0xd9, 0xb0, 0x07,
Packit Service 084de1
    0x22, 0x41, 0xdd, 0x48, 0x78, 0x6b, 0x77, 0x2b
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha512_pr_additionalinput[] = {
Packit Service 084de1
    0x30, 0xff, 0x63, 0x6f, 0xac, 0xd9, 0x84, 0x39, 0x6f, 0xe4, 0x99, 0xce,
Packit Service 084de1
    0x91, 0x7d, 0x7e, 0xc8, 0x58, 0xf2, 0x12, 0xc3, 0xb6, 0xad, 0xda, 0x22,
Packit Service 084de1
    0x04, 0xa0, 0xd2, 0x21, 0xfe, 0xf2, 0x95, 0x1d
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha512_pr_entropyinputpr[] = {
Packit Service 084de1
    0x64, 0x54, 0x13, 0xec, 0x4f, 0x77, 0xda, 0xb2, 0x92, 0x2e, 0x52, 0x80,
Packit Service 084de1
    0x11, 0x10, 0xc2, 0xf8, 0xe6, 0xa7, 0xcd, 0x4b, 0xfc, 0x32, 0x2e, 0x9e,
Packit Service 084de1
    0xeb, 0xbb, 0xb1, 0xbf, 0x15, 0x5c, 0x73, 0x08
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha512_pr_int_returnedbits[] = {
Packit Service 084de1
    0xef, 0x1e, 0xdc, 0x0a, 0xa4, 0x36, 0x91, 0x9c, 0x3d, 0x27, 0x97, 0x50,
Packit Service 084de1
    0x8d, 0x36, 0x29, 0x8d, 0xce, 0x6a, 0x0c, 0xf7, 0x21, 0xc0, 0x91, 0xae,
Packit Service 084de1
    0x0c, 0x96, 0x72, 0xbd, 0x52, 0x81, 0x58, 0xfc, 0x6d, 0xe5, 0xf7, 0xa5,
Packit Service 084de1
    0xfd, 0x5d, 0xa7, 0x58, 0x68, 0xc8, 0x99, 0x58, 0x8e, 0xc8, 0xce, 0x95,
Packit Service 084de1
    0x01, 0x7d, 0xff, 0xa4, 0xc8, 0xf7, 0x63, 0xfe, 0x5f, 0x69, 0x83, 0x53,
Packit Service 084de1
    0xe2, 0xc6, 0x8b, 0xc3
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha512_pr_additionalinput2[] = {
Packit Service 084de1
    0xe6, 0x9b, 0xc4, 0x88, 0x34, 0xca, 0xea, 0x29, 0x2f, 0x98, 0x05, 0xa4,
Packit Service 084de1
    0xd3, 0xc0, 0x7b, 0x11, 0xe8, 0xbb, 0x75, 0xf2, 0xbd, 0x29, 0xb7, 0x40,
Packit Service 084de1
    0x25, 0x7f, 0xc1, 0xb7, 0xb1, 0xf1, 0x25, 0x61
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha512_pr_entropyinputpr2[] = {
Packit Service 084de1
    0x23, 0x6d, 0xff, 0xde, 0xfb, 0xd1, 0xba, 0x33, 0x18, 0xe6, 0xbe, 0xb5,
Packit Service 084de1
    0x48, 0x77, 0x6d, 0x7f, 0xa7, 0xe1, 0x4d, 0x48, 0x1e, 0x3c, 0xa7, 0x34,
Packit Service 084de1
    0x1a, 0xc8, 0x60, 0xdb, 0x8f, 0x99, 0x15, 0x99
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha512_pr_returnedbits[] = {
Packit Service 084de1
    0x70, 0x27, 0x31, 0xdb, 0x92, 0x70, 0x21, 0xfe, 0x16, 0xb6, 0xc8, 0x51,
Packit Service 084de1
    0x34, 0x87, 0x65, 0xd0, 0x4e, 0xfd, 0xfe, 0x68, 0xec, 0xac, 0xdc, 0x93,
Packit Service 084de1
    0x41, 0x38, 0x92, 0x90, 0xb4, 0x94, 0xf9, 0x0d, 0xa4, 0xf7, 0x4e, 0x80,
Packit Service 084de1
    0x92, 0x67, 0x48, 0x40, 0xa7, 0x08, 0xc7, 0xbc, 0x66, 0x00, 0xfd, 0xf7,
Packit Service 084de1
    0x4c, 0x8b, 0x17, 0x6e, 0xd1, 0x8f, 0x9b, 0xf3, 0x6f, 0xf6, 0x34, 0xdd,
Packit Service 084de1
    0x67, 0xf7, 0x68, 0xdd
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* SHA-512 No PR  */
Packit Service 084de1
__fips_constseg static const unsigned char sha512_entropyinput[] = {
Packit Service 084de1
    0xb6, 0x0b, 0xb7, 0xbc, 0x84, 0x56, 0xf6, 0x12, 0xaf, 0x45, 0x67, 0x17,
Packit Service 084de1
    0x7c, 0xd1, 0xb2, 0x78, 0x2b, 0xa0, 0xf2, 0xbe, 0xb6, 0x6d, 0x8b, 0x56,
Packit Service 084de1
    0xc6, 0xbc, 0x4d, 0xe1, 0xf7, 0xbe, 0xce, 0xbd
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha512_nonce[] = {
Packit Service 084de1
    0x9d, 0xed, 0xc0, 0xe5, 0x5a, 0x98, 0x6a, 0xcb, 0x51, 0x7d, 0x76, 0x31,
Packit Service 084de1
    0x5a, 0x64, 0xf0, 0xf7
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha512_personalizationstring[] = {
Packit Service 084de1
    0xc2, 0x6d, 0xa3, 0xc3, 0x06, 0x74, 0xe5, 0x01, 0x5c, 0x10, 0x17, 0xc7,
Packit Service 084de1
    0xaf, 0x83, 0x9d, 0x59, 0x8d, 0x2d, 0x29, 0x38, 0xc5, 0x59, 0x70, 0x8b,
Packit Service 084de1
    0x46, 0x48, 0x2d, 0xcf, 0x36, 0x7d, 0x59, 0xc0
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha512_additionalinput[] = {
Packit Service 084de1
    0xec, 0x8c, 0xd4, 0xf7, 0x61, 0x6e, 0x0d, 0x95, 0x79, 0xb7, 0x28, 0xad,
Packit Service 084de1
    0x5f, 0x69, 0x74, 0x5f, 0x2d, 0x36, 0x06, 0x8a, 0x6b, 0xac, 0x54, 0x97,
Packit Service 084de1
    0xc4, 0xa1, 0x12, 0x85, 0x0a, 0xdf, 0x4b, 0x34
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha512_int_returnedbits[] = {
Packit Service 084de1
    0x84, 0x2f, 0x1f, 0x68, 0x6a, 0xa3, 0xad, 0x1e, 0xfb, 0xf4, 0x15, 0xbd,
Packit Service 084de1
    0xde, 0x38, 0xd4, 0x30, 0x80, 0x51, 0xe9, 0xd3, 0xc7, 0x20, 0x88, 0xe9,
Packit Service 084de1
    0xf5, 0xcc, 0xdf, 0x57, 0x5c, 0x47, 0x2f, 0x57, 0x3c, 0x5f, 0x13, 0x56,
Packit Service 084de1
    0xcc, 0xc5, 0x4f, 0x84, 0xf8, 0x10, 0x41, 0xd5, 0x7e, 0x58, 0x6e, 0x19,
Packit Service 084de1
    0x19, 0x9e, 0xaf, 0xc2, 0x22, 0x58, 0x41, 0x50, 0x79, 0xc2, 0xd8, 0x04,
Packit Service 084de1
    0x28, 0xd4, 0x39, 0x9a
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha512_entropyinputreseed[] = {
Packit Service 084de1
    0xfa, 0x7f, 0x46, 0x51, 0x83, 0x62, 0x98, 0x16, 0x9a, 0x19, 0xa2, 0x49,
Packit Service 084de1
    0xa9, 0xe6, 0x4a, 0xd8, 0x85, 0xe7, 0xd4, 0x3b, 0x2c, 0x82, 0xc5, 0x82,
Packit Service 084de1
    0xbf, 0x11, 0xf9, 0x9e, 0xbc, 0xd0, 0x01, 0xee
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha512_additionalinputreseed[] = {
Packit Service 084de1
    0xb9, 0x12, 0xe0, 0x4f, 0xf7, 0xa7, 0xc4, 0xd8, 0xd0, 0x8e, 0x99, 0x29,
Packit Service 084de1
    0x7c, 0x9a, 0xe9, 0xcf, 0xc4, 0x6c, 0xf8, 0xc3, 0xa7, 0x41, 0x83, 0xd6,
Packit Service 084de1
    0x2e, 0xfa, 0xb8, 0x5e, 0x8e, 0x6b, 0x78, 0x20
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha512_additionalinput2[] = {
Packit Service 084de1
    0xd7, 0x07, 0x52, 0xb9, 0x83, 0x2c, 0x03, 0x71, 0xee, 0xc9, 0xc0, 0x85,
Packit Service 084de1
    0xe1, 0x57, 0xb2, 0xcd, 0x3a, 0xf0, 0xc9, 0x34, 0x24, 0x41, 0x1c, 0x42,
Packit Service 084de1
    0x99, 0xb2, 0x84, 0xe9, 0x17, 0xd2, 0x76, 0x92
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char sha512_returnedbits[] = {
Packit Service 084de1
    0x36, 0x17, 0x5d, 0x98, 0x2b, 0x65, 0x25, 0x8e, 0xc8, 0x29, 0xdf, 0x27,
Packit Service 084de1
    0x05, 0x36, 0x26, 0x12, 0x8a, 0x68, 0x74, 0x27, 0x37, 0xd4, 0x7f, 0x32,
Packit Service 084de1
    0xb1, 0x12, 0xd6, 0x85, 0x83, 0xeb, 0x2e, 0xa0, 0xed, 0x4b, 0xb5, 0x7b,
Packit Service 084de1
    0x6f, 0x39, 0x3c, 0x71, 0x77, 0x02, 0x12, 0xcc, 0x2c, 0x3a, 0x8e, 0x63,
Packit Service 084de1
    0xdf, 0x4a, 0xbd, 0x6f, 0x6e, 0x2e, 0xed, 0x0a, 0x85, 0xa5, 0x2f, 0xa2,
Packit Service 084de1
    0x68, 0xde, 0x42, 0xb5
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* HMAC SHA-1 PR  */
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha1_pr_entropyinput[] = {
Packit Service 084de1
    0x26, 0x5f, 0x36, 0x14, 0xff, 0x3d, 0x83, 0xfa, 0x73, 0x5e, 0x75, 0xdc,
Packit Service 084de1
    0x2c, 0x18, 0x17, 0x1b
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha1_pr_nonce[] = {
Packit Service 084de1
    0xc8, 0xe3, 0x57, 0xa5, 0x7b, 0x74, 0x86, 0x6e
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char hmac_sha1_pr_personalizationstring[] = {
Packit Service 084de1
    0x6e, 0xdb, 0x0d, 0xfe, 0x7d, 0xac, 0x79, 0xd0, 0xa5, 0x3a, 0x48, 0x85,
Packit Service 084de1
    0x80, 0xe2, 0x7f, 0x2a
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha1_pr_additionalinput[] = {
Packit Service 084de1
    0x31, 0xcd, 0x5e, 0x43, 0xdc, 0xfb, 0x7a, 0x79, 0xca, 0x88, 0xde, 0x1f,
Packit Service 084de1
    0xd7, 0xbb, 0x42, 0x09
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha1_pr_entropyinputpr[] = {
Packit Service 084de1
    0x7c, 0x23, 0x95, 0x38, 0x00, 0x95, 0xc1, 0x78, 0x1f, 0x8f, 0xd7, 0x63,
Packit Service 084de1
    0x23, 0x87, 0x2a, 0xed
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha1_pr_int_returnedbits[] = {
Packit Service 084de1
    0xbb, 0x34, 0xe7, 0x93, 0xa3, 0x02, 0x2c, 0x4a, 0xd0, 0x89, 0xda, 0x7f,
Packit Service 084de1
    0xed, 0xf4, 0x4c, 0xde, 0x17, 0xec, 0xe5, 0x6c
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha1_pr_additionalinput2[] = {
Packit Service 084de1
    0x49, 0xbc, 0x2d, 0x2c, 0xb7, 0x32, 0xcb, 0x20, 0xdf, 0xf5, 0x77, 0x58,
Packit Service 084de1
    0xa0, 0x4b, 0x93, 0x6e
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha1_pr_entropyinputpr2[] = {
Packit Service 084de1
    0x3c, 0xaa, 0xb0, 0x21, 0x42, 0xb0, 0xdd, 0x34, 0xf0, 0x16, 0x7f, 0x0c,
Packit Service 084de1
    0x0f, 0xff, 0x2e, 0xaf
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha1_pr_returnedbits[] = {
Packit Service 084de1
    0x8e, 0xcb, 0xa3, 0x64, 0xb2, 0xb8, 0x33, 0x6c, 0x64, 0x3b, 0x78, 0x16,
Packit Service 084de1
    0x99, 0x35, 0xc8, 0x30, 0xcb, 0x3e, 0xa0, 0xd8
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* HMAC SHA-1 No PR  */
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha1_entropyinput[] = {
Packit Service 084de1
    0x32, 0x9a, 0x2a, 0x87, 0x7b, 0x89, 0x7c, 0xf6, 0xcb, 0x95, 0xd5, 0x40,
Packit Service 084de1
    0x17, 0xfe, 0x47, 0x70
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha1_nonce[] = {
Packit Service 084de1
    0x16, 0xd8, 0xe0, 0xc7, 0x52, 0xcf, 0x4a, 0x25
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha1_personalizationstring[] = {
Packit Service 084de1
    0x35, 0x35, 0xa9, 0xa5, 0x40, 0xbe, 0x9b, 0xd1, 0x56, 0xdd, 0x44, 0x00,
Packit Service 084de1
    0x72, 0xf7, 0xd3, 0x5e
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha1_additionalinput[] = {
Packit Service 084de1
    0x1b, 0x2c, 0x84, 0x2d, 0x4a, 0x89, 0x8f, 0x69, 0x19, 0xf1, 0xf3, 0xdb,
Packit Service 084de1
    0xbb, 0xe3, 0xaa, 0xea
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha1_int_returnedbits[] = {
Packit Service 084de1
    0xcf, 0xfa, 0x7d, 0x72, 0x0f, 0xe6, 0xc7, 0x96, 0xa0, 0x69, 0x31, 0x11,
Packit Service 084de1
    0x9b, 0x0b, 0x1a, 0x20, 0x1f, 0x3f, 0xaa, 0xd1
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha1_entropyinputreseed[] = {
Packit Service 084de1
    0x90, 0x75, 0x15, 0x04, 0x95, 0xf1, 0xba, 0x81, 0x0c, 0x37, 0x94, 0x6f,
Packit Service 084de1
    0x86, 0x52, 0x6d, 0x9c
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha1_additionalinputreseed[] = {
Packit Service 084de1
    0x5b, 0x40, 0xba, 0x5f, 0x17, 0x70, 0xf0, 0x4b, 0xdf, 0xc9, 0x97, 0x92,
Packit Service 084de1
    0x79, 0xc5, 0x82, 0x28
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha1_additionalinput2[] = {
Packit Service 084de1
    0x97, 0xc8, 0x80, 0x90, 0xb3, 0xaa, 0x6e, 0x60, 0xea, 0x83, 0x7a, 0xe3,
Packit Service 084de1
    0x8a, 0xca, 0xa4, 0x7f
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha1_returnedbits[] = {
Packit Service 084de1
    0x90, 0xbd, 0x05, 0x56, 0x6d, 0xb5, 0x22, 0xd5, 0xb9, 0x5a, 0x29, 0x2d,
Packit Service 084de1
    0xe9, 0x0b, 0xe1, 0xac, 0xde, 0x27, 0x0b, 0xb0
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* HMAC SHA-224 PR  */
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha224_pr_entropyinput[] = {
Packit Service 084de1
    0x17, 0x32, 0x2b, 0x2e, 0x6f, 0x1b, 0x9c, 0x6d, 0x31, 0xe0, 0x34, 0x07,
Packit Service 084de1
    0xcf, 0xed, 0xf6, 0xb6, 0x5a, 0x76, 0x4c, 0xbc, 0x62, 0x85, 0x01, 0x90
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha224_pr_nonce[] = {
Packit Service 084de1
    0x38, 0xbf, 0x5f, 0x20, 0xb3, 0x68, 0x2f, 0x43, 0x61, 0x05, 0x8f, 0x23
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char hmac_sha224_pr_personalizationstring[] = {
Packit Service 084de1
    0xc0, 0xc9, 0x45, 0xac, 0x8d, 0x27, 0x77, 0x08, 0x0b, 0x17, 0x6d, 0xed,
Packit Service 084de1
    0xc1, 0x7d, 0xd5, 0x07, 0x9d, 0x6e, 0xf8, 0x23, 0x2a, 0x22, 0x13, 0xbd
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha224_pr_additionalinput[] = {
Packit Service 084de1
    0xa4, 0x3c, 0xe7, 0x3b, 0xea, 0x19, 0x45, 0x32, 0xc2, 0x83, 0x6d, 0x21,
Packit Service 084de1
    0x8a, 0xc0, 0xee, 0x67, 0x45, 0xde, 0x13, 0x7d, 0x9d, 0x61, 0x00, 0x3b
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha224_pr_entropyinputpr[] = {
Packit Service 084de1
    0x15, 0x05, 0x74, 0x4a, 0x7f, 0x8d, 0x5c, 0x60, 0x16, 0xe5, 0x7b, 0xad,
Packit Service 084de1
    0xf5, 0x41, 0x8f, 0x55, 0x60, 0xc4, 0x09, 0xee, 0x1e, 0x11, 0x81, 0xab
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha224_pr_int_returnedbits[] = {
Packit Service 084de1
    0x6f, 0xf5, 0x9a, 0xe2, 0x54, 0x53, 0x30, 0x3d, 0x5a, 0x27, 0x29, 0x38,
Packit Service 084de1
    0x27, 0xf2, 0x0d, 0x05, 0xe9, 0x26, 0xcb, 0x16, 0xc3, 0x51, 0x5f, 0x13,
Packit Service 084de1
    0x41, 0xfe, 0x99, 0xf2
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha224_pr_additionalinput2[] = {
Packit Service 084de1
    0x73, 0x81, 0x88, 0x84, 0x8f, 0xed, 0x6f, 0x10, 0x9f, 0x93, 0xbf, 0x17,
Packit Service 084de1
    0x35, 0x7c, 0xef, 0xd5, 0x8d, 0x26, 0xa6, 0x7a, 0xe8, 0x09, 0x36, 0x4f
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha224_pr_entropyinputpr2[] = {
Packit Service 084de1
    0xe6, 0xcf, 0xcf, 0x7e, 0x12, 0xe5, 0x43, 0xd2, 0x38, 0xd8, 0x24, 0x6f,
Packit Service 084de1
    0x5a, 0x37, 0x68, 0xbf, 0x4f, 0xa0, 0xff, 0xd5, 0x61, 0x8a, 0x93, 0xe0
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha224_pr_returnedbits[] = {
Packit Service 084de1
    0xaf, 0xf9, 0xd8, 0x19, 0x91, 0x30, 0x82, 0x6f, 0xa9, 0x1e, 0x9d, 0xd7,
Packit Service 084de1
    0xf3, 0x50, 0xe0, 0xc7, 0xd5, 0x64, 0x96, 0x7d, 0x4c, 0x4d, 0x78, 0x03,
Packit Service 084de1
    0x6d, 0xd8, 0x9e, 0x72
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* HMAC SHA-224 No PR  */
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha224_entropyinput[] = {
Packit Service 084de1
    0x11, 0x82, 0xfd, 0xd9, 0x42, 0xf4, 0xfa, 0xc8, 0xf2, 0x41, 0xe6, 0x54,
Packit Service 084de1
    0x01, 0xae, 0x22, 0x6e, 0xc6, 0xaf, 0xaf, 0xd0, 0xa6, 0xb2, 0xe2, 0x6d
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha224_nonce[] = {
Packit Service 084de1
    0xa9, 0x48, 0xd7, 0x92, 0x39, 0x7e, 0x2a, 0xdc, 0x30, 0x1f, 0x0e, 0x2b
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char hmac_sha224_personalizationstring[] = {
Packit Service 084de1
    0x11, 0xd5, 0xf4, 0xbd, 0x67, 0x8c, 0x31, 0xcf, 0xa3, 0x3f, 0x1e, 0x6b,
Packit Service 084de1
    0xa8, 0x07, 0x02, 0x0b, 0xc8, 0x2e, 0x6c, 0x64, 0x41, 0x5b, 0xc8, 0x37
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha224_additionalinput[] = {
Packit Service 084de1
    0x68, 0x18, 0xc2, 0x06, 0xeb, 0x3e, 0x04, 0x95, 0x44, 0x5e, 0xfb, 0xe6,
Packit Service 084de1
    0x41, 0xc1, 0x5c, 0xcc, 0x40, 0x2f, 0xb7, 0xd2, 0x0f, 0xf3, 0x6b, 0xe7
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha224_int_returnedbits[] = {
Packit Service 084de1
    0x7f, 0x45, 0xc7, 0x5d, 0x32, 0xe6, 0x17, 0x60, 0xba, 0xdc, 0xb8, 0x42,
Packit Service 084de1
    0x1b, 0x9c, 0xf1, 0xfa, 0x3b, 0x4d, 0x29, 0x54, 0xc6, 0x90, 0xff, 0x5c,
Packit Service 084de1
    0xcd, 0xd6, 0xa9, 0xcc
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha224_entropyinputreseed[] = {
Packit Service 084de1
    0xc4, 0x8e, 0x37, 0x95, 0x69, 0x53, 0x28, 0xd7, 0x37, 0xbb, 0x70, 0x95,
Packit Service 084de1
    0x1c, 0x07, 0x1d, 0xd9, 0xb7, 0xe6, 0x1b, 0xbb, 0xfe, 0x41, 0xeb, 0xc9
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char hmac_sha224_additionalinputreseed[] = {
Packit Service 084de1
    0x53, 0x17, 0xa1, 0x6a, 0xfa, 0x77, 0x47, 0xb0, 0x95, 0x56, 0x9a, 0x20,
Packit Service 084de1
    0x57, 0xde, 0x5c, 0x89, 0x9f, 0x7f, 0xe2, 0xde, 0x17, 0x3a, 0x50, 0x23
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha224_additionalinput2[] = {
Packit Service 084de1
    0x3a, 0x32, 0xf9, 0x85, 0x0c, 0xc1, 0xed, 0x76, 0x2d, 0xdf, 0x40, 0xc3,
Packit Service 084de1
    0x06, 0x22, 0x66, 0xd4, 0x9a, 0x9a, 0xff, 0x5a, 0x7e, 0x7a, 0xf3, 0x96
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha224_returnedbits[] = {
Packit Service 084de1
    0x43, 0xb4, 0x57, 0x5c, 0x38, 0x25, 0x9d, 0xae, 0xec, 0x96, 0xd1, 0x85,
Packit Service 084de1
    0x3a, 0x84, 0x8d, 0xfe, 0x68, 0xd5, 0x0e, 0x5c, 0x8f, 0x65, 0xa5, 0x4e,
Packit Service 084de1
    0x45, 0x84, 0xa8, 0x94
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* HMAC SHA-256 PR  */
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha256_pr_entropyinput[] = {
Packit Service 084de1
    0x4d, 0xb0, 0x43, 0xd8, 0x34, 0x4b, 0x10, 0x70, 0xb1, 0x8b, 0xed, 0xea,
Packit Service 084de1
    0x07, 0x92, 0x9f, 0x6c, 0x79, 0x31, 0xaf, 0x81, 0x29, 0xeb, 0x6e, 0xca,
Packit Service 084de1
    0x32, 0x48, 0x28, 0xe7, 0x02, 0x5d, 0xa6, 0xa6
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha256_pr_nonce[] = {
Packit Service 084de1
    0x3a, 0xae, 0x15, 0xa9, 0x99, 0xdc, 0xe4, 0x67, 0x34, 0x3b, 0x70, 0x15,
Packit Service 084de1
    0xaa, 0xd3, 0x30, 0x9a
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char hmac_sha256_pr_personalizationstring[] = {
Packit Service 084de1
    0x13, 0x1d, 0x24, 0x04, 0xb0, 0x18, 0x81, 0x15, 0x21, 0x51, 0x2a, 0x24,
Packit Service 084de1
    0x52, 0x61, 0xbe, 0x64, 0x82, 0x6b, 0x55, 0x2f, 0xe2, 0xf1, 0x40, 0x7d,
Packit Service 084de1
    0x71, 0xd8, 0x01, 0x86, 0x15, 0xb7, 0x8b, 0xb5
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha256_pr_additionalinput[] = {
Packit Service 084de1
    0x8f, 0xa6, 0x54, 0x5f, 0xb1, 0xd0, 0xd8, 0xc3, 0xe7, 0x0c, 0x15, 0xa9,
Packit Service 084de1
    0x23, 0x6e, 0xfe, 0xfb, 0x93, 0xf7, 0x3a, 0xbd, 0x59, 0x01, 0xfa, 0x18,
Packit Service 084de1
    0x8e, 0xe9, 0x1a, 0xa9, 0x78, 0xfc, 0x79, 0x0b
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha256_pr_entropyinputpr[] = {
Packit Service 084de1
    0xcf, 0x24, 0xb9, 0xeb, 0xb3, 0xd4, 0xcd, 0x17, 0x37, 0x38, 0x75, 0x79,
Packit Service 084de1
    0x15, 0xcb, 0x2d, 0x75, 0x51, 0xf1, 0xcc, 0xaa, 0x32, 0xa4, 0xa7, 0x36,
Packit Service 084de1
    0x7c, 0x5c, 0xe4, 0x47, 0xf1, 0x3e, 0x1d, 0xe5
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha256_pr_int_returnedbits[] = {
Packit Service 084de1
    0x52, 0x42, 0xfa, 0xeb, 0x85, 0xe0, 0x30, 0x22, 0x79, 0x00, 0x16, 0xb2,
Packit Service 084de1
    0x88, 0x2f, 0x14, 0x6a, 0xb7, 0xfc, 0xb7, 0x53, 0xdc, 0x4a, 0x12, 0xef,
Packit Service 084de1
    0x54, 0xd6, 0x33, 0xe9, 0x20, 0xd6, 0xfd, 0x56
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha256_pr_additionalinput2[] = {
Packit Service 084de1
    0xf4, 0xf6, 0x49, 0xa1, 0x2d, 0x64, 0x2b, 0x30, 0x58, 0xf8, 0xbd, 0xb8,
Packit Service 084de1
    0x75, 0xeb, 0xbb, 0x5e, 0x1c, 0x9b, 0x81, 0x6a, 0xda, 0x14, 0x86, 0x6e,
Packit Service 084de1
    0xd0, 0xda, 0x18, 0xb7, 0x88, 0xfb, 0x59, 0xf3
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha256_pr_entropyinputpr2[] = {
Packit Service 084de1
    0x21, 0xcd, 0x6e, 0x46, 0xad, 0x99, 0x07, 0x17, 0xb4, 0x3d, 0x76, 0x0a,
Packit Service 084de1
    0xff, 0x5b, 0x52, 0x50, 0x78, 0xdf, 0x1f, 0x24, 0x06, 0x0d, 0x3f, 0x74,
Packit Service 084de1
    0xa9, 0xc9, 0x37, 0xcf, 0xd8, 0x26, 0x25, 0x91
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha256_pr_returnedbits[] = {
Packit Service 084de1
    0xa7, 0xaf, 0x2f, 0x29, 0xe0, 0x3a, 0x72, 0x95, 0x96, 0x1c, 0xa9, 0xf0,
Packit Service 084de1
    0x4a, 0x17, 0x4d, 0x66, 0x06, 0x10, 0xbf, 0x39, 0x89, 0x88, 0xb8, 0x91,
Packit Service 084de1
    0x37, 0x18, 0x99, 0xcf, 0x8c, 0x53, 0x3b, 0x7e
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* HMAC SHA-256 No PR  */
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha256_entropyinput[] = {
Packit Service 084de1
    0x96, 0xb7, 0x53, 0x22, 0x1e, 0x52, 0x2a, 0x96, 0xb1, 0x15, 0x3c, 0x35,
Packit Service 084de1
    0x5a, 0x8b, 0xd3, 0x4a, 0xa6, 0x6c, 0x83, 0x0a, 0x7d, 0xa3, 0x23, 0x3d,
Packit Service 084de1
    0x43, 0xa1, 0x07, 0x2c, 0x2d, 0xe3, 0x81, 0xcc
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha256_nonce[] = {
Packit Service 084de1
    0xf1, 0xac, 0x97, 0xcb, 0x5e, 0x06, 0x48, 0xd2, 0x94, 0xbe, 0x15, 0x2e,
Packit Service 084de1
    0xc7, 0xfc, 0xc2, 0x01
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char hmac_sha256_personalizationstring[] = {
Packit Service 084de1
    0x98, 0xc5, 0x1e, 0x35, 0x5e, 0x89, 0x0d, 0xce, 0x64, 0x6d, 0x18, 0xa7,
Packit Service 084de1
    0x5a, 0xc6, 0xf3, 0xe7, 0xd6, 0x9e, 0xc0, 0xea, 0xb7, 0x3a, 0x8d, 0x65,
Packit Service 084de1
    0xb8, 0xeb, 0x10, 0xd7, 0x57, 0x18, 0xa0, 0x32
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha256_additionalinput[] = {
Packit Service 084de1
    0x1b, 0x10, 0xaf, 0xac, 0xd0, 0x65, 0x95, 0xad, 0x04, 0xad, 0x03, 0x1c,
Packit Service 084de1
    0xe0, 0x40, 0xd6, 0x3e, 0x1c, 0x46, 0x53, 0x39, 0x7c, 0xe2, 0xbc, 0xda,
Packit Service 084de1
    0x8c, 0xa2, 0x33, 0xa7, 0x9a, 0x26, 0xd3, 0x27
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha256_int_returnedbits[] = {
Packit Service 084de1
    0xba, 0x61, 0x0e, 0x55, 0xfe, 0x11, 0x8a, 0x9e, 0x0f, 0x80, 0xdf, 0x1d,
Packit Service 084de1
    0x03, 0x0a, 0xfe, 0x15, 0x94, 0x28, 0x4b, 0xba, 0xf4, 0x9f, 0x51, 0x25,
Packit Service 084de1
    0x88, 0xe5, 0x4e, 0xfb, 0xaf, 0xce, 0x69, 0x90
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha256_entropyinputreseed[] = {
Packit Service 084de1
    0x62, 0x7f, 0x1e, 0x6b, 0xe8, 0x8e, 0xe1, 0x35, 0x7d, 0x9b, 0x4f, 0xc7,
Packit Service 084de1
    0xec, 0xc8, 0xac, 0xef, 0x6b, 0x13, 0x9e, 0x05, 0x56, 0xc1, 0x08, 0xf9,
Packit Service 084de1
    0x2f, 0x0f, 0x27, 0x9c, 0xd4, 0x15, 0xed, 0x2d
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char hmac_sha256_additionalinputreseed[] = {
Packit Service 084de1
    0xc7, 0x76, 0x6e, 0xa9, 0xd2, 0xb2, 0x76, 0x40, 0x82, 0x25, 0x2c, 0xb3,
Packit Service 084de1
    0x6f, 0xac, 0xe9, 0x74, 0xef, 0x8f, 0x3c, 0x8e, 0xcd, 0xf1, 0xbf, 0xb3,
Packit Service 084de1
    0x49, 0x77, 0x34, 0x88, 0x52, 0x36, 0xe6, 0x2e
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha256_additionalinput2[] = {
Packit Service 084de1
    0x8d, 0xb8, 0x0c, 0xd1, 0xbf, 0x70, 0xf6, 0x19, 0xc3, 0x41, 0x80, 0x9f,
Packit Service 084de1
    0xe1, 0xa5, 0xa4, 0x1f, 0x2c, 0x26, 0xb1, 0xe5, 0xd8, 0xeb, 0xbe, 0xf8,
Packit Service 084de1
    0xdf, 0x88, 0x6a, 0x89, 0xd6, 0x05, 0xd8, 0x9d
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha256_returnedbits[] = {
Packit Service 084de1
    0x43, 0x12, 0x2a, 0x2c, 0x40, 0x53, 0x2e, 0x7c, 0x66, 0x34, 0xac, 0xc3,
Packit Service 084de1
    0x43, 0xe3, 0xe0, 0x6a, 0xfc, 0xfa, 0xea, 0x87, 0x21, 0x1f, 0xe2, 0x26,
Packit Service 084de1
    0xc4, 0xf9, 0x09, 0x9a, 0x0d, 0x6e, 0x7f, 0xe0
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* HMAC SHA-384 PR  */
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha384_pr_entropyinput[] = {
Packit Service 084de1
    0x69, 0x81, 0x98, 0x88, 0x44, 0xf5, 0xd6, 0x2e, 0x00, 0x08, 0x3b, 0xc5,
Packit Service 084de1
    0xfb, 0xd7, 0x8e, 0x6f, 0x23, 0xf8, 0x6d, 0x09, 0xd6, 0x85, 0x49, 0xd1,
Packit Service 084de1
    0xf8, 0x6d, 0xa4, 0x58, 0x54, 0xfd, 0x88, 0xa9
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha384_pr_nonce[] = {
Packit Service 084de1
    0x6e, 0x38, 0x81, 0xca, 0xb7, 0xe8, 0x6e, 0x66, 0x49, 0x8a, 0xb2, 0x59,
Packit Service 084de1
    0xee, 0x16, 0xc9, 0xde
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char hmac_sha384_pr_personalizationstring[] = {
Packit Service 084de1
    0xfe, 0x4c, 0xd9, 0xf4, 0x78, 0x3b, 0x08, 0x41, 0x8d, 0x8f, 0x55, 0xc4,
Packit Service 084de1
    0x43, 0x56, 0xb6, 0x12, 0x36, 0x6b, 0x30, 0xb7, 0x5e, 0xe1, 0xb9, 0x47,
Packit Service 084de1
    0x04, 0xb1, 0x4e, 0xa9, 0x00, 0xa1, 0x52, 0xa1
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha384_pr_additionalinput[] = {
Packit Service 084de1
    0x89, 0xe9, 0xcc, 0x8f, 0x27, 0x3c, 0x26, 0xd1, 0x95, 0xc8, 0x7d, 0x0f,
Packit Service 084de1
    0x5b, 0x1a, 0xf0, 0x78, 0x39, 0x56, 0x6f, 0xa4, 0x23, 0xe7, 0xd1, 0xda,
Packit Service 084de1
    0x7c, 0x66, 0x33, 0xa0, 0x90, 0xc9, 0x92, 0x88
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha384_pr_entropyinputpr[] = {
Packit Service 084de1
    0xbe, 0x3d, 0x7c, 0x0d, 0xca, 0xda, 0x7c, 0x49, 0xb8, 0x12, 0x36, 0xc0,
Packit Service 084de1
    0xdb, 0xad, 0x35, 0xa8, 0xc7, 0x0b, 0x2a, 0x2c, 0x69, 0x6d, 0x25, 0x56,
Packit Service 084de1
    0x63, 0x82, 0x11, 0x3e, 0xa7, 0x33, 0x70, 0x72
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha384_pr_int_returnedbits[] = {
Packit Service 084de1
    0x82, 0x3d, 0xe6, 0x54, 0x80, 0x42, 0xf8, 0xba, 0x90, 0x4f, 0x06, 0xa6,
Packit Service 084de1
    0xd2, 0x7f, 0xbf, 0x79, 0x7c, 0x12, 0x7d, 0xa6, 0xa2, 0x66, 0xe8, 0xa6,
Packit Service 084de1
    0xc0, 0xd6, 0x4a, 0x55, 0xbf, 0xd8, 0x0a, 0xc5, 0xf8, 0x03, 0x88, 0xdd,
Packit Service 084de1
    0x8e, 0x87, 0xd1, 0x5a, 0x48, 0x26, 0x72, 0x2a, 0x8e, 0xcf, 0xee, 0xba
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha384_pr_additionalinput2[] = {
Packit Service 084de1
    0x8f, 0xff, 0xd9, 0x84, 0xbb, 0x85, 0x3a, 0x66, 0xa1, 0x21, 0xce, 0xb2,
Packit Service 084de1
    0x3a, 0x3a, 0x17, 0x22, 0x19, 0xae, 0xc7, 0xb6, 0x63, 0x81, 0xd5, 0xff,
Packit Service 084de1
    0x0d, 0xc8, 0xe1, 0xaf, 0x57, 0xd2, 0xcb, 0x60
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha384_pr_entropyinputpr2[] = {
Packit Service 084de1
    0xd7, 0xfb, 0xc9, 0xe8, 0xe2, 0xf2, 0xaa, 0x4c, 0xb8, 0x51, 0x2f, 0xe1,
Packit Service 084de1
    0x22, 0xba, 0xf3, 0xda, 0x0a, 0x19, 0x76, 0x71, 0x57, 0xb2, 0x1d, 0x94,
Packit Service 084de1
    0x09, 0x69, 0x6c, 0xd3, 0x97, 0x51, 0x81, 0x87
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha384_pr_returnedbits[] = {
Packit Service 084de1
    0xe6, 0x19, 0x28, 0xa8, 0x21, 0xce, 0x5e, 0xdb, 0x24, 0x79, 0x8c, 0x76,
Packit Service 084de1
    0x5d, 0x73, 0xb2, 0xdf, 0xac, 0xef, 0x85, 0xa7, 0x3b, 0x19, 0x09, 0x8b,
Packit Service 084de1
    0x7f, 0x98, 0x28, 0xa9, 0x93, 0xd8, 0x7a, 0xad, 0x55, 0x8b, 0x24, 0x9d,
Packit Service 084de1
    0xe6, 0x98, 0xfe, 0x47, 0xd5, 0x48, 0xc1, 0x23, 0xd8, 0x1d, 0x62, 0x75
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* HMAC SHA-384 No PR  */
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha384_entropyinput[] = {
Packit Service 084de1
    0xc3, 0x56, 0x2b, 0x1d, 0xc2, 0xbb, 0xa8, 0xf0, 0xae, 0x1b, 0x0d, 0xd3,
Packit Service 084de1
    0x5a, 0x6c, 0xda, 0x57, 0x8e, 0xa5, 0x8a, 0x0d, 0x6c, 0x4b, 0x18, 0xb1,
Packit Service 084de1
    0x04, 0x3e, 0xb4, 0x99, 0x35, 0xc4, 0xc0, 0x5f
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha384_nonce[] = {
Packit Service 084de1
    0xc5, 0x49, 0x1e, 0x66, 0x27, 0x92, 0xbe, 0xec, 0xb5, 0x1e, 0x4b, 0xb1,
Packit Service 084de1
    0x38, 0xe3, 0xeb, 0x62
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char hmac_sha384_personalizationstring[] = {
Packit Service 084de1
    0xbe, 0xe7, 0x6b, 0x57, 0xde, 0x88, 0x11, 0x96, 0x9b, 0x6e, 0xea, 0xe5,
Packit Service 084de1
    0x63, 0x83, 0x4c, 0xb6, 0x8d, 0x66, 0xaa, 0x1f, 0x8b, 0x54, 0xe7, 0x62,
Packit Service 084de1
    0x6d, 0x5a, 0xfc, 0xbf, 0x97, 0xba, 0xcd, 0x77
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha384_additionalinput[] = {
Packit Service 084de1
    0xe5, 0x28, 0x5f, 0x43, 0xf5, 0x83, 0x6e, 0x0a, 0x83, 0x5c, 0xe3, 0x81,
Packit Service 084de1
    0x03, 0xf2, 0xf8, 0x78, 0x00, 0x7c, 0x95, 0x87, 0x16, 0xd6, 0x6c, 0x58,
Packit Service 084de1
    0x33, 0x6c, 0x53, 0x35, 0x0d, 0x66, 0xe3, 0xce
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha384_int_returnedbits[] = {
Packit Service 084de1
    0xe2, 0x1f, 0xf3, 0xda, 0x0d, 0x19, 0x99, 0x87, 0xc4, 0x90, 0xa2, 0x31,
Packit Service 084de1
    0xca, 0x2a, 0x89, 0x58, 0x43, 0x44, 0xb8, 0xde, 0xcf, 0xa4, 0xbe, 0x3b,
Packit Service 084de1
    0x53, 0x26, 0x22, 0x31, 0x76, 0x41, 0x22, 0xb5, 0xa8, 0x70, 0x2f, 0x4b,
Packit Service 084de1
    0x64, 0x95, 0x4d, 0x48, 0x96, 0x35, 0xe6, 0xbd, 0x3c, 0x34, 0xdb, 0x1b
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha384_entropyinputreseed[] = {
Packit Service 084de1
    0x77, 0x61, 0xba, 0xbc, 0xf2, 0xc1, 0xf3, 0x4b, 0x86, 0x65, 0xfd, 0x48,
Packit Service 084de1
    0x0e, 0x3c, 0x02, 0x5e, 0xa2, 0x7a, 0x6b, 0x7c, 0xed, 0x21, 0x5e, 0xf9,
Packit Service 084de1
    0xcd, 0xcd, 0x77, 0x07, 0x2b, 0xbe, 0xc5, 0x5c
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char hmac_sha384_additionalinputreseed[] = {
Packit Service 084de1
    0x18, 0x24, 0x5f, 0xc6, 0x84, 0xd1, 0x67, 0xc3, 0x9a, 0x11, 0xa5, 0x8c,
Packit Service 084de1
    0x07, 0x39, 0x21, 0x83, 0x4d, 0x04, 0xc4, 0x6a, 0x28, 0x19, 0xcf, 0x92,
Packit Service 084de1
    0x21, 0xd9, 0x9e, 0x41, 0x72, 0x6c, 0x9e, 0x63
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha384_additionalinput2[] = {
Packit Service 084de1
    0x96, 0x67, 0x41, 0x28, 0x9b, 0xb7, 0x92, 0x8d, 0x64, 0x3b, 0xe4, 0xcf,
Packit Service 084de1
    0x7e, 0xaa, 0x1e, 0xb1, 0x4b, 0x1d, 0x09, 0x56, 0x67, 0x9c, 0xc6, 0x6d,
Packit Service 084de1
    0x3b, 0xe8, 0x91, 0x9d, 0xe1, 0x8a, 0xb7, 0x32
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha384_returnedbits[] = {
Packit Service 084de1
    0xe3, 0x59, 0x61, 0x38, 0x92, 0xec, 0xe2, 0x3c, 0xff, 0xb7, 0xdb, 0x19,
Packit Service 084de1
    0x0f, 0x5b, 0x93, 0x68, 0x0d, 0xa4, 0x94, 0x40, 0x72, 0x0b, 0xe0, 0xed,
Packit Service 084de1
    0x4d, 0xcd, 0x68, 0xa0, 0x1e, 0xfe, 0x67, 0xb2, 0xfa, 0x21, 0x56, 0x74,
Packit Service 084de1
    0xa4, 0xad, 0xcf, 0xb7, 0x60, 0x66, 0x2e, 0x40, 0xde, 0x82, 0xca, 0xfb
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* HMAC SHA-512 PR  */
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha512_pr_entropyinput[] = {
Packit Service 084de1
    0xaa, 0x9e, 0x45, 0x67, 0x0e, 0x00, 0x2a, 0x67, 0x98, 0xd6, 0xda, 0x0b,
Packit Service 084de1
    0x0f, 0x17, 0x7e, 0xac, 0xfd, 0x27, 0xc4, 0xca, 0x84, 0xdf, 0xde, 0xba,
Packit Service 084de1
    0x85, 0xd9, 0xbe, 0x8f, 0xf3, 0xff, 0x91, 0x4d
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha512_pr_nonce[] = {
Packit Service 084de1
    0x8c, 0x49, 0x2f, 0x58, 0x1e, 0x7a, 0xda, 0x4b, 0x7e, 0x8a, 0x30, 0x7b,
Packit Service 084de1
    0x86, 0xea, 0xaf, 0xa2
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char hmac_sha512_pr_personalizationstring[] = {
Packit Service 084de1
    0x71, 0xe1, 0xbb, 0xad, 0xa7, 0x4b, 0x2e, 0x31, 0x3b, 0x0b, 0xec, 0x24,
Packit Service 084de1
    0x99, 0x38, 0xbc, 0xaa, 0x05, 0x4c, 0x46, 0x44, 0xfa, 0xad, 0x8e, 0x02,
Packit Service 084de1
    0xc1, 0x7e, 0xad, 0xec, 0x54, 0xa6, 0xd0, 0xad
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha512_pr_additionalinput[] = {
Packit Service 084de1
    0x3d, 0x6e, 0xa6, 0xa8, 0x29, 0x2a, 0xb2, 0xf5, 0x98, 0x42, 0xe4, 0x92,
Packit Service 084de1
    0x78, 0x22, 0x67, 0xfd, 0x1b, 0x15, 0x1e, 0x29, 0xaa, 0x71, 0x3c, 0x3c,
Packit Service 084de1
    0xe7, 0x05, 0x20, 0xa9, 0x29, 0xc6, 0x75, 0x71
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha512_pr_entropyinputpr[] = {
Packit Service 084de1
    0xab, 0xb9, 0x16, 0xd8, 0x55, 0x35, 0x54, 0xb7, 0x97, 0x3f, 0x94, 0xbc,
Packit Service 084de1
    0x2f, 0x7c, 0x70, 0xc7, 0xd0, 0xed, 0xb7, 0x4b, 0xf7, 0xf6, 0x6c, 0x03,
Packit Service 084de1
    0x0c, 0xb0, 0x03, 0xd8, 0xbb, 0x71, 0xd9, 0x10
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha512_pr_int_returnedbits[] = {
Packit Service 084de1
    0x8e, 0xd3, 0xfd, 0x52, 0x9e, 0x83, 0x08, 0x49, 0x18, 0x6e, 0x23, 0x56,
Packit Service 084de1
    0x5c, 0x45, 0x93, 0x34, 0x05, 0xe2, 0x98, 0x8f, 0x0c, 0xd4, 0x32, 0x0c,
Packit Service 084de1
    0xfd, 0xda, 0x5f, 0x92, 0x3a, 0x8c, 0x81, 0xbd, 0xf6, 0x6c, 0x55, 0xfd,
Packit Service 084de1
    0xb8, 0x20, 0xce, 0x8d, 0x97, 0x27, 0xe8, 0xe8, 0xe0, 0xb3, 0x85, 0x50,
Packit Service 084de1
    0xa2, 0xc2, 0xb2, 0x95, 0x1d, 0x48, 0xd3, 0x7b, 0x4b, 0x78, 0x13, 0x35,
Packit Service 084de1
    0x05, 0x17, 0xbe, 0x0d
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha512_pr_additionalinput2[] = {
Packit Service 084de1
    0xc3, 0xfc, 0x95, 0xaa, 0x69, 0x06, 0xae, 0x59, 0x41, 0xce, 0x26, 0x08,
Packit Service 084de1
    0x29, 0x6d, 0x45, 0xda, 0xe8, 0xb3, 0x6c, 0x95, 0x60, 0x0f, 0x70, 0x2c,
Packit Service 084de1
    0x10, 0xba, 0x38, 0x8c, 0xcf, 0x29, 0x99, 0xaa
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha512_pr_entropyinputpr2[] = {
Packit Service 084de1
    0x3b, 0x9a, 0x25, 0xce, 0xd7, 0xf9, 0x5c, 0xd1, 0x3a, 0x3e, 0xaa, 0x71,
Packit Service 084de1
    0x14, 0x3e, 0x19, 0xe8, 0xce, 0xe6, 0xfe, 0x51, 0x84, 0xe9, 0x1b, 0xfe,
Packit Service 084de1
    0x3f, 0xa7, 0xf2, 0xfd, 0x76, 0x5f, 0x6a, 0xe7
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha512_pr_returnedbits[] = {
Packit Service 084de1
    0xb7, 0x82, 0xa9, 0x57, 0x81, 0x67, 0x53, 0xb5, 0xa1, 0xe9, 0x3d, 0x35,
Packit Service 084de1
    0xf9, 0xe4, 0x97, 0xbe, 0xa6, 0xca, 0xf1, 0x01, 0x13, 0x09, 0xe7, 0x21,
Packit Service 084de1
    0xc0, 0xed, 0x93, 0x5d, 0x4b, 0xf4, 0xeb, 0x8d, 0x53, 0x25, 0x8a, 0xc4,
Packit Service 084de1
    0xb1, 0x6f, 0x6e, 0x37, 0xcd, 0x2e, 0xac, 0x39, 0xb2, 0xb6, 0x99, 0xa3,
Packit Service 084de1
    0x82, 0x00, 0xb0, 0x21, 0xf0, 0xc7, 0x2f, 0x4c, 0x73, 0x92, 0xfd, 0x00,
Packit Service 084de1
    0xb6, 0xaf, 0xbc, 0xd3
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
/* HMAC SHA-512 No PR  */
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha512_entropyinput[] = {
Packit Service 084de1
    0x6e, 0x85, 0xe6, 0x25, 0x96, 0x29, 0xa7, 0x52, 0x5b, 0x60, 0xba, 0xaa,
Packit Service 084de1
    0xde, 0xdb, 0x36, 0x0a, 0x51, 0x9a, 0x15, 0xae, 0x6e, 0x18, 0xd3, 0xfe,
Packit Service 084de1
    0x39, 0xb9, 0x4a, 0x96, 0xf8, 0x77, 0xcb, 0x95
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha512_nonce[] = {
Packit Service 084de1
    0xe0, 0xa6, 0x5d, 0x08, 0xc3, 0x7c, 0xae, 0x25, 0x2e, 0x80, 0xd1, 0x3e,
Packit Service 084de1
    0xd9, 0xaf, 0x43, 0x3c
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char hmac_sha512_personalizationstring[] = {
Packit Service 084de1
    0x53, 0x99, 0x52, 0x5f, 0x11, 0xa9, 0x64, 0x66, 0x20, 0x5e, 0x1b, 0x5f,
Packit Service 084de1
    0x42, 0xb3, 0xf4, 0xda, 0xed, 0xbb, 0x63, 0xc1, 0x23, 0xaf, 0xd0, 0x01,
Packit Service 084de1
    0x90, 0x3b, 0xd0, 0x78, 0xe4, 0x0b, 0xa7, 0x20
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha512_additionalinput[] = {
Packit Service 084de1
    0x85, 0x90, 0x80, 0xd3, 0x98, 0xf1, 0x53, 0x6d, 0x68, 0x15, 0x8f, 0xe5,
Packit Service 084de1
    0x60, 0x3f, 0x17, 0x29, 0x55, 0x8d, 0x33, 0xb1, 0x45, 0x64, 0x64, 0x8d,
Packit Service 084de1
    0x50, 0x21, 0x89, 0xae, 0xf6, 0xfd, 0x32, 0x73
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha512_int_returnedbits[] = {
Packit Service 084de1
    0x28, 0x56, 0x30, 0x6f, 0xf4, 0xa1, 0x48, 0xe0, 0xc9, 0xf5, 0x75, 0x90,
Packit Service 084de1
    0xcc, 0xfb, 0xdf, 0xdf, 0x71, 0x3d, 0x0a, 0x9a, 0x03, 0x65, 0x3b, 0x18,
Packit Service 084de1
    0x61, 0xe3, 0xd1, 0xda, 0xcc, 0x4a, 0xfe, 0x55, 0x38, 0xf8, 0x21, 0x6b,
Packit Service 084de1
    0xfa, 0x18, 0x01, 0x42, 0x39, 0x2f, 0x99, 0x53, 0x38, 0x15, 0x82, 0x34,
Packit Service 084de1
    0xc5, 0x93, 0x92, 0xbc, 0x4d, 0x75, 0x1a, 0x5f, 0x21, 0x27, 0xcc, 0xa1,
Packit Service 084de1
    0xb1, 0x57, 0x69, 0xe8
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha512_entropyinputreseed[] = {
Packit Service 084de1
    0x8c, 0x52, 0x7e, 0x77, 0x72, 0x3f, 0xa3, 0x04, 0x97, 0x10, 0x9b, 0x41,
Packit Service 084de1
    0xbd, 0xe8, 0xff, 0x89, 0xed, 0x80, 0xe3, 0xbd, 0xaa, 0x12, 0x2d, 0xca,
Packit Service 084de1
    0x75, 0x82, 0x36, 0x77, 0x88, 0xcd, 0xa6, 0x73
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg
Packit Service 084de1
    static const unsigned char hmac_sha512_additionalinputreseed[] = {
Packit Service 084de1
    0x7e, 0x32, 0xe3, 0x69, 0x69, 0x07, 0x34, 0xa2, 0x16, 0xa2, 0x5d, 0x1a,
Packit Service 084de1
    0x10, 0x91, 0xd3, 0xe2, 0x21, 0xa2, 0xa3, 0xdd, 0xcd, 0x0c, 0x09, 0x86,
Packit Service 084de1
    0x11, 0xe1, 0x50, 0xff, 0x5c, 0xb7, 0xeb, 0x5c
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha512_additionalinput2[] = {
Packit Service 084de1
    0x7f, 0x78, 0x66, 0xd8, 0xfb, 0x67, 0xcf, 0x8d, 0x8c, 0x08, 0x30, 0xa5,
Packit Service 084de1
    0xf8, 0x7d, 0xcf, 0x44, 0x59, 0xce, 0xf8, 0xdf, 0x58, 0xd3, 0x60, 0xcb,
Packit Service 084de1
    0xa8, 0x60, 0xb9, 0x07, 0xc4, 0xb1, 0x95, 0x48
Packit Service 084de1
};
Packit Service 084de1
Packit Service 084de1
__fips_constseg static const unsigned char hmac_sha512_returnedbits[] = {
Packit Service 084de1
    0xdf, 0xa7, 0x36, 0xd4, 0xdc, 0x5d, 0x4d, 0x31, 0xad, 0x69, 0x46, 0x9f,
Packit Service 084de1
    0xf1, 0x7c, 0xd7, 0x3b, 0x4f, 0x55, 0xf2, 0xd7, 0xb9, 0x9d, 0xad, 0x7a,
Packit Service 084de1
    0x79, 0x08, 0x59, 0xa5, 0xdc, 0x74, 0xf5, 0x9b, 0x73, 0xd2, 0x13, 0x25,
Packit Service 084de1
    0x0b, 0x81, 0x08, 0x08, 0x25, 0xfb, 0x39, 0xf2, 0xf0, 0xa3, 0xa4, 0x8d,
Packit Service 084de1
    0xef, 0x05, 0x9e, 0xb8, 0xc7, 0x52, 0xe4, 0x0e, 0x42, 0xaa, 0x7c, 0x79,
Packit Service 084de1
    0xc2, 0xd6, 0xfd, 0xa5
Packit Service 084de1
};