Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/scmpds_8

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmpds_8__52_11.min1.thm12017-02-06 12:45 345  
[ ]scmpds_8__52_11.min1.thm1.tptp2017-02-06 16:47 264  
[ ]scmpds_8__57_39.min1.thm12017-02-06 12:45 785  
[ ]scmpds_8__59_23.min1.thm12017-02-06 12:45 896  
[ ]scmpds_8__60_10.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_8__88_13.min1.thm12017-02-06 12:45 270  
[ ]scmpds_8__91_38.min1.thm12017-02-06 12:45 251  
[ ]scmpds_8__93_20.min1.thm12017-02-06 12:45 2.9K 
[ ]scmpds_8__99_20.min1.thm12017-02-06 12:45 2.9K 
[ ]scmpds_8__110_16.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_8__111_15.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_8__116_15.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_8__116_15.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]scmpds_8__117_63.min1.thm12017-02-06 12:45 895  
[ ]scmpds_8__141_18.min1.thm12017-02-06 12:45 2.2K 
[ ]scmpds_8__142_30.min1.thm12017-02-06 12:45 2.4K 
[ ]scmpds_8__162_21.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__182_35.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_8__196_20.min1.thm12017-02-06 12:45 3.0K 
[ ]scmpds_8__198_21.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__219_39.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_8__220_36.min1.thm12017-02-06 12:45 715  
[ ]scmpds_8__224_31.min1.thm12017-02-06 12:45 3.0K 
[ ]scmpds_8__232_24.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_8__242_13.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_8__245_22.min1.thm12017-02-06 12:45 2.1K 
[ ]scmpds_8__272_22.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_8__273_15.min1.thm12017-02-06 12:45 2.6K 
[ ]scmpds_8__274_30.min1.thm12017-02-06 12:45 3.0K 
[ ]scmpds_8__285_25.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_8__303_14.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__314_28.min1.thm12017-02-06 12:45 426  
[ ]scmpds_8__314_28.min1.thm1.tptp2017-02-06 16:47 349  
[ ]scmpds_8__316_25.min1.thm12017-02-06 12:45 584  
[ ]scmpds_8__366_35.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_8__367_19.min1.thm12017-02-06 12:45 2.1K 
[ ]scmpds_8__404_23.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_8__411_15.min1.thm12017-02-06 12:45 389  
[ ]scmpds_8__419_36.min1.thm12017-02-06 12:45 3.0K 
[ ]scmpds_8__422_19.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_8__425_19.min1.thm12017-02-06 12:45 2.7K 
[ ]scmpds_8__429_38.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__431_24.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__435_20.min1.thm12017-02-06 12:45 866  
[ ]scmpds_8__436_30.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__438_29.min1.thm12017-02-06 12:45 770  
[ ]scmpds_8__448_28.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__451_40.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__456_21.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__475_38.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__476_24.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_8__477_42.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__483_13.min1.thm12017-02-06 12:45 2.2K 
[ ]scmpds_8__498_19.min1.thm12017-02-06 12:45 536  
[ ]scmpds_8__508_27.min1.thm12017-02-06 12:45 232  
[ ]scmpds_8__516_29.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__517_54.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_8__520_29.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_8__528_43.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_8__531_50.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__533_44.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_8__550_46.min1.thm12017-02-06 12:45 925  
[ ]scmpds_8__571_13.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_8__572_20.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_8__599_27.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_8__605_13.min1.thm12017-02-06 12:45 220  
[ ]scmpds_8__606_22.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_8__611_32.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__622_41.min1.thm12017-02-06 12:45 927  
[ ]scmpds_8__633_21.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_8__647_33.min1.thm12017-02-06 12:45 3.0K 
[ ]scmpds_8__650_18.min1.thm12017-02-06 12:45 2.6K 
[ ]scmpds_8__660_32.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__662_21.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__668_17.min1.thm12017-02-06 12:45 840  
[ ]scmpds_8__669_24.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__671_26.min1.thm12017-02-06 12:45 742  
[ ]scmpds_8__673_15.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__692_39.min1.thm12017-02-06 12:45 735  
[ ]scmpds_8__695_31.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__707_36.min1.thm12017-02-06 12:45 877  
[ ]scmpds_8__766_24.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_8__773_15.min1.thm12017-02-06 12:45 395  
[ ]scmpds_8__781_34.min1.thm12017-02-06 12:45 3.1K 
[ ]scmpds_8__787_19.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_8__798_20.min1.thm12017-02-06 12:45 885  
[ ]scmpds_8__799_28.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__801_27.min1.thm12017-02-06 12:45 784  
[ ]scmpds_8__804_20.min1.thm12017-02-06 12:45 2.7K 
[ ]scmpds_8__808_34.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__810_24.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__816_29.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__820_19.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__833_36.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__840_39.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__847_31.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__849_20.min1.thm12017-02-06 12:45 692  
[ ]scmpds_8__852_24.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_8__853_42.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__872_19.min1.thm12017-02-06 12:45 538  
[ ]scmpds_8__882_27.min1.thm12017-02-06 12:45 232  
[ ]scmpds_8__890_29.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__891_54.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_8__894_29.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_8__902_41.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_8__905_46.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__924_46.min1.thm12017-02-06 12:45 925  
[ ]scmpds_8__947_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__956_49.min1.thm12017-02-06 12:45 283  
[ ]scmpds_8__987_17.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_8__1012_24.min1.thm12017-02-06 12:45 929  
[ ]scmpds_8__1015_9.min1.thm12017-02-06 12:45 283  
[ ]scmpds_8__1018_14.min1.thm12017-02-06 12:45 732  
[ ]scmpds_8__1056_22.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_8__1063_15.min1.thm12017-02-06 12:45 395  
[ ]scmpds_8__1072_42.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_8__1073_34.min1.thm12017-02-06 12:45 3.1K 
[ ]scmpds_8__1078_19.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_8__1089_20.min1.thm12017-02-06 12:45 886  
[ ]scmpds_8__1090_28.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__1092_27.min1.thm12017-02-06 12:45 784  
[ ]scmpds_8__1099_34.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__1101_24.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__1109_40.min1.thm12017-02-06 12:45 3.3K 
[ ]scmpds_8__1112_42.min1.thm12017-02-06 12:45 724  
[ ]scmpds_8__1117_21.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_8__1146_20.min1.thm12017-02-06 12:45 692  
[ ]scmpds_8__1167_19.min1.thm12017-02-06 12:45 600  
[ ]scmpds_8__1177_27.min1.thm12017-02-06 12:45 232  
[ ]scmpds_8__1185_29.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__1186_54.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_8__1189_29.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_8__1197_41.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_8__1200_46.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__1219_46.min1.thm12017-02-06 12:45 925  
[ ]scmpds_8__1239_19.min1.thm12017-02-06 12:45 675  
[ ]scmpds_8__1248_11.min1.thm12017-02-06 12:45 383  
[ ]scmpds_8__1276_22.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_8__1296_19.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_8__1297_33.min1.thm12017-02-06 12:45 283  
[ ]scmpds_8__1301_28.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__1315_38.min1.thm12017-02-06 12:45 790  
[ ]scmpds_8__1329_16.min1.thm12017-02-06 12:45 2.6K 
[ ]scmpds_8__1330_31.min1.thm12017-02-06 12:45 3.1K 
[ ]scmpds_8__1336_15.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__1344_28.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__1346_21.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__1351_17.min1.thm12017-02-06 12:45 854  
[ ]scmpds_8__1352_22.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__1354_24.min1.thm12017-02-06 12:45 752  
[ ]scmpds_8__1374_39.min1.thm12017-02-06 12:45 725  
[ ]scmpds_8__1377_25.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__1388_36.min1.thm12017-02-06 12:45 869  
[ ]scmpds_8__1424_18.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_8__1425_30.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_8__1445_21.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_8__1464_35.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_8__1478_18.min1.thm12017-02-06 12:45 3.0K 
[ ]scmpds_8__1480_21.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__1499_39.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_8__1500_36.min1.thm12017-02-06 12:45 715  
[ ]scmpds_8__1504_31.min1.thm12017-02-06 12:45 3.0K 
[ ]scmpds_8__1512_24.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_8__1522_13.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_8__1525_22.min1.thm12017-02-06 12:45 2.1K 
[ ]scmpds_8__1553_22.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_8__1554_15.min1.thm12017-02-06 12:45 2.6K 
[ ]scmpds_8__1555_30.min1.thm12017-02-06 12:45 3.0K 
[ ]scmpds_8__1565_25.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_8__1583_14.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__1594_28.min1.thm12017-02-06 12:45 426  
[ ]scmpds_8__1594_28.min1.thm1.tptp2017-02-06 16:47 349  
[ ]scmpds_8__1596_25.min1.thm12017-02-06 12:45 584  
[ ]scmpds_8__1648_35.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_8__1649_19.min1.thm12017-02-06 12:45 2.1K 
[ ]scmpds_8__1694_15.min1.thm12017-02-06 12:45 395  
[ ]scmpds_8__1702_36.min1.thm12017-02-06 12:45 3.1K 
[ ]scmpds_8__1707_19.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_8__1710_27.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__1711_20.min1.thm12017-02-06 12:45 2.7K 
[ ]scmpds_8__1715_38.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__1717_24.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__1721_20.min1.thm12017-02-06 12:45 877  
[ ]scmpds_8__1722_30.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__1724_29.min1.thm12017-02-06 12:45 780  
[ ]scmpds_8__1734_29.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__1737_41.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__1742_19.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__1761_38.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__1762_24.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_8__1763_42.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__1769_13.min1.thm12017-02-06 12:45 2.4K 
[ ]scmpds_8__1784_19.min1.thm12017-02-06 12:45 550  
[ ]scmpds_8__1793_27.min1.thm12017-02-06 12:45 236  
[ ]scmpds_8__1801_29.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__1802_54.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_8__1805_29.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_8__1813_43.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_8__1816_50.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__1818_44.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_8__1834_24.min1.thm12017-02-06 12:45 440  
[ ]scmpds_8__1859_13.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_8__1860_20.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_8__1892_26.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_8__1893_13.min1.thm12017-02-06 12:45 220  
[ ]scmpds_8__1894_22.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_8__1899_32.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__1911_37.min1.thm12017-02-06 12:45 927  
[ ]scmpds_8__1922_22.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_8__1922_22.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]scmpds_8__1937_33.min1.thm12017-02-06 12:45 3.0K 
[ ]scmpds_8__1940_18.min1.thm12017-02-06 12:45 2.6K 
[ ]scmpds_8__1949_32.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__1951_21.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__1957_17.min1.thm12017-02-06 12:45 840  
[ ]scmpds_8__1958_24.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__1960_26.min1.thm12017-02-06 12:45 742  
[ ]scmpds_8__1962_15.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__1981_39.min1.thm12017-02-06 12:45 735  
[ ]scmpds_8__1984_31.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__1996_36.min1.thm12017-02-06 12:45 877  
[ ]scmpds_8__2064_22.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_8__2073_15.min1.thm12017-02-06 12:45 395  
[ ]scmpds_8__2081_34.min1.thm12017-02-06 12:45 3.1K 
[ ]scmpds_8__2084_19.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_8__2095_20.min1.thm12017-02-06 12:45 884  
[ ]scmpds_8__2096_28.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__2098_27.min1.thm12017-02-06 12:45 784  
[ ]scmpds_8__2099_38.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__2102_19.min1.thm12017-02-06 12:45 2.7K 
[ ]scmpds_8__2106_34.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__2108_24.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__2114_28.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__2118_19.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__2137_36.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__2145_20.min1.thm12017-02-06 12:45 692  
[ ]scmpds_8__2147_24.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_8__2148_42.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__2179_19.min1.thm12017-02-06 12:45 538  
[ ]scmpds_8__2189_27.min1.thm12017-02-06 12:45 232  
[ ]scmpds_8__2197_29.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__2198_54.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_8__2201_29.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_8__2209_41.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_8__2212_46.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__2214_44.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_8__2231_24.min1.thm12017-02-06 12:45 432  
[ ]scmpds_8__2249_34.min1.thm12017-02-06 12:45 283  
[ ]scmpds_8__2256_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__2287_22.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_8__2294_15.min1.thm12017-02-06 12:45 2.6K 
[ ]scmpds_8__2295_30.min1.thm12017-02-06 12:45 3.1K 
[ ]scmpds_8__2317_34.min1.thm12017-02-06 12:45 284  
[ ]scmpds_8__2322_20.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_8__2336_36.min1.thm12017-02-06 12:45 790  
[ ]scmpds_8__2411_17.min1.thm12017-02-06 12:45 854  
[ ]scmpds_8__2415_28.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__2417_21.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__2418_22.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__2420_24.min1.thm12017-02-06 12:45 752  
[ ]scmpds_8__2424_28.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_8__2428_15.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_8__2448_39.min1.thm12017-02-06 12:45 730  
[ ]scmpds_8__2451_25.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_8__2463_36.min1.thm12017-02-06 12:45 869  
[ ]scmpds_8__2521_39.min1.thm12017-02-06 12:45 517  
[ ]scmpds_8__2521_39.min1.thm1.tptp2017-02-06 16:47 453  
[ ]scmpds_8__2567_22.min1.thm12017-02-06 12:45 2.4K 
[ ]scmpds_8__2570_11.min1.thm12017-02-06 12:45 862  
[ ]scmpds_8__2590_37.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_8__2590_37.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]scmpds_8__2596_19.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_8__2619_24.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_8__2625_76.min1.thm12017-02-06 12:45 584  
[ ]scmpds_8__2630_14.min1.thm12017-02-06 12:45 734  
[ ]scmpds_8__2667_39.min1.thm12017-02-06 12:45 517  
[ ]scmpds_8__2667_39.min1.thm1.tptp2017-02-06 16:47 453  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80