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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]monoid_0__69_15.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__77_18.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__84_14.min1.thm12017-02-06 12:45 449  
[ ]monoid_0__84_14.min1.thm1.tptp2017-02-06 16:47 394  
[ ]monoid_0__94_18.min1.thm12017-02-06 12:45 597  
[ ]monoid_0__101_14.min1.thm12017-02-06 12:45 451  
[ ]monoid_0__101_14.min1.thm1.tptp2017-02-06 16:47 392  
[ ]monoid_0__155_20.min1.thm12017-02-06 12:45 866  
[ ]monoid_0__157_25.min1.thm12017-02-06 12:45 452  
[ ]monoid_0__157_25.min1.thm1.tptp2017-02-06 16:47 370  
[ ]monoid_0__159_75.min1.thm12017-02-06 12:45 510  
[ ]monoid_0__163_18.min1.thm12017-02-06 12:45 848  
[ ]monoid_0__165_18.min1.thm12017-02-06 12:45 356  
[ ]monoid_0__172_18.min1.thm12017-02-06 12:45 612  
[ ]monoid_0__174_18.min1.thm12017-02-06 12:45 612  
[ ]monoid_0__176_16.min1.thm12017-02-06 12:45 559  
[ ]monoid_0__176_16.min1.thm1.tptp2017-02-06 16:47 479  
[ ]monoid_0__189_71.min1.thm12017-02-06 12:45 726  
[ ]monoid_0__190_73.min1.thm12017-02-06 12:45 726  
[ ]monoid_0__195_13.min1.thm12017-02-06 12:45 956  
[ ]monoid_0__204_39.min1.thm12017-02-06 12:45 350  
[ ]monoid_0__204_39.min1.thm1.tptp2017-02-06 16:47 293  
[ ]monoid_0__205_28.min1.thm12017-02-06 12:45 540  
[ ]monoid_0__210_54.min1.thm12017-02-06 12:45 715  
[ ]monoid_0__211_18.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__211_26.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__212_28.min1.thm12017-02-06 12:45 938  
[ ]monoid_0__215_27.min1.thm12017-02-06 12:45 2.2K 
[ ]monoid_0__218_12.min1.thm12017-02-06 12:45 510  
[ ]monoid_0__219_18.min1.thm12017-02-06 12:45 581  
[ ]monoid_0__221_65.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__224_55.min1.thm12017-02-06 12:45 496  
[ ]monoid_0__225_62.min1.thm12017-02-06 12:45 493  
[ ]monoid_0__226_76.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__228_54.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__234_18.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__237_18.min1.thm12017-02-06 12:45 678  
[ ]monoid_0__238_57.min1.thm12017-02-06 12:45 497  
[ ]monoid_0__240_16.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__256_63.min1.thm12017-02-06 12:45 586  
[ ]monoid_0__256_63.min1.thm1.tptp2017-02-06 16:47 511  
[ ]monoid_0__277_43.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__283_18.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__290_63.min1.thm12017-02-06 12:45 584  
[ ]monoid_0__290_63.min1.thm1.tptp2017-02-06 16:47 509  
[ ]monoid_0__331_28.min1.thm12017-02-06 12:45 2.0K 
[ ]monoid_0__333_34.min1.thm12017-02-06 12:45 1.6K 
[ ]monoid_0__334_15.min1.thm12017-02-06 12:45 270  
[ ]monoid_0__344_16.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__357_12.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__366_14.min1.thm12017-02-06 12:45 725  
[ ]monoid_0__370_12.min1.thm12017-02-06 12:45 715  
[ ]monoid_0__383_74.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__393_14.min1.thm12017-02-06 12:45 495  
[ ]monoid_0__393_14.min1.thm1.tptp2017-02-06 16:47 424  
[ ]monoid_0__397_12.min1.thm12017-02-06 12:45 485  
[ ]monoid_0__397_12.min1.thm1.tptp2017-02-06 16:47 414  
[ ]monoid_0__408_18.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__413_39.min1.thm12017-02-06 12:45 947  
[ ]monoid_0__429_49.min1.thm12017-02-06 12:45 1.4K 
[ ]monoid_0__441_18.min1.thm12017-02-06 12:45 782  
[ ]monoid_0__446_24.min1.thm12017-02-06 12:45 690  
[ ]monoid_0__446_32.min1.thm12017-02-06 12:45 421  
[ ]monoid_0__446_32.min1.thm1.tptp2017-02-06 16:47 344  
[ ]monoid_0__458_22.min1.thm12017-02-06 12:45 758  
[ ]monoid_0__460_18.min1.thm12017-02-06 12:45 871  
[ ]monoid_0__466_14.min1.thm12017-02-06 12:45 660  
[ ]monoid_0__468_16.min1.thm12017-02-06 12:45 847  
[ ]monoid_0__480_22.min1.thm12017-02-06 12:45 758  
[ ]monoid_0__482_18.min1.thm12017-02-06 12:45 871  
[ ]monoid_0__488_14.min1.thm12017-02-06 12:45 660  
[ ]monoid_0__490_16.min1.thm12017-02-06 12:45 847  
[ ]monoid_0__502_40.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__504_18.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__512_16.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__528_39.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__529_17.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__545_39.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__546_17.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__562_41.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__563_39.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__580_35.min1.thm12017-02-06 12:45 302  
[ ]monoid_0__588_33.min1.thm12017-02-06 12:45 298  
[ ]monoid_0__590_19.min1.thm12017-02-06 12:45 782  
[ ]monoid_0__591_17.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__615_21.min1.thm12017-02-06 12:45 686  
[ ]monoid_0__616_24.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__625_21.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__633_43.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__634_48.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__638_31.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__642_19.min1.thm12017-02-06 12:45 1.9K 
[ ]monoid_0__650_24.min1.thm12017-02-06 12:45 784  
[ ]monoid_0__652_11.min1.thm12017-02-06 12:45 1.4K 
[ ]monoid_0__653_24.min1.thm12017-02-06 12:45 784  
[ ]monoid_0__655_11.min1.thm12017-02-06 12:45 1.4K 
[ ]monoid_0__663_54.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__666_30.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__674_54.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__677_30.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__684_21.min1.thm12017-02-06 12:45 520  
[ ]monoid_0__686_36.min1.thm12017-02-06 12:45 695  
[ ]monoid_0__689_27.min1.thm12017-02-06 12:45 564  
[ ]monoid_0__689_27.min1.thm1.tptp2017-02-06 16:47 495  
[ ]monoid_0__690_24.min1.thm12017-02-06 12:45 528  
[ ]monoid_0__694_24.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__695_12.min1.thm12017-02-06 12:45 487  
[ ]monoid_0__695_12.min1.thm1.tptp2017-02-06 16:47 416  
[ ]monoid_0__697_11.min1.thm12017-02-06 12:45 487  
[ ]monoid_0__697_11.min1.thm1.tptp2017-02-06 16:47 416  
[ ]monoid_0__698_17.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__707_67.min1.thm12017-02-06 12:45 480  
[ ]monoid_0__707_67.min1.thm1.tptp2017-02-06 16:47 390  
[ ]monoid_0__708_32.min1.thm12017-02-06 12:45 660  
[ ]monoid_0__708_32.min1.thm1.tptp2017-02-06 16:47 585  
[ ]monoid_0__709_19.min1.thm12017-02-06 12:45 911  
[ ]monoid_0__712_14.min1.thm12017-02-06 12:45 351  
[ ]monoid_0__718_14.min1.thm12017-02-06 12:45 360  
[ ]monoid_0__721_14.min1.thm12017-02-06 12:45 360  
[ ]monoid_0__724_14.min1.thm12017-02-06 12:45 360  
[ ]monoid_0__727_14.min1.thm12017-02-06 12:45 360  
[ ]monoid_0__734_67.min1.thm12017-02-06 12:45 484  
[ ]monoid_0__734_67.min1.thm1.tptp2017-02-06 16:47 394  
[ ]monoid_0__735_73.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__761_50.min1.thm12017-02-06 12:45 949  
[ ]monoid_0__761_58.min1.thm12017-02-06 12:45 730  
[ ]monoid_0__764_48.min1.thm12017-02-06 12:45 939  
[ ]monoid_0__764_56.min1.thm12017-02-06 12:45 720  
[ ]monoid_0__769_48.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__771_47.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__779_54.min1.thm12017-02-06 12:45 510  
[ ]monoid_0__779_54.min1.thm1.tptp2017-02-06 16:47 435  
[ ]monoid_0__787_32.min1.thm12017-02-06 12:45 630  
[ ]monoid_0__787_32.min1.thm1.tptp2017-02-06 16:47 561  
[ ]monoid_0__788_51.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__799_17.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__811_32.min1.thm12017-02-06 12:45 1.4K 
[ ]monoid_0__812_30.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__816_40.min1.thm12017-02-06 12:45 2.2K 
[ ]monoid_0__821_45.min1.thm12017-02-06 12:45 2.7K 
[ ]monoid_0__823_34.min1.thm12017-02-06 12:45 1.8K 
[ ]monoid_0__824_15.min1.thm12017-02-06 12:45 270  
[ ]monoid_0__851_46.min1.thm12017-02-06 12:45 759  
[ ]monoid_0__852_39.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__862_46.min1.thm12017-02-06 12:45 739  
[ ]monoid_0__889_46.min1.thm12017-02-06 12:45 739  
[ ]monoid_0__893_36.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__898_33.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__903_33.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__908_32.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__913_43.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__916_30.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__926_46.min1.thm12017-02-06 12:45 756  
[ ]monoid_0__938_46.min1.thm12017-02-06 12:45 756  
[ ]monoid_0__946_14.min1.thm12017-02-06 12:45 634  
[ ]monoid_0__946_14.min1.thm1.tptp2017-02-06 16:47 597  
[ ]monoid_0__952_14.min1.thm12017-02-06 12:45 634  
[ ]monoid_0__952_14.min1.thm1.tptp2017-02-06 16:47 597  
[ ]monoid_0__958_14.min1.thm12017-02-06 12:45 634  
[ ]monoid_0__958_14.min1.thm1.tptp2017-02-06 16:47 597  
[ ]monoid_0__964_14.min1.thm12017-02-06 12:45 638  
[ ]monoid_0__964_14.min1.thm1.tptp2017-02-06 16:47 601  
[ ]monoid_0__970_14.min1.thm12017-02-06 12:45 638  
[ ]monoid_0__970_14.min1.thm1.tptp2017-02-06 16:47 601  
[ ]monoid_0__976_14.min1.thm12017-02-06 12:45 638  
[ ]monoid_0__976_14.min1.thm1.tptp2017-02-06 16:47 601  
[ ]monoid_0__999_68.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__1001_19.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__1012_11.min1.thm12017-02-06 12:45 338  
[ ]monoid_0__1012_11.min1.thm1.tptp2017-02-06 16:47 263  
[ ]monoid_0__1021_16.min1.thm12017-02-06 12:45 914  
[ ]monoid_0__1031_16.min1.thm12017-02-06 12:45 1.4K 
[ ]monoid_0__1042_55.min1.thm12017-02-06 12:45 668  
[ ]monoid_0__1042_55.min1.thm1.tptp2017-02-06 16:47 637  
[ ]monoid_0__1043_14.min1.thm12017-02-06 12:45 521  
[ ]monoid_0__1043_14.min1.thm1.tptp2017-02-06 16:47 450  
[ ]monoid_0__1048_21.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__1072_28.min1.thm12017-02-06 12:45 435  
[ ]monoid_0__1073_66.min1.thm12017-02-06 12:45 390  
[ ]monoid_0__1073_66.min1.thm1.tptp2017-02-06 16:47 321  
[ ]monoid_0__1076_23.min1.thm12017-02-06 12:45 288  
[ ]monoid_0__1077_46.min1.thm12017-02-06 12:45 755  
[ ]monoid_0__1091_8.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__1103_13.min1.thm12017-02-06 12:45 195  
[ ]monoid_0__1106_42.min1.thm12017-02-06 12:45 230  
[ ]monoid_0__1116_57.min1.thm12017-02-06 12:45 312  
[ ]monoid_0__1120_17.min1.thm12017-02-06 12:45 685  
[ ]monoid_0__1137_18.min1.thm12017-02-06 12:45 541  
[ ]monoid_0__1137_18.min1.thm1.tptp2017-02-06 16:47 470  
[ ]monoid_0__1141_73.min1.thm12017-02-06 12:45 472  
[ ]monoid_0__1152_41.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__1176_24.min1.thm12017-02-06 12:45 653  
[ ]monoid_0__1185_46.min1.thm12017-02-06 12:45 709  
[ ]monoid_0__1196_41.min1.thm12017-02-06 12:45 753  
[ ]monoid_0__1197_28.min1.thm12017-02-06 12:45 484  
[ ]monoid_0__1197_28.min1.thm1.tptp2017-02-06 16:47 413  
[ ]monoid_0__1206_40.min1.thm12017-02-06 12:45 420  
[ ]monoid_0__1208_20.min1.thm12017-02-06 12:45 660  
[ ]monoid_0__1209_16.min1.thm12017-02-06 12:45 570  
[ ]monoid_0__1219_21.min1.thm12017-02-06 12:45 830  
[ ]monoid_0__1220_39.min1.thm12017-02-06 12:45 912  
[ ]monoid_0__1223_9.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__1230_21.min1.thm12017-02-06 12:45 260  
[ ]monoid_0__1231_21.min1.thm12017-02-06 12:45 260  
[ ]monoid_0__1232_13.min1.thm12017-02-06 12:45 181  
[ ]monoid_0__1243_19.min1.thm12017-02-06 12:45 653  
[ ]monoid_0__1245_29.min1.thm12017-02-06 12:45 1.4K 
[ ]monoid_0__1251_30.min1.thm12017-02-06 12:45 703  
[ ]monoid_0__1252_19.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__1255_19.min1.thm12017-02-06 12:45 721  
[ ]monoid_0__1257_29.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__1259_28.min1.thm12017-02-06 12:45 694  
[ ]monoid_0__1260_17.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__1269_17.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__1287_22.min1.thm12017-02-06 12:45 653  
[ ]monoid_0__1290_31.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__1303_47.min1.thm12017-02-06 12:45 737  
[ ]monoid_0__1304_38.min1.thm12017-02-06 12:45 942  
[ ]monoid_0__1315_58.min1.thm12017-02-06 12:45 520  
[ ]monoid_0__1315_58.min1.thm1.tptp2017-02-06 16:47 452  
[ ]monoid_0__1320_31.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__1322_34.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__1323_27.min1.thm12017-02-06 12:45 1.6K 
[ ]monoid_0__1332_42.min1.thm12017-02-06 12:45 737  
[ ]monoid_0__1333_28.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__1334_27.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__1335_19.min1.thm12017-02-06 12:45 767  
[ ]monoid_0__1336_17.min1.thm12017-02-06 12:45 858  
[ ]monoid_0__1347_30.min1.thm12017-02-06 12:45 604  
[ ]monoid_0__1349_57.min1.thm12017-02-06 12:45 456  
[ ]monoid_0__1349_57.min1.thm1.tptp2017-02-06 16:47 378  
[ ]monoid_0__1353_45.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__1359_22.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__1362_41.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__1363_46.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__1366_17.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__1375_33.min1.thm12017-02-06 12:45 508  
[ ]monoid_0__1375_33.min1.thm1.tptp2017-02-06 16:47 433  
[ ]monoid_0__1376_39.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__1380_45.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__1381_36.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__1383_36.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__1397_53.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__1399_17.min1.thm12017-02-06 12:45 834  
[ ]monoid_0__1416_20.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__1418_17.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__1432_40.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__1433_23.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__1434_13.min1.thm12017-02-06 12:45 706  
[ ]monoid_0__1436_17.min1.thm12017-02-06 12:45 755  
[ ]monoid_0__1447_56.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__1450_49.min1.thm12017-02-06 12:45 2.0K 
[ ]monoid_0__1465_18.min1.thm12017-02-06 12:45 494  
[ ]monoid_0__1466_21.min1.thm12017-02-06 12:45 890  
[ ]monoid_0__1467_31.min1.thm12017-02-06 12:45 828  
[ ]monoid_0__1470_51.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__1471_21.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__1472_20.min1.thm12017-02-06 12:45 784  
[ ]monoid_0__1473_46.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__1474_17.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__1484_20.min1.thm12017-02-06 12:45 830  
[ ]monoid_0__1485_51.min1.thm12017-02-06 12:45 894  
[ ]monoid_0__1486_17.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__1497_29.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__1498_16.min1.thm12017-02-06 12:45 641  
[ ]monoid_0__1506_29.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__1507_16.min1.thm12017-02-06 12:45 641  
[ ]monoid_0__1519_29.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__1520_16.min1.thm12017-02-06 12:45 896  
[ ]monoid_0__1528_29.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__1529_16.min1.thm12017-02-06 12:45 896  
[ ]monoid_0__1536_14.min1.thm12017-02-06 12:45 492  
[ ]monoid_0__1536_14.min1.thm1.tptp2017-02-06 16:47 433  
[ ]monoid_0__1542_14.min1.thm12017-02-06 12:45 489  
[ ]monoid_0__1542_14.min1.thm1.tptp2017-02-06 16:47 434  
[ ]monoid_0__1547_23.min1.thm12017-02-06 12:45 534  
[ ]monoid_0__1548_16.min1.thm12017-02-06 12:45 681  
[ ]monoid_0__1555_14.min1.thm12017-02-06 12:45 489  
[ ]monoid_0__1555_14.min1.thm1.tptp2017-02-06 16:47 434  
[ ]monoid_0__1560_23.min1.thm12017-02-06 12:45 534  
[ ]monoid_0__1561_16.min1.thm12017-02-06 12:45 681  
[ ]monoid_0__1568_14.min1.thm12017-02-06 12:45 497  
[ ]monoid_0__1568_14.min1.thm1.tptp2017-02-06 16:47 442  
[ ]monoid_0__1573_23.min1.thm12017-02-06 12:45 536  
[ ]monoid_0__1574_16.min1.thm12017-02-06 12:45 689  
[ ]monoid_0__1581_14.min1.thm12017-02-06 12:45 497  
[ ]monoid_0__1581_14.min1.thm1.tptp2017-02-06 16:47 442  
[ ]monoid_0__1586_23.min1.thm12017-02-06 12:45 536  
[ ]monoid_0__1587_16.min1.thm12017-02-06 12:45 689  
[ ]monoid_0__1594_14.min1.thm12017-02-06 12:45 545  
[ ]monoid_0__1594_14.min1.thm1.tptp2017-02-06 16:47 486  
[ ]monoid_0__1611_20.min1.thm12017-02-06 12:45 1.4K 
[ ]monoid_0__1613_49.min1.thm12017-02-06 12:45 1.8K 
[ ]monoid_0__1616_19.min1.thm12017-02-06 12:45 771  
[ ]monoid_0__1620_12.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__1624_13.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__1638_34.min1.thm12017-02-06 12:45 852  
[ ]monoid_0__1642_18.min1.thm12017-02-06 12:45 457  
[ ]monoid_0__1642_18.min1.thm1.tptp2017-02-06 16:47 384  
[ ]monoid_0__1644_46.min1.thm12017-02-06 12:45 489  
[ ]monoid_0__1647_20.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__1648_18.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__1649_21.min1.thm12017-02-06 12:45 1.6K 
[ ]monoid_0__1652_27.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__1654_16.min1.thm12017-02-06 12:45 972  
[ ]monoid_0__1665_43.min1.thm12017-02-06 12:45 373  
[ ]monoid_0__1665_43.min1.thm1.tptp2017-02-06 16:47 294  
[ ]monoid_0__1666_38.min1.thm12017-02-06 12:45 636  
[ ]monoid_0__1667_66.min1.thm12017-02-06 12:45 636  
[ ]monoid_0__1667_66.min1.thm1.tptp2017-02-06 16:47 594  
[ ]monoid_0__1671_41.min1.thm12017-02-06 12:45 871  
[ ]monoid_0__1689_11.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__1695_14.min1.thm12017-02-06 12:45 1.6K 
[ ]monoid_0__1699_40.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__1708_58.min1.thm12017-02-06 12:45 2.2K 
[ ]monoid_0__1719_55.min1.thm12017-02-06 12:45 873  
[ ]monoid_0__1721_34.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__1724_41.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__1725_46.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__1729_14.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__1738_11.min1.thm12017-02-06 12:45 829  
[ ]monoid_0__1752_39.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__1758_22.min1.thm12017-02-06 12:45 727  
[ ]monoid_0__1759_56.min1.thm12017-02-06 12:45 584  
[ ]monoid_0__1760_39.min1.thm12017-02-06 12:45 1.8K 
[ ]monoid_0__1761_29.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__1762_30.min1.thm12017-02-06 12:45 1.7K 
[ ]monoid_0__1766_41.min1.thm12017-02-06 12:45 2.0K 
[ ]monoid_0__1767_19.min1.thm12017-02-06 12:45 662  
[ ]monoid_0__1779_47.min1.thm12017-02-06 12:45 1.4K 
[ ]monoid_0__1798_16.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__1800_44.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__1803_19.min1.thm12017-02-06 12:45 2.2K 
[ ]monoid_0__1804_18.min1.thm12017-02-06 12:45 1.4K 
[ ]monoid_0__1807_25.min1.thm12017-02-06 12:45 1.6K 
[ ]monoid_0__1811_36.min1.thm12017-02-06 12:45 1.9K 
[ ]monoid_0__1814_40.min1.thm12017-02-06 12:45 2.3K 
[ ]monoid_0__1816_12.min1.thm12017-02-06 12:45 1.8K 
[ ]monoid_0__1818_12.min1.thm12017-02-06 12:45 1.7K 
[ ]monoid_0__1822_36.min1.thm12017-02-06 12:45 567  
[ ]monoid_0__1822_36.min1.thm1.tptp2017-02-06 16:47 496  
[ ]monoid_0__1823_36.min1.thm12017-02-06 12:45 567  
[ ]monoid_0__1823_36.min1.thm1.tptp2017-02-06 16:47 496  
[ ]monoid_0__1828_30.min1.thm12017-02-06 12:45 2.4K 
[ ]monoid_0__1832_47.min1.thm12017-02-06 12:45 2.5K 
[ ]monoid_0__1834_19.min1.thm12017-02-06 12:45 2.0K 
[ ]monoid_0__1837_19.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__1838_38.min1.thm12017-02-06 12:45 2.7K 
[ ]monoid_0__1839_19.min1.thm12017-02-06 12:45 1.9K 
[ ]monoid_0__1851_11.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__1852_15.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__1865_35.min1.thm12017-02-06 12:45 558  
[ ]monoid_0__1865_35.min1.thm1.tptp2017-02-06 16:47 489  
[ ]monoid_0__1869_28.min1.thm12017-02-06 12:45 2.0K 
[ ]monoid_0__1873_19.min1.thm12017-02-06 12:45 278  
[ ]monoid_0__1878_38.min1.thm12017-02-06 12:45 1.4K 
[ ]monoid_0__1883_36.min1.thm12017-02-06 12:45 1.7K 
[ ]monoid_0__1884_13.min1.thm12017-02-06 12:45 556  
[ ]monoid_0__1884_13.min1.thm1.tptp2017-02-06 16:47 487  
[ ]monoid_0__1885_14.min1.thm12017-02-06 12:45 827  
[ ]monoid_0__1892_32.min1.thm12017-02-06 12:45 1.8K 
[ ]monoid_0__1901_63.min1.thm12017-02-06 12:45 1.8K 
[ ]monoid_0__1902_17.min1.thm12017-02-06 12:45 2.8K 
[ ]monoid_0__1908_24.min1.thm12017-02-06 12:45 554  
[ ]monoid_0__1908_24.min1.thm1.tptp2017-02-06 16:47 485  
[ ]monoid_0__1909_17.min1.thm12017-02-06 12:45 2.5K 
[ ]monoid_0__1916_11.min1.thm12017-02-06 12:45 3.0K 
[ ]monoid_0__1917_34.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__1918_16.min1.thm12017-02-06 12:45 1.8K 
[ ]monoid_0__1929_40.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__1938_58.min1.thm12017-02-06 12:45 2.1K 
[ ]monoid_0__1951_27.min1.thm12017-02-06 12:45 888  
[ ]monoid_0__1954_16.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__1955_17.min1.thm12017-02-06 12:45 1.6K 
[ ]monoid_0__1968_26.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__1975_16.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__1979_19.min1.thm12017-02-06 12:45 2.5K 
[ ]monoid_0__1980_18.min1.thm12017-02-06 12:45 1.4K 
[ ]monoid_0__1983_24.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__1987_36.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__1990_40.min1.thm12017-02-06 12:45 2.0K 
[ ]monoid_0__1992_12.min1.thm12017-02-06 12:45 1.9K 
[ ]monoid_0__1994_12.min1.thm12017-02-06 12:45 2.0K 
[ ]monoid_0__1998_36.min1.thm12017-02-06 12:45 567  
[ ]monoid_0__1998_36.min1.thm1.tptp2017-02-06 16:47 496  
[ ]monoid_0__1999_36.min1.thm12017-02-06 12:45 567  
[ ]monoid_0__1999_36.min1.thm1.tptp2017-02-06 16:47 496  
[ ]monoid_0__2004_30.min1.thm12017-02-06 12:45 2.0K 
[ ]monoid_0__2008_47.min1.thm12017-02-06 12:45 2.1K 
[ ]monoid_0__2010_19.min1.thm12017-02-06 12:45 2.0K 
[ ]monoid_0__2013_19.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2014_38.min1.thm12017-02-06 12:45 2.4K 
[ ]monoid_0__2015_19.min1.thm12017-02-06 12:45 1.6K 
[ ]monoid_0__2027_15.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__2028_11.min1.thm12017-02-06 12:45 886  
[ ]monoid_0__2040_35.min1.thm12017-02-06 12:45 534  
[ ]monoid_0__2040_35.min1.thm1.tptp2017-02-06 16:47 465  
[ ]monoid_0__2044_30.min1.thm12017-02-06 12:45 2.5K 
[ ]monoid_0__2048_19.min1.thm12017-02-06 12:45 278  
[ ]monoid_0__2053_39.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__2062_24.min1.thm12017-02-06 12:45 530  
[ ]monoid_0__2062_24.min1.thm1.tptp2017-02-06 16:47 461  
[ ]monoid_0__2063_17.min1.thm12017-02-06 12:45 2.1K 
[ ]monoid_0__2071_41.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2081_63.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__2082_17.min1.thm12017-02-06 12:45 2.3K 
[ ]monoid_0__2086_28.min1.thm12017-02-06 12:45 1.8K 
[ ]monoid_0__2091_58.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__2092_35.min1.thm12017-02-06 12:45 2.4K 
[ ]monoid_0__2093_16.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__2115_17.min1.thm12017-02-06 12:45 1.8K 
[ ]monoid_0__2117_71.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__2121_15.min1.thm12017-02-06 12:45 303  
[ ]monoid_0__2121_15.min1.thm1.tptp2017-02-06 16:47 229  
[ ]monoid_0__2122_47.min1.thm12017-02-06 12:45 1.8K 
[ ]monoid_0__2126_17.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2128_17.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2130_26.min1.thm12017-02-06 12:45 917  
[ ]monoid_0__2133_55.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__2136_23.min1.thm12017-02-06 12:45 1.6K 
[ ]monoid_0__2148_20.min1.thm12017-02-06 12:45 917  
[ ]monoid_0__2149_35.min1.thm12017-02-06 12:45 730  
[ ]monoid_0__2154_42.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2162_16.min1.thm12017-02-06 12:45 1.6K 
[ ]monoid_0__2166_50.min1.thm12017-02-06 12:45 785  
[ ]monoid_0__2166_50.min1.thm1.tptp2017-02-06 16:47 695  
[ ]monoid_0__2181_51.min1.thm12017-02-06 12:45 823  
[ ]monoid_0__2182_51.min1.thm12017-02-06 12:45 823  
[ ]monoid_0__2183_46.min1.thm12017-02-06 12:45 550  
[ ]monoid_0__2183_46.min1.thm1.tptp2017-02-06 16:47 462  
[ ]monoid_0__2196_16.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2201_22.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__2202_16.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__2207_44.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__2213_29.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__2214_43.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__2217_24.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__2217_35.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__2218_13.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2219_35.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__2220_13.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2231_60.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__2239_37.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2242_13.min1.thm12017-02-06 12:45 1.4K 
[ ]monoid_0__2251_54.min1.thm12017-02-06 12:45 1.6K 
[ ]monoid_0__2253_13.min1.thm12017-02-06 12:45 1.4K 
[ ]monoid_0__2265_13.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__2274_32.min1.thm12017-02-06 12:45 444  
[ ]monoid_0__2274_32.min1.thm1.tptp2017-02-06 16:47 365  
[ ]monoid_0__2282_20.min1.thm12017-02-06 12:45 970  
[ ]monoid_0__2285_20.min1.thm12017-02-06 12:45 970  
[ ]monoid_0__2290_15.min1.thm12017-02-06 12:45 462  
[ ]monoid_0__2296_28.min1.thm12017-02-06 12:45 558  
[ ]monoid_0__2296_28.min1.thm1.tptp2017-02-06 16:47 487  
[ ]monoid_0__2297_60.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__2298_55.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__2300_17.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2301_19.min1.thm12017-02-06 12:45 1.6K 
[ ]monoid_0__2304_27.min1.thm12017-02-06 12:45 528  
[ ]monoid_0__2304_27.min1.thm1.tptp2017-02-06 16:47 460  
[ ]monoid_0__2312_43.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2326_42.min1.thm12017-02-06 12:45 644  
[ ]monoid_0__2333_51.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__2334_43.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2336_17.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__2347_63.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2349_30.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__2351_45.min1.thm12017-02-06 12:45 1.6K 
[ ]monoid_0__2365_51.min1.thm12017-02-06 12:45 736  
[ ]monoid_0__2366_42.min1.thm12017-02-06 12:45 1.4K 
[ ]monoid_0__2379_42.min1.thm12017-02-06 12:45 644  
[ ]monoid_0__2381_35.min1.thm12017-02-06 12:45 634  
[ ]monoid_0__2381_35.min1.thm1.tptp2017-02-06 16:47 597  
[ ]monoid_0__2384_56.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__2385_33.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__2387_24.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2389_26.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__2391_40.min1.thm12017-02-06 12:45 732  
[ ]monoid_0__2394_44.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__2396_15.min1.thm12017-02-06 12:45 778  
[ ]monoid_0__2398_15.min1.thm12017-02-06 12:45 778  
[ ]monoid_0__2409_11.min1.thm12017-02-06 12:45 760  
[ ]monoid_0__2410_15.min1.thm12017-02-06 12:45 919  
[ ]monoid_0__2415_36.min1.thm12017-02-06 12:45 634  
[ ]monoid_0__2415_36.min1.thm1.tptp2017-02-06 16:47 597  
[ ]monoid_0__2416_16.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2426_34.min1.thm12017-02-06 12:45 630  
[ ]monoid_0__2426_34.min1.thm1.tptp2017-02-06 16:47 593  
[ ]monoid_0__2427_17.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2433_40.min1.thm12017-02-06 12:45 640  
[ ]monoid_0__2435_36.min1.thm12017-02-06 12:45 630  
[ ]monoid_0__2435_36.min1.thm1.tptp2017-02-06 16:47 593  
[ ]monoid_0__2436_50.min1.thm12017-02-06 12:45 708  
[ ]monoid_0__2439_42.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__2440_25.min1.thm12017-02-06 12:45 913  
[ ]monoid_0__2440_37.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__2441_13.min1.thm12017-02-06 12:45 730  
[ ]monoid_0__2442_37.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__2443_13.min1.thm12017-02-06 12:45 730  
[ ]monoid_0__2456_59.min1.thm12017-02-06 12:45 1.4K 
[ ]monoid_0__2466_39.min1.thm12017-02-06 12:45 378  
[ ]monoid_0__2467_17.min1.thm12017-02-06 12:45 1.6K 
[ ]monoid_0__2473_34.min1.thm12017-02-06 12:45 630  
[ ]monoid_0__2473_34.min1.thm1.tptp2017-02-06 16:47 593  
[ ]monoid_0__2476_34.min1.thm12017-02-06 12:45 630  
[ ]monoid_0__2476_34.min1.thm1.tptp2017-02-06 16:47 593  
[ ]monoid_0__2481_33.min1.thm12017-02-06 12:45 450  
[ ]monoid_0__2481_33.min1.thm1.tptp2017-02-06 16:47 382  
[ ]monoid_0__2487_46.min1.thm12017-02-06 12:45 626  
[ ]monoid_0__2487_46.min1.thm1.tptp2017-02-06 16:47 555  
[ ]monoid_0__2488_65.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__2489_60.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__2491_19.min1.thm12017-02-06 12:45 905  
[ ]monoid_0__2492_19.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2495_63.min1.thm12017-02-06 12:45 630  
[ ]monoid_0__2495_63.min1.thm1.tptp2017-02-06 16:47 562  
[ ]monoid_0__2506_32.min1.thm12017-02-06 12:45 321  
[ ]monoid_0__2507_70.min1.thm12017-02-06 12:45 1.0K 
[ ]monoid_0__2511_51.min1.thm12017-02-06 12:45 2.1K 
[ ]monoid_0__2518_18.min1.thm12017-02-06 12:45 409  
[ ]monoid_0__2518_18.min1.thm1.tptp2017-02-06 16:47 327  
[ ]monoid_0__2528_43.min1.thm12017-02-06 12:45 492  
[ ]monoid_0__2528_43.min1.thm1.tptp2017-02-06 16:47 435  
[ ]monoid_0__2529_25.min1.thm12017-02-06 12:45 888  
[ ]monoid_0__2530_19.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__2541_16.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__2550_32.min1.thm12017-02-06 12:45 488  
[ ]monoid_0__2550_32.min1.thm1.tptp2017-02-06 16:47 431  
[ ]monoid_0__2551_17.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2557_34.min1.thm12017-02-06 12:45 488  
[ ]monoid_0__2557_34.min1.thm1.tptp2017-02-06 16:47 431  
[ ]monoid_0__2560_17.min1.thm12017-02-06 12:45 1.7K 
[ ]monoid_0__2566_53.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2575_4.min1.thm12017-02-06 12:45 1.4K 
[ ]monoid_0__2592_36.min1.thm12017-02-06 12:45 494  
[ ]monoid_0__2592_36.min1.thm1.tptp2017-02-06 16:47 437  
[ ]monoid_0__2593_53.min1.thm12017-02-06 12:45 807  
[ ]monoid_0__2595_17.min1.thm12017-02-06 12:45 720  
[ ]monoid_0__2595_17.min1.thm1.tptp2017-02-06 16:47 641  
[ ]monoid_0__2597_34.min1.thm12017-02-06 12:45 492  
[ ]monoid_0__2597_34.min1.thm1.tptp2017-02-06 16:47 435  
[ ]monoid_0__2598_54.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__2603_54.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2611_18.min1.thm12017-02-06 12:45 798  
[ ]monoid_0__2630_55.min1.thm12017-02-06 12:45 663  
[ ]monoid_0__2631_32.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__2632_23.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__2637_53.min1.thm12017-02-06 12:45 655  
[ ]monoid_0__2638_30.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__2639_21.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__2651_34.min1.thm12017-02-06 12:45 492  
[ ]monoid_0__2651_34.min1.thm1.tptp2017-02-06 16:47 435  
[ ]monoid_0__2652_54.min1.thm12017-02-06 12:45 1.1K 
[ ]monoid_0__2653_19.min1.thm12017-02-06 12:45 1.9K 
[ ]monoid_0__2656_41.min1.thm12017-02-06 12:45 2.0K 
[ ]monoid_0__2659_62.min1.thm12017-02-06 12:45 1.8K 
[ ]monoid_0__2660_54.min1.thm12017-02-06 12:45 3.2K 
[ ]monoid_0__2662_50.min1.thm12017-02-06 12:45 1.4K 
[ ]monoid_0__2664_38.min1.thm12017-02-06 12:45 1.7K 
[ ]monoid_0__2665_55.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__2681_52.min1.thm12017-02-06 12:45 615  
[ ]monoid_0__2684_64.min1.thm12017-02-06 12:45 1.5K 
[ ]monoid_0__2685_32.min1.thm12017-02-06 12:45 488  
[ ]monoid_0__2685_32.min1.thm1.tptp2017-02-06 16:47 431  
[ ]monoid_0__2686_17.min1.thm12017-02-06 12:45 2.6K 
[ ]monoid_0__2692_47.min1.thm12017-02-06 12:45 1.4K 
[ ]monoid_0__2695_43.min1.thm12017-02-06 12:45 703  
[ ]monoid_0__2695_43.min1.thm1.tptp2017-02-06 16:47 629  
[ ]monoid_0__2698_30.min1.thm12017-02-06 12:45 1.6K 
[ ]monoid_0__2704_17.min1.thm12017-02-06 12:45 1.3K 
[ ]monoid_0__2711_41.min1.thm12017-02-06 12:45 689  
[ ]monoid_0__2711_41.min1.thm1.tptp2017-02-06 16:47 615  
[ ]monoid_0__2713_45.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2714_37.min1.thm12017-02-06 12:45 309  
[ ]monoid_0__2717_17.min1.thm12017-02-06 12:45 3.4K 
[ ]monoid_0__2729_18.min1.thm12017-02-06 12:45 470  
[ ]monoid_0__2736_3.min1.thm12017-02-06 12:45 906  
[ ]monoid_0__2736_3.min1.thm1.tptp2017-02-06 16:47 921  
[ ]monoid_0__2749_27.min1.thm12017-02-06 12:45 1.2K 
[ ]monoid_0__2750_39.min1.thm12017-02-06 12:45 456  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80