Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/altcat_4
Name
Last modified
Size
Description
Parent Directory
-
altcat_4__43_14.min1.thm1
2017-02-06 12:46
680
altcat_4__57_29.min1.thm1
2017-02-06 12:46
2.6K
altcat_4__58_11.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__72_31.min1.thm1
2017-02-06 12:46
2.6K
altcat_4__73_11.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__84_35.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__85_28.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__86_16.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__87_27.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__88_16.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__102_25.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__103_13.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__109_23.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__110_11.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__116_14.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__122_14.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__133_23.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__134_20.min1.thm1
2017-02-06 12:46
2.1K
altcat_4__135_11.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__149_24.min1.thm1
2017-02-06 12:46
732
altcat_4__153_29.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__155_16.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__156_30.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__157_21.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__158_13.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__159_21.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__160_26.min1.thm1
2017-02-06 12:46
2.6K
altcat_4__162_17.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__196_66.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__198_15.min1.thm1
2017-02-06 12:46
848
altcat_4__199_11.min1.thm1
2017-02-06 12:46
848
altcat_4__215_66.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__217_15.min1.thm1
2017-02-06 12:46
848
altcat_4__218_11.min1.thm1
2017-02-06 12:46
848
altcat_4__231_15.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__232_22.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__236_70.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__239_22.min1.thm1
2017-02-06 12:46
1.0K
altcat_4__241_22.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__242_29.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__243_22.min1.thm1
2017-02-06 12:46
1.0K
altcat_4__246_16.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__247_19.min1.thm1
2017-02-06 12:46
2.8K
altcat_4__249_17.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__262_15.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__263_22.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__267_70.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__270_22.min1.thm1
2017-02-06 12:46
1.0K
altcat_4__272_22.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__273_29.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__274_22.min1.thm1
2017-02-06 12:46
1.0K
altcat_4__277_16.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__278_19.min1.thm1
2017-02-06 12:46
2.8K
altcat_4__280_17.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__292_68.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__296_21.min1.thm1
2017-02-06 12:46
460
altcat_4__297_39.min1.thm1
2017-02-06 12:46
412
altcat_4__297_39.min1.thm1.tptp
2017-02-06 16:48
334
altcat_4__304_70.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__307_22.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__308_28.min1.thm1
2017-02-06 12:46
1.6K
altcat_4__314_6.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__315_30.min1.thm1
2017-02-06 12:46
2.1K
altcat_4__316_24.min1.thm1
2017-02-06 12:46
2.6K
altcat_4__317_19.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__318_23.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__319_14.min1.thm1
2017-02-06 12:46
1.6K
altcat_4__321_24.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__329_6.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__331_22.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__332_28.min1.thm1
2017-02-06 12:46
1.6K
altcat_4__338_6.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__339_32.min1.thm1
2017-02-06 12:46
2.1K
altcat_4__340_22.min1.thm1
2017-02-06 12:46
2.6K
altcat_4__341_19.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__342_23.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__343_14.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__345_17.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__375_21.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__398_39.min1.thm1
2017-02-06 12:46
3.4K
altcat_4__405_18.min1.thm1
2017-02-06 12:46
826
altcat_4__406_38.min1.thm1
2017-02-06 12:46
467
altcat_4__406_38.min1.thm1.tptp
2017-02-06 16:48
389
altcat_4__407_17.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__410_31.min1.thm1
2017-02-06 12:46
1.0K
altcat_4__428_35.min1.thm1
2017-02-06 12:46
901
altcat_4__442_38.min1.thm1
2017-02-06 12:46
466
altcat_4__442_38.min1.thm1.tptp
2017-02-06 16:48
388
altcat_4__457_36.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__462_26.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__468_16.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__481_36.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__492_16.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__506_30.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__508_19.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__509_35.min1.thm1
2017-02-06 12:46
3.6K
altcat_4__510_18.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__524_30.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__526_19.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__527_35.min1.thm1
2017-02-06 12:46
3.6K
altcat_4__528_18.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__540_33.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__555_15.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__556_40.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__573_30.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__575_19.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__576_35.min1.thm1
2017-02-06 12:46
3.6K
altcat_4__577_18.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__591_30.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__593_19.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__594_35.min1.thm1
2017-02-06 12:46
3.6K
altcat_4__595_18.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__607_33.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__623_15.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__624_40.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__656_18.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__657_22.min1.thm1
2017-02-06 12:46
3.6K
altcat_4__658_20.min1.thm1
2017-02-06 12:46
3.5K
altcat_4__689_18.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__690_22.min1.thm1
2017-02-06 12:46
3.6K
altcat_4__691_20.min1.thm1
2017-02-06 12:46
3.5K
altcat_4__709_17.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__724_16.min1.thm1
2017-02-06 12:46
2.5K
altcat_4__727_43.min1.thm1
2017-02-06 12:46
495
altcat_4__727_43.min1.thm1.tptp
2017-02-06 16:48
407
altcat_4__747_31.min1.thm1
2017-02-06 12:46
2.1K
altcat_4__758_18.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__759_22.min1.thm1
2017-02-06 12:46
3.6K
altcat_4__760_20.min1.thm1
2017-02-06 12:46
3.5K
altcat_4__780_31.min1.thm1
2017-02-06 12:46
2.1K
altcat_4__791_18.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__792_22.min1.thm1
2017-02-06 12:46
3.6K
altcat_4__793_20.min1.thm1
2017-02-06 12:46
3.5K
altcat_4__811_17.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__826_16.min1.thm1
2017-02-06 12:46
2.5K
altcat_4__829_43.min1.thm1
2017-02-06 12:46
495
altcat_4__829_43.min1.thm1.tptp
2017-02-06 16:48
407
altcat_4__841_67.min1.thm1
2017-02-06 12:46
660
altcat_4__845_18.min1.thm1
2017-02-06 12:46
928
altcat_4__846_40.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__847_27.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__862_67.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__864_64.min1.thm1
2017-02-06 12:46
1.0K
altcat_4__875_55.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__879_31.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__880_27.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__882_17.min1.thm1
2017-02-06 12:46
1.0K
altcat_4__893_15.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__902_60.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__906_67.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__908_41.min1.thm1
2017-02-06 12:46
559
altcat_4__909_21.min1.thm1
2017-02-06 12:46
2.1K
altcat_4__910_18.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__911_27.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__913_17.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__935_40.min1.thm1
2017-02-06 12:46
757
altcat_4__936_22.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__939_54.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__940_21.min1.thm1
2017-02-06 12:46
3.0K
altcat_4__941_18.min1.thm1
2017-02-06 12:46
3.2K
altcat_4__942_19.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__948_38.min1.thm1
2017-02-06 12:46
749
altcat_4__949_23.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__952_52.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__953_19.min1.thm1
2017-02-06 12:46
2.9K
altcat_4__954_16.min1.thm1
2017-02-06 12:46
3.2K
altcat_4__955_17.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__978_29.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__979_20.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__980_20.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__984_27.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__985_18.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__986_18.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__992_27.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__993_18.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__994_18.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__998_25.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__999_16.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__1000_16.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__1021_30.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__1022_46.min1.thm1
2017-02-06 12:46
1.6K
altcat_4__1024_18.min1.thm1
2017-02-06 12:46
3.0K
altcat_4__1031_29.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__1032_46.min1.thm1
2017-02-06 12:46
1.6K
altcat_4__1034_18.min1.thm1
2017-02-06 12:46
3.0K
altcat_4__1037_17.min1.thm1
2017-02-06 12:46
3.2K
altcat_4__1059_30.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__1060_46.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__1062_18.min1.thm1
2017-02-06 12:46
2.9K
altcat_4__1069_29.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__1070_46.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__1072_18.min1.thm1
2017-02-06 12:46
2.9K
altcat_4__1075_17.min1.thm1
2017-02-06 12:46
3.1K
altcat_4__1097_20.min1.thm1
2017-02-06 12:46
850
altcat_4__1098_41.min1.thm1
2017-02-06 12:46
502
altcat_4__1098_41.min1.thm1.tptp
2017-02-06 16:48
424
altcat_4__1111_46.min1.thm1
2017-02-06 12:46
1.0K
altcat_4__1111_46.min1.thm1.tptp
2017-02-06 16:48
915
altcat_4__1113_22.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__1118_26.min1.thm1
2017-02-06 12:46
827
altcat_4__1119_21.min1.thm1
2017-02-06 12:46
2.1K
altcat_4__1132_23.min1.thm1
2017-02-06 12:46
1.0K
altcat_4__1133_45.min1.thm1
2017-02-06 12:46
632
altcat_4__1133_45.min1.thm1.tptp
2017-02-06 16:48
554
altcat_4__1136_28.min1.thm1
2017-02-06 12:46
913
altcat_4__1137_17.min1.thm1
2017-02-06 12:46
815
altcat_4__1144_59.min1.thm1
2017-02-06 12:46
350
altcat_4__1153_18.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__1163_27.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1166_27.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1170_31.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__1172_41.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1183_41.min1.thm1
2017-02-06 12:46
684
altcat_4__1186_22.min1.thm1
2017-02-06 12:46
964
altcat_4__1188_31.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__1191_39.min1.thm1
2017-02-06 12:46
2.2K
altcat_4__1198_18.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__1199_44.min1.thm1
2017-02-06 12:46
2.3K
altcat_4__1204_29.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1211_21.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__1212_29.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1219_21.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__1223_20.min1.thm1
2017-02-06 12:46
537
altcat_4__1224_58.min1.thm1
2017-02-06 12:46
939
altcat_4__1226_20.min1.thm1
2017-02-06 12:46
537
altcat_4__1227_36.min1.thm1
2017-02-06 12:46
694
altcat_4__1228_20.min1.thm1
2017-02-06 12:46
537
altcat_4__1229_34.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__1230_20.min1.thm1
2017-02-06 12:46
537
altcat_4__1234_24.min1.thm1
2017-02-06 12:46
2.5K
altcat_4__1236_29.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1237_31.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__1240_57.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__1244_39.min1.thm1
2017-02-06 12:46
714
altcat_4__1249_50.min1.thm1
2017-02-06 12:46
2.1K
altcat_4__1264_57.min1.thm1
2017-02-06 12:46
2.3K
altcat_4__1272_24.min1.thm1
2017-02-06 12:46
504
altcat_4__1274_24.min1.thm1
2017-02-06 12:46
504
altcat_4__1275_27.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__1282_27.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__1289_16.min1.thm1
2017-02-06 12:46
525
altcat_4__1296_18.min1.thm1
2017-02-06 12:46
528
altcat_4__1297_34.min1.thm1
2017-02-06 12:46
677
altcat_4__1298_31.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__1299_30.min1.thm1
2017-02-06 12:46
415
altcat_4__1302_27.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__1305_68.min1.thm1
2017-02-06 12:46
518
altcat_4__1305_68.min1.thm1.tptp
2017-02-06 16:48
428
altcat_4__1307_45.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__1308_48.min1.thm1
2017-02-06 12:46
2.4K
altcat_4__1310_26.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1318_26.min1.thm1
2017-02-06 12:46
564
altcat_4__1319_21.min1.thm1
2017-02-06 12:46
702
altcat_4__1319_21.min1.thm1.tptp
2017-02-06 16:48
620
altcat_4__1322_19.min1.thm1
2017-02-06 12:46
3.4K
altcat_4__1341_20.min1.thm1
2017-02-06 12:46
850
altcat_4__1342_41.min1.thm1
2017-02-06 12:46
502
altcat_4__1342_41.min1.thm1.tptp
2017-02-06 16:48
424
altcat_4__1352_44.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__1353_45.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__1354_49.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__1355_25.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__1362_42.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__1363_43.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__1364_47.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__1365_23.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__1378_17.min1.thm1
2017-02-06 12:46
2.6K
altcat_4__1403_20.min1.thm1
2017-02-06 12:46
850
altcat_4__1404_41.min1.thm1
2017-02-06 12:46
502
altcat_4__1404_41.min1.thm1.tptp
2017-02-06 16:48
424
altcat_4__1417_45.min1.thm1
2017-02-06 12:46
1.0K
altcat_4__1417_45.min1.thm1.tptp
2017-02-06 16:48
915
altcat_4__1419_22.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__1424_26.min1.thm1
2017-02-06 12:46
827
altcat_4__1425_21.min1.thm1
2017-02-06 12:46
2.1K
altcat_4__1438_23.min1.thm1
2017-02-06 12:46
1.0K
altcat_4__1439_45.min1.thm1
2017-02-06 12:46
632
altcat_4__1439_45.min1.thm1.tptp
2017-02-06 16:48
554
altcat_4__1442_28.min1.thm1
2017-02-06 12:46
913
altcat_4__1443_17.min1.thm1
2017-02-06 12:46
815
altcat_4__1450_59.min1.thm1
2017-02-06 12:46
350
altcat_4__1459_18.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__1469_27.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1472_27.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1476_31.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__1478_41.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1489_41.min1.thm1
2017-02-06 12:46
684
altcat_4__1492_22.min1.thm1
2017-02-06 12:46
964
altcat_4__1494_31.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__1497_39.min1.thm1
2017-02-06 12:46
2.2K
altcat_4__1504_18.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__1505_44.min1.thm1
2017-02-06 12:46
2.3K
altcat_4__1510_29.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1517_20.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__1518_29.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1525_20.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__1529_20.min1.thm1
2017-02-06 12:46
537
altcat_4__1530_58.min1.thm1
2017-02-06 12:46
939
altcat_4__1532_20.min1.thm1
2017-02-06 12:46
537
altcat_4__1533_36.min1.thm1
2017-02-06 12:46
694
altcat_4__1534_20.min1.thm1
2017-02-06 12:46
537
altcat_4__1535_34.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__1536_20.min1.thm1
2017-02-06 12:46
537
altcat_4__1540_24.min1.thm1
2017-02-06 12:46
2.5K
altcat_4__1542_29.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1543_31.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__1546_57.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__1550_39.min1.thm1
2017-02-06 12:46
714
altcat_4__1555_50.min1.thm1
2017-02-06 12:46
2.1K
altcat_4__1570_57.min1.thm1
2017-02-06 12:46
2.3K
altcat_4__1578_24.min1.thm1
2017-02-06 12:46
504
altcat_4__1580_24.min1.thm1
2017-02-06 12:46
504
altcat_4__1581_27.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__1588_27.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__1595_16.min1.thm1
2017-02-06 12:46
525
altcat_4__1602_18.min1.thm1
2017-02-06 12:46
528
altcat_4__1603_34.min1.thm1
2017-02-06 12:46
677
altcat_4__1604_31.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__1605_30.min1.thm1
2017-02-06 12:46
415
altcat_4__1608_27.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__1611_68.min1.thm1
2017-02-06 12:46
518
altcat_4__1611_68.min1.thm1.tptp
2017-02-06 16:48
428
altcat_4__1613_45.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__1614_48.min1.thm1
2017-02-06 12:46
2.4K
altcat_4__1616_26.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1624_26.min1.thm1
2017-02-06 12:46
564
altcat_4__1625_21.min1.thm1
2017-02-06 12:46
702
altcat_4__1625_21.min1.thm1.tptp
2017-02-06 16:48
620
altcat_4__1628_19.min1.thm1
2017-02-06 12:46
3.4K
altcat_4__1647_20.min1.thm1
2017-02-06 12:46
850
altcat_4__1648_41.min1.thm1
2017-02-06 12:46
502
altcat_4__1648_41.min1.thm1.tptp
2017-02-06 16:48
424
altcat_4__1658_44.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__1659_44.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__1660_49.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__1661_25.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__1668_42.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__1669_42.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__1670_47.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__1671_23.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__1684_17.min1.thm1
2017-02-06 12:46
2.6K
altcat_4__1708_20.min1.thm1
2017-02-06 12:46
850
altcat_4__1709_41.min1.thm1
2017-02-06 12:46
502
altcat_4__1709_41.min1.thm1.tptp
2017-02-06 16:48
424
altcat_4__1722_70.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__1722_70.min1.thm1.tptp
2017-02-06 16:48
1.1K
altcat_4__1724_22.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1729_26.min1.thm1
2017-02-06 12:46
827
altcat_4__1730_21.min1.thm1
2017-02-06 12:46
2.2K
altcat_4__1743_23.min1.thm1
2017-02-06 12:46
1.0K
altcat_4__1744_45.min1.thm1
2017-02-06 12:46
632
altcat_4__1744_45.min1.thm1.tptp
2017-02-06 16:48
554
altcat_4__1747_28.min1.thm1
2017-02-06 12:46
913
altcat_4__1748_17.min1.thm1
2017-02-06 12:46
815
altcat_4__1755_59.min1.thm1
2017-02-06 12:46
350
altcat_4__1764_18.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__1774_27.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1777_27.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1781_31.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__1783_41.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1794_41.min1.thm1
2017-02-06 12:46
684
altcat_4__1797_22.min1.thm1
2017-02-06 12:46
964
altcat_4__1799_31.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__1802_39.min1.thm1
2017-02-06 12:46
2.2K
altcat_4__1809_18.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__1810_44.min1.thm1
2017-02-06 12:46
2.3K
altcat_4__1815_29.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1824_29.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1836_20.min1.thm1
2017-02-06 12:46
537
altcat_4__1837_58.min1.thm1
2017-02-06 12:46
939
altcat_4__1839_20.min1.thm1
2017-02-06 12:46
537
altcat_4__1840_36.min1.thm1
2017-02-06 12:46
694
altcat_4__1841_20.min1.thm1
2017-02-06 12:46
537
altcat_4__1843_46.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__1845_20.min1.thm1
2017-02-06 12:46
537
altcat_4__1849_24.min1.thm1
2017-02-06 12:46
2.8K
altcat_4__1851_29.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1852_31.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__1855_57.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__1859_39.min1.thm1
2017-02-06 12:46
714
altcat_4__1864_50.min1.thm1
2017-02-06 12:46
2.1K
altcat_4__1879_57.min1.thm1
2017-02-06 12:46
2.3K
altcat_4__1887_24.min1.thm1
2017-02-06 12:46
504
altcat_4__1889_24.min1.thm1
2017-02-06 12:46
504
altcat_4__1890_27.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__1898_27.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__1906_16.min1.thm1
2017-02-06 12:46
525
altcat_4__1913_18.min1.thm1
2017-02-06 12:46
528
altcat_4__1914_34.min1.thm1
2017-02-06 12:46
677
altcat_4__1916_44.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__1918_30.min1.thm1
2017-02-06 12:46
415
altcat_4__1921_27.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__1924_68.min1.thm1
2017-02-06 12:46
518
altcat_4__1924_68.min1.thm1.tptp
2017-02-06 16:48
428
altcat_4__1926_45.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__1927_48.min1.thm1
2017-02-06 12:46
2.4K
altcat_4__1929_26.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__1938_26.min1.thm1
2017-02-06 12:46
564
altcat_4__1939_21.min1.thm1
2017-02-06 12:46
879
altcat_4__1939_21.min1.thm1.tptp
2017-02-06 16:48
797
altcat_4__1942_19.min1.thm1
2017-02-06 12:46
3.6K
altcat_4__1963_20.min1.thm1
2017-02-06 12:46
850
altcat_4__1964_41.min1.thm1
2017-02-06 12:46
502
altcat_4__1964_41.min1.thm1.tptp
2017-02-06 16:48
424
altcat_4__1974_44.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__1976_28.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__1977_46.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__1978_49.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__1979_25.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__1986_42.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__1988_26.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__1989_44.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__1990_47.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__1991_23.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2004_17.min1.thm1
2017-02-06 12:46
2.6K
altcat_4__2028_20.min1.thm1
2017-02-06 12:46
850
altcat_4__2029_41.min1.thm1
2017-02-06 12:46
502
altcat_4__2029_41.min1.thm1.tptp
2017-02-06 16:48
424
altcat_4__2043_72.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__2043_72.min1.thm1.tptp
2017-02-06 16:48
1.1K
altcat_4__2045_22.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2050_26.min1.thm1
2017-02-06 12:46
827
altcat_4__2051_21.min1.thm1
2017-02-06 12:46
2.2K
altcat_4__2064_23.min1.thm1
2017-02-06 12:46
1.0K
altcat_4__2065_45.min1.thm1
2017-02-06 12:46
632
altcat_4__2065_45.min1.thm1.tptp
2017-02-06 16:48
554
altcat_4__2068_28.min1.thm1
2017-02-06 12:46
913
altcat_4__2069_17.min1.thm1
2017-02-06 12:46
815
altcat_4__2076_59.min1.thm1
2017-02-06 12:46
350
altcat_4__2085_18.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2095_27.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2098_27.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2102_31.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2104_41.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2115_41.min1.thm1
2017-02-06 12:46
684
altcat_4__2118_22.min1.thm1
2017-02-06 12:46
964
altcat_4__2120_31.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2123_39.min1.thm1
2017-02-06 12:46
2.2K
altcat_4__2130_18.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__2131_44.min1.thm1
2017-02-06 12:46
2.3K
altcat_4__2136_29.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2145_29.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2157_20.min1.thm1
2017-02-06 12:46
537
altcat_4__2158_58.min1.thm1
2017-02-06 12:46
939
altcat_4__2160_20.min1.thm1
2017-02-06 12:46
537
altcat_4__2161_36.min1.thm1
2017-02-06 12:46
694
altcat_4__2162_20.min1.thm1
2017-02-06 12:46
537
altcat_4__2164_46.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__2166_20.min1.thm1
2017-02-06 12:46
537
altcat_4__2170_24.min1.thm1
2017-02-06 12:46
2.8K
altcat_4__2172_29.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2173_31.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2176_57.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__2180_39.min1.thm1
2017-02-06 12:46
714
altcat_4__2185_50.min1.thm1
2017-02-06 12:46
2.1K
altcat_4__2200_57.min1.thm1
2017-02-06 12:46
2.3K
altcat_4__2208_24.min1.thm1
2017-02-06 12:46
504
altcat_4__2210_24.min1.thm1
2017-02-06 12:46
504
altcat_4__2211_27.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__2219_27.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__2227_16.min1.thm1
2017-02-06 12:46
525
altcat_4__2234_18.min1.thm1
2017-02-06 12:46
528
altcat_4__2235_34.min1.thm1
2017-02-06 12:46
677
altcat_4__2237_44.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2239_30.min1.thm1
2017-02-06 12:46
415
altcat_4__2242_27.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__2245_68.min1.thm1
2017-02-06 12:46
518
altcat_4__2245_68.min1.thm1.tptp
2017-02-06 16:48
428
altcat_4__2247_45.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__2248_48.min1.thm1
2017-02-06 12:46
2.4K
altcat_4__2250_26.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2259_26.min1.thm1
2017-02-06 12:46
564
altcat_4__2260_21.min1.thm1
2017-02-06 12:46
879
altcat_4__2260_21.min1.thm1.tptp
2017-02-06 16:48
797
altcat_4__2263_19.min1.thm1
2017-02-06 12:46
3.6K
altcat_4__2284_20.min1.thm1
2017-02-06 12:46
850
altcat_4__2285_41.min1.thm1
2017-02-06 12:46
502
altcat_4__2285_41.min1.thm1.tptp
2017-02-06 16:48
424
altcat_4__2295_44.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2297_30.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__2298_46.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__2299_49.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__2300_25.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2307_42.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2309_28.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__2310_44.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__2311_47.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__2312_23.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2325_20.min1.thm1
2017-02-06 12:46
2.6K
altcat_4__2350_20.min1.thm1
2017-02-06 12:46
850
altcat_4__2351_41.min1.thm1
2017-02-06 12:46
502
altcat_4__2351_41.min1.thm1.tptp
2017-02-06 16:48
424
altcat_4__2364_63.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__2364_63.min1.thm1.tptp
2017-02-06 16:48
1.1K
altcat_4__2366_22.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2371_26.min1.thm1
2017-02-06 12:46
827
altcat_4__2372_21.min1.thm1
2017-02-06 12:46
2.2K
altcat_4__2385_23.min1.thm1
2017-02-06 12:46
1.0K
altcat_4__2386_45.min1.thm1
2017-02-06 12:46
632
altcat_4__2386_45.min1.thm1.tptp
2017-02-06 16:48
554
altcat_4__2389_28.min1.thm1
2017-02-06 12:46
913
altcat_4__2390_17.min1.thm1
2017-02-06 12:46
815
altcat_4__2397_59.min1.thm1
2017-02-06 12:46
350
altcat_4__2406_18.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2416_27.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2419_27.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2423_31.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2425_41.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2436_41.min1.thm1
2017-02-06 12:46
684
altcat_4__2439_22.min1.thm1
2017-02-06 12:46
964
altcat_4__2441_31.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2444_39.min1.thm1
2017-02-06 12:46
2.2K
altcat_4__2451_18.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__2452_44.min1.thm1
2017-02-06 12:46
2.3K
altcat_4__2457_29.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2466_29.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2478_20.min1.thm1
2017-02-06 12:46
537
altcat_4__2479_58.min1.thm1
2017-02-06 12:46
939
altcat_4__2481_20.min1.thm1
2017-02-06 12:46
537
altcat_4__2482_36.min1.thm1
2017-02-06 12:46
694
altcat_4__2483_20.min1.thm1
2017-02-06 12:46
537
altcat_4__2485_46.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__2487_20.min1.thm1
2017-02-06 12:46
537
altcat_4__2491_24.min1.thm1
2017-02-06 12:46
2.9K
altcat_4__2493_29.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2494_31.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2497_57.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__2501_39.min1.thm1
2017-02-06 12:46
714
altcat_4__2506_50.min1.thm1
2017-02-06 12:46
2.1K
altcat_4__2521_57.min1.thm1
2017-02-06 12:46
2.3K
altcat_4__2529_24.min1.thm1
2017-02-06 12:46
504
altcat_4__2531_24.min1.thm1
2017-02-06 12:46
504
altcat_4__2532_27.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__2540_27.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__2548_16.min1.thm1
2017-02-06 12:46
525
altcat_4__2555_18.min1.thm1
2017-02-06 12:46
528
altcat_4__2556_34.min1.thm1
2017-02-06 12:46
677
altcat_4__2558_44.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2560_30.min1.thm1
2017-02-06 12:46
415
altcat_4__2563_27.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__2566_68.min1.thm1
2017-02-06 12:46
518
altcat_4__2566_68.min1.thm1.tptp
2017-02-06 16:48
428
altcat_4__2568_45.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__2569_48.min1.thm1
2017-02-06 12:46
2.4K
altcat_4__2571_26.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2580_26.min1.thm1
2017-02-06 12:46
564
altcat_4__2581_21.min1.thm1
2017-02-06 12:46
879
altcat_4__2581_21.min1.thm1.tptp
2017-02-06 16:48
797
altcat_4__2584_19.min1.thm1
2017-02-06 12:46
3.6K
altcat_4__2604_20.min1.thm1
2017-02-06 12:46
850
altcat_4__2605_41.min1.thm1
2017-02-06 12:46
502
altcat_4__2605_41.min1.thm1.tptp
2017-02-06 16:48
424
altcat_4__2615_44.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2617_21.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__2618_46.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__2619_49.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__2620_25.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2627_42.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2629_19.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__2630_44.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__2631_47.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__2632_23.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2645_17.min1.thm1
2017-02-06 12:46
2.5K
altcat_4__2653_47.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2655_58.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2659_46.min1.thm1
2017-02-06 12:46
600
altcat_4__2659_46.min1.thm1.tptp
2017-02-06 16:48
532
altcat_4__2666_39.min1.thm1
2017-02-06 12:46
1.6K
altcat_4__2670_49.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2674_51.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2675_44.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2676_21.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__2678_23.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__2679_45.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2680_45.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__2681_50.min1.thm1
2017-02-06 12:46
2.1K
altcat_4__2682_19.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2690_39.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2691_21.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2693_27.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2701_47.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2703_60.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2707_50.min1.thm1
2017-02-06 12:46
600
altcat_4__2707_50.min1.thm1.tptp
2017-02-06 16:48
532
altcat_4__2714_39.min1.thm1
2017-02-06 12:46
1.6K
altcat_4__2718_49.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2722_51.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2723_44.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2724_21.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__2726_25.min1.thm1
2017-02-06 12:46
1.2K
altcat_4__2727_45.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2728_45.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__2729_52.min1.thm1
2017-02-06 12:46
2.1K
altcat_4__2730_19.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2738_39.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2739_21.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2741_27.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2749_50.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2751_61.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2755_54.min1.thm1
2017-02-06 12:46
600
altcat_4__2755_54.min1.thm1.tptp
2017-02-06 16:48
532
altcat_4__2762_39.min1.thm1
2017-02-06 12:46
1.6K
altcat_4__2766_52.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2769_51.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2770_47.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2772_25.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__2773_48.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2775_22.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2776_22.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2777_22.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__2778_50.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__2779_19.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2787_39.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2788_21.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2790_27.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2798_48.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__2800_58.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2804_52.min1.thm1
2017-02-06 12:46
600
altcat_4__2804_52.min1.thm1.tptp
2017-02-06 16:48
532
altcat_4__2811_39.min1.thm1
2017-02-06 12:46
1.6K
altcat_4__2815_50.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2818_51.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2819_45.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2821_23.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__2822_46.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2824_22.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2825_22.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2826_21.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__2827_49.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__2828_19.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2836_39.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2837_21.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2839_27.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2851_50.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2858_18.min1.thm1
2017-02-06 12:46
834
altcat_4__2859_39.min1.thm1
2017-02-06 12:46
478
altcat_4__2859_39.min1.thm1.tptp
2017-02-06 16:48
400
altcat_4__2867_53.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2868_19.min1.thm1
2017-02-06 12:46
785
altcat_4__2869_52.min1.thm1
2017-02-06 12:46
3.2K
altcat_4__2870_21.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2883_49.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2890_18.min1.thm1
2017-02-06 12:46
834
altcat_4__2891_39.min1.thm1
2017-02-06 12:46
478
altcat_4__2891_39.min1.thm1.tptp
2017-02-06 16:48
400
altcat_4__2899_53.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2900_18.min1.thm1
2017-02-06 12:46
785
altcat_4__2901_51.min1.thm1
2017-02-06 12:46
3.2K
altcat_4__2902_21.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2916_50.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2923_18.min1.thm1
2017-02-06 12:46
834
altcat_4__2924_39.min1.thm1
2017-02-06 12:46
478
altcat_4__2924_39.min1.thm1.tptp
2017-02-06 16:48
400
altcat_4__2932_53.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2933_43.min1.thm1
2017-02-06 12:46
919
altcat_4__2934_52.min1.thm1
2017-02-06 12:46
3.3K
altcat_4__2935_21.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2949_52.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2956_18.min1.thm1
2017-02-06 12:46
834
altcat_4__2957_39.min1.thm1
2017-02-06 12:46
478
altcat_4__2957_39.min1.thm1.tptp
2017-02-06 16:48
400
altcat_4__2965_53.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2966_45.min1.thm1
2017-02-06 12:46
919
altcat_4__2967_54.min1.thm1
2017-02-06 12:46
3.3K
altcat_4__2968_21.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__2982_49.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__2989_18.min1.thm1
2017-02-06 12:46
834
altcat_4__2990_39.min1.thm1
2017-02-06 12:46
478
altcat_4__2990_39.min1.thm1.tptp
2017-02-06 16:48
400
altcat_4__2998_53.min1.thm1
2017-02-06 12:46
1.8K
altcat_4__2999_36.min1.thm1
2017-02-06 12:46
919
altcat_4__3000_51.min1.thm1
2017-02-06 12:46
3.3K
altcat_4__3001_21.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__3013_47.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__3016_17.min1.thm1
2017-02-06 12:46
2.3K
altcat_4__3025_47.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__3028_17.min1.thm1
2017-02-06 12:46
2.3K
altcat_4__3037_47.min1.thm1
2017-02-06 12:46
1.6K
altcat_4__3039_42.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__3041_40.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__3044_16.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__3046_45.min1.thm1
2017-02-06 12:46
2.4K
altcat_4__3052_18.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__3059_18.min1.thm1
2017-02-06 12:46
1.4K
altcat_4__3063_19.min1.thm1
2017-02-06 12:46
3.2K
altcat_4__3071_44.min1.thm1
2017-02-06 12:46
2.2K
altcat_4__3079_18.min1.thm1
2017-02-06 12:46
834
altcat_4__3080_47.min1.thm1
2017-02-06 12:46
1.6K
altcat_4__3088_53.min1.thm1
2017-02-06 12:46
2.2K
altcat_4__3090_60.min1.thm1
2017-02-06 12:46
4.0K
altcat_4__3091_21.min1.thm1
2017-02-06 12:46
2.5K
altcat_4__3101_35.min1.thm1
2017-02-06 12:46
2.2K
altcat_4__3109_18.min1.thm1
2017-02-06 12:46
834
altcat_4__3110_46.min1.thm1
2017-02-06 12:46
1.6K
altcat_4__3118_53.min1.thm1
2017-02-06 12:46
2.2K
altcat_4__3131_35.min1.thm1
2017-02-06 12:46
2.2K
altcat_4__3139_18.min1.thm1
2017-02-06 12:46
834
altcat_4__3140_46.min1.thm1
2017-02-06 12:46
1.6K
altcat_4__3148_53.min1.thm1
2017-02-06 12:46
2.2K
altcat_4__3151_21.min1.thm1
2017-02-06 12:46
2.5K
altcat_4__3160_62.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__3161_65.min1.thm1
2017-02-06 12:46
2.4K
altcat_4__3162_49.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__3163_50.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__3165_35.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__3167_53.min1.thm1
2017-02-06 12:46
2.5K
altcat_4__3174_18.min1.thm1
2017-02-06 12:46
834
altcat_4__3175_47.min1.thm1
2017-02-06 12:46
1.6K
altcat_4__3180_53.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__3194_38.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__3199_53.min1.thm1
2017-02-06 12:46
2.2K
altcat_4__3200_23.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__3202_58.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__3217_21.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__3229_61.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__3230_63.min1.thm1
2017-02-06 12:46
2.4K
altcat_4__3231_49.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__3232_49.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__3234_28.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__3236_52.min1.thm1
2017-02-06 12:46
2.5K
altcat_4__3243_18.min1.thm1
2017-02-06 12:46
834
altcat_4__3244_46.min1.thm1
2017-02-06 12:46
1.6K
altcat_4__3249_53.min1.thm1
2017-02-06 12:46
1.5K
altcat_4__3263_38.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__3268_53.min1.thm1
2017-02-06 12:46
2.2K
altcat_4__3269_23.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__3271_58.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__3286_21.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__3298_62.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__3299_65.min1.thm1
2017-02-06 12:46
2.4K
altcat_4__3300_49.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__3301_50.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__3302_53.min1.thm1
2017-02-06 12:46
841
altcat_4__3302_53.min1.thm1.tptp
2017-02-06 16:48
764
altcat_4__3309_18.min1.thm1
2017-02-06 12:46
834
altcat_4__3310_47.min1.thm1
2017-02-06 12:46
1.6K
altcat_4__3315_53.min1.thm1
2017-02-06 12:46
1.6K
altcat_4__3329_38.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__3331_56.min1.thm1
2017-02-06 12:46
2.9K
altcat_4__3334_53.min1.thm1
2017-02-06 12:46
2.2K
altcat_4__3335_23.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__3337_58.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__3352_21.min1.thm1
2017-02-06 12:46
2.7K
altcat_4__3364_64.min1.thm1
2017-02-06 12:46
2.0K
altcat_4__3365_69.min1.thm1
2017-02-06 12:46
2.4K
altcat_4__3366_49.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__3367_52.min1.thm1
2017-02-06 12:46
1.3K
altcat_4__3368_55.min1.thm1
2017-02-06 12:46
841
altcat_4__3368_55.min1.thm1.tptp
2017-02-06 16:48
764
altcat_4__3375_18.min1.thm1
2017-02-06 12:46
834
altcat_4__3376_49.min1.thm1
2017-02-06 12:46
1.6K
altcat_4__3381_53.min1.thm1
2017-02-06 12:46
1.6K
altcat_4__3395_38.min1.thm1
2017-02-06 12:46
1.1K
altcat_4__3400_53.min1.thm1
2017-02-06 12:46
2.2K
altcat_4__3401_23.min1.thm1
2017-02-06 12:46
1.9K
altcat_4__3403_58.min1.thm1
2017-02-06 12:46
1.7K
altcat_4__3420_21.min1.thm1
2017-02-06 12:46
2.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80