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

	Name	Last modified	Size	Description
	Parent Directory		-
	goboard5__774_17.min1.thm1.tptp	2017-02-06 16:58	520
	goboard5__911_47.min1.thm1.tptp	2017-02-06 16:58	489
	goboard9__243_15.min1.thm1.tptp	2017-02-06 16:58	491
	gobrd13__1105_48.min1.thm1.tptp	2017-02-06 16:58	482
	gobrd13__1131_48.min1.thm1.tptp	2017-02-06 16:58	482
	jordan1h__1517_15.min1.thm1.tptp	2017-02-06 16:58	491
	jordan2c__5261_55.min1.thm1.tptp	2017-02-06 16:58	708
	jordan5b__1874_51.min1.thm1.tptp	2017-02-06 16:58	709
	jordan5b__1882_6.min1.thm1.tptp	2017-02-06 16:58	843
	jordan5b__1888_60.min1.thm1.tptp	2017-02-06 16:58	915
	jordan5b__1927_51.min1.thm1.tptp	2017-02-06 16:58	709
	jordan5b__1935_6.min1.thm1.tptp	2017-02-06 16:58	843
	jordan5b__1941_62.min1.thm1.tptp	2017-02-06 16:58	915
	jordan5d__164_48.min1.thm1.tptp	2017-02-06 16:58	695
	jordan5d__174_7.min1.thm1.tptp	2017-02-06 16:58	896
	jordan5d__178_63.min1.thm1.tptp	2017-02-06 16:58	826
	jordan5d__195_47.min1.thm1.tptp	2017-02-06 16:58	694
	jordan5d__209_11.min1.thm1.tptp	2017-02-06 16:58	896
	jordan5d__216_61.min1.thm1.tptp	2017-02-06 16:58	826
	jordan5d__232_47.min1.thm1.tptp	2017-02-06 16:58	482
	jordan5d__272_47.min1.thm1.tptp	2017-02-06 16:58	482
	jordan5d__314_48.min1.thm1.tptp	2017-02-06 16:58	482
	jordan5d__349_48.min1.thm1.tptp	2017-02-06 16:58	489
	revrot_1__925_15.min1.thm1.tptp	2017-02-06 16:58	553