Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/stacks_1
Name
Last modified
Size
Description
Parent Directory
-
stacks_1__2701_18.min1.thm1
2017-02-06 12:46
414
stacks_1__2699_46.min1.thm1.tptp
2017-02-06 16:47
1.0K
stacks_1__2699_46.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__2688_52.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__2688_25.min1.thm1
2017-02-06 12:46
2.3K
stacks_1__2687_38.min1.thm1
2017-02-06 12:46
2.6K
stacks_1__2684_18.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__2683_27.min1.thm1
2017-02-06 12:46
2.4K
stacks_1__2682_47.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__2682_22.min1.thm1
2017-02-06 12:46
2.2K
stacks_1__2681_32.min1.thm1
2017-02-06 12:46
2.4K
stacks_1__2677_21.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__2672_21.min1.thm1
2017-02-06 12:46
2.0K
stacks_1__2671_20.min1.thm1
2017-02-06 12:46
957
stacks_1__2669_18.min1.thm1
2017-02-06 12:46
664
stacks_1__2665_20.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__2664_17.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__2661_45.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__2655_16.min1.thm1
2017-02-06 12:46
679
stacks_1__2654_18.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__2650_41.min1.thm1
2017-02-06 12:46
2.2K
stacks_1__2647_32.min1.thm1
2017-02-06 12:46
934
stacks_1__2645_6.min1.thm1
2017-02-06 12:46
2.4K
stacks_1__2632_52.min1.thm1
2017-02-06 12:46
532
stacks_1__2617_19.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__2616_15.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__2610_69.min1.thm1
2017-02-06 12:46
1.8K
stacks_1__2609_22.min1.thm1
2017-02-06 12:46
2.2K
stacks_1__2607_38.min1.thm1
2017-02-06 12:46
2.6K
stacks_1__2602_62.min1.thm1
2017-02-06 12:46
2.2K
stacks_1__2590_18.min1.thm1
2017-02-06 12:46
2.4K
stacks_1__2578_30.min1.thm1
2017-02-06 12:46
1.7K
stacks_1__2571_18.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__2559_28.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__2553_29.min1.thm1
2017-02-06 12:46
1.9K
stacks_1__2543_29.min1.thm1
2017-02-06 12:46
758
stacks_1__2542_39.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__2541_20.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__2531_6.min1.thm1
2017-02-06 12:46
921
stacks_1__2529_6.min1.thm1
2017-02-06 12:46
921
stacks_1__2507_17.min1.thm1
2017-02-06 12:46
1.9K
stacks_1__2500_58.min1.thm1
2017-02-06 12:46
1.8K
stacks_1__2499_61.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__2497_30.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__2496_24.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__2491_28.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__2489_28.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__2462_19.min1.thm1
2017-02-06 12:46
1.9K
stacks_1__2460_16.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__2457_54.min1.thm1
2017-02-06 12:46
2.6K
stacks_1__2456_46.min1.thm1
2017-02-06 12:46
1.6K
stacks_1__2454_24.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__2452_16.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__2449_23.min1.thm1
2017-02-06 12:46
936
stacks_1__2447_23.min1.thm1
2017-02-06 12:46
936
stacks_1__2422_19.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__2420_78.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__2393_15.min1.thm1.tptp
2017-02-06 16:47
623
stacks_1__2393_15.min1.thm1
2017-02-06 12:46
700
stacks_1__2382_22.min1.thm1
2017-02-06 12:46
1.6K
stacks_1__2381_15.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__2380_43.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__2380_22.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__2378_27.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__2376_27.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__2364_26.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__2361_56.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__2358_44.min1.thm1
2017-02-06 12:46
1.8K
stacks_1__2353_21.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__2351_14.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__2336_16.min1.thm1
2017-02-06 12:46
1.8K
stacks_1__2335_24.min1.thm1
2017-02-06 12:46
962
stacks_1__2334_62.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__2333_39.min1.thm1
2017-02-06 12:46
1.8K
stacks_1__2332_26.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__2324_15.min1.thm1
2017-02-06 12:46
2.1K
stacks_1__2323_42.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__2322_25.min1.thm1
2017-02-06 12:46
962
stacks_1__2321_62.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__2320_39.min1.thm1
2017-02-06 12:46
1.8K
stacks_1__2319_26.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__2311_15.min1.thm1
2017-02-06 12:46
1.9K
stacks_1__2310_29.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__2309_25.min1.thm1
2017-02-06 12:46
962
stacks_1__2308_62.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__2307_39.min1.thm1
2017-02-06 12:46
1.8K
stacks_1__2306_26.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__2299_28.min1.thm1
2017-02-06 12:46
1.9K
stacks_1__2298_24.min1.thm1
2017-02-06 12:46
1.6K
stacks_1__2296_47.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__2295_46.min1.thm1
2017-02-06 12:46
2.0K
stacks_1__2294_57.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__2293_17.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__2291_26.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__2275_36.min1.thm1
2017-02-06 12:46
1.9K
stacks_1__2272_17.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__2265_15.min1.thm1
2017-02-06 12:46
389
stacks_1__2258_6.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__2256_41.min1.thm1
2017-02-06 12:46
1.7K
stacks_1__2250_33.min1.thm1
2017-02-06 12:46
865
stacks_1__2248_42.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__2231_15.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__2226_13.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__2219_13.min1.thm1
2017-02-06 12:46
962
stacks_1__2218_16.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__2200_30.min1.thm1
2017-02-06 12:46
794
stacks_1__2197_23.min1.thm1.tptp
2017-02-06 16:47
1.8K
stacks_1__2197_23.min1.thm1
2017-02-06 12:46
1.9K
stacks_1__2194_58.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__2193_17.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__2189_46.min1.thm1
2017-02-06 12:46
3.3K
stacks_1__2188_27.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__2186_60.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__2185_21.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__2182_15.min1.thm1
2017-02-06 12:46
229
stacks_1__2181_17.min1.thm1
2017-02-06 12:46
1.6K
stacks_1__2175_28.min1.thm1
2017-02-06 12:46
665
stacks_1__2156_8.min1.thm1
2017-02-06 12:46
2.5K
stacks_1__2154_33.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__2153_17.min1.thm1
2017-02-06 12:46
1.6K
stacks_1__2135_19.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__2134_12.min1.thm1
2017-02-06 12:46
788
stacks_1__2130_35.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__2129_14.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__2126_33.min1.thm1.tptp
2017-02-06 16:47
406
stacks_1__2126_33.min1.thm1
2017-02-06 12:46
482
stacks_1__2123_20.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__2122_40.min1.thm1
2017-02-06 12:46
1.7K
stacks_1__2116_28.min1.thm1
2017-02-06 12:46
1.9K
stacks_1__2113_36.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__2111_40.min1.thm1
2017-02-06 12:46
2.0K
stacks_1__2110_41.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__2109_13.min1.thm1.tptp
2017-02-06 16:47
613
stacks_1__2109_13.min1.thm1
2017-02-06 12:46
678
stacks_1__2099_40.min1.thm1
2017-02-06 12:46
1.7K
stacks_1__2093_16.min1.thm1.tptp
2017-02-06 16:47
516
stacks_1__2093_16.min1.thm1
2017-02-06 12:46
576
stacks_1__2091_20.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__2090_40.min1.thm1
2017-02-06 12:46
1.7K
stacks_1__2081_41.min1.thm1
2017-02-06 12:46
1.8K
stacks_1__2053_37.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__2039_15.min1.thm1
2017-02-06 12:46
241
stacks_1__2021_40.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__2020_12.min1.thm1.tptp
2017-02-06 16:47
617
stacks_1__2020_12.min1.thm1
2017-02-06 12:46
682
stacks_1__2011_45.min1.thm1
2017-02-06 12:46
2.4K
stacks_1__1975_19.min1.thm1
2017-02-06 12:46
1.9K
stacks_1__1974_47.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__1972_21.min1.thm1
2017-02-06 12:46
1.9K
stacks_1__1971_14.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__1969_21.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__1967_23.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__1966_16.min1.thm1
2017-02-06 12:46
1.6K
stacks_1__1958_37.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__1951_16.min1.thm1.tptp
2017-02-06 16:47
754
stacks_1__1951_16.min1.thm1
2017-02-06 12:46
815
stacks_1__1947_23.min1.thm1
2017-02-06 12:46
1.8K
stacks_1__1943_44.min1.thm1
2017-02-06 12:46
2.3K
stacks_1__1942_36.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__1940_32.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__1932_18.min1.thm1
2017-02-06 12:46
326
stacks_1__1931_34.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__1930_53.min1.thm1
2017-02-06 12:46
1.9K
stacks_1__1927_20.min1.thm1
2017-02-06 12:46
934
stacks_1__1913_19.min1.thm1
2017-02-06 12:46
1.8K
stacks_1__1909_18.min1.thm1
2017-02-06 12:46
367
stacks_1__1908_40.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__1907_37.min1.thm1
2017-02-06 12:46
871
stacks_1__1906_8.min1.thm1
2017-02-06 12:46
215
stacks_1__1897_16.min1.thm1
2017-02-06 12:46
792
stacks_1__1889_32.min1.thm1
2017-02-06 12:46
490
stacks_1__1883_14.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__1882_22.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__1881_17.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__1873_19.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__1872_50.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__1857_52.min1.thm1
2017-02-06 12:46
2.7K
stacks_1__1853_29.min1.thm1
2017-02-06 12:46
2.6K
stacks_1__1844_18.min1.thm1
2017-02-06 12:46
905
stacks_1__1842_17.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__1838_17.min1.thm1
2017-02-06 12:46
380
stacks_1__1832_20.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__1825_21.min1.thm1
2017-02-06 12:46
1.7K
stacks_1__1820_21.min1.thm1
2017-02-06 12:46
1.7K
stacks_1__1808_52.min1.thm1
2017-02-06 12:46
2.7K
stacks_1__1804_29.min1.thm1
2017-02-06 12:46
2.6K
stacks_1__1801_23.min1.thm1
2017-02-06 12:46
1.7K
stacks_1__1798_29.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__1795_18.min1.thm1
2017-02-06 12:46
905
stacks_1__1793_17.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__1789_17.min1.thm1
2017-02-06 12:46
380
stacks_1__1783_28.min1.thm1
2017-02-06 12:46
2.0K
stacks_1__1782_48.min1.thm1
2017-02-06 12:46
2.0K
stacks_1__1776_25.min1.thm1
2017-02-06 12:46
2.1K
stacks_1__1775_44.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__1770_17.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__1734_23.min1.thm1
2017-02-06 12:46
2.0K
stacks_1__1702_18.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__1701_16.min1.thm1
2017-02-06 12:46
306
stacks_1__1695_18.min1.thm1.tptp
2017-02-06 16:47
380
stacks_1__1695_18.min1.thm1
2017-02-06 12:46
441
stacks_1__1670_33.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__1666_49.min1.thm1
2017-02-06 12:46
2.3K
stacks_1__1663_35.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__1659_45.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__1659_33.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__1657_19.min1.thm1.tptp
2017-02-06 16:47
272
stacks_1__1657_19.min1.thm1
2017-02-06 12:46
354
stacks_1__1654_33.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__1654_22.min1.thm1
2017-02-06 12:46
936
stacks_1__1648_40.min1.thm1
2017-02-06 12:46
1.9K
stacks_1__1647_39.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__1646_26.min1.thm1
2017-02-06 12:46
2.0K
stacks_1__1645_17.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__1644_41.min1.thm1
2017-02-06 12:46
2.1K
stacks_1__1640_23.min1.thm1
2017-02-06 12:46
2.5K
stacks_1__1637_19.min1.thm1
2017-02-06 12:46
1.6K
stacks_1__1633_54.min1.thm1
2017-02-06 12:46
1.7K
stacks_1__1632_15.min1.thm1
2017-02-06 12:46
389
stacks_1__1630_56.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__1622_19.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__1616_37.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__1599_16.min1.thm1
2017-02-06 12:46
871
stacks_1__1594_27.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__1589_42.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__1586_26.min1.thm1
2017-02-06 12:46
1.7K
stacks_1__1584_46.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__1581_30.min1.thm1
2017-02-06 12:46
1.8K
stacks_1__1580_39.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__1577_29.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__1574_18.min1.thm1
2017-02-06 12:46
924
stacks_1__1573_38.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__1550_18.min1.thm1
2017-02-06 12:46
2.6K
stacks_1__1548_28.min1.thm1
2017-02-06 12:46
2.7K
stacks_1__1530_19.min1.thm1
2017-02-06 12:46
1.7K
stacks_1__1529_21.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__1523_43.min1.thm1
2017-02-06 12:46
1.9K
stacks_1__1519_18.min1.thm1
2017-02-06 12:46
1.6K
stacks_1__1517_28.min1.thm1
2017-02-06 12:46
2.7K
stacks_1__1511_11.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__1509_52.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__1508_34.min1.thm1
2017-02-06 12:46
817
stacks_1__1495_21.min1.thm1
2017-02-06 12:46
756
stacks_1__1491_22.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__1490_30.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__1489_31.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__1477_18.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__1475_28.min1.thm1
2017-02-06 12:46
2.7K
stacks_1__1470_13.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__1465_19.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__1464_17.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__1463_15.min1.thm1
2017-02-06 12:46
950
stacks_1__1419_19.min1.thm1
2017-02-06 12:46
1.8K
stacks_1__1415_54.min1.thm1
2017-02-06 12:46
1.6K
stacks_1__1414_15.min1.thm1
2017-02-06 12:46
372
stacks_1__1412_56.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__1407_56.min1.thm1
2017-02-06 12:46
2.0K
stacks_1__1403_56.min1.thm1
2017-02-06 12:46
1.6K
stacks_1__1402_17.min1.thm1
2017-02-06 12:46
380
stacks_1__1399_11.min1.thm1
2017-02-06 12:46
2.2K
stacks_1__1394_37.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__1383_52.min1.thm1
2017-02-06 12:46
2.3K
stacks_1__1380_6.min1.thm1
2017-02-06 12:46
2.7K
stacks_1__1372_29.min1.thm1
2017-02-06 12:46
962
stacks_1__1369_44.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__1354_19.min1.thm1
2017-02-06 12:46
452
stacks_1__1347_28.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__1346_18.min1.thm1
2017-02-06 12:46
813
stacks_1__1339_32.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__1338_18.min1.thm1
2017-02-06 12:46
813
stacks_1__1332_19.min1.thm1
2017-02-06 12:46
721
stacks_1__1331_35.min1.thm1.tptp
2017-02-06 16:47
671
stacks_1__1331_35.min1.thm1
2017-02-06 12:46
714
stacks_1__1329_43.min1.thm1
2017-02-06 12:46
575
stacks_1__1327_29.min1.thm1
2017-02-06 12:46
1.6K
stacks_1__1326_41.min1.thm1
2017-02-06 12:46
1.9K
stacks_1__1301_21.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__1300_14.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__1299_13.min1.thm1
2017-02-06 12:46
856
stacks_1__1298_35.min1.thm1
2017-02-06 12:46
792
stacks_1__1294_21.min1.thm1
2017-02-06 12:46
874
stacks_1__1293_15.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__1292_16.min1.thm1
2017-02-06 12:46
1.6K
stacks_1__1276_15.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__1273_54.min1.thm1
2017-02-06 12:46
763
stacks_1__1266_48.min1.thm1
2017-02-06 12:46
636
stacks_1__1257_19.min1.thm1
2017-02-06 12:46
1.7K
stacks_1__1256_36.min1.thm1.tptp
2017-02-06 16:47
294
stacks_1__1256_36.min1.thm1
2017-02-06 12:46
372
stacks_1__1221_38.min1.thm1
2017-02-06 12:46
541
stacks_1__1221_24.min1.thm1
2017-02-06 12:46
702
stacks_1__1204_49.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__1204_29.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__1203_35.min1.thm1
2017-02-06 12:46
1.8K
stacks_1__1195_62.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__1195_38.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__1194_35.min1.thm1
2017-02-06 12:46
1.8K
stacks_1__1186_67.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__1186_42.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__1179_25.min1.thm1
2017-02-06 12:46
362
stacks_1__1178_32.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__1170_37.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__1161_25.min1.thm1
2017-02-06 12:46
428
stacks_1__1154_10.min1.thm1
2017-02-06 12:46
364
stacks_1__1153_13.min1.thm1
2017-02-06 12:46
243
stacks_1__1146_16.min1.thm1
2017-02-06 12:46
668
stacks_1__1143_20.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__1134_28.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__1133_14.min1.thm1.tptp
2017-02-06 16:47
615
stacks_1__1133_14.min1.thm1
2017-02-06 12:46
680
stacks_1__1118_27.min1.thm1
2017-02-06 12:46
2.1K
stacks_1__1112_16.min1.thm1
2017-02-06 12:46
342
stacks_1__1101_31.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__1094_34.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__1087_21.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__1086_33.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__1085_64.min1.thm1
2017-02-06 12:46
1.7K
stacks_1__1084_24.min1.thm1
2017-02-06 12:46
934
stacks_1__1077_34.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__1069_29.min1.thm1
2017-02-06 12:46
962
stacks_1__1057_16.min1.thm1.tptp
2017-02-06 16:47
1.2K
stacks_1__1057_16.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__1037_6.min1.thm1
2017-02-06 12:46
854
stacks_1__1025_6.min1.thm1
2017-02-06 12:46
854
stacks_1__1005_20.min1.thm1
2017-02-06 12:46
1.6K
stacks_1__1002_27.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__1001_33.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__996_16.min1.thm1
2017-02-06 12:46
568
stacks_1__995_32.min1.thm1
2017-02-06 12:46
1.8K
stacks_1__960_34.min1.thm1
2017-02-06 12:46
804
stacks_1__956_22.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__954_18.min1.thm1
2017-02-06 12:46
376
stacks_1__952_58.min1.thm1
2017-02-06 12:46
646
stacks_1__946_19.min1.thm1
2017-02-06 12:46
907
stacks_1__944_25.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__942_43.min1.thm1.tptp
2017-02-06 16:47
308
stacks_1__942_43.min1.thm1
2017-02-06 12:46
386
stacks_1__937_15.min1.thm1
2017-02-06 12:46
191
stacks_1__933_21.min1.thm1
2017-02-06 12:46
730
stacks_1__925_22.min1.thm1.tptp
2017-02-06 16:47
311
stacks_1__925_22.min1.thm1
2017-02-06 12:46
393
stacks_1__916_53.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__910_38.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__909_24.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__904_44.min1.thm1
2017-02-06 12:46
874
stacks_1__902_32.min1.thm1
2017-02-06 12:46
955
stacks_1__901_29.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__886_53.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__880_38.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__879_24.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__874_44.min1.thm1
2017-02-06 12:46
874
stacks_1__872_32.min1.thm1
2017-02-06 12:46
955
stacks_1__871_29.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__862_17.min1.thm1.tptp
2017-02-06 16:47
326
stacks_1__862_17.min1.thm1
2017-02-06 12:46
400
stacks_1__852_22.min1.thm1.tptp
2017-02-06 16:47
229
stacks_1__852_22.min1.thm1
2017-02-06 12:46
311
stacks_1__849_44.min1.thm1
2017-02-06 12:46
2.0K
stacks_1__844_45.min1.thm1
2017-02-06 12:46
885
stacks_1__842_28.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__841_38.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__840_24.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__836_35.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__835_36.min1.thm1
2017-02-06 12:46
691
stacks_1__833_29.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__825_44.min1.thm1
2017-02-06 12:46
2.0K
stacks_1__824_18.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__820_45.min1.thm1
2017-02-06 12:46
885
stacks_1__818_28.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__817_38.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__816_24.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__812_35.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__811_36.min1.thm1
2017-02-06 12:46
691
stacks_1__809_29.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__781_53.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__770_37.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__763_55.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__757_60.min1.thm1
2017-02-06 12:46
615
stacks_1__730_19.min1.thm1
2017-02-06 12:46
971
stacks_1__729_8.min1.thm1.tptp
2017-02-06 16:47
395
stacks_1__729_8.min1.thm1
2017-02-06 12:46
476
stacks_1__725_23.min1.thm1
2017-02-06 12:46
2.3K
stacks_1__724_47.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__724_26.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__714_28.min1.thm1
2017-02-06 12:46
1.9K
stacks_1__712_15.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__711_27.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__708_11.min1.thm1
2017-02-06 12:46
2.0K
stacks_1__707_15.min1.thm1.tptp
2017-02-06 16:47
253
stacks_1__707_15.min1.thm1
2017-02-06 12:46
330
stacks_1__705_53.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__700_39.min1.thm1.tptp
2017-02-06 16:47
693
stacks_1__700_39.min1.thm1
2017-02-06 12:46
747
stacks_1__685_19.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__684_32.min1.thm1
2017-02-06 12:46
869
stacks_1__675_19.min1.thm1.tptp
2017-02-06 16:47
745
stacks_1__675_19.min1.thm1
2017-02-06 12:46
813
stacks_1__674_50.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__672_50.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__665_19.min1.thm1
2017-02-06 12:46
804
stacks_1__664_37.min1.thm1.tptp
2017-02-06 16:47
493
stacks_1__664_37.min1.thm1
2017-02-06 12:46
558
stacks_1__655_26.min1.thm1
2017-02-06 12:46
452
stacks_1__653_53.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__648_37.min1.thm1.tptp
2017-02-06 16:47
548
stacks_1__648_37.min1.thm1
2017-02-06 12:46
602
stacks_1__630_59.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__620_26.min1.thm1
2017-02-06 12:46
2.2K
stacks_1__612_62.min1.thm1
2017-02-06 12:46
2.7K
stacks_1__612_30.min1.thm1
2017-02-06 12:46
2.4K
stacks_1__610_19.min1.thm1
2017-02-06 12:46
2.3K
stacks_1__601_55.min1.thm1
2017-02-06 12:46
2.3K
stacks_1__599_19.min1.thm1
2017-02-06 12:46
2.3K
stacks_1__597_40.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__590_28.min1.thm1
2017-02-06 12:46
3.0K
stacks_1__589_56.min1.thm1
2017-02-06 12:46
2.1K
stacks_1__589_26.min1.thm1
2017-02-06 12:46
2.7K
stacks_1__588_41.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__587_15.min1.thm1
2017-02-06 12:46
1.6K
stacks_1__586_17.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__584_28.min1.thm1
2017-02-06 12:46
2.0K
stacks_1__583_22.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__580_40.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__573_29.min1.thm1
2017-02-06 12:46
2.1K
stacks_1__572_37.min1.thm1
2017-02-06 12:46
950
stacks_1__571_23.min1.thm1
2017-02-06 12:46
564
stacks_1__565_19.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__563_18.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__562_23.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__560_46.min1.thm1
2017-02-06 12:46
1.7K
stacks_1__559_39.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__556_17.min1.thm1
2017-02-06 12:46
469
stacks_1__550_17.min1.thm1
2017-02-06 12:46
605
stacks_1__545_42.min1.thm1
2017-02-06 12:46
2.2K
stacks_1__503_16.min1.thm1
2017-02-06 12:46
566
stacks_1__502_49.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__493_16.min1.thm1
2017-02-06 12:46
436
stacks_1__492_49.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__477_21.min1.thm1
2017-02-06 12:46
904
stacks_1__476_15.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__475_20.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__474_15.min1.thm1
2017-02-06 12:46
818
stacks_1__473_42.min1.thm1
2017-02-06 12:46
505
stacks_1__472_38.min1.thm1
2017-02-06 12:46
720
stacks_1__468_23.min1.thm1
2017-02-06 12:46
928
stacks_1__467_17.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__466_22.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__465_17.min1.thm1
2017-02-06 12:46
836
stacks_1__464_44.min1.thm1
2017-02-06 12:46
513
stacks_1__463_40.min1.thm1
2017-02-06 12:46
728
stacks_1__450_18.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__449_36.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__445_20.min1.thm1
2017-02-06 12:46
1.9K
stacks_1__444_17.min1.thm1
2017-02-06 12:46
1.9K
stacks_1__442_22.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__441_44.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__439_15.min1.thm1
2017-02-06 12:46
249
stacks_1__438_41.min1.thm1
2017-02-06 12:46
615
stacks_1__437_41.min1.thm1
2017-02-06 12:46
615
stacks_1__430_20.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__429_16.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__427_18.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__426_36.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__422_20.min1.thm1
2017-02-06 12:46
2.4K
stacks_1__421_22.min1.thm1
2017-02-06 12:46
2.4K
stacks_1__419_22.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__418_44.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__416_15.min1.thm1
2017-02-06 12:46
249
stacks_1__415_41.min1.thm1
2017-02-06 12:46
615
stacks_1__414_41.min1.thm1
2017-02-06 12:46
615
stacks_1__405_41.min1.thm1
2017-02-06 12:46
615
stacks_1__404_41.min1.thm1
2017-02-06 12:46
615
stacks_1__402_43.min1.thm1.tptp
2017-02-06 16:47
290
stacks_1__402_43.min1.thm1
2017-02-06 12:46
376
stacks_1__401_43.min1.thm1.tptp
2017-02-06 16:47
290
stacks_1__401_43.min1.thm1
2017-02-06 12:46
376
stacks_1__376_45.min1.thm1
2017-02-06 12:46
944
stacks_1__369_47.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__367_19.min1.thm1
2017-02-06 12:46
888
stacks_1__361_27.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__357_54.min1.thm1
2017-02-06 12:46
2.9K
stacks_1__344_44.min1.thm1
2017-02-06 12:46
815
stacks_1__248_36.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__247_43.min1.thm1
2017-02-06 12:46
550
stacks_1__247_18.min1.thm1
2017-02-06 12:46
841
stacks_1__246_22.min1.thm1
2017-02-06 12:46
948
stacks_1__245_35.min1.thm1
2017-02-06 12:46
1.8K
stacks_1__241_21.min1.thm1
2017-02-06 12:46
751
stacks_1__240_18.min1.thm1
2017-02-06 12:46
914
stacks_1__239_15.min1.thm1
2017-02-06 12:46
686
stacks_1__237_17.min1.thm1
2017-02-06 12:46
190
stacks_1__207_35.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__201_16.min1.thm1
2017-02-06 12:46
2.2K
stacks_1__199_42.min1.thm1
2017-02-06 12:46
1.0K
stacks_1__198_46.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__197_40.min1.thm1.tptp
2017-02-06 16:47
256
stacks_1__197_40.min1.thm1
2017-02-06 12:46
334
stacks_1__181_21.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__180_15.min1.thm1
2017-02-06 12:46
653
stacks_1__179_16.min1.thm1
2017-02-06 12:46
628
stacks_1__168_22.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__167_55.min1.thm1
2017-02-06 12:46
1.5K
stacks_1__148_50.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__146_18.min1.thm1
2017-02-06 12:46
539
stacks_1__145_43.min1.thm1
2017-02-06 12:46
696
stacks_1__145_22.min1.thm1
2017-02-06 12:46
1.1K
stacks_1__142_29.min1.thm1
2017-02-06 12:46
927
stacks_1__138_26.min1.thm1.tptp
2017-02-06 16:47
544
stacks_1__138_26.min1.thm1
2017-02-06 12:46
610
stacks_1__112_19.min1.thm1
2017-02-06 12:46
1.3K
stacks_1__109_21.min1.thm1
2017-02-06 12:46
383
stacks_1__108_21.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__104_17.min1.thm1
2017-02-06 12:46
184
stacks_1__97_18.min1.thm1
2017-02-06 12:46
1.8K
stacks_1__78_16.min1.thm1
2017-02-06 12:46
1.6K
stacks_1__77_30.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__70_19.min1.thm1
2017-02-06 12:46
800
stacks_1__69_35.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__68_24.min1.thm1.tptp
2017-02-06 16:47
459
stacks_1__68_24.min1.thm1
2017-02-06 12:46
530
stacks_1__67_41.min1.thm1
2017-02-06 12:46
1.4K
stacks_1__56_19.min1.thm1
2017-02-06 12:46
1.2K
stacks_1__55_29.min1.thm1
2017-02-06 12:46
595
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80