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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]msafree__54_16.min1.thm12017-02-06 12:45 832  
[ ]msafree__56_53.min1.thm12017-02-06 12:45 2.2K 
[ ]msafree__75_55.min1.thm12017-02-06 12:45 2.2K 
[ ]msafree__77_17.min1.thm12017-02-06 12:45 879  
[ ]msafree__82_41.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__88_55.min1.thm12017-02-06 12:45 2.2K 
[ ]msafree__89_24.min1.thm12017-02-06 12:45 1.6K 
[ ]msafree__90_15.min1.thm12017-02-06 12:45 902  
[ ]msafree__92_19.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__93_15.min1.thm12017-02-06 12:45 255  
[ ]msafree__97_19.min1.thm12017-02-06 12:45 1.7K 
[ ]msafree__99_19.min1.thm12017-02-06 12:45 259  
[ ]msafree__102_27.min1.thm12017-02-06 12:45 1.6K 
[ ]msafree__106_26.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__109_20.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__114_22.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__115_31.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__117_19.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__123_18.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__138_55.min1.thm12017-02-06 12:45 2.2K 
[ ]msafree__139_22.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__140_21.min1.thm12017-02-06 12:45 1.4K 
[ ]msafree__161_62.min1.thm12017-02-06 12:45 726  
[ ]msafree__165_19.min1.thm12017-02-06 12:45 908  
[ ]msafree__177_49.min1.thm12017-02-06 12:45 678  
[ ]msafree__178_21.min1.thm12017-02-06 12:45 678  
[ ]msafree__182_47.min1.thm12017-02-06 12:45 670  
[ ]msafree__183_19.min1.thm12017-02-06 12:45 670  
[ ]msafree__197_27.min1.thm12017-02-06 12:45 895  
[ ]msafree__198_28.min1.thm12017-02-06 12:45 588  
[ ]msafree__199_19.min1.thm12017-02-06 12:45 740  
[ ]msafree__208_27.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__209_28.min1.thm12017-02-06 12:45 616  
[ ]msafree__210_19.min1.thm12017-02-06 12:45 902  
[ ]msafree__229_24.min1.thm12017-02-06 12:45 578  
[ ]msafree__231_27.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__240_26.min1.thm12017-02-06 12:45 426  
[ ]msafree__240_26.min1.thm1.tptp2017-02-06 16:47 340  
[ ]msafree__241_27.min1.thm12017-02-06 12:45 768  
[ ]msafree__245_19.min1.thm12017-02-06 12:45 284  
[ ]msafree__253_21.min1.thm12017-02-06 12:45 574  
[ ]msafree__259_12.min1.thm12017-02-06 12:45 915  
[ ]msafree__265_51.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__266_21.min1.thm12017-02-06 12:45 286  
[ ]msafree__267_35.min1.thm12017-02-06 12:45 877  
[ ]msafree__274_17.min1.thm12017-02-06 12:45 367  
[ ]msafree__274_17.min1.thm1.tptp2017-02-06 16:47 302  
[ ]msafree__275_33.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__277_32.min1.thm12017-02-06 12:45 1.4K 
[ ]msafree__278_25.min1.thm12017-02-06 12:45 778  
[ ]msafree__278_25.min1.thm1.tptp2017-02-06 16:47 726  
[ ]msafree__292_43.min1.thm12017-02-06 12:45 334  
[ ]msafree__292_43.min1.thm1.tptp2017-02-06 16:47 256  
[ ]msafree__294_17.min1.thm12017-02-06 12:45 962  
[ ]msafree__295_35.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__296_35.min1.thm12017-02-06 12:45 1.4K 
[ ]msafree__297_37.min1.thm12017-02-06 12:45 727  
[ ]msafree__299_19.min1.thm12017-02-06 12:45 1.4K 
[ ]msafree__310_15.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__311_16.min1.thm12017-02-06 12:45 505  
[ ]msafree__311_16.min1.thm1.tptp2017-02-06 16:47 439  
[ ]msafree__312_24.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__313_28.min1.thm12017-02-06 12:45 570  
[ ]msafree__314_19.min1.thm12017-02-06 12:45 656  
[ ]msafree__326_33.min1.thm12017-02-06 12:45 950  
[ ]msafree__331_15.min1.thm12017-02-06 12:45 424  
[ ]msafree__332_28.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__333_16.min1.thm12017-02-06 12:45 681  
[ ]msafree__337_23.min1.thm12017-02-06 12:45 620  
[ ]msafree__338_40.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__339_14.min1.thm12017-02-06 12:45 450  
[ ]msafree__362_39.min1.thm12017-02-06 12:45 1.6K 
[ ]msafree__364_26.min1.thm12017-02-06 12:45 1.7K 
[ ]msafree__365_25.min1.thm12017-02-06 12:45 1.4K 
[ ]msafree__366_31.min1.thm12017-02-06 12:45 2.1K 
[ ]msafree__367_19.min1.thm12017-02-06 12:45 2.9K 
[ ]msafree__382_54.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__416_72.min1.thm12017-02-06 12:45 729  
[ ]msafree__418_26.min1.thm12017-02-06 12:45 567  
[ ]msafree__418_26.min1.thm1.tptp2017-02-06 16:47 505  
[ ]msafree__419_35.min1.thm12017-02-06 12:45 849  
[ ]msafree__422_26.min1.thm12017-02-06 12:45 509  
[ ]msafree__422_26.min1.thm1.tptp2017-02-06 16:47 454  
[ ]msafree__426_36.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__430_50.min1.thm12017-02-06 12:45 582  
[ ]msafree__430_50.min1.thm1.tptp2017-02-06 16:47 520  
[ ]msafree__432_54.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__514_21.min1.thm12017-02-06 12:45 612  
[ ]msafree__528_19.min1.thm12017-02-06 12:45 596  
[ ]msafree__562_43.min1.thm12017-02-06 12:45 293  
[ ]msafree__564_52.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__567_15.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__581_20.min1.thm12017-02-06 12:45 2.2K 
[ ]msafree__613_59.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__624_37.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__626_14.min1.thm12017-02-06 12:45 418  
[ ]msafree__633_70.min1.thm12017-02-06 12:45 932  
[ ]msafree__640_18.min1.thm12017-02-06 12:45 668  
[ ]msafree__646_68.min1.thm12017-02-06 12:45 440  
[ ]msafree__663_24.min1.thm12017-02-06 12:45 1.8K 
[ ]msafree__665_21.min1.thm12017-02-06 12:45 1.7K 
[ ]msafree__666_34.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__679_34.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__683_16.min1.thm12017-02-06 12:45 773  
[ ]msafree__684_26.min1.thm12017-02-06 12:45 1.7K 
[ ]msafree__686_21.min1.thm12017-02-06 12:45 2.5K 
[ ]msafree__687_41.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__688_48.min1.thm12017-02-06 12:45 2.1K 
[ ]msafree__691_27.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__693_34.min1.thm12017-02-06 12:45 972  
[ ]msafree__694_21.min1.thm12017-02-06 12:45 678  
[ ]msafree__696_44.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__697_36.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__702_26.min1.thm12017-02-06 12:45 1.7K 
[ ]msafree__704_21.min1.thm12017-02-06 12:45 2.5K 
[ ]msafree__705_34.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__706_41.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__707_48.min1.thm12017-02-06 12:45 2.1K 
[ ]msafree__710_17.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__712_36.min1.thm12017-02-06 12:45 924  
[ ]msafree__715_10.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__717_34.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__719_29.min1.thm12017-02-06 12:45 531  
[ ]msafree__726_74.min1.thm12017-02-06 12:45 1.4K 
[ ]msafree__727_19.min1.thm12017-02-06 12:45 2.4K 
[ ]msafree__729_45.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__736_19.min1.thm12017-02-06 12:45 781  
[ ]msafree__738_16.min1.thm12017-02-06 12:45 413  
[ ]msafree__752_37.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__754_71.min1.thm12017-02-06 12:45 2.6K 
[ ]msafree__770_26.min1.thm12017-02-06 12:45 1.8K 
[ ]msafree__772_23.min1.thm12017-02-06 12:45 1.7K 
[ ]msafree__773_36.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__786_36.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__790_18.min1.thm12017-02-06 12:45 817  
[ ]msafree__791_28.min1.thm12017-02-06 12:45 1.7K 
[ ]msafree__793_23.min1.thm12017-02-06 12:45 2.6K 
[ ]msafree__794_43.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__795_50.min1.thm12017-02-06 12:45 2.2K 
[ ]msafree__798_30.min1.thm12017-02-06 12:45 1.4K 
[ ]msafree__800_36.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__801_23.min1.thm12017-02-06 12:45 694  
[ ]msafree__803_46.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__804_38.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__813_36.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__817_18.min1.thm12017-02-06 12:45 824  
[ ]msafree__818_28.min1.thm12017-02-06 12:45 1.7K 
[ ]msafree__820_23.min1.thm12017-02-06 12:45 3.1K 
[ ]msafree__821_43.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__822_50.min1.thm12017-02-06 12:45 2.2K 
[ ]msafree__825_23.min1.thm12017-02-06 12:45 1.4K 
[ ]msafree__827_19.min1.thm12017-02-06 12:45 1.8K 
[ ]msafree__830_27.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__831_29.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__834_50.min1.thm12017-02-06 12:45 2.2K 
[ ]msafree__840_36.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__843_23.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__849_28.min1.thm12017-02-06 12:45 1.7K 
[ ]msafree__851_23.min1.thm12017-02-06 12:45 2.6K 
[ ]msafree__852_36.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__853_43.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__854_50.min1.thm12017-02-06 12:45 2.2K 
[ ]msafree__857_19.min1.thm12017-02-06 12:45 1.4K 
[ ]msafree__859_38.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__863_12.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__865_36.min1.thm12017-02-06 12:45 1.4K 
[ ]msafree__888_50.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__889_46.min1.thm12017-02-06 12:45 870  
[ ]msafree__896_37.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__903_38.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__909_18.min1.thm12017-02-06 12:45 526  
[ ]msafree__909_18.min1.thm1.tptp2017-02-06 16:47 450  
[ ]msafree__914_37.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__916_38.min1.thm12017-02-06 12:45 1.8K 
[ ]msafree__919_31.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__920_17.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__930_45.min1.thm12017-02-06 12:45 297  
[ ]msafree__931_76.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__934_16.min1.thm12017-02-06 12:45 1.9K 
[ ]msafree__960_16.min1.thm12017-02-06 12:45 521  
[ ]msafree__960_16.min1.thm1.tptp2017-02-06 16:47 443  
[ ]msafree__970_39.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__971_42.min1.thm12017-02-06 12:45 1.9K 
[ ]msafree__978_15.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__980_51.min1.thm12017-02-06 12:45 2.1K 
[ ]msafree__982_36.min1.thm12017-02-06 12:45 924  
[ ]msafree__984_34.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__985_46.min1.thm12017-02-06 12:45 1.9K 
[ ]msafree__989_16.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__1005_56.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__1008_18.min1.thm12017-02-06 12:45 565  
[ ]msafree__1008_18.min1.thm1.tptp2017-02-06 16:47 499  
[ ]msafree__1020_46.min1.thm12017-02-06 12:45 366  
[ ]msafree__1020_46.min1.thm1.tptp2017-02-06 16:47 288  
[ ]msafree__1021_28.min1.thm12017-02-06 12:45 514  
[ ]msafree__1021_28.min1.thm1.tptp2017-02-06 16:47 437  
[ ]msafree__1022_21.min1.thm12017-02-06 12:45 739  
[ ]msafree__1036_44.min1.thm12017-02-06 12:45 358  
[ ]msafree__1036_44.min1.thm1.tptp2017-02-06 16:47 280  
[ ]msafree__1037_38.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__1038_16.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__1050_30.min1.thm12017-02-06 12:45 743  
[ ]msafree__1051_43.min1.thm12017-02-06 12:45 2.0K 
[ ]msafree__1061_24.min1.thm12017-02-06 12:45 1.7K 
[ ]msafree__1069_14.min1.thm12017-02-06 12:45 751  
[ ]msafree__1070_33.min1.thm12017-02-06 12:45 1.4K 
[ ]msafree__1071_26.min1.thm12017-02-06 12:45 930  
[ ]msafree__1084_46.min1.thm12017-02-06 12:45 2.2K 
[ ]msafree__1085_10.min1.thm12017-02-06 12:45 348  
[ ]msafree__1086_14.min1.thm12017-02-06 12:45 522  
[ ]msafree__1086_14.min1.thm1.tptp2017-02-06 16:47 436  
[ ]msafree__1102_16.min1.thm12017-02-06 12:45 745  
[ ]msafree__1103_45.min1.thm12017-02-06 12:45 2.0K 
[ ]msafree__1123_43.min1.thm12017-02-06 12:45 2.0K 
[ ]msafree__1136_19.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__1138_14.min1.thm12017-02-06 12:45 743  
[ ]msafree__1176_46.min1.thm12017-02-06 12:45 2.6K 
[ ]msafree__1178_26.min1.thm12017-02-06 12:45 2.1K 
[ ]msafree__1186_32.min1.thm12017-02-06 12:45 554  
[ ]msafree__1190_76.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__1200_46.min1.thm12017-02-06 12:45 2.8K 
[ ]msafree__1201_26.min1.thm12017-02-06 12:45 2.4K 
[ ]msafree__1209_35.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__1213_22.min1.thm12017-02-06 12:45 1.7K 
[ ]msafree__1214_72.min1.thm12017-02-06 12:45 2.6K 
[ ]msafree__1223_32.min1.thm12017-02-06 12:45 1.4K 
[ ]msafree__1239_43.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__1247_39.min1.thm12017-02-06 12:45 950  
[ ]msafree__1260_47.min1.thm12017-02-06 12:45 297  
[ ]msafree__1262_8.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__1267_27.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__1268_18.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__1284_42.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__1291_28.min1.thm12017-02-06 12:45 491  
[ ]msafree__1291_28.min1.thm1.tptp2017-02-06 16:47 436  
[ ]msafree__1295_38.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__1296_24.min1.thm12017-02-06 12:45 1.6K 
[ ]msafree__1299_30.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__1307_43.min1.thm12017-02-06 12:45 2.3K 
[ ]msafree__1314_37.min1.thm12017-02-06 12:45 2.1K 
[ ]msafree__1318_45.min1.thm12017-02-06 12:45 2.1K 
[ ]msafree__1319_31.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__1322_26.min1.thm12017-02-06 12:45 525  
[ ]msafree__1322_26.min1.thm1.tptp2017-02-06 16:47 470  
[ ]msafree__1326_38.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__1332_27.min1.thm12017-02-06 12:45 1.6K 
[ ]msafree__1333_41.min1.thm12017-02-06 12:45 1.9K 
[ ]msafree__1334_19.min1.thm12017-02-06 12:45 727  
[ ]msafree__1338_48.min1.thm12017-02-06 12:45 2.1K 
[ ]msafree__1343_28.min1.thm12017-02-06 12:45 538  
[ ]msafree__1346_28.min1.thm12017-02-06 12:45 1.8K 
[ ]msafree__1347_42.min1.thm12017-02-06 12:45 2.1K 
[ ]msafree__1348_19.min1.thm12017-02-06 12:45 780  
[ ]msafree__1363_46.min1.thm12017-02-06 12:45 638  
[ ]msafree__1365_39.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__1366_39.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__1367_25.min1.thm12017-02-06 12:45 655  
[ ]msafree__1373_25.min1.thm12017-02-06 12:45 563  
[ ]msafree__1373_25.min1.thm1.tptp2017-02-06 16:47 501  
[ ]msafree__1379_14.min1.thm12017-02-06 12:45 968  
[ ]msafree__1384_26.min1.thm12017-02-06 12:45 587  
[ ]msafree__1386_18.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__1391_29.min1.thm12017-02-06 12:45 599  
[ ]msafree__1392_28.min1.thm12017-02-06 12:45 758  
[ ]msafree__1400_34.min1.thm12017-02-06 12:45 721  
[ ]msafree__1401_42.min1.thm12017-02-06 12:45 846  
[ ]msafree__1403_32.min1.thm12017-02-06 12:45 615  
[ ]msafree__1404_37.min1.thm12017-02-06 12:45 250  
[ ]msafree__1415_31.min1.thm12017-02-06 12:45 709  
[ ]msafree__1417_18.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__1422_29.min1.thm12017-02-06 12:45 599  
[ ]msafree__1423_42.min1.thm12017-02-06 12:45 846  
[ ]msafree__1425_32.min1.thm12017-02-06 12:45 615  
[ ]msafree__1426_37.min1.thm12017-02-06 12:45 250  
[ ]msafree__1459_54.min1.thm12017-02-06 12:45 1.4K 
[ ]msafree__1460_29.min1.thm12017-02-06 12:45 1.9K 
[ ]msafree__1464_12.min1.thm12017-02-06 12:45 682  
[ ]msafree__1468_29.min1.thm12017-02-06 12:45 833  
[ ]msafree__1469_28.min1.thm12017-02-06 12:45 1.7K 
[ ]msafree__1472_17.min1.thm12017-02-06 12:45 740  
[ ]msafree__1472_17.min1.thm1.tptp2017-02-06 16:47 671  
[ ]msafree__1477_47.min1.thm12017-02-06 12:45 1.8K 
[ ]msafree__1478_40.min1.thm12017-02-06 12:45 2.5K 
[ ]msafree__1482_19.min1.thm12017-02-06 12:45 1.8K 
[ ]msafree__1483_19.min1.thm12017-02-06 12:45 1.7K 
[ ]msafree__1500_54.min1.thm12017-02-06 12:45 1.4K 
[ ]msafree__1501_29.min1.thm12017-02-06 12:45 1.9K 
[ ]msafree__1502_37.min1.thm12017-02-06 12:45 1.4K 
[ ]msafree__1503_21.min1.thm12017-02-06 12:45 1.6K 
[ ]msafree__1526_46.min1.thm12017-02-06 12:45 366  
[ ]msafree__1526_46.min1.thm1.tptp2017-02-06 16:47 288  
[ ]msafree__1528_17.min1.thm12017-02-06 12:45 399  
[ ]msafree__1533_41.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__1538_46.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__1539_25.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__1542_51.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__1548_46.min1.thm12017-02-06 12:45 366  
[ ]msafree__1548_46.min1.thm1.tptp2017-02-06 16:47 288  
[ ]msafree__1549_25.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__1550_18.min1.thm12017-02-06 12:45 2.2K 
[ ]msafree__1570_46.min1.thm12017-02-06 12:45 366  
[ ]msafree__1570_46.min1.thm1.tptp2017-02-06 16:47 288  
[ ]msafree__1571_25.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__1571_25.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]msafree__1611_21.min1.thm12017-02-06 12:45 590  
[ ]msafree__1611_21.min1.thm1.tptp2017-02-06 16:47 522  
[ ]msafree__1613_50.min1.thm12017-02-06 12:45 467  
[ ]msafree__1613_50.min1.thm1.tptp2017-02-06 16:47 389  
[ ]msafree__1616_41.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__1617_44.min1.thm12017-02-06 12:45 1.9K 
[ ]msafree__1620_39.min1.thm12017-02-06 12:45 2.1K 
[ ]msafree__1622_33.min1.thm12017-02-06 12:45 842  
[ ]msafree__1630_25.min1.thm12017-02-06 12:45 603  
[ ]msafree__1631_39.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__1634_39.min1.thm12017-02-06 12:45 936  
[ ]msafree__1636_26.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__1637_39.min1.thm12017-02-06 12:45 1.9K 
[ ]msafree__1656_59.min1.thm12017-02-06 12:45 715  
[ ]msafree__1657_21.min1.thm12017-02-06 12:45 715  
[ ]msafree__1661_57.min1.thm12017-02-06 12:45 707  
[ ]msafree__1662_19.min1.thm12017-02-06 12:45 707  
[ ]msafree__1673_15.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__1674_66.min1.thm12017-02-06 12:45 581  
[ ]msafree__1697_44.min1.thm12017-02-06 12:45 1.9K 
[ ]msafree__1698_14.min1.thm12017-02-06 12:45 439  
[ ]msafree__1710_11.min1.thm12017-02-06 12:45 489  
[ ]msafree__1727_56.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__1733_46.min1.thm12017-02-06 12:45 366  
[ ]msafree__1733_46.min1.thm1.tptp2017-02-06 16:47 288  
[ ]msafree__1734_27.min1.thm12017-02-06 12:45 655  
[ ]msafree__1737_42.min1.thm12017-02-06 12:45 2.0K 
[ ]msafree__1741_51.min1.thm12017-02-06 12:45 2.1K 
[ ]msafree__1743_52.min1.thm12017-02-06 12:45 2.3K 
[ ]msafree__1765_32.min1.thm12017-02-06 12:45 555  
[ ]msafree__1769_58.min1.thm12017-02-06 12:45 2.1K 
[ ]msafree__1772_37.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__1802_30.min1.thm12017-02-06 12:45 2.7K 
[ ]msafree__1810_38.min1.thm12017-02-06 12:45 586  
[ ]msafree__1814_23.min1.thm12017-02-06 12:45 2.2K 
[ ]msafree__1823_54.min1.thm12017-02-06 12:45 2.9K 
[ ]msafree__1824_33.min1.thm12017-02-06 12:45 2.7K 
[ ]msafree__1836_27.min1.thm12017-02-06 12:45 2.1K 
[ ]msafree__1837_25.min1.thm12017-02-06 12:45 1.6K 
[ ]msafree__1845_20.min1.thm12017-02-06 12:45 784  
[ ]msafree__1862_32.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__1872_37.min1.thm12017-02-06 12:45 2.2K 
[ ]msafree__1873_40.min1.thm12017-02-06 12:45 910  
[ ]msafree__1876_30.min1.thm12017-02-06 12:45 541  
[ ]msafree__1876_30.min1.thm1.tptp2017-02-06 16:47 486  
[ ]msafree__1880_42.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__1885_39.min1.thm12017-02-06 12:45 1.8K 
[ ]msafree__1889_55.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__1890_60.min1.thm12017-02-06 12:45 2.2K 
[ ]msafree__1905_36.min1.thm12017-02-06 12:45 573  
[ ]msafree__1905_36.min1.thm1.tptp2017-02-06 16:47 518  
[ ]msafree__1909_42.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__1910_28.min1.thm12017-02-06 12:45 1.7K 
[ ]msafree__1913_34.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__1920_41.min1.thm12017-02-06 12:45 293  
[ ]msafree__1926_51.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__1927_60.min1.thm12017-02-06 12:45 2.2K 
[ ]msafree__1928_48.min1.thm12017-02-06 12:45 882  
[ ]msafree__1938_54.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__1940_50.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__1945_23.min1.thm12017-02-06 12:45 864  
[ ]msafree__1947_46.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__1949_18.min1.thm12017-02-06 12:45 721  
[ ]msafree__1961_46.min1.thm12017-02-06 12:45 366  
[ ]msafree__1961_46.min1.thm1.tptp2017-02-06 16:47 288  
[ ]msafree__1962_27.min1.thm12017-02-06 12:45 516  
[ ]msafree__1962_27.min1.thm1.tptp2017-02-06 16:47 439  
[ ]msafree__1963_21.min1.thm12017-02-06 12:45 741  
[ ]msafree__1977_42.min1.thm12017-02-06 12:45 342  
[ ]msafree__1977_42.min1.thm1.tptp2017-02-06 16:47 264  
[ ]msafree__1978_34.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__1979_14.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__1997_26.min1.thm12017-02-06 12:45 493  
[ ]msafree__1997_26.min1.thm1.tptp2017-02-06 16:47 438  
[ ]msafree__2000_25.min1.thm12017-02-06 12:45 2.5K 
[ ]msafree__2002_23.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__2004_6.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__2007_16.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__2013_20.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__2017_12.min1.thm12017-02-06 12:45 426  
[ ]msafree__2020_7.min1.thm12017-02-06 12:45 1.6K 
[ ]msafree__2021_27.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__2023_26.min1.thm12017-02-06 12:45 1.4K 
[ ]msafree__2024_38.min1.thm12017-02-06 12:45 2.2K 
[ ]msafree__2026_17.min1.thm12017-02-06 12:45 646  
[ ]msafree__2048_10.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__2057_22.min1.thm12017-02-06 12:45 693  
[ ]msafree__2061_21.min1.thm12017-02-06 12:45 550  
[ ]msafree__2066_40.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__2070_19.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__2082_24.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__2092_30.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__2093_21.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__2095_28.min1.thm12017-02-06 12:45 2.5K 
[ ]msafree__2115_46.min1.thm12017-02-06 12:45 366  
[ ]msafree__2115_46.min1.thm1.tptp2017-02-06 16:47 288  
[ ]msafree__2119_18.min1.thm12017-02-06 12:45 419  
[ ]msafree__2119_18.min1.thm1.tptp2017-02-06 16:47 337  
[ ]msafree__2124_41.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__2129_46.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__2130_27.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__2133_51.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__2138_46.min1.thm12017-02-06 12:45 366  
[ ]msafree__2138_46.min1.thm1.tptp2017-02-06 16:47 288  
[ ]msafree__2139_58.min1.thm12017-02-06 12:45 2.4K 
[ ]msafree__2157_46.min1.thm12017-02-06 12:45 366  
[ ]msafree__2157_46.min1.thm1.tptp2017-02-06 16:47 288  
[ ]msafree__2158_27.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__2158_27.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]msafree__2180_26.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__2184_8.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__2185_14.min1.thm12017-02-06 12:45 446  
[ ]msafree__2189_31.min1.thm12017-02-06 12:45 569  
[ ]msafree__2189_31.min1.thm1.tptp2017-02-06 16:47 503  
[ ]msafree__2191_46.min1.thm12017-02-06 12:45 1.7K 
[ ]msafree__2192_69.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__2210_31.min1.thm12017-02-06 12:45 725  
[ ]msafree__2211_19.min1.thm12017-02-06 12:45 799  
[ ]msafree__2229_14.min1.thm12017-02-06 12:45 414  
[ ]msafree__2239_18.min1.thm12017-02-06 12:45 927  
[ ]msafree__2241_15.min1.thm12017-02-06 12:45 644  
[ ]msafree__2260_19.min1.thm12017-02-06 12:45 1.4K 
[ ]msafree__2292_43.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__2295_64.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__2324_34.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__2328_27.min1.thm12017-02-06 12:45 1.8K 
[ ]msafree__2329_32.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__2332_17.min1.thm12017-02-06 12:45 1.4K 
[ ]msafree__2333_32.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__2351_52.min1.thm12017-02-06 12:45 940  
[ ]msafree__2352_25.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__2353_34.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__2369_32.min1.thm12017-02-06 12:45 1.1K 
[ ]msafree__2375_32.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__2379_27.min1.thm12017-02-06 12:45 1.8K 
[ ]msafree__2380_32.min1.thm12017-02-06 12:45 1.6K 
[ ]msafree__2388_24.min1.thm12017-02-06 12:45 1.6K 
[ ]msafree__2397_27.min1.thm12017-02-06 12:45 1.8K 
[ ]msafree__2399_40.min1.thm12017-02-06 12:45 2.4K 
[ ]msafree__2400_32.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__2402_17.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__2415_15.min1.thm12017-02-06 12:45 440  
[ ]msafree__2421_24.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__2422_20.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__2424_36.min1.thm12017-02-06 12:45 2.1K 
[ ]msafree__2430_45.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__2434_23.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__2436_22.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__2438_19.min1.thm12017-02-06 12:45 2.0K 
[ ]msafree__2447_44.min1.thm12017-02-06 12:45 350  
[ ]msafree__2447_44.min1.thm1.tptp2017-02-06 16:47 272  
[ ]msafree__2450_32.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__2452_22.min1.thm12017-02-06 12:45 2.2K 
[ ]msafree__2453_24.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__2456_21.min1.thm12017-02-06 12:45 853  
[ ]msafree__2463_20.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__2465_18.min1.thm12017-02-06 12:45 2.4K 
[ ]msafree__2484_17.min1.thm12017-02-06 12:45 753  
[ ]msafree__2494_63.min1.thm12017-02-06 12:45 2.4K 
[ ]msafree__2509_28.min1.thm12017-02-06 12:45 1.8K 
[ ]msafree__2523_41.min1.thm12017-02-06 12:45 2.9K 
[ ]msafree__2529_34.min1.thm12017-02-06 12:45 1.2K 
[ ]msafree__2530_32.min1.thm12017-02-06 12:45 1.5K 
[ ]msafree__2532_23.min1.thm12017-02-06 12:45 2.4K 
[ ]msafree__2536_26.min1.thm12017-02-06 12:45 3.0K 
[ ]msafree__2541_36.min1.thm12017-02-06 12:45 2.6K 
[ ]msafree__2549_44.min1.thm12017-02-06 12:45 350  
[ ]msafree__2549_44.min1.thm1.tptp2017-02-06 16:47 272  
[ ]msafree__2552_27.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__2561_12.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__2567_24.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__2583_16.min1.thm12017-02-06 12:45 875  
[ ]msafree__2601_14.min1.thm12017-02-06 12:45 670  
[ ]msafree__2611_65.min1.thm12017-02-06 12:45 2.3K 
[ ]msafree__2614_15.min1.thm12017-02-06 12:45 1.6K 
[ ]msafree__2618_49.min1.thm12017-02-06 12:45 614  
[ ]msafree__2618_49.min1.thm1.tptp2017-02-06 16:47 528  
[ ]msafree__2620_33.min1.thm12017-02-06 12:45 542  
[ ]msafree__2625_45.min1.thm12017-02-06 12:45 350  
[ ]msafree__2625_45.min1.thm1.tptp2017-02-06 16:47 272  
[ ]msafree__2631_29.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__2638_15.min1.thm12017-02-06 12:45 444  
[ ]msafree__2648_13.min1.thm12017-02-06 12:45 445  
[ ]msafree__2662_29.min1.thm12017-02-06 12:45 1.0K 
[ ]msafree__2663_28.min1.thm12017-02-06 12:45 1.3K 
[ ]msafree__2664_22.min1.thm12017-02-06 12:45 1.7K 
[ ]msafree__2665_17.min1.thm12017-02-06 12:45 1.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80