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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]projred2__50_31.min1.thm12017-02-06 12:44 966  
[ ]projred2__51_34.min1.thm12017-02-06 12:44 736  
[ ]projred2__53_19.min1.thm12017-02-06 12:44 566  
[ ]projred2__72_32.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__74_18.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__81_58.min1.thm12017-02-06 12:44 1.2K 
[ ]projred2__83_17.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__92_42.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__93_17.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__101_22.min1.thm12017-02-06 12:44 944  
[ ]projred2__104_13.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__107_17.min1.thm12017-02-06 12:44 649  
[ ]projred2__119_42.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__121_23.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__126_29.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__129_17.min1.thm12017-02-06 12:44 820  
[ ]projred2__141_58.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__142_27.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__145_28.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__146_20.min1.thm12017-02-06 12:44 1.2K 
[ ]projred2__147_36.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__148_36.min1.thm12017-02-06 12:44 2.1K 
[ ]projred2__153_46.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__154_45.min1.thm12017-02-06 12:44 699  
[ ]projred2__155_14.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__156_23.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__158_17.min1.thm12017-02-06 12:44 742  
[ ]projred2__162_62.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__176_21.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__179_10.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__180_21.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__183_10.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__184_49.min1.thm12017-02-06 12:44 1.9K 
[ ]projred2__185_10.min1.thm12017-02-06 12:44 846  
[ ]projred2__186_20.min1.thm12017-02-06 12:44 2.4K 
[ ]projred2__198_23.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__199_23.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__207_25.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__208_40.min1.thm12017-02-06 12:44 1.7K 
[ ]projred2__209_16.min1.thm12017-02-06 12:44 2.0K 
[ ]projred2__211_19.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__220_25.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__221_40.min1.thm12017-02-06 12:44 1.7K 
[ ]projred2__222_16.min1.thm12017-02-06 12:44 2.0K 
[ ]projred2__226_54.min1.thm12017-02-06 12:44 2.2K 
[ ]projred2__226_54.min1.thm1.tptp2017-02-06 16:47 2.2K 
[ ]projred2__228_23.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__229_21.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__230_15.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__240_25.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__241_25.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__242_17.min1.thm12017-02-06 12:44 1.9K 
[ ]projred2__255_69.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__256_19.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__258_21.min1.thm12017-02-06 12:44 1.2K 
[ ]projred2__259_17.min1.thm12017-02-06 12:44 2.1K 
[ ]projred2__266_17.min1.thm12017-02-06 12:44 835  
[ ]projred2__267_35.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__268_17.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__280_22.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__282_23.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__289_14.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__291_26.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__294_24.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__296_17.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__299_16.min1.thm12017-02-06 12:44 768  
[ ]projred2__304_29.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__305_26.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__305_26.min1.thm1.tptp2017-02-06 16:47 930  
[ ]projred2__307_18.min1.thm12017-02-06 12:44 2.2K 
[ ]projred2__320_40.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__362_23.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__364_25.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__366_23.min1.thm12017-02-06 12:44 2.4K 
[ ]projred2__370_18.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__373_10.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__374_14.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__376_14.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__383_25.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__385_25.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__388_14.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__391_15.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__393_39.min1.thm12017-02-06 12:44 2.2K 
[ ]projred2__394_42.min1.thm12017-02-06 12:44 2.1K 
[ ]projred2__395_37.min1.thm12017-02-06 12:44 2.2K 
[ ]projred2__396_37.min1.thm12017-02-06 12:44 2.2K 
[ ]projred2__399_56.min1.thm12017-02-06 12:44 2.1K 
[ ]projred2__403_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__405_28.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__406_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__409_20.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__410_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__413_19.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__417_23.min1.thm12017-02-06 12:44 2.4K 
[ ]projred2__418_18.min1.thm12017-02-06 12:44 962  
[ ]projred2__425_20.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__426_19.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__429_23.min1.thm12017-02-06 12:44 2.4K 
[ ]projred2__430_18.min1.thm12017-02-06 12:44 960  
[ ]projred2__432_19.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__432_19.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]projred2__437_29.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__438_32.min1.thm12017-02-06 12:44 1.2K 
[ ]projred2__438_32.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]projred2__440_18.min1.thm12017-02-06 12:44 2.4K 
[ ]projred2__441_17.min1.thm12017-02-06 12:44 3.3K 
[ ]projred2__470_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__471_23.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__472_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__473_17.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__474_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__475_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__476_27.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__479_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__480_23.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__481_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__482_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__483_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__484_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__485_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__487_12.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__488_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__489_27.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__490_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__491_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__492_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__493_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__495_12.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__496_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__497_16.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__498_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__499_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__501_12.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__503_13.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__505_15.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__509_20.min1.thm12017-02-06 12:44 1.7K 
[ ]projred2__512_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__516_16.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__519_15.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__521_14.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__525_18.min1.thm12017-02-06 12:44 1.7K 
[ ]projred2__529_25.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__531_23.min1.thm12017-02-06 12:44 2.4K 
[ ]projred2__532_23.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__536_18.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__537_15.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__540_25.min1.thm12017-02-06 12:44 1.2K 
[ ]projred2__544_41.min1.thm12017-02-06 12:44 2.2K 
[ ]projred2__545_38.min1.thm12017-02-06 12:44 2.2K 
[ ]projred2__546_38.min1.thm12017-02-06 12:44 748  
[ ]projred2__549_20.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__550_19.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__551_18.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__553_25.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__556_15.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__557_22.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__558_22.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__561_15.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__564_15.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__565_22.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__566_21.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__570_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__571_22.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__575_28.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__580_21.min1.thm12017-02-06 12:44 2.4K 
[ ]projred2__581_16.min1.thm12017-02-06 12:44 962  
[ ]projred2__586_29.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__587_32.min1.thm12017-02-06 12:44 1.2K 
[ ]projred2__587_32.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]projred2__589_18.min1.thm12017-02-06 12:44 2.4K 
[ ]projred2__590_17.min1.thm12017-02-06 12:44 3.3K 
[ ]projred2__617_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__618_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__619_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__621_13.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__622_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__623_16.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__624_17.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__625_17.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__626_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__627_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__628_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__629_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__630_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__634_16.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__637_27.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__638_26.min1.thm12017-02-06 12:44 2.0K 
[ ]projred2__639_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__640_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__642_14.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__647_15.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__648_22.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__649_18.min1.thm12017-02-06 12:44 1.7K 
[ ]projred2__652_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__654_12.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__658_18.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__661_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__665_16.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__668_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__669_11.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__671_13.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__672_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__673_12.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__677_17.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__680_17.min1.thm12017-02-06 12:44 2.2K 
[ ]projred2__707_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__708_23.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__709_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__710_17.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__711_27.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__712_16.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__713_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__714_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__715_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__716_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__718_12.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__719_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__720_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__721_16.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__722_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__723_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__724_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__725_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__726_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__730_18.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__733_27.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__734_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__736_13.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__741_15.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__742_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__743_25.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__746_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__747_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__749_12.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__750_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__751_15.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__753_15.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__757_16.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__760_15.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__762_14.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__763_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__767_18.min1.thm12017-02-06 12:44 1.7K 
[ ]projred2__770_12.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__774_20.min1.thm12017-02-06 12:44 1.7K 
[ ]projred2__777_17.min1.thm12017-02-06 12:44 562  
[ ]projred2__804_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__805_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__806_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__808_13.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__809_17.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__810_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__811_16.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__812_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__813_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__814_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__815_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__817_13.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__818_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__819_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__820_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__821_17.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__822_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__823_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__825_12.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__830_15.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__831_22.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__834_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__835_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__839_17.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__842_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__844_13.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__849_15.min1.thm12017-02-06 12:44 1.7K 
[ ]projred2__850_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__851_23.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__852_18.min1.thm12017-02-06 12:44 1.7K 
[ ]projred2__855_9.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__857_13.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__858_13.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__862_17.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__865_17.min1.thm12017-02-06 12:44 2.7K 
[ ]projred2__893_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__894_23.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__895_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__896_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__897_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__899_12.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__900_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__905_15.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__906_23.min1.thm12017-02-06 12:44 1.9K 
[ ]projred2__907_18.min1.thm12017-02-06 12:44 1.7K 
[ ]projred2__908_15.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__911_17.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__912_13.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__913_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__914_17.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__915_16.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__916_24.min1.thm12017-02-06 12:44 2.0K 
[ ]projred2__917_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__918_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__919_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__920_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__921_11.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__923_12.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__925_13.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__930_15.min1.thm12017-02-06 12:44 1.7K 
[ ]projred2__931_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__932_23.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__935_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__936_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__937_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__938_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__942_18.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__943_15.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__946_25.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__947_28.min1.thm12017-02-06 12:44 2.0K 
[ ]projred2__948_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__949_27.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__950_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__951_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__955_16.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__958_15.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__960_14.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__964_16.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__967_10.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__968_16.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__969_17.min1.thm12017-02-06 12:44 1.9K 
[ ]projred2__990_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__993_14.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__995_25.min1.thm12017-02-06 12:44 969  
[ ]projred2__997_25.min1.thm12017-02-06 12:44 969  
[ ]projred2__1000_16.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__1003_15.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__1005_27.min1.thm12017-02-06 12:44 972  
[ ]projred2__1008_15.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__1013_23.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1014_39.min1.thm12017-02-06 12:44 2.2K 
[ ]projred2__1015_31.min1.thm12017-02-06 12:44 1.7K 
[ ]projred2__1016_35.min1.thm12017-02-06 12:44 2.4K 
[ ]projred2__1023_19.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__1025_17.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__1043_13.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__1044_19.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1047_14.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__1049_25.min1.thm12017-02-06 12:44 969  
[ ]projred2__1052_16.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__1053_22.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1057_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__1058_18.min1.thm12017-02-06 12:44 1.2K 
[ ]projred2__1059_21.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1060_18.min1.thm12017-02-06 12:44 1.2K 
[ ]projred2__1061_21.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1063_26.min1.thm12017-02-06 12:44 969  
[ ]projred2__1066_17.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__1067_24.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1070_14.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__1072_27.min1.thm12017-02-06 12:44 972  
[ ]projred2__1073_22.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1074_24.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1075_22.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1076_20.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1079_14.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__1080_23.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1081_20.min1.thm12017-02-06 12:44 1.2K 
[ ]projred2__1082_22.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1085_23.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1086_20.min1.thm12017-02-06 12:44 1.2K 
[ ]projred2__1090_17.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__1122_66.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__1127_44.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__1136_42.min1.thm12017-02-06 12:44 570  
[ ]projred2__1136_42.min1.thm1.tptp2017-02-06 16:47 478  
[ ]projred2__1137_36.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__1138_36.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__1139_72.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__1141_41.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__1142_43.min1.thm12017-02-06 12:44 2.5K 
[ ]projred2__1143_45.min1.thm12017-02-06 12:44 2.2K 
[ ]projred2__1144_42.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__1145_40.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__1176_13.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__1178_13.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__1181_15.min1.thm12017-02-06 12:44 1.7K 
[ ]projred2__1184_12.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__1187_15.min1.thm12017-02-06 12:44 1.7K 
[ ]projred2__1192_23.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__1193_25.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__1195_23.min1.thm12017-02-06 12:44 2.3K 
[ ]projred2__1196_9.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__1198_36.min1.thm12017-02-06 12:44 649  
[ ]projred2__1199_13.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__1206_52.min1.thm12017-02-06 12:44 2.2K 
[ ]projred2__1207_19.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1208_15.min1.thm12017-02-06 12:44 1.9K 
[ ]projred2__1209_47.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__1212_14.min1.thm12017-02-06 12:44 1.9K 
[ ]projred2__1215_16.min1.thm12017-02-06 12:44 1.9K 
[ ]projred2__1219_38.min1.thm12017-02-06 12:44 2.2K 
[ ]projred2__1222_21.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1223_37.min1.thm12017-02-06 12:44 2.1K 
[ ]projred2__1224_42.min1.thm12017-02-06 12:44 2.1K 
[ ]projred2__1225_37.min1.thm12017-02-06 12:44 2.2K 
[ ]projred2__1228_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__1229_28.min1.thm12017-02-06 12:44 1.4K 
[ ]projred2__1237_14.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__1238_12.min1.thm12017-02-06 12:44 1.9K 
[ ]projred2__1242_17.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1244_21.min1.thm12017-02-06 12:44 2.4K 
[ ]projred2__1245_16.min1.thm12017-02-06 12:44 954  
[ ]projred2__1250_29.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__1251_34.min1.thm12017-02-06 12:44 1.2K 
[ ]projred2__1251_34.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]projred2__1253_18.min1.thm12017-02-06 12:44 2.3K 
[ ]projred2__1254_17.min1.thm12017-02-06 12:44 3.2K 
[ ]projred2__1275_14.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__1277_25.min1.thm12017-02-06 12:44 969  
[ ]projred2__1279_25.min1.thm12017-02-06 12:44 969  
[ ]projred2__1282_15.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__1284_25.min1.thm12017-02-06 12:44 969  
[ ]projred2__1287_17.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__1290_16.min1.thm12017-02-06 12:44 969  
[ ]projred2__1292_35.min1.thm12017-02-06 12:44 2.3K 
[ ]projred2__1293_23.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1294_39.min1.thm12017-02-06 12:44 2.1K 
[ ]projred2__1297_31.min1.thm12017-02-06 12:44 1.7K 
[ ]projred2__1304_19.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__1306_17.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1327_14.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__1328_20.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1331_14.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__1333_25.min1.thm12017-02-06 12:44 969  
[ ]projred2__1336_16.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__1337_22.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1338_22.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1339_21.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1340_21.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1342_26.min1.thm12017-02-06 12:44 969  
[ ]projred2__1343_20.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1344_18.min1.thm12017-02-06 12:44 1.2K 
[ ]projred2__1345_18.min1.thm12017-02-06 12:44 1.2K 
[ ]projred2__1347_25.min1.thm12017-02-06 12:44 969  
[ ]projred2__1350_14.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__1351_22.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1354_17.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__1355_24.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1356_23.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1357_23.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1358_24.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1361_16.min1.thm12017-02-06 12:44 969  
[ ]projred2__1362_20.min1.thm12017-02-06 12:44 1.2K 
[ ]projred2__1363_20.min1.thm12017-02-06 12:44 1.2K 
[ ]projred2__1364_22.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1371_17.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__1381_22.min1.thm12017-02-06 12:44 1.0K 
[ ]projred2__1392_32.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1394_27.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__1394_27.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]projred2__1403_32.min1.thm12017-02-06 12:44 1.5K 
[ ]projred2__1405_26.min1.thm12017-02-06 12:44 1.1K 
[ ]projred2__1405_26.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]projred2__1407_17.min1.thm12017-02-06 12:44 1.9K 
[ ]projred2__1407_17.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]projred2__1425_66.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__1430_44.min1.thm12017-02-06 12:44 1.3K 
[ ]projred2__1439_67.min1.thm12017-02-06 12:44 1.8K 
[ ]projred2__1442_56.min1.thm12017-02-06 12:44 636  
[ ]projred2__1443_73.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__1445_41.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__1446_43.min1.thm12017-02-06 12:44 2.5K 
[ ]projred2__1447_41.min1.thm12017-02-06 12:44 2.2K 
[ ]projred2__1448_40.min1.thm12017-02-06 12:44 1.6K 
[ ]projred2__1449_40.min1.thm12017-02-06 12:44 1.6K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80