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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmpds_2__65_19.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__84_18.min1.thm12017-02-06 12:45 903  
[ ]scmpds_2__99_22.min1.thm12017-02-06 12:45 345  
[ ]scmpds_2__99_22.min1.thm1.tptp2017-02-06 16:47 264  
[ ]scmpds_2__126_10.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__128_4.min1.thm12017-02-06 12:45 1.3K 
[ ]scmpds_2__130_4.min1.thm12017-02-06 12:45 1.3K 
[ ]scmpds_2__131_17.min1.thm12017-02-06 12:45 1.3K 
[ ]scmpds_2__150_50.min1.thm12017-02-06 12:45 868  
[ ]scmpds_2__152_13.min1.thm12017-02-06 12:45 375  
[ ]scmpds_2__152_13.min1.thm1.tptp2017-02-06 16:47 293  
[ ]scmpds_2__153_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_2__163_35.min1.thm12017-02-06 12:45 954  
[ ]scmpds_2__171_25.min1.thm12017-02-06 12:45 377  
[ ]scmpds_2__172_27.min1.thm12017-02-06 12:45 734  
[ ]scmpds_2__173_45.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__174_51.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_2__175_57.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_2__176_63.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__183_21.min1.thm12017-02-06 12:45 769  
[ ]scmpds_2__184_50.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__185_56.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_2__186_62.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__195_24.min1.thm12017-02-06 12:45 362  
[ ]scmpds_2__195_24.min1.thm1.tptp2017-02-06 16:47 308  
[ ]scmpds_2__196_44.min1.thm12017-02-06 12:45 1.3K 
[ ]scmpds_2__197_25.min1.thm12017-02-06 12:45 377  
[ ]scmpds_2__198_32.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__199_59.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_2__201_7.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__210_45.min1.thm12017-02-06 12:45 545  
[ ]scmpds_2__210_45.min1.thm1.tptp2017-02-06 16:47 494  
[ ]scmpds_2__211_44.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_2__212_48.min1.thm12017-02-06 12:45 481  
[ ]scmpds_2__215_4.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_2__225_47.min1.thm12017-02-06 12:45 553  
[ ]scmpds_2__225_47.min1.thm1.tptp2017-02-06 16:47 502  
[ ]scmpds_2__226_44.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_2__227_48.min1.thm12017-02-06 12:45 481  
[ ]scmpds_2__247_50.min1.thm12017-02-06 12:45 868  
[ ]scmpds_2__248_35.min1.thm12017-02-06 12:45 752  
[ ]scmpds_2__259_50.min1.thm12017-02-06 12:45 868  
[ ]scmpds_2__260_17.min1.thm12017-02-06 12:45 277  
[ ]scmpds_2__268_50.min1.thm12017-02-06 12:45 868  
[ ]scmpds_2__269_17.min1.thm12017-02-06 12:45 364  
[ ]scmpds_2__269_17.min1.thm1.tptp2017-02-06 16:47 314  
[ ]scmpds_2__281_50.min1.thm12017-02-06 12:45 868  
[ ]scmpds_2__282_25.min1.thm12017-02-06 12:45 370  
[ ]scmpds_2__290_50.min1.thm12017-02-06 12:45 868  
[ ]scmpds_2__291_25.min1.thm12017-02-06 12:45 370  
[ ]scmpds_2__299_50.min1.thm12017-02-06 12:45 868  
[ ]scmpds_2__300_25.min1.thm12017-02-06 12:45 370  
[ ]scmpds_2__308_50.min1.thm12017-02-06 12:45 868  
[ ]scmpds_2__309_25.min1.thm12017-02-06 12:45 370  
[ ]scmpds_2__317_50.min1.thm12017-02-06 12:45 868  
[ ]scmpds_2__318_25.min1.thm12017-02-06 12:45 370  
[ ]scmpds_2__330_59.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__331_29.min1.thm12017-02-06 12:45 374  
[ ]scmpds_2__339_59.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__340_30.min1.thm12017-02-06 12:45 375  
[ ]scmpds_2__348_59.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__349_30.min1.thm12017-02-06 12:45 375  
[ ]scmpds_2__357_59.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__358_30.min1.thm12017-02-06 12:45 375  
[ ]scmpds_2__366_59.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__367_30.min1.thm12017-02-06 12:45 375  
[ ]scmpds_2__421_53.min1.thm12017-02-06 12:45 748  
[ ]scmpds_2__422_17.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_2__428_31.min1.thm12017-02-06 12:45 780  
[ ]scmpds_2__429_17.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_2__447_21.min1.thm12017-02-06 12:45 362  
[ ]scmpds_2__447_21.min1.thm1.tptp2017-02-06 16:47 308  
[ ]scmpds_2__448_17.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_2__467_45.min1.thm12017-02-06 12:45 545  
[ ]scmpds_2__467_45.min1.thm1.tptp2017-02-06 16:47 494  
[ ]scmpds_2__468_17.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_2__487_49.min1.thm12017-02-06 12:45 553  
[ ]scmpds_2__487_49.min1.thm1.tptp2017-02-06 16:47 502  
[ ]scmpds_2__488_17.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_2__495_23.min1.thm12017-02-06 12:45 748  
[ ]scmpds_2__496_16.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_2__506_10.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__510_16.min1.thm12017-02-06 12:45 830  
[ ]scmpds_2__520_5.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__535_5.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__541_17.min1.thm12017-02-06 12:45 362  
[ ]scmpds_2__541_17.min1.thm1.tptp2017-02-06 16:47 308  
[ ]scmpds_2__543_25.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_2__556_5.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__562_17.min1.thm12017-02-06 12:45 362  
[ ]scmpds_2__562_17.min1.thm1.tptp2017-02-06 16:47 308  
[ ]scmpds_2__564_24.min1.thm12017-02-06 12:45 1.8K 
[ ]scmpds_2__573_34.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_2__582_56.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__588_41.min1.thm12017-02-06 12:45 545  
[ ]scmpds_2__588_41.min1.thm1.tptp2017-02-06 16:47 494  
[ ]scmpds_2__590_28.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_2__593_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_2__603_56.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__609_41.min1.thm12017-02-06 12:45 545  
[ ]scmpds_2__609_41.min1.thm1.tptp2017-02-06 16:47 494  
[ ]scmpds_2__611_28.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_2__614_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_2__624_56.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__630_41.min1.thm12017-02-06 12:45 545  
[ ]scmpds_2__630_41.min1.thm1.tptp2017-02-06 16:47 494  
[ ]scmpds_2__632_28.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_2__635_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_2__645_56.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__651_41.min1.thm12017-02-06 12:45 545  
[ ]scmpds_2__651_41.min1.thm1.tptp2017-02-06 16:47 494  
[ ]scmpds_2__653_28.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_2__656_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_2__666_56.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__672_41.min1.thm12017-02-06 12:45 545  
[ ]scmpds_2__672_41.min1.thm1.tptp2017-02-06 16:47 494  
[ ]scmpds_2__674_28.min1.thm12017-02-06 12:45 1.9K 
[ ]scmpds_2__677_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_2__688_14.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__691_19.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_2__695_19.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_2__699_19.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_2__703_19.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_2__707_19.min1.thm12017-02-06 12:45 1.3K 
[ ]scmpds_2__718_56.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__724_45.min1.thm12017-02-06 12:45 553  
[ ]scmpds_2__724_45.min1.thm1.tptp2017-02-06 16:47 502  
[ ]scmpds_2__726_31.min1.thm12017-02-06 12:45 2.1K 
[ ]scmpds_2__729_16.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_2__739_56.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__745_45.min1.thm12017-02-06 12:45 553  
[ ]scmpds_2__745_45.min1.thm1.tptp2017-02-06 16:47 502  
[ ]scmpds_2__747_32.min1.thm12017-02-06 12:45 2.1K 
[ ]scmpds_2__750_16.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_2__760_56.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__766_45.min1.thm12017-02-06 12:45 553  
[ ]scmpds_2__766_45.min1.thm1.tptp2017-02-06 16:47 502  
[ ]scmpds_2__768_32.min1.thm12017-02-06 12:45 2.1K 
[ ]scmpds_2__771_16.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_2__781_56.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__787_45.min1.thm12017-02-06 12:45 553  
[ ]scmpds_2__787_45.min1.thm1.tptp2017-02-06 16:47 502  
[ ]scmpds_2__789_32.min1.thm12017-02-06 12:45 2.1K 
[ ]scmpds_2__792_16.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_2__802_56.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__808_45.min1.thm12017-02-06 12:45 553  
[ ]scmpds_2__808_45.min1.thm1.tptp2017-02-06 16:47 502  
[ ]scmpds_2__810_32.min1.thm12017-02-06 12:45 2.1K 
[ ]scmpds_2__813_16.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_2__834_30.min1.thm12017-02-06 12:45 780  
[ ]scmpds_2__836_29.min1.thm12017-02-06 12:45 244  
[ ]scmpds_2__841_40.min1.thm12017-02-06 12:45 376  
[ ]scmpds_2__842_32.min1.thm12017-02-06 12:45 654  
[ ]scmpds_2__843_22.min1.thm12017-02-06 12:45 883  
[ ]scmpds_2__850_26.min1.thm12017-02-06 12:45 678  
[ ]scmpds_2__850_26.min1.thm1.tptp2017-02-06 16:47 601  
[ ]scmpds_2__851_17.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_2__858_20.min1.thm12017-02-06 12:45 438  
[ ]scmpds_2__858_20.min1.thm1.tptp2017-02-06 16:47 365  
[ ]scmpds_2__876_39.min1.thm12017-02-06 12:45 492  
[ ]scmpds_2__877_16.min1.thm12017-02-06 12:45 583  
[ ]scmpds_2__880_27.min1.thm12017-02-06 12:45 369  
[ ]scmpds_2__880_27.min1.thm1.tptp2017-02-06 16:47 304  
[ ]scmpds_2__881_26.min1.thm12017-02-06 12:45 2.1K 
[ ]scmpds_2__886_26.min1.thm12017-02-06 12:45 506  
[ ]scmpds_2__886_26.min1.thm1.tptp2017-02-06 16:47 433  
[ ]scmpds_2__900_49.min1.thm12017-02-06 12:45 864  
[ ]scmpds_2__903_43.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__913_12.min1.thm12017-02-06 12:45 855  
[ ]scmpds_2__915_49.min1.thm12017-02-06 12:45 865  
[ ]scmpds_2__919_13.min1.thm12017-02-06 12:45 1.3K 
[ ]scmpds_2__928_49.min1.thm12017-02-06 12:45 864  
[ ]scmpds_2__932_43.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__933_27.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__942_12.min1.thm12017-02-06 12:45 1.3K 
[ ]scmpds_2__944_49.min1.thm12017-02-06 12:45 869  
[ ]scmpds_2__957_54.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__961_44.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__962_32.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_2__973_49.min1.thm12017-02-06 12:45 869  
[ ]scmpds_2__986_49.min1.thm12017-02-06 12:45 864  
[ ]scmpds_2__990_43.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__991_27.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__1002_49.min1.thm12017-02-06 12:45 869  
[ ]scmpds_2__1015_54.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__1019_43.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__1020_32.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_2__1031_49.min1.thm12017-02-06 12:45 869  
[ ]scmpds_2__1044_54.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__1048_44.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__1049_32.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_2__1060_49.min1.thm12017-02-06 12:45 869  
[ ]scmpds_2__1073_54.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__1077_44.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__1078_32.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_2__1089_49.min1.thm12017-02-06 12:45 869  
[ ]scmpds_2__1104_54.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__1109_44.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__1111_32.min1.thm12017-02-06 12:45 1.5K 
[ ]scmpds_2__1130_49.min1.thm12017-02-06 12:45 869  
[ ]scmpds_2__1153_40.min1.thm12017-02-06 12:45 2.2K 
[ ]scmpds_2__1155_10.min1.thm12017-02-06 12:45 269  
[ ]scmpds_2__1156_32.min1.thm12017-02-06 12:45 744  
[ ]scmpds_2__1157_38.min1.thm12017-02-06 12:45 835  
[ ]scmpds_2__1159_18.min1.thm12017-02-06 12:45 743  
[ ]scmpds_2__1161_13.min1.thm12017-02-06 12:45 477  
[ ]scmpds_2__1168_44.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__1171_20.min1.thm12017-02-06 12:45 811  
[ ]scmpds_2__1176_47.min1.thm12017-02-06 12:45 4.4K 
[ ]scmpds_2__1180_49.min1.thm12017-02-06 12:45 865  
[ ]scmpds_2__1182_10.min1.thm12017-02-06 12:45 349  
[ ]scmpds_2__1182_10.min1.thm1.tptp2017-02-06 16:47 267  
[ ]scmpds_2__1190_49.min1.thm12017-02-06 12:45 864  
[ ]scmpds_2__1193_49.min1.thm12017-02-06 12:45 864  
[ ]scmpds_2__1197_43.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__1198_29.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__1222_10.min1.thm12017-02-06 12:45 349  
[ ]scmpds_2__1222_10.min1.thm1.tptp2017-02-06 16:47 267  
[ ]scmpds_2__1230_49.min1.thm12017-02-06 12:45 864  
[ ]scmpds_2__1233_49.min1.thm12017-02-06 12:45 864  
[ ]scmpds_2__1237_43.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__1238_29.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__1262_10.min1.thm12017-02-06 12:45 349  
[ ]scmpds_2__1262_10.min1.thm1.tptp2017-02-06 16:47 267  
[ ]scmpds_2__1270_49.min1.thm12017-02-06 12:45 864  
[ ]scmpds_2__1273_49.min1.thm12017-02-06 12:45 864  
[ ]scmpds_2__1277_43.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__1278_29.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__1302_10.min1.thm12017-02-06 12:45 349  
[ ]scmpds_2__1302_10.min1.thm1.tptp2017-02-06 16:47 267  
[ ]scmpds_2__1311_49.min1.thm12017-02-06 12:45 864  
[ ]scmpds_2__1315_43.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__1327_49.min1.thm12017-02-06 12:45 869  
[ ]scmpds_2__1340_39.min1.thm12017-02-06 12:45 411  
[ ]scmpds_2__1340_39.min1.thm1.tptp2017-02-06 16:47 330  
[ ]scmpds_2__1341_49.min1.thm12017-02-06 12:45 864  
[ ]scmpds_2__1344_43.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__1354_13.min1.thm12017-02-06 12:45 3.1K 
[ ]scmpds_2__1356_49.min1.thm12017-02-06 12:45 869  
[ ]scmpds_2__1374_13.min1.thm12017-02-06 12:45 297  
[ ]scmpds_2__1374_13.min1.thm1.tptp2017-02-06 16:47 216  
[ ]scmpds_2__1376_17.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__1382_13.min1.thm12017-02-06 12:45 251  
[ ]scmpds_2__1386_26.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__1389_18.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_2__1390_15.min1.thm12017-02-06 12:45 646  
[ ]scmpds_2__1391_21.min1.thm12017-02-06 12:45 649  
[ ]scmpds_2__1395_23.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_2__1401_36.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_2__1402_20.min1.thm12017-02-06 12:45 507  
[ ]scmpds_2__1407_48.min1.thm12017-02-06 12:45 864  
[ ]scmpds_2__1408_19.min1.thm12017-02-06 12:45 763  
[ ]scmpds_2__1409_20.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_2__1411_10.min1.thm12017-02-06 12:45 1.6K 
[ ]scmpds_2__1420_26.min1.thm12017-02-06 12:45 314  
[ ]scmpds_2__1420_26.min1.thm1.tptp2017-02-06 16:47 236  
[ ]scmpds_2__1427_32.min1.thm12017-02-06 12:45 609  
[ ]scmpds_2__1428_34.min1.thm12017-02-06 12:45 674  
[ ]scmpds_2__1430_32.min1.thm12017-02-06 12:45 1.3K 
[ ]scmpds_2__1431_13.min1.thm12017-02-06 12:45 558  
[ ]scmpds_2__1433_16.min1.thm12017-02-06 12:45 1.0K 
[ ]scmpds_2__1438_13.min1.thm12017-02-06 12:45 193  
[ ]scmpds_2__1445_40.min1.thm12017-02-06 12:45 761  
[ ]scmpds_2__1446_23.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_2__1450_39.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_2__1452_29.min1.thm12017-02-06 12:45 655  
[ ]scmpds_2__1453_20.min1.thm12017-02-06 12:45 430  
[ ]scmpds_2__1457_19.min1.thm12017-02-06 12:45 714  
[ ]scmpds_2__1460_24.min1.thm12017-02-06 12:45 360  
[ ]scmpds_2__1460_24.min1.thm1.tptp2017-02-06 16:47 279  
[ ]scmpds_2__1462_41.min1.thm12017-02-06 12:45 579  
[ ]scmpds_2__1463_34.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__1465_12.min1.thm12017-02-06 12:45 458  
[ ]scmpds_2__1465_12.min1.thm1.tptp2017-02-06 16:47 385  
[ ]scmpds_2__1480_49.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_2__1493_20.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_2__1549_17.min1.thm12017-02-06 12:45 1.7K 
[ ]scmpds_2__1582_38.min1.thm12017-02-06 12:45 1.3K 
[ ]scmpds_2__1586_11.min1.thm12017-02-06 12:45 916  
[ ]scmpds_2__1587_14.min1.thm12017-02-06 12:45 2.3K 
[ ]scmpds_2__1589_18.min1.thm12017-02-06 12:45 2.0K 
[ ]scmpds_2__1594_22.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__1596_12.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_2__1635_36.min1.thm12017-02-06 12:45 310  
[ ]scmpds_2__1636_31.min1.thm12017-02-06 12:45 305  
[ ]scmpds_2__1636_31.min1.thm1.tptp2017-02-06 16:47 231  
[ ]scmpds_2__1640_64.min1.thm12017-02-06 12:45 1.4K 
[ ]scmpds_2__1642_12.min1.thm12017-02-06 12:45 913  
[ ]scmpds_2__1669_46.min1.thm12017-02-06 12:45 264  
[ ]scmpds_2__1670_16.min1.thm12017-02-06 12:45 1.2K 
[ ]scmpds_2__1673_27.min1.thm12017-02-06 12:45 756  
[ ]scmpds_2__1674_18.min1.thm12017-02-06 12:45 2.9K 
[ ]scmpds_2__1679_24.min1.thm12017-02-06 12:45 756  
[ ]scmpds_2__1680_20.min1.thm12017-02-06 12:45 854  
[ ]scmpds_2__1681_18.min1.thm12017-02-06 12:45 2.8K 
[ ]scmpds_2__1686_23.min1.thm12017-02-06 12:45 788  
[ ]scmpds_2__1689_18.min1.thm12017-02-06 12:45 2.8K 
[ ]scmpds_2__1699_18.min1.thm12017-02-06 12:45 3.0K 
[ ]scmpds_2__1813_25.min1.thm12017-02-06 12:45 1.1K 
[ ]scmpds_2__1822_23.min1.thm12017-02-06 12:45 724  
[ ]scmpds_2__1829_41.min1.thm12017-02-06 12:45 218  
[ ]scmpds_2__1834_39.min1.thm12017-02-06 12:45 788  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80