lookups_bitwise.hpp

Go to the documentation of this file.

// AUTOGENERATED FILE
#pragma once
 
#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"
 
namespace bb::avm2 {
 
 
struct lookup_bitwise_bitw_tag_byte_length_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_BITWISE_BITW_TAG_BYTE_LENGTH";
    static constexpr std::string_view RELATION_NAME = "bitwise";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
    static constexpr Column SRC_SELECTOR = Column::bitwise_sel_compute;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_tag_parameters;
    static constexpr Column COUNTS = Column::lookup_bitwise_bitw_tag_byte_length_counts;
    static constexpr Column INVERSES = Column::lookup_bitwise_bitw_tag_byte_length_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::bitwise_tag_a, ColumnAndShifts::bitwise_tag_byte_len
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_idx, ColumnAndShifts::precomputed_tag_byte_length
    };
};
 
using lookup_bitwise_bitw_tag_byte_length_settings = lookup_settings<lookup_bitwise_bitw_tag_byte_length_settings_>;
template <typename FF_>
using lookup_bitwise_bitw_tag_byte_length_relation =
    lookup_relation_base<FF_, lookup_bitwise_bitw_tag_byte_length_settings>;
 
 
struct lookup_bitwise_byte_operations_0_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_BITWISE_BYTE_OPERATIONS_0";
    static constexpr std::string_view RELATION_NAME = "bitwise";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
    static constexpr Column SRC_SELECTOR = Column::bitwise_sel_compute;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_bitwise;
    static constexpr Column COUNTS = Column::lookup_bitwise_byte_operations_0_counts;
    static constexpr Column INVERSES = Column::lookup_bitwise_byte_operations_0_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::bitwise_ia_byte_0_,
        ColumnAndShifts::bitwise_ib_byte_0_,
        ColumnAndShifts::bitwise_output_and_0_,
        ColumnAndShifts::bitwise_output_or_0_,
        ColumnAndShifts::bitwise_output_xor_0_
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_bitwise_input_a,
        ColumnAndShifts::precomputed_bitwise_input_b,
        ColumnAndShifts::precomputed_bitwise_output_and,
        ColumnAndShifts::precomputed_bitwise_output_or,
        ColumnAndShifts::precomputed_bitwise_output_xor
    };
};
 
using lookup_bitwise_byte_operations_0_settings = lookup_settings<lookup_bitwise_byte_operations_0_settings_>;
template <typename FF_>
using lookup_bitwise_byte_operations_0_relation = lookup_relation_base<FF_, lookup_bitwise_byte_operations_0_settings>;
 
 
struct lookup_bitwise_byte_operations_1_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_BITWISE_BYTE_OPERATIONS_1";
    static constexpr std::string_view RELATION_NAME = "bitwise";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
    static constexpr Column SRC_SELECTOR = Column::bitwise_sel_u16;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_bitwise;
    static constexpr Column COUNTS = Column::lookup_bitwise_byte_operations_1_counts;
    static constexpr Column INVERSES = Column::lookup_bitwise_byte_operations_1_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::bitwise_ia_byte_1_,
        ColumnAndShifts::bitwise_ib_byte_1_,
        ColumnAndShifts::bitwise_output_and_1_,
        ColumnAndShifts::bitwise_output_or_1_,
        ColumnAndShifts::bitwise_output_xor_1_
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_bitwise_input_a,
        ColumnAndShifts::precomputed_bitwise_input_b,
        ColumnAndShifts::precomputed_bitwise_output_and,
        ColumnAndShifts::precomputed_bitwise_output_or,
        ColumnAndShifts::precomputed_bitwise_output_xor
    };
};
 
