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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ideal_1__52_15.min1.thm12017-02-06 12:45 844  
[ ]ideal_1__64_15.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__76_25.min1.thm12017-02-06 12:45 888  
[ ]ideal_1__77_15.min1.thm12017-02-06 12:45 752  
[ ]ideal_1__78_14.min1.thm12017-02-06 12:45 452  
[ ]ideal_1__106_62.min1.thm12017-02-06 12:45 216  
[ ]ideal_1__107_39.min1.thm12017-02-06 12:45 365  
[ ]ideal_1__107_39.min1.thm1.tptp2017-02-06 16:47 293  
[ ]ideal_1__108_41.min1.thm12017-02-06 12:45 789  
[ ]ideal_1__110_65.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__121_62.min1.thm12017-02-06 12:45 216  
[ ]ideal_1__122_39.min1.thm12017-02-06 12:45 365  
[ ]ideal_1__122_39.min1.thm1.tptp2017-02-06 16:47 293  
[ ]ideal_1__123_41.min1.thm12017-02-06 12:45 698  
[ ]ideal_1__125_56.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__132_62.min1.thm12017-02-06 12:45 216  
[ ]ideal_1__133_39.min1.thm12017-02-06 12:45 365  
[ ]ideal_1__133_39.min1.thm1.tptp2017-02-06 16:47 293  
[ ]ideal_1__134_41.min1.thm12017-02-06 12:45 698  
[ ]ideal_1__136_56.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__147_62.min1.thm12017-02-06 12:45 216  
[ ]ideal_1__148_39.min1.thm12017-02-06 12:45 365  
[ ]ideal_1__148_39.min1.thm1.tptp2017-02-06 16:47 293  
[ ]ideal_1__149_41.min1.thm12017-02-06 12:45 880  
[ ]ideal_1__151_56.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__160_62.min1.thm12017-02-06 12:45 216  
[ ]ideal_1__161_39.min1.thm12017-02-06 12:45 365  
[ ]ideal_1__161_39.min1.thm1.tptp2017-02-06 16:47 293  
[ ]ideal_1__162_41.min1.thm12017-02-06 12:45 880  
[ ]ideal_1__172_62.min1.thm12017-02-06 12:45 216  
[ ]ideal_1__173_39.min1.thm12017-02-06 12:45 365  
[ ]ideal_1__173_39.min1.thm1.tptp2017-02-06 16:47 293  
[ ]ideal_1__174_41.min1.thm12017-02-06 12:45 880  
[ ]ideal_1__226_15.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__227_17.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__239_15.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__240_17.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__249_26.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__250_21.min1.thm12017-02-06 12:45 698  
[ ]ideal_1__251_17.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__261_35.min1.thm12017-02-06 12:45 269  
[ ]ideal_1__263_17.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__264_20.min1.thm12017-02-06 12:45 778  
[ ]ideal_1__265_17.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__275_35.min1.thm12017-02-06 12:45 269  
[ ]ideal_1__277_17.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__278_20.min1.thm12017-02-06 12:45 778  
[ ]ideal_1__285_14.min1.thm12017-02-06 12:45 573  
[ ]ideal_1__285_14.min1.thm1.tptp2017-02-06 16:47 507  
[ ]ideal_1__292_14.min1.thm12017-02-06 12:45 669  
[ ]ideal_1__292_14.min1.thm1.tptp2017-02-06 16:47 603  
[ ]ideal_1__299_14.min1.thm12017-02-06 12:45 669  
[ ]ideal_1__299_14.min1.thm1.tptp2017-02-06 16:47 603  
[ ]ideal_1__318_38.min1.thm12017-02-06 12:45 257  
[ ]ideal_1__319_54.min1.thm12017-02-06 12:45 364  
[ ]ideal_1__319_54.min1.thm1.tptp2017-02-06 16:47 292  
[ ]ideal_1__323_15.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__328_15.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__333_15.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__335_17.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__342_38.min1.thm12017-02-06 12:45 257  
[ ]ideal_1__343_54.min1.thm12017-02-06 12:45 364  
[ ]ideal_1__343_54.min1.thm1.tptp2017-02-06 16:47 292  
[ ]ideal_1__347_15.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__352_15.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__354_17.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__361_38.min1.thm12017-02-06 12:45 257  
[ ]ideal_1__362_54.min1.thm12017-02-06 12:45 364  
[ ]ideal_1__362_54.min1.thm1.tptp2017-02-06 16:47 292  
[ ]ideal_1__366_15.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__371_15.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__373_17.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__386_16.min1.thm12017-02-06 12:45 603  
[ ]ideal_1__387_19.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__388_24.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__390_16.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__400_38.min1.thm12017-02-06 12:45 2.4K 
[ ]ideal_1__401_18.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__402_16.min1.thm12017-02-06 12:45 741  
[ ]ideal_1__402_16.min1.thm1.tptp2017-02-06 16:47 658  
[ ]ideal_1__418_17.min1.thm12017-02-06 12:45 801  
[ ]ideal_1__421_23.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__437_17.min1.thm12017-02-06 12:45 801  
[ ]ideal_1__440_23.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__456_13.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__472_13.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__490_19.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__492_19.min1.thm12017-02-06 12:45 2.0K 
[ ]ideal_1__494_14.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__496_11.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__498_14.min1.thm12017-02-06 12:45 414  
[ ]ideal_1__498_14.min1.thm1.tptp2017-02-06 16:47 333  
[ ]ideal_1__519_19.min1.thm12017-02-06 12:45 2.7K 
[ ]ideal_1__521_13.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__523_8.min1.thm12017-02-06 12:45 964  
[ ]ideal_1__525_17.min1.thm12017-02-06 12:45 802  
[ ]ideal_1__537_22.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__546_39.min1.thm12017-02-06 12:45 687  
[ ]ideal_1__547_36.min1.thm12017-02-06 12:45 460  
[ ]ideal_1__547_36.min1.thm1.tptp2017-02-06 16:47 372  
[ ]ideal_1__549_21.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__563_22.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__571_39.min1.thm12017-02-06 12:45 971  
[ ]ideal_1__585_11.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__643_40.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__657_17.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__662_15.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__675_40.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__713_40.min1.thm12017-02-06 12:45 2.0K 
[ ]ideal_1__733_35.min1.thm12017-02-06 12:45 541  
[ ]ideal_1__740_17.min1.thm12017-02-06 12:45 2.0K 
[ ]ideal_1__742_50.min1.thm12017-02-06 12:45 523  
[ ]ideal_1__742_50.min1.thm1.tptp2017-02-06 16:47 446  
[ ]ideal_1__744_16.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__756_43.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__757_31.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__761_39.min1.thm12017-02-06 12:45 361  
[ ]ideal_1__809_46.min1.thm12017-02-06 12:45 366  
[ ]ideal_1__809_46.min1.thm1.tptp2017-02-06 16:47 288  
[ ]ideal_1__810_22.min1.thm12017-02-06 12:45 811  
[ ]ideal_1__813_64.min1.thm12017-02-06 12:45 713  
[ ]ideal_1__820_30.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__821_24.min1.thm12017-02-06 12:45 549  
[ ]ideal_1__823_17.min1.thm12017-02-06 12:45 534  
[ ]ideal_1__823_17.min1.thm1.tptp2017-02-06 16:47 447  
[ ]ideal_1__843_46.min1.thm12017-02-06 12:45 366  
[ ]ideal_1__843_46.min1.thm1.tptp2017-02-06 16:47 288  
[ ]ideal_1__844_22.min1.thm12017-02-06 12:45 841  
[ ]ideal_1__847_64.min1.thm12017-02-06 12:45 713  
[ ]ideal_1__855_27.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__856_50.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__861_19.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__863_20.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__865_33.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__866_24.min1.thm12017-02-06 12:45 549  
[ ]ideal_1__868_17.min1.thm12017-02-06 12:45 709  
[ ]ideal_1__868_17.min1.thm1.tptp2017-02-06 16:47 651  
[ ]ideal_1__888_46.min1.thm12017-02-06 12:45 366  
[ ]ideal_1__888_46.min1.thm1.tptp2017-02-06 16:47 288  
[ ]ideal_1__889_22.min1.thm12017-02-06 12:45 811  
[ ]ideal_1__892_64.min1.thm12017-02-06 12:45 757  
[ ]ideal_1__900_27.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__901_50.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__906_19.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__908_20.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__910_33.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__911_24.min1.thm12017-02-06 12:45 593  
[ ]ideal_1__913_17.min1.thm12017-02-06 12:45 709  
[ ]ideal_1__913_17.min1.thm1.tptp2017-02-06 16:47 651  
[ ]ideal_1__929_30.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__929_30.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]ideal_1__937_48.min1.thm12017-02-06 12:45 971  
[ ]ideal_1__938_21.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__939_29.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__946_21.min1.thm12017-02-06 12:45 1.8K 
[ ]ideal_1__953_14.min1.thm12017-02-06 12:45 420  
[ ]ideal_1__956_29.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__957_21.min1.thm12017-02-06 12:45 674  
[ ]ideal_1__965_39.min1.thm12017-02-06 12:45 285  
[ ]ideal_1__968_18.min1.thm12017-02-06 12:45 1.8K 
[ ]ideal_1__973_34.min1.thm12017-02-06 12:45 915  
[ ]ideal_1__974_19.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__980_17.min1.thm12017-02-06 12:45 2.5K 
[ ]ideal_1__1007_37.min1.thm12017-02-06 12:45 935  
[ ]ideal_1__1008_39.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1015_18.min1.thm12017-02-06 12:45 2.4K 
[ ]ideal_1__1017_12.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__1018_22.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__1019_16.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__1029_37.min1.thm12017-02-06 12:45 935  
[ ]ideal_1__1030_39.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1037_18.min1.thm12017-02-06 12:45 2.4K 
[ ]ideal_1__1039_12.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__1040_22.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__1041_16.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__1061_19.min1.thm12017-02-06 12:45 826  
[ ]ideal_1__1062_27.min1.thm12017-02-06 12:45 2.0K 
[ ]ideal_1__1071_61.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__1079_19.min1.thm12017-02-06 12:45 826  
[ ]ideal_1__1080_25.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__1097_19.min1.thm12017-02-06 12:45 826  
[ ]ideal_1__1098_25.min1.thm12017-02-06 12:45 1.8K 
[ ]ideal_1__1117_15.min1.thm12017-02-06 12:45 280  
[ ]ideal_1__1124_22.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1135_22.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1193_19.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__1194_14.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__1210_15.min1.thm12017-02-06 12:45 280  
[ ]ideal_1__1217_22.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1228_22.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1261_34.min1.thm12017-02-06 12:45 269  
[ ]ideal_1__1282_19.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1283_14.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__1299_15.min1.thm12017-02-06 12:45 280  
[ ]ideal_1__1306_22.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1317_22.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1350_34.min1.thm12017-02-06 12:45 269  
[ ]ideal_1__1374_69.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1381_67.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1391_13.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__1400_42.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__1405_22.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1413_24.min1.thm12017-02-06 12:45 579  
[ ]ideal_1__1413_24.min1.thm1.tptp2017-02-06 16:47 493  
[ ]ideal_1__1418_33.min1.thm12017-02-06 12:45 2.0K 
[ ]ideal_1__1421_12.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__1426_11.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1438_13.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__1447_42.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__1452_22.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1460_24.min1.thm12017-02-06 12:45 579  
[ ]ideal_1__1460_24.min1.thm1.tptp2017-02-06 16:47 493  
[ ]ideal_1__1465_33.min1.thm12017-02-06 12:45 2.0K 
[ ]ideal_1__1468_12.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__1473_11.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1485_13.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__1494_42.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__1499_22.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1507_24.min1.thm12017-02-06 12:45 579  
[ ]ideal_1__1507_24.min1.thm1.tptp2017-02-06 16:47 493  
[ ]ideal_1__1512_33.min1.thm12017-02-06 12:45 2.0K 
[ ]ideal_1__1515_12.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__1520_11.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1547_22.min1.thm12017-02-06 12:45 1.8K 
[ ]ideal_1__1550_36.min1.thm12017-02-06 12:45 712  
[ ]ideal_1__1553_19.min1.thm12017-02-06 12:45 2.0K 
[ ]ideal_1__1563_39.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__1564_22.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__1570_35.min1.thm12017-02-06 12:45 2.7K 
[ ]ideal_1__1572_15.min1.thm12017-02-06 12:45 3.8K 
[ ]ideal_1__1607_19.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1608_26.min1.thm12017-02-06 12:45 4.0K 
[ ]ideal_1__1612_25.min1.thm12017-02-06 12:45 331  
[ ]ideal_1__1612_25.min1.thm1.tptp2017-02-06 16:47 249  
[ ]ideal_1__1615_17.min1.thm12017-02-06 12:45 3.4K 
[ ]ideal_1__1641_22.min1.thm12017-02-06 12:45 1.8K 
[ ]ideal_1__1644_36.min1.thm12017-02-06 12:45 712  
[ ]ideal_1__1647_19.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__1657_39.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__1658_22.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__1662_17.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__1664_38.min1.thm12017-02-06 12:45 2.9K 
[ ]ideal_1__1665_16.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__1695_45.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__1697_19.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1698_24.min1.thm12017-02-06 12:45 2.9K 
[ ]ideal_1__1702_25.min1.thm12017-02-06 12:45 331  
[ ]ideal_1__1702_25.min1.thm1.tptp2017-02-06 16:47 249  
[ ]ideal_1__1705_17.min1.thm12017-02-06 12:45 2.5K 
[ ]ideal_1__1731_22.min1.thm12017-02-06 12:45 1.8K 
[ ]ideal_1__1734_36.min1.thm12017-02-06 12:45 712  
[ ]ideal_1__1737_19.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__1747_39.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__1748_22.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__1752_17.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__1754_38.min1.thm12017-02-06 12:45 2.9K 
[ ]ideal_1__1755_16.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__1785_45.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__1787_19.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1788_24.min1.thm12017-02-06 12:45 2.9K 
[ ]ideal_1__1792_25.min1.thm12017-02-06 12:45 331  
[ ]ideal_1__1792_25.min1.thm1.tptp2017-02-06 16:47 249  
[ ]ideal_1__1795_17.min1.thm12017-02-06 12:45 2.5K 
[ ]ideal_1__1805_63.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__1809_22.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__1813_24.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1814_15.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__1827_63.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__1831_22.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__1835_24.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1836_15.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__1849_63.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__1853_22.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__1857_24.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1858_15.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__1877_37.min1.thm12017-02-06 12:45 947  
[ ]ideal_1__1879_26.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__1883_71.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__1884_18.min1.thm12017-02-06 12:45 509  
[ ]ideal_1__1886_18.min1.thm12017-02-06 12:45 728  
[ ]ideal_1__1887_49.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__1900_24.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__1901_26.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__1902_25.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__1903_27.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__1920_24.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__1921_17.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__1922_25.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__1923_27.min1.thm12017-02-06 12:45 1.8K 
[ ]ideal_1__1940_24.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__1941_17.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__1942_25.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__1943_27.min1.thm12017-02-06 12:45 1.8K 
[ ]ideal_1__1948_38.min1.thm12017-02-06 12:45 775  
[ ]ideal_1__1953_18.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__1954_21.min1.thm12017-02-06 12:45 578  
[ ]ideal_1__1963_24.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__1964_19.min1.thm12017-02-06 12:45 388  
[ ]ideal_1__1964_19.min1.thm1.tptp2017-02-06 16:47 318  
[ ]ideal_1__1973_41.min1.thm12017-02-06 12:45 697  
[ ]ideal_1__1973_41.min1.thm1.tptp2017-02-06 16:47 620  
[ ]ideal_1__1975_27.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__1979_75.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__1980_18.min1.thm12017-02-06 12:45 477  
[ ]ideal_1__1982_18.min1.thm12017-02-06 12:45 728  
[ ]ideal_1__1983_49.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__1996_28.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__1997_26.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__1998_25.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__1999_27.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__2016_28.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2017_17.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__2018_25.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__2019_27.min1.thm12017-02-06 12:45 1.8K 
[ ]ideal_1__2024_42.min1.thm12017-02-06 12:45 645  
[ ]ideal_1__2029_18.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2030_21.min1.thm12017-02-06 12:45 578  
[ ]ideal_1__2039_24.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__2040_19.min1.thm12017-02-06 12:45 388  
[ ]ideal_1__2040_19.min1.thm1.tptp2017-02-06 16:47 318  
[ ]ideal_1__2049_42.min1.thm12017-02-06 12:45 697  
[ ]ideal_1__2049_42.min1.thm1.tptp2017-02-06 16:47 620  
[ ]ideal_1__2051_27.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2056_71.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2057_18.min1.thm12017-02-06 12:45 477  
[ ]ideal_1__2059_18.min1.thm12017-02-06 12:45 728  
[ ]ideal_1__2060_49.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2073_29.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2074_26.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__2075_25.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__2076_27.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__2093_29.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2094_17.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__2095_25.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__2096_27.min1.thm12017-02-06 12:45 1.8K 
[ ]ideal_1__2101_43.min1.thm12017-02-06 12:45 645  
[ ]ideal_1__2106_18.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2107_21.min1.thm12017-02-06 12:45 578  
[ ]ideal_1__2116_24.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__2117_19.min1.thm12017-02-06 12:45 388  
[ ]ideal_1__2117_19.min1.thm1.tptp2017-02-06 16:47 318  
[ ]ideal_1__2126_17.min1.thm12017-02-06 12:45 437  
[ ]ideal_1__2126_17.min1.thm1.tptp2017-02-06 16:47 367  
[ ]ideal_1__2135_17.min1.thm12017-02-06 12:45 437  
[ ]ideal_1__2135_17.min1.thm1.tptp2017-02-06 16:47 367  
[ ]ideal_1__2144_17.min1.thm12017-02-06 12:45 437  
[ ]ideal_1__2144_17.min1.thm1.tptp2017-02-06 16:47 367  
[ ]ideal_1__2154_18.min1.thm12017-02-06 12:45 779  
[ ]ideal_1__2184_40.min1.thm12017-02-06 12:45 350  
[ ]ideal_1__2184_40.min1.thm1.tptp2017-02-06 16:47 272  
[ ]ideal_1__2187_19.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2201_40.min1.thm12017-02-06 12:45 350  
[ ]ideal_1__2201_40.min1.thm1.tptp2017-02-06 16:47 272  
[ ]ideal_1__2204_19.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2218_40.min1.thm12017-02-06 12:45 350  
[ ]ideal_1__2218_40.min1.thm1.tptp2017-02-06 16:47 272  
[ ]ideal_1__2221_19.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2231_17.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__2240_17.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__2249_17.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__2260_22.min1.thm12017-02-06 12:45 466  
[ ]ideal_1__2272_26.min1.thm12017-02-06 12:45 466  
[ ]ideal_1__2284_27.min1.thm12017-02-06 12:45 466  
[ ]ideal_1__2304_16.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2312_37.min1.thm12017-02-06 12:45 514  
[ ]ideal_1__2319_19.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__2320_22.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__2321_19.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2322_23.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__2328_17.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__2329_16.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__2341_18.min1.thm12017-02-06 12:45 360  
[ ]ideal_1__2355_25.min1.thm12017-02-06 12:45 671  
[ ]ideal_1__2359_30.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__2366_27.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__2371_27.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__2375_30.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2379_28.min1.thm12017-02-06 12:45 944  
[ ]ideal_1__2380_23.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__2395_21.min1.thm12017-02-06 12:45 2.0K 
[ ]ideal_1__2399_20.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__2404_19.min1.thm12017-02-06 12:45 3.3K 
[ ]ideal_1__2406_42.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2407_42.min1.thm12017-02-06 12:45 361  
[ ]ideal_1__2418_20.min1.thm12017-02-06 12:45 360  
[ ]ideal_1__2423_20.min1.thm12017-02-06 12:45 362  
[ ]ideal_1__2435_20.min1.thm12017-02-06 12:45 360  
[ ]ideal_1__2436_56.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__2438_16.min1.thm12017-02-06 12:45 2.5K 
[ ]ideal_1__2448_20.min1.thm12017-02-06 12:45 360  
[ ]ideal_1__2449_56.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__2451_16.min1.thm12017-02-06 12:45 2.5K 
[ ]ideal_1__2455_19.min1.thm12017-02-06 12:45 593  
[ ]ideal_1__2460_56.min1.thm12017-02-06 12:45 416  
[ ]ideal_1__2463_17.min1.thm12017-02-06 12:45 2.4K 
[ ]ideal_1__2482_16.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2490_37.min1.thm12017-02-06 12:45 514  
[ ]ideal_1__2497_19.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__2498_22.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__2499_19.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2505_17.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__2506_16.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__2518_18.min1.thm12017-02-06 12:45 360  
[ ]ideal_1__2532_25.min1.thm12017-02-06 12:45 671  
[ ]ideal_1__2536_30.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__2543_27.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__2548_27.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__2553_29.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2555_28.min1.thm12017-02-06 12:45 944  
[ ]ideal_1__2556_21.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__2571_21.min1.thm12017-02-06 12:45 2.0K 
[ ]ideal_1__2575_20.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__2580_19.min1.thm12017-02-06 12:45 3.3K 
[ ]ideal_1__2582_42.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2583_42.min1.thm12017-02-06 12:45 361  
[ ]ideal_1__2594_20.min1.thm12017-02-06 12:45 360  
[ ]ideal_1__2599_20.min1.thm12017-02-06 12:45 362  
[ ]ideal_1__2611_20.min1.thm12017-02-06 12:45 360  
[ ]ideal_1__2612_60.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__2614_16.min1.thm12017-02-06 12:45 2.5K 
[ ]ideal_1__2618_23.min1.thm12017-02-06 12:45 594  
[ ]ideal_1__2623_60.min1.thm12017-02-06 12:45 416  
[ ]ideal_1__2626_17.min1.thm12017-02-06 12:45 2.2K 
[ ]ideal_1__2645_16.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2653_37.min1.thm12017-02-06 12:45 514  
[ ]ideal_1__2660_19.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__2661_22.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__2662_19.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2668_17.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__2669_16.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__2681_18.min1.thm12017-02-06 12:45 360  
[ ]ideal_1__2695_25.min1.thm12017-02-06 12:45 671  
[ ]ideal_1__2699_30.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__2706_27.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__2711_27.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__2716_30.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2718_28.min1.thm12017-02-06 12:45 944  
[ ]ideal_1__2719_21.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__2734_21.min1.thm12017-02-06 12:45 2.0K 
[ ]ideal_1__2738_20.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__2743_19.min1.thm12017-02-06 12:45 3.3K 
[ ]ideal_1__2745_42.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2746_42.min1.thm12017-02-06 12:45 361  
[ ]ideal_1__2757_20.min1.thm12017-02-06 12:45 360  
[ ]ideal_1__2762_20.min1.thm12017-02-06 12:45 362  
[ ]ideal_1__2774_20.min1.thm12017-02-06 12:45 360  
[ ]ideal_1__2775_61.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__2777_16.min1.thm12017-02-06 12:45 2.5K 
[ ]ideal_1__2781_24.min1.thm12017-02-06 12:45 594  
[ ]ideal_1__2786_61.min1.thm12017-02-06 12:45 416  
[ ]ideal_1__2789_17.min1.thm12017-02-06 12:45 2.2K 
[ ]ideal_1__2806_19.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2807_41.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__2808_31.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__2812_17.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2813_35.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__2814_25.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__2822_19.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2823_42.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__2824_32.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__2828_17.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2829_35.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__2830_25.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__2845_38.min1.thm12017-02-06 12:45 1.8K 
[ ]ideal_1__2853_13.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__2869_18.min1.thm12017-02-06 12:45 534  
[ ]ideal_1__2887_9.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__2897_33.min1.thm12017-02-06 12:45 1.8K 
[ ]ideal_1__2899_18.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__2900_36.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__2901_21.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__2904_55.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__2905_27.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__2912_12.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__2918_18.min1.thm12017-02-06 12:45 2.2K 
[ ]ideal_1__2921_19.min1.thm12017-02-06 12:45 818  
[ ]ideal_1__2922_24.min1.thm12017-02-06 12:45 2.0K 
[ ]ideal_1__2927_18.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__2928_19.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__2944_42.min1.thm12017-02-06 12:45 2.2K 
[ ]ideal_1__2952_13.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__2975_25.min1.thm12017-02-06 12:45 784  
[ ]ideal_1__2978_20.min1.thm12017-02-06 12:45 2.2K 
[ ]ideal_1__3001_9.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__3011_35.min1.thm12017-02-06 12:45 2.0K 
[ ]ideal_1__3014_36.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__3015_21.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__3018_55.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__3019_29.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__3037_18.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__3042_24.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__3049_24.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__3055_19.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__3066_32.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__3067_14.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__3087_11.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__3100_18.min1.thm12017-02-06 12:45 2.0K 
[ ]ideal_1__3116_17.min1.thm12017-02-06 12:45 337  
[ ]ideal_1__3116_17.min1.thm1.tptp2017-02-06 16:47 272  
[ ]ideal_1__3117_23.min1.thm12017-02-06 12:45 369  
[ ]ideal_1__3117_23.min1.thm1.tptp2017-02-06 16:47 313  
[ ]ideal_1__3119_17.min1.thm12017-02-06 12:45 439  
[ ]ideal_1__3119_17.min1.thm1.tptp2017-02-06 16:47 375  
[ ]ideal_1__3128_24.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__3130_14.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__3148_15.min1.thm12017-02-06 12:45 194  
[ ]ideal_1__3154_44.min1.thm12017-02-06 12:45 330  
[ ]ideal_1__3156_53.min1.thm12017-02-06 12:45 663  
[ ]ideal_1__3157_58.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__3160_71.min1.thm12017-02-06 12:45 448  
[ ]ideal_1__3160_71.min1.thm1.tptp2017-02-06 16:47 376  
[ ]ideal_1__3165_42.min1.thm12017-02-06 12:45 236  
[ ]ideal_1__3167_15.min1.thm12017-02-06 12:45 486  
[ ]ideal_1__3168_46.min1.thm12017-02-06 12:45 638  
[ ]ideal_1__3176_22.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__3181_16.min1.thm12017-02-06 12:45 390  
[ ]ideal_1__3214_42.min1.thm12017-02-06 12:45 941  
[ ]ideal_1__3253_14.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__3254_18.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__3261_19.min1.thm12017-02-06 12:45 781  
[ ]ideal_1__3262_23.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__3276_42.min1.thm12017-02-06 12:45 490  
[ ]ideal_1__3277_18.min1.thm12017-02-06 12:45 803  
[ ]ideal_1__3284_19.min1.thm12017-02-06 12:45 855  
[ ]ideal_1__3299_15.min1.thm12017-02-06 12:45 271  
[ ]ideal_1__3303_22.min1.thm12017-02-06 12:45 300  
[ ]ideal_1__3309_48.min1.thm12017-02-06 12:45 350  
[ ]ideal_1__3311_70.min1.thm12017-02-06 12:45 711  
[ ]ideal_1__3315_75.min1.thm12017-02-06 12:45 469  
[ ]ideal_1__3315_75.min1.thm1.tptp2017-02-06 16:47 397  
[ ]ideal_1__3323_48.min1.thm12017-02-06 12:45 350  
[ ]ideal_1__3325_70.min1.thm12017-02-06 12:45 711  
[ ]ideal_1__3329_75.min1.thm12017-02-06 12:45 469  
[ ]ideal_1__3329_75.min1.thm1.tptp2017-02-06 16:47 397  
[ ]ideal_1__3333_20.min1.thm12017-02-06 12:45 594  
[ ]ideal_1__3337_42.min1.thm12017-02-06 12:45 274  
[ ]ideal_1__3338_40.min1.thm12017-02-06 12:45 274  
[ ]ideal_1__3341_25.min1.thm12017-02-06 12:45 659  
[ ]ideal_1__3342_53.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__3350_22.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__3355_16.min1.thm12017-02-06 12:45 400  
[ ]ideal_1__3369_18.min1.thm12017-02-06 12:45 522  
[ ]ideal_1__3369_18.min1.thm1.tptp2017-02-06 16:47 442  
[ ]ideal_1__3396_16.min1.thm12017-02-06 12:45 572  
[ ]ideal_1__3526_42.min1.thm12017-02-06 12:45 840  
[ ]ideal_1__3527_26.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__3531_17.min1.thm12017-02-06 12:45 461  
[ ]ideal_1__3531_17.min1.thm1.tptp2017-02-06 16:47 397  
[ ]ideal_1__3544_42.min1.thm12017-02-06 12:45 840  
[ ]ideal_1__3545_26.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__3549_17.min1.thm12017-02-06 12:45 461  
[ ]ideal_1__3549_17.min1.thm1.tptp2017-02-06 16:47 397  
[ ]ideal_1__3564_19.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__3566_17.min1.thm12017-02-06 12:45 461  
[ ]ideal_1__3566_17.min1.thm1.tptp2017-02-06 16:47 397  
[ ]ideal_1__3585_60.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__3587_61.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__3602_38.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__3604_43.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__3607_29.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__3619_25.min1.thm12017-02-06 12:45 499  
[ ]ideal_1__3619_25.min1.thm1.tptp2017-02-06 16:47 424  
[ ]ideal_1__3620_16.min1.thm12017-02-06 12:45 636  
[ ]ideal_1__3640_26.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__3641_63.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__3653_36.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__3680_36.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__3702_36.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__3737_43.min1.thm12017-02-06 12:45 887  
[ ]ideal_1__3738_17.min1.thm12017-02-06 12:45 400  
[ ]ideal_1__3738_17.min1.thm1.tptp2017-02-06 16:47 318  
[ ]ideal_1__3741_40.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__3742_41.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__3743_18.min1.thm12017-02-06 12:45 475  
[ ]ideal_1__3758_40.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__3759_15.min1.thm12017-02-06 12:45 1.8K 
[ ]ideal_1__3788_33.min1.thm12017-02-06 12:45 1.8K 
[ ]ideal_1__3791_20.min1.thm12017-02-06 12:45 317  
[ ]ideal_1__3792_16.min1.thm12017-02-06 12:45 485  
[ ]ideal_1__3792_16.min1.thm1.tptp2017-02-06 16:47 399  
[ ]ideal_1__3808_49.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__3810_18.min1.thm12017-02-06 12:45 720  
[ ]ideal_1__3836_69.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__3853_74.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__3860_16.min1.thm12017-02-06 12:45 572  
[ ]ideal_1__3874_46.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__3897_19.min1.thm12017-02-06 12:45 287  
[ ]ideal_1__3900_35.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__3901_30.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__3903_27.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__3914_24.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__3919_22.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__3936_46.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__3948_24.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__3950_22.min1.thm12017-02-06 12:45 2.4K 
[ ]ideal_1__3957_27.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__3962_22.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__3963_26.min1.thm12017-02-06 12:45 2.8K 
[ ]ideal_1__3966_21.min1.thm12017-02-06 12:45 2.2K 
[ ]ideal_1__3972_24.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__3975_24.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__3992_46.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__4004_24.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__4006_22.min1.thm12017-02-06 12:45 2.4K 
[ ]ideal_1__4013_27.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__4018_22.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__4019_26.min1.thm12017-02-06 12:45 2.7K 
[ ]ideal_1__4022_21.min1.thm12017-02-06 12:45 2.2K 
[ ]ideal_1__4031_24.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__4053_15.min1.thm12017-02-06 12:45 221  
[ ]ideal_1__4056_38.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__4057_28.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__4061_26.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__4062_31.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__4071_37.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__4075_19.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__4076_20.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__4077_23.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__4078_25.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__4081_75.min1.thm12017-02-06 12:45 557  
[ ]ideal_1__4083_19.min1.thm12017-02-06 12:45 713  
[ ]ideal_1__4086_23.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__4095_31.min1.thm12017-02-06 12:45 2.6K 
[ ]ideal_1__4101_23.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__4104_20.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__4105_15.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__4106_13.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__4141_42.min1.thm12017-02-06 12:45 4.2K 
[ ]ideal_1__4142_35.min1.thm12017-02-06 12:45 2.6K 
[ ]ideal_1__4145_29.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__4148_40.min1.thm12017-02-06 12:45 2.5K 
[ ]ideal_1__4151_35.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__4155_12.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__4197_17.min1.thm12017-02-06 12:45 938  
[ ]ideal_1__4216_30.min1.thm12017-02-06 12:45 2.6K 
[ ]ideal_1__4220_29.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__4222_25.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__4230_19.min1.thm12017-02-06 12:45 575  
[ ]ideal_1__4242_30.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__4243_30.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__4246_27.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__4252_25.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__4260_19.min1.thm12017-02-06 12:45 575  
[ ]ideal_1__4272_30.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__4273_30.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__4276_27.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__4283_31.min1.thm12017-02-06 12:45 1.8K 
[ ]ideal_1__4288_45.min1.thm12017-02-06 12:45 2.0K 
[ ]ideal_1__4330_24.min1.thm12017-02-06 12:45 2.3K 
[ ]ideal_1__4334_17.min1.thm12017-02-06 12:45 267  
[ ]ideal_1__4340_19.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__4341_28.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__4345_28.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__4346_21.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__4354_37.min1.thm12017-02-06 12:45 1.8K 
[ ]ideal_1__4360_37.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__4364_19.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__4365_21.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__4408_72.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__4409_20.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__4426_72.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__4427_20.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__4467_35.min1.thm12017-02-06 12:45 2.6K 
[ ]ideal_1__4470_29.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__4504_31.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__4511_16.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__4519_14.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__4522_21.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__4523_14.min1.thm12017-02-06 12:45 836  
[ ]ideal_1__4545_26.min1.thm12017-02-06 12:45 871  
[ ]ideal_1__4546_17.min1.thm12017-02-06 12:45 665  
[ ]ideal_1__4560_54.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__4561_18.min1.thm12017-02-06 12:45 761  
[ ]ideal_1__4574_15.min1.thm12017-02-06 12:45 815  
[ ]ideal_1__4575_59.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__4577_17.min1.thm12017-02-06 12:45 489  
[ ]ideal_1__4577_17.min1.thm1.tptp2017-02-06 16:47 425  
[ ]ideal_1__4578_20.min1.thm12017-02-06 12:45 935  
[ ]ideal_1__4579_20.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__4645_19.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__4652_21.min1.thm12017-02-06 12:45 2.4K 
[ ]ideal_1__4670_42.min1.thm12017-02-06 12:45 570  
[ ]ideal_1__4677_21.min1.thm12017-02-06 12:45 469  
[ ]ideal_1__4677_21.min1.thm1.tptp2017-02-06 16:47 405  
[ ]ideal_1__4678_22.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__4680_17.min1.thm12017-02-06 12:45 461  
[ ]ideal_1__4680_17.min1.thm1.tptp2017-02-06 16:47 397  
[ ]ideal_1__4716_30.min1.thm12017-02-06 12:45 2.6K 
[ ]ideal_1__4719_29.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__4721_35.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__4731_12.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__4772_30.min1.thm12017-02-06 12:45 2.8K 
[ ]ideal_1__4775_29.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__4777_35.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__4787_12.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__4824_24.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__4826_22.min1.thm12017-02-06 12:45 2.4K 
[ ]ideal_1__4836_17.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__4840_21.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__4842_21.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__4853_18.min1.thm12017-02-06 12:45 1.8K 
[ ]ideal_1__4879_20.min1.thm12017-02-06 12:45 2.2K 
[ ]ideal_1__4885_27.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__4886_21.min1.thm12017-02-06 12:45 2.2K 
[ ]ideal_1__4887_25.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__4889_22.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__4921_18.min1.thm12017-02-06 12:45 351  
[ ]ideal_1__4923_20.min1.thm12017-02-06 12:45 469  
[ ]ideal_1__4923_20.min1.thm1.tptp2017-02-06 16:47 405  
[ ]ideal_1__4925_19.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__4931_18.min1.thm12017-02-06 12:45 351  
[ ]ideal_1__4933_20.min1.thm12017-02-06 12:45 469  
[ ]ideal_1__4933_20.min1.thm1.tptp2017-02-06 16:47 405  
[ ]ideal_1__4934_24.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__4977_20.min1.thm12017-02-06 12:45 469  
[ ]ideal_1__4977_20.min1.thm1.tptp2017-02-06 16:47 405  
[ ]ideal_1__4979_19.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__4989_20.min1.thm12017-02-06 12:45 469  
[ ]ideal_1__4989_20.min1.thm1.tptp2017-02-06 16:47 405  
[ ]ideal_1__4990_24.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__5037_10.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__5038_18.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__5040_19.min1.thm12017-02-06 12:45 576  
[ ]ideal_1__5053_17.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__5054_17.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__5055_18.min1.thm12017-02-06 12:45 415  
[ ]ideal_1__5055_18.min1.thm1.tptp2017-02-06 16:47 335  
[ ]ideal_1__5070_46.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__5079_47.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__5081_18.min1.thm12017-02-06 12:45 394  
[ ]ideal_1__5084_47.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__5086_18.min1.thm12017-02-06 12:45 396  
[ ]ideal_1__5102_25.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__5114_17.min1.thm12017-02-06 12:45 259  
[ ]ideal_1__5118_22.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__5119_43.min1.thm12017-02-06 12:45 500  
[ ]ideal_1__5131_43.min1.thm12017-02-06 12:45 500  
[ ]ideal_1__5147_23.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__5159_13.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__5177_46.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__5181_46.min1.thm12017-02-06 12:45 471  
[ ]ideal_1__5181_46.min1.thm1.tptp2017-02-06 16:47 383  
[ ]ideal_1__5185_44.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__5187_18.min1.thm12017-02-06 12:45 394  
[ ]ideal_1__5195_11.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__5208_18.min1.thm12017-02-06 12:45 432  
[ ]ideal_1__5211_45.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__5213_16.min1.thm12017-02-06 12:45 378  
[ ]ideal_1__5214_22.min1.thm12017-02-06 12:45 1.8K 
[ ]ideal_1__5215_24.min1.thm12017-02-06 12:45 2.4K 
[ ]ideal_1__5218_15.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__5220_56.min1.thm12017-02-06 12:45 624  
[ ]ideal_1__5222_17.min1.thm12017-02-06 12:45 829  
[ ]ideal_1__5222_17.min1.thm1.tptp2017-02-06 16:47 764  
[ ]ideal_1__5241_21.min1.thm12017-02-06 12:45 468  
[ ]ideal_1__5265_30.min1.thm12017-02-06 12:45 2.6K 
[ ]ideal_1__5268_29.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__5270_35.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__5279_26.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__5294_22.min1.thm12017-02-06 12:45 468  
[ ]ideal_1__5308_24.min1.thm12017-02-06 12:45 2.6K 
[ ]ideal_1__5310_21.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__5335_28.min1.thm12017-02-06 12:45 719  
[ ]ideal_1__5336_35.min1.thm12017-02-06 12:45 364  
[ ]ideal_1__5336_35.min1.thm1.tptp2017-02-06 16:47 286  
[ ]ideal_1__5338_18.min1.thm12017-02-06 12:45 1.8K 
[ ]ideal_1__5345_14.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__5363_15.min1.thm12017-02-06 12:45 702  
[ ]ideal_1__5395_33.min1.thm12017-02-06 12:45 385  
[ ]ideal_1__5395_33.min1.thm1.tptp2017-02-06 16:47 308  
[ ]ideal_1__5396_36.min1.thm12017-02-06 12:45 332  
[ ]ideal_1__5398_21.min1.thm12017-02-06 12:45 439  
[ ]ideal_1__5402_14.min1.thm12017-02-06 12:45 608  
[ ]ideal_1__5413_11.min1.thm12017-02-06 12:45 307  
[ ]ideal_1__5418_18.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__5423_24.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__5430_18.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__5433_50.min1.thm12017-02-06 12:45 705  
[ ]ideal_1__5448_51.min1.thm12017-02-06 12:45 871  
[ ]ideal_1__5450_13.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__5453_11.min1.thm12017-02-06 12:45 844  
[ ]ideal_1__5456_32.min1.thm12017-02-06 12:45 748  
[ ]ideal_1__5460_17.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__5466_44.min1.thm12017-02-06 12:45 682  
[ ]ideal_1__5471_21.min1.thm12017-02-06 12:45 2.2K 
[ ]ideal_1__5473_24.min1.thm12017-02-06 12:45 2.0K 
[ ]ideal_1__5478_19.min1.thm12017-02-06 12:45 930  
[ ]ideal_1__5485_19.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__5486_38.min1.thm12017-02-06 12:45 2.3K 
[ ]ideal_1__5503_19.min1.thm12017-02-06 12:45 853  
[ ]ideal_1__5505_20.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__5507_16.min1.thm12017-02-06 12:45 360  
[ ]ideal_1__5514_22.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__5515_19.min1.thm12017-02-06 12:45 442  
[ ]ideal_1__5527_15.min1.thm12017-02-06 12:45 709  
[ ]ideal_1__5544_34.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__5546_24.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__5554_13.min1.thm12017-02-06 12:45 197  
[ ]ideal_1__5562_27.min1.thm12017-02-06 12:45 2.2K 
[ ]ideal_1__5566_23.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__5572_22.min1.thm12017-02-06 12:45 541  
[ ]ideal_1__5573_28.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__5587_21.min1.thm12017-02-06 12:45 838  
[ ]ideal_1__5591_33.min1.thm12017-02-06 12:45 737  
[ ]ideal_1__5593_16.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__5594_23.min1.thm12017-02-06 12:45 2.5K 
[ ]ideal_1__5604_21.min1.thm12017-02-06 12:45 838  
[ ]ideal_1__5611_22.min1.thm12017-02-06 12:45 541  
[ ]ideal_1__5612_28.min1.thm12017-02-06 12:45 2.2K 
[ ]ideal_1__5622_28.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__5627_21.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__5629_45.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__5630_40.min1.thm12017-02-06 12:45 458  
[ ]ideal_1__5630_40.min1.thm1.tptp2017-02-06 16:47 380  
[ ]ideal_1__5632_18.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__5634_28.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__5639_24.min1.thm12017-02-06 12:45 3.3K 
[ ]ideal_1__5640_34.min1.thm12017-02-06 12:45 307  
[ ]ideal_1__5640_34.min1.thm1.tptp2017-02-06 16:47 230  
[ ]ideal_1__5652_17.min1.thm12017-02-06 12:45 948  
[ ]ideal_1__5653_24.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__5655_16.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__5665_28.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__5667_22.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__5669_28.min1.thm12017-02-06 12:45 2.7K 
[ ]ideal_1__5675_18.min1.thm12017-02-06 12:45 365  
[ ]ideal_1__5675_18.min1.thm1.tptp2017-02-06 16:47 283  
[ ]ideal_1__5676_25.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__5681_26.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__5684_17.min1.thm12017-02-06 12:45 865  
[ ]ideal_1__5698_47.min1.thm12017-02-06 12:45 2.3K 
[ ]ideal_1__5701_24.min1.thm12017-02-06 12:45 783  
[ ]ideal_1__5701_24.min1.thm1.tptp2017-02-06 16:47 720  
[ ]ideal_1__5703_18.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__5712_20.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__5713_18.min1.thm12017-02-06 12:45 288  
[ ]ideal_1__5718_49.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__5719_44.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__5721_16.min1.thm12017-02-06 12:45 882  
[ ]ideal_1__5728_21.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__5729_19.min1.thm12017-02-06 12:45 2.3K 
[ ]ideal_1__5730_20.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__5731_27.min1.thm12017-02-06 12:45 2.2K 
[ ]ideal_1__5739_25.min1.thm12017-02-06 12:45 569  
[ ]ideal_1__5750_16.min1.thm12017-02-06 12:45 751  
[ ]ideal_1__5751_37.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__5752_27.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__5753_19.min1.thm12017-02-06 12:45 2.1K 
[ ]ideal_1__5778_41.min1.thm12017-02-06 12:45 320  
[ ]ideal_1__5778_41.min1.thm1.tptp2017-02-06 16:47 242  
[ ]ideal_1__5779_13.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__5782_26.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__5784_17.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__5784_17.min1.thm1.tptp2017-02-06 16:47 907  
[ ]ideal_1__5788_14.min1.thm12017-02-06 12:45 239  
[ ]ideal_1__5789_20.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__5794_14.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__5795_39.min1.thm12017-02-06 12:45 476  
[ ]ideal_1__5796_14.min1.thm12017-02-06 12:45 831  
[ ]ideal_1__5800_23.min1.thm12017-02-06 12:45 773  
[ ]ideal_1__5800_23.min1.thm1.tptp2017-02-06 16:47 696  
[ ]ideal_1__5804_14.min1.thm12017-02-06 12:45 240  
[ ]ideal_1__5812_37.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__5829_24.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__5831_17.min1.thm12017-02-06 12:45 2.5K 
[ ]ideal_1__5832_16.min1.thm12017-02-06 12:45 1.7K 
[ ]ideal_1__5836_24.min1.thm12017-02-06 12:45 1.3K 
[ ]ideal_1__5837_16.min1.thm12017-02-06 12:45 1.6K 
[ ]ideal_1__5840_23.min1.thm12017-02-06 12:45 712  
[ ]ideal_1__5840_23.min1.thm1.tptp2017-02-06 16:47 638  
[ ]ideal_1__5844_21.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__5854_22.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__5856_25.min1.thm12017-02-06 12:45 1.4K 
[ ]ideal_1__5886_34.min1.thm12017-02-06 12:45 754  
[ ]ideal_1__5889_13.min1.thm12017-02-06 12:45 519  
[ ]ideal_1__5889_13.min1.thm1.tptp2017-02-06 16:47 442  
[ ]ideal_1__5890_33.min1.thm12017-02-06 12:45 654  
[ ]ideal_1__5891_13.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__5900_16.min1.thm12017-02-06 12:45 648  
[ ]ideal_1__5902_54.min1.thm12017-02-06 12:45 839  
[ ]ideal_1__5903_38.min1.thm12017-02-06 12:45 1.5K 
[ ]ideal_1__5910_10.min1.thm12017-02-06 12:45 841  
[ ]ideal_1__5914_56.min1.thm12017-02-06 12:45 418  
[ ]ideal_1__5915_26.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__5916_25.min1.thm12017-02-06 12:45 943  
[ ]ideal_1__5917_29.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__5920_25.min1.thm12017-02-06 12:45 440  
[ ]ideal_1__5920_25.min1.thm1.tptp2017-02-06 16:47 374  
[ ]ideal_1__5926_34.min1.thm12017-02-06 12:45 502  
[ ]ideal_1__5926_34.min1.thm1.tptp2017-02-06 16:47 440  
[ ]ideal_1__5927_21.min1.thm12017-02-06 12:45 1.1K 
[ ]ideal_1__5932_35.min1.thm12017-02-06 12:45 664  
[ ]ideal_1__5933_35.min1.thm12017-02-06 12:45 906  
[ ]ideal_1__5946_12.min1.thm12017-02-06 12:45 1.2K 
[ ]ideal_1__5950_41.min1.thm12017-02-06 12:45 767  
[ ]ideal_1__5953_18.min1.thm12017-02-06 12:45 510  
[ ]ideal_1__5953_18.min1.thm1.tptp2017-02-06 16:47 430  
[ ]ideal_1__5962_20.min1.thm12017-02-06 12:45 1.9K 
[ ]ideal_1__5964_21.min1.thm12017-02-06 12:45 2.4K 
[ ]ideal_1__5970_22.min1.thm12017-02-06 12:45 883  
[ ]ideal_1__5986_17.min1.thm12017-02-06 12:45 1.0K 
[ ]ideal_1__5996_40.min1.thm12017-02-06 12:45 892  
[ ]ideal_1__5996_40.min1.thm1.tptp2017-02-06 16:47 818  
[ ]ideal_1__6002_15.min1.thm12017-02-06 12:45 380  
[ ]ideal_1__6003_19.min1.thm12017-02-06 12:45 916  
[ ]ideal_1__6008_56.min1.thm12017-02-06 12:45 873  
[ ]ideal_1__6009_16.min1.thm12017-02-06 12:45 1.6K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80