init: 16.036sec
norm: 50.22sec
prop: 0.152sec
nb of constant: 20443
nb of subterms: 1218
nb_prop: 41311
Property of 1 constant: 
6: (!V1, (!V0, (~ (V1 = V0))))
  'none/t31_topreal6/1' 'none/t33_topreal6/1' 'none/t34_topreal6/1' 'none/t37_rvsum_3/2' 'none/t32_topreal6/1' 'none/t34_rvsum_3/2'
2: (!V1, (!V0, (V1 = V0)))
  'none/t9_algstr_1' 'none/t4_algstr_1'
1: (?V1, (?V0, (~ (V1 = V0))))
  'none/t6_tdgroup'
Property of 2 constants: 
82: (C0 = (C1 C0))
  'none/t56_classes1' 'none/t10_catalan1' 'none/t15_trees_1' 'none/t11_sgraph1' 'none/t43_quatern2'#@#variant 'none/t43_sin_cos9/0' 'none/t29_classes1' 'none/t4_complex1/1' 'none/t4_complex1/0' 'none/t15_pre_ff/1' 'none/t15_pre_ff/0' 'none/t18_square_1' 'none/t1_setfam_1' 'none/t3_card_3' 'none/t49_complfld'#@#variant 'none/t71_cohsp_1'#@#variant 'none/t16_sin_cos2'#@#variant 'none/t202_xcmplx_1' 'none/t17_gr_cy_3' 'none/t1_funct_5' 'none/t47_card_1' 'none/t41_sin_cos9/1' 'none/t48_quatern3' 'none/t58_funct_6' 'none/t8_funct_5/1' 'none/t8_funct_5/0' 'none/t16_gr_cy_3' 'none/t54_aofa_000/4'#@#variant 'none/t7_dtconstr/1' 'none/t7_dtconstr/0' 'none/t13_newton' 'none/t43_finseq_3' 'none/t57_funct_7/1' 'none/t57_funct_7/0' 'none/t43_funct_5/1' 'none/t43_funct_5/0' 'none/t41_quatern2'#@#variant 'none/t3_dtconstr' 'none/t14_newton' 'none/t28_complex1' 'none/t41_sin_cos9/0'#@#variant 'none/t17_euler_1' 'none/t54_aofa_000/3'#@#variant 'none/t58_funct_8'#@#variant 'none/t19_rvsum_1'#@#variant 'none/t25_card_5/0' 'none/t42_funct_5/1' 'none/t42_funct_5/0' 'none/t11_catalan1' 'none/t15_huffman1'#@#variant 'none/t30_extreal1/0' 'none/t17_square_1' 'none/t22_card_5' 'none/t11_fib_num3/1' 'none/t47_quatern2'#@#variant 'none/t47_complfld'#@#variant 'none/t1_pre_ff/1' 'none/t1_pre_ff/0' 'none/t19_abcmiz_1' 'none/t2_zfmisc_1' 'none/t1_sin_cos8/1' 'none/t55_relat_1' 'none/t38_relat_1/1' 'none/t38_relat_1/0' 'none/t23_funct_6/1' 'none/t23_funct_6/0' 'none/t43_relat_1' 'none/t30_moebius1' 'none/t40_funct_6/0' 'none/t31_sin_cos/1' 'none/t71_sin_cos6' 'none/t47_quaterni' 'none/t30_complex1' 'none/t40_relat_1' 'none/t17_complfld'#@#variant 'none/t43_sin_cos9/1'#@#variant 'none/t8_abcmiz_1' 'none/t11_numpoly1' 'none/t30_sin_cos/1'#@#variant 'none/t12_rfinseq'#@#variant 'none/t18_radix_1' 'none/t44_complex1'
78: (C1 = C0)
  'none/d3_glib_003' 'none/t64_classes2'#@#variant 'none/d3_glib_000' 'none/t40_borsuk_1'#@#variant 'none/d18_mod_2' 'none/d1_xboolean' 'none/t80_scmpds_2'#@#variant 'none/t29_trees_1'#@#variant 'none/d14_scmpds_i' 'none/d4_complex1' 'none/d14_idea_1'#@#variant 'none/d5_nat_lat' 'none/d4_abcmiz_1' 'none/t27_ami_3'#@#variant 'none/d3_scmp_gcd'#@#variant 'none/d11_margrel1'#@#variant 'none/d17_quaterni' 'none/d7_hilbert1'#@#variant 'none/d14_supinf_2' 'none/d15_borsuk_1' 'none/d6_abcmiz_1' 'none/t2_finseq_1/1'#@#variant 'none/t20_topmetr'#@#variant 'none/d19_mod_2' 'none/d9_intpro_1'#@#variant 'none/t37_quatern2'#@#variant 'none/d9_toprealb'#@#variant 'none/t8_complfld'#@#variant 'none/t1_matrix_5'#@#variant 'none/t2_finseq_1/0'#@#variant 'none/d8_abcmiz_1' 'none/d2_glib_003' 'none/d2_glib_000' 'none/d1_arytm_3' 'none/d2_hahnban1' 'none/t5_bspace'#@#variant 'none/d2_xxreal_0' 'none/d13_scmpds_i' 'none/d3_scmfsa_2' 'none/t49_card_1'#@#variant 'none/d13_ordinal1' 'none/d4_glib_000' 'none/t1_glib_000/3' 'none/t1_glib_000/2' 'none/t1_glib_000/1' 'none/t1_glib_000/0' 'none/t6_bspace'#@#variant 'none/t54_euclid'#@#variant 'none/t3_glib_003/2' 'none/t3_glib_003/1' 'none/t3_glib_003/0' 'none/d2_xboolean' 'none/d4_nat_lat' 'none/d16_quaterni' 'none/t15_ordinal3'#@#variant 'none/d14_borsuk_1' 'none/d5_abcmiz_1' 'none/d1_fdiff_9'#@#variant 'none/t96_scmfsa_2'#@#variant 'none/t17_topmetr'#@#variant 'none/t2_scmpds_2'#@#variant 'none/t2_grcat_1/2' 'none/t4_nat_lat' 'none/t50_card_1'#@#variant 'none/t5_treal_1/1'#@#variant 'none/t1_ami_3'#@#variant 'none/t209_xxreal_1'#@#variant 'none/d7_abcmiz_1' 'none/d1_glib_003' 'none/d1_glib_000' 'none/t1_scmfsa_2'#@#variant 'none/d8_toprealb'#@#variant 'none/t7_complfld'#@#variant 'none/t2_matrix_5'#@#variant 'none/t5_treal_1/0'#@#variant 'none/t26_ami_3'#@#variant 'none/t1_finseq_3'#@#variant 'none/t39_quatern2'#@#variant
50: (!V0, (C1 V0))
  'none/t13_jordan1d/0'#@#variant 'none/t15_jordan1d/0'#@#variant 'none/t12_abian'#@#variant 'none/t10_jordan1d/0'#@#variant 'none/t57_jordan1a/2'#@#variant 'none/t8_jordan1d/0'#@#variant 'none/t29_nat_2'#@#variant 'none/t2_waybel12'#@#variant 'none/t1_coh_sp'#@#variant 'none/t28_jordan9/0'#@#variant 'none/t56_classes2'#@#variant 'none/t32_jordan1d/0'#@#variant 'none/t57_jordan1a/0'#@#variant 'none/t26_jordan1d/0'#@#variant 'none/t21_jordan1d/0'#@#variant 'none/t31_jordan1d/0'#@#variant 'none/t28_jordan1d/0'#@#variant 'none/t23_jordan1d/0'#@#variant 'none/t25_jordan1d/0'#@#variant 'none/t20_jordan1d/0'#@#variant 'none/t17_jordan1d/0'#@#variant 'none/t12_jordan1d/0'#@#variant 'none/t19_jordan1d/0'#@#variant 'none/t14_jordan1d/0'#@#variant 'none/t28_sprect_3/0'#@#variant 'none/t56_jordan1a/2'#@#variant 'none/t42_jordan1j/0'#@#variant 'none/t71_comput_1'#@#variant 'none/t37_ordinal5'#@#variant 'none/t7_jordan1d/0'#@#variant 'none/t55_jordan1a/2'#@#variant 'none/t22_trees_1/0'#@#variant 'none/t9_jordan1d/0'#@#variant 'none/t4_necklace'#@#variant 'none/t24_modelc_3/0'#@#variant 'none/t7_finsub_1'#@#variant 'none/t2_nat_1'#@#variant 'none/t20_scmyciel'#@#variant 'none/t56_jordan1a/0'#@#variant 'none/t30_jordan1d/0'#@#variant 'none/t27_jordan1d/0'#@#variant 'none/t55_jordan1a/0'#@#variant 'none/t22_jordan1d/0'#@#variant 'none/t29_jordan1d/0'#@#variant 'none/t24_jordan1d/0'#@#variant 'none/t2_gr_cy_3'#@#variant 'none/t16_card_5/5'#@#variant 'none/t16_jordan1d/0'#@#variant 'none/t11_jordan1d/0'#@#variant 'none/t18_jordan1d/0'#@#variant
