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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]clopban4__55_16.min1.thm12017-02-06 12:46 2.3K 
[ ]clopban4__70_16.min1.thm12017-02-06 12:46 2.3K 
[ ]clopban4__73_11.min1.thm12017-02-06 12:46 550  
[ ]clopban4__73_11.min1.thm1.tptp2017-02-06 16:48 468  
[ ]clopban4__77_34.min1.thm12017-02-06 12:46 622  
[ ]clopban4__77_34.min1.thm1.tptp2017-02-06 16:48 545  
[ ]clopban4__81_38.min1.thm12017-02-06 12:46 862  
[ ]clopban4__83_14.min1.thm12017-02-06 12:46 1.3K 
[ ]clopban4__83_14.min1.thm1.tptp2017-02-06 16:48 1.2K 
[ ]clopban4__97_39.min1.thm12017-02-06 12:46 1.8K 
[ ]clopban4__100_26.min1.thm12017-02-06 12:46 1.9K 
[ ]clopban4__102_27.min1.thm12017-02-06 12:46 1.8K 
[ ]clopban4__103_39.min1.thm12017-02-06 12:46 1.8K 
[ ]clopban4__106_26.min1.thm12017-02-06 12:46 1.9K 
[ ]clopban4__108_27.min1.thm12017-02-06 12:46 1.8K 
[ ]clopban4__109_19.min1.thm12017-02-06 12:46 1.1K 
[ ]clopban4__109_19.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]clopban4__112_13.min1.thm12017-02-06 12:46 2.2K 
[ ]clopban4__117_13.min1.thm12017-02-06 12:46 2.2K 
[ ]clopban4__121_11.min1.thm12017-02-06 12:46 964  
[ ]clopban4__121_11.min1.thm1.tptp2017-02-06 16:48 884  
[ ]clopban4__123_14.min1.thm12017-02-06 12:46 1.0K 
[ ]clopban4__123_14.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]clopban4__137_35.min1.thm12017-02-06 12:46 2.2K 
[ ]clopban4__138_17.min1.thm12017-02-06 12:46 2.1K 
[ ]clopban4__153_14.min1.thm12017-02-06 12:46 428  
[ ]clopban4__153_14.min1.thm1.tptp2017-02-06 16:48 351  
[ ]clopban4__154_30.min1.thm12017-02-06 12:46 1.6K 
[ ]clopban4__169_23.min1.thm12017-02-06 12:46 2.4K 
[ ]clopban4__175_26.min1.thm12017-02-06 12:46 690  
[ ]clopban4__178_23.min1.thm12017-02-06 12:46 2.4K 
[ ]clopban4__180_12.min1.thm12017-02-06 12:46 4.3K 
[ ]clopban4__186_25.min1.thm12017-02-06 12:46 380  
[ ]clopban4__187_21.min1.thm12017-02-06 12:46 3.3K 
[ ]clopban4__197_10.min1.thm12017-02-06 12:46 2.0K 
[ ]clopban4__200_36.min1.thm12017-02-06 12:46 873  
[ ]clopban4__201_20.min1.thm12017-02-06 12:46 2.6K 
[ ]clopban4__203_24.min1.thm12017-02-06 12:46 3.0K 
[ ]clopban4__204_14.min1.thm12017-02-06 12:46 1.5K 
[ ]clopban4__205_15.min1.thm12017-02-06 12:46 1.5K 
[ ]clopban4__215_16.min1.thm12017-02-06 12:46 577  
[ ]clopban4__220_16.min1.thm12017-02-06 12:46 1.3K 
[ ]clopban4__225_10.min1.thm12017-02-06 12:46 3.5K 
[ ]clopban4__233_17.min1.thm12017-02-06 12:46 1.3K 
[ ]clopban4__242_21.min1.thm12017-02-06 12:46 3.2K 
[ ]clopban4__249_34.min1.thm12017-02-06 12:46 847  
[ ]clopban4__251_20.min1.thm12017-02-06 12:46 3.0K 
[ ]clopban4__257_27.min1.thm12017-02-06 12:46 3.0K 
[ ]clopban4__261_37.min1.thm12017-02-06 12:46 4.3K 
[ ]clopban4__268_17.min1.thm12017-02-06 12:46 1.3K 
[ ]clopban4__277_21.min1.thm12017-02-06 12:46 3.2K 
[ ]clopban4__284_34.min1.thm12017-02-06 12:46 847  
[ ]clopban4__286_20.min1.thm12017-02-06 12:46 3.0K 
[ ]clopban4__292_27.min1.thm12017-02-06 12:46 3.0K 
[ ]clopban4__296_38.min1.thm12017-02-06 12:46 4.2K 
[ ]clopban4__307_21.min1.thm12017-02-06 12:46 3.2K 
[ ]clopban4__308_17.min1.thm12017-02-06 12:46 1.3K 
[ ]clopban4__319_34.min1.thm12017-02-06 12:46 1.0K 
[ ]clopban4__320_22.min1.thm12017-02-06 12:46 3.4K 
[ ]clopban4__328_29.min1.thm12017-02-06 12:46 3.0K 
[ ]clopban4__332_40.min1.thm12017-02-06 12:46 4.3K 
[ ]clopban4__335_22.min1.thm12017-02-06 12:46 1.7K 
[ ]clopban4__346_21.min1.thm12017-02-06 12:46 3.2K 
[ ]clopban4__347_17.min1.thm12017-02-06 12:46 1.3K 
[ ]clopban4__358_34.min1.thm12017-02-06 12:46 1.0K 
[ ]clopban4__359_22.min1.thm12017-02-06 12:46 3.4K 
[ ]clopban4__367_29.min1.thm12017-02-06 12:46 3.0K 
[ ]clopban4__371_39.min1.thm12017-02-06 12:46 4.2K 
[ ]clopban4__374_22.min1.thm12017-02-06 12:46 1.7K 
[ ]clopban4__384_23.min1.thm12017-02-06 12:46 2.4K 
[ ]clopban4__393_26.min1.thm12017-02-06 12:46 710  
[ ]clopban4__396_23.min1.thm12017-02-06 12:46 2.4K 
[ ]clopban4__398_12.min1.thm12017-02-06 12:46 4.3K 
[ ]clopban4__399_25.min1.thm12017-02-06 12:46 384  
[ ]clopban4__400_21.min1.thm12017-02-06 12:46 4.6K 
[ ]clopban4__401_18.min1.thm12017-02-06 12:46 1.9K 
[ ]clopban4__414_16.min1.thm12017-02-06 12:46 1.5K 
[ ]clopban4__415_17.min1.thm12017-02-06 12:46 1.6K 
[ ]clopban4__422_20.min1.thm12017-02-06 12:46 2.6K 
[ ]clopban4__431_12.min1.thm12017-02-06 12:46 2.0K 
[ ]clopban4__434_36.min1.thm12017-02-06 12:46 1.0K 
[ ]clopban4__435_24.min1.thm12017-02-06 12:46 3.4K 
[ ]clopban4__436_18.min1.thm12017-02-06 12:46 598  
[ ]clopban4__446_23.min1.thm12017-02-06 12:46 2.1K 
[ ]clopban4__469_18.min1.thm12017-02-06 12:46 776  
[ ]clopban4__473_33.min1.thm12017-02-06 12:46 2.4K 
[ ]clopban4__476_8.min1.thm12017-02-06 12:46 672  
[ ]clopban4__495_18.min1.thm12017-02-06 12:46 776  
[ ]clopban4__499_34.min1.thm12017-02-06 12:46 2.4K 
[ ]clopban4__502_8.min1.thm12017-02-06 12:46 672  
[ ]clopban4__506_17.min1.thm12017-02-06 12:46 1.1K 
[ ]clopban4__506_17.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]clopban4__535_11.min1.thm12017-02-06 12:46 4.0K 
[ ]clopban4__537_14.min1.thm12017-02-06 12:46 692  
[ ]clopban4__537_14.min1.thm1.tptp2017-02-06 16:48 611  
[ ]clopban4__554_14.min1.thm12017-02-06 12:46 1.8K 
[ ]clopban4__557_42.min1.thm12017-02-06 12:46 1.8K 
[ ]clopban4__564_39.min1.thm12017-02-06 12:46 2.3K 
[ ]clopban4__565_17.min1.thm12017-02-06 12:46 1.9K 
[ ]clopban4__566_31.min1.thm12017-02-06 12:46 2.3K 
[ ]clopban4__569_14.min1.thm12017-02-06 12:46 1.5K 
[ ]clopban4__589_24.min1.thm12017-02-06 12:46 643  
[ ]clopban4__590_42.min1.thm12017-02-06 12:46 2.6K 
[ ]clopban4__591_30.min1.thm12017-02-06 12:46 1.2K 
[ ]clopban4__592_32.min1.thm12017-02-06 12:46 574  
[ ]clopban4__592_32.min1.thm1.tptp2017-02-06 16:48 493  
[ ]clopban4__593_48.min1.thm12017-02-06 12:46 5.0K 
[ ]clopban4__596_63.min1.thm12017-02-06 12:46 786  
[ ]clopban4__596_63.min1.thm1.tptp2017-02-06 16:48 725  
[ ]clopban4__623_33.min1.thm12017-02-06 12:46 707  
[ ]clopban4__623_33.min1.thm1.tptp2017-02-06 16:48 630  
[ ]clopban4__624_21.min1.thm12017-02-06 12:46 888  
[ ]clopban4__641_7.min1.thm12017-02-06 12:46 819  
[ ]clopban4__642_42.min1.thm12017-02-06 12:46 133  
[ ]clopban4__645_46.min1.thm12017-02-06 12:46 1.0K 
[ ]clopban4__646_20.min1.thm12017-02-06 12:46 1.7K 
[ ]clopban4__651_47.min1.thm12017-02-06 12:46 904  
[ ]clopban4__652_19.min1.thm12017-02-06 12:46 1.3K 
[ ]clopban4__654_19.min1.thm12017-02-06 12:46 1.3K 
[ ]clopban4__664_9.min1.thm12017-02-06 12:46 854  
[ ]clopban4__664_9.min1.thm1.tptp2017-02-06 16:48 813  
[ ]clopban4__665_37.min1.thm12017-02-06 12:46 1.9K 
[ ]clopban4__671_27.min1.thm12017-02-06 12:46 3.0K 
[ ]clopban4__672_14.min1.thm12017-02-06 12:46 818  
[ ]clopban4__701_15.min1.thm12017-02-06 12:46 241  
[ ]clopban4__704_66.min1.thm12017-02-06 12:46 1.2K 
[ ]clopban4__705_22.min1.thm12017-02-06 12:46 1.2K 
[ ]clopban4__709_29.min1.thm12017-02-06 12:46 955  
[ ]clopban4__710_22.min1.thm12017-02-06 12:46 955  
[ ]clopban4__742_15.min1.thm12017-02-06 12:46 241  
[ ]clopban4__745_68.min1.thm12017-02-06 12:46 1.2K 
[ ]clopban4__746_22.min1.thm12017-02-06 12:46 1.2K 
[ ]clopban4__750_29.min1.thm12017-02-06 12:46 955  
[ ]clopban4__751_22.min1.thm12017-02-06 12:46 955  
[ ]clopban4__783_15.min1.thm12017-02-06 12:46 241  
[ ]clopban4__786_70.min1.thm12017-02-06 12:46 1.2K 
[ ]clopban4__787_22.min1.thm12017-02-06 12:46 1.2K 
[ ]clopban4__791_29.min1.thm12017-02-06 12:46 959  
[ ]clopban4__792_22.min1.thm12017-02-06 12:46 959  
[ ]clopban4__825_15.min1.thm12017-02-06 12:46 241  
[ ]clopban4__829_26.min1.thm12017-02-06 12:46 1.5K 
[ ]clopban4__830_22.min1.thm12017-02-06 12:46 1.5K 
[ ]clopban4__834_29.min1.thm12017-02-06 12:46 1.1K 
[ ]clopban4__835_22.min1.thm12017-02-06 12:46 1.1K 
[ ]clopban4__849_17.min1.thm12017-02-06 12:46 3.1K 
[ ]clopban4__850_12.min1.thm12017-02-06 12:46 1.5K 
[ ]clopban4__857_39.min1.thm12017-02-06 12:46 870  
[ ]clopban4__857_39.min1.thm1.tptp2017-02-06 16:48 799  
[ ]clopban4__867_32.min1.thm12017-02-06 12:46 3.5K 
[ ]clopban4__873_22.min1.thm12017-02-06 12:46 2.4K 
[ ]clopban4__874_36.min1.thm12017-02-06 12:46 2.7K 
[ ]clopban4__881_47.min1.thm12017-02-06 12:46 3.8K 
[ ]clopban4__885_71.min1.thm12017-02-06 12:46 1.0K 
[ ]clopban4__885_71.min1.thm1.tptp2017-02-06 16:48 900  
[ ]clopban4__889_16.min1.thm12017-02-06 12:46 1.9K 
[ ]clopban4__890_29.min1.thm12017-02-06 12:46 1.5K 
[ ]clopban4__891_13.min1.thm12017-02-06 12:46 1.7K 
[ ]clopban4__892_8.min1.thm12017-02-06 12:46 580  
[ ]clopban4__918_32.min1.thm12017-02-06 12:46 2.3K 
[ ]clopban4__921_42.min1.thm12017-02-06 12:46 3.1K 
[ ]clopban4__923_8.min1.thm12017-02-06 12:46 716  
[ ]clopban4__925_14.min1.thm12017-02-06 12:46 841  
[ ]clopban4__925_14.min1.thm1.tptp2017-02-06 16:48 764  
[ ]clopban4__939_14.min1.thm12017-02-06 12:46 1.8K 
[ ]clopban4__961_15.min1.thm12017-02-06 12:46 2.0K 
[ ]clopban4__965_30.min1.thm12017-02-06 12:46 3.1K 
[ ]clopban4__967_22.min1.thm12017-02-06 12:46 1.8K 
[ ]clopban4__971_24.min1.thm12017-02-06 12:46 2.5K 
[ ]clopban4__973_36.min1.thm12017-02-06 12:46 2.2K 
[ ]clopban4__974_26.min1.thm12017-02-06 12:46 2.3K 
[ ]clopban4__995_35.min1.thm12017-02-06 12:46 2.2K 
[ ]clopban4__996_26.min1.thm12017-02-06 12:46 2.3K 
[ ]clopban4__1013_73.min1.thm12017-02-06 12:46 3.8K 
[ ]clopban4__1017_70.min1.thm12017-02-06 12:46 4.1K 
[ ]clopban4__1023_64.min1.thm12017-02-06 12:46 3.8K 
[ ]clopban4__1037_17.min1.thm12017-02-06 12:46 1.1K 
[ ]clopban4__1040_28.min1.thm12017-02-06 12:46 2.7K 
[ ]clopban4__1043_21.min1.thm12017-02-06 12:46 2.6K 
[ ]clopban4__1044_24.min1.thm12017-02-06 12:46 2.2K 
[ ]clopban4__1047_21.min1.thm12017-02-06 12:46 2.2K 
[ ]clopban4__1064_17.min1.thm12017-02-06 12:46 1.1K 
[ ]clopban4__1067_12.min1.thm12017-02-06 12:46 1.7K 
[ ]clopban4__1067_12.min1.thm1.tptp2017-02-06 16:48 1.7K 
[ ]clopban4__1070_34.min1.thm12017-02-06 12:46 2.4K 
[ ]clopban4__1074_19.min1.thm12017-02-06 12:46 2.5K 
[ ]clopban4__1075_20.min1.thm12017-02-06 12:46 1.8K 
[ ]clopban4__1076_22.min1.thm12017-02-06 12:46 1.7K 
[ ]clopban4__1080_19.min1.thm12017-02-06 12:46 2.4K 
[ ]clopban4__1102_73.min1.thm12017-02-06 12:46 1.1K 
[ ]clopban4__1106_73.min1.thm12017-02-06 12:46 3.6K 
[ ]clopban4__1113_23.min1.thm12017-02-06 12:46 2.1K 
[ ]clopban4__1116_17.min1.thm12017-02-06 12:46 3.4K 
[ ]clopban4__1118_20.min1.thm12017-02-06 12:46 3.0K 
[ ]clopban4__1133_77.min1.thm12017-02-06 12:46 1.8K 
[ ]clopban4__1133_77.min1.thm1.tptp2017-02-06 16:48 1.7K 
[ ]clopban4__1138_15.min1.thm12017-02-06 12:46 1.8K 
[ ]clopban4__1157_17.min1.thm12017-02-06 12:46 2.2K 
[ ]clopban4__1192_12.min1.thm12017-02-06 12:46 2.9K 
[ ]clopban4__1193_16.min1.thm12017-02-06 12:46 1.4K 
[ ]clopban4__1194_7.min1.thm12017-02-06 12:46 772  
[ ]clopban4__1201_28.min1.thm12017-02-06 12:46 2.4K 
[ ]clopban4__1202_19.min1.thm12017-02-06 12:46 2.3K 
[ ]clopban4__1205_12.min1.thm12017-02-06 12:46 727  
[ ]clopban4__1205_12.min1.thm1.tptp2017-02-06 16:48 645  
[ ]clopban4__1207_14.min1.thm12017-02-06 12:46 761  
[ ]clopban4__1207_14.min1.thm1.tptp2017-02-06 16:48 684  
[ ]clopban4__1216_48.min1.thm12017-02-06 12:46 1.2K 
[ ]clopban4__1218_8.min1.thm12017-02-06 12:46 2.3K 
[ ]clopban4__1225_10.min1.thm12017-02-06 12:46 2.1K 
[ ]clopban4__1247_62.min1.thm12017-02-06 12:46 1.7K 
[ ]clopban4__1247_62.min1.thm1.tptp2017-02-06 16:48 1.6K 
[ ]clopban4__1272_15.min1.thm12017-02-06 12:46 380  
[ ]clopban4__1281_9.min1.thm12017-02-06 12:46 962  
[ ]clopban4__1288_8.min1.thm12017-02-06 12:46 410  
[ ]clopban4__1335_18.min1.thm12017-02-06 12:46 3.1K 
[ ]clopban4__1337_13.min1.thm12017-02-06 12:46 754  
[ ]clopban4__1343_28.min1.thm12017-02-06 12:46 2.4K 
[ ]clopban4__1344_19.min1.thm12017-02-06 12:46 2.3K 
[ ]clopban4__1353_14.min1.thm12017-02-06 12:46 1.8K 
[ ]clopban4__1355_15.min1.thm12017-02-06 12:46 2.3K 
[ ]clopban4__1358_67.min1.thm12017-02-06 12:46 4.0K 
[ ]clopban4__1378_17.min1.thm12017-02-06 12:46 1.5K 
[ ]clopban4__1378_17.min1.thm1.tptp2017-02-06 16:48 1.4K 
[ ]clopban4__1405_13.min1.thm12017-02-06 12:46 1.8K 
[ ]clopban4__1407_42.min1.thm12017-02-06 12:46 1.7K 
[ ]clopban4__1425_19.min1.thm12017-02-06 12:46 1.8K 
[ ]clopban4__1428_44.min1.thm12017-02-06 12:46 4.9K 
[ ]clopban4__1429_33.min1.thm12017-02-06 12:46 1.7K 
[ ]clopban4__1439_30.min1.thm12017-02-06 12:46 2.5K 
[ ]clopban4__1443_25.min1.thm12017-02-06 12:46 5.6K 
[ ]clopban4__1445_76.min1.thm12017-02-06 12:46 890  
[ ]clopban4__1448_12.min1.thm12017-02-06 12:46 2.2K 
[ ]clopban4__1449_13.min1.thm12017-02-06 12:46 754  
[ ]clopban4__1452_37.min1.thm12017-02-06 12:46 3.5K 
[ ]clopban4__1453_27.min1.thm12017-02-06 12:46 1.7K 
[ ]clopban4__1454_18.min1.thm12017-02-06 12:46 1.6K 
[ ]clopban4__1457_11.min1.thm12017-02-06 12:46 839  
[ ]clopban4__1457_11.min1.thm1.tptp2017-02-06 16:48 757  
[ ]clopban4__1459_14.min1.thm12017-02-06 12:46 873  
[ ]clopban4__1459_14.min1.thm1.tptp2017-02-06 16:48 796  
[ ]clopban4__1507_19.min1.thm12017-02-06 12:46 1.3K 
[ ]clopban4__1508_48.min1.thm12017-02-06 12:46 3.3K 
[ ]clopban4__1511_11.min1.thm12017-02-06 12:46 2.9K 
[ ]clopban4__1514_20.min1.thm12017-02-06 12:46 469  
[ ]clopban4__1514_20.min1.thm1.tptp2017-02-06 16:48 388  
[ ]clopban4__1528_11.min1.thm12017-02-06 12:46 2.3K 
[ ]clopban4__1551_65.min1.thm12017-02-06 12:46 3.3K 
[ ]clopban4__1554_25.min1.thm12017-02-06 12:46 3.2K 
[ ]clopban4__1558_11.min1.thm12017-02-06 12:46 723  
[ ]clopban4__1561_75.min1.thm12017-02-06 12:46 774  
[ ]clopban4__1561_75.min1.thm1.tptp2017-02-06 16:48 693  
[ ]clopban4__1563_32.min1.thm12017-02-06 12:46 1.4K 
[ ]clopban4__1572_64.min1.thm12017-02-06 12:46 1.9K 
[ ]clopban4__1579_62.min1.thm12017-02-06 12:46 637  
[ ]clopban4__1579_62.min1.thm1.tptp2017-02-06 16:48 556  
[ ]clopban4__1581_6.min1.thm12017-02-06 12:46 775  
[ ]clopban4__1581_6.min1.thm1.tptp2017-02-06 16:48 694  
[ ]clopban4__1588_59.min1.thm12017-02-06 12:46 3.3K 
[ ]clopban4__1617_31.min1.thm12017-02-06 12:46 574  
[ ]clopban4__1617_31.min1.thm1.tptp2017-02-06 16:48 493  
[ ]clopban4__1627_30.min1.thm12017-02-06 12:46 383  
[ ]clopban4__1629_32.min1.thm12017-02-06 12:46 1.3K 
[ ]clopban4__1630_32.min1.thm12017-02-06 12:46 1.3K 
[ ]clopban4__1633_45.min1.thm12017-02-06 12:46 3.8K 
[ ]clopban4__1642_36.min1.thm12017-02-06 12:46 1.4K 
[ ]clopban4__1643_57.min1.thm12017-02-06 12:46 2.0K 
[ ]clopban4__1673_7.min1.thm12017-02-06 12:46 1.3K 
[ ]clopban4__1708_47.min1.thm12017-02-06 12:46 932  
[ ]clopban4__1711_33.min1.thm12017-02-06 12:46 1.6K 
[ ]clopban4__1719_33.min1.thm12017-02-06 12:46 1.6K 
[ ]clopban4__1727_21.min1.thm12017-02-06 12:46 2.4K 
[ ]clopban4__1738_20.min1.thm12017-02-06 12:46 1.5K 
[ ]clopban4__1741_22.min1.thm12017-02-06 12:46 3.3K 
[ ]clopban4__1742_15.min1.thm12017-02-06 12:46 2.2K 
[ ]clopban4__1747_22.min1.thm12017-02-06 12:46 2.4K 
[ ]clopban4__1751_17.min1.thm12017-02-06 12:46 2.5K 
[ ]clopban4__1755_19.min1.thm12017-02-06 12:46 2.5K 
[ ]clopban4__1764_21.min1.thm12017-02-06 12:46 3.4K 
[ ]clopban4__1765_19.min1.thm12017-02-06 12:46 2.6K 
[ ]clopban4__1803_14.min1.thm12017-02-06 12:46 652  
[ ]clopban4__1813_56.min1.thm12017-02-06 12:46 776  
[ ]clopban4__1818_54.min1.thm12017-02-06 12:46 741  
[ ]clopban4__1818_54.min1.thm1.tptp2017-02-06 16:48 664  
[ ]clopban4__1823_55.min1.thm12017-02-06 12:46 759  
[ ]clopban4__1823_55.min1.thm1.tptp2017-02-06 16:48 678  
[ ]clopban4__1830_71.min1.thm12017-02-06 12:46 2.0K 
[ ]clopban4__1835_61.min1.thm12017-02-06 12:46 1.9K 
[ ]clopban4__1836_32.min1.thm12017-02-06 12:46 1.0K 
[ ]clopban4__1838_49.min1.thm12017-02-06 12:46 524  
[ ]clopban4__1854_49.min1.thm12017-02-06 12:46 894  
[ ]clopban4__1857_45.min1.thm12017-02-06 12:46 685  
[ ]clopban4__1857_45.min1.thm1.tptp2017-02-06 16:48 608  
[ ]clopban4__1868_43.min1.thm12017-02-06 12:46 3.8K 
[ ]clopban4__1871_43.min1.thm12017-02-06 12:46 3.8K 
[ ]clopban4__1879_52.min1.thm12017-02-06 12:46 2.9K 
[ ]clopban4__1880_38.min1.thm12017-02-06 12:46 2.8K 
[ ]clopban4__1893_16.min1.thm12017-02-06 12:46 946  
[ ]clopban4__1904_32.min1.thm12017-02-06 12:46 674  
[ ]clopban4__1904_32.min1.thm1.tptp2017-02-06 16:48 597  
[ ]clopban4__1905_17.min1.thm12017-02-06 12:46 674  
[ ]clopban4__1905_17.min1.thm1.tptp2017-02-06 16:48 597  
[ ]clopban4__1915_13.min1.thm12017-02-06 12:46 2.1K 
[ ]clopban4__1919_37.min1.thm12017-02-06 12:46 2.2K 
[ ]clopban4__1929_38.min1.thm12017-02-06 12:46 2.5K 
[ ]clopban4__1930_31.min1.thm12017-02-06 12:46 2.8K 
[ ]clopban4__1931_25.min1.thm12017-02-06 12:46 2.7K 
[ ]clopban4__1933_38.min1.thm12017-02-06 12:46 1.9K 
[ ]clopban4__1934_31.min1.thm12017-02-06 12:46 2.8K 
[ ]clopban4__1935_25.min1.thm12017-02-06 12:46 2.7K 
[ ]clopban4__1936_17.min1.thm12017-02-06 12:46 3.5K 
[ ]clopban4__1949_35.min1.thm12017-02-06 12:46 2.1K 
[ ]clopban4__1956_45.min1.thm12017-02-06 12:46 3.8K 
[ ]clopban4__1957_39.min1.thm12017-02-06 12:46 2.7K 
[ ]clopban4__1958_41.min1.thm12017-02-06 12:46 2.7K 
[ ]clopban4__1963_27.min1.thm12017-02-06 12:46 2.7K 
[ ]clopban4__1964_20.min1.thm12017-02-06 12:46 2.7K 
[ ]clopban4__1971_12.min1.thm12017-02-06 12:46 1.3K 
[ ]clopban4__1971_12.min1.thm1.tptp2017-02-06 16:48 1.2K 
[ ]clopban4__1972_14.min1.thm12017-02-06 12:46 330  
[ ]clopban4__1983_29.min1.thm12017-02-06 12:46 1.9K 
[ ]clopban4__1984_38.min1.thm12017-02-06 12:46 2.3K 
[ ]clopban4__1986_12.min1.thm12017-02-06 12:46 1.2K 
[ ]clopban4__1986_12.min1.thm1.tptp2017-02-06 16:48 1.1K 
[ ]clopban4__1987_37.min1.thm12017-02-06 12:46 2.3K 
[ ]clopban4__1989_12.min1.thm12017-02-06 12:46 1.2K 
[ ]clopban4__1989_12.min1.thm1.tptp2017-02-06 16:48 1.1K 
[ ]clopban4__1996_26.min1.thm12017-02-06 12:46 1.5K 
[ ]clopban4__1997_26.min1.thm12017-02-06 12:46 1.5K 
[ ]clopban4__1998_31.min1.thm12017-02-06 12:46 3.3K 
[ ]clopban4__2000_31.min1.thm12017-02-06 12:46 3.4K 
[ ]clopban4__2009_34.min1.thm12017-02-06 12:46 411  
[ ]clopban4__2012_17.min1.thm12017-02-06 12:46 2.2K 
[ ]clopban4__2022_34.min1.thm12017-02-06 12:46 411  
[ ]clopban4__2023_30.min1.thm12017-02-06 12:46 1.6K 
[ ]clopban4__2025_39.min1.thm12017-02-06 12:46 2.6K 
[ ]clopban4__2028_39.min1.thm12017-02-06 12:46 2.6K 
[ ]clopban4__2030_34.min1.thm12017-02-06 12:46 621  
[ ]clopban4__2031_16.min1.thm12017-02-06 12:46 3.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80