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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sheffer2__41_13.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__42_19.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__52_15.min1.thm12017-02-06 12:46 930  
[ ]sheffer2__65_44.min1.thm12017-02-06 12:46 2.1K 
[ ]sheffer2__66_17.min1.thm12017-02-06 12:46 2.6K 
[ ]sheffer2__76_44.min1.thm12017-02-06 12:46 1.9K 
[ ]sheffer2__77_17.min1.thm12017-02-06 12:46 2.3K 
[ ]sheffer2__87_32.min1.thm12017-02-06 12:46 1.5K 
[ ]sheffer2__88_17.min1.thm12017-02-06 12:46 2.0K 
[ ]sheffer2__96_56.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__97_17.min1.thm12017-02-06 12:46 2.1K 
[ ]sheffer2__104_56.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__105_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__112_30.min1.thm12017-02-06 12:46 757  
[ ]sheffer2__113_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__120_30.min1.thm12017-02-06 12:46 775  
[ ]sheffer2__121_17.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__130_26.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__131_17.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__139_70.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__140_17.min1.thm12017-02-06 12:46 2.4K 
[ ]sheffer2__149_4.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__150_17.min1.thm12017-02-06 12:46 1.9K 
[ ]sheffer2__158_32.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__159_17.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__167_20.min1.thm12017-02-06 12:46 753  
[ ]sheffer2__168_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__175_26.min1.thm12017-02-06 12:46 847  
[ ]sheffer2__176_17.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__183_36.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__184_17.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__191_30.min1.thm12017-02-06 12:46 911  
[ ]sheffer2__192_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__199_26.min1.thm12017-02-06 12:46 847  
[ ]sheffer2__200_17.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__207_32.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__208_17.min1.thm12017-02-06 12:46 1.5K 
[ ]sheffer2__216_26.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__217_17.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__224_50.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__225_17.min1.thm12017-02-06 12:46 1.5K 
[ ]sheffer2__232_30.min1.thm12017-02-06 12:46 911  
[ ]sheffer2__233_17.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__241_26.min1.thm12017-02-06 12:46 911  
[ ]sheffer2__242_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__250_14.min1.thm12017-02-06 12:46 911  
[ ]sheffer2__251_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__258_18.min1.thm12017-02-06 12:46 783  
[ ]sheffer2__259_17.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__266_18.min1.thm12017-02-06 12:46 783  
[ ]sheffer2__267_17.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__274_18.min1.thm12017-02-06 12:46 783  
[ ]sheffer2__275_17.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__282_32.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__283_17.min1.thm12017-02-06 12:46 1.5K 
[ ]sheffer2__291_26.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__292_17.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__300_20.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__301_17.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__311_14.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__312_17.min1.thm12017-02-06 12:46 1.8K 
[ ]sheffer2__319_18.min1.thm12017-02-06 12:46 783  
[ ]sheffer2__320_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__328_32.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__329_17.min1.thm12017-02-06 12:46 1.5K 
[ ]sheffer2__336_38.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__337_17.min1.thm12017-02-06 12:46 1.5K 
[ ]sheffer2__344_42.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__345_17.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__352_62.min1.thm12017-02-06 12:46 1.5K 
[ ]sheffer2__353_17.min1.thm12017-02-06 12:46 1.8K 
[ ]sheffer2__362_20.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__363_17.min1.thm12017-02-06 12:46 1.7K 
[ ]sheffer2__372_42.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__373_17.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__381_18.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__382_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__390_42.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__391_17.min1.thm12017-02-06 12:46 1.7K 
[ ]sheffer2__400_20.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__401_17.min1.thm12017-02-06 12:46 1.7K 
[ ]sheffer2__408_42.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__416_54.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__417_17.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__425_20.min1.thm12017-02-06 12:46 952  
[ ]sheffer2__426_17.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__435_30.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__436_17.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__443_30.min1.thm12017-02-06 12:46 911  
[ ]sheffer2__444_17.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__454_30.min1.thm12017-02-06 12:46 911  
[ ]sheffer2__455_17.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__463_65.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__464_17.min1.thm12017-02-06 12:46 1.9K 
[ ]sheffer2__472_30.min1.thm12017-02-06 12:46 911  
[ ]sheffer2__473_17.min1.thm12017-02-06 12:46 1.8K 
[ ]sheffer2__483_42.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__484_17.min1.thm12017-02-06 12:46 2.0K 
[ ]sheffer2__492_26.min1.thm12017-02-06 12:46 753  
[ ]sheffer2__493_17.min1.thm12017-02-06 12:46 1.5K 
[ ]sheffer2__503_30.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__504_17.min1.thm12017-02-06 12:46 2.3K 
[ ]sheffer2__514_26.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__515_17.min1.thm12017-02-06 12:46 1.9K 
[ ]sheffer2__522_26.min1.thm12017-02-06 12:46 847  
[ ]sheffer2__523_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__531_38.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__532_17.min1.thm12017-02-06 12:46 1.7K 
[ ]sheffer2__541_30.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__542_17.min1.thm12017-02-06 12:46 1.9K 
[ ]sheffer2__550_42.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__551_17.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__560_4.min1.thm12017-02-06 12:46 1.7K 
[ ]sheffer2__561_17.min1.thm12017-02-06 12:46 2.1K 
[ ]sheffer2__569_54.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__570_17.min1.thm12017-02-06 12:46 1.9K 
[ ]sheffer2__577_30.min1.thm12017-02-06 12:46 911  
[ ]sheffer2__578_17.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__586_20.min1.thm12017-02-06 12:46 952  
[ ]sheffer2__587_17.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__596_30.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__597_17.min1.thm12017-02-06 12:46 1.9K 
[ ]sheffer2__604_58.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__605_17.min1.thm12017-02-06 12:46 1.7K 
[ ]sheffer2__613_20.min1.thm12017-02-06 12:46 753  
[ ]sheffer2__614_17.min1.thm12017-02-06 12:46 1.5K 
[ ]sheffer2__622_46.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__623_17.min1.thm12017-02-06 12:46 1.8K 
[ ]sheffer2__631_30.min1.thm12017-02-06 12:46 952  
[ ]sheffer2__632_17.min1.thm12017-02-06 12:46 1.8K 
[ ]sheffer2__642_17.min1.thm12017-02-06 12:46 2.0K 
[ ]sheffer2__650_66.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__651_17.min1.thm12017-02-06 12:46 1.9K 
[ ]sheffer2__660_62.min1.thm12017-02-06 12:46 679  
[ ]sheffer2__661_17.min1.thm12017-02-06 12:46 642  
[ ]sheffer2__670_69.min1.thm12017-02-06 12:46 784  
[ ]sheffer2__671_17.min1.thm12017-02-06 12:46 788  
[ ]sheffer2__682_30.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__683_17.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__694_16.min1.thm12017-02-06 12:46 2.2K 
[ ]sheffer2__695_19.min1.thm12017-02-06 12:46 3.4K 
[ ]sheffer2__703_14.min1.thm12017-02-06 12:46 509  
[ ]sheffer2__708_14.min1.thm12017-02-06 12:46 802  
[ ]sheffer2__721_26.min1.thm12017-02-06 12:46 780  
[ ]sheffer2__722_17.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__729_26.min1.thm12017-02-06 12:46 780  
[ ]sheffer2__730_17.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__737_30.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__738_17.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__746_34.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__747_17.min1.thm12017-02-06 12:46 1.8K 
[ ]sheffer2__755_26.min1.thm12017-02-06 12:46 780  
[ ]sheffer2__756_17.min1.thm12017-02-06 12:46 1.9K 
[ ]sheffer2__764_30.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__765_17.min1.thm12017-02-06 12:46 1.8K 
[ ]sheffer2__772_26.min1.thm12017-02-06 12:46 780  
[ ]sheffer2__773_17.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__780_30.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__781_17.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__788_30.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__789_17.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__796_32.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__797_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__805_70.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__807_17.min1.thm12017-02-06 12:46 2.1K 
[ ]sheffer2__815_70.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__816_38.min1.thm12017-02-06 12:46 1.8K 
[ ]sheffer2__818_14.min1.thm12017-02-06 12:46 694  
[ ]sheffer2__825_26.min1.thm12017-02-06 12:46 780  
[ ]sheffer2__826_17.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__833_26.min1.thm12017-02-06 12:46 780  
[ ]sheffer2__834_17.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__842_26.min1.thm12017-02-06 12:46 780  
[ ]sheffer2__843_17.min1.thm12017-02-06 12:46 2.0K 
[ ]sheffer2__851_26.min1.thm12017-02-06 12:46 780  
[ ]sheffer2__852_17.min1.thm12017-02-06 12:46 1.7K 
[ ]sheffer2__859_26.min1.thm12017-02-06 12:46 780  
[ ]sheffer2__860_17.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__867_26.min1.thm12017-02-06 12:46 780  
[ ]sheffer2__868_17.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__876_48.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__877_17.min1.thm12017-02-06 12:46 2.2K 
[ ]sheffer2__885_66.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__886_62.min1.thm12017-02-06 12:46 2.0K 
[ ]sheffer2__888_14.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__888_14.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]sheffer2__896_30.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__897_17.min1.thm12017-02-06 12:46 1.9K 
[ ]sheffer2__904_38.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__905_17.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__912_26.min1.thm12017-02-06 12:46 780  
[ ]sheffer2__913_17.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__922_70.min1.thm12017-02-06 12:46 1.5K 
[ ]sheffer2__924_17.min1.thm12017-02-06 12:46 2.7K 
[ ]sheffer2__933_15.min1.thm12017-02-06 12:46 1.8K 
[ ]sheffer2__934_17.min1.thm12017-02-06 12:46 2.5K 
[ ]sheffer2__942_30.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__943_17.min1.thm12017-02-06 12:46 2.0K 
[ ]sheffer2__950_38.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__951_17.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__958_26.min1.thm12017-02-06 12:46 798  
[ ]sheffer2__959_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__968_70.min1.thm12017-02-06 12:46 1.5K 
[ ]sheffer2__970_17.min1.thm12017-02-06 12:46 2.8K 
[ ]sheffer2__979_15.min1.thm12017-02-06 12:46 1.7K 
[ ]sheffer2__980_17.min1.thm12017-02-06 12:46 2.6K 
[ ]sheffer2__988_26.min1.thm12017-02-06 12:46 798  
[ ]sheffer2__989_17.min1.thm12017-02-06 12:46 1.8K 
[ ]sheffer2__996_30.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__997_17.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__1004_18.min1.thm12017-02-06 12:46 906  
[ ]sheffer2__1005_17.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__1012_30.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__1013_17.min1.thm12017-02-06 12:46 1.7K 
[ ]sheffer2__1020_32.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__1021_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__1028_30.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__1029_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__1036_30.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__1037_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__1044_30.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__1045_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__1052_32.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__1053_17.min1.thm12017-02-06 12:46 1.7K 
[ ]sheffer2__1060_18.min1.thm12017-02-06 12:46 906  
[ ]sheffer2__1061_17.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__1070_68.min1.thm12017-02-06 12:46 1.5K 
[ ]sheffer2__1071_17.min1.thm12017-02-06 12:46 2.8K 
[ ]sheffer2__1079_66.min1.thm12017-02-06 12:46 1.5K 
[ ]sheffer2__1080_17.min1.thm12017-02-06 12:46 2.8K 
[ ]sheffer2__1087_30.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__1088_17.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__1095_30.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__1096_17.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__1104_30.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__1105_17.min1.thm12017-02-06 12:46 1.8K 
[ ]sheffer2__1115_4.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__1116_17.min1.thm12017-02-06 12:46 2.8K 
[ ]sheffer2__1124_26.min1.thm12017-02-06 12:46 798  
[ ]sheffer2__1125_17.min1.thm12017-02-06 12:46 2.3K 
[ ]sheffer2__1134_74.min1.thm12017-02-06 12:46 1.5K 
[ ]sheffer2__1136_17.min1.thm12017-02-06 12:46 2.8K 
[ ]sheffer2__1144_70.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__1146_17.min1.thm12017-02-06 12:46 2.2K 
[ ]sheffer2__1154_72.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__1155_38.min1.thm12017-02-06 12:46 1.8K 
[ ]sheffer2__1157_14.min1.thm12017-02-06 12:46 709  
[ ]sheffer2__1164_30.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__1165_17.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__1172_32.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__1173_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__1180_32.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__1181_17.min1.thm12017-02-06 12:46 1.7K 
[ ]sheffer2__1189_26.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__1190_17.min1.thm12017-02-06 12:46 2.1K 
[ ]sheffer2__1198_32.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__1199_17.min1.thm12017-02-06 12:46 2.2K 
[ ]sheffer2__1206_32.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__1207_17.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__1214_60.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__1215_17.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__1224_32.min1.thm12017-02-06 12:46 1.9K 
[ ]sheffer2__1225_52.min1.thm12017-02-06 12:46 2.5K 
[ ]sheffer2__1227_14.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__1227_14.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]sheffer2__1235_46.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__1236_58.min1.thm12017-02-06 12:46 1.8K 
[ ]sheffer2__1238_14.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__1238_14.min1.thm1.tptp2017-02-06 16:47 934  
[ ]sheffer2__1246_52.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__1247_17.min1.thm12017-02-06 12:46 2.3K 
[ ]sheffer2__1255_56.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__1256_17.min1.thm12017-02-06 12:46 2.1K 
[ ]sheffer2__1263_32.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__1264_17.min1.thm12017-02-06 12:46 1.5K 
[ ]sheffer2__1271_18.min1.thm12017-02-06 12:46 906  
[ ]sheffer2__1272_17.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__1279_44.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__1280_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__1287_34.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__1288_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__1295_46.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__1296_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__1303_32.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__1304_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__1314_10.min1.thm12017-02-06 12:46 1.8K 
[ ]sheffer2__1315_17.min1.thm12017-02-06 12:46 3.3K 
[ ]sheffer2__1325_48.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__1327_63.min1.thm12017-02-06 12:46 3.0K 
[ ]sheffer2__1329_14.min1.thm12017-02-06 12:46 2.0K 
[ ]sheffer2__1329_14.min1.thm1.tptp2017-02-06 16:47 2.0K 
[ ]sheffer2__1337_48.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__1338_17.min1.thm12017-02-06 12:46 2.5K 
[ ]sheffer2__1348_9.min1.thm12017-02-06 12:46 1.8K 
[ ]sheffer2__1349_17.min1.thm12017-02-06 12:46 3.5K 
[ ]sheffer2__1358_28.min1.thm12017-02-06 12:46 2.0K 
[ ]sheffer2__1359_17.min1.thm12017-02-06 12:46 3.3K 
[ ]sheffer2__1368_34.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__1371_27.min1.thm12017-02-06 12:46 2.5K 
[ ]sheffer2__1373_14.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__1373_14.min1.thm1.tptp2017-02-06 16:47 1.6K 
[ ]sheffer2__1380_44.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__1381_17.min1.thm12017-02-06 12:46 2.0K 
[ ]sheffer2__1390_6.min1.thm12017-02-06 12:46 1.8K 
[ ]sheffer2__1391_17.min1.thm12017-02-06 12:46 2.4K 
[ ]sheffer2__1399_72.min1.thm12017-02-06 12:46 1.6K 
[ ]sheffer2__1400_17.min1.thm12017-02-06 12:46 2.4K 
[ ]sheffer2__1408_28.min1.thm12017-02-06 12:46 1.9K 
[ ]sheffer2__1409_17.min1.thm12017-02-06 12:46 2.2K 
[ ]sheffer2__1418_6.min1.thm12017-02-06 12:46 1.8K 
[ ]sheffer2__1419_17.min1.thm12017-02-06 12:46 2.2K 
[ ]sheffer2__1428_12.min1.thm12017-02-06 12:46 2.0K 
[ ]sheffer2__1429_50.min1.thm12017-02-06 12:46 2.2K 
[ ]sheffer2__1431_14.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__1431_14.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]sheffer2__1441_9.min1.thm12017-02-06 12:46 1.8K 
[ ]sheffer2__1442_17.min1.thm12017-02-06 12:46 3.2K 
[ ]sheffer2__1451_25.min1.thm12017-02-06 12:46 2.2K 
[ ]sheffer2__1452_17.min1.thm12017-02-06 12:46 3.1K 
[ ]sheffer2__1461_78.min1.thm12017-02-06 12:46 2.5K 
[ ]sheffer2__1463_17.min1.thm12017-02-06 12:46 3.0K 
[ ]sheffer2__1471_52.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__1472_38.min1.thm12017-02-06 12:46 1.9K 
[ ]sheffer2__1481_30.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__1482_17.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__1489_30.min1.thm12017-02-06 12:46 1.1K 
[ ]sheffer2__1490_17.min1.thm12017-02-06 12:46 1.5K 
[ ]sheffer2__1498_38.min1.thm12017-02-06 12:46 1.2K 
[ ]sheffer2__1499_17.min1.thm12017-02-06 12:46 2.1K 
[ ]sheffer2__1507_52.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__1508_44.min1.thm12017-02-06 12:46 1.9K 
[ ]sheffer2__1510_14.min1.thm12017-02-06 12:46 955  
[ ]sheffer2__1510_14.min1.thm1.tptp2017-02-06 16:47 926  
[ ]sheffer2__1518_44.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__1519_17.min1.thm12017-02-06 12:46 2.3K 
[ ]sheffer2__1528_28.min1.thm12017-02-06 12:46 2.0K 
[ ]sheffer2__1529_17.min1.thm12017-02-06 12:46 2.8K 
[ ]sheffer2__1537_52.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__1538_17.min1.thm12017-02-06 12:46 2.2K 
[ ]sheffer2__1546_46.min1.thm12017-02-06 12:46 1.3K 
[ ]sheffer2__1547_40.min1.thm12017-02-06 12:46 1.8K 
[ ]sheffer2__1549_14.min1.thm12017-02-06 12:46 889  
[ ]sheffer2__1549_14.min1.thm1.tptp2017-02-06 16:47 860  
[ ]sheffer2__1557_32.min1.thm12017-02-06 12:46 1.0K 
[ ]sheffer2__1558_50.min1.thm12017-02-06 12:46 1.4K 
[ ]sheffer2__1565_14.min1.thm12017-02-06 12:46 396  
[ ]sheffer2__1568_14.min1.thm12017-02-06 12:46 582  
[ ]sheffer2__1575_11.min1.thm12017-02-06 12:46 716  
[ ]sheffer2__1578_11.min1.thm12017-02-06 12:46 752  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80