45: (!V2, (!V1, (!V0, (((C1 V2) ((C1 V1) V0)) = ((C1 ((C1 V2) V1)) V0)))))
  'none/t12_mmlquer2' 'none/t52_arytm_3' 'none/t32_finseq_1' 'none/t9_nat_lat'#@#variant 'none/t3_real_lat/1'#@#variant 'none/t33_xxreal_0' 'none/t11_binarith' 'none/t2_quatern2' 'none/t15_rvsum_1' 'none/t50_member_1' 'none/t19_card_2' 'none/t16_xboole_1' 'none/t23_arytm_0' 'none/t9_rfunct_1' 'none/t50_ordinal3' 'none/t6_arytm_2' 'none/t140_pboole' 'none/t91_xboole_1' 'none/t4_xcmplx_1' 'none/t25_scmfsa6a' 'none/t66_xxreal_3' 'none/t36_relat_1' 'none/t16_margrel1' 'none/t51_arytm_3' 'none/t4_real_lat/1'#@#variant 'none/t6_circcomb' 'none/t30_ordinal3' 'none/t18_int_6' 'none/t16_quatern2' 'none/t13_arytm_0' 'none/t34_xxreal_0' 'none/t7_nat_lat'#@#variant 'none/t1_xcmplx_1' 'none/t90_member_1' 'none/t22_card_2' 'none/t48_newton' 'none/t8_rfunct_1' 'none/t73_xboolean' 'none/t12_arytm_2' 'none/t43_newton' 'none/t80_member_1' 'none/t4_xboole_1' 'none/t27_afinsq_1' 'none/t14_funct_4' 'none/t19_xboolean'
40: (!V1, (!V0, ((~ ((C1 V1) = (C1 V0))) | (V1 = V0))))
  'none/t50_trees_3' 'none/t34_modal_1' 'none/t3_binari_3' 'none/t33_modal_1' 'none/t3_euclid_3' 'none/t2_cayldick' 'none/t6_sf_mastr' 'none/t7_scmfsa_2' 'none/t101_scmfsa_2' 'none/t4_matrix_5' 'none/t6_finseq_1' 'none/t40_card_1' 'none/t64_trees_3' 'none/t59_xcmplx_1'#@#variant 'none/t23_jordan2b' 'none/t2_trees_4' 'none/t10_ami_3' 'none/t7_ordinal1' 'none/t10_xxreal_3' 'none/t32_modal_1' 'none/t22_card_1' 'none/t4_member_1' 'none/t4_euclid_3' 'none/t3_matrix_5' 'none/t201_xcmplx_1' 'none/t2_pua2mss1' 'none/t24_rvsum_1' 'none/t76_finseq_1' 'none/t12_catalg_1' 'none/t9_coh_sp' 'none/t5_pythtrip' 'none/t76_zf_lang1' 'none/t1_hilbert4' 'none/t133_xcmplx_1' 'none/t71_classes2' 'none/t4_trees_4' 'none/t14_member_1' 'none/t16_trees_9' 'none/t31_member_1' 'none/t21_hilbert2'
36: (!V1, (!V2, (!V0, (((C1 V1) V2) | ((~ ((C1 V0) V2)) | (~ ((C1 V1) V0)))))))
  'none/t42_wellord1' 'none/t3_arytm_1' 'none/t9_int_2' 'none/t17_graph_1' 'none/t29_circtrm1' 'none/t15_isocat_1' 'none/t4_nat_d' 'none/t15_wellord2' 'none/t1_xboole_1' 'none/t7_waybel_1' 'none/t13_necklace' 'none/t35_modelc_2' 'none/t67_group_6' 'none/t4_yellow18' 'none/t46_isocat_1' 'none/t3_borsuk_3' 'none/t67_arytm_3' 'none/t5_msuhom_1' 'none/t2_unialg_2' 'none/t5_ringcat1' 'none/t2_xxreal_0' 'none/t85_glib_000' 'none/t37_ordinal4' 'none/t30_pua2mss1' 'none/t12_necklace' 'none/t34_modelc_2' 'none/t33_filter_1' 'none/t4_closure3' 'none/t56_xboole_1' 'none/t46_stacks_1' 'none/t14_alg_1' 'none/t42_gaussint' 'none/t65_zf_lang' 'none/t64_zf_lang' 'none/t17_setfam_1' 'none/t19_zfrefle1'
34: (!V1, (!V0, (!V2, (~ (V1 = V0)))))
  'none/t8_projred1/2' 'none/t8_projred1/1' 'none/t5_projred1/5' 'none/t5_projred1/4' 'none/t5_projred1/3' 'none/t25_diraf/1' 'none/t78_rltopsp1/0' 'none/t6_incproj/2' 'none/t6_incproj/1' 'none/t6_incproj/0' 'none/t13_diraf/1' 'none/t12_incproj/2' 'none/t12_incproj/1' 'none/t12_incproj/0' 'none/t102_semi_af1/2' 'none/t102_semi_af1/1' 'none/t102_semi_af1/0' 'none/t14_collsp/0' 'none/t55_incsp_1/0' 'none/t5_dirort/1' 'none/t39_afproj/5' 'none/t39_afproj/4' 'none/t39_afproj/3' 'none/t4_prefer_1/0' 'none/t40_diraf/7' 'none/t2_conmetr/2' 'none/t2_conmetr/1' 'none/t4_roughs_1/0' 'none/t1_conmetr/3' 'none/t1_conmetr/2' 'none/t1_conmetr/1' 'none/t6_dirort/0' 'none/t43_incsp_1/0' 'none/t13_afvect0/0'
34: (!V0, (V0 = (C1 V0)))
  'none/d3_subset_1' 'none/t21_card_5' 'none/t73_classes1' 'none/d6_gr_cy_1' 'none/d2_matrixr1' 'none/d11_nat_lat' 'none/d2_scm_comp' 'none/d2_matrix_5' 'none/t8_ordinal2' 'none/d1_weierstr' 'none/t53_moebius1' 'none/d25_fomodel0' 'none/d2_toprealb' 'none/d1_group_4' 'none/d2_matrtop1' 'none/t20_rfinseq2' 'none/t18_ordinal2' 'none/t3_cardfin2' 'none/d4_toprealb' 'none/d1_matrixr1' 'none/t1_card_3' 'none/d16_abcmiz_a' 'none/d8_matrixc1' 'none/d1_matrix_5' 'none/t57_classes1' 'none/t12_group_6' 'none/t29_absvalue' 'none/d1_matrtop1' 'none/t17_ordinal6' 'none/t3_cohsp_1' 'none/d1_algstr_1' 'none/d3_toprealb' 'none/d17_ordinal1' 'none/t21_rfinseq2'
23: (C1 C0)
  'none/t7_numbers'#@#variant 'none/t27_urysohn2/1'#@#variant 'none/t17_numbers'#@#variant 'none/t10_numbers'#@#variant 'none/t27_urysohn2/0'#@#variant 'none/t30_topgen_3'#@#variant 'none/t3_mesfunc1'#@#variant 'none/t5_mesfunc1'#@#variant 'none/t20_numbers'#@#variant 'none/t15_numbers'#@#variant 'none/t22_ami_2'#@#variant 'none/t14_numbers'#@#variant 'none/t56_trees_1'#@#variant 'none/t9_numbers'#@#variant 'none/t8_numbers'#@#variant 'none/t17_zf_refle'#@#variant 'none/t19_numbers'#@#variant 'none/t18_numbers'#@#variant 'none/t1_finance2/0'#@#variant 'none/t1_mesfunc1'#@#variant 'none/t5_scmfsa_1'#@#variant 'none/t2_arytm_2'#@#variant 'none/t16_numbers'#@#variant
22: (~ (C1 = C0))
  'none/t3_scmp_gcd' 'none/t35_kurato_1'#@#variant 'none/t26_numbers' 'none/t41_kurato_1'#@#variant 'none/t38_kurato_1'#@#variant 'none/t23_numbers' 'none/t39_kurato_1'#@#variant 'none/t22_numbers' 'none/t21_numbers' 'none/t29_numbers' 'none/t30_numbers' 'none/t33_kurato_1'#@#variant 'none/t28_numbers' 'none/t36_kurato_1'#@#variant 'none/t25_numbers' 'none/t40_kurato_1'#@#variant 'none/t24_numbers' 'none/t16_funct_7'#@#variant 'none/t62_kurato_1'#@#variant 'none/t44_kurato_1'#@#variant 'none/t32_numbers' 'none/t27_numbers'
