{
    "attributes": [],
    "builtins": [],
    "compiler_version": "0.14.0a1",
    "data": [
        "0x208b7fff7fff7ffe",
        "0x20780017fff7ffd",
        "0x4",
        "0x480a7ffb7fff8000",
        "0x208b7fff7fff7ffe",
        "0x40780017fff7fff",
        "0x3",
        "0x404b800080008000",
        "0x400380007ff98001",
        "0x400380007ffa8002",
        "0x20780017fff8000",
        "0x4",
        "0x10780017fff7fff",
        "0x4",
        "0x400380007ffb8001",
        "0x400380007ffc8002",
        "0x482680017ff98000",
        "0x1",
        "0x482680017ffa8000",
        "0x1",
        "0x482a80007ffb8000",
        "0x482a80007ffc8000",
        "0x482680017ffd8000",
        "0x800000000000011000000000000000000000000000000000000000000000000",
        "0x1104800180018000",
        "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffea",
        "0x208b7fff7fff7ffe",
        "0x480a7ff97fff8000",
        "0x480a7ffa7fff8000",
        "0x480a7ffc7fff8000",
        "0x480a7ffd7fff8000",
        "0x480a7ff87fff8000",
        "0x1104800180018000",
        "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe2",
        "0x402a7ffc7ffb7fff",
        "0x208b7fff7fff7ffe",
        "0x48297ffb80007ffc",
        "0x48487ffd80007fff",
        "0x400280007ffa7fff",
        "0x482680017ffa8000",
        "0x1",
        "0x208b7fff7fff7ffe",
        "0x20780017fff7ffd",
        "0x4",
        "0x480a7ff97fff8000",
        "0x208b7fff7fff7ffe",
        "0x480a7ff97fff8000",
        "0x480280007ffa8000",
        "0x480280007ffb8000",
        "0x480280007ffc8000",
        "0x1104800180018000",
        "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff3",
        "0x482680017ffa8000",
        "0x1",
        "0x482680017ffb8000",
        "0x1",
        "0x482680017ffc8000",
        "0x1",
        "0x482680017ffd8000",
        "0x800000000000011000000000000000000000000000000000000000000000000",
        "0x1104800180018000",
        "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffef",
        "0x208b7fff7fff7ffe",
        "0x40780017fff7fff",
        "0x17",
        "0x1104800180018000",
        "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffc0",
        "0x40137ffe7fff8000",
        "0x400780017fff8001",
        "0x706564657273656e",
        "0x400780017fff8002",
        "0x72616e67655f636865636b",
        "0x400780017fff8003",
        "0x6563647361",
        "0x400780017fff8004",
        "0x62697477697365",
        "0x400780017fff8005",
        "0x65635f6f70",
        "0x400780017fff8006",
        "0x706f736569646f6e",
        "0x400780017fff8007",
        "0x7365676d656e745f6172656e61",
        "0x400780017fff8008",
        "0x72616e67655f636865636b3936",
        "0x400780017fff8009",
        "0x6164645f6d6f64",
        "0x400780017fff800a",
        "0x6d756c5f6d6f64",
        "0x400780017fff800b",
        "0x3",
        "0x400780017fff800c",
        "0x1",
        "0x400780017fff800d",
        "0x2",
        "0x400780017fff800e",
        "0x5",
        "0x400780017fff800f",
        "0x7",
        "0x400780017fff8010",
        "0x6",
        "0x400780017fff8011",
        "0x3",
        "0x400780017fff8012",
        "0x1",
        "0x400780017fff8013",
        "0x7",
        "0x400780017fff8014",
        "0x7",
        "0x4027800180008015",
        "0x1",
        "0x4027800180008016",
        "0xb",
        "0x4826800180008000",
        "0x15",
        "0x208b7fff7fff7ffe",
        "0x40780017fff7fff",
        "0x1",
        "0x480680017fff8000",
        "0xa",
        "0x480280007ff98000",
        "0x480a80007fff8000",
        "0x480a7ffb7fff8000",
        "0x480a7ffc7fff8000",
        "0x480a7ffd7fff8000",
        "0x1104800180018000",
        "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffa0",
        "0x480a7ff87fff8000",
        "0x480a7ffa7fff8000",
        "0x480a80007fff8000",
        "0x480280017ff98000",
        "0x480680017fff8000",
        "0xa",
        "0x1104800180018000",
        "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffa7",
        "0x4802800a7ffa8000",
        "0x4002800a80007fff",
        "0x4802800b7ffa8000",
        "0x4002800b80007fff",
        "0x48127ffd7fff8000",
        "0x480a80007fff8000",
        "0x208b7fff7fff7ffe"
    ],
    "debug_info": {
        "file_contents": {
            "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/bazel-out/k8-opt-exec-2B5CBBC6-ST-03cbce6a7308/bin/src/starkware/cairo/lang/compiler/cairo_compile_exe.runfiles/__main__/src/starkware/cairo/lang/compiler/lib/registers.cairo": "// Returns the contents of the fp and pc registers of the calling function.\n// The pc register's value is the address of the instruction that follows directly after the\n// invocation of get_fp_and_pc().\nfunc get_fp_and_pc() -> (fp_val: felt*, pc_val: felt*) {\n    // The call instruction itself already places the old fp and the return pc at\n    // [ap - 2], [ap - 1].\n    return (fp_val=cast([ap - 2], felt*), pc_val=cast([ap - 1], felt*));\n}\n\n// Returns the content of the ap register just before this function was invoked.\n@known_ap_change\nfunc get_ap() -> (ap_val: felt*) {\n    // Once get_ap() is invoked, fp points to ap + 2 (since the call instruction placed the old fp\n    // and pc in memory, advancing ap accordingly).\n    // Hence, the desired ap value is fp - 2.\n    let (fp_val, pc_val) = get_fp_and_pc();\n    return (ap_val=fp_val - 2);\n}\n",
            "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo": "// An helper function to extract selected_ptrs from all_ptrs according to the builtin encodings\n// that appear in the selected_encodings list.\n// The caller needs to pass n_selected_builtins as a hint.\n// Returns a pointer to the next memory slot after the selected_encodings list, see \"Assumptions\".\n//\n// For example, given the following setup:\n//   - all_encodings points to [\"output\", \"pedersen\", \"range-check\"].\n//   - selected_encodings points to [\"output\", \"range-check\"]\n//   - all_ptrs points to [output_ptr, pedersen_ptr, range_check_ptr]\n//   - The caller asserts that the return value is selected_encodings + n_selected_builtins(2).\n// The function will check that selected_encodings points to [output_ptr, range_check_ptr].\n//\n// n_builtins is the length of the list of *all pointers*.\n// Assumptions:\n// * The caller has to check that n_selected_builtins = selected_encodings_end - selected_encodings.\n// * All lists are sorted according to the order of builtins input in Cairo programs.\n// * len(selected_encodings) <= len(all_encodings) == len(all_ptrs).\nfunc inner_select_builtins(\n    all_encodings: felt*,\n    all_ptrs: felt*,\n    selected_encodings: felt*,\n    selected_ptrs: felt*,\n    n_builtins,\n) -> (selected_encodings_end: felt*) {\n    // Number of memory cells used when n_builtins = 0.\n    const FUNC_MEMORY_NO_BUILTINS = 1;\n    // Number of memory cells used *in a single iteration* when n_builtins > 0.\n    const FUNC_MEMORY_WITH_BUILTINS = 10;\n\n    if (n_builtins == 0) {\n        // Return a pointer to the end of the selected_encodings list.\n        return (selected_encodings_end=selected_encodings);\n    }\n\n    alloc_locals;\n    // select_builtin equals 1 if the first builtin should be selected and 0 otherwise.\n    local select_builtin;\n    %{\n        # A builtin should be selected iff its encoding appears in the selected encodings list\n        # and the list wasn't exhausted.\n        # Note that testing inclusion by a single comparison is possible since the lists are sorted.\n        ids.select_builtin = int(\n          n_selected_builtins > 0 and memory[ids.selected_encodings] == memory[ids.all_encodings])\n        if ids.select_builtin:\n          n_selected_builtins = n_selected_builtins - 1\n    %}\n    // Verify that select_builtin is a bit.\n    select_builtin = select_builtin * select_builtin;\n\n    local curr_builtin_encoding = [all_encodings];\n    local curr_builtin_ptr = [all_ptrs];\n\n    if (select_builtin != 0) {\n        // Verify that the current builtin is indeed selected, by asserting that its encoding\n        // appears in the selected encodings list.\n        curr_builtin_encoding = [selected_encodings];\n        // Copy the current builtin pointer between selected_ptrs and all_ptrs.\n        curr_builtin_ptr = [selected_ptrs];\n    }\n\n    // Advance all list pointers accordingly and continue selection by calling inner_select_builtins\n    // recursively.\n    // Lists of selected builtins/encodings should advance only if the current builtin was selected.\n    return inner_select_builtins(\n        all_encodings=all_encodings + 1,\n        all_ptrs=all_ptrs + 1,\n        selected_encodings=selected_encodings + select_builtin,\n        selected_ptrs=selected_ptrs + select_builtin,\n        n_builtins=n_builtins - 1,\n    );\n}\n",
            "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/select_builtins.cairo": "from starkware.cairo.builtin_selection.inner_select_builtins import inner_select_builtins\n\n// A wrapper for 'inner_select_builtins' function (see its documentation).\nfunc select_builtins(\n    n_builtins,\n    all_encodings: felt*,\n    all_ptrs: felt*,\n    n_selected_builtins,\n    selected_encodings: felt*,\n    selected_ptrs: felt*,\n) {\n    %{ vm_enter_scope({'n_selected_builtins': ids.n_selected_builtins}) %}\n    let (selected_encodings_end) = inner_select_builtins(\n        all_encodings=all_encodings,\n        all_ptrs=all_ptrs,\n        selected_encodings=selected_encodings,\n        selected_ptrs=selected_ptrs,\n        n_builtins=n_builtins,\n    );\n    %{ vm_exit_scope() %}\n    // Assert that the correct number of builtins was selected.\n    assert n_selected_builtins = selected_encodings_end - selected_encodings;\n\n    return ();\n}\n",
            "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo": "// Validates that the builtin pointer of a single builtin was advanced correctly.\n// The inputs are:\n//   The previous builtin pointer.\n//   The new builtin pointer.\n//   The size of the builtin instances.\n// The function validates that the difference between the new builtin pointer and the old builtin\n// pointer is a positive integer divisible by the given builtin instance size.\n//\n// The function consumes 1 range check instance starting at range_check_ptr and returns the\n// updated range check pointer.\nfunc validate_builtin{range_check_ptr}(\n    prev_builtin_ptr: felt*, new_builtin_ptr: felt*, builtin_instance_size: felt\n) {\n    // Check that the difference is positive and divisible by builtin_instance_size by checking that\n    // 0 <= div_res < RANGE_CHECK_BOUND and diff = div_res * builtin_instance_size.\n    tempvar diff = new_builtin_ptr - prev_builtin_ptr;\n    tempvar div_res = diff / builtin_instance_size;\n    div_res = [range_check_ptr];\n    let range_check_ptr = range_check_ptr + 1;\n    return ();\n}\n\n// Validates that the builtin pointers were advanced correctly.\n//\n// The inputs are:\n//   The previous list of builtin pointers.\n//   The new list of builtin pointers.\n//   The sizes of the builtin instances.\n//   The number of builtins.\n//\n// For each builtin the function validates that the difference between the new builtin pointer and\n// the old builtin pointer is a nonnegative integer divisible by the corresponding builtin\n// instance size.\n//\n// The function consumes n_builtins range check instances starting at range_check_ptr and returns\n// the updated range check pointer.\nfunc validate_builtins{range_check_ptr}(\n    prev_builtin_ptrs: felt*, new_builtin_ptrs: felt*, builtin_instance_sizes: felt*, n_builtins\n) {\n    if (n_builtins == 0) {\n        return ();\n    }\n\n    validate_builtin(\n        prev_builtin_ptr=cast([prev_builtin_ptrs], felt*),\n        new_builtin_ptr=cast([new_builtin_ptrs], felt*),\n        builtin_instance_size=[builtin_instance_sizes],\n    );\n\n    return validate_builtins(\n        prev_builtin_ptrs=prev_builtin_ptrs + 1,\n        new_builtin_ptrs=new_builtin_ptrs + 1,\n        builtin_instance_sizes=builtin_instance_sizes + 1,\n        n_builtins=n_builtins - 1,\n    );\n}\n",
            "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/common/alloc.cairo": "// Allocates a new memory segment.\nfunc alloc() -> (ptr: felt*) {\n    %{ memory[ap] = segments.add() %}\n    ap += 1;\n    return (ptr=cast([ap - 1], felt*));\n}\n",
            "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/common/cairo_builtins.cairo": "from starkware.cairo.common.ec_point import EcPoint\nfrom starkware.cairo.common.keccak_state import KeccakBuiltinState\nfrom starkware.cairo.common.poseidon_state import PoseidonBuiltinState\n\n// Specifies the hash builtin memory structure.\nstruct HashBuiltin {\n    x: felt,\n    y: felt,\n    result: felt,\n}\n\n// Specifies the signature builtin memory structure.\nstruct SignatureBuiltin {\n    pub_key: felt,\n    message: felt,\n}\n\n// Specifies the bitwise builtin memory structure.\nstruct BitwiseBuiltin {\n    x: felt,\n    y: felt,\n    x_and_y: felt,\n    x_xor_y: felt,\n    x_or_y: felt,\n}\n\n// Specifies the EC operation builtin memory structure.\nstruct EcOpBuiltin {\n    p: EcPoint,\n    q: EcPoint,\n    m: felt,\n    r: EcPoint,\n}\n\n// Specifies the Keccak builtin memory structure.\nstruct KeccakBuiltin {\n    input: KeccakBuiltinState,\n    output: KeccakBuiltinState,\n}\n\n// Specifies the Poseidon builtin memory structure.\nstruct PoseidonBuiltin {\n    input: PoseidonBuiltinState,\n    output: PoseidonBuiltinState,\n}\n\n// Represents a 384-bit unsigned integer d0 + 2**96 * d1 + 2**192 * d2 + 2**288 * d3\n// where each di is in [0, 2**96).\nstruct UInt384 {\n    d0: felt,\n    d1: felt,\n    d2: felt,\n    d3: felt,\n}\n\n// Specifies the Add and Mul Mod builtins memory structure.\nstruct ModBuiltin {\n    // The modulus.\n    p: UInt384,\n    // A pointer to input values, the intermediate results and the output.\n    values_ptr: UInt384*,\n    // A pointer to offsets inside the values array, defining the circuit.\n    // The offsets array should contain 3 * n elements.\n    offsets_ptr: felt*,\n    // The number of operations to perform.\n    n: felt,\n}\n",
            "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/common/ec_point.cairo": "// Represents a point on an elliptic curve.\nstruct EcPoint {\n    x: felt,\n    y: felt,\n}\n",
            "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/common/keccak_state.cairo": "// Represents 1600 bits of a Keccak state (8 felts each containing 200 bits).\nstruct KeccakBuiltinState {\n    s0: felt,\n    s1: felt,\n    s2: felt,\n    s3: felt,\n    s4: felt,\n    s5: felt,\n    s6: felt,\n    s7: felt,\n}\n",
            "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/common/poseidon_state.cairo": "// Represents a Poseidon state.\nstruct PoseidonBuiltinState {\n    s0: felt,\n    s1: felt,\n    s2: felt,\n}\n",
            "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/common/registers.cairo": "from starkware.cairo.lang.compiler.lib.registers import get_ap, get_fp_and_pc\n\n// Takes the value of a label (relative to program base) and returns the actual runtime address of\n// that label in the memory.\n//\n// Usage example:\n//\n// func do_callback(...) {\n//     ...\n// }\n//\n// func do_thing_then_callback(callback) {\n//     ...\n//     call abs callback;\n// }\n//\n// func main() {\n//     let (callback_address) = get_label_location(do_callback);\n//     do_thing_then_callback(callback=callback_address);\n// }\nfunc get_label_location(label_value: codeoffset) -> (res: felt*) {\n    let (_, pc_val) = get_fp_and_pc();\n\n    ret_pc_label:\n    return (res=pc_val + (label_value - ret_pc_label));\n}\n",
            "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/common/sha256_state.cairo": "// Represents 256 bits of a SHA256 state (8 felts each containing 32 bits).\nstruct Sha256State {\n    s0: felt,\n    s1: felt,\n    s2: felt,\n    s3: felt,\n    s4: felt,\n    s5: felt,\n    s6: felt,\n    s7: felt,\n}\n\n// Represents 512 bits of a SHA256 input (16 felts each containing 32 bits).\nstruct Sha256Input {\n    s0: felt,\n    s1: felt,\n    s2: felt,\n    s3: felt,\n    s4: felt,\n    s5: felt,\n    s6: felt,\n    s7: felt,\n    s8: felt,\n    s9: felt,\n    s10: felt,\n    s11: felt,\n    s12: felt,\n    s13: felt,\n    s14: felt,\n    s15: felt,\n}\n\nstruct Sha256ProcessBlock {\n    input: Sha256Input,\n    in_state: Sha256State,\n    out_state: Sha256State,\n}\n",
            "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/starknet/builtins/segment_arena/segment_arena.cairo": "from starkware.cairo.common.alloc import alloc\n\n// The segment arena builtin allows Sierra libfuncs to allocate memory segments and only track their\n// ends (rather than both the start and the end). When the segment is finalized, the arena can\n// provide the start pointer that corresponds to the segment (given its end).\n//\n// The builtin should be used as follows:\n// * Every segment must be allocated and finalized exactly once. This can be achieved by using\n//   linear types (the object holding the segment must not be duplicatable nor droppable).\n// * Segment allocation:\n//   * Allocates a new segment and updates `SegmentInfo::start` with the pointer.\n//   * The segment should be temporary if `n_segments > 0`.\n//   * Increases `n_segments` by 1.\n// * Segment finalization:\n//   * Guesses the index of the segment, in the range [0, n_segments).\n//   * Writes the end of the segment in `SegmentInfo::end`.\n//   * Copies the current value of `n_finalized` to `SegmentInfo::finalization_index`.\n//   * Increases `n_finalized` by 1.\n//   * Checks that the segment size is nonnegative (range-check on `end - start`).\n\n// Represents the information about a single segment allocated by the arena.\nstruct SegmentInfo {\n    // A pointer to the first element of this segment.\n    start: felt*,\n    // A pointer to the end of this segment (the first unused element).\n    end: felt*,\n    // A sequential id, assigned to the segment when it is finalized.\n    // This value is used to guarantee that 'end' is not assigned twice.\n    finalization_index: felt,\n}\n\n// Represents the status of the segment arena.\nstruct SegmentArenaBuiltin {\n    // A pointer to a list of SegmentInfo. infos[i] contains information about the i-th segment\n    // (ordered by construction).\n    // The value is fixed during the execution of an entry point.\n    infos: SegmentInfo*,\n    // The number of segments that were created so far.\n    n_segments: felt,\n    // The number of segments that were finalized so far.\n    n_finalized: felt,\n}\n\n// Constructs a new segment for the segment arena builtin and initializes it with an empty instance\n// of `SegmentArenaBuiltin`.\nfunc new_arena() -> SegmentArenaBuiltin* {\n    let (segment_arena: SegmentArenaBuiltin*) = alloc();\n    assert segment_arena[0] = SegmentArenaBuiltin(\n        infos=cast(nondet %{ segments.add() %}, SegmentInfo*), n_segments=0, n_finalized=0\n    );\n    return &segment_arena[1];\n}\n\n// Validates the segment arena builtin.\n//\n// In particular, relocates the temporary segments such that the start of segment i is strictly\n// larger than the end of segment i+1.\nfunc validate_segment_arena(segment_arena: SegmentArenaBuiltin*) {\n    tempvar n_segments = segment_arena.n_segments;\n    tempvar n_finalized = segment_arena.n_finalized;\n    // The following line should follow from the fact that every allocated segment\n    // must be finalized exactly once.\n    // We keep it both as a sanity check and since Sierra compilation is not proven yet.\n    assert n_segments = n_finalized;\n\n    if (n_segments == 0) {\n        return ();\n    }\n\n    // The following call also implies that n_segments > 0.\n    _verify_continuity(infos=segment_arena.infos, n_segments_minus_one=n_segments - 1);\n    return ();\n}\n\n// Helper function for validate_segment_arena.\nfunc _verify_continuity(infos: SegmentInfo*, n_segments_minus_one: felt) {\n    if (n_segments_minus_one == 0) {\n        // If there is only one segment left, there is no need to check anything.\n        return ();\n    }\n\n    // Enforce an empty cell between two consecutive segments so that the start of a segment\n    // is strictly bigger than the end of the previous segment.\n    // This is required for proving the soundness of this construction, in the case where a segment\n    // has length zero.\n\n    // Note: the following code was copied from relocate_segment() for efficiency reasons.\n    let src_ptr = infos[1].start;\n    let dest_ptr = infos[0].end + 1;\n    %{ memory.add_relocation_rule(src_ptr=ids.src_ptr, dest_ptr=ids.dest_ptr) %}\n    assert src_ptr = dest_ptr;\n\n    return _verify_continuity(infos=&infos[1], n_segments_minus_one=n_segments_minus_one - 1);\n}\n",
            "src/starkware/starknet/core/os/builtins.cairo": "from starkware.cairo.builtin_selection.select_builtins import select_builtins\nfrom starkware.cairo.builtin_selection.validate_builtins import validate_builtins\nfrom starkware.cairo.common.cairo_builtins import (\n    BitwiseBuiltin,\n    EcOpBuiltin,\n    HashBuiltin,\n    KeccakBuiltin,\n    ModBuiltin,\n    PoseidonBuiltin,\n    SignatureBuiltin,\n)\nfrom starkware.cairo.common.registers import get_fp_and_pc\nfrom starkware.cairo.common.sha256_state import Sha256ProcessBlock\nfrom starkware.starknet.builtins.segment_arena.segment_arena import SegmentArenaBuiltin\n\nstruct SelectableBuiltins {\n    pedersen: HashBuiltin*,\n    range_check: felt,\n    ecdsa: felt,\n    bitwise: BitwiseBuiltin*,\n    ec_op: felt,\n    poseidon: PoseidonBuiltin*,\n    segment_arena: SegmentArenaBuiltin*,\n    range_check96: felt*,\n    add_mod: ModBuiltin*,\n    mul_mod: ModBuiltin*,\n}\n\nstruct NonSelectableBuiltins {\n    keccak: KeccakBuiltin*,\n    sha256: Sha256ProcessBlock*,\n}\n\nstruct BuiltinPointers {\n    selectable: SelectableBuiltins,\n    non_selectable: NonSelectableBuiltins,\n}\n\n// A struct containing the ASCII encoding of each builtin.\nstruct BuiltinEncodings {\n    pedersen: felt,\n    range_check: felt,\n    ecdsa: felt,\n    bitwise: felt,\n    ec_op: felt,\n    poseidon: felt,\n    segment_arena: felt,\n    range_check96: felt,\n    add_mod: felt,\n    mul_mod: felt,\n}\n\n// A struct containing the instance size of each builtin.\nstruct BuiltinInstanceSizes {\n    pedersen: felt,\n    range_check: felt,\n    ecdsa: felt,\n    bitwise: felt,\n    ec_op: felt,\n    poseidon: felt,\n    segment_arena: felt,\n    range_check96: felt,\n    add_mod: felt,\n    mul_mod: felt,\n}\n\nstruct BuiltinParams {\n    builtin_encodings: BuiltinEncodings*,\n    builtin_instance_sizes: BuiltinInstanceSizes*,\n}\n\nstatic_assert SelectableBuiltins.SIZE == BuiltinEncodings.SIZE;\nstatic_assert SelectableBuiltins.SIZE == BuiltinInstanceSizes.SIZE;\n\nfunc get_builtin_params() -> (builtin_params: BuiltinParams*) {\n    alloc_locals;\n    let (local __fp__, _) = get_fp_and_pc();\n\n    local builtin_encodings: BuiltinEncodings = BuiltinEncodings(\n        pedersen='pedersen',\n        range_check='range_check',\n        ecdsa='ecdsa',\n        bitwise='bitwise',\n        ec_op='ec_op',\n        poseidon='poseidon',\n        segment_arena='segment_arena',\n        range_check96='range_check96',\n        add_mod='add_mod',\n        mul_mod='mul_mod',\n    );\n\n    local builtin_instance_sizes: BuiltinInstanceSizes = BuiltinInstanceSizes(\n        pedersen=HashBuiltin.SIZE,\n        range_check=1,\n        ecdsa=SignatureBuiltin.SIZE,\n        bitwise=BitwiseBuiltin.SIZE,\n        ec_op=EcOpBuiltin.SIZE,\n        poseidon=PoseidonBuiltin.SIZE,\n        segment_arena=SegmentArenaBuiltin.SIZE,\n        range_check96=1,\n        add_mod=ModBuiltin.SIZE,\n        mul_mod=ModBuiltin.SIZE,\n    );\n\n    local builtin_params: BuiltinParams = BuiltinParams(\n        builtin_encodings=&builtin_encodings, builtin_instance_sizes=&builtin_instance_sizes\n    );\n    return (builtin_params=&builtin_params);\n}\n\n// Updates the builtins listed in `selected_encodings` (the \"selected\" builtins) in `builtin_ptrs`\n// to the values that appear in `selected_ptrs` (which should be of the same length as\n// `selected_encodings`).\n//\n// For the non-selected builtins (that is, selectable builtins that do not appear in\n// `selected_encodings`), this function validates that the difference is nonnegative\n// (that is, they weren't moved backward) and divisible by the builtin size.\n//\n// In particular, note that the prover may choose to advance the non-selected builtins.\n//\n// Non-selectable builtins (see `NonSelectableBuiltins`) are copied as-is.\nfunc update_builtin_ptrs{range_check_ptr}(\n    builtin_params: BuiltinParams*,\n    builtin_ptrs: BuiltinPointers*,\n    n_selected_builtins,\n    selected_encodings: felt*,\n    selected_ptrs: felt*,\n) -> BuiltinPointers* {\n    alloc_locals;\n    let n_builtins = BuiltinEncodings.SIZE;\n    local return_builtin_ptrs: BuiltinPointers*;\n\n    %{\n        from starkware.starknet.core.os.os_utils import update_builtin_pointers\n\n        # Fill the values of all builtin pointers after the current transaction.\n        ids.return_builtin_ptrs = segments.gen_arg(\n            update_builtin_pointers(\n                memory=memory,\n                n_builtins=ids.n_builtins,\n                builtins_encoding_addr=ids.builtin_params.builtin_encodings.address_,\n                n_selected_builtins=ids.n_selected_builtins,\n                selected_builtins_encoding_addr=ids.selected_encodings,\n                orig_builtin_ptrs_addr=ids.builtin_ptrs.selectable.address_,\n                selected_builtin_ptrs_addr=ids.selected_ptrs,\n                ),\n            )\n    %}\n\n    select_builtins(\n        n_builtins=n_builtins,\n        all_encodings=builtin_params.builtin_encodings,\n        all_ptrs=&return_builtin_ptrs.selectable,\n        n_selected_builtins=n_selected_builtins,\n        selected_encodings=selected_encodings,\n        selected_ptrs=selected_ptrs,\n    );\n\n    // Call validate_builtins to validate that the builtin pointers have advanced correctly.\n    validate_builtins(\n        prev_builtin_ptrs=&builtin_ptrs.selectable,\n        new_builtin_ptrs=&return_builtin_ptrs.selectable,\n        builtin_instance_sizes=builtin_params.builtin_instance_sizes,\n        n_builtins=n_builtins,\n    );\n\n    // Copy non-selectable builtins.\n    assert return_builtin_ptrs.non_selectable = builtin_ptrs.non_selectable;\n\n    return return_builtin_ptrs;\n}\n"
        },
        "instruction_locations": {
            "0": {
                "accessible_scopes": [
                    "starkware.cairo.lang.compiler.lib.registers",
                    "starkware.cairo.lang.compiler.lib.registers.get_fp_and_pc"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 0,
                        "offset": 0
                    },
                    "reference_ids": {}
                },
                "hints": [],
                "inst": {
                    "end_col": 73,
                    "end_line": 7,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/bazel-out/k8-opt-exec-2B5CBBC6-ST-03cbce6a7308/bin/src/starkware/cairo/lang/compiler/cairo_compile_exe.runfiles/__main__/src/starkware/cairo/lang/compiler/lib/registers.cairo"
                    },
                    "start_col": 5,
                    "start_line": 7
                }
            },
            "1": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.inner_select_builtins",
                    "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 1,
                        "offset": 0
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": 0,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": 1,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": 4,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": 2,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": 3
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 30,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 30
                }
            },
            "3": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.inner_select_builtins",
                    "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 1,
                        "offset": 0
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": 0,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": 1,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": 4,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": 2,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": 3
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 30,
                    "end_line": 21,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 58,
                            "end_line": 32,
                            "input_file": {
                                "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                            },
                            "start_col": 40,
                            "start_line": 32
                        },
                        "While expanding the reference 'selected_encodings' in:"
                    ],
                    "start_col": 5,
                    "start_line": 21
                }
            },
            "4": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.inner_select_builtins",
                    "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 1,
                        "offset": 1
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": 0,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": 1,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": 4,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": 2,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": 3
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 60,
                    "end_line": 32,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                    },
                    "start_col": 9,
                    "start_line": 32
                }
            },
            "5": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.inner_select_builtins",
                    "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 1,
                        "offset": 0
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": 0,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": 1,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": 4,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": 2,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": 3
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 18,
                    "end_line": 35,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 35
                }
            },
            "7": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.inner_select_builtins",
                    "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 1,
                        "offset": 3
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": 0,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": 1,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": 4,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.select_builtin": 5,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": 2,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": 3
                    }
                },
                "hints": [
                    {
                        "location": {
                            "end_col": 7,
                            "end_line": 46,
                            "input_file": {
                                "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                            },
                            "start_col": 5,
                            "start_line": 38
                        },
                        "n_prefix_newlines": 1
                    }
                ],
                "inst": {
                    "end_col": 53,
                    "end_line": 48,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 48
                }
            },
            "8": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.inner_select_builtins",
                    "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 1,
                        "offset": 3
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": 0,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": 1,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": 4,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.select_builtin": 5,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": 2,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": 3
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 51,
                    "end_line": 50,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 50
                }
            },
            "9": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.inner_select_builtins",
                    "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 1,
                        "offset": 3
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": 0,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": 1,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_encoding": 6,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": 4,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.select_builtin": 5,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": 2,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": 3
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 41,
                    "end_line": 51,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 51
                }
            },
            "10": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.inner_select_builtins",
                    "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 1,
                        "offset": 3
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": 0,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": 1,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_encoding": 6,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_ptr": 7,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": 4,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.select_builtin": 5,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": 2,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": 3
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 53,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 53
                }
            },
            "12": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.inner_select_builtins",
                    "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 1,
                        "offset": 3
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": 0,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": 1,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_encoding": 6,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_ptr": 7,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": 4,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.select_builtin": 5,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": 2,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": 3
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 53,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 53
                }
            },
            "14": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.inner_select_builtins",
                    "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 1,
                        "offset": 3
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": 0,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": 1,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_encoding": 6,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_ptr": 7,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": 4,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.select_builtin": 5,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": 2,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": 3
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 53,
                    "end_line": 56,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                    },
                    "start_col": 9,
                    "start_line": 56
                }
            },
            "15": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.inner_select_builtins",
                    "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 1,
                        "offset": 3
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": 0,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": 1,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_encoding": 6,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_ptr": 7,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": 4,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.select_builtin": 5,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": 2,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": 3
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 43,
                    "end_line": 58,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                    },
                    "start_col": 9,
                    "start_line": 58
                }
            },
            "16": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.inner_select_builtins",
                    "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 1,
                        "offset": 3
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": 0,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": 1,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_encoding": 6,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_ptr": 7,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": 4,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.select_builtin": 5,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": 2,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": 3
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 40,
                    "end_line": 65,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                    },
                    "start_col": 23,
                    "start_line": 65
                }
            },
            "18": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.inner_select_builtins",
                    "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 1,
                        "offset": 4
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": 0,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": 1,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_encoding": 6,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_ptr": 7,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": 4,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.select_builtin": 5,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": 2,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": 3
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 30,
                    "end_line": 66,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                    },
                    "start_col": 18,
                    "start_line": 66
                }
            },
            "20": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.inner_select_builtins",
                    "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 1,
                        "offset": 5
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": 0,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": 1,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_encoding": 6,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_ptr": 7,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": 4,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.select_builtin": 5,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": 2,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": 3
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 63,
                    "end_line": 67,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                    },
                    "start_col": 28,
                    "start_line": 67
                }
            },
            "21": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.inner_select_builtins",
                    "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 1,
                        "offset": 6
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": 0,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": 1,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_encoding": 6,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_ptr": 7,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": 4,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.select_builtin": 5,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": 2,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": 3
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 53,
                    "end_line": 68,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                    },
                    "start_col": 23,
                    "start_line": 68
                }
            },
            "22": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.inner_select_builtins",
                    "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 1,
                        "offset": 7
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": 0,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": 1,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_encoding": 6,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_ptr": 7,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": 4,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.select_builtin": 5,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": 2,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": 3
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 34,
                    "end_line": 69,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                    },
                    "start_col": 20,
                    "start_line": 69
                }
            },
            "24": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.inner_select_builtins",
                    "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 1,
                        "offset": 8
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": 0,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": 1,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_encoding": 6,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_ptr": 7,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": 4,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.select_builtin": 5,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": 2,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": 3
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 6,
                    "end_line": 70,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                    },
                    "start_col": 12,
                    "start_line": 64
                }
            },
            "26": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.inner_select_builtins",
                    "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 2,
                        "offset": 0
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": 0,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": 1,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_encoding": 6,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_ptr": 7,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": 4,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.select_builtin": 5,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": 2,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": 3
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 70,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/inner_select_builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 64
                }
            },
            "27": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.select_builtins",
                    "starkware.cairo.builtin_selection.select_builtins.select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 3,
                        "offset": 0
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_encodings": 9,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_ptrs": 10,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_builtins": 8,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_selected_builtins": 11,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_encodings": 12,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_ptrs": 13
                    }
                },
                "hints": [
                    {
                        "location": {
                            "end_col": 75,
                            "end_line": 12,
                            "input_file": {
                                "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/select_builtins.cairo"
                            },
                            "start_col": 5,
                            "start_line": 12
                        },
                        "n_prefix_newlines": 0
                    }
                ],
                "inst": {
                    "end_col": 25,
                    "end_line": 6,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/select_builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 36,
                            "end_line": 14,
                            "input_file": {
                                "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/select_builtins.cairo"
                            },
                            "start_col": 23,
                            "start_line": 14
                        },
                        "While expanding the reference 'all_encodings' in:"
                    ],
                    "start_col": 5,
                    "start_line": 6
                }
            },
            "28": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.select_builtins",
                    "starkware.cairo.builtin_selection.select_builtins.select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 3,
                        "offset": 1
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_encodings": 9,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_ptrs": 10,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_builtins": 8,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_selected_builtins": 11,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_encodings": 12,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_ptrs": 13
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 20,
                    "end_line": 7,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/select_builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 26,
                            "end_line": 15,
                            "input_file": {
                                "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/select_builtins.cairo"
                            },
                            "start_col": 18,
                            "start_line": 15
                        },
                        "While expanding the reference 'all_ptrs' in:"
                    ],
                    "start_col": 5,
                    "start_line": 7
                }
            },
            "29": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.select_builtins",
                    "starkware.cairo.builtin_selection.select_builtins.select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 3,
                        "offset": 2
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_encodings": 9,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_ptrs": 10,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_builtins": 8,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_selected_builtins": 11,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_encodings": 12,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_ptrs": 13
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 30,
                    "end_line": 9,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/select_builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 46,
                            "end_line": 16,
                            "input_file": {
                                "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/select_builtins.cairo"
                            },
                            "start_col": 28,
                            "start_line": 16
                        },
                        "While expanding the reference 'selected_encodings' in:"
                    ],
                    "start_col": 5,
                    "start_line": 9
                }
            },
            "30": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.select_builtins",
                    "starkware.cairo.builtin_selection.select_builtins.select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 3,
                        "offset": 3
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_encodings": 9,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_ptrs": 10,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_builtins": 8,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_selected_builtins": 11,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_encodings": 12,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_ptrs": 13
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 25,
                    "end_line": 10,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/select_builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 36,
                            "end_line": 17,
                            "input_file": {
                                "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/select_builtins.cairo"
                            },
                            "start_col": 23,
                            "start_line": 17
                        },
                        "While expanding the reference 'selected_ptrs' in:"
                    ],
                    "start_col": 5,
                    "start_line": 10
                }
            },
            "31": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.select_builtins",
                    "starkware.cairo.builtin_selection.select_builtins.select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 3,
                        "offset": 4
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_encodings": 9,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_ptrs": 10,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_builtins": 8,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_selected_builtins": 11,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_encodings": 12,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_ptrs": 13
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 15,
                    "end_line": 5,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/select_builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 30,
                            "end_line": 18,
                            "input_file": {
                                "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/select_builtins.cairo"
                            },
                            "start_col": 20,
                            "start_line": 18
                        },
                        "While expanding the reference 'n_builtins' in:"
                    ],
                    "start_col": 5,
                    "start_line": 5
                }
            },
            "32": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.select_builtins",
                    "starkware.cairo.builtin_selection.select_builtins.select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 3,
                        "offset": 5
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_encodings": 9,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_ptrs": 10,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_builtins": 8,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_selected_builtins": 11,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_encodings": 12,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_ptrs": 13
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 6,
                    "end_line": 19,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/select_builtins.cairo"
                    },
                    "start_col": 36,
                    "start_line": 13
                }
            },
            "34": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.select_builtins",
                    "starkware.cairo.builtin_selection.select_builtins.select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 4,
                        "offset": 0
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_encodings": 9,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_ptrs": 10,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_builtins": 8,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_selected_builtins": 11,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_encodings": 12,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_encodings_end": 14,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_ptrs": 13
                    }
                },
                "hints": [
                    {
                        "location": {
                            "end_col": 26,
                            "end_line": 20,
                            "input_file": {
                                "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/select_builtins.cairo"
                            },
                            "start_col": 5,
                            "start_line": 20
                        },
                        "n_prefix_newlines": 0
                    }
                ],
                "inst": {
                    "end_col": 78,
                    "end_line": 22,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/select_builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 22
                }
            },
            "35": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.select_builtins",
                    "starkware.cairo.builtin_selection.select_builtins.select_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 4,
                        "offset": 0
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_encodings": 9,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_ptrs": 10,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_builtins": 8,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_selected_builtins": 11,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_encodings": 12,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_encodings_end": 14,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_ptrs": 13
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 15,
                    "end_line": 24,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/select_builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 24
                }
            },
            "36": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.validate_builtins",
                    "starkware.cairo.builtin_selection.validate_builtins.validate_builtin"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 5,
                        "offset": 0
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.builtin_instance_size": 17,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.new_builtin_ptr": 16,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.prev_builtin_ptr": 15,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.range_check_ptr": 18
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 54,
                    "end_line": 16,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "start_col": 20,
                    "start_line": 16
                }
            },
            "37": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.validate_builtins",
                    "starkware.cairo.builtin_selection.validate_builtins.validate_builtin"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 5,
                        "offset": 1
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.builtin_instance_size": 17,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.diff": 19,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.new_builtin_ptr": 16,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.prev_builtin_ptr": 15,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.range_check_ptr": 18
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 51,
                    "end_line": 17,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "start_col": 23,
                    "start_line": 17
                }
            },
            "38": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.validate_builtins",
                    "starkware.cairo.builtin_selection.validate_builtins.validate_builtin"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 5,
                        "offset": 2
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.builtin_instance_size": 17,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.diff": 19,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.div_res": 20,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.new_builtin_ptr": 16,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.prev_builtin_ptr": 15,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.range_check_ptr": 18
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 32,
                    "end_line": 18,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 18
                }
            },
            "39": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.validate_builtins",
                    "starkware.cairo.builtin_selection.validate_builtins.validate_builtin"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 5,
                        "offset": 2
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.builtin_instance_size": 17,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.diff": 19,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.div_res": 20,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.new_builtin_ptr": 16,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.prev_builtin_ptr": 15,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.range_check_ptr": 21
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 46,
                    "end_line": 19,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 38,
                            "end_line": 11,
                            "input_file": {
                                "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                            },
                            "parent_location": [
                                {
                                    "end_col": 15,
                                    "end_line": 20,
                                    "input_file": {
                                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                                    },
                                    "start_col": 5,
                                    "start_line": 20
                                },
                                "While trying to retrieve the implicit argument 'range_check_ptr' in:"
                            ],
                            "start_col": 23,
                            "start_line": 11
                        },
                        "While expanding the reference 'range_check_ptr' in:"
                    ],
                    "start_col": 27,
                    "start_line": 19
                }
            },
            "41": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.validate_builtins",
                    "starkware.cairo.builtin_selection.validate_builtins.validate_builtin"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 5,
                        "offset": 3
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.builtin_instance_size": 17,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.diff": 19,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.div_res": 20,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.new_builtin_ptr": 16,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.prev_builtin_ptr": 15,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.range_check_ptr": 21
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 15,
                    "end_line": 20,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 20
                }
            },
            "42": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.validate_builtins",
                    "starkware.cairo.builtin_selection.validate_builtins.validate_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 6,
                        "offset": 0
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.builtin_instance_sizes": 24,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.n_builtins": 25,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.new_builtin_ptrs": 23,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.prev_builtin_ptrs": 22,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.range_check_ptr": 26
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 40,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 40
                }
            },
            "44": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.validate_builtins",
                    "starkware.cairo.builtin_selection.validate_builtins.validate_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 6,
                        "offset": 0
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.builtin_instance_sizes": 24,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.n_builtins": 25,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.new_builtin_ptrs": 23,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.prev_builtin_ptrs": 22,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.range_check_ptr": 26
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 39,
                    "end_line": 37,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 39,
                            "end_line": 37,
                            "input_file": {
                                "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                            },
                            "parent_location": [
                                {
                                    "end_col": 19,
                                    "end_line": 41,
                                    "input_file": {
                                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                                    },
                                    "start_col": 9,
                                    "start_line": 41
                                },
                                "While trying to retrieve the implicit argument 'range_check_ptr' in:"
                            ],
                            "start_col": 24,
                            "start_line": 37
                        },
                        "While expanding the reference 'range_check_ptr' in:"
                    ],
                    "start_col": 24,
                    "start_line": 37
                }
            },
            "45": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.validate_builtins",
                    "starkware.cairo.builtin_selection.validate_builtins.validate_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 6,
                        "offset": 1
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.builtin_instance_sizes": 24,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.n_builtins": 25,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.new_builtin_ptrs": 23,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.prev_builtin_ptrs": 22,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.range_check_ptr": 26
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 19,
                    "end_line": 41,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "start_col": 9,
                    "start_line": 41
                }
            },
            "46": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.validate_builtins",
                    "starkware.cairo.builtin_selection.validate_builtins.validate_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 6,
                        "offset": 0
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.builtin_instance_sizes": 24,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.n_builtins": 25,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.new_builtin_ptrs": 23,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.prev_builtin_ptrs": 22,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.range_check_ptr": 26
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 39,
                    "end_line": 37,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 38,
                            "end_line": 11,
                            "input_file": {
                                "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                            },
                            "parent_location": [
                                {
                                    "end_col": 6,
                                    "end_line": 48,
                                    "input_file": {
                                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                                    },
                                    "start_col": 5,
                                    "start_line": 44
                                },
                                "While trying to retrieve the implicit argument 'range_check_ptr' in:"
                            ],
                            "start_col": 23,
                            "start_line": 11
                        },
                        "While expanding the reference 'range_check_ptr' in:"
                    ],
                    "start_col": 24,
                    "start_line": 37
                }
            },
            "47": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.validate_builtins",
                    "starkware.cairo.builtin_selection.validate_builtins.validate_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 6,
                        "offset": 1
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.builtin_instance_sizes": 24,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.n_builtins": 25,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.new_builtin_ptrs": 23,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.prev_builtin_ptrs": 22,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.range_check_ptr": 26
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 58,
                    "end_line": 45,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "start_col": 26,
                    "start_line": 45
                }
            },
            "48": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.validate_builtins",
                    "starkware.cairo.builtin_selection.validate_builtins.validate_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 6,
                        "offset": 2
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.builtin_instance_sizes": 24,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.n_builtins": 25,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.new_builtin_ptrs": 23,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.prev_builtin_ptrs": 22,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.range_check_ptr": 26
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 56,
                    "end_line": 46,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "start_col": 25,
                    "start_line": 46
                }
            },
            "49": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.validate_builtins",
                    "starkware.cairo.builtin_selection.validate_builtins.validate_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 6,
                        "offset": 3
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.builtin_instance_sizes": 24,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.n_builtins": 25,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.new_builtin_ptrs": 23,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.prev_builtin_ptrs": 22,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.range_check_ptr": 26
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 55,
                    "end_line": 47,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "start_col": 31,
                    "start_line": 47
                }
            },
            "50": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.validate_builtins",
                    "starkware.cairo.builtin_selection.validate_builtins.validate_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 6,
                        "offset": 4
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.builtin_instance_sizes": 24,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.n_builtins": 25,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.new_builtin_ptrs": 23,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.prev_builtin_ptrs": 22,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.range_check_ptr": 26
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 6,
                    "end_line": 48,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 44
                }
            },
            "52": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.validate_builtins",
                    "starkware.cairo.builtin_selection.validate_builtins.validate_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 6,
                        "offset": 9
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.builtin_instance_sizes": 24,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.n_builtins": 25,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.new_builtin_ptrs": 23,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.prev_builtin_ptrs": 22,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.range_check_ptr": 27
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 48,
                    "end_line": 51,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "start_col": 27,
                    "start_line": 51
                }
            },
            "54": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.validate_builtins",
                    "starkware.cairo.builtin_selection.validate_builtins.validate_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 6,
                        "offset": 10
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.builtin_instance_sizes": 24,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.n_builtins": 25,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.new_builtin_ptrs": 23,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.prev_builtin_ptrs": 22,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.range_check_ptr": 27
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 46,
                    "end_line": 52,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "start_col": 26,
                    "start_line": 52
                }
            },
            "56": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.validate_builtins",
                    "starkware.cairo.builtin_selection.validate_builtins.validate_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 6,
                        "offset": 11
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.builtin_instance_sizes": 24,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.n_builtins": 25,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.new_builtin_ptrs": 23,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.prev_builtin_ptrs": 22,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.range_check_ptr": 27
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 58,
                    "end_line": 53,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "start_col": 32,
                    "start_line": 53
                }
            },
            "58": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.validate_builtins",
                    "starkware.cairo.builtin_selection.validate_builtins.validate_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 6,
                        "offset": 12
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.builtin_instance_sizes": 24,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.n_builtins": 25,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.new_builtin_ptrs": 23,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.prev_builtin_ptrs": 22,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.range_check_ptr": 27
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 34,
                    "end_line": 54,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "start_col": 20,
                    "start_line": 54
                }
            },
            "60": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.validate_builtins",
                    "starkware.cairo.builtin_selection.validate_builtins.validate_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 6,
                        "offset": 13
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.builtin_instance_sizes": 24,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.n_builtins": 25,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.new_builtin_ptrs": 23,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.prev_builtin_ptrs": 22,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.range_check_ptr": 27
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 6,
                    "end_line": 55,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "start_col": 12,
                    "start_line": 50
                }
            },
            "62": {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.validate_builtins",
                    "starkware.cairo.builtin_selection.validate_builtins.validate_builtins"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 7,
                        "offset": 0
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.builtin_instance_sizes": 24,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.n_builtins": 25,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.new_builtin_ptrs": 23,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.prev_builtin_ptrs": 22,
                        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.range_check_ptr": 28
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 55,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 50
                }
            },
            "63": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 0
                    },
                    "reference_ids": {}
                },
                "hints": [],
                "inst": {
                    "end_col": 18,
                    "end_line": 76,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 76
                }
            },
            "65": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 23
                    },
                    "reference_ids": {}
                },
                "hints": [],
                "inst": {
                    "end_col": 44,
                    "end_line": 77,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 29,
                    "start_line": 77
                }
            },
            "67": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 29
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 22,
                    "end_line": 77,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 10,
                    "start_line": 77
                }
            },
            "68": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 90,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 79
                }
            },
            "70": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 90,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 79
                }
            },
            "72": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 90,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 79
                }
            },
            "74": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 90,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 79
                }
            },
            "76": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 90,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 79
                }
            },
            "78": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 90,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 79
                }
            },
            "80": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 90,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 79
                }
            },
            "82": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 90,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 79
                }
            },
            "84": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 90,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 79
                }
            },
            "86": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 90,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 79
                }
            },
            "88": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30,
                        "__main__.get_builtin_params.builtin_encodings": 31
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 103,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 92
                }
            },
            "90": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30,
                        "__main__.get_builtin_params.builtin_encodings": 31
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 103,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 92
                }
            },
            "92": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30,
                        "__main__.get_builtin_params.builtin_encodings": 31
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 103,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 92
                }
            },
            "94": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30,
                        "__main__.get_builtin_params.builtin_encodings": 31
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 103,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 92
                }
            },
            "96": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30,
                        "__main__.get_builtin_params.builtin_encodings": 31
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 103,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 92
                }
            },
            "98": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30,
                        "__main__.get_builtin_params.builtin_encodings": 31
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 103,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 92
                }
            },
            "100": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30,
                        "__main__.get_builtin_params.builtin_encodings": 31
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 103,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 92
                }
            },
            "102": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30,
                        "__main__.get_builtin_params.builtin_encodings": 31
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 103,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 92
                }
            },
            "104": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30,
                        "__main__.get_builtin_params.builtin_encodings": 31
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 103,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 92
                }
            },
            "106": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30,
                        "__main__.get_builtin_params.builtin_encodings": 31
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 103,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 92
                }
            },
            "108": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30,
                        "__main__.get_builtin_params.builtin_encodings": 31,
                        "__main__.get_builtin_params.builtin_instance_sizes": 32
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 107,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 105
                }
            },
            "110": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30,
                        "__main__.get_builtin_params.builtin_encodings": 31,
                        "__main__.get_builtin_params.builtin_instance_sizes": 32
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 7,
                    "end_line": 107,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 105
                }
            },
            "112": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 25
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30,
                        "__main__.get_builtin_params.builtin_encodings": 31,
                        "__main__.get_builtin_params.builtin_instance_sizes": 32,
                        "__main__.get_builtin_params.builtin_params": 33
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 25,
                    "end_line": 105,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 43,
                            "end_line": 108,
                            "input_file": {
                                "filename": "src/starkware/starknet/core/os/builtins.cairo"
                            },
                            "start_col": 29,
                            "start_line": 108
                        },
                        "While expanding the reference 'builtin_params' in:"
                    ],
                    "start_col": 11,
                    "start_line": 105
                }
            },
            "114": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.get_builtin_params"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 8,
                        "offset": 26
                    },
                    "reference_ids": {
                        "__main__.get_builtin_params.__fp__": 30,
                        "__main__.get_builtin_params.builtin_encodings": 31,
                        "__main__.get_builtin_params.builtin_instance_sizes": 32,
                        "__main__.get_builtin_params.builtin_params": 33
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 45,
                    "end_line": 108,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 108
                }
            },
            "115": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 9,
                        "offset": 0
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 39,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 18,
                    "end_line": 129,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 129
                }
            },
            "117": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 9,
                        "offset": 1
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 39,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [
                    {
                        "location": {
                            "end_col": 7,
                            "end_line": 148,
                            "input_file": {
                                "filename": "src/starkware/starknet/core/os/builtins.cairo"
                            },
                            "start_col": 5,
                            "start_line": 133
                        },
                        "n_prefix_newlines": 1
                    }
                ],
                "inst": {
                    "end_col": 43,
                    "end_line": 130,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 30,
                            "end_line": 151,
                            "input_file": {
                                "filename": "src/starkware/starknet/core/os/builtins.cairo"
                            },
                            "start_col": 20,
                            "start_line": 151
                        },
                        "While expanding the reference 'n_builtins' in:"
                    ],
                    "start_col": 22,
                    "start_line": 130
                }
            },
            "119": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 9,
                        "offset": 2
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 39,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 55,
                    "end_line": 152,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 23,
                    "start_line": 152
                }
            },
            "120": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 9,
                        "offset": 3
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 39,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 30,
                    "end_line": 131,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 49,
                            "end_line": 153,
                            "input_file": {
                                "filename": "src/starkware/starknet/core/os/builtins.cairo"
                            },
                            "start_col": 19,
                            "start_line": 153
                        },
                        "While expanding the reference 'return_builtin_ptrs.selectable' in:"
                    ],
                    "start_col": 11,
                    "start_line": 131
                }
            },
            "121": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 9,
                        "offset": 4
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 39,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 24,
                    "end_line": 125,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 48,
                            "end_line": 154,
                            "input_file": {
                                "filename": "src/starkware/starknet/core/os/builtins.cairo"
                            },
                            "start_col": 29,
                            "start_line": 154
                        },
                        "While expanding the reference 'n_selected_builtins' in:"
                    ],
                    "start_col": 5,
                    "start_line": 125
                }
            },
            "122": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 9,
                        "offset": 5
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 39,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 30,
                    "end_line": 126,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 46,
                            "end_line": 155,
                            "input_file": {
                                "filename": "src/starkware/starknet/core/os/builtins.cairo"
                            },
                            "start_col": 28,
                            "start_line": 155
                        },
                        "While expanding the reference 'selected_encodings' in:"
                    ],
                    "start_col": 5,
                    "start_line": 126
                }
            },
            "123": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 9,
                        "offset": 6
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 39,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 25,
                    "end_line": 127,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 36,
                            "end_line": 156,
                            "input_file": {
                                "filename": "src/starkware/starknet/core/os/builtins.cairo"
                            },
                            "start_col": 23,
                            "start_line": 156
                        },
                        "While expanding the reference 'selected_ptrs' in:"
                    ],
                    "start_col": 5,
                    "start_line": 127
                }
            },
            "124": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 9,
                        "offset": 7
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 39,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 6,
                    "end_line": 157,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 150
                }
            },
            "126": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 10,
                        "offset": 0
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 39,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 41,
                    "end_line": 122,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 39,
                            "end_line": 37,
                            "input_file": {
                                "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                            },
                            "parent_location": [
                                {
                                    "end_col": 6,
                                    "end_line": 165,
                                    "input_file": {
                                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                                    },
                                    "start_col": 5,
                                    "start_line": 160
                                },
                                "While trying to retrieve the implicit argument 'range_check_ptr' in:"
                            ],
                            "start_col": 24,
                            "start_line": 37
                        },
                        "While expanding the reference 'range_check_ptr' in:"
                    ],
                    "start_col": 26,
                    "start_line": 122
                }
            },
            "127": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 10,
                        "offset": 1
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 39,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 35,
                    "end_line": 124,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 51,
                            "end_line": 161,
                            "input_file": {
                                "filename": "src/starkware/starknet/core/os/builtins.cairo"
                            },
                            "start_col": 28,
                            "start_line": 161
                        },
                        "While expanding the reference 'builtin_ptrs.selectable' in:"
                    ],
                    "start_col": 5,
                    "start_line": 124
                }
            },
            "128": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 10,
                        "offset": 2
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 39,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 30,
                    "end_line": 131,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 57,
                            "end_line": 162,
                            "input_file": {
                                "filename": "src/starkware/starknet/core/os/builtins.cairo"
                            },
                            "start_col": 27,
                            "start_line": 162
                        },
                        "While expanding the reference 'return_builtin_ptrs.selectable' in:"
                    ],
                    "start_col": 11,
                    "start_line": 131
                }
            },
            "129": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 10,
                        "offset": 3
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 39,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 69,
                    "end_line": 163,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 32,
                    "start_line": 163
                }
            },
            "130": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 10,
                        "offset": 4
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 39,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 43,
                    "end_line": 130,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 30,
                            "end_line": 164,
                            "input_file": {
                                "filename": "src/starkware/starknet/core/os/builtins.cairo"
                            },
                            "start_col": 20,
                            "start_line": 164
                        },
                        "While expanding the reference 'n_builtins' in:"
                    ],
                    "start_col": 22,
                    "start_line": 130
                }
            },
            "132": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 10,
                        "offset": 5
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 39,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 6,
                    "end_line": 165,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 160
                }
            },
            "134": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 11,
                        "offset": 0
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 42,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 76,
                    "end_line": 168,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 49,
                    "start_line": 168
                }
            },
            "135": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 11,
                        "offset": 1
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.__temp0": 43,
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 42,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 77,
                    "end_line": 168,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 168
                }
            },
            "136": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 11,
                        "offset": 1
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.__temp0": 43,
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 42,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 76,
                    "end_line": 168,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 49,
                    "start_line": 168
                }
            },
            "137": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 11,
                        "offset": 2
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.__temp0": 43,
                        "__main__.update_builtin_ptrs.__temp1": 44,
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 42,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 77,
                    "end_line": 168,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 168
                }
            },
            "138": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 11,
                        "offset": 2
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.__temp0": 43,
                        "__main__.update_builtin_ptrs.__temp1": 44,
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 42,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 39,
                    "end_line": 37,
                    "input_file": {
                        "filename": "/home/starkware/.cache/bazel/_bazel_starkware/8c069df52082beee3c95ca17836fb8e2/sandbox/processwrapper-sandbox/32/execroot/__main__/src/starkware/cairo/builtin_selection/validate_builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 6,
                            "end_line": 165,
                            "input_file": {
                                "filename": "src/starkware/starknet/core/os/builtins.cairo"
                            },
                            "parent_location": [
                                {
                                    "end_col": 41,
                                    "end_line": 122,
                                    "input_file": {
                                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                                    },
                                    "parent_location": [
                                        {
                                            "end_col": 32,
                                            "end_line": 170,
                                            "input_file": {
                                                "filename": "src/starkware/starknet/core/os/builtins.cairo"
                                            },
                                            "start_col": 5,
                                            "start_line": 170
                                        },
                                        "While trying to retrieve the implicit argument 'range_check_ptr' in:"
                                    ],
                                    "start_col": 26,
                                    "start_line": 122
                                },
                                "While expanding the reference 'range_check_ptr' in:"
                            ],
                            "start_col": 5,
                            "start_line": 160
                        },
                        "While trying to update the implicit return value 'range_check_ptr' in:"
                    ],
                    "start_col": 24,
                    "start_line": 37
                }
            },
            "139": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 11,
                        "offset": 3
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.__temp0": 43,
                        "__main__.update_builtin_ptrs.__temp1": 44,
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 42,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 30,
                    "end_line": 131,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "parent_location": [
                        {
                            "end_col": 31,
                            "end_line": 170,
                            "input_file": {
                                "filename": "src/starkware/starknet/core/os/builtins.cairo"
                            },
                            "start_col": 12,
                            "start_line": 170
                        },
                        "While expanding the reference 'return_builtin_ptrs' in:"
                    ],
                    "start_col": 11,
                    "start_line": 131
                }
            },
            "140": {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 11,
                        "offset": 4
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.__temp0": 43,
                        "__main__.update_builtin_ptrs.__temp1": 44,
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 42,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                },
                "hints": [],
                "inst": {
                    "end_col": 32,
                    "end_line": 170,
                    "input_file": {
                        "filename": "src/starkware/starknet/core/os/builtins.cairo"
                    },
                    "start_col": 5,
                    "start_line": 170
                }
            }
        }
    },
    "hints": {
        "7": [
            {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.inner_select_builtins",
                    "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins"
                ],
                "code": "# A builtin should be selected iff its encoding appears in the selected encodings list\n# and the list wasn't exhausted.\n# Note that testing inclusion by a single comparison is possible since the lists are sorted.\nids.select_builtin = int(\n  n_selected_builtins > 0 and memory[ids.selected_encodings] == memory[ids.all_encodings])\nif ids.select_builtin:\n  n_selected_builtins = n_selected_builtins - 1",
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 1,
                        "offset": 3
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": 0,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": 1,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": 4,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.select_builtin": 5,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": 2,
                        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": 3
                    }
                }
            }
        ],
        "27": [
            {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.select_builtins",
                    "starkware.cairo.builtin_selection.select_builtins.select_builtins"
                ],
                "code": "vm_enter_scope({'n_selected_builtins': ids.n_selected_builtins})",
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 3,
                        "offset": 0
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_encodings": 9,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_ptrs": 10,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_builtins": 8,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_selected_builtins": 11,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_encodings": 12,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_ptrs": 13
                    }
                }
            }
        ],
        "34": [
            {
                "accessible_scopes": [
                    "starkware.cairo.builtin_selection.select_builtins",
                    "starkware.cairo.builtin_selection.select_builtins.select_builtins"
                ],
                "code": "vm_exit_scope()",
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 4,
                        "offset": 0
                    },
                    "reference_ids": {
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_encodings": 9,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_ptrs": 10,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_builtins": 8,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_selected_builtins": 11,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_encodings": 12,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_encodings_end": 14,
                        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_ptrs": 13
                    }
                }
            }
        ],
        "117": [
            {
                "accessible_scopes": [
                    "__main__",
                    "__main__.update_builtin_ptrs"
                ],
                "code": "from starkware.starknet.core.os.os_utils import update_builtin_pointers\n\n# Fill the values of all builtin pointers after the current transaction.\nids.return_builtin_ptrs = segments.gen_arg(\n    update_builtin_pointers(\n        memory=memory,\n        n_builtins=ids.n_builtins,\n        builtins_encoding_addr=ids.builtin_params.builtin_encodings.address_,\n        n_selected_builtins=ids.n_selected_builtins,\n        selected_builtins_encoding_addr=ids.selected_encodings,\n        orig_builtin_ptrs_addr=ids.builtin_ptrs.selectable.address_,\n        selected_builtin_ptrs_addr=ids.selected_ptrs,\n        ),\n    )",
                "flow_tracking_data": {
                    "ap_tracking": {
                        "group": 9,
                        "offset": 1
                    },
                    "reference_ids": {
                        "__main__.update_builtin_ptrs.builtin_params": 34,
                        "__main__.update_builtin_ptrs.builtin_ptrs": 35,
                        "__main__.update_builtin_ptrs.n_builtins": 40,
                        "__main__.update_builtin_ptrs.n_selected_builtins": 36,
                        "__main__.update_builtin_ptrs.range_check_ptr": 39,
                        "__main__.update_builtin_ptrs.return_builtin_ptrs": 41,
                        "__main__.update_builtin_ptrs.selected_encodings": 37,
                        "__main__.update_builtin_ptrs.selected_ptrs": 38
                    }
                }
            }
        ]
    },
    "identifiers": {
        "__main__.BitwiseBuiltin": {
            "destination": "starkware.cairo.common.cairo_builtins.BitwiseBuiltin",
            "type": "alias"
        },
        "__main__.BuiltinEncodings": {
            "full_name": "__main__.BuiltinEncodings",
            "members": {
                "add_mod": {
                    "cairo_type": "felt",
                    "offset": 8
                },
                "bitwise": {
                    "cairo_type": "felt",
                    "offset": 3
                },
                "ec_op": {
                    "cairo_type": "felt",
                    "offset": 4
                },
                "ecdsa": {
                    "cairo_type": "felt",
                    "offset": 2
                },
                "mul_mod": {
                    "cairo_type": "felt",
                    "offset": 9
                },
                "pedersen": {
                    "cairo_type": "felt",
                    "offset": 0
                },
                "poseidon": {
                    "cairo_type": "felt",
                    "offset": 5
                },
                "range_check": {
                    "cairo_type": "felt",
                    "offset": 1
                },
                "range_check96": {
                    "cairo_type": "felt",
                    "offset": 7
                },
                "segment_arena": {
                    "cairo_type": "felt",
                    "offset": 6
                }
            },
            "size": 10,
            "type": "struct"
        },
        "__main__.BuiltinInstanceSizes": {
            "full_name": "__main__.BuiltinInstanceSizes",
            "members": {
                "add_mod": {
                    "cairo_type": "felt",
                    "offset": 8
                },
                "bitwise": {
                    "cairo_type": "felt",
                    "offset": 3
                },
                "ec_op": {
                    "cairo_type": "felt",
                    "offset": 4
                },
                "ecdsa": {
                    "cairo_type": "felt",
                    "offset": 2
                },
                "mul_mod": {
                    "cairo_type": "felt",
                    "offset": 9
                },
                "pedersen": {
                    "cairo_type": "felt",
                    "offset": 0
                },
                "poseidon": {
                    "cairo_type": "felt",
                    "offset": 5
                },
                "range_check": {
                    "cairo_type": "felt",
                    "offset": 1
                },
                "range_check96": {
                    "cairo_type": "felt",
                    "offset": 7
                },
                "segment_arena": {
                    "cairo_type": "felt",
                    "offset": 6
                }
            },
            "size": 10,
            "type": "struct"
        },
        "__main__.BuiltinParams": {
            "full_name": "__main__.BuiltinParams",
            "members": {
                "builtin_encodings": {
                    "cairo_type": "__main__.BuiltinEncodings*",
                    "offset": 0
                },
                "builtin_instance_sizes": {
                    "cairo_type": "__main__.BuiltinInstanceSizes*",
                    "offset": 1
                }
            },
            "size": 2,
            "type": "struct"
        },
        "__main__.BuiltinPointers": {
            "full_name": "__main__.BuiltinPointers",
            "members": {
                "non_selectable": {
                    "cairo_type": "__main__.NonSelectableBuiltins",
                    "offset": 10
                },
                "selectable": {
                    "cairo_type": "__main__.SelectableBuiltins",
                    "offset": 0
                }
            },
            "size": 12,
            "type": "struct"
        },
        "__main__.EcOpBuiltin": {
            "destination": "starkware.cairo.common.cairo_builtins.EcOpBuiltin",
            "type": "alias"
        },
        "__main__.HashBuiltin": {
            "destination": "starkware.cairo.common.cairo_builtins.HashBuiltin",
            "type": "alias"
        },
        "__main__.KeccakBuiltin": {
            "destination": "starkware.cairo.common.cairo_builtins.KeccakBuiltin",
            "type": "alias"
        },
        "__main__.ModBuiltin": {
            "destination": "starkware.cairo.common.cairo_builtins.ModBuiltin",
            "type": "alias"
        },
        "__main__.NonSelectableBuiltins": {
            "full_name": "__main__.NonSelectableBuiltins",
            "members": {
                "keccak": {
                    "cairo_type": "starkware.cairo.common.cairo_builtins.KeccakBuiltin*",
                    "offset": 0
                },
                "sha256": {
                    "cairo_type": "starkware.cairo.common.sha256_state.Sha256ProcessBlock*",
                    "offset": 1
                }
            },
            "size": 2,
            "type": "struct"
        },
        "__main__.PoseidonBuiltin": {
            "destination": "starkware.cairo.common.cairo_builtins.PoseidonBuiltin",
            "type": "alias"
        },
        "__main__.SegmentArenaBuiltin": {
            "destination": "starkware.starknet.builtins.segment_arena.segment_arena.SegmentArenaBuiltin",
            "type": "alias"
        },
        "__main__.SelectableBuiltins": {
            "full_name": "__main__.SelectableBuiltins",
            "members": {
                "add_mod": {
                    "cairo_type": "starkware.cairo.common.cairo_builtins.ModBuiltin*",
                    "offset": 8
                },
                "bitwise": {
                    "cairo_type": "starkware.cairo.common.cairo_builtins.BitwiseBuiltin*",
                    "offset": 3
                },
                "ec_op": {
                    "cairo_type": "felt",
                    "offset": 4
                },
                "ecdsa": {
                    "cairo_type": "felt",
                    "offset": 2
                },
                "mul_mod": {
                    "cairo_type": "starkware.cairo.common.cairo_builtins.ModBuiltin*",
                    "offset": 9
                },
                "pedersen": {
                    "cairo_type": "starkware.cairo.common.cairo_builtins.HashBuiltin*",
                    "offset": 0
                },
                "poseidon": {
                    "cairo_type": "starkware.cairo.common.cairo_builtins.PoseidonBuiltin*",
                    "offset": 5
                },
                "range_check": {
                    "cairo_type": "felt",
                    "offset": 1
                },
                "range_check96": {
                    "cairo_type": "felt*",
                    "offset": 7
                },
                "segment_arena": {
                    "cairo_type": "starkware.starknet.builtins.segment_arena.segment_arena.SegmentArenaBuiltin*",
                    "offset": 6
                }
            },
            "size": 10,
            "type": "struct"
        },
        "__main__.Sha256ProcessBlock": {
            "destination": "starkware.cairo.common.sha256_state.Sha256ProcessBlock",
            "type": "alias"
        },
        "__main__.SignatureBuiltin": {
            "destination": "starkware.cairo.common.cairo_builtins.SignatureBuiltin",
            "type": "alias"
        },
        "__main__.get_builtin_params": {
            "decorators": [],
            "pc": 63,
            "type": "function"
        },
        "__main__.get_builtin_params.Args": {
            "full_name": "__main__.get_builtin_params.Args",
            "members": {},
            "size": 0,
            "type": "struct"
        },
        "__main__.get_builtin_params.ImplicitArgs": {
            "full_name": "__main__.get_builtin_params.ImplicitArgs",
            "members": {},
            "size": 0,
            "type": "struct"
        },
        "__main__.get_builtin_params.Return": {
            "cairo_type": "(builtin_params: __main__.BuiltinParams*)",
            "type": "type_definition"
        },
        "__main__.get_builtin_params.SIZEOF_LOCALS": {
            "type": "const",
            "value": 23
        },
        "__main__.get_builtin_params.__fp__": {
            "cairo_type": "felt*",
            "full_name": "__main__.get_builtin_params.__fp__",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 8,
                        "offset": 25
                    },
                    "pc": 67,
                    "value": "[cast(ap + (-2), felt**)]"
                },
                {
                    "ap_tracking_data": {
                        "group": 8,
                        "offset": 25
                    },
                    "pc": 68,
                    "value": "[cast(fp, felt**)]"
                }
            ],
            "type": "reference"
        },
        "__main__.get_builtin_params.builtin_encodings": {
            "cairo_type": "__main__.BuiltinEncodings",
            "full_name": "__main__.get_builtin_params.builtin_encodings",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 8,
                        "offset": 25
                    },
                    "pc": 88,
                    "value": "[cast(fp + 1, __main__.BuiltinEncodings*)]"
                }
            ],
            "type": "reference"
        },
        "__main__.get_builtin_params.builtin_instance_sizes": {
            "cairo_type": "__main__.BuiltinInstanceSizes",
            "full_name": "__main__.get_builtin_params.builtin_instance_sizes",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 8,
                        "offset": 25
                    },
                    "pc": 108,
                    "value": "[cast(fp + 11, __main__.BuiltinInstanceSizes*)]"
                }
            ],
            "type": "reference"
        },
        "__main__.get_builtin_params.builtin_params": {
            "cairo_type": "__main__.BuiltinParams",
            "full_name": "__main__.get_builtin_params.builtin_params",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 8,
                        "offset": 25
                    },
                    "pc": 112,
                    "value": "[cast(fp + 21, __main__.BuiltinParams*)]"
                }
            ],
            "type": "reference"
        },
        "__main__.get_fp_and_pc": {
            "destination": "starkware.cairo.common.registers.get_fp_and_pc",
            "type": "alias"
        },
        "__main__.select_builtins": {
            "destination": "starkware.cairo.builtin_selection.select_builtins.select_builtins",
            "type": "alias"
        },
        "__main__.update_builtin_ptrs": {
            "decorators": [],
            "pc": 115,
            "type": "function"
        },
        "__main__.update_builtin_ptrs.Args": {
            "full_name": "__main__.update_builtin_ptrs.Args",
            "members": {
                "builtin_params": {
                    "cairo_type": "__main__.BuiltinParams*",
                    "offset": 0
                },
                "builtin_ptrs": {
                    "cairo_type": "__main__.BuiltinPointers*",
                    "offset": 1
                },
                "n_selected_builtins": {
                    "cairo_type": "felt",
                    "offset": 2
                },
                "selected_encodings": {
                    "cairo_type": "felt*",
                    "offset": 3
                },
                "selected_ptrs": {
                    "cairo_type": "felt*",
                    "offset": 4
                }
            },
            "size": 5,
            "type": "struct"
        },
        "__main__.update_builtin_ptrs.ImplicitArgs": {
            "full_name": "__main__.update_builtin_ptrs.ImplicitArgs",
            "members": {
                "range_check_ptr": {
                    "cairo_type": "felt",
                    "offset": 0
                }
            },
            "size": 1,
            "type": "struct"
        },
        "__main__.update_builtin_ptrs.Return": {
            "cairo_type": "__main__.BuiltinPointers*",
            "type": "type_definition"
        },
        "__main__.update_builtin_ptrs.SIZEOF_LOCALS": {
            "type": "const",
            "value": 1
        },
        "__main__.update_builtin_ptrs.__temp0": {
            "cairo_type": "felt",
            "full_name": "__main__.update_builtin_ptrs.__temp0",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 11,
                        "offset": 1
                    },
                    "pc": 135,
                    "value": "[cast(ap + (-1), felt*)]"
                }
            ],
            "type": "reference"
        },
        "__main__.update_builtin_ptrs.__temp1": {
            "cairo_type": "felt",
            "full_name": "__main__.update_builtin_ptrs.__temp1",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 11,
                        "offset": 2
                    },
                    "pc": 137,
                    "value": "[cast(ap + (-1), felt*)]"
                }
            ],
            "type": "reference"
        },
        "__main__.update_builtin_ptrs.builtin_params": {
            "cairo_type": "__main__.BuiltinParams*",
            "full_name": "__main__.update_builtin_ptrs.builtin_params",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 9,
                        "offset": 0
                    },
                    "pc": 115,
                    "value": "[cast(fp + (-7), __main__.BuiltinParams**)]"
                }
            ],
            "type": "reference"
        },
        "__main__.update_builtin_ptrs.builtin_ptrs": {
            "cairo_type": "__main__.BuiltinPointers*",
            "full_name": "__main__.update_builtin_ptrs.builtin_ptrs",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 9,
                        "offset": 0
                    },
                    "pc": 115,
                    "value": "[cast(fp + (-6), __main__.BuiltinPointers**)]"
                }
            ],
            "type": "reference"
        },
        "__main__.update_builtin_ptrs.n_builtins": {
            "cairo_type": "felt",
            "full_name": "__main__.update_builtin_ptrs.n_builtins",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 9,
                        "offset": 1
                    },
                    "pc": 117,
                    "value": "cast(10, felt)"
                }
            ],
            "type": "reference"
        },
        "__main__.update_builtin_ptrs.n_selected_builtins": {
            "cairo_type": "felt",
            "full_name": "__main__.update_builtin_ptrs.n_selected_builtins",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 9,
                        "offset": 0
                    },
                    "pc": 115,
                    "value": "[cast(fp + (-5), felt*)]"
                }
            ],
            "type": "reference"
        },
        "__main__.update_builtin_ptrs.range_check_ptr": {
            "cairo_type": "felt",
            "full_name": "__main__.update_builtin_ptrs.range_check_ptr",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 9,
                        "offset": 0
                    },
                    "pc": 115,
                    "value": "[cast(fp + (-8), felt*)]"
                },
                {
                    "ap_tracking_data": {
                        "group": 11,
                        "offset": 0
                    },
                    "pc": 134,
                    "value": "[cast(ap + (-1), felt*)]"
                }
            ],
            "type": "reference"
        },
        "__main__.update_builtin_ptrs.return_builtin_ptrs": {
            "cairo_type": "__main__.BuiltinPointers*",
            "full_name": "__main__.update_builtin_ptrs.return_builtin_ptrs",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 9,
                        "offset": 1
                    },
                    "pc": 117,
                    "value": "[cast(fp, __main__.BuiltinPointers**)]"
                }
            ],
            "type": "reference"
        },
        "__main__.update_builtin_ptrs.selected_encodings": {
            "cairo_type": "felt*",
            "full_name": "__main__.update_builtin_ptrs.selected_encodings",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 9,
                        "offset": 0
                    },
                    "pc": 115,
                    "value": "[cast(fp + (-4), felt**)]"
                }
            ],
            "type": "reference"
        },
        "__main__.update_builtin_ptrs.selected_ptrs": {
            "cairo_type": "felt*",
            "full_name": "__main__.update_builtin_ptrs.selected_ptrs",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 9,
                        "offset": 0
                    },
                    "pc": 115,
                    "value": "[cast(fp + (-3), felt**)]"
                }
            ],
            "type": "reference"
        },
        "__main__.validate_builtins": {
            "destination": "starkware.cairo.builtin_selection.validate_builtins.validate_builtins",
            "type": "alias"
        },
        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins": {
            "decorators": [],
            "pc": 1,
            "type": "function"
        },
        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.Args": {
            "full_name": "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.Args",
            "members": {
                "all_encodings": {
                    "cairo_type": "felt*",
                    "offset": 0
                },
                "all_ptrs": {
                    "cairo_type": "felt*",
                    "offset": 1
                },
                "n_builtins": {
                    "cairo_type": "felt",
                    "offset": 4
                },
                "selected_encodings": {
                    "cairo_type": "felt*",
                    "offset": 2
                },
                "selected_ptrs": {
                    "cairo_type": "felt*",
                    "offset": 3
                }
            },
            "size": 5,
            "type": "struct"
        },
        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.FUNC_MEMORY_NO_BUILTINS": {
            "type": "const",
            "value": 1
        },
        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.FUNC_MEMORY_WITH_BUILTINS": {
            "type": "const",
            "value": 10
        },
        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.ImplicitArgs": {
            "full_name": "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.ImplicitArgs",
            "members": {},
            "size": 0,
            "type": "struct"
        },
        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.Return": {
            "cairo_type": "(selected_encodings_end: felt*)",
            "type": "type_definition"
        },
        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.SIZEOF_LOCALS": {
            "type": "const",
            "value": 3
        },
        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings": {
            "cairo_type": "felt*",
            "full_name": "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_encodings",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 1,
                        "offset": 0
                    },
                    "pc": 1,
                    "value": "[cast(fp + (-7), felt**)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs": {
            "cairo_type": "felt*",
            "full_name": "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.all_ptrs",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 1,
                        "offset": 0
                    },
                    "pc": 1,
                    "value": "[cast(fp + (-6), felt**)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_encoding": {
            "cairo_type": "felt",
            "full_name": "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_encoding",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 1,
                        "offset": 3
                    },
                    "pc": 9,
                    "value": "[cast(fp + 1, felt*)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_ptr": {
            "cairo_type": "felt",
            "full_name": "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.curr_builtin_ptr",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 1,
                        "offset": 3
                    },
                    "pc": 10,
                    "value": "[cast(fp + 2, felt*)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins": {
            "cairo_type": "felt",
            "full_name": "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.n_builtins",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 1,
                        "offset": 0
                    },
                    "pc": 1,
                    "value": "[cast(fp + (-3), felt*)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.select_builtin": {
            "cairo_type": "felt",
            "full_name": "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.select_builtin",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 1,
                        "offset": 3
                    },
                    "pc": 7,
                    "value": "[cast(fp, felt*)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings": {
            "cairo_type": "felt*",
            "full_name": "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_encodings",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 1,
                        "offset": 0
                    },
                    "pc": 1,
                    "value": "[cast(fp + (-5), felt**)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs": {
            "cairo_type": "felt*",
            "full_name": "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins.selected_ptrs",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 1,
                        "offset": 0
                    },
                    "pc": 1,
                    "value": "[cast(fp + (-4), felt**)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.select_builtins.inner_select_builtins": {
            "destination": "starkware.cairo.builtin_selection.inner_select_builtins.inner_select_builtins",
            "type": "alias"
        },
        "starkware.cairo.builtin_selection.select_builtins.select_builtins": {
            "decorators": [],
            "pc": 27,
            "type": "function"
        },
        "starkware.cairo.builtin_selection.select_builtins.select_builtins.Args": {
            "full_name": "starkware.cairo.builtin_selection.select_builtins.select_builtins.Args",
            "members": {
                "all_encodings": {
                    "cairo_type": "felt*",
                    "offset": 1
                },
                "all_ptrs": {
                    "cairo_type": "felt*",
                    "offset": 2
                },
                "n_builtins": {
                    "cairo_type": "felt",
                    "offset": 0
                },
                "n_selected_builtins": {
                    "cairo_type": "felt",
                    "offset": 3
                },
                "selected_encodings": {
                    "cairo_type": "felt*",
                    "offset": 4
                },
                "selected_ptrs": {
                    "cairo_type": "felt*",
                    "offset": 5
                }
            },
            "size": 6,
            "type": "struct"
        },
        "starkware.cairo.builtin_selection.select_builtins.select_builtins.ImplicitArgs": {
            "full_name": "starkware.cairo.builtin_selection.select_builtins.select_builtins.ImplicitArgs",
            "members": {},
            "size": 0,
            "type": "struct"
        },
        "starkware.cairo.builtin_selection.select_builtins.select_builtins.Return": {
            "cairo_type": "()",
            "type": "type_definition"
        },
        "starkware.cairo.builtin_selection.select_builtins.select_builtins.SIZEOF_LOCALS": {
            "type": "const",
            "value": 0
        },
        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_encodings": {
            "cairo_type": "felt*",
            "full_name": "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_encodings",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 3,
                        "offset": 0
                    },
                    "pc": 27,
                    "value": "[cast(fp + (-7), felt**)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_ptrs": {
            "cairo_type": "felt*",
            "full_name": "starkware.cairo.builtin_selection.select_builtins.select_builtins.all_ptrs",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 3,
                        "offset": 0
                    },
                    "pc": 27,
                    "value": "[cast(fp + (-6), felt**)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_builtins": {
            "cairo_type": "felt",
            "full_name": "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_builtins",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 3,
                        "offset": 0
                    },
                    "pc": 27,
                    "value": "[cast(fp + (-8), felt*)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_selected_builtins": {
            "cairo_type": "felt",
            "full_name": "starkware.cairo.builtin_selection.select_builtins.select_builtins.n_selected_builtins",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 3,
                        "offset": 0
                    },
                    "pc": 27,
                    "value": "[cast(fp + (-5), felt*)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_encodings": {
            "cairo_type": "felt*",
            "full_name": "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_encodings",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 3,
                        "offset": 0
                    },
                    "pc": 27,
                    "value": "[cast(fp + (-4), felt**)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_encodings_end": {
            "cairo_type": "felt*",
            "full_name": "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_encodings_end",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 4,
                        "offset": 0
                    },
                    "pc": 34,
                    "value": "[cast(ap + (-1), felt**)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_ptrs": {
            "cairo_type": "felt*",
            "full_name": "starkware.cairo.builtin_selection.select_builtins.select_builtins.selected_ptrs",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 3,
                        "offset": 0
                    },
                    "pc": 27,
                    "value": "[cast(fp + (-3), felt**)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin": {
            "decorators": [],
            "pc": 36,
            "type": "function"
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.Args": {
            "full_name": "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.Args",
            "members": {
                "builtin_instance_size": {
                    "cairo_type": "felt",
                    "offset": 2
                },
                "new_builtin_ptr": {
                    "cairo_type": "felt*",
                    "offset": 1
                },
                "prev_builtin_ptr": {
                    "cairo_type": "felt*",
                    "offset": 0
                }
            },
            "size": 3,
            "type": "struct"
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.ImplicitArgs": {
            "full_name": "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.ImplicitArgs",
            "members": {
                "range_check_ptr": {
                    "cairo_type": "felt",
                    "offset": 0
                }
            },
            "size": 1,
            "type": "struct"
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.Return": {
            "cairo_type": "()",
            "type": "type_definition"
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.SIZEOF_LOCALS": {
            "type": "const",
            "value": 0
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.builtin_instance_size": {
            "cairo_type": "felt",
            "full_name": "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.builtin_instance_size",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 5,
                        "offset": 0
                    },
                    "pc": 36,
                    "value": "[cast(fp + (-3), felt*)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.diff": {
            "cairo_type": "felt",
            "full_name": "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.diff",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 5,
                        "offset": 1
                    },
                    "pc": 37,
                    "value": "[cast(ap + (-1), felt*)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.div_res": {
            "cairo_type": "felt",
            "full_name": "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.div_res",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 5,
                        "offset": 2
                    },
                    "pc": 38,
                    "value": "[cast(ap + (-1), felt*)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.new_builtin_ptr": {
            "cairo_type": "felt*",
            "full_name": "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.new_builtin_ptr",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 5,
                        "offset": 0
                    },
                    "pc": 36,
                    "value": "[cast(fp + (-4), felt**)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.prev_builtin_ptr": {
            "cairo_type": "felt*",
            "full_name": "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.prev_builtin_ptr",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 5,
                        "offset": 0
                    },
                    "pc": 36,
                    "value": "[cast(fp + (-5), felt**)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.range_check_ptr": {
            "cairo_type": "felt",
            "full_name": "starkware.cairo.builtin_selection.validate_builtins.validate_builtin.range_check_ptr",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 5,
                        "offset": 0
                    },
                    "pc": 36,
                    "value": "[cast(fp + (-6), felt*)]"
                },
                {
                    "ap_tracking_data": {
                        "group": 5,
                        "offset": 2
                    },
                    "pc": 39,
                    "value": "cast([fp + (-6)] + 1, felt)"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins": {
            "decorators": [],
            "pc": 42,
            "type": "function"
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.Args": {
            "full_name": "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.Args",
            "members": {
                "builtin_instance_sizes": {
                    "cairo_type": "felt*",
                    "offset": 2
                },
                "n_builtins": {
                    "cairo_type": "felt",
                    "offset": 3
                },
                "new_builtin_ptrs": {
                    "cairo_type": "felt*",
                    "offset": 1
                },
                "prev_builtin_ptrs": {
                    "cairo_type": "felt*",
                    "offset": 0
                }
            },
            "size": 4,
            "type": "struct"
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.ImplicitArgs": {
            "full_name": "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.ImplicitArgs",
            "members": {
                "range_check_ptr": {
                    "cairo_type": "felt",
                    "offset": 0
                }
            },
            "size": 1,
            "type": "struct"
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.Return": {
            "cairo_type": "()",
            "type": "type_definition"
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.SIZEOF_LOCALS": {
            "type": "const",
            "value": 0
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.builtin_instance_sizes": {
            "cairo_type": "felt*",
            "full_name": "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.builtin_instance_sizes",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 6,
                        "offset": 0
                    },
                    "pc": 42,
                    "value": "[cast(fp + (-4), felt**)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.n_builtins": {
            "cairo_type": "felt",
            "full_name": "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.n_builtins",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 6,
                        "offset": 0
                    },
                    "pc": 42,
                    "value": "[cast(fp + (-3), felt*)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.new_builtin_ptrs": {
            "cairo_type": "felt*",
            "full_name": "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.new_builtin_ptrs",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 6,
                        "offset": 0
                    },
                    "pc": 42,
                    "value": "[cast(fp + (-5), felt**)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.prev_builtin_ptrs": {
            "cairo_type": "felt*",
            "full_name": "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.prev_builtin_ptrs",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 6,
                        "offset": 0
                    },
                    "pc": 42,
                    "value": "[cast(fp + (-6), felt**)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.range_check_ptr": {
            "cairo_type": "felt",
            "full_name": "starkware.cairo.builtin_selection.validate_builtins.validate_builtins.range_check_ptr",
            "references": [
                {
                    "ap_tracking_data": {
                        "group": 6,
                        "offset": 0
                    },
                    "pc": 42,
                    "value": "[cast(fp + (-7), felt*)]"
                },
                {
                    "ap_tracking_data": {
                        "group": 6,
                        "offset": 9
                    },
                    "pc": 52,
                    "value": "[cast(ap + (-1), felt*)]"
                },
                {
                    "ap_tracking_data": {
                        "group": 7,
                        "offset": 0
                    },
                    "pc": 62,
                    "value": "[cast(ap + (-1), felt*)]"
                }
            ],
            "type": "reference"
        },
        "starkware.cairo.common.cairo_builtins.BitwiseBuiltin": {
            "full_name": "starkware.cairo.common.cairo_builtins.BitwiseBuiltin",
            "members": {
                "x": {
                    "cairo_type": "felt",
                    "offset": 0
                },
                "x_and_y": {
                    "cairo_type": "felt",
                    "offset": 2
                },
                "x_or_y": {
                    "cairo_type": "felt",
                    "offset": 4
                },
                "x_xor_y": {
                    "cairo_type": "felt",
                    "offset": 3
                },
                "y": {
                    "cairo_type": "felt",
                    "offset": 1
                }
            },
            "size": 5,
            "type": "struct"
        },
        "starkware.cairo.common.cairo_builtins.EcOpBuiltin": {
            "full_name": "starkware.cairo.common.cairo_builtins.EcOpBuiltin",
            "members": {
                "m": {
                    "cairo_type": "felt",
                    "offset": 4
                },
                "p": {
                    "cairo_type": "starkware.cairo.common.ec_point.EcPoint",
                    "offset": 0
                },
                "q": {
                    "cairo_type": "starkware.cairo.common.ec_point.EcPoint",
                    "offset": 2
                },
                "r": {
                    "cairo_type": "starkware.cairo.common.ec_point.EcPoint",
                    "offset": 5
                }
            },
            "size": 7,
            "type": "struct"
        },
        "starkware.cairo.common.cairo_builtins.EcPoint": {
            "destination": "starkware.cairo.common.ec_point.EcPoint",
            "type": "alias"
        },
        "starkware.cairo.common.cairo_builtins.HashBuiltin": {
            "full_name": "starkware.cairo.common.cairo_builtins.HashBuiltin",
            "members": {
                "result": {
                    "cairo_type": "felt",
                    "offset": 2
                },
                "x": {
                    "cairo_type": "felt",
                    "offset": 0
                },
                "y": {
                    "cairo_type": "felt",
                    "offset": 1
                }
            },
            "size": 3,
            "type": "struct"
        },
        "starkware.cairo.common.cairo_builtins.KeccakBuiltin": {
            "full_name": "starkware.cairo.common.cairo_builtins.KeccakBuiltin",
            "members": {
                "input": {
                    "cairo_type": "starkware.cairo.common.keccak_state.KeccakBuiltinState",
                    "offset": 0
                },
                "output": {
                    "cairo_type": "starkware.cairo.common.keccak_state.KeccakBuiltinState",
                    "offset": 8
                }
            },
            "size": 16,
            "type": "struct"
        },
        "starkware.cairo.common.cairo_builtins.KeccakBuiltinState": {
            "destination": "starkware.cairo.common.keccak_state.KeccakBuiltinState",
            "type": "alias"
        },
        "starkware.cairo.common.cairo_builtins.ModBuiltin": {
            "full_name": "starkware.cairo.common.cairo_builtins.ModBuiltin",
            "members": {
                "n": {
                    "cairo_type": "felt",
                    "offset": 6
                },
                "offsets_ptr": {
                    "cairo_type": "felt*",
                    "offset": 5
                },
                "p": {
                    "cairo_type": "starkware.cairo.common.cairo_builtins.UInt384",
                    "offset": 0
                },
                "values_ptr": {
                    "cairo_type": "starkware.cairo.common.cairo_builtins.UInt384*",
                    "offset": 4
                }
            },
            "size": 7,
            "type": "struct"
        },
        "starkware.cairo.common.cairo_builtins.PoseidonBuiltin": {
            "full_name": "starkware.cairo.common.cairo_builtins.PoseidonBuiltin",
            "members": {
                "input": {
                    "cairo_type": "starkware.cairo.common.poseidon_state.PoseidonBuiltinState",
                    "offset": 0
                },
                "output": {
                    "cairo_type": "starkware.cairo.common.poseidon_state.PoseidonBuiltinState",
                    "offset": 3
                }
            },
            "size": 6,
            "type": "struct"
        },
        "starkware.cairo.common.cairo_builtins.PoseidonBuiltinState": {
            "destination": "starkware.cairo.common.poseidon_state.PoseidonBuiltinState",
            "type": "alias"
        },
        "starkware.cairo.common.cairo_builtins.SignatureBuiltin": {
            "full_name": "starkware.cairo.common.cairo_builtins.SignatureBuiltin",
            "members": {
                "message": {
                    "cairo_type": "felt",
                    "offset": 1
                },
                "pub_key": {
                    "cairo_type": "felt",
                    "offset": 0
                }
            },
            "size": 2,
            "type": "struct"
        },
        "starkware.cairo.common.cairo_builtins.UInt384": {
            "full_name": "starkware.cairo.common.cairo_builtins.UInt384",
            "members": {
                "d0": {
                    "cairo_type": "felt",
                    "offset": 0
                },
                "d1": {
                    "cairo_type": "felt",
                    "offset": 1
                },
                "d2": {
                    "cairo_type": "felt",
                    "offset": 2
                },
                "d3": {
                    "cairo_type": "felt",
                    "offset": 3
                }
            },
            "size": 4,
            "type": "struct"
        },
        "starkware.cairo.common.ec_point.EcPoint": {
            "full_name": "starkware.cairo.common.ec_point.EcPoint",
            "members": {
                "x": {
                    "cairo_type": "felt",
                    "offset": 0
                },
                "y": {
                    "cairo_type": "felt",
                    "offset": 1
                }
            },
            "size": 2,
            "type": "struct"
        },
        "starkware.cairo.common.keccak_state.KeccakBuiltinState": {
            "full_name": "starkware.cairo.common.keccak_state.KeccakBuiltinState",
            "members": {
                "s0": {
                    "cairo_type": "felt",
                    "offset": 0
                },
                "s1": {
                    "cairo_type": "felt",
                    "offset": 1
                },
                "s2": {
                    "cairo_type": "felt",
                    "offset": 2
                },
                "s3": {
                    "cairo_type": "felt",
                    "offset": 3
                },
                "s4": {
                    "cairo_type": "felt",
                    "offset": 4
                },
                "s5": {
                    "cairo_type": "felt",
                    "offset": 5
                },
                "s6": {
                    "cairo_type": "felt",
                    "offset": 6
                },
                "s7": {
                    "cairo_type": "felt",
                    "offset": 7
                }
            },
            "size": 8,
            "type": "struct"
        },
        "starkware.cairo.common.poseidon_state.PoseidonBuiltinState": {
            "full_name": "starkware.cairo.common.poseidon_state.PoseidonBuiltinState",
            "members": {
                "s0": {
                    "cairo_type": "felt",
                    "offset": 0
                },
                "s1": {
                    "cairo_type": "felt",
                    "offset": 1
                },
                "s2": {
                    "cairo_type": "felt",
                    "offset": 2
                }
            },
            "size": 3,
            "type": "struct"
        },
        "starkware.cairo.common.registers.get_ap": {
            "destination": "starkware.cairo.lang.compiler.lib.registers.get_ap",
            "type": "alias"
        },
        "starkware.cairo.common.registers.get_fp_and_pc": {
            "destination": "starkware.cairo.lang.compiler.lib.registers.get_fp_and_pc",
            "type": "alias"
        },
        "starkware.cairo.common.sha256_state.Sha256Input": {
            "full_name": "starkware.cairo.common.sha256_state.Sha256Input",
            "members": {
                "s0": {
                    "cairo_type": "felt",
                    "offset": 0
                },
                "s1": {
                    "cairo_type": "felt",
                    "offset": 1
                },
                "s10": {
                    "cairo_type": "felt",
                    "offset": 10
                },
                "s11": {
                    "cairo_type": "felt",
                    "offset": 11
                },
                "s12": {
                    "cairo_type": "felt",
                    "offset": 12
                },
                "s13": {
                    "cairo_type": "felt",
                    "offset": 13
                },
                "s14": {
                    "cairo_type": "felt",
                    "offset": 14
                },
                "s15": {
                    "cairo_type": "felt",
                    "offset": 15
                },
                "s2": {
                    "cairo_type": "felt",
                    "offset": 2
                },
                "s3": {
                    "cairo_type": "felt",
                    "offset": 3
                },
                "s4": {
                    "cairo_type": "felt",
                    "offset": 4
                },
                "s5": {
                    "cairo_type": "felt",
                    "offset": 5
                },
                "s6": {
                    "cairo_type": "felt",
                    "offset": 6
                },
                "s7": {
                    "cairo_type": "felt",
                    "offset": 7
                },
                "s8": {
                    "cairo_type": "felt",
                    "offset": 8
                },
                "s9": {
                    "cairo_type": "felt",
                    "offset": 9
                }
            },
            "size": 16,
            "type": "struct"
        },
        "starkware.cairo.common.sha256_state.Sha256ProcessBlock": {
            "full_name": "starkware.cairo.common.sha256_state.Sha256ProcessBlock",
            "members": {
                "in_state": {
                    "cairo_type": "starkware.cairo.common.sha256_state.Sha256State",
                    "offset": 16
                },
                "input": {
                    "cairo_type": "starkware.cairo.common.sha256_state.Sha256Input",
                    "offset": 0
                },
                "out_state": {
                    "cairo_type": "starkware.cairo.common.sha256_state.Sha256State",
                    "offset": 24
                }
            },
            "size": 32,
            "type": "struct"
        },
        "starkware.cairo.common.sha256_state.Sha256State": {
            "full_name": "starkware.cairo.common.sha256_state.Sha256State",
            "members": {
                "s0": {
                    "cairo_type": "felt",
                    "offset": 0
                },
                "s1": {
                    "cairo_type": "felt",
                    "offset": 1
                },
                "s2": {
                    "cairo_type": "felt",
                    "offset": 2
                },
                "s3": {
                    "cairo_type": "felt",
                    "offset": 3
                },
                "s4": {
                    "cairo_type": "felt",
                    "offset": 4
                },
                "s5": {
                    "cairo_type": "felt",
                    "offset": 5
                },
                "s6": {
                    "cairo_type": "felt",
                    "offset": 6
                },
                "s7": {
                    "cairo_type": "felt",
                    "offset": 7
                }
            },
            "size": 8,
            "type": "struct"
        },
        "starkware.cairo.lang.compiler.lib.registers.get_fp_and_pc": {
            "decorators": [],
            "pc": 0,
            "type": "function"
        },
        "starkware.cairo.lang.compiler.lib.registers.get_fp_and_pc.Args": {
            "full_name": "starkware.cairo.lang.compiler.lib.registers.get_fp_and_pc.Args",
            "members": {},
            "size": 0,
            "type": "struct"
        },
        "starkware.cairo.lang.compiler.lib.registers.get_fp_and_pc.ImplicitArgs": {
            "full_name": "starkware.cairo.lang.compiler.lib.registers.get_fp_and_pc.ImplicitArgs",
            "members": {},
            "size": 0,
            "type": "struct"
        },
        "starkware.cairo.lang.compiler.lib.registers.get_fp_and_pc.Return": {
            "cairo_type": "(fp_val: felt*, pc_val: felt*)",
            "type": "type_definition"
        },
        "starkware.cairo.lang.compiler.lib.registers.get_fp_and_pc.SIZEOF_LOCALS": {
            "type": "const",
            "value": 0
        },
        "starkware.starknet.builtins.segment_arena.segment_arena.SegmentArenaBuiltin": {
            "full_name": "starkware.starknet.builtins.segment_arena.segment_arena.SegmentArenaBuiltin",
            "members": {
                "infos": {
                    "cairo_type": "starkware.starknet.builtins.segment_arena.segment_arena.SegmentInfo*",
                    "offset": 0
                },
                "n_finalized": {
                    "cairo_type": "felt",
                    "offset": 2
                },
                "n_segments": {
                    "cairo_type": "felt",
                    "offset": 1
                }
            },
            "size": 3,
            "type": "struct"
        },
        "starkware.starknet.builtins.segment_arena.segment_arena.SegmentInfo": {
            "full_name": "starkware.starknet.builtins.segment_arena.segment_arena.SegmentInfo",
            "members": {
                "end": {
                    "cairo_type": "felt*",
                    "offset": 1
                },
                "finalization_index": {
                    "cairo_type": "felt",
                    "offset": 2
                },
                "start": {
                    "cairo_type": "felt*",
                    "offset": 0
                }
            },
            "size": 3,
            "type": "struct"
        },
        "starkware.starknet.builtins.segment_arena.segment_arena.alloc": {
            "destination": "starkware.cairo.common.alloc.alloc",
            "type": "alias"
        }
    },
    "main_scope": "__main__",
    "prime": "0x800000000000011000000000000000000000000000000000000000000000001",
    "reference_manager": {
        "references": [
            {
                "ap_tracking_data": {
                    "group": 1,
                    "offset": 0
                },
                "pc": 1,
                "value": "[cast(fp + (-7), felt**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 1,
                    "offset": 0
                },
                "pc": 1,
                "value": "[cast(fp + (-6), felt**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 1,
                    "offset": 0
                },
                "pc": 1,
                "value": "[cast(fp + (-5), felt**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 1,
                    "offset": 0
                },
                "pc": 1,
                "value": "[cast(fp + (-4), felt**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 1,
                    "offset": 0
                },
                "pc": 1,
                "value": "[cast(fp + (-3), felt*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 1,
                    "offset": 3
                },
                "pc": 7,
                "value": "[cast(fp, felt*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 1,
                    "offset": 3
                },
                "pc": 9,
                "value": "[cast(fp + 1, felt*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 1,
                    "offset": 3
                },
                "pc": 10,
                "value": "[cast(fp + 2, felt*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 3,
                    "offset": 0
                },
                "pc": 27,
                "value": "[cast(fp + (-8), felt*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 3,
                    "offset": 0
                },
                "pc": 27,
                "value": "[cast(fp + (-7), felt**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 3,
                    "offset": 0
                },
                "pc": 27,
                "value": "[cast(fp + (-6), felt**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 3,
                    "offset": 0
                },
                "pc": 27,
                "value": "[cast(fp + (-5), felt*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 3,
                    "offset": 0
                },
                "pc": 27,
                "value": "[cast(fp + (-4), felt**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 3,
                    "offset": 0
                },
                "pc": 27,
                "value": "[cast(fp + (-3), felt**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 4,
                    "offset": 0
                },
                "pc": 34,
                "value": "[cast(ap + (-1), felt**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 5,
                    "offset": 0
                },
                "pc": 36,
                "value": "[cast(fp + (-5), felt**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 5,
                    "offset": 0
                },
                "pc": 36,
                "value": "[cast(fp + (-4), felt**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 5,
                    "offset": 0
                },
                "pc": 36,
                "value": "[cast(fp + (-3), felt*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 5,
                    "offset": 0
                },
                "pc": 36,
                "value": "[cast(fp + (-6), felt*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 5,
                    "offset": 1
                },
                "pc": 37,
                "value": "[cast(ap + (-1), felt*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 5,
                    "offset": 2
                },
                "pc": 38,
                "value": "[cast(ap + (-1), felt*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 5,
                    "offset": 2
                },
                "pc": 39,
                "value": "cast([fp + (-6)] + 1, felt)"
            },
            {
                "ap_tracking_data": {
                    "group": 6,
                    "offset": 0
                },
                "pc": 42,
                "value": "[cast(fp + (-6), felt**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 6,
                    "offset": 0
                },
                "pc": 42,
                "value": "[cast(fp + (-5), felt**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 6,
                    "offset": 0
                },
                "pc": 42,
                "value": "[cast(fp + (-4), felt**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 6,
                    "offset": 0
                },
                "pc": 42,
                "value": "[cast(fp + (-3), felt*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 6,
                    "offset": 0
                },
                "pc": 42,
                "value": "[cast(fp + (-7), felt*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 6,
                    "offset": 9
                },
                "pc": 52,
                "value": "[cast(ap + (-1), felt*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 7,
                    "offset": 0
                },
                "pc": 62,
                "value": "[cast(ap + (-1), felt*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 8,
                    "offset": 25
                },
                "pc": 67,
                "value": "[cast(ap + (-2), felt**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 8,
                    "offset": 25
                },
                "pc": 68,
                "value": "[cast(fp, felt**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 8,
                    "offset": 25
                },
                "pc": 88,
                "value": "[cast(fp + 1, __main__.BuiltinEncodings*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 8,
                    "offset": 25
                },
                "pc": 108,
                "value": "[cast(fp + 11, __main__.BuiltinInstanceSizes*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 8,
                    "offset": 25
                },
                "pc": 112,
                "value": "[cast(fp + 21, __main__.BuiltinParams*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 9,
                    "offset": 0
                },
                "pc": 115,
                "value": "[cast(fp + (-7), __main__.BuiltinParams**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 9,
                    "offset": 0
                },
                "pc": 115,
                "value": "[cast(fp + (-6), __main__.BuiltinPointers**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 9,
                    "offset": 0
                },
                "pc": 115,
                "value": "[cast(fp + (-5), felt*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 9,
                    "offset": 0
                },
                "pc": 115,
                "value": "[cast(fp + (-4), felt**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 9,
                    "offset": 0
                },
                "pc": 115,
                "value": "[cast(fp + (-3), felt**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 9,
                    "offset": 0
                },
                "pc": 115,
                "value": "[cast(fp + (-8), felt*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 9,
                    "offset": 1
                },
                "pc": 117,
                "value": "cast(10, felt)"
            },
            {
                "ap_tracking_data": {
                    "group": 9,
                    "offset": 1
                },
                "pc": 117,
                "value": "[cast(fp, __main__.BuiltinPointers**)]"
            },
            {
                "ap_tracking_data": {
                    "group": 11,
                    "offset": 0
                },
                "pc": 134,
                "value": "[cast(ap + (-1), felt*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 11,
                    "offset": 1
                },
                "pc": 135,
                "value": "[cast(ap + (-1), felt*)]"
            },
            {
                "ap_tracking_data": {
                    "group": 11,
                    "offset": 2
                },
                "pc": 137,
                "value": "[cast(ap + (-1), felt*)]"
            }
        ]
    }
}
