const/arithmetic/ZERO const/num/0 || (0. F_Complex) (0. Z_2) NAT 0c || 0.932504404382
$true || $ QC-alphabet || 0.909365045486
$ type/num/num || $ natural || 0.899034411231
$ type/realax/real || $ real || 0.871128312532
(const/arithmetic/<= const/num/0) || (<= 1) || 0.829543802203
$ (type/ring/ring $V_$true) || $ (Element (QC-WFF $V_QC-alphabet)) || 0.810858355184
const/real/real_lte || <= || 0.772399421077
(const/real/real_lte (const/real/real_of_num const/num/0)) || (<= NAT) || 0.745679741694
$ (=> (=> $V_$true (=> $V_$true $V_$true)) (=> $V_$true (=> $V_$true $V_$true))) || $ ((Element3 (QC-variables $V_QC-alphabet)) (bound_QC-variables $V_QC-alphabet)) || 0.73113498524
(const/real/real_lte (const/realax/real_neg (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))))) || (<= (-0 1)) || 0.728871992666
const/realax/real_1 (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (1. Z_2) 0_NN VertexSelector 1 (1_ F_Complex) 1r (elementary_tree NAT) ({..}1 {}) || 0.747396915868
$ (=> $V_$true (=> $V_$true $o)) || $ ((Element3 (QC-WFF $V_QC-alphabet)) (CQC-WFF $V_QC-alphabet)) || 0.698312166211
const/relation/inv || SepVar || 0.71368378204
const/realax/real_mul || * || 0.674544232465
const/transc/sin || sin || 0.670430289113
const/transc/cos || cos || 0.692126840315
$ ((type/fcp/cart $o) $V_$true) || $ (Element (QC-symbols $V_QC-alphabet)) || 0.656179983767
const/words/word_lo || < || 0.617911185254
const/words/word_ls || <=2 || 0.634010642626
$ type/integer/int || $true || 0.607693372849
(const/num/SUC const/num/0) (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)) || op0 {} || 0.653056582258
const/pred_set/EMPTY || +46 || 0.598939749157
const/ring/ring_RP_fupd || Ex || 0.583737325265
const/transc/acs || arccos || 0.580605021486
const/realax/real_add || - || 0.564995575731
const/ring/ring_RM_fupd || All || 0.562719030167
const/transc/asn || arcsin1 || 0.54009696726
(const/realax/real_neg ((const/real/#slash# const/transc/pi) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))))) || (-0 ((#slash# P_t) 2)) || 0.542680576218
const/transc/pi || P_t || 0.529816396523
((const/real/#slash# const/transc/pi) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || ((#slash# P_t) 2) || 0.498196030789
const/real/abs || *1 || 0.497387983361
const/realax/real_neg || -0 || 0.492278725293
const/DeepSyntax/deep_form_size || Flow || 0.489230438706
(const/arithmetic/EXP const/num/0) || |....| || 0.488983204585
type/num/num || <i>0 || 0.434355328123
const/real/real_sub || + || 0.422924414992
const/prim_rec/< || are_equipotent || 0.422436355283
const/relation/RC || \not\0 || 0.418313401543
const/transc/sqrt || ^20 || 0.411056775257
$ ((type/pair/prod type/realax/real) type/realax/real) || $ ext-real-membered || 0.41080331718
const/extreal/extreal_add || ((.2 (carrier (TOP-REAL 2))) (carrier (TOP-REAL 2))) || 0.410377446886
const/arithmetic/NUMERAL || 0. || 0.409302427404
const/complex/complex_scalar_rmul || --5 || 0.408917709379
(((((const/ring/recordtype.ring type/rat/rat) (const/rat/rat_of_num const/num/0)) (const/rat/rat_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)))) const/rat/rat_add) const/rat/rat_mul) || (((<*..*>0 omega) 2) 1) || 0.385208826384
const/rat/rat_ainv || SourceSelector 3 || 0.589652801064
type/rat/rat || ((((<*..*>0 omega) 1) 3) 2) || 0.661787414082
const/extreal/NegInf || (0. (TOP-REAL 2)) ((|[..]| NAT) NAT) || 0.380506346545
(const/arithmetic/- const/num/0) || *86 || 0.367160148087
const/ring/ring_RN || Fixed || 0.331182739303
const/ring/ring_R0 || Free1 || 0.322954856976
const/arithmetic/<= || divides || 0.318328587894
const/arithmetic/MAX || lcm0 || 0.450597676962
const/arithmetic/MIN || gcd || 0.321587811716
const/real/pow || -root || 0.314758731091
const/relation/EQC || index0 || 0.301843968906
const/arithmetic/BIT2 || TOP-REAL || 0.29634465298
const/integer/int_lt || c< || 0.293732074794
const/integer/int_le || c= || 0.29623202538
$ (type/list/list $V_$true) || $ (Element (bool (CQC-WFF $V_QC-alphabet))) || 0.287272839461
const/sorting/PERM || |-| || 0.371054946793
const/container/LIST_TO_BAG || Cn || 0.320681216518
const/real/#slash# || #slash# || 0.277977385669
const/arithmetic/MODEQ || MUL_MOD || 0.259225636827
const/util_prob/logr || diff || 0.245104092915
const/integer/int_exp || the_subsets_of_card || 0.240211999068
const/integer/int_mul || [:..:] || 0.237017524676
const/complex/complex_neg || --0 || 0.231129811381
const/complex/complex_mul || **3 || 0.235215527161
const/numeral_bit/iSUC const/num/SUC || -SD_Sub_S || 0.226020411772
const/ratRing/rat_r_spolynom_simplify || ((((<*..*>0 omega) 2) 3) 1) || 0.223420451552
const/ringNorm/r_spolynom_simplify || ((((*4 omega) omega) omega) omega) || 0.213693884089
const/ieee/expwidth || Ids || 0.213635277899
const/ieee/emax || [#hash#] || 0.268789032931
$ ((type/pair/prod type/num/num) type/num/num) || $ (& reflexive (& transitive (& antisymmetric (& with_suprema RelStr)))) || 0.334647628045
(const/arithmetic/EXP (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || RelIncl || 0.381920519002
const/arithmetic/- || inf || 0.38236154414
(const/arithmetic/BIT2 (const/arithmetic/BIT1 (const/arithmetic/BIT1 (const/arithmetic/BIT1 (const/arithmetic/BIT2 const/arithmetic/ZERO))))) || (TOP-REAL NAT) || 0.20984471092
const/arithmetic/EXP || seq || 0.209576231001
const/integer/int_1 (const/integer/int_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || ({..}1 NAT) || 0.208759920731
const/enumeral/bt_rev || variables_in6 || 0.205162441809
const/enumeral/bt_to_bl || still_not-bound_in0 || 0.288539172104
$ (type/enumeral/bt $V_$true) || $ (FinSequence (QC-variables $V_QC-alphabet)) || 0.202395510652
const/enumeral/nbl || bound_QC-variables || 0.201798846462
const/toto/toto_inv || Sub_not || 0.188210907358
const/toto/TO_inv || \not\5 || 0.223915695127
const/toto/apto || CQC_Sub0 || 0.272522262814
$ (type/toto/toto $V_$true) || $ (Element (QC-Sub-WFF $V_QC-alphabet)) || 0.255060237165
const/arithmetic/ODD || (<= ((* 2) P_t)) || 0.181309489107
const/list/isPREFIX || |-5 || 0.180031923826
const/relation/SC || still_not-bound_in || 0.178489954327
const/DeepSyntax/xDivided || <*..*>5 || 0.177133569219
(const/option/NONE type/num/num) || (carrier R^1) REAL || 0.175389203724
const/lbtree/optmin || Rev || 0.263574693534
(const/option/SOME type/num/num) || 0* || 0.27743679838
const/pred_set/SUM_SET || Im20 || 0.171710461113
const/pred_set/MAX_SET || Im10 || 0.167270002007
const/extreal/Normal || Rotate0 || 0.155597624137
const/bag/BAG_CARD || QuantNbr || 0.152735053059
const/bag/EMPTY_BAG || VERUM || 0.17117274771
const/integer/int_of_num || elementary_tree || 0.150656993997
const/integer/int_neg || Leaves || 0.22493568302
const/toto/cpn_size || base- || 0.147806329221
const/DeepSyntax/xLT || Tempty_f_net || 0.147237124319
const/DeepSyntax/xEQ || Psingle_f_net || 0.147237124319
const/DeepSyntax/LTx || Pempty_f_net || 0.147237124319
const/integer/int_sub || #slash##bslash#0 || 0.143006546881
const/util_prob/lg || (. sinh0) || 0.1426618824
(const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || sinh1 || 0.15763878739
const/extreal/extreal_pow || (^#bslash# REAL) || 0.141611320435
$ type/extreal/extreal || $ (& Function-like (& ((quasi_total omega) REAL) (Element (bool (([:..:] omega) REAL))))) || 0.151832181999
const/ASCIInumbers/HEX || REAL0 || 0.136120226005
const/divides/PRIMES || -SD_Sub || 0.134685291872
const/binary_ieee/float_compare_size || FirstLoc || 0.130759971546
$ type/binary_ieee/float_compare || $ (& Relation-like (& (-defined omega) (& Function-like (& (~ empty0) (& infinite initial0))))) || 0.17738056749
const/arithmetic/ABS_DIFF || k1_nat_6 || 0.125993128547
const/toto/EQUAL || (0. (TOP-REAL 3)) || 0.125199580226
const/toto/qk_numOrd || (|[..]|0 NAT) || 0.167365769558
$ (type/quote/varmap type/num/num) || $ ext-real || 0.120035499744
const/numRing/num_interp_cs || #slash#10 || 0.15809766038
(const/list/NIL type/quote/index) || -infty || 0.153499222346
const/integer/int_add || #bslash##slash#0 || 0.119651427596
const/ind_type/NUMLEFT || Seq || 0.116278815075
const/ind_type/NUMSUM || Shift0 || 0.153891674568
const/ieee/defloat || halt || 0.115695208791
const/ieee/sign || InsCode || 0.13523767888
const/prim_rec/PRE || (. buf1) || 0.114488303624
const/arithmetic/BIT1 || (<*..*> omega) || 0.126616739251
$ type/toto/cpn || $ (& Relation-like (& T-Sequence-like Function-like)) || 0.113858123073
$o || $ (& Relation-like (& Function-like FinSequence-like)) || 0.112603189372
const/realax/inv || cosh || 0.111360275191
const/arithmetic/FACT || -SD0 || 0.110441494672
const/transc/tan || (. signum) || 0.110238759361
const/complex/complex_sub || ++1 || 0.10971265096
const/complex/complex_add || --1 || 0.143842631708
const/gcd/lcm || NEG_MOD || 0.109611419114
(const/real/pow (const/realax/real_neg (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))))) || (|^ (-0 1)) || 0.10936730857
const/divides/divides || is_expressible_by || 0.104737990931
const/string/CHR || {..}16 || 0.102551077466
const/ind_type/NUMPAIR || Base_FinSeq || 0.101958527657
const/ind_type/NUMFST || len || 0.105749689966
$ type/ieee/ccode || $ (& Relation-like (& (~ non-empty0) (& (-valued INT) (& Function-like FinSequence-like)))) || 0.0995654886223
const/ieee/ccode_size || Product1 || 0.12391383933
const/gcdset/gcdset || <k>0 || 0.0993052747625
const/ieee/Minus_infinity || SCM || 0.0971525292468
const/prelim/ordering_size || clique#hash#0 || 0.0959519687158
$ type/prelim/ordering || $ (& void2 SimpleGraph-like) || 0.133583610186
const/extreal/extreal_mul || (((#slash##quote#0 omega) REAL) REAL) || 0.0918828978615
const/integer/int_divides || GO || 0.0909269809834
const/integer/int_0 (const/integer/int_of_num const/num/0) || Trivial-addLoopStr || 0.1070719991
const/numRing/num_interp_vl || [....[0 || 0.0904432719196
const/integer/ABS || the_transitive-closure_of || 0.0893370219198
(const/canonical/Nil_monom type/num/num) || +infty || 0.0853355372262
const/real/pos || [#bslash#..#slash#] || 0.0779738720683
const/list/SUM || AtomicFormulasOf || 0.0744188442099
const/list/SUM_ACC || -TruthEval0 || 0.124465797791
$ (type/list/list type/num/num) || $ (& (~ degenerated) (& eligible Language-like)) || 0.0822408946926
const/frac/frac_0 || (<*> omega) || 0.0742693368353
const/pred_set/UNIV || ComplRelStr || 0.0740397948098
const/pred_set/FINITE || are_isomorphic || 0.645086409687
type/fcp/bit0 || Necklace || 0.4318587351
(type/fcp/bit0 (type/fcp/bit0 (type/fcp/bit0 (type/fcp/bit1 type/one/one)))) || (Necklace 4) || 0.33085157474
(type/fcp/bit1 (type/fcp/bit1 (type/fcp/bit1 type/one/one))) || TargetSelector 4 || 0.261577075604
(const/arithmetic/NUMERAL (const/arithmetic/BIT2 (const/arithmetic/BIT1 (const/arithmetic/BIT1 (const/arithmetic/BIT1 (const/arithmetic/BIT1 (const/arithmetic/BIT1 (const/arithmetic/BIT1 (const/arithmetic/BIT1 const/arithmetic/ZERO))))))))) || PrimRec || 0.0736882853076
$ type/string/char || $ (& Relation-like (& Function-like (& primitive-recursive (-ary 2)))) || 0.120945284305
const/string/ORD || (1,2)->(1,?,2) || 0.166060746657
const/complex/conj || MIM || 0.0707643702275
const/complex/complex_of_real || <*..*>4 || 0.0842381681779
$ type/ieee/roundmode || $ ((Element1 REAL) ((-tuples_on NAT) REAL)) || 0.068292911166
const/ieee/roundmode_size || Sum || 0.10639861375
const/rat/rat_of_num || Col || 0.0666222350335
const/rat/abs_rat || {..}1 || 0.0731269035846
const/divides/prime || (<= P_t) || 0.0659951482069
const/gcd/gcd || lcm || 0.0621575458894
(((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)) || ({..}16 NAT) || 0.0588836882817
const/poly/poly_exp || **5 || 0.0849958555418
$ (type/list/list type/realax/real) || $ (& (~ empty0) ext-real-membered) || 0.0993042298674
const/numpair/tri || card || 0.0577736696975
const/bag/BAG_GEN_SUM || k2_numpoly1 || 0.0573513256553
const/string_num/s2n || Sum4 || 0.0544384115531
(const/bool/IN type/extreal/extreal) || in || 0.0541040432686
const/extreal/Q_set || (NonZero SCM) SCM-Data-Loc || 0.0882435549961
const/extreal/extreal_of_num || ([..] 1) || 0.107174885702
(const/pred_set/FINITE type/extreal/extreal) || (are_equipotent omega) || 0.103774512837
const/numeral/internal_mult const/arithmetic/* || |^ || 0.0535634922893
(const/bag/EMPTY_BAG type/num/num) || EdgeSelector 2 (({..}2 k5_ordinal1) 1) || 0.0517843111969
type/string/char || INT || 0.0442087679508
const/list/NIL || <*> || 0.0600467196363
(const/real/pow (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || dl. || 0.0410181852705
(const/real/real_of_num const/num/0) const/realax/real_0 || (0. SCMPDS) (0. SCM+FSA) (0. SCM) omega || 0.0569289571354