Property: 
497: (C2 = (C1 C0))
  'none/t31_sincos10/2'#@#variant 'none/t4_jgraph_2'#@#variant 'none/t21_twoscomp/6'#@#variant 'none/d2_scmp_gcd' 'none/t18_twoscomp/6'#@#variant 'none/t75_sincos10/0'#@#variant 'none/t41_borsuk_7' 'none/t12_scm_1/0'#@#variant 'none/t1_sin_cos/0' 'none/t10_moebius2' 'none/t71_quaterni' 'none/t3_jgraph_2/0'#@#variant 'none/t19_twoscomp/2'#@#variant 'none/t17_moebius2' 'none/t88_numpoly1' 'none/t4_scmfsa9a'#@#variant 'none/t9_twoscomp/11'#@#variant 'none/t40_sin_cos9/0'#@#variant 'none/t32_scmfsa_1'#@#variant 'none/t37_sin_cos9/0'#@#variant 'none/t13_numpoly1' 'none/t32_moebius1'#@#variant 'none/d1_rsspace'#@#variant 'none/t22_moebius2' 'none/t76_sin_cos/6'#@#variant 'none/t30_sin_cos/0'#@#variant 'none/t4_gfacirc1/5'#@#variant 'none/t106_card_3'#@#variant 'none/t94_sin_cos6'#@#variant 'none/t83_quatern3' 'none/t17_sin_cos9/1'#@#variant 'none/t9_twoscomp/3'#@#variant 'none/t39_sin_cos9/0'#@#variant 'none/t22_twoscomp/5'#@#variant 'none/t50_finseq_2'#@#variant 'none/t50_stirl2_1/1' 'none/t50_stirl2_1/0' 'none/t77_sin_cos/0'#@#variant 'none/t48_quaterni/1'#@#variant 'none/t10_twoscomp/6'#@#variant 'none/t7_integra8'#@#variant 'none/d26_pcs_0' 'none/t23_twoscomp/1'#@#variant 'none/t30_sin_cos2/0'#@#variant 'none/t49_card_1' 'none/t24_twoscomp/5'#@#variant 'none/t27_ami_3' 'none/t36_sprect_2'#@#variant 'none/t51_pre_poly'#@#variant 'none/t25_twoscomp/1'#@#variant 'none/t13_sf_mastr'#@#variant 'none/t39_quatern2' 'none/t15_finsub_1'#@#variant 'none/t24_sin_cos/1'#@#variant 'none/d12_hilbert1'#@#variant 'none/t17_funct_7'#@#variant 'none/t26_twoscomp/5'#@#variant 'none/t20_twoscomp/1'#@#variant 'none/t2_scmpds_2' 'none/t31_sprect_2' 'none/t10_scmp_gcd/4'#@#variant 'none/t1_midsp_1'#@#variant 'none/t11_twoscomp/5'#@#variant 'none/d2_scmbsort'#@#variant 'none/t14_ordinal6' 'none/t31_sincos10/1'#@#variant 'none/t2_urysohn1'#@#variant 'none/t21_twoscomp/5'#@#variant 'none/t63_power'#@#variant 'none/t18_twoscomp/5'#@#variant 'none/t1_pdiff_4/1'#@#variant 'none/t19_twoscomp/1'#@#variant 'none/d2_fdiff_9'#@#variant 'none/t68_quaterni' 'none/t9_twoscomp/10'#@#variant 'none/d4_abcmiz_a' 'none/d3_xxreal_0'#@#variant 'none/t74_xxreal_3' 'none/t12_moebius2' 'none/t4_gfacirc1/4'#@#variant 'none/t19_moebius2' 'none/t85_matrixr2/1' 'none/t2_matrix_5' 'none/t46_quatern2'#@#variant 'none/t17_sin_cos9/0'#@#variant 'none/t15_numpoly1' 'none/t24_moebius2' 'none/t9_twoscomp/2'#@#variant 'none/t12_catalan1' 'none/t22_twoscomp/4'#@#variant 'none/t48_quaterni/0'#@#variant 'none/t10_twoscomp/5'#@#variant 'none/t77_sin_cos/7'#@#variant 'none/t4_cohsp_1'#@#variant 'none/t23_twoscomp/0'#@#variant 'none/d1_borsuk_5'#@#variant 'none/t13_sin_cos2'#@#variant 'none/d7_csspace' 'none/t24_twoscomp/4'#@#variant 'none/t28_robbins4' 'none/t2_matrix11/1'#@#variant 'none/t25_twoscomp/0'#@#variant 'none/t29_topgen_3'#@#variant 'none/t16_euclid10'#@#variant 'none/t5_xxreal_3' 'none/t24_sin_cos/0'#@#variant 'none/t26_twoscomp/4'#@#variant 'none/t20_twoscomp/0'#@#variant 'none/t15_fib_num3' 'none/t30_sin_cos2/2'#@#variant 'none/t11_twoscomp/4'#@#variant 'none/t31_sincos10/0'#@#variant 'none/d14_idea_1' 'none/t21_twoscomp/4'#@#variant 'none/t52_pepin' 'none/t18_twoscomp/4'#@#variant 'none/t11_cardfin2'#@#variant 'none/t2_gfacirc1/3'#@#variant 'none/t33_sprect_2' 'none/d9_measure8' 'none/t1_pdiff_4/0'#@#variant 'none/t19_twoscomp/0'#@#variant 'none/t50_pepin' 'none/t29_comptrig'#@#variant 'none/t48_complex1' 'none/t3_pdiff_4/1'#@#variant 'none/t4_gfacirc1/3'#@#variant 'none/t27_ami_2'#@#variant 'none/t70_sin_cos6'#@#variant 'none/d29_monoid_0' 'none/t50_quaterni/3'#@#variant 'none/t9_moebius2'#@#variant 'none/t14_quaterni'#@#variant 'none/t9_twoscomp/1'#@#variant 'none/t1_gate_1/1'#@#variant 'none/t9_twoscomp/9'#@#variant 'none/t22_twoscomp/3'#@#variant 'none/t47_sin_cos'#@#variant 'none/t10_twoscomp/4'#@#variant 'none/t5_euclid_8' 'none/t19_partit_2'#@#variant 'none/t18_sin_cos9/3'#@#variant 'none/t64_power'#@#variant 'none/t77_sin_cos/6'#@#variant 'none/t46_card_1' 'none/t17_numpoly1' 'none/t54_aofa_000/5'#@#variant 'none/t23_twoscomp/7'#@#variant 'none/t49_quaterni/3'#@#variant 'none/t80_quatern3' 'none/t65_classes2' 'none/t24_twoscomp/3'#@#variant 'none/t42_sin_cos9/1'#@#variant 'none/t113_abcmiz_1' 'none/t25_twoscomp/7'#@#variant 'none/d10_numpoly1' 'none/t31_quaterni/7' 'none/t31_quaterni/6' 'none/t31_quaterni/5' 'none/t31_quaterni/4' 'none/t8_moebius2' 'none/t31_quaterni/3' 'none/t31_quaterni/2' 'none/t31_quaterni/1' 'none/t31_quaterni/0' 'none/t86_sin_cos6'#@#variant 'none/t23_sin_cos3'#@#variant 'none/t10_measure5' 'none/t26_twoscomp/3'#@#variant 'none/t20_twoscomp/7'#@#variant 'none/t11_twoscomp/3'#@#variant 'none/t74_sincos10/1'#@#variant 'none/t27_abcmiz_a/2' 'none/t27_abcmiz_a/1' 'none/t27_abcmiz_a/0' 'none/t16_topgen_5' 'none/t16_topgen_3' 'none/t44_sin_cos9/1'#@#variant 'none/t15_sin_cos2/2'#@#variant 'none/t7_sin_cos6/1'#@#variant 'none/t21_twoscomp/3'#@#variant 'none/t18_twoscomp/3'#@#variant 'none/d14_sgraph1' 'none/t8_complfld' 'none/t32_sincos10/3'#@#variant 'none/t15_quaterni'#@#variant 'none/t15_integra8'#@#variant 'none/d1_scmfsa_i'#@#variant 'none/t19_twoscomp/7'#@#variant 'none/t76_sincos10/1'#@#variant 'none/t12_newton' 'none/t22_fib_num2' 'none/t17_euclid_3'#@#variant 'none/t10_card_3'#@#variant 'none/t3_gfacirc1/6'#@#variant 'none/t33_topgen_3' 'none/t76_sin_cos/3'#@#variant 'none/d18_intpro_1'#@#variant 'none/t3_pdiff_4/0'#@#variant 'none/t60_fib_num2'#@#variant 'none/t52_quaterni'#@#variant 'none/t3_topgen_6' 'none/t38_sin_cos9/1'#@#variant 'none/t50_quaterni/2'#@#variant 'none/t2_pdiff_4/1'#@#variant 'none/t1_ami_4' 'none/t1_ami_3' 'none/t28_matrix_9'#@#variant 'none/t9_twoscomp/0'#@#variant 'none/t1_gate_1/0'#@#variant 'none/t65_quaterni' 'none/t9_twoscomp/8'#@#variant 'none/t18_complex1'#@#variant 'none/t22_twoscomp/2'#@#variant 'none/t40_borsuk_7' 'none/t10_twoscomp/3'#@#variant 'none/t73_sincos10/1'#@#variant 'none/t18_sin_cos9/2'#@#variant 'none/d1_huffman1'#@#variant 'none/t70_quaterni' 'none/t24_sin_cos3'#@#variant 'none/t7_complex1/1' 'none/t7_complex1/0' 'none/t23_twoscomp/6'#@#variant 'none/t49_quaterni/2'#@#variant 'none/t12_numpoly1' 'none/t24_twoscomp/2'#@#variant 'none/d7_rsspace' 'none/t21_euclid10/0'#@#variant 'none/t42_sin_cos9/0'#@#variant 'none/t18_euler_1' 'none/t82_quatern3' 'none/t25_twoscomp/6'#@#variant 'none/t52_ordinal5' 'none/t67_classes2' 'none/d7_irrat_1' 'none/t18_scpinvar' 'none/d2_bspace' 'none/t26_twoscomp/2'#@#variant 'none/t20_twoscomp/6'#@#variant 'none/t18_quaterni'#@#variant 'none/t18_integra8'#@#variant 'none/t11_twoscomp/2'#@#variant 'none/t74_sincos10/0'#@#variant 'none/t9_cayley' 'none/t44_sin_cos9/0'#@#variant 'none/t61_measure6'#@#variant 'none/t13_int_3' 'none/t7_sin_cos6/0'#@#variant 'none/t21_twoscomp/2'#@#variant 'none/t18_twoscomp/2'#@#variant 'none/t39_xxreal_2' 'none/t32_sincos10/2'#@#variant 'none/t3_scmfsa9a'#@#variant 'none/t5_jordan1h' 'none/t20_square_1' 'none/t19_twoscomp/6'#@#variant 'none/t76_sincos10/0'#@#variant 'none/t31_moebius1'#@#variant 'none/t3_gfacirc1/5'#@#variant 'none/t38_quatern2' 'none/t76_sin_cos/2'#@#variant 'none/t93_sin_cos6'#@#variant 'none/t40_comptrig'#@#variant 'none/t38_sin_cos9/0'#@#variant 'none/t13_gr_cy_1' 'none/t50_quaterni/1'#@#variant 'none/t2_pdiff_4/0'#@#variant 'none/t27_card_1' 'none/t9_twoscomp/7'#@#variant 'none/t29_quaterni/3' 'none/t29_quaterni/2' 'none/t29_quaterni/1' 'none/t29_quaterni/0' 'none/t22_twoscomp/1'#@#variant 'none/t4_grcat_1/3' 'none/t10_twoscomp/2'#@#variant 'none/t73_sincos10/0'#@#variant 'none/t18_sin_cos9/1'#@#variant 'none/d6_irrat_1' 'none/d3_classes2' 'none/t60_power'#@#variant 'none/t23_twoscomp/5'#@#variant 'none/t49_quaterni/1'#@#variant 'none/d3_abcmiz_a' 'none/d3_scmp_gcd' 'none/t44_quatern2'#@#variant 'none/d3_euclid_8'#@#variant 'none/t24_twoscomp/1'#@#variant 'none/t1_pdiff_2/1'#@#variant 'none/t89_numpoly1' 'none/t53_fib_num2' 'none/t1_matrix_5' 'none/t42_rvsum_2'#@#variant 'none/t25_twoscomp/5'#@#variant 'none/t14_numpoly1' 'none/t79_quatern3' 'none/t26_twoscomp/1'#@#variant 'none/d3_taylor_1' 'none/t20_twoscomp/5'#@#variant 'none/t10_scmp_gcd/0'#@#variant 'none/t11_twoscomp/1'#@#variant 'none/t84_scmpds_2' 'none/t21_twoscomp/1'#@#variant 'none/t1_zfmisc_1'#@#variant 'none/t9_scpqsort' 'none/t18_twoscomp/1'#@#variant 'none/t9_radix_1'#@#variant 'none/t14_euclid10'#@#variant 'none/t32_sincos10/1'#@#variant 'none/t15_exchsort/2' 'none/t15_exchsort/1' 'none/t15_exchsort/0' 'none/d6_topmetr' 'none/t19_twoscomp/5'#@#variant 'none/t4_cayley'#@#variant 'none/t30_extreal1/1' 'none/t3_gfacirc1/4'#@#variant 'none/t57_card_3'#@#variant 'none/t52_finseq_2'#@#variant 'none/t76_sin_cos/1'#@#variant 'none/d1_csspace'#@#variant 'none/t67_trees_3'#@#variant 'none/t14_fib_num3' 'none/t10_twoscomp/11'#@#variant 'none/t50_quaterni/0'#@#variant 'none/t11_fib_num3/0' 'none/d2_xboole_0' 'none/t2_ami_6'#@#variant 'none/d18_aofa_a01' 'none/t9_twoscomp/6'#@#variant 'none/t22_twoscomp/0'#@#variant 'none/t10_twoscomp/1'#@#variant 'none/t18_sin_cos9/0'#@#variant 'none/t63_sin_cos6'#@#variant 'none/t10_twoscomp/9'#@#variant 'none/t32_sprect_2' 'none/t10_integra8'#@#variant 'none/t15_ordinal3' 'none/t54_aofa_000/2'#@#variant 'none/t23_twoscomp/4'#@#variant 'none/t49_quaterni/0'#@#variant 'none/d58_modelc_2' 'none/t21_gr_cy_3' 'none/t39_comptrig' 'none/t24_twoscomp/0'#@#variant 'none/t1_pdiff_2/0'#@#variant 'none/t69_quaterni' 'none/t35_sgraph1/0'#@#variant 'none/t30_quaterni/3' 'none/t30_quaterni/2' 'none/t30_quaterni/1' 'none/t30_quaterni/0' 'none/d5_abcmiz_a' 'none/t75_xxreal_3' 'none/t25_twoscomp/4'#@#variant 'none/d33_monoid_0' 'none/t26_twoscomp/0'#@#variant 'none/t224_xxreal_1'#@#variant 'none/t17_euclid10'#@#variant 'none/t20_twoscomp/4'#@#variant 'none/t42_trees_1'#@#variant 'none/t4_euclid_8' 'none/t11_twoscomp/0'#@#variant 'none/t16_numpoly1' 'none/t1_gfacirc1/3'#@#variant 'none/t21_twoscomp/0'#@#variant 'none/t18_twoscomp/0'#@#variant 'none/t61_power'#@#variant 'none/t21_sin_cos3'#@#variant 'none/t32_sincos10/0'#@#variant 'none/t19_gr_cy_3' 'none/t64_classes2' 'none/d3_ltlaxio1' 'none/t19_twoscomp/4'#@#variant 'none/t28_euclid_3'#@#variant 'none/t28_comptrig'#@#variant 'none/t3_gfacirc1/3'#@#variant 'none/t76_sin_cos/0'#@#variant 'none/t29_robbins4' 'none/t31_sin_cos/0' 'none/t13_quaterni'#@#variant 'none/t13_integra8'#@#variant 'none/t10_twoscomp/10'#@#variant 'none/t20_gr_cy_3' 'none/t35_scmyciel'#@#variant 'none/t14_msafree5'#@#variant 'none/t10_binari_3'#@#variant 'none/t94_rvsum_1'#@#variant 'none/t9_twoscomp/5'#@#variant 'none/t6_xxreal_3' 'none/t41_moebius1'#@#variant 'none/t22_twoscomp/7'#@#variant 'none/t10_twoscomp/0'#@#variant 'none/t16_fib_num3' 'none/t6_complex1/1' 'none/t77_sin_cos/2'#@#variant 'none/t6_complex1/0' 'none/t48_quaterni/3'#@#variant 'none/t35_quatern2' 'none/t7_complfld' 'none/t10_twoscomp/8'#@#variant 'none/t6_ff_siec/2' 'none/t6_ff_siec/1' 'none/t6_ff_siec/0' 'none/t12_sin_cos9'#@#variant 'none/t54_aofa_000/1'#@#variant 'none/t9_sin_cos6/1'#@#variant 'none/t23_twoscomp/3'#@#variant 'none/t72_rvsum_1'#@#variant 'none/t21_fib_num2' 'none/t10_scmp_gcd/14'#@#variant 'none/t55_fib_num2'#@#variant 'none/t34_sprect_2' 'none/t13_polyform'#@#variant 'none/t24_twoscomp/7'#@#variant 'none/t1_scmfsa_2' 'none/t95_sin_cos6' 'none/t3_bspace'#@#variant 'none/t51_trees_1'#@#variant 'none/t85_sin_cos6'#@#variant 'none/t22_sin_cos3'#@#variant 'none/t25_twoscomp/3'#@#variant 'none/t18_gr_cy_3' 'none/t1_yellow14'#@#variant 'none/t20_sin_cos3' 'none/t49_complex1' 'none/t43_asympt_1'#@#variant 'none/t26_twoscomp/7'#@#variant 'none/t20_twoscomp/3'#@#variant 'none/t8_scmp_gcd' 'none/t2_pdiff_2/1'#@#variant 'none/t11_twoscomp/7'#@#variant 'none/t31_sincos10/3'#@#variant 'none/t15_moebius2' 'none/t51_asympt_1' 'none/t21_twoscomp/7'#@#variant 'none/t18_twoscomp/7'#@#variant 'none/t75_sincos10/1'#@#variant 'none/t72_sin_cos6'#@#variant 'none/t6_euclid_8' 'none/t3_jgraph_2/1'#@#variant 'none/t18_numpoly1' 'none/t16_euclid_3'#@#variant 'none/t19_twoscomp/3'#@#variant 'none/t16_quaterni'#@#variant 'none/t40_sin_cos9/1'#@#variant 'none/t17_topmetr' 'none/t37_sin_cos9/1'#@#variant 'none/t51_quaterni'#@#variant 'none/t76_sin_cos/7'#@#variant 'none/t4_yellow11'#@#variant 'none/t4_gfacirc1/6'#@#variant 'none/t53_quaterni'#@#variant 'none/t5_bspace' 'none/d11_numpoly1' 'none/t9_scmfsa10'#@#variant 'none/t9_twoscomp/4'#@#variant 'none/t39_sin_cos9/1'#@#variant 'none/d9_gaussint' 'none/d3_scmisort'#@#variant 'none/t22_twoscomp/6'#@#variant 'none/t77_sin_cos/1'#@#variant 'none/t48_quaterni/2'#@#variant 'none/t38_xxreal_2' 'none/t10_twoscomp/7'#@#variant 'none/t45_trees_1'#@#variant 'none/t62_power'#@#variant 'none/t17_topgen_3' 'none/t54_aofa_000/0' 'none/t9_sin_cos6/0'#@#variant 'none/t51_sin_cos' 'none/t23_twoscomp/2'#@#variant 'none/t30_sin_cos2/1'#@#variant 'none/t60_complfld'#@#variant 'none/t53_pepin' 'none/t37_quatern2' 'none/t24_twoscomp/6'#@#variant 'none/t57_complfld'#@#variant 'none/t29_rvsum_2'#@#variant 'none/d6_rsspace' 'none/t23_fib_num2' 'none/t3_sin_cos8/2' 'none/t51_pepin' 'none/t25_twoscomp/2'#@#variant 'none/d4_topgen_3' 'none/t17_quaterni'#@#variant 'none/t6_bspace' 'none/t26_twoscomp/6'#@#variant 'none/t20_twoscomp/2'#@#variant 'none/t18_comput_1' 'none/t2_pdiff_2/0'#@#variant 'none/t77_sin_cos/3' 'none/t3_algstr_3' 'none/t11_twoscomp/6'#@#variant 'none/d2_classes2' 'none/t52_trees_3'#@#variant
