Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/lattice8

	Name	Last modified	Size	Description
	Parent Directory		-
	lattice8__l3_lattice8	2017-01-13 19:18	32K
	lattice8__l4_lattice8	2017-01-13 19:18	26K
	lattice8__l47_lattice8	2017-01-13 19:18	28K
	lattice8__l48_lattice8	2017-01-13 19:18	32K
	lattice8__t1_lattice8	2017-01-13 19:18	40K
	lattice8__t2_lattice8	2017-01-13 19:18	33K
	lattice8__t3_lattice8	2017-01-13 19:18	46K
	lattice8__t4_lattice8	2017-01-13 19:18	40K
	lattice8__t5_lattice8	2017-01-13 19:18	53K
	lattice8__t6_lattice8	2017-01-13 19:18	49K
	lattice8__t7_lattice8	2017-01-13 19:18	65K
	lattice8__t8_lattice8	2017-01-13 19:18	294K
	lattice8__t9_lattice8	2017-01-13 19:18	71K
	lattice8__t10_lattice8	2017-01-13 19:18	55K
	lattice8__t11_lattice8	2017-01-13 19:18	55K
	lattice8__t12_lattice8	2017-01-13 19:18	64K
	lattice8__t13_lattice8	2017-01-13 19:18	57K
	lattice8__t14_lattice8	2017-01-13 19:18	32K
	lattice8__t15_lattice8	2017-01-13 19:18	32K
	lattice8__t16_lattice8	2017-01-13 19:18	33K
	lattice8__t17_lattice8	2017-01-13 19:18	29K
	lattice8__t18_lattice8	2017-01-13 19:18	50K
	lattice8__t19_lattice8	2017-01-13 19:18	50K
	lattice8__t20_lattice8	2017-01-13 19:18	51K
	lattice8__t21_lattice8	2017-01-13 19:18	30K
	lattice8__t22_lattice8	2017-01-13 19:18	62K
	lattice8__t23_lattice8	2017-01-13 19:18	53K
	lattice8__t24_lattice8	2017-01-13 19:18	54K
	lattice8__t25_lattice8	2017-01-13 19:18	60K
	lattice8__t26_lattice8	2017-01-13 19:18	60K
	lattice8__t27_lattice8	2017-01-13 19:18	86K
	lattice8__t28_lattice8	2017-01-13 19:18	43K
	lattice8__t29_lattice8	2017-01-13 19:18	87K
	lattice8__t30_lattice8	2017-01-13 19:18	71K
	lattice8__t31_lattice8	2017-01-13 19:18	72K
	lattice8__t32_lattice8	2017-01-13 19:18	67K
	lattice8__t33_lattice8	2017-01-13 19:18	61K
	lattice8__t34_lattice8	2017-01-13 19:18	308K
	lattice8__t35_lattice8	2017-01-13 19:18	179K
	lattice8__t36_lattice8	2017-01-13 19:18	27K