t18_bvfunc_6::.cl0:# Proof object clause steps            : 106
t15_twoscomp::.cl0:# Proof object clause steps            : 94
t117_xboole_1::.cl1:# Proof object clause steps            : 92
t11_realset2::.cl1:# Proof object clause steps            : 89
t10_matrix_4::.cl0:# Proof object clause steps            : 82
t12_anproj_2::.cl1:# Proof object clause steps            : 80
t133_tmap_1::.cl1:# Proof object clause steps            : 75
t114_group_2::.cl0:# Proof object clause steps            : 69
t127_xcmplx_1::.cl0:# Proof object clause steps            : 63
t18_pre_ff::.cl1:# Proof object clause steps            : 62
t18_afproj::.cl0:# Proof object clause steps            : 62
t4_robbins1::.cl0:# Proof object clause steps            : 61
t23_mod_2::.cl1:# Proof object clause steps            : 61
t28_bhsp_4::.cl1:# Proof object clause steps            : 60
t13_waybel_5::.cl0:# Proof object clause steps            : 60
t10_midsp_2::.cl1:# Proof object clause steps            : 58
t15_partfun2::.cl0:# Proof object clause steps            : 57
t13_yellow_9::.cl0:# Proof object clause steps            : 57
t12_seq_2::.cl1:# Proof object clause steps            : 56
t63_scmpds_6::.cl0:# Proof object clause steps            : 54
t17_bvfunc_6::.cl0:# Proof object clause steps            : 53
t15_fdiff_3::.cl0:# Proof object clause steps            : 53
t14_matrix_4::.cl0:# Proof object clause steps            : 53
t16_groeb_1::.cl0:# Proof object clause steps            : 52
t16_pre_ff::.cl1:# Proof object clause steps            : 51
t12_bvfunc_6::.cl0:# Proof object clause steps            : 50
t127_xcmplx_1::.cl1:# Proof object clause steps            : 50
t11_connsp_1::.cl1:# Proof object clause steps            : 50
t10_matrlin::.cl0:# Proof object clause steps            : 49
t32_funct_1::.cl0:# Proof object clause steps            : 48
t17_tex_4::.cl0:# Proof object clause steps            : 48
t16_waybel29::.cl1:# Proof object clause steps            : 46
t32_rat_1::.cl1:# Proof object clause steps            : 45
t13_waybel19::.cl0:# Proof object clause steps            : 45
t11_filter_2::.cl1:# Proof object clause steps            : 45
t18_matrix_5::.cl0:# Proof object clause steps            : 44
t13_comseq_3::.cl1:# Proof object clause steps            : 44
t10_rewrite3::.cl0:# Proof object clause steps            : 43
t3_yellow18::.cl1:# Proof object clause steps            : 42
t14_tops_3::.cl0:# Proof object clause steps            : 42
t13_connsp_1::.cl1:# Proof object clause steps            : 42
t12_topdim_2::.cl0:# Proof object clause steps            : 42
t12_osalg_1::.cl1:# Proof object clause steps            : 42
t14_finset_1::.cl0:# Proof object clause steps            : 41
t16_msaterm::.cl1:# Proof object clause steps            : 40
t10_autgroup::.cl0:# Proof object clause steps            : 40
t18_closure2::.cl1:# Proof object clause steps            : 39