290: (!V0, ((C3 V0) = (C2 (C1 V0))))
  'none/t76_scmyciel' 'none/t16_circcmb3' 'none/d3_normsp_2' 'none/t44_zmodul02' 'none/d6_ordinal2' 'none/d6_henmodel' 'none/t44_sf_mastr'#@#variant 'none/t62_lattice2' 'none/t29_mycielsk' 'none/t16_msafree5' 'none/t23_anproj_1/1' 'none/t23_anproj_1/0' 'none/t72_group_4' 'none/d4_struct_0' 'none/d5_dblseq_2' 'none/d2_modelc_2'#@#variant 'none/t2_complsp1' 'none/d4_card_3' 'none/t4_ff_siec/1' 'none/t9_openlatt' 'none/d10_funct_6' 'none/t32_newton'#@#variant 'none/t2_sin_cos8/0'#@#variant 'none/t421_xxreal_1'#@#variant 'none/t28_sf_mastr'#@#variant 'none/t20_relat_1/1' 'none/t70_euclid' 'none/t20_relat_1/0' 'none/t4_yellow_1' 'none/d6_scmyciel' 'none/d16_xtuple_0' 'none/d24_cat_1' 'none/d7_rinfsup1' 'none/t26_lattad_1/2' 'none/t26_lattad_1/1' 'none/t26_lattad_1/0' 'none/t49_rusub_5/1' 'none/t35_scmbsort' 'none/t1_gfacirc1/0'#@#variant 'none/t15_matrix_1' 'none/t4_tdgroup/1' 'none/d1_scmpds_6'#@#variant 'none/t79_sin_cos/4'#@#variant 'none/t26_lopclset' 'none/t23_topreal6/0'#@#variant 'none/t13_unialg_3' 'none/d7_moebius1'#@#variant 'none/t83_scmyciel' 'none/d3_euclid_3' 'none/t59_rlvect_2' 'none/d18_glib_004' 'none/t422_xxreal_1'#@#variant 'none/d39_monoid_0' 'none/d9_matrix_0' 'none/d22_abcmiz_1' 'none/t16_sin_cos3'#@#variant 'none/d23_glib_003' 'none/t23_mycielsk' 'none/t35_trees_1' 'none/d6_sf_mastr' 'none/t4_openlatt' 'none/t6_heyting3' 'none/t14_topgen_2' 'none/d2_rinfsup2' 'none/d9_rinfsup2' 'none/t9_e_siec/0' 'none/t38_quofield/1' 'none/t38_quofield/0' 'none/d9_measure7' 'none/d1_topgen_4' 'none/t21_clopban2' 'none/t73_euclid' 'none/d25_fomodel1' 'none/t32_waybel_4' 'none/t12_topmetr/1' 'none/t126_finseq_3'#@#variant 'none/t2_waybel_7' 'none/t53_midsp_1' 'none/t33_lopclset' 'none/d2_matrixc1'#@#variant 'none/t29_cfuncdom' 'none/d2_sin_cos5'#@#variant 'none/t7_waybel16' 'none/t24_openlatt' 'none/t12_sin_cos5'#@#variant 'none/t22_lopban_2' 'none/d25_glib_000' 'none/t33_topgrp_1' 'none/t48_finseq_3' 'none/t74_euclid' 'none/t8_moebius1'#@#variant 'none/d2_unialg_2' 'none/t27_funcsdom' 'none/d10_compos_1' 'none/d1_yellow_6' 'none/d5_rvsum_3' 'none/d3_weierstr' 'none/t28_lattad_1/2' 'none/t28_lattad_1/1' 'none/t28_lattad_1/0' 'none/t35_robbins1' 'none/t94_finseq_2'#@#variant 'none/d7_xtuple_0' 'none/d9_necklace' 'none/d3_series_1' 'none/t24_goboard9' 'none/t43_sprect_1'#@#variant 'none/t18_ordinal6/1' 'none/t18_ordinal6/0' 'none/t4_msualg_8' 'none/t6_parsp_1' 'none/t61_monoid_0/0' 'none/t23_clopban2' 'none/d27_fomodel1' 'none/t52_borsuk_5'#@#variant 'none/t94_finseq_1' 'none/t50_matrixc1'#@#variant 'none/t23_ordinal2' 'none/d1_bspace' 'none/t20_exchsort' 'none/d1_lattice5' 'none/t25_euclid_3' 'none/t8_cayley' 'none/d5_clopban2' 'none/t43_zmodul02' 'none/d4_sin_cos4'#@#variant 'none/d5_ordinal6' 'none/d5_ordinal2' 'none/d36_monoid_0' 'none/d1_finseq_2' 'none/d8_catalg_1'#@#variant 'none/d9_glib_002' 'none/t96_tdlat_2/1' 'none/t96_tdlat_2/0' 'none/d20_glib_003' 'none/d15_mcart_1' 'none/t37_sin_cos/1'#@#variant 'none/t61_lattice2' 'none/t3_supinf_1/1' 'none/t3_supinf_1/0' 'none/d3_sf_mastr' 'none/d16_struct_0' 'none/t72_complex1' 'none/t32_filter_1/2' 'none/t32_filter_1/1' 'none/t32_filter_1/0' 'none/t1_complsp1' 'none/t44_sprect_1'#@#variant 'none/t26_scmisort' 'none/t4_simplex0' 'none/t46_sprect_1'#@#variant 'none/d2_matrixr2'#@#variant 'none/t36_gobrd14'#@#variant 'none/t29_matrprob' 'none/d15_xtuple_0' 'none/d1_rinfsup1'#@#variant 'none/d6_rinfsup1' 'none/t4_matrtop1' 'none/d4_funct_6' 'none/d4_funct_5' 'none/t78_monoid_0/1' 'none/t6_e_siec/2' 'none/t6_e_siec/1' 'none/d44_modelc_3' 'none/t66_euclid' 'none/t103_tdlat_2' 'none/t3_cayley' 'none/d19_valued_1'#@#variant 'none/t43_nat_3'#@#variant 'none/t37_lexbfs' 'none/t9_scm_comp' 'none/t77_scmyciel' 'none/t88_tdlat_2/1' 'none/t88_tdlat_2/0' 'none/d2_newton' 'none/t36_polynom3' 'none/t36_gr_cy_3' 'none/t82_scmyciel' 'none/t37_sin_cos/0'#@#variant 'none/t58_rlvect_2' 'none/t69_group_4' 'none/d2_rinfsup1'#@#variant 'none/t24_funcsdom' 'none/d3_funct_5' 'none/d9_moebius2'#@#variant 'none/t1_conlat_2/1' 'none/t1_conlat_2/0' 'none/d1_numpoly1' 'none/t32_afinsq_1'#@#variant 'none/d7_scmyciel' 'none/d1_rinfsup2' 'none/d17_xtuple_0' 'none/d8_rinfsup2' 'none/t6_laplace' 'none/t8_e_siec/0' 'none/t2_incproj/2' 'none/t2_incproj/1' 'none/t2_incproj/0' 'none/t26_ordinal2/1' 'none/t26_ordinal2/0' 'none/t55_midsp_1' 'none/t4_urysohn1/1' 'none/t22_trees_9' 'none/t158_finseq_3' 'none/t6_cayley' 'none/d2_ordinal2' 'none/t28_cfuncdom' 'none/t24_polyalg1' 'none/d9_lopclset' 'none/d3_mesfunc9' 'none/d23_abcmiz_1' 'none/t21_lopban_2' 'none/d5_finseq_1'#@#variant 'none/d24_glib_000' 'none/t43_comput_1' 'none/d11_fomodel1'#@#variant 'none/t24_mycielsk' 'none/t8_fuznum_1'#@#variant 'none/t30_mycielsk' 'none/t18_sin_cos3'#@#variant 'none/d27_pcs_0' 'none/d16_compos_1' 'none/t30_quofield/4' 'none/t30_quofield/3' 'none/t30_quofield/0' 'none/t6_trees_4'#@#variant 'none/t9_yellow_9/0' 'none/t86_tdlat_2' 'none/t7_heyting3' 'none/d1_yoneda_1' 'none/d2_weierstr' 'none/t70_lexbfs' 'none/t4_pcomps_1' 'none/t39_grcat_1' 'none/t105_tdlat_2/1' 'none/t105_tdlat_2/0' 'none/d5_scmpds_2'#@#variant 'none/d3_sin_cos5'#@#variant 'none/t2_sin_cos8/2'#@#variant 'none/t23_goboard9' 'none/d9_msualg_1'#@#variant 'none/t72_cohsp_1/1' 'none/t72_cohsp_1/0' 'none/t3_msualg_8' 'none/t22_clopban2' 'none/d4_polyform' 'none/d26_fomodel1' 'none/t69_scmyciel' 'none/t78_sin_cos/4'#@#variant 'none/t93_finseq_1' 'none/t1_yellow_1/1' 'none/t76_monoid_0/2' 'none/d11_matrixc1' 'none/t20_afinsq_2' 'none/t4_funct_6/1' 'none/t4_funct_6/0' 'none/d9_e_siec' 'none/t8_waybel16' 'none/d8_card_3' 'none/t10_jordan2c' 'none/t23_lopban_2' 'none/t38_grcat_1' 'none/t22_euclid' 'none/t81_quatern3' 'none/d8_circcmb3' 'none/t37_gobrd14'#@#variant 'none/d7_openlatt' 'none/t37_finseq_1'#@#variant 'none/t5_parsp_1' 'none/d5_lopban_2' 'none/t17_lang1' 'none/d4_moebius2'#@#variant 'none/d2_yellow_1' 'none/t5_ff_siec/0' 'none/d3_sin_cos4'#@#variant 'none/t2_sin_cos8/1'#@#variant 'none/d7_comseq_3' 'none/d16_trees_3' 'none/t94_tdlat_2' 'none/d3_matrprob' 'none/t73_group_4' 'none/d16_mcart_1' 'none/d17_valued_1'#@#variant 'none/t59_scmyciel' 'none/t12_lopclset' 'none/t18_toprealc' 'none/t45_fomodel0' 'none/t22_matrprob'#@#variant 'none/t16_exchsort' 'none/t45_sprect_1'#@#variant
