Index of /Seminars/AGInT/YisVersion/results/PUZ001

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]PUZ001-2_intrscore_novelty27756_Try02024-10-04 17:41 135  
[ ]PUZ001-2_intrscore_novelty27756_Try12024-10-04 17:41 157  
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443