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