124: (!V0, ((C3 (C2 V0)) (C1 V0)))
  'none/t24_ordinal2' 'none/t76_abcmiz_1/2' 'none/t76_abcmiz_1/1' 'none/t76_abcmiz_1/0' 'none/t13_autgroup' 'none/t13_finsub_1' 'none/t78_quaterni' 'none/t6_finseq_5/1' 'none/t16_mycielsk' 'none/t16_rvsum_3' 'none/t8_mfold_1' 'none/t68_intpro_1' 'none/t3_msafree2' 'none/t24_card_fil'#@#variant 'none/t67_jordan6' 'none/t35_gobrd14'#@#variant 'none/t45_bcialg_2' 'none/t2_radix_3' 'none/t4_latticea' 'none/t50_pscomp_1/1' 'none/t50_pscomp_1/0' 'none/t25_sprect_3'#@#variant 'none/t22_wsierp_1' 'none/t14_gobrd14' 'none/t32_coh_sp' 'none/t17_grnilp_1' 'none/t37_pre_poly' 'none/t31_jordan22' 'none/t39_rinfsup2' 'none/t23_bcialg_1' 'none/t21_sprect_1' 'none/t80_intpro_1' 'none/t28_coh_sp' 'none/t47_rvsum_3' 'none/t28_borsuk_4' 'none/t19_weddwitt' 'none/t33_coh_sp' 'none/t34_arytm_3' 'none/t1_int_8' 'none/t75_quaterni' 'none/t36_int_1' 'none/t3_ordinal2' 'none/t11_taxonom1' 'none/t8_dtconstr' 'none/t35_partit1' 'none/t33_jordan22' 'none/t33_valued_1'#@#variant 'none/t33_cgames_1' 'none/t20_waybel34' 'none/t18_zfrefle1' 'none/t35_tdlat_1' 'none/t55_complex1' 'none/t77_quaterni' 'none/t18_rvsum_3' 'none/t15_mycielsk' 'none/t88_sprect_1' 'none/t30_pcomps_1' 'none/t24_rinfsup2' 'none/t9_sgraph1' 'none/t10_waybel30' 'none/t17_rvsum_3' 'none/t34_pscomp_1/1' 'none/t34_pscomp_1/0' 'none/t1_fomodel1/9' 'none/t1_fomodel1/8' 'none/t1_fomodel1/7' 'none/t1_fomodel1/6' 'none/t1_fomodel1/5' 'none/t1_fomodel1/4' 'none/t1_fomodel1/3' 'none/t22_waybel28' 'none/t5_topgen_4' 'none/t22_waybel16' 'none/t42_pscomp_1/1' 'none/t42_pscomp_1/0' 'none/t44_bcialg_2' 'none/t124_jordan2c'#@#variant 'none/t49_ordinal2' 'none/t13_jordan1b' 'none/t66_jordan6' 'none/t31_tdlat_1' 'none/t26_scmyciel' 'none/t58_pscomp_1/1' 'none/t58_pscomp_1/0' 'none/t40_moebius1' 'none/t41_cqc_the1' 'none/t30_jordan22' 'none/t4_msafree2' 'none/t71_aofa_000' 'none/t73_newton' 'none/t26_sprect_3'#@#variant 'none/t19_waybel33' 'none/t16_afproj' 'none/t34_trees_1' 'none/t18_weddwitt' 'none/t24_waybel33' 'none/t30_valued_1'#@#variant 'none/t46_bcialg_2' 'none/t34_gobrd14'#@#variant 'none/t68_zfmisc_1' 'none/t151_zf_lang1' 'none/t56_mmlquery' 'none/t32_jordan22' 'none/t19_bcialg_1' 'none/t21_trees_3' 'none/t38_rusub_5' 'none/t22_sprect_1' 'none/t2_setfam_1' 'none/t81_intpro_1' 'none/t21_euclid' 'none/t15_trees_9'#@#variant 'none/t54_complex1' 'none/t76_quaterni' 'none/t2_struct_0' 'none/t70_newton' 'none/t51_card_3' 'none/t1_measure8'#@#variant 'none/t29_jordan22' 'none/t34_jordan22' 'none/t34_cgames_1' 'none/t12_ordinal2' 'none/t20_rvsum_3' 'none/t31_graph_1' 'none/t21_waybel33'
