c_0 cHOL4.num.0 102 2769 2731 5.74497045271
cBIT1 cHOL4.arithmetic.BIT1 61 1532 1407 3.09023058389
cNUMERAL cHOL4.arithmetic.NUMERAL 51 2772 1649 3.09403530554
cSUC cHOL4.num.SUC 39 165 492 2.26730503196
cF cHOL4.bool.F 31 70 224 2.20786754643
cCOND cHOL4.bool.COND 23 370 546 1.88275636047
cT cHOL4.bool.T 24 114 239 1.7359860965
cCONS cHOL4.list.CONS 31 679 711 1.56189403577
cNIL cHOL4.list.NIL 37 659 455 1.5109727682
cINSERT cHOL4.pred_set.INSERT 28 381 151 1.50267091033
cIN cHOL4.bool.IN 29 2041 839 1.57034100205
cEMPTY cHOL4.pred_set.EMPTY 40 892 235 1.63028859736
c__comma__ cHOL4.pair.|comma| 27 1652 1112 1.41582111927
c+ cHOL4.arithmetic.+ 36 397 631 1.40565925012
c<= cHOL4.arithmetic.<= 31 738 507 1.1363715263
c< cHOL4.prim_rec.< 27 304 707 1.54722676687
cPERMUTED cHOL4.sorting.PERM 11 27 66 0.98901395994
creal_add cHOL4.realax.real_add 43 298 275 0.950729287027
creal_sub cHOL4.real.real_sub 31 254 192 1.93125900959
creal_neg cHOL4.realax.real_neg 28 132 250 1.46478184609
creal_mul cHOL4.realax.real_mul 31 361 375 1.55309888589
creal_of_num cHOL4.real.real_of_num 31 1272 821 1.42679590916
cint_add cHOL4.integer.int_add 31 116 213 1.05098834067
cint_sub cHOL4.integer.int_sub 22 66 73 1.97019937381
cint_neg cHOL4.integer.int_neg 21 84 271 1.18179331135
c- cHOL4.arithmetic.- 13 159 364 1.02208997459
c* cHOL4.arithmetic.* 21 327 228 1.11308726246
cint_mul cHOL4.integer.int_mul 17 103 192 1.02078224046
cint_of_num cHOL4.integer.int_of_num 18 276 531 1.07429161338
cDELETE cHOL4.pred_set.DELETE 14 107 52 0.951753505443
creal_pow cHOL4.real.pow 15 221 195 0.922627966688
creal_abs cHOL4.real.abs 19 197 144 0.967971869233
cmk_num cHOL4.num.ABS_num 2 2 4 0.868588963807
cLAST cHOL4.list.LAST 4 6 18 0.850976855283
cSUBSET cHOL4.pred_set.SUBSET 21 949 187 0.826357830197
cUNIV cHOL4.pred_set.UNIV 21 768 167 0.891062839338
cINTER cHOL4.pred_set.INTER 19 344 114 0.955780269831
cUNION cHOL4.pred_set.UNION 19 214 111 1.1388074483
cpoly_cmul cHOL4.poly.## 5 7 11 0.80419517695
cpoly cHOL4.poly.poly 6 10 67 0.844820545103
cpoly_neg cHOL4.poly.poly_neg 4 4 6 0.92930879808
cint_lt cHOL4.integer.int_lt 21 106 200 0.80000344706
cint_le cHOL4.integer.int_le 16 139 191 1.29433176619
creal_lt cHOL4.realax.real_lt 24 668 420 0.815801882925
creal_le cHOL4.real.real_lte 24 955 498 1.64727740517
chreal_add cHOL4.hreal.hreal_add 12 22 22 0.772242479499
cpoly_diff_aux cHOL4.poly.poly_diff_aux 4 5 10 0.76385615091
cMAP cHOL4.list.MAP 12 37 127 0.734464491909
cAPPEND cHOL4.list.APPEND 10 26 192 0.763889564258
cFILTER cHOL4.list.FILTER 7 16 49 0.805520500218
cre_compl cHOL4.topology.re_compl 2 2 3 0.721347520444
cWFP cHOL4.relation.WFP 3 9 7 0.718668347241
cone cHOL4.one.one 5 5 26 0.716801552774
cset_of_list cHOL4.list.LIST_TO_SET 8 19 148 0.697955438512
cINJP cHOL4.ind_type.INJP 2 4 4 0.691952512522
cEXP cHOL4.arithmetic.EXP 9 204 196 0.68223598087
cpoly_add cHOL4.poly.poly_add 5 7 19 0.672745187386
clist_of_set cHOL4.list.SET_TO_LIST 5 7 18 0.67227626055
cIMAGE cHOL4.pred_set.IMAGE 11 600 161 0.671553852336
cLENGTH cHOL4.list.LENGTH 9 44 500 0.669121982769
chreal_le cHOL4.hreal.hreal_lt 4 20 20 0.667061112285
chreal_mul cHOL4.hreal.hreal_mul 5 12 8 0.655837368745
cALL2 cHOL4.list.LIST_REL 4 13 39 0.641802384774
creal_inv cHOL4.realax.inv 9 110 88 0.627969059722
cINTERS cHOL4.pred_set.BIGINTER 7 87 24 0.626777922756
cINJF cHOL4.ind_type.INJF 3 3 3 0.625854553674
cdest_num cHOL4.num.REP_num 1 1 3 0.62133493456
c|-> cHOL4.combin.UPDATE 4 7 19 0.611586533987
cint_divides cHOL4.integer.int_divides 6 81 45 0.610570566348
cpoly_mul cHOL4.poly.poly_mul 4 6 23 0.607085609083
cDISJOINT cHOL4.pred_set.DISJOINT 6 56 77 0.598174470506
cMAP2 cHOL4.list.MAP2 3 5 8 0.579683837241
cNUMFST cHOL4.ind_type.NUMFST 2 2 2 0.576714314103
cNUMPAIR cHOL4.ind_type.NUMPAIR 3 5 5 0.615254292072
cNUMSND cHOL4.ind_type.NUMSND 2 2 2 1.1162212531
cNUMLEFT cHOL4.ind_type.NUMLEFT 2 2 2 0.586016157879
cNUMRIGHT cHOL4.ind_type.NUMRIGHT 2 2 2 0.580435051613
cNUMSUM cHOL4.ind_type.NUMSUM 2 4 4 0.691952512522
cZCONSTR cHOL4.ind_type.ZCONSTR 3 6 8 0.575149991929
cCONSTR cHOL4.ind_type.CONSTR 3 5 23 0.629964390439
cpsum cHOL4.real.sum 5 42 68 0.565477425359
c__at__ cHOL4.min.|at| 7 51 152 0.562009099957
cpoly_diff cHOL4.poly.diff 4 5 20 0.549552779936
cFINITE cHOL4.pred_set.FINITE 16 651 303 0.547260672522
cDIFF cHOL4.pred_set.DIFF 10 228 73 0.609953632941
cCARD cHOL4.pred_set.CARD 5 209 54 0.535819794744
cINJA cHOL4.ind_type.INJA 3 3 3 0.521614272193
cINJN cHOL4.ind_type.INJN 3 4 4 0.692237266643
co cHOL4.combin.o 7 262 115 0.49527631739
cpoly_exp cHOL4.poly.poly_exp 2 3 19 0.49049212362
cBUTLAST cHOL4.list.FRONT 2 3 19 0.49049212362
cTL cHOL4.list.TL 4 11 33 0.508483422712
cUNIONS cHOL4.pred_set.BIGUNION 7 178 84 0.48806787092
cCURRY cHOL4.pair.CURRY 1 1 6 0.480898346963
cCHOICE cHOL4.pred_set.CHOICE 2 4 19 0.459062122249
cREPLICATE cHOL4.rich_list.REPLICATE 2 3 6 0.445077600927
c_dest_rec cHOL4.ind_type.dest_rec 2 2 4 0.434682938506
creal_div cHOL4.real./ 5 150 217 0.433083995117
cSING cHOL4.pred_set.SING 1 1 10 0.402429604382
cONTO cHOL4.bool.ONTO 1 2 5 0.402429604382
cnum_of_int cHOL4.integer.Num 2 10 16 0.393112949262
cLIST_UNIQ cHOL4.list.ALL_DISTINCT 3 18 32 0.393108099949
cNULL cHOL4.list.NULL 2 4 32 0.410885638378
cnum_divides cHOL4.divides.divides 4 119 37 0.358650957562
c_mk_rec cHOL4.ind_type.mk_rec 2 3 5 0.3584710633
cZBOT cHOL4.ind_type.ZBOT 3 6 8 0.511700905518
cBOTTOM cHOL4.ind_type.BOTTOM 2 3 21 0.479112231494
cint_pow cHOL4.integer.int_exp 3 66 17 0.355889666396
cIND_0 cHOL4.num.ZERO_REP 1 5 3 0.352956123865
cPSUBSET cHOL4.pred_set.PSUBSET 4 33 19 0.346568566711
cONE_ONE cHOL4.bool.ONE_ONE 1 2 8 0.345976256261
cHD cHOL4.list.HD 2 10 34 0.342770329686
cdepth cHOL4.quote.index_size 1 5 4 0.323515453149
cre_null cHOL4.topology.re_null 1 1 3 0.31066746728
cISO cHOL4.ind_type.ISO 1 6 4 0.30692767643
cEVEN cHOL4.arithmetic.EVEN 3 43 53 0.29098455277
cODD cHOL4.arithmetic.ODD 3 55 47 0.381764184569
cIND_SUC cHOL4.num.SUC_REP 1 6 5 0.288539008178
ctreal_eq cHOL4.realax.treal_eq 6 34 25 0.277782132457
c?! cHOL4.bool.?! 2 44 35 0.272448549658
cFCONS cHOL4.ind_type.FCONS 1 3 15 0.259730302172
cZRECSPACE cHOL4.ind_type.ZRECSPACE 1 5 9 0.259730302172
cREST cHOL4.pred_set.REST 1 2 23 0.258317766807
ctreal_add cHOL4.realax.treal_add 2 13 10 0.256000554562
ctreal_mul cHOL4.realax.treal_mul 2 13 10 0.4096008873
cBIT0 cHOL4.arithmetic.BIT2 6 532 925 0.254403565604
cI cHOL4.combin.I 5 64 145 0.243025267706
c>= cHOL4.arithmetic.>= 2 43 91 0.241762820128
cWF cHOL4.relation.WF 6 36 135 0.237810344736
cSN cHOL4.relation.SN 1 12 2 0.30692767643
cMEASURE cHOL4.prim_rec.measure 1 5 6 0.288539008178
cEL cHOL4.list.EL 2 11 72 0.224648981656
cUNCURRY cHOL4.pair.UNCURRY 1 1 91 0.220623949129
cORDERED cHOL4.sorting.SORTED 1 7 14 0.217147240952
ctreal_le cHOL4.realax.treal_lt 1 11 12 0.204171643182
cSqrt cHOL4.quote.Left_idx 1 7 19 0.203862177996
cfloor cHOL4.real.pos 1 20 7 0.201782666824
cPRE cHOL4.numeral.iDUB 2 14 25 0.191860634871
cint_abs cHOL4.integer.ABS 3 74 38 0.190132477582
ctreal_neg cHOL4.realax.treal_neg 2 5 4 0.18871734767
ctreal_inv cHOL4.realax.treal_inv 1 6 5 0.288539008178
cALL cHOL4.list.EVERY 3 49 74 0.188551999002
cint_gt cHOL4.integer.int_gt 1 10 22 0.18509341375
cint_ge cHOL4.integer.int_ge 1 6 46 0.177694976225
cint_sgn cHOL4.intExtension.SGN 1 20 16 0.173173620863
creal_gt cHOL4.real.real_gt 1 45 9 0.166422215026
cTC cHOL4.relation.TC 10 40 48 0.162597935402
cRC cHOL4.relation.inv 4 18 15 0.22761667481
cSC cHOL4.relation.RC 6 18 26 0.202000835162
cRSTC cHOL4.relation.EQC 6 21 17 0.24720132322
cSTC cHOL4.relation.RTC 6 18 42 0.268951664499
cFACT cHOL4.numpair.tri 1 25 20 0.160807895789
cDELETE1 cHOL4.list.SNOC 1 17 62 0.143631863082
cnum_mod cHOL4.arithmetic.MODEQ 1 70 16 0.142391966892
csqrt cHOL4.transc.sqrt 1 54 25 0.138708947616
cminusinf cHOL4.extreal.extreal_exp 1 11 3 0.140633207031
cre_subset cHOL4.topology.re_subset 2 4 11 0.13455204126
cSOME cHOL4.option.SOME 1 10 215 0.130307541465
creal_ge cHOL4.real.real_ge 1 68 34 0.129086675881
cprime cHOL4.divides.prime 1 96 25 0.128467712873
cREVERSE cHOL4.list.REVERSE 3 5 58 0.116446649628
cLET cHOL4.extended_emit.BAG_VAL 1 17 1 0.113207757298
cMOD cHOL4.arithmetic.MOD 1 44 156 0.113194686024
cCOUNTABLE cHOL4.pred_set.countable 5 119 21 0.107234125772
cINV cHOL4.combin.C 1 9 12 0.10637210691
cABORT cHOL4.patricia.Empty 1 5 47 0.0914401061976
cPowerset cHOL4.toto.bit1 1 17 14 0.09123023921
cUr_ind cHOL4.toto.zer 1 7 13 0.110311974565
creal_sgn cHOL4.transc.tan 1 24 17 0.0831095310058
cre_universe cHOL4.topology.re_universe 1 1 6 0.0801497244938
cTRUE cHOL4.bool.DATATYPE 1 2 15 0.144269504089
cFST cHOL4.pair.FST 3 15 102 0.0801406304114
cSND cHOL4.pair.SND 2 20 80 0.169399461063
cCR cHOL4.relation.diamond 1 11 6 0.078998157279
c|| cHOL4.rat.rat_equiv 3 13 12 0.0780702569847
c> cHOL4.pred_set.count 1 28 35 0.0725732452945
coddpart cHOL4.numpair.nsnd 1 5 6 0.0480898346963
cphi cHOL4.numpair.nfst 1 22 6 0.102085821591
cRSC cHOL4.relation.SC 2 13 13 0.0421394096066
cEX cHOL4.list.EXISTS 1 13 30 0.0418671977059
clambda cHOL4.fcp.FCP 1 89 48 0.0398709515926
c$ cHOL4.fcp.fcp_index 2 400 96 0.0973655683594
cdest_cart cHOL4.fcp.dest_cart 2 3 3 0.417280624991
cmk_cart cHOL4.fcp.mk_cart 1 2 5 0.402429604382
c*_c cHOL4.util_prob.pair 1 22 3 0.0394990786395
cQSORT cHOL4.sorting.QSORT3 1 7 6 0.0330321712421
cdenumber cHOL4.numeral_bit.iDIV2 1 3 11 0.0312518237847
cnumber cHOL4.arithmetic.DIV2 1 6 20 0.208158954902
cLET_END cHOL4.marker.Cong 1 17 1 0.0308748428996
cTERM_UNION cHOL4.list.REV 1 11 4 0.0217657713804
cDIV cHOL4.arithmetic.DIV 1 58 118 0.018872012664
cmunion cHOL4.llist.LAPPEND 1 18 15 0.0178386605195
cmempty cHOL4.llist.LNIL 1 6 54 0.172804170197
cINL cHOL4.sum.INL 3 10 57 0.0178145829318
cOUTL cHOL4.sum.OUTL 1 1 4 0.558110626551
cINR cHOL4.sum.INR 3 10 57 0.157838853977
cOUTR cHOL4.sum.OUTR 1 1 3 0.62133493456
ctopology cHOL4.topology.topology 2 4 3 0.0108116236956
cistopology cHOL4.topology.istopology 1 5 4 0.323515453149
copen_in cHOL4.topology.open 2 198 14 0.252268982885
cint_of_real cHOL4.intreal.INT_FLOOR 1 14 2 0.0133642774452
cinteger cHOL4.intreal.is_int 1 72 1 0.232338493574
creal_of_int cHOL4.intreal.real_of_int 1 26 4 0.214434021721
cONE cHOL4.ieee.To_pinfinity 2 4 11 0.00870630855214
cTOP cHOL4.ieee.To_ninfinity 2 6 13 0.233638361691
cZERO cHOL4.ieee.float_To_zero 3 5 12 0.13046862259
cX cHOL4.ieee.To_nearest 3 6 28 0.584135073985
cInd cHOL4.ieee.Un 1 6 10 0.0201915725437
cBool cHOL4.ieee.Eq 1 17 13 0.0616465219568
cwoset cHOL4.set_relation.acyclic 1 25 14 0.00710594943967
creal_closed cHOL4.util_prob.countable 1 16 28 0.00682026159559
cACONV cHOL4.rat.rat_leq 1 11 15 0.00390778119963
cmultiplicative cHOL4.relation.IDEM 1 14 7 0.00301593390211
cINFINITE cHOL4.hreal.isacut 1 46 8 0.00125262596474
cREP_prod cHOL4.pair.REP_prod 1 3 2 0.000402088918865
cABS_prod cHOL4.pair.ABS_prod 1 4 3 0.37892318169
cmk_I cHOL4.toto.num2cpn 1 2 8 0.000308356734636
cdest_I cHOL4.toto.cpn2num 1 2 9 0.333808200695
cmk_ind cHOL4.prelim.num2ordering 1 2 8 0.000329501196439
cdest_ind cHOL4.prelim.ordering2num 1 2 9 0.333808200695
cconfluent cHOL4.relation.CR 0 2 4 0.
cWN cHOL4.quotient.PARTIAL_EQUIV 0 5 2 0.
cRTC cHOL4.relation.STRORD 0 47 9 0.
cmonoidal cHOL4.operator.ASSOC 0 53 11 0.
cmirror cHOL4.extreal.extreal_sqrt 0 11 6 0.
cpermutation cHOL4.relation.INVOL 0 18 6 0.
cvector_norm cHOL4.fcp.FCP_HD 0 343 2 0.
csequentially cHOL4.bool.the_value 0 73 325 0.
cfrac cHOL4.transc.cos 0 12 65 0.
cREVPERM cHOL4.rich_list.COUNT_LIST 0 8 18 0.