Index of /pub/ATP_problems/miscellany/wang

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]exq3.ver2.out1990-03-24 10:46 63K 
[   ]exq3.ver2.in1990-03-24 10:46 1.2K 
[   ]exq3.ver2.clauses1990-03-24 10:46 1.1K 
[   ]exq3.ver1.out1990-03-24 10:46 4.2K 
[   ]exq3.ver1.in1990-03-24 10:46 1.1K 
[   ]exq3.ver1.clauses1990-03-24 10:46 1.1K 
[   ]exq3.desc1990-03-24 10:46 1.0K 
[   ]exq2.ver2.out1990-03-24 10:46 61K 
[   ]exq2.ver2.in1990-03-24 10:46 1.2K 
[   ]exq2.ver2.clauses1990-03-24 10:46 1.1K 
[   ]exq2.ver1.out1990-03-24 10:46 4.2K 
[   ]exq2.ver1.in1990-03-24 10:46 1.2K 
[   ]exq2.ver1.clauses1990-03-24 10:46 1.1K 
[   ]exq2.desc1990-03-24 10:46 1.0K 
[   ]exq1.ver2.out1990-03-24 10:46 4.2K 
[   ]exq1.ver2.in1990-03-24 10:46 1.2K 
[   ]exq1.ver2.clauses1990-03-24 10:46 1.1K 
[   ]exq1.ver1.out1990-03-24 10:46 4.4K 
[   ]exq1.ver1.in1990-03-24 10:46 1.2K 
[   ]exq1.ver1.clauses1990-03-24 10:46 1.1K 
[   ]exq1.desc1990-03-24 10:46 937  
[   ]README1990-03-24 10:46 2.0K