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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]euclid_7__l57_euclid_72023-06-27 17:15 72K 
[   ]euclid_7__t6_euclid_72023-06-27 17:15 70K 
[   ]euclid_7__t8_euclid_72023-06-27 17:15 51K 
[   ]euclid_7__t21_euclid_72023-06-27 17:15 213K 
[   ]euclid_7__t22_euclid_72023-06-27 17:15 104K 
[   ]euclid_7__t23_euclid_72023-06-27 17:15 288K 
[   ]euclid_7__t27_euclid_72023-06-27 17:15 104K 
[   ]euclid_7__t31_euclid_72023-06-27 17:15 105K 
[   ]euclid_7__t33_euclid_72023-06-27 17:15 165K 
[   ]euclid_7__t34_euclid_72023-06-27 17:15 108K 
[   ]euclid_7__t39_euclid_72023-06-27 17:15 163K 
[   ]euclid_7__t42_euclid_72023-06-27 17:15 107K 
[   ]euclid_7__t43_euclid_72023-06-27 17:15 138K 
[   ]euclid_7__t44_euclid_72023-06-27 17:15 142K 
[   ]euclid_7__t50_euclid_72023-06-27 17:15 206K 

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