Index of /~mptp/7.13.01_4.181.1147/mptp/ilp1/d6_sin_cos2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]sin_cos5__672_35.min1.thm1.tptp2017-02-06 16:58 352  
[   ]sin_cos5__1028_18.min1.thm1.tptp2017-02-06 16:58 306  
[   ]sin_cos8__52_20.min1.thm1.tptp2017-02-06 16:58 269  
[   ]sin_cos8__70_22.min1.thm1.tptp2017-02-06 16:58 261  
[   ]sin_cos8__73_21.min1.thm1.tptp2017-02-06 16:58 269  
[   ]sin_cos8__120_25.min1.thm1.tptp2017-02-06 16:58 295  
[   ]sin_cos8__122_17.min1.thm1.tptp2017-02-06 16:58 295  
[   ]sin_cos8__353_29.min1.thm1.tptp2017-02-06 16:58 330  
[   ]sin_cos8__355_44.min1.thm1.tptp2017-02-06 16:58 616  
[   ]sin_cos8__356_45.min1.thm1.tptp2017-02-06 16:58 598  
[   ]sin_cos8__357_46.min1.thm1.tptp2017-02-06 16:58 580  
[   ]sin_cos8__358_47.min1.thm1.tptp2017-02-06 16:58 562  
[   ]sin_cos8__359_29.min1.thm1.tptp2017-02-06 16:58 330  
[   ]sin_cos8__361_44.min1.thm1.tptp2017-02-06 16:58 616  
[   ]sin_cos8__362_45.min1.thm1.tptp2017-02-06 16:58 598  
[   ]sin_cos8__363_46.min1.thm1.tptp2017-02-06 16:58 580  
[   ]sin_cos8__364_47.min1.thm1.tptp2017-02-06 16:58 562  
[   ]sin_cos8__470_24.min1.thm1.tptp2017-02-06 16:58 374  
[   ]sin_cos8__471_25.min1.thm1.tptp2017-02-06 16:58 356  
[   ]sin_cos8__477_24.min1.thm1.tptp2017-02-06 16:58 374  
[   ]sin_cos8__478_25.min1.thm1.tptp2017-02-06 16:58 356  
[   ]sin_cos8__851_29.min1.thm1.tptp2017-02-06 16:58 310  
[   ]sin_cos8__853_35.min1.thm1.tptp2017-02-06 16:58 476  
[   ]sin_cos8__854_35.min1.thm1.tptp2017-02-06 16:58 458  

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