midnight-circuits 7.0.0

// This file is part of MIDNIGHT-ZK.
// Copyright (C) Midnight Foundation
// SPDX-License-Identifier: Apache-2.0
// Licensed under the Apache License, Version 2.0 (the "License");
// You may not use this file except in compliance with the License.
// You may obtain a copy of the License at
// http://www.apache.org/licenses/LICENSE-2.0
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

//! Constants for using Poseidon with the BLS scalar field.
//!
//! The constants can be reproduced by running the following Sage script from
//! [this repository](https://github.com/daira/pasta-hadeshash):
//!
//! ```text
//! $ sage generate_parameters_grain.sage 1 0 255 3 8 60 0x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000001
//! ```

use super::{PoseidonField, NB_FULL_ROUNDS, NB_PARTIAL_ROUNDS, WIDTH};

impl PoseidonField for midnight_curves::Fq {
    // Number of round constants: 204 = (8 + 60) * 3
    // Round constants for GF(p):
    const ROUND_CONSTANTS: [[Self; WIDTH]; NB_FULL_ROUNDS + NB_PARTIAL_ROUNDS] = [
        [
            midnight_curves::Fq::from_raw([
                0x118a_2e2f_6554_8257,
                0x429e_b149_5835_f5d0,
                0xe678_9030_868b_74da,
                0x0a59_176c_702e_80bd,
            ]),
            midnight_curves::Fq::from_raw([
                0x933a_2a02_fe51_cfbd,
                0xd304_dbbf_2412_7d23,
                0xcd8e_8a5a_5bab_4bf2,
                0x1f04_ee09_b99d_7d10,
            ]),
            midnight_curves::Fq::from_raw([
                0xaf52_80f5_0adc_5473,
                0x9f1a_2e78_0aa1_0c20,
                0x2918_8d63_9e30_1a4c,
                0x053b_0aee_6a9e_41f5,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xaef7_d488_79bf_3f9c,
                0x67ea_ba96_e239_1951,
                0xe456_a0c7_f190_fb81,
                0x607f_c613_870d_7f56,
            ]),
            midnight_curves::Fq::from_raw([
                0xb5a4_cb05_daa7_f2fb,
                0xa697_ec84_b5de_486e,
                0x13f9_9939_a0e3_4559,
                0x6593_4d47_f091_e181,
            ]),
            midnight_curves::Fq::from_raw([
                0xa853_bcd1_196b_63f9,
                0x4fec_1372_8d5a_cad5,
                0x8efa_f9a4_eed1_4789,
                0x18e8_96fa_20c6_21a9,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xe336_be30_a84f_d950,
                0xe47a_7c26_8147_96d2,
                0x17c4_ed67_2631_48c9,
                0x69fa_9afc_f3c3_ad00,
            ]),
            midnight_curves::Fq::from_raw([
                0x8e58_cfb6_41a9_262d,
                0x1247_d3bc_f972_cbd7,
                0x5c97_6e45_6bfb_407b,
                0x7176_d3b8_2879_39b9,
            ]),
            midnight_curves::Fq::from_raw([
                0x63e6_6973_ddc3_9a01,
                0x41f2_02d7_ef0b_284a,
                0xffc0_5e3b_37ba_7f8b,
                0x036d_041c_5ebe_fe99,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x732d_042e_df0a_816f,
                0x5057_1632_9ffb_e5a2,
                0x013b_15ae_b4c2_0921,
                0x5d05_42cc_31de_7433,
            ]),
            midnight_curves::Fq::from_raw([
                0x42f9_09f2_538a_8c12,
                0xf2fa_23b3_7fde_b25f,
                0xb804_665d_8913_be00,
                0x2665_fb26_ccc6_8131,
            ]),
            midnight_curves::Fq::from_raw([
                0x9d08_3d3c_6f9a_8ba7,
                0x6977_3c31_bb4d_95af,
                0xe7bb_046e_5c80_0ecb,
                0x3ce3_705a_685c_5889,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xaf1e_7963_d544_963d,
                0xd4fd_b7fd_68c0_2865,
                0xfa91_25e2_d774_16e3,
                0x4ec6_ec86_094a_a88e,
            ]),
            midnight_curves::Fq::from_raw([
                0xc2fd_db51_c3d7_fb35,
                0xa2ab_da9e_8406_0420,
                0xdcce_adee_1deb_edf9,
                0x04c0_b32a_aec6_f011,
            ]),
            midnight_curves::Fq::from_raw([
                0x4f78_b499_7d6a_fe55,
                0x024d_20b0_43ff_21f8,
                0x6a22_0541_769c_55e1,
                0x1627_5c92_29fa_151e,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xc103_27cc_a38b_8745,
                0xb4f7_a931_40b4_37b8,
                0xaf94_baf5_7d0f_8b00,
                0x1508_13e5_512f_10ef,
            ]),
            midnight_curves::Fq::from_raw([
                0xfefd_9fdb_ef63_43c2,
                0x3692_3304_dd5d_f570,
                0x4363_df56_9ee3_60ec,
                0x5f06_6147_b29d_b1e2,
            ]),
            midnight_curves::Fq::from_raw([
                0x8f7a_2080_7166_60d5,
                0xc4fb_015d_e0ef_9f5d,
                0x3fcf_9218_725a_5b20,
                0x115a_e3a3_1ce2_45ba,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xe5e1_4b22_a414_394e,
                0x937b_b2db_f2f9_3d69,
                0x0389_50c0_fd5d_79e3,
                0x3276_de65_c29a_45f3,
            ]),
            midnight_curves::Fq::from_raw([
                0x92f8_ad5a_d2b5_48bf,
                0x133e_e041_cc42_b62d,
                0x35f4_77af_6855_cca6,
                0x4c50_4980_0ceb_eb0b,
            ]),
            midnight_curves::Fq::from_raw([
                0xb21c_db49_1fae_2b78,
                0x2d0f_8b3d_41c9_3057,
                0x4196_c8ae_c67a_4bba,
                0x252e_1b54_9c72_eaf3,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xedad_c783_79d2_2a7c,
                0xbe3f_87e7_4ae1_c0a0,
                0x3469_5560_858c_35d6,
                0x5a0a_0f27_cfbc_fe7f,
            ]),
            midnight_curves::Fq::from_raw([
                0xb551_ed86_d4e0_1199,
                0x0ac1_98dc_b303_64d8,
                0xfd33_4689_e12a_ebf2,
                0x5aef_41fe_39ff_bd0b,
            ]),
            midnight_curves::Fq::from_raw([
                0x538a_eb06_16da_4db9,
                0xbdc6_6933_87a4_566a,
                0xd4cd_5d83_9e7f_ce4f,
                0x2ff7_ee57_4d7a_9680,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x4252_d5a5_60fb_7c44,
                0x05ba_fbb6_1e57_b5fe,
                0x3fde_df2e_4269_82ce,
                0x5995_30bb_bca9_c791,
            ]),
            midnight_curves::Fq::from_raw([
                0x0436_dd18_bc6b_3086,
                0xa88d_f20c_ee45_6886,
                0x0bb9_a8bc_21a2_56d4,
                0x594a_fd99_c63e_0741,
            ]),
            midnight_curves::Fq::from_raw([
                0x8cbc_be42_1122_bf2c,
                0xc7c9_b266_eeb9_1eb4,
                0xab6a_cf32_7ffc_b56a,
                0x561b_c2bc_056a_1ddb,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x1850_53e3_9b03_e4c0,
                0x95f8_9028_8588_a97b,
                0x6973_71a1_5b9f_3110,
                0x44b0_f629_fee3_0f4a,
            ]),
            midnight_curves::Fq::from_raw([
                0x9b13_ecce_3f00_a744,
                0xe908_13d9_42f6_e482,
                0x1b78_e5d5_9762_4815,
                0x6666_bc36_2a76_00c8,
            ]),
            midnight_curves::Fq::from_raw([
                0x2020_eb73_65b7_7289,
                0xd3fa_35f5_bfe2_8c4a,
                0x2deb_b002_12d2_1c6a,
                0x3949_1594_d7ad_8049,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x5638_3a59_fba6_582c,
                0x38ab_7313_3269_c2a8,
                0xabeb_c0ea_d026_3afa,
                0x687a_baf4_8490_7604,
            ]),
            midnight_curves::Fq::from_raw([
                0x6a4e_6b1e_7b15_16ce,
                0x3773_b560_616a_25cc,
                0x7a29_4f24_d0ff_b886,
                0x31a9_20a0_d66d_0d37,
            ]),
            midnight_curves::Fq::from_raw([
                0x3103_a411_a588_4a28,
                0xf844_de5b_3ced_fedf,
                0xc628_f5fc_5c7b_67b4,
                0x43d0_f81a_73aa_dd11,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x289d_d944_0136_b819,
                0x5c45_7a53_f502_e257,
                0x1871_a5a4_ed87_4d58,
                0x3eb3_c82b_aba6_cffa,
            ]),
            midnight_curves::Fq::from_raw([
                0x797c_6d0b_5057_7e09,
                0xd75e_5a25_7ba1_53ae,
                0x9bed_66b6_b26f_69c8,
                0x3319_6ede_d0ba_d874,
            ]),
            midnight_curves::Fq::from_raw([
                0xcad2_9b7a_3a54_9811,
                0x7a18_3c0a_e3c6_c806,
                0x7bc0_731a_b785_e50e,
                0x43d2_6aaf_7d30_8dd3,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xc2f6_f153_37ed_a387,
                0x25e5_4c55_c39f_4333,
                0x053d_44d3_4d5f_0a8c,
                0x53ca_d412_4a93_4629,
            ]),
            midnight_curves::Fq::from_raw([
                0x793e_1f4c_d575_f356,
                0xcc88_5e01_e325_f8c5,
                0xf707_e4f2_6f51_2bb4,
                0x3eaf_d6b7_77c1_020a,
            ]),
            midnight_curves::Fq::from_raw([
                0xb7be_9040_ab9f_0930,
                0x6693_89e8_ec35_3453,
                0x195b_afc2_e7b8_e3b0,
                0x5320_202e_c430_6a0e,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x0888_ad8e_0d0b_26b0,
                0xa984_e319_26da_934d,
                0xb03d_4e4a_a99d_28d6,
                0x587b_91df_800f_3b96,
            ]),
            midnight_curves::Fq::from_raw([
                0x1bdb_88d1_f3f9_8f82,
                0x2553_aa69_e165_0b00,
                0x0367_bba6_16b6_f15e,
                0x2bfc_cc7e_b787_5847,
            ]),
            midnight_curves::Fq::from_raw([
                0xe12d_bb3f_4381_9d4a,
                0xdb3c_e9b7_d78e_7f5e,
                0x6d17_b675_d5ab_9c20,
                0x1422_f2e0_c548_74cf,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xf715_2a0e_b0b4_9c4c,
                0x7183_fc00_c7e6_03cb,
                0x063d_9fcf_2540_42dd,
                0x28fd_84a2_ea3a_1a2f,
            ]),
            midnight_curves::Fq::from_raw([
                0x2381_25d5_4411_4b57,
                0x391a_cf13_f9d2_133c,
                0x13da_f41f_ff09_5dfe,
                0x28bf_cd29_b81c_11eb,
            ]),
            midnight_curves::Fq::from_raw([
                0xcc54_df70_f7ab_ff3f,
                0xc988_26b5_0905_03fd,
                0x3503_8bab_8fa6_7760,
                0x5586_c4c0_ed8e_b5ea,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xfa49_8415_a68b_ab26,
                0x8742_5d23_bf73_e9ed,
                0x7315_5b2c_65e8_f343,
                0x1209_367f_03ec_6216,
            ]),
            midnight_curves::Fq::from_raw([
                0xdf79_0964_b607_b733,
                0x7b3e_8a41_7376_bef1,
                0x7dee_00fd_7eb2_3b5e,
                0x2235_6b2d_3215_f6d3,
            ]),
            midnight_curves::Fq::from_raw([
                0x3bef_b040_fd22_6672,
                0x09c8_c0c1_f268_4a7f,
                0xc480_8135_d3da_4a6a,
                0x6c16_3cb4_eb4d_8c5f,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x6759_a09c_9e48_c33a,
                0x6a6c_81f2_9516_4f5d,
                0xbd3e_5e4c_78b4_95a4,
                0x4dc3_c04e_25fd_48f7,
            ]),
            midnight_curves::Fq::from_raw([
                0xada0_faf9_dd9a_e7fb,
                0x3665_1145_e9bc_baf2,
                0xa719_6e06_f669_ba88,
                0x590d_9df4_29eb_3511,
            ]),
            midnight_curves::Fq::from_raw([
                0xb8ed_94c2_dbca_098a,
                0x13d1_ff2a_c6c2_4257,
                0x7b47_0554_86d6_811d,
                0x2ff2_9368_10a3_df28,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xd178_be88_6991_fa0c,
                0x40b5_2f60_797e_3e32,
                0xc4bc_95b4_e2ad_56e7,
                0x5f52_49a7_71d9_e4b1,
            ]),
            midnight_curves::Fq::from_raw([
                0xe1ba_7cc3_4e02_fb27,
                0x2d98_8d1b_18e9_bb54,
                0x0ec4_e316_7db3_da0e,
                0x67f7_8e07_cf6e_bbee,
            ]),
            midnight_curves::Fq::from_raw([
                0xa0b4_e9fb_1bb7_a762,
                0x61f9_be1c_5583_d9fe,
                0x63a1_6b72_d95e_2b00,
                0x2b9e_a3bd_9788_c6aa,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x4a43_73eb_f0ee_59d2,
                0xbd8f_0407_342a_67fe,
                0xf041_5f5e_01d4_33bb,
                0x0a1b_af17_cbed_21cc,
            ]),
            midnight_curves::Fq::from_raw([
                0x7849_62ef_b0de_7977,
                0xf856_d3c9_0b04_ee14,
                0xe620_a26b_7a5e_3074,
                0x1cbf_cea2_eb30_561d,
            ]),
            midnight_curves::Fq::from_raw([
                0xc86f_d84b_8a51_045f,
                0xe7fc_90a2_25c1_ce9f,
                0x4afe_f268_48cd_ce06,
                0x39c9_cb51_d258_0680,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xc0bf_cb72_88a4_d9e9,
                0x2165_dadc_a284_ac55,
                0x899a_7c2c_2e7e_f043,
                0x424d_5e34_e4c1_77e2,
            ]),
            midnight_curves::Fq::from_raw([
                0xd792_3e77_a03c_082c,
                0x3dd9_6b9f_afd3_50ba,
                0xd2ba_7618_e011_4429,
                0x3387_e8c6_5f28_3718,
            ]),
            midnight_curves::Fq::from_raw([
                0x27e1_fd2a_26c6_e775,
                0x50bf_20b7_a3bf_d8e6,
                0x03b2_121d_350d_d4c4,
                0x6526_f124_7e74_5f80,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x5f21_9a42_81d6_9dd3,
                0x18d1_60d0_faf5_cbbc,
                0x4b7b_fbef_c8e9_9ebb,
                0x22c7_394d_df71_26e5,
            ]),
            midnight_curves::Fq::from_raw([
                0x4cfd_81fe_2ae7_54a1,
                0x1403_b733_6638_1dcb,
                0x69b7_8b0a_ccae_1092,
                0x2ef6_ac9b_e994_b37b,
            ]),
            midnight_curves::Fq::from_raw([
                0x0269_3c4c_3175_d977,
                0x7fd8_222c_3e3b_ed25,
                0x8424_7e7f_b84e_1154,
                0x4be6_a5c7_d2f3_dd44,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x2918_5e69_2885_09d2,
                0xe7e3_e070_e6bb_88fa,
                0x4b5b_c325_e153_609c,
                0x273a_ca31_807e_d5dc,
            ]),
            midnight_curves::Fq::from_raw([
                0xad22_4692_567a_0137,
                0xf0ed_cc30_ab79_e42e,
                0x23b6_f505_7c3a_1bf9,
                0x2db3_21ca_e3a1_aeb3,
            ]),
            midnight_curves::Fq::from_raw([
                0x7099_1fb1_a95a_88cf,
                0x3036_3687_0911_84b9,
                0x3533_01a4_48e0_30ab,
                0x4597_4424_f4c1_2e52,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x64f1_399d_2ebe_30c8,
                0x28d7_5a68_3adc_61b3,
                0xbfe5_8c8e_4eb3_9739,
                0x4dbc_8f30_94c0_b370,
            ]),
            midnight_curves::Fq::from_raw([
                0xc4ba_12cc_2eb5_c170,
                0x905d_a077_fb2b_f95d,
                0x91a7_410e_1926_b577,
                0x1b1c_10f0_e13f_3c0f,
            ]),
            midnight_curves::Fq::from_raw([
                0x160c_ab9b_f172_c001,
                0x73a1_056d_daac_586b,
                0x369b_e5d6_0ead_765e,
                0x1abb_a699_7ed7_1e4e,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x7cec_7e37_a606_146b,
                0x5e40_6373_b070_2df6,
                0x784f_66e2_7846_140a,
                0x3ffa_9ffc_e044_d6ed,
            ]),
            midnight_curves::Fq::from_raw([
                0xfb64_a2cd_7cde_1f3c,
                0x2068_1c98_73e8_a6bb,
                0xf2ba_11f5_1954_b80f,
                0x172d_1efb_d333_e2e3,
            ]),
            midnight_curves::Fq::from_raw([
                0xbd9c_09b8_93d2_6e7e,
                0x8e24_9c51_0f30_5766,
                0x3149_1ded_baaf_880b,
                0x2544_4915_82a9_1b80,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x8134_aa24_1672_ba80,
                0xf39e_54b1_ce60_3d0f,
                0x52a0_0a5c_e729_1a5c,
                0x598e_a1d2_111d_e9b9,
            ]),
            midnight_curves::Fq::from_raw([
                0xb32f_3aef_037d_58e5,
                0xab4b_4cb9_38ed_769e,
                0xc18f_31a9_956b_d45f,
                0x30d0_1564_a8f6_e2c8,
            ]),
            midnight_curves::Fq::from_raw([
                0x076c_a06f_98c9_3ef9,
                0xc16d_26ce_4cd2_f348,
                0x4f9c_c5e8_44bb_2af3,
                0x58e0_de1f_fa9f_39d5,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xa488_fe7f_7f05_8bab,
                0x49d8_570c_351d_6cf8,
                0xe264_673e_a5fc_f9ff,
                0x45b8_9204_3e1e_1258,
            ]),
            midnight_curves::Fq::from_raw([
                0xac90_de86_0b79_4521,
                0x20d2_2d5a_211e_162c,
                0xaff5_d3fe_cc45_1b73,
                0x2b80_d5a4_800e_de3e,
            ]),
            midnight_curves::Fq::from_raw([
                0x5835_9366_dfb7_da17,
                0x05f3_5e4f_26e9_ef74,
                0x411d_441c_46eb_b464,
                0x419d_0620_2b19_0907,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x3ab5_4a62_d2d8_2d42,
                0x373b_cf0d_9b94_9e16,
                0x24e1_8f11_b727_6d17,
                0x3d07_5534_3ed4_09e2,
            ]),
            midnight_curves::Fq::from_raw([
                0xd5ce_8fd4_13ed_1b84,
                0xc6bb_7933_ee65_6745,
                0xaac8_dbba_1b9d_9558,
                0x53cb_0d8f_5428_a5dc,
            ]),
            midnight_curves::Fq::from_raw([
                0xf189_c94a_c782_d122,
                0xb476_17d6_3649_e1b8,
                0xcd2e_3667_78c3_fcda,
                0x0b07_c5e9_35d3_cd60,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x98a8_f239_4624_e738,
                0xf97a_ab56_f5d0_3db8,
                0x0466_97b1_dd6d_31c4,
                0x2e5e_97fa_75da_2aaa,
            ]),
            midnight_curves::Fq::from_raw([
                0x37f0_8614_0354_cafa,
                0xab07_290e_b1e7_2781,
                0x511c_620e_69dc_f4c1,
                0x0a04_8ff9_4cd9_e028,
            ]),
            midnight_curves::Fq::from_raw([
                0x556b_3730_6cb7_147c,
                0x8e96_693f_8e35_37fc,
                0x5282_ce32_c734_068b,
                0x1743_4368_32d1_570b,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x295f_6395_1707_cba9,
                0x688b_24f2_9140_490b,
                0x3c04_b8cf_b889_e8bb,
                0x28f3_ea48_6b86_e75b,
            ]),
            midnight_curves::Fq::from_raw([
                0xb843_1e2a_7d6d_2eac,
                0x91e6_1be6_f4cd_acd7,
                0x1392_8401_b81d_e81c,
                0x150d_bfb6_9d9f_cdf9,
            ]),
            midnight_curves::Fq::from_raw([
                0x243f_a129_5cea_4402,
                0x2db5_e0ea_bd2b_f735,
                0xa0d5_de42_7b22_1374,
                0x29ca_3439_450d_a375,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x2156_0893_7a66_4dcb,
                0x86b6_cdde_0cb9_50da,
                0xfbc8_c210_d7b2_7bf2,
                0x48a1_b62b_76a6_5fcb,
            ]),
            midnight_curves::Fq::from_raw([
                0xa562_ce22_3e9f_38ed,
                0x4d0a_e206_ec6a_690a,
                0xd69c_266e_697c_027b,
                0x0218_eb6a_f243_41ec,
            ]),
            midnight_curves::Fq::from_raw([
                0xe409_1ddb_34f3_d8bc,
                0x5124_a9f8_2bce_00ed,
                0x5078_15d5_5883_ca47,
                0x09a3_b38e_f1e1_3493,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x6d6c_b7f2_0f63_881b,
                0x5dba_d9b3_2a84_8587,
                0x2d65_9c85_dacf_e7f8,
                0x1740_86a2_d189_6a82,
            ]),
            midnight_curves::Fq::from_raw([
                0x1a35_3ba6_f85f_f3cf,
                0x1d32_f285_241a_7e35,
                0x3e1f_efb8_196e_aa6f,
                0x23fd_11b6_eefb_f765,
            ]),
            midnight_curves::Fq::from_raw([
                0x4dc9_8314_05a3_333b,
                0x9e5e_1b77_03c1_cc2f,
                0x0043_83cc_d61a_9059,
                0x4928_18ba_0240_1999,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xb2bb_26a8_e035_e725,
                0x68ea_3272_531b_097f,
                0xa318_85b0_1843_abf5,
                0x0173_b890_5492_a145,
            ]),
            midnight_curves::Fq::from_raw([
                0x40de_b8d0_9888_e12c,
                0xda2f_2947_79df_27e0,
                0xaf5c_9bdb_eef0_a4d4,
                0x43d5_7042_f3bb_c227,
            ]),
            midnight_curves::Fq::from_raw([
                0xa813_6fdf_837e_d979,
                0x85a8_b3ff_611c_d0d2,
                0xbaba_fac1_66eb_1410,
                0x17ef_e956_b72e_ec83,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x83d8_f04a_a042_cf9a,
                0xf86e_5510_b509_2fd8,
                0x317b_45c2_27c1_554e,
                0x0269_9986_2ad4_01ae,
            ]),
            midnight_curves::Fq::from_raw([
                0x88e4_8d34_bb69_b85b,
                0x9180_1d1a_c156_55ef,
                0x1e05_dd23_9aaa_e3fb,
                0x0778_1051_8418_0434,
            ]),
            midnight_curves::Fq::from_raw([
                0x13d1_7ad8_1b96_abc5,
                0x0ecb_ffd7_d2e0_82ee,
                0xfa48_3b5b_f6b0_00e9,
                0x6946_1896_429e_17f3,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x4fec_48b8_8341_dd4a,
                0x197d_8928_0f16_bd6d,
                0xb0f1_68ee_033b_365a,
                0x0318_eb69_0fba_a314,
            ]),
            midnight_curves::Fq::from_raw([
                0x397a_f4b7_0433_d509,
                0x0ac0_14d1_78f2_d32c,
                0xd680_77fa_25b7_6d56,
                0x23ee_6efb_f70b_755e,
            ]),
            midnight_curves::Fq::from_raw([
                0x39d1_b1f5_091e_b0f4,
                0x8442_455a_6605_e054,
                0xe775_9558_5d4a_2b2e,
                0x6029_a2c1_fc7a_f40d,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xb5a5_f74e_c6ba_b5ed,
                0x4e20_9344_021c_d7e0,
                0xe794_73af_ca0a_254d,
                0x6585_fcc2_a5d8_911d,
            ]),
            midnight_curves::Fq::from_raw([
                0xb168_1f7a_565c_241a,
                0x06db_76c7_2111_9e4a,
                0x8ee9_76c1_f8b7_2dc7,
                0x6ec3_a9ed_afd9_8f35,
            ]),
            midnight_curves::Fq::from_raw([
                0xa8cb_7d6f_3a4b_6fbd,
                0x7c74_fc83_01b0_13ac,
                0x6dca_a9c5_0bdb_bc3d,
                0x2c9c_9202_2887_a2eb,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xe4b7_86bf_d6db_1b7e,
                0x8d47_9077_5a12_ce8b,
                0x8e5e_0029_a10e_5f83,
                0x087f_dbf0_7402_d34f,
            ]),
            midnight_curves::Fq::from_raw([
                0x3a8d_88e0_1b9e_7400,
                0x6152_ac3a_c547_d85e,
                0x5baf_0e07_b102_b45e,
                0x05a8_33fd_dca8_7817,
            ]),
            midnight_curves::Fq::from_raw([
                0x52dc_6334_f7ac_d315,
                0x9ff5_fcba_8203_2eef,
                0x2d02_3f3b_9fc0_ffc6,
                0x6de1_5cd7_bd3e_51f5,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xd389_dbd1_66ad_ee91,
                0x6c12_b3b1_2b70_f319,
                0x0360_bea6_b324_b189,
                0x2e4e_3978_e7aa_100b,
            ]),
            midnight_curves::Fq::from_raw([
                0x601f_620e_ecdd_6ea5,
                0x4335_b585_27d8_ff6a,
                0xf202_f74b_70d0_1725,
                0x59d4_6aa1_6cc7_b82b,
            ]),
            midnight_curves::Fq::from_raw([
                0xe90c_3ff5_8f2e_3186,
                0x352b_0b95_52d7_cc42,
                0x5dd5_ae14_87fe_b5dc,
                0x47b0_4fb8_3795_a3ad,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x51b0_f50e_a729_062e,
                0xe685_74d9_806e_339e,
                0xa89f_435a_f48b_ab23,
                0x72eb_9aab_40a2_d32f,
            ]),
            midnight_curves::Fq::from_raw([
                0xbe97_290f_563f_c237,
                0x12f2_66a8_a759_4ace,
                0xa6f0_1a12_16b4_4d46,
                0x52b5_ba58_1b50_4f06,
            ]),
            midnight_curves::Fq::from_raw([
                0x0c87_0a17_e0bc_0960,
                0x6ec2_ae83_2c85_13de,
                0x06f0_38ac_0bf6_a36e,
                0x2092_ffa4_f790_8df3,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x4244_f2b4_4cde_4d4d,
                0xeb6b_d985_d874_07ab,
                0x515a_cac5_052d_3e1d,
                0x29fe_3fb0_741e_8e21,
            ]),
            midnight_curves::Fq::from_raw([
                0x3645_ed78_7d1a_d236,
                0x5fd6_7b54_fdb5_c38f,
                0x7890_654d_3115_ccac,
                0x47d8_89a4_289e_f4a6,
            ]),
            midnight_curves::Fq::from_raw([
                0xeb39_d01c_eb65_595c,
                0x004b_84db_2f2d_f5ed,
                0xa0fe_ce14_50b0_a5b6,
                0x40e5_e494_2ceb_c127,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x7c3f_cf3a_f6f4_b389,
                0x2309_d0c4_c1fb_80d8,
                0x8671_2c50_b1ea_963e,
                0x5603_5841_aac5_c659,
            ]),
            midnight_curves::Fq::from_raw([
                0x4424_5189_7806_d131,
                0x921f_4f6d_3b1c_0e0b,
                0x07f6_02b3_24f9_2b3e,
                0x261e_6f49_75a7_12e9,
            ]),
            midnight_curves::Fq::from_raw([
                0xe46f_6eda_2eda_4a56,
                0xb717_7d48_8031_ac1e,
                0xa49c_63f1_dff1_49da,
                0x18bd_7110_cfeb_bef4,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x48f6_8eed_1d60_4a85,
                0xe0e4_81d3_24d2_056b,
                0xe651_1c03_bba0_20a2,
                0x6c06_ac40_7bee_2048,
            ]),
            midnight_curves::Fq::from_raw([
                0xc920_3b16_fd56_092f,
                0xcee4_012a_dc69_abaf,
                0x6b39_fc3b_05b0_cfb5,
                0x4eec_84a8_6e66_bc09,
            ]),
            midnight_curves::Fq::from_raw([
                0xaee9_3d10_f362_a1e7,
                0x8682_5e2b_c42e_c161,
                0xa65b_8082_c738_2d73,
                0x70e6_9933_021a_ed26,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x087e_6fcb_6513_50d4,
                0xcb03_5273_58f6_b730,
                0xc58f_a9e2_711b_ea36,
                0x6663_6fdf_9c44_45ea,
            ]),
            midnight_curves::Fq::from_raw([
                0x5dba_9774_ab09_bc2c,
                0x3e3c_dbb7_6d72_3e53,
                0x1455_7ca1_29ce_ae00,
                0x4585_347a_49f6_d01d,
            ]),
            midnight_curves::Fq::from_raw([
                0x25d1_b3d7_0abc_b9fd,
                0xddae_df7a_e41b_7e26,
                0x0e58_a693_5932_4501,
                0x1858_cf26_643e_a1b6,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xadcc_9911_36bd_8afc,
                0x47ea_c18f_2268_69a4,
                0xcd81_08ae_dcfb_530e,
                0x678f_451d_c983_1f6d,
            ]),
            midnight_curves::Fq::from_raw([
                0xacce_bf1a_6089_d552,
                0x85a8_0566_dc3f_6f97,
                0x6c67_646e_c528_5891,
                0x0e77_c6cd_c6c0_6d5d,
            ]),
            midnight_curves::Fq::from_raw([
                0xb373_84a8_80fb_6cb1,
                0xacef_8af8_ac7d_accc,
                0xa2d3_2916_fc45_227a,
                0x136f_33c7_2bbc_c8b0,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x7845_3c72_2025_930c,
                0xa178_6f0f_fd7d_09ac,
                0x503d_9a55_0e3a_9e63,
                0x02ca_fabf_1acc_2e27,
            ]),
            midnight_curves::Fq::from_raw([
                0xf28d_d694_19cc_0258,
                0x709b_c667_1ac0_e3c5,
                0x1c48_1caa_15d9_0621,
                0x13c5_05ee_9b01_a5de,
            ]),
            midnight_curves::Fq::from_raw([
                0x051d_cc91_6c64_0c54,
                0x7d15_2983_4dc9_baa4,
                0xd9f9_633c_9f82_8b20,
                0x633b_e5c8_77b5_df79,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x607f_932b_132c_86c3,
                0x280e_97eb_2cf2_a32d,
                0x8789_3b68_4732_b3f7,
                0x2910_a536_8e54_f10a,
            ]),
            midnight_curves::Fq::from_raw([
                0x7f4b_c322_a0e9_6559,
                0x4cdd_8ded_9d4e_9740,
                0xe4b3_dd28_16b3_d02b,
                0x5cb6_ad2f_1e64_242e,
            ]),
            midnight_curves::Fq::from_raw([
                0xbbbb_2a0f_0803_0b0a,
                0xebd9_0859_46d6_4024,
                0xdd59_95ef_99ed_e54f,
                0x3ef0_3ac7_0868_7736,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x0ed9_b34b_932c_9110,
                0xa175_c7c8_e757_6f66,
                0x7ce7_7378_89e4_2cdc,
                0x32c2_f6f2_8415_ba95,
            ]),
            midnight_curves::Fq::from_raw([
                0x0817_973b_2d1b_fc54,
                0x7116_64a9_dcff_920f,
                0x1a8d_adda_feb8_e875,
                0x2c18_9965_a7cf_df22,
            ]),
            midnight_curves::Fq::from_raw([
                0xcb3e_5d9f_7f5c_8cbb,
                0x18ee_100a_9d5c_3a7c,
                0x27c1_bc73_5ae7_88a3,
                0x6154_9e70_76bc_0ec8,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x8c8d_2871_12de_d73c,
                0x0a43_db78_9407_19a9,
                0x9f81_d2f3_ec2c_75c3,
                0x25d4_de96_dc1f_b748,
            ]),
            midnight_curves::Fq::from_raw([
                0x0823_1132_de50_3a87,
                0x6457_5b51_4200_b701,
                0x2d22_bf5f_ca5a_898d,
                0x660b_1914_98f9_8f6d,
            ]),
            midnight_curves::Fq::from_raw([
                0x9025_65cf_298c_bdee,
                0x45e8_d1ce_6a67_b6b2,
                0x1dc3_c4c5_68a8_57e3,
                0x1cc5_27b5_ad13_ce38,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x8df3_d7f7_7ada_1c1b,
                0x04a3_4ad3_f42a_6c12,
                0x1e1c_2b9e_79d6_91d6,
                0x321f_f3c8_d2e9_2d6b,
            ]),
            midnight_curves::Fq::from_raw([
                0xd91d_f895_d330_781f,
                0x313e_5c31_aa32_d76f,
                0xe357_ac34_363c_594e,
                0x1d8f_0042_34f9_f2c1,
            ]),
            midnight_curves::Fq::from_raw([
                0x3585_becf_c3dc_fcb7,
                0xcfc0_0a28_96c9_67ee,
                0x0446_287d_24d2_38ff,
                0x4544_d6c8_fd4c_7876,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x5720_4bc1_fdbe_e339,
                0xe46d_8b80_2537_90e9,
                0xbcb0_0e5f_af8f_4b4f,
                0x20a0_8d0a_5324_8fb2,
            ]),
            midnight_curves::Fq::from_raw([
                0xe3e3_05cd_94d7_6d8f,
                0x666c_4722_ed13_bdc1,
                0x5e04_5363_9ad0_b521,
                0x36b5_c215_7325_963c,
            ]),
            midnight_curves::Fq::from_raw([
                0xbb6d_545b_4937_6a47,
                0x4ff3_b60f_8528_fbd1,
                0x72a7_fde9_0260_833a,
                0x43b1_2f2b_4650_dcf1,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x320c_3448_eb45_ed06,
                0x2642_839d_25d3_847a,
                0x3f3c_d7f8_8337_202b,
                0x0195_8c4c_97a4_591e,
            ]),
            midnight_curves::Fq::from_raw([
                0x6eda_b928_444b_3e7e,
                0x3296_3af1_0441_62db,
                0xcbd3_257a_1777_5b5c,
                0x53c4_6439_3bb5_0b0b,
            ]),
            midnight_curves::Fq::from_raw([
                0x1738_552f_f738_4841,
                0x6b65_ec6a_a08b_e908,
                0x521d_2b97_39df_85d8,
                0x483f_8c11_8f74_a356,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x40f1_35eb_397b_7ec6,
                0xfe74_399d_501e_034a,
                0xa99e_39bd_a430_5282,
                0x3663_c6a8_1bd8_8aff,
            ]),
            midnight_curves::Fq::from_raw([
                0x66f7_1916_c8d3_5cab,
                0x5e1e_184b_3cc2_6a94,
                0x9abb_42a1_414e_53c9,
                0x1b9f_ba69_5a3d_96ba,
            ]),
            midnight_curves::Fq::from_raw([
                0xd905_b9d0_2e65_88fb,
                0x50e5_0ce5_3ed8_c5ef,
                0x24a3_2f4f_86c6_92b9,
                0x6bb3_e27e_0010_b3fa,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x313a_0c5b_67b5_8178,
                0x00a2_35d0_0fbf_4aa0,
                0x0ce2_46da_6fbd_3615,
                0x5381_1e5c_7199_4932,
            ]),
            midnight_curves::Fq::from_raw([
                0x4dab_78e7_5496_8366,
                0x16d2_513e_975e_e91a,
                0x8041_d085_5320_d5c4,
                0x5933_55b8_0017_775f,
            ]),
            midnight_curves::Fq::from_raw([
                0xfa6e_496c_38df_5908,
                0x5286_193b_33a6_4fa4,
                0x33f2_c514_891a_6b80,
                0x0b21_0ab6_3ae1_ef17,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x4188_a810_d03e_27a1,
                0x07f1_1774_9030_02a4,
                0x03f8_5e7b_8274_358b,
                0x26f1_380e_7749_5976,
            ]),
            midnight_curves::Fq::from_raw([
                0xf4ca_a6b4_4957_75ac,
                0xc70f_b3bd_b2a8_a94d,
                0x77ed_c64f_72fa_fc3b,
                0x0351_d89c_1323_6332,
            ]),
            midnight_curves::Fq::from_raw([
                0xaf04_eaa9_71b3_5cef,
                0x9d37_d706_23ab_6c5c,
                0xb802_9606_6480_671e,
                0x39a7_7941_4a82_3f70,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xbab9_8527_f60e_1dd5,
                0x3578_5179_0c21_f2e4,
                0x7d3f_c14a_0952_e330,
                0x33f8_e694_1a0b_05b7,
            ]),
            midnight_curves::Fq::from_raw([
                0x3f97_eddc_2d38_f4dc,
                0x955e_3cb2_8fe4_4d5f,
                0xf2a5_70f8_7857_377a,
                0x3936_d272_db72_a892,
            ]),
            midnight_curves::Fq::from_raw([
                0x8c33_154f_3259_e6c9,
                0x23bc_6365_cbab_5050,
                0xc428_242a_7866_3859,
                0x2584_83d9_d19d_0c37,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x9547_9a05_9076_fcee,
                0x8c07_4903_8bfa_99de,
                0x45e1_3680_8fee_e64d,
                0x7306_e10d_bdde_8985,
            ]),
            midnight_curves::Fq::from_raw([
                0x8406_39e7_4ed0_7fb1,
                0x7c4b_5119_d9ef_c7d1,
                0xd48b_8b39_2fea_fbc5,
                0x3a0a_3284_577a_03ce,
            ]),
            midnight_curves::Fq::from_raw([
                0x2b16_b05a_cd01_f76a,
                0x9298_076d_925d_b5ed,
                0xdd79_6b7d_976b_e2eb,
                0x4d88_3dca_9111_02d3,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x11d1_c754_7016_db87,
                0x2c70_71a7_e4a7_1ded,
                0x916e_3b79_474c_f2f5,
                0x27fb_982b_0401_726a,
            ]),
            midnight_curves::Fq::from_raw([
                0x24ea_a276_c65e_c2e6,
                0xfa8a_e838_5e37_fbba,
                0x89ed_68ed_a04d_6b90,
                0x72bb_4b20_ab85_f6fd,
            ]),
            midnight_curves::Fq::from_raw([
                0x4d05_97fb_5667_90f2,
                0xc81a_18ea_b76c_eebc,
                0x23dd_f59d_a272_d1c3,
                0x2376_bf81_cbff_ac7a,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x4ecf_ab38_67ef_bcd5,
                0x1f3c_8e92_e863_5f7b,
                0x9614_b4df_fab8_57fc,
                0x09fb_7dca_a11f_7198,
            ]),
            midnight_curves::Fq::from_raw([
                0x3dd3_09af_c72d_d3f4,
                0xe410_bff7_3f01_7e5b,
                0x13ba_ef99_9cf1_e919,
                0x37d7_a768_4484_8c05,
            ]),
            midnight_curves::Fq::from_raw([
                0xa843_26df_8777_ea61,
                0xcf0f_921f_7ac1_0ca0,
                0xb08a_aa90_0cc8_63b1,
                0x6c28_ac72_a608_db7c,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x464d_14ec_76b5_9fbf,
                0x0d40_fb8a_8512_d534,
                0x013e_ac3b_ab7a_9307,
                0x6ac3_0872_fb7a_aee2,
            ]),
            midnight_curves::Fq::from_raw([
                0x202d_5203_5979_6171,
                0xa7fa_51e7_cbaf_b0d4,
                0xa97f_6f3c_3ba9_66c2,
                0x1588_e343_d1f2_7071,
            ]),
            midnight_curves::Fq::from_raw([
                0x553a_f379_cd3c_ab09,
                0x74e8_ceb0_3175_5422,
                0x2f25_2972_bbd5_7761,
                0x11dc_280a_b49a_8737,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xdcb4_8f05_38b3_47ba,
                0xde83_000e_588a_7845,
                0x9b4b_3ce5_8861_c713,
                0x41fa_c88d_9768_38fd,
            ]),
            midnight_curves::Fq::from_raw([
                0x8b55_784d_ba75_b3a1,
                0x44fb_a761_9d24_75e7,
                0xaf0e_3620_06f1_deda,
                0x10b2_70ab_826c_c8a6,
            ]),
            midnight_curves::Fq::from_raw([
                0xfa6a_928e_390e_e657,
                0x4014_f66c_4f7d_e094,
                0xd9b5_04d0_41a0_4933,
                0x357d_03d4_99c5_b0bc,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xd4d1_bcad_440f_a453,
                0xc4fc_22f8_ff0f_5868,
                0xd8e5_b912_fdba_2ab4,
                0x2b56_bb5f_cde0_25a8,
            ]),
            midnight_curves::Fq::from_raw([
                0x9b4b_3212_efbf_d684,
                0x08e5_c84a_24c4_8f36,
                0x55d3_75f0_bb19_efda,
                0x37b4_060a_506b_89de,
            ]),
            midnight_curves::Fq::from_raw([
                0xf302_9bbd_4aa3_e834,
                0x4392_5004_d2e5_ccff,
                0xf634_8a0f_efc4_8ac0,
                0x6b16_708a_c85a_d545,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x1ee7_05df_4d63_dd2e,
                0x2016_3ef6_981c_e0a6,
                0x498b_2265_8e8a_b19c,
                0x040e_0736_3e32_d188,
            ]),
            midnight_curves::Fq::from_raw([
                0x09dc_c60d_6057_12ca,
                0x6d6d_4d9f_b29b_3b42,
                0xa753_e090_bd99_46d3,
                0x01f7_0819_c567_2b60,
            ]),
            midnight_curves::Fq::from_raw([
                0xda93_2c87_ac1a_fa27,
                0xd47e_c241_2eb1_a648,
                0x8c27_c96c_f1d4_edc7,
                0x49f4_01e0_19b5_dfae,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x6805_55a6_6575_68c8,
                0x0eff_83e4_d07b_5daa,
                0xec1c_b87f_fe25_a5ca,
                0x6cda_350d_bb4c_836a,
            ]),
            midnight_curves::Fq::from_raw([
                0x0e50_9f26_a38b_2eb1,
                0xe94c_34fc_7cc8_546e,
                0x81eb_a9c1_2cb1_8ce1,
                0x5e9b_6c88_8742_7743,
            ]),
            midnight_curves::Fq::from_raw([
                0xf675_7e2c_0db9_86c2,
                0xc958_b01a_974c_fc81,
                0x1974_b72f_8e07_0b9c,
                0x64e4_b6b6_c69c_55d7,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x3084_add5_4402_7211,
                0x2598_3357_d70c_e29b,
                0x5bc4_cad7_c234_fb3c,
                0x5e70_bb0b_9149_8488,
            ]),
            midnight_curves::Fq::from_raw([
                0x67e7_49a8_12a5_0492,
                0x0fda_6002_abba_22f7,
                0xe2c1_b370_7b47_1754,
                0x04d5_a142_a22a_8104,
            ]),
            midnight_curves::Fq::from_raw([
                0x1350_b3c4_d134_9d0b,
                0xecbb_a1bc_2d0d_6c4e,
                0x90af_53ad_9780_8dce,
                0x432d_2c0a_5d1a_ca34,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x42b5_2b6b_85a9_5adb,
                0xe65a_376f_204e_f211,
                0x0dc1_5d10_3038_792b,
                0x47d4_be89_1ce2_eac0,
            ]),
            midnight_curves::Fq::from_raw([
                0xafe4_9f2b_748b_15df,
                0xa087_25bd_fdf9_77ad,
                0xd7b1_ff1c_33df_ae8d,
                0x6a58_dff9_65c9_36f7,
            ]),
            midnight_curves::Fq::from_raw([
                0xcda2_906b_9bde_9033,
                0xea16_016a_a11e_04a8,
                0x9295_6418_c5db_8fd0,
                0x0ca6_3d92_e3a6_ab11,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x82b9_848f_dfda_72d2,
                0xf629_7809_ede7_8709,
                0xd8d6_b235_0a2b_957d,
                0x3860_7712_05e0_b4da,
            ]),
            midnight_curves::Fq::from_raw([
                0xc443_7b4d_8646_9281,
                0x12f9_997b_38f9_7dd8,
                0xc2b4_cebf_388e_e564,
                0x3b1d_dca5_7831_b77f,
            ]),
            midnight_curves::Fq::from_raw([
                0xf601_a059_1f25_26a6,
                0xb120_292b_f198_fc89,
                0x1498_2c23_568b_1a2c,
                0x2893_0fbc_794c_cfa4,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x2aab_ec12_2b3b_fbc1,
                0x1d70_7b8a_d740_7ada,
                0x5d35_c74b_aebc_1cc8,
                0x0525_502d_91ad_c731,
            ]),
            midnight_curves::Fq::from_raw([
                0x2802_09e6_3f70_0a87,
                0xc9c6_f9ec_10a3_52e0,
                0x04bb_fb3d_55e8_cfe5,
                0x38d5_f073_61b5_1536,
            ]),
            midnight_curves::Fq::from_raw([
                0x5a1d_c88c_b052_7837,
                0x42b5_e2d7_8287_19c1,
                0x5a26_aff1_bab0_7f50,
                0x2909_6840_d2d9_661a,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0x6ff9_f888_5e43_99e2,
                0x32ed_663e_eca4_cd34,
                0xf55e_9cf6_80b3_6871,
                0x5288_306a_eaf6_3127,
            ]),
            midnight_curves::Fq::from_raw([
                0x84bd_2ac8_620b_1590,
                0x7063_8c1a_79b9_2d05,
                0xa166_64c2_f7aa_ec2e,
                0x5b76_b9de_abc3_55b3,
            ]),
            midnight_curves::Fq::from_raw([
                0x576d_e696_122a_21d0,
                0x4e4b_1643_7d98_67e4,
                0xd592_1194_bd47_72e4,
                0x5765_c36e_c081_5219,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xceab_1a0f_2ed2_2c92,
                0x8e54_aee2_cb9a_eb3d,
                0x6fee_7c5e_ab52_bbe2,
                0x63bd_27f4_1673_61b7,
            ]),
            midnight_curves::Fq::from_raw([
                0x3c11_3f68_1e5c_c463,
                0x6c78_c753_af39_cbe9,
                0x6c9f_cb5c_8ddc_8a5c,
                0x025e_8ea5_0072_3857,
            ]),
            midnight_curves::Fq::from_raw([
                0xb5ef_ab3c_32c8_b4a0,
                0xc1ff_831f_5fff_2c1c,
                0x3444_e04b_9310_3593,
                0x276a_4461_2816_867d,
            ]),
        ],
    ];

