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

	Name	Last modified	Size	Description
	Parent Directory		-
	classes2__190_25.min1.thm1.tptp	2017-02-06 16:58	310
	classes2__191_34.min1.thm1.tptp	2017-02-06 16:58	310
	classes2__192_13.min1.thm1.tptp	2017-02-06 16:58	324
	classes2__252_17.min1.thm1.tptp	2017-02-06 16:58	316
	classes2__265_17.min1.thm1.tptp	2017-02-06 16:58	316
	classes2__273_17.min1.thm1.tptp	2017-02-06 16:58	342
	classes2__483_15.min1.thm1.tptp	2017-02-06 16:58	320
	classes2__507_14.min1.thm1.tptp	2017-02-06 16:58	317
	classes2__659_35.min1.thm1.tptp	2017-02-06 16:58	310
	classes2__726_39.min1.thm1.tptp	2017-02-06 16:58	310
	classes2__882_35.min1.thm1.tptp	2017-02-06 16:58	310
	exchsort__518_36.min1.thm1.tptp	2017-02-06 16:58	403
	ordinal1__1330_39.min1.thm1.tptp	2017-02-06 16:58	310
	ordinal1__1332_24.min1.thm1.tptp	2017-02-06 16:58	310
	ordinal2__141_17.min1.thm1.tptp	2017-02-06 16:58	357
	ordinal2__151_31.min1.thm1.tptp	2017-02-06 16:58	347
	ordinal2__178_17.min1.thm1.tptp	2017-02-06 16:58	388
	ordinal2__250_41.min1.thm1.tptp	2017-02-06 16:58	326
	ordinal2__289_39.min1.thm1.tptp	2017-02-06 16:58	310
	ordinal2__327_41.min1.thm1.tptp	2017-02-06 16:58	318
	ordinal2__328_15.min1.thm1.tptp	2017-02-06 16:58	332
	ordinal2__366_39.min1.thm1.tptp	2017-02-06 16:58	310
	ordinal2__402_22.min1.thm1.tptp	2017-02-06 16:58	346
	ordinal3__1638_39.min1.thm1.tptp	2017-02-06 16:58	310
	ordinal6__1455_24.min1.thm1.tptp	2017-02-06 16:58	398
	ordinal6__1643_15.min1.thm1.tptp	2017-02-06 16:58	324
	ordinal6__2578_25.min1.thm1.tptp	2017-02-06 16:58	316
	zf_refle__365_39.min1.thm1.tptp	2017-02-06 16:58	323
	zf_refle__366_18.min1.thm1.tptp	2017-02-06 16:58	350
	zfrefle1__442_21.min1.thm1.tptp	2017-02-06 16:58	333