Index of /~mptp/1147/MPTP2/ilp0/euclid_6
Name
Last modified
Size
Description
Parent Directory
-
euclid_6__57_18.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__60_28.min1.thm1
2017-02-06 12:44
914
euclid_6__61_17.min1.thm1
2017-02-06 12:44
812
euclid_6__67_54.min1.thm1
2017-02-06 12:44
335
euclid_6__69_21.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__86_11.min1.thm1
2017-02-06 12:44
270
euclid_6__89_29.min1.thm1
2017-02-06 12:44
951
euclid_6__90_19.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__98_16.min1.thm1
2017-02-06 12:44
468
euclid_6__105_11.min1.thm1
2017-02-06 12:44
270
euclid_6__108_19.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__116_16.min1.thm1
2017-02-06 12:44
446
euclid_6__173_33.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__174_17.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__184_49.min1.thm1
2017-02-06 12:44
1.4K
euclid_6__185_11.min1.thm1
2017-02-06 12:44
616
euclid_6__197_28.min1.thm1
2017-02-06 12:44
710
euclid_6__202_21.min1.thm1
2017-02-06 12:44
812
euclid_6__203_14.min1.thm1
2017-02-06 12:44
739
euclid_6__214_49.min1.thm1
2017-02-06 12:44
886
euclid_6__215_25.min1.thm1
2017-02-06 12:44
904
euclid_6__228_42.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__232_29.min1.thm1
2017-02-06 12:44
1.5K
euclid_6__233_31.min1.thm1
2017-02-06 12:44
2.5K
euclid_6__236_21.min1.thm1
2017-02-06 12:44
812
euclid_6__237_14.min1.thm1
2017-02-06 12:44
740
euclid_6__248_49.min1.thm1
2017-02-06 12:44
886
euclid_6__249_32.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__256_11.min1.thm1
2017-02-06 12:44
382
euclid_6__260_15.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__261_13.min1.thm1
2017-02-06 12:44
217
euclid_6__264_60.min1.thm1
2017-02-06 12:44
803
euclid_6__265_21.min1.thm1
2017-02-06 12:44
2.4K
euclid_6__269_72.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__271_31.min1.thm1
2017-02-06 12:44
773
euclid_6__272_21.min1.thm1
2017-02-06 12:44
2.0K
euclid_6__277_13.min1.thm1
2017-02-06 12:44
490
euclid_6__280_15.min1.thm1
2017-02-06 12:44
327
euclid_6__287_76.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__289_17.min1.thm1
2017-02-06 12:44
1.6K
euclid_6__290_23.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__295_15.min1.thm1
2017-02-06 12:44
327
euclid_6__300_10.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__301_28.min1.thm1
2017-02-06 12:44
2.8K
euclid_6__302_23.min1.thm1
2017-02-06 12:44
1.7K
euclid_6__306_30.min1.thm1
2017-02-06 12:44
2.4K
euclid_6__312_15.min1.thm1
2017-02-06 12:44
327
euclid_6__319_27.min1.thm1
2017-02-06 12:44
743
euclid_6__320_71.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__322_40.min1.thm1
2017-02-06 12:44
1.7K
euclid_6__328_15.min1.thm1
2017-02-06 12:44
327
euclid_6__331_38.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__333_10.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__334_55.min1.thm1
2017-02-06 12:44
1.5K
euclid_6__340_38.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__341_71.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__343_49.min1.thm1
2017-02-06 12:44
1.4K
euclid_6__350_13.min1.thm1
2017-02-06 12:44
914
euclid_6__353_28.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__358_15.min1.thm1
2017-02-06 12:44
221
euclid_6__366_69.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__368_49.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__369_44.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__370_35.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__371_23.min1.thm1
2017-02-06 12:44
1.5K
euclid_6__376_28.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__381_15.min1.thm1
2017-02-06 12:44
221
euclid_6__384_62.min1.thm1
2017-02-06 12:44
816
euclid_6__385_37.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__386_32.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__391_41.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__392_69.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__394_49.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__395_44.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__402_13.min1.thm1
2017-02-06 12:44
914
euclid_6__405_15.min1.thm1
2017-02-06 12:44
327
euclid_6__408_48.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__410_12.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__411_65.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__417_75.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__419_58.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__421_23.min1.thm1
2017-02-06 12:44
1.5K
euclid_6__426_15.min1.thm1
2017-02-06 12:44
327
euclid_6__431_12.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__432_58.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__434_23.min1.thm1
2017-02-06 12:44
1.5K
euclid_6__444_15.min1.thm1
2017-02-06 12:44
327
euclid_6__452_41.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__453_71.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__455_56.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__462_15.min1.thm1
2017-02-06 12:44
327
euclid_6__465_41.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__467_12.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__474_75.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__476_50.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__501_21.min1.thm1
2017-02-06 12:44
3.0K
euclid_6__502_15.min1.thm1
2017-02-06 12:44
2.1K
euclid_6__503_12.min1.thm1
2017-02-06 12:44
2.0K
euclid_6__504_47.min1.thm1
2017-02-06 12:44
703
euclid_6__505_33.min1.thm1
2017-02-06 12:44
1.4K
euclid_6__506_34.min1.thm1
2017-02-06 12:44
571
euclid_6__506_34.min1.thm1.tptp
2017-02-06 16:47
494
euclid_6__508_42.min1.thm1
2017-02-06 12:44
2.0K
euclid_6__511_21.min1.thm1
2017-02-06 12:44
1.5K
euclid_6__512_21.min1.thm1
2017-02-06 12:44
3.0K
euclid_6__513_15.min1.thm1
2017-02-06 12:44
2.1K
euclid_6__514_12.min1.thm1
2017-02-06 12:44
2.1K
euclid_6__516_42.min1.thm1
2017-02-06 12:44
2.0K
euclid_6__519_21.min1.thm1
2017-02-06 12:44
1.5K
euclid_6__532_21.min1.thm1
2017-02-06 12:44
783
euclid_6__534_21.min1.thm1
2017-02-06 12:44
783
euclid_6__536_21.min1.thm1
2017-02-06 12:44
783
euclid_6__538_21.min1.thm1
2017-02-06 12:44
783
euclid_6__545_45.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__546_49.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__574_11.min1.thm1
2017-02-06 12:44
197
euclid_6__577_40.min1.thm1
2017-02-06 12:44
956
euclid_6__578_13.min1.thm1
2017-02-06 12:44
665
euclid_6__583_13.min1.thm1
2017-02-06 12:44
201
euclid_6__586_42.min1.thm1
2017-02-06 12:44
964
euclid_6__587_15.min1.thm1
2017-02-06 12:44
669
euclid_6__597_20.min1.thm1
2017-02-06 12:44
530
euclid_6__654_22.min1.thm1
2017-02-06 12:44
683
euclid_6__668_11.min1.thm1
2017-02-06 12:44
197
euclid_6__671_40.min1.thm1
2017-02-06 12:44
956
euclid_6__672_13.min1.thm1
2017-02-06 12:44
665
euclid_6__677_13.min1.thm1
2017-02-06 12:44
201
euclid_6__680_42.min1.thm1
2017-02-06 12:44
964
euclid_6__681_15.min1.thm1
2017-02-06 12:44
669
euclid_6__684_27.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__694_20.min1.thm1
2017-02-06 12:44
530
euclid_6__726_21.min1.thm1
2017-02-06 12:44
2.4K
euclid_6__736_17.min1.thm1
2017-02-06 12:44
1.7K
euclid_6__740_8.min1.thm1
2017-02-06 12:44
1.5K
euclid_6__742_65.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__745_54.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__763_36.min1.thm1
2017-02-06 12:44
1.7K
euclid_6__767_44.min1.thm1
2017-02-06 12:44
1.5K
euclid_6__768_44.min1.thm1
2017-02-06 12:44
2.3K
euclid_6__780_21.min1.thm1
2017-02-06 12:44
1.5K
euclid_6__786_32.min1.thm1
2017-02-06 12:44
2.0K
euclid_6__788_13.min1.thm1
2017-02-06 12:44
886
euclid_6__796_33.min1.thm1
2017-02-06 12:44
2.0K
euclid_6__798_14.min1.thm1
2017-02-06 12:44
886
euclid_6__801_13.min1.thm1
2017-02-06 12:44
799
euclid_6__802_17.min1.thm1
2017-02-06 12:44
820
euclid_6__804_18.min1.thm1
2017-02-06 12:44
1.5K
euclid_6__813_37.min1.thm1
2017-02-06 12:44
1.7K
euclid_6__817_44.min1.thm1
2017-02-06 12:44
1.5K
euclid_6__818_44.min1.thm1
2017-02-06 12:44
2.3K
euclid_6__824_38.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__827_19.min1.thm1
2017-02-06 12:44
3.5K
euclid_6__835_24.min1.thm1
2017-02-06 12:44
1.4K
euclid_6__839_19.min1.thm1
2017-02-06 12:44
3.9K
euclid_6__840_21.min1.thm1
2017-02-06 12:44
532
euclid_6__841_19.min1.thm1
2017-02-06 12:44
2.5K
euclid_6__848_13.min1.thm1
2017-02-06 12:44
589
euclid_6__858_31.min1.thm1
2017-02-06 12:44
2.2K
euclid_6__873_37.min1.thm1
2017-02-06 12:44
1.7K
euclid_6__875_31.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__880_41.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__883_21.min1.thm1
2017-02-06 12:44
3.5K
euclid_6__890_33.min1.thm1
2017-02-06 12:44
2.0K
euclid_6__892_14.min1.thm1
2017-02-06 12:44
886
euclid_6__903_13.min1.thm1
2017-02-06 12:44
519
euclid_6__908_18.min1.thm1
2017-02-06 12:44
828
euclid_6__914_18.min1.thm1
2017-02-06 12:44
828
euclid_6__929_39.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__930_11.min1.thm1
2017-02-06 12:44
277
euclid_6__933_31.min1.thm1
2017-02-06 12:44
965
euclid_6__936_45.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__937_26.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__938_26.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__943_26.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__945_33.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__955_28.min1.thm1
2017-02-06 12:44
383
euclid_6__959_68.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__963_68.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__970_30.min1.thm1
2017-02-06 12:44
1.6K
euclid_6__973_17.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__974_30.min1.thm1
2017-02-06 12:44
1.6K
euclid_6__977_17.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__981_30.min1.thm1
2017-02-06 12:44
783
euclid_6__982_17.min1.thm1
2017-02-06 12:44
873
euclid_6__983_68.min1.thm1
2017-02-06 12:44
1.7K
euclid_6__986_60.min1.thm1
2017-02-06 12:44
483
euclid_6__986_60.min1.thm1.tptp
2017-02-06 16:47
420
euclid_6__990_59.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__992_43.min1.thm1
2017-02-06 12:44
690
euclid_6__995_28.min1.thm1
2017-02-06 12:44
2.1K
euclid_6__1010_49.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__1010_49.min1.thm1.tptp
2017-02-06 16:47
1.0K
euclid_6__1016_39.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__1019_75.min1.thm1
2017-02-06 12:44
2.5K
euclid_6__1021_26.min1.thm1
2017-02-06 12:44
1.4K
euclid_6__1023_17.min1.thm1
2017-02-06 12:44
1.9K
euclid_6__1034_19.min1.thm1
2017-02-06 12:44
432
euclid_6__1034_19.min1.thm1.tptp
2017-02-06 16:47
355
euclid_6__1035_11.min1.thm1
2017-02-06 12:44
277
euclid_6__1053_20.min1.thm1
2017-02-06 12:44
730
euclid_6__1059_25.min1.thm1
2017-02-06 12:44
689
euclid_6__1060_11.min1.thm1
2017-02-06 12:44
728
euclid_6__1092_42.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__1094_19.min1.thm1
2017-02-06 12:44
814
euclid_6__1095_11.min1.thm1
2017-02-06 12:44
729
euclid_6__1097_14.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__1104_19.min1.thm1
2017-02-06 12:44
889
euclid_6__1122_44.min1.thm1
2017-02-06 12:44
2.0K
euclid_6__1125_49.min1.thm1
2017-02-06 12:44
1.8K
euclid_6__1126_47.min1.thm1
2017-02-06 12:44
1.7K
euclid_6__1129_65.min1.thm1
2017-02-06 12:44
3.4K
euclid_6__1133_56.min1.thm1
2017-02-06 12:44
3.2K
euclid_6__1139_11.min1.thm1
2017-02-06 12:44
223
euclid_6__1142_16.min1.thm1
2017-02-06 12:44
950
euclid_6__1164_51.min1.thm1
2017-02-06 12:44
2.7K
euclid_6__1168_20.min1.thm1
2017-02-06 12:44
1.8K
euclid_6__1170_16.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__1171_26.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__1173_41.min1.thm1
2017-02-06 12:44
1.4K
euclid_6__1189_18.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__1192_38.min1.thm1
2017-02-06 12:44
1.8K
euclid_6__1193_31.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__1194_18.min1.thm1
2017-02-06 12:44
935
euclid_6__1212_58.min1.thm1
2017-02-06 12:44
2.4K
euclid_6__1215_45.min1.thm1
2017-02-06 12:44
1.5K
euclid_6__1221_18.min1.thm1
2017-02-06 12:44
1.8K
euclid_6__1223_15.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__1224_24.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__1227_39.min1.thm1
2017-02-06 12:44
1.4K
euclid_6__1240_26.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__1273_11.min1.thm1
2017-02-06 12:44
277
euclid_6__1276_30.min1.thm1
2017-02-06 12:44
965
euclid_6__1277_19.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__1336_11.min1.thm1
2017-02-06 12:44
255
euclid_6__1364_13.min1.thm1
2017-02-06 12:44
365
euclid_6__1364_13.min1.thm1.tptp
2017-02-06 16:47
294
euclid_6__1365_24.min1.thm1
2017-02-06 12:44
693
euclid_6__1370_13.min1.thm1
2017-02-06 12:44
365
euclid_6__1370_13.min1.thm1.tptp
2017-02-06 16:47
294
euclid_6__1372_19.min1.thm1
2017-02-06 12:44
693
euclid_6__1377_13.min1.thm1
2017-02-06 12:44
365
euclid_6__1377_13.min1.thm1.tptp
2017-02-06 16:47
294
euclid_6__1378_24.min1.thm1
2017-02-06 12:44
693
euclid_6__1384_16.min1.thm1
2017-02-06 12:44
446
euclid_6__1384_16.min1.thm1.tptp
2017-02-06 16:47
377
euclid_6__1391_27.min1.thm1
2017-02-06 12:44
780
euclid_6__1392_19.min1.thm1
2017-02-06 12:44
693
euclid_6__1393_21.min1.thm1
2017-02-06 12:44
399
euclid_6__1393_21.min1.thm1.tptp
2017-02-06 16:47
317
euclid_6__1397_27.min1.thm1
2017-02-06 12:44
780
euclid_6__1398_19.min1.thm1
2017-02-06 12:44
693
euclid_6__1399_21.min1.thm1
2017-02-06 12:44
399
euclid_6__1399_21.min1.thm1.tptp
2017-02-06 16:47
317
euclid_6__1419_27.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__1421_32.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__1428_13.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__1436_33.min1.thm1
2017-02-06 12:44
2.0K
euclid_6__1438_14.min1.thm1
2017-02-06 12:44
888
euclid_6__1443_16.min1.thm1
2017-02-06 12:44
464
euclid_6__1454_26.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__1462_11.min1.thm1
2017-02-06 12:44
197
euclid_6__1466_16.min1.thm1
2017-02-06 12:44
502
euclid_6__1467_19.min1.thm1
2017-02-06 12:44
387
euclid_6__1467_19.min1.thm1.tptp
2017-02-06 16:47
305
euclid_6__1471_13.min1.thm1
2017-02-06 12:44
201
euclid_6__1478_27.min1.thm1
2017-02-06 12:44
784
euclid_6__1482_34.min1.thm1
2017-02-06 12:44
642
euclid_6__1487_27.min1.thm1
2017-02-06 12:44
784
euclid_6__1495_41.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__1526_15.min1.thm1
2017-02-06 12:44
285
euclid_6__1529_32.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__1530_23.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__1540_32.min1.thm1
2017-02-06 12:44
970
euclid_6__1541_22.min1.thm1
2017-02-06 12:44
714
euclid_6__1544_21.min1.thm1
2017-02-06 12:44
856
euclid_6__1574_33.min1.thm1
2017-02-06 12:44
708
euclid_6__1577_22.min1.thm1
2017-02-06 12:44
708
euclid_6__1583_15.min1.thm1
2017-02-06 12:44
199
euclid_6__1586_28.min1.thm1
2017-02-06 12:44
778
euclid_6__1587_46.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__1588_37.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__1593_27.min1.thm1
2017-02-06 12:44
880
euclid_6__1595_15.min1.thm1
2017-02-06 12:44
599
euclid_6__1616_30.min1.thm1
2017-02-06 12:44
895
euclid_6__1617_22.min1.thm1
2017-02-06 12:44
695
euclid_6__1618_22.min1.thm1
2017-02-06 12:44
689
euclid_6__1619_32.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__1639_26.min1.thm1
2017-02-06 12:44
937
euclid_6__1640_28.min1.thm1
2017-02-06 12:44
1.4K
euclid_6__1641_15.min1.thm1
2017-02-06 12:44
267
euclid_6__1644_20.min1.thm1
2017-02-06 12:44
356
euclid_6__1655_33.min1.thm1
2017-02-06 12:44
1.5K
euclid_6__1660_17.min1.thm1
2017-02-06 12:44
283
euclid_6__1663_36.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__1664_25.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__1695_28.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__1698_28.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__1700_44.min1.thm1
2017-02-06 12:44
467
euclid_6__1701_28.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__1709_13.min1.thm1
2017-02-06 12:44
356
euclid_6__1709_13.min1.thm1.tptp
2017-02-06 16:47
285
euclid_6__1712_13.min1.thm1
2017-02-06 12:44
356
euclid_6__1712_13.min1.thm1.tptp
2017-02-06 16:47
285
euclid_6__1713_13.min1.thm1
2017-02-06 12:44
356
euclid_6__1713_13.min1.thm1.tptp
2017-02-06 16:47
285
euclid_6__1716_29.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__1719_29.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__1720_26.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__1733_32.min1.thm1
2017-02-06 12:44
626
euclid_6__1752_11.min1.thm1
2017-02-06 12:44
473
euclid_6__1768_31.min1.thm1
2017-02-06 12:44
882
euclid_6__1802_13.min1.thm1
2017-02-06 12:44
356
euclid_6__1802_13.min1.thm1.tptp
2017-02-06 16:47
285
euclid_6__1803_13.min1.thm1
2017-02-06 12:44
356
euclid_6__1803_13.min1.thm1.tptp
2017-02-06 16:47
285
euclid_6__1806_13.min1.thm1
2017-02-06 12:44
356
euclid_6__1806_13.min1.thm1.tptp
2017-02-06 16:47
285
euclid_6__1808_32.min1.thm1
2017-02-06 12:44
626
euclid_6__1812_48.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__1815_14.min1.thm1
2017-02-06 12:44
358
euclid_6__1815_14.min1.thm1.tptp
2017-02-06 16:47
287
euclid_6__1818_14.min1.thm1
2017-02-06 12:44
358
euclid_6__1818_14.min1.thm1.tptp
2017-02-06 16:47
287
euclid_6__1820_33.min1.thm1
2017-02-06 12:44
628
euclid_6__1821_14.min1.thm1
2017-02-06 12:44
358
euclid_6__1821_14.min1.thm1.tptp
2017-02-06 16:47
287
euclid_6__1823_33.min1.thm1
2017-02-06 12:44
628
euclid_6__1850_25.min1.thm1
2017-02-06 12:44
2.1K
euclid_6__1851_19.min1.thm1
2017-02-06 12:44
1.7K
euclid_6__1860_25.min1.thm1
2017-02-06 12:44
2.1K
euclid_6__1861_19.min1.thm1
2017-02-06 12:44
1.7K
euclid_6__1865_27.min1.thm1
2017-02-06 12:44
951
euclid_6__1901_11.min1.thm1
2017-02-06 12:44
473
euclid_6__1910_53.min1.thm1
2017-02-06 12:44
882
euclid_6__1916_31.min1.thm1
2017-02-06 12:44
882
euclid_6__1951_13.min1.thm1
2017-02-06 12:44
356
euclid_6__1951_13.min1.thm1.tptp
2017-02-06 16:47
285
euclid_6__1952_26.min1.thm1
2017-02-06 12:44
950
euclid_6__1953_13.min1.thm1
2017-02-06 12:44
356
euclid_6__1953_13.min1.thm1.tptp
2017-02-06 16:47
285
euclid_6__1955_32.min1.thm1
2017-02-06 12:44
626
euclid_6__1956_13.min1.thm1
2017-02-06 12:44
356
euclid_6__1956_13.min1.thm1.tptp
2017-02-06 16:47
285
euclid_6__1964_14.min1.thm1
2017-02-06 12:44
358
euclid_6__1964_14.min1.thm1.tptp
2017-02-06 16:47
287
euclid_6__1967_14.min1.thm1
2017-02-06 12:44
358
euclid_6__1967_14.min1.thm1.tptp
2017-02-06 16:47
287
euclid_6__1970_27.min1.thm1
2017-02-06 12:44
951
euclid_6__1971_14.min1.thm1
2017-02-06 12:44
358
euclid_6__1971_14.min1.thm1.tptp
2017-02-06 16:47
287
euclid_6__1999_31.min1.thm1
2017-02-06 12:44
2.7K
euclid_6__2000_25.min1.thm1
2017-02-06 12:44
2.1K
euclid_6__2001_19.min1.thm1
2017-02-06 12:44
1.7K
euclid_6__2010_25.min1.thm1
2017-02-06 12:44
2.1K
euclid_6__2011_19.min1.thm1
2017-02-06 12:44
1.7K
euclid_6__2015_46.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__2018_49.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__2031_16.min1.thm1
2017-02-06 12:44
356
euclid_6__2031_16.min1.thm1.tptp
2017-02-06 16:47
285
euclid_6__2034_11.min1.thm1
2017-02-06 12:44
356
euclid_6__2034_11.min1.thm1.tptp
2017-02-06 16:47
285
euclid_6__2036_32.min1.thm1
2017-02-06 12:44
626
euclid_6__2037_11.min1.thm1
2017-02-06 12:44
356
euclid_6__2037_11.min1.thm1.tptp
2017-02-06 16:47
285
euclid_6__2071_22.min1.thm1
2017-02-06 12:44
393
euclid_6__2071_22.min1.thm1.tptp
2017-02-06 16:47
322
euclid_6__2074_13.min1.thm1
2017-02-06 12:44
356
euclid_6__2074_13.min1.thm1.tptp
2017-02-06 16:47
285
euclid_6__2075_41.min1.thm1
2017-02-06 12:44
461
euclid_6__2076_29.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__2077_36.min1.thm1
2017-02-06 12:44
461
euclid_6__2078_17.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__2090_59.min1.thm1
2017-02-06 12:44
967
euclid_6__2110_39.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__2111_52.min1.thm1
2017-02-06 12:44
904
euclid_6__2112_56.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__2113_23.min1.thm1
2017-02-06 12:44
1.8K
euclid_6__2114_21.min1.thm1
2017-02-06 12:44
875
euclid_6__2119_38.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__2120_23.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__2121_21.min1.thm1
2017-02-06 12:44
805
euclid_6__2148_47.min1.thm1
2017-02-06 12:44
380
euclid_6__2148_47.min1.thm1.tptp
2017-02-06 16:47
302
euclid_6__2150_15.min1.thm1
2017-02-06 12:44
556
euclid_6__2150_15.min1.thm1.tptp
2017-02-06 16:47
481
euclid_6__2161_14.min1.thm1
2017-02-06 12:44
598
euclid_6__2162_66.min1.thm1
2017-02-06 12:44
769
euclid_6__2162_66.min1.thm1.tptp
2017-02-06 16:47
712
euclid_6__2165_56.min1.thm1
2017-02-06 12:44
2.0K
euclid_6__2170_60.min1.thm1
2017-02-06 12:44
1.9K
euclid_6__2171_16.min1.thm1
2017-02-06 12:44
499
euclid_6__2174_17.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__2186_26.min1.thm1
2017-02-06 12:44
950
euclid_6__2188_16.min1.thm1
2017-02-06 12:44
356
euclid_6__2188_16.min1.thm1.tptp
2017-02-06 16:47
285
euclid_6__2191_28.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__2192_52.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__2195_11.min1.thm1
2017-02-06 12:44
357
euclid_6__2195_11.min1.thm1.tptp
2017-02-06 16:47
286
euclid_6__2197_19.min1.thm1
2017-02-06 12:44
685
euclid_6__2198_13.min1.thm1
2017-02-06 12:44
357
euclid_6__2198_13.min1.thm1.tptp
2017-02-06 16:47
286
euclid_6__2200_33.min1.thm1
2017-02-06 12:44
628
euclid_6__2203_24.min1.thm1
2017-02-06 12:44
951
euclid_6__2206_13.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__2209_11.min1.thm1
2017-02-06 12:44
357
euclid_6__2209_11.min1.thm1.tptp
2017-02-06 16:47
286
euclid_6__2212_27.min1.thm1
2017-02-06 12:44
951
euclid_6__2225_38.min1.thm1
2017-02-06 12:44
496
euclid_6__2226_32.min1.thm1
2017-02-06 12:44
628
euclid_6__2250_25.min1.thm1
2017-02-06 12:44
2.1K
euclid_6__2251_19.min1.thm1
2017-02-06 12:44
1.7K
euclid_6__2260_25.min1.thm1
2017-02-06 12:44
2.1K
euclid_6__2261_19.min1.thm1
2017-02-06 12:44
1.7K
euclid_6__2266_31.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__2270_28.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__2271_19.min1.thm1
2017-02-06 12:44
706
euclid_6__2302_11.min1.thm1
2017-02-06 12:44
351
euclid_6__2323_32.min1.thm1
2017-02-06 12:44
634
euclid_6__2400_40.min1.thm1
2017-02-06 12:44
586
euclid_6__2401_35.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__2404_39.min1.thm1
2017-02-06 12:44
763
euclid_6__2405_53.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__2428_11.min1.thm1
2017-02-06 12:44
277
euclid_6__2441_32.min1.thm1
2017-02-06 12:44
671
euclid_6__2451_33.min1.thm1
2017-02-06 12:44
635
euclid_6__2499_40.min1.thm1
2017-02-06 12:44
549
euclid_6__2500_34.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__2503_39.min1.thm1
2017-02-06 12:44
726
euclid_6__2504_51.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__2508_18.min1.thm1
2017-02-06 12:44
1.7K
euclid_6__2548_11.min1.thm1
2017-02-06 12:44
731
euclid_6__2553_29.min1.thm1
2017-02-06 12:44
340
euclid_6__2555_16.min1.thm1
2017-02-06 12:44
502
euclid_6__2556_19.min1.thm1
2017-02-06 12:44
387
euclid_6__2556_19.min1.thm1.tptp
2017-02-06 16:47
305
euclid_6__2563_16.min1.thm1
2017-02-06 12:44
414
euclid_6__2584_16.min1.thm1
2017-02-06 12:44
414
euclid_6__2587_18.min1.thm1
2017-02-06 12:44
326
euclid_6__2592_40.min1.thm1
2017-02-06 12:44
1.6K
euclid_6__2620_20.min1.thm1
2017-02-06 12:44
693
euclid_6__2633_20.min1.thm1
2017-02-06 12:44
693
euclid_6__2646_32.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__2682_19.min1.thm1
2017-02-06 12:44
869
euclid_6__2690_59.min1.thm1
2017-02-06 12:44
2.1K
euclid_6__2693_18.min1.thm1
2017-02-06 12:44
665
euclid_6__2693_18.min1.thm1.tptp
2017-02-06 16:47
588
euclid_6__2702_47.min1.thm1
2017-02-06 12:44
675
euclid_6__2702_47.min1.thm1.tptp
2017-02-06 16:47
598
euclid_6__2703_35.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__2713_22.min1.thm1
2017-02-06 12:44
807
euclid_6__2732_44.min1.thm1
2017-02-06 12:44
758
euclid_6__2733_22.min1.thm1
2017-02-06 12:44
1.4K
euclid_6__2735_19.min1.thm1
2017-02-06 12:44
2.2K
euclid_6__2749_33.min1.thm1
2017-02-06 12:44
675
euclid_6__2749_33.min1.thm1.tptp
2017-02-06 16:47
598
euclid_6__2750_59.min1.thm1
2017-02-06 12:44
2.1K
euclid_6__2753_18.min1.thm1
2017-02-06 12:44
665
euclid_6__2753_18.min1.thm1.tptp
2017-02-06 16:47
588
euclid_6__2757_39.min1.thm1
2017-02-06 12:44
2.0K
euclid_6__2759_25.min1.thm1
2017-02-06 12:44
2.6K
euclid_6__2763_23.min1.thm1
2017-02-06 12:44
646
euclid_6__2764_40.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__2767_78.min1.thm1
2017-02-06 12:44
1.6K
euclid_6__2776_15.min1.thm1
2017-02-06 12:44
311
euclid_6__2779_43.min1.thm1
2017-02-06 12:44
2.0K
euclid_6__2793_51.min1.thm1
2017-02-06 12:44
1.5K
euclid_6__2800_49.min1.thm1
2017-02-06 12:44
2.0K
euclid_6__2814_56.min1.thm1
2017-02-06 12:44
1.5K
euclid_6__2821_44.min1.thm1
2017-02-06 12:44
742
euclid_6__2822_22.min1.thm1
2017-02-06 12:44
1.6K
euclid_6__2824_19.min1.thm1
2017-02-06 12:44
2.2K
euclid_6__2827_65.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__2827_65.min1.thm1.tptp
2017-02-06 16:47
1.2K
euclid_6__2835_48.min1.thm1
2017-02-06 12:44
1.5K
euclid_6__2837_19.min1.thm1
2017-02-06 12:44
1.5K
euclid_6__2839_32.min1.thm1
2017-02-06 12:44
961
euclid_6__2857_21.min1.thm1
2017-02-06 12:44
695
euclid_6__2866_13.min1.thm1
2017-02-06 12:44
310
euclid_6__2869_39.min1.thm1
2017-02-06 12:44
955
euclid_6__2870_34.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__2873_40.min1.thm1
2017-02-06 12:44
779
euclid_6__2874_35.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__2877_40.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__2885_39.min1.thm1
2017-02-06 12:44
955
euclid_6__2886_33.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__2889_40.min1.thm1
2017-02-06 12:44
779
euclid_6__2890_34.min1.thm1
2017-02-06 12:44
1.1K
euclid_6__2893_40.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__2927_46.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__2945_11.min1.thm1
2017-02-06 12:44
277
euclid_6__2948_16.min1.thm1
2017-02-06 12:44
298
euclid_6__2952_21.min1.thm1
2017-02-06 12:44
351
euclid_6__2952_21.min1.thm1.tptp
2017-02-06 16:47
286
euclid_6__2957_21.min1.thm1
2017-02-06 12:44
351
euclid_6__2957_21.min1.thm1.tptp
2017-02-06 16:47
286
euclid_6__2962_13.min1.thm1
2017-02-06 12:44
201
euclid_6__2965_53.min1.thm1
2017-02-06 12:44
617
euclid_6__2969_28.min1.thm1
2017-02-06 12:44
495
euclid_6__2979_28.min1.thm1
2017-02-06 12:44
495
euclid_6__2990_18.min1.thm1
2017-02-06 12:44
236
euclid_6__3011_11.min1.thm1
2017-02-06 12:44
187
euclid_6__3014_23.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__3016_12.min1.thm1
2017-02-06 12:44
685
euclid_6__3017_18.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__3018_17.min1.thm1
2017-02-06 12:44
685
euclid_6__3025_18.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__3027_14.min1.thm1
2017-02-06 12:44
664
euclid_6__3029_19.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__3030_18.min1.thm1
2017-02-06 12:44
664
euclid_6__3033_18.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__3035_13.min1.thm1
2017-02-06 12:44
664
euclid_6__3037_37.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__3038_25.min1.thm1
2017-02-06 12:44
965
euclid_6__3084_24.min1.thm1
2017-02-06 12:44
916
euclid_6__3091_37.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__3092_39.min1.thm1
2017-02-06 12:44
1.4K
euclid_6__3095_37.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__3099_29.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__3102_38.min1.thm1
2017-02-06 12:44
555
euclid_6__3111_35.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__3136_11.min1.thm1
2017-02-06 12:44
187
euclid_6__3139_23.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__3141_12.min1.thm1
2017-02-06 12:44
685
euclid_6__3142_18.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__3143_17.min1.thm1
2017-02-06 12:44
685
euclid_6__3150_19.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__3152_17.min1.thm1
2017-02-06 12:44
2.2K
euclid_6__3156_29.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__3157_13.min1.thm1
2017-02-06 12:44
209
euclid_6__3170_32.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__3171_30.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__3176_33.min1.thm1
2017-02-06 12:44
933
euclid_6__3177_30.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__3181_33.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__3182_18.min1.thm1
2017-02-06 12:44
949
euclid_6__3331_24.min1.thm1
2017-02-06 12:44
411
euclid_6__3331_24.min1.thm1.tptp
2017-02-06 16:47
352
euclid_6__3332_49.min1.thm1
2017-02-06 12:44
609
euclid_6__3336_27.min1.thm1
2017-02-06 12:44
894
euclid_6__3348_11.min1.thm1
2017-02-06 12:44
197
euclid_6__3352_39.min1.thm1
2017-02-06 12:44
956
euclid_6__3353_13.min1.thm1
2017-02-06 12:44
665
euclid_6__3358_16.min1.thm1
2017-02-06 12:44
518
euclid_6__3369_51.min1.thm1
2017-02-06 12:44
609
euclid_6__3374_25.min1.thm1
2017-02-06 12:44
455
euclid_6__3374_25.min1.thm1.tptp
2017-02-06 16:47
390
euclid_6__3375_26.min1.thm1
2017-02-06 12:44
883
euclid_6__3376_17.min1.thm1
2017-02-06 12:44
668
euclid_6__3377_11.min1.thm1
2017-02-06 12:44
630
euclid_6__3380_24.min1.thm1
2017-02-06 12:44
516
euclid_6__3381_11.min1.thm1
2017-02-06 12:44
277
euclid_6__3384_29.min1.thm1
2017-02-06 12:44
419
euclid_6__3384_29.min1.thm1.tptp
2017-02-06 16:47
360
euclid_6__3392_16.min1.thm1
2017-02-06 12:44
307
euclid_6__3395_32.min1.thm1
2017-02-06 12:44
536
euclid_6__3396_30.min1.thm1
2017-02-06 12:44
891
euclid_6__3397_21.min1.thm1
2017-02-06 12:44
676
euclid_6__3398_15.min1.thm1
2017-02-06 12:44
638
euclid_6__3403_32.min1.thm1
2017-02-06 12:44
536
euclid_6__3404_30.min1.thm1
2017-02-06 12:44
891
euclid_6__3405_21.min1.thm1
2017-02-06 12:44
676
euclid_6__3406_15.min1.thm1
2017-02-06 12:44
638
euclid_6__3429_13.min1.thm1
2017-02-06 12:44
414
euclid_6__3429_13.min1.thm1.tptp
2017-02-06 16:47
346
euclid_6__3430_14.min1.thm1
2017-02-06 12:44
415
euclid_6__3430_14.min1.thm1.tptp
2017-02-06 16:47
347
euclid_6__3431_14.min1.thm1
2017-02-06 12:44
415
euclid_6__3431_14.min1.thm1.tptp
2017-02-06 16:47
347
euclid_6__3432_14.min1.thm1
2017-02-06 12:44
415
euclid_6__3432_14.min1.thm1.tptp
2017-02-06 16:47
347
euclid_6__3433_14.min1.thm1
2017-02-06 12:44
415
euclid_6__3433_14.min1.thm1.tptp
2017-02-06 16:47
347
euclid_6__3434_52.min1.thm1
2017-02-06 12:44
610
euclid_6__3440_16.min1.thm1
2017-02-06 12:44
294
euclid_6__3443_26.min1.thm1
2017-02-06 12:44
449
euclid_6__3451_26.min1.thm1
2017-02-06 12:44
450
euclid_6__3459_38.min1.thm1
2017-02-06 12:44
464
euclid_6__3460_38.min1.thm1
2017-02-06 12:44
464
euclid_6__3462_14.min1.thm1
2017-02-06 12:44
415
euclid_6__3462_14.min1.thm1.tptp
2017-02-06 16:47
347
euclid_6__3467_16.min1.thm1
2017-02-06 12:44
294
euclid_6__3470_26.min1.thm1
2017-02-06 12:44
450
euclid_6__3478_26.min1.thm1
2017-02-06 12:44
449
euclid_6__3487_38.min1.thm1
2017-02-06 12:44
464
euclid_6__3488_38.min1.thm1
2017-02-06 12:44
464
euclid_6__3493_16.min1.thm1
2017-02-06 12:44
408
euclid_6__3501_29.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__3502_25.min1.thm1
2017-02-06 12:44
448
euclid_6__3520_29.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__3521_25.min1.thm1
2017-02-06 12:44
448
euclid_6__3569_26.min1.thm1
2017-02-06 12:44
704
euclid_6__3570_26.min1.thm1
2017-02-06 12:44
704
euclid_6__3571_48.min1.thm1
2017-02-06 12:44
952
euclid_6__3575_11.min1.thm1
2017-02-06 12:44
287
euclid_6__3578_16.min1.thm1
2017-02-06 12:44
615
euclid_6__3578_16.min1.thm1.tptp
2017-02-06 16:47
549
euclid_6__3607_14.min1.thm1
2017-02-06 12:44
422
euclid_6__3607_14.min1.thm1.tptp
2017-02-06 16:47
354
euclid_6__3608_14.min1.thm1
2017-02-06 12:44
422
euclid_6__3608_14.min1.thm1.tptp
2017-02-06 16:47
354
euclid_6__3609_14.min1.thm1
2017-02-06 12:44
422
euclid_6__3609_14.min1.thm1.tptp
2017-02-06 16:47
354
euclid_6__3611_52.min1.thm1
2017-02-06 12:44
613
euclid_6__3617_18.min1.thm1
2017-02-06 12:44
302
euclid_6__3620_28.min1.thm1
2017-02-06 12:44
460
euclid_6__3628_28.min1.thm1
2017-02-06 12:44
460
euclid_6__3636_38.min1.thm1
2017-02-06 12:44
473
euclid_6__3637_14.min1.thm1
2017-02-06 12:44
423
euclid_6__3637_14.min1.thm1.tptp
2017-02-06 16:47
355
euclid_6__3642_18.min1.thm1
2017-02-06 12:44
302
euclid_6__3645_28.min1.thm1
2017-02-06 12:44
461
euclid_6__3653_28.min1.thm1
2017-02-06 12:44
461
euclid_6__3662_14.min1.thm1
2017-02-06 12:44
423
euclid_6__3662_14.min1.thm1.tptp
2017-02-06 16:47
355
euclid_6__3669_14.min1.thm1
2017-02-06 12:44
423
euclid_6__3669_14.min1.thm1.tptp
2017-02-06 16:47
355
euclid_6__3692_29.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__3699_37.min1.thm1
2017-02-06 12:44
476
euclid_6__3701_29.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__3720_20.min1.thm1
2017-02-06 12:44
769
euclid_6__3721_18.min1.thm1
2017-02-06 12:44
769
euclid_6__3752_28.min1.thm1
2017-02-06 12:44
704
euclid_6__3756_11.min1.thm1
2017-02-06 12:44
287
euclid_6__3759_16.min1.thm1
2017-02-06 12:44
615
euclid_6__3759_16.min1.thm1.tptp
2017-02-06 16:47
549
euclid_6__3762_27.min1.thm1
2017-02-06 12:44
597
euclid_6__3769_32.min1.thm1
2017-02-06 12:44
528
euclid_6__3773_25.min1.thm1
2017-02-06 12:44
418
euclid_6__3773_25.min1.thm1.tptp
2017-02-06 16:47
364
euclid_6__3774_18.min1.thm1
2017-02-06 12:44
494
euclid_6__3777_29.min1.thm1
2017-02-06 12:44
605
euclid_6__3782_29.min1.thm1
2017-02-06 12:44
605
euclid_6__3788_27.min1.thm1
2017-02-06 12:44
597
euclid_6__3793_27.min1.thm1
2017-02-06 12:44
597
euclid_6__3800_32.min1.thm1
2017-02-06 12:44
528
euclid_6__3804_25.min1.thm1
2017-02-06 12:44
418
euclid_6__3804_25.min1.thm1.tptp
2017-02-06 16:47
364
euclid_6__3805_18.min1.thm1
2017-02-06 12:44
494
euclid_6__3808_29.min1.thm1
2017-02-06 12:44
605
euclid_6__3813_29.min1.thm1
2017-02-06 12:44
605
euclid_6__3819_27.min1.thm1
2017-02-06 12:44
597
euclid_6__3826_14.min1.thm1
2017-02-06 12:44
422
euclid_6__3826_14.min1.thm1.tptp
2017-02-06 16:47
354
euclid_6__3829_14.min1.thm1
2017-02-06 12:44
422
euclid_6__3829_14.min1.thm1.tptp
2017-02-06 16:47
354
euclid_6__3832_14.min1.thm1
2017-02-06 12:44
422
euclid_6__3832_14.min1.thm1.tptp
2017-02-06 16:47
354
euclid_6__3835_14.min1.thm1
2017-02-06 12:44
422
euclid_6__3835_14.min1.thm1.tptp
2017-02-06 16:47
354
euclid_6__3839_38.min1.thm1
2017-02-06 12:44
509
euclid_6__3841_30.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__3842_14.min1.thm1
2017-02-06 12:44
423
euclid_6__3842_14.min1.thm1.tptp
2017-02-06 16:47
355
euclid_6__3844_33.min1.thm1
2017-02-06 12:44
636
euclid_6__3850_26.min1.thm1
2017-02-06 12:44
457
euclid_6__3864_33.min1.thm1
2017-02-06 12:44
635
euclid_6__3901_40.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__3932_26.min1.thm1
2017-02-06 12:44
457
euclid_6__3939_39.min1.thm1
2017-02-06 12:44
523
euclid_6__3940_13.min1.thm1
2017-02-06 12:44
423
euclid_6__3940_13.min1.thm1.tptp
2017-02-06 16:47
355
euclid_6__3941_46.min1.thm1
2017-02-06 12:44
785
euclid_6__3947_15.min1.thm1
2017-02-06 12:44
283
euclid_6__3950_33.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__3951_23.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__3960_41.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__3996_15.min1.thm1
2017-02-06 12:44
283
euclid_6__3999_33.min1.thm1
2017-02-06 12:44
1.0K
euclid_6__4000_23.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__4045_38.min1.thm1
2017-02-06 12:44
524
euclid_6__4046_34.min1.thm1
2017-02-06 12:44
1.8K
euclid_6__4048_53.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__4050_49.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__4051_38.min1.thm1
2017-02-06 12:44
510
euclid_6__4053_30.min1.thm1
2017-02-06 12:44
1.3K
euclid_6__4062_34.min1.thm1
2017-02-06 12:44
1.4K
euclid_6__4064_53.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__4066_24.min1.thm1
2017-02-06 12:44
1.9K
euclid_6__4068_31.min1.thm1
2017-02-06 12:44
1.2K
euclid_6__4077_54.min1.thm1
2017-02-06 12:44
738
euclid_6__4080_28.min1.thm1
2017-02-06 12:44
513
euclid_6__4114_30.min1.thm1
2017-02-06 12:44
1.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80