118: (!V0, ((C2 V0) = (C2 (C1 V0))))
  'none/t39_weddwitt' 'none/t61_complfld'#@#variant 'none/t5_afinsq_2/0'#@#variant 'none/t19_jordan21' 'none/t12_lattice2/0' 'none/t12_topgen_2' 'none/t9_topreal7/1' 'none/t9_topreal7/0' 'none/t19_sin_cos2/0'#@#variant 'none/t41_jordan22' 'none/t5_necklace' 'none/t57_finseq_5/1' 'none/t57_finseq_5/0' 'none/t49_rusub_5/0' 'none/t3_square_1' 'none/t7_descip_1' 'none/t4_tdgroup/0' 'none/t4_zmodul05' 'none/t30_rfinseq2/1' 'none/t30_rfinseq2/0' 'none/t3_sin_cos3'#@#variant 'none/t73_quaterni' 'none/t143_rvsum_1/1' 'none/t143_rvsum_1/0' 'none/t8_matrix_5/1' 'none/t8_matrix_5/0' 'none/t21_relat_1' 'none/t5_euclid' 'none/t75_complex1' 'none/t4_complsp2' 'none/t66_cohsp_1' 'none/t14_petri/1' 'none/t14_petri/0' 'none/t16_sprect_2' 'none/t38_jordan22' 'none/t22_goboard9' 'none/t30_rlvect_5' 'none/t12_topmetr/0' 'none/t57_altcat_4' 'none/t53_complex1' 'none/t26_sf_mastr' 'none/t140_zf_lang1' 'none/t101_finseq_1' 'none/t69_topreal6' 'none/t22_sppol_2'#@#variant 'none/t3_mod_4/1' 'none/t3_mod_4/0' 'none/t59_altcat_4' 'none/t24_absvalue'#@#variant 'none/t5_afinsq_2/1' 'none/t114_rvsum_1' 'none/t8_topreal7/1' 'none/t8_topreal7/0' 'none/t62_card_1' 'none/t18_jordan21' 'none/t55_finseq_1' 'none/t33_gaussint' 'none/t63_funct_8'#@#variant 'none/t38_trees_3' 'none/t11_fib_num2'#@#variant 'none/t3_yellow_6' 'none/t69_afinsq_2' 'none/t40_jordan22' 'none/t42_rvsum_3' 'none/t44_quaterni/0' 'none/t48_complsp2/1' 'none/t48_complsp2/0' 'none/t10_waybel22' 'none/t7_matrix_5/1' 'none/t7_matrix_5/0' 'none/t1_card_5' 'none/t60_zf_lang1' 'none/t72_quaterni' 'none/t15_pre_ff/2'#@#variant 'none/t1_euclid10'#@#variant 'none/t19_pre_poly' 'none/t10_rusub_4' 'none/t27_complex1/0' 'none/t15_sprect_2' 'none/t8_valued_1/0' 'none/t30_topgen_2' 'none/t50_rvsum_2' 'none/t56_altcat_4' 'none/t4_euclid10'#@#variant 'none/t52_complex1' 'none/t20_matrprob/0' 'none/t11_valued_1/0' 'none/t28_matrprob'#@#variant 'none/t5_complsp2' 'none/t42_sf_mastr' 'none/t20_jordan21' 'none/t68_topreal6' 'none/t31_rfinseq2/1' 'none/t31_rfinseq2/0' 'none/t30_sin_cos/2'#@#variant 'none/t31_sin_cos/2' 'none/t54_euclid_8'#@#variant 'none/t39_jordan22' 'none/t2_partfun3' 'none/t29_extreal1' 'none/t57_rvsum_1' 'none/t36_scmfsa6a' 'none/t58_altcat_4' 'none/t8_card_4/1'#@#variant 'none/t43_rat_1/0' 'none/t10_euclid' 'none/t9_matrixc1/1' 'none/t9_matrixc1/0' 'none/t59_funct_6' 'none/t3_polynom3'#@#variant 'none/t17_jordan21' 'none/t60_funct_6' 'none/t40_scmyciel' 'none/t17_uniroots' 'none/t1_friends1' 'none/t10_sin_cos3'#@#variant 'none/t41_bspace' 'none/t21_abcmiz_1'
