jf_rescue/rescue_constants/

bn254_base.rs

// Copyright (c) 2022 Espresso Systems (espressosys.com)
// This file is part of the Jellyfish library.

// You should have received a copy of the MIT License
// along with the Jellyfish library. If not, see <https://mit-license.org/>.

use crate::{RescueParameter, ROUNDS, STATE_SIZE};
use ark_bn254::Fq;

// All parameters are generated from the following script
// <https://github.com/EspressoSystems/Marvellous/blob/c189c3ffb7a6a2dd1413b5dc44075b9252c03fe3/rescue_fq254.sage>
// q254 = 21888242871839275222246405745257275088696311157297823662689037894645226208583

impl RescueParameter for Fq {
    const A: u64 = 5;
    // 1/5 % (q254 - 1)
    // A_INV = 8755297148735710088898562298102910035478524462919129465075615157858090483433
    //       = 0x135b52945a13d9aa49b9b57c33cd568bd633c43a29c71dd2180d04d5f031fee9
    const A_INV: &'static [u64] = &[
        0x180d04d5f031fee9,
        0xd633c43a29c71dd2,
        0x49b9b57c33cd568b,
        0x135b52945a13d9aa,
    ];

    // The following constants are from the output of
    // rescue254.MDS
    // [21888242871839275222246405745257275088696311157297823662689037894645226207854
    //  21888242871839275222246405745257275088696311157297823662689037894645226179423
    //  21888242871839275222246405745257275088696311157297823662689037894645225326493
    //  21888242871839275222246405745257275088696311157297823662689037894645201510063]
    // [1080
    //  42471
    //  1277640
    //  35708310]
    // [21888242871839275222246405745257275088696311157297823662689037894645226208193
    //  21888242871839275222246405745257275088696311157297823662689037894645226194063
    //  21888242871839275222246405745257275088696311157297823662689037894645225779154
    //  21888242871839275222246405745257275088696311157297823662689037894645214273023]
    // [40
    // 1210
    // 33880
    // 925771]
    // MDS matrix in little-endian 32 bytes elements
    const MDS_LE: [[&'static [u8]; STATE_SIZE]; STATE_SIZE] = [
        [
            &[
                0x6E, 0xFA, 0x7C, 0xD8, 0x16, 0x8C, 0x20, 0x3C, 0x8D, 0xCA, 0x71, 0x68, 0x91, 0x6A,
                0x81, 0x97, 0x5D, 0x58, 0x81, 0x81, 0xB6, 0x45, 0x50, 0xB8, 0x29, 0xA0, 0x31, 0xE1,
                0x72, 0x4E, 0x64, 0x30,
            ],
            &[
                0x5F, 0x8B, 0x7C, 0xD8, 0x16, 0x8C, 0x20, 0x3C, 0x8D, 0xCA, 0x71, 0x68, 0x91, 0x6A,
                0x81, 0x97, 0x5D, 0x58, 0x81, 0x81, 0xB6, 0x45, 0x50, 0xB8, 0x29, 0xA0, 0x31, 0xE1,
                0x72, 0x4E, 0x64, 0x30,
            ],
            &[
                0x9D, 0x87, 0x6F, 0xD8, 0x16, 0x8C, 0x20, 0x3C, 0x8D, 0xCA, 0x71, 0x68, 0x91, 0x6A,
                0x81, 0x97, 0x5D, 0x58, 0x81, 0x81, 0xB6, 0x45, 0x50, 0xB8, 0x29, 0xA0, 0x31, 0xE1,
                0x72, 0x4E, 0x64, 0x30,
            ],
            &[
                0xAF, 0x1E, 0x04, 0xD7, 0x16, 0x8C, 0x20, 0x3C, 0x8D, 0xCA, 0x71, 0x68, 0x91, 0x6A,
                0x81, 0x97, 0x5D, 0x58, 0x81, 0x81, 0xB6, 0x45, 0x50, 0xB8, 0x29, 0xA0, 0x31, 0xE1,
                0x72, 0x4E, 0x64, 0x30,
            ],
        ],
        [
            &[
                0x38, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
                0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
                0x00, 0x00, 0x00, 0x00,
            ],
            &[
                0xE7, 0xA5, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
                0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
                0x00, 0x00, 0x00, 0x00,
            ],
            &[
                0xC8, 0x7E, 0x13, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
                0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
                0x00, 0x00, 0x00, 0x00,
            ],
            &[
                0x96, 0xDD, 0x20, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
                0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
                0x00, 0x00, 0x00, 0x00,
            ],
        ],
        [
            &[
                0xC1, 0xFB, 0x7C, 0xD8, 0x16, 0x8C, 0x20, 0x3C, 0x8D, 0xCA, 0x71, 0x68, 0x91, 0x6A,
                0x81, 0x97, 0x5D, 0x58, 0x81, 0x81, 0xB6, 0x45, 0x50, 0xB8, 0x29, 0xA0, 0x31, 0xE1,
                0x72, 0x4E, 0x64, 0x30,
            ],
            &[
                0x8F, 0xC4, 0x7C, 0xD8, 0x16, 0x8C, 0x20, 0x3C, 0x8D, 0xCA, 0x71, 0x68, 0x91, 0x6A,
                0x81, 0x97, 0x5D, 0x58, 0x81, 0x81, 0xB6, 0x45, 0x50, 0xB8, 0x29, 0xA0, 0x31, 0xE1,
                0x72, 0x4E, 0x64, 0x30,
            ],
            &[
                0xD2, 0x6F, 0x76, 0xD8, 0x16, 0x8C, 0x20, 0x3C, 0x8D, 0xCA, 0x71, 0x68, 0x91, 0x6A,
                0x81, 0x97, 0x5D, 0x58, 0x81, 0x81, 0xB6, 0x45, 0x50, 0xB8, 0x29, 0xA0, 0x31, 0xE1,
                0x72, 0x4E, 0x64, 0x30,
            ],
            &[
                0xFF, 0xDD, 0xC6, 0xD7, 0x16, 0x8C, 0x20, 0x3C, 0x8D, 0xCA, 0x71, 0x68, 0x91, 0x6A,
                0x81, 0x97, 0x5D, 0x58, 0x81, 0x81, 0xB6, 0x45, 0x50, 0xB8, 0x29, 0xA0, 0x31, 0xE1,
                0x72, 0x4E, 0x64, 0x30,
            ],
        ],
        [
            &[
                0x28, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
                0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
                0x00, 0x00, 0x00, 0x00,
            ],
            &[
                0xBA, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
                0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
                0x00, 0x00, 0x00, 0x00,
            ],
            &[
                0x58, 0x84, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
                0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
                0x00, 0x00, 0x00, 0x00,
            ],
            &[
                0x4B, 0x20, 0x0E, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
                0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
                0x00, 0x00, 0x00, 0x00,
            ],
        ],
    ];

    // The following constants are from the output of
    // rescue254.initial_constant
    // [14613516837064033601098425266946467757443473160059438324202885522528091826259]
    // [  376600575581954944138907282479272561597235884521558434184951080537836545251]
    // [ 7549886658634274343394883631367643169484909645484867875506884466044920568104]
    // [ 3682071510138521345600424597536598175842704818239502275576768037591864539852]
    const INIT_VEC_LE: [&'static [u8]; STATE_SIZE] = [
        &[
            0x53, 0xE8, 0xEC, 0xF4, 0xE8, 0x63, 0x35, 0x27, 0xB8, 0x7C, 0x8E, 0xFA, 0xF9, 0xA4,
            0x20, 0x28, 0xFD, 0x84, 0xD1, 0xE5, 0xA3, 0xAF, 0xEC, 0xF0, 0xF9, 0x9A, 0x24, 0x5A,
            0x19, 0xF5, 0x4E, 0x20,
        ],
        &[
            0xE3, 0xE4, 0xA8, 0x9B, 0x15, 0xBD, 0xC4, 0x32, 0x45, 0x0A, 0x14, 0xB6, 0xB6, 0x5E,
            0x13, 0x5C, 0x6A, 0x9C, 0x1C, 0xBF, 0xFF, 0xA0, 0xB6, 0x48, 0x86, 0xD4, 0x87, 0xB6,
            0xFB, 0x25, 0xD5, 0x00,
        ],
        &[
            0x28, 0x99, 0xEA, 0x72, 0xFB, 0x61, 0x3B, 0xBE, 0x27, 0x65, 0xE1, 0xE3, 0xAC, 0x3C,
            0xE6, 0xEB, 0xB3, 0x31, 0xC8, 0x1B, 0x5D, 0xA5, 0x6B, 0x4E, 0x8C, 0xAD, 0xDE, 0x4F,
            0x9C, 0x15, 0xB1, 0x10,
        ],
        &[
            0xCC, 0x7A, 0x1B, 0x72, 0xDC, 0x66, 0xBF, 0x13, 0x33, 0x24, 0x18, 0x44, 0xE0, 0x87,
            0x53, 0xE5, 0xC2, 0x68, 0xC5, 0xDA, 0x78, 0x52, 0x79, 0x16, 0x68, 0x9E, 0x40, 0xED,
            0x86, 0xFA, 0x23, 0x08,
        ],
    ];

    // The following constants are from the output of
    // rescue254.constants_matrix
    // a.k.a., KEY_SCHED_MATRIX
    // Keep this for reference
    // [ 7897853564276958334214468603203897360224447300386032941256994464150170514451 11310972723508634666485784440114195252677286556466788632574516368513254988277 16383651337644090722313274572289379126793153853622511649760101581593033542071 19306563486653957297319716776525895227884092520649933781858037007320767804139]
    // [13972664482939365210126934094159234345695863232497649806392126831140949408017  3714466336318438487208859168496175478770731896221487243902867315435067535769  1596938859090899602275687562366103360382671306826725202199223581804895801767  1804362872899866995550019591021112981788735234705997105061814227248512897822]
    // [11997476979649706166628591475876380417499808454811630791817394950169820584877  3358221985266097444445103450467306734158849252930592515234916121780934256030 20936039221738076169991664483088569051709971830788699198763780286950646240322 19667773949019642472493030024822902488141956158764951449149080401147206088312]
    // [13863553253145612564629096839163156806807653993832358244234635849448929160427 19384255837703781581818619941103992201663296963767983811656613453424286224072 21184773793927862104225525427705251361157634391465432236297349113815397067519 17250450671778424279069213596445482754960723695334722624539983424882343924607]
    //

    // The following constants are from the output of
    // rescue254.constants_constant
    // a.k.a., KEY_SCHED_VEC
    // [14910919218145812220780527690731032091022381281958763374721404950659865181562]
    // [10257734867868901489281448873462275872879440919614134115374023384296039465588]
    // [  400456570908486696849138298375881077019481924389373524724992118340704160521]
    // [21663317380571791832909997299481896449625390207097572583867492890910773880130]
    //

    // The key injection constants are precomputed computed as
    // 1. KEY_INJECTION[-1] = INIT_VECTOR
    // 2. for i in [0 .. 2 * ROUNDS]
    // 3. KEY_INJECTION[i] = KEY_SCHED_MATRIX * KEY_INJECTION[ i - 1] +
    // KEY_SCHED_VEC
    // where the INIT_VECTOR, KEY_SCHED_MATRIX and KEY_INJECTION are defined above
    // Those constants can be obtained via
    //   key_injection(init_vec_254, key_sched_matrix_254, key_sched_vec_254, q254)
    // from rescue381.sage
    const KEY_INJECTION_LE: [[&'static [u8]; 4]; 2 * ROUNDS] = [
        [
            &[
                0x73, 0x16, 0xC8, 0x53, 0xB9, 0xC2, 0xB6, 0x23, 0x10, 0x23, 0x71, 0x88, 0x5F, 0xF0,
                0xF4, 0x70, 0x69, 0x0F, 0x28, 0xC4, 0x48, 0x3E, 0x14, 0xEA, 0x41, 0x8C, 0x65, 0xA9,
                0xFF, 0xAD, 0xD0, 0x23,
            ],
            &[
                0xBF, 0x58, 0xF6, 0xC3, 0x83, 0x70, 0x1F, 0xB3, 0x9C, 0x48, 0xB3, 0x27, 0xC3, 0xB3,
                0xF2, 0xC0, 0x2A, 0xA0, 0x99, 0x8D, 0xCB, 0xD7, 0x97, 0x06, 0x68, 0x8A, 0x29, 0xC3,
                0x6C, 0xFE, 0x82, 0x17,
            ],
            &[
                0x94, 0x3F, 0x0F, 0xBB, 0x4B, 0xD0, 0x80, 0x2B, 0xD5, 0x78, 0xD1, 0x34, 0x8E, 0x70,
                0xB7, 0x22, 0x31, 0xBE, 0x32, 0xCB, 0x3E, 0x9C, 0x9A, 0x0D, 0x3A, 0x85, 0xB8, 0x4C,
                0xBE, 0x69, 0xEE, 0x07,
            ],
            &[
                0x45, 0x2F, 0x5F, 0xAD, 0x94, 0xC2, 0x3C, 0xF2, 0xBD, 0xA0, 0xD7, 0x89, 0x87, 0x7A,
                0x48, 0x0B, 0xA8, 0x03, 0x5E, 0x9A, 0xDA, 0x83, 0x0D, 0xD1, 0x28, 0x7B, 0x5D, 0x8E,
                0xEF, 0x5C, 0x3E, 0x26,
            ],
        ],
        [
            &[
                0xFA, 0x8E, 0xEC, 0x18, 0x03, 0xB5, 0x85, 0x37, 0x1D, 0x67, 0x3F, 0x8F, 0x1C, 0x66,
                0xF0, 0x20, 0xD2, 0x85, 0x7A, 0xAF, 0x07, 0x4C, 0x97, 0xBB, 0x8B, 0x3C, 0x00, 0x4B,
                0x5C, 0x1A, 0xED, 0x02,
            ],
            &[
                0x5E, 0x5F, 0xB7, 0x4C, 0xFC, 0x04, 0x11, 0xF4, 0x43, 0x23, 0x5F, 0xE7, 0xED, 0x7A,
                0x32, 0x82, 0xB8, 0xAE, 0x32, 0x3D, 0x4B, 0xDC, 0x9A, 0xA0, 0x86, 0x94, 0x8E, 0xE8,
                0x4A, 0x82, 0x2B, 0x2A,
            ],
            &[
                0x32, 0xBD, 0x2B, 0x8E, 0xCD, 0x05, 0x15, 0x28, 0xE7, 0xAB, 0x49, 0xCB, 0x2B, 0x24,
                0x80, 0xCC, 0x94, 0xFD, 0xF5, 0x4C, 0x82, 0x51, 0x61, 0x50, 0xF4, 0xCF, 0xEE, 0x5E,
                0x7D, 0x42, 0x1F, 0x25,
            ],
            &[
                0xE3, 0x33, 0x33, 0x97, 0x92, 0xE6, 0xC9, 0xA8, 0x9A, 0xFA, 0xDE, 0xCA, 0xF0, 0xBF,
                0x2B, 0xE4, 0x13, 0x5A, 0xD6, 0x36, 0xFB, 0xCA, 0x75, 0xFD, 0x32, 0x31, 0xED, 0x09,
                0x03, 0xB5, 0x9A, 0x03,
            ],
        ],
        [
            &[
                0x27, 0xC3, 0xB9, 0x99, 0x6B, 0x8B, 0x13, 0xE6, 0x28, 0x96, 0xA5, 0x66, 0x5E, 0x60,
                0x09, 0x1A, 0x29, 0x73, 0x99, 0x6C, 0x80, 0xC0, 0xB9, 0xBC, 0xE6, 0xE6, 0x5F, 0xAF,
                0xC8, 0x93, 0x40, 0x12,
            ],
            &[
                0xF8, 0x56, 0x65, 0x8B, 0xB5, 0x62, 0xC6, 0xAD, 0x1D, 0x87, 0xDB, 0x03, 0x0C, 0xA7,
                0xAD, 0x0D, 0x7C, 0xF4, 0x71, 0x4A, 0xD0, 0xCD, 0x62, 0xFD, 0x99, 0xA2, 0xFD, 0xC0,
                0xD8, 0x15, 0xC5, 0x28,
            ],
            &[
                0xB4, 0xF3, 0x2B, 0xFE, 0x3E, 0x0F, 0xAC, 0xCF, 0xF2, 0x13, 0x60, 0x18, 0x98, 0x58,
                0xE6, 0xD5, 0xB3, 0x74, 0xC0, 0x1C, 0x30, 0xF6, 0x2B, 0xF9, 0x88, 0xA1, 0x11, 0x7A,
                0x50, 0xCC, 0x14, 0x1A,
            ],
            &[
                0xE5, 0x85, 0xC3, 0x33, 0x72, 0x36, 0xD3, 0x38, 0xC7, 0x39, 0xF0, 0xDB, 0x2A, 0x35,
                0x4E, 0x17, 0xE4, 0x9E, 0xC3, 0xCD, 0x75, 0x90, 0x0E, 0x18, 0x56, 0xC1, 0xA4, 0x38,
                0x74, 0x85, 0x14, 0x16,
            ],
        ],
        [
            &[
                0xE1, 0x01, 0x63, 0x05, 0xA6, 0xFC, 0xA4, 0x31, 0xF3, 0xF1, 0x2B, 0xFF, 0xDB, 0x92,
                0x70, 0xDC, 0x29, 0xD8, 0x5D, 0xE5, 0x0C, 0xFD, 0x2D, 0xCF, 0x76, 0x59, 0xA9, 0xB0,
                0x38, 0x1D, 0x0F, 0x1F,
            ],
            &[
                0xC7, 0x42, 0xDF, 0x50, 0xA4, 0xF3, 0x7C, 0x0D, 0xCE, 0x0C, 0xB9, 0x7A, 0x4C, 0x37,
                0xEF, 0xBF, 0x6A, 0xAB, 0x6A, 0xD4, 0x0E, 0x4A, 0x11, 0x61, 0xEF, 0x95, 0x7B, 0xBF,
                0xAC, 0xE7, 0xA7, 0x0D,
            ],
            &[
                0x83, 0x01, 0x78, 0x88, 0x2A, 0x0D, 0x6C, 0x43, 0x73, 0x82, 0x7C, 0x96, 0xC4, 0xA6,
                0x6A, 0x3F, 0x37, 0x6B, 0x3A, 0xDB, 0xDC, 0x62, 0x74, 0xA0, 0x4B, 0xD0, 0xB6, 0xA6,
                0x67, 0x74, 0xF4, 0x05,
            ],
            &[
                0xA0, 0x83, 0x11, 0x64, 0x05, 0xD8, 0xCA, 0x03, 0x66, 0xFF, 0xB4, 0x14, 0x2D, 0x08,
                0xCA, 0x94, 0x3C, 0xE9, 0x72, 0x49, 0x8F, 0x5E, 0xCA, 0x8C, 0xA4, 0x28, 0x29, 0xDD,
                0x77, 0x48, 0x18, 0x27,
            ],
        ],
        [
            &[
                0x6D, 0x24, 0xDD, 0x99, 0x66, 0xDF, 0x07, 0xC0, 0x9F, 0xFB, 0xAD, 0xB1, 0x1C, 0xE9,
                0x38, 0xAA, 0x64, 0x68, 0x9A, 0x61, 0x1D, 0x3D, 0xD6, 0x4E, 0xEB, 0x35, 0x86, 0x8F,
                0x56, 0xD8, 0x86, 0x1E,
            ],
            &[
                0x28, 0x92, 0x6E, 0x50, 0x81, 0x48, 0xA7, 0x73, 0x14, 0x3A, 0x98, 0xCA, 0xF3, 0x63,
                0xE8, 0xCD, 0xF3, 0x9F, 0xFF, 0x11, 0x6F, 0xC2, 0x1B, 0x79, 0x84, 0xF1, 0xB8, 0x20,
                0x7A, 0xF3, 0xDE, 0x17,
            ],
            &[
                0xE9, 0x32, 0x25, 0x62, 0xD6, 0x86, 0x91, 0xB3, 0x3F, 0xC8, 0x3C, 0xDD, 0x89, 0x39,
                0x13, 0x76, 0x0C, 0xE8, 0x16, 0x96, 0x73, 0xB3, 0xF5, 0x13, 0xC5, 0xD3, 0xF9, 0xF2,
                0x6B, 0x31, 0x8F, 0x03,
            ],
            &[
                0xE5, 0xE4, 0x85, 0xFD, 0xD0, 0x5F, 0x3D, 0x82, 0x68, 0x41, 0x05, 0x5D, 0x55, 0xEA,
                0xAE, 0xB2, 0xAB, 0x29, 0x49, 0xFE, 0x70, 0xEB, 0xD9, 0xAE, 0x15, 0x34, 0x55, 0x4C,
                0x9E, 0x6A, 0xAE, 0x24,
            ],
        ],
        [
            &[
                0x59, 0xD3, 0x8E, 0x81, 0xDD, 0x55, 0x7F, 0xBB, 0x05, 0xBF, 0xF6, 0x8C, 0x74, 0xF2,
                0x44, 0xB4, 0x9C, 0xD5, 0x71, 0xF4, 0xB5, 0x06, 0x9E, 0x8F, 0xCD, 0xF5, 0xEC, 0x4B,
                0xB4, 0x39, 0x24, 0x07,
            ],
            &[
                0x17, 0x77, 0x38, 0x4A, 0x2A, 0xB1, 0x77, 0x05, 0x99, 0xFB, 0x7E, 0x7D, 0x6F, 0xCE,
                0x20, 0x8D, 0x87, 0xC0, 0x28, 0x62, 0x2B, 0x56, 0x88, 0x6F, 0x02, 0xB9, 0x84, 0xEC,
                0xDD, 0xAB, 0x08, 0x1A,
            ],
            &[
                0x1F, 0x2E, 0x6D, 0x60, 0x2A, 0xF6, 0x4D, 0x53, 0x8D, 0xB4, 0x9A, 0xFA, 0xCD, 0x0A,
                0x9B, 0x71, 0x1A, 0x83, 0xBA, 0x56, 0xFA, 0x64, 0x2A, 0x43, 0x3C, 0xBA, 0x88, 0x72,
                0x0B, 0xD4, 0x6F, 0x1B,
            ],
            &[
                0x5F, 0x80, 0x6C, 0xC4, 0xC5, 0x53, 0x85, 0x8F, 0xFC, 0xFB, 0x9F, 0x70, 0x0F, 0x60,
                0x3D, 0xA0, 0xEE, 0xF9, 0x62, 0xF1, 0xA3, 0x9F, 0x4F, 0xAD, 0xC4, 0x29, 0xD9, 0x8F,
                0x3E, 0x08, 0x65, 0x05,
            ],
        ],
        [
            &[
                0x46, 0x70, 0x29, 0x9D, 0x01, 0xEF, 0x66, 0x40, 0x52, 0x86, 0xAE, 0x6F, 0x39, 0xB4,
                0xD0, 0x11, 0x51, 0xE1, 0x53, 0x41, 0x98, 0xD7, 0xF0, 0x2C, 0x14, 0xDA, 0x7C, 0xCC,
                0x5A, 0x6F, 0x5C, 0x1D,
            ],
            &[
                0xA9, 0xCC, 0x00, 0xAA, 0xF9, 0x01, 0x1B, 0x69, 0x7D, 0x2D, 0x63, 0x72, 0x13, 0xE5,
                0xE6, 0xAB, 0x21, 0x68, 0x82, 0x08, 0x0A, 0xB5, 0x55, 0xBB, 0x4A, 0x9F, 0x50, 0x73,
                0x2D, 0x9E, 0xB6, 0x04,
            ],
            &[
                0xC7, 0x99, 0x26, 0xAC, 0x6B, 0x49, 0x33, 0x49, 0xCC, 0x4C, 0x93, 0xFD, 0x9D, 0xCC,
                0x86, 0x52, 0xA2, 0x59, 0x06, 0x7F, 0x1A, 0x7D, 0xEC, 0x79, 0xDE, 0x5E, 0x0E, 0xA5,
                0x96, 0x61, 0xD8, 0x15,
            ],
            &[
                0x11, 0x4A, 0x21, 0x3B, 0xA3, 0x63, 0x65, 0xFF, 0x76, 0x01, 0x71, 0xA3, 0x64, 0x9D,
                0x7F, 0x88, 0x39, 0x1A, 0x04, 0x92, 0x35, 0x11, 0x96, 0xDB, 0x56, 0x02, 0xDC, 0x11,
                0xFD, 0x42, 0x2C, 0x1E,
            ],
        ],
        [
            &[
                0xE1, 0x88, 0xF5, 0x8F, 0x22, 0x22, 0x9F, 0x72, 0xF7, 0xEE, 0x4F, 0x30, 0x98, 0x64,
                0xC2, 0x9B, 0x70, 0x62, 0x0F, 0x81, 0x3F, 0x15, 0xCA, 0x17, 0x13, 0xCC, 0x9C, 0x87,
                0x0D, 0xA6, 0xC9, 0x17,
            ],
            &[
                0xD2, 0x5C, 0xB1, 0xC4, 0x0E, 0xB7, 0xE2, 0x80, 0x87, 0x81, 0xA6, 0xFE, 0xFD, 0x6D,
                0xA8, 0x88, 0x35, 0x21, 0x10, 0x28, 0xD9, 0xBE, 0x31, 0xB5, 0x5E, 0xDB, 0xDC, 0x3F,
                0xB6, 0x8D, 0xEC, 0x24,
            ],
            &[
                0x6C, 0x6F, 0x1B, 0x03, 0x82, 0x21, 0xAA, 0x91, 0x24, 0xD2, 0xFE, 0x9E, 0x09, 0x52,
                0x95, 0x33, 0xA7, 0x24, 0x90, 0x7F, 0x62, 0x06, 0x08, 0x66, 0xB3, 0x55, 0xEB, 0x9B,
                0xB1, 0x1F, 0xCD, 0x24,
            ],
            &[
                0x8E, 0xD8, 0xF6, 0x4E, 0x27, 0x39, 0xC9, 0x7F, 0x80, 0xA5, 0xD1, 0xF5, 0x92, 0xF0,
                0xA4, 0xC1, 0x5B, 0x02, 0x77, 0x5B, 0x12, 0xA0, 0x35, 0xBE, 0x44, 0xE5, 0xE3, 0xEB,
                0x3C, 0x2D, 0xBA, 0x1B,
            ],
        ],
        [
            &[
                0x9A, 0x31, 0x4C, 0x1D, 0x4E, 0x15, 0x02, 0x45, 0x91, 0xC8, 0xFB, 0x0F, 0xD8, 0x2A,
                0x8C, 0xEA, 0x62, 0x1F, 0xD2, 0xD6, 0x2B, 0x46, 0x3A, 0xF6, 0xA6, 0xCA, 0x5D, 0x68,
                0x41, 0x56, 0x3E, 0x19,
            ],
            &[
                0xD9, 0x29, 0xF9, 0xF2, 0xAC, 0xFF, 0x38, 0x38, 0x89, 0xA3, 0x60, 0x5D, 0xEC, 0x01,
                0xEB, 0xED, 0x27, 0x00, 0x66, 0xDE, 0xD8, 0xBE, 0x39, 0xAD, 0x27, 0xE5, 0x33, 0x78,
                0x0F, 0xC2, 0xCB, 0x23,
            ],
            &[
                0x7A, 0x29, 0x5D, 0xCC, 0xDA, 0x08, 0xF0, 0x79, 0x0E, 0x2F, 0xE0, 0x1A, 0x4D, 0x03,
                0xF9, 0xEA, 0x53, 0xC2, 0xE0, 0x77, 0xD0, 0x09, 0xA5, 0x4B, 0x8D, 0xA5, 0x35, 0x0B,
                0x9C, 0x2E, 0x34, 0x03,
            ],
            &[
                0x32, 0x6B, 0xF2, 0x2D, 0x8B, 0xDE, 0x3E, 0x80, 0x68, 0x74, 0x76, 0xAB, 0x7C, 0x9F,
                0x65, 0x51, 0x39, 0x45, 0xBD, 0x04, 0xD4, 0xC1, 0xDF, 0xD0, 0xA6, 0x27, 0x40, 0x97,
                0x4D, 0x5C, 0x5F, 0x21,
            ],
        ],
        [
            &[
                0xF7, 0x1F, 0x1D, 0x95, 0x07, 0x25, 0xD7, 0x87, 0xBB, 0x64, 0x1C, 0x56, 0x17, 0x93,
                0xCE, 0xC4, 0x57, 0xBB, 0x2D, 0x3C, 0x98, 0x0B, 0xDE, 0xC9, 0xF2, 0xDB, 0x5B, 0x0B,
                0x08, 0x74, 0xC8, 0x27,
            ],
            &[
                0x51, 0x49, 0xDB, 0x7A, 0x3A, 0x55, 0x4C, 0xCD, 0x2B, 0xA0, 0xAC, 0x17, 0xC8, 0x6B,
                0xA4, 0x67, 0x58, 0x17, 0xAE, 0xE3, 0x4E, 0x43, 0x60, 0x42, 0x1A, 0x1A, 0x5D, 0xB7,
                0x2C, 0x39, 0x9F, 0x2E,
            ],
            &[
                0x18, 0x0D, 0x57, 0x93, 0xFA, 0x67, 0x15, 0x35, 0x19, 0x0B, 0x4D, 0xF7, 0x97, 0xBD,
                0x0A, 0x7C, 0x1B, 0xE0, 0xFD, 0x69, 0x2B, 0x64, 0xA7, 0x86, 0xDA, 0x88, 0x60, 0xEC,
                0x21, 0x06, 0x6E, 0x01,
            ],
            &[
                0x96, 0x4A, 0xEB, 0x2A, 0x32, 0xCD, 0x9E, 0xD9, 0x40, 0x3A, 0x6F, 0x81, 0x12, 0xF3,
                0x26, 0xEF, 0x92, 0xB1, 0x58, 0xC3, 0xF2, 0x5D, 0x15, 0xDF, 0x46, 0x00, 0xBD, 0x98,
                0x09, 0x45, 0xD6, 0x18,
            ],
        ],
        [
            &[
                0x14, 0x58, 0x12, 0x71, 0x64, 0xF3, 0xF2, 0x93, 0xDA, 0xC2, 0x2A, 0x4D, 0x1A, 0x17,
                0xEA, 0x0C, 0xD6, 0x9C, 0x97, 0x90, 0x15, 0x76, 0xA0, 0xCD, 0x7D, 0xD9, 0x8F, 0x93,
                0x27, 0xD8, 0x27, 0x1D,
            ],
            &[
                0x81, 0xBF, 0x6F, 0x00, 0xB8, 0x14, 0x69, 0x19, 0xFE, 0x5C, 0xD2, 0x72, 0x6D, 0x3B,
                0xED, 0xA3, 0xCB, 0x0D, 0x6A, 0x9A, 0x7D, 0xA6, 0xBA, 0xEF, 0x89, 0x15, 0x52, 0x19,
                0x15, 0x3D, 0x44, 0x27,
            ],
            &[
                0x99, 0xE8, 0x87, 0x7C, 0x19, 0xB6, 0x75, 0x72, 0x4A, 0x51, 0x6B, 0x0D, 0x2A, 0x69,
                0xC7, 0x1C, 0x1A, 0xA3, 0xD1, 0xD8, 0x0F, 0x30, 0x23, 0x71, 0xE0, 0x48, 0xE8, 0xE8,
                0xF0, 0x1A, 0x87, 0x1B,
            ],
            &[
                0x97, 0xAD, 0xE3, 0x38, 0xCA, 0x3B, 0xD2, 0x50, 0x26, 0xF3, 0x99, 0x38, 0x23, 0x61,
                0x28, 0x03, 0xDE, 0xA9, 0xEC, 0xF1, 0x7F, 0x29, 0xB4, 0xA0, 0xCF, 0xD2, 0x2A, 0xCC,
                0x7D, 0x28, 0x8D, 0x22,
            ],
        ],
        [
            &[
                0x2B, 0x91, 0x46, 0x1E, 0xBA, 0x39, 0x8C, 0x5F, 0xA2, 0x73, 0x54, 0x27, 0x7F, 0x4B,
                0xC0, 0x1D, 0x18, 0x0E, 0xE4, 0x71, 0xA7, 0x87, 0x42, 0xCF, 0x42, 0xD0, 0x71, 0x0A,
                0x6C, 0x03, 0x94, 0x2A,
            ],
            &[
                0x21, 0xCF, 0xE7, 0xB0, 0x31, 0x15, 0x18, 0x61, 0x80, 0x83, 0x56, 0xE0, 0x0F, 0xEE,
                0x96, 0x41, 0x5D, 0xDD, 0x7A, 0x1D, 0x82, 0x32, 0x76, 0xF5, 0xED, 0x6E, 0x42, 0xE9,
                0xDA, 0xC8, 0x4E, 0x2D,
            ],
            &[
                0x7E, 0x65, 0x8A, 0xD8, 0x51, 0xC6, 0xC9, 0xBB, 0x99, 0xCC, 0xF1, 0x3B, 0xFA, 0xA9,
                0xBB, 0x0E, 0xDB, 0x24, 0xDF, 0x40, 0xF3, 0xE6, 0x6A, 0x95, 0x27, 0xA3, 0x3F, 0xE7,
                0xD4, 0x31, 0x34, 0x17,
            ],
            &[
                0x22, 0x6C, 0x8F, 0x08, 0x57, 0x82, 0x58, 0x73, 0xA9, 0x36, 0x97, 0xD8, 0x0E, 0xFD,
                0x24, 0x88, 0x2B, 0xA5, 0x58, 0xB0, 0xF8, 0xBF, 0xEE, 0x55, 0x00, 0x46, 0x02, 0x63,
                0x28, 0x71, 0x97, 0x0F,
            ],
        ],
        [
            &[
                0x34, 0xA8, 0x6B, 0xB1, 0x8E, 0xE2, 0x94, 0xF6, 0xA3, 0x7B, 0x02, 0x50, 0x2F, 0x9D,
                0xCC, 0xC5, 0xBA, 0x21, 0xAD, 0x29, 0x4B, 0x35, 0x28, 0x63, 0xD4, 0xBC, 0x56, 0xFE,
                0xD0, 0xCE, 0x34, 0x1D,
            ],
            &[
                0x01, 0xF8, 0x31, 0x30, 0xC4, 0xDA, 0xB6, 0xC0, 0xE0, 0xD3, 0xCE, 0x3A, 0x2F, 0xB9,
                0x0C, 0x72, 0x1B, 0x07, 0xA4, 0xED, 0x89, 0x1A, 0x47, 0x2B, 0x2E, 0xA7, 0x5D, 0x6C,
                0xDD, 0x73, 0x84, 0x0F,
            ],
            &[
                0xEA, 0x14, 0x35, 0x03, 0x51, 0xC7, 0x5C, 0x9A, 0x8D, 0x48, 0xA7, 0xB8, 0xCA, 0xA2,
                0xE7, 0x12, 0x9A, 0xD3, 0x23, 0x5C, 0xB0, 0x2B, 0xD9, 0xA1, 0x2F, 0x77, 0x7C, 0x34,
                0xDB, 0x42, 0xFE, 0x04,
            ],
            &[
                0x66, 0xE3, 0x43, 0x7E, 0x75, 0x99, 0x05, 0xB8, 0x42, 0x23, 0x46, 0x43, 0x2A, 0x43,
                0x8D, 0x6C, 0x33, 0x39, 0x3E, 0x30, 0x64, 0x1F, 0xD2, 0x0B, 0xD1, 0xB4, 0xC3, 0x65,
                0x59, 0x76, 0x68, 0x27,
            ],
        ],
        [
            &[
                0x2B, 0xA6, 0x27, 0x13, 0xE5, 0x19, 0x3C, 0x8D, 0xBB, 0x9B, 0xD5, 0xB7, 0xC5, 0xE1,
                0x93, 0x51, 0x3A, 0xEB, 0x57, 0x60, 0x79, 0xB4, 0x06, 0x70, 0x12, 0x1C, 0xF7, 0x92,
                0x04, 0xED, 0x11, 0x03,
            ],
            &[
                0x23, 0x38, 0x6C, 0x17, 0x89, 0x3C, 0x72, 0x3B, 0xC5, 0xAF, 0xF1, 0x32, 0xF4, 0x8E,
                0xE3, 0x98, 0x0C, 0x15, 0x74, 0x99, 0x81, 0x9E, 0x4C, 0xBC, 0x42, 0x0D, 0x09, 0xF8,
                0x50, 0xFB, 0x8E, 0x12,
            ],
            &[
                0xA1, 0x15, 0xF2, 0x41, 0xDE, 0x32, 0x89, 0xDD, 0x42, 0x8F, 0x8D, 0x4B, 0x33, 0xDB,
                0x60, 0x5B, 0x08, 0xBB, 0x9F, 0xAF, 0x66, 0xE1, 0x00, 0x07, 0xF9, 0x7F, 0x2D, 0xE0,
                0x8D, 0x76, 0x3E, 0x00,
            ],
            &[
                0xED, 0x3E, 0xB9, 0x60, 0x3E, 0xDE, 0xFC, 0xE9, 0x92, 0x62, 0x8A, 0x23, 0x5C, 0x72,
                0x7E, 0xA2, 0x3E, 0x86, 0xD5, 0x07, 0xAE, 0xF5, 0xE2, 0x35, 0x48, 0x4C, 0x4C, 0x09,
                0x37, 0xA1, 0xF0, 0x02,
            ],
        ],
        [
            &[
                0x0E, 0x6D, 0xD7, 0xF8, 0x80, 0x4A, 0x20, 0x9D, 0x23, 0x9C, 0x7C, 0x9D, 0xA6, 0xE9,
                0x8D, 0x82, 0xBF, 0xE0, 0xCC, 0xA2, 0x53, 0xE7, 0xCB, 0x38, 0x10, 0x57, 0xD5, 0x64,
                0x3D, 0xA7, 0x93, 0x06,
            ],
            &[
                0xED, 0x41, 0x58, 0xE9, 0x0E, 0x46, 0x9B, 0x15, 0x1F, 0x93, 0x80, 0x9E, 0xEB, 0x33,
                0xCB, 0x24, 0xB9, 0xDF, 0x8C, 0x35, 0xA7, 0x2E, 0x75, 0x8A, 0x0B, 0x71, 0x6A, 0x1E,
                0xE1, 0x76, 0x86, 0x14,
            ],
            &[
                0x40, 0x8B, 0x3C, 0x59, 0x34, 0xE3, 0x94, 0xE6, 0x1C, 0x8D, 0xC0, 0xB3, 0x5C, 0x19,
                0xDE, 0x7F, 0xCD, 0x38, 0x20, 0x86, 0x8E, 0x64, 0x07, 0xD2, 0x30, 0xE9, 0x25, 0xD9,
                0x34, 0xB5, 0x19, 0x1E,
            ],
            &[
                0x7E, 0x75, 0xF5, 0xE3, 0xD1, 0xB1, 0x6F, 0x74, 0x2C, 0x1E, 0xF9, 0x54, 0xF6, 0x57,
                0xA4, 0xE2, 0xCF, 0x17, 0xE2, 0xC7, 0x37, 0x18, 0xA3, 0x76, 0x45, 0x59, 0x08, 0xEA,
                0x40, 0x80, 0x71, 0x09,
            ],
        ],
        [
            &[
                0xF0, 0x17, 0x35, 0x49, 0x34, 0x06, 0xE5, 0x3C, 0xEA, 0x24, 0xC1, 0x29, 0x56, 0x03,
                0xCD, 0xED, 0xBC, 0x38, 0xDE, 0x01, 0x63, 0xD4, 0x56, 0x77, 0xDD, 0xA0, 0x3A, 0xB0,
                0xB5, 0xBA, 0xB9, 0x0C,
            ],
            &[
                0x0F, 0x76, 0x5B, 0x83, 0x44, 0x46, 0x72, 0x91, 0xB9, 0xC1, 0xEB, 0x95, 0xE2, 0xF0,
                0xF1, 0x61, 0x83, 0x96, 0x40, 0x4C, 0x89, 0x63, 0xA9, 0x63, 0x05, 0xF9, 0x20, 0x45,
                0xF2, 0x1C, 0xEE, 0x08,
            ],
            &[
                0x26, 0x9E, 0x86, 0xE7, 0x6C, 0x2F, 0x3D, 0x77, 0x8A, 0xC4, 0x0C, 0x63, 0x8A, 0x0B,
                0x4F, 0x30, 0x23, 0x10, 0x4B, 0xDE, 0x57, 0x8A, 0xD1, 0x49, 0x92, 0x43, 0x09, 0x92,
                0x56, 0xEC, 0xE5, 0x29,
            ],
            &[
                0x78, 0x7E, 0xD5, 0x1F, 0x15, 0x8D, 0x40, 0xA0, 0x0A, 0x94, 0xD0, 0x82, 0xC4, 0x5A,
                0x5C, 0xDA, 0x16, 0xB2, 0xBA, 0x71, 0xCC, 0xDE, 0xD3, 0x38, 0x5E, 0xBA, 0xD2, 0x41,
                0x0F, 0x2E, 0xE9, 0x1A,
            ],
        ],
        [
            &[
                0x40, 0xDE, 0x4F, 0xD7, 0x22, 0x3E, 0x19, 0x8C, 0x12, 0x5C, 0x44, 0x8E, 0xF9, 0x22,
                0xB8, 0x5F, 0x46, 0x14, 0x6F, 0xA2, 0x89, 0x62, 0x4C, 0xFE, 0x82, 0xB5, 0x4A, 0x47,
                0x94, 0x84, 0x29, 0x24,
            ],
            &[
                0xBD, 0x9C, 0xEC, 0x56, 0x24, 0x37, 0x95, 0x9D, 0xD0, 0xCC, 0x25, 0x33, 0x6C, 0x61,
                0x1A, 0xC8, 0x16, 0xE6, 0x01, 0x59, 0x03, 0x79, 0xB2, 0x8C, 0xDC, 0xDF, 0x51, 0xD3,
                0xF1, 0xF2, 0xAA, 0x2E,
            ],
            &[
                0xB7, 0xC5, 0x64, 0x3D, 0xFF, 0x9E, 0xBB, 0x11, 0x4E, 0x30, 0xB4, 0x2E, 0x05, 0x93,
                0x6F, 0x49, 0x81, 0x0A, 0x72, 0x55, 0x8D, 0x1E, 0xC8, 0xD0, 0x24, 0x89, 0x82, 0xD4,
                0x4C, 0xD8, 0x44, 0x0B,
            ],
            &[
                0xBE, 0xB7, 0x02, 0x64, 0x3B, 0xEE, 0xE0, 0xC0, 0xBD, 0x9C, 0x42, 0xDB, 0x6A, 0x0D,
                0x87, 0xEA, 0xD7, 0x12, 0xA9, 0x0C, 0xDE, 0xAB, 0x8D, 0x58, 0xE9, 0xD3, 0xD1, 0x14,
                0xB0, 0x80, 0x62, 0x03,
            ],
        ],
        [
            &[
                0x69, 0xE2, 0x1E, 0x14, 0x02, 0xBC, 0x84, 0x88, 0xC1, 0x86, 0x10, 0xC1, 0x4C, 0x22,
                0x52, 0xCA, 0x0C, 0x04, 0xA4, 0x14, 0xAD, 0xCC, 0x7F, 0xC8, 0x5A, 0xE0, 0xA0, 0xB9,
                0xFF, 0xE1, 0x80, 0x13,
            ],
            &[
                0xA0, 0xAE, 0x7B, 0x71, 0xCE, 0x4A, 0x2C, 0x5A, 0xD3, 0x6A, 0x13, 0x7F, 0xAF, 0x43,
                0x69, 0x49, 0xC1, 0xFD, 0x43, 0xE9, 0xBA, 0x38, 0xAE, 0xA0, 0x14, 0x28, 0xED, 0x01,
                0xB7, 0xCA, 0x6C, 0x1C,
            ],
            &[
                0x4D, 0x65, 0x44, 0x8C, 0xD3, 0x5E, 0x11, 0x47, 0xFC, 0x88, 0xE6, 0x52, 0xE3, 0x4A,
                0xA3, 0xE2, 0xB8, 0x62, 0x20, 0x39, 0x1A, 0x63, 0x13, 0x1F, 0xC2, 0xE7, 0xAD, 0x1D,
                0x86, 0xAE, 0x69, 0x1B,
            ],
            &[
                0x06, 0x45, 0x8B, 0x37, 0x17, 0x4F, 0x30, 0xE5, 0xA8, 0xF6, 0x03, 0x71, 0xC9, 0x54,
                0xE5, 0xD4, 0xAF, 0x3E, 0x49, 0xA5, 0x8C, 0x30, 0x0A, 0xDC, 0x57, 0x73, 0x23, 0x49,
                0xD4, 0xC9, 0xC9, 0x02,
            ],
        ],
        [
            &[
                0x9C, 0xC4, 0xA6, 0x12, 0x0D, 0x5F, 0x5F, 0xA9, 0xFF, 0x4E, 0x02, 0xBE, 0x06, 0xAD,
                0xD6, 0x64, 0xF2, 0x6C, 0xA9, 0x3A, 0xAD, 0x3C, 0xA0, 0x35, 0xA3, 0x5B, 0x6F, 0xD8,
                0x79, 0x92, 0xF8, 0x2D,
            ],
            &[
                0x50, 0xBE, 0xAE, 0xED, 0xFA, 0x68, 0x90, 0x8B, 0xE1, 0x92, 0x15, 0x3F, 0xE2, 0x07,
                0xAB, 0xC0, 0xB1, 0x33, 0x06, 0xBB, 0xB5, 0x23, 0x9B, 0x4D, 0x41, 0xD0, 0x77, 0xE8,
                0x16, 0x61, 0xD3, 0x27,
            ],
            &[
                0x0C, 0x8A, 0x63, 0xD0, 0x8A, 0xFF, 0x28, 0xE9, 0x3E, 0x70, 0x8D, 0xE4, 0x2C, 0xCB,
                0x2F, 0xCD, 0x29, 0xE0, 0xFB, 0x2C, 0x4F, 0x6A, 0x03, 0x73, 0x16, 0xEA, 0xDA, 0x02,
                0xEA, 0xF6, 0xBF, 0x1E,
            ],
            &[
                0x4A, 0xFC, 0x9C, 0xC8, 0x91, 0xF6, 0x78, 0xF3, 0xDA, 0x12, 0x77, 0xE0, 0x9F, 0xAA,
                0x34, 0x15, 0x26, 0x6A, 0x4D, 0xF5, 0x55, 0x1C, 0xE9, 0xA4, 0x65, 0x45, 0x11, 0x5C,
                0x62, 0x8F, 0xC5, 0x1B,
            ],
        ],
        [
            &[
                0x25, 0x2F, 0x06, 0xB8, 0x40, 0x15, 0x21, 0x46, 0xEC, 0xD8, 0x6E, 0xDB, 0xF6, 0x96,
                0xEA, 0x96, 0xF9, 0x1C, 0x6C, 0x2A, 0xBE, 0xE0, 0xA0, 0x89, 0xDB, 0xE4, 0xC9, 0x58,
                0x12, 0x08, 0x6C, 0x24,
            ],
            &[
                0xA4, 0x81, 0x0E, 0x7B, 0xFE, 0xA3, 0xB4, 0xB1, 0xAF, 0x31, 0x56, 0xD9, 0xAA, 0xD0,
                0xF4, 0xDB, 0xAC, 0x46, 0x58, 0x6D, 0x65, 0x8E, 0x34, 0x2F, 0x1D, 0x64, 0x79, 0x50,
                0xB9, 0xF5, 0xF8, 0x13,
            ],
            &[
                0x80, 0x4F, 0x60, 0x19, 0x32, 0x69, 0x07, 0xEA, 0x5C, 0xC1, 0xF2, 0xE3, 0x06, 0xC8,
                0x09, 0xAF, 0x92, 0xF0, 0x92, 0x93, 0x85, 0x1A, 0x8B, 0xA1, 0xDF, 0xB3, 0x60, 0xDF,
                0x27, 0x73, 0x20, 0x2B,
            ],
            &[
                0x40, 0xFB, 0x59, 0xE6, 0x22, 0xB4, 0x07, 0xA4, 0xF6, 0x6B, 0x6D, 0x2D, 0xB1, 0xDB,
                0x49, 0xE5, 0x80, 0xB1, 0x23, 0x2D, 0x9F, 0xB7, 0x7F, 0x26, 0x9A, 0xCC, 0x62, 0xE0,
                0x70, 0xDD, 0x76, 0x20,
            ],
        ],
        [
            &[
                0x64, 0x8D, 0x42, 0x30, 0x04, 0x48, 0x27, 0xE3, 0xDA, 0x6D, 0xC8, 0x58, 0x9D, 0xD4,
                0x3F, 0x0B, 0x46, 0x23, 0xCA, 0xA7, 0x38, 0x1C, 0x37, 0xFA, 0x35, 0x3F, 0xF4, 0x28,
                0x37, 0xF0, 0x2E, 0x00,
            ],
            &[
                0x80, 0x6C, 0xC6, 0x54, 0xDD, 0x2A, 0xE5, 0x33, 0x13, 0x07, 0xD3, 0x97, 0xB8, 0xBB,
                0x97, 0x56, 0xAB, 0xF7, 0xAE, 0xBA, 0x4E, 0x04, 0x2D, 0xBF, 0x6B, 0x5B, 0x4E, 0x98,
                0x4E, 0x33, 0xE9, 0x2B,
            ],
            &[
                0x5B, 0xAE, 0x75, 0xD6, 0x4A, 0x09, 0x0B, 0xE5, 0x1C, 0x54, 0x5C, 0x95, 0xCD, 0x1D,
                0x88, 0x9B, 0x6E, 0xC2, 0xE0, 0x9D, 0xA2, 0x55, 0xA6, 0xE9, 0xBC, 0x89, 0xE9, 0x6A,
                0xB8, 0xB3, 0xC9, 0x0A,
            ],
            &[
                0x3C, 0x6F, 0x55, 0x83, 0x5D, 0x05, 0x87, 0xCF, 0x2E, 0x08, 0xD8, 0xC5, 0x20, 0xFA,
                0x9A, 0xBF, 0xD6, 0x78, 0xFC, 0x72, 0xBD, 0x3D, 0xD9, 0x4E, 0xC7, 0x81, 0x63, 0x34,
                0xDC, 0x03, 0xC5, 0x16,
            ],
        ],
        [
            &[
                0x57, 0xFF, 0xE4, 0x7E, 0xB5, 0x95, 0xD6, 0x67, 0xD9, 0xC8, 0xF4, 0xB9, 0x91, 0xCA,
                0xEA, 0x37, 0x55, 0xB8, 0xDF, 0xA1, 0x46, 0x1B, 0xE5, 0x92, 0xDC, 0xF9, 0x37, 0x95,
                0x62, 0x30, 0xF7, 0x2E,
            ],
            &[
                0x9B, 0xF9, 0xAC, 0xCF, 0xEE, 0x89, 0xEA, 0x25, 0xC9, 0x95, 0x9C, 0x91, 0x35, 0x8F,
                0xEF, 0xCF, 0xA1, 0xE4, 0x88, 0x28, 0x54, 0x2D, 0xFD, 0xA0, 0xEE, 0x6B, 0xC4, 0xCB,
                0xC6, 0xE9, 0x90, 0x24,
            ],
            &[
                0xF5, 0x3F, 0xA5, 0xD4, 0x65, 0x3B, 0x5C, 0x37, 0x33, 0xB8, 0x7F, 0xCE, 0xDA, 0xC0,
                0x31, 0x75, 0xE1, 0x91, 0x75, 0xC5, 0xB7, 0x14, 0x8E, 0x3C, 0x40, 0xFC, 0x20, 0x83,
                0x14, 0x98, 0x15, 0x2E,
            ],
            &[
                0x34, 0x54, 0xC3, 0x0F, 0xBE, 0x0E, 0xBB, 0xE4, 0x38, 0xFF, 0x0D, 0xD9, 0x3A, 0x0B,
                0xB6, 0x73, 0x50, 0x99, 0x2C, 0x19, 0x59, 0x19, 0x67, 0x4C, 0xAA, 0xBD, 0x58, 0xF7,
                0x1C, 0x98, 0x7A, 0x2A,
            ],
        ],
        [
            &[
                0x1B, 0x26, 0x58, 0x15, 0xE2, 0xB5, 0x7E, 0xC8, 0x84, 0x09, 0x03, 0x56, 0x38, 0x85,
                0xA7, 0x80, 0x1D, 0x08, 0x50, 0x7B, 0xED, 0x53, 0xB2, 0xBD, 0xEF, 0x16, 0xB3, 0x19,
                0x78, 0x85, 0x76, 0x2B,
            ],
            &[
                0x3D, 0x30, 0x30, 0x69, 0xE0, 0x99, 0xB9, 0xCA, 0xA8, 0x92, 0xD6, 0xE1, 0xEC, 0x72,
                0x0F, 0xB4, 0x60, 0x99, 0xFE, 0x06, 0x90, 0xE6, 0xE5, 0xF3, 0xBF, 0x75, 0x98, 0x4E,
                0x9E, 0xE9, 0x49, 0x05,
            ],
            &[
                0x42, 0x13, 0xC2, 0x56, 0xF8, 0x80, 0x5A, 0x98, 0x93, 0x07, 0xF8, 0xA1, 0x67, 0x5D,
                0xDD, 0x8C, 0x45, 0x63, 0xE3, 0x80, 0x03, 0xEC, 0xDC, 0xE7, 0x1D, 0x24, 0x30, 0x92,
                0x20, 0xC7, 0xBF, 0x02,
            ],
            &[
                0x33, 0x78, 0x55, 0x89, 0xCC, 0xE9, 0x88, 0x89, 0x0A, 0xD8, 0xA0, 0x31, 0x0B, 0xB4,
                0x16, 0x93, 0x84, 0xD2, 0x72, 0x10, 0x5B, 0x3B, 0x5C, 0x21, 0x83, 0xCD, 0x08, 0xBE,
                0xFA, 0x4C, 0x4B, 0x30,
            ],
        ],
        [
            &[
                0xCB, 0xF1, 0x08, 0x52, 0x06, 0xDC, 0x20, 0xBB, 0x6E, 0x22, 0xE2, 0x6C, 0x6D, 0x7F,
                0x9D, 0x98, 0xB2, 0x6F, 0x2C, 0x3B, 0x0F, 0x6A, 0xD5, 0xB2, 0x46, 0xBC, 0x0E, 0x8E,
                0x5D, 0xD4, 0x58, 0x17,
            ],
            &[
                0xF7, 0xD1, 0x14, 0x3E, 0xED, 0xA4, 0x43, 0x75, 0x6B, 0xB1, 0x4D, 0x5B, 0x69, 0x32,
                0x67, 0xD2, 0xE5, 0xF6, 0x2E, 0x85, 0x5A, 0xD2, 0x32, 0x63, 0xAE, 0x97, 0x59, 0xCF,
                0x48, 0xD7, 0x27, 0x2F,
            ],
            &[
                0xDE, 0x7E, 0xB6, 0xC9, 0xB4, 0xC5, 0x69, 0x70, 0x61, 0x4D, 0x52, 0x52, 0x5F, 0x42,
                0x06, 0xB4, 0x5B, 0xB1, 0xB0, 0x97, 0x5C, 0x97, 0xAB, 0x68, 0x3E, 0xAA, 0x74, 0x07,
                0xD9, 0x39, 0xBB, 0x1E,
            ],
            &[
                0xB0, 0x0E, 0x55, 0x2A, 0xCB, 0x91, 0xB2, 0xA5, 0x21, 0x6E, 0x73, 0x7A, 0x5F, 0xA1,
                0x0D, 0x4C, 0x32, 0xE2, 0xB9, 0xD5, 0x11, 0x24, 0x9D, 0xA8, 0xDD, 0x3C, 0xAE, 0x0B,
                0x03, 0x1C, 0x46, 0x2D,
            ],
        ],
    ];

    // // the following code is used to dump the key schedule to screen
    // // in a sage friendly format
    // let keys2 = rescue_perm.key_schedule(&zero);
    // for e in keys2.iter() {
    //     for f in e.vec.iter() {
    //         ark_std::println!(
    //              "permutation_round_key.append(0x{:#X})",
    //              f.into_bigint(),
    //         );
    //     }
    // }
    // The keys are not cross-checked with sage, however, the hash function
    // is, which implies that the permutation round keys must be correct
    // (or else, the hash function outputs will not match)
    // see unit tests:
    //   - test_sponge()
    //   - test_rescue_hash_on_0_vec()
    //   - test_rescue_perm_on_0_vec()
    const PERMUTATION_ROUND_KEYS: [[&'static [u8]; 4]; 25] = [
        [
            &[
                0x53, 0xE8, 0xEC, 0xF4, 0xE8, 0x63, 0x35, 0x27, 0xB8, 0x7C, 0x8E, 0xFA, 0xF9, 0xA4,
                0x20, 0x28, 0xFD, 0x84, 0xD1, 0xE5, 0xA3, 0xAF, 0xEC, 0xF0, 0xF9, 0x9A, 0x24, 0x5A,
                0x19, 0xF5, 0x4E, 0x20,
            ],
            &[
                0xE3, 0xE4, 0xA8, 0x9B, 0x15, 0xBD, 0xC4, 0x32, 0x45, 0x0A, 0x14, 0xB6, 0xB6, 0x5E,
                0x13, 0x5C, 0x6A, 0x9C, 0x1C, 0xBF, 0xFF, 0xA0, 0xB6, 0x48, 0x86, 0xD4, 0x87, 0xB6,
                0xFB, 0x25, 0xD5, 0x00,
            ],
            &[
                0x28, 0x99, 0xEA, 0x72, 0xFB, 0x61, 0x3B, 0xBE, 0x27, 0x65, 0xE1, 0xE3, 0xAC, 0x3C,
                0xE6, 0xEB, 0xB3, 0x31, 0xC8, 0x1B, 0x5D, 0xA5, 0x6B, 0x4E, 0x8C, 0xAD, 0xDE, 0x4F,
                0x9C, 0x15, 0xB1, 0x10,
            ],
            &[
                0xCC, 0x7A, 0x1B, 0x72, 0xDC, 0x66, 0xBF, 0x13, 0x33, 0x24, 0x18, 0x44, 0xE0, 0x87,
                0x53, 0xE5, 0xC2, 0x68, 0xC5, 0xDA, 0x78, 0x52, 0x79, 0x16, 0x68, 0x9E, 0x40, 0xED,
                0x86, 0xFA, 0x23, 0x08,
            ],
        ],
        [
            &[
                0x5D, 0xF3, 0x09, 0x5A, 0x02, 0x1E, 0x38, 0xB5, 0x7A, 0x5D, 0x57, 0xB0, 0x0C, 0x39,
                0x7B, 0x33, 0x78, 0xEA, 0xCF, 0xE5, 0xE7, 0x71, 0x2F, 0xBA, 0x86, 0x62, 0x8B, 0x1F,
                0xD8, 0xA2, 0x95, 0x2F,
            ],
            &[
                0x82, 0xC3, 0xA9, 0x30, 0xD5, 0x07, 0x35, 0xA5, 0x0A, 0x76, 0x0A, 0x1E, 0x86, 0x2A,
                0x0E, 0x99, 0xD5, 0x8D, 0x30, 0xAC, 0x5C, 0x4C, 0xB9, 0x59, 0x07, 0x12, 0x0B, 0x28,
                0x7C, 0x08, 0xF0, 0x1F,
            ],
            &[
                0xD4, 0xDB, 0x72, 0xAF, 0xFE, 0xB8, 0x66, 0xA0, 0x23, 0x89, 0x2B, 0x34, 0x84, 0x03,
                0x6D, 0x63, 0xB3, 0x27, 0x4B, 0x10, 0xB4, 0xA9, 0xA0, 0x6C, 0xF6, 0x44, 0x82, 0xF7,
                0x70, 0x85, 0x32, 0x14,
            ],
            &[
                0xA8, 0xAB, 0x9D, 0xC7, 0xDA, 0x2B, 0x07, 0xDE, 0x8E, 0x75, 0xEF, 0xF6, 0xF9, 0xC9,
                0x80, 0x2A, 0x2E, 0xBE, 0xED, 0x84, 0x07, 0x94, 0x7E, 0x91, 0x8C, 0x90, 0xB4, 0xBB,
                0x03, 0xD8, 0x21, 0x08,
            ],
        ],
        [
            &[
                0xA4, 0xE5, 0x6F, 0x90, 0xED, 0xF9, 0xFF, 0x84, 0xFA, 0x11, 0x3D, 0x6F, 0x65, 0x74,
                0x88, 0x51, 0x77, 0x88, 0x58, 0x7B, 0x1A, 0x57, 0xC1, 0xA6, 0x59, 0x6F, 0x17, 0xE6,
                0x98, 0x3F, 0x15, 0x19,
            ],
            &[
                0xF2, 0xB2, 0x3E, 0x75, 0xAD, 0x28, 0x30, 0xEF, 0xF6, 0xC1, 0xD6, 0x7F, 0x24, 0xE7,
                0x2B, 0x0D, 0x38, 0x32, 0xAD, 0x0A, 0x0E, 0x9C, 0xB4, 0x88, 0x49, 0x0B, 0x95, 0x56,
                0xDD, 0x8D, 0x0A, 0x13,
            ],
            &[
                0x2F, 0xF1, 0xFE, 0x4F, 0xC2, 0xD2, 0x68, 0x50, 0x59, 0x4A, 0x00, 0x99, 0xB0, 0x1E,
                0xEC, 0x84, 0x1A, 0x28, 0xBD, 0x7F, 0x85, 0xB9, 0x7D, 0x34, 0x65, 0x3A, 0x35, 0x4A,
                0xC7, 0xA3, 0x27, 0x10,
            ],
            &[
                0x72, 0x03, 0x4A, 0xDD, 0xCA, 0x93, 0x02, 0x09, 0x16, 0x07, 0x9A, 0x6E, 0xEB, 0xC7,
                0x76, 0x2B, 0x44, 0x06, 0x9E, 0xBF, 0x8B, 0xBF, 0xDB, 0x8C, 0x62, 0x22, 0x17, 0x9A,
                0x8A, 0xB4, 0x87, 0x13,
            ],
        ],
        [
            &[
                0x51, 0x51, 0xD2, 0x9A, 0x2D, 0x90, 0xD5, 0xEC, 0xCD, 0x9F, 0x4D, 0xF0, 0xE7, 0x31,
                0x95, 0x3C, 0x2A, 0x7B, 0x4F, 0x8D, 0x2D, 0xEE, 0xE1, 0x07, 0x07, 0x74, 0x46, 0xB3,
                0x76, 0x9D, 0x56, 0x08,
            ],
            &[
                0x1D, 0xFE, 0xFA, 0x8C, 0x72, 0x56, 0x69, 0x7A, 0xE2, 0xE6, 0xD0, 0x6F, 0x22, 0xA6,
                0xFF, 0xBD, 0x7E, 0x3B, 0xB8, 0xA3, 0x0E, 0xC0, 0xDD, 0x45, 0xF7, 0x01, 0x7B, 0x5A,
                0x3F, 0x6F, 0x52, 0x06,
            ],
            &[
                0x48, 0x10, 0x05, 0x30, 0x9C, 0x8A, 0xC8, 0xDD, 0x13, 0x00, 0x38, 0x8B, 0x5C, 0x38,
                0xC9, 0x16, 0xF2, 0x43, 0x92, 0x5F, 0xDE, 0x2E, 0x85, 0x69, 0xBE, 0x0A, 0x4A, 0xA8,
                0x70, 0x04, 0xEB, 0x2F,
            ],
            &[
                0x7C, 0x11, 0x9A, 0x13, 0x59, 0xA9, 0x35, 0x09, 0x63, 0xFD, 0x23, 0xE3, 0x3A, 0x6D,
                0xB1, 0x85, 0x8C, 0xE1, 0xB4, 0x77, 0x1C, 0x27, 0x9E, 0xB7, 0x78, 0x99, 0xAC, 0x30,
                0xEF, 0x06, 0x1B, 0x2E,
            ],
        ],
        [
            &[
                0xD4, 0xEF, 0xF3, 0x74, 0x53, 0x4F, 0x1F, 0x13, 0xEF, 0xB7, 0x4E, 0x9E, 0x6C, 0x7E,
                0xFB, 0xD9, 0x25, 0xD3, 0xA4, 0x75, 0x52, 0xFE, 0x7E, 0x98, 0x6A, 0x39, 0xD9, 0x0A,
                0x01, 0xA3, 0x53, 0x0B,
            ],
            &[
                0xCC, 0xEC, 0x89, 0x2B, 0x62, 0x10, 0x01, 0xE7, 0xA5, 0xFA, 0x6B, 0x13, 0x46, 0xD3,
                0x8B, 0xAF, 0xD6, 0x68, 0x66, 0x30, 0x8C, 0x31, 0x74, 0xB6, 0x88, 0x4C, 0x0E, 0x56,
                0xF8, 0x42, 0x93, 0x1D,
            ],
            &[
                0x35, 0x13, 0xC9, 0x0D, 0xD9, 0xB4, 0x4A, 0xF8, 0x40, 0x44, 0x0C, 0x13, 0x2F, 0xF8,
                0x34, 0xEB, 0x9D, 0x47, 0xD2, 0xEF, 0x1F, 0x1E, 0x21, 0x6F, 0x1C, 0x01, 0xE4, 0x5F,
                0xD9, 0xBD, 0x7E, 0x0F,
            ],
            &[
                0x1F, 0x7F, 0xBD, 0x35, 0x30, 0xD8, 0xAE, 0x55, 0x8C, 0xE4, 0x76, 0x66, 0x91, 0xE6,
                0x7F, 0x00, 0xF9, 0x0A, 0xA9, 0x7A, 0x93, 0xA3, 0xB8, 0x51, 0x77, 0xDC, 0xF7, 0x9F,
                0xB4, 0x11, 0x73, 0x17,
            ],
        ],
        [
            &[
                0xB9, 0x87, 0x5F, 0x63, 0x90, 0x59, 0x75, 0xCD, 0x58, 0x90, 0xE8, 0xF2, 0x8B, 0xDE,
                0x43, 0x56, 0x4A, 0x7F, 0xAF, 0x0D, 0x22, 0x3B, 0x26, 0x22, 0x2C, 0x55, 0xBD, 0x0F,
                0x77, 0xAE, 0x19, 0x10,
            ],
            &[
                0xC1, 0x3B, 0x97, 0xCE, 0x0B, 0x40, 0x54, 0x04, 0xDC, 0xC8, 0x5C, 0x06, 0xF2, 0x7C,
                0xDE, 0x17, 0x90, 0xED, 0x24, 0xF9, 0x5B, 0x6A, 0x76, 0xFB, 0xFA, 0xD7, 0x6F, 0x7B,
                0xE0, 0xEE, 0x18, 0x01,
            ],
            &[
                0xB5, 0x88, 0xE6, 0x81, 0xA7, 0x26, 0x58, 0x04, 0xF5, 0xE4, 0x56, 0x16, 0x57, 0x43,
                0x8F, 0xAD, 0xBD, 0xBD, 0x23, 0x7F, 0x75, 0x3B, 0x5F, 0xAF, 0x50, 0xE7, 0x34, 0x4E,
                0x54, 0x3C, 0xA0, 0x0C,
            ],
            &[
                0xB4, 0x9A, 0x63, 0x79, 0x86, 0x05, 0x67, 0x75, 0x11, 0x74, 0x7D, 0x88, 0x6A, 0xEF,
                0x61, 0xDE, 0xB0, 0x97, 0xE7, 0xF6, 0xF2, 0x3E, 0xE3, 0xB4, 0xF1, 0x07, 0x0C, 0xEC,
                0x99, 0x05, 0xC6, 0x0C,
            ],
        ],
        [
            &[
                0x2E, 0x18, 0x48, 0xDB, 0x79, 0x99, 0x6C, 0x1D, 0xBB, 0x05, 0x9C, 0xFB, 0x9B, 0x82,
                0x7C, 0xB4, 0x5B, 0x48, 0x63, 0x74, 0x29, 0x93, 0xCE, 0xD1, 0x58, 0xC6, 0xDE, 0x6F,
                0x55, 0x72, 0xB8, 0x24,
            ],
            &[
                0x42, 0xBC, 0x30, 0x5E, 0xE5, 0x42, 0x8C, 0x43, 0xBB, 0x7A, 0xB6, 0x49, 0x63, 0x89,
                0x40, 0xDF, 0x1B, 0x7B, 0x7A, 0x4A, 0x6B, 0xBF, 0xD0, 0x8E, 0xD6, 0x1E, 0xB2, 0x95,
                0x37, 0x86, 0x70, 0x1C,
            ],
            &[
                0xD2, 0xF9, 0x30, 0xB4, 0xDD, 0x2A, 0xF6, 0x4D, 0x96, 0xA0, 0xFB, 0x1E, 0xEB, 0x75,
                0x41, 0x2B, 0xE4, 0x69, 0x23, 0xD9, 0x86, 0xFA, 0xB3, 0xBF, 0x0B, 0x59, 0x43, 0xC6,
                0xE5, 0xFE, 0x07, 0x2E,
            ],
            &[
                0x82, 0x7C, 0x49, 0x8F, 0x05, 0x14, 0xB1, 0x04, 0xCE, 0x0F, 0x97, 0x06, 0x5F, 0xE5,
                0xC8, 0x9C, 0xFB, 0x76, 0xEC, 0xCF, 0x67, 0xA0, 0xA3, 0x17, 0x09, 0x87, 0x05, 0xD0,
                0xAF, 0x1F, 0x60, 0x23,
            ],
        ],
        [
            &[
                0x2E, 0xA4, 0xA9, 0xB2, 0x0F, 0x77, 0xDF, 0x43, 0x4C, 0xAA, 0xFD, 0x86, 0x21, 0xCD,
                0xC7, 0xAE, 0xEF, 0xE0, 0xB0, 0x5A, 0xBC, 0x56, 0x8F, 0xDC, 0x1F, 0x36, 0x5E, 0x1B,
                0xD8, 0xC5, 0xA6, 0x25,
            ],
            &[
                0xE5, 0x4C, 0xE5, 0xB9, 0xC0, 0x20, 0x4B, 0xEB, 0x04, 0xF6, 0x7E, 0x84, 0xF2, 0xD0,
                0x5B, 0x2C, 0xB6, 0xD5, 0x26, 0x9C, 0xCF, 0xCC, 0xE9, 0x89, 0xEF, 0x51, 0x6D, 0x67,
                0x26, 0x58, 0x5D, 0x0C,
            ],
            &[
                0x27, 0x6A, 0x06, 0xA7, 0xF0, 0xE8, 0x9A, 0xE7, 0x0F, 0x1A, 0x7E, 0xBF, 0xFF, 0x47,
                0x3B, 0xD4, 0x4B, 0x56, 0x8F, 0x24, 0x39, 0xBB, 0xF4, 0x8A, 0x01, 0x84, 0xDA, 0xB7,
                0x61, 0x2A, 0x77, 0x1C,
            ],
            &[
                0x3A, 0x9F, 0x23, 0x22, 0x05, 0xF0, 0xB9, 0xF9, 0xA1, 0x96, 0x8C, 0x5C, 0xE3, 0x48,
                0xEB, 0x40, 0x16, 0x16, 0xB1, 0x2A, 0x6F, 0xD5, 0xFA, 0x60, 0x4B, 0xB9, 0xFA, 0xDE,
                0x27, 0x07, 0x9C, 0x2E,
            ],
        ],
        [
            &[
                0x29, 0x58, 0x54, 0xA4, 0x08, 0x70, 0xEE, 0xA9, 0x37, 0x2E, 0x4D, 0xA5, 0x97, 0x6D,
                0x24, 0xA9, 0xCE, 0x09, 0x14, 0x3E, 0x30, 0x8B, 0x6F, 0x82, 0xA9, 0x42, 0xED, 0x27,
                0x16, 0xAB, 0x5D, 0x2D,
            ],
            &[
                0xE9, 0x3F, 0x6C, 0x52, 0x62, 0x01, 0xD7, 0xE3, 0x76, 0x94, 0x7F, 0xFD, 0x6C, 0xAA,
                0x11, 0xF4, 0x30, 0x81, 0x34, 0x03, 0x61, 0xE4, 0x26, 0xFC, 0xE8, 0x91, 0x5A, 0xF0,
                0x94, 0x29, 0x08, 0x2C,
            ],
            &[
                0x5B, 0x83, 0xA8, 0x5A, 0x47, 0x6D, 0xF3, 0x98, 0xFC, 0x53, 0xEA, 0x49, 0xD2, 0xA5,
                0xA2, 0x34, 0xF4, 0xC4, 0x81, 0xF3, 0x64, 0xF2, 0x7F, 0x56, 0xD3, 0x22, 0x88, 0x9C,
                0xA9, 0x52, 0x95, 0x1D,
            ],
            &[
                0x2B, 0xA6, 0xD0, 0x64, 0xD7, 0x81, 0xD4, 0x6D, 0x06, 0xFF, 0xAA, 0x4D, 0xC5, 0xDE,
                0x0C, 0x2A, 0x12, 0x99, 0x8B, 0xD5, 0xC8, 0x82, 0x35, 0xFE, 0xD5, 0x63, 0x31, 0x6D,
                0x51, 0xD8, 0x1A, 0x2D,
            ],
        ],
        [
            &[
                0x65, 0x22, 0xB1, 0x5A, 0x88, 0x94, 0x05, 0xA9, 0xC9, 0x1C, 0x49, 0x7E, 0xF5, 0x4A,
                0x34, 0xBD, 0xAD, 0xCA, 0x3F, 0xEE, 0xC8, 0xC5, 0x37, 0x66, 0x07, 0x84, 0x5E, 0xDA,
                0x77, 0x23, 0x27, 0x25,
            ],
            &[
                0x74, 0xEF, 0xCA, 0x45, 0xEB, 0x5D, 0x20, 0xD8, 0xD2, 0xD4, 0x0D, 0x74, 0xE0, 0x8D,
                0xA2, 0xFA, 0x1C, 0x5B, 0x32, 0x34, 0x11, 0x60, 0x21, 0x99, 0xCA, 0xBE, 0x22, 0x8C,
                0xB5, 0xB2, 0x04, 0x25,
            ],
            &[
                0x1A, 0x23, 0x8F, 0x9C, 0x08, 0xD4, 0x03, 0x5F, 0xD9, 0xB0, 0x38, 0x20, 0xDD, 0xC7,
                0x19, 0x97, 0x97, 0x43, 0x6C, 0x53, 0x29, 0x6E, 0x30, 0x9F, 0xB2, 0x51, 0x0C, 0x44,
                0xE5, 0x50, 0x39, 0x07,
            ],
            &[
                0xBE, 0xE5, 0xBF, 0x54, 0x3E, 0x84, 0xF0, 0xAB, 0xE7, 0x43, 0xEB, 0xAD, 0x3A, 0x10,
                0x30, 0x0F, 0x3D, 0xFC, 0xE1, 0x77, 0xBE, 0x7E, 0x8D, 0x98, 0xF9, 0xE4, 0xBD, 0x97,
                0xCB, 0xE9, 0xE7, 0x28,
            ],
        ],
        [
            &[
                0x10, 0x5E, 0xDD, 0x91, 0x9A, 0xE4, 0xDE, 0x0D, 0x3A, 0x4A, 0xD1, 0x9E, 0x15, 0x0E,
                0x8D, 0x24, 0xFC, 0xD1, 0x13, 0xC9, 0x2B, 0x11, 0xD8, 0xD1, 0x77, 0x1F, 0x3A, 0x76,
                0x6E, 0x36, 0x67, 0x19,
            ],
            &[
                0xFD, 0x02, 0xF2, 0x75, 0xFF, 0x2B, 0x01, 0x3E, 0x17, 0xBC, 0xC3, 0x35, 0x3E, 0x89,
                0x84, 0xE3, 0xE7, 0x53, 0xB8, 0x57, 0x44, 0xAC, 0xBE, 0xA5, 0x88, 0x0C, 0xC0, 0xB2,
                0xBA, 0x65, 0x30, 0x2A,
            ],
            &[
                0x53, 0x76, 0x79, 0x18, 0x5E, 0x74, 0x12, 0x9E, 0xD2, 0xDA, 0x4E, 0x5D, 0xD3, 0x7C,
                0xEF, 0x52, 0xDF, 0x35, 0xD2, 0x69, 0x3D, 0xF0, 0x91, 0xB7, 0x8A, 0x54, 0xB1, 0x6F,
                0x8D, 0x3A, 0xCC, 0x2F,
            ],
            &[
                0xD6, 0xD4, 0x86, 0x76, 0xAD, 0xE4, 0xA7, 0x29, 0x57, 0x4B, 0xFB, 0x93, 0xDE, 0x75,
                0x36, 0x83, 0x21, 0x7D, 0x1E, 0x16, 0x10, 0x55, 0x15, 0x95, 0x45, 0x2B, 0x45, 0xD1,
                0x8A, 0x64, 0xAC, 0x2F,
            ],
        ],
        [
            &[
                0x61, 0x16, 0x99, 0x74, 0x18, 0xB6, 0xB5, 0x18, 0x75, 0xBE, 0x79, 0x26, 0xFD, 0x51,
                0x9B, 0x7D, 0x2F, 0x4F, 0xC8, 0x91, 0xE1, 0xC0, 0x6B, 0x21, 0x4B, 0x65, 0x54, 0x45,
                0x81, 0x73, 0xCC, 0x0B,
            ],
            &[
                0x18, 0x56, 0xA8, 0x19, 0x03, 0xE1, 0x21, 0x11, 0x59, 0x69, 0xCE, 0x74, 0x95, 0xD9,
                0x51, 0xDD, 0x4D, 0x6C, 0x67, 0x86, 0xB5, 0x50, 0x93, 0x53, 0xEE, 0xD0, 0x3B, 0x9B,
                0xC5, 0x89, 0xF4, 0x10,
            ],
            &[
                0xB0, 0xEE, 0x68, 0x1E, 0xDA, 0xD6, 0x21, 0x12, 0x26, 0x78, 0xE1, 0x41, 0x46, 0x2C,
                0x3D, 0x24, 0x9C, 0xEE, 0xF3, 0x12, 0xC5, 0xE2, 0x8C, 0x77, 0x74, 0x33, 0xDF, 0x38,
                0x56, 0x2B, 0xB2, 0x06,
            ],
            &[
                0x7E, 0x39, 0x3B, 0x23, 0x14, 0x78, 0xAF, 0x94, 0x76, 0x49, 0x1E, 0x19, 0x9C, 0x7C,
                0x51, 0xD0, 0x7E, 0xB9, 0x75, 0xB5, 0x1C, 0xDF, 0xA4, 0xF5, 0xC9, 0xCC, 0x3D, 0x56,
                0x92, 0xEA, 0xEE, 0x1E,
            ],
        ],
        [
            &[
                0x2C, 0xDF, 0x3F, 0xA1, 0x8B, 0xAA, 0x44, 0x36, 0x69, 0x24, 0xA3, 0x7A, 0x1E, 0x17,
                0x0A, 0x7C, 0x59, 0x89, 0xD3, 0x7D, 0xF1, 0xE1, 0xD4, 0xB2, 0xD3, 0x6E, 0x6F, 0x1A,
                0xE4, 0x50, 0x42, 0x1D,
            ],
            &[
                0xF8, 0x80, 0xC5, 0xB9, 0x43, 0xC7, 0xB2, 0x5B, 0xBC, 0x6D, 0x21, 0xEE, 0x27, 0xE9,
                0xBC, 0xE4, 0x18, 0x8F, 0x7D, 0x33, 0x4C, 0xA3, 0x9D, 0x14, 0xD3, 0xA1, 0x20, 0x18,
                0xFB, 0x4E, 0x01, 0x1C,
            ],
            &[
                0x90, 0xFB, 0x5D, 0x76, 0x3A, 0x76, 0xB5, 0x49, 0xD5, 0xED, 0x6B, 0xB5, 0x6E, 0xB6,
                0xC0, 0xA2, 0x09, 0xE8, 0xE3, 0x6C, 0x29, 0x19, 0xD8, 0x2F, 0xF1, 0xCC, 0x15, 0xB1,
                0xB9, 0x38, 0xA9, 0x01,
            ],
            &[
                0x85, 0x48, 0x76, 0xE1, 0x1C, 0x52, 0xC9, 0x4F, 0xAC, 0x33, 0xA2, 0xEA, 0x11, 0x12,
                0x8D, 0xB2, 0x78, 0x60, 0xA5, 0xA6, 0xB6, 0x16, 0x31, 0xF8, 0xD7, 0x74, 0x5E, 0xE8,
                0x18, 0x5D, 0x9E, 0x22,
            ],
        ],
        [
            &[
                0xB2, 0x84, 0x6D, 0x2B, 0xBE, 0x5C, 0x84, 0x79, 0x2B, 0x31, 0x9B, 0x0D, 0xF5, 0xC3,
                0xE4, 0x3F, 0xB3, 0xAF, 0xE8, 0x30, 0xDD, 0x80, 0xF1, 0xA5, 0x21, 0x03, 0x0B, 0x05,
                0xC0, 0xDC, 0x7A, 0x02,
            ],
            &[
                0x04, 0xE7, 0x42, 0xEC, 0x09, 0xF5, 0x6C, 0x2A, 0x09, 0x07, 0xA1, 0x25, 0x63, 0x5B,
                0x5D, 0x48, 0xFC, 0xE7, 0x0E, 0x62, 0x66, 0xA4, 0xFA, 0xF5, 0x32, 0x8D, 0x48, 0x5C,
                0xE6, 0xF8, 0xFE, 0x19,
            ],
            &[
                0x59, 0x54, 0xE3, 0x1B, 0x1B, 0xEF, 0xFE, 0xB3, 0x5F, 0x03, 0xD2, 0xFF, 0xDB, 0x5A,
                0xF1, 0xE6, 0xC1, 0xAD, 0xEE, 0xEF, 0x9A, 0x84, 0xEB, 0x9F, 0xC5, 0x8E, 0x28, 0x5B,
                0x4A, 0x72, 0x29, 0x04,
            ],
            &[
                0xAE, 0x9D, 0x5C, 0x94, 0x7F, 0x93, 0x5A, 0x82, 0x07, 0x9E, 0xF2, 0xA8, 0x01, 0x16,
                0x38, 0xBE, 0xD4, 0xE9, 0xF3, 0x1A, 0x5C, 0xE1, 0x91, 0x65, 0x7C, 0xD4, 0x87, 0x89,
                0xB9, 0xFF, 0x84, 0x0A,
            ],
        ],
        [
            &[
                0x47, 0xF9, 0x73, 0x9C, 0x21, 0x56, 0xFF, 0xA2, 0x54, 0xA5, 0xF5, 0x30, 0x20, 0x6F,
                0x26, 0x2F, 0xC9, 0x3D, 0xFF, 0x5B, 0x53, 0x1D, 0x08, 0x95, 0x1A, 0x84, 0x5E, 0x7D,
                0x54, 0x23, 0x6A, 0x0A,
            ],
            &[
                0x41, 0x27, 0x98, 0x5F, 0x18, 0x61, 0x36, 0x0C, 0x83, 0xB4, 0xD9, 0x48, 0x10, 0x77,
                0xD8, 0xD0, 0x60, 0x70, 0x3D, 0xD2, 0x90, 0xBA, 0x4E, 0x1B, 0x30, 0xFB, 0x0A, 0x47,
                0x45, 0x10, 0x06, 0x1C,
            ],
            &[
                0xDE, 0x17, 0x0E, 0x3C, 0x5C, 0x22, 0x70, 0x69, 0xFB, 0x58, 0xED, 0x5B, 0xB3, 0x2D,
                0xF8, 0x84, 0x1F, 0x25, 0x90, 0x2E, 0x20, 0xEA, 0xB9, 0x30, 0x67, 0xC3, 0x1C, 0x8E,
                0x99, 0x60, 0x66, 0x20,
            ],
            &[
                0x40, 0xF0, 0x57, 0xF7, 0x08, 0x91, 0x9E, 0x10, 0x61, 0x51, 0x0C, 0x48, 0xBA, 0x9A,
                0xAF, 0x47, 0x2F, 0x88, 0xD1, 0x47, 0x9B, 0xA7, 0xED, 0x23, 0x64, 0x88, 0x2A, 0x4F,
                0xD0, 0xBB, 0x09, 0x05,
            ],
        ],
        [
            &[
                0xDD, 0x0D, 0x27, 0x6B, 0xBD, 0x1C, 0x2B, 0x37, 0x93, 0x6A, 0x71, 0x4D, 0x08, 0xEB,
                0x55, 0x14, 0x62, 0xCE, 0x51, 0xA0, 0x86, 0x49, 0x16, 0x29, 0xCA, 0x02, 0x44, 0x4A,
                0x1D, 0x17, 0x33, 0x28,
            ],
            &[
                0xDD, 0xDD, 0x84, 0xFD, 0xC5, 0x92, 0xBD, 0x33, 0xE3, 0xDB, 0xA8, 0x65, 0xDB, 0xD8,
                0xE0, 0x8F, 0x21, 0x1D, 0xD8, 0x99, 0xBA, 0x95, 0xE7, 0x96, 0x5C, 0xE3, 0x4B, 0xB0,
                0x1E, 0x5B, 0x32, 0x1F,
            ],
            &[
                0x89, 0x7E, 0x92, 0x10, 0x5B, 0xAC, 0x55, 0x2F, 0x2B, 0x92, 0xC8, 0xAB, 0x24, 0x47,
                0x3C, 0xE9, 0xED, 0x84, 0x47, 0x8C, 0x73, 0x95, 0x70, 0x34, 0xD0, 0x87, 0xB1, 0xA4,
                0xFF, 0xAB, 0xCE, 0x23,
            ],
            &[
                0x70, 0x51, 0x46, 0x79, 0x84, 0xED, 0xCD, 0xF9, 0xA2, 0xE9, 0x0C, 0x16, 0xFB, 0x18,
                0xE6, 0x28, 0x3E, 0x4E, 0x72, 0x96, 0x9C, 0xAF, 0xB0, 0x1A, 0x81, 0xC8, 0x33, 0x05,
                0x31, 0xCF, 0xC8, 0x2B,
            ],
        ],
        [
            &[
                0x8C, 0xB9, 0x59, 0x47, 0xD5, 0x3B, 0x97, 0xA6, 0x72, 0x49, 0x08, 0x37, 0x4A, 0x5F,
                0xD3, 0x1D, 0x92, 0x0F, 0xD5, 0xCA, 0xAA, 0xB9, 0x39, 0xDA, 0xF1, 0x49, 0x38, 0xA3,
                0x14, 0xD0, 0xE9, 0x28,
            ],
            &[
                0xE8, 0x0B, 0x3A, 0x97, 0x23, 0x5B, 0x7F, 0xC5, 0x37, 0x10, 0xBB, 0x63, 0xD5, 0x49,
                0x4B, 0x88, 0x44, 0x88, 0x22, 0xE1, 0x22, 0x62, 0xB5, 0x63, 0x3F, 0x79, 0xF1, 0xA7,
                0x85, 0xD0, 0x3A, 0x1E,
            ],
            &[
                0x4F, 0x84, 0x7C, 0xDE, 0x01, 0x91, 0x2F, 0xB1, 0x71, 0x41, 0xCC, 0xD7, 0x5E, 0xFE,
                0xD6, 0x15, 0x71, 0x30, 0xF8, 0xD8, 0x22, 0x5A, 0xE9, 0xA9, 0x9B, 0x41, 0x68, 0xEC,
                0x9A, 0x1F, 0x7E, 0x2A,
            ],
            &[
                0xD6, 0x2D, 0x41, 0xA9, 0x8C, 0x75, 0xE2, 0x33, 0xCB, 0x0C, 0xC2, 0x38, 0xF1, 0x7D,
                0x4D, 0x1E, 0x53, 0x8E, 0x97, 0xF8, 0xC9, 0x03, 0xBF, 0x5A, 0x26, 0x7D, 0xA2, 0xC4,
                0x0F, 0x5E, 0x64, 0x1B,
            ],
        ],
        [
            &[
                0xA8, 0xFB, 0xF4, 0x9C, 0xB5, 0xB0, 0xA6, 0xC1, 0xA2, 0xB4, 0x74, 0x9C, 0xD5, 0x2C,
                0xBF, 0x60, 0xC2, 0x35, 0x87, 0x4E, 0x9B, 0xCF, 0xEF, 0x55, 0x3C, 0xE2, 0xE5, 0x7F,
                0x70, 0x2E, 0x11, 0x0B,
            ],
            &[
                0x10, 0xBA, 0x5F, 0xB8, 0x28, 0xC7, 0x6F, 0x58, 0x0B, 0x33, 0xE6, 0x79, 0xC6, 0x09,
                0x37, 0xBE, 0xA6, 0x2D, 0x48, 0x94, 0xA3, 0x05, 0xD9, 0x7B, 0xDB, 0xB1, 0x3B, 0x48,
                0x91, 0xB5, 0xE2, 0x10,
            ],
            &[
                0xCC, 0x64, 0x6B, 0x9A, 0x09, 0x90, 0xA3, 0x6F, 0x15, 0x0F, 0xF7, 0xB5, 0xDC, 0x75,
                0xCB, 0xD9, 0x6A, 0x85, 0x0B, 0xA4, 0xE0, 0xF9, 0x93, 0x0B, 0x50, 0xD4, 0xE8, 0xC5,
                0x90, 0x6B, 0xF4, 0x24,
            ],
            &[
                0x9C, 0x65, 0x99, 0x9F, 0xF3, 0x3D, 0xF1, 0xE8, 0xBD, 0x7B, 0xA5, 0x24, 0x31, 0xC6,
                0xF0, 0x2D, 0x70, 0x5F, 0xBB, 0xED, 0xA5, 0x46, 0x03, 0xD5, 0xC8, 0x15, 0x82, 0xBE,
                0xC8, 0x76, 0x1F, 0x13,
            ],
        ],
        [
            &[
                0x2B, 0x62, 0xA5, 0xAD, 0xA3, 0x05, 0xFD, 0xB1, 0xEA, 0x00, 0x8A, 0x37, 0xC6, 0x46,
                0x92, 0xDE, 0x49, 0xE1, 0x81, 0xA4, 0x88, 0x41, 0x32, 0x36, 0x84, 0x63, 0x27, 0xA7,
                0xAC, 0x1D, 0x77, 0x0E,
            ],
            &[
                0xD1, 0xF7, 0x08, 0x80, 0x50, 0xC3, 0x72, 0x4A, 0x50, 0xB4, 0x4C, 0x5A, 0xF0, 0xD6,
                0x20, 0x07, 0x63, 0x1A, 0x38, 0x33, 0xD0, 0x0C, 0x26, 0x3C, 0x02, 0xB6, 0x86, 0xEA,
                0x15, 0x15, 0xD7, 0x1D,
            ],
            &[
                0xF8, 0xD8, 0xFC, 0x3F, 0x13, 0x08, 0xFF, 0xE6, 0x73, 0x98, 0x38, 0xC6, 0x63, 0x0D,
                0x17, 0x00, 0x4C, 0xF9, 0x73, 0xBB, 0xB3, 0xFB, 0x13, 0xE6, 0xA3, 0x21, 0x5C, 0x9B,
                0x8A, 0xFC, 0x2B, 0x0F,
            ],
            &[
                0xD0, 0x1C, 0x77, 0xF6, 0xE1, 0x61, 0x5C, 0x7C, 0x10, 0xD1, 0xD5, 0xD7, 0x5E, 0xA5,
                0x8B, 0x6D, 0x95, 0x33, 0xA9, 0x72, 0x7F, 0x46, 0xD9, 0x5F, 0xBF, 0x5A, 0xD1, 0xF3,
                0xE1, 0x92, 0x4F, 0x08,
            ],
        ],
        [
            &[
                0xB5, 0x85, 0x82, 0x18, 0xAA, 0xF0, 0x83, 0x40, 0xB8, 0x19, 0x96, 0xD1, 0x4C, 0x59,
                0x87, 0x3F, 0x2D, 0x4C, 0x64, 0x9F, 0x40, 0x1F, 0xF3, 0xCC, 0xF7, 0x4F, 0x97, 0x58,
                0x31, 0x6F, 0x76, 0x08,
            ],
            &[
                0xD9, 0x41, 0x37, 0x8C, 0xAD, 0x47, 0x19, 0xA6, 0x57, 0xC4, 0x82, 0x85, 0xB3, 0x13,
                0xF1, 0x64, 0xB3, 0x4C, 0x52, 0xE4, 0xFF, 0x5C, 0x4D, 0x5D, 0x77, 0x2B, 0x8D, 0x25,
                0x65, 0xB4, 0x08, 0x30,
            ],
            &[
                0xF2, 0xD1, 0xBF, 0xD8, 0xF3, 0x74, 0xED, 0x78, 0x1D, 0x71, 0xE8, 0x9D, 0x7B, 0x91,
                0x86, 0xB8, 0x8E, 0xA3, 0x61, 0x07, 0xD8, 0x88, 0x1E, 0xAA, 0x67, 0xB3, 0x73, 0x94,
                0x4F, 0x37, 0x33, 0x14,
            ],
            &[
                0x75, 0xCA, 0x7B, 0x91, 0x64, 0x02, 0x63, 0xC0, 0xB5, 0x1F, 0xF4, 0xFC, 0x4D, 0x2E,
                0x75, 0xC0, 0x69, 0x0C, 0xA9, 0x2D, 0x30, 0x53, 0x01, 0xF7, 0x5F, 0x6A, 0x35, 0x0D,
                0x3E, 0xDE, 0xDE, 0x26,
            ],
        ],
        [
            &[
                0x59, 0xC4, 0xD9, 0xA0, 0xDA, 0xA0, 0xFC, 0x97, 0x84, 0xB2, 0xD6, 0xF4, 0x74, 0x02,
                0xC4, 0x45, 0xB4, 0x1A, 0x9B, 0x97, 0xC2, 0x53, 0xB8, 0x8E, 0xAB, 0xA6, 0x06, 0xAD,
                0xD8, 0x2E, 0xE9, 0x02,
            ],
            &[
                0x1E, 0x54, 0x1E, 0xD8, 0xBB, 0x18, 0x8B, 0xB6, 0x93, 0x37, 0x72, 0x6E, 0x7E, 0xAC,
                0x98, 0x2C, 0xC8, 0xC2, 0xAB, 0xA3, 0xF2, 0xDC, 0x37, 0x6E, 0x53, 0x74, 0xFC, 0x6B,
                0x6E, 0x87, 0x1A, 0x0F,
            ],
            &[
                0xAB, 0x2F, 0x6A, 0x41, 0x99, 0x47, 0xB4, 0x98, 0xBD, 0x4C, 0x75, 0x61, 0x9F, 0xA1,
                0xDD, 0xA0, 0x7F, 0x02, 0x94, 0x44, 0xDF, 0xC6, 0x75, 0xB6, 0x93, 0xB4, 0x32, 0x4A,
                0x75, 0x04, 0xF7, 0x12,
            ],
            &[
                0x7E, 0x93, 0x1E, 0xA5, 0xAB, 0x40, 0x95, 0x3D, 0xA7, 0xB8, 0xE3, 0xE6, 0x05, 0x45,
                0x08, 0x6C, 0x59, 0x5D, 0xA0, 0xA3, 0xDA, 0xC5, 0x23, 0x7B, 0xA6, 0xBF, 0x43, 0xFA,
                0x4C, 0x5B, 0xAD, 0x00,
            ],
        ],
        [
            &[
                0xDC, 0x79, 0xF6, 0x74, 0xB3, 0x42, 0x8E, 0x69, 0x8B, 0x00, 0x9D, 0x1A, 0x58, 0x05,
                0x73, 0x80, 0x7C, 0xFC, 0x62, 0x66, 0x8C, 0xD2, 0x77, 0x73, 0x3D, 0x12, 0xEF, 0xD4,
                0x6D, 0x03, 0x87, 0x29,
            ],
            &[
                0x01, 0x8A, 0x6B, 0x12, 0x01, 0xE4, 0xB8, 0xE6, 0x19, 0x69, 0xC9, 0xA1, 0xBB, 0xB6,
                0xC2, 0x9C, 0x22, 0x14, 0x3D, 0xD1, 0xBA, 0x88, 0x79, 0x59, 0x7E, 0x9F, 0xB4, 0xCD,
                0xF1, 0xDC, 0xED, 0x09,
            ],
            &[
                0x56, 0x00, 0x8D, 0x89, 0x43, 0xEB, 0x9C, 0x25, 0x8E, 0x4E, 0xFB, 0xBE, 0xFA, 0xF4,
                0x48, 0x4E, 0xAB, 0x17, 0xF4, 0xA7, 0x43, 0x3A, 0x2F, 0x9A, 0x82, 0xAB, 0xBA, 0xCA,
                0xCE, 0x8E, 0x48, 0x1C,
            ],
            &[
                0xAD, 0xE0, 0x63, 0xBC, 0x3B, 0x39, 0x61, 0x47, 0xDC, 0x06, 0x47, 0xA2, 0xB6, 0x10,
                0xC4, 0x52, 0x6E, 0x94, 0x28, 0xF6, 0x81, 0xAD, 0xF7, 0x63, 0x66, 0x45, 0x26, 0x6F,
                0x76, 0x79, 0xC9, 0x2A,
            ],
        ],
        [
            &[
                0x7E, 0xAC, 0x51, 0xBF, 0xFC, 0x38, 0x93, 0x09, 0xCB, 0xF0, 0xF3, 0xC0, 0xCA, 0xC6,
                0x35, 0x38, 0x9B, 0xBD, 0x83, 0xAC, 0xC6, 0x9C, 0x5D, 0xC6, 0x6E, 0x4E, 0xB7, 0xC1,
                0xA3, 0xC4, 0x55, 0x1E,
            ],
            &[
                0x93, 0x9B, 0x76, 0x58, 0xE1, 0x6B, 0x4A, 0x76, 0x10, 0xF4, 0xD0, 0x19, 0x3C, 0x5D,
                0xFC, 0x47, 0xB5, 0x63, 0xDD, 0xA5, 0xB3, 0x3E, 0x5A, 0x2A, 0xC7, 0x1B, 0x97, 0x16,
                0x69, 0xD1, 0x86, 0x0C,
            ],
            &[
                0xDA, 0x83, 0xA7, 0xC3, 0xBF, 0x39, 0x2A, 0xEC, 0xBD, 0xEF, 0x17, 0x34, 0x6A, 0xA8,
                0x7F, 0xDC, 0xE4, 0xCB, 0xC0, 0x81, 0x36, 0x0C, 0x3E, 0x02, 0x01, 0x52, 0x23, 0x6B,
                0x56, 0x10, 0xC5, 0x04,
            ],
            &[
                0x8A, 0xE7, 0x3E, 0x6A, 0xD3, 0xAB, 0x15, 0xBD, 0x5F, 0xA1, 0x26, 0x7D, 0x16, 0x27,
                0x39, 0x5F, 0x48, 0x0B, 0xF3, 0xC4, 0x6A, 0x38, 0xDB, 0xA3, 0x83, 0x45, 0x45, 0xA9,
                0x92, 0xA3, 0x26, 0x1E,
            ],
        ],
        [
            &[
                0x65, 0x22, 0x95, 0x1B, 0x8C, 0x4D, 0x9F, 0x62, 0x52, 0x90, 0x5C, 0xA3, 0x54, 0x2F,
                0x0A, 0x7A, 0x46, 0xA9, 0x07, 0x08, 0x09, 0x42, 0xAB, 0xBA, 0x6B, 0x1F, 0x72, 0x39,
                0xF4, 0xB2, 0x2D, 0x0B,
            ],
            &[
                0xD0, 0x96, 0x65, 0x69, 0xC1, 0x3A, 0x2C, 0x32, 0xCE, 0x59, 0x2C, 0xD0, 0x49, 0xA9,
                0x5C, 0x6F, 0x43, 0x04, 0xDC, 0x42, 0x4C, 0xE0, 0x9E, 0x12, 0x5D, 0xA0, 0x43, 0x90,
                0xD2, 0x83, 0x16, 0x30,
            ],
            &[
                0x77, 0xCE, 0x81, 0x02, 0xAA, 0x13, 0x10, 0x75, 0x66, 0x1B, 0x29, 0x18, 0xEC, 0xB8,
                0xF6, 0xB7, 0xD6, 0x2D, 0x7F, 0xC1, 0xBE, 0xC1, 0x54, 0x5E, 0x74, 0xEB, 0xB1, 0xCA,
                0xA8, 0xEA, 0x7D, 0x23,
            ],
            &[
                0x87, 0x74, 0x6A, 0x10, 0xCA, 0xBB, 0x01, 0xC1, 0xE3, 0x0A, 0x80, 0x61, 0xD9, 0x6E,
                0xF1, 0x06, 0xD4, 0xE0, 0x16, 0x03, 0xCB, 0xB5, 0x1C, 0x83, 0x47, 0x51, 0xA7, 0x3A,
                0x76, 0x22, 0xDE, 0x0A,
            ],
        ],
        [
            &[
                0x84, 0x3E, 0x6E, 0x41, 0x93, 0x45, 0x35, 0x53, 0x3E, 0x01, 0x48, 0x46, 0x38, 0x50,
                0x21, 0x50, 0xBA, 0x32, 0xA5, 0x42, 0x94, 0x8F, 0xD1, 0xF0, 0x44, 0x5F, 0xD8, 0x93,
                0x8C, 0x05, 0xAF, 0x13,
            ],
            &[
                0x94, 0x14, 0x54, 0x8E, 0x57, 0x13, 0x3D, 0x43, 0xEB, 0x14, 0x15, 0x8E, 0x49, 0xD4,
                0x37, 0x9E, 0x2E, 0xA2, 0x75, 0x93, 0xEF, 0x6F, 0x01, 0x00, 0x10, 0x37, 0xD5, 0x27,
                0x2D, 0x7B, 0x21, 0x1C,
            ],
            &[
                0x28, 0x03, 0x69, 0xA8, 0xBA, 0x82, 0x31, 0x1F, 0xA8, 0x9C, 0x37, 0x0E, 0x69, 0x9A,
                0xB1, 0xAF, 0x7E, 0x5D, 0x1B, 0xB0, 0xE4, 0x35, 0xCB, 0x6C, 0xF9, 0xEE, 0xA5, 0x0A,
                0x5D, 0x61, 0x4A, 0x00,
            ],
            &[
                0xCC, 0xE2, 0x7C, 0xAF, 0x91, 0xB0, 0xC8, 0x21, 0xF7, 0x6F, 0xEB, 0xBE, 0x84, 0xC3,
                0x13, 0x7D, 0xAA, 0x3E, 0x8B, 0x12, 0x16, 0xB1, 0x07, 0x12, 0x4B, 0x02, 0x3E, 0x54,
                0x3D, 0xB7, 0x98, 0x07,
            ],
        ],
    ];
}