% module
:-style_check(-singleton),style_check(-no_effect),ensure_loaded("core3").
% 22203
math_22203(_n,_x,_upvals):-_upvals=[],(integer_float(_n,_x)).
% 25204
math_25204(_n,_x,_upvals):-_upvals=[],(integer_float(_n,_x)).
% 85177
math_85177(_n,_s,_upvals):-_upvals=[],(number_string(_n,_s)).
% 69023
math_69023(_n,_s,_upvals):-_upvals=[],(number_string(_n,_s)).
% 89015
math_89015(_s,_n,_upvals):-_upvals=[],(number_string(_n,_s)).
% 17328
math_17328(_x,_y,_upvals):-_upvals=[],(dec(_x,_y)).
% 4063
math_4063(_x,_y,_upvals):-_upvals=[],(_y=_x+1).
% 1253
math_1253(_x,_y,_z,_upvals):-_upvals=[],(div(_x,_y,_z)).
% 54209
math_54209(_x,_y,_z,_upvals):-_upvals=[],(mul(_x,_y,_z)).
% 67189
math_67189(_x,_y,_z,_upvals):-_upvals=[],(sub(_x,_y,_z)).
% 12786
math_12786(_x,_y,_z,_upvals):-_upvals=[],(add(_x,_y,_z)).
% 29739
math_29739(_x,_y,_upvals):-_upvals=[],(ceiling(_x,_y)).
% 51676
math_51676(_x,_y,_upvals):-_upvals=[],(floor(_x,_y)).
% 48250
math_48250(_x,_y,_upvals):-_upvals=[],(abs(_x,_y)).
% 74521
math_74521(_x,_upvals):-_upvals=[],(random(_x)).
% 9977
math_9977(_x,_y,_upvals):-_upvals=[],(sqrt(_x,_y)).
% main
math(X):-new(T11413),set_(T11413,"sqrt",clos([],math_9977),T34839),set_(T34839,"random",clos([],math_74521),T6219),set_(T6219,"abs",clos([],math_48250),T8903),set_(T8903,"floor",clos([],math_51676),T3728),set_(T3728,"ceil",clos([],math_29739),T26014),set_(T26014,"add",clos([],math_12786),T84455),set_(T84455,"sub",clos([],math_67189),T5307),set_(T5307,"mul",clos([],math_54209),T7723),set_(T7723,"div",clos([],math_1253),T62159),set_(T62159,"inc",clos([],math_4063),T31967),set_(T31967,"dec",clos([],math_17328),T62252),set_(T62252,"stringToNumber",clos([],math_89015),T31625),set_(T31625,"integerToString",clos([],math_69023),T88098),set_(T88098,"realToString",clos([],math_85177),T52125),set_(T52125,"integerToReal",clos([],math_25204),T20685),set_(T20685,"realToInteger",clos([],math_22203),T59747),_t=T59747,X=_t.