type/pair/prod || type/pair/prod || 0.373091589645
const/pair/, || const/pair/, || 0.368931165034
const/real/sum || const/Library/analysis/psum || 0.368933633927
type/num/num || type/nums/num || 0.
type/realax/real || type/realax/real || 0.
const/transc/division || const/Library/transc/division || 0.368072160668
const/transc/Dint || const/Library/transc/defint || 0.367212496471
const/transc/dsize || const/Library/transc/dsize || 0.366479909027
(((const/pair/, type/num/num) type/num/num) const/num/0) || (((const/pair/, type/nums/num) type/nums/num) (const/nums/NUMERAL const/nums/_0)) || 0.365350314521
const/transc/tdiv || const/Library/transc/tdiv || 0.364873182238
const/integral/integrable || const/Library/transc/integrable || 0.363812943285
((const/pair/, type/realax/real) type/realax/real) || ((const/pair/, type/realax/real) type/realax/real) || 0.363364913577
const/transc/fine || const/Library/transc/fine || 0.363611092359
const/transc/rsum || const/Library/transc/rsum || 0.361895207151
type/topology/topology || type/Library/analysis/topology || 0.361642883614
type/topology/metric || type/Library/analysis/metric || 0.361136877721
const/integral/integral || const/Library/transc/integral || 0.360340426589
const/topology/mtop || const/Library/analysis/mtop || 0.358811021379
((const/topology/mtop type/realax/real) const/topology/mr1) || ((const/Library/analysis/mtop type/realax/real) const/Library/analysis/mr1) || 0.357760877098
(const/nets/tends type/realax/real) || (const/Library/analysis/tends type/realax/real) || 0.359849268856
(const/pair/, (type/topology/topology type/realax/real)) || (const/pair/, (type/Library/analysis/topology type/realax/real)) || 0.361894141329
const/topology/mr1 || const/Library/analysis/mr1 || 0.355981109299
const/nets/tends || const/Library/analysis/tends || 0.355312118264
const/topology/dist || const/Library/analysis/mdist || 0.355024402127
((const/topology/dist type/realax/real) const/topology/mr1) || ((const/Library/analysis/mdist type/realax/real) const/Library/analysis/mr1) || 0.35456433781
const/nets/dorder || const/Library/analysis/dorder || 0.354440187044
((const/nets/bounded type/realax/real) type/num/num) || ((const/Library/analysis/bounded type/nums/num) type/realax/real) || 0.354285000249
(const/pair/, (type/topology/metric type/realax/real)) || (const/pair/, (type/Library/analysis/metric type/realax/real)) || 0.35476254792
(type/topology/metric type/realax/real) || (type/Library/analysis/metric type/realax/real) || 0.356017990424
const/transc/gauge || const/Library/transc/gauge || 0.353042537159
((const/pair/, type/num/num) type/num/num) || ((const/pair/, type/nums/num) type/nums/num) || 0.350718359418
const/poly/poly || const/Library/poly/poly || 0.350637518902
type/list/list || type/ind_types/list || 0.
const/poly/poly || const/Complex/cpoly/poly || 0.354957451026
type/realax/real || type/Complex/complexnumbers/complex || 0.
const/poly/poly_diff_aux || const/Library/poly/poly_diff_aux || 0.351240982661
const/seq/summable || const/Library/analysis/summable || 0.350011073685
const/lim/diffl || const/Library/analysis/diffl || 0.349412039359
const/list/NIL || const/ind_types/NIL || 0.348334893378
const/powser/diffs || const/Library/transc/diffs || 0.348184225749
const/list/CONS || const/ind_types/CONS || 0.347972961935
const/poly/poly_order || const/Library/poly/order || 0.346481982605
(const/list/CONS type/realax/real) || (const/ind_types/CONS type/realax/real) || 0.345286452485
(const/list/CONS type/realax/real) || (const/ind_types/CONS type/Complex/complexnumbers/complex) || 0.358526153807
const/poly/poly_order || const/Complex/cpoly/order || 0.346139616671
const/poly/poly_divides || const/Library/poly/poly_divides || 0.345267579224
const/poly/poly_divides || const/Complex/cpoly/poly_divides || 0.352543237483
const/bool/COND || const/class/COND || 0.344266306821
(const/real/pow (const/realax/real_neg (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))))) || (const/realax/real_pow (const/realax/real_neg (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))))) || 0.344154915628
const/topology/open || const/Library/analysis/open || 0.342160799143
const/seq/suminf || const/Library/analysis/suminf || 0.342159004613
(const/bool/COND type/realax/real) || (const/class/COND type/realax/real) || 0.342240075037
(((const/list/CONS type/realax/real) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) (const/list/NIL type/realax/real)) || (((const/ind_types/CONS type/Complex/complexnumbers/complex) (const/Complex/complexnumbers/Cx (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))))) (const/ind_types/NIL type/Complex/complexnumbers/complex)) || 0.342093225462
(((const/list/CONS type/realax/real) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) (const/list/NIL type/realax/real)) || (((const/ind_types/CONS type/realax/real) (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) (const/ind_types/NIL type/realax/real)) || 0.3489749502
const/poly/poly_exp || const/Library/poly/poly_exp || 0.341749472752
const/poly/poly_exp || const/Complex/cpoly/poly_exp || 0.348845931678
const/transc/root || const/Library/transc/root || 0.340416263622
const/topology/neigh || const/Library/analysis/neigh || 0.340248206497
const/lim/contl || const/Library/analysis/contl || 0.339850990176
const/nets/tendsto || const/Library/analysis/tendsto || 0.338990233631
const/list/LENGTH || const/lists/LENGTH || 0.338561719071
const/topology/B || const/Library/analysis/ball || 0.338041032612
(const/poly/poly (const/list/NIL type/realax/real)) || (const/Library/poly/poly (const/ind_types/NIL type/realax/real)) || 0.337473848083
(const/poly/poly (const/list/NIL type/realax/real)) || (const/Complex/cpoly/poly (const/ind_types/NIL type/Complex/complexnumbers/complex)) || 0.353313785391
(const/min/@ type/realax/real) || (const/class/@ type/realax/real) || 0.337085701566
const/pred_set/INSERT || const/sets/INSERT || 0.335337849753
const/pred_set/CARD || const/sets/CARD || 0.335007376543
const/bool/IN || const/sets/IN || 0.334833172926
(const/min/@ type/num/num) || (const/class/@ type/nums/num) || 0.334477238797
((type/pair/prod type/num/num) type/num/num) || ((type/pair/prod type/nums/num) type/nums/num) || 0.333948614996
const/seq/sums || const/Library/analysis/sums || 0.334139043695
const/pred_set/EMPTY || const/sets/EMPTY || 0.333616288138
const/lim/tends_real_real || const/Library/analysis/tends_real_real || 0.333393905714
const/topology/limpt || const/Library/analysis/limpt || 0.331863654156
const/seq/convergent || const/Library/analysis/convergent || 0.331018112185
const/seq/mono || const/Library/analysis/mono || 0.331408318103
const/seq/--> || const/Library/analysis/tends_num_real || 0.330979184002
const/list/LIST_TO_SET || const/sets/set_of_list || 0.330440702088
const/seq/cauchy || const/Library/analysis/cauchy || 0.328272748895
const/poly/rsquarefree || const/Library/poly/rsquarefree || 0.328179581053
const/min/@ || const/class/@ || 0.326471945014
const/poly/#hash##hash# || const/Library/poly/poly_cmul || 0.325349737194
const/poly/#hash##hash# || const/Complex/cpoly/poly_cmul || 0.332867307425
(type/list/list type/realax/real) || (type/ind_types/list type/Complex/complexnumbers/complex) || 0.324539635905
(type/list/list type/realax/real) || (type/ind_types/list type/realax/real) || 0.336504810912
(const/list/LENGTH type/realax/real) || (const/lists/LENGTH type/Complex/complexnumbers/complex) || 0.325628530229
(const/list/LENGTH type/realax/real) || (const/lists/LENGTH type/realax/real) || 0.339593642838
(const/realax/real_add (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (const/realax/real_add (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || 0.322281270902
const/topology/topology || const/Library/analysis/topology || 0.320399762517
const/pred_set/DELETE || const/sets/DELETE || 0.319350046553
const/topology/ismet || const/Library/analysis/ismet || 0.318852399326
const/list/APPEND || const/lists/APPEND || 0.318632062637
(const/bool/?! type/num/num) || (const/bool/?! type/nums/num) || 0.31650735148
const/ind_type/INJP || const/ind_types/INJP || 0.31588429071
const/ind_type/INJN || const/ind_types/INJN || 0.317690550069
const/ind_type/ZBOT || const/ind_types/ZBOT || 0.319672977296
const/ind_type/ZCONSTR || const/ind_types/ZCONSTR || 0.327818051848
const/ind_type/ZRECSPACE || const/ind_types/ZRECSPACE || 0.324428719594
const/ind_type/INJF || const/ind_types/INJF || 0.31828436516
const/ind_type/INJA || const/ind_types/INJA || 0.32151194085
const/topology/metric || const/Library/analysis/metric || 0.315764954257
const/list/EVERY || const/lists/ALL || 0.315535885911
const/seq/subseq || const/Library/analysis/subseq || 0.315388103639
const/poly/diff || const/Library/poly/poly_diff || 0.314531921634
const/list/LAST || const/lists/LAST || 0.313933386879
const/poly/poly_add || const/Library/poly/poly_add || 0.313501552292
const/poly/poly_add || const/Complex/cpoly/poly_add || 0.3241632107
const/list/TL || const/lists/TL || 0.315651183111
const/poly/degree || const/Library/poly/degree || 0.313291845581
const/ind_type/NUMLEFT || const/ind_types/NUMLEFT || 0.312604941343
const/ind_type/NUMRIGHT || const/ind_types/NUMRIGHT || 0.31947736483
const/topology/closed || const/Library/analysis/closed || 0.312444057328
(const/real/real_sub (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (const/realax/real_sub (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || 0.311344520981
const/ind_type/mk_rec || const/ind_types/_mk_rec || 0.31127545963
type/ind_type/recspace || type/ind_types/recspace || 0.
const/ind_type/dest_rec || const/ind_types/_dest_rec || 0.313098108553
const/rich_list/REPLICATE || const/lists/REPLICATE || 0.311242905078
(const/realax/real_mul (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || (const/realax/real_mul (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) || 0.310305436348
const/lim/differentiable || const/Library/analysis/differentiable || 0.310075296812
const/ind_type/NUMSUM || const/ind_types/NUMSUM || 0.309808170992
const/topology/istopology || const/Library/analysis/istopology || 0.309776755429
const/list/SET_TO_LIST || const/sets/list_of_set || 0.30958414199
const/poly/poly_mul || const/Complex/cpoly/poly_mul || 0.307983996757
const/poly/poly_mul || const/Library/poly/poly_mul || 0.321209235723
(const/list/NIL type/realax/real) || (const/ind_types/NIL type/Complex/complexnumbers/complex) || 0.308704084379
(const/list/NIL type/realax/real) || (const/ind_types/NIL type/realax/real) || 0.319569620833
const/seq/lim || const/Library/analysis/lim || 0.307702945368
(const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)) || (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))) || 0.307659325153
const/pred_set/FINITE || const/sets/FINITE || 0.30724040942
(const/bool/COND type/num/num) || (const/class/COND type/nums/num) || 0.309000660407
const/arithmetic/>= || const/arith/>= || 0.306385295854
(const/realax/real_neg ((const/real/#slash# const/transc/pi) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))))) || (const/realax/real_neg ((const/realax/real_div const/Multivariate/transcendentals/pi) (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0)))))) || 0.306076189661
const/list/HD || const/lists/HD || 0.303000097814
const/pred_set/UNION || const/sets/UNION || 0.301998440383
(const/bool/?! type/realax/real) || (const/bool/?! type/realax/real) || 0.300865505814
(const/arithmetic/* (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || (const/arith/* (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0)))) || 0.300562329001
const/poly/degree || const/Complex/cpoly/degree || 0.300287737004
const/ind_type/CONSTR || const/ind_types/CONSTR || 0.300246039215
const/ind_type/BOTTOM || const/ind_types/BOTTOM || 0.297946924893
const/arithmetic/FACT || const/arith/FACT || 0.297581823125
((type/pair/prod type/realax/real) type/realax/real) || ((type/pair/prod type/realax/real) type/realax/real) || 0.296634594172
const/ind_type/NUMFST || const/ind_types/NUMFST || 0.291884005993
const/ind_type/NUMSND || const/ind_types/NUMSND || 0.302707320907
const/ind_type/NUMPAIR || const/ind_types/NUMPAIR || 0.296863725803
const/real/pow || const/realax/real_pow || 0.291193927596
const/pred_set/UNIV || const/sets/UNIV || 0.290708673525
const/pred_set/SUBSET || const/sets/SUBSET || 0.292110872458
const/pred_set/PSUBSET || const/sets/PSUBSET || 0.306176478897
const/pred_set/SUBSET || const/Library/analysis/re_subset || 0.300515514563
const/pred_set/INTER || const/sets/INTER || 0.291733681438
const/arithmetic/DIV || const/arith/DIV || 0.290062267314
const/arithmetic/EVEN || const/arith/EVEN || 0.289024962728
const/poly/poly_neg || const/Library/poly/poly_neg || 0.288856291743
const/arithmetic/BIT1 || const/nums/BIT1 || 0.287891590865
const/seq/--> || const/Library/analysis/sums || 0.281283064058
const/topology/re_intersect || const/Library/analysis/re_intersect || 0.280665476535
const/real/real_ge || const/realax/real_ge || 0.279773434018
const/list/FILTER || const/lists/FILTER || 0.27881853757
const/hrat/trat_eq || const/realax/treal_eq || 0.278750385009
type/num/num || type/realax/hreal || 0.
const/integer/tint_eq || const/realax/treal_eq || 0.285664316761
const/realax/treal_eq || const/realax/treal_eq || 0.289447864563
type/hreal/hreal || type/realax/hreal || 0.
((const/pair/, type/hreal/hreal) type/hreal/hreal) || ((const/pair/, type/realax/hreal) type/realax/hreal) || 0.295534654787
((const/pair/, type/num/num) type/num/num) || ((const/pair/, type/realax/hreal) type/realax/hreal) || 0.285700415585
const/pred_set/UNIV || const/Library/analysis/re_universe || 0.275847418867
const/pred_set/FINITE || const/sets/INFINITE || 0.275011285242
const/pred_set/FINITE || const/sets/COUNTABLE || 0.274021782387
const/poly/normalize || const/Library/poly/normalize || 0.273780067198
const/poly/normalize || const/Complex/cpoly/normalize || 0.282561807586
(const/real/real_lte (const/realax/real_neg (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))))) || (const/realax/real_le (const/realax/real_neg (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))))) || 0.273624326685
const/transc/acs || const/Library/transc/acs || 0.273821328192
const/list/FRONT || const/lists/BUTLAST || 0.273097063573
const/pred_set/BIGINTER || const/sets/INTERS || 0.272700938177
((type/pair/prod type/num/num) type/num/num) || ((type/pair/prod type/realax/hreal) type/realax/hreal) || 0.27161474015
const/pred_set/BIGUNION || const/Library/analysis/re_Union || 0.270669893893
const/pred_set/BIGUNION || const/sets/UNIONS || 0.272361767675
const/seq/sums || const/Library/analysis/tends_num_real || 0.270274451261
const/real/pow || const/int/int_pow || 0.269392809622
type/realax/real || type/int/int || 0.
const/real/pow || const/Complex/complexnumbers/complex_pow || 0.279442614035
(const/prim_rec/< const/num/0) || (const/arith/< (const/nums/NUMERAL const/nums/_0)) || 0.269337592041
const/transc/sqrt || const/Library/transc/sqrt || 0.268277233733
const/real/sup || const/sets/sup || 0.267903534631
const/frac/abs_frac || const/Complex/complexnumbers/complex || 0.267823592988
type/integer/int || type/realax/real || 0.
type/frac/frac || type/Complex/complexnumbers/complex || 0.
const/frac/rep_frac || const/Complex/complexnumbers/coords || 0.300615240514
const/frac/frac_nmr || const/Complex/complexnumbers/Re || 0.294419722878
const/frac/frac_dnm || const/Complex/complexnumbers/Im || 0.294927206907
type/canonical/canonical_sum || type/ind_types/list || 0.271442248445
const/canonical/Nil_monom || const/ind_types/NIL || 0.284821776255
const/extreal/extreal_pow || const/realax/real_pow || 0.266533997772
type/extreal/extreal || type/realax/real || 0.
((type/pair/prod type/hreal/hreal) type/hreal/hreal) || ((type/pair/prod type/realax/hreal) type/realax/hreal) || 0.266461499405
const/hreal/hreal_add || const/realax/hreal_add || 0.26874524036
const/list/SNOC || const/ind_types/CONS || 0.26624277825
const/arithmetic/NUMERAL || const/nums/NUMERAL || 0.266185624349
const/list/REVERSE || const/lists/REVERSE || 0.263942266779
const/bool/?! || const/bool/?! || 0.2633889778
const/divides/divides || const/int/num_divides || 0.263281286741
const/divides/prime || const/Library/prime/prime || 0.269792085524
const/pred_set/DISJOINT || const/sets/DISJOINT || 0.261987618824
const/transc/ln || const/Library/transc/ln || 0.261839998696
const/prim_rec/PRE || const/arith/PRE || 0.26097446159
const/poly/poly_neg || const/Complex/cpoly/poly_neg || 0.260886176774
((type/pair/prod type/integer/int) type/integer/int) || ((type/pair/prod type/realax/real) type/realax/real) || 0.260601114431
((const/pair/, type/integer/int) type/integer/int) || ((const/pair/, type/realax/real) type/realax/real) || 0.26402748639
const/util_prob/minimal || const/arith/minimal || 0.259911493498
(const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0)))) || 0.258573538129
const/transc/pi || const/Library/transc/pi || 0.25758964798
(const/real/pow (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || (const/realax/real_pow (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) || 0.255299471786
const/realax/treal_lt || const/realax/treal_le || 0.253416879101
const/integer/tint_lt || const/realax/treal_le || 0.259068515889
(const/realax/real_lt (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || 0.252997389691
const/arithmetic/- || const/arith/- || 0.252609634282
const/transc/ln || const/Multivariate/transcendentals/log || 0.252282835929
((const/real/#slash# const/transc/pi) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || ((const/realax/real_div const/Library/transc/pi) (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) || 0.250264775004
((const/real/#slash# const/transc/pi) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || ((const/realax/real_div const/Multivariate/transcendentals/pi) (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT0 (const/nums/BIT1 const/nums/_0))))) || 0.252580149073
const/arithmetic/ZERO const/num/0 || const/nums/_0 || 0.249548181059
const/arithmetic/BIT2 || const/nums/BIT1 || 0.252244952383
const/extreal/extreal_pow || const/int/int_pow || 0.250850511204
type/extreal/extreal || type/int/int || 0.
const/arithmetic/ODD || const/arith/ODD || 0.249701474874
const/transc/rpow || const/Multivariate/transcendentals/rpow || 0.248069058496
(const/num/SUC const/num/0) (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)) || (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)) || 0.247374282315
const/list/MAP || const/lists/MAP || 0.247116166552
const/list/EL || const/lists/EL || 0.244260674222
const/pred_set/DIFF || const/sets/DIFF || 0.243931753421
type/integer/int || type/int/int || 0.242760138674
const/integer/int_divides || const/int/int_divides || 0.246757361338
type/num/num || type/int/int || 0.246520502834
const/hrat/trat_inv || const/realax/treal_neg || 0.24224146899
const/integer/tint_neg || const/realax/treal_neg || 0.24324004741
const/realax/treal_neg || const/realax/treal_neg || 0.253289589117
type/num/num || type/realax/real || 0.241720166819
(const/pred_set/EMPTY type/num/num) || (const/sets/EMPTY type/realax/real) || 0.257347044644
(const/pred_set/INSERT type/num/num) || (const/sets/INSERT type/realax/real) || 0.25610534458
type/num/num || type/Complex/complexnumbers/complex || 0.247957596981
const/hrat/trat_add || const/realax/treal_add || 0.241186388076
const/realax/treal_add || const/realax/treal_add || 0.248093912233
const/integer/tint_add || const/realax/treal_add || 0.247410182185
const/hrat/trat_mul || const/realax/treal_add || 0.246748470974
const/hrat/trat_mul || const/realax/treal_mul || 0.253105255124
const/seq/lim || const/Library/analysis/suminf || 0.239349904661
(const/real/real_lte (const/realax/real_neg (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))))) || (const/realax/real_lt (const/realax/real_neg (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))))) || 0.238535692561
const/transc/asn || const/Library/transc/asn || 0.23632749788
const/arithmetic/MOD || const/arith/MOD || 0.235094902761
const/hreal/hreal_lt || const/realax/hreal_le || 0.234893420791
type/integer/int || type/Complex/complexnumbers/complex || 0.234521578614
((type/pair/prod type/realax/real) type/realax/real) || type/Complex/complexnumbers/complex || 0.240520661618
const/complex/IM || const/Complex/complexnumbers/Im || 0.234902922498
type/pair/prod || type/Complex/complexnumbers/complex || 0.
const/complex/RE || const/Complex/complexnumbers/Re || 0.243640566656
const/real/real_gt || const/realax/real_gt || 0.233822266671
const/seq/suminf || const/Library/analysis/lim || 0.232935821089
const/pred_set/countable || const/sets/COUNTABLE || 0.231521363724
type/extreal/extreal || type/Complex/complexnumbers/complex || 0.230435917811
const/prim_rec/< || const/arith/< || 0.230369504801
const/hrat/trat_add || const/realax/treal_mul || 0.229481271769
const/realax/treal_mul || const/realax/treal_mul || 0.230989031453
const/integer/tint_mul || const/realax/treal_mul || 0.231645823114
const/hreal/hreal_mul || const/realax/hreal_mul || 0.230148510897
const/pred_set/SING || const/sets/SING || 0.228877584564
const/arithmetic/<= || const/arith/<= || 0.228522509167
const/integer/int_exp || const/realax/real_pow || 0.23075279946
const/integer/Num || const/int/num_of_int || 0.228119411938
(const/real/real_lte (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || 0.227453849281
const/extreal/extreal_pow || const/Complex/complexnumbers/complex_pow || 0.227023504362
const/transc/tan || const/Library/transc/tan || 0.2269006249
const/transc/tan || const/Multivariate/transcendentals/tan || 0.232099235243
const/pred_set/CROSS || const/sets/CROSS || 0.226685241654
const/integer/int_exp || const/int/int_pow || 0.226449498023
const/arithmetic/EXP || const/arith/EXP || 0.226469269484
const/transc/pi || const/Multivariate/transcendentals/pi || 0.225711373973
const/rich_list/ELL || const/lists/EL || 0.225449014256
const/list/LAST || const/lists/HD || 0.239676143902
const/list/EXISTS || const/lists/EX || 0.224624678855
type/rat/rat || type/Complex/complexnumbers/complex || 0.224576110406
const/pred_set/CHOICE || const/sets/CHOICE || 0.224459159859
const/real/real_of_num || const/realax/real_of_num || 0.223866888864
const/integer/int_0 (const/integer/int_of_num const/num/0) || (const/int/int_of_num (const/nums/NUMERAL const/nums/_0)) || 0.22367271159
const/lim/diffl || const/Library/analysis/tends_real_real || 0.223060467653
const/transc/sin || const/Library/transc/sin || 0.222451072571
const/real/real_lte || const/realax/real_le || 0.222112307472
const/transc/asn || const/Multivariate/transcendentals/asn || 0.224481425098
(const/realax/real_lt (const/real/real_of_num const/num/0)) || (const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || 0.221804107785
(const/prim_rec/< (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (const/arith/< (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || 0.232892195082
const/realax/real_lt || const/realax/real_lt || 0.22125655734
const/extreal/extreal_of_num || const/realax/real_of_num || 0.220572797535
(const/real/real_lte (const/real/real_of_num const/num/0)) || (const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || 0.220389819119
const/transc/sqrt || const/Multivariate/misc/sqrt || 0.220244226459
(type/fcp/bit1 (type/fcp/bit1 (type/fcp/bit1 type/one/one))) || type/lists/char || 0.219891039092
const/pred_set/count || const/Library/binary/bitset || 0.219804352677
(const/realax/real_lt (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || 0.219348730565
type/rat/rat || type/realax/real || 0.219344522633
type/rat/rat || type/int/int || 0.222061153556
const/integer/int_exp || const/Complex/complexnumbers/complex_pow || 0.219082646031
type/integer/int || type/realax/hreal || 0.218453265283
type/realax/real || type/realax/hreal || 0.224639682062
type/realax/real || type/nums/num || 0.222819731867
const/extreal/extreal_logr || const/Multivariate/transcendentals/root || 0.242187194598
type/integer/int || type/nums/num || 0.220771108422
const/integer/int_mod || const/arith/MOD || 0.23032271474
((type/pair/prod type/realax/real) type/realax/real) || type/int/int || 0.217247966371
((type/pair/prod type/realax/real) type/realax/real) || type/realax/real || 0.22418924735
const/complex/complex_scalar_lmul || const/Multivariate/transcendentals/root || 0.228459157183
type/pair/prod || type/nums/num || 0.
((type/pair/prod type/realax/real) type/realax/real) || ((type/cart/cart type/realax/real) type/cart/2) || 0.217376593416
const/list/NULL || const/lists/NULL || 0.215974264098
(const/canonical/Nil_monom type/num/num) || (const/ind_types/NIL type/realax/real) || 0.215205030773
(const/canonical/Nil_monom type/integer/int) || (const/ind_types/NIL type/realax/real) || 0.221770851389
(const/canonical/Nil_monom type/rat/rat) || (const/ind_types/NIL type/realax/real) || 0.229434814358
(type/canonical/canonical_sum type/num/num) || (type/ind_types/list type/realax/real) || 0.215170179926
(type/canonical/canonical_sum type/integer/int) || (type/ind_types/list type/realax/real) || 0.220212676334
(type/canonical/canonical_sum type/rat/rat) || (type/ind_types/list type/realax/real) || 0.226454231508
const/pred_set/EMPTY || const/Library/analysis/re_null || 0.214930365449
const/util_prob/countable || const/sets/COUNTABLE || 0.214670426316
const/complex/modu || const/Complex/complexnumbers/complex_norm || 0.213246738119
const/transc/cos || const/Library/transc/cos || 0.212959726406
const/transc/cos || const/Multivariate/transcendentals/cos || 0.214488575697
const/transc/sin || const/Multivariate/transcendentals/sin || 0.213704951023
const/transc/atn || const/Library/transc/atn || 0.213323017032
const/real/abs || const/realax/real_abs || 0.212771695856
const/list/FRONT || const/lists/TL || 0.210599886645
const/real/real_lte || const/realax/real_lt || 0.209456636356
(const/real/real_lte (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || (const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || 0.210164691858
const/integer/int_0 (const/integer/int_of_num const/num/0) || (const/nums/NUMERAL const/nums/_0) || 0.209249478471
const/arithmetic/ZERO const/num/0 || (const/nums/NUMERAL const/nums/_0) || 0.213102985749
const/ind_type/FCONS || const/ind_types/FCONS || 0.22049774046
(const/realax/real_lt (const/real/real_of_num const/num/0)) || (const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || 0.209019701238
const/arithmetic/<= || const/arith/< || 0.208582568297
const/one/one || const/trivia/one || 0.208551523092
type/one/one || type/trivia/1 || 0.
const/realax/real_neg || const/realax/real_neg || 0.208337648742
const/realax/real_neg || const/Complex/complexnumbers/complex_neg || 0.213320716322
const/transc/cos || const/Library/transc/sin || 0.208772686731
const/real/#slash# || const/realax/real_div || 0.208167823318
const/numpair/npair || const/ind_types/NUMPAIR || 0.208103048688
(const/extreal/extreal_le (const/extreal/extreal_of_num const/num/0)) || (const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || 0.207850224968
(const/real/real_of_num const/num/0) const/realax/real_0 || (const/int/int_of_num (const/nums/NUMERAL const/nums/_0)) || 0.20778758055
(const/real/real_lte (const/real/real_of_num const/num/0)) || (const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || 0.207646459688
const/transc/acs || const/Multivariate/transcendentals/acs || 0.20711018234
const/pair/REP_prod || const/pair/REP_prod || 0.207063000848
const/pair/ABS_prod || const/pair/ABS_prod || 0.231628253558
const/realax/real_neg || const/int/int_neg || 0.206953211744
type/num/num || ((type/cart/cart type/realax/real) type/cart/2) || 0.206919643276
const/complex/complex_scalar_rmul || const/realax/real_pow || 0.206713619077
(const/canonical/Nil_monom type/num/num) || (const/ind_types/NIL type/Complex/complexnumbers/complex) || 0.206020161318
(const/canonical/Nil_monom type/integer/int) || (const/ind_types/NIL type/Complex/complexnumbers/complex) || 0.211160396707
(const/canonical/Nil_monom type/rat/rat) || (const/ind_types/NIL type/Complex/complexnumbers/complex) || 0.216986873934
const/transc/exp || const/Library/transc/exp || 0.205417497327
(const/real/real_of_num const/num/0) const/realax/real_0 || (const/Complex/complexnumbers/Cx (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || 0.205303055647
const/prim_rec/< || const/arith/<= || 0.205180136864
const/real/real_sub || const/realax/real_sub || 0.204681088809
const/transc/cos || const/Multivariate/transcendentals/sin || 0.205288886263
const/realax/real_lt || const/realax/real_le || 0.204512525456
const/prim_rec/measure || const/wf/MEASURE || 0.204507357061
const/extreal/extreal_sqrt || const/Library/transc/sqrt || 0.204014052262
const/real/real_lte || const/int/int_le || 0.203671928434
(const/real/real_lte (const/real/real_of_num const/num/0)) || (const/int/int_le (const/int/int_of_num (const/nums/NUMERAL const/nums/_0))) || 0.204007136912
(const/realax/real_lt (const/real/real_of_num const/num/0)) || (const/int/int_lt (const/int/int_of_num (const/nums/NUMERAL const/nums/_0))) || 0.203507789807
const/complex/complex_scalar_rmul || const/Complex/complexnumbers/complex_pow || 0.203500421474
(const/real/real_of_num const/num/0) const/realax/real_0 || (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || 0.202756896148
const/integer/int_neg || const/int/int_neg || 0.202748082037
const/lim/contl || const/Library/analysis/differentiable || 0.202704908026
const/realax/real_lt || const/int/int_lt || 0.202640624492
const/realax/inv || const/realax/real_inv || 0.20234402662
const/integer/int_le || const/int/int_le || 0.201517371978
const/integer/int_lt || const/int/int_lt || 0.204544119126
(const/integer/int_lt (const/integer/int_of_num const/num/0)) || (const/int/int_lt (const/int/int_of_num (const/nums/NUMERAL const/nums/_0))) || 0.20450770254
(const/integer/int_le (const/integer/int_of_num const/num/0)) || (const/int/int_le (const/int/int_of_num (const/nums/NUMERAL const/nums/_0))) || 0.204856696489
const/integer/int_1 (const/integer/int_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (const/int/int_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || 0.20353604849
const/real/real_of_num || const/int/int_of_num || 0.201387274638
const/integer/int_of_num || const/int/int_of_num || 0.201399498192
const/integer/int_of_num || const/realax/real_of_num || 0.203575299966
const/lim/differentiable || const/Library/analysis/contl || 0.200845187702
((const/real/#slash# const/transc/pi) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || const/Library/transc/pi || 0.200838909175
const/pred_set/COMPL || const/Library/analysis/re_compl || 0.200512716119
(const/integer/int_lt (const/integer/int_of_num const/num/0)) || (const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || 0.20043711424
const/real/abs || const/int/int_abs || 0.200332295223
const/transc/acs || const/Library/transc/asn || 0.199627841554
const/numeral_bit/iSUC const/num/SUC || const/nums/SUC || 0.199316479698
const/arithmetic/BIT1 || const/nums/BIT0 || 0.200296024374
const/arithmetic/BIT2 || const/nums/BIT0 || 0.203307225103
const/extreal/extreal_le || const/int/int_le || 0.198497187347
const/fcp/HAS_SIZE || const/sets/HAS_SIZE || 0.197972870913
const/extreal/extreal_le || const/realax/real_le || 0.197902557179
const/arithmetic/+ || const/arith/+ || 0.197723715247
const/transc/sin || const/Library/transc/cos || 0.197407844737
const/transc/sin || const/Multivariate/transcendentals/cos || 0.199682327558
const/transc/asn || const/Library/transc/acs || 0.197515041091
type/extreal/extreal || ((type/cart/cart type/realax/real) type/cart/2) || 0.197175772107
type/integer/int || ((type/cart/cart type/realax/real) type/cart/2) || 0.199175458613
const/integer/int_0 (const/integer/int_of_num const/num/0) || (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0)) || 0.19710140916
(const/list/NIL type/string/char) || (const/ind_types/NIL type/realax/real) || 0.196711492163
type/string/char || type/realax/real || 0.
(type/list/list type/string/char) || (type/ind_types/list type/realax/real) || 0.20789566753
const/integer/int_lt || const/realax/real_lt || 0.196669393113
const/integer/int_le || const/realax/real_le || 0.199349721409
const/arithmetic/<= || const/realax/real_le || 0.19942172954
const/prim_rec/< || const/realax/real_lt || 0.201242356454
const/prim_rec/< || const/realax/real_le || 0.203817465238
const/integer/int_lt || const/realax/real_le || 0.202432817349
(const/integer/int_le (const/integer/int_of_num const/num/0)) || (const/realax/real_le (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || 0.200063335358
const/extreal/extreal_lt || const/realax/real_lt || 0.199409670127
const/arithmetic/<= || const/realax/real_lt || 0.202851124333
const/rat/rat_les || const/realax/real_lt || 0.196548970077
const/integer/int_le || const/realax/real_lt || 0.197403998418
const/extreal/extreal_le || const/realax/real_lt || 0.198270984522
const/integer/int_0 (const/integer/int_of_num const/num/0) || (const/Complex/complexnumbers/Cx (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || 0.19611878091
(type/canonical/canonical_sum type/num/num) || (type/ind_types/list type/Complex/complexnumbers/complex) || 0.195771665511
(type/canonical/canonical_sum type/integer/int) || (type/ind_types/list type/Complex/complexnumbers/complex) || 0.199226442105
(type/canonical/canonical_sum type/rat/rat) || (type/ind_types/list type/Complex/complexnumbers/complex) || 0.203673712106
const/real/real_sub || const/int/int_sub || 0.195439394495
(const/arithmetic/+ (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || const/nums/SUC || 0.195198231866
const/numRing/num_canonical_sum_prod || const/Complex/cpoly/poly_mul || 0.194823260915
const/integerRing/int_r_canonical_sum_prod || const/Complex/cpoly/poly_mul || 0.199734351638
const/ratRing/rat_r_canonical_sum_prod || const/Complex/cpoly/poly_mul || 0.205298812412
const/poly/poly_add || const/Library/poly/poly_mul || 0.194736957598
(const/list/NIL type/realax/real) || (((const/ind_types/CONS type/realax/real) (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) (const/ind_types/NIL type/realax/real)) || 0.208072902919
const/integerRing/int_r_canonical_sum_prod || const/Library/poly/poly_mul || 0.196943785988
const/numRing/num_canonical_sum_prod || const/Library/poly/poly_mul || 0.200965509089
const/ratRing/rat_r_canonical_sum_prod || const/Library/poly/poly_mul || 0.205403993171
const/integer/tint_mul || const/realax/treal_add || 0.194602070196
const/realax/treal_mul || const/realax/treal_add || 0.199673082068
(const/bool/COND type/realax/real) || (const/class/COND type/int/int) || 0.194476194115
const/prim_rec/< || const/arith/>= || 0.194347647545
const/prim_rec/< || const/arith/> || 0.198058798053
const/arithmetic/<= || const/arith/> || 0.194253375446
const/integer/int_divides || const/int/num_divides || 0.19408457362
const/prim_rec/< || const/int/int_lt || 0.194068469151
const/arithmetic/<= || const/int/int_le || 0.196381019334
const/prim_rec/< || const/int/int_le || 0.198716689223
const/arithmetic/<= || const/arith/>= || 0.198064498185
const/integer/int_lt || const/int/int_le || 0.198030300377
const/realax/real_lt || const/int/int_le || 0.199195584819
const/real/real_lte || const/int/int_lt || 0.196501670937
const/integer/int_le || const/int/int_lt || 0.197355047274
const/rat/rat_les || const/int/int_lt || 0.195613243137
const/extreal/extreal_lt || const/int/int_lt || 0.197551983035
const/arithmetic/<= || const/int/int_lt || 0.198134333411
const/transc/exp || const/Multivariate/transcendentals/exp || 0.193726669215
const/extreal/extreal_le || const/int/int_lt || 0.193517073405
const/integer/int_of_num || const/realax/hreal_of_num || 0.192979504168
const/integer/int_sub || const/int/int_sub || 0.192809280232
const/transc/atn || const/Multivariate/transcendentals/atn || 0.19279477913
(const/prim_rec/< const/num/0) || (const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || 0.192072225967
type/realax/real || ((type/cart/cart type/realax/real) type/cart/2) || 0.190974788107
type/realax/real || ((type/pair/prod type/realax/hreal) type/realax/hreal) || 0.191481461107
const/numpair/nsnd || const/ind_types/NUMSND || 0.190770780766
const/numpair/nfst || const/ind_types/NUMFST || 0.190730930077
type/frac/frac || type/realax/real || 0.190384210159
const/rat/rep_rat || const/int/real_of_int || 0.19966625514
const/rat/abs_rat || const/int/int_of_real || 0.202628905027
const/real/real_of_num || const/realax/hreal_of_num || 0.189766719491
((const/real/#slash# const/transc/pi) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || const/Multivariate/transcendentals/pi || 0.18904841335
const/integer/int_neg || const/realax/real_neg || 0.188803410147
const/arithmetic/ZERO const/num/0 || (const/int/int_of_num (const/nums/NUMERAL const/nums/_0)) || 0.188185992049
const/arithmetic/ZERO const/num/0 || (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)) || 0.187900409365
type/list/list || (type/cart/cart type/realax/real) || 0.187656048549
const/pred_set/REST || const/sets/REST || 0.187355604683
const/integer/int_sub || const/realax/real_sub || 0.187032221476
const/realax/real_1 (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || 0.186661312477
const/realax/real_1 (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (const/Complex/complexnumbers/Cx (const/realax/real_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0)))) || 0.190380683129
const/real/min || const/int/int_min || 0.186636082883
const/complex/complex_of_real || const/Complex/complexnumbers/Cx || 0.186261343775
type/pair/prod || type/realax/real || 0.
const/integer/int_of_num || const/Complex/complexnumbers/Cx || 0.188439676395
const/integer/int_of_num || const/int/real_of_int || 0.189277180568
const/extreal/Normal || const/Complex/complexnumbers/Cx || 0.188708833855
const/integer/int_neg || const/Complex/complexnumbers/complex_neg || 0.186866984141
(const/extreal/extreal_le (const/extreal/extreal_of_num const/num/0)) || (const/int/int_le (const/int/int_of_num (const/nums/NUMERAL const/nums/_0))) || 0.185634641163
const/integer/int_lt || const/arith/< || 0.185432037581
const/integer/LEAST_INT || const/arith/minimal || 0.20443733786
const/integer/int_le || const/arith/<= || 0.185775860905
const/real/real_lte || const/arith/<= || 0.18661851121
const/realax/real_lt || const/arith/< || 0.195174661334
((type/pair/prod type/num/num) type/num/num) || type/realax/real || 0.185141797702
const/prim_rec/< || const/realax/hreal_le || 0.184992834707
const/transc/sin || const/Multivariate/transcendentals/tan || 0.184586724668
const/arithmetic/ZERO const/num/0 || (const/Complex/complexnumbers/Cx (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || 0.184506542434
(const/arithmetic/- const/num/0) || (const/Complex/cpoly/poly (const/ind_types/NIL type/Complex/complexnumbers/complex)) || 0.199492974365
(const/arithmetic/* const/num/0) || (const/Complex/cpoly/poly (const/ind_types/NIL type/Complex/complexnumbers/complex)) || 0.205427234117
(const/rat/rat_of_num const/num/0) const/rat/rat_0 || (const/Complex/complexnumbers/Cx (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || 0.188009523557
const/arithmetic/ZERO const/num/0 || (const/realax/hreal_of_num (const/nums/NUMERAL const/nums/_0)) || 0.185290147603
const/topology/mr1 || const/Multivariate/realanalysis/real_euclidean_metric || 0.184325005315
type/topology/metric || type/Multivariate/metric/metric || 0.
const/topology/dist || const/Multivariate/metric/mdist || 0.184346880184
const/extreal/extreal_of_num || const/int/int_of_num || 0.18401883348
const/divides/divides || const/int/int_divides || 0.18386340932
const/realax/treal_add || const/realax/treal_mul || 0.183836966949
(const/extreal/extreal_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (const/int/int_of_num (const/nums/NUMERAL (const/nums/BIT1 const/nums/_0))) || 0.183644707396
(const/rat/rat_les (const/rat/rat_of_num const/num/0)) || (const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || 0.183327133086
(const/extreal/extreal_le (const/extreal/extreal_of_num const/num/0)) || (const/realax/real_lt (const/realax/real_of_num (const/nums/NUMERAL const/nums/_0))) || 0.186379526909
const/integer/int_rem || const/arith/MOD || 0.183264355466
const/real/real_of_num || const/int/real_of_int || 0.183058930837
const/extreal/Normal || const/int/real_of_int || 0.185099712501
const/arithmetic/+ || const/realax/hreal_add || 0.18283286879
type/extreal/extreal || type/nums/num || 0.182612623416
const/extreal/extreal_le || const/arith/<= || 0.188302576028
type/frac/frac || type/nums/num || 0.182877337673
type/frac/frac || ((type/cart/cart type/realax/real) type/cart/2) || 0.190729034658
type/frac/frac || type/int/int || 0.18933850019
const/integerRing/int_r_canonical_sum_scalar || const/Complex/cpoly/poly_cmul || 0.182531661925
const/numRing/num_canonical_sum_scalar || const/Complex/cpoly/poly_cmul || 0.187168355412
const/ratRing/rat_r_canonical_sum_scalar || const/Complex/cpoly/poly_cmul || 0.192405774865
