lookups_keccakf1600.hpp File Reference

#include <cstddef>
#include <string_view>
#include <tuple>
#include "../columns.hpp"
#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
#include "barretenberg/vm2/constraining/relations/interactions_base.hpp"

Go to the source code of this file.

Classes
struct	bb::avm2::lookup_keccakf1600_theta_xor_01_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_02_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_03_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_row_0_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_11_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_12_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_13_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_row_1_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_21_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_22_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_23_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_row_2_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_31_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_32_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_33_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_row_3_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_41_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_42_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_43_settings_
struct	bb::avm2::lookup_keccakf1600_theta_xor_row_4_settings_
struct	bb::avm2::lookup_keccakf1600_theta_combined_xor_0_settings_
struct	bb::avm2::lookup_keccakf1600_theta_combined_xor_1_settings_
struct	bb::avm2::lookup_keccakf1600_theta_combined_xor_2_settings_
struct	bb::avm2::lookup_keccakf1600_theta_combined_xor_3_settings_
struct	bb::avm2::lookup_keccakf1600_theta_combined_xor_4_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_00_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_01_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_02_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_03_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_04_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_10_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_11_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_12_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_13_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_14_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_20_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_21_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_22_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_23_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_24_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_30_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_31_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_32_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_33_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_34_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_40_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_41_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_42_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_43_settings_
struct	bb::avm2::lookup_keccakf1600_state_theta_44_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_02_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_04_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_10_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_12_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_14_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_21_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_23_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_30_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_32_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_33_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_40_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_41_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_43_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_44_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_01_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_03_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_11_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_13_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_20_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_22_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_24_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_31_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_34_range_settings_
struct	bb::avm2::lookup_keccakf1600_theta_limb_42_range_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_00_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_01_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_02_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_03_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_04_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_10_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_11_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_12_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_13_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_14_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_20_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_21_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_22_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_23_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_24_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_30_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_31_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_32_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_33_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_34_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_40_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_41_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_42_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_43_settings_
struct	bb::avm2::lookup_keccakf1600_state_pi_and_44_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_00_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_01_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_02_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_03_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_04_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_10_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_11_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_12_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_13_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_14_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_20_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_21_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_22_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_23_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_24_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_30_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_31_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_32_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_33_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_34_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_40_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_41_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_42_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_43_settings_
struct	bb::avm2::lookup_keccakf1600_state_chi_44_settings_
struct	bb::avm2::lookup_keccakf1600_round_cst_settings_
struct	bb::avm2::lookup_keccakf1600_state_iota_00_settings_
struct	bb::avm2::lookup_keccakf1600_src_abs_diff_positive_settings_
struct	bb::avm2::lookup_keccakf1600_dst_abs_diff_positive_settings_

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::avm2