using lookup_bitwise_byte_operations_1_settings = lookup_settings<lookup_bitwise_byte_operations_1_settings_>;
template <typename FF_>
using lookup_bitwise_byte_operations_1_relation = lookup_relation_base<FF_, lookup_bitwise_byte_operations_1_settings>;
 
 
struct lookup_bitwise_byte_operations_2_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_BITWISE_BYTE_OPERATIONS_2";
    static constexpr std::string_view RELATION_NAME = "bitwise";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
    static constexpr Column SRC_SELECTOR = Column::bitwise_sel_u32;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_bitwise;
    static constexpr Column COUNTS = Column::lookup_bitwise_byte_operations_2_counts;
    static constexpr Column INVERSES = Column::lookup_bitwise_byte_operations_2_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::bitwise_ia_byte_2_,
        ColumnAndShifts::bitwise_ib_byte_2_,
        ColumnAndShifts::bitwise_output_and_2_,
        ColumnAndShifts::bitwise_output_or_2_,
        ColumnAndShifts::bitwise_output_xor_2_
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_bitwise_input_a,
        ColumnAndShifts::precomputed_bitwise_input_b,
        ColumnAndShifts::precomputed_bitwise_output_and,
        ColumnAndShifts::precomputed_bitwise_output_or,
        ColumnAndShifts::precomputed_bitwise_output_xor
    };
};
 
using lookup_bitwise_byte_operations_2_settings = lookup_settings<lookup_bitwise_byte_operations_2_settings_>;
template <typename FF_>
using lookup_bitwise_byte_operations_2_relation = lookup_relation_base<FF_, lookup_bitwise_byte_operations_2_settings>;
 
 
struct lookup_bitwise_byte_operations_3_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_BITWISE_BYTE_OPERATIONS_3";
    static constexpr std::string_view RELATION_NAME = "bitwise";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
    static constexpr Column SRC_SELECTOR = Column::bitwise_sel_u32;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_bitwise;
    static constexpr Column COUNTS = Column::lookup_bitwise_byte_operations_3_counts;
    static constexpr Column INVERSES = Column::lookup_bitwise_byte_operations_3_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::bitwise_ia_byte_3_,
        ColumnAndShifts::bitwise_ib_byte_3_,
        ColumnAndShifts::bitwise_output_and_3_,
        ColumnAndShifts::bitwise_output_or_3_,
        ColumnAndShifts::bitwise_output_xor_3_
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_bitwise_input_a,
        ColumnAndShifts::precomputed_bitwise_input_b,
        ColumnAndShifts::precomputed_bitwise_output_and,
        ColumnAndShifts::precomputed_bitwise_output_or,
        ColumnAndShifts::precomputed_bitwise_output_xor
    };
};
 
using lookup_bitwise_byte_operations_3_settings = lookup_settings<lookup_bitwise_byte_operations_3_settings_>;
template <typename FF_>
using lookup_bitwise_byte_operations_3_relation = lookup_relation_base<FF_, lookup_bitwise_byte_operations_3_settings>;
 
 
struct lookup_bitwise_byte_operations_4_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_BITWISE_BYTE_OPERATIONS_4";
    static constexpr std::string_view RELATION_NAME = "bitwise";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
    static constexpr Column SRC_SELECTOR = Column::bitwise_sel_u64;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_bitwise;
    static constexpr Column COUNTS = Column::lookup_bitwise_byte_operations_4_counts;
    static constexpr Column INVERSES = Column::lookup_bitwise_byte_operations_4_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::bitwise_ia_byte_4_,
        ColumnAndShifts::bitwise_ib_byte_4_,
        ColumnAndShifts::bitwise_output_and_4_,
        ColumnAndShifts::bitwise_output_or_4_,
        ColumnAndShifts::bitwise_output_xor_4_
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_bitwise_input_a,
        ColumnAndShifts::precomputed_bitwise_input_b,
        ColumnAndShifts::precomputed_bitwise_output_and,
        ColumnAndShifts::precomputed_bitwise_output_or,
        ColumnAndShifts::precomputed_bitwise_output_xor
    };
};
 