111: (!V1, (!V0, ((C1 ((C3 V1) V0)) = ((C2 (C1 V1)) (C1 V0)))))
  'none/t23_topreal7' 'none/t43_member_1' 'none/t143_seq_4'#@#variant 'none/t95_cohsp_1' 'none/t143_zf_lang1' 'none/t19_complex1/1' 'none/t19_complex1/0' 'none/t22_funct_4' 'none/t7_euclid_3'#@#variant 'none/t67_funct_3' 'none/t8_complex1/1' 'none/t8_complex1/0' 'none/t21_scmfsa6a' 'none/t12_valued_1' 'none/t97_rvsum_1' 'none/t5_binarith' 'none/t22_finseq_1' 'none/t41_euclid_6/0'#@#variant 'none/t30_comseq_2'#@#variant 'none/t76_fomodel0' 'none/t145_zf_lang1' 'none/t86_member_1' 'none/t13_card_2' 'none/t10_hahnban1/1'#@#variant 'none/t98_member_1' 'none/t3_int_6' 'none/t42_quaterni/3' 'none/t42_quaterni/2' 'none/t42_quaterni/1' 'none/t42_quaterni/0' 'none/t51_quatern2' 'none/t1_int_6' 'none/t26_afinsq_1' 'none/t14_euclid_3'#@#variant 'none/t61_zf_lang1'#@#variant 'none/t46_card_2' 'none/t71_complfld'#@#variant 'none/t87_quaterni' 'none/t98_cohsp_1' 'none/t3_topreal3/1'#@#variant 'none/t55_afinsq_2' 'none/t10_hahnban1/0'#@#variant 'none/t28_setfam_1' 'none/t23_cat_2/1' 'none/t15_euclid_3'#@#variant 'none/t23_cat_2/0' 'none/t16_valued_1' 'none/t64_zf_lang1'#@#variant 'none/t41_euclid_6/1'#@#variant 'none/t85_cohsp_1' 'none/t31_finseq_1' 'none/t50_sin_cos' 'none/t3_topreal3/0'#@#variant 'none/t69_funct_3' 'none/t27_facirc_1' 'none/t29_rvsum_1' 'none/t5_rvsum_2' 'none/t9_xxreal_2' 'none/t38_card_2' 'none/t26_trees_4' 'none/t2_int_6' 'none/t14_pcs_0/0' 'none/t75_rvsum_1' 'none/t4_binarith' 'none/t27_sf_mastr'#@#variant 'none/t39_card_2' 'none/t10_xxreal_2' 'none/t61_member_1' 'none/t9_hermitan/1'#@#variant 'none/t144_zf_lang1' 'none/t26_rvsum_2' 'none/t128_member_1' 'none/t7_mmlquer2' 'none/t23_sin_cos' 'none/t34_diff_4' 'none/t9_euclid_3'#@#variant 'none/t26_comseq_2'#@#variant 'none/t62_rvsum_1' 'none/t12_sin_cos2'#@#variant 'none/t13_rvsum_2' 'none/t13_rvsum_1' 'none/t51_member_1' 'none/t9_hermitan/0'#@#variant 'none/t2_stirl2_1'#@#variant 'none/t111_member_1' 'none/t88_cohsp_1' 'none/t75_member_1' 'none/t14_comseq_2'#@#variant 'none/t34_zf_fund1/1'#@#variant 'none/t29_zfmisc_1' 'none/t2_topreal3/1'#@#variant 'none/t142_seq_4'#@#variant 'none/t10_ordinal6' 'none/t1_menelaus/1'#@#variant 'none/t10_mmlquer2' 'none/t14_card_2' 'none/t63_cohsp_1' 'none/t141_zf_lang1' 'none/t63_zf_lang1'#@#variant 'none/t65_zf_lang1'#@#variant 'none/t34_zf_fund1/0'#@#variant 'none/t36_quaterni/3' 'none/t36_quaterni/2' 'none/t36_quaterni/1' 'none/t36_quaterni/0' 'none/t2_topreal3/0'#@#variant 'none/t19_extreal1' 'none/t32_rvsum_2' 'none/t1_menelaus/0'#@#variant 'none/t32_complex2' 'none/t17_afinsq_1'
107: (C3 = ((C2 C1) C0))
  'none/d21_metric_3'#@#variant 'none/t31_sincos10/0' 'none/d30_monoid_0' 'none/d9_intpro_1' 'none/t4_binop_2' 'none/t209_xxreal_1' 'none/t22_finance2' 'none/d4_gaussint' 'none/t47_monoid_0/1' 'none/t47_monoid_0/0' 'none/d2_euclid_8'#@#variant 'none/d3_xxreal_0' 'none/d5_ami_2' 'none/d19_metric_3'#@#variant 'none/t37_matrix_9/12'#@#variant 'none/t61_power' 'none/t76_sin_cos/3' 'none/d12_measure7' 'none/t3_binop_2' 'none/t16_euclid_8' 'none/d1_borsuk_5' 'none/t43_asympt_1' 'none/t57_monoid_0' 'none/d12_prob_1' 'none/d19_algstr_0'#@#variant 'none/t18_integra8' 'none/t17_quaterni' 'none/d12_gaussint' 'none/t64_power' 'none/d26_sin_cos'#@#variant 'none/d1_rsspace' 'none/t26_kurato_1'#@#variant 'none/t18_euclid_8' 'none/t5_treal_1/1' 'none/t5_treal_1/0' 'none/t52_monoid_0' 'none/d7_hilbert1' 'none/t5_mesfunc7' 'none/t2_yellow11'#@#variant 'none/d2_algstr_0'#@#variant 'none/t49_sin_cos6'#@#variant 'none/t7_binop_2' 'none/t7_jgraph_2/1'#@#variant 'none/t30_integra8' 'none/t73_sincos10/0' 'none/d1_scmfsa_i' 'none/t12_scmfsa_m'#@#variant 'none/t10_binop_2' 'none/d1_scm_inst'#@#variant 'none/t6_binop_2' 'none/t27_integra8' 'none/d3_gaussint' 'none/t15_binari_3'#@#variant 'none/d17_metric_3'#@#variant 'none/t63_power' 'none/t62_moebius2' 'none/d21_metric_1' 'none/d26_monoid_0' 'none/d23_metric_3'#@#variant 'none/t2_mesfunc1' 'none/t89_comput_1/0'#@#variant 'none/t16_quaterni' 'none/t2_binop_2' 'none/d27_sin_cos'#@#variant 'none/t24_kurato_1'#@#variant 'none/d11_margrel1' 'none/d13_measure7' 'none/t13_sin_cos2' 'none/t17_euclid_8' 'none/t41_abcmiz_a/0' 'none/t1_binop_2' 'none/t50_sin_cos6'#@#variant 'none/d8_toprealb' 'none/t9_binop_2' 'none/t20_topmetr' 'none/t18_quaterni' 'none/t28_integra8'#@#variant 'none/d3_gr_cy_1' 'none/d13_gaussint' 'none/t77_comput_1'#@#variant 'none/t62_power' 'none/t3_yellow11'#@#variant 'none/d6_csspace'#@#variant 'none/d15_dickson' 'none/t8_numeral2'#@#variant 'none/d13_metric_1' 'none/t8_binop_2' 'none/t6_jgraph_2/1'#@#variant 'none/t29_integra8'#@#variant 'none/t50_card_1' 'none/d1_huffman1' 'none/t30_sin_cos/0' 'none/d2_midsp_1'#@#variant 'none/t224_xxreal_1' 'none/t31_integra8' 'none/t54_aofa_000/5' 'none/t54_aofa_000/2' 'none/t5_binop_2' 'none/t37_matrix_9/7'#@#variant 'none/t61_moebius2' 'none/t29_topgen_3' 'none/t37_matrix_9/13'#@#variant 'none/d1_csspace' 'none/d2_scmfsa_1' 'none/t15_sin_cos2/2' 'none/t43_monoid_0' 'none/t14_binari_3'#@#variant
106: (!V0, ((C2 V0) = (C1 V0)))
  'none/d1_afinsq_1'#@#variant 'none/t49_sin_cos' 'none/d14_zmodul02' 'none/t215_xcmplx_1'#@#variant 'none/t18_sheffer1' 'none/d39_modelc_2'#@#variant 'none/t43_mesfunc6' 'none/d3_cat_4' 'none/t27_euclid_8'#@#variant 'none/d14_e_siec' 'none/d4_xboolean'#@#variant 'none/t44_tdlat_3' 'none/d1_radix_1'#@#variant 'none/d10_grcat_1' 'none/d7_sincos10'#@#variant 'none/t23_waybel14' 'none/d29_cat_6' 'none/t43_tdlat_3/1' 'none/t43_tdlat_3/0' 'none/d2_sin_cos6'#@#variant 'none/t41_tdlat_3' 'none/d1_dualsp01' 'none/d6_struct_0' 'none/d4_sin_cos6'#@#variant 'none/d2_compos_0' 'none/d11_ami_3'#@#variant 'none/d8_sincos10'#@#variant 'none/t14_rvsum_3' 'none/d10_prob_1'#@#variant 'none/t39_tdlat_3' 'none/d6_conlat_1' 'none/d7_fomodel1' 'none/t30_metric_2' 'none/d2_qc_lang1' 'none/d3_ringcat1' 'none/d6_scmfsa_2' 'none/d2_waybel_4' 'none/d6_sin_cos2'#@#variant 'none/d1_seq_1'#@#variant 'none/d16_midsp_1' 'none/t20_sheffer1' 'none/t11_rvsum_3' 'none/d3_sin_cos9'#@#variant 'none/t38_sin_cos3'#@#variant 'none/d2_tex_1'#@#variant 'none/d1_limfunc1'#@#variant 'none/t37_facirc_1' 'none/d10_msualg_1' 'none/d6_filter_2' 'none/d21_cat_4' 'none/t39_sin_cos3'#@#variant 'none/d1_scmp_gcd' 'none/t61_matrprob' 'none/d23_sin_cos'#@#variant 'none/t9_waybel30' 'none/d3_struct_0' 'none/d1_openlatt' 'none/d5_sincos10'#@#variant 'none/d6_modal_1' 'none/d17_sin_cos'#@#variant 'none/d1_filter_0' 'none/t53_prefer_1' 'none/t1_stirl2_1' 'none/t40_tdlat_3/1' 'none/t40_tdlat_3/0' 'none/d2_qmax_1' 'none/t19_sheffer1' 'none/d11_grcat_1' 'none/d6_sincos10'#@#variant 'none/d5_realset2' 'none/d1_cat_6' 'none/d12_ff_siec' 'none/d3_qmax_1' 'none/d5_conlat_1' 'none/t42_tdlat_3' 'none/d2_sin_cos2'#@#variant 'none/d2_ringcat1' 'none/d4_sin_cos2'#@#variant 'none/t61_robbins1' 'none/d11_ff_siec' 'none/t9_rvsum_3' 'none/d8_partit1' 'none/d7_struct_0' 'none/d1_matroid0' 'none/d10_parsp_1' 'none/t40_sin_cos3'#@#variant 'none/d1_fomodel1' 'none/d4_sin_cos9'#@#variant 'none/d8_fomodel1' 'none/t69_card_2'#@#variant 'none/d12_euclid' 'none/t28_waybel_6' 'none/d4_ringcat1' 'none/t25_bciideal' 'none/d13_scmfsa_2' 'none/t24_exchsort/2' 'none/t24_exchsort/1' 'none/d21_quantal1' 'none/d4_henmodel' 'none/t21_sheffer1' 'none/d9_grcat_1' 'none/t41_sin_cos3'#@#variant 'none/d14_modelc_3' 'none/d19_sin_cos'#@#variant 'none/d8_aescip_1' 'none/t1_msafree2'
