keccakf1600_impl.hpp

Go to the documentation of this file.

// AUTOGENERATED FILE
#pragma once
 
#include "barretenberg/vm2/generated/relations/keccakf1600.hpp"
 
namespace bb::avm2 {
 
template <typename FF_>
template <typename ContainerOverSubrelations, typename AllEntities>
void keccakf1600Impl<FF_>::accumulate(ContainerOverSubrelations& evals,
                                      const AllEntities& in,
                                      [[maybe_unused]] const RelationParameters<FF_>&,
                                      [[maybe_unused]] const FF_& scaling_factor)
{
    using C = ColumnAndShifts;
 
    PROFILE_THIS_NAME("accumulate/keccakf1600");
 
    const auto constants_MEM_TAG_U64 = FF(5);
    const auto constants_AVM_HIGHEST_MEM_ADDRESS = FF(4294967295UL);
    const auto constants_AVM_BITWISE_AND_OP_ID = FF(0);
    const auto constants_AVM_BITWISE_XOR_OP_ID = FF(2);
    const auto constants_AVM_KECCAKF1600_STATE_SIZE = FF(25);
    const auto keccakf1600_ROT_LEN_01 = FF(36);
    const auto keccakf1600_POW_ROT_LEN_01 = FF(68719476736UL);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_01 = FF(268435456);
    const auto keccakf1600_ROT_LEN_02 = FF(3);
    const auto keccakf1600_POW_ROT_LEN_02 = FF(8);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_02 = FF(2305843009213693952UL);
    const auto keccakf1600_ROT_LEN_03 = FF(41);
    const auto keccakf1600_POW_ROT_LEN_03 = FF(2199023255552UL);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_03 = FF(8388608);
    const auto keccakf1600_ROT_LEN_04 = FF(18);
    const auto keccakf1600_POW_ROT_LEN_04 = FF(262144);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_04 = FF(70368744177664UL);
    const auto keccakf1600_ROT_LEN_10 = FF(1);
    const auto keccakf1600_POW_ROT_LEN_10 = FF(2);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_10 = FF(uint256_t{ 9223372036854775808UL, 0UL, 0UL, 0UL });
    const auto keccakf1600_ROT_LEN_11 = FF(44);
    const auto keccakf1600_POW_ROT_LEN_11 = FF(17592186044416UL);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_11 = FF(1048576);
    const auto keccakf1600_ROT_LEN_12 = FF(10);
    const auto keccakf1600_POW_ROT_LEN_12 = FF(1024);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_12 = FF(18014398509481984UL);
    const auto keccakf1600_ROT_LEN_13 = FF(45);
    const auto keccakf1600_POW_ROT_LEN_13 = FF(35184372088832UL);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_13 = FF(524288);
    const auto keccakf1600_ROT_LEN_14 = FF(2);
    const auto keccakf1600_POW_ROT_LEN_14 = FF(4);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_14 = FF(4611686018427387904UL);
    const auto keccakf1600_ROT_LEN_20 = FF(62);
    const auto keccakf1600_POW_ROT_LEN_20 = FF(4611686018427387904UL);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_20 = FF(4);
    const auto keccakf1600_ROT_LEN_21 = FF(6);
    const auto keccakf1600_POW_ROT_LEN_21 = FF(64);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_21 = FF(288230376151711744UL);
    const auto keccakf1600_ROT_LEN_22 = FF(43);
    const auto keccakf1600_POW_ROT_LEN_22 = FF(8796093022208UL);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_22 = FF(2097152);
    const auto keccakf1600_ROT_LEN_23 = FF(15);
    const auto keccakf1600_POW_ROT_LEN_23 = FF(32768);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_23 = FF(562949953421312UL);
    const auto keccakf1600_ROT_LEN_24 = FF(61);
    const auto keccakf1600_POW_ROT_LEN_24 = FF(2305843009213693952UL);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_24 = FF(8);
    const auto keccakf1600_ROT_LEN_30 = FF(28);
    const auto keccakf1600_POW_ROT_LEN_30 = FF(268435456);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_30 = FF(68719476736UL);
    const auto keccakf1600_ROT_LEN_31 = FF(55);
    const auto keccakf1600_POW_ROT_LEN_31 = FF(36028797018963968UL);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_31 = FF(512);
    const auto keccakf1600_ROT_LEN_32 = FF(25);
    const auto keccakf1600_POW_ROT_LEN_32 = FF(33554432);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_32 = FF(549755813888UL);
    const auto keccakf1600_ROT_LEN_33 = FF(21);
    const auto keccakf1600_POW_ROT_LEN_33 = FF(2097152);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_33 = FF(8796093022208UL);
    const auto keccakf1600_ROT_LEN_34 = FF(56);
    const auto keccakf1600_POW_ROT_LEN_34 = FF(72057594037927936UL);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_34 = FF(256);
    const auto keccakf1600_ROT_LEN_40 = FF(27);
    const auto keccakf1600_POW_ROT_LEN_40 = FF(134217728);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_40 = FF(137438953472UL);
    const auto keccakf1600_ROT_LEN_41 = FF(20);
    const auto keccakf1600_POW_ROT_LEN_41 = FF(1048576);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_41 = FF(17592186044416UL);
    const auto keccakf1600_ROT_LEN_42 = FF(39);
    const auto keccakf1600_POW_ROT_LEN_42 = FF(549755813888UL);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_42 = FF(33554432);
    const auto keccakf1600_ROT_LEN_43 = FF(8);
    const auto keccakf1600_POW_ROT_LEN_43 = FF(256);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_43 = FF(72057594037927936UL);
    const auto keccakf1600_ROT_LEN_44 = FF(14);
    const auto keccakf1600_POW_ROT_LEN_44 = FF(16384);
    const auto keccakf1600_POW_ROT_64_MIN_LEN_44 = FF(1125899906842624UL);
    const auto keccakf1600_STATE_RHO_00 = in.get(C::keccakf1600_state_theta_00);
    const auto keccakf1600_STATE_PI_00 = keccakf1600_STATE_RHO_00;
    const auto keccakf1600_STATE_PI_01 = in.get(C::keccakf1600_state_rho_30);
    const auto keccakf1600_STATE_PI_02 = in.get(C::keccakf1600_state_rho_10);
    const auto keccakf1600_STATE_PI_03 = in.get(C::keccakf1600_state_rho_40);
    const auto keccakf1600_STATE_PI_04 = in.get(C::keccakf1600_state_rho_20);
    const auto keccakf1600_STATE_PI_10 = in.get(C::keccakf1600_state_rho_11);
    const auto keccakf1600_STATE_PI_11 = in.get(C::keccakf1600_state_rho_41);
    const auto keccakf1600_STATE_PI_12 = in.get(C::keccakf1600_state_rho_21);
    const auto keccakf1600_STATE_PI_13 = in.get(C::keccakf1600_state_rho_01);
    const auto keccakf1600_STATE_PI_14 = in.get(C::keccakf1600_state_rho_31);
    const auto keccakf1600_STATE_PI_20 = in.get(C::keccakf1600_state_rho_22);
    const auto keccakf1600_STATE_PI_21 = in.get(C::keccakf1600_state_rho_02);
    const auto keccakf1600_STATE_PI_22 = in.get(C::keccakf1600_state_rho_32);
    const auto keccakf1600_STATE_PI_23 = in.get(C::keccakf1600_state_rho_12);
    const auto keccakf1600_STATE_PI_24 = in.get(C::keccakf1600_state_rho_42);
    const auto keccakf1600_STATE_PI_30 = in.get(C::keccakf1600_state_rho_33);
    const auto keccakf1600_STATE_PI_31 = in.get(C::keccakf1600_state_rho_13);
    const auto keccakf1600_STATE_PI_32 = in.get(C::keccakf1600_state_rho_43);
    const auto keccakf1600_STATE_PI_33 = in.get(C::keccakf1600_state_rho_23);
    const auto keccakf1600_STATE_PI_34 = in.get(C::keccakf1600_state_rho_03);
    const auto keccakf1600_STATE_PI_40 = in.get(C::keccakf1600_state_rho_44);
    const auto keccakf1600_STATE_PI_41 = in.get(C::keccakf1600_state_rho_24);
    const auto keccakf1600_STATE_PI_42 = in.get(C::keccakf1600_state_rho_04);
    const auto keccakf1600_STATE_PI_43 = in.get(C::keccakf1600_state_rho_34);
    const auto keccakf1600_STATE_PI_44 = in.get(C::keccakf1600_state_rho_14);
    const auto keccakf1600_POW_64_MIN_1 = FF(uint256_t{ 18446744073709551615UL, 0UL, 0UL, 0UL });
    const auto keccakf1600_HIGHEST_SLICE_ADDRESS =
        (constants_AVM_HIGHEST_MEM_ADDRESS - constants_AVM_KECCAKF1600_STATE_SIZE) + FF(1);
 
    {
        using Accumulator = typename std::tuple_element_t<0, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_sel) * (FF(1) - in.get(C::keccakf1600_sel));
        tmp *= scaling_factor;
        std::get<0>(evals) += typename Accumulator::View(tmp);
    }
    { // SEL_NO_ERROR
        using Accumulator = typename std::tuple_element_t<1, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_start) *
                   ((in.get(C::keccakf1600_sel_no_error) - FF(1)) + in.get(C::keccakf1600_error));
        tmp *= scaling_factor;
        std::get<1>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<2, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_start) * (FF(1) - in.get(C::keccakf1600_start));
        tmp *= scaling_factor;
        std::get<2>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<3, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_start) * (in.get(C::keccakf1600_round) - FF(1));
        tmp *= scaling_factor;
        std::get<3>(evals) += typename Accumulator::View(tmp);
    }
    { // KECCAK_SEL_ROUND_NON_ZERO
        using Accumulator = typename std::tuple_element_t<4, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_round) *
                        ((FF(1) - in.get(C::keccakf1600_sel)) * (FF(1) - in.get(C::keccakf1600_round_inv)) +
                         in.get(C::keccakf1600_round_inv)) -
                    in.get(C::keccakf1600_sel));
        tmp *= scaling_factor;
        std::get<4>(evals) += typename Accumulator::View(tmp);
    }
    { // KECCAK_ROUND_INCREMENT
        using Accumulator = typename std::tuple_element_t<5, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_sel) * (FF(1) - in.get(C::keccakf1600_last)) *
                   ((in.get(C::keccakf1600_round_shift) - in.get(C::keccakf1600_round)) - FF(1));
        tmp *= scaling_factor;
        std::get<5>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<6, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_last) * (FF(1) - in.get(C::keccakf1600_last));
        tmp *= scaling_factor;
        std::get<6>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<7, ContainerOverSubrelations>;
        auto tmp =
            in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_bitwise_xor_op_id) - constants_AVM_BITWISE_XOR_OP_ID);
        tmp *= scaling_factor;
        std::get<7>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<8, ContainerOverSubrelations>;
        auto tmp =
            in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_bitwise_and_op_id) - constants_AVM_BITWISE_AND_OP_ID);
        tmp *= scaling_factor;
        std::get<8>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<9, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_tag_u64) - constants_MEM_TAG_U64);
        tmp *= scaling_factor;
        std::get<9>(evals) += typename Accumulator::View(tmp);
    }
    { // THETA_XOR_ROW_MSB_0_BOOLEAN
        using Accumulator = typename std::tuple_element_t<10, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_theta_xor_row_msb_0) * (FF(1) - in.get(C::keccakf1600_theta_xor_row_msb_0));
        tmp *= scaling_factor;
        std::get<10>(evals) += typename Accumulator::View(tmp);
    }
    { // THETA_XOR_ROW_0_DECOMPOSITION
        using Accumulator = typename std::tuple_element_t<11, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_theta_xor_row_0) - (FF(uint256_t{ 9223372036854775808UL, 0UL, 0UL, 0UL }) *
                                                                  in.get(C::keccakf1600_theta_xor_row_msb_0) +
                                                              in.get(C::keccakf1600_theta_xor_row_low63_0)));
        tmp *= scaling_factor;
        std::get<11>(evals) += typename Accumulator::View(tmp);
    }
    { // THETA_XOR_ROW_ROTL1_0
        using Accumulator = typename std::tuple_element_t<12, ContainerOverSubrelations>;
        auto tmp =
            (in.get(C::keccakf1600_theta_xor_row_rotl1_0) -
             (FF(2) * in.get(C::keccakf1600_theta_xor_row_low63_0) + in.get(C::keccakf1600_theta_xor_row_msb_0)));
        tmp *= scaling_factor;
        std::get<12>(evals) += typename Accumulator::View(tmp);
    }
    { // THETA_XOR_ROW_MSB_1_BOOLEAN
        using Accumulator = typename std::tuple_element_t<13, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_theta_xor_row_msb_1) * (FF(1) - in.get(C::keccakf1600_theta_xor_row_msb_1));
        tmp *= scaling_factor;
        std::get<13>(evals) += typename Accumulator::View(tmp);
    }
    { // THETA_XOR_ROW_1_DECOMPOSITION
        using Accumulator = typename std::tuple_element_t<14, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_theta_xor_row_1) - (FF(uint256_t{ 9223372036854775808UL, 0UL, 0UL, 0UL }) *
                                                                  in.get(C::keccakf1600_theta_xor_row_msb_1) +
                                                              in.get(C::keccakf1600_theta_xor_row_low63_1)));
        tmp *= scaling_factor;
        std::get<14>(evals) += typename Accumulator::View(tmp);
    }
    { // THETA_XOR_ROW_ROTL1_1
        using Accumulator = typename std::tuple_element_t<15, ContainerOverSubrelations>;
        auto tmp =
            (in.get(C::keccakf1600_theta_xor_row_rotl1_1) -
             (FF(2) * in.get(C::keccakf1600_theta_xor_row_low63_1) + in.get(C::keccakf1600_theta_xor_row_msb_1)));
        tmp *= scaling_factor;
        std::get<15>(evals) += typename Accumulator::View(tmp);
    }
    { // THETA_XOR_ROW_MSB_2_BOOLEAN
        using Accumulator = typename std::tuple_element_t<16, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_theta_xor_row_msb_2) * (FF(1) - in.get(C::keccakf1600_theta_xor_row_msb_2));
        tmp *= scaling_factor;
        std::get<16>(evals) += typename Accumulator::View(tmp);
    }
    { // THETA_XOR_ROW_2_DECOMPOSITION
        using Accumulator = typename std::tuple_element_t<17, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_theta_xor_row_2) - (FF(uint256_t{ 9223372036854775808UL, 0UL, 0UL, 0UL }) *
                                                                  in.get(C::keccakf1600_theta_xor_row_msb_2) +
                                                              in.get(C::keccakf1600_theta_xor_row_low63_2)));
        tmp *= scaling_factor;
        std::get<17>(evals) += typename Accumulator::View(tmp);
    }
    { // THETA_XOR_ROW_ROTL1_2
        using Accumulator = typename std::tuple_element_t<18, ContainerOverSubrelations>;
        auto tmp =
            (in.get(C::keccakf1600_theta_xor_row_rotl1_2) -
             (FF(2) * in.get(C::keccakf1600_theta_xor_row_low63_2) + in.get(C::keccakf1600_theta_xor_row_msb_2)));
        tmp *= scaling_factor;
        std::get<18>(evals) += typename Accumulator::View(tmp);
    }
    { // THETA_XOR_ROW_MSB_3_BOOLEAN
        using Accumulator = typename std::tuple_element_t<19, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_theta_xor_row_msb_3) * (FF(1) - in.get(C::keccakf1600_theta_xor_row_msb_3));
        tmp *= scaling_factor;
        std::get<19>(evals) += typename Accumulator::View(tmp);
    }
    { // THETA_XOR_ROW_3_DECOMPOSITION
        using Accumulator = typename std::tuple_element_t<20, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_theta_xor_row_3) - (FF(uint256_t{ 9223372036854775808UL, 0UL, 0UL, 0UL }) *
                                                                  in.get(C::keccakf1600_theta_xor_row_msb_3) +
                                                              in.get(C::keccakf1600_theta_xor_row_low63_3)));
        tmp *= scaling_factor;
        std::get<20>(evals) += typename Accumulator::View(tmp);
    }
    { // THETA_XOR_ROW_ROTL1_3
        using Accumulator = typename std::tuple_element_t<21, ContainerOverSubrelations>;
        auto tmp =
            (in.get(C::keccakf1600_theta_xor_row_rotl1_3) -
             (FF(2) * in.get(C::keccakf1600_theta_xor_row_low63_3) + in.get(C::keccakf1600_theta_xor_row_msb_3)));
        tmp *= scaling_factor;
        std::get<21>(evals) += typename Accumulator::View(tmp);
    }
    { // THETA_XOR_ROW_MSB_4_BOOLEAN
        using Accumulator = typename std::tuple_element_t<22, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_theta_xor_row_msb_4) * (FF(1) - in.get(C::keccakf1600_theta_xor_row_msb_4));
        tmp *= scaling_factor;
        std::get<22>(evals) += typename Accumulator::View(tmp);
    }
    { // THETA_XOR_ROW_4_DECOMPOSITION
        using Accumulator = typename std::tuple_element_t<23, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_theta_xor_row_4) - (FF(uint256_t{ 9223372036854775808UL, 0UL, 0UL, 0UL }) *
                                                                  in.get(C::keccakf1600_theta_xor_row_msb_4) +
                                                              in.get(C::keccakf1600_theta_xor_row_low63_4)));
        tmp *= scaling_factor;
        std::get<23>(evals) += typename Accumulator::View(tmp);
    }
    { // THETA_XOR_ROW_ROTL1_4
        using Accumulator = typename std::tuple_element_t<24, ContainerOverSubrelations>;
        auto tmp =
            (in.get(C::keccakf1600_theta_xor_row_rotl1_4) -
             (FF(2) * in.get(C::keccakf1600_theta_xor_row_low63_4) + in.get(C::keccakf1600_theta_xor_row_msb_4)));
        tmp *= scaling_factor;
        std::get<24>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_01_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<25, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_01) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_01 * in.get(C::keccakf1600_state_theta_hi_01) +
                     in.get(C::keccakf1600_state_theta_low_01)));
        tmp *= scaling_factor;
        std::get<25>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_01
        using Accumulator = typename std::tuple_element_t<26, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_01) -
                    (keccakf1600_POW_ROT_LEN_01 * in.get(C::keccakf1600_state_theta_low_01) +
                     in.get(C::keccakf1600_state_theta_hi_01)));
        tmp *= scaling_factor;
        std::get<26>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_02_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<27, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_02) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_02 * in.get(C::keccakf1600_state_theta_hi_02) +
                     in.get(C::keccakf1600_state_theta_low_02)));
        tmp *= scaling_factor;
        std::get<27>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_02
        using Accumulator = typename std::tuple_element_t<28, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_02) -
                    (keccakf1600_POW_ROT_LEN_02 * in.get(C::keccakf1600_state_theta_low_02) +
                     in.get(C::keccakf1600_state_theta_hi_02)));
        tmp *= scaling_factor;
        std::get<28>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_03_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<29, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_03) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_03 * in.get(C::keccakf1600_state_theta_hi_03) +
                     in.get(C::keccakf1600_state_theta_low_03)));
        tmp *= scaling_factor;
        std::get<29>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_03
        using Accumulator = typename std::tuple_element_t<30, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_03) -
                    (keccakf1600_POW_ROT_LEN_03 * in.get(C::keccakf1600_state_theta_low_03) +
                     in.get(C::keccakf1600_state_theta_hi_03)));
        tmp *= scaling_factor;
        std::get<30>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_04_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<31, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_04) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_04 * in.get(C::keccakf1600_state_theta_hi_04) +
                     in.get(C::keccakf1600_state_theta_low_04)));
        tmp *= scaling_factor;
        std::get<31>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_04
        using Accumulator = typename std::tuple_element_t<32, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_04) -
                    (keccakf1600_POW_ROT_LEN_04 * in.get(C::keccakf1600_state_theta_low_04) +
                     in.get(C::keccakf1600_state_theta_hi_04)));
        tmp *= scaling_factor;
        std::get<32>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_10_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<33, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_10) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_10 * in.get(C::keccakf1600_state_theta_hi_10) +
                     in.get(C::keccakf1600_state_theta_low_10)));
        tmp *= scaling_factor;
        std::get<33>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_10
        using Accumulator = typename std::tuple_element_t<34, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_10) -
                    (keccakf1600_POW_ROT_LEN_10 * in.get(C::keccakf1600_state_theta_low_10) +
                     in.get(C::keccakf1600_state_theta_hi_10)));
        tmp *= scaling_factor;
        std::get<34>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_11_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<35, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_11) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_11 * in.get(C::keccakf1600_state_theta_hi_11) +
                     in.get(C::keccakf1600_state_theta_low_11)));
        tmp *= scaling_factor;
        std::get<35>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_11
        using Accumulator = typename std::tuple_element_t<36, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_11) -
                    (keccakf1600_POW_ROT_LEN_11 * in.get(C::keccakf1600_state_theta_low_11) +
                     in.get(C::keccakf1600_state_theta_hi_11)));
        tmp *= scaling_factor;
        std::get<36>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_12_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<37, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_12) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_12 * in.get(C::keccakf1600_state_theta_hi_12) +
                     in.get(C::keccakf1600_state_theta_low_12)));
        tmp *= scaling_factor;
        std::get<37>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_12
        using Accumulator = typename std::tuple_element_t<38, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_12) -
                    (keccakf1600_POW_ROT_LEN_12 * in.get(C::keccakf1600_state_theta_low_12) +
                     in.get(C::keccakf1600_state_theta_hi_12)));
        tmp *= scaling_factor;
        std::get<38>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_13_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<39, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_13) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_13 * in.get(C::keccakf1600_state_theta_hi_13) +
                     in.get(C::keccakf1600_state_theta_low_13)));
        tmp *= scaling_factor;
        std::get<39>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_13
        using Accumulator = typename std::tuple_element_t<40, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_13) -
                    (keccakf1600_POW_ROT_LEN_13 * in.get(C::keccakf1600_state_theta_low_13) +
                     in.get(C::keccakf1600_state_theta_hi_13)));
        tmp *= scaling_factor;
        std::get<40>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_14_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<41, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_14) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_14 * in.get(C::keccakf1600_state_theta_hi_14) +
                     in.get(C::keccakf1600_state_theta_low_14)));
        tmp *= scaling_factor;
        std::get<41>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_14
        using Accumulator = typename std::tuple_element_t<42, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_14) -
                    (keccakf1600_POW_ROT_LEN_14 * in.get(C::keccakf1600_state_theta_low_14) +
                     in.get(C::keccakf1600_state_theta_hi_14)));
        tmp *= scaling_factor;
        std::get<42>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_20_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<43, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_20) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_20 * in.get(C::keccakf1600_state_theta_hi_20) +
                     in.get(C::keccakf1600_state_theta_low_20)));
        tmp *= scaling_factor;
        std::get<43>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_20
        using Accumulator = typename std::tuple_element_t<44, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_20) -
                    (keccakf1600_POW_ROT_LEN_20 * in.get(C::keccakf1600_state_theta_low_20) +
                     in.get(C::keccakf1600_state_theta_hi_20)));
        tmp *= scaling_factor;
        std::get<44>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_21_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<45, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_21) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_21 * in.get(C::keccakf1600_state_theta_hi_21) +
                     in.get(C::keccakf1600_state_theta_low_21)));
        tmp *= scaling_factor;
        std::get<45>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_21
        using Accumulator = typename std::tuple_element_t<46, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_21) -
                    (keccakf1600_POW_ROT_LEN_21 * in.get(C::keccakf1600_state_theta_low_21) +
                     in.get(C::keccakf1600_state_theta_hi_21)));
        tmp *= scaling_factor;
        std::get<46>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_22_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<47, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_22) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_22 * in.get(C::keccakf1600_state_theta_hi_22) +
                     in.get(C::keccakf1600_state_theta_low_22)));
        tmp *= scaling_factor;
        std::get<47>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_22
        using Accumulator = typename std::tuple_element_t<48, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_22) -
                    (keccakf1600_POW_ROT_LEN_22 * in.get(C::keccakf1600_state_theta_low_22) +
                     in.get(C::keccakf1600_state_theta_hi_22)));
        tmp *= scaling_factor;
        std::get<48>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_23_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<49, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_23) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_23 * in.get(C::keccakf1600_state_theta_hi_23) +
                     in.get(C::keccakf1600_state_theta_low_23)));
        tmp *= scaling_factor;
        std::get<49>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_23
        using Accumulator = typename std::tuple_element_t<50, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_23) -
                    (keccakf1600_POW_ROT_LEN_23 * in.get(C::keccakf1600_state_theta_low_23) +
                     in.get(C::keccakf1600_state_theta_hi_23)));
        tmp *= scaling_factor;
        std::get<50>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_24_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<51, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_24) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_24 * in.get(C::keccakf1600_state_theta_hi_24) +
                     in.get(C::keccakf1600_state_theta_low_24)));
        tmp *= scaling_factor;
        std::get<51>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_24
        using Accumulator = typename std::tuple_element_t<52, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_24) -
                    (keccakf1600_POW_ROT_LEN_24 * in.get(C::keccakf1600_state_theta_low_24) +
                     in.get(C::keccakf1600_state_theta_hi_24)));
        tmp *= scaling_factor;
        std::get<52>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_30_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<53, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_30) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_30 * in.get(C::keccakf1600_state_theta_hi_30) +
                     in.get(C::keccakf1600_state_theta_low_30)));
        tmp *= scaling_factor;
        std::get<53>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_30
        using Accumulator = typename std::tuple_element_t<54, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_30) -
                    (keccakf1600_POW_ROT_LEN_30 * in.get(C::keccakf1600_state_theta_low_30) +
                     in.get(C::keccakf1600_state_theta_hi_30)));
        tmp *= scaling_factor;
        std::get<54>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_31_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<55, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_31) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_31 * in.get(C::keccakf1600_state_theta_hi_31) +
                     in.get(C::keccakf1600_state_theta_low_31)));
        tmp *= scaling_factor;
        std::get<55>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_31
        using Accumulator = typename std::tuple_element_t<56, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_31) -
                    (keccakf1600_POW_ROT_LEN_31 * in.get(C::keccakf1600_state_theta_low_31) +
                     in.get(C::keccakf1600_state_theta_hi_31)));
        tmp *= scaling_factor;
        std::get<56>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_32_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<57, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_32) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_32 * in.get(C::keccakf1600_state_theta_hi_32) +
                     in.get(C::keccakf1600_state_theta_low_32)));
        tmp *= scaling_factor;
        std::get<57>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_32
        using Accumulator = typename std::tuple_element_t<58, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_32) -
                    (keccakf1600_POW_ROT_LEN_32 * in.get(C::keccakf1600_state_theta_low_32) +
                     in.get(C::keccakf1600_state_theta_hi_32)));
        tmp *= scaling_factor;
        std::get<58>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_33_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<59, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_33) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_33 * in.get(C::keccakf1600_state_theta_hi_33) +
                     in.get(C::keccakf1600_state_theta_low_33)));
        tmp *= scaling_factor;
        std::get<59>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_33
        using Accumulator = typename std::tuple_element_t<60, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_33) -
                    (keccakf1600_POW_ROT_LEN_33 * in.get(C::keccakf1600_state_theta_low_33) +
                     in.get(C::keccakf1600_state_theta_hi_33)));
        tmp *= scaling_factor;
        std::get<60>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_34_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<61, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_34) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_34 * in.get(C::keccakf1600_state_theta_hi_34) +
                     in.get(C::keccakf1600_state_theta_low_34)));
        tmp *= scaling_factor;
        std::get<61>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_34
        using Accumulator = typename std::tuple_element_t<62, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_34) -
                    (keccakf1600_POW_ROT_LEN_34 * in.get(C::keccakf1600_state_theta_low_34) +
                     in.get(C::keccakf1600_state_theta_hi_34)));
        tmp *= scaling_factor;
        std::get<62>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_40_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<63, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_40) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_40 * in.get(C::keccakf1600_state_theta_hi_40) +
                     in.get(C::keccakf1600_state_theta_low_40)));
        tmp *= scaling_factor;
        std::get<63>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_40
        using Accumulator = typename std::tuple_element_t<64, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_40) -
                    (keccakf1600_POW_ROT_LEN_40 * in.get(C::keccakf1600_state_theta_low_40) +
                     in.get(C::keccakf1600_state_theta_hi_40)));
        tmp *= scaling_factor;
        std::get<64>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_41_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<65, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_41) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_41 * in.get(C::keccakf1600_state_theta_hi_41) +
                     in.get(C::keccakf1600_state_theta_low_41)));
        tmp *= scaling_factor;
        std::get<65>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_41
        using Accumulator = typename std::tuple_element_t<66, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_41) -
                    (keccakf1600_POW_ROT_LEN_41 * in.get(C::keccakf1600_state_theta_low_41) +
                     in.get(C::keccakf1600_state_theta_hi_41)));
        tmp *= scaling_factor;
        std::get<66>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_42_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<67, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_42) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_42 * in.get(C::keccakf1600_state_theta_hi_42) +
                     in.get(C::keccakf1600_state_theta_low_42)));
        tmp *= scaling_factor;
        std::get<67>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_42
        using Accumulator = typename std::tuple_element_t<68, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_42) -
                    (keccakf1600_POW_ROT_LEN_42 * in.get(C::keccakf1600_state_theta_low_42) +
                     in.get(C::keccakf1600_state_theta_hi_42)));
        tmp *= scaling_factor;
        std::get<68>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_43_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<69, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_43) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_43 * in.get(C::keccakf1600_state_theta_hi_43) +
                     in.get(C::keccakf1600_state_theta_low_43)));
        tmp *= scaling_factor;
        std::get<69>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_43
        using Accumulator = typename std::tuple_element_t<70, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_43) -
                    (keccakf1600_POW_ROT_LEN_43 * in.get(C::keccakf1600_state_theta_low_43) +
                     in.get(C::keccakf1600_state_theta_hi_43)));
        tmp *= scaling_factor;
        std::get<70>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_THETA_44_DECOMPOSE
        using Accumulator = typename std::tuple_element_t<71, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_theta_44) -
                    (keccakf1600_POW_ROT_64_MIN_LEN_44 * in.get(C::keccakf1600_state_theta_hi_44) +
                     in.get(C::keccakf1600_state_theta_low_44)));
        tmp *= scaling_factor;
        std::get<71>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_RHO_44
        using Accumulator = typename std::tuple_element_t<72, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_rho_44) -
                    (keccakf1600_POW_ROT_LEN_44 * in.get(C::keccakf1600_state_theta_low_44) +
                     in.get(C::keccakf1600_state_theta_hi_44)));
        tmp *= scaling_factor;
        std::get<72>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<73, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_len_02) - keccakf1600_ROT_LEN_02);
        tmp *= scaling_factor;
        std::get<73>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<74, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_len_04) - keccakf1600_ROT_LEN_04);
        tmp *= scaling_factor;
        std::get<74>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<75, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_len_10) - keccakf1600_ROT_LEN_10);
        tmp *= scaling_factor;
        std::get<75>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<76, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_len_12) - keccakf1600_ROT_LEN_12);
        tmp *= scaling_factor;
        std::get<76>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<77, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_len_14) - keccakf1600_ROT_LEN_14);
        tmp *= scaling_factor;
        std::get<77>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<78, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_len_21) - keccakf1600_ROT_LEN_21);
        tmp *= scaling_factor;
        std::get<78>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<79, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_len_23) - keccakf1600_ROT_LEN_23);
        tmp *= scaling_factor;
        std::get<79>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<80, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_len_30) - keccakf1600_ROT_LEN_30);
        tmp *= scaling_factor;
        std::get<80>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<81, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_len_32) - keccakf1600_ROT_LEN_32);
        tmp *= scaling_factor;
        std::get<81>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<82, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_len_33) - keccakf1600_ROT_LEN_33);
        tmp *= scaling_factor;
        std::get<82>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<83, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_len_40) - keccakf1600_ROT_LEN_40);
        tmp *= scaling_factor;
        std::get<83>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<84, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_len_41) - keccakf1600_ROT_LEN_41);
        tmp *= scaling_factor;
        std::get<84>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<85, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_len_43) - keccakf1600_ROT_LEN_43);
        tmp *= scaling_factor;
        std::get<85>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<86, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_len_44) - keccakf1600_ROT_LEN_44);
        tmp *= scaling_factor;
        std::get<86>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<87, ContainerOverSubrelations>;
        auto tmp =
            in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_64_min_len_01) - (FF(64) - keccakf1600_ROT_LEN_01));
        tmp *= scaling_factor;
        std::get<87>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<88, ContainerOverSubrelations>;
        auto tmp =
            in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_64_min_len_03) - (FF(64) - keccakf1600_ROT_LEN_03));
        tmp *= scaling_factor;
        std::get<88>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<89, ContainerOverSubrelations>;
        auto tmp =
            in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_64_min_len_11) - (FF(64) - keccakf1600_ROT_LEN_11));
        tmp *= scaling_factor;
        std::get<89>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<90, ContainerOverSubrelations>;
        auto tmp =
            in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_64_min_len_13) - (FF(64) - keccakf1600_ROT_LEN_13));
        tmp *= scaling_factor;
        std::get<90>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<91, ContainerOverSubrelations>;
        auto tmp =
            in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_64_min_len_20) - (FF(64) - keccakf1600_ROT_LEN_20));
        tmp *= scaling_factor;
        std::get<91>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<92, ContainerOverSubrelations>;
        auto tmp =
            in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_64_min_len_22) - (FF(64) - keccakf1600_ROT_LEN_22));
        tmp *= scaling_factor;
        std::get<92>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<93, ContainerOverSubrelations>;
        auto tmp =
            in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_64_min_len_24) - (FF(64) - keccakf1600_ROT_LEN_24));
        tmp *= scaling_factor;
        std::get<93>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<94, ContainerOverSubrelations>;
        auto tmp =
            in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_64_min_len_31) - (FF(64) - keccakf1600_ROT_LEN_31));
        tmp *= scaling_factor;
        std::get<94>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<95, ContainerOverSubrelations>;
        auto tmp =
            in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_64_min_len_34) - (FF(64) - keccakf1600_ROT_LEN_34));
        tmp *= scaling_factor;
        std::get<95>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<96, ContainerOverSubrelations>;
        auto tmp =
            in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_rot_64_min_len_42) - (FF(64) - keccakf1600_ROT_LEN_42));
        tmp *= scaling_factor;
        std::get<96>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_00
        using Accumulator = typename std::tuple_element_t<97, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_00) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_00));
        tmp *= scaling_factor;
        std::get<97>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_01
        using Accumulator = typename std::tuple_element_t<98, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_01) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_01));
        tmp *= scaling_factor;
        std::get<98>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_02
        using Accumulator = typename std::tuple_element_t<99, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_02) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_02));
        tmp *= scaling_factor;
        std::get<99>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_03
        using Accumulator = typename std::tuple_element_t<100, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_03) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_03));
        tmp *= scaling_factor;
        std::get<100>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_04
        using Accumulator = typename std::tuple_element_t<101, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_04) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_04));
        tmp *= scaling_factor;
        std::get<101>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_10
        using Accumulator = typename std::tuple_element_t<102, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_10) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_10));
        tmp *= scaling_factor;
        std::get<102>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_11
        using Accumulator = typename std::tuple_element_t<103, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_11) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_11));
        tmp *= scaling_factor;
        std::get<103>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_12
        using Accumulator = typename std::tuple_element_t<104, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_12) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_12));
        tmp *= scaling_factor;
        std::get<104>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_13
        using Accumulator = typename std::tuple_element_t<105, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_13) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_13));
        tmp *= scaling_factor;
        std::get<105>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_14
        using Accumulator = typename std::tuple_element_t<106, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_14) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_14));
        tmp *= scaling_factor;
        std::get<106>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_20
        using Accumulator = typename std::tuple_element_t<107, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_20) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_20));
        tmp *= scaling_factor;
        std::get<107>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_21
        using Accumulator = typename std::tuple_element_t<108, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_21) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_21));
        tmp *= scaling_factor;
        std::get<108>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_22
        using Accumulator = typename std::tuple_element_t<109, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_22) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_22));
        tmp *= scaling_factor;
        std::get<109>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_23
        using Accumulator = typename std::tuple_element_t<110, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_23) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_23));
        tmp *= scaling_factor;
        std::get<110>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_24
        using Accumulator = typename std::tuple_element_t<111, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_24) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_24));
        tmp *= scaling_factor;
        std::get<111>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_30
        using Accumulator = typename std::tuple_element_t<112, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_30) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_30));
        tmp *= scaling_factor;
        std::get<112>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_31
        using Accumulator = typename std::tuple_element_t<113, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_31) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_31));
        tmp *= scaling_factor;
        std::get<113>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_32
        using Accumulator = typename std::tuple_element_t<114, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_32) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_32));
        tmp *= scaling_factor;
        std::get<114>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_33
        using Accumulator = typename std::tuple_element_t<115, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_33) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_33));
        tmp *= scaling_factor;
        std::get<115>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_34
        using Accumulator = typename std::tuple_element_t<116, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_34) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_34));
        tmp *= scaling_factor;
        std::get<116>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_40
        using Accumulator = typename std::tuple_element_t<117, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_40) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_40));
        tmp *= scaling_factor;
        std::get<117>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_41
        using Accumulator = typename std::tuple_element_t<118, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_41) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_41));
        tmp *= scaling_factor;
        std::get<118>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_42
        using Accumulator = typename std::tuple_element_t<119, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_42) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_42));
        tmp *= scaling_factor;
        std::get<119>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_43
        using Accumulator = typename std::tuple_element_t<120, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_43) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_43));
        tmp *= scaling_factor;
        std::get<120>(evals) += typename Accumulator::View(tmp);
    }
    { // STATE_PI_NOT_44
        using Accumulator = typename std::tuple_element_t<121, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_state_pi_not_44) -
                    in.get(C::keccakf1600_sel_no_error) * (keccakf1600_POW_64_MIN_1 - keccakf1600_STATE_PI_44));
        tmp *= scaling_factor;
        std::get<121>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_00
        using Accumulator = typename std::tuple_element_t<122, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_00_shift) - in.get(C::keccakf1600_state_iota_00));
        tmp *= scaling_factor;
        std::get<122>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_01
        using Accumulator = typename std::tuple_element_t<123, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_01_shift) - in.get(C::keccakf1600_state_chi_01));
        tmp *= scaling_factor;
        std::get<123>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_02
        using Accumulator = typename std::tuple_element_t<124, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_02_shift) - in.get(C::keccakf1600_state_chi_02));
        tmp *= scaling_factor;
        std::get<124>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_03
        using Accumulator = typename std::tuple_element_t<125, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_03_shift) - in.get(C::keccakf1600_state_chi_03));
        tmp *= scaling_factor;
        std::get<125>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_04
        using Accumulator = typename std::tuple_element_t<126, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_04_shift) - in.get(C::keccakf1600_state_chi_04));
        tmp *= scaling_factor;
        std::get<126>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_10
        using Accumulator = typename std::tuple_element_t<127, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_10_shift) - in.get(C::keccakf1600_state_chi_10));
        tmp *= scaling_factor;
        std::get<127>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_11
        using Accumulator = typename std::tuple_element_t<128, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_11_shift) - in.get(C::keccakf1600_state_chi_11));
        tmp *= scaling_factor;
        std::get<128>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_12
        using Accumulator = typename std::tuple_element_t<129, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_12_shift) - in.get(C::keccakf1600_state_chi_12));
        tmp *= scaling_factor;
        std::get<129>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_13
        using Accumulator = typename std::tuple_element_t<130, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_13_shift) - in.get(C::keccakf1600_state_chi_13));
        tmp *= scaling_factor;
        std::get<130>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_14
        using Accumulator = typename std::tuple_element_t<131, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_14_shift) - in.get(C::keccakf1600_state_chi_14));
        tmp *= scaling_factor;
        std::get<131>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_20
        using Accumulator = typename std::tuple_element_t<132, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_20_shift) - in.get(C::keccakf1600_state_chi_20));
        tmp *= scaling_factor;
        std::get<132>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_21
        using Accumulator = typename std::tuple_element_t<133, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_21_shift) - in.get(C::keccakf1600_state_chi_21));
        tmp *= scaling_factor;
        std::get<133>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_22
        using Accumulator = typename std::tuple_element_t<134, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_22_shift) - in.get(C::keccakf1600_state_chi_22));
        tmp *= scaling_factor;
        std::get<134>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_23
        using Accumulator = typename std::tuple_element_t<135, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_23_shift) - in.get(C::keccakf1600_state_chi_23));
        tmp *= scaling_factor;
        std::get<135>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_24
        using Accumulator = typename std::tuple_element_t<136, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_24_shift) - in.get(C::keccakf1600_state_chi_24));
        tmp *= scaling_factor;
        std::get<136>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_30
        using Accumulator = typename std::tuple_element_t<137, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_30_shift) - in.get(C::keccakf1600_state_chi_30));
        tmp *= scaling_factor;
        std::get<137>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_31
        using Accumulator = typename std::tuple_element_t<138, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_31_shift) - in.get(C::keccakf1600_state_chi_31));
        tmp *= scaling_factor;
        std::get<138>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_32
        using Accumulator = typename std::tuple_element_t<139, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_32_shift) - in.get(C::keccakf1600_state_chi_32));
        tmp *= scaling_factor;
        std::get<139>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_33
        using Accumulator = typename std::tuple_element_t<140, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_33_shift) - in.get(C::keccakf1600_state_chi_33));
        tmp *= scaling_factor;
        std::get<140>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_34
        using Accumulator = typename std::tuple_element_t<141, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_34_shift) - in.get(C::keccakf1600_state_chi_34));
        tmp *= scaling_factor;
        std::get<141>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_40
        using Accumulator = typename std::tuple_element_t<142, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_40_shift) - in.get(C::keccakf1600_state_chi_40));
        tmp *= scaling_factor;
        std::get<142>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_41
        using Accumulator = typename std::tuple_element_t<143, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_41_shift) - in.get(C::keccakf1600_state_chi_41));
        tmp *= scaling_factor;
        std::get<143>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_42
        using Accumulator = typename std::tuple_element_t<144, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_42_shift) - in.get(C::keccakf1600_state_chi_42));
        tmp *= scaling_factor;
        std::get<144>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_43
        using Accumulator = typename std::tuple_element_t<145, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_43_shift) - in.get(C::keccakf1600_state_chi_43));
        tmp *= scaling_factor;
        std::get<145>(evals) += typename Accumulator::View(tmp);
    }
    { // NEXT_STATE_IN_44
        using Accumulator = typename std::tuple_element_t<146, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_state_in_44_shift) - in.get(C::keccakf1600_state_chi_44));
        tmp *= scaling_factor;
        std::get<146>(evals) += typename Accumulator::View(tmp);
    }
    { // SRC_OUT_OF_RANGE_ERROR_BOOLEAN
        using Accumulator = typename std::tuple_element_t<147, ContainerOverSubrelations>;
        auto tmp =
            in.get(C::keccakf1600_src_out_of_range_error) * (FF(1) - in.get(C::keccakf1600_src_out_of_range_error));
        tmp *= scaling_factor;
        std::get<147>(evals) += typename Accumulator::View(tmp);
    }
    { // DST_OUT_OF_RANGE_ERROR_BOOLEAN
        using Accumulator = typename std::tuple_element_t<148, ContainerOverSubrelations>;
        auto tmp =
            in.get(C::keccakf1600_dst_out_of_range_error) * (FF(1) - in.get(C::keccakf1600_dst_out_of_range_error));
        tmp *= scaling_factor;
        std::get<148>(evals) += typename Accumulator::View(tmp);
    }
    { // SRC_OUT_OF_RANGE_TOGGLE
        using Accumulator = typename std::tuple_element_t<149, ContainerOverSubrelations>;
        auto tmp =
            (in.get(C::keccakf1600_src_abs_diff) -
             in.get(C::keccakf1600_start) * ((FF(2) * in.get(C::keccakf1600_src_out_of_range_error) - FF(1)) *
                                                 (in.get(C::keccakf1600_src_addr) - keccakf1600_HIGHEST_SLICE_ADDRESS) -
                                             in.get(C::keccakf1600_src_out_of_range_error)));
        tmp *= scaling_factor;
        std::get<149>(evals) += typename Accumulator::View(tmp);
    }
    { // DST_OUT_OF_RANGE_TOGGLE
        using Accumulator = typename std::tuple_element_t<150, ContainerOverSubrelations>;
        auto tmp =
            (in.get(C::keccakf1600_dst_abs_diff) -
             in.get(C::keccakf1600_start) * ((FF(2) * in.get(C::keccakf1600_dst_out_of_range_error) - FF(1)) *
                                                 (in.get(C::keccakf1600_dst_addr) - keccakf1600_HIGHEST_SLICE_ADDRESS) -
                                             in.get(C::keccakf1600_dst_out_of_range_error)));
        tmp *= scaling_factor;
        std::get<150>(evals) += typename Accumulator::View(tmp);
    }
    {
        using Accumulator = typename std::tuple_element_t<151, ContainerOverSubrelations>;
        auto tmp = in.get(C::keccakf1600_sel) * (in.get(C::keccakf1600_thirty_two) - FF(32));
        tmp *= scaling_factor;
        std::get<151>(evals) += typename Accumulator::View(tmp);
    }
    { // ERROR
        using Accumulator = typename std::tuple_element_t<152, ContainerOverSubrelations>;
        auto tmp =
            (in.get(C::keccakf1600_error) - (FF(1) - (FF(1) - in.get(C::keccakf1600_src_out_of_range_error)) *
                                                         (FF(1) - in.get(C::keccakf1600_dst_out_of_range_error)) *
                                                         (FF(1) - in.get(C::keccakf1600_tag_error))));
        tmp *= scaling_factor;
        std::get<152>(evals) += typename Accumulator::View(tmp);
    }
    { // DST_ADDR_PROPAGATION
        using Accumulator = typename std::tuple_element_t<153, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_dst_addr_shift) - in.get(C::keccakf1600_dst_addr));
        tmp *= scaling_factor;
        std::get<153>(evals) += typename Accumulator::View(tmp);
    }
    { // CLK_PROPAGATION
        using Accumulator = typename std::tuple_element_t<154, ContainerOverSubrelations>;
        auto tmp =
            (FF(1) - in.get(C::keccakf1600_last)) * (in.get(C::keccakf1600_clk_shift) - in.get(C::keccakf1600_clk));
        tmp *= scaling_factor;
        std::get<154>(evals) += typename Accumulator::View(tmp);
    }
    { // SPACE_ID_PROPAGATION
        using Accumulator = typename std::tuple_element_t<155, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_space_id_shift) - in.get(C::keccakf1600_space_id));
        tmp *= scaling_factor;
        std::get<155>(evals) += typename Accumulator::View(tmp);
    }
    { // SEL_NO_ERROR_PROPAGATION
        using Accumulator = typename std::tuple_element_t<156, ContainerOverSubrelations>;
        auto tmp = (FF(1) - in.get(C::keccakf1600_last)) *
                   (in.get(C::keccakf1600_sel_no_error_shift) - in.get(C::keccakf1600_sel_no_error));
        tmp *= scaling_factor;
        std::get<156>(evals) += typename Accumulator::View(tmp);
    }
    { // SEL_SLICE_READ
        using Accumulator = typename std::tuple_element_t<157, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_sel_slice_read) -
                    in.get(C::keccakf1600_start) * (FF(1) - in.get(C::keccakf1600_src_out_of_range_error)) *
                        (FF(1) - in.get(C::keccakf1600_dst_out_of_range_error)));
        tmp *= scaling_factor;
        std::get<157>(evals) += typename Accumulator::View(tmp);
    }
    { // SEL_SLICE_WRITE
        using Accumulator = typename std::tuple_element_t<158, ContainerOverSubrelations>;
        auto tmp = (in.get(C::keccakf1600_sel_slice_write) -
                    in.get(C::keccakf1600_sel_no_error) * in.get(C::keccakf1600_last));
        tmp *= scaling_factor;
        std::get<158>(evals) += typename Accumulator::View(tmp);
    }
}
 
} // namespace bb::avm2