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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]afinsq_2__t2_afinsq_22023-06-27 17:13 79K 
[   ]afinsq_2__t35_afinsq_22023-06-27 17:13 108K 
[   ]afinsq_2__t40_afinsq_22023-06-27 17:13 183K 
[   ]afinsq_2__t41_afinsq_22023-06-27 17:13 106K 
[   ]afinsq_2__t42_afinsq_22023-06-27 17:13 106K 
[   ]afinsq_2__t43_afinsq_22023-06-27 17:13 123K 
[   ]afinsq_2__t44_afinsq_22023-06-27 17:13 103K 
[   ]afinsq_2__t45_afinsq_22023-06-27 17:13 124K 
[   ]afinsq_2__t47_afinsq_22023-06-27 17:13 106K 
[   ]afinsq_2__t56_afinsq_22023-06-27 17:13 108K 
[   ]afinsq_2__t57_afinsq_22023-06-27 17:13 103K 
[   ]afinsq_2__t58_afinsq_22023-06-27 17:13 116K 
[   ]afinsq_2__t61_afinsq_22023-06-27 17:13 107K 
[   ]afinsq_2__t64_afinsq_22023-06-27 17:13 105K 
[   ]afinsq_2__t68_afinsq_22023-06-27 17:13 134K 
[   ]afinsq_2__t69_afinsq_22023-06-27 17:13 111K 

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