{
"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_available_gas",
"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",
"get_execution_info_v3_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",
"squashed_felt252_dict_entries",
"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"
]
}