Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/binom

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]binom__l3_binom2021-07-18 23:39 48K 
[   ]binom__l4_binom2021-07-18 23:40 48K 
[   ]binom__l14_binom2021-07-18 23:40 44K 
[   ]binom__t1_binom2021-07-18 23:27 48K 
[   ]binom__t2_binom2021-07-18 23:28 47K 
[   ]binom__t3_binom2021-07-18 23:28 55K 
[   ]binom__t4_binom2021-07-18 23:29 67K 
[   ]binom__t5_binom2021-07-18 23:29 68K 
[   ]binom__t6_binom2021-07-18 23:30 43K 
[   ]binom__t7_binom2021-07-18 23:30 60K 
[   ]binom__t8_binom2021-07-18 23:31 43K 
[   ]binom__t9_binom2021-07-18 23:31 45K 
[   ]binom__t10_binom2021-07-18 23:31 41K 
[   ]binom__t11_binom2021-07-18 23:32 46K 
[   ]binom__t12_binom2021-07-18 23:26 48K 
[   ]binom__t13_binom2021-07-18 23:32 46K 
[   ]binom__t14_binom2021-07-18 23:33 46K 
[   ]binom__t15_binom2021-07-18 23:33 46K 
[   ]binom__t16_binom2021-07-18 23:33 46K 
[   ]binom__t17_binom2021-07-18 23:34 50K 
[   ]binom__t18_binom2021-07-18 23:34 50K 
[   ]binom__t19_binom2021-07-18 23:35 56K 
[   ]binom__t20_binom2021-07-18 23:35 59K 
[   ]binom__t21_binom2021-07-18 23:36 50K 
[   ]binom__t22_binom2021-07-18 23:36 85K 
[   ]binom__t23_binom2021-07-18 23:37 77K 
[   ]binom__t24_binom2021-07-18 23:38 75K 
[   ]binom__t25_binom2021-07-18 23:38 309K 
[   ]binom__t26_binom2021-07-18 23:26 32K 
[   ]binom__t27_binom2021-07-18 23:27 32K 

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