{
    "allowed_libfuncs": [
        "alloc_local",
        "array_append",
        "array_get",
        "array_len",
        "array_new",
        "array_pop_front",
        "array_snapshot_pop_front",
        "bitwise",
        "bool_and_impl",
        "bool_not_impl",
        "bool_or_impl",
        "bool_to_felt252",
        "bool_xor_impl",
        "branch_align",
        "call_contract_syscall",
        "class_hash_const",
        "class_hash_to_felt252",
        "class_hash_try_from_felt252",
        "contract_address_const",
        "contract_address_to_felt252",
        "contract_address_try_from_felt252",
        "deploy_syscall",
        "disable_ap_tracking",
        "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_match",
        "enum_snapshot_match",
        "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_builtin_costs",
        "get_execution_info_syscall",
        "into_box",
        "jump",
        "library_call_syscall",
        "match_nullable",
        "null",
        "nullable_from_box",
        "pedersen",
        "rename",
        "replace_class_syscall",
        "revoke_ap_tracking",
        "send_message_to_l1_syscall",
        "snapshot_take",
        "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",
        "u128_const",
        "u128_eq",
        "u128_is_zero",
        "u128_overflowing_add",
        "u128_overflowing_sub",
        "u128_safe_divmod",
        "u128_to_felt252",
        "u128_guarantee_mul",
        "u128_mul_guarantee_verify",
        "u128s_from_felt252",
        "u16_const",
        "u16_eq",
        "u16_is_zero",
        "u16_overflowing_add",
        "u16_overflowing_sub",
        "u16_safe_divmod",
        "u16_to_felt252",
        "u16_try_from_felt252",
        "u16_wide_mul",
        "u32_const",
        "u32_eq",
        "u32_is_zero",
        "u32_overflowing_add",
        "u32_overflowing_sub",
        "u32_safe_divmod",
        "u32_to_felt252",
        "u32_try_from_felt252",
        "u32_wide_mul",
        "u64_const",
        "u64_eq",
        "u64_is_zero",
        "u64_overflowing_add",
        "u64_overflowing_sub",
        "u64_safe_divmod",
        "u64_to_felt252",
        "u64_try_from_felt252",
        "u64_wide_mul",
        "u8_const",
        "u8_eq",
        "u8_is_zero",
        "u8_overflowing_add",
        "u8_overflowing_sub",
        "u8_safe_divmod",
        "u8_to_felt252",
        "u8_try_from_felt252",
        "u8_wide_mul",
        "unbox",
        "unwrap_non_zero",
        "withdraw_gas",
        "withdraw_gas_all"
    ]
}