Typedefs
using	bb::avm2::lookup_keccakf1600_theta_xor_01_settings = lookup_settings< lookup_keccakf1600_theta_xor_01_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_01_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_01_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_02_settings = lookup_settings< lookup_keccakf1600_theta_xor_02_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_02_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_02_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_03_settings = lookup_settings< lookup_keccakf1600_theta_xor_03_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_03_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_03_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_row_0_settings = lookup_settings< lookup_keccakf1600_theta_xor_row_0_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_row_0_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_row_0_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_11_settings = lookup_settings< lookup_keccakf1600_theta_xor_11_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_11_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_11_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_12_settings = lookup_settings< lookup_keccakf1600_theta_xor_12_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_12_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_12_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_13_settings = lookup_settings< lookup_keccakf1600_theta_xor_13_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_13_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_13_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_row_1_settings = lookup_settings< lookup_keccakf1600_theta_xor_row_1_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_row_1_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_row_1_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_21_settings = lookup_settings< lookup_keccakf1600_theta_xor_21_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_21_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_21_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_22_settings = lookup_settings< lookup_keccakf1600_theta_xor_22_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_22_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_22_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_23_settings = lookup_settings< lookup_keccakf1600_theta_xor_23_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_23_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_23_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_row_2_settings = lookup_settings< lookup_keccakf1600_theta_xor_row_2_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_row_2_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_row_2_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_31_settings = lookup_settings< lookup_keccakf1600_theta_xor_31_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_31_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_31_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_32_settings = lookup_settings< lookup_keccakf1600_theta_xor_32_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_32_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_32_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_33_settings = lookup_settings< lookup_keccakf1600_theta_xor_33_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_33_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_33_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_row_3_settings = lookup_settings< lookup_keccakf1600_theta_xor_row_3_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_row_3_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_row_3_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_41_settings = lookup_settings< lookup_keccakf1600_theta_xor_41_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_41_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_41_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_42_settings = lookup_settings< lookup_keccakf1600_theta_xor_42_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_42_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_42_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_43_settings = lookup_settings< lookup_keccakf1600_theta_xor_43_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_43_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_43_settings >
using	bb::avm2::lookup_keccakf1600_theta_xor_row_4_settings = lookup_settings< lookup_keccakf1600_theta_xor_row_4_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_xor_row_4_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_row_4_settings >
using	bb::avm2::lookup_keccakf1600_theta_combined_xor_0_settings = lookup_settings< lookup_keccakf1600_theta_combined_xor_0_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_combined_xor_0_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_combined_xor_0_settings >
using	bb::avm2::lookup_keccakf1600_theta_combined_xor_1_settings = lookup_settings< lookup_keccakf1600_theta_combined_xor_1_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_combined_xor_1_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_combined_xor_1_settings >
using	bb::avm2::lookup_keccakf1600_theta_combined_xor_2_settings = lookup_settings< lookup_keccakf1600_theta_combined_xor_2_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_combined_xor_2_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_combined_xor_2_settings >
using	bb::avm2::lookup_keccakf1600_theta_combined_xor_3_settings = lookup_settings< lookup_keccakf1600_theta_combined_xor_3_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_combined_xor_3_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_combined_xor_3_settings >
using	bb::avm2::lookup_keccakf1600_theta_combined_xor_4_settings = lookup_settings< lookup_keccakf1600_theta_combined_xor_4_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_combined_xor_4_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_combined_xor_4_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_00_settings = lookup_settings< lookup_keccakf1600_state_theta_00_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_00_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_00_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_01_settings = lookup_settings< lookup_keccakf1600_state_theta_01_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_01_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_01_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_02_settings = lookup_settings< lookup_keccakf1600_state_theta_02_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_02_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_02_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_03_settings = lookup_settings< lookup_keccakf1600_state_theta_03_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_03_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_03_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_04_settings = lookup_settings< lookup_keccakf1600_state_theta_04_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_04_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_04_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_10_settings = lookup_settings< lookup_keccakf1600_state_theta_10_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_10_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_10_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_11_settings = lookup_settings< lookup_keccakf1600_state_theta_11_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_11_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_11_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_12_settings = lookup_settings< lookup_keccakf1600_state_theta_12_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_12_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_12_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_13_settings = lookup_settings< lookup_keccakf1600_state_theta_13_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_13_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_13_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_14_settings = lookup_settings< lookup_keccakf1600_state_theta_14_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_14_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_14_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_20_settings = lookup_settings< lookup_keccakf1600_state_theta_20_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_20_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_20_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_21_settings = lookup_settings< lookup_keccakf1600_state_theta_21_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_21_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_21_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_22_settings = lookup_settings< lookup_keccakf1600_state_theta_22_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_22_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_22_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_23_settings = lookup_settings< lookup_keccakf1600_state_theta_23_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_23_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_23_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_24_settings = lookup_settings< lookup_keccakf1600_state_theta_24_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_24_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_24_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_30_settings = lookup_settings< lookup_keccakf1600_state_theta_30_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_30_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_30_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_31_settings = lookup_settings< lookup_keccakf1600_state_theta_31_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_31_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_31_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_32_settings = lookup_settings< lookup_keccakf1600_state_theta_32_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_32_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_32_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_33_settings = lookup_settings< lookup_keccakf1600_state_theta_33_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_33_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_33_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_34_settings = lookup_settings< lookup_keccakf1600_state_theta_34_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_34_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_34_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_40_settings = lookup_settings< lookup_keccakf1600_state_theta_40_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_40_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_40_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_41_settings = lookup_settings< lookup_keccakf1600_state_theta_41_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_41_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_41_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_42_settings = lookup_settings< lookup_keccakf1600_state_theta_42_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_42_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_42_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_43_settings = lookup_settings< lookup_keccakf1600_state_theta_43_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_43_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_43_settings >
using	bb::avm2::lookup_keccakf1600_state_theta_44_settings = lookup_settings< lookup_keccakf1600_state_theta_44_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_theta_44_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_44_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_02_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_02_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_02_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_02_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_04_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_04_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_04_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_04_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_10_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_10_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_10_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_10_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_12_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_12_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_12_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_12_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_14_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_14_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_14_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_14_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_21_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_21_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_21_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_21_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_23_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_23_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_23_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_23_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_30_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_30_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_30_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_30_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_32_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_32_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_32_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_32_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_33_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_33_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_33_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_33_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_40_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_40_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_40_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_40_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_41_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_41_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_41_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_41_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_43_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_43_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_43_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_43_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_44_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_44_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_44_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_44_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_01_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_01_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_01_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_01_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_03_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_03_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_03_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_03_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_11_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_11_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_11_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_11_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_13_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_13_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_13_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_13_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_20_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_20_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_20_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_20_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_22_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_22_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_22_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_22_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_24_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_24_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_24_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_24_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_31_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_31_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_31_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_31_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_34_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_34_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_34_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_34_range_settings >
using	bb::avm2::lookup_keccakf1600_theta_limb_42_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_42_range_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_theta_limb_42_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_42_range_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_00_settings = lookup_settings< lookup_keccakf1600_state_pi_and_00_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_00_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_00_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_01_settings = lookup_settings< lookup_keccakf1600_state_pi_and_01_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_01_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_01_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_02_settings = lookup_settings< lookup_keccakf1600_state_pi_and_02_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_02_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_02_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_03_settings = lookup_settings< lookup_keccakf1600_state_pi_and_03_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_03_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_03_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_04_settings = lookup_settings< lookup_keccakf1600_state_pi_and_04_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_04_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_04_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_10_settings = lookup_settings< lookup_keccakf1600_state_pi_and_10_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_10_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_10_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_11_settings = lookup_settings< lookup_keccakf1600_state_pi_and_11_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_11_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_11_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_12_settings = lookup_settings< lookup_keccakf1600_state_pi_and_12_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_12_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_12_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_13_settings = lookup_settings< lookup_keccakf1600_state_pi_and_13_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_13_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_13_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_14_settings = lookup_settings< lookup_keccakf1600_state_pi_and_14_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_14_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_14_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_20_settings = lookup_settings< lookup_keccakf1600_state_pi_and_20_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_20_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_20_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_21_settings = lookup_settings< lookup_keccakf1600_state_pi_and_21_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_21_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_21_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_22_settings = lookup_settings< lookup_keccakf1600_state_pi_and_22_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_22_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_22_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_23_settings = lookup_settings< lookup_keccakf1600_state_pi_and_23_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_23_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_23_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_24_settings = lookup_settings< lookup_keccakf1600_state_pi_and_24_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_24_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_24_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_30_settings = lookup_settings< lookup_keccakf1600_state_pi_and_30_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_30_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_30_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_31_settings = lookup_settings< lookup_keccakf1600_state_pi_and_31_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_31_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_31_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_32_settings = lookup_settings< lookup_keccakf1600_state_pi_and_32_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_32_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_32_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_33_settings = lookup_settings< lookup_keccakf1600_state_pi_and_33_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_33_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_33_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_34_settings = lookup_settings< lookup_keccakf1600_state_pi_and_34_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_34_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_34_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_40_settings = lookup_settings< lookup_keccakf1600_state_pi_and_40_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_40_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_40_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_41_settings = lookup_settings< lookup_keccakf1600_state_pi_and_41_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_41_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_41_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_42_settings = lookup_settings< lookup_keccakf1600_state_pi_and_42_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_42_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_42_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_43_settings = lookup_settings< lookup_keccakf1600_state_pi_and_43_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_43_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_43_settings >
using	bb::avm2::lookup_keccakf1600_state_pi_and_44_settings = lookup_settings< lookup_keccakf1600_state_pi_and_44_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_pi_and_44_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_44_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_00_settings = lookup_settings< lookup_keccakf1600_state_chi_00_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_00_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_00_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_01_settings = lookup_settings< lookup_keccakf1600_state_chi_01_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_01_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_01_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_02_settings = lookup_settings< lookup_keccakf1600_state_chi_02_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_02_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_02_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_03_settings = lookup_settings< lookup_keccakf1600_state_chi_03_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_03_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_03_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_04_settings = lookup_settings< lookup_keccakf1600_state_chi_04_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_04_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_04_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_10_settings = lookup_settings< lookup_keccakf1600_state_chi_10_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_10_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_10_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_11_settings = lookup_settings< lookup_keccakf1600_state_chi_11_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_11_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_11_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_12_settings = lookup_settings< lookup_keccakf1600_state_chi_12_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_12_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_12_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_13_settings = lookup_settings< lookup_keccakf1600_state_chi_13_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_13_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_13_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_14_settings = lookup_settings< lookup_keccakf1600_state_chi_14_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_14_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_14_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_20_settings = lookup_settings< lookup_keccakf1600_state_chi_20_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_20_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_20_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_21_settings = lookup_settings< lookup_keccakf1600_state_chi_21_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_21_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_21_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_22_settings = lookup_settings< lookup_keccakf1600_state_chi_22_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_22_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_22_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_23_settings = lookup_settings< lookup_keccakf1600_state_chi_23_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_23_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_23_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_24_settings = lookup_settings< lookup_keccakf1600_state_chi_24_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_24_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_24_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_30_settings = lookup_settings< lookup_keccakf1600_state_chi_30_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_30_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_30_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_31_settings = lookup_settings< lookup_keccakf1600_state_chi_31_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_31_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_31_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_32_settings = lookup_settings< lookup_keccakf1600_state_chi_32_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_32_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_32_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_33_settings = lookup_settings< lookup_keccakf1600_state_chi_33_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_33_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_33_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_34_settings = lookup_settings< lookup_keccakf1600_state_chi_34_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_34_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_34_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_40_settings = lookup_settings< lookup_keccakf1600_state_chi_40_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_40_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_40_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_41_settings = lookup_settings< lookup_keccakf1600_state_chi_41_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_41_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_41_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_42_settings = lookup_settings< lookup_keccakf1600_state_chi_42_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_42_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_42_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_43_settings = lookup_settings< lookup_keccakf1600_state_chi_43_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_43_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_43_settings >
using	bb::avm2::lookup_keccakf1600_state_chi_44_settings = lookup_settings< lookup_keccakf1600_state_chi_44_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_chi_44_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_44_settings >
using	bb::avm2::lookup_keccakf1600_round_cst_settings = lookup_settings< lookup_keccakf1600_round_cst_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_round_cst_relation = lookup_relation_base< FF_, lookup_keccakf1600_round_cst_settings >
using	bb::avm2::lookup_keccakf1600_state_iota_00_settings = lookup_settings< lookup_keccakf1600_state_iota_00_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_state_iota_00_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_iota_00_settings >
using	bb::avm2::lookup_keccakf1600_src_abs_diff_positive_settings = lookup_settings< lookup_keccakf1600_src_abs_diff_positive_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_src_abs_diff_positive_relation = lookup_relation_base< FF_, lookup_keccakf1600_src_abs_diff_positive_settings >
using	bb::avm2::lookup_keccakf1600_dst_abs_diff_positive_settings = lookup_settings< lookup_keccakf1600_dst_abs_diff_positive_settings_ >
template<typename FF_ >
using	bb::avm2::lookup_keccakf1600_dst_abs_diff_positive_relation = lookup_relation_base< FF_, lookup_keccakf1600_dst_abs_diff_positive_settings >