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

	Name	Last modified	Size	Description
	Parent Directory		-
	goboard8__417_22.min1.thm1.tptp	2017-02-06 16:58	741
	goboard8__471_22.min1.thm1.tptp	2017-02-06 16:58	741
	goboard8__544_23.min1.thm1.tptp	2017-02-06 16:58	742
	goboard8__615_23.min1.thm1.tptp	2017-02-06 16:58	753
	goboard8__1244_22.min1.thm1.tptp	2017-02-06 16:58	752
	goboard8__1300_22.min1.thm1.tptp	2017-02-06 16:58	752
	goboard8__1765_22.min1.thm1.tptp	2017-02-06 16:58	754
	goboard8__1797_22.min1.thm1.tptp	2017-02-06 16:58	754
	goboard8__1892_22.min1.thm1.tptp	2017-02-06 16:58	754
	goboard8__1928_22.min1.thm1.tptp	2017-02-06 16:58	754
	gobrd11__272_24.min1.thm1.tptp	2017-02-06 16:58	736
	gobrd12__278_32.min1.thm1.tptp	2017-02-06 16:58	750
	gobrd12__446_32.min1.thm1.tptp	2017-02-06 16:58	750
	gobrd12__628_32.min1.thm1.tptp	2017-02-06 16:58	750
	gobrd12__912_32.min1.thm1.tptp	2017-02-06 16:58	750
	gobrd12__1081_32.min1.thm1.tptp	2017-02-06 16:58	750
	gobrd12__1263_32.min1.thm1.tptp	2017-02-06 16:58	750
	gobrd12__1562_32.min1.thm1.tptp	2017-02-06 16:58	761
	gobrd12__1733_32.min1.thm1.tptp	2017-02-06 16:58	761
	gobrd12__2196_32.min1.thm1.tptp	2017-02-06 16:58	761
	gobrd12__2368_32.min1.thm1.tptp	2017-02-06 16:58	761
	sprect_3__830_16.min1.thm1.tptp	2017-02-06 16:58	752
	sprect_4__422_12.min1.thm1.tptp	2017-02-06 16:58	772