using lookup_bitwise_byte_operations_4_settings = lookup_settings<lookup_bitwise_byte_operations_4_settings_>;
template <typename FF_>
using lookup_bitwise_byte_operations_4_relation = lookup_relation_base<FF_, lookup_bitwise_byte_operations_4_settings>;
 
 
struct lookup_bitwise_byte_operations_5_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_BITWISE_BYTE_OPERATIONS_5";
    static constexpr std::string_view RELATION_NAME = "bitwise";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
    static constexpr Column SRC_SELECTOR = Column::bitwise_sel_u64;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_bitwise;
    static constexpr Column COUNTS = Column::lookup_bitwise_byte_operations_5_counts;
    static constexpr Column INVERSES = Column::lookup_bitwise_byte_operations_5_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::bitwise_ia_byte_5_,
        ColumnAndShifts::bitwise_ib_byte_5_,
        ColumnAndShifts::bitwise_output_and_5_,
        ColumnAndShifts::bitwise_output_or_5_,
        ColumnAndShifts::bitwise_output_xor_5_
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_bitwise_input_a,
        ColumnAndShifts::precomputed_bitwise_input_b,
        ColumnAndShifts::precomputed_bitwise_output_and,
        ColumnAndShifts::precomputed_bitwise_output_or,
        ColumnAndShifts::precomputed_bitwise_output_xor
    };
};
 
using lookup_bitwise_byte_operations_5_settings = lookup_settings<lookup_bitwise_byte_operations_5_settings_>;
template <typename FF_>
using lookup_bitwise_byte_operations_5_relation = lookup_relation_base<FF_, lookup_bitwise_byte_operations_5_settings>;
 
 
struct lookup_bitwise_byte_operations_6_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_BITWISE_BYTE_OPERATIONS_6";
    static constexpr std::string_view RELATION_NAME = "bitwise";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
    static constexpr Column SRC_SELECTOR = Column::bitwise_sel_u64;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_bitwise;
    static constexpr Column COUNTS = Column::lookup_bitwise_byte_operations_6_counts;
    static constexpr Column INVERSES = Column::lookup_bitwise_byte_operations_6_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::bitwise_ia_byte_6_,
        ColumnAndShifts::bitwise_ib_byte_6_,
        ColumnAndShifts::bitwise_output_and_6_,
        ColumnAndShifts::bitwise_output_or_6_,
        ColumnAndShifts::bitwise_output_xor_6_
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_bitwise_input_a,
        ColumnAndShifts::precomputed_bitwise_input_b,
        ColumnAndShifts::precomputed_bitwise_output_and,
        ColumnAndShifts::precomputed_bitwise_output_or,
        ColumnAndShifts::precomputed_bitwise_output_xor
    };
};
 
using lookup_bitwise_byte_operations_6_settings = lookup_settings<lookup_bitwise_byte_operations_6_settings_>;
template <typename FF_>
using lookup_bitwise_byte_operations_6_relation = lookup_relation_base<FF_, lookup_bitwise_byte_operations_6_settings>;
 
 
struct lookup_bitwise_byte_operations_7_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_BITWISE_BYTE_OPERATIONS_7";
    static constexpr std::string_view RELATION_NAME = "bitwise";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
    static constexpr Column SRC_SELECTOR = Column::bitwise_sel_u64;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_bitwise;
    static constexpr Column COUNTS = Column::lookup_bitwise_byte_operations_7_counts;
    static constexpr Column INVERSES = Column::lookup_bitwise_byte_operations_7_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::bitwise_ia_byte_7_,
        ColumnAndShifts::bitwise_ib_byte_7_,
        ColumnAndShifts::bitwise_output_and_7_,
        ColumnAndShifts::bitwise_output_or_7_,
        ColumnAndShifts::bitwise_output_xor_7_
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_bitwise_input_a,
        ColumnAndShifts::precomputed_bitwise_input_b,
        ColumnAndShifts::precomputed_bitwise_output_and,
        ColumnAndShifts::precomputed_bitwise_output_or,
        ColumnAndShifts::precomputed_bitwise_output_xor
    };
};
 
