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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]goboard1__56_49.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__65_19.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__75_26.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__76_24.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__77_27.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__93_50.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__102_19.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__112_27.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__113_25.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__114_27.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__134_14.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard1__137_41.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__138_13.min1.thm12017-02-06 12:46 823  
[ ]goboard1__142_22.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__147_22.min1.thm12017-02-06 12:46 3.2K 
[ ]goboard1__150_23.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__168_30.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard1__169_21.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard1__182_12.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__190_13.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard1__192_38.min1.thm12017-02-06 12:46 489  
[ ]goboard1__193_14.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__194_26.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard1__202_18.min1.thm12017-02-06 12:46 537  
[ ]goboard1__203_20.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard1__206_18.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__207_50.min1.thm12017-02-06 12:46 686  
[ ]goboard1__208_55.min1.thm12017-02-06 12:46 773  
[ ]goboard1__209_18.min1.thm12017-02-06 12:46 803  
[ ]goboard1__211_19.min1.thm12017-02-06 12:46 717  
[ ]goboard1__237_37.min1.thm12017-02-06 12:46 652  
[ ]goboard1__238_33.min1.thm12017-02-06 12:46 3.0K 
[ ]goboard1__241_17.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard1__251_14.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard1__252_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__267_14.min1.thm12017-02-06 12:46 335  
[ ]goboard1__267_14.min1.thm1.tptp2017-02-06 16:47 270  
[ ]goboard1__270_24.min1.thm12017-02-06 12:46 630  
[ ]goboard1__285_14.min1.thm12017-02-06 12:46 335  
[ ]goboard1__285_14.min1.thm1.tptp2017-02-06 16:47 270  
[ ]goboard1__288_24.min1.thm12017-02-06 12:46 630  
[ ]goboard1__304_14.min1.thm12017-02-06 12:46 335  
[ ]goboard1__304_14.min1.thm1.tptp2017-02-06 16:47 270  
[ ]goboard1__321_13.min1.thm12017-02-06 12:46 329  
[ ]goboard1__321_13.min1.thm1.tptp2017-02-06 16:47 264  
[ ]goboard1__341_21.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__346_15.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__354_23.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard1__356_25.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__359_23.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard1__362_16.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__364_27.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__372_23.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__373_41.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__376_17.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__377_31.min1.thm12017-02-06 12:46 846  
[ ]goboard1__380_24.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__382_27.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__410_15.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__416_27.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__417_25.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__422_23.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__423_31.min1.thm12017-02-06 12:46 846  
[ ]goboard1__426_16.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__427_41.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__430_17.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__431_27.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__433_27.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__440_22.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__447_23.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard1__451_23.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard1__480_38.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__492_25.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__514_20.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__527_20.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__529_20.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard1__543_18.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__545_23.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__563_30.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__566_37.min1.thm12017-02-06 12:46 881  
[ ]goboard1__567_24.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__583_32.min1.thm12017-02-06 12:46 799  
[ ]goboard1__587_24.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__588_55.min1.thm12017-02-06 12:46 753  
[ ]goboard1__590_17.min1.thm12017-02-06 12:46 591  
[ ]goboard1__590_17.min1.thm1.tptp2017-02-06 16:47 509  
[ ]goboard1__597_6.min1.thm12017-02-06 12:46 3.4K 
[ ]goboard1__603_21.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard1__624_20.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__625_24.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard1__626_40.min1.thm12017-02-06 12:46 3.3K 
[ ]goboard1__628_46.min1.thm12017-02-06 12:46 3.4K 
[ ]goboard1__631_19.min1.thm12017-02-06 12:46 243  
[ ]goboard1__663_18.min1.thm12017-02-06 12:46 894  
[ ]goboard1__665_42.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard1__666_12.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard1__674_38.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard1__675_15.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__692_34.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard1__693_39.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__698_48.min1.thm12017-02-06 12:46 2.8K 
[ ]goboard1__699_26.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard1__707_30.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard1__709_46.min1.thm12017-02-06 12:46 2.7K 
[ ]goboard1__721_49.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__722_20.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard1__723_24.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard1__724_40.min1.thm12017-02-06 12:46 3.3K 
[ ]goboard1__725_51.min1.thm12017-02-06 12:46 3.4K 
[ ]goboard1__732_15.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__738_25.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard1__748_28.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard1__754_48.min1.thm12017-02-06 12:46 2.8K 
[ ]goboard1__755_26.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard1__763_30.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard1__765_46.min1.thm12017-02-06 12:46 2.7K 
[ ]goboard1__770_30.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__771_17.min1.thm12017-02-06 12:46 247  
[ ]goboard1__775_16.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__777_25.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard1__779_25.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard1__786_23.min1.thm12017-02-06 12:46 253  
[ ]goboard1__789_23.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__791_22.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard1__793_29.min1.thm12017-02-06 12:46 2.7K 
[ ]goboard1__798_24.min1.thm12017-02-06 12:46 2.2K 
[ ]goboard1__804_21.min1.thm12017-02-06 12:46 488  
[ ]goboard1__814_49.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__815_20.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard1__816_24.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard1__817_40.min1.thm12017-02-06 12:46 3.3K 
[ ]goboard1__818_51.min1.thm12017-02-06 12:46 3.4K 
[ ]goboard1__825_21.min1.thm12017-02-06 12:46 3.3K 
[ ]goboard1__833_32.min1.thm12017-02-06 12:46 718  
[ ]goboard1__834_21.min1.thm12017-02-06 12:46 891  
[ ]goboard1__850_26.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard1__855_19.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard1__886_12.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard1__890_16.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard1__935_11.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__937_12.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard1__939_24.min1.thm12017-02-06 12:46 2.7K 
[ ]goboard1__944_24.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__947_45.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard1__974_24.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard1__976_26.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__979_12.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__983_24.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__986_45.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard1__1012_66.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard1__1032_66.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard1__1051_16.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__1067_16.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__1079_9.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__1085_9.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__1098_9.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__1104_9.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__1125_35.min1.thm12017-02-06 12:46 866  
[ ]goboard1__1145_24.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__1152_41.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__1153_12.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard1__1157_16.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard1__1159_24.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__1187_5.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard1__1198_27.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard1__1199_19.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__1203_11.min1.thm12017-02-06 12:46 329  
[ ]goboard1__1206_14.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__1207_12.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard1__1208_19.min1.thm12017-02-06 12:46 676  
[ ]goboard1__1212_19.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard1__1216_24.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard1__1217_29.min1.thm12017-02-06 12:46 3.6K 
[ ]goboard1__1260_20.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__1262_30.min1.thm12017-02-06 12:46 444  
[ ]goboard1__1262_30.min1.thm1.tptp2017-02-06 16:47 364  
[ ]goboard1__1269_14.min1.thm12017-02-06 12:46 418  
[ ]goboard1__1272_21.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard1__1274_30.min1.thm12017-02-06 12:46 444  
[ ]goboard1__1274_30.min1.thm1.tptp2017-02-06 16:47 364  
[ ]goboard1__1307_24.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__1324_21.min1.thm12017-02-06 12:46 462  
[ ]goboard1__1327_18.min1.thm12017-02-06 12:46 823  
[ ]goboard1__1336_16.min1.thm12017-02-06 12:46 438  
[ ]goboard1__1342_16.min1.thm12017-02-06 12:46 418  
[ ]goboard1__1370_40.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__1371_44.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard1__1388_13.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__1389_31.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard1__1390_28.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__1397_13.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__1399_34.min1.thm12017-02-06 12:46 2.2K 
[ ]goboard1__1402_13.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__1403_31.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard1__1404_28.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__1409_15.min1.thm12017-02-06 12:46 546  
[ ]goboard1__1418_19.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__1419_23.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard1__1421_18.min1.thm12017-02-06 12:46 2.7K 
[ ]goboard1__1424_21.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard1__1429_20.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard1__1431_33.min1.thm12017-02-06 12:46 3.2K 
[ ]goboard1__1432_24.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__1439_19.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__1440_23.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard1__1442_18.min1.thm12017-02-06 12:46 2.7K 
[ ]goboard1__1445_21.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard1__1451_39.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard1__1452_20.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard1__1454_33.min1.thm12017-02-06 12:46 3.2K 
[ ]goboard1__1455_24.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__1468_35.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard1__1484_14.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__1486_15.min1.thm12017-02-06 12:46 231  
[ ]goboard1__1492_26.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__1501_52.min1.thm12017-02-06 12:46 2.2K 
[ ]goboard1__1503_15.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard1__1506_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__1507_20.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard1__1509_21.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__1515_51.min1.thm12017-02-06 12:46 933  
[ ]goboard1__1515_51.min1.thm1.tptp2017-02-06 16:47 871  
[ ]goboard1__1530_38.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__1553_38.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__1588_14.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__1606_54.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard1__1614_56.min1.thm12017-02-06 12:46 834  
[ ]goboard1__1618_39.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__1619_22.min1.thm12017-02-06 12:46 599  
[ ]goboard1__1621_33.min1.thm12017-02-06 12:46 790  
[ ]goboard1__1633_22.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__1636_29.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard1__1638_22.min1.thm12017-02-06 12:46 350  
[ ]goboard1__1638_22.min1.thm1.tptp2017-02-06 16:47 264  
[ ]goboard1__1641_19.min1.thm12017-02-06 12:46 667  
[ ]goboard1__1647_25.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__1654_28.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__1655_19.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__1661_45.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__1662_19.min1.thm12017-02-06 12:46 861  
[ ]goboard1__1672_18.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard1__1677_13.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__1681_18.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard1__1683_18.min1.thm12017-02-06 12:46 804  
[ ]goboard1__1684_13.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__1689_18.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard1__1690_22.min1.thm12017-02-06 12:46 806  
[ ]goboard1__1691_51.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard1__1693_21.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard1__1700_25.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard1__1704_39.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard1__1707_27.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__1711_27.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__1718_20.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard1__1722_25.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__1726_18.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard1__1731_14.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard1__1735_26.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard1__1742_33.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard1__1774_13.min1.thm12017-02-06 12:46 193  
[ ]goboard1__1784_15.min1.thm12017-02-06 12:46 3.2K 
[ ]goboard1__1794_34.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard1__1798_9.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__1809_29.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard1__1812_19.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__1827_13.min1.thm12017-02-06 12:46 225  
[ ]goboard1__1835_21.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard1__1836_33.min1.thm12017-02-06 12:46 3.3K 
[ ]goboard1__1839_47.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__1857_19.min1.thm12017-02-06 12:46 213  
[ ]goboard1__1861_27.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard1__1867_21.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard1__1875_19.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard1__1876_26.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard1__1887_32.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__1889_30.min1.thm12017-02-06 12:46 2.8K 
[ ]goboard1__1893_27.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__1895_34.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__1899_38.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard1__1904_36.min1.thm12017-02-06 12:46 332  
[ ]goboard1__1907_32.min1.thm12017-02-06 12:46 431  
[ ]goboard1__1911_35.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard1__1914_28.min1.thm12017-02-06 12:46 308  
[ ]goboard1__1917_24.min1.thm12017-02-06 12:46 298  
[ ]goboard1__1920_20.min1.thm12017-02-06 12:46 284  
[ ]goboard1__1922_10.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__1928_14.min1.thm12017-02-06 12:46 362  
[ ]goboard1__1941_38.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__1964_38.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__1999_14.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__2019_24.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__2025_61.min1.thm12017-02-06 12:46 860  
[ ]goboard1__2029_39.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__2032_32.min1.thm12017-02-06 12:46 816  
[ ]goboard1__2033_18.min1.thm12017-02-06 12:46 600  
[ ]goboard1__2044_22.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__2047_28.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard1__2049_28.min1.thm12017-02-06 12:46 376  
[ ]goboard1__2049_28.min1.thm1.tptp2017-02-06 16:47 290  
[ ]goboard1__2052_19.min1.thm12017-02-06 12:46 667  
[ ]goboard1__2058_25.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__2065_27.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__2066_19.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__2072_45.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__2073_19.min1.thm12017-02-06 12:46 887  
[ ]goboard1__2083_18.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard1__2088_13.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__2092_18.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard1__2094_24.min1.thm12017-02-06 12:46 830  
[ ]goboard1__2095_13.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__2100_18.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard1__2101_28.min1.thm12017-02-06 12:46 832  
[ ]goboard1__2104_21.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard1__2111_25.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard1__2115_39.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard1__2118_27.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__2122_27.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__2129_26.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard1__2133_27.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__2137_18.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard1__2142_16.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard1__2146_32.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard1__2150_31.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard1__2153_13.min1.thm12017-02-06 12:46 3.3K 
[ ]goboard1__2185_13.min1.thm12017-02-06 12:46 193  
[ ]goboard1__2195_15.min1.thm12017-02-06 12:46 3.2K 
[ ]goboard1__2205_33.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard1__2209_9.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__2220_28.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard1__2223_19.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__2238_13.min1.thm12017-02-06 12:46 225  
[ ]goboard1__2250_47.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__2268_19.min1.thm12017-02-06 12:46 213  
[ ]goboard1__2272_27.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard1__2278_21.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard1__2286_19.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard1__2287_26.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard1__2298_32.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__2300_30.min1.thm12017-02-06 12:46 2.8K 
[ ]goboard1__2304_27.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__2306_34.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__2309_38.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard1__2310_38.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard1__2315_36.min1.thm12017-02-06 12:46 332  
[ ]goboard1__2318_32.min1.thm12017-02-06 12:46 431  
[ ]goboard1__2322_35.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard1__2325_28.min1.thm12017-02-06 12:46 308  
[ ]goboard1__2328_24.min1.thm12017-02-06 12:46 298  
[ ]goboard1__2331_20.min1.thm12017-02-06 12:46 284  
[ ]goboard1__2333_10.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__2339_14.min1.thm12017-02-06 12:46 362  
[ ]goboard1__2354_24.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__2355_14.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard1__2370_15.min1.thm12017-02-06 12:46 195  
[ ]goboard1__2380_14.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard1__2381_17.min1.thm12017-02-06 12:46 3.2K 
[ ]goboard1__2387_44.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__2399_22.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__2412_30.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard1__2414_30.min1.thm12017-02-06 12:46 2.7K 
[ ]goboard1__2417_35.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard1__2421_35.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__2424_28.min1.thm12017-02-06 12:46 290  
[ ]goboard1__2427_24.min1.thm12017-02-06 12:46 278  
[ ]goboard1__2434_20.min1.thm12017-02-06 12:46 379  
[ ]goboard1__2437_16.min1.thm12017-02-06 12:46 254  
[ ]goboard1__2462_14.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__2466_25.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__2468_11.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__2471_24.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__2479_32.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard1__2480_35.min1.thm12017-02-06 12:46 866  
[ ]goboard1__2483_18.min1.thm12017-02-06 12:46 949  
[ ]goboard1__2484_41.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__2493_23.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__2496_13.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__2519_18.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__2541_13.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__2543_28.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard1__2553_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__2578_40.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard1__2580_14.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__2584_15.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard1__2590_14.min1.thm12017-02-06 12:46 450  
[ ]goboard1__2591_19.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard1__2592_25.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__2593_15.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__2602_19.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard1__2603_21.min1.thm12017-02-06 12:46 955  
[ ]goboard1__2605_45.min1.thm12017-02-06 12:46 295  
[ ]goboard1__2607_26.min1.thm12017-02-06 12:46 394  
[ ]goboard1__2607_26.min1.thm1.tptp2017-02-06 16:47 308  
[ ]goboard1__2608_17.min1.thm12017-02-06 12:46 740  
[ ]goboard1__2609_66.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard1__2611_23.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__2617_12.min1.thm12017-02-06 12:46 737  
[ ]goboard1__2629_51.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard1__2635_13.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__2639_18.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard1__2644_13.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__2652_50.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard1__2662_25.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__2670_13.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__2673_13.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__2675_21.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard1__2676_21.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard1__2688_48.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__2692_35.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard1__2695_23.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__2705_52.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard1__2711_48.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__2715_19.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard1__2718_38.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard1__2719_38.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__2720_35.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__2727_22.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__2728_24.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard1__2731_18.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__2742_51.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__2743_20.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard1__2749_52.min1.thm12017-02-06 12:46 2.7K 
[ ]goboard1__2756_18.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard1__2757_13.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard1__2759_41.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__2766_46.min1.thm12017-02-06 12:46 439  
[ ]goboard1__2766_46.min1.thm1.tptp2017-02-06 16:47 353  
[ ]goboard1__2767_18.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard1__2769_21.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard1__2776_18.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard1__2777_22.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard1__2780_13.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__2790_23.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard1__2792_22.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__2793_31.min1.thm12017-02-06 12:46 2.2K 
[ ]goboard1__2800_21.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard1__2803_25.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard1__2811_21.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard1__2812_41.min1.thm12017-02-06 12:46 2.6K 
[ ]goboard1__2820_22.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard1__2825_32.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard1__2832_26.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard1__2836_23.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard1__2837_52.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard1__2866_18.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard1__2870_59.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard1__2876_15.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard1__2880_17.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard1__2893_21.min1.thm12017-02-06 12:46 255  
[ ]goboard1__2896_28.min1.thm12017-02-06 12:46 2.2K 
[ ]goboard1__2900_28.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard1__2903_21.min1.thm12017-02-06 12:46 302  
[ ]goboard1__2906_19.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard1__2908_19.min1.thm12017-02-06 12:46 912  
[ ]goboard1__2913_16.min1.thm12017-02-06 12:46 774  
[ ]goboard1__2925_29.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard1__2927_20.min1.thm12017-02-06 12:46 270  
[ ]goboard1__2928_9.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard1__2931_17.min1.thm12017-02-06 12:46 1.6K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80