predict-next-random/dist/index.global.js

Predicts the next number in a sequence of Math.random() numbers

var predictNextRandom=(()=>{var No=Object.create;var Hn=Object.defineProperty;var zo=Object.getOwnPropertyDescriptor;var Fo=Object.getOwnPropertyNames;var Co=Object.getPrototypeOf,Bo=Object.prototype.hasOwnProperty;var ot=(r=>typeof require<"u"?require:typeof Proxy<"u"?new Proxy(r,{get:(_,e)=>(typeof require<"u"?require:_)[e]}):r)(function(r){if(typeof require<"u")return require.apply(this,arguments);throw Error('Dynamic require of "'+r+'" is not supported')});var Vo=(r,_)=>()=>(r&&(_=r(r=0)),_);var Re=(r,_)=>()=>(_||r((_={exports:{}}).exports,_),_.exports),k_=(r,_)=>{for(var e in _)Hn(r,e,{get:_[e],enumerable:!0})},v_=(r,_,e,P)=>{if(_&&typeof _=="object"||typeof _=="function")for(let v of Fo(_))!Bo.call(r,v)&&v!==e&&Hn(r,v,{get:()=>_[v],enumerable:!(P=zo(_,v))||P.enumerable});return r};var Go=(r,_,e)=>(e=r!=null?No(Co(r)):{},v_(_||!r||!r.__esModule?Hn(e,"default",{value:r,enumerable:!0}):e,r)),hn=r=>v_(Hn({},"__esModule",{value:!0}),r);var w_=Re((Qn,Ar)=>{var Dr=(()=>{var r=typeof document<"u"&&document.currentScript?document.currentScript.src:void 0;return typeof __filename<"u"&&(r=r||__filename),function(_){_=_||{};var e=typeof _<"u"?_:{},P,v;e.ready=new Promise(function(n,i){P=n,v=i}),Object.getOwnPropertyDescriptor(e.ready,"_malloc")||(Object.defineProperty(e.ready,"_malloc",{configurable:!0,get:function(){t("You are getting _malloc on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_malloc",{configurable:!0,set:function(){t("You are setting _malloc on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_set_throwy_error_handler")||(Object.defineProperty(e.ready,"_set_throwy_error_handler",{configurable:!0,get:function(){t("You are getting _set_throwy_error_handler on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_set_throwy_error_handler",{configurable:!0,set:function(){t("You are setting _set_throwy_error_handler on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_set_noop_error_handler")||(Object.defineProperty(e.ready,"_set_noop_error_handler",{configurable:!0,get:function(){t("You are getting _set_noop_error_handler on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_set_noop_error_handler",{configurable:!0,set:function(){t("You are setting _set_noop_error_handler on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_async_Z3_eval_smtlib2_string")||(Object.defineProperty(e.ready,"_async_Z3_eval_smtlib2_string",{configurable:!0,get:function(){t("You are getting _async_Z3_eval_smtlib2_string on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_async_Z3_eval_smtlib2_string",{configurable:!0,set:function(){t("You are setting _async_Z3_eval_smtlib2_string on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_async_Z3_simplify")||(Object.defineProperty(e.ready,"_async_Z3_simplify",{configurable:!0,get:function(){t("You are getting _async_Z3_simplify on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_async_Z3_simplify",{configurable:!0,set:function(){t("You are setting _async_Z3_simplify on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_async_Z3_simplify_ex")||(Object.defineProperty(e.ready,"_async_Z3_simplify_ex",{configurable:!0,get:function(){t("You are getting _async_Z3_simplify_ex on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_async_Z3_simplify_ex",{configurable:!0,set:function(){t("You are setting _async_Z3_simplify_ex on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_async_Z3_solver_check")||(Object.defineProperty(e.ready,"_async_Z3_solver_check",{configurable:!0,get:function(){t("You are getting _async_Z3_solver_check on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_async_Z3_solver_check",{configurable:!0,set:function(){t("You are setting _async_Z3_solver_check on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_async_Z3_solver_check_assumptions")||(Object.defineProperty(e.ready,"_async_Z3_solver_check_assumptions",{configurable:!0,get:function(){t("You are getting _async_Z3_solver_check_assumptions on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_async_Z3_solver_check_assumptions",{configurable:!0,set:function(){t("You are setting _async_Z3_solver_check_assumptions on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_async_Z3_solver_cube")||(Object.defineProperty(e.ready,"_async_Z3_solver_cube",{configurable:!0,get:function(){t("You are getting _async_Z3_solver_cube on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_async_Z3_solver_cube",{configurable:!0,set:function(){t("You are setting _async_Z3_solver_cube on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_async_Z3_solver_get_consequences")||(Object.defineProperty(e.ready,"_async_Z3_solver_get_consequences",{configurable:!0,get:function(){t("You are getting _async_Z3_solver_get_consequences on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_async_Z3_solver_get_consequences",{configurable:!0,set:function(){t("You are setting _async_Z3_solver_get_consequences on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_async_Z3_tactic_apply")||(Object.defineProperty(e.ready,"_async_Z3_tactic_apply",{configurable:!0,get:function(){t("You are getting _async_Z3_tactic_apply on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_async_Z3_tactic_apply",{configurable:!0,set:function(){t("You are setting _async_Z3_tactic_apply on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_async_Z3_tactic_apply_ex")||(Object.defineProperty(e.ready,"_async_Z3_tactic_apply_ex",{configurable:!0,get:function(){t("You are getting _async_Z3_tactic_apply_ex on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_async_Z3_tactic_apply_ex",{configurable:!0,set:function(){t("You are setting _async_Z3_tactic_apply_ex on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_async_Z3_optimize_check")||(Object.defineProperty(e.ready,"_async_Z3_optimize_check",{configurable:!0,get:function(){t("You are getting _async_Z3_optimize_check on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_async_Z3_optimize_check",{configurable:!0,set:function(){t("You are setting _async_Z3_optimize_check on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_async_Z3_algebraic_roots")||(Object.defineProperty(e.ready,"_async_Z3_algebraic_roots",{configurable:!0,get:function(){t("You are getting _async_Z3_algebraic_roots on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_async_Z3_algebraic_roots",{configurable:!0,set:function(){t("You are setting _async_Z3_algebraic_roots on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_async_Z3_algebraic_eval")||(Object.defineProperty(e.ready,"_async_Z3_algebraic_eval",{configurable:!0,get:function(){t("You are getting _async_Z3_algebraic_eval on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_async_Z3_algebraic_eval",{configurable:!0,set:function(){t("You are setting _async_Z3_algebraic_eval on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_async_Z3_fixedpoint_query")||(Object.defineProperty(e.ready,"_async_Z3_fixedpoint_query",{configurable:!0,get:function(){t("You are getting _async_Z3_fixedpoint_query on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_async_Z3_fixedpoint_query",{configurable:!0,set:function(){t("You are setting _async_Z3_fixedpoint_query on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_async_Z3_fixedpoint_query_relations")||(Object.defineProperty(e.ready,"_async_Z3_fixedpoint_query_relations",{configurable:!0,get:function(){t("You are getting _async_Z3_fixedpoint_query_relations on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_async_Z3_fixedpoint_query_relations",{configurable:!0,set:function(){t("You are setting _async_Z3_fixedpoint_query_relations on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_async_Z3_fixedpoint_query_from_lvl")||(Object.defineProperty(e.ready,"_async_Z3_fixedpoint_query_from_lvl",{configurable:!0,get:function(){t("You are getting _async_Z3_fixedpoint_query_from_lvl on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_async_Z3_fixedpoint_query_from_lvl",{configurable:!0,set:function(){t("You are setting _async_Z3_fixedpoint_query_from_lvl on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_async_Z3_polynomial_subresultants")||(Object.defineProperty(e.ready,"_async_Z3_polynomial_subresultants",{configurable:!0,get:function(){t("You are getting _async_Z3_polynomial_subresultants on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_async_Z3_polynomial_subresultants",{configurable:!0,set:function(){t("You are setting _async_Z3_polynomial_subresultants on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_global_param_set")||(Object.defineProperty(e.ready,"_Z3_global_param_set",{configurable:!0,get:function(){t("You are getting _Z3_global_param_set on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_global_param_set",{configurable:!0,set:function(){t("You are setting _Z3_global_param_set on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_global_param_reset_all")||(Object.defineProperty(e.ready,"_Z3_global_param_reset_all",{configurable:!0,get:function(){t("You are getting _Z3_global_param_reset_all on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_global_param_reset_all",{configurable:!0,set:function(){t("You are setting _Z3_global_param_reset_all on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_global_param_get")||(Object.defineProperty(e.ready,"_Z3_global_param_get",{configurable:!0,get:function(){t("You are getting _Z3_global_param_get on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_global_param_get",{configurable:!0,set:function(){t("You are setting _Z3_global_param_get on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_config")||(Object.defineProperty(e.ready,"_Z3_mk_config",{configurable:!0,get:function(){t("You are getting _Z3_mk_config on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_config",{configurable:!0,set:function(){t("You are setting _Z3_mk_config on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_del_config")||(Object.defineProperty(e.ready,"_Z3_del_config",{configurable:!0,get:function(){t("You are getting _Z3_del_config on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_del_config",{configurable:!0,set:function(){t("You are setting _Z3_del_config on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_set_param_value")||(Object.defineProperty(e.ready,"_Z3_set_param_value",{configurable:!0,get:function(){t("You are getting _Z3_set_param_value on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_set_param_value",{configurable:!0,set:function(){t("You are setting _Z3_set_param_value on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_context")||(Object.defineProperty(e.ready,"_Z3_mk_context",{configurable:!0,get:function(){t("You are getting _Z3_mk_context on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_context",{configurable:!0,set:function(){t("You are setting _Z3_mk_context on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_context_rc")||(Object.defineProperty(e.ready,"_Z3_mk_context_rc",{configurable:!0,get:function(){t("You are getting _Z3_mk_context_rc on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_context_rc",{configurable:!0,set:function(){t("You are setting _Z3_mk_context_rc on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_del_context")||(Object.defineProperty(e.ready,"_Z3_del_context",{configurable:!0,get:function(){t("You are getting _Z3_del_context on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_del_context",{configurable:!0,set:function(){t("You are setting _Z3_del_context on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_inc_ref")||(Object.defineProperty(e.ready,"_Z3_inc_ref",{configurable:!0,get:function(){t("You are getting _Z3_inc_ref on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_inc_ref",{configurable:!0,set:function(){t("You are setting _Z3_inc_ref on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_dec_ref")||(Object.defineProperty(e.ready,"_Z3_dec_ref",{configurable:!0,get:function(){t("You are getting _Z3_dec_ref on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_dec_ref",{configurable:!0,set:function(){t("You are setting _Z3_dec_ref on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_update_param_value")||(Object.defineProperty(e.ready,"_Z3_update_param_value",{configurable:!0,get:function(){t("You are getting _Z3_update_param_value on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_update_param_value",{configurable:!0,set:function(){t("You are setting _Z3_update_param_value on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_get_global_param_descrs")||(Object.defineProperty(e.ready,"_Z3_get_global_param_descrs",{configurable:!0,get:function(){t("You are getting _Z3_get_global_param_descrs on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_get_global_param_descrs",{configurable:!0,set:function(){t("You are setting _Z3_get_global_param_descrs on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_interrupt")||(Object.defineProperty(e.ready,"_Z3_interrupt",{configurable:!0,get:function(){t("You are getting _Z3_interrupt on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_interrupt",{configurable:!0,set:function(){t("You are setting _Z3_interrupt on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_enable_concurrent_dec_ref")||(Object.defineProperty(e.ready,"_Z3_enable_concurrent_dec_ref",{configurable:!0,get:function(){t("You are getting _Z3_enable_concurrent_dec_ref on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_enable_concurrent_dec_ref",{configurable:!0,set:function(){t("You are setting _Z3_enable_concurrent_dec_ref on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_params")||(Object.defineProperty(e.ready,"_Z3_mk_params",{configurable:!0,get:function(){t("You are getting _Z3_mk_params on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_params",{configurable:!0,set:function(){t("You are setting _Z3_mk_params on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_params_inc_ref")||(Object.defineProperty(e.ready,"_Z3_params_inc_ref",{configurable:!0,get:function(){t("You are getting _Z3_params_inc_ref on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_params_inc_ref",{configurable:!0,set:function(){t("You are setting _Z3_params_inc_ref on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_params_dec_ref")||(Object.defineProperty(e.ready,"_Z3_params_dec_ref",{configurable:!0,get:function(){t("You are getting _Z3_params_dec_ref on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_params_dec_ref",{configurable:!0,set:function(){t("You are setting _Z3_params_dec_ref on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_params_set_bool")||(Object.defineProperty(e.ready,"_Z3_params_set_bool",{configurable:!0,get:function(){t("You are getting _Z3_params_set_bool on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_params_set_bool",{configurable:!0,set:function(){t("You are setting _Z3_params_set_bool on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_params_set_uint")||(Object.defineProperty(e.ready,"_Z3_params_set_uint",{configurable:!0,get:function(){t("You are getting _Z3_params_set_uint on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_params_set_uint",{configurable:!0,set:function(){t("You are setting _Z3_params_set_uint on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_params_set_double")||(Object.defineProperty(e.ready,"_Z3_params_set_double",{configurable:!0,get:function(){t("You are getting _Z3_params_set_double on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_params_set_double",{configurable:!0,set:function(){t("You are setting _Z3_params_set_double on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_params_set_symbol")||(Object.defineProperty(e.ready,"_Z3_params_set_symbol",{configurable:!0,get:function(){t("You are getting _Z3_params_set_symbol on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_params_set_symbol",{configurable:!0,set:function(){t("You are setting _Z3_params_set_symbol on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_params_to_string")||(Object.defineProperty(e.ready,"_Z3_params_to_string",{configurable:!0,get:function(){t("You are getting _Z3_params_to_string on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_params_to_string",{configurable:!0,set:function(){t("You are setting _Z3_params_to_string on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_params_validate")||(Object.defineProperty(e.ready,"_Z3_params_validate",{configurable:!0,get:function(){t("You are getting _Z3_params_validate on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_params_validate",{configurable:!0,set:function(){t("You are setting _Z3_params_validate on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_param_descrs_inc_ref")||(Object.defineProperty(e.ready,"_Z3_param_descrs_inc_ref",{configurable:!0,get:function(){t("You are getting _Z3_param_descrs_inc_ref on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_param_descrs_inc_ref",{configurable:!0,set:function(){t("You are setting _Z3_param_descrs_inc_ref on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_param_descrs_dec_ref")||(Object.defineProperty(e.ready,"_Z3_param_descrs_dec_ref",{configurable:!0,get:function(){t("You are getting _Z3_param_descrs_dec_ref on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_param_descrs_dec_ref",{configurable:!0,set:function(){t("You are setting _Z3_param_descrs_dec_ref on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_param_descrs_get_kind")||(Object.defineProperty(e.ready,"_Z3_param_descrs_get_kind",{configurable:!0,get:function(){t("You are getting _Z3_param_descrs_get_kind on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_param_descrs_get_kind",{configurable:!0,set:function(){t("You are setting _Z3_param_descrs_get_kind on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_param_descrs_size")||(Object.defineProperty(e.ready,"_Z3_param_descrs_size",{configurable:!0,get:function(){t("You are getting _Z3_param_descrs_size on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_param_descrs_size",{configurable:!0,set:function(){t("You are setting _Z3_param_descrs_size on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_param_descrs_get_name")||(Object.defineProperty(e.ready,"_Z3_param_descrs_get_name",{configurable:!0,get:function(){t("You are getting _Z3_param_descrs_get_name on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_param_descrs_get_name",{configurable:!0,set:function(){t("You are setting _Z3_param_descrs_get_name on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_param_descrs_get_documentation")||(Object.defineProperty(e.ready,"_Z3_param_descrs_get_documentation",{configurable:!0,get:function(){t("You are getting _Z3_param_descrs_get_documentation on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_param_descrs_get_documentation",{configurable:!0,set:function(){t("You are setting _Z3_param_descrs_get_documentation on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_param_descrs_to_string")||(Object.defineProperty(e.ready,"_Z3_param_descrs_to_string",{configurable:!0,get:function(){t("You are getting _Z3_param_descrs_to_string on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_param_descrs_to_string",{configurable:!0,set:function(){t("You are setting _Z3_param_descrs_to_string on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_int_symbol")||(Object.defineProperty(e.ready,"_Z3_mk_int_symbol",{configurable:!0,get:function(){t("You are getting _Z3_mk_int_symbol on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_int_symbol",{configurable:!0,set:function(){t("You are setting _Z3_mk_int_symbol on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_string_symbol")||(Object.defineProperty(e.ready,"_Z3_mk_string_symbol",{configurable:!0,get:function(){t("You are getting _Z3_mk_string_symbol on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_string_symbol",{configurable:!0,set:function(){t("You are setting _Z3_mk_string_symbol on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_uninterpreted_sort")||(Object.defineProperty(e.ready,"_Z3_mk_uninterpreted_sort",{configurable:!0,get:function(){t("You are getting _Z3_mk_uninterpreted_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_uninterpreted_sort",{configurable:!0,set:function(){t("You are setting _Z3_mk_uninterpreted_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_type_variable")||(Object.defineProperty(e.ready,"_Z3_mk_type_variable",{configurable:!0,get:function(){t("You are getting _Z3_mk_type_variable on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_type_variable",{configurable:!0,set:function(){t("You are setting _Z3_mk_type_variable on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_bool_sort")||(Object.defineProperty(e.ready,"_Z3_mk_bool_sort",{configurable:!0,get:function(){t("You are getting _Z3_mk_bool_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_bool_sort",{configurable:!0,set:function(){t("You are setting _Z3_mk_bool_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_int_sort")||(Object.defineProperty(e.ready,"_Z3_mk_int_sort",{configurable:!0,get:function(){t("You are getting _Z3_mk_int_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_int_sort",{configurable:!0,set:function(){t("You are setting _Z3_mk_int_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_real_sort")||(Object.defineProperty(e.ready,"_Z3_mk_real_sort",{configurable:!0,get:function(){t("You are getting _Z3_mk_real_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_real_sort",{configurable:!0,set:function(){t("You are setting _Z3_mk_real_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_bv_sort")||(Object.defineProperty(e.ready,"_Z3_mk_bv_sort",{configurable:!0,get:function(){t("You are getting _Z3_mk_bv_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_bv_sort",{configurable:!0,set:function(){t("You are setting _Z3_mk_bv_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_finite_domain_sort")||(Object.defineProperty(e.ready,"_Z3_mk_finite_domain_sort",{configurable:!0,get:function(){t("You are getting _Z3_mk_finite_domain_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_finite_domain_sort",{configurable:!0,set:function(){t("You are setting _Z3_mk_finite_domain_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_array_sort")||(Object.defineProperty(e.ready,"_Z3_mk_array_sort",{configurable:!0,get:function(){t("You are getting _Z3_mk_array_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_array_sort",{configurable:!0,set:function(){t("You are setting _Z3_mk_array_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_array_sort_n")||(Object.defineProperty(e.ready,"_Z3_mk_array_sort_n",{configurable:!0,get:function(){t("You are getting _Z3_mk_array_sort_n on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_array_sort_n",{configurable:!0,set:function(){t("You are setting _Z3_mk_array_sort_n on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_tuple_sort")||(Object.defineProperty(e.ready,"_Z3_mk_tuple_sort",{configurable:!0,get:function(){t("You are getting _Z3_mk_tuple_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_tuple_sort",{configurable:!0,set:function(){t("You are setting _Z3_mk_tuple_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_enumeration_sort")||(Object.defineProperty(e.ready,"_Z3_mk_enumeration_sort",{configurable:!0,get:function(){t("You are getting _Z3_mk_enumeration_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_enumeration_sort",{configurable:!0,set:function(){t("You are setting _Z3_mk_enumeration_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_list_sort")||(Object.defineProperty(e.ready,"_Z3_mk_list_sort",{configurable:!0,get:function(){t("You are getting _Z3_mk_list_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_list_sort",{configurable:!0,set:function(){t("You are setting _Z3_mk_list_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_constructor")||(Object.defineProperty(e.ready,"_Z3_mk_constructor",{configurable:!0,get:function(){t("You are getting _Z3_mk_constructor on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_constructor",{configurable:!0,set:function(){t("You are setting _Z3_mk_constructor on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_constructor_num_fields")||(Object.defineProperty(e.ready,"_Z3_constructor_num_fields",{configurable:!0,get:function(){t("You are getting _Z3_constructor_num_fields on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_constructor_num_fields",{configurable:!0,set:function(){t("You are setting _Z3_constructor_num_fields on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_del_constructor")||(Object.defineProperty(e.ready,"_Z3_del_constructor",{configurable:!0,get:function(){t("You are getting _Z3_del_constructor on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_del_constructor",{configurable:!0,set:function(){t("You are setting _Z3_del_constructor on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_datatype")||(Object.defineProperty(e.ready,"_Z3_mk_datatype",{configurable:!0,get:function(){t("You are getting _Z3_mk_datatype on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_datatype",{configurable:!0,set:function(){t("You are setting _Z3_mk_datatype on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_datatype_sort")||(Object.defineProperty(e.ready,"_Z3_mk_datatype_sort",{configurable:!0,get:function(){t("You are getting _Z3_mk_datatype_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_datatype_sort",{configurable:!0,set:function(){t("You are setting _Z3_mk_datatype_sort on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_constructor_list")||(Object.defineProperty(e.ready,"_Z3_mk_constructor_list",{configurable:!0,get:function(){t("You are getting _Z3_mk_constructor_list on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_constructor_list",{configurable:!0,set:function(){t("You are setting _Z3_mk_constructor_list on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_del_constructor_list")||(Object.defineProperty(e.ready,"_Z3_del_constructor_list",{configurable:!0,get:function(){t("You are getting _Z3_del_constructor_list on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_del_constructor_list",{configurable:!0,set:function(){t("You are setting _Z3_del_constructor_list on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_datatypes")||(Object.defineProperty(e.ready,"_Z3_mk_datatypes",{configurable:!0,get:function(){t("You are getting _Z3_mk_datatypes on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_datatypes",{configurable:!0,set:function(){t("You are setting _Z3_mk_datatypes on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_query_constructor")||(Object.defineProperty(e.ready,"_Z3_query_constructor",{configurable:!0,get:function(){t("You are getting _Z3_query_constructor on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_query_constructor",{configurable:!0,set:function(){t("You are setting _Z3_query_constructor on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_func_decl")||(Object.defineProperty(e.ready,"_Z3_mk_func_decl",{configurable:!0,get:function(){t("You are getting _Z3_mk_func_decl on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_func_decl",{configurable:!0,set:function(){t("You are setting _Z3_mk_func_decl on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_app")||(Object.defineProperty(e.ready,"_Z3_mk_app",{configurable:!0,get:function(){t("You are getting _Z3_mk_app on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_app",{configurable:!0,set:function(){t("You are setting _Z3_mk_app on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_const")||(Object.defineProperty(e.ready,"_Z3_mk_const",{configurable:!0,get:function(){t("You are getting _Z3_mk_const on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_const",{configurable:!0,set:function(){t("You are setting _Z3_mk_const on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_fresh_func_decl")||(Object.defineProperty(e.ready,"_Z3_mk_fresh_func_decl",{configurable:!0,get:function(){t("You are getting _Z3_mk_fresh_func_decl on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_fresh_func_decl",{configurable:!0,set:function(){t("You are setting _Z3_mk_fresh_func_decl on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_fresh_const")||(Object.defineProperty(e.ready,"_Z3_mk_fresh_const",{configurable:!0,get:function(){t("You are getting _Z3_mk_fresh_const on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_fresh_const",{configurable:!0,set:function(){t("You are setting _Z3_mk_fresh_const on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_mk_rec_func_decl")||(Object.defineProperty(e.ready,"_Z3_mk_rec_func_decl",{configurable:!0,get:function(){t("You are getting _Z3_mk_rec_func_decl on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_mk_rec_func_decl",{configurable:!0,set:function(){t("You are setting _Z3_mk_rec_func_decl on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}})),Object.getOwnPropertyDescriptor(e.ready,"_Z3_add_rec_def")||(Object.defineProperty(e.ready,"_Z3_add_rec_def",{configurable:!0,get:function(){t("You are getting _Z3_add_rec_def on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")}}),Object.defineProperty(e.ready,"_Z3_add_rec_def",{