Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/t29_quatern2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]quatern3__841_34.min1.thm1.tptp2017-02-06 16:58 1.4K 
[ ]quatern3__843_39.min1.thm1.tptp2017-02-06 16:58 1.5K 
[ ]quatern3__845_50.min1.thm1.tptp2017-02-06 16:58 1.6K 
[ ]quatern3__847_60.min1.thm1.tptp2017-02-06 16:58 1.7K 
[ ]quatern3__849_69.min1.thm1.tptp2017-02-06 16:58 1.8K 
[ ]quatern3__853_4.min1.thm1.tptp2017-02-06 16:58 1.9K 
[ ]quatern3__856_16.min1.thm1.tptp2017-02-06 16:58 2.0K 
[ ]quatern3__875_34.min1.thm1.tptp2017-02-06 16:58 1.4K 
[ ]quatern3__877_39.min1.thm1.tptp2017-02-06 16:58 1.5K 
[ ]quatern3__879_50.min1.thm1.tptp2017-02-06 16:58 1.6K 
[ ]quatern3__881_60.min1.thm1.tptp2017-02-06 16:58 1.7K 
[ ]quatern3__883_69.min1.thm1.tptp2017-02-06 16:58 1.8K 
[ ]quatern3__887_4.min1.thm1.tptp2017-02-06 16:58 1.9K 
[ ]quatern3__890_15.min1.thm1.tptp2017-02-06 16:58 2.0K 
[ ]quatern3__893_26.min1.thm1.tptp2017-02-06 16:58 2.1K 
[ ]quatern3__912_34.min1.thm1.tptp2017-02-06 16:58 1.4K 
[ ]quatern3__914_39.min1.thm1.tptp2017-02-06 16:58 1.5K 
[ ]quatern3__916_50.min1.thm1.tptp2017-02-06 16:58 1.6K 
[ ]quatern3__918_60.min1.thm1.tptp2017-02-06 16:58 1.7K 
[ ]quatern3__920_69.min1.thm1.tptp2017-02-06 16:58 1.8K 
[ ]quatern3__924_4.min1.thm1.tptp2017-02-06 16:58 1.9K 
[ ]quatern3__927_15.min1.thm1.tptp2017-02-06 16:58 2.0K 
[ ]quatern3__930_26.min1.thm1.tptp2017-02-06 16:58 2.1K 
[ ]quatern3__949_29.min1.thm1.tptp2017-02-06 16:58 1.4K 
[ ]quatern3__951_36.min1.thm1.tptp2017-02-06 16:58 1.5K 
[ ]quatern3__953_47.min1.thm1.tptp2017-02-06 16:58 1.6K 
[ ]quatern3__955_60.min1.thm1.tptp2017-02-06 16:58 1.7K 
[ ]quatern3__957_69.min1.thm1.tptp2017-02-06 16:58 1.8K 
[ ]quatern3__961_2.min1.thm1.tptp2017-02-06 16:58 1.9K 
[ ]quatern3__964_14.min1.thm1.tptp2017-02-06 16:58 2.0K 
[ ]quatern3__967_23.min1.thm1.tptp2017-02-06 16:58 2.1K 
[ ]quatern3__1082_35.min1.thm1.tptp2017-02-06 16:58 705  
[ ]quatern3__1085_35.min1.thm1.tptp2017-02-06 16:58 705  
[ ]quatern3__1088_35.min1.thm1.tptp2017-02-06 16:58 706  
[ ]quatern3__1091_32.min1.thm1.tptp2017-02-06 16:58 695  
[ ]quatern3__1350_51.min1.thm1.tptp2017-02-06 16:58 1.0K 
[ ]quatern3__1351_63.min1.thm1.tptp2017-02-06 16:58 1.0K 
[ ]quatern3__1352_75.min1.thm1.tptp2017-02-06 16:58 1.1K 
[ ]quatern3__1355_15.min1.thm1.tptp2017-02-06 16:58 1.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80