Lean declarations of the project, with links to their source. See also the formalisation overview.
MaxLeafFormal.Antinorm3.DMaxLeafFormal.Antinorm3.D_disjointMaxLeafFormal.Antinorm3.D_edgeMaxLeafFormal.Antinorm3.D_eqMaxLeafFormal.Antinorm3.D_par_memMaxLeafFormal.Antinorm3.D_rootMaxLeafFormal.Antinorm3.D_sub_of_childMaxLeafFormal.Antinorm3.KcumMaxLeafFormal.Antinorm3.Kcum_addMaxLeafFormal.Antinorm3.Kcum_of_nonnegMaxLeafFormal.Antinorm3.Kcum_smulMaxLeafFormal.Antinorm3.PZMaxLeafFormal.Antinorm3.PZ_add_KcumMaxLeafFormal.Antinorm3.PinMaxLeafFormal.Antinorm3.ZRMaxLeafFormal.Antinorm3.ZR_nonemptyMaxLeafFormal.Antinorm3.cZMaxLeafFormal.Antinorm3.cZ_le_finMaxLeafFormal.Antinorm3.card_D_child_ltMaxLeafFormal.Antinorm3.castTMaxLeafFormal.Antinorm3.castT_initQMaxLeafFormal.Antinorm3.castT_mergeMaxLeafFormal.Antinorm3.checkInitsMaxLeafFormal.Antinorm3.checkInits_soundMaxLeafFormal.Antinorm3.checkPairsMaxLeafFormal.Antinorm3.checkPairs_soundMaxLeafFormal.Antinorm3.checkZMaxLeafFormal.Antinorm3.checkZ_nonemptyMaxLeafFormal.Antinorm3.checkZ_soundMaxLeafFormal.Antinorm3.childrenMaxLeafFormal.Antinorm3.combQMaxLeafFormal.Antinorm3.combQ_memMaxLeafFormal.Antinorm3.comp_eq_topsMaxLeafFormal.Antinorm3.convexHull_nonnegMaxLeafFormal.Antinorm3.convex_PZMaxLeafFormal.Antinorm3.cumOKMaxLeafFormal.Antinorm3.cumOK_soundMaxLeafFormal.Antinorm3.descMaxLeafFormal.Antinorm3.desc_distMaxLeafFormal.Antinorm3.desc_eq_of_distMaxLeafFormal.Antinorm3.dist_childMaxLeafFormal.Antinorm3.dist_iterMaxLeafFormal.Antinorm3.dist_parMaxLeafFormal.Antinorm3.dist_pos_of_neMaxLeafFormal.Antinorm3.domMaxLeafFormal.Antinorm3.domQMaxLeafFormal.Antinorm3.domQ_soundMaxLeafFormal.Antinorm3.dom_splitMaxLeafFormal.Antinorm3.eq_root_of_distMaxLeafFormal.Antinorm3.finMaxLeafFormal.Antinorm3.fin_addMaxLeafFormal.Antinorm3.fin_nonneg_of_KcumMaxLeafFormal.Antinorm3.fin_smulMaxLeafFormal.Antinorm3.fin_sumMaxLeafFormal.Antinorm3.fin_zeroMaxLeafFormal.Antinorm3.getD_mem_ZRMaxLeafFormal.Antinorm3.initMaxLeafFormal.Antinorm3.initQMaxLeafFormal.Antinorm3.init_allMaxLeafFormal.Antinorm3.iter_rootMaxLeafFormal.Antinorm3.mem_DMaxLeafFormal.Antinorm3.mem_D_iffMaxLeafFormal.Antinorm3.mem_childrenMaxLeafFormal.Antinorm3.mergeMaxLeafFormal.Antinorm3.mergeQMaxLeafFormal.Antinorm3.merge_Kcum_leftMaxLeafFormal.Antinorm3.merge_Kcum_rightMaxLeafFormal.Antinorm3.merge_add_leftMaxLeafFormal.Antinorm3.merge_add_rightMaxLeafFormal.Antinorm3.merge_hullMaxLeafFormal.Antinorm3.merge_mem_smul_PZMaxLeafFormal.Antinorm3.merge_nonnegMaxLeafFormal.Antinorm3.merge_smul_leftMaxLeafFormal.Antinorm3.merge_smul_rightMaxLeafFormal.Antinorm3.merge_sum_leftMaxLeafFormal.Antinorm3.merge_sum_rightMaxLeafFormal.Antinorm3.merge_zero_leftMaxLeafFormal.Antinorm3.merge_zero_rightMaxLeafFormal.Antinorm3.muOKMaxLeafFormal.Antinorm3.nonneg_iffMaxLeafFormal.Antinorm3.not_mem_D_childMaxLeafFormal.Antinorm3.nu_splitMaxLeafFormal.Antinorm3.par_rootMaxLeafFormal.Antinorm3.self_mem_DMaxLeafFormal.Antinorm3.smul_PZ_add_KcumMaxLeafFormal.Antinorm3.smul_PZ_monoMaxLeafFormal.Antinorm3.sum_powerset_unionMaxLeafFormal.Antinorm3.svMaxLeafFormal.Antinorm3.sv_nonnegMaxLeafFormal.Antinorm3.sv_splitMaxLeafFormal.Antinorm3.term_splitMaxLeafFormal.Antinorm3.topOfMaxLeafFormal.Antinorm3.topOf_adjMaxLeafFormal.Antinorm3.topOf_parMaxLeafFormal.Antinorm3.topOf_reachMaxLeafFormal.Antinorm3.topOf_topMaxLeafFormal.Antinorm3.topsMaxLeafFormal.Antinorm3.tops_singletonMaxLeafFormal.Antinorm3.tops_splitMaxLeafFormal.Antinorm3.treeW_eq_finMaxLeafFormal.Antinorm3.tree_bound_of_certificateMaxLeafFormal.Antinorm3.tree_bound_of_checksMaxLeafFormal.Antinorm3.tripleMaxLeafFormal.Antinorm3.triple_D_memMaxLeafFormal.Antinorm3.triple_nonnegMaxLeafFormal.Antinorm3.triple_singleMaxLeafFormal.Antinorm3.triple_splitMaxLeafFormal.Antinorm3.zero_mem_KcumMaxLeafFormal.Antinorm8.AdmAllMaxLeafFormal.Antinorm8.AdmAll_iffMaxLeafFormal.Antinorm8.AdmAtMaxLeafFormal.Antinorm8.AdmissibleMaxLeafFormal.Antinorm8.IsUpSetMaxLeafFormal.Antinorm8.KposMaxLeafFormal.Antinorm8.Kpos_addMaxLeafFormal.Antinorm8.Kpos_of_nonnegMaxLeafFormal.Antinorm8.Kpos_smulMaxLeafFormal.Antinorm8.LightMaxLeafFormal.Antinorm8.PZMaxLeafFormal.Antinorm8.RTreeMaxLeafFormal.Antinorm8.RTree.indMaxLeafFormal.Antinorm8.belowMaxLeafFormal.Antinorm8.below_of_coversMaxLeafFormal.Antinorm8.cZMaxLeafFormal.Antinorm8.cZ_le_finMaxLeafFormal.Antinorm8.certificate_conditionsMaxLeafFormal.Antinorm8.certificate_conditions_ofMaxLeafFormal.Antinorm8.chainMaxLeafFormal.Antinorm8.chiCsMaxLeafFormal.Antinorm8.chiCuMaxLeafFormal.Antinorm8.chiOsMaxLeafFormal.Antinorm8.chiOuMaxLeafFormal.Antinorm8.chiOxMaxLeafFormal.Antinorm8.chiSMaxLeafFormal.Antinorm8.convexHull_nonnegMaxLeafFormal.Antinorm8.convex_hullKposMaxLeafFormal.Antinorm8.coversMaxLeafFormal.Antinorm8.dualLMaxLeafFormal.Antinorm8.exMaxLeafFormal.Antinorm8.finMaxLeafFormal.Antinorm8.fin_addMaxLeafFormal.Antinorm8.fin_nonneg_of_KposMaxLeafFormal.Antinorm8.fin_smulMaxLeafFormal.Antinorm8.func_nonnegMaxLeafFormal.Antinorm8.hullKpos_addMaxLeafFormal.Antinorm8.indicator_monoMaxLeafFormal.Antinorm8.initMaxLeafFormal.Antinorm8.initInfMaxLeafFormal.Antinorm8.init_memMaxLeafFormal.Antinorm8.init_nonnegMaxLeafFormal.Antinorm8.layer_cakeMaxLeafFormal.Antinorm8.mem_smul_PZ_iffMaxLeafFormal.Antinorm8.mergeMaxLeafFormal.Antinorm8.mergeAllMaxLeafFormal.Antinorm8.mergeAll_appendMaxLeafFormal.Antinorm8.mergeAll_consMaxLeafFormal.Antinorm8.mergeAll_memMaxLeafFormal.Antinorm8.mergeAll_nilMaxLeafFormal.Antinorm8.merge_Kpos_leftMaxLeafFormal.Antinorm8.merge_Kpos_rightMaxLeafFormal.Antinorm8.merge_add_leftMaxLeafFormal.Antinorm8.merge_add_rightMaxLeafFormal.Antinorm8.merge_hullMaxLeafFormal.Antinorm8.merge_mem_smul_PZMaxLeafFormal.Antinorm8.merge_nonnegMaxLeafFormal.Antinorm8.merge_smul_leftMaxLeafFormal.Antinorm8.merge_smul_rightMaxLeafFormal.Antinorm8.messageMaxLeafFormal.Antinorm8.message_memMaxLeafFormal.Antinorm8.message_nodeMaxLeafFormal.Antinorm8.message_nonnegMaxLeafFormal.Antinorm8.mono_belowMaxLeafFormal.Antinorm8.nuSumMaxLeafFormal.Antinorm8.nuSumAllMaxLeafFormal.Antinorm8.nuSumAll_appendMaxLeafFormal.Antinorm8.nuSumAll_consMaxLeafFormal.Antinorm8.nuSum_nodeMaxLeafFormal.Antinorm8.sizeMaxLeafFormal.Antinorm8.sizeAllMaxLeafFormal.Antinorm8.sizeAll_appendMaxLeafFormal.Antinorm8.sizeAll_consMaxLeafFormal.Antinorm8.size_le_of_memMaxLeafFormal.Antinorm8.size_nodeMaxLeafFormal.Antinorm8.smul_PZ_add_KposMaxLeafFormal.Antinorm8.smul_PZ_monoMaxLeafFormal.Antinorm8.sum_merge_leftMaxLeafFormal.Antinorm8.sum_upsetMaxLeafFormal.Budget.AdmissibleParamsMaxLeafFormal.Budget.BAcceptsMaxLeafFormal.Budget.BOutcomeMaxLeafFormal.Budget.BSlotMaxLeafFormal.Budget.CdsOutcomeMaxLeafFormal.Budget.McountMaxLeafFormal.Budget.RunOutcomeMaxLeafFormal.Budget.budgetMeasureMaxLeafFormal.Budget.budget_fail_leMaxLeafFormal.Budget.budgeted_soundMaxLeafFormal.Budget.budgeted_successMaxLeafFormal.Budget.budgeted_success_of_admissibleMaxLeafFormal.Budget.cap_condition_iffMaxLeafFormal.Budget.cdsAccMaxLeafFormal.Budget.cdsMeasureMaxLeafFormal.Budget.cdsOutputMaxLeafFormal.Budget.cds_budgetedMaxLeafFormal.Budget.cds_budgeted_maxLeafMaxLeafFormal.Budget.firstAcceptedMaxLeafFormal.Budget.first_acceptedMaxLeafFormal.Budget.integral_twoPowNeg_posMaxLeafFormal.Budget.isCDS_univMaxLeafFormal.Budget.leEventMaxLeafFormal.Budget.measurableSet_bAcceptsMaxLeafFormal.Budget.measurable_twoPowNegMaxLeafFormal.Budget.params_admissibleMaxLeafFormal.Budget.threshold_probMaxLeafFormal.Budget.threshold_prob_auxMaxLeafFormal.Budget.threshold_prob_upperMaxLeafFormal.Budget.twoPowNegMaxLeafFormal.Budget.twoPowNeg_le_pointwiseMaxLeafFormal.Budget.twoPowNeg_mem_IccMaxLeafFormal.CCGibbs.EpMaxLeafFormal.CCGibbs.Ep_one_nonnegMaxLeafFormal.CCGibbs.MzMaxLeafFormal.CCGibbs.ZpartMaxLeafFormal.CCGibbs.Zpart_eq_gMaxLeafFormal.CCGibbs.Zpart_isoMaxLeafFormal.CCGibbs.Zpart_pathGraph_twoMaxLeafFormal.CCGibbs.cc_gibbsMaxLeafFormal.CCGibbs.cc_pathMaxLeafFormal.CCGibbs.cc_path_minMaxLeafFormal.CCGibbs.coef_factsMaxLeafFormal.CCGibbs.eInMaxLeafFormal.CCGibbs.eIn_emptyMaxLeafFormal.CCGibbs.eIn_eq_filter_of_edgesMaxLeafFormal.CCGibbs.eIn_eq_induceMaxLeafFormal.CCGibbs.eIn_map_equivMaxLeafFormal.CCGibbs.eIn_pg2MaxLeafFormal.CCGibbs.eIn_singletonMaxLeafFormal.CCGibbs.eIn_unionMaxLeafFormal.CCGibbs.g0MaxLeafFormal.CCGibbs.g0_posMaxLeafFormal.CCGibbs.g0_singleMaxLeafFormal.CCGibbs.g1MaxLeafFormal.CCGibbs.g1_posMaxLeafFormal.CCGibbs.g1_singleMaxLeafFormal.CCGibbs.g_unionMaxLeafFormal.CCGibbs.jensen_combineMaxLeafFormal.CCGibbs.key_stepMaxLeafFormal.CCGibbs.log_two_pointMaxLeafFormal.CCGibbs.mem_filter_edgesMaxLeafFormal.CCGibbs.min_stepMaxLeafFormal.CCGibbs.one_add_le_sprMaxLeafFormal.CCGibbs.path_ZMaxLeafFormal.CCGibbs.path_gMaxLeafFormal.CCGibbs.pg_two_edgeMaxLeafFormal.CCGibbs.pi_den_posMaxLeafFormal.CCGibbs.pi_factsMaxLeafFormal.CCGibbs.pivMaxLeafFormal.CCGibbs.piwMaxLeafFormal.CCGibbs.powerset_singleton'MaxLeafFormal.CCGibbs.psiMaxLeafFormal.CCGibbs.psi_DMaxLeafFormal.CCGibbs.psi_unionMaxLeafFormal.CCGibbs.root_stepMaxLeafFormal.CCGibbs.row0_logMaxLeafFormal.CCGibbs.row1_logMaxLeafFormal.CCGibbs.spr_eigenMaxLeafFormal.CCGibbs.spr_factsMaxLeafFormal.CCGibbs.spr_gtMaxLeafFormal.CCGibbs.spr_pos_of_nonnegMaxLeafFormal.CCGibbs.sym2_forall_mem_iffMaxLeafFormal.CCGibbs.sym2_map_mem_edgeSet_iffMaxLeafFormal.CCGibbs.sym2_map_symm_mapMaxLeafFormal.CCGibbs.sym2_pair_mapMaxLeafFormal.CCGibbs.sym2_symm_map_mapMaxLeafFormal.CCGibbs.trMaxLeafFormal.CCGibbs.tr_boundMaxLeafFormal.CCGibbs.twMaxLeafFormal.CCGibbs.tw_emptyMaxLeafFormal.CCGibbs.tw_nonnegMaxLeafFormal.CCGibbs.tw_singletonMaxLeafFormal.CCGibbs.tw_unionMaxLeafFormal.CCRate.R1MaxLeafFormal.CCRate.R2MaxLeafFormal.CCRate.R3MaxLeafFormal.CCRate.R3_realMaxLeafFormal.CCRate.all_okMaxLeafFormal.CCRate.cc_c3MaxLeafFormal.CCRate.cc_certMaxLeafFormal.CCRate.checkIntervalsMaxLeafFormal.CCRate.checkIntervals_soundMaxLeafFormal.CCRate.chunkMaxLeafFormal.CCRate.intervalOKMaxLeafFormal.CCRate.intervalOK_R3MaxLeafFormal.CCRate.intervals_ok_0MaxLeafFormal.CCRate.intervals_ok_1MaxLeafFormal.CCRate.intervals_ok_2MaxLeafFormal.CCRate.intervals_ok_3MaxLeafFormal.CCRate.intervals_ok_4MaxLeafFormal.CCRate.intervals_ok_5MaxLeafFormal.CCRate.intervals_ok_6MaxLeafFormal.CCRate.intervals_ok_7MaxLeafFormal.CCRate.intervals_ok_8MaxLeafFormal.CCRate.intervals_ok_9MaxLeafFormal.CCRate.phiMaxLeafFormal.CCRate.qMaxLeafFormal.CCRate.sprMaxLeafFormal.CCRate.sprQMaxLeafFormal.CCRate.sprQ_soundMaxLeafFormal.CCRate.spr_rootMaxLeafFormal.CCRate.ysMaxLeafFormal.CCRate.ys_lengthMaxLeafFormal.CCT.CCBoundOnMaxLeafFormal.CCT.HasCCBoundMaxLeafFormal.CCT.W_ge_ZMaxLeafFormal.CCT.Zpart_eq_sum_powersetMaxLeafFormal.CCT.cc_T_aMaxLeafFormal.CCT.cc_T_a_of_gibbsMaxLeafFormal.CCT.cc_T_a_of_hasCCBoundMaxLeafFormal.CCT.gibbs_rescaleMaxLeafFormal.CCT.one_le_sprMaxLeafFormal.CCT.rpow_logb_mul_natMaxLeafFormal.CCT.termwiseMaxLeafFormal.CDS.IsCDSMaxLeafFormal.CDS.adj_iff_parMaxLeafFormal.CDS.card_cc_le_of_surjectiveMaxLeafFormal.CDS.choose_pred_mulMaxLeafFormal.CDS.closedNbhdMaxLeafFormal.CDS.closedNbhd_monoMaxLeafFormal.CDS.compMaxLeafFormal.CDS.comp_le_comp_of_leMaxLeafFormal.CDS.comp_le_topsMaxLeafFormal.CDS.degree_eq_childrenMaxLeafFormal.CDS.eq_of_ne_of_card_le_twoMaxLeafFormal.CDS.eq_univ_of_closedMaxLeafFormal.CDS.exists_adj_of_connectedMaxLeafFormal.CDS.exists_parentMaxLeafFormal.CDS.leaf_iffMaxLeafFormal.CDS.maxLeaf_eqMaxLeafFormal.CDS.maxLeaf_smallMaxLeafFormal.CDS.mean_terminalsMaxLeafFormal.CDS.mem_closedNbhdMaxLeafFormal.CDS.moment_bound_of_tree_boundMaxLeafFormal.CDS.nonleaves_isCDSMaxLeafFormal.CDS.numLeavesMaxLeafFormal.CDS.numLeaves_add_cardMaxLeafFormal.CDS.numLeaves_leMaxLeafFormal.CDS.parMaxLeafFormal.CDS.par_specMaxLeafFormal.CDS.parent_uniqueMaxLeafFormal.CDS.pointwiseMaxLeafFormal.CDS.reach_topMaxLeafFormal.CDS.rstheta_moment_bound_0MaxLeafFormal.CDS.rstheta_moment_bound_1MaxLeafFormal.CDS.spanningTree_of_CDSMaxLeafFormal.CDS.termCountMaxLeafFormal.CDS.tree_inequalityMaxLeafFormal.CDS.tree_reductionMaxLeafFormal.CDS.γcMaxLeafFormal.DSTCert.CertHypMaxLeafFormal.DSTCert.KindMaxLeafFormal.DSTCert.NoSteinerLeafMaxLeafFormal.DSTCert.NoSteinerLeafAllMaxLeafFormal.DSTCert.OldPosMaxLeafFormal.DSTCert.OldPos.dropLastMaxLeafFormal.DSTCert.PsiAMaxLeafFormal.DSTCert.PsiA_eq_sumMaxLeafFormal.DSTCert.PsiA_snocMaxLeafFormal.DSTCert.RZMaxLeafFormal.DSTCert.WAMaxLeafFormal.DSTCert.WA2MaxLeafFormal.DSTCert.WA2_leafMaxLeafFormal.DSTCert.WA2_snocMaxLeafFormal.DSTCert.Z0MaxLeafFormal.DSTCert.Z1MaxLeafFormal.DSTCert.Z2MaxLeafFormal.DSTCert.ZLMaxLeafFormal.DSTCert.ZL_nonemptyMaxLeafFormal.DSTCert.ZRMaxLeafFormal.DSTCert.ZR_eqMaxLeafFormal.DSTCert.ZR_nonemptyMaxLeafFormal.DSTCert.ZqMaxLeafFormal.DSTCert.Zq_ne_nilMaxLeafFormal.DSTCert.Zq_nodupMaxLeafFormal.DSTCert.alphaMaxLeafFormal.DSTCert.alphaIMaxLeafFormal.DSTCert.alphaI_memMaxLeafFormal.DSTCert.c2wMaxLeafFormal.DSTCert.c2w0MaxLeafFormal.DSTCert.c2w1MaxLeafFormal.DSTCert.c2w2MaxLeafFormal.DSTCert.c3wMaxLeafFormal.DSTCert.c3w0MaxLeafFormal.DSTCert.c3w1MaxLeafFormal.DSTCert.c3w2MaxLeafFormal.DSTCert.cZMaxLeafFormal.DSTCert.card_ZLMaxLeafFormal.DSTCert.card_snocMaxLeafFormal.DSTCert.castPMaxLeafFormal.DSTCert.castP_compQMaxLeafFormal.DSTCert.castP_injectiveMaxLeafFormal.DSTCert.cert0_okMaxLeafFormal.DSTCert.cert1_okMaxLeafFormal.DSTCert.cert2_okMaxLeafFormal.DSTCert.checkCZMaxLeafFormal.DSTCert.checkCZ_soundMaxLeafFormal.DSTCert.checkCertMaxLeafFormal.DSTCert.checkCert_soundMaxLeafFormal.DSTCert.checkPairsMaxLeafFormal.DSTCert.checkPairs_soundMaxLeafFormal.DSTCert.checkZMaxLeafFormal.DSTCert.checkZ_nonemptyMaxLeafFormal.DSTCert.checkZ_soundMaxLeafFormal.DSTCert.combQMaxLeafFormal.DSTCert.combQ_memMaxLeafFormal.DSTCert.compMaxLeafFormal.DSTCert.compQMaxLeafFormal.DSTCert.consEmbMaxLeafFormal.DSTCert.consEmb_applyMaxLeafFormal.DSTCert.countMaxLeafFormal.DSTCert.countAllMaxLeafFormal.DSTCert.cz0_okMaxLeafFormal.DSTCert.cz1_okMaxLeafFormal.DSTCert.cz2_okMaxLeafFormal.DSTCert.disjoint_oldMaxLeafFormal.DSTCert.domQMaxLeafFormal.DSTCert.domQ_soundMaxLeafFormal.DSTCert.dropLast_cons_neMaxLeafFormal.DSTCert.dst_certs_exactMaxLeafFormal.DSTCert.dst_ratesMaxLeafFormal.DSTCert.dst_recMaxLeafFormal.DSTCert.dst_tree_boundMaxLeafFormal.DSTCert.dst_tree_bound_WAMaxLeafFormal.DSTCert.e₁MaxLeafFormal.DSTCert.e₂MaxLeafFormal.DSTCert.getD_mem_ZLMaxLeafFormal.DSTCert.inKbarMaxLeafFormal.DSTCert.inKbar_snoc_newMaxLeafFormal.DSTCert.inKbar_snoc_oldMaxLeafFormal.DSTCert.initVMaxLeafFormal.DSTCert.labelAtMaxLeafFormal.DSTCert.labelAt_consMaxLeafFormal.DSTCert.labelAt_nilMaxLeafFormal.DSTCert.labelAt_snoc_newMaxLeafFormal.DSTCert.labelAt_snoc_oldMaxLeafFormal.DSTCert.lamMaxLeafFormal.DSTCert.mem_positionsAll_auxMaxLeafFormal.DSTCert.mem_positions_iffMaxLeafFormal.DSTCert.muOKMaxLeafFormal.DSTCert.nil_mem_positionsMaxLeafFormal.DSTCert.oldPos_nilMaxLeafFormal.DSTCert.old_of_memMaxLeafFormal.DSTCert.pairsMaxLeafFormal.DSTCert.pairs0MaxLeafFormal.DSTCert.pairs1MaxLeafFormal.DSTCert.pairs2MaxLeafFormal.DSTCert.positionsMaxLeafFormal.DSTCert.positionsAllMaxLeafFormal.DSTCert.positionsAll_appendMaxLeafFormal.DSTCert.positionsAll_consMaxLeafFormal.DSTCert.positionsAll_nilMaxLeafFormal.DSTCert.positions_nodeMaxLeafFormal.DSTCert.positions_snocMaxLeafFormal.DSTCert.psiMaxLeafFormal.DSTCert.psiFoldMaxLeafFormal.DSTCert.psiFold_WA2MaxLeafFormal.DSTCert.psi_eq_WA2MaxLeafFormal.DSTCert.qMaxLeafFormal.DSTCert.rec_add_mem_smulMaxLeafFormal.DSTCert.rec_add_nonnegMaxLeafFormal.DSTCert.rec_cZ_leMaxLeafFormal.DSTCert.rec_comp_Y_memMaxLeafFormal.DSTCert.rec_comp_Y_smul_memMaxLeafFormal.DSTCert.rec_comp_add_leftMaxLeafFormal.DSTCert.rec_comp_add_rightMaxLeafFormal.DSTCert.rec_comp_mem_RZMaxLeafFormal.DSTCert.rec_comp_mem_hullMaxLeafFormal.DSTCert.rec_comp_mem_of_ZMaxLeafFormal.DSTCert.rec_comp_smul_memMaxLeafFormal.DSTCert.rec_comp_smul_smulMaxLeafFormal.DSTCert.rec_convex_RZMaxLeafFormal.DSTCert.rec_fold_memMaxLeafFormal.DSTCert.rec_mem_RZ_of_hullMaxLeafFormal.DSTCert.rec_noLeafAll_iffMaxLeafFormal.DSTCert.rec_nonneg_compMaxLeafFormal.DSTCert.rec_nonneg_hullMaxLeafFormal.DSTCert.rec_psi_memMaxLeafFormal.DSTCert.rootKindMaxLeafFormal.DSTCert.steinerPosMaxLeafFormal.DSTCert.steinerPos_snocMaxLeafFormal.DSTCert.steinerPos_subsetMaxLeafFormal.DSTCert.sumIMaxLeafFormal.DSTCert.sumI_memMaxLeafFormal.DSTCert.sum_powerset_union_mapMaxLeafFormal.DSTCert.wtAMaxLeafFormal.DSTCert.yMaxLeafFormal.DSTGraph.Aux.PsiA_TMaxLeafFormal.DSTGraph.Aux.RWMaxLeafFormal.DSTGraph.Aux.WA_TMaxLeafFormal.DSTGraph.Aux.card_transferMaxLeafFormal.DSTGraph.Aux.count_TMaxLeafFormal.DSTGraph.Aux.count_eq_cardMaxLeafFormal.DSTGraph.Aux.exists_RWMaxLeafFormal.DSTGraph.Aux.getElem_inj_of_nodupMaxLeafFormal.DSTGraph.Aux.inKbar_TMaxLeafFormal.DSTGraph.Aux.kidsMaxLeafFormal.DSTGraph.Aux.labMaxLeafFormal.DSTGraph.Aux.lab_eq_steinerMaxLeafFormal.DSTGraph.Aux.lab_eq_termMaxLeafFormal.DSTGraph.Aux.labelAt_TMaxLeafFormal.DSTGraph.Aux.labelAt_treeMaxLeafFormal.DSTGraph.Aux.mem_kidsMaxLeafFormal.DSTGraph.Aux.mem_of_getElemMaxLeafFormal.DSTGraph.Aux.mem_positions_TMaxLeafFormal.DSTGraph.Aux.mem_preMaxLeafFormal.DSTGraph.Aux.mem_steinerPos_TMaxLeafFormal.DSTGraph.Aux.noLeaf_treeMaxLeafFormal.DSTGraph.Aux.phiMaxLeafFormal.DSTGraph.Aux.phi_injOnMaxLeafFormal.DSTGraph.Aux.phi_ofMaxLeafFormal.DSTGraph.Aux.preMaxLeafFormal.DSTGraph.Aux.rootKind_treeMaxLeafFormal.DSTGraph.Aux.treeMaxLeafFormal.DSTGraph.Aux.walkMaxLeafFormal.DSTGraph.Aux.walk_appendMaxLeafFormal.DSTGraph.Aux.walk_consMaxLeafFormal.DSTGraph.Aux.walk_injMaxLeafFormal.DSTGraph.Aux.walk_lastMaxLeafFormal.DSTGraph.Aux.walk_nilMaxLeafFormal.DSTGraph.Aux.walk_specMaxLeafFormal.DSTGraph.Aux.walk_surjMaxLeafFormal.DSTGraph.DsetMaxLeafFormal.DSTGraph.Dset_eq_ofMaxLeafFormal.DSTGraph.Examples.A1MaxLeafFormal.DSTGraph.Examples.A2MaxLeafFormal.DSTGraph.Examples.A3MaxLeafFormal.DSTGraph.Examples.A4MaxLeafFormal.DSTGraph.Examples.G1MaxLeafFormal.DSTGraph.Examples.G2MaxLeafFormal.DSTGraph.Examples.G3MaxLeafFormal.DSTGraph.Examples.G4MaxLeafFormal.DSTGraph.Examples.G5MaxLeafFormal.DSTGraph.Examples.G6MaxLeafFormal.DSTGraph.Examples.G7MaxLeafFormal.DSTGraph.Examples.ex1_WSMaxLeafFormal.DSTGraph.Examples.ex1_WS_certMaxLeafFormal.DSTGraph.Examples.ex1_WS_minimumMaxLeafFormal.DSTGraph.Examples.ex1_gMaxLeafFormal.DSTGraph.Examples.ex1_hGAMaxLeafFormal.DSTGraph.Examples.ex1_hypsMaxLeafFormal.DSTGraph.Examples.ex1_minimumMaxLeafFormal.DSTGraph.Examples.ex1_not_steiner_emptyMaxLeafFormal.DSTGraph.Examples.ex1_psiMaxLeafFormal.DSTGraph.Examples.ex2_gMaxLeafFormal.DSTGraph.Examples.ex2_leafMaxLeafFormal.DSTGraph.Examples.ex3_gMaxLeafFormal.DSTGraph.Examples.ex3_psiMaxLeafFormal.DSTGraph.Examples.ex4_strictMaxLeafFormal.DSTGraph.Examples.ex5_gMaxLeafFormal.DSTGraph.Examples.ex6_gMaxLeafFormal.DSTGraph.Examples.ex7_reachPartMaxLeafFormal.DSTGraph.Examples.ex_noLeafMaxLeafFormal.DSTGraph.Examples.ofArcsMaxLeafFormal.DSTGraph.KbarMaxLeafFormal.DSTGraph.KbarRMaxLeafFormal.DSTGraph.NoSteinerLeafGMaxLeafFormal.DSTGraph.OutArbMaxLeafFormal.DSTGraph.PsiGMaxLeafFormal.DSTGraph.ReachInMaxLeafFormal.DSTGraph.ReachIn.mem_of_back_closedMaxLeafFormal.DSTGraph.ReachIn.mem_of_closedMaxLeafFormal.DSTGraph.ReachIn.mem_rightMaxLeafFormal.DSTGraph.ReachIn.of_memMaxLeafFormal.DSTGraph.ReachIn.tail_adjMaxLeafFormal.DSTGraph.ReachIn.transMaxLeafFormal.DSTGraph.RootedMaxLeafFormal.DSTGraph.SteinerMaxLeafFormal.DSTGraph.WAgMaxLeafFormal.DSTGraph.WSMaxLeafFormal.DSTGraph.WS_eq_MLS_WMaxLeafFormal.DSTGraph.exists_outArbMaxLeafFormal.DSTGraph.exists_rtreeMaxLeafFormal.DSTGraph.exists_topMaxLeafFormal.DSTGraph.fa_dst_WMaxLeafFormal.DSTGraph.fa_dst_WS_certMaxLeafFormal.DSTGraph.fa_dst_WS_minimumMaxLeafFormal.DSTGraph.fa_dst_pointMaxLeafFormal.DSTGraph.fa_dst_point_eqMaxLeafFormal.DSTGraph.gDSTMaxLeafFormal.DSTGraph.gDST_eq_zero_ofMaxLeafFormal.DSTGraph.mem_DsetMaxLeafFormal.DSTGraph.mem_KbarMaxLeafFormal.DSTGraph.mem_KbarRMaxLeafFormal.DSTGraph.mem_nontermMaxLeafFormal.DSTGraph.mem_of_mem_sourceCompsMaxLeafFormal.DSTGraph.mem_sccMaxLeafFormal.DSTGraph.mem_sourceCompsMaxLeafFormal.DSTGraph.minimum_steiner_rooted_minimalMaxLeafFormal.DSTGraph.noSteinerLeaf_of_minimalMaxLeafFormal.DSTGraph.nontermMaxLeafFormal.DSTGraph.r_mem_KbarMaxLeafFormal.DSTGraph.reachPartMaxLeafFormal.DSTGraph.reachPart_rootedMaxLeafFormal.DSTGraph.rooted_minimal_of_minimal_steinerMaxLeafFormal.DSTGraph.sccMaxLeafFormal.DSTGraph.scc_eq_of_memMaxLeafFormal.DSTGraph.scc_selfMaxLeafFormal.DSTGraph.sourceCompsMaxLeafFormal.DSTGraph.sourceComps_eq_singleMaxLeafFormal.DSTGraph.steiner_of_rootedMaxLeafFormal.DSTGraph.strong_of_adjMaxLeafFormal.DetRate.aff_leMaxLeafFormal.DetRate.bound_ltMaxLeafFormal.DetRate.chiMaxLeafFormal.DetRate.chiAMaxLeafFormal.DetRate.chiA_eq_logb_two_mulMaxLeafFormal.DetRate.chiA_le_of_endpointsMaxLeafFormal.DetRate.chiA_succ_leftMaxLeafFormal.DetRate.chiA_two_y0MaxLeafFormal.DetRate.chi_eq_chiAMaxLeafFormal.DetRate.chi_eq_chiA_of_floorMaxLeafFormal.DetRate.det_certMaxLeafFormal.DetRate.ep_1_leftMaxLeafFormal.DetRate.ep_1_rightMaxLeafFormal.DetRate.ep_3_leftMaxLeafFormal.DetRate.ep_3_rightMaxLeafFormal.DetRate.ep_4_leftMaxLeafFormal.DetRate.ep_4_rightMaxLeafFormal.DetRate.ep_5_leftMaxLeafFormal.DetRate.ep_5_rightMaxLeafFormal.DetRate.ep_6_leftMaxLeafFormal.DetRate.ep_6_rightMaxLeafFormal.DetRate.ep_genMaxLeafFormal.DetRate.logb_endpointMaxLeafFormal.DetRate.logb_mono_boundMaxLeafFormal.Enclose.H2QMaxLeafFormal.Enclose.H2Q_soundMaxLeafFormal.Enclose.QIMaxLeafFormal.Enclose.QI.ContainsMaxLeafFormal.Enclose.QI.addMaxLeafFormal.Enclose.QI.add_soundMaxLeafFormal.Enclose.QI.divMaxLeafFormal.Enclose.QI.div_soundMaxLeafFormal.Enclose.QI.mulMaxLeafFormal.Enclose.QI.mul_soundMaxLeafFormal.Enclose.QI.negMaxLeafFormal.Enclose.QI.neg_soundMaxLeafFormal.Enclose.QI.ptMaxLeafFormal.Enclose.QI.pt_soundMaxLeafFormal.Enclose.QI.roundMaxLeafFormal.Enclose.QI.round_soundMaxLeafFormal.Enclose.QI.smulMaxLeafFormal.Enclose.QI.smul_soundMaxLeafFormal.Enclose.QI.subMaxLeafFormal.Enclose.QI.sub_soundMaxLeafFormal.Enclose.abs_cast_leMaxLeafFormal.Enclose.enc_cornerMaxLeafFormal.Enclose.enc_div_lowerMaxLeafFormal.Enclose.enc_div_upperMaxLeafFormal.Enclose.enc_mul_memMaxLeafFormal.Enclose.enc_mul_mem'MaxLeafFormal.Enclose.enc_sqrt_bracketMaxLeafFormal.Enclose.entQMaxLeafFormal.Enclose.entQ_soundMaxLeafFormal.Enclose.expErrMaxLeafFormal.Enclose.expErr_castMaxLeafFormal.Enclose.expIMaxLeafFormal.Enclose.expI_soundMaxLeafFormal.Enclose.expQMaxLeafFormal.Enclose.expQ_soundMaxLeafFormal.Enclose.expSeriesMaxLeafFormal.Enclose.expSeries_castMaxLeafFormal.Enclose.expSeries_succMaxLeafFormal.Enclose.exp_coreMaxLeafFormal.Enclose.halvingsMaxLeafFormal.Enclose.ilog2MaxLeafFormal.Enclose.isqrtMaxLeafFormal.Enclose.isqrtAuxMaxLeafFormal.Enclose.le_rupMaxLeafFormal.Enclose.ln2PosMaxLeafFormal.Enclose.ln2Pos_sound'MaxLeafFormal.Enclose.ln2QMaxLeafFormal.Enclose.ln2Q_soundMaxLeafFormal.Enclose.lnIMaxLeafFormal.Enclose.lnI_soundMaxLeafFormal.Enclose.lnQMaxLeafFormal.Enclose.lnQ_mainMaxLeafFormal.Enclose.lnQ_soundMaxLeafFormal.Enclose.log2IMaxLeafFormal.Enclose.log2I_soundMaxLeafFormal.Enclose.log2QMaxLeafFormal.Enclose.log2Q_soundMaxLeafFormal.Enclose.logErrMaxLeafFormal.Enclose.logErr_castMaxLeafFormal.Enclose.logSeriesMaxLeafFormal.Enclose.logSeries_castMaxLeafFormal.Enclose.logSeries_succMaxLeafFormal.Enclose.log_splitMaxLeafFormal.Enclose.max_zero_cast_leMaxLeafFormal.Enclose.negLog1mQMaxLeafFormal.Enclose.negLog1mQ_soundMaxLeafFormal.Enclose.negLog_lowerMaxLeafFormal.Enclose.negLog_upperMaxLeafFormal.Enclose.neg_log_one_sub_invMaxLeafFormal.Enclose.pow2QMaxLeafFormal.Enclose.pow2Q_soundMaxLeafFormal.Enclose.rdnMaxLeafFormal.Enclose.rdn_leMaxLeafFormal.Enclose.rdn_nonnegMaxLeafFormal.Enclose.redExpMaxLeafFormal.Enclose.rupMaxLeafFormal.Enclose.sqIterMaxLeafFormal.Enclose.sqIter_soundMaxLeafFormal.Enclose.sqrtIMaxLeafFormal.Enclose.sqrtI_soundMaxLeafFormal.Enclose.sqrtQMaxLeafFormal.Enclose.sqrtQ_soundMaxLeafFormal.Lobster.MMaxLeafFormal.Lobster.M_le_MMaxLeafFormal.Lobster.M_mulVecMaxLeafFormal.Lobster.M_mulVec_coordMaxLeafFormal.Lobster.M_nonnegMaxLeafFormal.Lobster.all_cells_okMaxLeafFormal.Lobster.cellOKMaxLeafFormal.Lobster.cell_boundMaxLeafFormal.Lobster.cells0MaxLeafFormal.Lobster.cells0_okMaxLeafFormal.Lobster.cells1MaxLeafFormal.Lobster.cells1_okMaxLeafFormal.Lobster.cells2MaxLeafFormal.Lobster.cells2_okMaxLeafFormal.Lobster.cells3MaxLeafFormal.Lobster.cells3_okMaxLeafFormal.Lobster.cells4MaxLeafFormal.Lobster.cells4_okMaxLeafFormal.Lobster.cells5MaxLeafFormal.Lobster.cells5_okMaxLeafFormal.Lobster.cells6MaxLeafFormal.Lobster.cells6_okMaxLeafFormal.Lobster.cells7MaxLeafFormal.Lobster.cells7_okMaxLeafFormal.Lobster.cells8MaxLeafFormal.Lobster.cells8_okMaxLeafFormal.Lobster.cells9MaxLeafFormal.Lobster.cells9_okMaxLeafFormal.Lobster.chainOKMaxLeafFormal.Lobster.chain_coverMaxLeafFormal.Lobster.chain_okMaxLeafFormal.Lobster.chunksMaxLeafFormal.Lobster.fMaxLeafFormal.Lobster.f_dotMaxLeafFormal.Lobster.iter_monoMaxLeafFormal.Lobster.iter_nonnegMaxLeafFormal.Lobster.lamUpMaxLeafFormal.Lobster.lobster_lowerMaxLeafFormal.Lobster.lobster_upperMaxLeafFormal.Lobster.lower_coreMaxLeafFormal.Lobster.mulVec_apply3MaxLeafFormal.Lobster.mulVec_mono_matMaxLeafFormal.Lobster.mulVec_nonneg3MaxLeafFormal.Lobster.qMaxLeafFormal.Lobster.toTMaxLeafFormal.Lobster.uMaxLeafFormal.Lobster.uQMaxLeafFormal.Lobster.uQ_castMaxLeafFormal.Lobster.u_eqMaxLeafFormal.Lobster.u_monoMaxLeafFormal.Lobster.u_nonnegMaxLeafFormal.Lobster.upperOKMaxLeafFormal.Lobster.upper_coreMaxLeafFormal.Lobster.upper_okMaxLeafFormal.Lobster.upper_realMaxLeafFormal.Lobster.vUpMaxLeafFormal.LobsterGraph.LamMaxLeafFormal.LobsterGraph.SstarMaxLeafFormal.LobsterGraph.card_LamMaxLeafFormal.LobsterGraph.card_SstarMaxLeafFormal.LobsterGraph.isTree_of_parentMaxLeafFormal.LobsterGraph.lam_adj_iffMaxLeafFormal.LobsterGraph.lobBlkMaxLeafFormal.LobsterGraph.lobBlkAMaxLeafFormal.LobsterGraph.lobBlk_lastMaxLeafFormal.LobsterGraph.lobBlk_succMaxLeafFormal.LobsterGraph.lobBlk_zeroMaxLeafFormal.LobsterGraph.lobEdgeMaxLeafFormal.LobsterGraph.lobFMaxLeafFormal.LobsterGraph.lobF_adjMaxLeafFormal.LobsterGraph.lobF_adj_iffMaxLeafFormal.LobsterGraph.lobF_adj_valMaxLeafFormal.LobsterGraph.lobF_isTreeMaxLeafFormal.LobsterGraph.lobNuMaxLeafFormal.LobsterGraph.lobNu_eqMaxLeafFormal.LobsterGraph.lobOMaxLeafFormal.LobsterGraph.lobO_blkMaxLeafFormal.LobsterGraph.lobO_roleMaxLeafFormal.LobsterGraph.lobOwnerMaxLeafFormal.LobsterGraph.lobOwner_adjMaxLeafFormal.LobsterGraph.lobOwner_blkMaxLeafFormal.LobsterGraph.lobOwner_cardMaxLeafFormal.LobsterGraph.lobOwner_roleMaxLeafFormal.LobsterGraph.lobOwner_uniqMaxLeafFormal.LobsterGraph.lobPMaxLeafFormal.LobsterGraph.lobP_blkMaxLeafFormal.LobsterGraph.lobP_roleMaxLeafFormal.LobsterGraph.lobRankMaxLeafFormal.LobsterGraph.lobRank_ltMaxLeafFormal.LobsterGraph.lobRelMaxLeafFormal.LobsterGraph.lobRootMaxLeafFormal.LobsterGraph.lobVMaxLeafFormal.LobsterGraph.lobV_blkMaxLeafFormal.LobsterGraph.lobV_roleMaxLeafFormal.LobsterGraph.lobW_eq_matrixMaxLeafFormal.LobsterGraph.lobW_eq_treeWMaxLeafFormal.LobsterGraph.lob_moments_lowerMaxLeafFormal.LobsterGraph.lob_moments_upperMaxLeafFormal.LobsterGraph.lob_parMaxLeafFormal.LobsterGraph.lob_par_roleMaxLeafFormal.LobsterGraph.lob_termCount_eqMaxLeafFormal.LobsterGraph.lob_treeW_eqMaxLeafFormal.LobsterGraph.lob_triple_AMaxLeafFormal.LobsterGraph.lob_triple_blkMaxLeafFormal.LobsterGraph.mem_SstarMaxLeafFormal.LobsterGraph.mu_mul_pow_le_WMaxLeafFormal.LobsterGraph.out_eq_iffMaxLeafFormal.LobsterGraph.par_eq_of_parentMaxLeafFormal.LobsterGraph.pow_le_choose_mulMaxLeafFormal.LobsterGraph.rst_caterpillar_cMaxLeafFormal.LobsterGraph.rst_caterpillar_c_of_agreeMaxLeafFormal.LobsterGraph.sstar_eq_iffMaxLeafFormal.LobsterGraph.termCount_congrMaxLeafFormal.LobsterGraph.tree_reduction_eqMaxLeafFormal.MLS.AcceptsMaxLeafFormal.MLS.ExtYesMaxLeafFormal.MLS.FstarMaxLeafFormal.MLS.H2MaxLeafFormal.MLS.SlotMaxLeafFormal.MLS.StarMaxLeafFormal.MLS.WMaxLeafFormal.MLS.W_eq_sum_muMaxLeafFormal.MLS.capMaxLeafFormal.MLS.cap_pow_leMaxLeafFormal.MLS.continuous_fClosedMaxLeafFormal.MLS.dClosedMaxLeafFormal.MLS.dClosed_eqMaxLeafFormal.MLS.dClosed_negMaxLeafFormal.MLS.dClosed_posMaxLeafFormal.MLS.fClosedMaxLeafFormal.MLS.fClosed_zeroMaxLeafFormal.MLS.fσMaxLeafFormal.MLS.fσ_eq_closedMaxLeafFormal.MLS.hasDerivAt_fClosedMaxLeafFormal.MLS.linear_savings_WMaxLeafFormal.MLS.mls_budgetMaxLeafFormal.MLS.mls_soundMaxLeafFormal.MLS.mls_successMaxLeafFormal.MLS.mls_success_of_meanMaxLeafFormal.MLS.muMaxLeafFormal.MLS.mu_ge_of_meanMaxLeafFormal.MLS.one_sample_sizeMaxLeafFormal.MLS.onesize_coreMaxLeafFormal.MLS.star_of_WMaxLeafFormal.MLS.threshold_selectionMaxLeafFormal.MLS.threshold_upperMaxLeafFormal.MLS.trialMeasureMaxLeafFormal.MLS.trialMeasure_factor_probMaxLeafFormal.MLS.trialsMaxLeafFormal.MLS.τstarMaxLeafFormal.MLSNec.Aux.W_nonnegMaxLeafFormal.MLSNec.Aux.mu_nonnegMaxLeafFormal.MLSNec.Aux.one_add_pow_leMaxLeafFormal.MLSNec.PnecMaxLeafFormal.MLSNec.fw_gf_upperMaxLeafFormal.MLSNec.mls_necessaryMaxLeafFormal.MLSNec.mu_mul_pow_le_WMaxLeafFormal.MLSNec.pow_le_choose_mulMaxLeafFormal.MLSNec.trialMeasure_card_nullMaxLeafFormal.PDGraph.Aux.N_factorMaxLeafFormal.PDGraph.Aux.Sstar_mem_iffMaxLeafFormal.PDGraph.Aux.argmin_strictMaxLeafFormal.PDGraph.Aux.card_SstarMaxLeafFormal.PDGraph.Aux.card_ctrPairsMaxLeafFormal.PDGraph.Aux.card_dstarMaxLeafFormal.PDGraph.Aux.card_inter_pairMaxLeafFormal.PDGraph.Aux.ctrAncMaxLeafFormal.PDGraph.Aux.ctrPairsMaxLeafFormal.PDGraph.Aux.ctr_anchorMaxLeafFormal.PDGraph.Aux.ctr_degMaxLeafFormal.PDGraph.Aux.ctr_pairingMaxLeafFormal.PDGraph.Aux.den_posMaxLeafFormal.PDGraph.Aux.dom_SstarMaxLeafFormal.PDGraph.Aux.dsAdj_iffMaxLeafFormal.PDGraph.Aux.dsCoverMaxLeafFormal.PDGraph.Aux.dsE01MaxLeafFormal.PDGraph.Aux.dsEdge_irreflMaxLeafFormal.PDGraph.Aux.dsPend2MaxLeafFormal.PDGraph.Aux.dsPend4MaxLeafFormal.PDGraph.Aux.ds_anc_edgeMaxLeafFormal.PDGraph.Aux.ds_pend_eqMaxLeafFormal.PDGraph.Aux.exists_matchingMaxLeafFormal.PDGraph.Aux.hasDeriv_posMaxLeafFormal.PDGraph.Aux.hpd6_antiMaxLeafFormal.PDGraph.Aux.hpd6_contMaxLeafFormal.PDGraph.Aux.hpd6_funMaxLeafFormal.PDGraph.Aux.hpd6_monoMaxLeafFormal.PDGraph.Aux.mem_of_pendantMaxLeafFormal.PDGraph.Aux.pair_boundMaxLeafFormal.PDGraph.Aux.pend_adj_fourMaxLeafFormal.PDGraph.Aux.pend_adj_twoMaxLeafFormal.PDGraph.Aux.point_factorMaxLeafFormal.PDGraph.Aux.prob_leMaxLeafFormal.PDGraph.Aux.sqrt3_gt_oneMaxLeafFormal.PDGraph.Aux.sqrt3_sqMaxLeafFormal.PDGraph.Aux.sum_powerset_blocksMaxLeafFormal.PDGraph.Aux.sum_powerset_unionMaxLeafFormal.PDGraph.Aux.two_rpow_neg_natMaxLeafFormal.PDGraph.Aux.und_eqMaxLeafFormal.PDGraph.Aux.ystar_posMaxLeafFormal.PDGraph.Examples.dsAncMaxLeafFormal.PDGraph.Examples.ex1_rate_WMaxLeafFormal.PDGraph.Examples.ex2_pointMaxLeafFormal.PDGraph.Examples.ex3_pathMaxLeafFormal.PDGraph.Examples.ex4_tight_probMaxLeafFormal.PDGraph.Examples.ex5_successMaxLeafFormal.PDGraph.Examples.ex6_boundaryMaxLeafFormal.PDGraph.Examples.pathAncMaxLeafFormal.PDGraph.Examples.pathGMaxLeafFormal.PDGraph.IsAnchorMaxLeafFormal.PDGraph.IsDominatingMaxLeafFormal.PDGraph.IsPairedDomMaxLeafFormal.PDGraph.IsPairingMaxLeafFormal.PDGraph.IsPairing.eq_of_memMaxLeafFormal.PDGraph.IsPairing.fst_ne_sndMaxLeafFormal.PDGraph.IsPairing.sum_endsMaxLeafFormal.PDGraph.SstarMaxLeafFormal.PDGraph.Sstar_subsetMaxLeafFormal.PDGraph.ancDegMaxLeafFormal.PDGraph.ancDeg.sum_eqMaxLeafFormal.PDGraph.card_eq_sum_pairsMaxLeafFormal.PDGraph.dsEdgeMaxLeafFormal.PDGraph.dstarGraphMaxLeafFormal.PDGraph.dstarGraph_noIsolatedMaxLeafFormal.PDGraph.exists_anchorMaxLeafFormal.PDGraph.exists_pairedDomMaxLeafFormal.PDGraph.fa_pd_tightMaxLeafFormal.PDGraph.hpd6_eqMaxLeafFormal.PDGraph.matching_of_pairingMaxLeafFormal.PDGraph.noIsolated_of_pairedDomMaxLeafFormal.PDGraph.pairing_of_matchingMaxLeafFormal.PDGraph.pdGMaxLeafFormal.PDGraph.pdRhsMaxLeafFormal.PDGraph.pdWMaxLeafFormal.PDGraph.pdW_eqMaxLeafFormal.PDGraph.pd_pointMaxLeafFormal.PDGraph.pd_point_factorMaxLeafFormal.PDGraph.pd_rate_WMaxLeafFormal.PDGraph.pd_starMaxLeafFormal.PDGraph.pd_successMaxLeafFormal.PDGraph.pd_tight_WMaxLeafFormal.PDGraph.pd_tight_W_leMaxLeafFormal.PDGraph.pd_tight_acceptsMaxLeafFormal.PDGraph.pd_tight_argminMaxLeafFormal.PDGraph.pd_tight_critMaxLeafFormal.PDGraph.pd_tight_minMaxLeafFormal.PDGraph.pd_tight_momentsMaxLeafFormal.PDGraph.pd_tight_probMaxLeafFormal.PDGraph.pd_tight_ratioMaxLeafFormal.PDGraph.pd_tight_uniqueMaxLeafFormal.PDGraph.undMaxLeafFormal.PDGraph.ΩpairMaxLeafFormal.PDGraph.Ωpair_amgmMaxLeafFormal.PDRate.finite_checkMaxLeafFormal.PDRate.hpdMaxLeafFormal.PDRate.hpd_tailMaxLeafFormal.PDRate.pdA6_posMaxLeafFormal.PDRate.pdArgMaxLeafFormal.PDRate.pdArg_soundMaxLeafFormal.PDRate.pdC1MaxLeafFormal.PDRate.pdC2MaxLeafFormal.PDRate.pdC3MaxLeafFormal.PDRate.pdC4MaxLeafFormal.PDRate.pdHMaxLeafFormal.PDRate.pdH6_containsMaxLeafFormal.PDRate.pdH6_hiMaxLeafFormal.PDRate.pdH6_loMaxLeafFormal.PDRate.pdH_soundMaxLeafFormal.PDRate.pdTailMaxLeafFormal.PDRate.pdTail_ltMaxLeafFormal.PDRate.pdYMaxLeafFormal.PDRate.pdY_hi_ltMaxLeafFormal.PDRate.pdY_lo_posMaxLeafFormal.PDRate.pdY_soundMaxLeafFormal.PDRate.pd_constantsMaxLeafFormal.PDRate.pd_rateMaxLeafFormal.PDRate.qR_le_ofMaxLeafFormal.PDRate.qR_lt_ofMaxLeafFormal.PDRate.ystarMaxLeafFormal.PDRate.ωprMaxLeafFormal.RSCCert.AdmAllMaxLeafFormal.RSCCert.AdmAll_iffMaxLeafFormal.RSCCert.AdmAtMaxLeafFormal.RSCCert.AdmissibleMaxLeafFormal.RSCCert.C5_of_stagesMaxLeafFormal.RSCCert.CreditsMaxLeafFormal.RSCCert.IsStagesMaxLeafFormal.RSCCert.Kpos_convexMaxLeafFormal.RSCCert.Kpos_isClosedMaxLeafFormal.RSCCert.Kpos_of_genMaxLeafFormal.RSCCert.LabelMaxLeafFormal.RSCCert.Light₂MaxLeafFormal.RSCCert.Light₃MaxLeafFormal.RSCCert.bconstMaxLeafFormal.RSCCert.c1_gen_diff_memMaxLeafFormal.RSCCert.c1_sum_unitVecMaxLeafFormal.RSCCert.c1_unitVec_nonnegMaxLeafFormal.RSCCert.certificate_conditionsMaxLeafFormal.RSCCert.certificate_conditions_ofMaxLeafFormal.RSCCert.cgS2MaxLeafFormal.RSCCert.cgS5MaxLeafFormal.RSCCert.cgS6MaxLeafFormal.RSCCert.chiSMaxLeafFormal.RSCCert.chiS_nonnegMaxLeafFormal.RSCCert.degMaxLeafFormal.RSCCert.delta₂MaxLeafFormal.RSCCert.delta₃MaxLeafFormal.RSCCert.dualLMaxLeafFormal.RSCCert.epsMaxLeafFormal.RSCCert.genMaxLeafFormal.RSCCert.gen_mem_KposMaxLeafFormal.RSCCert.gen_of_KposMaxLeafFormal.RSCCert.initMaxLeafFormal.RSCCert.init_memMaxLeafFormal.RSCCert.init_nonnegMaxLeafFormal.RSCCert.isStages_C5MaxLeafFormal.RSCCert.jOfMaxLeafFormal.RSCCert.mergeMaxLeafFormal.RSCCert.mergeAllMaxLeafFormal.RSCCert.mergeAll_appendMaxLeafFormal.RSCCert.mergeAll_consMaxLeafFormal.RSCCert.mergeAll_eq_smul_foldlMaxLeafFormal.RSCCert.mergeAll_memMaxLeafFormal.RSCCert.mergeAll_nilMaxLeafFormal.RSCCert.merge_Kpos_leftMaxLeafFormal.RSCCert.merge_Kpos_rightMaxLeafFormal.RSCCert.merge_add_leftMaxLeafFormal.RSCCert.merge_add_rightMaxLeafFormal.RSCCert.merge_eq_antinorm8MaxLeafFormal.RSCCert.merge_hullMaxLeafFormal.RSCCert.merge_mem_smul_PZMaxLeafFormal.RSCCert.merge_nonnegMaxLeafFormal.RSCCert.merge_smul_leftMaxLeafFormal.RSCCert.merge_smul_rightMaxLeafFormal.RSCCert.messageMaxLeafFormal.RSCCert.message_memMaxLeafFormal.RSCCert.message_nodeMaxLeafFormal.RSCCert.message_nonnegMaxLeafFormal.RSCCert.nuSumMaxLeafFormal.RSCCert.nuSumAllMaxLeafFormal.RSCCert.nuSumAll_appendMaxLeafFormal.RSCCert.nuSumAll_consMaxLeafFormal.RSCCert.nuSum_nodeMaxLeafFormal.RSCCert.rho₁MaxLeafFormal.RSCCert.rsc_cone_aMaxLeafFormal.RSCCert.rsc_cone_bMaxLeafFormal.RSCCert.rsc_cone_cMaxLeafFormal.RSCCert.sum_merge_leftMaxLeafFormal.RSCCert.unitVecMaxLeafFormal.RSCCert.upset_of_coversMaxLeafFormal.RSCCheck.ChainFactMaxLeafFormal.RSCCheck.IPtMaxLeafFormal.RSCCheck.LeafFactMaxLeafFormal.RSCCheck.StageFactMaxLeafFormal.RSCCheck.agg_getD_okPtsMaxLeafFormal.RSCCheck.agg_stage_auxMaxLeafFormal.RSCCheck.c1_of_blocksMaxLeafFormal.RSCCheck.card_finsetOf_of_sortedMaxLeafFormal.RSCCheck.chain1_tableMaxLeafFormal.RSCCheck.chainFact_of_stagesMaxLeafFormal.RSCCheck.chain_stages_tableMaxLeafFormal.RSCCheck.chain_vlistMaxLeafFormal.RSCCheck.checkBlockMaxLeafFormal.RSCCheck.checkBlock_soundMaxLeafFormal.RSCCheck.checkC2MaxLeafFormal.RSCCheck.checkC2_soundMaxLeafFormal.RSCCheck.checkCZMaxLeafFormal.RSCCheck.checkCZ_soundMaxLeafFormal.RSCCheck.checkChain1MaxLeafFormal.RSCCheck.checkChain1_soundMaxLeafFormal.RSCCheck.checkLattice4MaxLeafFormal.RSCCheck.checkLattice4_soundMaxLeafFormal.RSCCheck.checkLattice5MaxLeafFormal.RSCCheck.checkLattice5_soundMaxLeafFormal.RSCCheck.checkLeavesMaxLeafFormal.RSCCheck.checkLeaves_soundMaxLeafFormal.RSCCheck.checkStagesMaxLeafFormal.RSCCheck.checkStages_soundMaxLeafFormal.RSCCheck.checkZMaxLeafFormal.RSCCheck.checkZ_finMaxLeafFormal.RSCCheck.checkZ_lengthMaxLeafFormal.RSCCheck.checkZ_nodupMaxLeafFormal.RSCCheck.checkZ_okPtsMaxLeafFormal.RSCCheck.chunks32MaxLeafFormal.RSCCheck.chunksAuxMaxLeafFormal.RSCCheck.combIMaxLeafFormal.RSCCheck.combWitnessMaxLeafFormal.RSCCheck.combWitness_soundMaxLeafFormal.RSCCheck.compPtMaxLeafFormal.RSCCheck.cover_blocksMaxLeafFormal.RSCCheck.decodeChain1MaxLeafFormal.RSCCheck.decodeCombsMaxLeafFormal.RSCCheck.decodeLeafMaxLeafFormal.RSCCheck.decodePtMaxLeafFormal.RSCCheck.domMaxLeafFormal.RSCCheck.dom_aux_coeMaxLeafFormal.RSCCheck.dom_aux_convMaxLeafFormal.RSCCheck.dom_aux_getDMaxLeafFormal.RSCCheck.dom_aux_map_getDMaxLeafFormal.RSCCheck.dom_aux_nonnegMaxLeafFormal.RSCCheck.dom_aux_okdimsMaxLeafFormal.RSCCheck.dom_aux_specMaxLeafFormal.RSCCheck.dom_aux_val_memMaxLeafFormal.RSCCheck.dom_soundMaxLeafFormal.RSCCheck.eDMaxLeafFormal.RSCCheck.eNMaxLeafFormal.RSCCheck.ehat_eqMaxLeafFormal.RSCCheck.famLMaxLeafFormal.RSCCheck.fam_finsetOf_nonnegMaxLeafFormal.RSCCheck.fam_inf_memMaxLeafFormal.RSCCheck.fam_leaf_memMaxLeafFormal.RSCCheck.fam_mem_finsetOfMaxLeafFormal.RSCCheck.finNMaxLeafFormal.RSCCheck.fin_valMaxLeafFormal.RSCCheck.finsetOfMaxLeafFormal.RSCCheck.finsetOf_initIMaxLeafFormal.RSCCheck.finsetOf_nilMaxLeafFormal.RSCCheck.foldl_mem_PZMaxLeafFormal.RSCCheck.foldl_merge_add_leftMaxLeafFormal.RSCCheck.foldl_merge_smul_leftMaxLeafFormal.RSCCheck.forall_lt_of_forall_rangeMaxLeafFormal.RSCCheck.forall_mem_append'MaxLeafFormal.RSCCheck.getD_map_finsetOfMaxLeafFormal.RSCCheck.getPtMaxLeafFormal.RSCCheck.getPt_chunks32MaxLeafFormal.RSCCheck.getPt_chunksAux_auxMaxLeafFormal.RSCCheck.inKMaxLeafFormal.RSCCheck.inK_soundMaxLeafFormal.RSCCheck.init00_memMaxLeafFormal.RSCCheck.initIMaxLeafFormal.RSCCheck.initInfIMaxLeafFormal.RSCCheck.init_eq_vecNMaxLeafFormal.RSCCheck.isStages_of_factsMaxLeafFormal.RSCCheck.jTargetMaxLeafFormal.RSCCheck.kpos_of_peelMaxLeafFormal.RSCCheck.latOK4MaxLeafFormal.RSCCheck.latOK5MaxLeafFormal.RSCCheck.lattice4MaxLeafFormal.RSCCheck.lattice5MaxLeafFormal.RSCCheck.leaf_tableMaxLeafFormal.RSCCheck.list8_of_lengthMaxLeafFormal.RSCCheck.ltLexMaxLeafFormal.RSCCheck.ltLex_lexMaxLeafFormal.RSCCheck.ltLex_vlistMaxLeafFormal.RSCCheck.mem_lattice4MaxLeafFormal.RSCCheck.mem_lattice5MaxLeafFormal.RSCCheck.mergeIMaxLeafFormal.RSCCheck.mergeNMaxLeafFormal.RSCCheck.nodup_val_of_sortedMaxLeafFormal.RSCCheck.nodup_vlistMaxLeafFormal.RSCCheck.okPtMaxLeafFormal.RSCCheck.okPt_initIMaxLeafFormal.RSCCheck.okPt_initInfIMaxLeafFormal.RSCCheck.okPt_mergeIMaxLeafFormal.RSCCheck.okPt_parts_auxMaxLeafFormal.RSCCheck.okPt_posMaxLeafFormal.RSCCheck.okPtsMaxLeafFormal.RSCCheck.okPts_of_subsetMaxLeafFormal.RSCCheck.rsc4_datMaxLeafFormal.RSCCheck.rsc4_pointMaxLeafFormal.RSCCheck.rsc4_shape4MaxLeafFormal.RSCCheck.rsc5_chainMaxLeafFormal.RSCCheck.rsc5_convex_sumMaxLeafFormal.RSCCheck.rsc5_finset_nonnegMaxLeafFormal.RSCCheck.rsc5_foldl_convMaxLeafFormal.RSCCheck.rsc5_foldl_sumMaxLeafFormal.RSCCheck.rsc5_list_sum_eqMaxLeafFormal.RSCCheck.rsc5_pointMaxLeafFormal.RSCCheck.rsc5_shape5MaxLeafFormal.RSCCheck.rsc5_smul_sumMaxLeafFormal.RSCCheck.scGMaxLeafFormal.RSCCheck.scG_specMaxLeafFormal.RSCCheck.scSMaxLeafFormal.RSCCheck.scS_specMaxLeafFormal.RSCCheck.sc_listSumMaxLeafFormal.RSCCheck.sc_uF_ratioMaxLeafFormal.RSCCheck.sc_wF_ratioMaxLeafFormal.RSCCheck.sortedZMaxLeafFormal.RSCCheck.stage_X_okMaxLeafFormal.RSCCheck.stage_Yt_okMaxLeafFormal.RSCCheck.stage_of_blocksMaxLeafFormal.RSCCheck.stages_oneMaxLeafFormal.RSCCheck.stages_twoMaxLeafFormal.RSCCheck.takeCombMaxLeafFormal.RSCCheck.takeCompMaxLeafFormal.RSCCheck.uFMaxLeafFormal.RSCCheck.valMaxLeafFormal.RSCCheck.val_initIMaxLeafFormal.RSCCheck.val_initInfIMaxLeafFormal.RSCCheck.val_mergeIMaxLeafFormal.RSCCheck.val_nonnegMaxLeafFormal.RSCCheck.vecNMaxLeafFormal.RSCCheck.vecN_addMaxLeafFormal.RSCCheck.vecN_smulMaxLeafFormal.RSCCheck.vecN_zeroMaxLeafFormal.RSCCheck.vlistMaxLeafFormal.RSCCheck.vlist_eq_of_valMaxLeafFormal.RSCCheck.wFMaxLeafFormal.RSCCheck.zeroIMaxLeafFormal.RSCCompose.Wcl_eqMaxLeafFormal.RSCCompose.cand_eqMaxLeafFormal.RSCCompose.closureProb_eq_prodMeasMaxLeafFormal.RSCCompose.nbrCount_eqMaxLeafFormal.RSCCompose.pk_eq_of_two_leMaxLeafFormal.RSCCompose.rsc_bound_trialsMaxLeafFormal.RSCCompose.rsc_maxLeaf_of_dataMaxLeafFormal.RSCCompose.rsc_rho_ltMaxLeafFormal.RSCCompose.rsc_success_of_dataMaxLeafFormal.RSCFinal.certZMaxLeafFormal.RSCFinal.certZ_C1MaxLeafFormal.RSCFinal.certZ_C2MaxLeafFormal.RSCFinal.certZ_C4MaxLeafFormal.RSCFinal.certZ_C5MaxLeafFormal.RSCFinal.certZ_cZMaxLeafFormal.RSCFinal.certZ_cZ_digitsMaxLeafFormal.RSCFinal.certZ_cZ_eqMaxLeafFormal.RSCFinal.certZ_cardMaxLeafFormal.RSCFinal.certZ_init00MaxLeafFormal.RSCFinal.certZ_nonemptyMaxLeafFormal.RSCFinal.certZ_nonnegMaxLeafFormal.RSCFinal.certZ_rationalMaxLeafFormal.RSCFinal.rsc_certMaxLeafFormal.RSCFinal.rsc_cert_fullMaxLeafFormal.RSCFinal.rsc_j_oneMaxLeafFormal.RSCFinal.rsc_stage_jMaxLeafFormal.RSCFinal.rsc_tree_boundMaxLeafFormal.RSCGraph.EQ2MaxLeafFormal.RSCGraph.EQ3MaxLeafFormal.RSCGraph.EQexMaxLeafFormal.RSCGraph.IsLeafInMaxLeafFormal.RSCGraph.LightTMaxLeafFormal.RSCGraph.NSMaxLeafFormal.RSCGraph.NprimeMaxLeafFormal.RSCGraph.OcoMaxLeafFormal.RSCGraph.OexRuleMaxLeafFormal.RSCGraph.OutMaxLeafFormal.RSCGraph.OwnerOKMaxLeafFormal.RSCGraph.OwnerRuleMaxLeafFormal.RSCGraph.PrivateMaxLeafFormal.RSCGraph.WclMaxLeafFormal.RSCGraph.bound_of_tree_boundMaxLeafFormal.RSCGraph.cOfMaxLeafFormal.RSCGraph.candMaxLeafFormal.RSCGraph.deg_pos_of_connMaxLeafFormal.RSCGraph.deltaTMaxLeafFormal.RSCGraph.dist_up_of_pathMaxLeafFormal.RSCGraph.exists_ownerOKMaxLeafFormal.RSCGraph.exists_ownerRuleMaxLeafFormal.RSCGraph.hbarMaxLeafFormal.RSCGraph.hfacMaxLeafFormal.RSCGraph.htilMaxLeafFormal.RSCGraph.htilExMaxLeafFormal.RSCGraph.indMaxLeafFormal.RSCGraph.labOfMaxLeafFormal.RSCGraph.labOf_c_leMaxLeafFormal.RSCGraph.mem_span_selfMaxLeafFormal.RSCGraph.nbrCountMaxLeafFormal.RSCGraph.nuOfMaxLeafFormal.RSCGraph.ownerOK_of_ruleMaxLeafFormal.RSCGraph.ownerPar_of_maxMaxLeafFormal.RSCGraph.qTMaxLeafFormal.RSCGraph.rsc_bound_of_dataMaxLeafFormal.RSCGraph.rsc_bound_of_data'MaxLeafFormal.RSCGraph.rsc_creditMaxLeafFormal.RSCGraph.rsc_credit_exMaxLeafFormal.RSCGraph.rsc_jensenMaxLeafFormal.RSCGraph.rsc_jensen_nonnegMaxLeafFormal.RSCGraph.rsc_jlemmaMaxLeafFormal.RSCGraph.rsc_jlemma_ofMaxLeafFormal.RSCGraph.rsc_leafMaxLeafFormal.RSCGraph.rsc_modelMaxLeafFormal.RSCGraph.rsc_monoMaxLeafFormal.RSCGraph.rsc_pointwiseMaxLeafFormal.RSCGraph.rsc_reductionMaxLeafFormal.RSCGraph.rsc_reduction_ofMaxLeafFormal.RSCGraph.spanMaxLeafFormal.RSCGraph.span_adj_parMaxLeafFormal.RSCGraph.standing_partsMaxLeafFormal.RSCGraph.typMaxLeafFormal.RSCGraph.typ_eq_threeMaxLeafFormal.RSCGraph.ϖTMaxLeafFormal.RSCHeadline.rsc_successMaxLeafFormal.RSCParams.bconstvMaxLeafFormal.RSCParams.delta2geMaxLeafFormal.RSCParams.delta3_splitMaxLeafFormal.RSCParams.delta3geMaxLeafFormal.RSCParams.d₂MaxLeafFormal.RSCParams.d₃MaxLeafFormal.RSCParams.eps2leMaxLeafFormal.RSCParams.eps3leMaxLeafFormal.RSCParams.light2_ofMaxLeafFormal.RSCParams.light3_ofMaxLeafFormal.RSCParams.log1m007MaxLeafFormal.RSCParams.log1m077MaxLeafFormal.RSCParams.p2vMaxLeafFormal.RSCParams.p3vMaxLeafFormal.RSCParams.p₂MaxLeafFormal.RSCParams.p₃MaxLeafFormal.RSCParams.rsc_C3MaxLeafFormal.RSCParams.rsc_C6MaxLeafFormal.RSCParams.rsc_lightpairsMaxLeafFormal.RSCParams.rsc_rsccreditsMaxLeafFormal.RSCParams.rsc_sideMaxLeafFormal.RSCParams.rsc_tree_bound_of_dataMaxLeafFormal.RSCParams.rsccr_credit_iMaxLeafFormal.RSCParams.rsccr_credit_iiMaxLeafFormal.RSCParams.rsccr_log_q3_geMaxLeafFormal.RSCParams.rsccr_log_w2_leMaxLeafFormal.RSCParams.rsccr_log_w3_leMaxLeafFormal.RSCParams.thr2MaxLeafFormal.RSCParams.thr3MaxLeafFormal.RSCParams.yMaxLeafFormal.RSCParams.yvMaxLeafFormal.RSCParams.êMaxLeafFormal.RSCParams.νEMaxLeafFormal.RSCParams.ν₀MaxLeafFormal.RSCParams.ϖ₂MaxLeafFormal.RSCParams.ϖ₃MaxLeafFormal.RSCRec.AIndMaxLeafFormal.RSCRec.AInd_init10MaxLeafFormal.RSCRec.AInd_initFMaxLeafFormal.RSCRec.AInd_mergeMaxLeafFormal.RSCRec.AInd_mergeAllMaxLeafFormal.RSCRec.AInd_of_zeroMaxLeafFormal.RSCRec.AInd_treeMaxLeafFormal.RSCRec.AllLabelsMaxLeafFormal.RSCRec.AllLabelsListMaxLeafFormal.RSCRec.BIndMaxLeafFormal.RSCRec.BInd_init10MaxLeafFormal.RSCRec.BInd_initFMaxLeafFormal.RSCRec.BInd_mergeMaxLeafFormal.RSCRec.BInd_mergeAllMaxLeafFormal.RSCRec.BInd_of_zeroMaxLeafFormal.RSCRec.BInd_treeMaxLeafFormal.RSCRec.FLabelMaxLeafFormal.RSCRec.ForceMaxLeafFormal.RSCRec.ParMaxLeafFormal.RSCRec.Par.StandingMaxLeafFormal.RSCRec.allLabelsList_memMaxLeafFormal.RSCRec.chiCs10MaxLeafFormal.RSCRec.chiCu10MaxLeafFormal.RSCRec.chiO10MaxLeafFormal.RSCRec.chiOs10MaxLeafFormal.RSCRec.chiOu10MaxLeafFormal.RSCRec.chiOx10MaxLeafFormal.RSCRec.chiS10MaxLeafFormal.RSCRec.chi_boundMaxLeafFormal.RSCRec.chi_compareMaxLeafFormal.RSCRec.chi_exclMaxLeafFormal.RSCRec.chi_factsMaxLeafFormal.RSCRec.credit_smallMaxLeafFormal.RSCRec.fin10MaxLeafFormal.RSCRec.forcingMaxLeafFormal.RSCRec.init10MaxLeafFormal.RSCRec.init10_0MaxLeafFormal.RSCRec.init10_1MaxLeafFormal.RSCRec.init10_2MaxLeafFormal.RSCRec.init10_3MaxLeafFormal.RSCRec.init10_4MaxLeafFormal.RSCRec.init10_5MaxLeafFormal.RSCRec.init10_6MaxLeafFormal.RSCRec.init10_7MaxLeafFormal.RSCRec.init10_8MaxLeafFormal.RSCRec.init10_9MaxLeafFormal.RSCRec.init10_nonnegMaxLeafFormal.RSCRec.initFMaxLeafFormal.RSCRec.initF_nonnegMaxLeafFormal.RSCRec.kidsMaxLeafFormal.RSCRec.lamMaxLeafFormal.RSCRec.lam_mulMaxLeafFormal.RSCRec.lam_nonnegMaxLeafFormal.RSCRec.lam_oneMaxLeafFormal.RSCRec.low_treeMaxLeafFormal.RSCRec.merge10MaxLeafFormal.RSCRec.merge10_e1MaxLeafFormal.RSCRec.merge10_e2MaxLeafFormal.RSCRec.merge10_e3MaxLeafFormal.RSCRec.merge10_e4MaxLeafFormal.RSCRec.merge10_e5MaxLeafFormal.RSCRec.merge10_e6MaxLeafFormal.RSCRec.merge10_e7MaxLeafFormal.RSCRec.merge10_e8MaxLeafFormal.RSCRec.merge10_e9MaxLeafFormal.RSCRec.merge10_lowMaxLeafFormal.RSCRec.merge10_nonnegMaxLeafFormal.RSCRec.merge10_osumMaxLeafFormal.RSCRec.merge10_zeroMaxLeafFormal.RSCRec.mergeAll10MaxLeafFormal.RSCRec.mergeAll10_lowMaxLeafFormal.RSCRec.mergeAll10_osumMaxLeafFormal.RSCRec.mergeAll10_zeroMaxLeafFormal.RSCRec.message10MaxLeafFormal.RSCRec.message10_nonnegMaxLeafFormal.RSCRec.message10_rootMaxLeafFormal.RSCRec.msg_nonnegMaxLeafFormal.RSCRec.rsc_messagesMaxLeafFormal.RSCRec.standing_hpMaxLeafFormal.RSCRec.standing_yMaxLeafFormal.RSCRec.standing_ϖMaxLeafFormal.RSCSteiner.rscAcceptStMaxLeafFormal.RSCSteiner.rscAcceptSt_eqMaxLeafFormal.RSCSteiner.rscAcceptSt_witnessMaxLeafFormal.RSCSteiner.rscAcceptSt_witness_minMaxLeafFormal.RSCSteiner.rsc_maxLeaf_of_data_stMaxLeafFormal.RSCSteiner.rsc_success_of_data_stMaxLeafFormal.RSCTree.AdmissibleGMaxLeafFormal.RSCTree.EtmMaxLeafFormal.RSCTree.IsChildOrderMaxLeafFormal.RSCTree.PcondMaxLeafFormal.RSCTree.PtmMaxLeafFormal.RSCTree.RespOnMaxLeafFormal.RSCTree.RespectsMaxLeafFormal.RSCTree.WrelMaxLeafFormal.RSCTree.WtmMaxLeafFormal.RSCTree.Wtm_posMaxLeafFormal.RSCTree.adj_of_mem_childrenMaxLeafFormal.RSCTree.admissible_toRTreeMaxLeafFormal.RSCTree.bparMaxLeafFormal.RSCTree.candFMaxLeafFormal.RSCTree.cfGMaxLeafFormal.RSCTree.chiCuGMaxLeafFormal.RSCTree.chiOuGMaxLeafFormal.RSCTree.chiOxGMaxLeafFormal.RSCTree.chiSGMaxLeafFormal.RSCTree.credit_treeMaxLeafFormal.RSCTree.eBMaxLeafFormal.RSCTree.gPkMaxLeafFormal.RSCTree.gRelMaxLeafFormal.RSCTree.hhatMaxLeafFormal.RSCTree.isChildOrder_toListMaxLeafFormal.RSCTree.jchMaxLeafFormal.RSCTree.jlemma_treeMaxLeafFormal.RSCTree.kFMaxLeafFormal.RSCTree.kF_eq_jchGMaxLeafFormal.RSCTree.mergeAllGMaxLeafFormal.RSCTree.mergeAll_msgPMaxLeafFormal.RSCTree.mergeGMaxLeafFormal.RSCTree.mergeG_add_leftMaxLeafFormal.RSCTree.mergeG_add_rightMaxLeafFormal.RSCTree.mergeG_eBMaxLeafFormal.RSCTree.mergeG_eB_0MaxLeafFormal.RSCTree.mergeG_eB_1MaxLeafFormal.RSCTree.mergeG_eB_2MaxLeafFormal.RSCTree.mergeG_eB_3MaxLeafFormal.RSCTree.mergeG_eB_4MaxLeafFormal.RSCTree.mergeG_eB_5MaxLeafFormal.RSCTree.mergeG_eB_6MaxLeafFormal.RSCTree.mergeG_eB_7MaxLeafFormal.RSCTree.mergeG_eB_8MaxLeafFormal.RSCTree.mergeG_eB_9MaxLeafFormal.RSCTree.mergeG_smul_eBMaxLeafFormal.RSCTree.mergeG_smul_leftMaxLeafFormal.RSCTree.mergeG_smul_rightMaxLeafFormal.RSCTree.mergeG_sum_leftMaxLeafFormal.RSCTree.mergeG_sum_rightMaxLeafFormal.RSCTree.mergeG_zero_leftMaxLeafFormal.RSCTree.mergeG_zero_rightMaxLeafFormal.RSCTree.messageGMaxLeafFormal.RSCTree.messageG_eq_msgPMaxLeafFormal.RSCTree.monotone_couplingMaxLeafFormal.RSCTree.msgPMaxLeafFormal.RSCTree.msgP_singleMaxLeafFormal.RSCTree.msgP_splitMaxLeafFormal.RSCTree.nuSum_toRTreeMaxLeafFormal.RSCTree.odds1MaxLeafFormal.RSCTree.par_not_mem_childrenMaxLeafFormal.RSCTree.phiGMaxLeafFormal.RSCTree.phiG_childMaxLeafFormal.RSCTree.phiG_congrMaxLeafFormal.RSCTree.phiG_rootMaxLeafFormal.RSCTree.piFMaxLeafFormal.RSCTree.pkMaxLeafFormal.RSCTree.prodMeasMaxLeafFormal.RSCTree.prod_phiGMaxLeafFormal.RSCTree.psiFMaxLeafFormal.RSCTree.psiGMaxLeafFormal.RSCTree.ptilMaxLeafFormal.RSCTree.recursionGMaxLeafFormal.RSCTree.relaxed_leMaxLeafFormal.RSCTree.root_piMaxLeafFormal.RSCTree.root_sumMaxLeafFormal.RSCTree.rsc_oddsMaxLeafFormal.RSCTree.rsc_recursionMaxLeafFormal.RSCTree.rsc_recursion_finMaxLeafFormal.RSCTree.rsc_relaxedMaxLeafFormal.RSCTree.size_toRTreeMaxLeafFormal.RSCTree.sttGMaxLeafFormal.RSCTree.sttG_lt5_iffMaxLeafFormal.RSCTree.sttG_parentMaxLeafFormal.RSCTree.sttG_zero_iffMaxLeafFormal.RSCTree.termPMaxLeafFormal.RSCTree.termP_splitMaxLeafFormal.RSCTree.toRTreeMaxLeafFormal.RSCTree.trGMaxLeafFormal.RSCTree.wsumMaxLeafFormal.RSCTree.wsumGMaxLeafFormal.RSCTree.wsumG_congrMaxLeafFormal.RSCTree.wtMaxLeafFormal.RSCTree.wtGMaxLeafFormal.RSCTrials.WclMaxLeafFormal.RSCTrials.Wcl_eq_sumMaxLeafFormal.RSCTrials.budgeted_success_inhabitedMaxLeafFormal.RSCTrials.candMaxLeafFormal.RSCTrials.cand_path3MaxLeafFormal.RSCTrials.closureProbMaxLeafFormal.RSCTrials.closureProb_nonnegMaxLeafFormal.RSCTrials.closureProb_path3MaxLeafFormal.RSCTrials.closureProb_sum_eqMaxLeafFormal.RSCTrials.firstAccepted_of_noneMaxLeafFormal.RSCTrials.inclProbMaxLeafFormal.RSCTrials.inclProb_memMaxLeafFormal.RSCTrials.inner_eqMaxLeafFormal.RSCTrials.integral_rscTrialMeasureMaxLeafFormal.RSCTrials.isProbabilityMeasure_rscTrialMeasureMaxLeafFormal.RSCTrials.leEvent_natCast_eqMaxLeafFormal.RSCTrials.pkMaxLeafFormal.RSCTrials.rscAcceptMaxLeafFormal.RSCTrials.rscOmegaMaxLeafFormal.RSCTrials.rscOmega_nonnegMaxLeafFormal.RSCTrials.rscTrialMeasureMaxLeafFormal.RSCTrials.rsc_success_of_boundMaxLeafFormal.RSCTrials.rsc_trials_T2MaxLeafFormal.RSCTrials.rsc_trials_T3MaxLeafFormal.RSCTrials.rsc_trials_WMaxLeafFormal.RSCTrials.sum_closureProbMaxLeafFormal.RSCTrials.trialProbMaxLeafFormal.RSCTrials.trialProb_nonnegMaxLeafFormal.RSCTrials.trialProb_sumMaxLeafFormal.RSCTrials.twoPowNeg_xi_eqMaxLeafFormal.RSCTrials.two_rpow_neg_rscOmegaMaxLeafFormal.RSCTrials.xiMaxLeafFormal.RSRate.H2_fifthMaxLeafFormal.RSRate.Icc_joinMaxLeafFormal.RSRate.T1_ltMaxLeafFormal.RSRate.cellOKMaxLeafFormal.RSRate.cellOK_soundMaxLeafFormal.RSRate.checkCoverMaxLeafFormal.RSRate.checkCover_soundMaxLeafFormal.RSRate.checkCover_sound_auxMaxLeafFormal.RSRate.cover0MaxLeafFormal.RSRate.cover0_okMaxLeafFormal.RSRate.cover0_soundMaxLeafFormal.RSRate.cover1MaxLeafFormal.RSRate.cover10MaxLeafFormal.RSRate.cover10_okMaxLeafFormal.RSRate.cover10_soundMaxLeafFormal.RSRate.cover11MaxLeafFormal.RSRate.cover11_okMaxLeafFormal.RSRate.cover11_soundMaxLeafFormal.RSRate.cover12MaxLeafFormal.RSRate.cover12_okMaxLeafFormal.RSRate.cover12_soundMaxLeafFormal.RSRate.cover13MaxLeafFormal.RSRate.cover13_okMaxLeafFormal.RSRate.cover13_soundMaxLeafFormal.RSRate.cover14MaxLeafFormal.RSRate.cover14_okMaxLeafFormal.RSRate.cover14_soundMaxLeafFormal.RSRate.cover15MaxLeafFormal.RSRate.cover15_okMaxLeafFormal.RSRate.cover15_soundMaxLeafFormal.RSRate.cover16MaxLeafFormal.RSRate.cover16_okMaxLeafFormal.RSRate.cover16_soundMaxLeafFormal.RSRate.cover17MaxLeafFormal.RSRate.cover17_okMaxLeafFormal.RSRate.cover17_soundMaxLeafFormal.RSRate.cover18MaxLeafFormal.RSRate.cover18_okMaxLeafFormal.RSRate.cover18_soundMaxLeafFormal.RSRate.cover19MaxLeafFormal.RSRate.cover19_okMaxLeafFormal.RSRate.cover19_soundMaxLeafFormal.RSRate.cover1_okMaxLeafFormal.RSRate.cover1_soundMaxLeafFormal.RSRate.cover2MaxLeafFormal.RSRate.cover20MaxLeafFormal.RSRate.cover20_okMaxLeafFormal.RSRate.cover20_soundMaxLeafFormal.RSRate.cover21MaxLeafFormal.RSRate.cover21_okMaxLeafFormal.RSRate.cover21_soundMaxLeafFormal.RSRate.cover2_okMaxLeafFormal.RSRate.cover2_soundMaxLeafFormal.RSRate.cover3MaxLeafFormal.RSRate.cover3_okMaxLeafFormal.RSRate.cover3_soundMaxLeafFormal.RSRate.cover4MaxLeafFormal.RSRate.cover4_okMaxLeafFormal.RSRate.cover4_soundMaxLeafFormal.RSRate.cover5MaxLeafFormal.RSRate.cover5_okMaxLeafFormal.RSRate.cover5_soundMaxLeafFormal.RSRate.cover6MaxLeafFormal.RSRate.cover6_okMaxLeafFormal.RSRate.cover6_soundMaxLeafFormal.RSRate.cover7MaxLeafFormal.RSRate.cover7_okMaxLeafFormal.RSRate.cover7_soundMaxLeafFormal.RSRate.cover8MaxLeafFormal.RSRate.cover8_okMaxLeafFormal.RSRate.cover8_soundMaxLeafFormal.RSRate.cover9MaxLeafFormal.RSRate.cover9_okMaxLeafFormal.RSRate.cover9_soundMaxLeafFormal.RSRate.cover_oneMaxLeafFormal.RSRate.lt_two_rpowMaxLeafFormal.RSRate.nEMaxLeafFormal.RSRate.nLMaxLeafFormal.RSRate.prMaxLeafFormal.RSRate.qMaxLeafFormal.RSRate.rsFMaxLeafFormal.RSRate.rsF_eq_FstarMaxLeafFormal.RSRate.rsF_le_H2MaxLeafFormal.RSRate.rsF_mul_log2MaxLeafFormal.RSRate.rsF_oneMaxLeafFormal.RSRate.rsF_outsideMaxLeafFormal.RSRate.rs_constantsMaxLeafFormal.RSRate.rs_rate_cMaxLeafFormal.RSRateAB.H2_halfMaxLeafFormal.RSRateAB.rsTauMaxLeafFormal.RSRateAB.rsTau_eq_τstarMaxLeafFormal.RSRateAB.rs_baseMaxLeafFormal.RSRateAB.rs_base_denomMaxLeafFormal.RSRateAB.rs_rate_aMaxLeafFormal.RSRateAB.rs_rate_bMaxLeafFormal.RSRateAB.rs_rate_b_argminMaxLeafFormal.RSRateAB.rsfσMaxLeafFormal.RSRateAB.rsfσ_eq_fσMaxLeafFormal.RSRateAB.rsfσ_min_eqMaxLeafFormal.RSRateAB.two_rpow_boundsMaxLeafFormal.RSRateAB.two_rpow_halfMaxLeafFormal.RSThetaCert.Z0MaxLeafFormal.RSThetaCert.Z1MaxLeafFormal.RSThetaCert.cert0_ZMaxLeafFormal.RSThetaCert.cert0_initsMaxLeafFormal.RSThetaCert.cert0_pairsMaxLeafFormal.RSThetaCert.cert1_ZMaxLeafFormal.RSThetaCert.cert1_initsMaxLeafFormal.RSThetaCert.cert1_pairsMaxLeafFormal.RSThetaCert.e1_0MaxLeafFormal.RSThetaCert.e1_1MaxLeafFormal.RSThetaCert.e2_0MaxLeafFormal.RSThetaCert.e2_1MaxLeafFormal.RSThetaCert.inits0MaxLeafFormal.RSThetaCert.inits1MaxLeafFormal.RSThetaCert.m0_0MaxLeafFormal.RSThetaCert.m0_1MaxLeafFormal.RSThetaCert.pairs0MaxLeafFormal.RSThetaCert.pairs1MaxLeafFormal.RSThetaCert.qMaxLeafFormal.RSThetaCert.tail0MaxLeafFormal.RSThetaCert.tail1MaxLeafFormal.RSThetaCert.y0MaxLeafFormal.RSThetaCert.y1MaxLeafFormal.RSThetaRate.a0MaxLeafFormal.RSThetaRate.a0QMaxLeafFormal.RSThetaRate.a0Q_soundMaxLeafFormal.RSThetaRate.a1MaxLeafFormal.RSThetaRate.a1QMaxLeafFormal.RSThetaRate.a1Q_soundMaxLeafFormal.RSThetaRate.abs_of_encMaxLeafFormal.RSThetaRate.affine_ltMaxLeafFormal.RSThetaRate.denQMaxLeafFormal.RSThetaRate.numQMaxLeafFormal.RSThetaRate.omega1_r_boundsMaxLeafFormal.RSThetaRate.omegaCertMaxLeafFormal.RSThetaRate.omegaCert_eqMaxLeafFormal.RSThetaRate.pow_encMaxLeafFormal.RSThetaRate.qle_rMaxLeafFormal.RSThetaRate.qlt_rMaxLeafFormal.RSThetaRate.ratQMaxLeafFormal.RSThetaRate.rst_ratesMaxLeafFormal.RSThetaRate.rst_rates_detailMaxLeafFormal.RSThetaRate.w0_ltMaxLeafFormal.RSThetaRate.w1_ltMaxLeafFormal.RSThetaRate.ω1QMaxLeafFormal.RSThetaRate.ω₀MaxLeafFormal.RSThetaRate.ω₁MaxLeafFormal.RSXConst.bkMaxLeafFormal.RSXConst.psikMaxLeafFormal.RSXConst.psik_oneMaxLeafFormal.RSXConst.psik_twoMaxLeafFormal.RSXConst.rat_le_realMaxLeafFormal.RSXConst.rsx_C1MaxLeafFormal.RSXConst.rsx_C2MaxLeafFormal.RSXConst.rsx_C3MaxLeafFormal.RSXConst.ωmMaxLeafFormal.RateAssembly.W_gTMaxLeafFormal.RateAssembly.W_gT_posMaxLeafFormal.RateAssembly.card_pos_of_isCDSMaxLeafFormal.RateAssembly.comp_of_isCDSMaxLeafFormal.RateAssembly.gTMaxLeafFormal.RateAssembly.rs_momentsMaxLeafFormal.RateAssembly.rs_starMaxLeafFormal.RateAssembly.rst_rateMaxLeafFormal.RateAssembly.star_monoMaxLeafFormal.RateAssembly.star_of_certMaxLeafFormal.RateAssembly.termCount_emptyMaxLeafFormal.RateAssembly.termCount_of_isCDSMaxLeafFormal.SteinerCDS.EReachMaxLeafFormal.SteinerCDS.EncVMaxLeafFormal.SteinerCDS.IsSolMaxLeafFormal.SteinerCDS.IsStateMaxLeafFormal.SteinerCDS.JXMaxLeafFormal.SteinerCDS.JX_emptyMaxLeafFormal.SteinerCDS.JbMaxLeafFormal.SteinerCDS.StateMaxLeafFormal.SteinerCDS.State.VDMaxLeafFormal.SteinerCDS.VD_JXMaxLeafFormal.SteinerCDS.aStMaxLeafFormal.SteinerCDS.aSt_iff_extMaxLeafFormal.SteinerCDS.aSt_iff_extYesMaxLeafFormal.SteinerCDS.compSetsMaxLeafFormal.SteinerCDS.encAdjMaxLeafFormal.SteinerCDS.encAlgMaxLeafFormal.SteinerCDS.encRootMaxLeafFormal.SteinerCDS.encTermMaxLeafFormal.SteinerCDS.encWtMaxLeafFormal.SteinerCDS.feasible_liftBMaxLeafFormal.SteinerCDS.induce_reach_monoMaxLeafFormal.SteinerCDS.induce_reach_stepMaxLeafFormal.SteinerCDS.isSol_JX_iffMaxLeafFormal.SteinerCDS.isState_JXMaxLeafFormal.SteinerCDS.isState_JbMaxLeafFormal.SteinerCDS.liftBMaxLeafFormal.SteinerCDS.mem_VDMaxLeafFormal.SteinerCDS.mem_compSets_iffMaxLeafFormal.SteinerCDS.mem_encTerm_CMaxLeafFormal.SteinerCDS.mem_encTerm_RMaxLeafFormal.SteinerCDS.mem_liftBMaxLeafFormal.SteinerCDS.mem_liftB_BMaxLeafFormal.SteinerCDS.not_aSt_of_ltMaxLeafFormal.SteinerCDS.not_mem_encTerm_BMaxLeafFormal.SteinerCDS.optStMaxLeafFormal.SteinerCDS.optSt_J0MaxLeafFormal.SteinerCDS.optSt_attainedMaxLeafFormal.SteinerCDS.optSt_eq_inf_JbMaxLeafFormal.SteinerCDS.optSt_eq_optDirMaxLeafFormal.SteinerCDS.sInf_le_sInf_of_existsMaxLeafFormal.SteinerCDS.sol_of_feasibleMaxLeafFormal.SteinerCDS.stateAlgMaxLeafFormal.SteinerCDS.stateAlg_eqMaxLeafFormal.SteinerCDS.sum_liftBMaxLeafFormal.SteinerCDS.terminals_JXMaxLeafFormal.SteinerDir.BTreeMaxLeafFormal.SteinerDir.BTree.labelsMaxLeafFormal.SteinerDir.BTree.rootMaxLeafFormal.SteinerDir.BTree.root_mem_labelsMaxLeafFormal.SteinerDir.FeasibleMaxLeafFormal.SteinerDir.IsBWMaxLeafFormal.SteinerDir.LmaxMaxLeafFormal.SteinerDir.accepted_of_feasibleMaxLeafFormal.SteinerDir.arcLenMaxLeafFormal.SteinerDir.bIEMaxLeafFormal.SteinerDir.bIE_countMaxLeafFormal.SteinerDir.bIE_ne_zero_iffMaxLeafFormal.SteinerDir.blenMaxLeafFormal.SteinerDir.blen_add_rootMaxLeafFormal.SteinerDir.bwMaxLeafFormal.SteinerDir.bw_countMaxLeafFormal.SteinerDir.bw_memMaxLeafFormal.SteinerDir.bw_posMaxLeafFormal.SteinerDir.bw_zeroMaxLeafFormal.SteinerDir.card_walksMaxLeafFormal.SteinerDir.exists_walk_coverMaxLeafFormal.SteinerDir.extend_walkMaxLeafFormal.SteinerDir.feasible_of_walkMaxLeafFormal.SteinerDir.graftAtMaxLeafFormal.SteinerDir.graftPMaxLeafFormal.SteinerDir.isBW_graftAtMaxLeafFormal.SteinerDir.mem_labels_iffMaxLeafFormal.SteinerDir.mem_walksMaxLeafFormal.SteinerDir.occMaxLeafFormal.SteinerDir.occ_graftAtMaxLeafFormal.SteinerDir.optDirMaxLeafFormal.SteinerDir.phi'MaxLeafFormal.SteinerDir.reach_labelsMaxLeafFormal.SteinerDir.root_graftAtMaxLeafFormal.SteinerDir.rtg_monoMaxLeafFormal.SteinerDir.steinerAlgMaxLeafFormal.SteinerDir.steinerAlg_eqMaxLeafFormal.SteinerDir.sum_labels_le_occMaxLeafFormal.SteinerDir.sum_occ_eqMaxLeafFormal.SteinerDir.walk_of_feasibleMaxLeafFormal.SteinerDir.walksMaxLeafFormal.rstheta_tree_bound_0MaxLeafFormal.rstheta_tree_bound_1MaxLeafFormal.treePotentialMaxLeafFormal.treeW