using lookup_bitwise_byte_operations_7_settings = lookup_settings<lookup_bitwise_byte_operations_7_settings_>;
template <typename FF_>
using lookup_bitwise_byte_operations_7_relation = lookup_relation_base<FF_, lookup_bitwise_byte_operations_7_settings>;
 
 
struct lookup_bitwise_byte_operations_8_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_BITWISE_BYTE_OPERATIONS_8";
    static constexpr std::string_view RELATION_NAME = "bitwise";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
    static constexpr Column SRC_SELECTOR = Column::bitwise_sel_u128;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_bitwise;
    static constexpr Column COUNTS = Column::lookup_bitwise_byte_operations_8_counts;
    static constexpr Column INVERSES = Column::lookup_bitwise_byte_operations_8_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::bitwise_ia_byte_8_,
        ColumnAndShifts::bitwise_ib_byte_8_,
        ColumnAndShifts::bitwise_output_and_8_,
        ColumnAndShifts::bitwise_output_or_8_,
        ColumnAndShifts::bitwise_output_xor_8_
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_bitwise_input_a,
        ColumnAndShifts::precomputed_bitwise_input_b,
        ColumnAndShifts::precomputed_bitwise_output_and,
        ColumnAndShifts::precomputed_bitwise_output_or,
        ColumnAndShifts::precomputed_bitwise_output_xor
    };
};
 
using lookup_bitwise_byte_operations_8_settings = lookup_settings<lookup_bitwise_byte_operations_8_settings_>;
template <typename FF_>
using lookup_bitwise_byte_operations_8_relation = lookup_relation_base<FF_, lookup_bitwise_byte_operations_8_settings>;
 
 
struct lookup_bitwise_byte_operations_9_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_BITWISE_BYTE_OPERATIONS_9";
    static constexpr std::string_view RELATION_NAME = "bitwise";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
    static constexpr Column SRC_SELECTOR = Column::bitwise_sel_u128;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_bitwise;
    static constexpr Column COUNTS = Column::lookup_bitwise_byte_operations_9_counts;
    static constexpr Column INVERSES = Column::lookup_bitwise_byte_operations_9_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::bitwise_ia_byte_9_,
        ColumnAndShifts::bitwise_ib_byte_9_,
        ColumnAndShifts::bitwise_output_and_9_,
        ColumnAndShifts::bitwise_output_or_9_,
        ColumnAndShifts::bitwise_output_xor_9_
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_bitwise_input_a,
        ColumnAndShifts::precomputed_bitwise_input_b,
        ColumnAndShifts::precomputed_bitwise_output_and,
        ColumnAndShifts::precomputed_bitwise_output_or,
        ColumnAndShifts::precomputed_bitwise_output_xor
    };
};
 
using lookup_bitwise_byte_operations_9_settings = lookup_settings<lookup_bitwise_byte_operations_9_settings_>;
template <typename FF_>
using lookup_bitwise_byte_operations_9_relation = lookup_relation_base<FF_, lookup_bitwise_byte_operations_9_settings>;
 
 
struct lookup_bitwise_byte_operations_10_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_BITWISE_BYTE_OPERATIONS_10";
    static constexpr std::string_view RELATION_NAME = "bitwise";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
    static constexpr Column SRC_SELECTOR = Column::bitwise_sel_u128;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_bitwise;
    static constexpr Column COUNTS = Column::lookup_bitwise_byte_operations_10_counts;
    static constexpr Column INVERSES = Column::lookup_bitwise_byte_operations_10_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::bitwise_ia_byte_10_,
        ColumnAndShifts::bitwise_ib_byte_10_,
        ColumnAndShifts::bitwise_output_and_10_,
        ColumnAndShifts::bitwise_output_or_10_,
        ColumnAndShifts::bitwise_output_xor_10_
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_bitwise_input_a,
        ColumnAndShifts::precomputed_bitwise_input_b,
        ColumnAndShifts::precomputed_bitwise_output_and,
        ColumnAndShifts::precomputed_bitwise_output_or,
        ColumnAndShifts::precomputed_bitwise_output_xor
    };
};
 
