Index of /Seminars/AGInT/YisVersion/results/PUZ032

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]PUZ032-1_intrscore_novelty31978_Try02024-10-04 17:41 323  
[   ]README2024-10-04 17:41 177  
[   ]PUZ032-1_intrscore_novelty30837_Try02024-10-04 17:41 163  

Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443