Index of /~mptp/1147/MPTP2/problems_thf_tls/prvect_2

	Name	Last modified	Size	Description
	Parent Directory		-
	prvect_2__l15_prvect_2	2017-01-12 22:09	49K
	prvect_2__l16_prvect_2	2017-01-12 22:09	49K
	prvect_2__l17_prvect_2	2017-01-12 22:09	69K
	prvect_2__l18_prvect_2	2017-01-12 22:09	67K
	prvect_2__l19_prvect_2	2017-01-12 22:09	86K
	prvect_2__l21_prvect_2	2017-01-12 22:09	42K
	prvect_2__l29_prvect_2	2017-01-12 22:09	134K
	prvect_2__l31_prvect_2	2017-01-12 22:09	76K
	prvect_2__t1_prvect_2	2017-01-12 22:09	52K
	prvect_2__t2_prvect_2	2017-01-12 22:09	64K
	prvect_2__t3_prvect_2	2017-01-12 22:09	60K
	prvect_2__t4_prvect_2	2017-01-12 22:09	47K
	prvect_2__t5_prvect_2	2017-01-12 22:09	53K
	prvect_2__t6_prvect_2	2017-01-12 22:09	67K
	prvect_2__t7_prvect_2	2017-01-12 22:09	75K
	prvect_2__t8_prvect_2	2017-01-12 22:09	114K
	prvect_2__t9_prvect_2	2017-01-12 22:09	74K
	prvect_2__t10_prvect_2	2017-01-12 22:09	94K
	prvect_2__t11_prvect_2	2017-01-12 22:09	90K
	prvect_2__t12_prvect_2	2017-01-12 22:09	85K
	prvect_2__t13_prvect_2	2017-01-12 22:09	135K
	prvect_2__t14_prvect_2	2017-01-12 22:09	87K