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

	Name	Last modified	Size	Description
	Parent Directory		-
	cohsp_1__3766_43.min1.thm1.tptp	2017-02-06 16:58	438
	cohsp_1__3769_43.min1.thm1.tptp	2017-02-06 16:58	438
	cohsp_1__3789_36.min1.thm1.tptp	2017-02-06 16:58	444
	cohsp_1__3800_36.min1.thm1.tptp	2017-02-06 16:58	444
	cohsp_1__3848_38.min1.thm1.tptp	2017-02-06 16:58	444
	cohsp_1__3898_51.min1.thm1.tptp	2017-02-06 16:58	504
	cohsp_1__3899_49.min1.thm1.tptp	2017-02-06 16:58	504
	cohsp_1__3913_46.min1.thm1.tptp	2017-02-06 16:58	598
	cohsp_1__3935_46.min1.thm1.tptp	2017-02-06 16:58	598
	cohsp_1__4139_22.min1.thm1.tptp	2017-02-06 16:58	422
	cohsp_1__4145_23.min1.thm1.tptp	2017-02-06 16:58	424
	cohsp_1__4172_26.min1.thm1.tptp	2017-02-06 16:58	446
	cohsp_1__4185_26.min1.thm1.tptp	2017-02-06 16:58	446
	cohsp_1__4213_22.min1.thm1.tptp	2017-02-06 16:58	422
	cohsp_1__4219_23.min1.thm1.tptp	2017-02-06 16:58	424
	cohsp_1__4261_22.min1.thm1.tptp	2017-02-06 16:58	422
	cohsp_1__4267_23.min1.thm1.tptp	2017-02-06 16:58	424
	cohsp_1__4293_26.min1.thm1.tptp	2017-02-06 16:58	446
	cohsp_1__4306_26.min1.thm1.tptp	2017-02-06 16:58	446
	cohsp_1__4339_22.min1.thm1.tptp	2017-02-06 16:58	422
	cohsp_1__4350_23.min1.thm1.tptp	2017-02-06 16:58	424
	cohsp_1__4362_22.min1.thm1.tptp	2017-02-06 16:58	422
	cohsp_1__4368_23.min1.thm1.tptp	2017-02-06 16:58	424
	cohsp_1__4451_46.min1.thm1.tptp	2017-02-06 16:58	490