(const/arithmetic/<= const/num/0) || (<= 1) || 0.241531776295
$ (type/ring/ring $V_$true) || $ (Element (QC-WFF $V_QC-alphabet)) || 0.229423580315
$ (=> (=> $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.25240481249
$ (=> $V_$true $V_$true) || $ ((Element3 (QC-variables $V_QC-alphabet)) (bound_QC-variables $V_QC-alphabet)) || 0.242312320549
$ (type/semi_ring/semi_ring $V_$true) || $ (Element (QC-WFF $V_QC-alphabet)) || 0.247783408157
$true || $ QC-alphabet || 0.223566148473
(const/real/real_lte (const/real/real_of_num const/num/0)) || (<= NAT) || 0.215796432654
$ (=> (=> $V_$true $V_$true) (=> $V_$true $V_$true)) || $ ((Element3 (QC-variables $V_QC-alphabet)) (bound_QC-variables $V_QC-alphabet)) || 0.212876328461
(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.20878162963
const/real/real_lte || <= || 0.207787326065
const/real/real_lte || c= || 0.205121959697
(const/real/real_lte (const/realax/real_neg (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))))) || (<= (-0 (^20 2))) || 0.204258728256
const/arithmetic/ZERO const/num/0 || op0 k5_ordinal1 {} || 0.201199776816
$ type/realax/real || $ real || 0.198276836818
(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.212025171978
((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.210463386722
const/transc/pi || P_t || 0.200192637668
const/realax/real_lt || <= || 0.198949205754
(const/real/real_of_num const/num/0) const/realax/real_0 || *101 zero3 0[01] (((#hash#)12 NAT) 1) (0. F_Complex) a_Type RetSP Im30 1_NN FALSE0 (0. Z_2) NAT 0c || 0.197208618416
$true || $ (& (~ empty) (& Group-like (& associative multMagma))) || 0.197043597733
(const/realax/real_lt (const/real/real_of_num const/num/0)) || (<= NAT) || 0.196800275235
const/prim_rec/< || are_equipotent || 0.196207689198
$true || $ (& (~ empty) addLoopStr) || 0.194501356508
const/list/LENGTH || Carrier4 || 0.215101378358
const/list/NIL || ZeroCLC || 0.224290098092
$ (type/list/list $V_$true) || $ (C_Linear_Combination $V_(& (~ empty) addLoopStr)) || 0.216111538944
const/list/NIL || k19_zmodul02 || 0.212560167276
const/list/LENGTH || k18_zmodul02 || 0.222884383949
$ (type/list/list $V_$true) || $ (m1_zmodul02 $V_(& (~ empty) addLoopStr)) || 0.218960323122
const/list/LENGTH || Carrier1 || 0.207769347916
const/list/NIL || ZeroLC || 0.214834957496
$ (type/list/list $V_$true) || $ (Linear_Combination2 $V_(& (~ empty) addLoopStr)) || 0.215235239
$true || $ (~ empty0) || 0.194062871312
$true || $ (& (~ empty) (& right_complementable (& Abelian (& add-associative (& right_zeroed (& vector-distributive (& scalar-distributive (& scalar-associative (& scalar-unital RLSStruct))))))))) || 0.193606716074
const/arithmetic/ZERO const/num/0 || *101 zero3 0[01] (((#hash#)12 NAT) 1) (0. F_Complex) a_Type RetSP Im30 1_NN FALSE0 (0. Z_2) NAT 0c || 0.192725981537
const/prim_rec/< || <= || 0.199932014675
const/arithmetic/<= || <= || 0.196534374095
const/real/NUM_CEILING || .138 || 0.216668104168
const/integer/int_0 (const/integer/int_of_num const/num/0) || *101 zero3 0[01] (((#hash#)12 NAT) 1) (0. F_Complex) a_Type RetSP Im30 1_NN FALSE0 (0. Z_2) NAT 0c || 0.193715840944
const/list/LENGTH || TotDegree || 0.193523958201
const/list/NIL || EmptyBag || 0.195758007682
const/transc/sqrt || ^20 || 0.190828783476
const/arithmetic/<= || c=0 || 0.190816561701
const/divides/divides || divides4 || 0.198004304417
const/transc/asn || arcsin1 || 0.190420772587
$true || $ (& (~ empty) (& right_complementable (& Abelian (& add-associative (& right_zeroed (& vector-distributive (& scalar-distributive (& scalar-associative (& scalar-unital (& RealUnitarySpace-like UNITSTR)))))))))) || 0.18914988019
const/list/LENGTH || ||....||3 || 0.193850505886
$true || $ l1_absred_0 || 0.188780980835
const/transc/acs || arccos || 0.187529732287
const/arithmetic/ZERO const/num/0 || one0 RetIC Rea0 Ser0 unit3 (1. Z_2) TRUE 0_NN non_op VertexSelector 1[01] an_Adj 1 (1_ F_Complex) 1r ({..}2 k5_ordinal1) (((#hash#)11 NAT) 1) (elementary_tree NAT) ({..}2 {}) || 0.186602327437
const/list/LENGTH || height0 || 0.192687032644
const/realax/real_1 (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || one0 RetIC Rea0 Ser0 unit3 (1. Z_2) TRUE 0_NN non_op VertexSelector 1[01] an_Adj 1 (1_ F_Complex) 1r ({..}2 k5_ordinal1) (((#hash#)11 NAT) 1) (elementary_tree NAT) ({..}2 {}) || 0.187333000828
$true || $ (& (~ empty) RelStr) || 0.187087707099
$ ((type/pair/prod $V_$true) $V_$true) || $ (Element (bool (carrier (([:..:]5 $V_(& (~ empty) RelStr)) $V_(& (~ empty) RelStr))))) || 0.184999081101
const/pair/SND || proj20 || 0.199017319615
const/pair/FST || proj10 || 0.222521413621
type/pair/prod || [:..:]5 || 0.233081033772
const/util_prob/pair || [..]4 || 0.252035790634
const/pred_set/CROSS || [..]4 || 0.214938126389
const/transc/sin || sin || 0.184758970326
const/transc/cos || cos || 0.186565923352
const/realax/real_mul || * || 0.186075889484
$ type/realax/real || $ complex || 0.184997794697
$ ((type/pair/prod type/realax/real) type/realax/real) || $ (& Relation-like (& Function-like complex-valued)) || 0.191438793189
const/complex/complex_neg || -3 || 0.199125768
const/real/real_sub || - || 0.187312204238
const/list/LENGTH || the_set_of_l2ComplexSequences || 0.18416470888
const/list/NIL || 0. || 0.186363354753
$true || $ (& (~ empty) (& right_complementable (& Abelian (& add-associative (& right_zeroed (& vector-distributive1 (& scalar-distributive1 (& scalar-associative1 (& scalar-unital1 (& ComplexUnitarySpace-like CUNITSTR)))))))))) || 0.190436234865
const/realax/real_add || - || 0.183996080965
const/complex/complex_scalar_rmul || (#hash#)0 || 0.185169734017
const/prim_rec/< || c= || 0.183803749663
const/list/NIL || Bottom0 || 0.183617042978
$ (type/list/list $V_$true) || $ (Element (carrier $V_(& infinite0 (& reflexive (& transitive (& antisymmetric (& with_suprema (& with_infima RelStr)))))))) || 0.193372330329
(const/real/real_lte (const/realax/real_neg (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))))) || (<= 1) || 0.183590845152
const/realax/real_1 (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (^20 2) || 0.196433038029
const/transc/acs || arcsec10 || 0.189372496402
const/realax/real_1 (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || (-0 1) || 0.184181536637
(const/num/SUC const/num/0) (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)) || one0 RetIC Rea0 Ser0 unit3 (1. Z_2) TRUE 0_NN non_op VertexSelector 1[01] an_Adj 1 (1_ F_Complex) 1r ({..}2 k5_ordinal1) (((#hash#)11 NAT) 1) (elementary_tree NAT) ({..}2 {}) || 0.182712505568
const/words/n2w || (|-> omega) || 0.185343836881
((const/pair/, type/num/num) type/num/num) || <*..*>5 || 0.184763288345
(const/num/SUC const/num/0) (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)) || op0 k5_ordinal1 {} || 0.183020965377
const/integer/int_1 (const/integer/int_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || one0 RetIC Rea0 Ser0 unit3 (1. Z_2) TRUE 0_NN non_op VertexSelector 1[01] an_Adj 1 (1_ F_Complex) 1r ({..}2 k5_ordinal1) (((#hash#)11 NAT) 1) (elementary_tree NAT) ({..}2 {}) || 0.182699122316
(const/real/real_of_num const/num/0) const/realax/real_0 || one0 RetIC Rea0 Ser0 unit3 (1. Z_2) TRUE 0_NN non_op VertexSelector 1[01] an_Adj 1 (1_ F_Complex) 1r ({..}2 k5_ordinal1) (((#hash#)11 NAT) 1) (elementary_tree NAT) ({..}2 {}) || 0.1834512705
(const/real/real_of_num const/num/0) const/realax/real_0 || op0 k5_ordinal1 {} || 0.188240461414
(const/realax/real_lt (const/real/real_of_num const/num/0)) || (<= 1) || 0.187989685897
const/ring/ring_RN_fupd || Ex || 0.182195163454
const/ring/ring_RN_fupd || All || 0.184469593796
const/ring/ring_R1_fupd || Ex || 0.183422172913
const/ring/ring_RM_fupd || Ex || 0.186816172177
const/ring/ring_RP_fupd || Ex || 0.190537957505
const/ring/ring_R0_fupd || Ex || 0.194668723906
const/ring/ring_R1_fupd || All || 0.184854062944
const/ring/ring_RM_fupd || All || 0.18776174913
const/ring/ring_RP_fupd || All || 0.190885265422
const/ring/ring_R0_fupd || All || 0.194300794693
const/ring/ring_RN || Free1 || 0.189556566243
const/ring/ring_RN || Fixed || 0.20203306013
const/ring/ring_R0 || Free1 || 0.190074095296
const/ring/ring_R0 || Fixed || 0.202330735872
const/ring/ring_RM || Free1 || 0.187920529851
const/ring/ring_RM || Fixed || 0.199636399745
const/ring/ring_R1 || Free1 || 0.189988189324
const/ring/ring_R1 || Fixed || 0.201588346795
const/ring/ring_RP || Free1 || 0.190744973778
const/ring/ring_RP || Fixed || 0.202042629405
$true || $ (& infinite0 (& reflexive (& transitive (& antisymmetric (& with_suprema (& with_infima RelStr)))))) || 0.181979438338
$ ((type/pair/prod type/realax/real) type/realax/real) || $ complex || 0.18103316384
(const/complex/complex_of_num const/num/0) || *101 zero3 0[01] (((#hash#)12 NAT) 1) (0. F_Complex) a_Type RetSP Im30 1_NN FALSE0 (0. Z_2) NAT 0c || 0.184900667418
$ ((type/fcp/cart $o) $V_$true) || $ (Element (carrier $V_l1_absred_0)) || 0.180876093109
(const/num/SUC const/num/0) (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO)) || *101 zero3 0[01] (((#hash#)12 NAT) 1) (0. F_Complex) a_Type RetSP Im30 1_NN FALSE0 (0. Z_2) NAT 0c || 0.180280156532
(const/arithmetic/BIT1 const/arithmetic/ZERO) || (((([..]1 omega) omega) NAT) NAT) || 0.181345738778
const/arithmetic/ZERO const/num/0 || a_Term EdgeSelector 2 (({..}3 k5_ordinal1) 1) || 0.179499973538
$ (type/list/list $V_$true) || $ (& Relation-like (& (-defined $V_ordinal) (& Function-like (& (total $V_ordinal) (& natural-valued finite-support))))) || 0.179410569991
const/arithmetic/BIT2 || TOP-REAL || 0.178267929993
const/arithmetic/BIT1 || TOP-REAL || 0.185556016262
const/arithmetic/NUMERAL || 0. || 0.179307992788
(const/arithmetic/EXP const/num/0) || |....| || 0.188962804711
const/arithmetic/<= || c= || 0.178236298603
$ (=> $V_$true type/num/num) || $ (& (~ empty0) (Element (bool (QC-variables $V_QC-alphabet)))) || 0.177884847661
const/complex/complex_scalar_rmul || (#slash#) || 0.177613010543
(const/prim_rec/< const/num/0) || (<= NAT) || 0.177584637026
const/semi_ring/semi_ring_SRM_fupd || Ex || 0.177397131251
const/semi_ring/semi_ring_SR1_fupd || Ex || 0.181406049195
const/semi_ring/semi_ring_SRP_fupd || Ex || 0.185869364469
const/semi_ring/semi_ring_SR0_fupd || Ex || 0.190790610827
const/semi_ring/semi_ring_SR0 || Free1 || 0.177642722155
const/semi_ring/semi_ring_SR0 || Fixed || 0.187331612292
const/semi_ring/semi_ring_SR1_fupd || All || 0.180881799496
const/semi_ring/semi_ring_SRM_fupd || All || 0.184239017344
const/semi_ring/semi_ring_SRP_fupd || All || 0.18788234188
const/semi_ring/semi_ring_SR0_fupd || All || 0.184678869886
const/semi_ring/semi_ring_SR1 || Free1 || 0.177641332158
const/semi_ring/semi_ring_SR1 || Fixed || 0.186966660197
const/semi_ring/semi_ring_SRM || Free1 || 0.179165243426
const/semi_ring/semi_ring_SRM || Fixed || 0.188205120717
const/semi_ring/semi_ring_SRP || Free1 || 0.179362331166
const/semi_ring/semi_ring_SRP || Fixed || 0.187941864027
const/integer/int_0 (const/integer/int_of_num const/num/0) || op0 k5_ordinal1 {} || 0.177378272003
(const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)) || a_Term EdgeSelector 2 (({..}3 k5_ordinal1) 1) || 0.176598437473
const/extreal/extreal_le || <= || 0.175924951751
(const/extreal/extreal_le (const/extreal/extreal_of_num const/num/0)) || (<= NAT) || 0.212126676191
(const/extreal/extreal_lt (const/extreal/extreal_of_num const/num/0)) || (<= NAT) || 0.208012075053
$ type/extreal/extreal || $ real || 0.205137152589
const/extreal/extreal_lt || <= || 0.213717460804
(const/extreal/extreal_of_num const/num/0) || *101 zero3 0[01] (((#hash#)12 NAT) 1) (0. F_Complex) a_Type RetSP Im30 1_NN FALSE0 (0. Z_2) NAT 0c || 0.200598210992
$ type/extreal/extreal || $ ext-real || 0.18870609452
const/extreal/extreal_add || +61 || 0.198165216258
const/extreal/extreal_sub || -60 || 0.191590010486
const/extreal/extreal_mul || *109 || 0.180156723411
const/divides/divides || <= || 0.179685561868
const/integer/int_lt || <= || 0.178030730469
const/realax/real_lt || are_equipotent || 0.175329212038
$ (type/list/list $V_$true) || $ (Element (carrier $V_(& (~ empty) (& right_complementable (& Abelian (& add-associative (& right_zeroed (& vector-distributive1 (& scalar-distributive1 (& scalar-associative1 (& scalar-unital1 (& ComplexUnitarySpace-like CUNITSTR)))))))))))) || 0.17456545138
const/integer/int_divides || <= || 0.174507793147
const/Encode/lift_prod || [:..:]6 || 0.17427329309
const/Encode/encode_prod || [..]4 || 0.197427946469
$ (=> $V_$true (type/list/list $o)) || $ (Element (carrier $V_(& (~ empty) RelStr))) || 0.194974911841
const/Encode/lift_sum || [:..:]6 || 0.178267570086
const/Encode/encode_sum || [..]4 || 0.20139282177
const/Encode/wf_encoder || is_>=_than0 || 0.187369539779
const/Encode/wf_encoder || is_>=_than || 0.192269874452
type/sum/sum || [:..:]5 || 0.18956921103
const/extreal/extreal_mul || * || 0.173982082061
$true || $ (& (~ empty) (& right_complementable (& add-associative (& right_zeroed addLoopStr)))) || 0.172282875495
$ type/extreal/extreal || $ natural || 0.171792370821
const/extreal/NegInf || one0 RetIC Rea0 Ser0 unit3 (1. Z_2) TRUE 0_NN non_op VertexSelector 1[01] an_Adj 1 (1_ F_Complex) 1r ({..}2 k5_ordinal1) (((#hash#)11 NAT) 1) (elementary_tree NAT) ({..}2 {}) || 0.182927706034
(const/complex/complex_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || one0 RetIC Rea0 Ser0 unit3 (1. Z_2) TRUE 0_NN non_op VertexSelector 1[01] an_Adj 1 (1_ F_Complex) 1r ({..}2 k5_ordinal1) (((#hash#)11 NAT) 1) (elementary_tree NAT) ({..}2 {}) || 0.172288198462
const/bool/the_value || VERUM || 0.171372769418
const/words/dimword || Bound_Vars || 0.19442865392
const/complex/modu || Elements || 0.170853616527
const/extreal/extreal_ainv || -59 || 0.170797608392
const/real/#slash# || #slash# || 0.170509241499
const/realax/real_neg || -0 || 0.170320546291
$ (type/list/list $V_$true) || $ (Element (carrier $V_(& (~ empty) (& right_complementable (& Abelian (& add-associative (& right_zeroed (& vector-distributive (& scalar-distributive (& scalar-associative (& scalar-unital (& RealUnitarySpace-like UNITSTR)))))))))))) || 0.169876936054
(const/prim_rec/< const/num/0) || (are_equipotent {}) || 0.169099654522
$ $V_$true || $ ((Element3 (QC-variables $V_QC-alphabet)) (bound_QC-variables $V_QC-alphabet)) || 0.168822709449
(const/extreal/extreal_le (const/extreal/extreal_of_num const/num/0)) || (<= 1) || 0.16874671396
$ type/integer/int || $ real || 0.168147640791
$ type/integer/int || $ natural || 0.167924012634
const/bool/IN || is_>=_than0 || 0.167806919036
const/bool/IN || is_>=_than || 0.167761172102
$ type/integer/int || $ complex || 0.167266552524
$ type/num/num || $ complex || 0.172729940228
$ type/extreal/extreal || $ complex || 0.175225363088
(const/extreal/extreal_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || one0 RetIC Rea0 Ser0 unit3 (1. Z_2) TRUE 0_NN non_op VertexSelector 1[01] an_Adj 1 (1_ F_Complex) 1r ({..}2 k5_ordinal1) (((#hash#)11 NAT) 1) (elementary_tree NAT) ({..}2 {}) || 0.176273915274
$ ((type/pair/prod type/realax/real) type/realax/real) || $ complex-membered || 0.172670465922
const/integer/int_0 (const/integer/int_of_num const/num/0) || one0 RetIC Rea0 Ser0 unit3 (1. Z_2) TRUE 0_NN non_op VertexSelector 1[01] an_Adj 1 (1_ F_Complex) 1r ({..}2 k5_ordinal1) (((#hash#)11 NAT) 1) (elementary_tree NAT) ({..}2 {}) || 0.171497343501
$ type/realax/real || $ (& Relation-like (& Function-like complex-valued)) || 0.17139414666
$ type/num/num || $ real || 0.166943347601
const/transc/root || ((.1 (carrier (TOP-REAL 2))) (carrier (TOP-REAL 2))) || 0.17830603669
const/bit/BIT || <= || 0.167277735582
$ type/num/num || $ natural || 0.166624514754
(const/prim_rec/< const/num/0) || (<= 1) || 0.173754622766
const/numposrep/BOOLIFY || *151 || 0.172820807611
$ type/realax/real || $ natural || 0.166958271857
$true || $ natural || 0.17126031986
const/words/n2w || (|-> COMPLEX) || 0.193326393888
const/realax/real_lt || c= || 0.167970444338
const/arithmetic/+ || + || 0.166511770691
const/arithmetic/ABS_DIFF || (.5 dist14) || 0.178280387662
$ type/realax/real || $true || 0.166182804929
const/poly/poly || . || 0.168668026858
$ (type/list/list type/realax/real) || $ (& Relation-like (& Function-like complex-valued)) || 0.189949560255
const/transc/asn || arccosec20 || 0.165739074101
const/transc/asn || arccosec10 || 0.168300096946
(const/realax/real_neg ((const/real/#slash# const/transc/pi) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))))) || ((#slash# P_t) 4) || 0.166805275482
const/transc/asn || arccot0 || 0.164852745742
(const/arithmetic/BIT2 const/arithmetic/ZERO) || (((([..]1 omega) omega) 1) 1) || 0.16479789608
((const/pair/, type/num/num) type/num/num) || (((([..]2 omega) omega) omega) 1) || 0.171081373165
const/sptree/LS || MXR2MXF || 0.164640688459
const/transc/asn || arcsec20 || 0.164421167913
const/combin/K || -->1 || 0.164205406739
$ type/integer/int || $true || 0.163909854646
const/sorting/PERM || <==>1 || 0.163711934866
$ (type/list/list $V_$true) || $ ((Element3 (QC-WFF $V_QC-alphabet)) (CQC-WFF $V_QC-alphabet)) || 0.167654523965
$ (=> $V_$true (=> $V_$true $o)) || $ ((Element3 (QC-WFF $V_QC-alphabet)) (CQC-WFF $V_QC-alphabet)) || 0.164240551736
const/relation/inv || SepVar || 0.1780687719
const/relation/inv || \not\0 || 0.171672775564
type/num/num || one0 RetIC Rea0 Ser0 unit3 (1. Z_2) TRUE 0_NN non_op VertexSelector 1[01] an_Adj 1 (1_ F_Complex) 1r ({..}2 k5_ordinal1) (((#hash#)11 NAT) 1) (elementary_tree NAT) ({..}2 {}) || 0.163369573159
const/util_prob/countable || <= || 0.212982938418
$ (=> type/num/num $o) || $ natural || 0.200431009079
const/pred_set/FINITE || <= || 0.180775128829
const/numeral/iSUB || [:]0 || 0.163297059827
const/patricia_casts/FINDs || NextSet2 || 0.162197502253
const/patricia_casts/PEEKs || DistEsti || 0.182524806958
const/patricia_casts/FINDs || NextSet || 0.211875512276
const/patricia/FIND || NextSet2 || 0.166633816823
const/patricia/FIND || NextSet || 0.171225551082
const/gcd/is_gcd || are_congruent_mod || 0.161991483015
(const/list/NIL type/num/num) || op0 k5_ordinal1 {} || 0.161968701181
const/transc/asn || arctan0 || 0.161962193111
const/rich_list/REPLICATE || [#hash#]4 || 0.160950576645
const/list/GENLIST || +*11 || 0.182865217104
type/num/num || (0. SCMPDS) (0. SCM+FSA) (0. SCM) omega || 0.168624915565
const/sptree/union || ^18 || 0.187602482043
$ (type/sptree/spt $V_$true) || $ (& (Matrix-yielding $V_(~ empty0)) (FinSequence (*0 (*0 $V_(~ empty0))))) || 0.181702995108
type/num/num || *101 zero3 0[01] (((#hash#)12 NAT) 1) (0. F_Complex) a_Type RetSP Im30 1_NN FALSE0 (0. Z_2) NAT 0c || 0.161723404582
const/list/ALL_DISTINCT || <= || 0.169565315977
$true || $true || 0.160448635801
const/relation/RTC || ==>* || 0.174080738363
$ (=> $V_$true (=> $V_$true $o)) || $ (Element (bool (([:..:] (^omega $V_$true)) (^omega $V_$true)))) || 0.17493474889
$ $V_$true || $ (Element (^omega $V_$true)) || 0.18955829591
const/list/DROP || #slash#^ || 0.171167224769
const/relation/EQC || ==>* || 0.167774107992
$ (=> $V_$true (=> $V_$true $o)) || $ (& Function-like (& ((quasi_total omega) (bool0 $V_$true)) (Element (bool (([:..:] omega) (bool0 $V_$true)))))) || 0.163995599492
const/relation/RTC || ==>. || 0.163500879723
$ type/num/num || $true || 0.161021800527
const/arithmetic/FUNPOW || -->8 || 0.174026821552
(const/arithmetic/+ const/num/0) || null2 || 0.168134442225
$ (=> $V_$true (=> $V_$true $o)) || $ (Element (bool (^omega $V_$true))) || 0.159592815399
$ ((type/pair/prod type/realax/real) type/realax/real) || $ (& Petri PT_net_Str) || 0.159546121227
const/bool/the_value || *1 || 0.159300714734
$true || $ (& (~ empty) (& right_complementable (& Abelian (& add-associative (& right_zeroed (& discerning0 (& reflexive3 (& vector-distributive1 (& scalar-distributive1 (& scalar-associative1 (& scalar-unital1 (& ComplexNormSpace-like (& right-distributive (& right_unital (& vector-associative0 (& associative (& Banach_Algebra-like Normed_Complex_AlgebraStr))))))))))))))))) || 0.159028174612
const/words/word_sub || -1 || 0.162092479766
const/words/word_add || +2 || 0.165826402178
const/wot/preds || carr || 0.158922289995
$ type/num/num || $ integer || 0.158721133693
const/divides/divides || divides0 || 0.185235872623
$true || $ (& (~ empty) (& right_complementable (& Abelian (& add-associative (& right_zeroed (& vector-distributive2 (& scalar-distributive2 (& scalar-associative2 (& scalar-unital2 Z_ModuleStruct))))))))) || 0.159978565007
const/ind_type/FNIL || k2_zmodul02 || 0.180806293703
$ ((type/pair/prod type/realax/real) type/realax/real) || $ real || 0.159802609211
const/ieee/round || .set || 0.158264307288
const/ieee/is_valid || != || 0.202978645987
$ ((type/pair/prod type/num/num) type/num/num) || $ (& Relation-like (& (-defined omega) (& Function-like (& infinite [Graph-like])))) || 0.191707854741
const/ieee/plus_infinity || LexBFS:Init || 0.179868474126
(const/arithmetic/EXP const/num/0) || (-root (-0 1)) || 0.158101907938
const/wot/mex_less_eq || *37 || 0.157684105797
$ $V_$true || $ (Subgroup $V_(& (~ empty) (& Group-like (& associative multMagma)))) || 0.159055273946
$ type/realax/real || $ complex-membered || 0.157638772025
const/wot/mex_less_eq || [....]4 || 0.157565782766
const/arithmetic/MOD || mod^ || 0.157151370566
$ (type/list/list type/realax/real) || $ (& Relation-like (& Function-like (& real-valued FinSequence-like))) || 0.157133705095
const/transc/rpow || MajP || 0.15711921968
$ type/num/num || $ ordinal || 0.157037812483
const/ind_type/FNIL || Tarski-Class0 || 0.179174352884
const/prim_rec/< || c=0 || 0.171333203001
const/logroot/ROOT || |^|^ || 0.167419598294
const/numeral_bit/iSUC const/num/SUC || succ1 || 0.160660636564
const/arithmetic/<= || are_equipotent || 0.15977942363
$ type/realax/real || $ ext-real || 0.156442493741
$ type/num/num || $ ext-real || 0.159261540577
$ type/integer/int || $ ext-real || 0.157926620197
(const/integer/int_le (const/integer/int_of_num const/num/0)) || (<= NAT) || 0.157055912296
$ type/integer/int || $ integer || 0.157078490148
(const/integer/int_lt (const/integer/int_of_num const/num/0)) || (<= NAT) || 0.162845977067
const/integer/int_mul || * || 0.157382057331
const/integer/int_divides || divides0 || 0.160754992371
const/wot/mex_less_eq || commutators0 || 0.155721086535
const/transc/pi || i_FC <i> || 0.155702444012
const/transc/pi || ((#slash# P_t) 4) || 0.155719257851
const/listRange/listRangeLHI || SubstitutionSet || 0.155226696045
$ ((type/pair/prod type/realax/real) type/realax/real) || $true || 0.155214844885
(const/complex/complex_of_num const/num/0) || op0 k5_ordinal1 {} || 0.16125135139
const/realax/real_1 (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || op0 k5_ordinal1 {} || 0.156729488364
const/relation/O || *143 || 0.155186349912
$ ((type/fcp/cart $o) $V_$true) || $ (Element (carrier $V_(& (~ empty) (& right_complementable (& Abelian (& add-associative (& right_zeroed (& discerning0 (& reflexive3 (& vector-distributive1 (& scalar-distributive1 (& scalar-associative1 (& scalar-unital1 (& ComplexNormSpace-like (& right-distributive (& right_unital (& vector-associative0 (& associative (& Banach_Algebra-like Normed_Complex_AlgebraStr))))))))))))))))))) || 0.155184682785
const/extreal/NegInf || *101 zero3 0[01] (((#hash#)12 NAT) 1) (0. F_Complex) a_Type RetSP Im30 1_NN FALSE0 (0. Z_2) NAT 0c || 0.154842182081
const/prim_rec/PRIM_REC || k12_simplex0 || 0.15469985377
$ ((type/fcp/cart $o) $V_$true) || $ ((Element2 REAL) (REAL0 $V_natural)) || 0.154670952495
const/real/pow || |^ || 0.154503741959
const/real/pow || |1 || 0.154724632818
$ type/realax/real || $ Relation-like || 0.155839152088
const/poly/poly_exp || (#slash#) || 0.154397505743
const/arithmetic/ZERO const/num/0 || ((* 2) P_t) || 0.153865621934
const/list/SNOC || *39 || 0.153795834719
$ ((type/pair/prod type/realax/real) type/realax/real) || $ ext-real-membered || 0.153733293083
const/logroot/SQRTd || (. ZeroTuring) || 0.153705700374
$ (=> $V_$true $o) || $ (Element (carrier $V_l1_absred_0)) || 0.153620102333
const/wot/cpl || r5_absred_0 || 0.17274860126
$ (=> $V_$true type/num/num) || $ (Element (carrier $V_l1_absred_0)) || 0.157123714383
const/pred_set/SUBSET || r1_absred_0 || 0.154653536002
const/pred_set/PSUBSET || r8_absred_0 || 0.154672657294
(const/real/real_lte (const/real/real_of_num const/num/0)) || (<= 1) || 0.153535150387
$ type/realax/real || $ ordinal || 0.153487408676
const/sptree/LS || carr || 0.153365320534
const/pred_set/PSUBSET || r4_absred_0 || 0.153355036096
const/arithmetic/NUMERAL || Family_open_set || 0.153338186074
$ type/realax/real || $ ext-real-membered || 0.153236325257
const/arithmetic/BIT2 || Euclid || 0.153175456278
const/bool/the_value || {..}2 || 0.166311267465
const/words/dimword || {..}3 || 0.168085779947
const/words/INT_MIN || {..}3 || 0.169106389262
(const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 (const/arithmetic/BIT1 const/arithmetic/ZERO)))) || ((#slash# P_t) 2) || 0.152956623074
(const/realax/real_mul (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || (* ((* 2) P_t)) || 0.152857468472
const/transc/tan || exp2 || 0.153325250169
const/arithmetic/ZERO const/num/0 || (carrier R^1) +infty0 REAL || 0.152848627308
const/complex/complex_of_num || <*> || 0.162151529444
const/arithmetic/ZERO const/num/0 || (0. SCMPDS) (0. SCM+FSA) (0. SCM) omega || 0.153800057532
$ type/num/num || $ (Element omega) || 0.154125499053
(const/arithmetic/EXP const/num/0) || Bottom0 || 0.16981060814
(const/arithmetic/EXP const/num/0) || Top0 || 0.155500808667
const/arithmetic/NUMERAL || (SubstPoset omega) || 0.157589869302
$ ((type/fcp/cart $o) $V_$true) || $ (& (-element $V_natural) (FinSequence COMPLEX)) || 0.152528428747
const/words/word_div || -66 || 0.154191033171
const/list/REVERSE || -8 || 0.152348058691
const/logroot/iSQRT3 || `2_40 || 0.152346056577
const/numeral/internal_mult const/arithmetic/* || * || 0.15229754704
const/integer/int_div || div3 || 0.151662293052
const/real/pow || -Root || 0.151647141422
const/pred_set/DISJOINT || r11_absred_0 || 0.151539628238
const/gcdset/gcdset || min0 || 0.151288762197
(const/pair/, type/extreal/extreal) || 0.0 || 0.151149682921
$ type/realax/real || $ (& Relation-like Function-like) || 0.151119451708
const/complex/complex_scalar_lmul || #quote#10 || 0.163211792736
const/sptree/lookup || Det || 0.151070322111
const/option/SOME || Det0 || 0.154003536918
const/sptree/domain || Width || 0.1510495243
const/sptree/domain || Len || 0.150681427815
const/pred_set/UNION || ^ || 0.153837791223
const/real/real_lte || c=0 || 0.150033715576
const/numeral_bit/iLOG2 || TUnitSphere || 0.149308041343
const/realax/real_add || + || 0.149116777293
(const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || a_Term EdgeSelector 2 (({..}3 k5_ordinal1) 1) || 0.151187491699
$ ((type/pair/prod type/realax/real) type/realax/real) || $ natural || 0.148951422402
const/complex/complex_scalar_rmul || |->0 || 0.151779208959
const/prim_rec/SIMP_REC || k12_simplex0 || 0.148908965127
const/llist/LNIL || Trivial-Mem || 0.148893254705
const/llist/LLENGTH || the_Values_of || 0.176215947705
$true || $ (& (~ empty) (& being_B (& being_C (& being_I (& being_BCI-4 BCIStr_0))))) || 0.148789690965
const/arithmetic/<= || divides || 0.148693437522
const/arithmetic/MAX || lcm0 || 0.169006642536
(const/complex/complex_of_num const/num/0) || one0 RetIC Rea0 Ser0 unit3 (1. Z_2) TRUE 0_NN non_op VertexSelector 1[01] an_Adj 1 (1_ F_Complex) 1r ({..}2 k5_ordinal1) (((#hash#)11 NAT) 1) (elementary_tree NAT) ({..}2 {}) || 0.148404528879
const/relation/SC || Complement0 || 0.148286568189
const/list/DROP || #bslash#*#bslash# || 0.148224603909
const/patricia/PEEK || DistEsti || 0.148155541582
const/option/THE || ConsecutiveSet2 || 0.152065446384
$ (type/patricia/ptree $V_$true) || $ (& reflexive (& transitive (& antisymmetric (& lower-bounded (& with_suprema (& with_infima RelStr)))))) || 0.154391960611
const/option/THE || ConsecutiveSet || 0.154250609974
$ (type/patricia/ptree $V_$true) || $ (& reflexive (& transitive (& antisymmetric (& with_suprema (& with_infima (& lower-bounded RelStr)))))) || 0.155239656919
$ (=> $V_$true type/extreal/extreal) || $ (& reflexive (& transitive (& antisymmetric (& lower-bounded (& with_suprema (& with_infima RelStr)))))) || 0.149238270695
const/measure/fn_plus || DistEsti || 0.152277439038
const/measure/fn_minus || DistEsti || 0.156407588286
const/extreal/extreal_le || c=0 || 0.158844789192
const/extreal/extreal_of_num || succ1 || 0.158072801115
$ $V_$true || $ (& Function-like (& ((quasi_total (([:..:] $V_(~ empty0)) $V_(~ empty0))) (carrier $V_(& reflexive (& transitive (& antisymmetric (& lower-bounded (& with_suprema (& with_infima RelStr)))))))) (& ((symmetric5 $V_(~ empty0)) $V_(& reflexive (& transitive (& antisymmetric (& lower-bounded (& with_suprema (& with_infima RelStr))))))) (& ((zeroed0 $V_(~ empty0)) $V_(& reflexive (& transitive (& antisymmetric (& lower-bounded (& with_suprema (& with_infima RelStr))))))) (& ((u.t.i. $V_(~ empty0)) $V_(& reflexive (& transitive (& antisymmetric (& lower-bounded (& with_suprema (& with_infima RelStr))))))) (Element (bool (([:..:] (([:..:] $V_(~ empty0)) $V_(~ empty0))) (carrier $V_(& reflexive (& transitive (& antisymmetric (& lower-bounded (& with_suprema (& with_infima RelStr))))))))))))))) || 0.158922133742
const/logroot/SQRTd || (. id17) || 0.148112587855
$ ((type/fcp/cart $o) $V_$true) || $ ((Element2 COMPLEX) (*88 $V_natural)) || 0.147957845169
const/words/word_sub || 0c1 || 0.159970695788
const/words/word_2comp || 0c0 || 0.149179539897
const/words/word_add || abs4 || 0.15118421049
const/words/word_T || +57 || 0.148378092559
$ ((type/fcp/cart $o) $V_$true) || $ (Element (QC-WFF $V_QC-alphabet)) || 0.147833937179
$ ((type/fcp/cart $o) $V_$true) || $ (Element (carrier $V_(& (~ empty) (& right_complementable (& Abelian (& add-associative (& right_zeroed (& vector-distributive (& scalar-distributive (& scalar-associative (& scalar-unital RLSStruct))))))))))) || 0.148187696831
(const/extreal/extreal_lt (const/extreal/extreal_of_num const/num/0)) || (<= 1) || 0.147711177749
const/logroot/SQRTd || (. SumTuring) || 0.147375919958
const/words/bit_count || con_class || 0.147182825884
const/words/bit_count_upto || |^20 || 0.177237321848
const/words/word_sub || abs4 || 0.147140093042
const/words/word_add || 0c1 || 0.160901639814
$true || $ ordinal || 0.147069955609
$ ((type/pair/prod type/realax/real) type/realax/real) || $ Relation-like || 0.146720761538
const/words/word_lsl || .4 || 0.146347860239
const/arithmetic/ZERO const/num/0 || (-0 1) || 0.146190187453
const/logroot/SQRTd || (. SuccTuring) || 0.151583561627
$ type/integer/int || $ ordinal || 0.146035064938
$ (=> $V_$true $o) || $ (Element (carrier $V_(& (~ empty) RelStr))) || 0.145640523191
const/words/word_lt || r4_absred_0 || 0.145529376772
const/words/word_lo || r4_absred_0 || 0.149459295119
$ type/num/num || $ ((Element3 (QC-variables $V_QC-alphabet)) (bound_QC-variables $V_QC-alphabet)) || 0.145363794401
const/words/word_rol || .4 || 0.161249993764
const/words/word_ror || .4 || 0.164558643362
const/words/word_lsr || .4 || 0.159960181137
const/pred_set/DELETE || .4 || 0.157754384656
$ (=> type/num/num $V_$true) || $ (Element (carrier $V_(& (~ empty) addLoopStr))) || 0.145332064654
$ ((type/fcp/cart $o) $V_$true) || $ ((Element2 REAL) ((-tuples_on $V_natural) REAL)) || 0.145239924141
const/words/word_sub || -100 || 0.153727425847
const/words/word_add || +109 || 0.145537223342
const/extreal/NegInf || op0 k5_ordinal1 {} || 0.145115871733
$ type/extreal/extreal || $ ordinal || 0.146599236294
const/list/REVERSE || \not\5 || 0.145101994955
$ (type/list/list $V_$true) || $ (Element (QC-WFF $V_QC-alphabet)) || 0.146627543295
const/list/SNOC || Ex || 0.162791122781
const/list/CONS || All || 0.158777067682
$ (=> $V_$true $o) || $ (Element (QC-WFF $V_QC-alphabet)) || 0.146913615754
const/integer/int_sub || - || 0.144971985596
const/arithmetic/+ || - || 0.14479434425
const/numpair/tri || (choose 2) || 0.148828261168
$true || $ (& (~ empty) (& right_complementable (& Abelian (& add-associative (& right_zeroed (& vector-distributive (& scalar-distributive (& scalar-associative (& scalar-unital (& discerning0 (& reflexive3 (& RealNormSpace-like NORMSTR)))))))))))) || 0.144776978997
const/sptree/toListA || Ball4 || 0.16307059579
(const/pred_set/FINITE type/num/num) || (<= NAT) || 0.149485726293
const/integer/int_of_num || <*> || 0.144670177027
const/list/NIL || <*> || 0.145995884442
const/real/pow || (#slash#) || 0.144601983213
const/arithmetic/+ || * || 0.144572808876
$ ((type/fcp/cart $o) $V_$true) || $ (Element (carrier $V_(& (~ empty) (& Group-like (& associative multMagma))))) || 0.144628606525
const/realax/real_add || #slash##bslash#0 || 0.144531720804
const/real/abs || proj4_4 || 0.145477850121
const/list/CONS || *40 || 0.144486591708
$ (type/list/list $V_$true) || $ (Element (bool (carrier $V_(& (~ empty) (& Group-like (& associative multMagma)))))) || 0.144278490974
const/sptree/fromList || Normalizer || 0.151309142631
$ (type/list/list $V_$true) || $ (Element (carrier $V_l1_absred_0)) || 0.144621466642
const/words/word_T || 1_ || 0.144000614705
const/words/word_T || 1*0 || 0.143873035821
const/extreal/extreal_pow || |^ || 0.143781981823
const/divides/divides || divides || 0.143775505129
$ ((type/fcp/cart $o) $V_$true) || $ (Element (QC-symbols $V_QC-alphabet)) || 0.143572082851
const/words/word_lo || < || 0.166925375894
const/words/word_lt || < || 0.162832395329
const/words/word_ls || <=2 || 0.154203900775
const/words/word_le || <=2 || 0.1484101769
const/pred_set/EMPTY || 0. || 0.143553137862
$true || $ (& (~ empty) (& being_B (& being_C (& being_I (& being_BCI-4 (& with_condition_S BCIStr_1)))))) || 0.146514238746
const/pred_set/UNIV || 0. || 0.14574846856
const/arithmetic/ZERO const/num/0 || -infty0 || 0.143499161711
const/integer/int_1 (const/integer/int_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || op0 k5_ordinal1 {} || 0.147327898904
const/integer/int_1 (const/integer/int_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT1 const/arithmetic/ZERO))) || *101 zero3 0[01] (((#hash#)12 NAT) 1) (0. F_Complex) a_Type RetSP Im30 1_NN FALSE0 (0. Z_2) NAT 0c || 0.143653239297
const/real/pow || (#hash#)0 || 0.142961367765
(const/arithmetic/EXP (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))) || !8 || 0.142869390858
const/prim_rec/< || divides || 0.14264614094
const/arithmetic/MIN || gcd || 0.144843847634
const/prim_rec/< || c< || 0.142613436529
const/transc/sin || (. sin0) || 0.142547853546
const/transc/cos || (. sin1) || 0.150808976112
const/transc/sin || exp2 || 0.14296793146
const/option/OPTION_JOIN || FlattenSeq || 0.142489364406
const/transc/asn || arccos || 0.142442323071
((const/real/#slash# const/transc/pi) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO)))) || P_t || 0.148531026935
const/transc/sin || cos || 0.149684671453
(const/realax/real_neg ((const/real/#slash# const/transc/pi) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))))) || *101 zero3 0[01] (((#hash#)12 NAT) 1) (0. F_Complex) a_Type RetSP Im30 1_NN FALSE0 (0. Z_2) NAT 0c || 0.148955864178
const/complex/arg || Arg0 || 0.146671382516
$ ((type/pair/prod type/realax/real) type/realax/real) || $ (Element (carrier (TOP-REAL 2))) || 0.143437088501
const/complex/modu || |....| || 0.156961145063
const/complex/RE || `10 || 0.156089362057
((const/pair/, type/realax/real) type/realax/real) || |[..]| || 0.166659972863
const/complex/IM || `2 || 0.164879629808
const/real/abs || *1 || 0.144747995907
(const/realax/real_neg ((const/real/#slash# const/transc/pi) (const/real/real_of_num (const/arithmetic/NUMERAL (const/arithmetic/BIT2 const/arithmetic/ZERO))))) || one0 RetIC Rea0 Ser0 unit3 (1. Z_2) TRUE 0_NN non_op VertexSelector 1[01] an_Adj 1 (1_ F_Complex) 1r ({..}2 k5_ordinal1) (((#hash#)11 NAT) 1) (elementary_tree NAT) ({..}2 {}) || 0.142320554261
const/complex/complex_pow || |^ || 0.142216583268
const/complex/complex_pow || (#slash#) || 0.142928743749
const/complex/complex_pow || |1 || 0.142403986384
const/complex/complex_scalar_rmul || |1 || 0.142250766823
const/complex/complex_scalar_lmul || k24_fomodel0 || 0.14802727355
const/relation/inv || \not\5 || 0.142088348805
$ (=> $V_$true (=> $V_$true $o)) || $ (Element (QC-WFF $V_QC-alphabet)) || 0.154396820082
const/relation/inv || ?0 || 0.143239084944
const/arithmetic/BIT1 || Euclid || 0.141805252015
const/words/word_1comp || abs7 || 0.141787773175
const/complex/complex_neg || -0 || 0.14166934448
const/llist/LLENGTH || Index0 || 0.141508925938
const/llist/fromList || Normalizer || 0.147288453752
const/pred_set/EMPTY || VERUM0 || 0.141457625501
const/list/CONS || Ex1 || 0.141364918068
$ type/realax/real || $ (& Relation-like (& Function-like (& real-valued FinSequence-like))) || 0.141278105197
const/real/real_of_num || <*> || 0.144972030792
const/integer/ABS || |....|2 || 0.141202700759
const/prim_rec/< || in || 0.141084742561
const/listRange/listRangeINC || @44 || 0.153235092233
const/list/NIL || 1. || 0.147049250204
type/string/char || G_Quaternion || 0.148055243898
(const/list/NIL type/num/num) || one0 RetIC Rea0 Ser0 unit3 (1. Z_2) TRUE 0_NN non_op VertexSelector 1[01] an_Adj 1 (1_ F_Complex) 1r ({..}2 k5_ordinal1) (((#hash#)11 NAT) 1) (elementary_tree NAT) ({..}2 {}) || 0.144114434159
type/num/num || Z_2 || 0.143003073352
const/listRange/listRangeLHI || @44 || 0.154082571822
const/relation/inv || +81 || 0.140726632829
const/real/real_of_num || (* ((* 2) P_t)) || 0.140501585303
const/relation/RTC || -->. || 0.140472810047
const/relation/RC || -->. || 0.140457685666
const/relation/TC || -->. || 0.142228840296
const/extreal/extreal_lt || are_equipotent || 0.140402782702
const/real/real_lte || are_equipotent || 0.140919309362
