Index of /~mptp/7.13.01_4.181.1147/mptp/problems_from_newthf/borsuk_6

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]borsuk_6__t15_borsuk_62023-06-27 16:43 70K 
[   ]borsuk_6__t16_borsuk_62023-06-27 16:43 70K 
[   ]borsuk_6__t17_borsuk_62023-06-27 16:43 85K 
[   ]borsuk_6__t18_borsuk_62023-06-27 16:43 85K 
[   ]borsuk_6__t19_borsuk_62023-06-27 16:43 58K 
[   ]borsuk_6__t20_borsuk_62023-06-27 16:43 61K 
[   ]borsuk_6__t21_borsuk_62023-06-27 16:43 89K 
[   ]borsuk_6__t22_borsuk_62023-06-27 16:43 89K 
[   ]borsuk_6__t23_borsuk_62023-06-27 16:43 89K 

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