Index of /~mptp/7.13.01_4.181.1147/mptp/ilp1/t52_funct_2

	Name	Last modified	Size	Description
	Parent Directory		-
	abcmiz_1__5764_43.min1.thm1.tptp	2017-02-06 16:58	921
	afinsq_2__2975_19.min1.thm1.tptp	2017-02-06 16:58	563
	combgras__4564_17.min1.thm1.tptp	2017-02-06 16:58	546
	funct_2__889_15.min1.thm1.tptp	2017-02-06 16:58	481
	funct_2__909_18.min1.thm1.tptp	2017-02-06 16:58	479
	funct_2__933_14.min1.thm1.tptp	2017-02-06 16:58	471
	funct_2__951_14.min1.thm1.tptp	2017-02-06 16:58	471
	funct_2__1060_16.min1.thm1.tptp	2017-02-06 16:58	534
	funct_2__1082_16.min1.thm1.tptp	2017-02-06 16:58	530
	funct_2__1100_14.min1.thm1.tptp	2017-02-06 16:58	530
	funct_7__2489_14.min1.thm1.tptp	2017-02-06 16:58	471
	knaster__135_16.min1.thm1.tptp	2017-02-06 16:58	459
	laplace__554_26.min1.thm1.tptp	2017-02-06 16:58	769
	laplace__1712_20.min1.thm1.tptp	2017-02-06 16:58	790
	laplace__1808_20.min1.thm1.tptp	2017-02-06 16:58	575
	laplace__2058_22.min1.thm1.tptp	2017-02-06 16:58	777
	laplace__2059_22.min1.thm1.tptp	2017-02-06 16:58	777
	laplace__2284_27.min1.thm1.tptp	2017-02-06 16:58	883
	laplace__2297_28.min1.thm1.tptp	2017-02-06 16:58	859
	laplace__2551_25.min1.thm1.tptp	2017-02-06 16:58	819
	laplace__2555_23.min1.thm1.tptp	2017-02-06 16:58	691
	laplace__2570_27.min1.thm1.tptp	2017-02-06 16:58	820
	laplace__2582_25.min1.thm1.tptp	2017-02-06 16:58	819
	laplace__3080_14.min1.thm1.tptp	2017-02-06 16:58	544
	matrix13__154_17.min1.thm1.tptp	2017-02-06 16:58	634
	matrix13__174_23.min1.thm1.tptp	2017-02-06 16:58	642
	matrix13__259_21.min1.thm1.tptp	2017-02-06 16:58	640
	matrix13__296_21.min1.thm1.tptp	2017-02-06 16:58	640
	matrix13__315_21.min1.thm1.tptp	2017-02-06 16:58	640
	matrix13__756_16.min1.thm1.tptp	2017-02-06 16:58	655
	matrix13__3784_18.min1.thm1.tptp	2017-02-06 16:58	664
	transgeo__2475_33.min1.thm1.tptp	2017-02-06 16:58	664
	transgeo__2491_31.min1.thm1.tptp	2017-02-06 16:58	664
	waybel26__1190_44.min1.thm1.tptp	2017-02-06 16:58	933
	waybel33__903_37.min1.thm1.tptp	2017-02-06 16:58	1.0K