Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/goboard8

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]goboard8__50_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__55_13.min1.thm12017-02-06 12:46 928  
[ ]goboard8__67_12.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard8__71_15.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__78_17.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__80_25.min1.thm12017-02-06 12:46 3.6K 
[ ]goboard8__86_74.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard8__93_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__107_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__112_13.min1.thm12017-02-06 12:46 928  
[ ]goboard8__123_17.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__128_12.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard8__129_25.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard8__132_15.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__139_16.min1.thm12017-02-06 12:46 929  
[ ]goboard8__140_20.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__142_25.min1.thm12017-02-06 12:46 3.6K 
[ ]goboard8__148_63.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard8__155_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__169_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__174_13.min1.thm12017-02-06 12:46 928  
[ ]goboard8__185_17.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__190_15.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__195_17.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__197_25.min1.thm12017-02-06 12:46 3.6K 
[ ]goboard8__203_12.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard8__205_23.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard8__210_69.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard8__217_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__231_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__236_13.min1.thm12017-02-06 12:46 928  
[ ]goboard8__248_12.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard8__252_15.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__259_17.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__261_25.min1.thm12017-02-06 12:46 3.6K 
[ ]goboard8__267_74.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard8__274_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__288_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__293_13.min1.thm12017-02-06 12:46 928  
[ ]goboard8__304_20.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__307_12.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard8__308_25.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard8__311_15.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__318_16.min1.thm12017-02-06 12:46 929  
[ ]goboard8__319_20.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__321_25.min1.thm12017-02-06 12:46 3.6K 
[ ]goboard8__322_16.min1.thm12017-02-06 12:46 929  
[ ]goboard8__328_65.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard8__335_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__349_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__354_13.min1.thm12017-02-06 12:46 928  
[ ]goboard8__365_20.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__368_15.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__373_17.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__375_25.min1.thm12017-02-06 12:46 3.6K 
[ ]goboard8__376_16.min1.thm12017-02-06 12:46 929  
[ ]goboard8__377_12.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard8__379_23.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard8__389_76.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard8__396_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__410_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__414_13.min1.thm12017-02-06 12:46 928  
[ ]goboard8__417_22.min1.thm12017-02-06 12:46 824  
[ ]goboard8__417_22.min1.thm1.tptp2017-02-06 16:47 741  
[ ]goboard8__424_17.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__429_21.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__431_26.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard8__434_20.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard8__443_59.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard8__449_36.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard8__450_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__464_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__467_38.min1.thm12017-02-06 12:46 3.7K 
[ ]goboard8__468_13.min1.thm12017-02-06 12:46 928  
[ ]goboard8__471_22.min1.thm12017-02-06 12:46 824  
[ ]goboard8__471_22.min1.thm1.tptp2017-02-06 16:47 741  
[ ]goboard8__478_20.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__481_21.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__483_26.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard8__486_20.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard8__491_16.min1.thm12017-02-06 12:46 929  
[ ]goboard8__497_61.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard8__503_36.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard8__504_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__519_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__524_13.min1.thm12017-02-06 12:46 928  
[ ]goboard8__534_17.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__544_23.min1.thm12017-02-06 12:46 825  
[ ]goboard8__544_23.min1.thm1.tptp2017-02-06 16:47 742  
[ ]goboard8__548_38.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard8__561_4.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__567_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__582_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__587_13.min1.thm12017-02-06 12:46 932  
[ ]goboard8__597_20.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__606_38.min1.thm12017-02-06 12:46 3.2K 
[ ]goboard8__614_16.min1.thm12017-02-06 12:46 933  
[ ]goboard8__615_23.min1.thm12017-02-06 12:46 836  
[ ]goboard8__615_23.min1.thm1.tptp2017-02-06 16:47 753  
[ ]goboard8__626_4.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard8__632_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__646_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__651_13.min1.thm12017-02-06 12:46 932  
[ ]goboard8__662_23.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__663_12.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard8__667_15.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__669_24.min1.thm12017-02-06 12:46 3.3K 
[ ]goboard8__674_17.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__682_74.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard8__689_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__703_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__708_13.min1.thm12017-02-06 12:46 932  
[ ]goboard8__719_17.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__721_25.min1.thm12017-02-06 12:46 3.6K 
[ ]goboard8__723_23.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard8__724_12.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard8__725_23.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard8__728_15.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__730_24.min1.thm12017-02-06 12:46 3.3K 
[ ]goboard8__735_16.min1.thm12017-02-06 12:46 933  
[ ]goboard8__736_20.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__744_63.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard8__751_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__765_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__770_13.min1.thm12017-02-06 12:46 932  
[ ]goboard8__781_17.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__783_25.min1.thm12017-02-06 12:46 3.6K 
[ ]goboard8__785_23.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard8__786_15.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__788_24.min1.thm12017-02-06 12:46 3.3K 
[ ]goboard8__791_17.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__799_12.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard8__801_21.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard8__806_69.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard8__813_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__827_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__832_13.min1.thm12017-02-06 12:46 932  
[ ]goboard8__843_23.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__844_12.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard8__848_15.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__850_24.min1.thm12017-02-06 12:46 3.3K 
[ ]goboard8__855_17.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__863_74.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard8__870_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__884_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__889_13.min1.thm12017-02-06 12:46 932  
[ ]goboard8__900_20.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__902_25.min1.thm12017-02-06 12:46 3.6K 
[ ]goboard8__903_12.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard8__904_23.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard8__907_15.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__909_24.min1.thm12017-02-06 12:46 3.3K 
[ ]goboard8__914_16.min1.thm12017-02-06 12:46 933  
[ ]goboard8__915_20.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__918_16.min1.thm12017-02-06 12:46 933  
[ ]goboard8__924_65.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__931_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__945_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__950_13.min1.thm12017-02-06 12:46 932  
[ ]goboard8__961_20.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__963_25.min1.thm12017-02-06 12:46 3.6K 
[ ]goboard8__964_15.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__966_24.min1.thm12017-02-06 12:46 3.3K 
[ ]goboard8__969_17.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__972_16.min1.thm12017-02-06 12:46 933  
[ ]goboard8__973_12.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard8__975_21.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard8__985_76.min1.thm12017-02-06 12:46 2.7K 
[ ]goboard8__992_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__1006_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1010_13.min1.thm12017-02-06 12:46 932  
[ ]goboard8__1013_20.min1.thm12017-02-06 12:46 835  
[ ]goboard8__1013_20.min1.thm1.tptp2017-02-06 16:47 752  
[ ]goboard8__1020_17.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1022_25.min1.thm12017-02-06 12:46 3.6K 
[ ]goboard8__1024_23.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard8__1025_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1027_24.min1.thm12017-02-06 12:46 2.8K 
[ ]goboard8__1030_18.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard8__1039_59.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard8__1045_36.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard8__1046_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__1060_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1064_13.min1.thm12017-02-06 12:46 932  
[ ]goboard8__1067_20.min1.thm12017-02-06 12:46 835  
[ ]goboard8__1067_20.min1.thm1.tptp2017-02-06 16:47 752  
[ ]goboard8__1074_20.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1076_25.min1.thm12017-02-06 12:46 3.6K 
[ ]goboard8__1077_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1079_24.min1.thm12017-02-06 12:46 2.8K 
[ ]goboard8__1082_18.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard8__1087_16.min1.thm12017-02-06 12:46 933  
[ ]goboard8__1093_61.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard8__1099_36.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard8__1100_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__1115_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1120_13.min1.thm12017-02-06 12:46 932  
[ ]goboard8__1130_17.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1132_25.min1.thm12017-02-06 12:46 3.6K 
[ ]goboard8__1134_23.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard8__1140_21.min1.thm12017-02-06 12:46 836  
[ ]goboard8__1140_21.min1.thm1.tptp2017-02-06 16:47 753  
[ ]goboard8__1157_75.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1164_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__1179_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1184_13.min1.thm12017-02-06 12:46 932  
[ ]goboard8__1193_20.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1195_25.min1.thm12017-02-06 12:46 3.6K 
[ ]goboard8__1200_36.min1.thm12017-02-06 12:46 3.0K 
[ ]goboard8__1210_16.min1.thm12017-02-06 12:46 933  
[ ]goboard8__1211_21.min1.thm12017-02-06 12:46 836  
[ ]goboard8__1211_21.min1.thm1.tptp2017-02-06 16:47 753  
[ ]goboard8__1220_75.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard8__1227_41.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard8__1241_15.min1.thm12017-02-06 12:46 491  
[ ]goboard8__1241_15.min1.thm1.tptp2017-02-06 16:47 437  
[ ]goboard8__1242_40.min1.thm12017-02-06 12:46 486  
[ ]goboard8__1243_28.min1.thm12017-02-06 12:46 753  
[ ]goboard8__1244_22.min1.thm12017-02-06 12:46 835  
[ ]goboard8__1244_22.min1.thm1.tptp2017-02-06 16:47 752  
[ ]goboard8__1245_29.min1.thm12017-02-06 12:46 750  
[ ]goboard8__1245_29.min1.thm1.tptp2017-02-06 16:47 674  
[ ]goboard8__1254_24.min1.thm12017-02-06 12:46 2.2K 
[ ]goboard8__1256_22.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1260_15.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1261_23.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1262_34.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1265_18.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard8__1273_15.min1.thm12017-02-06 12:46 936  
[ ]goboard8__1274_24.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard8__1278_15.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1279_23.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1280_34.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1283_18.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard8__1297_15.min1.thm12017-02-06 12:46 491  
[ ]goboard8__1297_15.min1.thm1.tptp2017-02-06 16:47 437  
[ ]goboard8__1298_40.min1.thm12017-02-06 12:46 486  
[ ]goboard8__1299_36.min1.thm12017-02-06 12:46 825  
[ ]goboard8__1300_22.min1.thm12017-02-06 12:46 835  
[ ]goboard8__1300_22.min1.thm1.tptp2017-02-06 16:47 752  
[ ]goboard8__1301_29.min1.thm12017-02-06 12:46 750  
[ ]goboard8__1301_29.min1.thm1.tptp2017-02-06 16:47 674  
[ ]goboard8__1312_22.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1316_15.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1317_23.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1318_34.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1321_26.min1.thm12017-02-06 12:46 3.3K 
[ ]goboard8__1328_28.min1.thm12017-02-06 12:46 2.2K 
[ ]goboard8__1329_15.min1.thm12017-02-06 12:46 936  
[ ]goboard8__1330_24.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard8__1334_15.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1335_23.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1336_34.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1339_26.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard8__1353_15.min1.thm12017-02-06 12:46 491  
[ ]goboard8__1353_15.min1.thm1.tptp2017-02-06 16:47 437  
[ ]goboard8__1354_40.min1.thm12017-02-06 12:46 486  
[ ]goboard8__1355_28.min1.thm12017-02-06 12:46 753  
[ ]goboard8__1356_20.min1.thm12017-02-06 12:46 835  
[ ]goboard8__1356_20.min1.thm1.tptp2017-02-06 16:47 752  
[ ]goboard8__1357_29.min1.thm12017-02-06 12:46 750  
[ ]goboard8__1357_29.min1.thm1.tptp2017-02-06 16:47 674  
[ ]goboard8__1366_24.min1.thm12017-02-06 12:46 2.2K 
[ ]goboard8__1368_22.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1372_15.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1373_25.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1374_32.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1377_18.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard8__1385_15.min1.thm12017-02-06 12:46 936  
[ ]goboard8__1386_24.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard8__1390_15.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1391_25.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1392_32.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1395_18.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard8__1409_15.min1.thm12017-02-06 12:46 491  
[ ]goboard8__1409_15.min1.thm1.tptp2017-02-06 16:47 437  
[ ]goboard8__1410_40.min1.thm12017-02-06 12:46 486  
[ ]goboard8__1411_38.min1.thm12017-02-06 12:46 825  
[ ]goboard8__1412_20.min1.thm12017-02-06 12:46 835  
[ ]goboard8__1412_20.min1.thm1.tptp2017-02-06 16:47 752  
[ ]goboard8__1413_29.min1.thm12017-02-06 12:46 750  
[ ]goboard8__1413_29.min1.thm1.tptp2017-02-06 16:47 674  
[ ]goboard8__1424_22.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1428_15.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1429_25.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1430_32.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1433_28.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard8__1440_28.min1.thm12017-02-06 12:46 2.2K 
[ ]goboard8__1441_15.min1.thm12017-02-06 12:46 936  
[ ]goboard8__1442_24.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard8__1446_15.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1447_25.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1448_32.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1451_28.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard8__1467_15.min1.thm12017-02-06 12:46 812  
[ ]goboard8__1471_17.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__1472_39.min1.thm12017-02-06 12:46 3.5K 
[ ]goboard8__1475_15.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__1509_20.min1.thm12017-02-06 12:46 837  
[ ]goboard8__1509_20.min1.thm1.tptp2017-02-06 16:47 754  
[ ]goboard8__1522_29.min1.thm12017-02-06 12:46 770  
[ ]goboard8__1541_20.min1.thm12017-02-06 12:46 837  
[ ]goboard8__1541_20.min1.thm1.tptp2017-02-06 16:47 754  
[ ]goboard8__1545_34.min1.thm12017-02-06 12:46 3.5K 
[ ]goboard8__1549_30.min1.thm12017-02-06 12:46 908  
[ ]goboard8__1550_26.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1587_15.min1.thm12017-02-06 12:46 812  
[ ]goboard8__1591_17.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__1592_39.min1.thm12017-02-06 12:46 3.5K 
[ ]goboard8__1595_15.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__1638_20.min1.thm12017-02-06 12:46 837  
[ ]goboard8__1638_20.min1.thm1.tptp2017-02-06 16:47 754  
[ ]goboard8__1655_39.min1.thm12017-02-06 12:46 967  
[ ]goboard8__1674_20.min1.thm12017-02-06 12:46 837  
[ ]goboard8__1674_20.min1.thm1.tptp2017-02-06 16:47 754  
[ ]goboard8__1678_34.min1.thm12017-02-06 12:46 3.5K 
[ ]goboard8__1684_39.min1.thm12017-02-06 12:46 842  
[ ]goboard8__1723_15.min1.thm12017-02-06 12:46 812  
[ ]goboard8__1727_17.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__1728_41.min1.thm12017-02-06 12:46 3.2K 
[ ]goboard8__1731_15.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__1765_22.min1.thm12017-02-06 12:46 837  
[ ]goboard8__1765_22.min1.thm1.tptp2017-02-06 16:47 754  
[ ]goboard8__1766_30.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1778_29.min1.thm12017-02-06 12:46 770  
[ ]goboard8__1797_22.min1.thm12017-02-06 12:46 837  
[ ]goboard8__1797_22.min1.thm1.tptp2017-02-06 16:47 754  
[ ]goboard8__1805_30.min1.thm12017-02-06 12:46 908  
[ ]goboard8__1806_26.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard8__1843_15.min1.thm12017-02-06 12:46 812  
[ ]goboard8__1847_17.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__1848_41.min1.thm12017-02-06 12:46 3.2K 
[ ]goboard8__1851_15.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard8__1892_22.min1.thm12017-02-06 12:46 837  
[ ]goboard8__1892_22.min1.thm1.tptp2017-02-06 16:47 754  
[ ]goboard8__1893_30.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard8__1909_37.min1.thm12017-02-06 12:46 967  
[ ]goboard8__1928_22.min1.thm12017-02-06 12:46 837  
[ ]goboard8__1928_22.min1.thm1.tptp2017-02-06 16:47 754  
[ ]goboard8__1938_37.min1.thm12017-02-06 12:46 842  
[ ]goboard8__1973_13.min1.thm12017-02-06 12:46 810  
[ ]goboard8__1974_20.min1.thm12017-02-06 12:46 2.7K 
[ ]goboard8__1976_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard8__1980_22.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard8__1981_12.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard8__1983_15.min1.thm12017-02-06 12:46 593  
[ ]goboard8__1984_12.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard8__1986_15.min1.thm12017-02-06 12:46 593  
[ ]goboard8__1987_12.min1.thm12017-02-06 12:46 866  
[ ]goboard8__1989_21.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard8__1990_25.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard8__1991_13.min1.thm12017-02-06 12:46 933  
[ ]goboard8__1993_20.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard8__1997_65.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard8__2002_37.min1.thm12017-02-06 12:46 560  
[ ]goboard8__2003_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard8__2004_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard8__2005_25.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard8__2006_23.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard8__2007_12.min1.thm12017-02-06 12:46 937  
[ ]goboard8__2043_13.min1.thm12017-02-06 12:46 810  
[ ]goboard8__2044_20.min1.thm12017-02-06 12:46 2.7K 
[ ]goboard8__2046_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard8__2050_22.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard8__2051_12.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard8__2053_15.min1.thm12017-02-06 12:46 593  
[ ]goboard8__2054_12.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard8__2056_15.min1.thm12017-02-06 12:46 593  
[ ]goboard8__2057_12.min1.thm12017-02-06 12:46 866  
[ ]goboard8__2059_21.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard8__2060_25.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard8__2061_13.min1.thm12017-02-06 12:46 933  
[ ]goboard8__2063_20.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard8__2067_65.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard8__2072_37.min1.thm12017-02-06 12:46 560  
[ ]goboard8__2073_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard8__2074_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard8__2075_25.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard8__2076_23.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard8__2077_12.min1.thm12017-02-06 12:46 937  
[ ]goboard8__2079_24.min1.thm12017-02-06 12:46 2.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80