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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mfold_1__59_28.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__60_19.min1.thm12017-02-06 12:45 397  
[ ]mfold_1__60_19.min1.thm1.tptp2017-02-06 16:47 332  
[ ]mfold_1__60_41.min1.thm12017-02-06 12:45 397  
[ ]mfold_1__60_41.min1.thm1.tptp2017-02-06 16:47 332  
[ ]mfold_1__71_21.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__72_60.min1.thm12017-02-06 12:45 967  
[ ]mfold_1__74_37.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__80_25.min1.thm12017-02-06 12:45 731  
[ ]mfold_1__93_22.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_1__98_31.min1.thm12017-02-06 12:45 547  
[ ]mfold_1__98_31.min1.thm1.tptp2017-02-06 16:47 482  
[ ]mfold_1__98_56.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_1__124_33.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_1__125_29.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__126_30.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__127_46.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__143_42.min1.thm12017-02-06 12:45 446  
[ ]mfold_1__144_47.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_1__145_29.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__146_30.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__147_48.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_1__148_38.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__153_27.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_1__154_13.min1.thm12017-02-06 12:45 189  
[ ]mfold_1__160_23.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__171_25.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_1__173_54.min1.thm12017-02-06 12:45 734  
[ ]mfold_1__182_36.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_1__184_46.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__191_43.min1.thm12017-02-06 12:45 508  
[ ]mfold_1__195_38.min1.thm12017-02-06 12:45 713  
[ ]mfold_1__199_18.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_1__202_38.min1.thm12017-02-06 12:45 837  
[ ]mfold_1__203_46.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_1__204_19.min1.thm12017-02-06 12:45 403  
[ ]mfold_1__209_47.min1.thm12017-02-06 12:45 517  
[ ]mfold_1__209_47.min1.thm1.tptp2017-02-06 16:47 442  
[ ]mfold_1__221_39.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__222_36.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__223_36.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__224_54.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__225_44.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__230_31.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_1__231_42.min1.thm12017-02-06 12:45 624  
[ ]mfold_1__232_49.min1.thm12017-02-06 12:45 469  
[ ]mfold_1__236_29.min1.thm12017-02-06 12:45 902  
[ ]mfold_1__237_38.min1.thm12017-02-06 12:45 924  
[ ]mfold_1__240_12.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__241_46.min1.thm12017-02-06 12:45 956  
[ ]mfold_1__259_47.min1.thm12017-02-06 12:45 518  
[ ]mfold_1__259_47.min1.thm1.tptp2017-02-06 16:47 443  
[ ]mfold_1__271_39.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__272_36.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__273_36.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__274_54.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__275_44.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__280_31.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_1__281_39.min1.thm12017-02-06 12:45 424  
[ ]mfold_1__282_46.min1.thm12017-02-06 12:45 411  
[ ]mfold_1__284_28.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_1__293_24.min1.thm12017-02-06 12:45 902  
[ ]mfold_1__295_37.min1.thm12017-02-06 12:45 924  
[ ]mfold_1__299_12.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__300_46.min1.thm12017-02-06 12:45 956  
[ ]mfold_1__324_25.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_1__326_54.min1.thm12017-02-06 12:45 734  
[ ]mfold_1__337_46.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__344_43.min1.thm12017-02-06 12:45 508  
[ ]mfold_1__348_38.min1.thm12017-02-06 12:45 713  
[ ]mfold_1__355_38.min1.thm12017-02-06 12:45 837  
[ ]mfold_1__356_46.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_1__357_19.min1.thm12017-02-06 12:45 403  
[ ]mfold_1__374_39.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__375_36.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__376_36.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__377_54.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__378_44.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__383_31.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_1__384_42.min1.thm12017-02-06 12:45 624  
[ ]mfold_1__385_39.min1.thm12017-02-06 12:45 394  
[ ]mfold_1__386_49.min1.thm12017-02-06 12:45 469  
[ ]mfold_1__391_52.min1.thm12017-02-06 12:45 508  
[ ]mfold_1__436_39.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__437_36.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__438_36.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__439_54.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__440_44.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__445_31.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_1__446_42.min1.thm12017-02-06 12:45 624  
[ ]mfold_1__447_39.min1.thm12017-02-06 12:45 394  
[ ]mfold_1__448_49.min1.thm12017-02-06 12:45 469  
[ ]mfold_1__450_28.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_1__456_39.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__462_52.min1.thm12017-02-06 12:45 508  
[ ]mfold_1__509_69.min1.thm12017-02-06 12:45 764  
[ ]mfold_1__510_16.min1.thm12017-02-06 12:45 595  
[ ]mfold_1__521_15.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_1__534_30.min1.thm12017-02-06 12:45 725  
[ ]mfold_1__539_41.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__540_40.min1.thm12017-02-06 12:45 444  
[ ]mfold_1__541_58.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__543_41.min1.thm12017-02-06 12:45 350  
[ ]mfold_1__543_41.min1.thm1.tptp2017-02-06 16:47 264  
[ ]mfold_1__576_14.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_1__582_33.min1.thm12017-02-06 12:45 377  
[ ]mfold_1__582_33.min1.thm1.tptp2017-02-06 16:47 296  
[ ]mfold_1__584_50.min1.thm12017-02-06 12:45 609  
[ ]mfold_1__602_43.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__603_50.min1.thm12017-02-06 12:45 609  
[ ]mfold_1__608_45.min1.thm12017-02-06 12:45 866  
[ ]mfold_1__609_13.min1.thm12017-02-06 12:45 216  
[ ]mfold_1__612_34.min1.thm12017-02-06 12:45 2.1K 
[ ]mfold_1__617_14.min1.thm12017-02-06 12:45 1.9K 
[ ]mfold_1__618_25.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_1__623_47.min1.thm12017-02-06 12:45 2.1K 
[ ]mfold_1__686_27.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__690_14.min1.thm12017-02-06 12:45 663  
[ ]mfold_1__699_45.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__709_13.min1.thm12017-02-06 12:45 216  
[ ]mfold_1__711_32.min1.thm12017-02-06 12:45 732  
[ ]mfold_1__729_25.min1.thm12017-02-06 12:45 663  
[ ]mfold_1__760_39.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_1__774_33.min1.thm12017-02-06 12:45 1.9K 
[ ]mfold_1__794_59.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__794_59.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]mfold_1__799_23.min1.thm12017-02-06 12:45 2.0K 
[ ]mfold_1__808_36.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__811_13.min1.thm12017-02-06 12:45 216  
[ ]mfold_1__825_46.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_1__826_14.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_1__832_49.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__835_25.min1.thm12017-02-06 12:45 677  
[ ]mfold_1__835_25.min1.thm1.tptp2017-02-06 16:47 600  
[ ]mfold_1__853_27.min1.thm12017-02-06 12:45 2.0K 
[ ]mfold_1__875_24.min1.thm12017-02-06 12:45 2.9K 
[ ]mfold_1__877_29.min1.thm12017-02-06 12:45 645  
[ ]mfold_1__877_29.min1.thm1.tptp2017-02-06 16:47 582  
[ ]mfold_1__878_22.min1.thm12017-02-06 12:45 867  
[ ]mfold_1__894_29.min1.thm12017-02-06 12:45 2.7K 
[ ]mfold_1__898_66.min1.thm12017-02-06 12:45 688  
[ ]mfold_1__903_68.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__904_45.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_1__908_16.min1.thm12017-02-06 12:45 418  
[ ]mfold_1__908_16.min1.thm1.tptp2017-02-06 16:47 349  
[ ]mfold_1__909_35.min1.thm12017-02-06 12:45 713  
[ ]mfold_1__918_44.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__927_63.min1.thm12017-02-06 12:45 2.5K 
[ ]mfold_1__941_29.min1.thm12017-02-06 12:45 134  
[ ]mfold_1__944_31.min1.thm12017-02-06 12:45 4.3K 
[ ]mfold_1__949_13.min1.thm12017-02-06 12:45 750  
[ ]mfold_1__953_47.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_1__954_19.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_1__987_60.min1.thm12017-02-06 12:45 971  
[ ]mfold_1__988_42.min1.thm12017-02-06 12:45 932  
[ ]mfold_1__992_43.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__995_59.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__996_45.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_1__1002_32.min1.thm12017-02-06 12:45 602  
[ ]mfold_1__1002_32.min1.thm1.tptp2017-02-06 16:47 527  
[ ]mfold_1__1003_16.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_1__1006_28.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_1__1008_47.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_1__1010_53.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_1__1038_37.min1.thm12017-02-06 12:45 664  
[ ]mfold_1__1039_21.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_1__1041_22.min1.thm12017-02-06 12:45 926  
[ ]mfold_1__1061_50.min1.thm12017-02-06 12:45 609  
[ ]mfold_1__1062_42.min1.thm12017-02-06 12:45 358  
[ ]mfold_1__1062_42.min1.thm1.tptp2017-02-06 16:47 272  
[ ]mfold_1__1076_38.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_1__1083_39.min1.thm12017-02-06 12:45 843  
[ ]mfold_1__1083_39.min1.thm1.tptp2017-02-06 16:47 766  
[ ]mfold_1__1092_66.min1.thm12017-02-06 12:45 804  
[ ]mfold_1__1092_66.min1.thm1.tptp2017-02-06 16:47 727  
[ ]mfold_1__1096_38.min1.thm12017-02-06 12:45 760  
[ ]mfold_1__1103_40.min1.thm12017-02-06 12:45 804  
[ ]mfold_1__1103_40.min1.thm1.tptp2017-02-06 16:47 727  
[ ]mfold_1__1106_19.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_1__1113_31.min1.thm12017-02-06 12:45 564  
[ ]mfold_1__1122_39.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1123_25.min1.thm12017-02-06 12:45 2.3K 
[ ]mfold_1__1142_33.min1.thm12017-02-06 12:45 661  
[ ]mfold_1__1142_33.min1.thm1.tptp2017-02-06 16:47 586  
[ ]mfold_1__1146_29.min1.thm12017-02-06 12:45 562  
[ ]mfold_1__1155_37.min1.thm12017-02-06 12:45 905  
[ ]mfold_1__1156_33.min1.thm12017-02-06 12:45 2.6K 
[ ]mfold_1__1158_13.min1.thm12017-02-06 12:45 843  
[ ]mfold_1__1158_13.min1.thm1.tptp2017-02-06 16:47 766  
[ ]mfold_1__1160_38.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_1__1171_40.min1.thm12017-02-06 12:45 448  
[ ]mfold_1__1173_11.min1.thm12017-02-06 12:45 188  
[ ]mfold_1__1184_17.min1.thm12017-02-06 12:45 791  
[ ]mfold_1__1193_18.min1.thm12017-02-06 12:45 922  
[ ]mfold_1__1193_18.min1.thm1.tptp2017-02-06 16:47 851  
[ ]mfold_1__1196_19.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_1__1204_45.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1205_35.min1.thm12017-02-06 12:45 2.6K 
[ ]mfold_1__1208_37.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1221_11.min1.thm12017-02-06 12:45 188  
[ ]mfold_1__1223_40.min1.thm12017-02-06 12:45 452  
[ ]mfold_1__1224_48.min1.thm12017-02-06 12:45 551  
[ ]mfold_1__1227_28.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1228_28.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1235_35.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1236_45.min1.thm12017-02-06 12:45 402  
[ ]mfold_1__1236_45.min1.thm1.tptp2017-02-06 16:47 316  
[ ]mfold_1__1237_28.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1238_28.min1.thm12017-02-06 12:45 2.8K 
[ ]mfold_1__1243_33.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1244_43.min1.thm12017-02-06 12:45 394  
[ ]mfold_1__1244_43.min1.thm1.tptp2017-02-06 16:47 308  
[ ]mfold_1__1245_26.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1246_26.min1.thm12017-02-06 12:45 2.8K 
[ ]mfold_1__1252_50.min1.thm12017-02-06 12:45 552  
[ ]mfold_1__1260_22.min1.thm12017-02-06 12:45 439  
[ ]mfold_1__1261_41.min1.thm12017-02-06 12:45 839  
[ ]mfold_1__1272_19.min1.thm12017-02-06 12:45 813  
[ ]mfold_1__1280_19.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1281_20.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1281_20.min1.thm1.tptp2017-02-06 16:47 967  
[ ]mfold_1__1284_21.min1.thm12017-02-06 12:45 2.3K 
[ ]mfold_1__1290_56.min1.thm12017-02-06 12:45 747  
[ ]mfold_1__1304_22.min1.thm12017-02-06 12:45 755  
[ ]mfold_1__1306_69.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__1307_50.min1.thm12017-02-06 12:45 348  
[ ]mfold_1__1307_50.min1.thm1.tptp2017-02-06 16:47 267  
[ ]mfold_1__1328_34.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_1__1330_33.min1.thm12017-02-06 12:45 2.1K 
[ ]mfold_1__1333_18.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1334_36.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_1__1335_45.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_1__1336_45.min1.thm12017-02-06 12:45 2.6K 
[ ]mfold_1__1337_39.min1.thm12017-02-06 12:45 908  
[ ]mfold_1__1338_19.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__1339_19.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1342_37.min1.thm12017-02-06 12:45 502  
[ ]mfold_1__1342_37.min1.thm1.tptp2017-02-06 16:47 414  
[ ]mfold_1__1343_27.min1.thm12017-02-06 12:45 612  
[ ]mfold_1__1344_46.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1345_23.min1.thm12017-02-06 12:45 418  
[ ]mfold_1__1345_23.min1.thm1.tptp2017-02-06 16:47 340  
[ ]mfold_1__1346_33.min1.thm12017-02-06 12:45 958  
[ ]mfold_1__1348_41.min1.thm12017-02-06 12:45 960  
[ ]mfold_1__1350_4.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_1__1351_31.min1.thm12017-02-06 12:45 617  
[ ]mfold_1__1352_20.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_1__1354_15.min1.thm12017-02-06 12:45 763  
[ ]mfold_1__1355_15.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1356_37.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_1__1358_25.min1.thm12017-02-06 12:45 437  
[ ]mfold_1__1358_25.min1.thm1.tptp2017-02-06 16:47 351  
[ ]mfold_1__1360_20.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_1__1361_20.min1.thm12017-02-06 12:45 833  
[ ]mfold_1__1364_31.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_1__1385_20.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1386_27.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__1387_56.min1.thm12017-02-06 12:45 1.9K 
[ ]mfold_1__1388_47.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_1__1398_36.min1.thm12017-02-06 12:45 357  
[ ]mfold_1__1398_36.min1.thm1.tptp2017-02-06 16:47 280  
[ ]mfold_1__1409_39.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1413_43.min1.thm12017-02-06 12:45 652  
[ ]mfold_1__1414_48.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__1416_33.min1.thm12017-02-06 12:45 2.0K 
[ ]mfold_1__1417_23.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__1418_59.min1.thm12017-02-06 12:45 2.9K 
[ ]mfold_1__1419_49.min1.thm12017-02-06 12:45 916  
[ ]mfold_1__1420_36.min1.thm12017-02-06 12:45 948  
[ ]mfold_1__1421_35.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1422_51.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_1__1424_46.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_1__1427_56.min1.thm12017-02-06 12:45 643  
[ ]mfold_1__1428_35.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_1__1429_48.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1430_23.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__1431_25.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_1__1434_52.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_1__1436_33.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_1__1437_25.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1439_18.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_1__1440_25.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1443_35.min1.thm12017-02-06 12:45 968  
[ ]mfold_1__1444_29.min1.thm12017-02-06 12:45 562  
[ ]mfold_1__1444_29.min1.thm1.tptp2017-02-06 16:47 487  
[ ]mfold_1__1445_40.min1.thm12017-02-06 12:45 2.3K 
[ ]mfold_1__1446_14.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1447_16.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1448_18.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_1__1449_23.min1.thm12017-02-06 12:45 903  
[ ]mfold_1__1450_37.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__1451_41.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1452_20.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1454_15.min1.thm12017-02-06 12:45 689  
[ ]mfold_1__1458_39.min1.thm12017-02-06 12:45 2.5K 
[ ]mfold_1__1459_22.min1.thm12017-02-06 12:45 2.0K 
[ ]mfold_1__1460_23.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1479_45.min1.thm12017-02-06 12:45 454  
[ ]mfold_1__1481_33.min1.thm12017-02-06 12:45 549  
[ ]mfold_1__1489_41.min1.thm12017-02-06 12:45 742  
[ ]mfold_1__1489_41.min1.thm1.tptp2017-02-06 16:47 689  
[ ]mfold_1__1490_49.min1.thm12017-02-06 12:45 667  
[ ]mfold_1__1492_32.min1.thm12017-02-06 12:45 549  
[ ]mfold_1__1510_6.min1.thm12017-02-06 12:45 695  
[ ]mfold_1__1511_58.min1.thm12017-02-06 12:45 1.9K 
[ ]mfold_1__1512_30.min1.thm12017-02-06 12:45 2.1K 
[ ]mfold_1__1513_48.min1.thm12017-02-06 12:45 2.0K 
[ ]mfold_1__1514_33.min1.thm12017-02-06 12:45 2.7K 
[ ]mfold_1__1515_40.min1.thm12017-02-06 12:45 747  
[ ]mfold_1__1516_59.min1.thm12017-02-06 12:45 3.2K 
[ ]mfold_1__1525_53.min1.thm12017-02-06 12:45 598  
[ ]mfold_1__1525_53.min1.thm1.tptp2017-02-06 16:47 531  
[ ]mfold_1__1528_45.min1.thm12017-02-06 12:45 729  
[ ]mfold_1__1531_6.min1.thm12017-02-06 12:45 695  
[ ]mfold_1__1533_6.min1.thm12017-02-06 12:45 2.6K 
[ ]mfold_1__1535_58.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_1__1537_6.min1.thm12017-02-06 12:45 3.7K 
[ ]mfold_1__1555_45.min1.thm12017-02-06 12:45 961  
[ ]mfold_1__1557_8.min1.thm12017-02-06 12:45 2.4K 
[ ]mfold_1__1558_58.min1.thm12017-02-06 12:45 869  
[ ]mfold_1__1564_22.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_1__1565_22.min1.thm12017-02-06 12:45 2.8K 
[ ]mfold_1__1566_23.min1.thm12017-02-06 12:45 926  
[ ]mfold_1__1567_23.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1568_23.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__1569_21.min1.thm12017-02-06 12:45 3.1K 
[ ]mfold_1__1571_42.min1.thm12017-02-06 12:45 455  
[ ]mfold_1__1572_36.min1.thm12017-02-06 12:45 383  
[ ]mfold_1__1572_36.min1.thm1.tptp2017-02-06 16:47 306  
[ ]mfold_1__1574_29.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1575_68.min1.thm12017-02-06 12:45 266  
[ ]mfold_1__1578_30.min1.thm12017-02-06 12:45 348  
[ ]mfold_1__1578_30.min1.thm1.tptp2017-02-06 16:47 267  
[ ]mfold_1__1587_42.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__1597_50.min1.thm12017-02-06 12:45 523  
[ ]mfold_1__1598_21.min1.thm12017-02-06 12:45 2.3K 
[ ]mfold_1__1599_43.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__1601_53.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__1602_72.min1.thm12017-02-06 12:45 2.0K 
[ ]mfold_1__1603_40.min1.thm12017-02-06 12:45 3.0K 
[ ]mfold_1__1605_41.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_1__1609_23.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__1611_24.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_1__1612_20.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__1621_36.min1.thm12017-02-06 12:45 827  
[ ]mfold_1__1621_36.min1.thm1.tptp2017-02-06 16:47 752  
[ ]mfold_1__1623_22.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__1624_22.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__1637_33.min1.thm12017-02-06 12:45 775  
[ ]mfold_1__1639_53.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__1641_21.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1642_31.min1.thm12017-02-06 12:45 3.2K 
[ ]mfold_1__1647_37.min1.thm12017-02-06 12:45 828  
[ ]mfold_1__1647_37.min1.thm1.tptp2017-02-06 16:47 753  
[ ]mfold_1__1648_26.min1.thm12017-02-06 12:45 3.2K 
[ ]mfold_1__1650_23.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__1653_36.min1.thm12017-02-06 12:45 435  
[ ]mfold_1__1653_36.min1.thm1.tptp2017-02-06 16:47 349  
[ ]mfold_1__1655_35.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_1__1660_43.min1.thm12017-02-06 12:45 2.0K 
[ ]mfold_1__1661_23.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1663_23.min1.thm12017-02-06 12:45 2.6K 
[ ]mfold_1__1664_23.min1.thm12017-02-06 12:45 2.3K 
[ ]mfold_1__1668_28.min1.thm12017-02-06 12:45 825  
[ ]mfold_1__1670_33.min1.thm12017-02-06 12:45 820  
[ ]mfold_1__1675_39.min1.thm12017-02-06 12:45 836  
[ ]mfold_1__1689_45.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__1690_23.min1.thm12017-02-06 12:45 925  
[ ]mfold_1__1691_19.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1692_19.min1.thm12017-02-06 12:45 917  
[ ]mfold_1__1693_32.min1.thm12017-02-06 12:45 2.5K 
[ ]mfold_1__1703_23.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1705_26.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_1__1707_30.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_1__1708_26.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1710_30.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_1__1714_36.min1.thm12017-02-06 12:45 471  
[ ]mfold_1__1714_36.min1.thm1.tptp2017-02-06 16:47 385  
[ ]mfold_1__1718_26.min1.thm12017-02-06 12:45 741  
[ ]mfold_1__1730_40.min1.thm12017-02-06 12:45 927  
[ ]mfold_1__1731_30.min1.thm12017-02-06 12:45 916  
[ ]mfold_1__1732_42.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1735_25.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__1738_21.min1.thm12017-02-06 12:45 846  
[ ]mfold_1__1739_28.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_1__1745_15.min1.thm12017-02-06 12:45 212  
[ ]mfold_1__1757_45.min1.thm12017-02-06 12:45 2.3K 
[ ]mfold_1__1779_22.min1.thm12017-02-06 12:45 369  
[ ]mfold_1__1779_22.min1.thm1.tptp2017-02-06 16:47 287  
[ ]mfold_1__1784_21.min1.thm12017-02-06 12:45 770  
[ ]mfold_1__1786_20.min1.thm12017-02-06 12:45 355  
[ ]mfold_1__1786_20.min1.thm1.tptp2017-02-06 16:47 273  
[ ]mfold_1__1787_67.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1791_19.min1.thm12017-02-06 12:45 650  
[ ]mfold_1__1800_36.min1.thm12017-02-06 12:45 666  
[ ]mfold_1__1830_16.min1.thm12017-02-06 12:45 633  
[ ]mfold_1__1833_16.min1.thm12017-02-06 12:45 543  
[ ]mfold_1__1833_16.min1.thm1.tptp2017-02-06 16:47 498  
[ ]mfold_1__1835_16.min1.thm12017-02-06 12:45 452  
[ ]mfold_1__1835_16.min1.thm1.tptp2017-02-06 16:47 399  
[ ]mfold_1__1840_11.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__1852_19.min1.thm12017-02-06 12:45 962  
[ ]mfold_1__1854_6.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_1__1855_39.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_1__1856_26.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1868_22.min1.thm12017-02-06 12:45 369  
[ ]mfold_1__1868_22.min1.thm1.tptp2017-02-06 16:47 287  
[ ]mfold_1__1869_72.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_1__1875_20.min1.thm12017-02-06 12:45 355  
[ ]mfold_1__1875_20.min1.thm1.tptp2017-02-06 16:47 273  
[ ]mfold_1__1879_24.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_1__1880_32.min1.thm12017-02-06 12:45 760  
[ ]mfold_1__1886_27.min1.thm12017-02-06 12:45 970  
[ ]mfold_1__1887_40.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1894_58.min1.thm12017-02-06 12:45 463  
[ ]mfold_1__1894_58.min1.thm1.tptp2017-02-06 16:47 373  
[ ]mfold_1__1895_48.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_1__1896_54.min1.thm12017-02-06 12:45 1.9K 
[ ]mfold_1__1898_38.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_1__1899_27.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_1__1901_44.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_1__1902_16.min1.thm12017-02-06 12:45 913  
[ ]mfold_1__1903_23.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1904_41.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1908_56.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_1__1910_8.min1.thm12017-02-06 12:45 2.6K 
[ ]mfold_1__1911_45.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__1913_8.min1.thm12017-02-06 12:45 2.5K 
[ ]mfold_1__1915_25.min1.thm12017-02-06 12:45 2.1K 
[ ]mfold_1__1916_37.min1.thm12017-02-06 12:45 716  
[ ]mfold_1__1917_19.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1919_19.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__1921_32.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1924_24.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_1__1925_41.min1.thm12017-02-06 12:45 821  
[ ]mfold_1__1927_50.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1929_13.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1929_37.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_1__1930_41.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_1__1931_38.min1.thm12017-02-06 12:45 767  
[ ]mfold_1__1940_28.min1.thm12017-02-06 12:45 1.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80