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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sublemma__65_70.min1.thm12017-02-06 12:46 1.3K 
[ ]sublemma__67_75.min1.thm12017-02-06 12:46 1.6K 
[ ]sublemma__73_11.min1.thm12017-02-06 12:46 1.0K 
[ ]sublemma__75_12.min1.thm12017-02-06 12:46 927  
[ ]sublemma__75_12.min1.thm1.tptp2017-02-06 16:47 854  
[ ]sublemma__77_70.min1.thm12017-02-06 12:46 1.0K 
[ ]sublemma__79_75.min1.thm12017-02-06 12:46 938  
[ ]sublemma__81_75.min1.thm12017-02-06 12:46 939  
[ ]sublemma__84_60.min1.thm12017-02-06 12:46 965  
[ ]sublemma__93_55.min1.thm12017-02-06 12:46 1.3K 
[ ]sublemma__94_31.min1.thm12017-02-06 12:46 1.0K 
[ ]sublemma__96_26.min1.thm12017-02-06 12:46 875  
[ ]sublemma__99_37.min1.thm12017-02-06 12:46 310  
[ ]sublemma__100_36.min1.thm12017-02-06 12:46 959  
[ ]sublemma__101_32.min1.thm12017-02-06 12:46 1.1K 
[ ]sublemma__103_46.min1.thm12017-02-06 12:46 1.5K 
[ ]sublemma__104_28.min1.thm12017-02-06 12:46 952  
[ ]sublemma__105_23.min1.thm12017-02-06 12:46 1.3K 
[ ]sublemma__108_26.min1.thm12017-02-06 12:46 875  
[ ]sublemma__111_26.min1.thm12017-02-06 12:46 875  
[ ]sublemma__112_40.min1.thm12017-02-06 12:46 558  
[ ]sublemma__113_36.min1.thm12017-02-06 12:46 1.1K 
[ ]sublemma__115_46.min1.thm12017-02-06 12:46 1.5K 
[ ]sublemma__116_28.min1.thm12017-02-06 12:46 958  
[ ]sublemma__117_23.min1.thm12017-02-06 12:46 1.3K 
[ ]sublemma__119_21.min1.thm12017-02-06 12:46 1.0K 
[ ]sublemma__119_21.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]sublemma__124_31.min1.thm12017-02-06 12:46 1.0K 
[ ]sublemma__125_21.min1.thm12017-02-06 12:46 1.4K 
[ ]sublemma__127_19.min1.thm12017-02-06 12:46 1.0K 
[ ]sublemma__127_19.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]sublemma__129_32.min1.thm12017-02-06 12:46 1.0K 
[ ]sublemma__140_66.min1.thm12017-02-06 12:46 1.7K 
[ ]sublemma__142_42.min1.thm12017-02-06 12:46 885  
[ ]sublemma__163_54.min1.thm12017-02-06 12:46 881  
[ ]sublemma__168_45.min1.thm12017-02-06 12:46 1.4K 
[ ]sublemma__180_24.min1.thm12017-02-06 12:46 961  
[ ]sublemma__182_20.min1.thm12017-02-06 12:46 874  
[ ]sublemma__184_15.min1.thm12017-02-06 12:46 679  
[ ]sublemma__185_16.min1.thm12017-02-06 12:46 641  
[ ]sublemma__225_34.min1.thm12017-02-06 12:46 1.2K 
[ ]sublemma__229_49.min1.thm12017-02-06 12:46 1.0K 
[ ]sublemma__230_17.min1.thm12017-02-06 12:46 1.2K 
[ ]sublemma__238_21.min1.thm12017-02-06 12:46 1.4K 
[ ]sublemma__239_37.min1.thm12017-02-06 12:46 1.1K 
[ ]sublemma__240_17.min1.thm12017-02-06 12:46 1.2K 
[ ]sublemma__300_66.min1.thm12017-02-06 12:46 720  
[ ]sublemma__303_19.min1.thm12017-02-06 12:46 2.8K 
[ ]sublemma__324_51.min1.thm12017-02-06 12:46 1.3K 
[ ]sublemma__331_59.min1.thm12017-02-06 12:46 1.2K 
[ ]sublemma__332_75.min1.thm12017-02-06 12:46 763  
[ ]sublemma__333_29.min1.thm12017-02-06 12:46 791  
[ ]sublemma__334_15.min1.thm12017-02-06 12:46 1.1K 
[ ]sublemma__335_21.min1.thm12017-02-06 12:46 619  
[ ]sublemma__337_40.min1.thm12017-02-06 12:46 1.3K 
[ ]sublemma__338_17.min1.thm12017-02-06 12:46 1.1K 
[ ]sublemma__345_14.min1.thm12017-02-06 12:46 1.1K 
[ ]sublemma__376_17.min1.thm12017-02-06 12:46 943  
[ ]sublemma__389_22.min1.thm12017-02-06 12:46 1.4K 
[ ]sublemma__390_37.min1.thm12017-02-06 12:46 460  
[ ]sublemma__391_24.min1.thm12017-02-06 12:46 1.8K 
[ ]sublemma__392_23.min1.thm12017-02-06 12:46 1.4K 
[ ]sublemma__415_19.min1.thm12017-02-06 12:46 1.9K 
[ ]sublemma__434_48.min1.thm12017-02-06 12:46 2.3K 
[ ]sublemma__435_45.min1.thm12017-02-06 12:46 1.4K 
[ ]sublemma__461_66.min1.thm12017-02-06 12:46 720  
[ ]sublemma__462_28.min1.thm12017-02-06 12:46 1.5K 
[ ]sublemma__463_40.min1.thm12017-02-06 12:46 829  
[ ]sublemma__464_19.min1.thm12017-02-06 12:46 1.9K 
[ ]sublemma__509_66.min1.thm12017-02-06 12:46 720  
[ ]sublemma__512_19.min1.thm12017-02-06 12:46 2.5K 
[ ]sublemma__523_52.min1.thm12017-02-06 12:46 1.4K 
[ ]sublemma__532_40.min1.thm12017-02-06 12:46 946  
[ ]sublemma__547_40.min1.thm12017-02-06 12:46 946  
[ ]sublemma__578_26.min1.thm12017-02-06 12:46 2.5K 
[ ]sublemma__578_26.min1.thm1.tptp2017-02-06 16:47 2.4K 
[ ]sublemma__592_47.min1.thm12017-02-06 12:46 1.1K 
[ ]sublemma__614_41.min1.thm12017-02-06 12:46 3.0K 
[ ]sublemma__625_32.min1.thm12017-02-06 12:46 836  
[ ]sublemma__627_19.min1.thm12017-02-06 12:46 711  
[ ]sublemma__638_19.min1.thm12017-02-06 12:46 2.4K 
[ ]sublemma__650_14.min1.thm12017-02-06 12:46 1.4K 
[ ]sublemma__666_66.min1.thm12017-02-06 12:46 720  
[ ]sublemma__678_40.min1.thm12017-02-06 12:46 856  
[ ]sublemma__679_17.min1.thm12017-02-06 12:46 1.0K 
[ ]sublemma__700_66.min1.thm12017-02-06 12:46 720  
[ ]sublemma__703_19.min1.thm12017-02-06 12:46 1.7K 
[ ]sublemma__717_51.min1.thm12017-02-06 12:46 662  
[ ]sublemma__718_37.min1.thm12017-02-06 12:46 1.9K 
[ ]sublemma__719_16.min1.thm12017-02-06 12:46 1.2K 
[ ]sublemma__729_52.min1.thm12017-02-06 12:46 658  
[ ]sublemma__731_25.min1.thm12017-02-06 12:46 2.0K 
[ ]sublemma__732_17.min1.thm12017-02-06 12:46 1.8K 
[ ]sublemma__741_39.min1.thm12017-02-06 12:46 914  
[ ]sublemma__742_43.min1.thm12017-02-06 12:46 1.0K 
[ ]sublemma__745_4.min1.thm12017-02-06 12:46 1.8K 
[ ]sublemma__746_17.min1.thm12017-02-06 12:46 1.5K 
[ ]sublemma__774_45.min1.thm12017-02-06 12:46 1.7K 
[ ]sublemma__775_17.min1.thm12017-02-06 12:46 3.4K 
[ ]sublemma__803_49.min1.thm12017-02-06 12:46 348  
[ ]sublemma__803_49.min1.thm1.tptp2017-02-06 16:47 270  
[ ]sublemma__804_46.min1.thm12017-02-06 12:46 348  
[ ]sublemma__804_46.min1.thm1.tptp2017-02-06 16:47 270  
[ ]sublemma__809_25.min1.thm12017-02-06 12:46 872  
[ ]sublemma__810_25.min1.thm12017-02-06 12:46 1.3K 
[ ]sublemma__818_25.min1.thm12017-02-06 12:46 1.1K 
[ ]sublemma__822_17.min1.thm12017-02-06 12:46 499  
[ ]sublemma__822_17.min1.thm1.tptp2017-02-06 16:47 410  
[ ]sublemma__837_55.min1.thm12017-02-06 12:46 1.7K 
[ ]sublemma__850_36.min1.thm12017-02-06 12:46 1.0K 
[ ]sublemma__967_44.min1.thm12017-02-06 12:46 454  
[ ]sublemma__967_44.min1.thm1.tptp2017-02-06 16:47 373  
[ ]sublemma__976_21.min1.thm12017-02-06 12:46 2.4K 
[ ]sublemma__989_31.min1.thm12017-02-06 12:46 356  
[ ]sublemma__989_31.min1.thm1.tptp2017-02-06 16:47 279  
[ ]sublemma__990_17.min1.thm12017-02-06 12:46 687  
[ ]sublemma__1007_54.min1.thm12017-02-06 12:46 1.9K 
[ ]sublemma__1009_74.min1.thm12017-02-06 12:46 903  
[ ]sublemma__1021_24.min1.thm12017-02-06 12:46 1.5K 
[ ]sublemma__1022_69.min1.thm12017-02-06 12:46 1.7K 
[ ]sublemma__1025_42.min1.thm12017-02-06 12:46 1.6K 
[ ]sublemma__1027_17.min1.thm12017-02-06 12:46 1.7K 
[ ]sublemma__1035_25.min1.thm12017-02-06 12:46 1.7K 
[ ]sublemma__1036_27.min1.thm12017-02-06 12:46 1.8K 
[ ]sublemma__1038_48.min1.thm12017-02-06 12:46 2.0K 
[ ]sublemma__1054_26.min1.thm12017-02-06 12:46 2.0K 
[ ]sublemma__1063_50.min1.thm12017-02-06 12:46 856  
[ ]sublemma__1063_50.min1.thm1.tptp2017-02-06 16:47 785  
[ ]sublemma__1065_60.min1.thm12017-02-06 12:46 2.0K 
[ ]sublemma__1066_17.min1.thm12017-02-06 12:46 1.0K 
[ ]sublemma__1074_31.min1.thm12017-02-06 12:46 356  
[ ]sublemma__1074_31.min1.thm1.tptp2017-02-06 16:47 279  
[ ]sublemma__1079_31.min1.thm12017-02-06 12:46 3.5K 
[ ]sublemma__1115_18.min1.thm12017-02-06 12:46 1.2K 
[ ]sublemma__1118_21.min1.thm12017-02-06 12:46 631  
[ ]sublemma__1150_27.min1.thm12017-02-06 12:46 843  
[ ]sublemma__1159_56.min1.thm12017-02-06 12:46 909  
[ ]sublemma__1248_59.min1.thm12017-02-06 12:46 1.3K 
[ ]sublemma__1261_37.min1.thm12017-02-06 12:46 1.8K 
[ ]sublemma__1263_31.min1.thm12017-02-06 12:46 951  
[ ]sublemma__1275_27.min1.thm12017-02-06 12:46 1.5K 
[ ]sublemma__1279_31.min1.thm12017-02-06 12:46 632  
[ ]sublemma__1289_35.min1.thm12017-02-06 12:46 2.2K 
[ ]sublemma__1320_17.min1.thm12017-02-06 12:46 843  
[ ]sublemma__1320_17.min1.thm1.tptp2017-02-06 16:47 789  
[ ]sublemma__1330_27.min1.thm12017-02-06 12:46 1.5K 
[ ]sublemma__1333_31.min1.thm12017-02-06 12:46 632  
[ ]sublemma__1353_53.min1.thm12017-02-06 12:46 3.2K 
[ ]sublemma__1367_17.min1.thm12017-02-06 12:46 3.9K 
[ ]sublemma__1367_17.min1.thm1.tptp2017-02-06 16:47 3.9K 
[ ]sublemma__1386_57.min1.thm12017-02-06 12:46 2.7K 
[ ]sublemma__1395_57.min1.thm12017-02-06 12:46 2.7K 
[ ]sublemma__1412_52.min1.thm12017-02-06 12:46 893  
[ ]sublemma__1431_26.min1.thm12017-02-06 12:46 1.4K 
[ ]sublemma__1457_52.min1.thm12017-02-06 12:46 2.1K 
[ ]sublemma__1466_52.min1.thm12017-02-06 12:46 2.1K 
[ ]sublemma__1487_15.min1.thm12017-02-06 12:46 1.6K 
[ ]sublemma__1489_32.min1.thm12017-02-06 12:46 1.7K 
[ ]sublemma__1499_37.min1.thm12017-02-06 12:46 1.1K 
[ ]sublemma__1500_22.min1.thm12017-02-06 12:46 1.9K 
[ ]sublemma__1501_23.min1.thm12017-02-06 12:46 1.3K 
[ ]sublemma__1502_19.min1.thm12017-02-06 12:46 1.5K 
[ ]sublemma__1504_58.min1.thm12017-02-06 12:46 695  
[ ]sublemma__1505_17.min1.thm12017-02-06 12:46 701  
[ ]sublemma__1511_52.min1.thm12017-02-06 12:46 893  
[ ]sublemma__1521_37.min1.thm12017-02-06 12:46 1.1K 
[ ]sublemma__1523_37.min1.thm12017-02-06 12:46 831  
[ ]sublemma__1528_48.min1.thm12017-02-06 12:46 1.7K 
[ ]sublemma__1532_54.min1.thm12017-02-06 12:46 1.9K 
[ ]sublemma__1537_16.min1.thm12017-02-06 12:46 1.2K 
[ ]sublemma__1539_20.min1.thm12017-02-06 12:46 718  
[ ]sublemma__1542_39.min1.thm12017-02-06 12:46 1.1K 
[ ]sublemma__1545_37.min1.thm12017-02-06 12:46 460  
[ ]sublemma__1547_42.min1.thm12017-02-06 12:46 1.0K 
[ ]sublemma__1551_50.min1.thm12017-02-06 12:46 1.5K 
[ ]sublemma__1553_51.min1.thm12017-02-06 12:46 2.7K 
[ ]sublemma__1554_22.min1.thm12017-02-06 12:46 919  
[ ]sublemma__1569_56.min1.thm12017-02-06 12:46 1.9K 
[ ]sublemma__1586_56.min1.thm12017-02-06 12:46 1.4K 
[ ]sublemma__1605_37.min1.thm12017-02-06 12:46 1.7K 
[ ]sublemma__1610_53.min1.thm12017-02-06 12:46 3.1K 
[ ]sublemma__1662_19.min1.thm12017-02-06 12:46 1.9K 
[ ]sublemma__1662_19.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]sublemma__1697_21.min1.thm12017-02-06 12:46 1.2K 
[ ]sublemma__1700_40.min1.thm12017-02-06 12:46 1.6K 
[ ]sublemma__1716_19.min1.thm12017-02-06 12:46 1.9K 
[ ]sublemma__1716_19.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]sublemma__1741_66.min1.thm12017-02-06 12:46 2.8K 
[ ]sublemma__1743_19.min1.thm12017-02-06 12:46 1.2K 
[ ]sublemma__1750_66.min1.thm12017-02-06 12:46 2.8K 
[ ]sublemma__1752_19.min1.thm12017-02-06 12:46 1.2K 
[ ]sublemma__1785_31.min1.thm12017-02-06 12:46 1.7K 
[ ]sublemma__1804_62.min1.thm12017-02-06 12:46 1.1K 
[ ]sublemma__1817_71.min1.thm12017-02-06 12:46 1.2K 
[ ]sublemma__1817_71.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]sublemma__1824_23.min1.thm12017-02-06 12:46 3.3K 
[ ]sublemma__1824_23.min1.thm1.tptp2017-02-06 16:47 3.2K 
[ ]sublemma__1828_24.min1.thm12017-02-06 12:46 1.5K 
[ ]sublemma__1834_55.min1.thm12017-02-06 12:46 1.3K 
[ ]sublemma__1838_21.min1.thm12017-02-06 12:46 3.3K 
[ ]sublemma__1838_21.min1.thm1.tptp2017-02-06 16:47 3.2K 
[ ]sublemma__1849_29.min1.thm12017-02-06 12:46 1.3K 
[ ]sublemma__1885_21.min1.thm12017-02-06 12:46 4.6K 
[ ]sublemma__1885_21.min1.thm1.tptp2017-02-06 16:47 4.5K 
[ ]sublemma__1890_17.min1.thm12017-02-06 12:46 4.0K 
[ ]sublemma__1890_17.min1.thm1.tptp2017-02-06 16:47 4.0K 
[ ]sublemma__1911_18.min1.thm12017-02-06 12:46 3.0K 
[ ]sublemma__1914_16.min1.thm12017-02-06 12:46 1.5K 
[ ]sublemma__1914_16.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]sublemma__1926_18.min1.thm12017-02-06 12:46 3.0K 
[ ]sublemma__1929_16.min1.thm12017-02-06 12:46 1.0K 
[ ]sublemma__1929_16.min1.thm1.tptp2017-02-06 16:47 938  
[ ]sublemma__1938_55.min1.thm12017-02-06 12:46 1.5K 
[ ]sublemma__1980_19.min1.thm12017-02-06 12:46 1.8K 
[ ]sublemma__1990_19.min1.thm12017-02-06 12:46 1.8K 
[ ]sublemma__2014_37.min1.thm12017-02-06 12:46 460  
[ ]sublemma__2022_23.min1.thm12017-02-06 12:46 1.1K 
[ ]sublemma__2024_24.min1.thm12017-02-06 12:46 1.3K 
[ ]sublemma__2025_19.min1.thm12017-02-06 12:46 1.2K 
[ ]sublemma__2028_14.min1.thm12017-02-06 12:46 2.0K 
[ ]sublemma__2032_48.min1.thm12017-02-06 12:46 725  
[ ]sublemma__2051_23.min1.thm12017-02-06 12:46 1.3K 
[ ]sublemma__2051_23.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]sublemma__2057_38.min1.thm12017-02-06 12:46 1.2K 
[ ]sublemma__2061_26.min1.thm12017-02-06 12:46 692  
[ ]sublemma__2065_21.min1.thm12017-02-06 12:46 1.8K 
[ ]sublemma__2065_21.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]sublemma__2078_19.min1.thm12017-02-06 12:46 2.2K 
[ ]sublemma__2095_46.min1.thm12017-02-06 12:46 827  
[ ]sublemma__2123_47.min1.thm12017-02-06 12:46 763  
[ ]sublemma__2124_19.min1.thm12017-02-06 12:46 1.5K 
[ ]sublemma__2156_49.min1.thm12017-02-06 12:46 795  
[ ]sublemma__2157_69.min1.thm12017-02-06 12:46 1.8K 
[ ]sublemma__2159_19.min1.thm12017-02-06 12:46 1.7K 
[ ]sublemma__2167_58.min1.thm12017-02-06 12:46 886  
[ ]sublemma__2176_58.min1.thm12017-02-06 12:46 886  
[ ]sublemma__2190_31.min1.thm12017-02-06 12:46 1.1K 
[ ]sublemma__2212_38.min1.thm12017-02-06 12:46 1.5K 
[ ]sublemma__2215_36.min1.thm12017-02-06 12:46 1.5K 
[ ]sublemma__2248_19.min1.thm12017-02-06 12:46 2.6K 
[ ]sublemma__2270_36.min1.thm12017-02-06 12:46 3.5K 
[ ]sublemma__2271_23.min1.thm12017-02-06 12:46 1.7K 
[ ]sublemma__2274_35.min1.thm12017-02-06 12:46 1.8K 
[ ]sublemma__2282_35.min1.thm12017-02-06 12:46 1.8K 
[ ]sublemma__2285_35.min1.thm12017-02-06 12:46 1.8K 
[ ]sublemma__2294_72.min1.thm12017-02-06 12:46 3.9K 
[ ]sublemma__2294_72.min1.thm1.tptp2017-02-06 16:47 3.8K 
[ ]sublemma__2297_28.min1.thm12017-02-06 12:46 555  
[ ]sublemma__2299_34.min1.thm12017-02-06 12:46 3.5K 
[ ]sublemma__2301_19.min1.thm12017-02-06 12:46 1.7K 
[ ]sublemma__2305_35.min1.thm12017-02-06 12:46 1.8K 
[ ]sublemma__2316_36.min1.thm12017-02-06 12:46 3.5K 
[ ]sublemma__2321_72.min1.thm12017-02-06 12:46 3.9K 
[ ]sublemma__2321_72.min1.thm1.tptp2017-02-06 16:47 3.8K 
[ ]sublemma__2335_58.min1.thm12017-02-06 12:46 2.6K 
[ ]sublemma__2335_58.min1.thm1.tptp2017-02-06 16:47 2.5K 
[ ]sublemma__2346_19.min1.thm12017-02-06 12:46 2.6K 
[ ]sublemma__2354_58.min1.thm12017-02-06 12:46 2.6K 
[ ]sublemma__2354_58.min1.thm1.tptp2017-02-06 16:47 2.5K 
[ ]sublemma__2388_18.min1.thm12017-02-06 12:46 1.2K 
[ ]sublemma__2398_66.min1.thm12017-02-06 12:46 606  
[ ]sublemma__2399_34.min1.thm12017-02-06 12:46 760  
[ ]sublemma__2399_34.min1.thm1.tptp2017-02-06 16:47 695  
[ ]sublemma__2401_19.min1.thm12017-02-06 12:46 380  
[ ]sublemma__2401_19.min1.thm1.tptp2017-02-06 16:47 320  
[ ]sublemma__2418_18.min1.thm12017-02-06 12:46 1.4K 
[ ]sublemma__2431_8.min1.thm12017-02-06 12:46 734  
[ ]sublemma__2434_19.min1.thm12017-02-06 12:46 380  
[ ]sublemma__2434_19.min1.thm1.tptp2017-02-06 16:47 320  
[ ]sublemma__2454_29.min1.thm12017-02-06 12:46 642  
[ ]sublemma__2458_20.min1.thm12017-02-06 12:46 533  
[ ]sublemma__2458_20.min1.thm1.tptp2017-02-06 16:47 471  
[ ]sublemma__2460_28.min1.thm12017-02-06 12:46 881  
[ ]sublemma__2463_14.min1.thm12017-02-06 12:46 1.0K 
[ ]sublemma__2481_25.min1.thm12017-02-06 12:46 1.3K 
[ ]sublemma__2483_36.min1.thm12017-02-06 12:46 2.0K 
[ ]sublemma__2490_39.min1.thm12017-02-06 12:46 1.5K 
[ ]sublemma__2497_53.min1.thm12017-02-06 12:46 903  
[ ]sublemma__2498_61.min1.thm12017-02-06 12:46 1.4K 
[ ]sublemma__2506_49.min1.thm12017-02-06 12:46 869  
[ ]sublemma__2507_57.min1.thm12017-02-06 12:46 1.4K 
[ ]sublemma__2515_19.min1.thm12017-02-06 12:46 2.1K 
[ ]sublemma__2529_23.min1.thm12017-02-06 12:46 1.5K 
[ ]sublemma__2531_20.min1.thm12017-02-06 12:46 1.2K 
[ ]sublemma__2533_21.min1.thm12017-02-06 12:46 1.6K 
[ ]sublemma__2540_59.min1.thm12017-02-06 12:46 2.0K 
[ ]sublemma__2545_40.min1.thm12017-02-06 12:46 2.0K 
[ ]sublemma__2547_24.min1.thm12017-02-06 12:46 1.5K 
[ ]sublemma__2549_14.min1.thm12017-02-06 12:46 1.2K 
[ ]sublemma__2550_21.min1.thm12017-02-06 12:46 1.6K 
[ ]sublemma__2552_63.min1.thm12017-02-06 12:46 2.0K 
[ ]sublemma__2559_21.min1.thm12017-02-06 12:46 1.6K 
[ ]sublemma__2561_18.min1.thm12017-02-06 12:46 1.7K 
[ ]sublemma__2563_41.min1.thm12017-02-06 12:46 2.3K 
[ ]sublemma__2579_41.min1.thm12017-02-06 12:46 1.4K 
[ ]sublemma__2593_23.min1.thm12017-02-06 12:46 1.4K 
[ ]sublemma__2604_62.min1.thm12017-02-06 12:46 883  
[ ]sublemma__2609_14.min1.thm12017-02-06 12:46 1.4K 
[ ]sublemma__2665_46.min1.thm12017-02-06 12:46 1.7K 
[ ]sublemma__2674_16.min1.thm12017-02-06 12:46 572  
[ ]sublemma__2678_50.min1.thm12017-02-06 12:46 1.7K 
[ ]sublemma__2713_35.min1.thm12017-02-06 12:46 1.6K 
[ ]sublemma__2720_16.min1.thm12017-02-06 12:46 626  
[ ]sublemma__2773_21.min1.thm12017-02-06 12:46 1.1K 
[ ]sublemma__2773_21.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]sublemma__2782_40.min1.thm12017-02-06 12:46 1.8K 
[ ]sublemma__2782_40.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]sublemma__2786_63.min1.thm12017-02-06 12:46 1.9K 
[ ]sublemma__2844_35.min1.thm12017-02-06 12:46 1.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80