Index of /~mptp/7.13.01_4.181.1147/mptp/problems_from_newthf1/aofa_i00

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]aofa_i00__l144_aofa_i002023-06-27 17:13 149K 
[   ]aofa_i00__l147_aofa_i002023-06-27 17:13 387K 
[   ]aofa_i00__t52_aofa_i002023-06-27 17:13 330K 
[   ]aofa_i00__t53_aofa_i002023-06-27 17:13 331K 
[   ]aofa_i00__t57_aofa_i002023-06-27 17:13 363K 
[   ]aofa_i00__t59_aofa_i002023-06-27 17:13 362K 
[   ]aofa_i00__t61_aofa_i002023-06-27 17:13 529K 
[   ]aofa_i00__t63_aofa_i002023-06-27 17:13 198K 
[   ]aofa_i00__t65_aofa_i002023-06-27 17:13 387K 
[   ]aofa_i00__t66_aofa_i002023-06-27 17:13 212K 
[   ]aofa_i00__t67_aofa_i002023-06-27 17:13 388K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80