./c=0.1t=0.1/00.solvable.mf_v10_d10_c_t0.1_c0.1_s1.csp ./c=0.1t=0.1/01.solvable.mf_v10_d10_c_t0.1_c0.1_s2.csp ./c=0.1t=0.1/02.solvable.mf_v10_d10_c_t0.1_c0.1_s3.csp ./c=0.1t=0.1/03.solvable.mf_v10_d10_c_t0.1_c0.1_s4.csp ./c=0.1t=0.1/04.solvable.mf_v10_d10_c_t0.1_c0.1_s5.csp ./c=0.1t=0.1/05.solvable.mf_v10_d10_c_t0.1_c0.1_s6.csp ./c=0.1t=0.1/06.solvable.mf_v10_d10_c_t0.1_c0.1_s7.csp ./c=0.1t=0.1/07.solvable.mf_v10_d10_c_t0.1_c0.1_s8.csp ./c=0.1t=0.1/08.solvable.mf_v10_d10_c_t0.1_c0.1_s9.csp ./c=0.1t=0.1/09.solvable.mf_v10_d10_c_t0.1_c0.1_s10.csp ./c=0.1t=0.1/10.solvable.mf_v10_d10_c_t0.1_c0.1_s11.csp ./c=0.1t=0.1/11.solvable.mf_v10_d10_c_t0.1_c0.1_s12.csp ./c=0.1t=0.1/12.solvable.mf_v10_d10_c_t0.1_c0.1_s13.csp ./c=0.1t=0.1/13.solvable.mf_v10_d10_c_t0.1_c0.1_s14.csp ./c=0.1t=0.1/14.solvable.mf_v10_d10_c_t0.1_c0.1_s15.csp ./c=0.1t=0.1/15.solvable.mf_v10_d10_c_t0.1_c0.1_s16.csp ./c=0.1t=0.1/16.solvable.mf_v10_d10_c_t0.1_c0.1_s17.csp ./c=0.1t=0.1/17.solvable.mf_v10_d10_c_t0.1_c0.1_s18.csp ./c=0.1t=0.1/18.solvable.mf_v10_d10_c_t0.1_c0.1_s19.csp ./c=0.1t=0.1/19.solvable.mf_v10_d10_c_t0.1_c0.1_s20.csp ./c=0.1t=0.1/20.solvable.mf_v10_d10_c_t0.1_c0.1_s21.csp ./c=0.1t=0.1/21.solvable.mf_v10_d10_c_t0.1_c0.1_s22.csp ./c=0.1t=0.1/22.solvable.mf_v10_d10_c_t0.1_c0.1_s23.csp ./c=0.1t=0.1/23.solvable.mf_v10_d10_c_t0.1_c0.1_s24.csp ./c=0.1t=0.1/24.solvable.mf_v10_d10_c_t0.1_c0.1_s25.csp ./c=0.1t=0.2/00.solvable.mf_v10_d10_c_t0.2_c0.1_s1.csp ./c=0.1t=0.2/01.solvable.mf_v10_d10_c_t0.2_c0.1_s2.csp ./c=0.1t=0.2/02.solvable.mf_v10_d10_c_t0.2_c0.1_s3.csp ./c=0.1t=0.2/03.solvable.mf_v10_d10_c_t0.2_c0.1_s4.csp ./c=0.1t=0.2/04.solvable.mf_v10_d10_c_t0.2_c0.1_s5.csp ./c=0.1t=0.2/05.solvable.mf_v10_d10_c_t0.2_c0.1_s6.csp ./c=0.1t=0.2/06.solvable.mf_v10_d10_c_t0.2_c0.1_s7.csp ./c=0.1t=0.2/07.solvable.mf_v10_d10_c_t0.2_c0.1_s8.csp ./c=0.1t=0.2/08.solvable.mf_v10_d10_c_t0.2_c0.1_s9.csp ./c=0.1t=0.2/09.solvable.mf_v10_d10_c_t0.2_c0.1_s10.csp ./c=0.1t=0.2/10.solvable.mf_v10_d10_c_t0.2_c0.1_s11.csp ./c=0.1t=0.2/11.solvable.mf_v10_d10_c_t0.2_c0.1_s12.csp ./c=0.1t=0.2/12.solvable.mf_v10_d10_c_t0.2_c0.1_s13.csp ./c=0.1t=0.2/13.solvable.mf_v10_d10_c_t0.2_c0.1_s14.csp ./c=0.1t=0.2/14.solvable.mf_v10_d10_c_t0.2_c0.1_s15.csp ./c=0.1t=0.2/15.solvable.mf_v10_d10_c_t0.2_c0.1_s16.csp ./c=0.1t=0.2/16.solvable.mf_v10_d10_c_t0.2_c0.1_s17.csp ./c=0.1t=0.2/17.solvable.mf_v10_d10_c_t0.2_c0.1_s18.csp ./c=0.1t=0.2/18.solvable.mf_v10_d10_c_t0.2_c0.1_s19.csp ./c=0.1t=0.2/19.solvable.mf_v10_d10_c_t0.2_c0.1_s20.csp ./c=0.1t=0.2/20.solvable.mf_v10_d10_c_t0.2_c0.1_s21.csp ./c=0.1t=0.2/21.solvable.mf_v10_d10_c_t0.2_c0.1_s22.csp ./c=0.1t=0.2/22.solvable.mf_v10_d10_c_t0.2_c0.1_s23.csp ./c=0.1t=0.2/23.solvable.mf_v10_d10_c_t0.2_c0.1_s24.csp ./c=0.1t=0.2/24.solvable.mf_v10_d10_c_t0.2_c0.1_s25.csp ./c=0.1t=0.3/00.solvable.mf_v10_d10_c_t0.3_c0.1_s1.csp ./c=0.1t=0.3/01.solvable.mf_v10_d10_c_t0.3_c0.1_s2.csp ./c=0.1t=0.3/02.solvable.mf_v10_d10_c_t0.3_c0.1_s3.csp ./c=0.1t=0.3/03.solvable.mf_v10_d10_c_t0.3_c0.1_s4.csp ./c=0.1t=0.3/04.solvable.mf_v10_d10_c_t0.3_c0.1_s5.csp ./c=0.1t=0.3/05.solvable.mf_v10_d10_c_t0.3_c0.1_s6.csp ./c=0.1t=0.3/06.solvable.mf_v10_d10_c_t0.3_c0.1_s7.csp ./c=0.1t=0.3/07.solvable.mf_v10_d10_c_t0.3_c0.1_s8.csp ./c=0.1t=0.3/08.solvable.mf_v10_d10_c_t0.3_c0.1_s9.csp ./c=0.1t=0.3/09.solvable.mf_v10_d10_c_t0.3_c0.1_s10.csp ./c=0.1t=0.3/10.solvable.mf_v10_d10_c_t0.3_c0.1_s11.csp ./c=0.1t=0.3/11.solvable.mf_v10_d10_c_t0.3_c0.1_s12.csp ./c=0.1t=0.3/12.solvable.mf_v10_d10_c_t0.3_c0.1_s13.csp ./c=0.1t=0.3/13.solvable.mf_v10_d10_c_t0.3_c0.1_s14.csp ./c=0.1t=0.3/14.solvable.mf_v10_d10_c_t0.3_c0.1_s15.csp ./c=0.1t=0.3/15.solvable.mf_v10_d10_c_t0.3_c0.1_s16.csp ./c=0.1t=0.3/16.solvable.mf_v10_d10_c_t0.3_c0.1_s17.csp ./c=0.1t=0.3/17.solvable.mf_v10_d10_c_t0.3_c0.1_s18.csp ./c=0.1t=0.3/18.solvable.mf_v10_d10_c_t0.3_c0.1_s19.csp ./c=0.1t=0.3/19.solvable.mf_v10_d10_c_t0.3_c0.1_s20.csp ./c=0.1t=0.3/20.solvable.mf_v10_d10_c_t0.3_c0.1_s21.csp ./c=0.1t=0.3/21.solvable.mf_v10_d10_c_t0.3_c0.1_s22.csp ./c=0.1t=0.3/22.solvable.mf_v10_d10_c_t0.3_c0.1_s23.csp ./c=0.1t=0.3/23.solvable.mf_v10_d10_c_t0.3_c0.1_s24.csp ./c=0.1t=0.3/24.solvable.mf_v10_d10_c_t0.3_c0.1_s25.csp ./c=0.1t=0.4/00.solvable.mf_v10_d10_c_t0.4_c0.1_s1.csp ./c=0.1t=0.4/01.solvable.mf_v10_d10_c_t0.4_c0.1_s2.csp ./c=0.1t=0.4/02.solvable.mf_v10_d10_c_t0.4_c0.1_s3.csp ./c=0.1t=0.4/03.solvable.mf_v10_d10_c_t0.4_c0.1_s4.csp ./c=0.1t=0.4/04.solvable.mf_v10_d10_c_t0.4_c0.1_s5.csp ./c=0.1t=0.4/05.solvable.mf_v10_d10_c_t0.4_c0.1_s6.csp ./c=0.1t=0.4/06.solvable.mf_v10_d10_c_t0.4_c0.1_s7.csp ./c=0.1t=0.4/07.solvable.mf_v10_d10_c_t0.4_c0.1_s8.csp ./c=0.1t=0.4/08.solvable.mf_v10_d10_c_t0.4_c0.1_s9.csp ./c=0.1t=0.4/09.solvable.mf_v10_d10_c_t0.4_c0.1_s10.csp ./c=0.1t=0.4/10.solvable.mf_v10_d10_c_t0.4_c0.1_s11.csp ./c=0.1t=0.4/11.solvable.mf_v10_d10_c_t0.4_c0.1_s12.csp ./c=0.1t=0.4/12.solvable.mf_v10_d10_c_t0.4_c0.1_s13.csp ./c=0.1t=0.4/13.solvable.mf_v10_d10_c_t0.4_c0.1_s14.csp ./c=0.1t=0.4/14.solvable.mf_v10_d10_c_t0.4_c0.1_s15.csp ./c=0.1t=0.4/15.solvable.mf_v10_d10_c_t0.4_c0.1_s16.csp ./c=0.1t=0.4/16.solvable.mf_v10_d10_c_t0.4_c0.1_s17.csp ./c=0.1t=0.4/17.solvable.mf_v10_d10_c_t0.4_c0.1_s18.csp ./c=0.1t=0.4/18.solvable.mf_v10_d10_c_t0.4_c0.1_s19.csp ./c=0.1t=0.4/19.solvable.mf_v10_d10_c_t0.4_c0.1_s20.csp ./c=0.1t=0.4/20.solvable.mf_v10_d10_c_t0.4_c0.1_s21.csp ./c=0.1t=0.4/21.solvable.mf_v10_d10_c_t0.4_c0.1_s22.csp ./c=0.1t=0.4/22.solvable.mf_v10_d10_c_t0.4_c0.1_s23.csp ./c=0.1t=0.4/23.solvable.mf_v10_d10_c_t0.4_c0.1_s24.csp ./c=0.1t=0.4/24.solvable.mf_v10_d10_c_t0.4_c0.1_s25.csp ./c=0.1t=0.5/00.solvable.mf_v10_d10_c_t0.5_c0.1_s1.csp ./c=0.1t=0.5/01.solvable.mf_v10_d10_c_t0.5_c0.1_s2.csp ./c=0.1t=0.5/02.solvable.mf_v10_d10_c_t0.5_c0.1_s3.csp ./c=0.1t=0.5/03.solvable.mf_v10_d10_c_t0.5_c0.1_s4.csp ./c=0.1t=0.5/04.solvable.mf_v10_d10_c_t0.5_c0.1_s5.csp ./c=0.1t=0.5/05.solvable.mf_v10_d10_c_t0.5_c0.1_s6.csp ./c=0.1t=0.5/06.solvable.mf_v10_d10_c_t0.5_c0.1_s7.csp ./c=0.1t=0.5/07.solvable.mf_v10_d10_c_t0.5_c0.1_s8.csp ./c=0.1t=0.5/08.solvable.mf_v10_d10_c_t0.5_c0.1_s9.csp ./c=0.1t=0.5/09.solvable.mf_v10_d10_c_t0.5_c0.1_s10.csp ./c=0.1t=0.5/10.solvable.mf_v10_d10_c_t0.5_c0.1_s11.csp ./c=0.1t=0.5/11.solvable.mf_v10_d10_c_t0.5_c0.1_s12.csp ./c=0.1t=0.5/12.solvable.mf_v10_d10_c_t0.5_c0.1_s13.csp ./c=0.1t=0.5/13.solvable.mf_v10_d10_c_t0.5_c0.1_s14.csp ./c=0.1t=0.5/14.solvable.mf_v10_d10_c_t0.5_c0.1_s15.csp ./c=0.1t=0.5/15.solvable.mf_v10_d10_c_t0.5_c0.1_s16.csp ./c=0.1t=0.5/16.solvable.mf_v10_d10_c_t0.5_c0.1_s17.csp ./c=0.1t=0.5/17.solvable.mf_v10_d10_c_t0.5_c0.1_s18.csp ./c=0.1t=0.5/18.solvable.mf_v10_d10_c_t0.5_c0.1_s19.csp ./c=0.1t=0.5/19.solvable.mf_v10_d10_c_t0.5_c0.1_s20.csp ./c=0.1t=0.5/20.solvable.mf_v10_d10_c_t0.5_c0.1_s21.csp ./c=0.1t=0.5/21.solvable.mf_v10_d10_c_t0.5_c0.1_s22.csp ./c=0.1t=0.5/22.solvable.mf_v10_d10_c_t0.5_c0.1_s23.csp ./c=0.1t=0.5/23.solvable.mf_v10_d10_c_t0.5_c0.1_s24.csp ./c=0.1t=0.5/24.solvable.mf_v10_d10_c_t0.5_c0.1_s25.csp ./c=0.1t=0.6/00.solvable.mf_v10_d10_c_t0.6_c0.1_s1.csp ./c=0.1t=0.6/01.solvable.mf_v10_d10_c_t0.6_c0.1_s2.csp ./c=0.1t=0.6/02.solvable.mf_v10_d10_c_t0.6_c0.1_s3.csp ./c=0.1t=0.6/03.solvable.mf_v10_d10_c_t0.6_c0.1_s4.csp ./c=0.1t=0.6/04.solvable.mf_v10_d10_c_t0.6_c0.1_s5.csp ./c=0.1t=0.6/05.solvable.mf_v10_d10_c_t0.6_c0.1_s6.csp ./c=0.1t=0.6/06.solvable.mf_v10_d10_c_t0.6_c0.1_s7.csp ./c=0.1t=0.6/07.solvable.mf_v10_d10_c_t0.6_c0.1_s8.csp ./c=0.1t=0.6/08.solvable.mf_v10_d10_c_t0.6_c0.1_s9.csp ./c=0.1t=0.6/09.solvable.mf_v10_d10_c_t0.6_c0.1_s10.csp ./c=0.1t=0.6/10.solvable.mf_v10_d10_c_t0.6_c0.1_s11.csp ./c=0.1t=0.6/11.solvable.mf_v10_d10_c_t0.6_c0.1_s12.csp ./c=0.1t=0.6/12.solvable.mf_v10_d10_c_t0.6_c0.1_s13.csp ./c=0.1t=0.6/13.solvable.mf_v10_d10_c_t0.6_c0.1_s14.csp ./c=0.1t=0.6/14.solvable.mf_v10_d10_c_t0.6_c0.1_s15.csp ./c=0.1t=0.6/15.solvable.mf_v10_d10_c_t0.6_c0.1_s16.csp ./c=0.1t=0.6/16.solvable.mf_v10_d10_c_t0.6_c0.1_s17.csp ./c=0.1t=0.6/17.solvable.mf_v10_d10_c_t0.6_c0.1_s18.csp ./c=0.1t=0.6/18.solvable.mf_v10_d10_c_t0.6_c0.1_s19.csp ./c=0.1t=0.6/19.solvable.mf_v10_d10_c_t0.6_c0.1_s20.csp ./c=0.1t=0.6/20.solvable.mf_v10_d10_c_t0.6_c0.1_s21.csp ./c=0.1t=0.6/21.solvable.mf_v10_d10_c_t0.6_c0.1_s22.csp ./c=0.1t=0.6/22.solvable.mf_v10_d10_c_t0.6_c0.1_s23.csp ./c=0.1t=0.6/23.solvable.mf_v10_d10_c_t0.6_c0.1_s24.csp ./c=0.1t=0.6/24.solvable.mf_v10_d10_c_t0.6_c0.1_s25.csp ./c=0.1t=0.7/00.solvable.mf_v10_d10_c_t0.7_c0.1_s1.csp ./c=0.1t=0.7/01.solvable.mf_v10_d10_c_t0.7_c0.1_s2.csp ./c=0.1t=0.7/02.solvable.mf_v10_d10_c_t0.7_c0.1_s3.csp ./c=0.1t=0.7/03.solvable.mf_v10_d10_c_t0.7_c0.1_s4.csp ./c=0.1t=0.7/04.solvable.mf_v10_d10_c_t0.7_c0.1_s5.csp ./c=0.1t=0.7/05.solvable.mf_v10_d10_c_t0.7_c0.1_s6.csp ./c=0.1t=0.7/06.solvable.mf_v10_d10_c_t0.7_c0.1_s7.csp ./c=0.1t=0.7/07.solvable.mf_v10_d10_c_t0.7_c0.1_s8.csp ./c=0.1t=0.7/08.solvable.mf_v10_d10_c_t0.7_c0.1_s9.csp ./c=0.1t=0.7/09.solvable.mf_v10_d10_c_t0.7_c0.1_s10.csp ./c=0.1t=0.7/10.solvable.mf_v10_d10_c_t0.7_c0.1_s11.csp ./c=0.1t=0.7/11.solvable.mf_v10_d10_c_t0.7_c0.1_s12.csp ./c=0.1t=0.7/12.solvable.mf_v10_d10_c_t0.7_c0.1_s13.csp ./c=0.1t=0.7/13.solvable.mf_v10_d10_c_t0.7_c0.1_s14.csp ./c=0.1t=0.7/14.solvable.mf_v10_d10_c_t0.7_c0.1_s15.csp ./c=0.1t=0.7/15.solvable.mf_v10_d10_c_t0.7_c0.1_s16.csp ./c=0.1t=0.7/16.solvable.mf_v10_d10_c_t0.7_c0.1_s17.csp ./c=0.1t=0.7/17.solvable.mf_v10_d10_c_t0.7_c0.1_s18.csp ./c=0.1t=0.7/18.solvable.mf_v10_d10_c_t0.7_c0.1_s19.csp ./c=0.1t=0.7/19.solvable.mf_v10_d10_c_t0.7_c0.1_s20.csp ./c=0.1t=0.7/20.solvable.mf_v10_d10_c_t0.7_c0.1_s21.csp ./c=0.1t=0.7/21.solvable.mf_v10_d10_c_t0.7_c0.1_s22.csp ./c=0.1t=0.7/22.solvable.mf_v10_d10_c_t0.7_c0.1_s23.csp ./c=0.1t=0.7/23.solvable.mf_v10_d10_c_t0.7_c0.1_s24.csp ./c=0.1t=0.7/24.solvable.mf_v10_d10_c_t0.7_c0.1_s25.csp ./c=0.1t=0.8/00.solvable.mf_v10_d10_c_t0.8_c0.1_s1.csp ./c=0.1t=0.8/01.solvable.mf_v10_d10_c_t0.8_c0.1_s2.csp ./c=0.1t=0.8/02.solvable.mf_v10_d10_c_t0.8_c0.1_s3.csp ./c=0.1t=0.8/03.solvable.mf_v10_d10_c_t0.8_c0.1_s4.csp ./c=0.1t=0.8/04.solvable.mf_v10_d10_c_t0.8_c0.1_s5.csp ./c=0.1t=0.8/05.solvable.mf_v10_d10_c_t0.8_c0.1_s6.csp ./c=0.1t=0.8/06.solvable.mf_v10_d10_c_t0.8_c0.1_s7.csp ./c=0.1t=0.8/07.solvable.mf_v10_d10_c_t0.8_c0.1_s8.csp ./c=0.1t=0.8/08.solvable.mf_v10_d10_c_t0.8_c0.1_s9.csp ./c=0.1t=0.8/09.solvable.mf_v10_d10_c_t0.8_c0.1_s10.csp ./c=0.1t=0.8/10.solvable.mf_v10_d10_c_t0.8_c0.1_s11.csp ./c=0.1t=0.8/11.solvable.mf_v10_d10_c_t0.8_c0.1_s12.csp ./c=0.1t=0.8/12.solvable.mf_v10_d10_c_t0.8_c0.1_s13.csp ./c=0.1t=0.8/13.solvable.mf_v10_d10_c_t0.8_c0.1_s14.csp ./c=0.1t=0.8/14.solvable.mf_v10_d10_c_t0.8_c0.1_s15.csp ./c=0.1t=0.8/15.solvable.mf_v10_d10_c_t0.8_c0.1_s16.csp ./c=0.1t=0.8/16.solvable.mf_v10_d10_c_t0.8_c0.1_s17.csp ./c=0.1t=0.8/17.solvable.mf_v10_d10_c_t0.8_c0.1_s18.csp ./c=0.1t=0.8/18.solvable.mf_v10_d10_c_t0.8_c0.1_s19.csp ./c=0.1t=0.8/19.solvable.mf_v10_d10_c_t0.8_c0.1_s20.csp ./c=0.1t=0.8/20.solvable.mf_v10_d10_c_t0.8_c0.1_s21.csp ./c=0.1t=0.8/21.solvable.mf_v10_d10_c_t0.8_c0.1_s22.csp ./c=0.1t=0.8/22.solvable.mf_v10_d10_c_t0.8_c0.1_s23.csp ./c=0.1t=0.8/23.solvable.mf_v10_d10_c_t0.8_c0.1_s24.csp ./c=0.1t=0.8/24.solvable.mf_v10_d10_c_t0.8_c0.1_s25.csp ./c=0.1t=0.9/00.solvable.mf_v10_d10_c_t0.9_c0.1_s1.csp ./c=0.1t=0.9/01.solvable.mf_v10_d10_c_t0.9_c0.1_s2.csp ./c=0.1t=0.9/02.solvable.mf_v10_d10_c_t0.9_c0.1_s3.csp ./c=0.1t=0.9/03.solvable.mf_v10_d10_c_t0.9_c0.1_s4.csp ./c=0.1t=0.9/04.solvable.mf_v10_d10_c_t0.9_c0.1_s5.csp ./c=0.1t=0.9/05.solvable.mf_v10_d10_c_t0.9_c0.1_s6.csp ./c=0.1t=0.9/06.solvable.mf_v10_d10_c_t0.9_c0.1_s7.csp ./c=0.1t=0.9/07.solvable.mf_v10_d10_c_t0.9_c0.1_s8.csp ./c=0.1t=0.9/08.solvable.mf_v10_d10_c_t0.9_c0.1_s9.csp ./c=0.1t=0.9/09.solvable.mf_v10_d10_c_t0.9_c0.1_s10.csp ./c=0.1t=0.9/10.solvable.mf_v10_d10_c_t0.9_c0.1_s11.csp ./c=0.1t=0.9/11.solvable.mf_v10_d10_c_t0.9_c0.1_s12.csp ./c=0.1t=0.9/12.solvable.mf_v10_d10_c_t0.9_c0.1_s13.csp ./c=0.1t=0.9/13.solvable.mf_v10_d10_c_t0.9_c0.1_s14.csp ./c=0.1t=0.9/14.solvable.mf_v10_d10_c_t0.9_c0.1_s15.csp ./c=0.1t=0.9/15.solvable.mf_v10_d10_c_t0.9_c0.1_s16.csp ./c=0.1t=0.9/25.solvable.mf_v10_d10_c_t0.9_c0.1_s26.csp ./c=0.1t=0.9/17.solvable.mf_v10_d10_c_t0.9_c0.1_s18.csp ./c=0.1t=0.9/26.solvable.mf_v10_d10_c_t0.9_c0.1_s27.csp ./c=0.1t=0.9/19.solvable.mf_v10_d10_c_t0.9_c0.1_s20.csp ./c=0.1t=0.9/20.solvable.mf_v10_d10_c_t0.9_c0.1_s21.csp ./c=0.1t=0.9/21.solvable.mf_v10_d10_c_t0.9_c0.1_s22.csp ./c=0.1t=0.9/22.solvable.mf_v10_d10_c_t0.9_c0.1_s23.csp ./c=0.1t=0.9/23.solvable.mf_v10_d10_c_t0.9_c0.1_s24.csp ./c=0.1t=0.9/24.solvable.mf_v10_d10_c_t0.9_c0.1_s25.csp ./c=0.2t=0.1/00.solvable.mf_v10_d10_c_t0.1_c0.2_s1.csp ./c=0.2t=0.1/01.solvable.mf_v10_d10_c_t0.1_c0.2_s2.csp ./c=0.2t=0.1/02.solvable.mf_v10_d10_c_t0.1_c0.2_s3.csp ./c=0.2t=0.1/03.solvable.mf_v10_d10_c_t0.1_c0.2_s4.csp ./c=0.2t=0.1/04.solvable.mf_v10_d10_c_t0.1_c0.2_s5.csp ./c=0.2t=0.1/05.solvable.mf_v10_d10_c_t0.1_c0.2_s6.csp ./c=0.2t=0.1/06.solvable.mf_v10_d10_c_t0.1_c0.2_s7.csp ./c=0.2t=0.1/07.solvable.mf_v10_d10_c_t0.1_c0.2_s8.csp ./c=0.2t=0.1/08.solvable.mf_v10_d10_c_t0.1_c0.2_s9.csp ./c=0.2t=0.1/09.solvable.mf_v10_d10_c_t0.1_c0.2_s10.csp ./c=0.2t=0.1/10.solvable.mf_v10_d10_c_t0.1_c0.2_s11.csp ./c=0.2t=0.1/11.solvable.mf_v10_d10_c_t0.1_c0.2_s12.csp ./c=0.2t=0.1/12.solvable.mf_v10_d10_c_t0.1_c0.2_s13.csp ./c=0.2t=0.1/13.solvable.mf_v10_d10_c_t0.1_c0.2_s14.csp ./c=0.2t=0.1/14.solvable.mf_v10_d10_c_t0.1_c0.2_s15.csp ./c=0.2t=0.1/15.solvable.mf_v10_d10_c_t0.1_c0.2_s16.csp ./c=0.2t=0.1/16.solvable.mf_v10_d10_c_t0.1_c0.2_s17.csp ./c=0.2t=0.1/17.solvable.mf_v10_d10_c_t0.1_c0.2_s18.csp ./c=0.2t=0.1/18.solvable.mf_v10_d10_c_t0.1_c0.2_s19.csp ./c=0.2t=0.1/19.solvable.mf_v10_d10_c_t0.1_c0.2_s20.csp ./c=0.2t=0.1/20.solvable.mf_v10_d10_c_t0.1_c0.2_s21.csp ./c=0.2t=0.1/21.solvable.mf_v10_d10_c_t0.1_c0.2_s22.csp ./c=0.2t=0.1/22.solvable.mf_v10_d10_c_t0.1_c0.2_s23.csp ./c=0.2t=0.1/23.solvable.mf_v10_d10_c_t0.1_c0.2_s24.csp ./c=0.2t=0.1/24.solvable.mf_v10_d10_c_t0.1_c0.2_s25.csp ./c=0.2t=0.2/00.solvable.mf_v10_d10_c_t0.2_c0.2_s1.csp ./c=0.2t=0.2/01.solvable.mf_v10_d10_c_t0.2_c0.2_s2.csp ./c=0.2t=0.2/02.solvable.mf_v10_d10_c_t0.2_c0.2_s3.csp ./c=0.2t=0.2/03.solvable.mf_v10_d10_c_t0.2_c0.2_s4.csp ./c=0.2t=0.2/04.solvable.mf_v10_d10_c_t0.2_c0.2_s5.csp ./c=0.2t=0.2/05.solvable.mf_v10_d10_c_t0.2_c0.2_s6.csp ./c=0.2t=0.2/06.solvable.mf_v10_d10_c_t0.2_c0.2_s7.csp ./c=0.2t=0.2/07.solvable.mf_v10_d10_c_t0.2_c0.2_s8.csp ./c=0.2t=0.2/08.solvable.mf_v10_d10_c_t0.2_c0.2_s9.csp ./c=0.2t=0.2/09.solvable.mf_v10_d10_c_t0.2_c0.2_s10.csp ./c=0.2t=0.2/10.solvable.mf_v10_d10_c_t0.2_c0.2_s11.csp ./c=0.2t=0.2/11.solvable.mf_v10_d10_c_t0.2_c0.2_s12.csp ./c=0.2t=0.2/12.solvable.mf_v10_d10_c_t0.2_c0.2_s13.csp ./c=0.2t=0.2/13.solvable.mf_v10_d10_c_t0.2_c0.2_s14.csp ./c=0.2t=0.2/14.solvable.mf_v10_d10_c_t0.2_c0.2_s15.csp ./c=0.2t=0.2/15.solvable.mf_v10_d10_c_t0.2_c0.2_s16.csp ./c=0.2t=0.2/16.solvable.mf_v10_d10_c_t0.2_c0.2_s17.csp ./c=0.2t=0.2/17.solvable.mf_v10_d10_c_t0.2_c0.2_s18.csp ./c=0.2t=0.2/18.solvable.mf_v10_d10_c_t0.2_c0.2_s19.csp ./c=0.2t=0.2/19.solvable.mf_v10_d10_c_t0.2_c0.2_s20.csp ./c=0.2t=0.2/20.solvable.mf_v10_d10_c_t0.2_c0.2_s21.csp ./c=0.2t=0.2/21.solvable.mf_v10_d10_c_t0.2_c0.2_s22.csp ./c=0.2t=0.2/22.solvable.mf_v10_d10_c_t0.2_c0.2_s23.csp ./c=0.2t=0.2/23.solvable.mf_v10_d10_c_t0.2_c0.2_s24.csp ./c=0.2t=0.2/24.solvable.mf_v10_d10_c_t0.2_c0.2_s25.csp ./c=0.2t=0.3/00.solvable.mf_v10_d10_c_t0.3_c0.2_s1.csp ./c=0.2t=0.3/01.solvable.mf_v10_d10_c_t0.3_c0.2_s2.csp ./c=0.2t=0.3/02.solvable.mf_v10_d10_c_t0.3_c0.2_s3.csp ./c=0.2t=0.3/03.solvable.mf_v10_d10_c_t0.3_c0.2_s4.csp ./c=0.2t=0.3/04.solvable.mf_v10_d10_c_t0.3_c0.2_s5.csp ./c=0.2t=0.3/05.solvable.mf_v10_d10_c_t0.3_c0.2_s6.csp ./c=0.2t=0.3/06.solvable.mf_v10_d10_c_t0.3_c0.2_s7.csp ./c=0.2t=0.3/07.solvable.mf_v10_d10_c_t0.3_c0.2_s8.csp ./c=0.2t=0.3/08.solvable.mf_v10_d10_c_t0.3_c0.2_s9.csp ./c=0.2t=0.3/09.solvable.mf_v10_d10_c_t0.3_c0.2_s10.csp ./c=0.2t=0.3/10.solvable.mf_v10_d10_c_t0.3_c0.2_s11.csp ./c=0.2t=0.3/11.solvable.mf_v10_d10_c_t0.3_c0.2_s12.csp ./c=0.2t=0.3/12.solvable.mf_v10_d10_c_t0.3_c0.2_s13.csp ./c=0.2t=0.3/13.solvable.mf_v10_d10_c_t0.3_c0.2_s14.csp ./c=0.2t=0.3/14.solvable.mf_v10_d10_c_t0.3_c0.2_s15.csp ./c=0.2t=0.3/15.solvable.mf_v10_d10_c_t0.3_c0.2_s16.csp ./c=0.2t=0.3/16.solvable.mf_v10_d10_c_t0.3_c0.2_s17.csp ./c=0.2t=0.3/17.solvable.mf_v10_d10_c_t0.3_c0.2_s18.csp ./c=0.2t=0.3/18.solvable.mf_v10_d10_c_t0.3_c0.2_s19.csp ./c=0.2t=0.3/19.solvable.mf_v10_d10_c_t0.3_c0.2_s20.csp ./c=0.2t=0.3/20.solvable.mf_v10_d10_c_t0.3_c0.2_s21.csp ./c=0.2t=0.3/21.solvable.mf_v10_d10_c_t0.3_c0.2_s22.csp ./c=0.2t=0.3/22.solvable.mf_v10_d10_c_t0.3_c0.2_s23.csp ./c=0.2t=0.3/23.solvable.mf_v10_d10_c_t0.3_c0.2_s24.csp ./c=0.2t=0.3/24.solvable.mf_v10_d10_c_t0.3_c0.2_s25.csp ./c=0.2t=0.4/00.solvable.mf_v10_d10_c_t0.4_c0.2_s1.csp ./c=0.2t=0.4/01.solvable.mf_v10_d10_c_t0.4_c0.2_s2.csp ./c=0.2t=0.4/02.solvable.mf_v10_d10_c_t0.4_c0.2_s3.csp ./c=0.2t=0.4/03.solvable.mf_v10_d10_c_t0.4_c0.2_s4.csp ./c=0.2t=0.4/04.solvable.mf_v10_d10_c_t0.4_c0.2_s5.csp ./c=0.2t=0.4/05.solvable.mf_v10_d10_c_t0.4_c0.2_s6.csp ./c=0.2t=0.4/06.solvable.mf_v10_d10_c_t0.4_c0.2_s7.csp ./c=0.2t=0.4/07.solvable.mf_v10_d10_c_t0.4_c0.2_s8.csp ./c=0.2t=0.4/08.solvable.mf_v10_d10_c_t0.4_c0.2_s9.csp ./c=0.2t=0.4/09.solvable.mf_v10_d10_c_t0.4_c0.2_s10.csp ./c=0.2t=0.4/10.solvable.mf_v10_d10_c_t0.4_c0.2_s11.csp ./c=0.2t=0.4/11.solvable.mf_v10_d10_c_t0.4_c0.2_s12.csp ./c=0.2t=0.4/12.solvable.mf_v10_d10_c_t0.4_c0.2_s13.csp ./c=0.2t=0.4/13.solvable.mf_v10_d10_c_t0.4_c0.2_s14.csp ./c=0.2t=0.4/14.solvable.mf_v10_d10_c_t0.4_c0.2_s15.csp ./c=0.2t=0.4/15.solvable.mf_v10_d10_c_t0.4_c0.2_s16.csp ./c=0.2t=0.4/16.solvable.mf_v10_d10_c_t0.4_c0.2_s17.csp ./c=0.2t=0.4/17.solvable.mf_v10_d10_c_t0.4_c0.2_s18.csp ./c=0.2t=0.4/18.solvable.mf_v10_d10_c_t0.4_c0.2_s19.csp ./c=0.2t=0.4/19.solvable.mf_v10_d10_c_t0.4_c0.2_s20.csp ./c=0.2t=0.4/20.solvable.mf_v10_d10_c_t0.4_c0.2_s21.csp ./c=0.2t=0.4/21.solvable.mf_v10_d10_c_t0.4_c0.2_s22.csp ./c=0.2t=0.4/22.solvable.mf_v10_d10_c_t0.4_c0.2_s23.csp ./c=0.2t=0.4/23.solvable.mf_v10_d10_c_t0.4_c0.2_s24.csp ./c=0.2t=0.4/24.solvable.mf_v10_d10_c_t0.4_c0.2_s25.csp ./c=0.2t=0.5/00.solvable.mf_v10_d10_c_t0.5_c0.2_s1.csp ./c=0.2t=0.5/01.solvable.mf_v10_d10_c_t0.5_c0.2_s2.csp ./c=0.2t=0.5/02.solvable.mf_v10_d10_c_t0.5_c0.2_s3.csp ./c=0.2t=0.5/03.solvable.mf_v10_d10_c_t0.5_c0.2_s4.csp ./c=0.2t=0.5/04.solvable.mf_v10_d10_c_t0.5_c0.2_s5.csp ./c=0.2t=0.5/05.solvable.mf_v10_d10_c_t0.5_c0.2_s6.csp ./c=0.2t=0.5/06.solvable.mf_v10_d10_c_t0.5_c0.2_s7.csp ./c=0.2t=0.5/07.solvable.mf_v10_d10_c_t0.5_c0.2_s8.csp ./c=0.2t=0.5/08.solvable.mf_v10_d10_c_t0.5_c0.2_s9.csp ./c=0.2t=0.5/09.solvable.mf_v10_d10_c_t0.5_c0.2_s10.csp ./c=0.2t=0.5/10.solvable.mf_v10_d10_c_t0.5_c0.2_s11.csp ./c=0.2t=0.5/11.solvable.mf_v10_d10_c_t0.5_c0.2_s12.csp ./c=0.2t=0.5/12.solvable.mf_v10_d10_c_t0.5_c0.2_s13.csp ./c=0.2t=0.5/13.solvable.mf_v10_d10_c_t0.5_c0.2_s14.csp ./c=0.2t=0.5/14.solvable.mf_v10_d10_c_t0.5_c0.2_s15.csp ./c=0.2t=0.5/15.solvable.mf_v10_d10_c_t0.5_c0.2_s16.csp ./c=0.2t=0.5/16.solvable.mf_v10_d10_c_t0.5_c0.2_s17.csp ./c=0.2t=0.5/17.solvable.mf_v10_d10_c_t0.5_c0.2_s18.csp ./c=0.2t=0.5/18.solvable.mf_v10_d10_c_t0.5_c0.2_s19.csp ./c=0.2t=0.5/19.solvable.mf_v10_d10_c_t0.5_c0.2_s20.csp ./c=0.2t=0.5/20.solvable.mf_v10_d10_c_t0.5_c0.2_s21.csp ./c=0.2t=0.5/21.solvable.mf_v10_d10_c_t0.5_c0.2_s22.csp ./c=0.2t=0.5/22.solvable.mf_v10_d10_c_t0.5_c0.2_s23.csp ./c=0.2t=0.5/23.solvable.mf_v10_d10_c_t0.5_c0.2_s24.csp ./c=0.2t=0.5/24.solvable.mf_v10_d10_c_t0.5_c0.2_s25.csp ./c=0.2t=0.6/00.solvable.mf_v10_d10_c_t0.6_c0.2_s1.csp ./c=0.2t=0.6/01.solvable.mf_v10_d10_c_t0.6_c0.2_s2.csp ./c=0.2t=0.6/02.solvable.mf_v10_d10_c_t0.6_c0.2_s3.csp ./c=0.2t=0.6/03.solvable.mf_v10_d10_c_t0.6_c0.2_s4.csp ./c=0.2t=0.6/04.solvable.mf_v10_d10_c_t0.6_c0.2_s5.csp ./c=0.2t=0.6/05.solvable.mf_v10_d10_c_t0.6_c0.2_s6.csp ./c=0.2t=0.6/06.solvable.mf_v10_d10_c_t0.6_c0.2_s7.csp ./c=0.2t=0.6/07.solvable.mf_v10_d10_c_t0.6_c0.2_s8.csp ./c=0.2t=0.6/08.solvable.mf_v10_d10_c_t0.6_c0.2_s9.csp ./c=0.2t=0.6/09.solvable.mf_v10_d10_c_t0.6_c0.2_s10.csp ./c=0.2t=0.6/10.solvable.mf_v10_d10_c_t0.6_c0.2_s11.csp ./c=0.2t=0.6/11.solvable.mf_v10_d10_c_t0.6_c0.2_s12.csp ./c=0.2t=0.6/12.solvable.mf_v10_d10_c_t0.6_c0.2_s13.csp ./c=0.2t=0.6/13.solvable.mf_v10_d10_c_t0.6_c0.2_s14.csp ./c=0.2t=0.6/14.solvable.mf_v10_d10_c_t0.6_c0.2_s15.csp ./c=0.2t=0.6/15.solvable.mf_v10_d10_c_t0.6_c0.2_s16.csp ./c=0.2t=0.6/16.solvable.mf_v10_d10_c_t0.6_c0.2_s17.csp ./c=0.2t=0.6/17.solvable.mf_v10_d10_c_t0.6_c0.2_s18.csp ./c=0.2t=0.6/18.solvable.mf_v10_d10_c_t0.6_c0.2_s19.csp ./c=0.2t=0.6/19.solvable.mf_v10_d10_c_t0.6_c0.2_s20.csp ./c=0.2t=0.6/20.solvable.mf_v10_d10_c_t0.6_c0.2_s21.csp ./c=0.2t=0.6/21.solvable.mf_v10_d10_c_t0.6_c0.2_s22.csp ./c=0.2t=0.6/22.solvable.mf_v10_d10_c_t0.6_c0.2_s23.csp ./c=0.2t=0.6/23.solvable.mf_v10_d10_c_t0.6_c0.2_s24.csp ./c=0.2t=0.6/24.solvable.mf_v10_d10_c_t0.6_c0.2_s25.csp ./c=0.2t=0.7/00.solvable.mf_v10_d10_c_t0.7_c0.2_s1.csp ./c=0.2t=0.7/01.solvable.mf_v10_d10_c_t0.7_c0.2_s2.csp ./c=0.2t=0.7/02.solvable.mf_v10_d10_c_t0.7_c0.2_s3.csp ./c=0.2t=0.7/03.solvable.mf_v10_d10_c_t0.7_c0.2_s4.csp ./c=0.2t=0.7/04.solvable.mf_v10_d10_c_t0.7_c0.2_s5.csp ./c=0.2t=0.7/05.solvable.mf_v10_d10_c_t0.7_c0.2_s6.csp ./c=0.2t=0.7/06.solvable.mf_v10_d10_c_t0.7_c0.2_s7.csp ./c=0.2t=0.7/07.solvable.mf_v10_d10_c_t0.7_c0.2_s8.csp ./c=0.2t=0.7/08.solvable.mf_v10_d10_c_t0.7_c0.2_s9.csp ./c=0.2t=0.7/09.solvable.mf_v10_d10_c_t0.7_c0.2_s10.csp ./c=0.2t=0.7/10.solvable.mf_v10_d10_c_t0.7_c0.2_s11.csp ./c=0.2t=0.7/11.solvable.mf_v10_d10_c_t0.7_c0.2_s12.csp ./c=0.2t=0.7/12.solvable.mf_v10_d10_c_t0.7_c0.2_s13.csp ./c=0.2t=0.7/13.solvable.mf_v10_d10_c_t0.7_c0.2_s14.csp ./c=0.2t=0.7/14.solvable.mf_v10_d10_c_t0.7_c0.2_s15.csp ./c=0.2t=0.7/15.solvable.mf_v10_d10_c_t0.7_c0.2_s16.csp ./c=0.2t=0.7/16.solvable.mf_v10_d10_c_t0.7_c0.2_s17.csp ./c=0.2t=0.7/17.solvable.mf_v10_d10_c_t0.7_c0.2_s18.csp ./c=0.2t=0.7/18.solvable.mf_v10_d10_c_t0.7_c0.2_s19.csp ./c=0.2t=0.7/19.solvable.mf_v10_d10_c_t0.7_c0.2_s20.csp ./c=0.2t=0.7/20.solvable.mf_v10_d10_c_t0.7_c0.2_s21.csp ./c=0.2t=0.7/21.solvable.mf_v10_d10_c_t0.7_c0.2_s22.csp ./c=0.2t=0.7/22.solvable.mf_v10_d10_c_t0.7_c0.2_s23.csp ./c=0.2t=0.7/23.solvable.mf_v10_d10_c_t0.7_c0.2_s24.csp ./c=0.2t=0.7/24.solvable.mf_v10_d10_c_t0.7_c0.2_s25.csp ./c=0.2t=0.8/00.solvable.mf_v10_d10_c_t0.8_c0.2_s1.csp ./c=0.2t=0.8/01.solvable.mf_v10_d10_c_t0.8_c0.2_s2.csp ./c=0.2t=0.8/02.solvable.mf_v10_d10_c_t0.8_c0.2_s3.csp ./c=0.2t=0.8/03.solvable.mf_v10_d10_c_t0.8_c0.2_s4.csp ./c=0.2t=0.8/04.solvable.mf_v10_d10_c_t0.8_c0.2_s5.csp ./c=0.2t=0.8/05.solvable.mf_v10_d10_c_t0.8_c0.2_s6.csp ./c=0.2t=0.8/06.solvable.mf_v10_d10_c_t0.8_c0.2_s7.csp ./c=0.2t=0.8/07.solvable.mf_v10_d10_c_t0.8_c0.2_s8.csp ./c=0.2t=0.8/08.solvable.mf_v10_d10_c_t0.8_c0.2_s9.csp ./c=0.2t=0.8/09.solvable.mf_v10_d10_c_t0.8_c0.2_s10.csp ./c=0.2t=0.8/10.solvable.mf_v10_d10_c_t0.8_c0.2_s11.csp ./c=0.2t=0.8/11.solvable.mf_v10_d10_c_t0.8_c0.2_s12.csp ./c=0.2t=0.8/12.solvable.mf_v10_d10_c_t0.8_c0.2_s13.csp ./c=0.2t=0.8/13.solvable.mf_v10_d10_c_t0.8_c0.2_s14.csp ./c=0.2t=0.8/14.solvable.mf_v10_d10_c_t0.8_c0.2_s15.csp ./c=0.2t=0.8/15.solvable.mf_v10_d10_c_t0.8_c0.2_s16.csp ./c=0.2t=0.8/16.solvable.mf_v10_d10_c_t0.8_c0.2_s17.csp ./c=0.2t=0.8/17.solvable.mf_v10_d10_c_t0.8_c0.2_s18.csp ./c=0.2t=0.8/18.solvable.mf_v10_d10_c_t0.8_c0.2_s19.csp ./c=0.2t=0.8/19.solvable.mf_v10_d10_c_t0.8_c0.2_s20.csp ./c=0.2t=0.8/20.solvable.mf_v10_d10_c_t0.8_c0.2_s21.csp ./c=0.2t=0.8/21.solvable.mf_v10_d10_c_t0.8_c0.2_s22.csp ./c=0.2t=0.8/22.solvable.mf_v10_d10_c_t0.8_c0.2_s23.csp ./c=0.2t=0.8/23.solvable.mf_v10_d10_c_t0.8_c0.2_s24.csp ./c=0.2t=0.8/24.solvable.mf_v10_d10_c_t0.8_c0.2_s25.csp ./c=0.2t=0.9/25.solvable.mf_v10_d10_c_t0.9_c0.2_s26.csp ./c=0.2t=0.9/26.solvable.mf_v10_d10_c_t0.9_c0.2_s27.csp ./c=0.2t=0.9/27.solvable.mf_v10_d10_c_t0.9_c0.2_s28.csp ./c=0.2t=0.9/28.solvable.mf_v10_d10_c_t0.9_c0.2_s29.csp ./c=0.2t=0.9/29.solvable.mf_v10_d10_c_t0.9_c0.2_s30.csp ./c=0.2t=0.9/05.solvable.mf_v10_d10_c_t0.9_c0.2_s6.csp ./c=0.2t=0.9/30.solvable.mf_v10_d10_c_t0.9_c0.2_s31.csp ./c=0.2t=0.9/31.solvable.mf_v10_d10_c_t0.9_c0.2_s32.csp ./c=0.2t=0.9/32.solvable.mf_v10_d10_c_t0.9_c0.2_s33.csp ./c=0.2t=0.9/33.solvable.mf_v10_d10_c_t0.9_c0.2_s34.csp ./c=0.2t=0.9/34.solvable.mf_v10_d10_c_t0.9_c0.2_s35.csp ./c=0.2t=0.9/35.solvable.mf_v10_d10_c_t0.9_c0.2_s36.csp ./c=0.2t=0.9/36.solvable.mf_v10_d10_c_t0.9_c0.2_s37.csp ./c=0.2t=0.9/13.solvable.mf_v10_d10_c_t0.9_c0.2_s14.csp ./c=0.2t=0.9/37.solvable.mf_v10_d10_c_t0.9_c0.2_s38.csp ./c=0.2t=0.9/38.solvable.mf_v10_d10_c_t0.9_c0.2_s39.csp ./c=0.2t=0.9/39.solvable.mf_v10_d10_c_t0.9_c0.2_s40.csp ./c=0.2t=0.9/40.solvable.mf_v10_d10_c_t0.9_c0.2_s41.csp ./c=0.2t=0.9/18.solvable.mf_v10_d10_c_t0.9_c0.2_s19.csp ./c=0.2t=0.9/19.solvable.mf_v10_d10_c_t0.9_c0.2_s20.csp ./c=0.2t=0.9/41.solvable.mf_v10_d10_c_t0.9_c0.2_s42.csp ./c=0.2t=0.9/42.solvable.mf_v10_d10_c_t0.9_c0.2_s43.csp ./c=0.2t=0.9/43.solvable.mf_v10_d10_c_t0.9_c0.2_s44.csp ./c=0.2t=0.9/44.solvable.mf_v10_d10_c_t0.9_c0.2_s45.csp ./c=0.2t=0.9/45.solvable.mf_v10_d10_c_t0.9_c0.2_s46.csp ./c=0.3t=0.1/00.solvable.mf_v10_d10_c_t0.1_c0.3_s1.csp ./c=0.3t=0.1/01.solvable.mf_v10_d10_c_t0.1_c0.3_s2.csp ./c=0.3t=0.1/02.solvable.mf_v10_d10_c_t0.1_c0.3_s3.csp ./c=0.3t=0.1/03.solvable.mf_v10_d10_c_t0.1_c0.3_s4.csp ./c=0.3t=0.1/04.solvable.mf_v10_d10_c_t0.1_c0.3_s5.csp ./c=0.3t=0.1/05.solvable.mf_v10_d10_c_t0.1_c0.3_s6.csp ./c=0.3t=0.1/06.solvable.mf_v10_d10_c_t0.1_c0.3_s7.csp ./c=0.3t=0.1/07.solvable.mf_v10_d10_c_t0.1_c0.3_s8.csp ./c=0.3t=0.1/08.solvable.mf_v10_d10_c_t0.1_c0.3_s9.csp ./c=0.3t=0.1/09.solvable.mf_v10_d10_c_t0.1_c0.3_s10.csp ./c=0.3t=0.1/10.solvable.mf_v10_d10_c_t0.1_c0.3_s11.csp ./c=0.3t=0.1/11.solvable.mf_v10_d10_c_t0.1_c0.3_s12.csp ./c=0.3t=0.1/12.solvable.mf_v10_d10_c_t0.1_c0.3_s13.csp ./c=0.3t=0.1/13.solvable.mf_v10_d10_c_t0.1_c0.3_s14.csp ./c=0.3t=0.1/14.solvable.mf_v10_d10_c_t0.1_c0.3_s15.csp ./c=0.3t=0.1/15.solvable.mf_v10_d10_c_t0.1_c0.3_s16.csp ./c=0.3t=0.1/16.solvable.mf_v10_d10_c_t0.1_c0.3_s17.csp ./c=0.3t=0.1/17.solvable.mf_v10_d10_c_t0.1_c0.3_s18.csp ./c=0.3t=0.1/18.solvable.mf_v10_d10_c_t0.1_c0.3_s19.csp ./c=0.3t=0.1/19.solvable.mf_v10_d10_c_t0.1_c0.3_s20.csp ./c=0.3t=0.1/20.solvable.mf_v10_d10_c_t0.1_c0.3_s21.csp ./c=0.3t=0.1/21.solvable.mf_v10_d10_c_t0.1_c0.3_s22.csp ./c=0.3t=0.1/22.solvable.mf_v10_d10_c_t0.1_c0.3_s23.csp ./c=0.3t=0.1/23.solvable.mf_v10_d10_c_t0.1_c0.3_s24.csp ./c=0.3t=0.1/24.solvable.mf_v10_d10_c_t0.1_c0.3_s25.csp ./c=0.3t=0.2/00.solvable.mf_v10_d10_c_t0.2_c0.3_s1.csp ./c=0.3t=0.2/01.solvable.mf_v10_d10_c_t0.2_c0.3_s2.csp ./c=0.3t=0.2/02.solvable.mf_v10_d10_c_t0.2_c0.3_s3.csp ./c=0.3t=0.2/03.solvable.mf_v10_d10_c_t0.2_c0.3_s4.csp ./c=0.3t=0.2/04.solvable.mf_v10_d10_c_t0.2_c0.3_s5.csp ./c=0.3t=0.2/05.solvable.mf_v10_d10_c_t0.2_c0.3_s6.csp ./c=0.3t=0.2/06.solvable.mf_v10_d10_c_t0.2_c0.3_s7.csp ./c=0.3t=0.2/07.solvable.mf_v10_d10_c_t0.2_c0.3_s8.csp ./c=0.3t=0.2/08.solvable.mf_v10_d10_c_t0.2_c0.3_s9.csp ./c=0.3t=0.2/09.solvable.mf_v10_d10_c_t0.2_c0.3_s10.csp ./c=0.3t=0.2/10.solvable.mf_v10_d10_c_t0.2_c0.3_s11.csp ./c=0.3t=0.2/11.solvable.mf_v10_d10_c_t0.2_c0.3_s12.csp ./c=0.3t=0.2/12.solvable.mf_v10_d10_c_t0.2_c0.3_s13.csp ./c=0.3t=0.2/13.solvable.mf_v10_d10_c_t0.2_c0.3_s14.csp ./c=0.3t=0.2/14.solvable.mf_v10_d10_c_t0.2_c0.3_s15.csp ./c=0.3t=0.2/15.solvable.mf_v10_d10_c_t0.2_c0.3_s16.csp ./c=0.3t=0.2/16.solvable.mf_v10_d10_c_t0.2_c0.3_s17.csp ./c=0.3t=0.2/17.solvable.mf_v10_d10_c_t0.2_c0.3_s18.csp ./c=0.3t=0.2/18.solvable.mf_v10_d10_c_t0.2_c0.3_s19.csp ./c=0.3t=0.2/19.solvable.mf_v10_d10_c_t0.2_c0.3_s20.csp ./c=0.3t=0.2/20.solvable.mf_v10_d10_c_t0.2_c0.3_s21.csp ./c=0.3t=0.2/21.solvable.mf_v10_d10_c_t0.2_c0.3_s22.csp ./c=0.3t=0.2/22.solvable.mf_v10_d10_c_t0.2_c0.3_s23.csp ./c=0.3t=0.2/23.solvable.mf_v10_d10_c_t0.2_c0.3_s24.csp ./c=0.3t=0.2/24.solvable.mf_v10_d10_c_t0.2_c0.3_s25.csp ./c=0.3t=0.3/00.solvable.mf_v10_d10_c_t0.3_c0.3_s1.csp ./c=0.3t=0.3/01.solvable.mf_v10_d10_c_t0.3_c0.3_s2.csp ./c=0.3t=0.3/02.solvable.mf_v10_d10_c_t0.3_c0.3_s3.csp ./c=0.3t=0.3/03.solvable.mf_v10_d10_c_t0.3_c0.3_s4.csp ./c=0.3t=0.3/04.solvable.mf_v10_d10_c_t0.3_c0.3_s5.csp ./c=0.3t=0.3/05.solvable.mf_v10_d10_c_t0.3_c0.3_s6.csp ./c=0.3t=0.3/06.solvable.mf_v10_d10_c_t0.3_c0.3_s7.csp ./c=0.3t=0.3/07.solvable.mf_v10_d10_c_t0.3_c0.3_s8.csp ./c=0.3t=0.3/08.solvable.mf_v10_d10_c_t0.3_c0.3_s9.csp ./c=0.3t=0.3/09.solvable.mf_v10_d10_c_t0.3_c0.3_s10.csp ./c=0.3t=0.3/10.solvable.mf_v10_d10_c_t0.3_c0.3_s11.csp ./c=0.3t=0.3/11.solvable.mf_v10_d10_c_t0.3_c0.3_s12.csp ./c=0.3t=0.3/12.solvable.mf_v10_d10_c_t0.3_c0.3_s13.csp ./c=0.3t=0.3/13.solvable.mf_v10_d10_c_t0.3_c0.3_s14.csp ./c=0.3t=0.3/14.solvable.mf_v10_d10_c_t0.3_c0.3_s15.csp ./c=0.3t=0.3/15.solvable.mf_v10_d10_c_t0.3_c0.3_s16.csp ./c=0.3t=0.3/16.solvable.mf_v10_d10_c_t0.3_c0.3_s17.csp ./c=0.3t=0.3/17.solvable.mf_v10_d10_c_t0.3_c0.3_s18.csp ./c=0.3t=0.3/18.solvable.mf_v10_d10_c_t0.3_c0.3_s19.csp ./c=0.3t=0.3/19.solvable.mf_v10_d10_c_t0.3_c0.3_s20.csp ./c=0.3t=0.3/20.solvable.mf_v10_d10_c_t0.3_c0.3_s21.csp ./c=0.3t=0.3/21.solvable.mf_v10_d10_c_t0.3_c0.3_s22.csp ./c=0.3t=0.3/22.solvable.mf_v10_d10_c_t0.3_c0.3_s23.csp ./c=0.3t=0.3/23.solvable.mf_v10_d10_c_t0.3_c0.3_s24.csp ./c=0.3t=0.3/24.solvable.mf_v10_d10_c_t0.3_c0.3_s25.csp ./c=0.3t=0.4/00.solvable.mf_v10_d10_c_t0.4_c0.3_s1.csp ./c=0.3t=0.4/01.solvable.mf_v10_d10_c_t0.4_c0.3_s2.csp ./c=0.3t=0.4/02.solvable.mf_v10_d10_c_t0.4_c0.3_s3.csp ./c=0.3t=0.4/03.solvable.mf_v10_d10_c_t0.4_c0.3_s4.csp ./c=0.3t=0.4/04.solvable.mf_v10_d10_c_t0.4_c0.3_s5.csp ./c=0.3t=0.4/05.solvable.mf_v10_d10_c_t0.4_c0.3_s6.csp ./c=0.3t=0.4/06.solvable.mf_v10_d10_c_t0.4_c0.3_s7.csp ./c=0.3t=0.4/07.solvable.mf_v10_d10_c_t0.4_c0.3_s8.csp ./c=0.3t=0.4/08.solvable.mf_v10_d10_c_t0.4_c0.3_s9.csp ./c=0.3t=0.4/09.solvable.mf_v10_d10_c_t0.4_c0.3_s10.csp ./c=0.3t=0.4/10.solvable.mf_v10_d10_c_t0.4_c0.3_s11.csp ./c=0.3t=0.4/11.solvable.mf_v10_d10_c_t0.4_c0.3_s12.csp ./c=0.3t=0.4/12.solvable.mf_v10_d10_c_t0.4_c0.3_s13.csp ./c=0.3t=0.4/13.solvable.mf_v10_d10_c_t0.4_c0.3_s14.csp ./c=0.3t=0.4/14.solvable.mf_v10_d10_c_t0.4_c0.3_s15.csp ./c=0.3t=0.4/15.solvable.mf_v10_d10_c_t0.4_c0.3_s16.csp ./c=0.3t=0.4/16.solvable.mf_v10_d10_c_t0.4_c0.3_s17.csp ./c=0.3t=0.4/17.solvable.mf_v10_d10_c_t0.4_c0.3_s18.csp ./c=0.3t=0.4/18.solvable.mf_v10_d10_c_t0.4_c0.3_s19.csp ./c=0.3t=0.4/19.solvable.mf_v10_d10_c_t0.4_c0.3_s20.csp ./c=0.3t=0.4/20.solvable.mf_v10_d10_c_t0.4_c0.3_s21.csp ./c=0.3t=0.4/21.solvable.mf_v10_d10_c_t0.4_c0.3_s22.csp ./c=0.3t=0.4/22.solvable.mf_v10_d10_c_t0.4_c0.3_s23.csp ./c=0.3t=0.4/23.solvable.mf_v10_d10_c_t0.4_c0.3_s24.csp ./c=0.3t=0.4/24.solvable.mf_v10_d10_c_t0.4_c0.3_s25.csp ./c=0.3t=0.5/00.solvable.mf_v10_d10_c_t0.5_c0.3_s1.csp ./c=0.3t=0.5/01.solvable.mf_v10_d10_c_t0.5_c0.3_s2.csp ./c=0.3t=0.5/02.solvable.mf_v10_d10_c_t0.5_c0.3_s3.csp ./c=0.3t=0.5/03.solvable.mf_v10_d10_c_t0.5_c0.3_s4.csp ./c=0.3t=0.5/04.solvable.mf_v10_d10_c_t0.5_c0.3_s5.csp ./c=0.3t=0.5/05.solvable.mf_v10_d10_c_t0.5_c0.3_s6.csp ./c=0.3t=0.5/06.solvable.mf_v10_d10_c_t0.5_c0.3_s7.csp ./c=0.3t=0.5/07.solvable.mf_v10_d10_c_t0.5_c0.3_s8.csp ./c=0.3t=0.5/08.solvable.mf_v10_d10_c_t0.5_c0.3_s9.csp ./c=0.3t=0.5/09.solvable.mf_v10_d10_c_t0.5_c0.3_s10.csp ./c=0.3t=0.5/10.solvable.mf_v10_d10_c_t0.5_c0.3_s11.csp ./c=0.3t=0.5/11.solvable.mf_v10_d10_c_t0.5_c0.3_s12.csp ./c=0.3t=0.5/12.solvable.mf_v10_d10_c_t0.5_c0.3_s13.csp ./c=0.3t=0.5/13.solvable.mf_v10_d10_c_t0.5_c0.3_s14.csp ./c=0.3t=0.5/14.solvable.mf_v10_d10_c_t0.5_c0.3_s15.csp ./c=0.3t=0.5/15.solvable.mf_v10_d10_c_t0.5_c0.3_s16.csp ./c=0.3t=0.5/16.solvable.mf_v10_d10_c_t0.5_c0.3_s17.csp ./c=0.3t=0.5/17.solvable.mf_v10_d10_c_t0.5_c0.3_s18.csp ./c=0.3t=0.5/18.solvable.mf_v10_d10_c_t0.5_c0.3_s19.csp ./c=0.3t=0.5/19.solvable.mf_v10_d10_c_t0.5_c0.3_s20.csp ./c=0.3t=0.5/20.solvable.mf_v10_d10_c_t0.5_c0.3_s21.csp ./c=0.3t=0.5/21.solvable.mf_v10_d10_c_t0.5_c0.3_s22.csp ./c=0.3t=0.5/22.solvable.mf_v10_d10_c_t0.5_c0.3_s23.csp ./c=0.3t=0.5/23.solvable.mf_v10_d10_c_t0.5_c0.3_s24.csp ./c=0.3t=0.5/24.solvable.mf_v10_d10_c_t0.5_c0.3_s25.csp ./c=0.3t=0.6/00.solvable.mf_v10_d10_c_t0.6_c0.3_s1.csp ./c=0.3t=0.6/01.solvable.mf_v10_d10_c_t0.6_c0.3_s2.csp ./c=0.3t=0.6/02.solvable.mf_v10_d10_c_t0.6_c0.3_s3.csp ./c=0.3t=0.6/03.solvable.mf_v10_d10_c_t0.6_c0.3_s4.csp ./c=0.3t=0.6/04.solvable.mf_v10_d10_c_t0.6_c0.3_s5.csp ./c=0.3t=0.6/05.solvable.mf_v10_d10_c_t0.6_c0.3_s6.csp ./c=0.3t=0.6/06.solvable.mf_v10_d10_c_t0.6_c0.3_s7.csp ./c=0.3t=0.6/07.solvable.mf_v10_d10_c_t0.6_c0.3_s8.csp ./c=0.3t=0.6/08.solvable.mf_v10_d10_c_t0.6_c0.3_s9.csp ./c=0.3t=0.6/09.solvable.mf_v10_d10_c_t0.6_c0.3_s10.csp ./c=0.3t=0.6/10.solvable.mf_v10_d10_c_t0.6_c0.3_s11.csp ./c=0.3t=0.6/11.solvable.mf_v10_d10_c_t0.6_c0.3_s12.csp ./c=0.3t=0.6/12.solvable.mf_v10_d10_c_t0.6_c0.3_s13.csp ./c=0.3t=0.6/13.solvable.mf_v10_d10_c_t0.6_c0.3_s14.csp ./c=0.3t=0.6/14.solvable.mf_v10_d10_c_t0.6_c0.3_s15.csp ./c=0.3t=0.6/15.solvable.mf_v10_d10_c_t0.6_c0.3_s16.csp ./c=0.3t=0.6/16.solvable.mf_v10_d10_c_t0.6_c0.3_s17.csp ./c=0.3t=0.6/17.solvable.mf_v10_d10_c_t0.6_c0.3_s18.csp ./c=0.3t=0.6/18.solvable.mf_v10_d10_c_t0.6_c0.3_s19.csp ./c=0.3t=0.6/19.solvable.mf_v10_d10_c_t0.6_c0.3_s20.csp ./c=0.3t=0.6/20.solvable.mf_v10_d10_c_t0.6_c0.3_s21.csp ./c=0.3t=0.6/21.solvable.mf_v10_d10_c_t0.6_c0.3_s22.csp ./c=0.3t=0.6/22.solvable.mf_v10_d10_c_t0.6_c0.3_s23.csp ./c=0.3t=0.6/23.solvable.mf_v10_d10_c_t0.6_c0.3_s24.csp ./c=0.3t=0.6/24.solvable.mf_v10_d10_c_t0.6_c0.3_s25.csp ./c=0.3t=0.7/00.solvable.mf_v10_d10_c_t0.7_c0.3_s1.csp ./c=0.3t=0.7/01.solvable.mf_v10_d10_c_t0.7_c0.3_s2.csp ./c=0.3t=0.7/02.solvable.mf_v10_d10_c_t0.7_c0.3_s3.csp ./c=0.3t=0.7/03.solvable.mf_v10_d10_c_t0.7_c0.3_s4.csp ./c=0.3t=0.7/04.solvable.mf_v10_d10_c_t0.7_c0.3_s5.csp ./c=0.3t=0.7/05.solvable.mf_v10_d10_c_t0.7_c0.3_s6.csp ./c=0.3t=0.7/06.solvable.mf_v10_d10_c_t0.7_c0.3_s7.csp ./c=0.3t=0.7/07.solvable.mf_v10_d10_c_t0.7_c0.3_s8.csp ./c=0.3t=0.7/08.solvable.mf_v10_d10_c_t0.7_c0.3_s9.csp ./c=0.3t=0.7/09.solvable.mf_v10_d10_c_t0.7_c0.3_s10.csp ./c=0.3t=0.7/10.solvable.mf_v10_d10_c_t0.7_c0.3_s11.csp ./c=0.3t=0.7/11.solvable.mf_v10_d10_c_t0.7_c0.3_s12.csp ./c=0.3t=0.7/12.solvable.mf_v10_d10_c_t0.7_c0.3_s13.csp ./c=0.3t=0.7/13.solvable.mf_v10_d10_c_t0.7_c0.3_s14.csp ./c=0.3t=0.7/14.solvable.mf_v10_d10_c_t0.7_c0.3_s15.csp ./c=0.3t=0.7/15.solvable.mf_v10_d10_c_t0.7_c0.3_s16.csp ./c=0.3t=0.7/16.solvable.mf_v10_d10_c_t0.7_c0.3_s17.csp ./c=0.3t=0.7/17.solvable.mf_v10_d10_c_t0.7_c0.3_s18.csp ./c=0.3t=0.7/18.solvable.mf_v10_d10_c_t0.7_c0.3_s19.csp ./c=0.3t=0.7/19.solvable.mf_v10_d10_c_t0.7_c0.3_s20.csp ./c=0.3t=0.7/20.solvable.mf_v10_d10_c_t0.7_c0.3_s21.csp ./c=0.3t=0.7/21.solvable.mf_v10_d10_c_t0.7_c0.3_s22.csp ./c=0.3t=0.7/22.solvable.mf_v10_d10_c_t0.7_c0.3_s23.csp ./c=0.3t=0.7/23.solvable.mf_v10_d10_c_t0.7_c0.3_s24.csp ./c=0.3t=0.7/24.solvable.mf_v10_d10_c_t0.7_c0.3_s25.csp ./c=0.3t=0.8/25.solvable.mf_v10_d10_c_t0.8_c0.3_s26.csp ./c=0.3t=0.8/26.solvable.mf_v10_d10_c_t0.8_c0.3_s27.csp ./c=0.3t=0.8/27.solvable.mf_v10_d10_c_t0.8_c0.3_s28.csp ./c=0.3t=0.8/28.solvable.mf_v10_d10_c_t0.8_c0.3_s29.csp ./c=0.3t=0.8/29.solvable.mf_v10_d10_c_t0.8_c0.3_s30.csp ./c=0.3t=0.8/30.solvable.mf_v10_d10_c_t0.8_c0.3_s31.csp ./c=0.3t=0.8/31.solvable.mf_v10_d10_c_t0.8_c0.3_s32.csp ./c=0.3t=0.8/07.solvable.mf_v10_d10_c_t0.8_c0.3_s8.csp ./c=0.3t=0.8/32.solvable.mf_v10_d10_c_t0.8_c0.3_s33.csp ./c=0.3t=0.8/33.solvable.mf_v10_d10_c_t0.8_c0.3_s34.csp ./c=0.3t=0.8/34.solvable.mf_v10_d10_c_t0.8_c0.3_s35.csp ./c=0.3t=0.8/35.solvable.mf_v10_d10_c_t0.8_c0.3_s36.csp ./c=0.3t=0.8/12.solvable.mf_v10_d10_c_t0.8_c0.3_s13.csp ./c=0.3t=0.8/36.solvable.mf_v10_d10_c_t0.8_c0.3_s37.csp ./c=0.3t=0.8/37.solvable.mf_v10_d10_c_t0.8_c0.3_s38.csp ./c=0.3t=0.8/38.solvable.mf_v10_d10_c_t0.8_c0.3_s39.csp ./c=0.3t=0.8/16.solvable.mf_v10_d10_c_t0.8_c0.3_s17.csp ./c=0.3t=0.8/17.solvable.mf_v10_d10_c_t0.8_c0.3_s18.csp ./c=0.3t=0.8/39.solvable.mf_v10_d10_c_t0.8_c0.3_s40.csp ./c=0.3t=0.8/40.solvable.mf_v10_d10_c_t0.8_c0.3_s41.csp ./c=0.3t=0.8/41.solvable.mf_v10_d10_c_t0.8_c0.3_s42.csp ./c=0.3t=0.8/42.solvable.mf_v10_d10_c_t0.8_c0.3_s43.csp ./c=0.3t=0.8/43.solvable.mf_v10_d10_c_t0.8_c0.3_s44.csp ./c=0.3t=0.8/44.solvable.mf_v10_d10_c_t0.8_c0.3_s45.csp ./c=0.3t=0.8/45.solvable.mf_v10_d10_c_t0.8_c0.3_s46.csp ./c=0.4t=0.1/00.solvable.mf_v10_d10_c_t0.1_c0.4_s1.csp ./c=0.4t=0.1/01.solvable.mf_v10_d10_c_t0.1_c0.4_s2.csp ./c=0.4t=0.1/02.solvable.mf_v10_d10_c_t0.1_c0.4_s3.csp ./c=0.4t=0.1/03.solvable.mf_v10_d10_c_t0.1_c0.4_s4.csp ./c=0.4t=0.1/04.solvable.mf_v10_d10_c_t0.1_c0.4_s5.csp ./c=0.4t=0.1/05.solvable.mf_v10_d10_c_t0.1_c0.4_s6.csp ./c=0.4t=0.1/06.solvable.mf_v10_d10_c_t0.1_c0.4_s7.csp ./c=0.4t=0.1/07.solvable.mf_v10_d10_c_t0.1_c0.4_s8.csp ./c=0.4t=0.1/08.solvable.mf_v10_d10_c_t0.1_c0.4_s9.csp ./c=0.4t=0.1/09.solvable.mf_v10_d10_c_t0.1_c0.4_s10.csp ./c=0.4t=0.1/10.solvable.mf_v10_d10_c_t0.1_c0.4_s11.csp ./c=0.4t=0.1/11.solvable.mf_v10_d10_c_t0.1_c0.4_s12.csp ./c=0.4t=0.1/12.solvable.mf_v10_d10_c_t0.1_c0.4_s13.csp ./c=0.4t=0.1/13.solvable.mf_v10_d10_c_t0.1_c0.4_s14.csp ./c=0.4t=0.1/14.solvable.mf_v10_d10_c_t0.1_c0.4_s15.csp ./c=0.4t=0.1/15.solvable.mf_v10_d10_c_t0.1_c0.4_s16.csp ./c=0.4t=0.1/16.solvable.mf_v10_d10_c_t0.1_c0.4_s17.csp ./c=0.4t=0.1/17.solvable.mf_v10_d10_c_t0.1_c0.4_s18.csp ./c=0.4t=0.1/18.solvable.mf_v10_d10_c_t0.1_c0.4_s19.csp ./c=0.4t=0.1/19.solvable.mf_v10_d10_c_t0.1_c0.4_s20.csp ./c=0.4t=0.1/20.solvable.mf_v10_d10_c_t0.1_c0.4_s21.csp ./c=0.4t=0.1/21.solvable.mf_v10_d10_c_t0.1_c0.4_s22.csp ./c=0.4t=0.1/22.solvable.mf_v10_d10_c_t0.1_c0.4_s23.csp ./c=0.4t=0.1/23.solvable.mf_v10_d10_c_t0.1_c0.4_s24.csp ./c=0.4t=0.1/24.solvable.mf_v10_d10_c_t0.1_c0.4_s25.csp ./c=0.4t=0.2/00.solvable.mf_v10_d10_c_t0.2_c0.4_s1.csp ./c=0.4t=0.2/01.solvable.mf_v10_d10_c_t0.2_c0.4_s2.csp ./c=0.4t=0.2/02.solvable.mf_v10_d10_c_t0.2_c0.4_s3.csp ./c=0.4t=0.2/03.solvable.mf_v10_d10_c_t0.2_c0.4_s4.csp ./c=0.4t=0.2/04.solvable.mf_v10_d10_c_t0.2_c0.4_s5.csp ./c=0.4t=0.2/05.solvable.mf_v10_d10_c_t0.2_c0.4_s6.csp ./c=0.4t=0.2/06.solvable.mf_v10_d10_c_t0.2_c0.4_s7.csp ./c=0.4t=0.2/07.solvable.mf_v10_d10_c_t0.2_c0.4_s8.csp ./c=0.4t=0.2/08.solvable.mf_v10_d10_c_t0.2_c0.4_s9.csp ./c=0.4t=0.2/09.solvable.mf_v10_d10_c_t0.2_c0.4_s10.csp ./c=0.4t=0.2/10.solvable.mf_v10_d10_c_t0.2_c0.4_s11.csp ./c=0.4t=0.2/11.solvable.mf_v10_d10_c_t0.2_c0.4_s12.csp ./c=0.4t=0.2/12.solvable.mf_v10_d10_c_t0.2_c0.4_s13.csp ./c=0.4t=0.2/13.solvable.mf_v10_d10_c_t0.2_c0.4_s14.csp ./c=0.4t=0.2/14.solvable.mf_v10_d10_c_t0.2_c0.4_s15.csp ./c=0.4t=0.2/15.solvable.mf_v10_d10_c_t0.2_c0.4_s16.csp ./c=0.4t=0.2/16.solvable.mf_v10_d10_c_t0.2_c0.4_s17.csp ./c=0.4t=0.2/17.solvable.mf_v10_d10_c_t0.2_c0.4_s18.csp ./c=0.4t=0.2/18.solvable.mf_v10_d10_c_t0.2_c0.4_s19.csp ./c=0.4t=0.2/19.solvable.mf_v10_d10_c_t0.2_c0.4_s20.csp ./c=0.4t=0.2/20.solvable.mf_v10_d10_c_t0.2_c0.4_s21.csp ./c=0.4t=0.2/21.solvable.mf_v10_d10_c_t0.2_c0.4_s22.csp ./c=0.4t=0.2/22.solvable.mf_v10_d10_c_t0.2_c0.4_s23.csp ./c=0.4t=0.2/23.solvable.mf_v10_d10_c_t0.2_c0.4_s24.csp ./c=0.4t=0.2/24.solvable.mf_v10_d10_c_t0.2_c0.4_s25.csp ./c=0.4t=0.3/00.solvable.mf_v10_d10_c_t0.3_c0.4_s1.csp ./c=0.4t=0.3/01.solvable.mf_v10_d10_c_t0.3_c0.4_s2.csp ./c=0.4t=0.3/02.solvable.mf_v10_d10_c_t0.3_c0.4_s3.csp ./c=0.4t=0.3/03.solvable.mf_v10_d10_c_t0.3_c0.4_s4.csp ./c=0.4t=0.3/04.solvable.mf_v10_d10_c_t0.3_c0.4_s5.csp ./c=0.4t=0.3/05.solvable.mf_v10_d10_c_t0.3_c0.4_s6.csp ./c=0.4t=0.3/06.solvable.mf_v10_d10_c_t0.3_c0.4_s7.csp ./c=0.4t=0.3/07.solvable.mf_v10_d10_c_t0.3_c0.4_s8.csp ./c=0.4t=0.3/08.solvable.mf_v10_d10_c_t0.3_c0.4_s9.csp ./c=0.4t=0.3/09.solvable.mf_v10_d10_c_t0.3_c0.4_s10.csp ./c=0.4t=0.3/10.solvable.mf_v10_d10_c_t0.3_c0.4_s11.csp ./c=0.4t=0.3/11.solvable.mf_v10_d10_c_t0.3_c0.4_s12.csp ./c=0.4t=0.3/12.solvable.mf_v10_d10_c_t0.3_c0.4_s13.csp ./c=0.4t=0.3/13.solvable.mf_v10_d10_c_t0.3_c0.4_s14.csp ./c=0.4t=0.3/14.solvable.mf_v10_d10_c_t0.3_c0.4_s15.csp ./c=0.4t=0.3/15.solvable.mf_v10_d10_c_t0.3_c0.4_s16.csp ./c=0.4t=0.3/16.solvable.mf_v10_d10_c_t0.3_c0.4_s17.csp ./c=0.4t=0.3/17.solvable.mf_v10_d10_c_t0.3_c0.4_s18.csp ./c=0.4t=0.3/18.solvable.mf_v10_d10_c_t0.3_c0.4_s19.csp ./c=0.4t=0.3/19.solvable.mf_v10_d10_c_t0.3_c0.4_s20.csp ./c=0.4t=0.3/20.solvable.mf_v10_d10_c_t0.3_c0.4_s21.csp ./c=0.4t=0.3/21.solvable.mf_v10_d10_c_t0.3_c0.4_s22.csp ./c=0.4t=0.3/22.solvable.mf_v10_d10_c_t0.3_c0.4_s23.csp ./c=0.4t=0.3/23.solvable.mf_v10_d10_c_t0.3_c0.4_s24.csp ./c=0.4t=0.3/24.solvable.mf_v10_d10_c_t0.3_c0.4_s25.csp ./c=0.4t=0.4/00.solvable.mf_v10_d10_c_t0.4_c0.4_s1.csp ./c=0.4t=0.4/01.solvable.mf_v10_d10_c_t0.4_c0.4_s2.csp ./c=0.4t=0.4/02.solvable.mf_v10_d10_c_t0.4_c0.4_s3.csp ./c=0.4t=0.4/03.solvable.mf_v10_d10_c_t0.4_c0.4_s4.csp ./c=0.4t=0.4/04.solvable.mf_v10_d10_c_t0.4_c0.4_s5.csp ./c=0.4t=0.4/05.solvable.mf_v10_d10_c_t0.4_c0.4_s6.csp ./c=0.4t=0.4/06.solvable.mf_v10_d10_c_t0.4_c0.4_s7.csp ./c=0.4t=0.4/07.solvable.mf_v10_d10_c_t0.4_c0.4_s8.csp ./c=0.4t=0.4/08.solvable.mf_v10_d10_c_t0.4_c0.4_s9.csp ./c=0.4t=0.4/09.solvable.mf_v10_d10_c_t0.4_c0.4_s10.csp ./c=0.4t=0.4/10.solvable.mf_v10_d10_c_t0.4_c0.4_s11.csp ./c=0.4t=0.4/11.solvable.mf_v10_d10_c_t0.4_c0.4_s12.csp ./c=0.4t=0.4/12.solvable.mf_v10_d10_c_t0.4_c0.4_s13.csp ./c=0.4t=0.4/13.solvable.mf_v10_d10_c_t0.4_c0.4_s14.csp ./c=0.4t=0.4/14.solvable.mf_v10_d10_c_t0.4_c0.4_s15.csp ./c=0.4t=0.4/15.solvable.mf_v10_d10_c_t0.4_c0.4_s16.csp ./c=0.4t=0.4/16.solvable.mf_v10_d10_c_t0.4_c0.4_s17.csp ./c=0.4t=0.4/17.solvable.mf_v10_d10_c_t0.4_c0.4_s18.csp ./c=0.4t=0.4/18.solvable.mf_v10_d10_c_t0.4_c0.4_s19.csp ./c=0.4t=0.4/19.solvable.mf_v10_d10_c_t0.4_c0.4_s20.csp ./c=0.4t=0.4/20.solvable.mf_v10_d10_c_t0.4_c0.4_s21.csp ./c=0.4t=0.4/21.solvable.mf_v10_d10_c_t0.4_c0.4_s22.csp ./c=0.4t=0.4/22.solvable.mf_v10_d10_c_t0.4_c0.4_s23.csp ./c=0.4t=0.4/23.solvable.mf_v10_d10_c_t0.4_c0.4_s24.csp ./c=0.4t=0.4/24.solvable.mf_v10_d10_c_t0.4_c0.4_s25.csp ./c=0.4t=0.5/00.solvable.mf_v10_d10_c_t0.5_c0.4_s1.csp ./c=0.4t=0.5/01.solvable.mf_v10_d10_c_t0.5_c0.4_s2.csp ./c=0.4t=0.5/02.solvable.mf_v10_d10_c_t0.5_c0.4_s3.csp ./c=0.4t=0.5/03.solvable.mf_v10_d10_c_t0.5_c0.4_s4.csp ./c=0.4t=0.5/04.solvable.mf_v10_d10_c_t0.5_c0.4_s5.csp ./c=0.4t=0.5/05.solvable.mf_v10_d10_c_t0.5_c0.4_s6.csp ./c=0.4t=0.5/06.solvable.mf_v10_d10_c_t0.5_c0.4_s7.csp ./c=0.4t=0.5/07.solvable.mf_v10_d10_c_t0.5_c0.4_s8.csp ./c=0.4t=0.5/08.solvable.mf_v10_d10_c_t0.5_c0.4_s9.csp ./c=0.4t=0.5/09.solvable.mf_v10_d10_c_t0.5_c0.4_s10.csp ./c=0.4t=0.5/10.solvable.mf_v10_d10_c_t0.5_c0.4_s11.csp ./c=0.4t=0.5/11.solvable.mf_v10_d10_c_t0.5_c0.4_s12.csp ./c=0.4t=0.5/12.solvable.mf_v10_d10_c_t0.5_c0.4_s13.csp ./c=0.4t=0.5/13.solvable.mf_v10_d10_c_t0.5_c0.4_s14.csp ./c=0.4t=0.5/14.solvable.mf_v10_d10_c_t0.5_c0.4_s15.csp ./c=0.4t=0.5/15.solvable.mf_v10_d10_c_t0.5_c0.4_s16.csp ./c=0.4t=0.5/16.solvable.mf_v10_d10_c_t0.5_c0.4_s17.csp ./c=0.4t=0.5/17.solvable.mf_v10_d10_c_t0.5_c0.4_s18.csp ./c=0.4t=0.5/18.solvable.mf_v10_d10_c_t0.5_c0.4_s19.csp ./c=0.4t=0.5/19.solvable.mf_v10_d10_c_t0.5_c0.4_s20.csp ./c=0.4t=0.5/20.solvable.mf_v10_d10_c_t0.5_c0.4_s21.csp ./c=0.4t=0.5/21.solvable.mf_v10_d10_c_t0.5_c0.4_s22.csp ./c=0.4t=0.5/22.solvable.mf_v10_d10_c_t0.5_c0.4_s23.csp ./c=0.4t=0.5/23.solvable.mf_v10_d10_c_t0.5_c0.4_s24.csp ./c=0.4t=0.5/24.solvable.mf_v10_d10_c_t0.5_c0.4_s25.csp ./c=0.4t=0.6/00.solvable.mf_v10_d10_c_t0.6_c0.4_s1.csp ./c=0.4t=0.6/01.solvable.mf_v10_d10_c_t0.6_c0.4_s2.csp ./c=0.4t=0.6/02.solvable.mf_v10_d10_c_t0.6_c0.4_s3.csp ./c=0.4t=0.6/03.solvable.mf_v10_d10_c_t0.6_c0.4_s4.csp ./c=0.4t=0.6/04.solvable.mf_v10_d10_c_t0.6_c0.4_s5.csp ./c=0.4t=0.6/05.solvable.mf_v10_d10_c_t0.6_c0.4_s6.csp ./c=0.4t=0.6/06.solvable.mf_v10_d10_c_t0.6_c0.4_s7.csp ./c=0.4t=0.6/07.solvable.mf_v10_d10_c_t0.6_c0.4_s8.csp ./c=0.4t=0.6/08.solvable.mf_v10_d10_c_t0.6_c0.4_s9.csp ./c=0.4t=0.6/09.solvable.mf_v10_d10_c_t0.6_c0.4_s10.csp ./c=0.4t=0.6/10.solvable.mf_v10_d10_c_t0.6_c0.4_s11.csp ./c=0.4t=0.6/11.solvable.mf_v10_d10_c_t0.6_c0.4_s12.csp ./c=0.4t=0.6/12.solvable.mf_v10_d10_c_t0.6_c0.4_s13.csp ./c=0.4t=0.6/13.solvable.mf_v10_d10_c_t0.6_c0.4_s14.csp ./c=0.4t=0.6/14.solvable.mf_v10_d10_c_t0.6_c0.4_s15.csp ./c=0.4t=0.6/15.solvable.mf_v10_d10_c_t0.6_c0.4_s16.csp ./c=0.4t=0.6/16.solvable.mf_v10_d10_c_t0.6_c0.4_s17.csp ./c=0.4t=0.6/17.solvable.mf_v10_d10_c_t0.6_c0.4_s18.csp ./c=0.4t=0.6/18.solvable.mf_v10_d10_c_t0.6_c0.4_s19.csp ./c=0.4t=0.6/19.solvable.mf_v10_d10_c_t0.6_c0.4_s20.csp ./c=0.4t=0.6/20.solvable.mf_v10_d10_c_t0.6_c0.4_s21.csp ./c=0.4t=0.6/21.solvable.mf_v10_d10_c_t0.6_c0.4_s22.csp ./c=0.4t=0.6/22.solvable.mf_v10_d10_c_t0.6_c0.4_s23.csp ./c=0.4t=0.6/23.solvable.mf_v10_d10_c_t0.6_c0.4_s24.csp ./c=0.4t=0.6/24.solvable.mf_v10_d10_c_t0.6_c0.4_s25.csp ./c=0.4t=0.7/25.solvable.mf_v10_d10_c_t0.7_c0.4_s26.csp ./c=0.4t=0.7/01.solvable.mf_v10_d10_c_t0.7_c0.4_s2.csp ./c=0.4t=0.7/26.solvable.mf_v10_d10_c_t0.7_c0.4_s27.csp ./c=0.4t=0.7/27.solvable.mf_v10_d10_c_t0.7_c0.4_s28.csp ./c=0.4t=0.7/28.solvable.mf_v10_d10_c_t0.7_c0.4_s29.csp ./c=0.4t=0.7/29.solvable.mf_v10_d10_c_t0.7_c0.4_s30.csp ./c=0.4t=0.7/06.solvable.mf_v10_d10_c_t0.7_c0.4_s7.csp ./c=0.4t=0.7/30.solvable.mf_v10_d10_c_t0.7_c0.4_s31.csp ./c=0.4t=0.7/31.solvable.mf_v10_d10_c_t0.7_c0.4_s32.csp ./c=0.4t=0.7/09.solvable.mf_v10_d10_c_t0.7_c0.4_s10.csp ./c=0.4t=0.7/32.solvable.mf_v10_d10_c_t0.7_c0.4_s33.csp ./c=0.4t=0.7/11.solvable.mf_v10_d10_c_t0.7_c0.4_s12.csp ./c=0.4t=0.7/33.solvable.mf_v10_d10_c_t0.7_c0.4_s34.csp ./c=0.4t=0.7/13.solvable.mf_v10_d10_c_t0.7_c0.4_s14.csp ./c=0.4t=0.7/34.solvable.mf_v10_d10_c_t0.7_c0.4_s35.csp ./c=0.4t=0.7/35.solvable.mf_v10_d10_c_t0.7_c0.4_s36.csp ./c=0.4t=0.7/36.solvable.mf_v10_d10_c_t0.7_c0.4_s37.csp ./c=0.4t=0.7/37.solvable.mf_v10_d10_c_t0.7_c0.4_s38.csp ./c=0.4t=0.7/38.solvable.mf_v10_d10_c_t0.7_c0.4_s39.csp ./c=0.4t=0.7/39.solvable.mf_v10_d10_c_t0.7_c0.4_s40.csp ./c=0.4t=0.7/40.solvable.mf_v10_d10_c_t0.7_c0.4_s41.csp ./c=0.4t=0.7/21.solvable.mf_v10_d10_c_t0.7_c0.4_s22.csp ./c=0.4t=0.7/41.solvable.mf_v10_d10_c_t0.7_c0.4_s42.csp ./c=0.4t=0.7/23.solvable.mf_v10_d10_c_t0.7_c0.4_s24.csp ./c=0.4t=0.7/42.solvable.mf_v10_d10_c_t0.7_c0.4_s43.csp ./c=0.5t=0.1/00.solvable.mf_v10_d10_c_t0.1_c0.5_s1.csp ./c=0.5t=0.1/01.solvable.mf_v10_d10_c_t0.1_c0.5_s2.csp ./c=0.5t=0.1/02.solvable.mf_v10_d10_c_t0.1_c0.5_s3.csp ./c=0.5t=0.1/03.solvable.mf_v10_d10_c_t0.1_c0.5_s4.csp ./c=0.5t=0.1/04.solvable.mf_v10_d10_c_t0.1_c0.5_s5.csp ./c=0.5t=0.1/05.solvable.mf_v10_d10_c_t0.1_c0.5_s6.csp ./c=0.5t=0.1/06.solvable.mf_v10_d10_c_t0.1_c0.5_s7.csp ./c=0.5t=0.1/07.solvable.mf_v10_d10_c_t0.1_c0.5_s8.csp ./c=0.5t=0.1/08.solvable.mf_v10_d10_c_t0.1_c0.5_s9.csp ./c=0.5t=0.1/09.solvable.mf_v10_d10_c_t0.1_c0.5_s10.csp ./c=0.5t=0.1/10.solvable.mf_v10_d10_c_t0.1_c0.5_s11.csp ./c=0.5t=0.1/11.solvable.mf_v10_d10_c_t0.1_c0.5_s12.csp ./c=0.5t=0.1/12.solvable.mf_v10_d10_c_t0.1_c0.5_s13.csp ./c=0.5t=0.1/13.solvable.mf_v10_d10_c_t0.1_c0.5_s14.csp ./c=0.5t=0.1/14.solvable.mf_v10_d10_c_t0.1_c0.5_s15.csp ./c=0.5t=0.1/15.solvable.mf_v10_d10_c_t0.1_c0.5_s16.csp ./c=0.5t=0.1/16.solvable.mf_v10_d10_c_t0.1_c0.5_s17.csp ./c=0.5t=0.1/17.solvable.mf_v10_d10_c_t0.1_c0.5_s18.csp ./c=0.5t=0.1/18.solvable.mf_v10_d10_c_t0.1_c0.5_s19.csp ./c=0.5t=0.1/19.solvable.mf_v10_d10_c_t0.1_c0.5_s20.csp ./c=0.5t=0.1/20.solvable.mf_v10_d10_c_t0.1_c0.5_s21.csp ./c=0.5t=0.1/21.solvable.mf_v10_d10_c_t0.1_c0.5_s22.csp ./c=0.5t=0.1/22.solvable.mf_v10_d10_c_t0.1_c0.5_s23.csp ./c=0.5t=0.1/23.solvable.mf_v10_d10_c_t0.1_c0.5_s24.csp ./c=0.5t=0.1/24.solvable.mf_v10_d10_c_t0.1_c0.5_s25.csp ./c=0.5t=0.2/00.solvable.mf_v10_d10_c_t0.2_c0.5_s1.csp ./c=0.5t=0.2/01.solvable.mf_v10_d10_c_t0.2_c0.5_s2.csp ./c=0.5t=0.2/02.solvable.mf_v10_d10_c_t0.2_c0.5_s3.csp ./c=0.5t=0.2/03.solvable.mf_v10_d10_c_t0.2_c0.5_s4.csp ./c=0.5t=0.2/04.solvable.mf_v10_d10_c_t0.2_c0.5_s5.csp ./c=0.5t=0.2/05.solvable.mf_v10_d10_c_t0.2_c0.5_s6.csp ./c=0.5t=0.2/06.solvable.mf_v10_d10_c_t0.2_c0.5_s7.csp ./c=0.5t=0.2/07.solvable.mf_v10_d10_c_t0.2_c0.5_s8.csp ./c=0.5t=0.2/08.solvable.mf_v10_d10_c_t0.2_c0.5_s9.csp ./c=0.5t=0.2/09.solvable.mf_v10_d10_c_t0.2_c0.5_s10.csp ./c=0.5t=0.2/10.solvable.mf_v10_d10_c_t0.2_c0.5_s11.csp ./c=0.5t=0.2/11.solvable.mf_v10_d10_c_t0.2_c0.5_s12.csp ./c=0.5t=0.2/12.solvable.mf_v10_d10_c_t0.2_c0.5_s13.csp ./c=0.5t=0.2/13.solvable.mf_v10_d10_c_t0.2_c0.5_s14.csp ./c=0.5t=0.2/14.solvable.mf_v10_d10_c_t0.2_c0.5_s15.csp ./c=0.5t=0.2/15.solvable.mf_v10_d10_c_t0.2_c0.5_s16.csp ./c=0.5t=0.2/16.solvable.mf_v10_d10_c_t0.2_c0.5_s17.csp ./c=0.5t=0.2/17.solvable.mf_v10_d10_c_t0.2_c0.5_s18.csp ./c=0.5t=0.2/18.solvable.mf_v10_d10_c_t0.2_c0.5_s19.csp ./c=0.5t=0.2/19.solvable.mf_v10_d10_c_t0.2_c0.5_s20.csp ./c=0.5t=0.2/20.solvable.mf_v10_d10_c_t0.2_c0.5_s21.csp ./c=0.5t=0.2/21.solvable.mf_v10_d10_c_t0.2_c0.5_s22.csp ./c=0.5t=0.2/22.solvable.mf_v10_d10_c_t0.2_c0.5_s23.csp ./c=0.5t=0.2/23.solvable.mf_v10_d10_c_t0.2_c0.5_s24.csp ./c=0.5t=0.2/24.solvable.mf_v10_d10_c_t0.2_c0.5_s25.csp ./c=0.5t=0.3/00.solvable.mf_v10_d10_c_t0.3_c0.5_s1.csp ./c=0.5t=0.3/01.solvable.mf_v10_d10_c_t0.3_c0.5_s2.csp ./c=0.5t=0.3/02.solvable.mf_v10_d10_c_t0.3_c0.5_s3.csp ./c=0.5t=0.3/03.solvable.mf_v10_d10_c_t0.3_c0.5_s4.csp ./c=0.5t=0.3/04.solvable.mf_v10_d10_c_t0.3_c0.5_s5.csp ./c=0.5t=0.3/05.solvable.mf_v10_d10_c_t0.3_c0.5_s6.csp ./c=0.5t=0.3/06.solvable.mf_v10_d10_c_t0.3_c0.5_s7.csp ./c=0.5t=0.3/07.solvable.mf_v10_d10_c_t0.3_c0.5_s8.csp ./c=0.5t=0.3/08.solvable.mf_v10_d10_c_t0.3_c0.5_s9.csp ./c=0.5t=0.3/09.solvable.mf_v10_d10_c_t0.3_c0.5_s10.csp ./c=0.5t=0.3/10.solvable.mf_v10_d10_c_t0.3_c0.5_s11.csp ./c=0.5t=0.3/11.solvable.mf_v10_d10_c_t0.3_c0.5_s12.csp ./c=0.5t=0.3/12.solvable.mf_v10_d10_c_t0.3_c0.5_s13.csp ./c=0.5t=0.3/13.solvable.mf_v10_d10_c_t0.3_c0.5_s14.csp ./c=0.5t=0.3/14.solvable.mf_v10_d10_c_t0.3_c0.5_s15.csp ./c=0.5t=0.3/15.solvable.mf_v10_d10_c_t0.3_c0.5_s16.csp ./c=0.5t=0.3/16.solvable.mf_v10_d10_c_t0.3_c0.5_s17.csp ./c=0.5t=0.3/17.solvable.mf_v10_d10_c_t0.3_c0.5_s18.csp ./c=0.5t=0.3/18.solvable.mf_v10_d10_c_t0.3_c0.5_s19.csp ./c=0.5t=0.3/19.solvable.mf_v10_d10_c_t0.3_c0.5_s20.csp ./c=0.5t=0.3/20.solvable.mf_v10_d10_c_t0.3_c0.5_s21.csp ./c=0.5t=0.3/21.solvable.mf_v10_d10_c_t0.3_c0.5_s22.csp ./c=0.5t=0.3/22.solvable.mf_v10_d10_c_t0.3_c0.5_s23.csp ./c=0.5t=0.3/23.solvable.mf_v10_d10_c_t0.3_c0.5_s24.csp ./c=0.5t=0.3/24.solvable.mf_v10_d10_c_t0.3_c0.5_s25.csp ./c=0.5t=0.4/00.solvable.mf_v10_d10_c_t0.4_c0.5_s1.csp ./c=0.5t=0.4/01.solvable.mf_v10_d10_c_t0.4_c0.5_s2.csp ./c=0.5t=0.4/02.solvable.mf_v10_d10_c_t0.4_c0.5_s3.csp ./c=0.5t=0.4/03.solvable.mf_v10_d10_c_t0.4_c0.5_s4.csp ./c=0.5t=0.4/04.solvable.mf_v10_d10_c_t0.4_c0.5_s5.csp ./c=0.5t=0.4/05.solvable.mf_v10_d10_c_t0.4_c0.5_s6.csp ./c=0.5t=0.4/06.solvable.mf_v10_d10_c_t0.4_c0.5_s7.csp ./c=0.5t=0.4/07.solvable.mf_v10_d10_c_t0.4_c0.5_s8.csp ./c=0.5t=0.4/08.solvable.mf_v10_d10_c_t0.4_c0.5_s9.csp ./c=0.5t=0.4/09.solvable.mf_v10_d10_c_t0.4_c0.5_s10.csp ./c=0.5t=0.4/10.solvable.mf_v10_d10_c_t0.4_c0.5_s11.csp ./c=0.5t=0.4/11.solvable.mf_v10_d10_c_t0.4_c0.5_s12.csp ./c=0.5t=0.4/12.solvable.mf_v10_d10_c_t0.4_c0.5_s13.csp ./c=0.5t=0.4/13.solvable.mf_v10_d10_c_t0.4_c0.5_s14.csp ./c=0.5t=0.4/14.solvable.mf_v10_d10_c_t0.4_c0.5_s15.csp ./c=0.5t=0.4/15.solvable.mf_v10_d10_c_t0.4_c0.5_s16.csp ./c=0.5t=0.4/16.solvable.mf_v10_d10_c_t0.4_c0.5_s17.csp ./c=0.5t=0.4/17.solvable.mf_v10_d10_c_t0.4_c0.5_s18.csp ./c=0.5t=0.4/18.solvable.mf_v10_d10_c_t0.4_c0.5_s19.csp ./c=0.5t=0.4/19.solvable.mf_v10_d10_c_t0.4_c0.5_s20.csp ./c=0.5t=0.4/20.solvable.mf_v10_d10_c_t0.4_c0.5_s21.csp ./c=0.5t=0.4/21.solvable.mf_v10_d10_c_t0.4_c0.5_s22.csp ./c=0.5t=0.4/22.solvable.mf_v10_d10_c_t0.4_c0.5_s23.csp ./c=0.5t=0.4/23.solvable.mf_v10_d10_c_t0.4_c0.5_s24.csp ./c=0.5t=0.4/24.solvable.mf_v10_d10_c_t0.4_c0.5_s25.csp ./c=0.5t=0.5/00.solvable.mf_v10_d10_c_t0.5_c0.5_s1.csp ./c=0.5t=0.5/01.solvable.mf_v10_d10_c_t0.5_c0.5_s2.csp ./c=0.5t=0.5/02.solvable.mf_v10_d10_c_t0.5_c0.5_s3.csp ./c=0.5t=0.5/03.solvable.mf_v10_d10_c_t0.5_c0.5_s4.csp ./c=0.5t=0.5/04.solvable.mf_v10_d10_c_t0.5_c0.5_s5.csp ./c=0.5t=0.5/05.solvable.mf_v10_d10_c_t0.5_c0.5_s6.csp ./c=0.5t=0.5/06.solvable.mf_v10_d10_c_t0.5_c0.5_s7.csp ./c=0.5t=0.5/07.solvable.mf_v10_d10_c_t0.5_c0.5_s8.csp ./c=0.5t=0.5/08.solvable.mf_v10_d10_c_t0.5_c0.5_s9.csp ./c=0.5t=0.5/09.solvable.mf_v10_d10_c_t0.5_c0.5_s10.csp ./c=0.5t=0.5/10.solvable.mf_v10_d10_c_t0.5_c0.5_s11.csp ./c=0.5t=0.5/11.solvable.mf_v10_d10_c_t0.5_c0.5_s12.csp ./c=0.5t=0.5/12.solvable.mf_v10_d10_c_t0.5_c0.5_s13.csp ./c=0.5t=0.5/13.solvable.mf_v10_d10_c_t0.5_c0.5_s14.csp ./c=0.5t=0.5/14.solvable.mf_v10_d10_c_t0.5_c0.5_s15.csp ./c=0.5t=0.5/15.solvable.mf_v10_d10_c_t0.5_c0.5_s16.csp ./c=0.5t=0.5/16.solvable.mf_v10_d10_c_t0.5_c0.5_s17.csp ./c=0.5t=0.5/17.solvable.mf_v10_d10_c_t0.5_c0.5_s18.csp ./c=0.5t=0.5/18.solvable.mf_v10_d10_c_t0.5_c0.5_s19.csp ./c=0.5t=0.5/19.solvable.mf_v10_d10_c_t0.5_c0.5_s20.csp ./c=0.5t=0.5/20.solvable.mf_v10_d10_c_t0.5_c0.5_s21.csp ./c=0.5t=0.5/21.solvable.mf_v10_d10_c_t0.5_c0.5_s22.csp ./c=0.5t=0.5/22.solvable.mf_v10_d10_c_t0.5_c0.5_s23.csp ./c=0.5t=0.5/23.solvable.mf_v10_d10_c_t0.5_c0.5_s24.csp ./c=0.5t=0.5/24.solvable.mf_v10_d10_c_t0.5_c0.5_s25.csp ./c=0.5t=0.6/00.solvable.mf_v10_d10_c_t0.6_c0.5_s1.csp ./c=0.5t=0.6/01.solvable.mf_v10_d10_c_t0.6_c0.5_s2.csp ./c=0.5t=0.6/25.solvable.mf_v10_d10_c_t0.6_c0.5_s26.csp ./c=0.5t=0.6/26.solvable.mf_v10_d10_c_t0.6_c0.5_s27.csp ./c=0.5t=0.6/27.solvable.mf_v10_d10_c_t0.6_c0.5_s28.csp ./c=0.5t=0.6/05.solvable.mf_v10_d10_c_t0.6_c0.5_s6.csp ./c=0.5t=0.6/06.solvable.mf_v10_d10_c_t0.6_c0.5_s7.csp ./c=0.5t=0.6/07.solvable.mf_v10_d10_c_t0.6_c0.5_s8.csp ./c=0.5t=0.6/08.solvable.mf_v10_d10_c_t0.6_c0.5_s9.csp ./c=0.5t=0.6/09.solvable.mf_v10_d10_c_t0.6_c0.5_s10.csp ./c=0.5t=0.6/10.solvable.mf_v10_d10_c_t0.6_c0.5_s11.csp ./c=0.5t=0.6/28.solvable.mf_v10_d10_c_t0.6_c0.5_s29.csp ./c=0.5t=0.6/12.solvable.mf_v10_d10_c_t0.6_c0.5_s13.csp ./c=0.5t=0.6/13.solvable.mf_v10_d10_c_t0.6_c0.5_s14.csp ./c=0.5t=0.6/14.solvable.mf_v10_d10_c_t0.6_c0.5_s15.csp ./c=0.5t=0.6/29.solvable.mf_v10_d10_c_t0.6_c0.5_s30.csp ./c=0.5t=0.6/16.solvable.mf_v10_d10_c_t0.6_c0.5_s17.csp ./c=0.5t=0.6/30.solvable.mf_v10_d10_c_t0.6_c0.5_s31.csp ./c=0.5t=0.6/31.solvable.mf_v10_d10_c_t0.6_c0.5_s32.csp ./c=0.5t=0.6/19.solvable.mf_v10_d10_c_t0.6_c0.5_s20.csp ./c=0.5t=0.6/20.solvable.mf_v10_d10_c_t0.6_c0.5_s21.csp ./c=0.5t=0.6/21.solvable.mf_v10_d10_c_t0.6_c0.5_s22.csp ./c=0.5t=0.6/22.solvable.mf_v10_d10_c_t0.6_c0.5_s23.csp ./c=0.5t=0.6/23.solvable.mf_v10_d10_c_t0.6_c0.5_s24.csp ./c=0.5t=0.6/24.solvable.mf_v10_d10_c_t0.6_c0.5_s25.csp ./c=0.6t=0.1/00.solvable.mf_v10_d10_c_t0.1_c0.6_s1.csp ./c=0.6t=0.1/01.solvable.mf_v10_d10_c_t0.1_c0.6_s2.csp ./c=0.6t=0.1/02.solvable.mf_v10_d10_c_t0.1_c0.6_s3.csp ./c=0.6t=0.1/03.solvable.mf_v10_d10_c_t0.1_c0.6_s4.csp ./c=0.6t=0.1/04.solvable.mf_v10_d10_c_t0.1_c0.6_s5.csp ./c=0.6t=0.1/05.solvable.mf_v10_d10_c_t0.1_c0.6_s6.csp ./c=0.6t=0.1/06.solvable.mf_v10_d10_c_t0.1_c0.6_s7.csp ./c=0.6t=0.1/07.solvable.mf_v10_d10_c_t0.1_c0.6_s8.csp ./c=0.6t=0.1/08.solvable.mf_v10_d10_c_t0.1_c0.6_s9.csp ./c=0.6t=0.1/09.solvable.mf_v10_d10_c_t0.1_c0.6_s10.csp ./c=0.6t=0.1/10.solvable.mf_v10_d10_c_t0.1_c0.6_s11.csp ./c=0.6t=0.1/11.solvable.mf_v10_d10_c_t0.1_c0.6_s12.csp ./c=0.6t=0.1/12.solvable.mf_v10_d10_c_t0.1_c0.6_s13.csp ./c=0.6t=0.1/13.solvable.mf_v10_d10_c_t0.1_c0.6_s14.csp ./c=0.6t=0.1/14.solvable.mf_v10_d10_c_t0.1_c0.6_s15.csp ./c=0.6t=0.1/15.solvable.mf_v10_d10_c_t0.1_c0.6_s16.csp ./c=0.6t=0.1/16.solvable.mf_v10_d10_c_t0.1_c0.6_s17.csp ./c=0.6t=0.1/17.solvable.mf_v10_d10_c_t0.1_c0.6_s18.csp ./c=0.6t=0.1/18.solvable.mf_v10_d10_c_t0.1_c0.6_s19.csp ./c=0.6t=0.1/19.solvable.mf_v10_d10_c_t0.1_c0.6_s20.csp ./c=0.6t=0.1/20.solvable.mf_v10_d10_c_t0.1_c0.6_s21.csp ./c=0.6t=0.1/21.solvable.mf_v10_d10_c_t0.1_c0.6_s22.csp ./c=0.6t=0.1/22.solvable.mf_v10_d10_c_t0.1_c0.6_s23.csp ./c=0.6t=0.1/23.solvable.mf_v10_d10_c_t0.1_c0.6_s24.csp ./c=0.6t=0.1/24.solvable.mf_v10_d10_c_t0.1_c0.6_s25.csp ./c=0.6t=0.2/00.solvable.mf_v10_d10_c_t0.2_c0.6_s1.csp ./c=0.6t=0.2/01.solvable.mf_v10_d10_c_t0.2_c0.6_s2.csp ./c=0.6t=0.2/02.solvable.mf_v10_d10_c_t0.2_c0.6_s3.csp ./c=0.6t=0.2/03.solvable.mf_v10_d10_c_t0.2_c0.6_s4.csp ./c=0.6t=0.2/04.solvable.mf_v10_d10_c_t0.2_c0.6_s5.csp ./c=0.6t=0.2/05.solvable.mf_v10_d10_c_t0.2_c0.6_s6.csp ./c=0.6t=0.2/06.solvable.mf_v10_d10_c_t0.2_c0.6_s7.csp ./c=0.6t=0.2/07.solvable.mf_v10_d10_c_t0.2_c0.6_s8.csp ./c=0.6t=0.2/08.solvable.mf_v10_d10_c_t0.2_c0.6_s9.csp ./c=0.6t=0.2/09.solvable.mf_v10_d10_c_t0.2_c0.6_s10.csp ./c=0.6t=0.2/10.solvable.mf_v10_d10_c_t0.2_c0.6_s11.csp ./c=0.6t=0.2/11.solvable.mf_v10_d10_c_t0.2_c0.6_s12.csp ./c=0.6t=0.2/12.solvable.mf_v10_d10_c_t0.2_c0.6_s13.csp ./c=0.6t=0.2/13.solvable.mf_v10_d10_c_t0.2_c0.6_s14.csp ./c=0.6t=0.2/14.solvable.mf_v10_d10_c_t0.2_c0.6_s15.csp ./c=0.6t=0.2/15.solvable.mf_v10_d10_c_t0.2_c0.6_s16.csp ./c=0.6t=0.2/16.solvable.mf_v10_d10_c_t0.2_c0.6_s17.csp ./c=0.6t=0.2/17.solvable.mf_v10_d10_c_t0.2_c0.6_s18.csp ./c=0.6t=0.2/18.solvable.mf_v10_d10_c_t0.2_c0.6_s19.csp ./c=0.6t=0.2/19.solvable.mf_v10_d10_c_t0.2_c0.6_s20.csp ./c=0.6t=0.2/20.solvable.mf_v10_d10_c_t0.2_c0.6_s21.csp ./c=0.6t=0.2/21.solvable.mf_v10_d10_c_t0.2_c0.6_s22.csp ./c=0.6t=0.2/22.solvable.mf_v10_d10_c_t0.2_c0.6_s23.csp ./c=0.6t=0.2/23.solvable.mf_v10_d10_c_t0.2_c0.6_s24.csp ./c=0.6t=0.2/24.solvable.mf_v10_d10_c_t0.2_c0.6_s25.csp ./c=0.6t=0.3/00.solvable.mf_v10_d10_c_t0.3_c0.6_s1.csp ./c=0.6t=0.3/01.solvable.mf_v10_d10_c_t0.3_c0.6_s2.csp ./c=0.6t=0.3/02.solvable.mf_v10_d10_c_t0.3_c0.6_s3.csp ./c=0.6t=0.3/03.solvable.mf_v10_d10_c_t0.3_c0.6_s4.csp ./c=0.6t=0.3/04.solvable.mf_v10_d10_c_t0.3_c0.6_s5.csp ./c=0.6t=0.3/05.solvable.mf_v10_d10_c_t0.3_c0.6_s6.csp ./c=0.6t=0.3/06.solvable.mf_v10_d10_c_t0.3_c0.6_s7.csp ./c=0.6t=0.3/07.solvable.mf_v10_d10_c_t0.3_c0.6_s8.csp ./c=0.6t=0.3/08.solvable.mf_v10_d10_c_t0.3_c0.6_s9.csp ./c=0.6t=0.3/09.solvable.mf_v10_d10_c_t0.3_c0.6_s10.csp ./c=0.6t=0.3/10.solvable.mf_v10_d10_c_t0.3_c0.6_s11.csp ./c=0.6t=0.3/11.solvable.mf_v10_d10_c_t0.3_c0.6_s12.csp ./c=0.6t=0.3/12.solvable.mf_v10_d10_c_t0.3_c0.6_s13.csp ./c=0.6t=0.3/13.solvable.mf_v10_d10_c_t0.3_c0.6_s14.csp ./c=0.6t=0.3/14.solvable.mf_v10_d10_c_t0.3_c0.6_s15.csp ./c=0.6t=0.3/15.solvable.mf_v10_d10_c_t0.3_c0.6_s16.csp ./c=0.6t=0.3/16.solvable.mf_v10_d10_c_t0.3_c0.6_s17.csp ./c=0.6t=0.3/17.solvable.mf_v10_d10_c_t0.3_c0.6_s18.csp ./c=0.6t=0.3/18.solvable.mf_v10_d10_c_t0.3_c0.6_s19.csp ./c=0.6t=0.3/19.solvable.mf_v10_d10_c_t0.3_c0.6_s20.csp ./c=0.6t=0.3/20.solvable.mf_v10_d10_c_t0.3_c0.6_s21.csp ./c=0.6t=0.3/21.solvable.mf_v10_d10_c_t0.3_c0.6_s22.csp ./c=0.6t=0.3/22.solvable.mf_v10_d10_c_t0.3_c0.6_s23.csp ./c=0.6t=0.3/23.solvable.mf_v10_d10_c_t0.3_c0.6_s24.csp ./c=0.6t=0.3/24.solvable.mf_v10_d10_c_t0.3_c0.6_s25.csp ./c=0.6t=0.4/00.solvable.mf_v10_d10_c_t0.4_c0.6_s1.csp ./c=0.6t=0.4/01.solvable.mf_v10_d10_c_t0.4_c0.6_s2.csp ./c=0.6t=0.4/02.solvable.mf_v10_d10_c_t0.4_c0.6_s3.csp ./c=0.6t=0.4/03.solvable.mf_v10_d10_c_t0.4_c0.6_s4.csp ./c=0.6t=0.4/04.solvable.mf_v10_d10_c_t0.4_c0.6_s5.csp ./c=0.6t=0.4/05.solvable.mf_v10_d10_c_t0.4_c0.6_s6.csp ./c=0.6t=0.4/06.solvable.mf_v10_d10_c_t0.4_c0.6_s7.csp ./c=0.6t=0.4/07.solvable.mf_v10_d10_c_t0.4_c0.6_s8.csp ./c=0.6t=0.4/08.solvable.mf_v10_d10_c_t0.4_c0.6_s9.csp ./c=0.6t=0.4/09.solvable.mf_v10_d10_c_t0.4_c0.6_s10.csp ./c=0.6t=0.4/10.solvable.mf_v10_d10_c_t0.4_c0.6_s11.csp ./c=0.6t=0.4/11.solvable.mf_v10_d10_c_t0.4_c0.6_s12.csp ./c=0.6t=0.4/12.solvable.mf_v10_d10_c_t0.4_c0.6_s13.csp ./c=0.6t=0.4/13.solvable.mf_v10_d10_c_t0.4_c0.6_s14.csp ./c=0.6t=0.4/14.solvable.mf_v10_d10_c_t0.4_c0.6_s15.csp ./c=0.6t=0.4/15.solvable.mf_v10_d10_c_t0.4_c0.6_s16.csp ./c=0.6t=0.4/16.solvable.mf_v10_d10_c_t0.4_c0.6_s17.csp ./c=0.6t=0.4/17.solvable.mf_v10_d10_c_t0.4_c0.6_s18.csp ./c=0.6t=0.4/18.solvable.mf_v10_d10_c_t0.4_c0.6_s19.csp ./c=0.6t=0.4/19.solvable.mf_v10_d10_c_t0.4_c0.6_s20.csp ./c=0.6t=0.4/20.solvable.mf_v10_d10_c_t0.4_c0.6_s21.csp ./c=0.6t=0.4/21.solvable.mf_v10_d10_c_t0.4_c0.6_s22.csp ./c=0.6t=0.4/22.solvable.mf_v10_d10_c_t0.4_c0.6_s23.csp ./c=0.6t=0.4/23.solvable.mf_v10_d10_c_t0.4_c0.6_s24.csp ./c=0.6t=0.4/24.solvable.mf_v10_d10_c_t0.4_c0.6_s25.csp ./c=0.6t=0.5/00.solvable.mf_v10_d10_c_t0.5_c0.6_s1.csp ./c=0.6t=0.5/01.solvable.mf_v10_d10_c_t0.5_c0.6_s2.csp ./c=0.6t=0.5/02.solvable.mf_v10_d10_c_t0.5_c0.6_s3.csp ./c=0.6t=0.5/03.solvable.mf_v10_d10_c_t0.5_c0.6_s4.csp ./c=0.6t=0.5/04.solvable.mf_v10_d10_c_t0.5_c0.6_s5.csp ./c=0.6t=0.5/05.solvable.mf_v10_d10_c_t0.5_c0.6_s6.csp ./c=0.6t=0.5/06.solvable.mf_v10_d10_c_t0.5_c0.6_s7.csp ./c=0.6t=0.5/07.solvable.mf_v10_d10_c_t0.5_c0.6_s8.csp ./c=0.6t=0.5/08.solvable.mf_v10_d10_c_t0.5_c0.6_s9.csp ./c=0.6t=0.5/09.solvable.mf_v10_d10_c_t0.5_c0.6_s10.csp ./c=0.6t=0.5/10.solvable.mf_v10_d10_c_t0.5_c0.6_s11.csp ./c=0.6t=0.5/11.solvable.mf_v10_d10_c_t0.5_c0.6_s12.csp ./c=0.6t=0.5/12.solvable.mf_v10_d10_c_t0.5_c0.6_s13.csp ./c=0.6t=0.5/13.solvable.mf_v10_d10_c_t0.5_c0.6_s14.csp ./c=0.6t=0.5/14.solvable.mf_v10_d10_c_t0.5_c0.6_s15.csp ./c=0.6t=0.5/15.solvable.mf_v10_d10_c_t0.5_c0.6_s16.csp ./c=0.6t=0.5/16.solvable.mf_v10_d10_c_t0.5_c0.6_s17.csp ./c=0.6t=0.5/17.solvable.mf_v10_d10_c_t0.5_c0.6_s18.csp ./c=0.6t=0.5/18.solvable.mf_v10_d10_c_t0.5_c0.6_s19.csp ./c=0.6t=0.5/19.solvable.mf_v10_d10_c_t0.5_c0.6_s20.csp ./c=0.6t=0.5/20.solvable.mf_v10_d10_c_t0.5_c0.6_s21.csp ./c=0.6t=0.5/21.solvable.mf_v10_d10_c_t0.5_c0.6_s22.csp ./c=0.6t=0.5/22.solvable.mf_v10_d10_c_t0.5_c0.6_s23.csp ./c=0.6t=0.5/23.solvable.mf_v10_d10_c_t0.5_c0.6_s24.csp ./c=0.6t=0.5/24.solvable.mf_v10_d10_c_t0.5_c0.6_s25.csp ./c=0.6t=0.6/25.solvable.mf_v10_d10_c_t0.6_c0.6_s26.csp ./c=0.6t=0.6/26.solvable.mf_v10_d10_c_t0.6_c0.6_s27.csp ./c=0.6t=0.6/27.solvable.mf_v10_d10_c_t0.6_c0.6_s28.csp ./c=0.6t=0.6/28.solvable.mf_v10_d10_c_t0.6_c0.6_s29.csp ./c=0.6t=0.6/29.solvable.mf_v10_d10_c_t0.6_c0.6_s30.csp ./c=0.6t=0.6/30.solvable.mf_v10_d10_c_t0.6_c0.6_s31.csp ./c=0.6t=0.6/31.solvable.mf_v10_d10_c_t0.6_c0.6_s32.csp ./c=0.6t=0.6/07.solvable.mf_v10_d10_c_t0.6_c0.6_s8.csp ./c=0.6t=0.6/32.solvable.mf_v10_d10_c_t0.6_c0.6_s33.csp ./c=0.6t=0.6/33.solvable.mf_v10_d10_c_t0.6_c0.6_s34.csp ./c=0.6t=0.6/34.solvable.mf_v10_d10_c_t0.6_c0.6_s35.csp ./c=0.6t=0.6/35.solvable.mf_v10_d10_c_t0.6_c0.6_s36.csp ./c=0.6t=0.6/36.solvable.mf_v10_d10_c_t0.6_c0.6_s37.csp ./c=0.6t=0.6/13.solvable.mf_v10_d10_c_t0.6_c0.6_s14.csp ./c=0.6t=0.6/37.solvable.mf_v10_d10_c_t0.6_c0.6_s38.csp ./c=0.6t=0.6/38.solvable.mf_v10_d10_c_t0.6_c0.6_s39.csp ./c=0.6t=0.6/39.solvable.mf_v10_d10_c_t0.6_c0.6_s40.csp ./c=0.6t=0.6/40.solvable.mf_v10_d10_c_t0.6_c0.6_s41.csp ./c=0.6t=0.6/41.solvable.mf_v10_d10_c_t0.6_c0.6_s42.csp ./c=0.6t=0.6/42.solvable.mf_v10_d10_c_t0.6_c0.6_s43.csp ./c=0.6t=0.6/43.solvable.mf_v10_d10_c_t0.6_c0.6_s44.csp ./c=0.6t=0.6/44.solvable.mf_v10_d10_c_t0.6_c0.6_s45.csp ./c=0.6t=0.6/45.solvable.mf_v10_d10_c_t0.6_c0.6_s46.csp ./c=0.6t=0.6/46.solvable.mf_v10_d10_c_t0.6_c0.6_s47.csp ./c=0.6t=0.6/47.solvable.mf_v10_d10_c_t0.6_c0.6_s48.csp ./c=0.7t=0.1/00.solvable.mf_v10_d10_c_t0.1_c0.7_s1.csp ./c=0.7t=0.1/01.solvable.mf_v10_d10_c_t0.1_c0.7_s2.csp ./c=0.7t=0.1/02.solvable.mf_v10_d10_c_t0.1_c0.7_s3.csp ./c=0.7t=0.1/03.solvable.mf_v10_d10_c_t0.1_c0.7_s4.csp ./c=0.7t=0.1/04.solvable.mf_v10_d10_c_t0.1_c0.7_s5.csp ./c=0.7t=0.1/05.solvable.mf_v10_d10_c_t0.1_c0.7_s6.csp ./c=0.7t=0.1/06.solvable.mf_v10_d10_c_t0.1_c0.7_s7.csp ./c=0.7t=0.1/07.solvable.mf_v10_d10_c_t0.1_c0.7_s8.csp ./c=0.7t=0.1/08.solvable.mf_v10_d10_c_t0.1_c0.7_s9.csp ./c=0.7t=0.1/09.solvable.mf_v10_d10_c_t0.1_c0.7_s10.csp ./c=0.7t=0.1/10.solvable.mf_v10_d10_c_t0.1_c0.7_s11.csp ./c=0.7t=0.1/11.solvable.mf_v10_d10_c_t0.1_c0.7_s12.csp ./c=0.7t=0.1/12.solvable.mf_v10_d10_c_t0.1_c0.7_s13.csp ./c=0.7t=0.1/13.solvable.mf_v10_d10_c_t0.1_c0.7_s14.csp ./c=0.7t=0.1/14.solvable.mf_v10_d10_c_t0.1_c0.7_s15.csp ./c=0.7t=0.1/15.solvable.mf_v10_d10_c_t0.1_c0.7_s16.csp ./c=0.7t=0.1/16.solvable.mf_v10_d10_c_t0.1_c0.7_s17.csp ./c=0.7t=0.1/17.solvable.mf_v10_d10_c_t0.1_c0.7_s18.csp ./c=0.7t=0.1/18.solvable.mf_v10_d10_c_t0.1_c0.7_s19.csp ./c=0.7t=0.1/19.solvable.mf_v10_d10_c_t0.1_c0.7_s20.csp ./c=0.7t=0.1/20.solvable.mf_v10_d10_c_t0.1_c0.7_s21.csp ./c=0.7t=0.1/21.solvable.mf_v10_d10_c_t0.1_c0.7_s22.csp ./c=0.7t=0.1/22.solvable.mf_v10_d10_c_t0.1_c0.7_s23.csp ./c=0.7t=0.1/23.solvable.mf_v10_d10_c_t0.1_c0.7_s24.csp ./c=0.7t=0.1/24.solvable.mf_v10_d10_c_t0.1_c0.7_s25.csp ./c=0.7t=0.2/00.solvable.mf_v10_d10_c_t0.2_c0.7_s1.csp ./c=0.7t=0.2/01.solvable.mf_v10_d10_c_t0.2_c0.7_s2.csp ./c=0.7t=0.2/02.solvable.mf_v10_d10_c_t0.2_c0.7_s3.csp ./c=0.7t=0.2/03.solvable.mf_v10_d10_c_t0.2_c0.7_s4.csp ./c=0.7t=0.2/04.solvable.mf_v10_d10_c_t0.2_c0.7_s5.csp ./c=0.7t=0.2/05.solvable.mf_v10_d10_c_t0.2_c0.7_s6.csp ./c=0.7t=0.2/06.solvable.mf_v10_d10_c_t0.2_c0.7_s7.csp ./c=0.7t=0.2/07.solvable.mf_v10_d10_c_t0.2_c0.7_s8.csp ./c=0.7t=0.2/08.solvable.mf_v10_d10_c_t0.2_c0.7_s9.csp ./c=0.7t=0.2/09.solvable.mf_v10_d10_c_t0.2_c0.7_s10.csp ./c=0.7t=0.2/10.solvable.mf_v10_d10_c_t0.2_c0.7_s11.csp ./c=0.7t=0.2/11.solvable.mf_v10_d10_c_t0.2_c0.7_s12.csp ./c=0.7t=0.2/12.solvable.mf_v10_d10_c_t0.2_c0.7_s13.csp ./c=0.7t=0.2/13.solvable.mf_v10_d10_c_t0.2_c0.7_s14.csp ./c=0.7t=0.2/14.solvable.mf_v10_d10_c_t0.2_c0.7_s15.csp ./c=0.7t=0.2/15.solvable.mf_v10_d10_c_t0.2_c0.7_s16.csp ./c=0.7t=0.2/16.solvable.mf_v10_d10_c_t0.2_c0.7_s17.csp ./c=0.7t=0.2/17.solvable.mf_v10_d10_c_t0.2_c0.7_s18.csp ./c=0.7t=0.2/18.solvable.mf_v10_d10_c_t0.2_c0.7_s19.csp ./c=0.7t=0.2/19.solvable.mf_v10_d10_c_t0.2_c0.7_s20.csp ./c=0.7t=0.2/20.solvable.mf_v10_d10_c_t0.2_c0.7_s21.csp ./c=0.7t=0.2/21.solvable.mf_v10_d10_c_t0.2_c0.7_s22.csp ./c=0.7t=0.2/22.solvable.mf_v10_d10_c_t0.2_c0.7_s23.csp ./c=0.7t=0.2/23.solvable.mf_v10_d10_c_t0.2_c0.7_s24.csp ./c=0.7t=0.2/24.solvable.mf_v10_d10_c_t0.2_c0.7_s25.csp ./c=0.7t=0.3/00.solvable.mf_v10_d10_c_t0.3_c0.7_s1.csp ./c=0.7t=0.3/01.solvable.mf_v10_d10_c_t0.3_c0.7_s2.csp ./c=0.7t=0.3/02.solvable.mf_v10_d10_c_t0.3_c0.7_s3.csp ./c=0.7t=0.3/03.solvable.mf_v10_d10_c_t0.3_c0.7_s4.csp ./c=0.7t=0.3/04.solvable.mf_v10_d10_c_t0.3_c0.7_s5.csp ./c=0.7t=0.3/05.solvable.mf_v10_d10_c_t0.3_c0.7_s6.csp ./c=0.7t=0.3/06.solvable.mf_v10_d10_c_t0.3_c0.7_s7.csp ./c=0.7t=0.3/07.solvable.mf_v10_d10_c_t0.3_c0.7_s8.csp ./c=0.7t=0.3/08.solvable.mf_v10_d10_c_t0.3_c0.7_s9.csp ./c=0.7t=0.3/09.solvable.mf_v10_d10_c_t0.3_c0.7_s10.csp ./c=0.7t=0.3/10.solvable.mf_v10_d10_c_t0.3_c0.7_s11.csp ./c=0.7t=0.3/11.solvable.mf_v10_d10_c_t0.3_c0.7_s12.csp ./c=0.7t=0.3/12.solvable.mf_v10_d10_c_t0.3_c0.7_s13.csp ./c=0.7t=0.3/13.solvable.mf_v10_d10_c_t0.3_c0.7_s14.csp ./c=0.7t=0.3/14.solvable.mf_v10_d10_c_t0.3_c0.7_s15.csp ./c=0.7t=0.3/15.solvable.mf_v10_d10_c_t0.3_c0.7_s16.csp ./c=0.7t=0.3/16.solvable.mf_v10_d10_c_t0.3_c0.7_s17.csp ./c=0.7t=0.3/17.solvable.mf_v10_d10_c_t0.3_c0.7_s18.csp ./c=0.7t=0.3/18.solvable.mf_v10_d10_c_t0.3_c0.7_s19.csp ./c=0.7t=0.3/19.solvable.mf_v10_d10_c_t0.3_c0.7_s20.csp ./c=0.7t=0.3/20.solvable.mf_v10_d10_c_t0.3_c0.7_s21.csp ./c=0.7t=0.3/21.solvable.mf_v10_d10_c_t0.3_c0.7_s22.csp ./c=0.7t=0.3/22.solvable.mf_v10_d10_c_t0.3_c0.7_s23.csp ./c=0.7t=0.3/23.solvable.mf_v10_d10_c_t0.3_c0.7_s24.csp ./c=0.7t=0.3/24.solvable.mf_v10_d10_c_t0.3_c0.7_s25.csp ./c=0.7t=0.4/00.solvable.mf_v10_d10_c_t0.4_c0.7_s1.csp ./c=0.7t=0.4/01.solvable.mf_v10_d10_c_t0.4_c0.7_s2.csp ./c=0.7t=0.4/02.solvable.mf_v10_d10_c_t0.4_c0.7_s3.csp ./c=0.7t=0.4/03.solvable.mf_v10_d10_c_t0.4_c0.7_s4.csp ./c=0.7t=0.4/04.solvable.mf_v10_d10_c_t0.4_c0.7_s5.csp ./c=0.7t=0.4/05.solvable.mf_v10_d10_c_t0.4_c0.7_s6.csp ./c=0.7t=0.4/06.solvable.mf_v10_d10_c_t0.4_c0.7_s7.csp ./c=0.7t=0.4/07.solvable.mf_v10_d10_c_t0.4_c0.7_s8.csp ./c=0.7t=0.4/08.solvable.mf_v10_d10_c_t0.4_c0.7_s9.csp ./c=0.7t=0.4/09.solvable.mf_v10_d10_c_t0.4_c0.7_s10.csp ./c=0.7t=0.4/10.solvable.mf_v10_d10_c_t0.4_c0.7_s11.csp ./c=0.7t=0.4/11.solvable.mf_v10_d10_c_t0.4_c0.7_s12.csp ./c=0.7t=0.4/12.solvable.mf_v10_d10_c_t0.4_c0.7_s13.csp ./c=0.7t=0.4/13.solvable.mf_v10_d10_c_t0.4_c0.7_s14.csp ./c=0.7t=0.4/14.solvable.mf_v10_d10_c_t0.4_c0.7_s15.csp ./c=0.7t=0.4/15.solvable.mf_v10_d10_c_t0.4_c0.7_s16.csp ./c=0.7t=0.4/16.solvable.mf_v10_d10_c_t0.4_c0.7_s17.csp ./c=0.7t=0.4/17.solvable.mf_v10_d10_c_t0.4_c0.7_s18.csp ./c=0.7t=0.4/18.solvable.mf_v10_d10_c_t0.4_c0.7_s19.csp ./c=0.7t=0.4/19.solvable.mf_v10_d10_c_t0.4_c0.7_s20.csp ./c=0.7t=0.4/20.solvable.mf_v10_d10_c_t0.4_c0.7_s21.csp ./c=0.7t=0.4/21.solvable.mf_v10_d10_c_t0.4_c0.7_s22.csp ./c=0.7t=0.4/22.solvable.mf_v10_d10_c_t0.4_c0.7_s23.csp ./c=0.7t=0.4/23.solvable.mf_v10_d10_c_t0.4_c0.7_s24.csp ./c=0.7t=0.4/24.solvable.mf_v10_d10_c_t0.4_c0.7_s25.csp ./c=0.7t=0.5/00.solvable.mf_v10_d10_c_t0.5_c0.7_s1.csp ./c=0.7t=0.5/01.solvable.mf_v10_d10_c_t0.5_c0.7_s2.csp ./c=0.7t=0.5/25.solvable.mf_v10_d10_c_t0.5_c0.7_s26.csp ./c=0.7t=0.5/03.solvable.mf_v10_d10_c_t0.5_c0.7_s4.csp ./c=0.7t=0.5/26.solvable.mf_v10_d10_c_t0.5_c0.7_s27.csp ./c=0.7t=0.5/05.solvable.mf_v10_d10_c_t0.5_c0.7_s6.csp ./c=0.7t=0.5/06.solvable.mf_v10_d10_c_t0.5_c0.7_s7.csp ./c=0.7t=0.5/07.solvable.mf_v10_d10_c_t0.5_c0.7_s8.csp ./c=0.7t=0.5/27.solvable.mf_v10_d10_c_t0.5_c0.7_s28.csp ./c=0.7t=0.5/28.solvable.mf_v10_d10_c_t0.5_c0.7_s29.csp ./c=0.7t=0.5/10.solvable.mf_v10_d10_c_t0.5_c0.7_s11.csp ./c=0.7t=0.5/29.solvable.mf_v10_d10_c_t0.5_c0.7_s30.csp ./c=0.7t=0.5/30.solvable.mf_v10_d10_c_t0.5_c0.7_s31.csp ./c=0.7t=0.5/31.solvable.mf_v10_d10_c_t0.5_c0.7_s32.csp ./c=0.7t=0.5/14.solvable.mf_v10_d10_c_t0.5_c0.7_s15.csp ./c=0.7t=0.5/32.solvable.mf_v10_d10_c_t0.5_c0.7_s33.csp ./c=0.7t=0.5/16.solvable.mf_v10_d10_c_t0.5_c0.7_s17.csp ./c=0.7t=0.5/33.solvable.mf_v10_d10_c_t0.5_c0.7_s34.csp ./c=0.7t=0.5/18.solvable.mf_v10_d10_c_t0.5_c0.7_s19.csp ./c=0.7t=0.5/34.solvable.mf_v10_d10_c_t0.5_c0.7_s35.csp ./c=0.7t=0.5/20.solvable.mf_v10_d10_c_t0.5_c0.7_s21.csp ./c=0.7t=0.5/21.solvable.mf_v10_d10_c_t0.5_c0.7_s22.csp ./c=0.7t=0.5/22.solvable.mf_v10_d10_c_t0.5_c0.7_s23.csp ./c=0.7t=0.5/35.solvable.mf_v10_d10_c_t0.5_c0.7_s36.csp ./c=0.7t=0.5/24.solvable.mf_v10_d10_c_t0.5_c0.7_s25.csp ./c=0.8t=0.1/00.solvable.mf_v10_d10_c_t0.1_c0.8_s1.csp ./c=0.8t=0.1/01.solvable.mf_v10_d10_c_t0.1_c0.8_s2.csp ./c=0.8t=0.1/02.solvable.mf_v10_d10_c_t0.1_c0.8_s3.csp ./c=0.8t=0.1/03.solvable.mf_v10_d10_c_t0.1_c0.8_s4.csp ./c=0.8t=0.1/04.solvable.mf_v10_d10_c_t0.1_c0.8_s5.csp ./c=0.8t=0.1/05.solvable.mf_v10_d10_c_t0.1_c0.8_s6.csp ./c=0.8t=0.1/06.solvable.mf_v10_d10_c_t0.1_c0.8_s7.csp ./c=0.8t=0.1/07.solvable.mf_v10_d10_c_t0.1_c0.8_s8.csp ./c=0.8t=0.1/08.solvable.mf_v10_d10_c_t0.1_c0.8_s9.csp ./c=0.8t=0.1/09.solvable.mf_v10_d10_c_t0.1_c0.8_s10.csp ./c=0.8t=0.1/10.solvable.mf_v10_d10_c_t0.1_c0.8_s11.csp ./c=0.8t=0.1/11.solvable.mf_v10_d10_c_t0.1_c0.8_s12.csp ./c=0.8t=0.1/12.solvable.mf_v10_d10_c_t0.1_c0.8_s13.csp ./c=0.8t=0.1/13.solvable.mf_v10_d10_c_t0.1_c0.8_s14.csp ./c=0.8t=0.1/14.solvable.mf_v10_d10_c_t0.1_c0.8_s15.csp ./c=0.8t=0.1/15.solvable.mf_v10_d10_c_t0.1_c0.8_s16.csp ./c=0.8t=0.1/16.solvable.mf_v10_d10_c_t0.1_c0.8_s17.csp ./c=0.8t=0.1/17.solvable.mf_v10_d10_c_t0.1_c0.8_s18.csp ./c=0.8t=0.1/18.solvable.mf_v10_d10_c_t0.1_c0.8_s19.csp ./c=0.8t=0.1/19.solvable.mf_v10_d10_c_t0.1_c0.8_s20.csp ./c=0.8t=0.1/20.solvable.mf_v10_d10_c_t0.1_c0.8_s21.csp ./c=0.8t=0.1/21.solvable.mf_v10_d10_c_t0.1_c0.8_s22.csp ./c=0.8t=0.1/22.solvable.mf_v10_d10_c_t0.1_c0.8_s23.csp ./c=0.8t=0.1/23.solvable.mf_v10_d10_c_t0.1_c0.8_s24.csp ./c=0.8t=0.1/24.solvable.mf_v10_d10_c_t0.1_c0.8_s25.csp ./c=0.8t=0.2/00.solvable.mf_v10_d10_c_t0.2_c0.8_s1.csp ./c=0.8t=0.2/01.solvable.mf_v10_d10_c_t0.2_c0.8_s2.csp ./c=0.8t=0.2/02.solvable.mf_v10_d10_c_t0.2_c0.8_s3.csp ./c=0.8t=0.2/03.solvable.mf_v10_d10_c_t0.2_c0.8_s4.csp ./c=0.8t=0.2/04.solvable.mf_v10_d10_c_t0.2_c0.8_s5.csp ./c=0.8t=0.2/05.solvable.mf_v10_d10_c_t0.2_c0.8_s6.csp ./c=0.8t=0.2/06.solvable.mf_v10_d10_c_t0.2_c0.8_s7.csp ./c=0.8t=0.2/07.solvable.mf_v10_d10_c_t0.2_c0.8_s8.csp ./c=0.8t=0.2/08.solvable.mf_v10_d10_c_t0.2_c0.8_s9.csp ./c=0.8t=0.2/09.solvable.mf_v10_d10_c_t0.2_c0.8_s10.csp ./c=0.8t=0.2/10.solvable.mf_v10_d10_c_t0.2_c0.8_s11.csp ./c=0.8t=0.2/11.solvable.mf_v10_d10_c_t0.2_c0.8_s12.csp ./c=0.8t=0.2/12.solvable.mf_v10_d10_c_t0.2_c0.8_s13.csp ./c=0.8t=0.2/13.solvable.mf_v10_d10_c_t0.2_c0.8_s14.csp ./c=0.8t=0.2/14.solvable.mf_v10_d10_c_t0.2_c0.8_s15.csp ./c=0.8t=0.2/15.solvable.mf_v10_d10_c_t0.2_c0.8_s16.csp ./c=0.8t=0.2/16.solvable.mf_v10_d10_c_t0.2_c0.8_s17.csp ./c=0.8t=0.2/17.solvable.mf_v10_d10_c_t0.2_c0.8_s18.csp ./c=0.8t=0.2/18.solvable.mf_v10_d10_c_t0.2_c0.8_s19.csp ./c=0.8t=0.2/19.solvable.mf_v10_d10_c_t0.2_c0.8_s20.csp ./c=0.8t=0.2/20.solvable.mf_v10_d10_c_t0.2_c0.8_s21.csp ./c=0.8t=0.2/21.solvable.mf_v10_d10_c_t0.2_c0.8_s22.csp ./c=0.8t=0.2/22.solvable.mf_v10_d10_c_t0.2_c0.8_s23.csp ./c=0.8t=0.2/23.solvable.mf_v10_d10_c_t0.2_c0.8_s24.csp ./c=0.8t=0.2/24.solvable.mf_v10_d10_c_t0.2_c0.8_s25.csp ./c=0.8t=0.3/00.solvable.mf_v10_d10_c_t0.3_c0.8_s1.csp ./c=0.8t=0.3/01.solvable.mf_v10_d10_c_t0.3_c0.8_s2.csp ./c=0.8t=0.3/02.solvable.mf_v10_d10_c_t0.3_c0.8_s3.csp ./c=0.8t=0.3/03.solvable.mf_v10_d10_c_t0.3_c0.8_s4.csp ./c=0.8t=0.3/04.solvable.mf_v10_d10_c_t0.3_c0.8_s5.csp ./c=0.8t=0.3/05.solvable.mf_v10_d10_c_t0.3_c0.8_s6.csp ./c=0.8t=0.3/06.solvable.mf_v10_d10_c_t0.3_c0.8_s7.csp ./c=0.8t=0.3/07.solvable.mf_v10_d10_c_t0.3_c0.8_s8.csp ./c=0.8t=0.3/08.solvable.mf_v10_d10_c_t0.3_c0.8_s9.csp ./c=0.8t=0.3/09.solvable.mf_v10_d10_c_t0.3_c0.8_s10.csp ./c=0.8t=0.3/10.solvable.mf_v10_d10_c_t0.3_c0.8_s11.csp ./c=0.8t=0.3/11.solvable.mf_v10_d10_c_t0.3_c0.8_s12.csp ./c=0.8t=0.3/12.solvable.mf_v10_d10_c_t0.3_c0.8_s13.csp ./c=0.8t=0.3/13.solvable.mf_v10_d10_c_t0.3_c0.8_s14.csp ./c=0.8t=0.3/14.solvable.mf_v10_d10_c_t0.3_c0.8_s15.csp ./c=0.8t=0.3/15.solvable.mf_v10_d10_c_t0.3_c0.8_s16.csp ./c=0.8t=0.3/16.solvable.mf_v10_d10_c_t0.3_c0.8_s17.csp ./c=0.8t=0.3/17.solvable.mf_v10_d10_c_t0.3_c0.8_s18.csp ./c=0.8t=0.3/18.solvable.mf_v10_d10_c_t0.3_c0.8_s19.csp ./c=0.8t=0.3/19.solvable.mf_v10_d10_c_t0.3_c0.8_s20.csp ./c=0.8t=0.3/20.solvable.mf_v10_d10_c_t0.3_c0.8_s21.csp ./c=0.8t=0.3/21.solvable.mf_v10_d10_c_t0.3_c0.8_s22.csp ./c=0.8t=0.3/22.solvable.mf_v10_d10_c_t0.3_c0.8_s23.csp ./c=0.8t=0.3/23.solvable.mf_v10_d10_c_t0.3_c0.8_s24.csp ./c=0.8t=0.3/24.solvable.mf_v10_d10_c_t0.3_c0.8_s25.csp ./c=0.8t=0.4/00.solvable.mf_v10_d10_c_t0.4_c0.8_s1.csp ./c=0.8t=0.4/01.solvable.mf_v10_d10_c_t0.4_c0.8_s2.csp ./c=0.8t=0.4/02.solvable.mf_v10_d10_c_t0.4_c0.8_s3.csp ./c=0.8t=0.4/03.solvable.mf_v10_d10_c_t0.4_c0.8_s4.csp ./c=0.8t=0.4/04.solvable.mf_v10_d10_c_t0.4_c0.8_s5.csp ./c=0.8t=0.4/05.solvable.mf_v10_d10_c_t0.4_c0.8_s6.csp ./c=0.8t=0.4/06.solvable.mf_v10_d10_c_t0.4_c0.8_s7.csp ./c=0.8t=0.4/07.solvable.mf_v10_d10_c_t0.4_c0.8_s8.csp ./c=0.8t=0.4/08.solvable.mf_v10_d10_c_t0.4_c0.8_s9.csp ./c=0.8t=0.4/09.solvable.mf_v10_d10_c_t0.4_c0.8_s10.csp ./c=0.8t=0.4/10.solvable.mf_v10_d10_c_t0.4_c0.8_s11.csp ./c=0.8t=0.4/11.solvable.mf_v10_d10_c_t0.4_c0.8_s12.csp ./c=0.8t=0.4/12.solvable.mf_v10_d10_c_t0.4_c0.8_s13.csp ./c=0.8t=0.4/13.solvable.mf_v10_d10_c_t0.4_c0.8_s14.csp ./c=0.8t=0.4/14.solvable.mf_v10_d10_c_t0.4_c0.8_s15.csp ./c=0.8t=0.4/15.solvable.mf_v10_d10_c_t0.4_c0.8_s16.csp ./c=0.8t=0.4/16.solvable.mf_v10_d10_c_t0.4_c0.8_s17.csp ./c=0.8t=0.4/17.solvable.mf_v10_d10_c_t0.4_c0.8_s18.csp ./c=0.8t=0.4/18.solvable.mf_v10_d10_c_t0.4_c0.8_s19.csp ./c=0.8t=0.4/19.solvable.mf_v10_d10_c_t0.4_c0.8_s20.csp ./c=0.8t=0.4/20.solvable.mf_v10_d10_c_t0.4_c0.8_s21.csp ./c=0.8t=0.4/21.solvable.mf_v10_d10_c_t0.4_c0.8_s22.csp ./c=0.8t=0.4/22.solvable.mf_v10_d10_c_t0.4_c0.8_s23.csp ./c=0.8t=0.4/23.solvable.mf_v10_d10_c_t0.4_c0.8_s24.csp ./c=0.8t=0.4/24.solvable.mf_v10_d10_c_t0.4_c0.8_s25.csp ./c=0.8t=0.5/00.solvable.mf_v10_d10_c_t0.5_c0.8_s1.csp ./c=0.8t=0.5/25.solvable.mf_v10_d10_c_t0.5_c0.8_s26.csp ./c=0.8t=0.5/26.solvable.mf_v10_d10_c_t0.5_c0.8_s27.csp ./c=0.8t=0.5/27.solvable.mf_v10_d10_c_t0.5_c0.8_s28.csp ./c=0.8t=0.5/28.solvable.mf_v10_d10_c_t0.5_c0.8_s29.csp ./c=0.8t=0.5/29.solvable.mf_v10_d10_c_t0.5_c0.8_s30.csp ./c=0.8t=0.5/30.solvable.mf_v10_d10_c_t0.5_c0.8_s31.csp ./c=0.8t=0.5/31.solvable.mf_v10_d10_c_t0.5_c0.8_s32.csp ./c=0.8t=0.5/32.solvable.mf_v10_d10_c_t0.5_c0.8_s33.csp ./c=0.8t=0.5/33.solvable.mf_v10_d10_c_t0.5_c0.8_s34.csp ./c=0.8t=0.5/34.solvable.mf_v10_d10_c_t0.5_c0.8_s35.csp ./c=0.8t=0.5/35.solvable.mf_v10_d10_c_t0.5_c0.8_s36.csp ./c=0.8t=0.5/36.solvable.mf_v10_d10_c_t0.5_c0.8_s37.csp ./c=0.8t=0.5/37.solvable.mf_v10_d10_c_t0.5_c0.8_s38.csp ./c=0.8t=0.5/38.solvable.mf_v10_d10_c_t0.5_c0.8_s39.csp ./c=0.8t=0.5/39.solvable.mf_v10_d10_c_t0.5_c0.8_s40.csp ./c=0.8t=0.5/40.solvable.mf_v10_d10_c_t0.5_c0.8_s41.csp ./c=0.8t=0.5/41.solvable.mf_v10_d10_c_t0.5_c0.8_s42.csp ./c=0.8t=0.5/42.solvable.mf_v10_d10_c_t0.5_c0.8_s43.csp ./c=0.8t=0.5/19.solvable.mf_v10_d10_c_t0.5_c0.8_s20.csp ./c=0.8t=0.5/43.solvable.mf_v10_d10_c_t0.5_c0.8_s44.csp ./c=0.8t=0.5/44.solvable.mf_v10_d10_c_t0.5_c0.8_s45.csp ./c=0.8t=0.5/45.solvable.mf_v10_d10_c_t0.5_c0.8_s46.csp ./c=0.8t=0.5/46.solvable.mf_v10_d10_c_t0.5_c0.8_s47.csp ./c=0.8t=0.5/47.solvable.mf_v10_d10_c_t0.5_c0.8_s48.csp ./c=0.9t=0.1/00.solvable.mf_v10_d10_c_t0.1_c0.9_s1.csp ./c=0.9t=0.1/01.solvable.mf_v10_d10_c_t0.1_c0.9_s2.csp ./c=0.9t=0.1/02.solvable.mf_v10_d10_c_t0.1_c0.9_s3.csp ./c=0.9t=0.1/03.solvable.mf_v10_d10_c_t0.1_c0.9_s4.csp ./c=0.9t=0.1/04.solvable.mf_v10_d10_c_t0.1_c0.9_s5.csp ./c=0.9t=0.1/05.solvable.mf_v10_d10_c_t0.1_c0.9_s6.csp ./c=0.9t=0.1/06.solvable.mf_v10_d10_c_t0.1_c0.9_s7.csp ./c=0.9t=0.1/07.solvable.mf_v10_d10_c_t0.1_c0.9_s8.csp ./c=0.9t=0.1/08.solvable.mf_v10_d10_c_t0.1_c0.9_s9.csp ./c=0.9t=0.1/09.solvable.mf_v10_d10_c_t0.1_c0.9_s10.csp ./c=0.9t=0.1/10.solvable.mf_v10_d10_c_t0.1_c0.9_s11.csp ./c=0.9t=0.1/11.solvable.mf_v10_d10_c_t0.1_c0.9_s12.csp ./c=0.9t=0.1/12.solvable.mf_v10_d10_c_t0.1_c0.9_s13.csp ./c=0.9t=0.1/13.solvable.mf_v10_d10_c_t0.1_c0.9_s14.csp ./c=0.9t=0.1/14.solvable.mf_v10_d10_c_t0.1_c0.9_s15.csp ./c=0.9t=0.1/15.solvable.mf_v10_d10_c_t0.1_c0.9_s16.csp ./c=0.9t=0.1/16.solvable.mf_v10_d10_c_t0.1_c0.9_s17.csp ./c=0.9t=0.1/17.solvable.mf_v10_d10_c_t0.1_c0.9_s18.csp ./c=0.9t=0.1/18.solvable.mf_v10_d10_c_t0.1_c0.9_s19.csp ./c=0.9t=0.1/19.solvable.mf_v10_d10_c_t0.1_c0.9_s20.csp ./c=0.9t=0.1/20.solvable.mf_v10_d10_c_t0.1_c0.9_s21.csp ./c=0.9t=0.1/21.solvable.mf_v10_d10_c_t0.1_c0.9_s22.csp ./c=0.9t=0.1/22.solvable.mf_v10_d10_c_t0.1_c0.9_s23.csp ./c=0.9t=0.1/23.solvable.mf_v10_d10_c_t0.1_c0.9_s24.csp ./c=0.9t=0.1/24.solvable.mf_v10_d10_c_t0.1_c0.9_s25.csp ./c=0.9t=0.2/00.solvable.mf_v10_d10_c_t0.2_c0.9_s1.csp ./c=0.9t=0.2/01.solvable.mf_v10_d10_c_t0.2_c0.9_s2.csp ./c=0.9t=0.2/02.solvable.mf_v10_d10_c_t0.2_c0.9_s3.csp ./c=0.9t=0.2/03.solvable.mf_v10_d10_c_t0.2_c0.9_s4.csp ./c=0.9t=0.2/04.solvable.mf_v10_d10_c_t0.2_c0.9_s5.csp ./c=0.9t=0.2/05.solvable.mf_v10_d10_c_t0.2_c0.9_s6.csp ./c=0.9t=0.2/06.solvable.mf_v10_d10_c_t0.2_c0.9_s7.csp ./c=0.9t=0.2/07.solvable.mf_v10_d10_c_t0.2_c0.9_s8.csp ./c=0.9t=0.2/08.solvable.mf_v10_d10_c_t0.2_c0.9_s9.csp ./c=0.9t=0.2/09.solvable.mf_v10_d10_c_t0.2_c0.9_s10.csp ./c=0.9t=0.2/10.solvable.mf_v10_d10_c_t0.2_c0.9_s11.csp ./c=0.9t=0.2/11.solvable.mf_v10_d10_c_t0.2_c0.9_s12.csp ./c=0.9t=0.2/12.solvable.mf_v10_d10_c_t0.2_c0.9_s13.csp ./c=0.9t=0.2/13.solvable.mf_v10_d10_c_t0.2_c0.9_s14.csp ./c=0.9t=0.2/14.solvable.mf_v10_d10_c_t0.2_c0.9_s15.csp ./c=0.9t=0.2/15.solvable.mf_v10_d10_c_t0.2_c0.9_s16.csp ./c=0.9t=0.2/16.solvable.mf_v10_d10_c_t0.2_c0.9_s17.csp ./c=0.9t=0.2/17.solvable.mf_v10_d10_c_t0.2_c0.9_s18.csp ./c=0.9t=0.2/18.solvable.mf_v10_d10_c_t0.2_c0.9_s19.csp ./c=0.9t=0.2/19.solvable.mf_v10_d10_c_t0.2_c0.9_s20.csp ./c=0.9t=0.2/20.solvable.mf_v10_d10_c_t0.2_c0.9_s21.csp ./c=0.9t=0.2/21.solvable.mf_v10_d10_c_t0.2_c0.9_s22.csp ./c=0.9t=0.2/22.solvable.mf_v10_d10_c_t0.2_c0.9_s23.csp ./c=0.9t=0.2/23.solvable.mf_v10_d10_c_t0.2_c0.9_s24.csp ./c=0.9t=0.2/24.solvable.mf_v10_d10_c_t0.2_c0.9_s25.csp ./c=0.9t=0.3/00.solvable.mf_v10_d10_c_t0.3_c0.9_s1.csp ./c=0.9t=0.3/01.solvable.mf_v10_d10_c_t0.3_c0.9_s2.csp ./c=0.9t=0.3/02.solvable.mf_v10_d10_c_t0.3_c0.9_s3.csp ./c=0.9t=0.3/03.solvable.mf_v10_d10_c_t0.3_c0.9_s4.csp ./c=0.9t=0.3/04.solvable.mf_v10_d10_c_t0.3_c0.9_s5.csp ./c=0.9t=0.3/05.solvable.mf_v10_d10_c_t0.3_c0.9_s6.csp ./c=0.9t=0.3/06.solvable.mf_v10_d10_c_t0.3_c0.9_s7.csp ./c=0.9t=0.3/07.solvable.mf_v10_d10_c_t0.3_c0.9_s8.csp ./c=0.9t=0.3/08.solvable.mf_v10_d10_c_t0.3_c0.9_s9.csp ./c=0.9t=0.3/09.solvable.mf_v10_d10_c_t0.3_c0.9_s10.csp ./c=0.9t=0.3/10.solvable.mf_v10_d10_c_t0.3_c0.9_s11.csp ./c=0.9t=0.3/11.solvable.mf_v10_d10_c_t0.3_c0.9_s12.csp ./c=0.9t=0.3/12.solvable.mf_v10_d10_c_t0.3_c0.9_s13.csp ./c=0.9t=0.3/13.solvable.mf_v10_d10_c_t0.3_c0.9_s14.csp ./c=0.9t=0.3/14.solvable.mf_v10_d10_c_t0.3_c0.9_s15.csp ./c=0.9t=0.3/15.solvable.mf_v10_d10_c_t0.3_c0.9_s16.csp ./c=0.9t=0.3/16.solvable.mf_v10_d10_c_t0.3_c0.9_s17.csp ./c=0.9t=0.3/17.solvable.mf_v10_d10_c_t0.3_c0.9_s18.csp ./c=0.9t=0.3/18.solvable.mf_v10_d10_c_t0.3_c0.9_s19.csp ./c=0.9t=0.3/19.solvable.mf_v10_d10_c_t0.3_c0.9_s20.csp ./c=0.9t=0.3/20.solvable.mf_v10_d10_c_t0.3_c0.9_s21.csp ./c=0.9t=0.3/21.solvable.mf_v10_d10_c_t0.3_c0.9_s22.csp ./c=0.9t=0.3/22.solvable.mf_v10_d10_c_t0.3_c0.9_s23.csp ./c=0.9t=0.3/23.solvable.mf_v10_d10_c_t0.3_c0.9_s24.csp ./c=0.9t=0.3/24.solvable.mf_v10_d10_c_t0.3_c0.9_s25.csp ./c=0.9t=0.4/00.solvable.mf_v10_d10_c_t0.4_c0.9_s1.csp ./c=0.9t=0.4/01.solvable.mf_v10_d10_c_t0.4_c0.9_s2.csp ./c=0.9t=0.4/02.solvable.mf_v10_d10_c_t0.4_c0.9_s3.csp ./c=0.9t=0.4/03.solvable.mf_v10_d10_c_t0.4_c0.9_s4.csp ./c=0.9t=0.4/04.solvable.mf_v10_d10_c_t0.4_c0.9_s5.csp ./c=0.9t=0.4/05.solvable.mf_v10_d10_c_t0.4_c0.9_s6.csp ./c=0.9t=0.4/25.solvable.mf_v10_d10_c_t0.4_c0.9_s26.csp ./c=0.9t=0.4/26.solvable.mf_v10_d10_c_t0.4_c0.9_s27.csp ./c=0.9t=0.4/08.solvable.mf_v10_d10_c_t0.4_c0.9_s9.csp ./c=0.9t=0.4/27.solvable.mf_v10_d10_c_t0.4_c0.9_s28.csp ./c=0.9t=0.4/10.solvable.mf_v10_d10_c_t0.4_c0.9_s11.csp ./c=0.9t=0.4/11.solvable.mf_v10_d10_c_t0.4_c0.9_s12.csp ./c=0.9t=0.4/12.solvable.mf_v10_d10_c_t0.4_c0.9_s13.csp ./c=0.9t=0.4/13.solvable.mf_v10_d10_c_t0.4_c0.9_s14.csp ./c=0.9t=0.4/14.solvable.mf_v10_d10_c_t0.4_c0.9_s15.csp ./c=0.9t=0.4/15.solvable.mf_v10_d10_c_t0.4_c0.9_s16.csp ./c=0.9t=0.4/16.solvable.mf_v10_d10_c_t0.4_c0.9_s17.csp ./c=0.9t=0.4/17.solvable.mf_v10_d10_c_t0.4_c0.9_s18.csp ./c=0.9t=0.4/18.solvable.mf_v10_d10_c_t0.4_c0.9_s19.csp ./c=0.9t=0.4/19.solvable.mf_v10_d10_c_t0.4_c0.9_s20.csp ./c=0.9t=0.4/28.solvable.mf_v10_d10_c_t0.4_c0.9_s29.csp ./c=0.9t=0.4/21.solvable.mf_v10_d10_c_t0.4_c0.9_s22.csp ./c=0.9t=0.4/29.solvable.mf_v10_d10_c_t0.4_c0.9_s30.csp ./c=0.9t=0.4/23.solvable.mf_v10_d10_c_t0.4_c0.9_s24.csp ./c=0.9t=0.4/24.solvable.mf_v10_d10_c_t0.4_c0.9_s25.csp