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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]projred1__39_17.min1.thm12017-02-06 12:44 644  
[ ]projred1__39_17.min1.thm1.tptp2017-02-06 16:47 593  
[ ]projred1__49_15.min1.thm12017-02-06 12:44 1.1K 
[ ]projred1__50_33.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__51_18.min1.thm12017-02-06 12:44 585  
[ ]projred1__53_16.min1.thm12017-02-06 12:44 358  
[ ]projred1__55_17.min1.thm12017-02-06 12:44 571  
[ ]projred1__62_17.min1.thm12017-02-06 12:44 644  
[ ]projred1__62_17.min1.thm1.tptp2017-02-06 16:47 593  
[ ]projred1__71_15.min1.thm12017-02-06 12:44 1.1K 
[ ]projred1__76_26.min1.thm12017-02-06 12:44 904  
[ ]projred1__78_26.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__79_20.min1.thm12017-02-06 12:44 434  
[ ]projred1__79_20.min1.thm1.tptp2017-02-06 16:47 351  
[ ]projred1__83_26.min1.thm12017-02-06 12:44 904  
[ ]projred1__85_26.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__86_20.min1.thm12017-02-06 12:44 434  
[ ]projred1__86_20.min1.thm1.tptp2017-02-06 16:47 351  
[ ]projred1__88_21.min1.thm12017-02-06 12:44 655  
[ ]projred1__90_16.min1.thm12017-02-06 12:44 507  
[ ]projred1__90_16.min1.thm1.tptp2017-02-06 16:47 435  
[ ]projred1__92_14.min1.thm12017-02-06 12:44 354  
[ ]projred1__103_11.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__109_11.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__113_31.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__114_29.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__115_17.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__122_22.min1.thm12017-02-06 12:44 886  
[ ]projred1__124_17.min1.thm12017-02-06 12:44 761  
[ ]projred1__127_13.min1.thm12017-02-06 12:44 886  
[ ]projred1__131_17.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__134_13.min1.thm12017-02-06 12:44 887  
[ ]projred1__135_15.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__136_17.min1.thm12017-02-06 12:44 961  
[ ]projred1__143_17.min1.thm12017-02-06 12:44 761  
[ ]projred1__150_14.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__152_25.min1.thm12017-02-06 12:44 887  
[ ]projred1__153_19.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__155_26.min1.thm12017-02-06 12:44 887  
[ ]projred1__157_26.min1.thm12017-02-06 12:44 887  
[ ]projred1__158_20.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__159_17.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__160_17.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__173_17.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__175_22.min1.thm12017-02-06 12:44 900  
[ ]projred1__177_53.min1.thm12017-02-06 12:44 1.1K 
[ ]projred1__179_17.min1.thm12017-02-06 12:44 2.3K 
[ ]projred1__180_16.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__186_25.min1.thm12017-02-06 12:44 763  
[ ]projred1__187_19.min1.thm12017-02-06 12:44 471  
[ ]projred1__187_19.min1.thm1.tptp2017-02-06 16:47 396  
[ ]projred1__189_17.min1.thm12017-02-06 12:44 714  
[ ]projred1__189_17.min1.thm1.tptp2017-02-06 16:47 655  
[ ]projred1__201_11.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__203_16.min1.thm12017-02-06 12:44 268  
[ ]projred1__211_31.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__212_46.min1.thm12017-02-06 12:44 477  
[ ]projred1__213_17.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__221_22.min1.thm12017-02-06 12:44 888  
[ ]projred1__223_29.min1.thm12017-02-06 12:44 1.1K 
[ ]projred1__225_17.min1.thm12017-02-06 12:44 769  
[ ]projred1__227_22.min1.thm12017-02-06 12:44 900  
[ ]projred1__228_32.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__229_16.min1.thm12017-02-06 12:44 528  
[ ]projred1__229_16.min1.thm1.tptp2017-02-06 16:47 443  
[ ]projred1__231_14.min1.thm12017-02-06 12:44 452  
[ ]projred1__244_13.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__255_13.min1.thm12017-02-06 12:44 1.2K 
[ ]projred1__256_20.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__257_17.min1.thm12017-02-06 12:44 1.9K 
[ ]projred1__286_25.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__287_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__288_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__289_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__290_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__291_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__292_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__293_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__294_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__295_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__296_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__297_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__298_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__299_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__300_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__308_17.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__310_24.min1.thm12017-02-06 12:44 945  
[ ]projred1__314_27.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__315_27.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__316_28.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__317_28.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__318_28.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__319_26.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__320_17.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__321_26.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__322_20.min1.thm12017-02-06 12:44 2.5K 
[ ]projred1__324_13.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__325_26.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__326_20.min1.thm12017-02-06 12:44 2.6K 
[ ]projred1__327_19.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__328_27.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__331_28.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__332_25.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__333_28.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__334_27.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__335_17.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__336_28.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__337_27.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__340_22.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__341_20.min1.thm12017-02-06 12:44 2.6K 
[ ]projred1__343_13.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__345_27.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__346_26.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__347_20.min1.thm12017-02-06 12:44 2.5K 
[ ]projred1__348_27.min1.thm12017-02-06 12:44 2.0K 
[ ]projred1__349_28.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__351_19.min1.thm12017-02-06 12:44 802  
[ ]projred1__351_19.min1.thm1.tptp2017-02-06 16:47 741  
[ ]projred1__353_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__354_14.min1.thm12017-02-06 12:44 363  
[ ]projred1__354_14.min1.thm1.tptp2017-02-06 16:47 292  
[ ]projred1__355_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__356_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__357_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__358_14.min1.thm12017-02-06 12:44 363  
[ ]projred1__358_14.min1.thm1.tptp2017-02-06 16:47 292  
[ ]projred1__359_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__360_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__361_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__362_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__363_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__364_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__374_30.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__375_30.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__376_30.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__377_29.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__378_27.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__382_19.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__383_30.min1.thm12017-02-06 12:44 1.9K 
[ ]projred1__384_22.min1.thm12017-02-06 12:44 2.6K 
[ ]projred1__386_15.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__387_29.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__388_27.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__389_19.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__390_22.min1.thm12017-02-06 12:44 2.6K 
[ ]projred1__391_29.min1.thm12017-02-06 12:44 2.0K 
[ ]projred1__392_30.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__395_29.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__396_30.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__397_19.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__399_26.min1.thm12017-02-06 12:44 947  
[ ]projred1__403_30.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__404_27.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__405_22.min1.thm12017-02-06 12:44 2.6K 
[ ]projred1__407_15.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__408_25.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__410_19.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__411_29.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__413_21.min1.thm12017-02-06 12:44 808  
[ ]projred1__413_21.min1.thm1.tptp2017-02-06 16:47 747  
[ ]projred1__419_17.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__420_29.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__422_26.min1.thm12017-02-06 12:44 947  
[ ]projred1__423_27.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__424_30.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__425_30.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__428_24.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__429_22.min1.thm12017-02-06 12:44 2.6K 
[ ]projred1__431_15.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__433_16.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__434_19.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__435_29.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__440_25.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__443_15.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__444_25.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__446_29.min1.thm12017-02-06 12:44 2.0K 
[ ]projred1__447_30.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__449_21.min1.thm12017-02-06 12:44 808  
[ ]projred1__449_21.min1.thm1.tptp2017-02-06 16:47 747  
[ ]projred1__451_19.min1.thm12017-02-06 12:44 802  
[ ]projred1__451_19.min1.thm1.tptp2017-02-06 16:47 741  
[ ]projred1__453_15.min1.thm12017-02-06 12:44 363  
[ ]projred1__453_15.min1.thm1.tptp2017-02-06 16:47 292  
[ ]projred1__454_17.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__461_17.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__464_21.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__466_15.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__467_30.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__468_29.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__469_30.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__471_26.min1.thm12017-02-06 12:44 947  
[ ]projred1__472_27.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__474_19.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__475_22.min1.thm12017-02-06 12:44 2.6K 
[ ]projred1__476_19.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__477_29.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__484_25.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__487_15.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__488_25.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__490_29.min1.thm12017-02-06 12:44 2.0K 
[ ]projred1__491_30.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__493_21.min1.thm12017-02-06 12:44 808  
[ ]projred1__493_21.min1.thm1.tptp2017-02-06 16:47 747  
[ ]projred1__498_14.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__499_23.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__502_13.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__504_24.min1.thm12017-02-06 12:44 945  
[ ]projred1__506_15.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__507_17.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__508_27.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__510_19.min1.thm12017-02-06 12:44 802  
[ ]projred1__510_19.min1.thm1.tptp2017-02-06 16:47 741  
[ ]projred1__512_15.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__522_16.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__523_24.min1.thm12017-02-06 12:44 2.4K 
[ ]projred1__526_14.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__528_26.min1.thm12017-02-06 12:44 947  
[ ]projred1__530_16.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__531_19.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__532_29.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__535_24.min1.thm12017-02-06 12:44 2.4K 
[ ]projred1__538_14.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__541_16.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__543_16.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__544_30.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__546_21.min1.thm12017-02-06 12:44 808  
[ ]projred1__546_21.min1.thm1.tptp2017-02-06 16:47 747  
[ ]projred1__555_16.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__557_16.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__559_15.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__560_16.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__561_29.min1.thm12017-02-06 12:44 2.1K 
[ ]projred1__562_30.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__567_25.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__570_15.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__571_25.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__573_29.min1.thm12017-02-06 12:44 2.0K 
[ ]projred1__574_30.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__576_21.min1.thm12017-02-06 12:44 808  
[ ]projred1__576_21.min1.thm1.tptp2017-02-06 16:47 747  
[ ]projred1__578_19.min1.thm12017-02-06 12:44 802  
[ ]projred1__578_19.min1.thm1.tptp2017-02-06 16:47 741  
[ ]projred1__581_28.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__582_27.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__583_28.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__584_27.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__585_27.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__586_16.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__588_24.min1.thm12017-02-06 12:44 943  
[ ]projred1__596_15.min1.thm12017-02-06 12:44 365  
[ ]projred1__596_15.min1.thm1.tptp2017-02-06 16:47 294  
[ ]projred1__597_15.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__598_18.min1.thm12017-02-06 12:44 2.6K 
[ ]projred1__600_15.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__601_17.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__602_24.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__603_18.min1.thm12017-02-06 12:44 2.5K 
[ ]projred1__604_17.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__605_25.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__625_13.min1.thm12017-02-06 12:44 452  
[ ]projred1__632_18.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__635_14.min1.thm12017-02-06 12:44 919  
[ ]projred1__639_12.min1.thm12017-02-06 12:44 1.1K 
[ ]projred1__641_19.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__652_14.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__656_19.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__668_26.min1.thm12017-02-06 12:44 929  
[ ]projred1__672_24.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__679_49.min1.thm12017-02-06 12:44 941  
[ ]projred1__683_26.min1.thm12017-02-06 12:44 929  
[ ]projred1__687_49.min1.thm12017-02-06 12:44 924  
[ ]projred1__689_58.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__694_35.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__697_35.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__700_35.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__703_35.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__704_11.min1.thm12017-02-06 12:44 417  
[ ]projred1__704_11.min1.thm1.tptp2017-02-06 16:47 349  
[ ]projred1__706_12.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__707_11.min1.thm12017-02-06 12:44 417  
[ ]projred1__707_11.min1.thm1.tptp2017-02-06 16:47 349  
[ ]projred1__709_12.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__710_11.min1.thm12017-02-06 12:44 417  
[ ]projred1__710_11.min1.thm1.tptp2017-02-06 16:47 349  
[ ]projred1__712_12.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__713_12.min1.thm12017-02-06 12:44 417  
[ ]projred1__713_12.min1.thm1.tptp2017-02-06 16:47 349  
[ ]projred1__715_12.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__716_11.min1.thm12017-02-06 12:44 417  
[ ]projred1__716_11.min1.thm1.tptp2017-02-06 16:47 349  
[ ]projred1__718_12.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__719_11.min1.thm12017-02-06 12:44 417  
[ ]projred1__719_11.min1.thm1.tptp2017-02-06 16:47 349  
[ ]projred1__720_16.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__721_42.min1.thm12017-02-06 12:44 811  
[ ]projred1__722_19.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__724_17.min1.thm12017-02-06 12:44 1.9K 
[ ]projred1__736_13.min1.thm12017-02-06 12:44 767  
[ ]projred1__738_13.min1.thm12017-02-06 12:44 767  
[ ]projred1__741_13.min1.thm12017-02-06 12:44 905  
[ ]projred1__743_46.min1.thm12017-02-06 12:44 2.8K 
[ ]projred1__744_17.min1.thm12017-02-06 12:44 2.5K 
[ ]projred1__758_17.min1.thm12017-02-06 12:44 685  
[ ]projred1__758_17.min1.thm1.tptp2017-02-06 16:47 634  
[ ]projred1__765_13.min1.thm12017-02-06 12:44 1.1K 
[ ]projred1__768_13.min1.thm12017-02-06 12:44 936  
[ ]projred1__772_12.min1.thm12017-02-06 12:44 1.1K 
[ ]projred1__775_14.min1.thm12017-02-06 12:44 936  
[ ]projred1__778_14.min1.thm12017-02-06 12:44 936  
[ ]projred1__779_18.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__780_18.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__782_18.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__786_18.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__791_14.min1.thm12017-02-06 12:44 3.4K 
[ ]projred1__792_20.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__795_14.min1.thm12017-02-06 12:44 936  
[ ]projred1__798_14.min1.thm12017-02-06 12:44 936  
[ ]projred1__799_18.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__801_18.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__802_12.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__804_18.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__805_12.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__806_18.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__810_18.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__816_18.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__819_20.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__822_14.min1.thm12017-02-06 12:44 3.4K 
[ ]projred1__823_20.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__827_15.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__831_18.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__832_20.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__833_20.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__834_12.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__836_18.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__837_20.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__840_14.min1.thm12017-02-06 12:44 942  
[ ]projred1__841_9.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__843_12.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__844_18.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__845_20.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__848_14.min1.thm12017-02-06 12:44 3.4K 
[ ]projred1__849_9.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__851_12.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__852_20.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__853_18.min1.thm12017-02-06 12:44 1.2K 
[ ]projred1__859_14.min1.thm12017-02-06 12:44 939  
[ ]projred1__860_12.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__861_9.min1.thm12017-02-06 12:44 1.9K 
[ ]projred1__863_38.min1.thm12017-02-06 12:44 886  
[ ]projred1__864_9.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__865_40.min1.thm12017-02-06 12:44 1.1K 
[ ]projred1__911_13.min1.thm12017-02-06 12:44 1.1K 
[ ]projred1__912_20.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__913_17.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__941_13.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__942_20.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__943_17.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__951_27.min1.thm12017-02-06 12:44 1.2K 
[ ]projred1__951_27.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]projred1__980_37.min1.thm12017-02-06 12:44 370  
[ ]projred1__980_37.min1.thm1.tptp2017-02-06 16:47 292  
[ ]projred1__981_41.min1.thm12017-02-06 12:44 1.2K 
[ ]projred1__981_41.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]projred1__985_17.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__986_17.min1.thm12017-02-06 12:44 2.0K 
[ ]projred1__987_21.min1.thm12017-02-06 12:44 2.7K 
[ ]projred1__989_56.min1.thm12017-02-06 12:44 789  
[ ]projred1__989_56.min1.thm1.tptp2017-02-06 16:47 763  
[ ]projred1__996_35.min1.thm12017-02-06 12:44 889  
[ ]projred1__1003_26.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__1006_34.min1.thm12017-02-06 12:44 1.1K 
[ ]projred1__1007_23.min1.thm12017-02-06 12:44 2.0K 
[ ]projred1__1012_24.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__1013_20.min1.thm12017-02-06 12:44 697  
[ ]projred1__1015_21.min1.thm12017-02-06 12:44 697  
[ ]projred1__1015_21.min1.thm1.tptp2017-02-06 16:47 609  
[ ]projred1__1023_19.min1.thm12017-02-06 12:44 639  
[ ]projred1__1025_17.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__1027_21.min1.thm12017-02-06 12:44 939  
[ ]projred1__1027_21.min1.thm1.tptp2017-02-06 16:47 885  
[ ]projred1__1031_19.min1.thm12017-02-06 12:44 639  
[ ]projred1__1033_17.min1.thm12017-02-06 12:44 1.3K 
[ ]projred1__1037_55.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__1037_55.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]projred1__1057_57.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__1058_17.min1.thm12017-02-06 12:44 749  
[ ]projred1__1059_23.min1.thm12017-02-06 12:44 749  
[ ]projred1__1065_57.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__1066_17.min1.thm12017-02-06 12:44 749  
[ ]projred1__1067_23.min1.thm12017-02-06 12:44 749  
[ ]projred1__1069_21.min1.thm12017-02-06 12:44 781  
[ ]projred1__1069_21.min1.thm1.tptp2017-02-06 16:47 693  
[ ]projred1__1072_23.min1.thm12017-02-06 12:44 538  
[ ]projred1__1072_23.min1.thm1.tptp2017-02-06 16:47 478  
[ ]projred1__1077_26.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__1079_27.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__1082_15.min1.thm12017-02-06 12:44 649  
[ ]projred1__1083_23.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__1084_21.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__1096_30.min1.thm12017-02-06 12:44 965  
[ ]projred1__1106_17.min1.thm12017-02-06 12:44 2.0K 
[ ]projred1__1115_22.min1.thm12017-02-06 12:44 965  
[ ]projred1__1116_47.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__1128_27.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__1130_17.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__1149_44.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__1151_25.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__1154_15.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__1160_19.min1.thm12017-02-06 12:44 2.6K 
[ ]projred1__1162_67.min1.thm12017-02-06 12:44 880  
[ ]projred1__1162_67.min1.thm1.tptp2017-02-06 16:47 820  
[ ]projred1__1170_42.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__1175_27.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__1178_17.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__1183_21.min1.thm12017-02-06 12:44 2.1K 
[ ]projred1__1186_50.min1.thm12017-02-06 12:44 725  
[ ]projred1__1186_50.min1.thm1.tptp2017-02-06 16:47 661  
[ ]projred1__1187_67.min1.thm12017-02-06 12:44 2.3K 
[ ]projred1__1204_52.min1.thm12017-02-06 12:44 516  
[ ]projred1__1204_52.min1.thm1.tptp2017-02-06 16:47 430  
[ ]projred1__1205_14.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__1210_68.min1.thm12017-02-06 12:44 517  
[ ]projred1__1210_68.min1.thm1.tptp2017-02-06 16:47 431  
[ ]projred1__1211_12.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__1216_8.min1.thm12017-02-06 12:44 2.4K 
[ ]projred1__1217_17.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__1223_30.min1.thm12017-02-06 12:44 965  
[ ]projred1__1252_34.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__1253_68.min1.thm12017-02-06 12:44 2.1K 
[ ]projred1__1254_33.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__1255_19.min1.thm12017-02-06 12:44 1.9K 
[ ]projred1__1264_60.min1.thm12017-02-06 12:44 583  
[ ]projred1__1265_53.min1.thm12017-02-06 12:44 759  
[ ]projred1__1266_65.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__1268_23.min1.thm12017-02-06 12:44 3.0K 
[ ]projred1__1277_44.min1.thm12017-02-06 12:44 583  
[ ]projred1__1278_53.min1.thm12017-02-06 12:44 759  
[ ]projred1__1289_17.min1.thm12017-02-06 12:44 2.7K 
[ ]projred1__1291_62.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__1292_17.min1.thm12017-02-06 12:44 2.0K 
[ ]projred1__1293_23.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__1300_34.min1.thm12017-02-06 12:44 2.3K 
[ ]projred1__1301_41.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__1303_23.min1.thm12017-02-06 12:44 1.2K 
[ ]projred1__1306_48.min1.thm12017-02-06 12:44 896  
[ ]projred1__1308_26.min1.thm12017-02-06 12:44 2.7K 
[ ]projred1__1315_41.min1.thm12017-02-06 12:44 1.9K 
[ ]projred1__1317_23.min1.thm12017-02-06 12:44 1.2K 
[ ]projred1__1319_36.min1.thm12017-02-06 12:44 797  
[ ]projred1__1324_14.min1.thm12017-02-06 12:44 967  
[ ]projred1__1327_15.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__1328_70.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__1330_15.min1.thm12017-02-06 12:44 1.9K 
[ ]projred1__1331_59.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__1332_15.min1.thm12017-02-06 12:44 1.9K 
[ ]projred1__1336_14.min1.thm12017-02-06 12:44 1.1K 
[ ]projred1__1337_55.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__1338_15.min1.thm12017-02-06 12:44 1.9K 
[ ]projred1__1339_59.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__1340_15.min1.thm12017-02-06 12:44 1.9K 
[ ]projred1__1345_14.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__1346_32.min1.thm12017-02-06 12:44 969  
[ ]projred1__1349_14.min1.thm12017-02-06 12:44 2.3K 
[ ]projred1__1350_32.min1.thm12017-02-06 12:44 969  
[ ]projred1__1355_25.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__1358_14.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__1359_19.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__1366_15.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__1373_23.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__1374_20.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__1375_20.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__1376_21.min1.thm12017-02-06 12:44 2.5K 
[ ]projred1__1382_20.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__1399_44.min1.thm12017-02-06 12:44 583  
[ ]projred1__1400_53.min1.thm12017-02-06 12:44 759  
[ ]projred1__1401_67.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__1403_23.min1.thm12017-02-06 12:44 3.0K 
[ ]projred1__1415_20.min1.thm12017-02-06 12:44 2.8K 
[ ]projred1__1416_70.min1.thm12017-02-06 12:44 2.3K 
[ ]projred1__1418_54.min1.thm12017-02-06 12:44 2.1K 
[ ]projred1__1419_25.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__1432_38.min1.thm12017-02-06 12:44 1.9K 
[ ]projred1__1433_38.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__1437_25.min1.thm12017-02-06 12:44 2.7K 
[ ]projred1__1442_37.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__1445_22.min1.thm12017-02-06 12:44 1.9K 
[ ]projred1__1446_72.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__1450_67.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__1451_21.min1.thm12017-02-06 12:44 1.9K 
[ ]projred1__1452_67.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__1457_20.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__1461_30.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__1462_21.min1.thm12017-02-06 12:44 1.9K 
[ ]projred1__1467_28.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__1472_30.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__1476_26.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__1480_45.min1.thm12017-02-06 12:44 838  
[ ]projred1__1481_28.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__1482_28.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__1483_21.min1.thm12017-02-06 12:44 1.9K 
[ ]projred1__1485_28.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__1486_44.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__1487_20.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__1488_28.min1.thm12017-02-06 12:44 1.6K 
[ ]projred1__1492_21.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__1493_30.min1.thm12017-02-06 12:44 1.5K 
[ ]projred1__1496_22.min1.thm12017-02-06 12:44 798  
[ ]projred1__1503_53.min1.thm12017-02-06 12:44 2.9K 
[ ]projred1__1509_27.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__1510_24.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__1513_22.min1.thm12017-02-06 12:44 798  
[ ]projred1__1518_56.min1.thm12017-02-06 12:44 2.9K 
[ ]projred1__1521_23.min1.thm12017-02-06 12:44 2.1K 
[ ]projred1__1528_41.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__1530_23.min1.thm12017-02-06 12:44 1.2K 
[ ]projred1__1537_44.min1.thm12017-02-06 12:44 583  
[ ]projred1__1538_53.min1.thm12017-02-06 12:44 759  
[ ]projred1__1542_32.min1.thm12017-02-06 12:44 719  
[ ]projred1__1544_26.min1.thm12017-02-06 12:44 2.7K 
[ ]projred1__1550_35.min1.thm12017-02-06 12:44 2.3K 
[ ]projred1__1551_41.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__1553_23.min1.thm12017-02-06 12:44 1.2K 
[ ]projred1__1555_53.min1.thm12017-02-06 12:44 897  
[ ]projred1__1564_60.min1.thm12017-02-06 12:44 583  
[ ]projred1__1565_53.min1.thm12017-02-06 12:44 759  
[ ]projred1__1566_67.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__1568_23.min1.thm12017-02-06 12:44 3.0K 
[ ]projred1__1575_35.min1.thm12017-02-06 12:44 2.3K 
[ ]projred1__1576_41.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__1578_23.min1.thm12017-02-06 12:44 1.2K 
[ ]projred1__1581_48.min1.thm12017-02-06 12:44 896  
[ ]projred1__1583_26.min1.thm12017-02-06 12:44 2.7K 
[ ]projred1__1591_44.min1.thm12017-02-06 12:44 583  
[ ]projred1__1592_53.min1.thm12017-02-06 12:44 759  
[ ]projred1__1602_23.min1.thm12017-02-06 12:44 2.0K 
[ ]projred1__1610_41.min1.thm12017-02-06 12:44 1.9K 
[ ]projred1__1612_23.min1.thm12017-02-06 12:44 1.2K 
[ ]projred1__1614_36.min1.thm12017-02-06 12:44 797  
[ ]projred1__1617_19.min1.thm12017-02-06 12:44 2.0K 
[ ]projred1__1625_42.min1.thm12017-02-06 12:44 575  
[ ]projred1__1626_67.min1.thm12017-02-06 12:44 741  
[ ]projred1__1627_63.min1.thm12017-02-06 12:44 2.2K 
[ ]projred1__1629_21.min1.thm12017-02-06 12:44 3.0K 
[ ]projred1__1638_42.min1.thm12017-02-06 12:44 575  
[ ]projred1__1639_51.min1.thm12017-02-06 12:44 741  
[ ]projred1__1650_11.min1.thm12017-02-06 12:44 2.7K 
[ ]projred1__1652_61.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__1653_15.min1.thm12017-02-06 12:44 1.9K 
[ ]projred1__1654_62.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__1656_24.min1.thm12017-02-06 12:44 1.0K 
[ ]projred1__1657_15.min1.thm12017-02-06 12:44 1.9K 
[ ]projred1__1661_12.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__1666_12.min1.thm12017-02-06 12:44 1.7K 
[ ]projred1__1674_33.min1.thm12017-02-06 12:44 2.3K 
[ ]projred1__1675_39.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__1677_21.min1.thm12017-02-06 12:44 1.2K 
[ ]projred1__1680_48.min1.thm12017-02-06 12:44 890  
[ ]projred1__1682_20.min1.thm12017-02-06 12:44 2.7K 
[ ]projred1__1688_39.min1.thm12017-02-06 12:44 1.8K 
[ ]projred1__1690_21.min1.thm12017-02-06 12:44 1.2K 
[ ]projred1__1692_34.min1.thm12017-02-06 12:44 707  
[ ]projred1__1695_17.min1.thm12017-02-06 12:44 1.4K 
[ ]projred1__1695_17.min1.thm1.tptp2017-02-06 16:47 1.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80