using lookup_bitwise_byte_operations_10_settings = lookup_settings<lookup_bitwise_byte_operations_10_settings_>;
template <typename FF_>
using lookup_bitwise_byte_operations_10_relation =
    lookup_relation_base<FF_, lookup_bitwise_byte_operations_10_settings>;
 
 
struct lookup_bitwise_byte_operations_11_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_BITWISE_BYTE_OPERATIONS_11";
    static constexpr std::string_view RELATION_NAME = "bitwise";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
    static constexpr Column SRC_SELECTOR = Column::bitwise_sel_u128;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_bitwise;
    static constexpr Column COUNTS = Column::lookup_bitwise_byte_operations_11_counts;
    static constexpr Column INVERSES = Column::lookup_bitwise_byte_operations_11_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::bitwise_ia_byte_11_,
        ColumnAndShifts::bitwise_ib_byte_11_,
        ColumnAndShifts::bitwise_output_and_11_,
        ColumnAndShifts::bitwise_output_or_11_,
        ColumnAndShifts::bitwise_output_xor_11_
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_bitwise_input_a,
        ColumnAndShifts::precomputed_bitwise_input_b,
        ColumnAndShifts::precomputed_bitwise_output_and,
        ColumnAndShifts::precomputed_bitwise_output_or,
        ColumnAndShifts::precomputed_bitwise_output_xor
    };
};
 
using lookup_bitwise_byte_operations_11_settings = lookup_settings<lookup_bitwise_byte_operations_11_settings_>;
template <typename FF_>
using lookup_bitwise_byte_operations_11_relation =
    lookup_relation_base<FF_, lookup_bitwise_byte_operations_11_settings>;
 
 
struct lookup_bitwise_byte_operations_12_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_BITWISE_BYTE_OPERATIONS_12";
    static constexpr std::string_view RELATION_NAME = "bitwise";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
    static constexpr Column SRC_SELECTOR = Column::bitwise_sel_u128;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_bitwise;
    static constexpr Column COUNTS = Column::lookup_bitwise_byte_operations_12_counts;
    static constexpr Column INVERSES = Column::lookup_bitwise_byte_operations_12_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::bitwise_ia_byte_12_,
        ColumnAndShifts::bitwise_ib_byte_12_,
        ColumnAndShifts::bitwise_output_and_12_,
        ColumnAndShifts::bitwise_output_or_12_,
        ColumnAndShifts::bitwise_output_xor_12_
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_bitwise_input_a,
        ColumnAndShifts::precomputed_bitwise_input_b,
        ColumnAndShifts::precomputed_bitwise_output_and,
        ColumnAndShifts::precomputed_bitwise_output_or,
        ColumnAndShifts::precomputed_bitwise_output_xor
    };
};
 
using lookup_bitwise_byte_operations_12_settings = lookup_settings<lookup_bitwise_byte_operations_12_settings_>;
template <typename FF_>
using lookup_bitwise_byte_operations_12_relation =
    lookup_relation_base<FF_, lookup_bitwise_byte_operations_12_settings>;
 
 
