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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]goboard5__64_20.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__66_37.min1.thm12017-02-06 12:46 449  
[ ]goboard5__66_37.min1.thm1.tptp2017-02-06 16:47 371  
[ ]goboard5__76_20.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard5__78_37.min1.thm12017-02-06 12:46 449  
[ ]goboard5__78_37.min1.thm1.tptp2017-02-06 16:47 371  
[ ]goboard5__87_18.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard5__89_16.min1.thm12017-02-06 12:46 445  
[ ]goboard5__89_16.min1.thm1.tptp2017-02-06 16:47 367  
[ ]goboard5__91_13.min1.thm12017-02-06 12:46 448  
[ ]goboard5__107_20.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__109_37.min1.thm12017-02-06 12:46 449  
[ ]goboard5__109_37.min1.thm1.tptp2017-02-06 16:47 371  
[ ]goboard5__119_20.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard5__121_37.min1.thm12017-02-06 12:46 449  
[ ]goboard5__121_37.min1.thm1.tptp2017-02-06 16:47 371  
[ ]goboard5__130_18.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard5__132_16.min1.thm12017-02-06 12:46 445  
[ ]goboard5__132_16.min1.thm1.tptp2017-02-06 16:47 367  
[ ]goboard5__134_13.min1.thm12017-02-06 12:46 448  
[ ]goboard5__147_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__162_36.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__187_23.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__188_19.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__190_23.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__198_37.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__221_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__228_15.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard5__238_36.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__265_20.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard5__267_24.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__268_15.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard5__270_25.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__278_36.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__299_15.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__314_17.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__315_22.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard5__329_19.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__331_18.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard5__332_17.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard5__348_15.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__363_15.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__378_17.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__392_13.min1.thm12017-02-06 12:46 972  
[ ]goboard5__447_11.min1.thm12017-02-06 12:46 717  
[ ]goboard5__450_11.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__454_11.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__461_24.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard5__463_16.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__466_57.min1.thm12017-02-06 12:46 3.5K 
[ ]goboard5__470_23.min1.thm12017-02-06 12:46 747  
[ ]goboard5__471_28.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__472_23.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__476_23.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__477_28.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard5__478_23.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__482_23.min1.thm12017-02-06 12:46 736  
[ ]goboard5__483_28.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__488_23.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__489_28.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__498_19.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__500_16.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard5__501_16.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard5__504_44.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard5__524_17.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__527_21.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__530_27.min1.thm12017-02-06 12:46 3.0K 
[ ]goboard5__532_27.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard5__533_19.min1.thm12017-02-06 12:46 2.7K 
[ ]goboard5__542_33.min1.thm12017-02-06 12:46 4.4K 
[ ]goboard5__545_18.min1.thm12017-02-06 12:46 601  
[ ]goboard5__547_30.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard5__548_41.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard5__560_50.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__561_19.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard5__562_19.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__565_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard5__568_13.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard5__569_19.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard5__572_13.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard5__573_19.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard5__576_13.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard5__577_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard5__580_13.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__581_19.min1.thm12017-02-06 12:46 2.2K 
[ ]goboard5__584_13.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__590_15.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard5__591_15.min1.thm12017-02-06 12:46 2.2K 
[ ]goboard5__592_18.min1.thm12017-02-06 12:46 937  
[ ]goboard5__594_32.min1.thm12017-02-06 12:46 967  
[ ]goboard5__597_32.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard5__600_32.min1.thm12017-02-06 12:46 956  
[ ]goboard5__603_32.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__606_32.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__611_27.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__612_19.min1.thm12017-02-06 12:46 280  
[ ]goboard5__613_24.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__616_16.min1.thm12017-02-06 12:46 302  
[ ]goboard5__618_37.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__619_32.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__624_33.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__626_39.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard5__630_23.min1.thm12017-02-06 12:46 545  
[ ]goboard5__631_23.min1.thm12017-02-06 12:46 545  
[ ]goboard5__635_31.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard5__636_31.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard5__637_54.min1.thm12017-02-06 12:46 773  
[ ]goboard5__642_50.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__643_19.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard5__644_19.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__647_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard5__650_13.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard5__651_19.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard5__654_13.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard5__655_19.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard5__658_13.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard5__659_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard5__662_13.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__663_19.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard5__666_13.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__672_15.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard5__673_15.min1.thm12017-02-06 12:46 2.2K 
[ ]goboard5__674_18.min1.thm12017-02-06 12:46 937  
[ ]goboard5__676_32.min1.thm12017-02-06 12:46 967  
[ ]goboard5__679_32.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard5__682_32.min1.thm12017-02-06 12:46 956  
[ ]goboard5__685_32.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard5__688_32.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__693_27.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__694_21.min1.thm12017-02-06 12:46 294  
[ ]goboard5__695_19.min1.thm12017-02-06 12:46 362  
[ ]goboard5__695_19.min1.thm1.tptp2017-02-06 16:47 292  
[ ]goboard5__696_24.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__697_17.min1.thm12017-02-06 12:46 575  
[ ]goboard5__700_21.min1.thm12017-02-06 12:46 763  
[ ]goboard5__701_19.min1.thm12017-02-06 12:46 280  
[ ]goboard5__703_37.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__704_32.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__709_33.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__711_39.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard5__715_23.min1.thm12017-02-06 12:46 545  
[ ]goboard5__716_23.min1.thm12017-02-06 12:46 545  
[ ]goboard5__720_31.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard5__721_31.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard5__722_54.min1.thm12017-02-06 12:46 773  
[ ]goboard5__728_29.min1.thm12017-02-06 12:46 2.2K 
[ ]goboard5__730_29.min1.thm12017-02-06 12:46 2.2K 
[ ]goboard5__738_43.min1.thm12017-02-06 12:46 836  
[ ]goboard5__739_31.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__740_31.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__741_18.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__745_16.min1.thm12017-02-06 12:46 489  
[ ]goboard5__746_16.min1.thm12017-02-06 12:46 489  
[ ]goboard5__752_16.min1.thm12017-02-06 12:46 489  
[ ]goboard5__753_16.min1.thm12017-02-06 12:46 489  
[ ]goboard5__759_16.min1.thm12017-02-06 12:46 489  
[ ]goboard5__760_16.min1.thm12017-02-06 12:46 489  
[ ]goboard5__766_16.min1.thm12017-02-06 12:46 489  
[ ]goboard5__767_16.min1.thm12017-02-06 12:46 489  
[ ]goboard5__774_17.min1.thm12017-02-06 12:46 595  
[ ]goboard5__774_17.min1.thm1.tptp2017-02-06 16:47 520  
[ ]goboard5__788_15.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__789_18.min1.thm12017-02-06 12:46 937  
[ ]goboard5__829_15.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__830_17.min1.thm12017-02-06 12:46 3.3K 
[ ]goboard5__832_15.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard5__833_16.min1.thm12017-02-06 12:46 867  
[ ]goboard5__844_26.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__857_21.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__870_26.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard5__883_21.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard5__892_25.min1.thm12017-02-06 12:46 850  
[ ]goboard5__899_25.min1.thm12017-02-06 12:46 850  
[ ]goboard5__911_47.min1.thm12017-02-06 12:46 564  
[ ]goboard5__911_47.min1.thm1.tptp2017-02-06 16:47 489  
[ ]goboard5__913_24.min1.thm12017-02-06 12:46 542  
[ ]goboard5__915_27.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__916_32.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__919_28.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__920_24.min1.thm12017-02-06 12:46 543  
[ ]goboard5__922_27.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__923_32.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__926_28.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__927_37.min1.thm12017-02-06 12:46 560  
[ ]goboard5__929_31.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard5__932_21.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__933_31.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard5__937_30.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__953_27.min1.thm12017-02-06 12:46 562  
[ ]goboard5__953_27.min1.thm1.tptp2017-02-06 16:47 487  
[ ]goboard5__969_13.min1.thm12017-02-06 12:46 882  
[ ]goboard5__976_13.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__987_34.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard5__989_21.min1.thm12017-02-06 12:46 232  
[ ]goboard5__994_34.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard5__996_21.min1.thm12017-02-06 12:46 232  
[ ]goboard5__1010_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1081_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1084_16.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__1085_19.min1.thm12017-02-06 12:46 890  
[ ]goboard5__1091_16.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__1092_19.min1.thm12017-02-06 12:46 890  
[ ]goboard5__1098_16.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__1099_19.min1.thm12017-02-06 12:46 890  
[ ]goboard5__1105_16.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__1106_19.min1.thm12017-02-06 12:46 890  
[ ]goboard5__1122_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1193_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1196_16.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__1197_19.min1.thm12017-02-06 12:46 890  
[ ]goboard5__1203_16.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__1204_19.min1.thm12017-02-06 12:46 890  
[ ]goboard5__1210_16.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__1211_19.min1.thm12017-02-06 12:46 890  
[ ]goboard5__1217_16.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__1218_19.min1.thm12017-02-06 12:46 890  
[ ]goboard5__1237_15.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__1243_24.min1.thm12017-02-06 12:46 433  
[ ]goboard5__1243_24.min1.thm1.tptp2017-02-06 16:47 356  
[ ]goboard5__1244_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1249_18.min1.thm12017-02-06 12:46 597  
[ ]goboard5__1258_17.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard5__1263_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__1269_14.min1.thm12017-02-06 12:46 302  
[ ]goboard5__1285_15.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__1291_24.min1.thm12017-02-06 12:46 433  
[ ]goboard5__1291_24.min1.thm1.tptp2017-02-06 16:47 356  
[ ]goboard5__1309_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__1315_14.min1.thm12017-02-06 12:46 302  
[ ]goboard5__1330_15.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__1336_24.min1.thm12017-02-06 12:46 433  
[ ]goboard5__1336_24.min1.thm1.tptp2017-02-06 16:47 356  
[ ]goboard5__1337_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1342_18.min1.thm12017-02-06 12:46 597  
[ ]goboard5__1351_17.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard5__1356_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__1362_14.min1.thm12017-02-06 12:46 302  
[ ]goboard5__1378_15.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__1384_24.min1.thm12017-02-06 12:46 433  
[ ]goboard5__1384_24.min1.thm1.tptp2017-02-06 16:47 356  
[ ]goboard5__1387_18.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__1402_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__1408_14.min1.thm12017-02-06 12:46 302  
[ ]goboard5__1427_23.min1.thm12017-02-06 12:46 432  
[ ]goboard5__1427_23.min1.thm1.tptp2017-02-06 16:47 355  
[ ]goboard5__1429_12.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__1449_15.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1488_23.min1.thm12017-02-06 12:46 432  
[ ]goboard5__1488_23.min1.thm1.tptp2017-02-06 16:47 355  
[ ]goboard5__1490_12.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__1510_15.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1542_17.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__1544_19.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard5__1555_13.min1.thm12017-02-06 12:46 520  
[ ]goboard5__1567_25.min1.thm12017-02-06 12:46 847  
[ ]goboard5__1568_16.min1.thm12017-02-06 12:46 621  
[ ]goboard5__1570_31.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1586_25.min1.thm12017-02-06 12:46 848  
[ ]goboard5__1587_16.min1.thm12017-02-06 12:46 621  
[ ]goboard5__1589_29.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1595_15.min1.thm12017-02-06 12:46 622  
[ ]goboard5__1607_25.min1.thm12017-02-06 12:46 848  
[ ]goboard5__1608_16.min1.thm12017-02-06 12:46 621  
[ ]goboard5__1610_31.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1616_15.min1.thm12017-02-06 12:46 622  
[ ]goboard5__1624_17.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1631_25.min1.thm12017-02-06 12:46 848  
[ ]goboard5__1632_16.min1.thm12017-02-06 12:46 621  
[ ]goboard5__1634_31.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1645_24.min1.thm12017-02-06 12:46 444  
[ ]goboard5__1645_24.min1.thm1.tptp2017-02-06 16:47 367  
[ ]goboard5__1646_16.min1.thm12017-02-06 12:46 580  
[ ]goboard5__1657_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__1669_24.min1.thm12017-02-06 12:46 444  
[ ]goboard5__1669_24.min1.thm1.tptp2017-02-06 16:47 367  
[ ]goboard5__1670_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1683_20.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard5__1701_15.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard5__1714_13.min1.thm12017-02-06 12:46 520  
[ ]goboard5__1726_25.min1.thm12017-02-06 12:46 847  
[ ]goboard5__1727_16.min1.thm12017-02-06 12:46 621  
[ ]goboard5__1729_31.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1739_22.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard5__1745_25.min1.thm12017-02-06 12:46 848  
[ ]goboard5__1746_16.min1.thm12017-02-06 12:46 621  
[ ]goboard5__1748_29.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1754_15.min1.thm12017-02-06 12:46 622  
[ ]goboard5__1766_25.min1.thm12017-02-06 12:46 848  
[ ]goboard5__1767_16.min1.thm12017-02-06 12:46 621  
[ ]goboard5__1769_31.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1775_15.min1.thm12017-02-06 12:46 622  
[ ]goboard5__1783_17.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1784_22.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard5__1790_25.min1.thm12017-02-06 12:46 848  
[ ]goboard5__1791_16.min1.thm12017-02-06 12:46 621  
[ ]goboard5__1793_31.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1804_24.min1.thm12017-02-06 12:46 444  
[ ]goboard5__1804_24.min1.thm1.tptp2017-02-06 16:47 367  
[ ]goboard5__1805_16.min1.thm12017-02-06 12:46 580  
[ ]goboard5__1816_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__1828_24.min1.thm12017-02-06 12:46 444  
[ ]goboard5__1828_24.min1.thm1.tptp2017-02-06 16:47 367  
[ ]goboard5__1829_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1830_16.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard5__1842_20.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard5__1860_11.min1.thm12017-02-06 12:46 536  
[ ]goboard5__1862_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard5__1878_15.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard5__1883_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1899_26.min1.thm12017-02-06 12:46 947  
[ ]goboard5__1900_27.min1.thm12017-02-06 12:46 963  
[ ]goboard5__1920_11.min1.thm12017-02-06 12:46 536  
[ ]goboard5__1922_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard5__1938_15.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard5__1943_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__1959_26.min1.thm12017-02-06 12:46 947  
[ ]goboard5__1960_27.min1.thm12017-02-06 12:46 963  
[ ]goboard5__1984_14.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__1985_19.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__1987_25.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__2004_14.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__2005_19.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__2008_25.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__2024_14.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__2025_19.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__2027_25.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__2044_14.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__2045_19.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__2048_25.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__2057_13.min1.thm12017-02-06 12:46 882  
[ ]goboard5__2064_13.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard5__2075_34.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard5__2077_21.min1.thm12017-02-06 12:46 232  
[ ]goboard5__2082_34.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard5__2084_21.min1.thm12017-02-06 12:46 232  
[ ]goboard5__2091_17.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard5__2092_23.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard5__2093_15.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard5__2094_23.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard5__2095_11.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__2097_16.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard5__2098_35.min1.thm12017-02-06 12:46 453  
[ ]goboard5__2099_16.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__2101_11.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard5__2103_16.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard5__2104_35.min1.thm12017-02-06 12:46 453  
[ ]goboard5__2105_16.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard5__2107_14.min1.thm12017-02-06 12:46 1.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80