{
  "air_version": "49cae52a",
  "canonical_ppt_n_trace_cells": 543100528,
  "canonical_without_pedersen_ppt_n_trace_cells": 73338480,
  "air_fns": {
    "memory_address_to_id": {
      "trace_type": "Memory",
      "log_height": null,
      "num_state_cols": 2,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "MemoryAddressToId": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 6,
      "trace_cells_upper_bound": 6,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "range_check_9_9": {
      "trace_type": "Component",
      "log_height": 18,
      "num_state_cols": 8,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "RangeCheck_9_9": 1,
        "RangeCheck_9_9_B": 1,
        "RangeCheck_9_9_C": 1,
        "RangeCheck_9_9_D": 1,
        "RangeCheck_9_9_E": 1,
        "RangeCheck_9_9_F": 1,
        "RangeCheck_9_9_G": 1,
        "RangeCheck_9_9_H": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 24,
      "trace_cells_upper_bound": 24,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "memory_id_to_big": {
      "trace_type": "Memory",
      "log_height": null,
      "num_state_cols": 29,
      "use_lookup_cols": {
        "RangeCheck_9_9": 2,
        "RangeCheck_9_9_B": 2,
        "RangeCheck_9_9_C": 2,
        "RangeCheck_9_9_D": 2,
        "RangeCheck_9_9_E": 2,
        "RangeCheck_9_9_F": 2,
        "RangeCheck_9_9_G": 1,
        "RangeCheck_9_9_H": 1
      },
      "yield_lookup_cols": {
        "MemoryIdToBig": 1
      },
      "lookup_rows": {
        "RangeCheck_9_9": 2,
        "RangeCheck_9_9_B": 2,
        "RangeCheck_9_9_C": 2,
        "RangeCheck_9_9_D": 2,
        "RangeCheck_9_9_E": 2,
        "RangeCheck_9_9_F": 2,
        "RangeCheck_9_9_G": 1,
        "RangeCheck_9_9_H": 1
      },
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 61,
      "trace_cells_upper_bound": 61,
      "uses_upper_bound": {
        "range_check_9_9": 2,
        "range_check_9_9_b": 2,
        "range_check_9_9_c": 2,
        "range_check_9_9_d": 2,
        "range_check_9_9_e": 2,
        "range_check_9_9_f": 2,
        "range_check_9_9_g": 1,
        "range_check_9_9_h": 1
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 1073741823,
      "max_instances_rows_limit": 268435456
    },
    "verify_bitwise_xor_9": {
      "trace_type": "Component",
      "log_height": 18,
      "num_state_cols": 1,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "VerifyBitwiseXor_9": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 5,
      "trace_cells_upper_bound": 5,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "verify_bitwise_xor_8": {
      "trace_type": "Component",
      "log_height": 16,
      "num_state_cols": 2,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "VerifyBitwiseXor_8": 1,
        "VerifyBitwiseXor_8_B": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 6,
      "trace_cells_upper_bound": 6,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "bitwise_builtin": {
      "trace_type": "Builtin",
      "log_height": null,
      "num_state_cols": 89,
      "use_lookup_cols": {
        "MemoryAddressToId": 5,
        "MemoryIdToBig": 5,
        "VerifyBitwiseXor_9": 27,
        "VerifyBitwiseXor_8": 1
      },
      "yield_lookup_cols": {},
      "lookup_rows": {
        "MemoryAddressToId": 5,
        "MemoryIdToBig": 5,
        "VerifyBitwiseXor_9": 27,
        "VerifyBitwiseXor_8": 1
      },
      "padding_type": "None",
      "total_num_trace_cols": 165,
      "trace_cells_upper_bound": 165,
      "uses_upper_bound": {
        "memory_address_to_id": 5,
        "range_check_9_9": 16,
        "range_check_9_9_b": 16,
        "range_check_9_9_c": 16,
        "range_check_9_9_d": 16,
        "range_check_9_9_e": 16,
        "range_check_9_9_f": 16,
        "range_check_9_9_g": 8,
        "range_check_9_9_h": 8,
        "verify_bitwise_xor_9": 27,
        "verify_bitwise_xor_8": 1
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 79536431,
      "max_instances_rows_limit": 268435456
    },
    "range_check_builtin": {
      "trace_type": "Builtin",
      "log_height": null,
      "num_state_cols": 17,
      "use_lookup_cols": {
        "MemoryAddressToId": 1,
        "MemoryIdToBig": 1
      },
      "yield_lookup_cols": {},
      "lookup_rows": {
        "MemoryAddressToId": 1,
        "MemoryIdToBig": 1
      },
      "padding_type": "None",
      "total_num_trace_cols": 21,
      "trace_cells_upper_bound": 21,
      "uses_upper_bound": {
        "memory_address_to_id": 1,
        "range_check_9_9": 2,
        "range_check_9_9_b": 2,
        "range_check_9_9_c": 2,
        "range_check_9_9_d": 2,
        "range_check_9_9_e": 2,
        "range_check_9_9_f": 2,
        "range_check_9_9_g": 1,
        "range_check_9_9_h": 1
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 1073741823,
      "max_instances_rows_limit": 268435456
    },
    "range_check_6": {
      "trace_type": "Component",
      "log_height": 6,
      "num_state_cols": 1,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "RangeCheck_6": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 5,
      "trace_cells_upper_bound": 5,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "range_check96_builtin": {
      "trace_type": "Builtin",
      "log_height": null,
      "num_state_cols": 12,
      "use_lookup_cols": {
        "MemoryAddressToId": 1,
        "RangeCheck_6": 1,
        "MemoryIdToBig": 1
      },
      "yield_lookup_cols": {},
      "lookup_rows": {
        "MemoryAddressToId": 1,
        "RangeCheck_6": 1,
        "MemoryIdToBig": 1
      },
      "padding_type": "None",
      "total_num_trace_cols": 20,
      "trace_cells_upper_bound": 20,
      "uses_upper_bound": {
        "memory_address_to_id": 1,
        "range_check_6": 1,
        "range_check_9_9": 2,
        "range_check_9_9_b": 2,
        "range_check_9_9_c": 2,
        "range_check_9_9_d": 2,
        "range_check_9_9_e": 2,
        "range_check_9_9_f": 2,
        "range_check_9_9_g": 1,
        "range_check_9_9_h": 1
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 1073741823,
      "max_instances_rows_limit": 268435456
    },
    "add_mod_builtin": {
      "trace_type": "Builtin",
      "log_height": null,
      "num_state_cols": 267,
      "use_lookup_cols": {
        "MemoryAddressToId": 29,
        "MemoryIdToBig": 24
      },
      "yield_lookup_cols": {},
      "lookup_rows": {
        "MemoryAddressToId": 29,
        "MemoryIdToBig": 24
      },
      "padding_type": "None",
      "total_num_trace_cols": 375,
      "trace_cells_upper_bound": 375,
      "uses_upper_bound": {
        "memory_address_to_id": 29,
        "range_check_9_9": 64,
        "range_check_9_9_b": 64,
        "range_check_9_9_c": 64,
        "range_check_9_9_d": 64,
        "range_check_9_9_e": 64,
        "range_check_9_9_f": 64,
        "range_check_9_9_g": 32,
        "range_check_9_9_h": 32
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 33554431,
      "max_instances_rows_limit": 268435456
    },
    "range_check_12": {
      "trace_type": "Component",
      "log_height": 12,
      "num_state_cols": 1,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "RangeCheck_12": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 5,
      "trace_cells_upper_bound": 5,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "range_check_3_6_6_3": {
      "trace_type": "Component",
      "log_height": 18,
      "num_state_cols": 1,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "RangeCheck_3_6_6_3": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 5,
      "trace_cells_upper_bound": 5,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "range_check_18": {
      "trace_type": "Component",
      "log_height": 18,
      "num_state_cols": 2,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "RangeCheck_18": 1,
        "RangeCheck_18_B": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 6,
      "trace_cells_upper_bound": 6,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "mul_mod_builtin": {
      "trace_type": "Builtin",
      "log_height": null,
      "num_state_cols": 426,
      "use_lookup_cols": {
        "MemoryAddressToId": 29,
        "MemoryIdToBig": 24,
        "RangeCheck_12": 32,
        "RangeCheck_3_6_6_3": 40,
        "RangeCheck_18": 62
      },
      "yield_lookup_cols": {},
      "lookup_rows": {
        "MemoryAddressToId": 29,
        "MemoryIdToBig": 24,
        "RangeCheck_12": 32,
        "RangeCheck_3_6_6_3": 40,
        "RangeCheck_18": 62
      },
      "padding_type": "None",
      "total_num_trace_cols": 802,
      "trace_cells_upper_bound": 802,
      "uses_upper_bound": {
        "memory_address_to_id": 29,
        "range_check_9_9": 64,
        "range_check_9_9_b": 64,
        "range_check_9_9_c": 64,
        "range_check_9_9_d": 64,
        "range_check_9_9_e": 64,
        "range_check_9_9_f": 64,
        "range_check_9_9_g": 32,
        "range_check_9_9_h": 32,
        "range_check_12": 32,
        "range_check_3_6_6_3": 40,
        "range_check_18": 62
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 33554431,
      "max_instances_rows_limit": 268435456
    },
    "range_check_20": {
      "trace_type": "Component",
      "log_height": 20,
      "num_state_cols": 8,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "RangeCheck_20": 1,
        "RangeCheck_20_B": 1,
        "RangeCheck_20_C": 1,
        "RangeCheck_20_D": 1,
        "RangeCheck_20_E": 1,
        "RangeCheck_20_F": 1,
        "RangeCheck_20_G": 1,
        "RangeCheck_20_H": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 24,
      "trace_cells_upper_bound": 24,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "cube_252": {
      "trace_type": "Component",
      "log_height": null,
      "num_state_cols": 141,
      "use_lookup_cols": {
        "RangeCheck_9_9": 6,
        "RangeCheck_9_9_B": 6,
        "RangeCheck_9_9_C": 6,
        "RangeCheck_9_9_D": 6,
        "RangeCheck_9_9_E": 6,
        "RangeCheck_9_9_F": 6,
        "RangeCheck_9_9_G": 3,
        "RangeCheck_9_9_H": 3,
        "RangeCheck_20": 8,
        "RangeCheck_20_B": 8,
        "RangeCheck_20_C": 8,
        "RangeCheck_20_D": 8,
        "RangeCheck_20_E": 6,
        "RangeCheck_20_F": 6,
        "RangeCheck_20_G": 6,
        "RangeCheck_20_H": 6
      },
      "yield_lookup_cols": {
        "Cube252": 1
      },
      "lookup_rows": {
        "RangeCheck_9_9": 6,
        "RangeCheck_9_9_B": 6,
        "RangeCheck_9_9_C": 6,
        "RangeCheck_9_9_D": 6,
        "RangeCheck_9_9_E": 6,
        "RangeCheck_9_9_F": 6,
        "RangeCheck_9_9_G": 3,
        "RangeCheck_9_9_H": 3,
        "RangeCheck_20": 8,
        "RangeCheck_20_B": 8,
        "RangeCheck_20_C": 8,
        "RangeCheck_20_D": 8,
        "RangeCheck_20_E": 6,
        "RangeCheck_20_F": 6,
        "RangeCheck_20_G": 6,
        "RangeCheck_20_H": 6
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 341,
      "trace_cells_upper_bound": 341,
      "uses_upper_bound": {
        "range_check_9_9": 6,
        "range_check_9_9_b": 6,
        "range_check_9_9_c": 6,
        "range_check_9_9_d": 6,
        "range_check_9_9_e": 6,
        "range_check_9_9_f": 6,
        "range_check_9_9_g": 3,
        "range_check_9_9_h": 3,
        "range_check_20": 8,
        "range_check_20_b": 8,
        "range_check_20_c": 8,
        "range_check_20_d": 8,
        "range_check_20_e": 6,
        "range_check_20_f": 6,
        "range_check_20_g": 6,
        "range_check_20_h": 6
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 268435455,
      "max_instances_rows_limit": 268435456
    },
    "poseidon_round_keys": {
      "trace_type": "Component",
      "log_height": 6,
      "num_state_cols": 1,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "PoseidonRoundKeys": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 5,
      "trace_cells_upper_bound": 5,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "range_check_3_3_3_3_3": {
      "trace_type": "Component",
      "log_height": 15,
      "num_state_cols": 1,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "RangeCheck_3_3_3_3_3": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 5,
      "trace_cells_upper_bound": 5,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "poseidon_full_round_chain": {
      "trace_type": "ChainRound",
      "log_height": null,
      "num_state_cols": 126,
      "use_lookup_cols": {
        "Cube252": 3,
        "PoseidonRoundKeys": 1,
        "RangeCheck_3_3_3_3_3": 6,
        "PoseidonFullRoundChain": 1
      },
      "yield_lookup_cols": {
        "PoseidonFullRoundChain": 1
      },
      "lookup_rows": {
        "Cube252": 3,
        "PoseidonRoundKeys": 1,
        "RangeCheck_3_3_3_3_3": 6
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 150,
      "trace_cells_upper_bound": 1514,
      "uses_upper_bound": {
        "range_check_9_9": 24,
        "range_check_9_9_b": 24,
        "range_check_9_9_c": 24,
        "range_check_9_9_d": 24,
        "range_check_9_9_e": 24,
        "range_check_9_9_f": 24,
        "range_check_9_9_g": 12,
        "range_check_9_9_h": 12,
        "range_check_20": 32,
        "range_check_20_b": 32,
        "range_check_20_c": 32,
        "range_check_20_d": 32,
        "range_check_20_e": 24,
        "range_check_20_f": 24,
        "range_check_20_g": 24,
        "range_check_20_h": 24,
        "poseidon_round_keys": 1,
        "range_check_3_3_3_3_3": 6
      },
      "rows_upper_bound": {
        "cube_252": 3
      },
      "max_instances_uses_limit": 67108863,
      "max_instances_rows_limit": 67108864
    },
    "range_check_252_width_27": {
      "trace_type": "Component",
      "log_height": null,
      "num_state_cols": 20,
      "use_lookup_cols": {
        "RangeCheck_9_9": 1,
        "RangeCheck_18": 7,
        "RangeCheck_9_9_B": 1,
        "RangeCheck_18_B": 2,
        "RangeCheck_9_9_C": 1,
        "RangeCheck_9_9_D": 1,
        "RangeCheck_9_9_E": 1
      },
      "yield_lookup_cols": {
        "RangeCheck252Width27": 1
      },
      "lookup_rows": {
        "RangeCheck_9_9": 1,
        "RangeCheck_18": 7,
        "RangeCheck_9_9_B": 1,
        "RangeCheck_18_B": 2,
        "RangeCheck_9_9_C": 1,
        "RangeCheck_9_9_D": 1,
        "RangeCheck_9_9_E": 1
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 52,
      "trace_cells_upper_bound": 52,
      "uses_upper_bound": {
        "range_check_9_9": 1,
        "range_check_18": 7,
        "range_check_9_9_b": 1,
        "range_check_18_b": 2,
        "range_check_9_9_c": 1,
        "range_check_9_9_d": 1,
        "range_check_9_9_e": 1
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 306783378,
      "max_instances_rows_limit": 268435456
    },
    "range_check_4_4_4_4": {
      "trace_type": "Component",
      "log_height": 16,
      "num_state_cols": 1,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "RangeCheck_4_4_4_4": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 5,
      "trace_cells_upper_bound": 5,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "range_check_4_4": {
      "trace_type": "Component",
      "log_height": 8,
      "num_state_cols": 1,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "RangeCheck_4_4": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 5,
      "trace_cells_upper_bound": 5,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "poseidon_3_partial_rounds_chain": {
      "trace_type": "ChainRound",
      "log_height": null,
      "num_state_cols": 169,
      "use_lookup_cols": {
        "PoseidonRoundKeys": 1,
        "Cube252": 3,
        "RangeCheck_4_4_4_4": 6,
        "RangeCheck_4_4": 3,
        "RangeCheck252Width27": 3,
        "Poseidon3PartialRoundsChain": 1
      },
      "yield_lookup_cols": {
        "Poseidon3PartialRoundsChain": 1
      },
      "lookup_rows": {
        "PoseidonRoundKeys": 1,
        "Cube252": 3,
        "RangeCheck_4_4_4_4": 6,
        "RangeCheck_4_4": 3,
        "RangeCheck252Width27": 3
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 205,
      "trace_cells_upper_bound": 1777,
      "uses_upper_bound": {
        "poseidon_round_keys": 1,
        "range_check_9_9": 28,
        "range_check_9_9_b": 28,
        "range_check_9_9_c": 28,
        "range_check_9_9_d": 28,
        "range_check_9_9_e": 28,
        "range_check_9_9_f": 24,
        "range_check_9_9_g": 12,
        "range_check_9_9_h": 12,
        "range_check_20": 32,
        "range_check_20_b": 32,
        "range_check_20_c": 32,
        "range_check_20_d": 32,
        "range_check_20_e": 24,
        "range_check_20_f": 24,
        "range_check_20_g": 24,
        "range_check_20_h": 24,
        "range_check_4_4_4_4": 6,
        "range_check_4_4": 3,
        "range_check_18": 28,
        "range_check_18_b": 8
      },
      "rows_upper_bound": {
        "cube_252": 3,
        "range_check_252_width_27": 3
      },
      "max_instances_uses_limit": 67108863,
      "max_instances_rows_limit": 67108864
    },
    "poseidon_aggregator": {
      "trace_type": "Component",
      "log_height": null,
      "num_state_cols": 342,
      "use_lookup_cols": {
        "MemoryIdToBig": 6,
        "PoseidonFullRoundChain": 2,
        "RangeCheck252Width27": 2,
        "Cube252": 2,
        "RangeCheck_3_3_3_3_3": 2,
        "RangeCheck_4_4_4_4": 6,
        "RangeCheck_4_4": 3,
        "Poseidon3PartialRoundsChain": 1
      },
      "yield_lookup_cols": {
        "PoseidonFullRoundChain": 2,
        "Poseidon3PartialRoundsChain": 1,
        "PoseidonAggregator": 1
      },
      "lookup_rows": {
        "MemoryIdToBig": 6,
        "PoseidonFullRoundChain": 8,
        "RangeCheck252Width27": 2,
        "Cube252": 2,
        "RangeCheck_3_3_3_3_3": 2,
        "RangeCheck_4_4_4_4": 6,
        "RangeCheck_4_4": 3,
        "Poseidon3PartialRoundsChain": 27
      },
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 398,
      "trace_cells_upper_bound": 70160,
      "uses_upper_bound": {
        "range_check_9_9": 1118,
        "range_check_9_9_b": 1118,
        "range_check_9_9_c": 1118,
        "range_check_9_9_d": 1118,
        "range_check_9_9_e": 1118,
        "range_check_9_9_f": 988,
        "range_check_9_9_g": 494,
        "range_check_9_9_h": 494,
        "range_check_20": 1296,
        "range_check_20_b": 1296,
        "range_check_20_c": 1296,
        "range_check_20_d": 1296,
        "range_check_20_e": 972,
        "range_check_20_f": 972,
        "range_check_20_g": 972,
        "range_check_20_h": 972,
        "poseidon_round_keys": 40,
        "range_check_3_3_3_3_3": 50,
        "range_check_18": 910,
        "range_check_18_b": 260,
        "range_check_4_4_4_4": 198,
        "range_check_4_4": 99
      },
      "rows_upper_bound": {
        "poseidon_full_round_chain": 8,
        "cube_252": 122,
        "range_check_252_width_27": 98,
        "poseidon_3_partial_rounds_chain": 27
      },
      "max_instances_uses_limit": 1657008,
      "max_instances_rows_limit": 2097152
    },
    "poseidon_builtin": {
      "trace_type": "Builtin",
      "log_height": null,
      "num_state_cols": 6,
      "use_lookup_cols": {
        "MemoryAddressToId": 6,
        "PoseidonAggregator": 1
      },
      "yield_lookup_cols": {},
      "lookup_rows": {
        "MemoryAddressToId": 6,
        "PoseidonAggregator": 1
      },
      "padding_type": "None",
      "total_num_trace_cols": 22,
      "trace_cells_upper_bound": 70182,
      "uses_upper_bound": {
        "memory_address_to_id": 6,
        "range_check_9_9": 1118,
        "range_check_9_9_b": 1118,
        "range_check_9_9_c": 1118,
        "range_check_9_9_d": 1118,
        "range_check_9_9_e": 1118,
        "range_check_9_9_f": 988,
        "range_check_9_9_g": 494,
        "range_check_9_9_h": 494,
        "range_check_20": 1296,
        "range_check_20_b": 1296,
        "range_check_20_c": 1296,
        "range_check_20_d": 1296,
        "range_check_20_e": 972,
        "range_check_20_f": 972,
        "range_check_20_g": 972,
        "range_check_20_h": 972,
        "poseidon_round_keys": 40,
        "range_check_3_3_3_3_3": 50,
        "range_check_18": 910,
        "range_check_18_b": 260,
        "range_check_4_4_4_4": 198,
        "range_check_4_4": 99
      },
      "rows_upper_bound": {
        "poseidon_aggregator": 1,
        "poseidon_full_round_chain": 8,
        "cube_252": 122,
        "range_check_252_width_27": 98,
        "poseidon_3_partial_rounds_chain": 27
      },
      "max_instances_uses_limit": 1657008,
      "max_instances_rows_limit": 2097152
    },
    "range_check_8": {
      "trace_type": "Component",
      "log_height": 8,
      "num_state_cols": 1,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "RangeCheck_8": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 5,
      "trace_cells_upper_bound": 5,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "pedersen_points_table_window_bits_18": {
      "trace_type": "Component",
      "log_height": 23,
      "num_state_cols": 1,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "PedersenPointsTableWindowBits18": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 5,
      "trace_cells_upper_bound": 5,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "partial_ec_mul_window_bits_18": {
      "trace_type": "ChainRound",
      "log_height": null,
      "num_state_cols": 297,
      "use_lookup_cols": {
        "PedersenPointsTableWindowBits18": 1,
        "RangeCheck_9_9": 6,
        "RangeCheck_9_9_B": 6,
        "RangeCheck_9_9_C": 6,
        "RangeCheck_9_9_D": 6,
        "RangeCheck_9_9_E": 6,
        "RangeCheck_9_9_F": 6,
        "RangeCheck_9_9_G": 3,
        "RangeCheck_9_9_H": 3,
        "RangeCheck_20": 12,
        "RangeCheck_20_B": 12,
        "RangeCheck_20_C": 12,
        "RangeCheck_20_D": 12,
        "RangeCheck_20_E": 9,
        "RangeCheck_20_F": 9,
        "RangeCheck_20_G": 9,
        "RangeCheck_20_H": 9,
        "PartialEcMulWindowBits18": 1
      },
      "yield_lookup_cols": {
        "PartialEcMulWindowBits18": 1
      },
      "lookup_rows": {
        "PedersenPointsTableWindowBits18": 1,
        "RangeCheck_9_9": 6,
        "RangeCheck_9_9_B": 6,
        "RangeCheck_9_9_C": 6,
        "RangeCheck_9_9_D": 6,
        "RangeCheck_9_9_E": 6,
        "RangeCheck_9_9_F": 6,
        "RangeCheck_9_9_G": 3,
        "RangeCheck_9_9_H": 3,
        "RangeCheck_20": 12,
        "RangeCheck_20_B": 12,
        "RangeCheck_20_C": 12,
        "RangeCheck_20_D": 12,
        "RangeCheck_20_E": 9,
        "RangeCheck_20_F": 9,
        "RangeCheck_20_G": 9,
        "RangeCheck_20_H": 9
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 557,
      "trace_cells_upper_bound": 557,
      "uses_upper_bound": {
        "pedersen_points_table_window_bits_18": 1,
        "range_check_9_9": 6,
        "range_check_9_9_b": 6,
        "range_check_9_9_c": 6,
        "range_check_9_9_d": 6,
        "range_check_9_9_e": 6,
        "range_check_9_9_f": 6,
        "range_check_9_9_g": 3,
        "range_check_9_9_h": 3,
        "range_check_20": 12,
        "range_check_20_b": 12,
        "range_check_20_c": 12,
        "range_check_20_d": 12,
        "range_check_20_e": 9,
        "range_check_20_f": 9,
        "range_check_20_g": 9,
        "range_check_20_h": 9
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 178956970,
      "max_instances_rows_limit": 268435456
    },
    "pedersen_aggregator_window_bits_18": {
      "trace_type": "Component",
      "log_height": null,
      "num_state_cols": 206,
      "use_lookup_cols": {
        "MemoryIdToBig": 3,
        "RangeCheck_8": 4,
        "PartialEcMulWindowBits18": 2
      },
      "yield_lookup_cols": {
        "PartialEcMulWindowBits18": 2,
        "PedersenAggregatorWindowBits18": 1
      },
      "lookup_rows": {
        "MemoryIdToBig": 3,
        "RangeCheck_8": 4,
        "PartialEcMulWindowBits18": 28
      },
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 230,
      "trace_cells_upper_bound": 18054,
      "uses_upper_bound": {
        "range_check_9_9": 200,
        "range_check_9_9_b": 200,
        "range_check_9_9_c": 200,
        "range_check_9_9_d": 200,
        "range_check_9_9_e": 200,
        "range_check_9_9_f": 200,
        "range_check_9_9_g": 100,
        "range_check_9_9_h": 100,
        "range_check_8": 4,
        "pedersen_points_table_window_bits_18": 32,
        "range_check_20": 384,
        "range_check_20_b": 384,
        "range_check_20_c": 384,
        "range_check_20_d": 384,
        "range_check_20_e": 288,
        "range_check_20_f": 288,
        "range_check_20_g": 288,
        "range_check_20_h": 288
      },
      "rows_upper_bound": {
        "partial_ec_mul_window_bits_18": 28
      },
      "max_instances_uses_limit": 5592405,
      "max_instances_rows_limit": 8388608
    },
    "pedersen_builtin": {
      "trace_type": "Builtin",
      "log_height": null,
      "num_state_cols": 3,
      "use_lookup_cols": {
        "MemoryAddressToId": 3,
        "PedersenAggregatorWindowBits18": 1
      },
      "yield_lookup_cols": {},
      "lookup_rows": {
        "MemoryAddressToId": 3,
        "PedersenAggregatorWindowBits18": 1
      },
      "padding_type": "None",
      "total_num_trace_cols": 11,
      "trace_cells_upper_bound": 18065,
      "uses_upper_bound": {
        "memory_address_to_id": 3,
        "range_check_9_9": 200,
        "range_check_9_9_b": 200,
        "range_check_9_9_c": 200,
        "range_check_9_9_d": 200,
        "range_check_9_9_e": 200,
        "range_check_9_9_f": 200,
        "range_check_9_9_g": 100,
        "range_check_9_9_h": 100,
        "range_check_8": 4,
        "pedersen_points_table_window_bits_18": 32,
        "range_check_20": 384,
        "range_check_20_b": 384,
        "range_check_20_c": 384,
        "range_check_20_d": 384,
        "range_check_20_e": 288,
        "range_check_20_f": 288,
        "range_check_20_g": 288,
        "range_check_20_h": 288
      },
      "rows_upper_bound": {
        "pedersen_aggregator_window_bits_18": 1,
        "partial_ec_mul_window_bits_18": 28
      },
      "max_instances_uses_limit": 5592405,
      "max_instances_rows_limit": 8388608
    },
    "pedersen_points_table_window_bits_9": {
      "trace_type": "Component",
      "log_height": 15,
      "num_state_cols": 1,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "PedersenPointsTableWindowBits9": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 5,
      "trace_cells_upper_bound": 5,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "partial_ec_mul_window_bits_9": {
      "trace_type": "ChainRound",
      "log_height": null,
      "num_state_cols": 311,
      "use_lookup_cols": {
        "PedersenPointsTableWindowBits9": 1,
        "RangeCheck_9_9": 6,
        "RangeCheck_9_9_B": 6,
        "RangeCheck_9_9_C": 6,
        "RangeCheck_9_9_D": 6,
        "RangeCheck_9_9_E": 6,
        "RangeCheck_9_9_F": 6,
        "RangeCheck_9_9_G": 3,
        "RangeCheck_9_9_H": 3,
        "RangeCheck_20": 12,
        "RangeCheck_20_B": 12,
        "RangeCheck_20_C": 12,
        "RangeCheck_20_D": 12,
        "RangeCheck_20_E": 9,
        "RangeCheck_20_F": 9,
        "RangeCheck_20_G": 9,
        "RangeCheck_20_H": 9,
        "PartialEcMulWindowBits9": 1
      },
      "yield_lookup_cols": {
        "PartialEcMulWindowBits9": 1
      },
      "lookup_rows": {
        "PedersenPointsTableWindowBits9": 1,
        "RangeCheck_9_9": 6,
        "RangeCheck_9_9_B": 6,
        "RangeCheck_9_9_C": 6,
        "RangeCheck_9_9_D": 6,
        "RangeCheck_9_9_E": 6,
        "RangeCheck_9_9_F": 6,
        "RangeCheck_9_9_G": 3,
        "RangeCheck_9_9_H": 3,
        "RangeCheck_20": 12,
        "RangeCheck_20_B": 12,
        "RangeCheck_20_C": 12,
        "RangeCheck_20_D": 12,
        "RangeCheck_20_E": 9,
        "RangeCheck_20_F": 9,
        "RangeCheck_20_G": 9,
        "RangeCheck_20_H": 9
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 571,
      "trace_cells_upper_bound": 571,
      "uses_upper_bound": {
        "pedersen_points_table_window_bits_9": 1,
        "range_check_9_9": 6,
        "range_check_9_9_b": 6,
        "range_check_9_9_c": 6,
        "range_check_9_9_d": 6,
        "range_check_9_9_e": 6,
        "range_check_9_9_f": 6,
        "range_check_9_9_g": 3,
        "range_check_9_9_h": 3,
        "range_check_20": 12,
        "range_check_20_b": 12,
        "range_check_20_c": 12,
        "range_check_20_d": 12,
        "range_check_20_e": 9,
        "range_check_20_f": 9,
        "range_check_20_g": 9,
        "range_check_20_h": 9
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 178956970,
      "max_instances_rows_limit": 268435456
    },
    "pedersen_aggregator_window_bits_9": {
      "trace_type": "Component",
      "log_height": null,
      "num_state_cols": 234,
      "use_lookup_cols": {
        "MemoryIdToBig": 3,
        "RangeCheck_8": 4,
        "PartialEcMulWindowBits9": 2
      },
      "yield_lookup_cols": {
        "PartialEcMulWindowBits9": 2,
        "PedersenAggregatorWindowBits9": 1
      },
      "lookup_rows": {
        "MemoryIdToBig": 3,
        "RangeCheck_8": 4,
        "PartialEcMulWindowBits9": 56
      },
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 258,
      "trace_cells_upper_bound": 36802,
      "uses_upper_bound": {
        "range_check_9_9": 392,
        "range_check_9_9_b": 392,
        "range_check_9_9_c": 392,
        "range_check_9_9_d": 392,
        "range_check_9_9_e": 392,
        "range_check_9_9_f": 392,
        "range_check_9_9_g": 196,
        "range_check_9_9_h": 196,
        "range_check_8": 4,
        "pedersen_points_table_window_bits_9": 64,
        "range_check_20": 768,
        "range_check_20_b": 768,
        "range_check_20_c": 768,
        "range_check_20_d": 768,
        "range_check_20_e": 576,
        "range_check_20_f": 576,
        "range_check_20_g": 576,
        "range_check_20_h": 576
      },
      "rows_upper_bound": {
        "partial_ec_mul_window_bits_9": 56
      },
      "max_instances_uses_limit": 2796202,
      "max_instances_rows_limit": 4194304
    },
    "pedersen_builtin_narrow_windows": {
      "trace_type": "Builtin",
      "log_height": null,
      "num_state_cols": 3,
      "use_lookup_cols": {
        "MemoryAddressToId": 3,
        "PedersenAggregatorWindowBits9": 1
      },
      "yield_lookup_cols": {},
      "lookup_rows": {
        "MemoryAddressToId": 3,
        "PedersenAggregatorWindowBits9": 1
      },
      "padding_type": "None",
      "total_num_trace_cols": 11,
      "trace_cells_upper_bound": 36813,
      "uses_upper_bound": {
        "memory_address_to_id": 3,
        "range_check_9_9": 392,
        "range_check_9_9_b": 392,
        "range_check_9_9_c": 392,
        "range_check_9_9_d": 392,
        "range_check_9_9_e": 392,
        "range_check_9_9_f": 392,
        "range_check_9_9_g": 196,
        "range_check_9_9_h": 196,
        "range_check_8": 4,
        "pedersen_points_table_window_bits_9": 64,
        "range_check_20": 768,
        "range_check_20_b": 768,
        "range_check_20_c": 768,
        "range_check_20_d": 768,
        "range_check_20_e": 576,
        "range_check_20_f": 576,
        "range_check_20_g": 576,
        "range_check_20_h": 576
      },
      "rows_upper_bound": {
        "pedersen_aggregator_window_bits_9": 1,
        "partial_ec_mul_window_bits_9": 56
      },
      "max_instances_uses_limit": 2796202,
      "max_instances_rows_limit": 4194304
    },
    "partial_ec_mul_generic": {
      "trace_type": "ChainRound",
      "log_height": null,
      "num_state_cols": 624,
      "use_lookup_cols": {
        "RangeCheck_8": 4,
        "RangeCheck_9_9": 16,
        "RangeCheck_9_9_B": 16,
        "RangeCheck_9_9_C": 16,
        "RangeCheck_9_9_D": 16,
        "RangeCheck_9_9_E": 16,
        "RangeCheck_9_9_F": 16,
        "RangeCheck_9_9_G": 8,
        "RangeCheck_9_9_H": 8,
        "RangeCheck_20": 28,
        "RangeCheck_20_B": 28,
        "RangeCheck_20_C": 28,
        "RangeCheck_20_D": 28,
        "RangeCheck_20_E": 21,
        "RangeCheck_20_F": 21,
        "RangeCheck_20_G": 21,
        "RangeCheck_20_H": 21,
        "PartialEcMulGeneric": 1
      },
      "yield_lookup_cols": {
        "PartialEcMulGeneric": 1
      },
      "lookup_rows": {
        "RangeCheck_8": 4,
        "RangeCheck_9_9": 16,
        "RangeCheck_9_9_B": 16,
        "RangeCheck_9_9_C": 16,
        "RangeCheck_9_9_D": 16,
        "RangeCheck_9_9_E": 16,
        "RangeCheck_9_9_F": 16,
        "RangeCheck_9_9_G": 8,
        "RangeCheck_9_9_H": 8,
        "RangeCheck_20": 28,
        "RangeCheck_20_B": 28,
        "RangeCheck_20_C": 28,
        "RangeCheck_20_D": 28,
        "RangeCheck_20_E": 21,
        "RangeCheck_20_F": 21,
        "RangeCheck_20_G": 21,
        "RangeCheck_20_H": 21
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 1252,
      "trace_cells_upper_bound": 1252,
      "uses_upper_bound": {
        "range_check_8": 4,
        "range_check_9_9": 16,
        "range_check_9_9_b": 16,
        "range_check_9_9_c": 16,
        "range_check_9_9_d": 16,
        "range_check_9_9_e": 16,
        "range_check_9_9_f": 16,
        "range_check_9_9_g": 8,
        "range_check_9_9_h": 8,
        "range_check_20": 28,
        "range_check_20_b": 28,
        "range_check_20_c": 28,
        "range_check_20_d": 28,
        "range_check_20_e": 21,
        "range_check_20_f": 21,
        "range_check_20_g": 21,
        "range_check_20_h": 21
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 76695844,
      "max_instances_rows_limit": 268435456
    },
    "ec_op_builtin": {
      "trace_type": "Builtin",
      "log_height": null,
      "num_state_cols": 273,
      "use_lookup_cols": {
        "MemoryAddressToId": 7,
        "MemoryIdToBig": 7,
        "RangeCheck_8": 2,
        "PartialEcMulGeneric": 1
      },
      "yield_lookup_cols": {
        "PartialEcMulGeneric": 1
      },
      "lookup_rows": {
        "MemoryAddressToId": 7,
        "MemoryIdToBig": 7,
        "RangeCheck_8": 2,
        "PartialEcMulGeneric": 252
      },
      "padding_type": "None",
      "total_num_trace_cols": 309,
      "trace_cells_upper_bound": 320821,
      "uses_upper_bound": {
        "memory_address_to_id": 7,
        "range_check_9_9": 4112,
        "range_check_9_9_b": 4112,
        "range_check_9_9_c": 4112,
        "range_check_9_9_d": 4112,
        "range_check_9_9_e": 4112,
        "range_check_9_9_f": 4112,
        "range_check_9_9_g": 2056,
        "range_check_9_9_h": 2056,
        "range_check_8": 1026,
        "range_check_20": 7168,
        "range_check_20_b": 7168,
        "range_check_20_c": 7168,
        "range_check_20_d": 7168,
        "range_check_20_e": 5376,
        "range_check_20_f": 5376,
        "range_check_20_g": 5376,
        "range_check_20_h": 5376
      },
      "rows_upper_bound": {
        "partial_ec_mul_generic": 252
      },
      "max_instances_uses_limit": 299593,
      "max_instances_rows_limit": 1048576
    },
    "range_check_7_2_5": {
      "trace_type": "Component",
      "log_height": 14,
      "num_state_cols": 1,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "RangeCheck_7_2_5": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 5,
      "trace_cells_upper_bound": 5,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "range_check_4_3": {
      "trace_type": "Component",
      "log_height": 7,
      "num_state_cols": 1,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "RangeCheck_4_3": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 5,
      "trace_cells_upper_bound": 5,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "verify_instruction": {
      "trace_type": "Component",
      "log_height": null,
      "num_state_cols": 17,
      "use_lookup_cols": {
        "RangeCheck_7_2_5": 1,
        "RangeCheck_4_3": 1,
        "MemoryAddressToId": 1,
        "MemoryIdToBig": 1
      },
      "yield_lookup_cols": {
        "VerifyInstruction": 1
      },
      "lookup_rows": {
        "RangeCheck_7_2_5": 1,
        "RangeCheck_4_3": 1,
        "MemoryAddressToId": 1,
        "MemoryIdToBig": 1
      },
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 29,
      "trace_cells_upper_bound": 29,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 1,
        "range_check_9_9": 2,
        "range_check_9_9_b": 2,
        "range_check_9_9_c": 2,
        "range_check_9_9_d": 2,
        "range_check_9_9_e": 2,
        "range_check_9_9_f": 2,
        "range_check_9_9_g": 1,
        "range_check_9_9_h": 1
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 1073741823,
      "max_instances_rows_limit": 268435456
    },
    "range_check_11": {
      "trace_type": "Component",
      "log_height": 11,
      "num_state_cols": 1,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "RangeCheck_11": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 5,
      "trace_cells_upper_bound": 5,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "generic_opcode": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 243,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 3,
        "MemoryIdToBig": 3,
        "RangeCheck_9_9": 4,
        "RangeCheck_9_9_B": 4,
        "RangeCheck_9_9_C": 4,
        "RangeCheck_9_9_D": 4,
        "RangeCheck_9_9_E": 4,
        "RangeCheck_9_9_F": 4,
        "RangeCheck_9_9_G": 2,
        "RangeCheck_9_9_H": 2,
        "RangeCheck_20": 4,
        "RangeCheck_20_B": 4,
        "RangeCheck_20_C": 4,
        "RangeCheck_20_D": 4,
        "RangeCheck_20_E": 3,
        "RangeCheck_20_F": 3,
        "RangeCheck_20_G": 3,
        "RangeCheck_20_H": 3,
        "RangeCheck_18": 1,
        "RangeCheck_11": 1,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 3,
        "MemoryIdToBig": 3,
        "RangeCheck_9_9": 4,
        "RangeCheck_9_9_B": 4,
        "RangeCheck_9_9_C": 4,
        "RangeCheck_9_9_D": 4,
        "RangeCheck_9_9_E": 4,
        "RangeCheck_9_9_F": 4,
        "RangeCheck_9_9_G": 2,
        "RangeCheck_9_9_H": 2,
        "RangeCheck_20": 4,
        "RangeCheck_20_B": 4,
        "RangeCheck_20_C": 4,
        "RangeCheck_20_D": 4,
        "RangeCheck_20_E": 3,
        "RangeCheck_20_F": 3,
        "RangeCheck_20_G": 3,
        "RangeCheck_20_H": 3,
        "RangeCheck_18": 1,
        "RangeCheck_11": 1
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 379,
      "trace_cells_upper_bound": 379,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 4,
        "range_check_9_9": 14,
        "range_check_9_9_b": 14,
        "range_check_9_9_c": 14,
        "range_check_9_9_d": 14,
        "range_check_9_9_e": 14,
        "range_check_9_9_f": 14,
        "range_check_9_9_g": 7,
        "range_check_9_9_h": 7,
        "range_check_20": 4,
        "range_check_20_b": 4,
        "range_check_20_c": 4,
        "range_check_20_d": 4,
        "range_check_20_e": 3,
        "range_check_20_f": 3,
        "range_check_20_g": 3,
        "range_check_20_h": 3,
        "range_check_18": 1,
        "range_check_11": 1
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 153391689,
      "max_instances_rows_limit": 268435456
    },
    "add_ap_opcode": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 17,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 1,
        "MemoryIdToBig": 1,
        "RangeCheck_18": 1,
        "RangeCheck_11": 1,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 1,
        "MemoryIdToBig": 1,
        "RangeCheck_18": 1,
        "RangeCheck_11": 1
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 33,
      "trace_cells_upper_bound": 33,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 2,
        "range_check_9_9": 4,
        "range_check_9_9_b": 4,
        "range_check_9_9_c": 4,
        "range_check_9_9_d": 4,
        "range_check_9_9_e": 4,
        "range_check_9_9_f": 4,
        "range_check_9_9_g": 2,
        "range_check_9_9_h": 2,
        "range_check_18": 1,
        "range_check_11": 1
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 536870911,
      "max_instances_rows_limit": 268435456
    },
    "add_opcode_small": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 39,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 3,
        "MemoryIdToBig": 3,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 3,
        "MemoryIdToBig": 3
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 59,
      "trace_cells_upper_bound": 59,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 4,
        "range_check_9_9": 10,
        "range_check_9_9_b": 10,
        "range_check_9_9_c": 10,
        "range_check_9_9_d": 10,
        "range_check_9_9_e": 10,
        "range_check_9_9_f": 10,
        "range_check_9_9_g": 5,
        "range_check_9_9_h": 5
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 214748364,
      "max_instances_rows_limit": 268435456
    },
    "add_opcode": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 103,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 3,
        "MemoryIdToBig": 3,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 3,
        "MemoryIdToBig": 3
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 123,
      "trace_cells_upper_bound": 123,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 4,
        "range_check_9_9": 10,
        "range_check_9_9_b": 10,
        "range_check_9_9_c": 10,
        "range_check_9_9_d": 10,
        "range_check_9_9_e": 10,
        "range_check_9_9_f": 10,
        "range_check_9_9_g": 5,
        "range_check_9_9_h": 5
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 214748364,
      "max_instances_rows_limit": 268435456
    },
    "assert_eq_opcode": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 12,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 2,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 2
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 24,
      "trace_cells_upper_bound": 24,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 3,
        "range_check_9_9": 2,
        "range_check_9_9_b": 2,
        "range_check_9_9_c": 2,
        "range_check_9_9_d": 2,
        "range_check_9_9_e": 2,
        "range_check_9_9_f": 2,
        "range_check_9_9_g": 1,
        "range_check_9_9_h": 1
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 715827882,
      "max_instances_rows_limit": 268435456
    },
    "assert_eq_opcode_double_deref": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 19,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 3,
        "MemoryIdToBig": 1,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 3,
        "MemoryIdToBig": 1
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 35,
      "trace_cells_upper_bound": 35,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 4,
        "range_check_9_9": 4,
        "range_check_9_9_b": 4,
        "range_check_9_9_c": 4,
        "range_check_9_9_d": 4,
        "range_check_9_9_e": 4,
        "range_check_9_9_f": 4,
        "range_check_9_9_g": 2,
        "range_check_9_9_h": 2
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 536870911,
      "max_instances_rows_limit": 268435456
    },
    "assert_eq_opcode_imm": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 9,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 2,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 2
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 21,
      "trace_cells_upper_bound": 21,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 3,
        "range_check_9_9": 2,
        "range_check_9_9_b": 2,
        "range_check_9_9_c": 2,
        "range_check_9_9_d": 2,
        "range_check_9_9_e": 2,
        "range_check_9_9_f": 2,
        "range_check_9_9_g": 1,
        "range_check_9_9_h": 1
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 715827882,
      "max_instances_rows_limit": 268435456
    },
    "call_opcode_abs": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 25,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 3,
        "MemoryIdToBig": 3,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 3,
        "MemoryIdToBig": 3
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 45,
      "trace_cells_upper_bound": 45,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 4,
        "range_check_9_9": 10,
        "range_check_9_9_b": 10,
        "range_check_9_9_c": 10,
        "range_check_9_9_d": 10,
        "range_check_9_9_e": 10,
        "range_check_9_9_f": 10,
        "range_check_9_9_g": 5,
        "range_check_9_9_h": 5
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 214748364,
      "max_instances_rows_limit": 268435456
    },
    "call_opcode_rel_imm": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 24,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 3,
        "MemoryIdToBig": 3,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 3,
        "MemoryIdToBig": 3
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 44,
      "trace_cells_upper_bound": 44,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 4,
        "range_check_9_9": 10,
        "range_check_9_9_b": 10,
        "range_check_9_9_c": 10,
        "range_check_9_9_d": 10,
        "range_check_9_9_e": 10,
        "range_check_9_9_f": 10,
        "range_check_9_9_g": 5,
        "range_check_9_9_h": 5
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 214748364,
      "max_instances_rows_limit": 268435456
    },
    "jnz_opcode_taken": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 47,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 2,
        "MemoryIdToBig": 2,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 2,
        "MemoryIdToBig": 2
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 63,
      "trace_cells_upper_bound": 63,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 3,
        "range_check_9_9": 6,
        "range_check_9_9_b": 6,
        "range_check_9_9_c": 6,
        "range_check_9_9_d": 6,
        "range_check_9_9_e": 6,
        "range_check_9_9_f": 6,
        "range_check_9_9_g": 3,
        "range_check_9_9_h": 3
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 357913941,
      "max_instances_rows_limit": 268435456
    },
    "jnz_opcode_non_taken": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 9,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 1,
        "MemoryIdToBig": 1,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 1,
        "MemoryIdToBig": 1
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 21,
      "trace_cells_upper_bound": 21,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 2,
        "range_check_9_9": 4,
        "range_check_9_9_b": 4,
        "range_check_9_9_c": 4,
        "range_check_9_9_d": 4,
        "range_check_9_9_e": 4,
        "range_check_9_9_f": 4,
        "range_check_9_9_g": 2,
        "range_check_9_9_h": 2
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 536870911,
      "max_instances_rows_limit": 268435456
    },
    "jump_opcode_rel_imm": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 13,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 1,
        "MemoryIdToBig": 1,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 1,
        "MemoryIdToBig": 1
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 25,
      "trace_cells_upper_bound": 25,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 2,
        "range_check_9_9": 4,
        "range_check_9_9_b": 4,
        "range_check_9_9_c": 4,
        "range_check_9_9_d": 4,
        "range_check_9_9_e": 4,
        "range_check_9_9_f": 4,
        "range_check_9_9_g": 2,
        "range_check_9_9_h": 2
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 536870911,
      "max_instances_rows_limit": 268435456
    },
    "jump_opcode_rel": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 16,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 1,
        "MemoryIdToBig": 1,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 1,
        "MemoryIdToBig": 1
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 28,
      "trace_cells_upper_bound": 28,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 2,
        "range_check_9_9": 4,
        "range_check_9_9_b": 4,
        "range_check_9_9_c": 4,
        "range_check_9_9_d": 4,
        "range_check_9_9_e": 4,
        "range_check_9_9_f": 4,
        "range_check_9_9_g": 2,
        "range_check_9_9_h": 2
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 536870911,
      "max_instances_rows_limit": 268435456
    },
    "jump_opcode_double_deref": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 21,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 2,
        "MemoryIdToBig": 2,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 2,
        "MemoryIdToBig": 2
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 37,
      "trace_cells_upper_bound": 37,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 3,
        "range_check_9_9": 6,
        "range_check_9_9_b": 6,
        "range_check_9_9_c": 6,
        "range_check_9_9_d": 6,
        "range_check_9_9_e": 6,
        "range_check_9_9_f": 6,
        "range_check_9_9_g": 3,
        "range_check_9_9_h": 3
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 357913941,
      "max_instances_rows_limit": 268435456
    },
    "jump_opcode_abs": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 14,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 1,
        "MemoryIdToBig": 1,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 1,
        "MemoryIdToBig": 1
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 26,
      "trace_cells_upper_bound": 26,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 2,
        "range_check_9_9": 4,
        "range_check_9_9_b": 4,
        "range_check_9_9_c": 4,
        "range_check_9_9_d": 4,
        "range_check_9_9_e": 4,
        "range_check_9_9_f": 4,
        "range_check_9_9_g": 2,
        "range_check_9_9_h": 2
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 536870911,
      "max_instances_rows_limit": 268435456
    },
    "mul_opcode_small": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 37,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 3,
        "MemoryIdToBig": 3,
        "RangeCheck_11": 3,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 3,
        "MemoryIdToBig": 3,
        "RangeCheck_11": 3
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 61,
      "trace_cells_upper_bound": 61,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 4,
        "range_check_9_9": 10,
        "range_check_9_9_b": 10,
        "range_check_9_9_c": 10,
        "range_check_9_9_d": 10,
        "range_check_9_9_e": 10,
        "range_check_9_9_f": 10,
        "range_check_9_9_g": 5,
        "range_check_9_9_h": 5,
        "range_check_11": 3
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 214748364,
      "max_instances_rows_limit": 268435456
    },
    "mul_opcode": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 130,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 3,
        "MemoryIdToBig": 3,
        "RangeCheck_20": 4,
        "RangeCheck_20_B": 4,
        "RangeCheck_20_C": 4,
        "RangeCheck_20_D": 4,
        "RangeCheck_20_E": 3,
        "RangeCheck_20_F": 3,
        "RangeCheck_20_G": 3,
        "RangeCheck_20_H": 3,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 3,
        "MemoryIdToBig": 3,
        "RangeCheck_20": 4,
        "RangeCheck_20_B": 4,
        "RangeCheck_20_C": 4,
        "RangeCheck_20_D": 4,
        "RangeCheck_20_E": 3,
        "RangeCheck_20_F": 3,
        "RangeCheck_20_G": 3,
        "RangeCheck_20_H": 3
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 206,
      "trace_cells_upper_bound": 206,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 4,
        "range_check_9_9": 10,
        "range_check_9_9_b": 10,
        "range_check_9_9_c": 10,
        "range_check_9_9_d": 10,
        "range_check_9_9_e": 10,
        "range_check_9_9_f": 10,
        "range_check_9_9_g": 5,
        "range_check_9_9_h": 5,
        "range_check_20": 4,
        "range_check_20_b": 4,
        "range_check_20_c": 4,
        "range_check_20_d": 4,
        "range_check_20_e": 3,
        "range_check_20_f": 3,
        "range_check_20_g": 3,
        "range_check_20_h": 3
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 214748364,
      "max_instances_rows_limit": 268435456
    },
    "ret_opcode": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 16,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 2,
        "MemoryIdToBig": 2,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 2,
        "MemoryIdToBig": 2
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 32,
      "trace_cells_upper_bound": 32,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 3,
        "range_check_9_9": 6,
        "range_check_9_9_b": 6,
        "range_check_9_9_c": 6,
        "range_check_9_9_d": 6,
        "range_check_9_9_e": 6,
        "range_check_9_9_f": 6,
        "range_check_9_9_g": 3,
        "range_check_9_9_h": 3
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 357913941,
      "max_instances_rows_limit": 268435456
    },
    "qm_31_add_mul_opcode": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 73,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 3,
        "MemoryIdToBig": 3,
        "RangeCheck_4_4_4_4": 3,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 3,
        "MemoryIdToBig": 3,
        "RangeCheck_4_4_4_4": 3
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 97,
      "trace_cells_upper_bound": 97,
      "uses_upper_bound": {
        "range_check_7_2_5": 1,
        "range_check_4_3": 1,
        "memory_address_to_id": 4,
        "range_check_9_9": 10,
        "range_check_9_9_b": 10,
        "range_check_9_9_c": 10,
        "range_check_9_9_d": 10,
        "range_check_9_9_e": 10,
        "range_check_9_9_f": 10,
        "range_check_9_9_g": 5,
        "range_check_9_9_h": 5,
        "range_check_4_4_4_4": 3
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 214748364,
      "max_instances_rows_limit": 268435456
    },
    "blake_round_sigma": {
      "trace_type": "Component",
      "log_height": 4,
      "num_state_cols": 1,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "BlakeRoundSigma": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 5,
      "trace_cells_upper_bound": 5,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "verify_bitwise_xor_12": {
      "trace_type": "Component",
      "log_height": 24,
      "num_state_cols": 1,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "VerifyBitwiseXor_12": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 5,
      "trace_cells_upper_bound": 5,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "verify_bitwise_xor_4": {
      "trace_type": "Component",
      "log_height": 8,
      "num_state_cols": 1,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "VerifyBitwiseXor_4": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 5,
      "trace_cells_upper_bound": 5,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "verify_bitwise_xor_7": {
      "trace_type": "Component",
      "log_height": 14,
      "num_state_cols": 1,
      "use_lookup_cols": {},
      "yield_lookup_cols": {
        "VerifyBitwiseXor_7": 1
      },
      "lookup_rows": {},
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 5,
      "trace_cells_upper_bound": 5,
      "uses_upper_bound": {},
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    },
    "blake_g": {
      "trace_type": "Component",
      "log_height": null,
      "num_state_cols": 53,
      "use_lookup_cols": {
        "VerifyBitwiseXor_8": 4,
        "VerifyBitwiseXor_8_B": 4,
        "VerifyBitwiseXor_12": 2,
        "VerifyBitwiseXor_4": 2,
        "VerifyBitwiseXor_7": 2,
        "VerifyBitwiseXor_9": 2
      },
      "yield_lookup_cols": {
        "BlakeG": 1
      },
      "lookup_rows": {
        "VerifyBitwiseXor_8": 4,
        "VerifyBitwiseXor_8_B": 4,
        "VerifyBitwiseXor_12": 2,
        "VerifyBitwiseXor_4": 2,
        "VerifyBitwiseXor_7": 2,
        "VerifyBitwiseXor_9": 2
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 89,
      "trace_cells_upper_bound": 89,
      "uses_upper_bound": {
        "verify_bitwise_xor_8": 4,
        "verify_bitwise_xor_8_b": 4,
        "verify_bitwise_xor_12": 2,
        "verify_bitwise_xor_4": 2,
        "verify_bitwise_xor_7": 2,
        "verify_bitwise_xor_9": 2
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 536870911,
      "max_instances_rows_limit": 268435456
    },
    "blake_round": {
      "trace_type": "ChainRound",
      "log_height": null,
      "num_state_cols": 212,
      "use_lookup_cols": {
        "BlakeRoundSigma": 1,
        "RangeCheck_7_2_5": 16,
        "MemoryAddressToId": 16,
        "MemoryIdToBig": 16,
        "BlakeG": 8,
        "BlakeRound": 1
      },
      "yield_lookup_cols": {
        "BlakeRound": 1
      },
      "lookup_rows": {
        "BlakeRoundSigma": 1,
        "RangeCheck_7_2_5": 16,
        "MemoryAddressToId": 16,
        "MemoryIdToBig": 16,
        "BlakeG": 8
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 332,
      "trace_cells_upper_bound": 1044,
      "uses_upper_bound": {
        "blake_round_sigma": 1,
        "range_check_7_2_5": 16,
        "memory_address_to_id": 16,
        "range_check_9_9": 32,
        "range_check_9_9_b": 32,
        "range_check_9_9_c": 32,
        "range_check_9_9_d": 32,
        "range_check_9_9_e": 32,
        "range_check_9_9_f": 32,
        "range_check_9_9_g": 16,
        "range_check_9_9_h": 16,
        "verify_bitwise_xor_8": 32,
        "verify_bitwise_xor_8_b": 32,
        "verify_bitwise_xor_12": 16,
        "verify_bitwise_xor_4": 16,
        "verify_bitwise_xor_7": 16,
        "verify_bitwise_xor_9": 16
      },
      "rows_upper_bound": {
        "blake_g": 8
      },
      "max_instances_uses_limit": 67108863,
      "max_instances_rows_limit": 33554432
    },
    "triple_xor_32": {
      "trace_type": "Component",
      "log_height": null,
      "num_state_cols": 21,
      "use_lookup_cols": {
        "VerifyBitwiseXor_8": 4,
        "VerifyBitwiseXor_8_B": 4
      },
      "yield_lookup_cols": {
        "TripleXor32": 1
      },
      "lookup_rows": {
        "VerifyBitwiseXor_8": 4,
        "VerifyBitwiseXor_8_B": 4
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 41,
      "trace_cells_upper_bound": 41,
      "uses_upper_bound": {
        "verify_bitwise_xor_8": 4,
        "verify_bitwise_xor_8_b": 4
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 536870911,
      "max_instances_rows_limit": 268435456
    },
    "blake_compress_opcode": {
      "trace_type": "Opcode",
      "log_height": null,
      "num_state_cols": 174,
      "use_lookup_cols": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 20,
        "MemoryIdToBig": 20,
        "RangeCheck_7_2_5": 17,
        "VerifyBitwiseXor_8": 4,
        "BlakeRound": 1,
        "TripleXor32": 8,
        "Opcodes": 1
      },
      "yield_lookup_cols": {
        "BlakeRound": 1,
        "Opcodes": 1
      },
      "lookup_rows": {
        "VerifyInstruction": 1,
        "MemoryAddressToId": 20,
        "MemoryIdToBig": 20,
        "RangeCheck_7_2_5": 17,
        "VerifyBitwiseXor_8": 4,
        "BlakeRound": 10,
        "TripleXor32": 8
      },
      "padding_type": "Enabler",
      "total_num_trace_cols": 322,
      "trace_cells_upper_bound": 17354,
      "uses_upper_bound": {
        "range_check_7_2_5": 274,
        "range_check_4_3": 1,
        "memory_address_to_id": 277,
        "range_check_9_9": 578,
        "range_check_9_9_b": 578,
        "range_check_9_9_c": 578,
        "range_check_9_9_d": 578,
        "range_check_9_9_e": 578,
        "range_check_9_9_f": 578,
        "range_check_9_9_g": 289,
        "range_check_9_9_h": 289,
        "verify_bitwise_xor_8": 548,
        "blake_round_sigma": 16,
        "verify_bitwise_xor_8_b": 544,
        "verify_bitwise_xor_12": 256,
        "verify_bitwise_xor_4": 256,
        "verify_bitwise_xor_7": 256,
        "verify_bitwise_xor_9": 256
      },
      "rows_upper_bound": {
        "blake_round": 10,
        "blake_g": 128,
        "triple_xor_32": 8
      },
      "max_instances_uses_limit": 3715369,
      "max_instances_rows_limit": 2097152
    },
    "memory_id_to_small": {
      "trace_type": "Memory",
      "log_height": null,
      "num_state_cols": 9,
      "use_lookup_cols": {
        "RangeCheck_9_9": 1,
        "RangeCheck_9_9_B": 1,
        "RangeCheck_9_9_C": 1,
        "RangeCheck_9_9_D": 1
      },
      "yield_lookup_cols": {
        "MemoryIdToBig": 1
      },
      "lookup_rows": {
        "RangeCheck_9_9": 1,
        "RangeCheck_9_9_B": 1,
        "RangeCheck_9_9_C": 1,
        "RangeCheck_9_9_D": 1
      },
      "padding_type": "Multiplicity",
      "total_num_trace_cols": 21,
      "trace_cells_upper_bound": 21,
      "uses_upper_bound": {
        "range_check_9_9": 1,
        "range_check_9_9_b": 1,
        "range_check_9_9_c": 1,
        "range_check_9_9_d": 1
      },
      "rows_upper_bound": {},
      "max_instances_uses_limit": 2147483647,
      "max_instances_rows_limit": 268435456
    }
  }
}