struct lookup_bitwise_byte_operations_13_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_BITWISE_BYTE_OPERATIONS_13";
    static constexpr std::string_view RELATION_NAME = "bitwise";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
    static constexpr Column SRC_SELECTOR = Column::bitwise_sel_u128;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_bitwise;
    static constexpr Column COUNTS = Column::lookup_bitwise_byte_operations_13_counts;
    static constexpr Column INVERSES = Column::lookup_bitwise_byte_operations_13_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::bitwise_ia_byte_13_,
        ColumnAndShifts::bitwise_ib_byte_13_,
        ColumnAndShifts::bitwise_output_and_13_,
        ColumnAndShifts::bitwise_output_or_13_,
        ColumnAndShifts::bitwise_output_xor_13_
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_bitwise_input_a,
        ColumnAndShifts::precomputed_bitwise_input_b,
        ColumnAndShifts::precomputed_bitwise_output_and,
        ColumnAndShifts::precomputed_bitwise_output_or,
        ColumnAndShifts::precomputed_bitwise_output_xor
    };
};
 
using lookup_bitwise_byte_operations_13_settings = lookup_settings<lookup_bitwise_byte_operations_13_settings_>;
template <typename FF_>
using lookup_bitwise_byte_operations_13_relation =
    lookup_relation_base<FF_, lookup_bitwise_byte_operations_13_settings>;
 
 
struct lookup_bitwise_byte_operations_14_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_BITWISE_BYTE_OPERATIONS_14";
    static constexpr std::string_view RELATION_NAME = "bitwise";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
    static constexpr Column SRC_SELECTOR = Column::bitwise_sel_u128;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_bitwise;
    static constexpr Column COUNTS = Column::lookup_bitwise_byte_operations_14_counts;
    static constexpr Column INVERSES = Column::lookup_bitwise_byte_operations_14_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::bitwise_ia_byte_14_,
        ColumnAndShifts::bitwise_ib_byte_14_,
        ColumnAndShifts::bitwise_output_and_14_,
        ColumnAndShifts::bitwise_output_or_14_,
        ColumnAndShifts::bitwise_output_xor_14_
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_bitwise_input_a,
        ColumnAndShifts::precomputed_bitwise_input_b,
        ColumnAndShifts::precomputed_bitwise_output_and,
        ColumnAndShifts::precomputed_bitwise_output_or,
        ColumnAndShifts::precomputed_bitwise_output_xor
    };
};
 
using lookup_bitwise_byte_operations_14_settings = lookup_settings<lookup_bitwise_byte_operations_14_settings_>;
template <typename FF_>
using lookup_bitwise_byte_operations_14_relation =
    lookup_relation_base<FF_, lookup_bitwise_byte_operations_14_settings>;
 
 
struct lookup_bitwise_byte_operations_15_settings_ {
    static constexpr std::string_view NAME = "LOOKUP_BITWISE_BYTE_OPERATIONS_15";
    static constexpr std::string_view RELATION_NAME = "bitwise";
    static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
    static constexpr Column SRC_SELECTOR = Column::bitwise_sel_u128;
    static constexpr Column DST_SELECTOR = Column::precomputed_sel_bitwise;
    static constexpr Column COUNTS = Column::lookup_bitwise_byte_operations_15_counts;
    static constexpr Column INVERSES = Column::lookup_bitwise_byte_operations_15_inv;
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
        ColumnAndShifts::bitwise_ia_byte_15_,
        ColumnAndShifts::bitwise_ib_byte_15_,
        ColumnAndShifts::bitwise_output_and_15_,
        ColumnAndShifts::bitwise_output_or_15_,
        ColumnAndShifts::bitwise_output_xor_15_
    };
    static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
        ColumnAndShifts::precomputed_bitwise_input_a,
        ColumnAndShifts::precomputed_bitwise_input_b,
        ColumnAndShifts::precomputed_bitwise_output_and,
        ColumnAndShifts::precomputed_bitwise_output_or,
        ColumnAndShifts::precomputed_bitwise_output_xor
    };
};
 
using lookup_bitwise_byte_operations_15_settings = lookup_settings<lookup_bitwise_byte_operations_15_settings_>;
template <typename FF_>
using lookup_bitwise_byte_operations_15_relation =
    lookup_relation_base<FF_, lookup_bitwise_byte_operations_15_settings>;
 
} // namespace bb::avm2