{
    "allowed_libfuncs": [
        "add_circuit_input",
        "alloc_local",
        "array_append",
        "array_get",
        "array_len",
        "array_new",
        "array_pop_front",
        "array_pop_front_consume",
        "array_slice",
        "array_snapshot_multi_pop_back",
        "array_snapshot_multi_pop_front",
        "array_snapshot_pop_back",
        "array_snapshot_pop_front",
        "bitwise",
        "bool_and_impl",
        "bool_not_impl",
        "bool_or_impl",
        "bool_to_felt252",
        "bool_xor_impl",
        "bounded_int_add",
        "bounded_int_constrain",
        "bounded_int_div_rem",
        "bounded_int_is_zero",
        "bounded_int_mul",
        "bounded_int_sub",
        "bounded_int_wrap_non_zero",
        "box_forward_snapshot",
        "branch_align",
        "bytes31_const",
        "bytes31_to_felt252",
        "bytes31_try_from_felt252",
        "call_contract_syscall",
        "class_hash_const",
        "class_hash_to_felt252",
        "class_hash_try_from_felt252",
        "circuit_failure_guarantee_verify",
        "const_as_box",
        "const_as_immediate",
        "contract_address_const",
        "contract_address_to_felt252",
        "contract_address_try_from_felt252",
        "coupon_buy",
        "coupon_call",
        "coupon_refund",
        "deploy_syscall",
        "disable_ap_tracking",
        "downcast",
        "drop",
        "dup",
        "ec_neg",
        "ec_point_from_x_nz",
        "ec_point_is_zero",
        "ec_point_try_new_nz",
        "ec_point_unwrap",
        "ec_point_zero",
        "ec_state_add",
        "ec_state_add_mul",
        "ec_state_init",
        "ec_state_try_finalize_nz",
        "emit_event_syscall",
        "enable_ap_tracking",
        "enum_init",
        "enum_from_bounded_int",
        "enum_match",
        "enum_snapshot_match",
        "eval_circuit",
        "felt252_add",
        "felt252_const",
        "felt252_dict_entry_finalize",
        "felt252_dict_entry_get",
        "felt252_dict_new",
        "felt252_dict_squash",
        "felt252_div",
        "felt252_is_zero",
        "felt252_mul",
        "felt252_sub",
        "finalize_locals",
        "function_call",
        "get_block_hash_syscall",
        "get_builtin_costs",
        "get_circuit_descriptor",
        "get_circuit_output",
        "get_class_hash_at_syscall",
        "get_execution_info_syscall",
        "get_execution_info_v2_syscall",
        "hades_permutation",
        "i128_const",
        "i128_diff",
        "i128_eq",
        "i128_overflowing_add_impl",
        "i128_overflowing_sub_impl",
        "i128_to_felt252",
        "i128_try_from_felt252",
        "i16_const",
        "i16_diff",
        "i16_eq",
        "i16_overflowing_add_impl",
        "i16_overflowing_sub_impl",
        "i16_to_felt252",
        "i16_try_from_felt252",
        "i16_wide_mul",
        "i32_const",
        "i32_diff",
        "i32_eq",
        "i32_overflowing_add_impl",
        "i32_overflowing_sub_impl",
        "i32_to_felt252",
        "i32_try_from_felt252",
        "i32_wide_mul",
        "i64_const",
        "i64_diff",
        "i64_eq",
        "i64_overflowing_add_impl",
        "i64_overflowing_sub_impl",
        "i64_to_felt252",
        "i64_try_from_felt252",
        "i64_wide_mul",
        "i8_const",
        "i8_diff",
        "i8_eq",
        "i8_overflowing_add_impl",
        "i8_overflowing_sub_impl",
        "i8_to_felt252",
        "i8_try_from_felt252",
        "i8_wide_mul",
        "init_circuit_data",
        "into_box",
        "into_u96_guarantee",
        "jump",
        "keccak_syscall",
        "sha256_state_handle_init",
        "sha256_state_handle_digest",
        "sha256_process_block_syscall",
        "library_call_syscall",
        "match_nullable",
        "meta_tx_v0_syscall",
        "null",
        "nullable_forward_snapshot",
        "nullable_from_box",
        "pedersen",
        "redeposit_gas",
        "rename",
        "replace_class_syscall",
        "revoke_ap_tracking",
        "secp256k1_add_syscall",
        "secp256k1_get_point_from_x_syscall",
        "secp256k1_get_xy_syscall",
        "secp256k1_mul_syscall",
        "secp256k1_new_syscall",
        "secp256r1_add_syscall",
        "secp256r1_get_point_from_x_syscall",
        "secp256r1_get_xy_syscall",
        "secp256r1_mul_syscall",
        "secp256r1_new_syscall",
        "send_message_to_l1_syscall",
        "snapshot_take",
        "span_from_tuple",
        "storage_address_from_base",
        "storage_address_from_base_and_offset",
        "storage_address_to_felt252",
        "storage_address_try_from_felt252",
        "storage_base_address_const",
        "storage_base_address_from_felt252",
        "storage_read_syscall",
        "storage_write_syscall",
        "store_local",
        "store_temp",
        "struct_construct",
        "struct_deconstruct",
        "struct_snapshot_deconstruct",
        "tuple_from_span",
        "try_into_circuit_modulus",
        "u128_byte_reverse",
        "u128_const",
        "u128_eq",
        "u128_guarantee_mul",
        "u128_is_zero",
        "u128_mul_guarantee_verify",
        "u128_overflowing_add",
        "u128_overflowing_sub",
        "u128_safe_divmod",
        "u128_sqrt",
        "u128_to_felt252",
        "u128s_from_felt252",
        "u16_bitwise",
        "u16_const",
        "u16_eq",
        "u16_is_zero",
        "u16_overflowing_add",
        "u16_overflowing_sub",
        "u16_safe_divmod",
        "u16_sqrt",
        "u16_to_felt252",
        "u16_try_from_felt252",
        "u16_wide_mul",
        "u256_guarantee_inv_mod_n",
        "u256_is_zero",
        "u256_safe_divmod",
        "u256_sqrt",
        "u32_bitwise",
        "u32_const",
        "u32_eq",
        "u32_is_zero",
        "u32_overflowing_add",
        "u32_overflowing_sub",
        "u32_safe_divmod",
        "u32_sqrt",
        "u32_to_felt252",
        "u32_try_from_felt252",
        "u32_wide_mul",
        "u512_safe_divmod_by_u256",
        "u64_bitwise",
        "u64_const",
        "u64_eq",
        "u64_is_zero",
        "u64_overflowing_add",
        "u64_overflowing_sub",
        "u64_safe_divmod",
        "u64_sqrt",
        "u64_to_felt252",
        "u64_try_from_felt252",
        "u64_wide_mul",
        "u8_bitwise",
        "u8_const",
        "u8_eq",
        "u8_is_zero",
        "u8_overflowing_add",
        "u8_overflowing_sub",
        "u8_safe_divmod",
        "u8_sqrt",
        "u8_to_felt252",
        "u8_try_from_felt252",
        "u8_wide_mul",
        "u96_guarantee_verify",
        "u96_limbs_less_than_guarantee_verify",
        "u96_single_limb_less_than_guarantee_verify",
        "unbox",
        "unwrap_non_zero",
        "upcast",
        "withdraw_gas",
        "withdraw_gas_all"
    ]
}
