Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/cc2_int_1

	Name	Last modified	Size	Description
	Parent Directory		-
	binari_4__763_29.min1.thm1.tptp	2017-02-06 16:58	199
	euler_1__1143_11.min1.thm1.tptp	2017-02-06 16:58	221
	euler_1__1174_11.min1.thm1.tptp	2017-02-06 16:58	221
	fib_num4__83_37.min1.thm1.tptp	2017-02-06 16:58	409
	fib_num4__87_40.min1.thm1.tptp	2017-02-06 16:58	438
	gr_cy_1__1141_27.min1.thm1.tptp	2017-02-06 16:58	202
	gr_cy_2__235_30.min1.thm1.tptp	2017-02-06 16:58	192
	gr_cy_2__608_30.min1.thm1.tptp	2017-02-06 16:58	202
	gr_cy_3__938_31.min1.thm1.tptp	2017-02-06 16:58	194
	gr_cy_3__940_31.min1.thm1.tptp	2017-02-06 16:58	195
	graph_2__53_30.min1.thm1.tptp	2017-02-06 16:58	192
	group_8__288_54.min1.thm1.tptp	2017-02-06 16:58	393
	int_7__2197_30.min1.thm1.tptp	2017-02-06 16:58	194
	pepin__272_27.min1.thm1.tptp	2017-02-06 16:58	190
	pepin__430_40.min1.thm1.tptp	2017-02-06 16:58	383
	pepin__498_44.min1.thm1.tptp	2017-02-06 16:58	383
	prgcor_2__202_32.min1.thm1.tptp	2017-02-06 16:58	210
	real_3__121_29.min1.thm1.tptp	2017-02-06 16:58	186
	series_1__116_33.min1.thm1.tptp	2017-02-06 16:58	204
	simplex0__3097_27.min1.thm1.tptp	2017-02-06 16:58	202
	topdim_2__2383_27.min1.thm1.tptp	2017-02-06 16:58	198
	wsierp_1__167_46.min1.thm1.tptp	2017-02-06 16:58	517