Index of /pub/ATP_problems/puzzles/combinators

	Name	Last modified	Size	Description
	Parent Directory		-
	README	1990-03-24 10:47	2.7K
	bird1.desc	1990-03-24 10:47	536
	bird1.ver1.clauses	1990-03-24 10:47	1.0K
	bird1.ver1.in	1990-03-24 10:47	1.4K
	bird1.ver1.out	1990-03-24 10:47	2.8K
	bird2.desc	1990-03-24 10:47	505
	bird2.ver1.clauses	1990-03-24 10:47	1.0K
	bird2.ver1.in	1990-03-24 10:47	1.3K
	bird2.ver1.out	1990-03-24 10:47	2.9K
	bird4.desc	1990-03-24 10:47	682
	bird4.ver1.clauses	1990-03-24 10:47	1.3K
	bird4.ver1.in	1990-03-24 10:47	1.6K
	bird4.ver1.out	1990-03-24 10:47	3.0K
	bird4.ver2.clauses	1990-03-24 10:47	1.6K
	bird4.ver2.in	1990-03-24 10:47	1.9K
	bird4.ver2.out	1990-03-24 10:47	3.2K
	bird5.desc	1990-03-24 10:47	522
	bird5.ver1.clauses	1990-03-24 10:47	1.0K
	bird5.ver1.in	1990-03-24 10:47	1.3K
	bird5.ver1.out	1990-03-24 10:47	2.8K
	bird6.desc	1990-03-24 10:47	509
	bird6.ver1.clauses	1990-03-24 10:47	1.1K
	bird6.ver1.in	1990-03-24 10:47	1.4K
	bird6.ver1.out	1990-03-24 10:47	2.9K
	bird7.desc	1990-03-24 10:47	494
	bird7.ver1.clauses	1990-03-24 10:47	959
	bird7.ver1.in	1990-03-24 10:47	1.2K
	bird7.ver1.out	1990-03-24 10:47	2.6K
	bird8.desc	1990-03-24 10:47	483
	bird8.ver1.clauses	1990-03-24 10:47	1.1K
	bird8.ver1.in	1990-03-24 10:47	1.4K
	bird8.ver1.out	1990-03-24 10:47	2.7K