Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/scmpds_7

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmpds_7__72_53.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_7__84_17.min1.thm12017-02-06 12:45 660  
[ ]scmpds_7__105_16.min1.thm12017-02-06 12:45 781  
[ ]scmpds_7__105_16.min1.thm1.tptp2017-02-06 16:47 730  
[ ]scmpds_7__108_32.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__112_34.min1.thm12017-02-06 12:45 543  
[ ]scmpds_7__117_49.min1.thm12017-02-06 12:45 725  
[ ]scmpds_7__122_49.min1.thm12017-02-06 12:45 725  
[ ]scmpds_7__127_49.min1.thm12017-02-06 12:45 725  
[ ]scmpds_7__154_16.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_7__155_16.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_7__190_30.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_7__192_18.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__193_27.min1.thm12017-02-06 12:45 214  
[ ]scmpds_7__194_16.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__215_30.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_7__216_30.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_7__217_25.min1.thm12017-02-06 12:45 217  
[ ]scmpds_7__222_21.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__225_20.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__234_32.min1.thm12017-02-06 12:45 3.8K 
[ ]scmpds_7__239_21.min1.thm12017-02-06 12:45 3.4K 
[ ]scmpds_7__243_9.min1.thm12017-02-06 12:45 2.8K 
[ ]scmpds_7__244_47.min1.thm12017-02-06 12:45 2.7K 
[ ]scmpds_7__310_24.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__313_24.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__314_25.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__318_49.min1.thm12017-02-06 12:45 2.7K 
[ ]scmpds_7__319_25.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__324_15.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_7__330_48.min1.thm12017-02-06 12:45 2.9K 
[ ]scmpds_7__335_36.min1.thm12017-02-06 12:45 2.9K 
[ ]scmpds_7__336_38.min1.thm12017-02-06 12:45 4.0K 
[ ]scmpds_7__340_33.min1.thm12017-02-06 12:45 410  
[ ]scmpds_7__343_17.min1.thm12017-02-06 12:45 2.7K 
[ ]scmpds_7__393_30.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_7__394_18.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__428_31.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_7__430_14.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_7__450_17.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_7__462_25.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__486_16.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__489_20.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__490_19.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_7__497_16.min1.thm12017-02-06 12:45 2.4K 
[ ]scmpds_7__500_14.min1.thm12017-02-06 12:45 2.4K 
[ ]scmpds_7__510_50.min1.thm12017-02-06 12:45 2.5K 
[ ]scmpds_7__511_33.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_7__514_14.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_7__514_14.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]scmpds_7__526_14.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_7__530_30.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_7__531_22.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__540_18.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_7__542_19.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__570_31.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_7__571_24.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__581_35.min1.thm12017-02-06 12:45 866  
[ ]scmpds_7__666_17.min1.thm12017-02-06 12:45 1.3K 
[ ]scmpds_7__698_16.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_7__706_16.min1.thm12017-02-06 12:45 859  
[ ]scmpds_7__707_26.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__719_16.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_7__723_17.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_7__764_21.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__766_19.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_7__769_29.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__775_16.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__779_20.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__793_14.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__849_17.min1.thm12017-02-06 12:45 2.1K 
[ ]scmpds_7__856_33.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_7__859_32.min1.thm12017-02-06 12:45 834  
[ ]scmpds_7__863_13.min1.thm12017-02-06 12:45 493  
[ ]scmpds_7__878_44.min1.thm12017-02-06 12:45 913  
[ ]scmpds_7__885_31.min1.thm12017-02-06 12:45 2.4K 
[ ]scmpds_7__976_21.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__1009_22.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__1012_17.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__1021_33.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_7__1024_32.min1.thm12017-02-06 12:45 668  
[ ]scmpds_7__1048_23.min1.thm12017-02-06 12:45 3.8K 
[ ]scmpds_7__1055_13.min1.thm12017-02-06 12:45 323  
[ ]scmpds_7__1064_40.min1.thm12017-02-06 12:45 889  
[ ]scmpds_7__1065_16.min1.thm12017-02-06 12:45 480  
[ ]scmpds_7__1065_16.min1.thm1.tptp2017-02-06 16:47 398  
[ ]scmpds_7__1067_21.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__1073_14.min1.thm12017-02-06 12:45 605  
[ ]scmpds_7__1076_34.min1.thm12017-02-06 12:45 2.7K 
[ ]scmpds_7__1113_22.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__1119_19.min1.thm12017-02-06 12:45 2.1K 
[ ]scmpds_7__1130_27.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__1131_28.min1.thm12017-02-06 12:45 2.1K 
[ ]scmpds_7__1177_30.min1.thm12017-02-06 12:45 436  
[ ]scmpds_7__1177_30.min1.thm1.tptp2017-02-06 16:47 359  
[ ]scmpds_7__1179_42.min1.thm12017-02-06 12:45 542  
[ ]scmpds_7__1189_32.min1.thm12017-02-06 12:45 377  
[ ]scmpds_7__1189_32.min1.thm1.tptp2017-02-06 16:47 312  
[ ]scmpds_7__1243_24.min1.thm12017-02-06 12:45 350  
[ ]scmpds_7__1243_24.min1.thm1.tptp2017-02-06 16:47 269  
[ ]scmpds_7__1283_21.min1.thm12017-02-06 12:45 2.4K 
[ ]scmpds_7__1299_21.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_7__1328_23.min1.thm12017-02-06 12:45 2.4K 
[ ]scmpds_7__1350_39.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_7__1351_36.min1.thm12017-02-06 12:45 715  
[ ]scmpds_7__1373_13.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__1376_32.min1.thm12017-02-06 12:45 2.2K 
[ ]scmpds_7__1408_39.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_7__1410_36.min1.thm12017-02-06 12:45 715  
[ ]scmpds_7__1436_15.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_7__1441_14.min1.thm12017-02-06 12:45 2.2K 
[ ]scmpds_7__1452_28.min1.thm12017-02-06 12:45 426  
[ ]scmpds_7__1452_28.min1.thm1.tptp2017-02-06 16:47 349  
[ ]scmpds_7__1454_25.min1.thm12017-02-06 12:45 584  
[ ]scmpds_7__1455_40.min1.thm12017-02-06 12:45 730  
[ ]scmpds_7__1513_19.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__1568_15.min1.thm12017-02-06 12:45 389  
[ ]scmpds_7__1579_23.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__1589_20.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__1590_19.min1.thm12017-02-06 12:45 2.1K 
[ ]scmpds_7__1591_24.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_7__1600_42.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_7__1607_34.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_7__1615_34.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__1621_20.min1.thm12017-02-06 12:45 972  
[ ]scmpds_7__1622_28.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_7__1624_27.min1.thm12017-02-06 12:45 838  
[ ]scmpds_7__1628_46.min1.thm12017-02-06 12:45 3.5K 
[ ]scmpds_7__1631_42.min1.thm12017-02-06 12:45 722  
[ ]scmpds_7__1636_31.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_7__1655_17.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__1679_20.min1.thm12017-02-06 12:45 678  
[ ]scmpds_7__1693_19.min1.thm12017-02-06 12:45 618  
[ ]scmpds_7__1704_27.min1.thm12017-02-06 12:45 226  
[ ]scmpds_7__1713_29.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_7__1714_54.min1.thm12017-02-06 12:45 965  
[ ]scmpds_7__1717_29.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_7__1725_40.min1.thm12017-02-06 12:45 3.0K 
[ ]scmpds_7__1729_46.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__1753_46.min1.thm12017-02-06 12:45 917  
[ ]scmpds_7__1773_29.min1.thm12017-02-06 12:45 675  
[ ]scmpds_7__1785_47.min1.thm12017-02-06 12:45 284  
[ ]scmpds_7__1818_16.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_7__1828_19.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__1838_17.min1.thm12017-02-06 12:45 947  
[ ]scmpds_7__1839_22.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_7__1841_24.min1.thm12017-02-06 12:45 813  
[ ]scmpds_7__1842_28.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__1846_28.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_7__1855_22.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__1867_50.min1.thm12017-02-06 12:45 284  
[ ]scmpds_7__1878_25.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_7__1885_29.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_7__1910_13.min1.thm12017-02-06 12:45 865  
[ ]scmpds_7__1926_27.min1.thm12017-02-06 12:45 944  
[ ]scmpds_7__1951_11.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__1964_39.min1.thm12017-02-06 12:45 730  
[ ]scmpds_7__1967_13.min1.thm12017-02-06 12:45 320  
[ ]scmpds_7__1991_36.min1.thm12017-02-06 12:45 869  
[ ]scmpds_7__2016_23.min1.thm12017-02-06 12:45 2.4K 
[ ]scmpds_7__2030_63.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_7__2060_21.min1.thm12017-02-06 12:45 2.7K 
[ ]scmpds_7__2076_21.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_7__2105_23.min1.thm12017-02-06 12:45 2.7K 
[ ]scmpds_7__2128_39.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_7__2129_36.min1.thm12017-02-06 12:45 715  
[ ]scmpds_7__2151_13.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__2154_32.min1.thm12017-02-06 12:45 2.2K 
[ ]scmpds_7__2185_39.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_7__2187_36.min1.thm12017-02-06 12:45 715  
[ ]scmpds_7__2216_15.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_7__2220_45.min1.thm12017-02-06 12:45 2.2K 
[ ]scmpds_7__2231_28.min1.thm12017-02-06 12:45 426  
[ ]scmpds_7__2231_28.min1.thm1.tptp2017-02-06 16:47 349  
[ ]scmpds_7__2233_25.min1.thm12017-02-06 12:45 584  
[ ]scmpds_7__2234_40.min1.thm12017-02-06 12:45 730  
[ ]scmpds_7__2287_19.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__2342_24.min1.thm12017-02-06 12:45 636  
[ ]scmpds_7__2343_37.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_7__2348_30.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_7__2349_15.min1.thm12017-02-06 12:45 389  
[ ]scmpds_7__2359_23.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__2369_19.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_7__2370_20.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__2371_19.min1.thm12017-02-06 12:45 2.1K 
[ ]scmpds_7__2372_24.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_7__2380_29.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_7__2383_42.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_7__2390_34.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_7__2396_19.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__2399_34.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__2405_20.min1.thm12017-02-06 12:45 972  
[ ]scmpds_7__2406_28.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_7__2408_27.min1.thm12017-02-06 12:45 838  
[ ]scmpds_7__2410_35.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_7__2412_25.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_7__2413_46.min1.thm12017-02-06 12:45 3.5K 
[ ]scmpds_7__2416_42.min1.thm12017-02-06 12:45 722  
[ ]scmpds_7__2421_31.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_7__2429_17.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__2439_17.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__2463_20.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__2464_20.min1.thm12017-02-06 12:45 678  
[ ]scmpds_7__2476_19.min1.thm12017-02-06 12:45 618  
[ ]scmpds_7__2487_27.min1.thm12017-02-06 12:45 226  
[ ]scmpds_7__2496_29.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_7__2497_54.min1.thm12017-02-06 12:45 965  
[ ]scmpds_7__2500_29.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_7__2508_40.min1.thm12017-02-06 12:45 3.0K 
[ ]scmpds_7__2512_46.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__2536_46.min1.thm12017-02-06 12:45 917  
[ ]scmpds_7__2556_47.min1.thm12017-02-06 12:45 284  
[ ]scmpds_7__2583_15.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_7__2594_19.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__2604_17.min1.thm12017-02-06 12:45 947  
[ ]scmpds_7__2605_22.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_7__2607_24.min1.thm12017-02-06 12:45 813  
[ ]scmpds_7__2608_28.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__2612_28.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_7__2621_22.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__2633_50.min1.thm12017-02-06 12:45 284  
[ ]scmpds_7__2643_25.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_7__2650_17.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_7__2666_11.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__2674_13.min1.thm12017-02-06 12:45 917  
[ ]scmpds_7__2690_27.min1.thm12017-02-06 12:45 970  
[ ]scmpds_7__2715_11.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__2728_39.min1.thm12017-02-06 12:45 730  
[ ]scmpds_7__2731_13.min1.thm12017-02-06 12:45 320  
[ ]scmpds_7__2754_36.min1.thm12017-02-06 12:45 869  
[ ]scmpds_7__2780_23.min1.thm12017-02-06 12:45 2.4K 
[ ]scmpds_7__2794_63.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_7__2822_11.min1.thm12017-02-06 12:45 355  
[ ]scmpds_7__2833_23.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__2838_17.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_7__2842_53.min1.thm12017-02-06 12:45 2.7K 
[ ]scmpds_7__2844_18.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__2848_17.min1.thm12017-02-06 12:45 2.7K 
[ ]scmpds_7__2853_21.min1.thm12017-02-06 12:45 353  
[ ]scmpds_7__2853_21.min1.thm1.tptp2017-02-06 16:47 288  
[ ]scmpds_7__2854_35.min1.thm12017-02-06 12:45 643  
[ ]scmpds_7__2854_35.min1.thm1.tptp2017-02-06 16:47 561  
[ ]scmpds_7__2857_35.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_7__2858_41.min1.thm12017-02-06 12:45 427  
[ ]scmpds_7__2858_41.min1.thm1.tptp2017-02-06 16:47 359  
[ ]scmpds_7__2889_38.min1.thm12017-02-06 12:45 435  
[ ]scmpds_7__2889_38.min1.thm1.tptp2017-02-06 16:47 367  
[ ]scmpds_7__2894_25.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__2899_19.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_7__2905_55.min1.thm12017-02-06 12:45 2.7K 
[ ]scmpds_7__2907_20.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__2910_19.min1.thm12017-02-06 12:45 2.7K 
[ ]scmpds_7__2915_23.min1.thm12017-02-06 12:45 353  
[ ]scmpds_7__2915_23.min1.thm1.tptp2017-02-06 16:47 288  
[ ]scmpds_7__2916_37.min1.thm12017-02-06 12:45 643  
[ ]scmpds_7__2916_37.min1.thm1.tptp2017-02-06 16:47 561  
[ ]scmpds_7__2921_31.min1.thm12017-02-06 12:45 2.5K 
[ ]scmpds_7__2922_14.min1.thm12017-02-06 12:45 3.6K 
[ ]scmpds_7__2927_30.min1.thm12017-02-06 12:45 2.6K 
[ ]scmpds_7__2932_26.min1.thm12017-02-06 12:45 2.5K 
[ ]scmpds_7__2953_22.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__2959_7.min1.thm12017-02-06 12:45 1.3K 
[ ]scmpds_7__2973_15.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_7__3032_11.min1.thm12017-02-06 12:45 409  
[ ]scmpds_7__3040_17.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_7__3049_25.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__3054_40.min1.thm12017-02-06 12:45 2.2K 
[ ]scmpds_7__3055_25.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__3059_17.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_7__3060_19.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_7__3064_17.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_7__3065_22.min1.thm12017-02-06 12:45 436  
[ ]scmpds_7__3065_22.min1.thm1.tptp2017-02-06 16:47 386  
[ ]scmpds_7__3066_22.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__3068_49.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_7__3071_18.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_7__3072_23.min1.thm12017-02-06 12:45 2.1K 
[ ]scmpds_7__3076_24.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_7__3092_17.min1.thm12017-02-06 12:45 2.9K 
[ ]scmpds_7__3100_20.min1.thm12017-02-06 12:45 496  
[ ]scmpds_7__3100_20.min1.thm1.tptp2017-02-06 16:47 442  
[ ]scmpds_7__3103_37.min1.thm12017-02-06 12:45 929  
[ ]scmpds_7__3103_37.min1.thm1.tptp2017-02-06 16:47 847  
[ ]scmpds_7__3107_37.min1.thm12017-02-06 12:45 2.5K 
[ ]scmpds_7__3112_27.min1.thm12017-02-06 12:45 3.4K 
[ ]scmpds_7__3114_43.min1.thm12017-02-06 12:45 718  
[ ]scmpds_7__3153_14.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_7__3155_17.min1.thm12017-02-06 12:45 2.1K 
[ ]scmpds_7__3174_33.min1.thm12017-02-06 12:45 458  
[ ]scmpds_7__3179_26.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__3184_42.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_7__3185_27.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_7__3190_19.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_7__3191_24.min1.thm12017-02-06 12:45 435  
[ ]scmpds_7__3191_24.min1.thm1.tptp2017-02-06 16:47 385  
[ ]scmpds_7__3193_19.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__3195_44.min1.thm12017-02-06 12:45 3.0K 
[ ]scmpds_7__3199_19.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_7__3203_26.min1.thm12017-02-06 12:45 1.3K 
[ ]scmpds_7__3209_51.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_7__3218_19.min1.thm12017-02-06 12:45 3.0K 
[ ]scmpds_7__3225_22.min1.thm12017-02-06 12:45 487  
[ ]scmpds_7__3225_22.min1.thm1.tptp2017-02-06 16:47 433  
[ ]scmpds_7__3228_39.min1.thm12017-02-06 12:45 919  
[ ]scmpds_7__3228_39.min1.thm1.tptp2017-02-06 16:47 837  
[ ]scmpds_7__3232_39.min1.thm12017-02-06 12:45 2.5K 
[ ]scmpds_7__3235_23.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_7__3240_36.min1.thm12017-02-06 12:45 1.3K 
[ ]scmpds_7__3246_49.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__3255_39.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_7__3261_47.min1.thm12017-02-06 12:45 3.2K 
[ ]scmpds_7__3270_19.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_7__3282_17.min1.thm12017-02-06 12:45 1.3K 
[ ]scmpds_7__3283_28.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_7__3285_19.min1.thm12017-02-06 12:45 1.3K 
[ ]scmpds_7__3311_23.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_7__3324_31.min1.thm12017-02-06 12:45 2.5K 
[ ]scmpds_7__3326_34.min1.thm12017-02-06 12:45 2.1K 
[ ]scmpds_7__3338_16.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_7__3339_28.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__3344_44.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_7__3357_19.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_7__3361_29.min1.thm12017-02-06 12:45 3.4K 
[ ]scmpds_7__3363_45.min1.thm12017-02-06 12:45 882  
[ ]scmpds_7__3383_23.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__3384_17.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_7__3391_11.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_7__3416_15.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_7__3421_38.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_7__3424_29.min1.thm12017-02-06 12:45 2.1K 
[ ]scmpds_7__3430_13.min1.thm12017-02-06 12:45 3.6K 
[ ]scmpds_7__3431_14.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_7__3434_16.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_7__3435_26.min1.thm12017-02-06 12:45 2.2K 
[ ]scmpds_7__3438_10.min1.thm12017-02-06 12:45 3.5K 
[ ]scmpds_7__3440_44.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_7__3450_13.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_7__3451_21.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_7__3453_25.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_7__3454_17.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_7__3460_25.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_7__3464_28.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_7__3465_18.min1.thm12017-02-06 12:45 773  
[ ]scmpds_7__3472_26.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_7__3484_44.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_7__3488_14.min1.thm12017-02-06 12:45 1.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80