    // n: 255
    // t: 3
    // N: 765
    // Result Algorithm 1:
    //  [True, 0]
    // Result Algorithm 2:
    //  [True, None]
    // Result Algorithm 3:
    //  [True, None]
    // Prime number:
    // 0x0x73_ed_a_753__299d_7d483339d80809a1d80553bda402fffe5bfeffffffff00000001

    const MDS: [[midnight_curves::Fq; WIDTH]; WIDTH] = [
        [
            midnight_curves::Fq::from_raw([
                0x6118_de41_07b5_1ace,
                0x8ad5_7440_53ba_9e77,
                0x5d6d_2412_10e2_d8a6,
                0x1b81_14c3_81b9_22fd,
            ]),
            midnight_curves::Fq::from_raw([
                0xe371_7213_fcc0_d763,
                0x7599_0cca_ec4c_09b4,
                0x0e5d_2189_9cf5_3317,
                0x3df3_2e4c_c4cb_2ed2,
            ]),
            midnight_curves::Fq::from_raw([
                0x3ecd_34ae_a0e1_edc1,
                0x007f_3360_1591_080b,
                0xbe25_8779_bf54_8eb4,
                0x3f05_c4df_7a66_64da,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xd7f5_01cd_31a8_b374,
                0xca74_314b_950f_e7b1,
                0x432a_4ad7_6d3f_ae06,
                0x404d_2107_3985_d14e,
            ]),
            midnight_curves::Fq::from_raw([
                0xf7fa_1603_9556_49f1,
                0x73e9_b231_7679_422f,
                0x81bc_620e_9e52_4d4b,
                0x0b2c_c870_4264_c6bd,
            ]),
            midnight_curves::Fq::from_raw([
                0xe2a8_fc8c_637f_1a1f,
                0x6d0b_b519_8343_48b4,
                0x5a93_88c6_4103_5d49,
                0x0fdf_664d_a550_59fa,
            ]),
        ],
        [
            midnight_curves::Fq::from_raw([
                0xf95d_c57e_90c4_9140,
                0x3197_ad01_b65a_730a,
                0x43e2_4a47_f45c_5d03,
                0x5e1d_3dbe_cda6_2143,
            ]),
            midnight_curves::Fq::from_raw([
                0x7dc7_b900_2f5a_a78a,
                0x44cb_6d5f_ae89_54f3,
                0x9318_96e7_7ea5_c612,
                0x6bd7_2f9c_fc53_af9d,
            ]),
            midnight_curves::Fq::from_raw([
                0xbb4f_b88e_f99d_e0db,
                0x1eff_bd9c_d58e_46d9,
                0xcaf8_80a9_054b_ef83,
                0x4997_c5aa_3a5f_a07b,
            ]),
        ],
    ];
}