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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]goboard6__49_38.min1.thm12017-02-06 12:46 784  
[ ]goboard6__50_17.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard6__55_38.min1.thm12017-02-06 12:46 784  
[ ]goboard6__56_17.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard6__62_17.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard6__73_17.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__82_32.min1.thm12017-02-06 12:46 957  
[ ]goboard6__84_17.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard6__92_55.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__93_58.min1.thm12017-02-06 12:46 731  
[ ]goboard6__107_58.min1.thm12017-02-06 12:46 731  
[ ]goboard6__108_59.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__127_17.min1.thm12017-02-06 12:46 317  
[ ]goboard6__127_17.min1.thm1.tptp2017-02-06 16:47 229  
[ ]goboard6__128_17.min1.thm12017-02-06 12:46 761  
[ ]goboard6__129_27.min1.thm12017-02-06 12:46 657  
[ ]goboard6__134_70.min1.thm12017-02-06 12:46 550  
[ ]goboard6__134_70.min1.thm1.tptp2017-02-06 16:47 472  
[ ]goboard6__136_60.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard6__137_16.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__138_19.min1.thm12017-02-06 12:46 876  
[ ]goboard6__148_55.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard6__149_15.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__150_25.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard6__152_15.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard6__153_25.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard6__161_58.min1.thm12017-02-06 12:46 737  
[ ]goboard6__162_59.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__164_17.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard6__173_42.min1.thm12017-02-06 12:46 645  
[ ]goboard6__174_42.min1.thm12017-02-06 12:46 645  
[ ]goboard6__187_51.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__202_51.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__217_51.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__231_51.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__244_32.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard6__265_59.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__266_70.min1.thm12017-02-06 12:46 954  
[ ]goboard6__272_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__273_22.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__285_46.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__286_22.min1.thm12017-02-06 12:46 444  
[ ]goboard6__286_22.min1.thm1.tptp2017-02-06 16:47 367  
[ ]goboard6__287_28.min1.thm12017-02-06 12:46 391  
[ ]goboard6__289_16.min1.thm12017-02-06 12:46 930  
[ ]goboard6__295_23.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard6__304_48.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__313_46.min1.thm12017-02-06 12:46 773  
[ ]goboard6__318_23.min1.thm12017-02-06 12:46 444  
[ ]goboard6__318_23.min1.thm1.tptp2017-02-06 16:47 367  
[ ]goboard6__323_13.min1.thm12017-02-06 12:46 906  
[ ]goboard6__327_19.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__328_35.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__348_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__349_22.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__361_46.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__362_22.min1.thm12017-02-06 12:46 444  
[ ]goboard6__362_22.min1.thm1.tptp2017-02-06 16:47 367  
[ ]goboard6__363_28.min1.thm12017-02-06 12:46 391  
[ ]goboard6__365_16.min1.thm12017-02-06 12:46 930  
[ ]goboard6__381_48.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__390_46.min1.thm12017-02-06 12:46 773  
[ ]goboard6__395_23.min1.thm12017-02-06 12:46 444  
[ ]goboard6__395_23.min1.thm1.tptp2017-02-06 16:47 367  
[ ]goboard6__400_13.min1.thm12017-02-06 12:46 906  
[ ]goboard6__403_24.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__404_34.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard6__424_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__426_19.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__440_46.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__441_22.min1.thm12017-02-06 12:46 444  
[ ]goboard6__441_22.min1.thm1.tptp2017-02-06 16:47 367  
[ ]goboard6__442_28.min1.thm12017-02-06 12:46 391  
[ ]goboard6__444_16.min1.thm12017-02-06 12:46 930  
[ ]goboard6__462_23.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard6__472_48.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__486_46.min1.thm12017-02-06 12:46 773  
[ ]goboard6__491_23.min1.thm12017-02-06 12:46 444  
[ ]goboard6__491_23.min1.thm1.tptp2017-02-06 16:47 367  
[ ]goboard6__493_6.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard6__500_13.min1.thm12017-02-06 12:46 906  
[ ]goboard6__504_19.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__505_35.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__514_24.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__515_34.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard6__531_15.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__544_46.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__545_22.min1.thm12017-02-06 12:46 444  
[ ]goboard6__545_22.min1.thm1.tptp2017-02-06 16:47 367  
[ ]goboard6__546_28.min1.thm12017-02-06 12:46 391  
[ ]goboard6__548_16.min1.thm12017-02-06 12:46 930  
[ ]goboard6__554_23.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard6__563_48.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__572_46.min1.thm12017-02-06 12:46 773  
[ ]goboard6__577_23.min1.thm12017-02-06 12:46 444  
[ ]goboard6__577_23.min1.thm1.tptp2017-02-06 16:47 367  
[ ]goboard6__582_13.min1.thm12017-02-06 12:46 906  
[ ]goboard6__586_19.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__587_35.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__607_15.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__620_46.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__621_22.min1.thm12017-02-06 12:46 444  
[ ]goboard6__621_22.min1.thm1.tptp2017-02-06 16:47 367  
[ ]goboard6__622_28.min1.thm12017-02-06 12:46 391  
[ ]goboard6__624_16.min1.thm12017-02-06 12:46 930  
[ ]goboard6__640_48.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__650_46.min1.thm12017-02-06 12:46 773  
[ ]goboard6__655_23.min1.thm12017-02-06 12:46 444  
[ ]goboard6__655_23.min1.thm1.tptp2017-02-06 16:47 367  
[ ]goboard6__660_13.min1.thm12017-02-06 12:46 906  
[ ]goboard6__663_24.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__664_34.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard6__685_15.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__701_46.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__702_22.min1.thm12017-02-06 12:46 444  
[ ]goboard6__702_22.min1.thm1.tptp2017-02-06 16:47 367  
[ ]goboard6__703_28.min1.thm12017-02-06 12:46 391  
[ ]goboard6__705_16.min1.thm12017-02-06 12:46 930  
[ ]goboard6__723_23.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard6__733_48.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__747_46.min1.thm12017-02-06 12:46 773  
[ ]goboard6__752_23.min1.thm12017-02-06 12:46 444  
[ ]goboard6__752_23.min1.thm1.tptp2017-02-06 16:47 367  
[ ]goboard6__754_6.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard6__761_13.min1.thm12017-02-06 12:46 906  
[ ]goboard6__765_19.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__766_35.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__775_24.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__776_34.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard6__795_53.min1.thm12017-02-06 12:46 805  
[ ]goboard6__795_53.min1.thm1.tptp2017-02-06 16:47 730  
[ ]goboard6__796_53.min1.thm12017-02-06 12:46 805  
[ ]goboard6__796_53.min1.thm1.tptp2017-02-06 16:47 730  
[ ]goboard6__810_14.min1.thm12017-02-06 12:46 941  
[ ]goboard6__816_57.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__830_65.min1.thm12017-02-06 12:46 828  
[ ]goboard6__830_65.min1.thm1.tptp2017-02-06 16:47 753  
[ ]goboard6__831_53.min1.thm12017-02-06 12:46 805  
[ ]goboard6__831_53.min1.thm1.tptp2017-02-06 16:47 730  
[ ]goboard6__845_27.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__846_14.min1.thm12017-02-06 12:46 941  
[ ]goboard6__852_63.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__869_53.min1.thm12017-02-06 12:46 805  
[ ]goboard6__869_53.min1.thm1.tptp2017-02-06 16:47 730  
[ ]goboard6__884_14.min1.thm12017-02-06 12:46 941  
[ ]goboard6__904_53.min1.thm12017-02-06 12:46 805  
[ ]goboard6__904_53.min1.thm1.tptp2017-02-06 16:47 730  
[ ]goboard6__905_61.min1.thm12017-02-06 12:46 828  
[ ]goboard6__905_61.min1.thm1.tptp2017-02-06 16:47 753  
[ ]goboard6__919_14.min1.thm12017-02-06 12:46 941  
[ ]goboard6__925_61.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__941_65.min1.thm12017-02-06 12:46 828  
[ ]goboard6__941_65.min1.thm1.tptp2017-02-06 16:47 753  
[ ]goboard6__942_61.min1.thm12017-02-06 12:46 828  
[ ]goboard6__942_61.min1.thm1.tptp2017-02-06 16:47 753  
[ ]goboard6__956_27.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__957_14.min1.thm12017-02-06 12:46 941  
[ ]goboard6__963_67.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__981_61.min1.thm12017-02-06 12:46 828  
[ ]goboard6__981_61.min1.thm1.tptp2017-02-06 16:47 753  
[ ]goboard6__996_14.min1.thm12017-02-06 12:46 941  
[ ]goboard6__1021_53.min1.thm12017-02-06 12:46 805  
[ ]goboard6__1021_53.min1.thm1.tptp2017-02-06 16:47 730  
[ ]goboard6__1036_14.min1.thm12017-02-06 12:46 941  
[ ]goboard6__1060_65.min1.thm12017-02-06 12:46 828  
[ ]goboard6__1060_65.min1.thm1.tptp2017-02-06 16:47 753  
[ ]goboard6__1074_27.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1075_14.min1.thm12017-02-06 12:46 941  
[ ]goboard6__1119_14.min1.thm12017-02-06 12:46 941  
[ ]goboard6__1141_14.min1.thm12017-02-06 12:46 2.0K 
[ ]goboard6__1146_19.min1.thm12017-02-06 12:46 745  
[ ]goboard6__1154_19.min1.thm12017-02-06 12:46 876  
[ ]goboard6__1164_14.min1.thm12017-02-06 12:46 578  
[ ]goboard6__1169_19.min1.thm12017-02-06 12:46 777  
[ ]goboard6__1177_19.min1.thm12017-02-06 12:46 892  
[ ]goboard6__1193_19.min1.thm12017-02-06 12:46 745  
[ ]goboard6__1201_19.min1.thm12017-02-06 12:46 876  
[ ]goboard6__1211_14.min1.thm12017-02-06 12:46 578  
[ ]goboard6__1216_19.min1.thm12017-02-06 12:46 777  
[ ]goboard6__1224_19.min1.thm12017-02-06 12:46 892  
[ ]goboard6__1237_14.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1239_26.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__1250_13.min1.thm12017-02-06 12:46 883  
[ ]goboard6__1255_13.min1.thm12017-02-06 12:46 883  
[ ]goboard6__1259_20.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1268_15.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1293_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1295_19.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__1300_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1302_19.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__1303_12.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1314_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__1339_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1341_19.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__1342_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1344_19.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__1345_12.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1357_13.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__1383_15.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1386_16.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard6__1390_15.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1393_12.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1399_18.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard6__1404_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__1429_15.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1432_15.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1435_12.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1441_16.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard6__1447_13.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__1458_16.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard6__1478_66.min1.thm12017-02-06 12:46 827  
[ ]goboard6__1478_66.min1.thm1.tptp2017-02-06 16:47 752  
[ ]goboard6__1486_15.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1489_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1491_19.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__1502_15.min1.thm12017-02-06 12:46 876  
[ ]goboard6__1502_15.min1.thm1.tptp2017-02-06 16:47 801  
[ ]goboard6__1510_15.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1513_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1514_22.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__1524_6.min1.thm12017-02-06 12:46 851  
[ ]goboard6__1524_6.min1.thm1.tptp2017-02-06 16:47 776  
[ ]goboard6__1533_15.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1536_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1537_22.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__1547_4.min1.thm12017-02-06 12:46 853  
[ ]goboard6__1547_4.min1.thm1.tptp2017-02-06 16:47 778  
[ ]goboard6__1570_16.min1.thm12017-02-06 12:46 771  
[ ]goboard6__1576_47.min1.thm12017-02-06 12:46 887  
[ ]goboard6__1576_47.min1.thm1.tptp2017-02-06 16:47 822  
[ ]goboard6__1583_19.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1586_23.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard6__1587_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1594_18.min1.thm12017-02-06 12:46 862  
[ ]goboard6__1603_21.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1605_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1606_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1609_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1618_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1651_17.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__1673_16.min1.thm12017-02-06 12:46 771  
[ ]goboard6__1679_51.min1.thm12017-02-06 12:46 951  
[ ]goboard6__1679_51.min1.thm1.tptp2017-02-06 16:47 886  
[ ]goboard6__1686_21.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1688_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1690_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1697_18.min1.thm12017-02-06 12:46 862  
[ ]goboard6__1703_19.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1706_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1710_23.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard6__1719_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1720_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1758_17.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1780_16.min1.thm12017-02-06 12:46 771  
[ ]goboard6__1786_51.min1.thm12017-02-06 12:46 951  
[ ]goboard6__1786_51.min1.thm1.tptp2017-02-06 16:47 886  
[ ]goboard6__1793_21.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1795_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1797_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1806_18.min1.thm12017-02-06 12:46 862  
[ ]goboard6__1812_19.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1815_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1823_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1832_23.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard6__1836_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1863_17.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1885_16.min1.thm12017-02-06 12:46 771  
[ ]goboard6__1891_47.min1.thm12017-02-06 12:46 887  
[ ]goboard6__1891_47.min1.thm1.tptp2017-02-06 16:47 822  
[ ]goboard6__1898_21.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1900_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1902_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1912_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1913_18.min1.thm12017-02-06 12:46 862  
[ ]goboard6__1927_23.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard6__1931_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1932_19.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__1938_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__1969_17.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__1989_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__1995_47.min1.thm12017-02-06 12:46 847  
[ ]goboard6__1995_47.min1.thm1.tptp2017-02-06 16:47 782  
[ ]goboard6__2002_23.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard6__2003_19.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2006_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__2013_18.min1.thm12017-02-06 12:46 862  
[ ]goboard6__2022_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2056_17.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard6__2078_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__2085_55.min1.thm12017-02-06 12:46 939  
[ ]goboard6__2085_55.min1.thm1.tptp2017-02-06 16:47 874  
[ ]goboard6__2092_23.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard6__2093_19.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2096_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__2103_18.min1.thm12017-02-06 12:46 862  
[ ]goboard6__2110_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2146_17.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__2166_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__2172_47.min1.thm12017-02-06 12:46 847  
[ ]goboard6__2172_47.min1.thm1.tptp2017-02-06 16:47 782  
[ ]goboard6__2180_21.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2182_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__2183_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__2190_18.min1.thm12017-02-06 12:46 862  
[ ]goboard6__2199_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2233_17.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard6__2255_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__2262_59.min1.thm12017-02-06 12:46 939  
[ ]goboard6__2262_59.min1.thm1.tptp2017-02-06 16:47 874  
[ ]goboard6__2270_21.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2272_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__2273_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__2280_18.min1.thm12017-02-06 12:46 862  
[ ]goboard6__2287_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2323_17.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__2342_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__2348_41.min1.thm12017-02-06 12:46 599  
[ ]goboard6__2348_41.min1.thm1.tptp2017-02-06 16:47 534  
[ ]goboard6__2353_18.min1.thm12017-02-06 12:46 861  
[ ]goboard6__2358_23.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard6__2364_19.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2367_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__2383_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2406_17.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__2425_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__2431_43.min1.thm12017-02-06 12:46 631  
[ ]goboard6__2431_43.min1.thm1.tptp2017-02-06 16:47 566  
[ ]goboard6__2436_18.min1.thm12017-02-06 12:46 861  
[ ]goboard6__2441_23.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard6__2442_19.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2445_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__2454_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2489_17.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__2510_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__2516_45.min1.thm12017-02-06 12:46 645  
[ ]goboard6__2516_45.min1.thm1.tptp2017-02-06 16:47 580  
[ ]goboard6__2521_18.min1.thm12017-02-06 12:46 861  
[ ]goboard6__2526_23.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard6__2527_19.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2533_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2534_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__2573_17.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__2595_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__2601_47.min1.thm12017-02-06 12:46 677  
[ ]goboard6__2601_47.min1.thm1.tptp2017-02-06 16:47 612  
[ ]goboard6__2606_18.min1.thm12017-02-06 12:46 861  
[ ]goboard6__2611_23.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard6__2612_19.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2615_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__2629_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2658_17.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__2677_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__2683_41.min1.thm12017-02-06 12:46 599  
[ ]goboard6__2683_41.min1.thm1.tptp2017-02-06 16:47 534  
[ ]goboard6__2688_18.min1.thm12017-02-06 12:46 861  
[ ]goboard6__2699_21.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2701_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__2702_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__2718_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2741_17.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__2760_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__2766_43.min1.thm12017-02-06 12:46 631  
[ ]goboard6__2766_43.min1.thm1.tptp2017-02-06 16:47 566  
[ ]goboard6__2771_18.min1.thm12017-02-06 12:46 861  
[ ]goboard6__2777_21.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2779_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__2780_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__2789_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2824_17.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__2846_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__2852_47.min1.thm12017-02-06 12:46 645  
[ ]goboard6__2852_47.min1.thm1.tptp2017-02-06 16:47 580  
[ ]goboard6__2857_18.min1.thm12017-02-06 12:46 861  
[ ]goboard6__2863_21.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2865_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__2869_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2870_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__2909_17.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__2931_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__2937_49.min1.thm12017-02-06 12:46 677  
[ ]goboard6__2937_49.min1.thm1.tptp2017-02-06 16:47 612  
[ ]goboard6__2942_18.min1.thm12017-02-06 12:46 861  
[ ]goboard6__2948_21.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2950_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__2951_16.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__2965_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__2994_17.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__3011_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__3017_41.min1.thm12017-02-06 12:46 579  
[ ]goboard6__3017_41.min1.thm1.tptp2017-02-06 16:47 514  
[ ]goboard6__3021_23.min1.thm12017-02-06 12:46 861  
[ ]goboard6__3030_8.min1.thm12017-02-06 12:46 833  
[ ]goboard6__3030_8.min1.thm1.tptp2017-02-06 16:47 758  
[ ]goboard6__3046_17.min1.thm12017-02-06 12:46 966  
[ ]goboard6__3063_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__3069_45.min1.thm12017-02-06 12:46 625  
[ ]goboard6__3069_45.min1.thm1.tptp2017-02-06 16:47 560  
[ ]goboard6__3073_23.min1.thm12017-02-06 12:46 861  
[ ]goboard6__3080_19.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__3083_21.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__3085_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__3089_15.min1.thm12017-02-06 12:46 859  
[ ]goboard6__3089_15.min1.thm1.tptp2017-02-06 16:47 784  
[ ]goboard6__3108_17.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__3125_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__3131_47.min1.thm12017-02-06 12:46 625  
[ ]goboard6__3131_47.min1.thm1.tptp2017-02-06 16:47 560  
[ ]goboard6__3135_23.min1.thm12017-02-06 12:46 861  
[ ]goboard6__3138_21.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__3140_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__3141_19.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__3147_19.min1.thm12017-02-06 12:46 856  
[ ]goboard6__3147_19.min1.thm1.tptp2017-02-06 16:47 781  
[ ]goboard6__3169_17.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__3186_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__3192_51.min1.thm12017-02-06 12:46 671  
[ ]goboard6__3192_51.min1.thm1.tptp2017-02-06 16:47 606  
[ ]goboard6__3196_23.min1.thm12017-02-06 12:46 861  
[ ]goboard6__3200_21.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__3202_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__3203_19.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__3211_27.min1.thm12017-02-06 12:46 882  
[ ]goboard6__3211_27.min1.thm1.tptp2017-02-06 16:47 807  
[ ]goboard6__3231_17.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__3248_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__3254_41.min1.thm12017-02-06 12:46 579  
[ ]goboard6__3254_41.min1.thm1.tptp2017-02-06 16:47 514  
[ ]goboard6__3258_23.min1.thm12017-02-06 12:46 861  
[ ]goboard6__3267_8.min1.thm12017-02-06 12:46 833  
[ ]goboard6__3267_8.min1.thm1.tptp2017-02-06 16:47 758  
[ ]goboard6__3283_17.min1.thm12017-02-06 12:46 966  
[ ]goboard6__3300_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__3306_45.min1.thm12017-02-06 12:46 625  
[ ]goboard6__3306_45.min1.thm1.tptp2017-02-06 16:47 560  
[ ]goboard6__3310_23.min1.thm12017-02-06 12:46 861  
[ ]goboard6__3316_19.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__3319_21.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__3321_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__3325_15.min1.thm12017-02-06 12:46 859  
[ ]goboard6__3325_15.min1.thm1.tptp2017-02-06 16:47 784  
[ ]goboard6__3344_17.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__3361_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__3367_47.min1.thm12017-02-06 12:46 625  
[ ]goboard6__3367_47.min1.thm1.tptp2017-02-06 16:47 560  
[ ]goboard6__3371_23.min1.thm12017-02-06 12:46 861  
[ ]goboard6__3375_21.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__3377_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__3378_19.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__3384_19.min1.thm12017-02-06 12:46 857  
[ ]goboard6__3384_19.min1.thm1.tptp2017-02-06 16:47 782  
[ ]goboard6__3403_17.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__3420_16.min1.thm12017-02-06 12:46 770  
[ ]goboard6__3426_51.min1.thm12017-02-06 12:46 671  
[ ]goboard6__3426_51.min1.thm1.tptp2017-02-06 16:47 606  
[ ]goboard6__3430_23.min1.thm12017-02-06 12:46 861  
[ ]goboard6__3433_21.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__3435_21.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__3436_19.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__3444_27.min1.thm12017-02-06 12:46 881  
[ ]goboard6__3444_27.min1.thm1.tptp2017-02-06 16:47 806  
[ ]goboard6__3464_17.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__3479_15.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__3481_13.min1.thm12017-02-06 12:46 882  
[ ]goboard6__3485_61.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard6__3486_12.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__3500_14.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard6__3537_58.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard6__3537_58.min1.thm1.tptp2017-02-06 16:47 2.0K 
[ ]goboard6__3538_58.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard6__3556_15.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__3558_13.min1.thm12017-02-06 12:46 882  
[ ]goboard6__3562_61.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard6__3563_12.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__3571_33.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard6__3577_14.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard6__3614_58.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard6__3614_58.min1.thm1.tptp2017-02-06 16:47 2.0K 
[ ]goboard6__3615_58.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard6__3632_25.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard6__3644_70.min1.thm12017-02-06 12:46 2.7K 
[ ]goboard6__3648_58.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__3648_58.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]goboard6__3649_58.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard6__3700_17.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__3718_32.min1.thm12017-02-06 12:46 2.8K 
[ ]goboard6__3752_58.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard6__3752_58.min1.thm1.tptp2017-02-06 16:47 2.0K 
[ ]goboard6__3753_58.min1.thm12017-02-06 12:46 2.2K 
[ ]goboard6__3791_67.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard6__3805_32.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard6__3818_70.min1.thm12017-02-06 12:46 2.7K 
[ ]goboard6__3822_58.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__3822_58.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]goboard6__3823_58.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard6__3874_17.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__3901_32.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard6__3925_58.min1.thm12017-02-06 12:46 2.1K 
[ ]goboard6__3925_58.min1.thm1.tptp2017-02-06 16:47 2.0K 
[ ]goboard6__3926_58.min1.thm12017-02-06 12:46 2.2K 
[ ]goboard6__3964_67.min1.thm12017-02-06 12:46 2.9K 
[ ]goboard6__3988_56.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__3988_56.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]goboard6__3989_56.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard6__3992_12.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__3996_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__4000_13.min1.thm12017-02-06 12:46 883  
[ ]goboard6__4010_14.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard6__4059_65.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard6__4081_56.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard6__4081_56.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]goboard6__4082_56.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard6__4085_12.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__4089_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__4093_13.min1.thm12017-02-06 12:46 883  
[ ]goboard6__4103_14.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard6__4152_65.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard6__4174_56.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__4174_56.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]goboard6__4175_56.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard6__4178_12.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__4182_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__4186_13.min1.thm12017-02-06 12:46 883  
[ ]goboard6__4196_14.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard6__4245_65.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard6__4267_56.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard6__4267_56.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]goboard6__4268_56.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard6__4271_12.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__4275_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__4279_13.min1.thm12017-02-06 12:46 883  
[ ]goboard6__4289_14.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard6__4338_65.min1.thm12017-02-06 12:46 2.5K 
[ ]goboard6__4350_25.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard6__4365_54.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard6__4379_58.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard6__4383_48.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard6__4387_24.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__4398_17.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__4403_56.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__4404_56.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__4404_56.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]goboard6__4405_56.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard6__4405_56.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]goboard6__4418_25.min1.thm12017-02-06 12:46 2.3K 
[ ]goboard6__4433_54.min1.thm12017-02-06 12:46 3.0K 
[ ]goboard6__4447_61.min1.thm12017-02-06 12:46 3.7K 
[ ]goboard6__4451_48.min1.thm12017-02-06 12:46 3.5K 
[ ]goboard6__4455_24.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__4466_17.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__4471_56.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__4471_56.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]goboard6__4472_56.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard6__4473_57.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__4473_57.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]goboard6__4486_33.min1.thm12017-02-06 12:46 2.8K 
[ ]goboard6__4504_55.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard6__4518_58.min1.thm12017-02-06 12:46 3.8K 
[ ]goboard6__4522_48.min1.thm12017-02-06 12:46 3.6K 
[ ]goboard6__4526_24.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__4539_56.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__4539_56.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]goboard6__4540_56.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard6__4541_60.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__4541_60.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]goboard6__4557_33.min1.thm12017-02-06 12:46 2.8K 
[ ]goboard6__4575_54.min1.thm12017-02-06 12:46 3.2K 
[ ]goboard6__4589_58.min1.thm12017-02-06 12:46 4.0K 
[ ]goboard6__4593_48.min1.thm12017-02-06 12:46 4.0K 
[ ]goboard6__4597_24.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__4610_56.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard6__4610_56.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]goboard6__4611_56.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard6__4612_59.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard6__4612_59.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]goboard6__4641_54.min1.thm12017-02-06 12:46 2.4K 
[ ]goboard6__4655_58.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard6__4659_48.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard6__4663_24.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__4674_17.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__4679_56.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__4680_56.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__4680_56.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]goboard6__4681_56.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard6__4681_56.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]goboard6__4709_54.min1.thm12017-02-06 12:46 3.0K 
[ ]goboard6__4723_61.min1.thm12017-02-06 12:46 3.7K 
[ ]goboard6__4728_48.min1.thm12017-02-06 12:46 3.5K 
[ ]goboard6__4732_24.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__4743_17.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__4748_56.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__4748_56.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]goboard6__4749_56.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard6__4750_57.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__4750_57.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]goboard6__4781_55.min1.thm12017-02-06 12:46 3.1K 
[ ]goboard6__4795_58.min1.thm12017-02-06 12:46 3.8K 
[ ]goboard6__4799_48.min1.thm12017-02-06 12:46 3.6K 
[ ]goboard6__4803_24.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__4816_56.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__4816_56.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]goboard6__4817_56.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard6__4818_60.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__4818_60.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]goboard6__4852_54.min1.thm12017-02-06 12:46 3.2K 
[ ]goboard6__4866_58.min1.thm12017-02-06 12:46 4.0K 
[ ]goboard6__4870_48.min1.thm12017-02-06 12:46 4.0K 
[ ]goboard6__4874_24.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__4887_56.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard6__4887_56.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]goboard6__4888_56.min1.thm12017-02-06 12:46 1.7K 
[ ]goboard6__4889_59.min1.thm12017-02-06 12:46 1.9K 
[ ]goboard6__4889_59.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]goboard6__4906_17.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__4906_17.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]goboard6__4919_38.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__4921_17.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__4921_17.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]goboard6__4933_32.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__4935_17.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__4935_17.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]goboard6__4947_32.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__4949_17.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__4949_17.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]goboard6__4961_36.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__4963_17.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__4963_17.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]goboard6__4972_32.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__4974_17.min1.thm12017-02-06 12:46 946  
[ ]goboard6__4974_17.min1.thm1.tptp2017-02-06 16:47 892  
[ ]goboard6__4983_42.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard6__4985_17.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__4985_17.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]goboard6__4994_38.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard6__5005_36.min1.thm12017-02-06 12:46 1.2K 
[ ]goboard6__5017_59.min1.thm12017-02-06 12:46 963  
[ ]goboard6__5019_16.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__5020_17.min1.thm12017-02-06 12:46 1.8K 
[ ]goboard6__5029_49.min1.thm12017-02-06 12:46 657  
[ ]goboard6__5034_61.min1.thm12017-02-06 12:46 971  
[ ]goboard6__5036_37.min1.thm12017-02-06 12:46 1.3K 
[ ]goboard6__5044_17.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard6__5046_19.min1.thm12017-02-06 12:46 619  
[ ]goboard6__5048_17.min1.thm12017-02-06 12:46 1.4K 
[ ]goboard6__5073_57.min1.thm12017-02-06 12:46 1.0K 
[ ]goboard6__5077_30.min1.thm12017-02-06 12:46 383  
[ ]goboard6__5083_17.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard6__5088_42.min1.thm12017-02-06 12:46 1.1K 
[ ]goboard6__5091_23.min1.thm12017-02-06 12:46 909  
[ ]goboard6__5092_28.min1.thm12017-02-06 12:46 1.5K 
[ ]goboard6__5094_12.min1.thm12017-02-06 12:46 1.6K 
[ ]goboard6__5095_15.min1.thm12017-02-06 12:46 916  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80