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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lpspace2__75_13.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__92_54.min1.thm12017-02-06 12:44 2.0K 
[ ]lpspace2__96_49.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__97_49.min1.thm12017-02-06 12:44 2.3K 
[ ]lpspace2__98_52.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__99_27.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__107_20.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__110_33.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__111_52.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__112_27.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__124_18.min1.thm12017-02-06 12:44 700  
[ ]lpspace2__124_18.min1.thm1.tptp2017-02-06 16:47 612  
[ ]lpspace2__139_16.min1.thm12017-02-06 12:44 673  
[ ]lpspace2__148_17.min1.thm12017-02-06 12:44 522  
[ ]lpspace2__160_23.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__161_40.min1.thm12017-02-06 12:44 3.2K 
[ ]lpspace2__171_37.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__172_18.min1.thm12017-02-06 12:44 2.1K 
[ ]lpspace2__182_27.min1.thm12017-02-06 12:44 2.0K 
[ ]lpspace2__210_52.min1.thm12017-02-06 12:44 2.3K 
[ ]lpspace2__211_41.min1.thm12017-02-06 12:44 2.0K 
[ ]lpspace2__226_59.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__230_7.min1.thm12017-02-06 12:44 3.0K 
[ ]lpspace2__250_19.min1.thm12017-02-06 12:44 3.5K 
[ ]lpspace2__258_32.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__264_19.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__280_31.min1.thm12017-02-06 12:44 2.1K 
[ ]lpspace2__281_19.min1.thm12017-02-06 12:44 632  
[ ]lpspace2__289_68.min1.thm12017-02-06 12:44 649  
[ ]lpspace2__289_68.min1.thm1.tptp2017-02-06 16:47 576  
[ ]lpspace2__291_31.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__292_20.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__314_19.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__345_15.min1.thm12017-02-06 12:44 380  
[ ]lpspace2__346_19.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__356_31.min1.thm12017-02-06 12:44 544  
[ ]lpspace2__356_31.min1.thm1.tptp2017-02-06 16:47 467  
[ ]lpspace2__357_36.min1.thm12017-02-06 12:44 682  
[ ]lpspace2__364_34.min1.thm12017-02-06 12:44 685  
[ ]lpspace2__369_30.min1.thm12017-02-06 12:44 544  
[ ]lpspace2__369_30.min1.thm1.tptp2017-02-06 16:47 467  
[ ]lpspace2__391_34.min1.thm12017-02-06 12:44 2.1K 
[ ]lpspace2__402_30.min1.thm12017-02-06 12:44 2.7K 
[ ]lpspace2__404_35.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__412_21.min1.thm12017-02-06 12:44 2.1K 
[ ]lpspace2__414_30.min1.thm12017-02-06 12:44 2.7K 
[ ]lpspace2__415_31.min1.thm12017-02-06 12:44 3.0K 
[ ]lpspace2__428_27.min1.thm12017-02-06 12:44 3.1K 
[ ]lpspace2__429_27.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__431_18.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__439_25.min1.thm12017-02-06 12:44 2.3K 
[ ]lpspace2__442_15.min1.thm12017-02-06 12:44 587  
[ ]lpspace2__444_21.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__445_27.min1.thm12017-02-06 12:44 3.0K 
[ ]lpspace2__446_28.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__456_23.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__480_32.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__482_49.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__485_15.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__486_46.min1.thm12017-02-06 12:44 2.5K 
[ ]lpspace2__488_14.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__489_17.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__492_11.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__509_59.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__510_58.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__512_19.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__522_12.min1.thm12017-02-06 12:44 257  
[ ]lpspace2__525_35.min1.thm12017-02-06 12:44 725  
[ ]lpspace2__526_63.min1.thm12017-02-06 12:44 2.0K 
[ ]lpspace2__529_23.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__531_8.min1.thm12017-02-06 12:44 2.6K 
[ ]lpspace2__534_23.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__536_8.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__559_32.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__580_15.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__595_52.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__599_50.min1.thm12017-02-06 12:44 1.9K 
[ ]lpspace2__600_46.min1.thm12017-02-06 12:44 2.7K 
[ ]lpspace2__602_46.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__614_62.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__615_29.min1.thm12017-02-06 12:44 767  
[ ]lpspace2__617_46.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__618_57.min1.thm12017-02-06 12:44 949  
[ ]lpspace2__620_54.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__621_24.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__649_50.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__651_14.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__652_15.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__653_15.min1.thm12017-02-06 12:44 789  
[ ]lpspace2__654_55.min1.thm12017-02-06 12:44 1.9K 
[ ]lpspace2__656_44.min1.thm12017-02-06 12:44 3.1K 
[ ]lpspace2__657_15.min1.thm12017-02-06 12:44 2.1K 
[ ]lpspace2__658_28.min1.thm12017-02-06 12:44 2.6K 
[ ]lpspace2__659_46.min1.thm12017-02-06 12:44 2.5K 
[ ]lpspace2__681_47.min1.thm12017-02-06 12:44 2.6K 
[ ]lpspace2__682_41.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__711_70.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__717_70.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__727_18.min1.thm12017-02-06 12:44 3.4K 
[ ]lpspace2__730_35.min1.thm12017-02-06 12:44 2.9K 
[ ]lpspace2__742_51.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__743_38.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__764_70.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__792_70.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__793_23.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__796_9.min1.thm12017-02-06 12:44 2.6K 
[ ]lpspace2__829_51.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__840_14.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__931_44.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__931_44.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]lpspace2__934_28.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__957_25.min1.thm12017-02-06 12:44 2.1K 
[ ]lpspace2__958_32.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__978_28.min1.thm12017-02-06 12:44 828  
[ ]lpspace2__988_24.min1.thm12017-02-06 12:44 806  
[ ]lpspace2__1029_11.min1.thm12017-02-06 12:44 2.3K 
[ ]lpspace2__1040_21.min1.thm12017-02-06 12:44 2.9K 
[ ]lpspace2__1049_23.min1.thm12017-02-06 12:44 2.5K 
[ ]lpspace2__1063_32.min1.thm12017-02-06 12:44 572  
[ ]lpspace2__1077_15.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__1086_17.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__1100_23.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__1107_68.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__1115_54.min1.thm12017-02-06 12:44 670  
[ ]lpspace2__1119_44.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__1120_15.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__1121_17.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__1123_22.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__1124_19.min1.thm12017-02-06 12:44 2.0K 
[ ]lpspace2__1127_32.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__1139_44.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__1140_43.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__1154_15.min1.thm12017-02-06 12:44 2.9K 
[ ]lpspace2__1163_26.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__1164_16.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__1193_17.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__1208_34.min1.thm12017-02-06 12:44 663  
[ ]lpspace2__1238_18.min1.thm12017-02-06 12:44 1.9K 
[ ]lpspace2__1239_18.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__1240_18.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__1248_32.min1.thm12017-02-06 12:44 2.3K 
[ ]lpspace2__1249_18.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__1250_18.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__1254_59.min1.thm12017-02-06 12:44 857  
[ ]lpspace2__1344_8.min1.thm12017-02-06 12:44 2.8K 
[ ]lpspace2__1367_33.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__1368_34.min1.thm12017-02-06 12:44 2.6K 
[ ]lpspace2__1369_18.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__1397_31.min1.thm12017-02-06 12:44 2.6K 
[ ]lpspace2__1398_10.min1.thm12017-02-06 12:44 3.1K 
[ ]lpspace2__1399_32.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__1406_18.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__1410_29.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__1431_24.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__1445_32.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__1446_46.min1.thm12017-02-06 12:44 3.0K 
[ ]lpspace2__1447_15.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__1471_33.min1.thm12017-02-06 12:44 2.1K 
[ ]lpspace2__1472_10.min1.thm12017-02-06 12:44 3.0K 
[ ]lpspace2__1473_32.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__1480_18.min1.thm12017-02-06 12:44 766  
[ ]lpspace2__1531_53.min1.thm12017-02-06 12:44 2.1K 
[ ]lpspace2__1551_14.min1.thm12017-02-06 12:44 3.3K 
[ ]lpspace2__1554_14.min1.thm12017-02-06 12:44 3.3K 
[ ]lpspace2__1557_24.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__1564_14.min1.thm12017-02-06 12:44 3.3K 
[ ]lpspace2__1567_14.min1.thm12017-02-06 12:44 3.3K 
[ ]lpspace2__1570_14.min1.thm12017-02-06 12:44 3.3K 
[ ]lpspace2__1573_34.min1.thm12017-02-06 12:44 2.8K 
[ ]lpspace2__1588_14.min1.thm12017-02-06 12:44 3.3K 
[ ]lpspace2__1591_14.min1.thm12017-02-06 12:44 1.9K 
[ ]lpspace2__1596_34.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__1603_14.min1.thm12017-02-06 12:44 3.3K 
[ ]lpspace2__1606_14.min1.thm12017-02-06 12:44 1.9K 
[ ]lpspace2__1608_37.min1.thm12017-02-06 12:44 2.3K 
[ ]lpspace2__1610_14.min1.thm12017-02-06 12:44 3.2K 
[ ]lpspace2__1611_36.min1.thm12017-02-06 12:44 2.3K 
[ ]lpspace2__1623_34.min1.thm12017-02-06 12:44 531  
[ ]lpspace2__1624_13.min1.thm12017-02-06 12:44 3.3K 
[ ]lpspace2__1627_13.min1.thm12017-02-06 12:44 3.3K 
[ ]lpspace2__1630_24.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__1677_71.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__1682_71.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__1683_45.min1.thm12017-02-06 12:44 2.6K 
[ ]lpspace2__1693_11.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__1694_43.min1.thm12017-02-06 12:44 3.2K 
[ ]lpspace2__1695_43.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__1696_33.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__1704_30.min1.thm12017-02-06 12:44 3.1K 
[ ]lpspace2__1713_17.min1.thm12017-02-06 12:44 2.5K 
[ ]lpspace2__1751_19.min1.thm12017-02-06 12:44 510  
[ ]lpspace2__1752_40.min1.thm12017-02-06 12:44 2.5K 
[ ]lpspace2__1753_24.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__1759_31.min1.thm12017-02-06 12:44 2.8K 
[ ]lpspace2__1769_40.min1.thm12017-02-06 12:44 2.5K 
[ ]lpspace2__1770_24.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__1807_41.min1.thm12017-02-06 12:44 2.5K 
[ ]lpspace2__1808_25.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__1814_19.min1.thm12017-02-06 12:44 2.7K 
[ ]lpspace2__1864_24.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__1868_29.min1.thm12017-02-06 12:44 722  
[ ]lpspace2__1888_13.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__1891_13.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__1893_13.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__1896_13.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__1911_13.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__1914_14.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__1932_24.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__1935_12.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__1944_13.min1.thm12017-02-06 12:44 1.9K 
[ ]lpspace2__1945_35.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__1946_25.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__1965_41.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__1966_58.min1.thm12017-02-06 12:44 1.9K 
[ ]lpspace2__1968_25.min1.thm12017-02-06 12:44 2.0K 
[ ]lpspace2__1969_17.min1.thm12017-02-06 12:44 2.8K 
[ ]lpspace2__1970_17.min1.thm12017-02-06 12:44 3.3K 
[ ]lpspace2__1972_15.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__1979_30.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__1980_15.min1.thm12017-02-06 12:44 2.9K 
[ ]lpspace2__1990_20.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__1991_32.min1.thm12017-02-06 12:44 1.9K 
[ ]lpspace2__2014_18.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__2033_58.min1.thm12017-02-06 12:44 907  
[ ]lpspace2__2038_58.min1.thm12017-02-06 12:44 914  
[ ]lpspace2__2043_50.min1.thm12017-02-06 12:44 2.6K 
[ ]lpspace2__2044_38.min1.thm12017-02-06 12:44 2.6K 
[ ]lpspace2__2050_32.min1.thm12017-02-06 12:44 3.8K 
[ ]lpspace2__2062_36.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__2109_58.min1.thm12017-02-06 12:44 907  
[ ]lpspace2__2114_58.min1.thm12017-02-06 12:44 913  
[ ]lpspace2__2119_52.min1.thm12017-02-06 12:44 2.6K 
[ ]lpspace2__2148_15.min1.thm12017-02-06 12:44 2.9K 
[ ]lpspace2__2158_18.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__2165_41.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__2170_31.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__2173_37.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__2186_15.min1.thm12017-02-06 12:44 2.9K 
[ ]lpspace2__2196_18.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__2203_41.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__2208_31.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__2211_34.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__2265_47.min1.thm12017-02-06 12:44 2.9K 
[ ]lpspace2__2279_38.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__2280_34.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__2282_47.min1.thm12017-02-06 12:44 3.2K 
[ ]lpspace2__2283_47.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__2284_38.min1.thm12017-02-06 12:44 2.1K 
[ ]lpspace2__2285_37.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__2287_47.min1.thm12017-02-06 12:44 3.2K 
[ ]lpspace2__2288_47.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__2289_38.min1.thm12017-02-06 12:44 2.1K 
[ ]lpspace2__2290_37.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__2296_10.min1.thm12017-02-06 12:44 3.4K 
[ ]lpspace2__2297_26.min1.thm12017-02-06 12:44 3.2K 
[ ]lpspace2__2321_27.min1.thm12017-02-06 12:44 1.9K 
[ ]lpspace2__2323_15.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__2344_77.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__2347_9.min1.thm12017-02-06 12:44 3.1K 
[ ]lpspace2__2374_11.min1.thm12017-02-06 12:44 888  
[ ]lpspace2__2380_53.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__2386_53.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__2408_42.min1.thm12017-02-06 12:44 3.0K 
[ ]lpspace2__2477_17.min1.thm12017-02-06 12:44 2.1K 
[ ]lpspace2__2487_60.min1.thm12017-02-06 12:44 875  
[ ]lpspace2__2511_12.min1.thm12017-02-06 12:44 177  
[ ]lpspace2__2527_54.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__2528_19.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__2532_11.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__2533_13.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__2534_12.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__2535_37.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__2541_18.min1.thm12017-02-06 12:44 2.0K 
[ ]lpspace2__2541_18.min1.thm1.tptp2017-02-06 16:47 2.0K 
[ ]lpspace2__2554_24.min1.thm12017-02-06 12:44 2.6K 
[ ]lpspace2__2564_10.min1.thm12017-02-06 12:44 442  
[ ]lpspace2__2575_54.min1.thm12017-02-06 12:44 2.6K 
[ ]lpspace2__2590_73.min1.thm12017-02-06 12:44 931  
[ ]lpspace2__2592_44.min1.thm12017-02-06 12:44 1.9K 
[ ]lpspace2__2593_25.min1.thm12017-02-06 12:44 3.9K 
[ ]lpspace2__2596_15.min1.thm12017-02-06 12:44 2.7K 
[ ]lpspace2__2598_72.min1.thm12017-02-06 12:44 932  
[ ]lpspace2__2602_43.min1.thm12017-02-06 12:44 5.2K 
[ ]lpspace2__2609_66.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__2612_35.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__2613_29.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__2618_48.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__2630_14.min1.thm12017-02-06 12:44 2.7K 
[ ]lpspace2__2663_48.min1.thm12017-02-06 12:44 685  
[ ]lpspace2__2663_48.min1.thm1.tptp2017-02-06 16:47 605  
[ ]lpspace2__2673_77.min1.thm12017-02-06 12:44 4.0K 
[ ]lpspace2__2703_34.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__2703_34.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]lpspace2__2707_17.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__2717_47.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__2717_47.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]lpspace2__2729_38.min1.thm12017-02-06 12:44 948  
[ ]lpspace2__2730_15.min1.thm12017-02-06 12:44 446  
[ ]lpspace2__2730_15.min1.thm1.tptp2017-02-06 16:47 372  
[ ]lpspace2__2731_20.min1.thm12017-02-06 12:44 2.1K 
[ ]lpspace2__2734_21.min1.thm12017-02-06 12:44 2.1K 
[ ]lpspace2__2736_36.min1.thm12017-02-06 12:44 2.0K 
[ ]lpspace2__2739_67.min1.thm12017-02-06 12:44 688  
[ ]lpspace2__2740_23.min1.thm12017-02-06 12:44 700  
[ ]lpspace2__2740_23.min1.thm1.tptp2017-02-06 16:47 643  
[ ]lpspace2__2746_16.min1.thm12017-02-06 12:44 2.6K 
[ ]lpspace2__2753_31.min1.thm12017-02-06 12:44 1.9K 
[ ]lpspace2__2756_49.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__2757_42.min1.thm12017-02-06 12:44 861  
[ ]lpspace2__2757_42.min1.thm1.tptp2017-02-06 16:47 786  
[ ]lpspace2__2758_36.min1.thm12017-02-06 12:44 830  
[ ]lpspace2__2764_34.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__2764_34.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]lpspace2__2775_24.min1.thm12017-02-06 12:44 704  
[ ]lpspace2__2800_56.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__2800_56.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]lpspace2__2808_47.min1.thm12017-02-06 12:44 1.9K 
[ ]lpspace2__2837_48.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__2843_17.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__2844_16.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__2845_27.min1.thm12017-02-06 12:44 679  
[ ]lpspace2__2849_17.min1.thm12017-02-06 12:44 2.6K 
[ ]lpspace2__2851_28.min1.thm12017-02-06 12:44 2.9K 
[ ]lpspace2__2855_46.min1.thm12017-02-06 12:44 2.8K 
[ ]lpspace2__2865_19.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__2886_37.min1.thm12017-02-06 12:44 791  
[ ]lpspace2__2889_33.min1.thm12017-02-06 12:44 4.5K 
[ ]lpspace2__2905_24.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__2920_31.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__2926_22.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__2928_23.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__2935_25.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__2961_25.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__2986_30.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__2991_35.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__2996_15.min1.thm12017-02-06 12:44 558  
[ ]lpspace2__3008_30.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__3012_64.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__3017_15.min1.thm12017-02-06 12:44 408  
[ ]lpspace2__3037_30.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__3038_51.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__3050_18.min1.thm12017-02-06 12:44 549  
[ ]lpspace2__3051_26.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__3053_45.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__3054_16.min1.thm12017-02-06 12:44 584  
[ ]lpspace2__3056_29.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__3058_29.min1.thm12017-02-06 12:44 2.0K 
[ ]lpspace2__3061_20.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__3066_18.min1.thm12017-02-06 12:44 880  
[ ]lpspace2__3080_44.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__3091_12.min1.thm12017-02-06 12:44 440  
[ ]lpspace2__3098_33.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__3098_33.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]lpspace2__3101_45.min1.thm12017-02-06 12:44 668  
[ ]lpspace2__3112_23.min1.thm12017-02-06 12:44 657  
[ ]lpspace2__3112_23.min1.thm1.tptp2017-02-06 16:47 576  
[ ]lpspace2__3124_37.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__3125_17.min1.thm12017-02-06 12:44 606  
[ ]lpspace2__3135_42.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__3136_31.min1.thm12017-02-06 12:44 874  
[ ]lpspace2__3136_31.min1.thm1.tptp2017-02-06 16:47 793  
[ ]lpspace2__3138_28.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__3140_9.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__3148_39.min1.thm12017-02-06 12:44 819  
[ ]lpspace2__3149_17.min1.thm12017-02-06 12:44 610  
[ ]lpspace2__3161_52.min1.thm12017-02-06 12:44 864  
[ ]lpspace2__3169_66.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__3178_50.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__3178_50.min1.thm1.tptp2017-02-06 16:47 900  
[ ]lpspace2__3182_39.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__3187_26.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__3189_10.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__3201_27.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__3201_27.min1.thm1.tptp2017-02-06 16:47 922  
[ ]lpspace2__3203_45.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__3203_45.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]lpspace2__3206_67.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__3214_30.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__3215_45.min1.thm12017-02-06 12:44 720  
[ ]lpspace2__3215_45.min1.thm1.tptp2017-02-06 16:47 643  
[ ]lpspace2__3218_41.min1.thm12017-02-06 12:44 672  
[ ]lpspace2__3218_41.min1.thm1.tptp2017-02-06 16:47 595  
[ ]lpspace2__3221_45.min1.thm12017-02-06 12:44 936  
[ ]lpspace2__3225_44.min1.thm12017-02-06 12:44 867  
[ ]lpspace2__3226_17.min1.thm12017-02-06 12:44 610  
[ ]lpspace2__3237_40.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__3244_25.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__3250_48.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__3254_26.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__3254_26.min1.thm1.tptp2017-02-06 16:47 927  
[ ]lpspace2__3276_33.min1.thm12017-02-06 12:44 543  
[ ]lpspace2__3277_20.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__3290_32.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__3293_20.min1.thm12017-02-06 12:44 413  
[ ]lpspace2__3293_20.min1.thm1.tptp2017-02-06 16:47 349  
[ ]lpspace2__3294_48.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__3299_39.min1.thm12017-02-06 12:44 2.0K 
[ ]lpspace2__3311_32.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__3323_71.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__3324_49.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__3329_54.min1.thm12017-02-06 12:44 692  
[ ]lpspace2__3329_54.min1.thm1.tptp2017-02-06 16:47 615  
[ ]lpspace2__3332_65.min1.thm12017-02-06 12:44 591  
[ ]lpspace2__3332_65.min1.thm1.tptp2017-02-06 16:47 514  
[ ]lpspace2__3333_50.min1.thm12017-02-06 12:44 2.8K 
[ ]lpspace2__3334_68.min1.thm12017-02-06 12:44 766  
[ ]lpspace2__3344_70.min1.thm12017-02-06 12:44 3.4K 
[ ]lpspace2__3345_63.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__3359_73.min1.thm12017-02-06 12:44 784  
[ ]lpspace2__3359_73.min1.thm1.tptp2017-02-06 16:47 707  
[ ]lpspace2__3365_17.min1.thm12017-02-06 12:44 492  
[ ]lpspace2__3372_52.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__3376_58.min1.thm12017-02-06 12:44 3.0K 
[ ]lpspace2__3383_47.min1.thm12017-02-06 12:44 540  
[ ]lpspace2__3383_47.min1.thm1.tptp2017-02-06 16:47 463  
[ ]lpspace2__3386_11.min1.thm12017-02-06 12:44 768  
[ ]lpspace2__3387_19.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__3388_65.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__3392_51.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__3392_51.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]lpspace2__3394_36.min1.thm12017-02-06 12:44 2.8K 
[ ]lpspace2__3395_43.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__3397_26.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__3403_42.min1.thm12017-02-06 12:44 732  
[ ]lpspace2__3404_36.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__3406_66.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__3411_42.min1.thm12017-02-06 12:44 566  
[ ]lpspace2__3411_42.min1.thm1.tptp2017-02-06 16:47 485  
[ ]lpspace2__3413_10.min1.thm12017-02-06 12:44 864  
[ ]lpspace2__3420_32.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__3436_55.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__3437_44.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__3439_61.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__3444_58.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__3451_38.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__3452_16.min1.thm12017-02-06 12:44 1.9K 
[ ]lpspace2__3454_42.min1.thm12017-02-06 12:44 941  
[ ]lpspace2__3455_35.min1.thm12017-02-06 12:44 545  
[ ]lpspace2__3464_9.min1.thm12017-02-06 12:44 2.0K 
[ ]lpspace2__3465_58.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__3466_41.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__3468_21.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__3474_16.min1.thm12017-02-06 12:44 2.3K 
[ ]lpspace2__3489_33.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__3490_31.min1.thm12017-02-06 12:44 721  
[ ]lpspace2__3491_31.min1.thm12017-02-06 12:44 545  
[ ]lpspace2__3507_22.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__3520_28.min1.thm12017-02-06 12:44 668  
[ ]lpspace2__3522_27.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__3527_41.min1.thm12017-02-06 12:44 831  
[ ]lpspace2__3537_41.min1.thm12017-02-06 12:44 2.0K 
[ ]lpspace2__3539_51.min1.thm12017-02-06 12:44 2.1K 
[ ]lpspace2__3552_11.min1.thm12017-02-06 12:44 2.1K 
[ ]lpspace2__3574_13.min1.thm12017-02-06 12:44 662  
[ ]lpspace2__3579_26.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__3580_48.min1.thm12017-02-06 12:44 2.5K 
[ ]lpspace2__3591_19.min1.thm12017-02-06 12:44 770  
[ ]lpspace2__3604_23.min1.thm12017-02-06 12:44 878  
[ ]lpspace2__3615_28.min1.thm12017-02-06 12:44 1.9K 
[ ]lpspace2__3633_57.min1.thm12017-02-06 12:44 857  
[ ]lpspace2__3636_36.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__3638_44.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__3648_16.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__3649_45.min1.thm12017-02-06 12:44 2.6K 
[ ]lpspace2__3650_20.min1.thm12017-02-06 12:44 2.3K 
[ ]lpspace2__3667_26.min1.thm12017-02-06 12:44 545  
[ ]lpspace2__3668_20.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__3685_22.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__3693_32.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__3699_8.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__3706_53.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__3707_34.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__3713_41.min1.thm12017-02-06 12:44 933  
[ ]lpspace2__3715_20.min1.thm12017-02-06 12:44 811  
[ ]lpspace2__3724_25.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__3736_22.min1.thm12017-02-06 12:44 901  
[ ]lpspace2__3740_50.min1.thm12017-02-06 12:44 2.0K 
[ ]lpspace2__3748_23.min1.thm12017-02-06 12:44 970  
[ ]lpspace2__3757_33.min1.thm12017-02-06 12:44 2.1K 
[ ]lpspace2__3759_31.min1.thm12017-02-06 12:44 871  
[ ]lpspace2__3761_28.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__3765_22.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__3767_21.min1.thm12017-02-06 12:44 2.1K 
[ ]lpspace2__3768_36.min1.thm12017-02-06 12:44 2.0K 
[ ]lpspace2__3775_23.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__3776_49.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__3792_43.min1.thm12017-02-06 12:44 909  
[ ]lpspace2__3806_14.min1.thm12017-02-06 12:44 196  
[ ]lpspace2__3808_44.min1.thm12017-02-06 12:44 913  
[ ]lpspace2__3810_42.min1.thm12017-02-06 12:44 3.2K 
[ ]lpspace2__3814_27.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__3820_17.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__3821_39.min1.thm12017-02-06 12:44 949  
[ ]lpspace2__3823_51.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__3825_36.min1.thm12017-02-06 12:44 551  
[ ]lpspace2__3826_16.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__3837_28.min1.thm12017-02-06 12:44 668  
[ ]lpspace2__3841_27.min1.thm12017-02-06 12:44 616  
[ ]lpspace2__3845_40.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__3865_35.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__3866_21.min1.thm12017-02-06 12:44 2.1K 
[ ]lpspace2__3876_18.min1.thm12017-02-06 12:44 198  
[ ]lpspace2__3878_20.min1.thm12017-02-06 12:44 204  
[ ]lpspace2__3880_46.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__3889_19.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__3890_42.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__3894_30.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__3898_46.min1.thm12017-02-06 12:44 3.2K 
[ ]lpspace2__3901_45.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__3903_37.min1.thm12017-02-06 12:44 569  
[ ]lpspace2__3904_19.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__3911_62.min1.thm12017-02-06 12:44 866  
[ ]lpspace2__3915_18.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__3916_40.min1.thm12017-02-06 12:44 957  
[ ]lpspace2__3917_16.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__3919_18.min1.thm12017-02-06 12:44 1.4K 
[ ]lpspace2__3920_40.min1.thm12017-02-06 12:44 957  
[ ]lpspace2__3921_23.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__3923_24.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__3928_51.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__3949_35.min1.thm12017-02-06 12:44 557  
[ ]lpspace2__3950_17.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__3957_17.min1.thm12017-02-06 12:44 854  
[ ]lpspace2__3964_28.min1.thm12017-02-06 12:44 668  
[ ]lpspace2__3966_28.min1.thm12017-02-06 12:44 730  
[ ]lpspace2__3967_41.min1.thm12017-02-06 12:44 933  
[ ]lpspace2__3983_54.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__3983_54.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]lpspace2__3985_50.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__3990_48.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__3991_30.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__4003_24.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__4007_54.min1.thm12017-02-06 12:44 857  
[ ]lpspace2__4007_54.min1.thm1.tptp2017-02-06 16:47 780  
[ ]lpspace2__4014_25.min1.thm12017-02-06 12:44 617  
[ ]lpspace2__4031_41.min1.thm12017-02-06 12:44 933  
[ ]lpspace2__4032_24.min1.thm12017-02-06 12:44 927  
[ ]lpspace2__4039_19.min1.thm12017-02-06 12:44 659  
[ ]lpspace2__4044_27.min1.thm12017-02-06 12:44 487  
[ ]lpspace2__4044_27.min1.thm1.tptp2017-02-06 16:47 410  
[ ]lpspace2__4044_48.min1.thm12017-02-06 12:44 487  
[ ]lpspace2__4044_48.min1.thm1.tptp2017-02-06 16:47 410  
[ ]lpspace2__4051_41.min1.thm12017-02-06 12:44 933  
[ ]lpspace2__4052_23.min1.thm12017-02-06 12:44 927  
[ ]lpspace2__4054_50.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__4064_41.min1.thm12017-02-06 12:44 933  
[ ]lpspace2__4066_25.min1.thm12017-02-06 12:44 729  
[ ]lpspace2__4070_44.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__4093_24.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__4103_53.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__4106_26.min1.thm12017-02-06 12:44 730  
[ ]lpspace2__4113_46.min1.thm12017-02-06 12:44 962  
[ ]lpspace2__4114_35.min1.thm12017-02-06 12:44 2.0K 
[ ]lpspace2__4117_46.min1.thm12017-02-06 12:44 2.6K 
[ ]lpspace2__4124_27.min1.thm12017-02-06 12:44 928  
[ ]lpspace2__4126_43.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__4127_52.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__4135_23.min1.thm12017-02-06 12:44 2.0K 
[ ]lpspace2__4136_12.min1.thm12017-02-06 12:44 716  
[ ]lpspace2__4143_41.min1.thm12017-02-06 12:44 933  
[ ]lpspace2__4144_36.min1.thm12017-02-06 12:44 1.1K 
[ ]lpspace2__4145_36.min1.thm12017-02-06 12:44 1.0K 
[ ]lpspace2__4145_36.min1.thm1.tptp2017-02-06 16:47 957  
[ ]lpspace2__4153_24.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__4159_59.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__4159_59.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]lpspace2__4163_16.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__4179_23.min1.thm12017-02-06 12:44 2.0K 
[ ]lpspace2__4194_47.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__4195_31.min1.thm12017-02-06 12:44 503  
[ ]lpspace2__4198_31.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__4199_33.min1.thm12017-02-06 12:44 1.9K 
[ ]lpspace2__4201_56.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__4212_14.min1.thm12017-02-06 12:44 1.2K 
[ ]lpspace2__4231_66.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__4232_43.min1.thm12017-02-06 12:44 2.0K 
[ ]lpspace2__4244_29.min1.thm12017-02-06 12:44 2.7K 
[ ]lpspace2__4249_55.min1.thm12017-02-06 12:44 692  
[ ]lpspace2__4254_45.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__4258_17.min1.thm12017-02-06 12:44 2.9K 
[ ]lpspace2__4259_16.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__4260_18.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__4263_10.min1.thm12017-02-06 12:44 2.6K 
[ ]lpspace2__4265_9.min1.thm12017-02-06 12:44 1.7K 
[ ]lpspace2__4267_41.min1.thm12017-02-06 12:44 2.7K 
[ ]lpspace2__4274_45.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__4275_28.min1.thm12017-02-06 12:44 2.3K 
[ ]lpspace2__4276_44.min1.thm12017-02-06 12:44 1.8K 
[ ]lpspace2__4278_60.min1.thm12017-02-06 12:44 2.7K 
[ ]lpspace2__4293_18.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__4300_35.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__4302_43.min1.thm12017-02-06 12:44 2.5K 
[ ]lpspace2__4312_35.min1.thm12017-02-06 12:44 2.8K 
[ ]lpspace2__4327_33.min1.thm12017-02-06 12:44 2.2K 
[ ]lpspace2__4329_53.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__4331_15.min1.thm12017-02-06 12:44 3.2K 
[ ]lpspace2__4332_33.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__4340_18.min1.thm12017-02-06 12:44 647  
[ ]lpspace2__4340_18.min1.thm1.tptp2017-02-06 16:47 583  
[ ]lpspace2__4349_49.min1.thm12017-02-06 12:44 2.0K 
[ ]lpspace2__4350_49.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__4351_18.min1.thm12017-02-06 12:44 809  
[ ]lpspace2__4369_33.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__4372_31.min1.thm12017-02-06 12:44 2.5K 
[ ]lpspace2__4374_33.min1.thm12017-02-06 12:44 579  
[ ]lpspace2__4374_33.min1.thm1.tptp2017-02-06 16:47 515  
[ ]lpspace2__4380_51.min1.thm12017-02-06 12:44 2.3K 
[ ]lpspace2__4383_27.min1.thm12017-02-06 12:44 2.5K 
[ ]lpspace2__4390_33.min1.thm12017-02-06 12:44 579  
[ ]lpspace2__4390_33.min1.thm1.tptp2017-02-06 16:47 515  
[ ]lpspace2__4391_18.min1.thm12017-02-06 12:44 707  
[ ]lpspace2__4401_32.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__4431_32.min1.thm12017-02-06 12:44 1.6K 
[ ]lpspace2__4435_29.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__4446_32.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__4475_8.min1.thm12017-02-06 12:44 3.9K 
[ ]lpspace2__4484_69.min1.thm12017-02-06 12:44 1.3K 
[ ]lpspace2__4486_37.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__4487_19.min1.thm12017-02-06 12:44 2.8K 
[ ]lpspace2__4489_48.min1.thm12017-02-06 12:44 2.1K 
[ ]lpspace2__4500_18.min1.thm12017-02-06 12:44 2.4K 
[ ]lpspace2__4502_44.min1.thm12017-02-06 12:44 4.1K 
[ ]lpspace2__4503_33.min1.thm12017-02-06 12:44 1.5K 
[ ]lpspace2__4516_39.min1.thm12017-02-06 12:44 1.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80