Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_from_newthf/euclid_7

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]euclid_7__l57_euclid_72023-06-27 16:44 72K 
[   ]euclid_7__t6_euclid_72023-06-27 16:44 69K 
[   ]euclid_7__t8_euclid_72023-06-27 16:44 50K 
[   ]euclid_7__t21_euclid_72023-06-27 16:44 211K 
[   ]euclid_7__t22_euclid_72023-06-27 16:44 103K 
[   ]euclid_7__t23_euclid_72023-06-27 16:44 284K 
[   ]euclid_7__t27_euclid_72023-06-27 16:44 103K 
[   ]euclid_7__t31_euclid_72023-06-27 16:44 105K 
[   ]euclid_7__t33_euclid_72023-06-27 16:44 164K 
[   ]euclid_7__t34_euclid_72023-06-27 16:44 107K 
[   ]euclid_7__t39_euclid_72023-06-27 16:44 161K 
[   ]euclid_7__t42_euclid_72023-06-27 16:44 106K 
[   ]euclid_7__t43_euclid_72023-06-27 16:44 137K 
[   ]euclid_7__t44_euclid_72023-06-27 16:44 141K 
[   ]euclid_7__t50_euclid_72023-06-27 16:44 204K 

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