Index of /pub/ATP_problems/puzzles/combinators

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]README1990-03-24 10:47 2.7K 
[   ]bird1.desc1990-03-24 10:47 536  
[   ]bird1.ver1.clauses1990-03-24 10:47 1.0K 
[   ]bird1.ver1.in1990-03-24 10:47 1.4K 
[   ]bird1.ver1.out1990-03-24 10:47 2.8K 
[   ]bird2.desc1990-03-24 10:47 505  
[   ]bird2.ver1.clauses1990-03-24 10:47 1.0K 
[   ]bird2.ver1.in1990-03-24 10:47 1.3K 
[   ]bird2.ver1.out1990-03-24 10:47 2.9K 
[   ]bird4.desc1990-03-24 10:47 682  
[   ]bird4.ver1.clauses1990-03-24 10:47 1.3K 
[   ]bird4.ver1.in1990-03-24 10:47 1.6K 
[   ]bird4.ver1.out1990-03-24 10:47 3.0K 
[   ]bird4.ver2.clauses1990-03-24 10:47 1.6K 
[   ]bird4.ver2.in1990-03-24 10:47 1.9K 
[   ]bird4.ver2.out1990-03-24 10:47 3.2K 
[   ]bird5.desc1990-03-24 10:47 522  
[   ]bird5.ver1.clauses1990-03-24 10:47 1.0K 
[   ]bird5.ver1.in1990-03-24 10:47 1.3K 
[   ]bird5.ver1.out1990-03-24 10:47 2.8K 
[   ]bird6.desc1990-03-24 10:47 509  
[   ]bird6.ver1.clauses1990-03-24 10:47 1.1K 
[   ]bird6.ver1.in1990-03-24 10:47 1.4K 
[   ]bird6.ver1.out1990-03-24 10:47 2.9K 
[   ]bird7.desc1990-03-24 10:47 494  
[   ]bird7.ver1.clauses1990-03-24 10:47 959  
[   ]bird7.ver1.in1990-03-24 10:47 1.2K 
[   ]bird7.ver1.out1990-03-24 10:47 2.6K 
[   ]bird8.desc1990-03-24 10:47 483  
[   ]bird8.ver1.clauses1990-03-24 10:47 1.1K 
[   ]bird8.ver1.in1990-03-24 10:47 1.4K 
[   ]bird8.ver1.out1990-03-24 10:47 2.7K