96: (!V0, ((C4 V0) = ((C3 (C2 V0)) (C1 V0))))
  'none/d11_asympt_0' 'none/d2_lattice3' 'none/d3_tdgroup' 'none/d1_euclid_3' 'none/d10_pscomp_1'#@#variant 'none/d34_grcat_1' 'none/d3_msafree2' 'none/d4_mfold_0' 'none/d13_ff_siec' 'none/d14_pscomp_1' 'none/d3_poset_2' 'none/d34_cat_6' 'none/t47_waybel34' 'none/d5_gr_cy_1' 'none/t22_group_1' 'none/t1_topgrp_1' 'none/d7_real_3'#@#variant 'none/t406_xxreal_1'#@#variant 'none/t18_bcialg_4' 'none/d5_integra1' 'none/d4_int_7' 'none/t2_rfunct_3' 'none/t39_tdlat_1' 'none/d8_cgames_1' 'none/t40_tdlat_1' 'none/t47_bcialg_2' 'none/d11_parsp_1' 'none/t59_monoid_0' 'none/d8_pscomp_1'#@#variant 'none/t1_lang1' 'none/t23_robbins3' 'none/t7_fvsum_1' 'none/d5_pcomps_1' 'none/d7_anproj_1' 'none/t35_taxonom1' 'none/t17_sin_cos2'#@#variant 'none/d23_osalg_1' 'none/d14_metric_2' 'none/d11_pscomp_1' 'none/t6_pre_topc' 'none/d2_normsp_2' 'none/d3_net_1' 'none/d2_sin_cos4' 'none/d2_rvsum_3' 'none/d1_net_1' 'none/d1_complsp1' 'none/d8_group_2' 'none/d6_rusub_5' 'none/t10_fomodel1' 'none/d7_afproj' 'none/t5_rvsum_3' 'none/d3_int_7' 'none/t1_fomodel1/1' 'none/d17_algstr_4' 'none/d13_pscomp_1' 'none/d6_relat_1' 'none/t22_exchsort' 'none/t420_xxreal_1'#@#variant 'none/d8_afproj' 'none/t43_tdlat_1' 'none/t57_lattice2' 'none/d9_afproj' 'none/d7_euclid' 'none/d12_lattad_1' 'none/t21_fib_num3'#@#variant 'none/d32_grcat_1' 'none/t423_xxreal_1'#@#variant 'none/t42_tdlat_1' 'none/d13_cgames_1' 'none/t405_xxreal_1'#@#variant 'none/t1_sin_cos8/0' 'none/t44_borsuk_5'#@#variant 'none/d4_analoaf' 'none/d6_glib_004' 'none/d6_exchsort' 'none/t52_lattice2' 'none/t66_topgen_4' 'none/d2_substut2' 'none/d3_autgroup' 'none/d3_autalg_1' 'none/d7_pscomp_1'#@#variant 'none/d9_pscomp_1'#@#variant 'none/d10_e_siec' 'none/t8_rvsum_3' 'none/t16_simplex0' 'none/d1_sin_cos5' 'none/d1_sin_cos4' 'none/d5_osalg_4' 'none/t7_sin_cos8/0' 'none/t7_rvsum_3' 'none/t19_rvsum_3' 'none/t5_fvsum_1' 'none/t25_sin_cos3'#@#variant 'none/d3_rvsum_3' 'none/d4_t_0topsp' 'none/d12_pscomp_1'
90: ((C2 C1) C0)
  'none/t15_numbers' 'none/t36_sgraph1/0'#@#variant 'none/t22_ami_2' 'none/t27_matrix_9/3'#@#variant 'none/t5_sincos10/0'#@#variant 'none/t1_mesfunc1' 'none/t8_euclid_8' 'none/t46_dickson' 'none/t2_numbers' 'none/t3_scmfsa_i'#@#variant 'none/t14_numbers' 'none/t19_topgen_5' 'none/t6_jordan1h' 'none/t1_scm_inst'#@#variant 'none/t74_sin_cos9'#@#variant 'none/t5_scmfsa_1' 'none/t27_urysohn2/1' 'none/t27_urysohn2/0' 'none/t43_dickson' 'none/t24_integra8'#@#variant 'none/t3_mesfunc1' 'none/t36_sin_cos2/0' 'none/t23_integra7'#@#variant 'none/t9_numbers' 'none/t26_integra8/0'#@#variant 'none/t68_sin_cos/0' 'none/t56_trees_1' 'none/t30_scmfsa_1' 'none/t27_matrix_9/1'#@#variant 'none/t19_intpro_1' 'none/t10_numbers' 'none/t6_numbers' 'none/t5_mesfunc1' 'none/t7_numeral2' 'none/t67_sin_cos/0' 'none/t4_sin_cos9/0'#@#variant 'none/t77_intpro_1' 'none/t70_sin_cos/1'#@#variant 'none/t5_numbers' 'none/t27_matrix_9/0'#@#variant 'none/t10_int_5' 'none/t17_numbers' 'none/t1_finance2/0' 'none/t94_intpro_1' 'none/t1_finance2/1'#@#variant 'none/t7_euclid_8' 'none/t106_sin_cos6/0'#@#variant 'none/t62_polynom5'#@#variant 'none/t4_numbers' 'none/t29_turing_1' 'none/t66_sin_cos/0' 'none/t16_numbers' 'none/t70_sin_cos/0'#@#variant 'none/t2_arytm_2' 'none/t35_sin_cos2/0' 'none/t8_sincos10/0'#@#variant 'none/t45_dickson' 'none/t1_numbers' 'none/t13_numbers' 'none/t22_numeral2' 'none/t73_sin_cos9'#@#variant 'none/t9_euclid_8' 'none/t1_arytm_2' 'none/t1_arytm_0' 'none/t44_dickson' 'none/t23_abcmiz_1'#@#variant 'none/t12_numbers' 'none/t30_topgen_3' 'none/t20_arytm_2/1' 'none/t20_arytm_2/0' 'none/t8_numbers' 'none/t33_numbers' 'none/t11_numbers' 'none/t27_matrix_9/5'#@#variant 'none/t7_numbers' 'none/t19_numbers' 'none/t1_scmfsa_i' 'none/t1_scmfsa_1' 'none/t20_numbers' 'none/t83_sin_cos6/0'#@#variant 'none/t8_abcmiz_a' 'none/t26_modal_1' 'none/t5_card_4/0'#@#variant 'none/t2_sin_cos9'#@#variant 'none/t18_numbers' 'none/t34_sin_cos2/0' 'none/t31_numbers' 'none/t17_zf_refle' 'none/t3_numbers' 'none/t95_intpro_1'
84: (!V0, ((C3 V0) = ((C2 V0) C0)))
  'none/d1_euclid_5' 'none/t1_fdiff_7' 'none/d11_euclid'#@#variant 'none/d5_lpspace1'#@#variant 'none/t31_ordinal2' 'none/t10_idea_1' 'none/t110_rvsum_1'#@#variant 'none/d3_euclid_5' 'none/d11_seq_4' 'none/d12_yellow_0' 'none/t5_msafree4' 'none/d3_limfunc1' 'none/d1_rfunct_3' 'none/d40_modelc_1' 'none/t7_fomodel2' 'none/t29_jordan2b/1'#@#variant 'none/t4_glib_003/2' 'none/t4_glib_003/1' 'none/t4_glib_003/0' 'none/d7_glib_003' 'none/d7_glib_000' 'none/d4_cfuncdom' 'none/d14_rvsum_1'#@#variant 'none/t25_binari_3' 'none/d5_rvsum_1' 'none/d3_pboole' 'none/d5_cfuncdom'#@#variant 'none/d2_nbvectsp'#@#variant 'none/t29_jordan2b/0'#@#variant 'none/t93_rvsum_1'#@#variant 'none/d11_polyform' 'none/d7_lpspacc1'#@#variant 'none/t45_topgen_3' 'none/t71_rvsum_1'#@#variant 'none/t27_polyeq_3/2' 'none/d9_glib_003' 'none/d9_glib_000' 'none/t60_complex2' 'none/t40_ordinal5' 'none/d5_funcsdom'#@#variant 'none/t46_power' 'none/t26_euclid_8'#@#variant 'none/d11_rvsum_1'#@#variant 'none/d6_lpspace1'#@#variant 'none/d2_euclid_5' 'none/t54_rvsum_1'#@#variant 'none/d1_ltlaxio1' 'none/d11_yellow_0' 'none/d12_seq_4'#@#variant 'none/d2_limfunc1' 'none/d8_rvsum_1' 'none/t20_trees_4/1' 'none/t20_trees_4/0' 'none/d1_euclid' 'none/d9_polyform' 'none/d10_euclid' 'none/d15_rvsum_1'#@#variant 'none/t193_xcmplx_1'#@#variant 'none/d6_glib_000' 'none/d17_intpro_1' 'none/t39_funct_7' 'none/d9_euclid' 'none/d2_pnproc_1'#@#variant 'none/d6_ami_2' 'none/d3_euclid' 'none/d10_polyform' 'none/t3_glib_000/3' 'none/t3_glib_000/2' 'none/t3_glib_000/1' 'none/t3_glib_000/0' 'none/t7_classes1' 'none/d2_ff_siec' 'none/d8_glib_003' 'none/d8_glib_000' 'none/t24_pepin' 'none/d1_scmfsa_m'#@#variant 'none/d6_lpspacc1'#@#variant 'none/t26_binari_4' 'none/d6_valued_1'#@#variant 'none/d12_rvsum_1'#@#variant 'none/d3_rvsum_2' 'none/d4_funcsdom'#@#variant 'none/t81_newton/1' 'none/d15_scmfsa_1'
