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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]clvect_2__58_38.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__64_35.min1.thm12017-02-06 12:46 2.5K 
[ ]clvect_2__65_11.min1.thm12017-02-06 12:46 1.0K 
[ ]clvect_2__66_17.min1.thm12017-02-06 12:46 472  
[ ]clvect_2__66_17.min1.thm1.tptp2017-02-06 16:48 384  
[ ]clvect_2__77_44.min1.thm12017-02-06 12:46 568  
[ ]clvect_2__93_19.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__94_34.min1.thm12017-02-06 12:46 723  
[ ]clvect_2__95_35.min1.thm12017-02-06 12:46 935  
[ ]clvect_2__104_27.min1.thm12017-02-06 12:46 1.7K 
[ ]clvect_2__105_35.min1.thm12017-02-06 12:46 883  
[ ]clvect_2__133_12.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__136_32.min1.thm12017-02-06 12:46 689  
[ ]clvect_2__142_18.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__143_17.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__144_35.min1.thm12017-02-06 12:46 688  
[ ]clvect_2__172_12.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__175_32.min1.thm12017-02-06 12:46 689  
[ ]clvect_2__181_18.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__182_17.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__183_35.min1.thm12017-02-06 12:46 688  
[ ]clvect_2__196_15.min1.thm12017-02-06 12:46 1.2K 
[ ]clvect_2__200_16.min1.thm12017-02-06 12:46 489  
[ ]clvect_2__209_34.min1.thm12017-02-06 12:46 821  
[ ]clvect_2__210_17.min1.thm12017-02-06 12:46 698  
[ ]clvect_2__211_47.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__213_17.min1.thm12017-02-06 12:46 1.3K 
[ ]clvect_2__214_10.min1.thm12017-02-06 12:46 929  
[ ]clvect_2__218_37.min1.thm12017-02-06 12:46 3.0K 
[ ]clvect_2__233_29.min1.thm12017-02-06 12:46 739  
[ ]clvect_2__234_61.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__235_31.min1.thm12017-02-06 12:46 2.7K 
[ ]clvect_2__236_13.min1.thm12017-02-06 12:46 1.2K 
[ ]clvect_2__237_37.min1.thm12017-02-06 12:46 4.5K 
[ ]clvect_2__247_35.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__266_56.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__268_31.min1.thm12017-02-06 12:46 712  
[ ]clvect_2__277_34.min1.thm12017-02-06 12:46 1.7K 
[ ]clvect_2__299_33.min1.thm12017-02-06 12:46 765  
[ ]clvect_2__300_19.min1.thm12017-02-06 12:46 3.0K 
[ ]clvect_2__315_33.min1.thm12017-02-06 12:46 823  
[ ]clvect_2__339_23.min1.thm12017-02-06 12:46 1.3K 
[ ]clvect_2__341_27.min1.thm12017-02-06 12:46 2.8K 
[ ]clvect_2__349_44.min1.thm12017-02-06 12:46 886  
[ ]clvect_2__353_44.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__362_44.min1.thm12017-02-06 12:46 885  
[ ]clvect_2__366_44.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__374_16.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__385_20.min1.thm12017-02-06 12:46 2.0K 
[ ]clvect_2__387_38.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__388_12.min1.thm12017-02-06 12:46 428  
[ ]clvect_2__395_12.min1.thm12017-02-06 12:46 818  
[ ]clvect_2__396_24.min1.thm12017-02-06 12:46 1.7K 
[ ]clvect_2__397_28.min1.thm12017-02-06 12:46 2.3K 
[ ]clvect_2__398_24.min1.thm12017-02-06 12:46 2.5K 
[ ]clvect_2__399_17.min1.thm12017-02-06 12:46 497  
[ ]clvect_2__400_21.min1.thm12017-02-06 12:46 2.5K 
[ ]clvect_2__401_34.min1.thm12017-02-06 12:46 1.2K 
[ ]clvect_2__403_22.min1.thm12017-02-06 12:46 1.2K 
[ ]clvect_2__414_16.min1.thm12017-02-06 12:46 376  
[ ]clvect_2__415_10.min1.thm12017-02-06 12:46 810  
[ ]clvect_2__416_22.min1.thm12017-02-06 12:46 1.7K 
[ ]clvect_2__417_22.min1.thm12017-02-06 12:46 2.4K 
[ ]clvect_2__418_17.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__429_44.min1.thm12017-02-06 12:46 578  
[ ]clvect_2__442_21.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__443_45.min1.thm12017-02-06 12:46 757  
[ ]clvect_2__444_46.min1.thm12017-02-06 12:46 1.0K 
[ ]clvect_2__453_29.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__454_46.min1.thm12017-02-06 12:46 1.0K 
[ ]clvect_2__476_14.min1.thm12017-02-06 12:46 857  
[ ]clvect_2__484_14.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__485_19.min1.thm12017-02-06 12:46 1.4K 
[ ]clvect_2__487_32.min1.thm12017-02-06 12:46 782  
[ ]clvect_2__488_69.min1.thm12017-02-06 12:46 4.6K 
[ ]clvect_2__493_20.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__494_19.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__495_37.min1.thm12017-02-06 12:46 783  
[ ]clvect_2__500_30.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__517_14.min1.thm12017-02-06 12:46 857  
[ ]clvect_2__525_14.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__528_32.min1.thm12017-02-06 12:46 782  
[ ]clvect_2__534_20.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__535_19.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__536_37.min1.thm12017-02-06 12:46 783  
[ ]clvect_2__541_30.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__560_53.min1.thm12017-02-06 12:46 2.2K 
[ ]clvect_2__561_30.min1.thm12017-02-06 12:46 2.7K 
[ ]clvect_2__562_13.min1.thm12017-02-06 12:46 1.2K 
[ ]clvect_2__568_14.min1.thm12017-02-06 12:46 1.2K 
[ ]clvect_2__572_16.min1.thm12017-02-06 12:46 495  
[ ]clvect_2__575_23.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__582_35.min1.thm12017-02-06 12:46 903  
[ ]clvect_2__583_18.min1.thm12017-02-06 12:46 705  
[ ]clvect_2__584_48.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__586_17.min1.thm12017-02-06 12:46 1.3K 
[ ]clvect_2__587_10.min1.thm12017-02-06 12:46 934  
[ ]clvect_2__591_37.min1.thm12017-02-06 12:46 3.4K 
[ ]clvect_2__595_26.min1.thm12017-02-06 12:46 1.4K 
[ ]clvect_2__603_47.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__605_17.min1.thm12017-02-06 12:46 1.9K 
[ ]clvect_2__622_28.min1.thm12017-02-06 12:46 819  
[ ]clvect_2__625_39.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__627_36.min1.thm12017-02-06 12:46 1.4K 
[ ]clvect_2__628_43.min1.thm12017-02-06 12:46 3.9K 
[ ]clvect_2__630_26.min1.thm12017-02-06 12:46 1.4K 
[ ]clvect_2__638_45.min1.thm12017-02-06 12:46 1.9K 
[ ]clvect_2__661_33.min1.thm12017-02-06 12:46 761  
[ ]clvect_2__662_19.min1.thm12017-02-06 12:46 3.0K 
[ ]clvect_2__677_35.min1.thm12017-02-06 12:46 847  
[ ]clvect_2__682_14.min1.thm12017-02-06 12:46 930  
[ ]clvect_2__696_18.min1.thm12017-02-06 12:46 478  
[ ]clvect_2__706_28.min1.thm12017-02-06 12:46 570  
[ ]clvect_2__706_28.min1.thm1.tptp2017-02-06 16:48 493  
[ ]clvect_2__707_24.min1.thm12017-02-06 12:46 713  
[ ]clvect_2__723_16.min1.thm12017-02-06 12:46 391  
[ ]clvect_2__730_30.min1.thm12017-02-06 12:46 831  
[ ]clvect_2__731_58.min1.thm12017-02-06 12:46 2.7K 
[ ]clvect_2__735_62.min1.thm12017-02-06 12:46 650  
[ ]clvect_2__751_16.min1.thm12017-02-06 12:46 391  
[ ]clvect_2__759_30.min1.thm12017-02-06 12:46 831  
[ ]clvect_2__760_58.min1.thm12017-02-06 12:46 2.7K 
[ ]clvect_2__764_62.min1.thm12017-02-06 12:46 650  
[ ]clvect_2__766_28.min1.thm12017-02-06 12:46 1.3K 
[ ]clvect_2__781_16.min1.thm12017-02-06 12:46 391  
[ ]clvect_2__787_33.min1.thm12017-02-06 12:46 819  
[ ]clvect_2__789_39.min1.thm12017-02-06 12:46 2.8K 
[ ]clvect_2__812_18.min1.thm12017-02-06 12:46 510  
[ ]clvect_2__822_32.min1.thm12017-02-06 12:46 602  
[ ]clvect_2__822_32.min1.thm1.tptp2017-02-06 16:48 525  
[ ]clvect_2__823_24.min1.thm12017-02-06 12:46 745  
[ ]clvect_2__838_16.min1.thm12017-02-06 12:46 391  
[ ]clvect_2__844_31.min1.thm12017-02-06 12:46 2.5K 
[ ]clvect_2__848_35.min1.thm12017-02-06 12:46 773  
[ ]clvect_2__851_61.min1.thm12017-02-06 12:46 614  
[ ]clvect_2__866_16.min1.thm12017-02-06 12:46 391  
[ ]clvect_2__871_29.min1.thm12017-02-06 12:46 2.5K 
[ ]clvect_2__875_33.min1.thm12017-02-06 12:46 761  
[ ]clvect_2__878_31.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__931_55.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__940_55.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__949_49.min1.thm12017-02-06 12:46 2.0K 
[ ]clvect_2__958_49.min1.thm12017-02-06 12:46 2.0K 
[ ]clvect_2__966_55.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__975_55.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__985_47.min1.thm12017-02-06 12:46 2.5K 
[ ]clvect_2__988_35.min1.thm12017-02-06 12:46 2.4K 
[ ]clvect_2__998_49.min1.thm12017-02-06 12:46 2.6K 
[ ]clvect_2__1001_50.min1.thm12017-02-06 12:46 2.6K 
[ ]clvect_2__1033_55.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__1042_55.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__1056_16.min1.thm12017-02-06 12:46 479  
[ ]clvect_2__1056_16.min1.thm1.tptp2017-02-06 16:48 401  
[ ]clvect_2__1066_16.min1.thm12017-02-06 12:46 479  
[ ]clvect_2__1066_16.min1.thm1.tptp2017-02-06 16:48 401  
[ ]clvect_2__1076_16.min1.thm12017-02-06 12:46 479  
[ ]clvect_2__1076_16.min1.thm1.tptp2017-02-06 16:48 401  
[ ]clvect_2__1086_54.min1.thm12017-02-06 12:46 1.9K 
[ ]clvect_2__1087_16.min1.thm12017-02-06 12:46 465  
[ ]clvect_2__1089_13.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__1098_27.min1.thm12017-02-06 12:46 1.4K 
[ ]clvect_2__1099_19.min1.thm12017-02-06 12:46 1.7K 
[ ]clvect_2__1102_25.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__1103_14.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__1109_20.min1.thm12017-02-06 12:46 1.0K 
[ ]clvect_2__1111_17.min1.thm12017-02-06 12:46 1.3K 
[ ]clvect_2__1120_18.min1.thm12017-02-06 12:46 1.4K 
[ ]clvect_2__1122_28.min1.thm12017-02-06 12:46 1.9K 
[ ]clvect_2__1123_41.min1.thm12017-02-06 12:46 1.4K 
[ ]clvect_2__1124_18.min1.thm12017-02-06 12:46 1.4K 
[ ]clvect_2__1125_47.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__1134_20.min1.thm12017-02-06 12:46 1.4K 
[ ]clvect_2__1135_34.min1.thm12017-02-06 12:46 1.4K 
[ ]clvect_2__1143_25.min1.thm12017-02-06 12:46 1.4K 
[ ]clvect_2__1144_28.min1.thm12017-02-06 12:46 1.9K 
[ ]clvect_2__1145_28.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__1146_35.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__1147_14.min1.thm12017-02-06 12:46 2.4K 
[ ]clvect_2__1156_20.min1.thm12017-02-06 12:46 1.4K 
[ ]clvect_2__1157_25.min1.thm12017-02-06 12:46 2.3K 
[ ]clvect_2__1158_14.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__1167_55.min1.thm12017-02-06 12:46 1.9K 
[ ]clvect_2__1168_16.min1.thm12017-02-06 12:46 459  
[ ]clvect_2__1171_14.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__1180_28.min1.thm12017-02-06 12:46 1.4K 
[ ]clvect_2__1181_19.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__1184_26.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__1185_14.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__1192_24.min1.thm12017-02-06 12:46 1.0K 
[ ]clvect_2__1193_17.min1.thm12017-02-06 12:46 1.3K 
[ ]clvect_2__1200_26.min1.thm12017-02-06 12:46 2.6K 
[ ]clvect_2__1201_14.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__1210_54.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__1211_16.min1.thm12017-02-06 12:46 433  
[ ]clvect_2__1214_14.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__1223_27.min1.thm12017-02-06 12:46 1.4K 
[ ]clvect_2__1224_19.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__1227_25.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__1228_14.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__1235_25.min1.thm12017-02-06 12:46 1.4K 
[ ]clvect_2__1236_14.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__1242_57.min1.thm12017-02-06 12:46 1.3K 
[ ]clvect_2__1252_27.min1.thm12017-02-06 12:46 1.4K 
[ ]clvect_2__1253_27.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__1265_23.min1.thm12017-02-06 12:46 1.4K 
[ ]clvect_2__1267_18.min1.thm12017-02-06 12:46 2.2K 
[ ]clvect_2__1270_28.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__1274_30.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__1277_42.min1.thm12017-02-06 12:46 2.3K 
[ ]clvect_2__1281_60.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__1282_50.min1.thm12017-02-06 12:46 2.2K 
[ ]clvect_2__1283_17.min1.thm12017-02-06 12:46 1.0K 
[ ]clvect_2__1311_11.min1.thm12017-02-06 12:46 2.4K 
[ ]clvect_2__1312_17.min1.thm12017-02-06 12:46 577  
[ ]clvect_2__1312_17.min1.thm1.tptp2017-02-06 16:48 489  
[ ]clvect_2__1331_38.min1.thm12017-02-06 12:46 1.0K 
[ ]clvect_2__1347_39.min1.thm12017-02-06 12:46 1.1K 
[ ]clvect_2__1362_14.min1.thm12017-02-06 12:46 845  
[ ]clvect_2__1372_12.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__1382_18.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__1383_27.min1.thm12017-02-06 12:46 1.7K 
[ ]clvect_2__1399_14.min1.thm12017-02-06 12:46 845  
[ ]clvect_2__1409_12.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__1419_18.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__1420_27.min1.thm12017-02-06 12:46 1.7K 
[ ]clvect_2__1433_15.min1.thm12017-02-06 12:46 1.2K 
[ ]clvect_2__1437_16.min1.thm12017-02-06 12:46 495  
[ ]clvect_2__1440_23.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__1448_39.min1.thm12017-02-06 12:46 1.1K 
[ ]clvect_2__1449_17.min1.thm12017-02-06 12:46 705  
[ ]clvect_2__1450_47.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__1452_17.min1.thm12017-02-06 12:46 1.3K 
[ ]clvect_2__1453_10.min1.thm12017-02-06 12:46 934  
[ ]clvect_2__1474_34.min1.thm12017-02-06 12:46 1.0K 
[ ]clvect_2__1475_65.min1.thm12017-02-06 12:46 2.9K 
[ ]clvect_2__1477_30.min1.thm12017-02-06 12:46 2.7K 
[ ]clvect_2__1478_13.min1.thm12017-02-06 12:46 1.2K 
[ ]clvect_2__1479_46.min1.thm12017-02-06 12:46 5.1K 
[ ]clvect_2__1490_31.min1.thm12017-02-06 12:46 1.7K 
[ ]clvect_2__1508_67.min1.thm12017-02-06 12:46 1.8K 
[ ]clvect_2__1510_36.min1.thm12017-02-06 12:46 1.0K 
[ ]clvect_2__1512_44.min1.thm12017-02-06 12:46 3.7K 
[ ]clvect_2__1513_17.min1.thm12017-02-06 12:46 3.6K 
[ ]clvect_2__1520_30.min1.thm12017-02-06 12:46 1.7K 
[ ]clvect_2__1537_57.min1.thm12017-02-06 12:46 1.0K 
[ ]clvect_2__1559_16.min1.thm12017-02-06 12:46 2.4K 
[ ]clvect_2__1581_16.min1.thm12017-02-06 12:46 1.1K 
[ ]clvect_2__1581_16.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]clvect_2__1582_13.min1.thm12017-02-06 12:46 1.4K 
[ ]clvect_2__1582_13.min1.thm1.tptp2017-02-06 16:48 1.4K 
[ ]clvect_2__1595_14.min1.thm12017-02-06 12:46 845  
[ ]clvect_2__1603_12.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__1606_37.min1.thm12017-02-06 12:46 780  
[ ]clvect_2__1609_18.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__1610_17.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__1611_40.min1.thm12017-02-06 12:46 780  
[ ]clvect_2__1633_40.min1.thm12017-02-06 12:46 840  
[ ]clvect_2__1649_41.min1.thm12017-02-06 12:46 898  
[ ]clvect_2__1661_41.min1.thm12017-02-06 12:46 578  
[ ]clvect_2__1667_61.min1.thm12017-02-06 12:46 871  
[ ]clvect_2__1668_11.min1.thm12017-02-06 12:46 2.4K 
[ ]clvect_2__1669_17.min1.thm12017-02-06 12:46 577  
[ ]clvect_2__1669_17.min1.thm1.tptp2017-02-06 16:48 489  
[ ]clvect_2__1681_14.min1.thm12017-02-06 12:46 845  
[ ]clvect_2__1691_18.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__1692_27.min1.thm12017-02-06 12:46 1.7K 
[ ]clvect_2__1697_15.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__1699_40.min1.thm12017-02-06 12:46 780  
[ ]clvect_2__1707_12.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__1708_40.min1.thm12017-02-06 12:46 780  
[ ]clvect_2__1724_14.min1.thm12017-02-06 12:46 857  
[ ]clvect_2__1732_14.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__1735_37.min1.thm12017-02-06 12:46 803  
[ ]clvect_2__1738_20.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__1739_19.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__1740_44.min1.thm12017-02-06 12:46 783  
[ ]clvect_2__1759_14.min1.thm12017-02-06 12:46 857  
[ ]clvect_2__1767_14.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__1770_37.min1.thm12017-02-06 12:46 803  
[ ]clvect_2__1773_20.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__1774_19.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__1775_35.min1.thm12017-02-06 12:46 725  
[ ]clvect_2__1800_37.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__1803_37.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__1809_46.min1.thm12017-02-06 12:46 832  
[ ]clvect_2__1822_35.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__1826_23.min1.thm12017-02-06 12:46 2.4K 
[ ]clvect_2__1827_33.min1.thm12017-02-06 12:46 822  
[ ]clvect_2__1839_22.min1.thm12017-02-06 12:46 1.3K 
[ ]clvect_2__1849_35.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__1854_19.min1.thm12017-02-06 12:46 342  
[ ]clvect_2__1854_19.min1.thm1.tptp2017-02-06 16:48 261  
[ ]clvect_2__1856_33.min1.thm12017-02-06 12:46 2.6K 
[ ]clvect_2__1860_21.min1.thm12017-02-06 12:46 495  
[ ]clvect_2__1861_25.min1.thm12017-02-06 12:46 1.2K 
[ ]clvect_2__1871_25.min1.thm12017-02-06 12:46 2.7K 
[ ]clvect_2__1872_15.min1.thm12017-02-06 12:46 1.2K 
[ ]clvect_2__1873_37.min1.thm12017-02-06 12:46 1.2K 
[ ]clvect_2__1877_17.min1.thm12017-02-06 12:46 522  
[ ]clvect_2__1877_17.min1.thm1.tptp2017-02-06 16:48 436  
[ ]clvect_2__1885_38.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__1889_12.min1.thm12017-02-06 12:46 511  
[ ]clvect_2__1890_27.min1.thm12017-02-06 12:46 391  
[ ]clvect_2__1895_22.min1.thm12017-02-06 12:46 2.5K 
[ ]clvect_2__1896_31.min1.thm12017-02-06 12:46 2.3K 
[ ]clvect_2__1904_18.min1.thm12017-02-06 12:46 1.2K 
[ ]clvect_2__1905_27.min1.thm12017-02-06 12:46 391  
[ ]clvect_2__1906_50.min1.thm12017-02-06 12:46 3.9K 
[ ]clvect_2__1909_17.min1.thm12017-02-06 12:46 423  
[ ]clvect_2__1909_17.min1.thm1.tptp2017-02-06 16:48 337  
[ ]clvect_2__1928_17.min1.thm12017-02-06 12:46 854  
[ ]clvect_2__1933_32.min1.thm12017-02-06 12:46 671  
[ ]clvect_2__1949_19.min1.thm12017-02-06 12:46 2.0K 
[ ]clvect_2__1955_27.min1.thm12017-02-06 12:46 671  
[ ]clvect_2__1956_21.min1.thm12017-02-06 12:46 2.2K 
[ ]clvect_2__1960_21.min1.thm12017-02-06 12:46 2.2K 
[ ]clvect_2__1972_15.min1.thm12017-02-06 12:46 1.1K 
[ ]clvect_2__1975_14.min1.thm12017-02-06 12:46 1.9K 
[ ]clvect_2__1993_15.min1.thm12017-02-06 12:46 1.0K 
[ ]clvect_2__1997_26.min1.thm12017-02-06 12:46 715  
[ ]clvect_2__1998_47.min1.thm12017-02-06 12:46 2.6K 
[ ]clvect_2__2008_46.min1.thm12017-02-06 12:46 646  
[ ]clvect_2__2010_17.min1.thm12017-02-06 12:46 2.0K 
[ ]clvect_2__2012_17.min1.thm12017-02-06 12:46 2.3K 
[ ]clvect_2__2015_30.min1.thm12017-02-06 12:46 655  
[ ]clvect_2__2016_31.min1.thm12017-02-06 12:46 4.2K 
[ ]clvect_2__2021_30.min1.thm12017-02-06 12:46 655  
[ ]clvect_2__2022_31.min1.thm12017-02-06 12:46 3.8K 
[ ]clvect_2__2024_29.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__2039_36.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__2046_42.min1.thm12017-02-06 12:46 750  
[ ]clvect_2__2053_26.min1.thm12017-02-06 12:46 531  
[ ]clvect_2__2053_26.min1.thm1.tptp2017-02-06 16:48 450  
[ ]clvect_2__2057_19.min1.thm12017-02-06 12:46 2.3K 
[ ]clvect_2__2065_48.min1.thm12017-02-06 12:46 646  
[ ]clvect_2__2067_17.min1.thm12017-02-06 12:46 2.0K 
[ ]clvect_2__2069_18.min1.thm12017-02-06 12:46 2.3K 
[ ]clvect_2__2072_31.min1.thm12017-02-06 12:46 655  
[ ]clvect_2__2073_32.min1.thm12017-02-06 12:46 4.2K 
[ ]clvect_2__2078_31.min1.thm12017-02-06 12:46 655  
[ ]clvect_2__2079_32.min1.thm12017-02-06 12:46 3.8K 
[ ]clvect_2__2081_30.min1.thm12017-02-06 12:46 1.6K 
[ ]clvect_2__2096_36.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__2103_17.min1.thm12017-02-06 12:46 651  
[ ]clvect_2__2125_18.min1.thm12017-02-06 12:46 2.0K 
[ ]clvect_2__2127_18.min1.thm12017-02-06 12:46 2.5K 
[ ]clvect_2__2129_36.min1.thm12017-02-06 12:46 1.7K 
[ ]clvect_2__2150_18.min1.thm12017-02-06 12:46 2.0K 
[ ]clvect_2__2152_18.min1.thm12017-02-06 12:46 2.5K 
[ ]clvect_2__2156_23.min1.thm12017-02-06 12:46 1.7K 
[ ]clvect_2__2177_18.min1.thm12017-02-06 12:46 2.0K 
[ ]clvect_2__2179_18.min1.thm12017-02-06 12:46 2.5K 
[ ]clvect_2__2180_18.min1.thm12017-02-06 12:46 2.0K 
[ ]clvect_2__2182_18.min1.thm12017-02-06 12:46 2.5K 
[ ]clvect_2__2249_21.min1.thm12017-02-06 12:46 410  
[ ]clvect_2__2264_22.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__2265_38.min1.thm12017-02-06 12:46 877  
[ ]clvect_2__2268_13.min1.thm12017-02-06 12:46 1.2K 
[ ]clvect_2__2271_28.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__2275_26.min1.thm12017-02-06 12:46 772  
[ ]clvect_2__2289_21.min1.thm12017-02-06 12:46 410  
[ ]clvect_2__2300_22.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__2301_36.min1.thm12017-02-06 12:46 873  
[ ]clvect_2__2304_14.min1.thm12017-02-06 12:46 1.2K 
[ ]clvect_2__2306_22.min1.thm12017-02-06 12:46 1.5K 
[ ]clvect_2__2307_36.min1.thm12017-02-06 12:46 873  
[ ]clvect_2__2310_15.min1.thm12017-02-06 12:46 1.2K 
[ ]clvect_2__2313_27.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__2319_27.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__2322_38.min1.thm12017-02-06 12:46 1.0K 
[ ]clvect_2__2344_15.min1.thm12017-02-06 12:46 1.2K 
[ ]clvect_2__2345_20.min1.thm12017-02-06 12:46 2.1K 
[ ]clvect_2__2346_50.min1.thm12017-02-06 12:46 1.7K 
[ ]clvect_2__2369_27.min1.thm12017-02-06 12:46 1.3K 
[ ]clvect_2__2370_17.min1.thm12017-02-06 12:46 1.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80