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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lattice7__53_23.min1.thm12017-02-06 12:45 642  
[ ]lattice7__56_65.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice7__65_31.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__66_16.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__79_49.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice7__85_18.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__88_23.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__92_23.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice7__95_22.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__96_19.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__106_30.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__114_16.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__117_21.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__121_21.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice7__124_24.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__125_17.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice7__140_42.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice7__143_28.min1.thm12017-02-06 12:45 510  
[ ]lattice7__145_25.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice7__146_62.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__150_39.min1.thm12017-02-06 12:45 472  
[ ]lattice7__152_20.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice7__157_18.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice7__165_20.min1.thm12017-02-06 12:45 760  
[ ]lattice7__166_19.min1.thm12017-02-06 12:45 886  
[ ]lattice7__177_41.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__180_56.min1.thm12017-02-06 12:45 742  
[ ]lattice7__182_13.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice7__184_13.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice7__185_18.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__186_23.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice7__188_20.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice7__194_18.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice7__198_26.min1.thm12017-02-06 12:45 2.3K 
[ ]lattice7__210_43.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__212_23.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice7__216_41.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__217_22.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__218_22.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice7__219_21.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice7__221_17.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__222_14.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__223_23.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__227_41.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__228_22.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__229_22.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice7__230_21.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice7__232_17.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__233_14.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__234_23.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__238_43.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__239_14.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__240_22.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__241_23.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__244_16.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__244_16.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]lattice7__256_25.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__257_13.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice7__258_17.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice7__259_21.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__263_21.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice7__266_18.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__268_36.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice7__285_16.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice7__288_21.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice7__292_26.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__296_42.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__308_42.min1.thm12017-02-06 12:45 241  
[ ]lattice7__314_19.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice7__317_18.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__320_23.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice7__324_23.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice7__329_14.min1.thm12017-02-06 12:45 392  
[ ]lattice7__344_58.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__345_40.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice7__346_19.min1.thm12017-02-06 12:45 2.3K 
[ ]lattice7__351_22.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__354_44.min1.thm12017-02-06 12:45 667  
[ ]lattice7__354_44.min1.thm1.tptp2017-02-06 16:47 579  
[ ]lattice7__374_43.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__375_42.min1.thm12017-02-06 12:45 2.6K 
[ ]lattice7__377_25.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__379_20.min1.thm12017-02-06 12:45 554  
[ ]lattice7__387_30.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__388_25.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice7__390_20.min1.thm12017-02-06 12:45 554  
[ ]lattice7__392_21.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice7__398_19.min1.thm12017-02-06 12:45 759  
[ ]lattice7__407_18.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__410_23.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice7__414_23.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice7__417_51.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__418_18.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__419_38.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__425_28.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__428_17.min1.thm12017-02-06 12:45 487  
[ ]lattice7__428_17.min1.thm1.tptp2017-02-06 16:47 411  
[ ]lattice7__436_42.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice7__438_38.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice7__439_11.min1.thm12017-02-06 12:45 223  
[ ]lattice7__442_33.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__443_19.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice7__451_25.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__452_21.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__458_40.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__459_21.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__462_37.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice7__463_52.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__486_18.min1.thm12017-02-06 12:45 2.7K 
[ ]lattice7__493_39.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__495_25.min1.thm12017-02-06 12:45 606  
[ ]lattice7__497_23.min1.thm12017-02-06 12:45 664  
[ ]lattice7__501_20.min1.thm12017-02-06 12:45 252  
[ ]lattice7__504_16.min1.thm12017-02-06 12:45 474  
[ ]lattice7__514_15.min1.thm12017-02-06 12:45 314  
[ ]lattice7__515_42.min1.thm12017-02-06 12:45 563  
[ ]lattice7__515_42.min1.thm1.tptp2017-02-06 16:47 486  
[ ]lattice7__518_14.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice7__520_17.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__531_67.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice7__560_17.min1.thm12017-02-06 12:45 438  
[ ]lattice7__561_48.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__562_21.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice7__567_15.min1.thm12017-02-06 12:45 385  
[ ]lattice7__567_15.min1.thm1.tptp2017-02-06 16:47 308  
[ ]lattice7__568_37.min1.thm12017-02-06 12:45 532  
[ ]lattice7__569_57.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__570_21.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice7__575_54.min1.thm12017-02-06 12:45 754  
[ ]lattice7__576_19.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__579_39.min1.thm12017-02-06 12:45 826  
[ ]lattice7__583_17.min1.thm12017-02-06 12:45 808  
[ ]lattice7__590_26.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__593_17.min1.thm12017-02-06 12:45 672  
[ ]lattice7__613_19.min1.thm12017-02-06 12:45 454  
[ ]lattice7__614_50.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__615_23.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice7__620_17.min1.thm12017-02-06 12:45 436  
[ ]lattice7__620_17.min1.thm1.tptp2017-02-06 16:47 359  
[ ]lattice7__621_39.min1.thm12017-02-06 12:45 595  
[ ]lattice7__622_59.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__623_23.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice7__628_56.min1.thm12017-02-06 12:45 770  
[ ]lattice7__629_21.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__632_39.min1.thm12017-02-06 12:45 834  
[ ]lattice7__636_21.min1.thm12017-02-06 12:45 832  
[ ]lattice7__643_34.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__644_21.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice7__646_18.min1.thm12017-02-06 12:45 258  
[ ]lattice7__653_24.min1.thm12017-02-06 12:45 886  
[ ]lattice7__665_41.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__667_78.min1.thm12017-02-06 12:45 764  
[ ]lattice7__679_39.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice7__681_21.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice7__683_16.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__683_16.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]lattice7__689_18.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__691_20.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice7__694_26.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__697_46.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice7__704_19.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__705_18.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice7__707_21.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice7__714_12.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__715_20.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__716_21.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice7__731_47.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__733_25.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice7__738_17.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__739_45.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice7__741_35.min1.thm12017-02-06 12:45 2.3K 
[ ]lattice7__742_35.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice7__743_37.min1.thm12017-02-06 12:45 2.9K 
[ ]lattice7__744_38.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice7__745_25.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice7__750_17.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__751_45.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice7__753_35.min1.thm12017-02-06 12:45 2.3K 
[ ]lattice7__754_35.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice7__755_38.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice7__756_25.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice7__760_47.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__761_17.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__762_24.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__763_25.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice7__766_18.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__766_18.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]lattice7__770_14.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__779_27.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__780_22.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice7__784_23.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice7__791_21.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__793_20.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice7__797_34.min1.thm12017-02-06 12:45 2.3K 
[ ]lattice7__798_20.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice7__799_32.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice7__801_32.min1.thm12017-02-06 12:45 910  
[ ]lattice7__804_14.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__805_22.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice7__807_15.min1.thm12017-02-06 12:45 898  
[ ]lattice7__808_25.min1.thm12017-02-06 12:45 2.8K 
[ ]lattice7__810_15.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__811_17.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__829_45.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__830_18.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__832_16.min1.thm12017-02-06 12:45 415  
[ ]lattice7__832_16.min1.thm1.tptp2017-02-06 16:47 337  
[ ]lattice7__849_16.min1.thm12017-02-06 12:45 704  
[ ]lattice7__863_21.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice7__865_15.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice7__866_12.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__871_56.min1.thm12017-02-06 12:45 198  
[ ]lattice7__878_60.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__879_20.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice7__884_56.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__891_66.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__892_22.min1.thm12017-02-06 12:45 492  
[ ]lattice7__894_23.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__897_17.min1.thm12017-02-06 12:45 611  
[ ]lattice7__898_13.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__899_12.min1.thm12017-02-06 12:45 608  
[ ]lattice7__901_18.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice7__902_12.min1.thm12017-02-06 12:45 609  
[ ]lattice7__903_18.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__904_25.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__906_17.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice7__907_25.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice7__909_20.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice7__913_25.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice7__914_25.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice7__915_24.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice7__919_19.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice7__920_24.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__921_25.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__925_18.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__928_17.min1.thm12017-02-06 12:45 740  
[ ]lattice7__941_13.min1.thm12017-02-06 12:45 353  
[ ]lattice7__951_23.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__955_33.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__956_21.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__964_15.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__966_14.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__978_19.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__980_47.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__981_46.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice7__982_36.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__983_56.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__985_21.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice7__989_50.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__990_46.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__991_15.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__1011_20.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__1012_14.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__1013_21.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__1017_12.min1.thm12017-02-06 12:45 866  
[ ]lattice7__1018_30.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__1019_44.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__1022_72.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__1026_49.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__1027_21.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice7__1042_17.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__1042_17.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]lattice7__1044_16.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__1046_68.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__1050_45.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__1051_17.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice7__1062_48.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice7__1063_16.min1.thm12017-02-06 12:45 360  
[ ]lattice7__1063_16.min1.thm1.tptp2017-02-06 16:47 280  
[ ]lattice7__1083_14.min1.thm12017-02-06 12:45 873  
[ ]lattice7__1084_35.min1.thm12017-02-06 12:45 768  
[ ]lattice7__1085_34.min1.thm12017-02-06 12:45 753  
[ ]lattice7__1095_32.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice7__1096_29.min1.thm12017-02-06 12:45 464  
[ ]lattice7__1100_16.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__1102_21.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice7__1103_31.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__1106_53.min1.thm12017-02-06 12:45 408  
[ ]lattice7__1109_29.min1.thm12017-02-06 12:45 547  
[ ]lattice7__1109_29.min1.thm1.tptp2017-02-06 16:47 481  
[ ]lattice7__1124_37.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice7__1134_53.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice7__1138_40.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice7__1142_8.min1.thm12017-02-06 12:45 2.5K 
[ ]lattice7__1143_50.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__1154_41.min1.thm12017-02-06 12:45 502  
[ ]lattice7__1154_41.min1.thm1.tptp2017-02-06 16:47 425  
[ ]lattice7__1161_44.min1.thm12017-02-06 12:45 702  
[ ]lattice7__1165_35.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice7__1166_24.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__1170_41.min1.thm12017-02-06 12:45 307  
[ ]lattice7__1175_25.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice7__1176_19.min1.thm12017-02-06 12:45 251  
[ ]lattice7__1179_24.min1.thm12017-02-06 12:45 382  
[ ]lattice7__1179_24.min1.thm1.tptp2017-02-06 16:47 296  
[ ]lattice7__1186_59.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__1196_21.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__1199_35.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice7__1201_23.min1.thm12017-02-06 12:45 2.8K 
[ ]lattice7__1207_24.min1.thm12017-02-06 12:45 2.7K 
[ ]lattice7__1208_28.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice7__1209_29.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice7__1212_38.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice7__1224_27.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice7__1226_37.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice7__1230_33.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice7__1231_26.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__1239_22.min1.thm12017-02-06 12:45 2.3K 
[ ]lattice7__1241_21.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice7__1245_32.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice7__1249_37.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice7__1250_42.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__1253_77.min1.thm12017-02-06 12:45 2.4K 
[ ]lattice7__1255_47.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__1256_19.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice7__1270_17.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__1285_18.min1.thm12017-02-06 12:45 654  
[ ]lattice7__1286_21.min1.thm12017-02-06 12:45 671  
[ ]lattice7__1287_18.min1.thm12017-02-06 12:45 759  
[ ]lattice7__1288_16.min1.thm12017-02-06 12:45 671  
[ ]lattice7__1303_13.min1.thm12017-02-06 12:45 431  
[ ]lattice7__1304_21.min1.thm12017-02-06 12:45 969  
[ ]lattice7__1306_19.min1.thm12017-02-06 12:45 509  
[ ]lattice7__1316_68.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__1318_17.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__1327_68.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice7__1329_17.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice7__1337_30.min1.thm12017-02-06 12:45 343  
[ ]lattice7__1337_30.min1.thm1.tptp2017-02-06 16:47 261  
[ ]lattice7__1341_37.min1.thm12017-02-06 12:45 918  
[ ]lattice7__1343_15.min1.thm12017-02-06 12:45 406  
[ ]lattice7__1343_15.min1.thm1.tptp2017-02-06 16:47 329  
[ ]lattice7__1344_37.min1.thm12017-02-06 12:45 918  
[ ]lattice7__1346_15.min1.thm12017-02-06 12:45 406  
[ ]lattice7__1346_15.min1.thm1.tptp2017-02-06 16:47 329  
[ ]lattice7__1348_20.min1.thm12017-02-06 12:45 744  
[ ]lattice7__1350_26.min1.thm12017-02-06 12:45 966  
[ ]lattice7__1351_37.min1.thm12017-02-06 12:45 918  
[ ]lattice7__1353_15.min1.thm12017-02-06 12:45 406  
[ ]lattice7__1353_15.min1.thm1.tptp2017-02-06 16:47 329  
[ ]lattice7__1355_20.min1.thm12017-02-06 12:45 744  
[ ]lattice7__1356_61.min1.thm12017-02-06 12:45 557  
[ ]lattice7__1357_20.min1.thm12017-02-06 12:45 745  
[ ]lattice7__1358_75.min1.thm12017-02-06 12:45 795  
[ ]lattice7__1360_38.min1.thm12017-02-06 12:45 919  
[ ]lattice7__1362_16.min1.thm12017-02-06 12:45 408  
[ ]lattice7__1362_16.min1.thm1.tptp2017-02-06 16:47 331  
[ ]lattice7__1363_37.min1.thm12017-02-06 12:45 919  
[ ]lattice7__1364_20.min1.thm12017-02-06 12:45 408  
[ ]lattice7__1364_20.min1.thm1.tptp2017-02-06 16:47 331  
[ ]lattice7__1365_25.min1.thm12017-02-06 12:45 653  
[ ]lattice7__1370_38.min1.thm12017-02-06 12:45 919  
[ ]lattice7__1371_21.min1.thm12017-02-06 12:45 408  
[ ]lattice7__1371_21.min1.thm1.tptp2017-02-06 16:47 331  
[ ]lattice7__1373_22.min1.thm12017-02-06 12:45 747  
[ ]lattice7__1374_26.min1.thm12017-02-06 12:45 968  
[ ]lattice7__1375_21.min1.thm12017-02-06 12:45 2.3K 
[ ]lattice7__1378_43.min1.thm12017-02-06 12:45 637  
[ ]lattice7__1378_43.min1.thm1.tptp2017-02-06 16:47 605  
[ ]lattice7__1379_19.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__1416_19.min1.thm12017-02-06 12:45 721  
[ ]lattice7__1416_19.min1.thm1.tptp2017-02-06 16:47 633  
[ ]lattice7__1418_17.min1.thm12017-02-06 12:45 467  
[ ]lattice7__1418_17.min1.thm1.tptp2017-02-06 16:47 386  
[ ]lattice7__1430_35.min1.thm12017-02-06 12:45 205  
[ ]lattice7__1431_24.min1.thm12017-02-06 12:45 752  
[ ]lattice7__1433_40.min1.thm12017-02-06 12:45 879  
[ ]lattice7__1439_22.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice7__1440_22.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice7__1441_48.min1.thm12017-02-06 12:45 2.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80