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

	Name	Last modified	Size	Description
	Parent Directory		-
	afinsq_2__1840_36.min1.thm1.tptp	2017-02-06 16:58	461
	bvfunc14__3834_66.min1.thm1.tptp	2017-02-06 16:58	1.0K
	bvfunc14__4677_67.min1.thm1.tptp	2017-02-06 16:58	1.1K
	bvfunc14__5622_70.min1.thm1.tptp	2017-02-06 16:58	1.1K
	bvfunc14__5627_4.min1.thm1.tptp	2017-02-06 16:58	1.2K
	e_siec__908_46.min1.thm1.tptp	2017-02-06 16:58	949
	e_siec__944_25.min1.thm1.tptp	2017-02-06 16:58	1.9K
	e_siec__946_31.min1.thm1.tptp	2017-02-06 16:58	2.0K
	e_siec__948_42.min1.thm1.tptp	2017-02-06 16:58	2.1K
	e_siec__956_36.min1.thm1.tptp	2017-02-06 16:58	2.1K
	e_siec__972_62.min1.thm1.tptp	2017-02-06 16:58	1.3K
	e_siec__986_38.min1.thm1.tptp	2017-02-06 16:58	2.1K
	e_siec__988_44.min1.thm1.tptp	2017-02-06 16:58	2.2K
	e_siec__990_50.min1.thm1.tptp	2017-02-06 16:58	2.3K
	e_siec__992_56.min1.thm1.tptp	2017-02-06 16:58	2.4K
	ff_siec__518_40.min1.thm1.tptp	2017-02-06 16:58	696
	ff_siec__532_40.min1.thm1.tptp	2017-02-06 16:58	672
	ff_siec__545_40.min1.thm1.tptp	2017-02-06 16:58	696
	ff_siec__558_40.min1.thm1.tptp	2017-02-06 16:58	672
	ff_siec__572_40.min1.thm1.tptp	2017-02-06 16:58	696
	ff_siec__586_40.min1.thm1.tptp	2017-02-06 16:58	672
	ff_siec__600_40.min1.thm1.tptp	2017-02-06 16:58	696
	ff_siec__613_40.min1.thm1.tptp	2017-02-06 16:58	672
	ff_siec__936_36.min1.thm1.tptp	2017-02-06 16:58	956
	ff_siec__1320_36.min1.thm1.tptp	2017-02-06 16:58	956
	funct_7__1024_34.min1.thm1.tptp	2017-02-06 16:58	505
	funct_7__3447_36.min1.thm1.tptp	2017-02-06 16:58	513
	funct_7__3506_36.min1.thm1.tptp	2017-02-06 16:58	513
	pboole__1096_36.min1.thm1.tptp	2017-02-06 16:58	627
	xboole_1__1218_43.min1.thm1.tptp	2017-02-06 16:58	462
	xboole_1__1260_25.min1.thm1.tptp	2017-02-06 16:58	684
	xboole_1__1327_52.min1.thm1.tptp	2017-02-06 16:58	538
	zf_fund2__95_47.min1.thm1.tptp	2017-02-06 16:58	633