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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]uniroots__62_20.min1.thm12017-02-06 12:44 2.9K 
[ ]uniroots__63_16.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__66_14.min1.thm12017-02-06 12:44 964  
[ ]uniroots__82_51.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__86_15.min1.thm12017-02-06 12:44 425  
[ ]uniroots__86_15.min1.thm1.tptp2017-02-06 16:46 346  
[ ]uniroots__87_18.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__88_16.min1.thm12017-02-06 12:44 315  
[ ]uniroots__90_16.min1.thm12017-02-06 12:44 689  
[ ]uniroots__91_14.min1.thm12017-02-06 12:44 514  
[ ]uniroots__94_11.min1.thm12017-02-06 12:44 405  
[ ]uniroots__94_11.min1.thm1.tptp2017-02-06 16:46 326  
[ ]uniroots__95_61.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__96_14.min1.thm12017-02-06 12:44 299  
[ ]uniroots__104_28.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__106_21.min1.thm12017-02-06 12:44 869  
[ ]uniroots__107_45.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__108_17.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__110_26.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__111_19.min1.thm12017-02-06 12:44 856  
[ ]uniroots__112_20.min1.thm12017-02-06 12:44 836  
[ ]uniroots__113_17.min1.thm12017-02-06 12:44 792  
[ ]uniroots__121_24.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__122_17.min1.thm12017-02-06 12:44 628  
[ ]uniroots__147_22.min1.thm12017-02-06 12:44 950  
[ ]uniroots__153_22.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__161_26.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__167_56.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__169_46.min1.thm12017-02-06 12:44 582  
[ ]uniroots__170_14.min1.thm12017-02-06 12:44 2.6K 
[ ]uniroots__172_22.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__173_30.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__187_42.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__189_42.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__190_21.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__191_19.min1.thm12017-02-06 12:44 876  
[ ]uniroots__214_26.min1.thm12017-02-06 12:44 447  
[ ]uniroots__214_26.min1.thm1.tptp2017-02-06 16:46 369  
[ ]uniroots__216_32.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__224_38.min1.thm12017-02-06 12:44 616  
[ ]uniroots__227_15.min1.thm12017-02-06 12:44 642  
[ ]uniroots__227_15.min1.thm1.tptp2017-02-06 16:46 562  
[ ]uniroots__238_24.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__239_48.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__241_26.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__249_53.min1.thm12017-02-06 12:44 616  
[ ]uniroots__250_43.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__251_17.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__254_19.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__288_29.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__296_20.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__300_20.min1.thm12017-02-06 12:44 3.3K 
[ ]uniroots__301_16.min1.thm12017-02-06 12:44 651  
[ ]uniroots__303_28.min1.thm12017-02-06 12:44 784  
[ ]uniroots__308_42.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__309_19.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__312_17.min1.thm12017-02-06 12:44 818  
[ ]uniroots__337_11.min1.thm12017-02-06 12:44 521  
[ ]uniroots__338_15.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__339_21.min1.thm12017-02-06 12:44 3.1K 
[ ]uniroots__344_52.min1.thm12017-02-06 12:44 724  
[ ]uniroots__363_21.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__364_33.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__365_27.min1.thm12017-02-06 12:44 630  
[ ]uniroots__366_21.min1.thm12017-02-06 12:44 691  
[ ]uniroots__367_33.min1.thm12017-02-06 12:44 410  
[ ]uniroots__378_14.min1.thm12017-02-06 12:44 2.5K 
[ ]uniroots__380_16.min1.thm12017-02-06 12:44 965  
[ ]uniroots__381_55.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__382_18.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__383_23.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__384_34.min1.thm12017-02-06 12:44 419  
[ ]uniroots__387_25.min1.thm12017-02-06 12:44 850  
[ ]uniroots__390_25.min1.thm12017-02-06 12:44 1.9K 
[ ]uniroots__392_22.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__395_15.min1.thm12017-02-06 12:44 1.9K 
[ ]uniroots__398_24.min1.thm12017-02-06 12:44 954  
[ ]uniroots__402_21.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__404_33.min1.thm12017-02-06 12:44 2.1K 
[ ]uniroots__406_41.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__411_25.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__413_24.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__414_44.min1.thm12017-02-06 12:44 964  
[ ]uniroots__417_23.min1.thm12017-02-06 12:44 926  
[ ]uniroots__421_19.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__423_18.min1.thm12017-02-06 12:44 179  
[ ]uniroots__425_30.min1.thm12017-02-06 12:44 753  
[ ]uniroots__433_18.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__434_25.min1.thm12017-02-06 12:44 387  
[ ]uniroots__439_17.min1.thm12017-02-06 12:44 2.2K 
[ ]uniroots__447_31.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__450_21.min1.thm12017-02-06 12:44 2.0K 
[ ]uniroots__451_14.min1.thm12017-02-06 12:44 478  
[ ]uniroots__460_11.min1.thm12017-02-06 12:44 187  
[ ]uniroots__495_19.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__495_19.min1.thm1.tptp2017-02-06 16:46 1.0K 
[ ]uniroots__499_26.min1.thm12017-02-06 12:44 2.1K 
[ ]uniroots__512_14.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__531_14.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__551_31.min1.thm12017-02-06 12:44 2.6K 
[ ]uniroots__554_8.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__566_33.min1.thm12017-02-06 12:44 210  
[ ]uniroots__569_57.min1.thm12017-02-06 12:44 442  
[ ]uniroots__573_11.min1.thm12017-02-06 12:44 2.2K 
[ ]uniroots__575_14.min1.thm12017-02-06 12:44 555  
[ ]uniroots__575_14.min1.thm1.tptp2017-02-06 16:46 474  
[ ]uniroots__594_14.min1.thm12017-02-06 12:44 2.6K 
[ ]uniroots__596_18.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__597_25.min1.thm12017-02-06 12:44 1.9K 
[ ]uniroots__599_21.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__600_54.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__601_50.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__602_41.min1.thm12017-02-06 12:44 648  
[ ]uniroots__603_43.min1.thm12017-02-06 12:44 807  
[ ]uniroots__604_50.min1.thm12017-02-06 12:44 452  
[ ]uniroots__607_25.min1.thm12017-02-06 12:44 860  
[ ]uniroots__612_24.min1.thm12017-02-06 12:44 968  
[ ]uniroots__616_21.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__621_16.min1.thm12017-02-06 12:44 661  
[ ]uniroots__628_59.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__630_19.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__633_15.min1.thm12017-02-06 12:44 181  
[ ]uniroots__641_14.min1.thm12017-02-06 12:44 779  
[ ]uniroots__641_14.min1.thm1.tptp2017-02-06 16:46 694  
[ ]uniroots__643_14.min1.thm12017-02-06 12:44 754  
[ ]uniroots__658_35.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__675_18.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__676_30.min1.thm12017-02-06 12:44 2.0K 
[ ]uniroots__681_40.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__684_17.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__686_22.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__687_24.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__694_67.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__702_24.min1.thm12017-02-06 12:44 1.8K 
[ ]uniroots__708_14.min1.thm12017-02-06 12:44 2.0K 
[ ]uniroots__709_41.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__711_15.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__713_15.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__716_17.min1.thm12017-02-06 12:44 3.3K 
[ ]uniroots__717_24.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__722_15.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__724_15.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__729_15.min1.thm12017-02-06 12:44 693  
[ ]uniroots__730_27.min1.thm12017-02-06 12:44 871  
[ ]uniroots__731_56.min1.thm12017-02-06 12:44 3.0K 
[ ]uniroots__738_19.min1.thm12017-02-06 12:44 2.2K 
[ ]uniroots__740_12.min1.thm12017-02-06 12:44 712  
[ ]uniroots__748_43.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__769_45.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__770_21.min1.thm12017-02-06 12:44 1.8K 
[ ]uniroots__774_39.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__775_18.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__777_18.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__788_45.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__798_33.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__809_24.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__810_14.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__818_24.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__819_14.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__838_74.min1.thm12017-02-06 12:44 738  
[ ]uniroots__839_18.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__852_78.min1.thm12017-02-06 12:44 937  
[ ]uniroots__853_37.min1.thm12017-02-06 12:44 355  
[ ]uniroots__855_13.min1.thm12017-02-06 12:44 846  
[ ]uniroots__862_52.min1.thm12017-02-06 12:44 629  
[ ]uniroots__862_52.min1.thm1.tptp2017-02-06 16:46 551  
[ ]uniroots__864_14.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__876_44.min1.thm12017-02-06 12:44 2.0K 
[ ]uniroots__880_16.min1.thm12017-02-06 12:44 583  
[ ]uniroots__881_34.min1.thm12017-02-06 12:44 786  
[ ]uniroots__882_47.min1.thm12017-02-06 12:44 2.0K 
[ ]uniroots__887_14.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__890_33.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__912_46.min1.thm12017-02-06 12:44 2.1K 
[ ]uniroots__918_36.min1.thm12017-02-06 12:44 790  
[ ]uniroots__919_49.min1.thm12017-02-06 12:44 2.0K 
[ ]uniroots__923_18.min1.thm12017-02-06 12:44 589  
[ ]uniroots__926_18.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__929_37.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__939_45.min1.thm12017-02-06 12:44 509  
[ ]uniroots__949_18.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__952_18.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__953_36.min1.thm12017-02-06 12:44 791  
[ ]uniroots__954_50.min1.thm12017-02-06 12:44 3.0K 
[ ]uniroots__959_27.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__971_55.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__975_13.min1.thm12017-02-06 12:44 2.8K 
[ ]uniroots__976_24.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__980_27.min1.thm12017-02-06 12:44 954  
[ ]uniroots__982_14.min1.thm12017-02-06 12:44 780  
[ ]uniroots__993_43.min1.thm12017-02-06 12:44 577  
[ ]uniroots__996_43.min1.thm12017-02-06 12:44 577  
[ ]uniroots__1016_49.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__1019_20.min1.thm12017-02-06 12:44 2.1K 
[ ]uniroots__1040_23.min1.thm12017-02-06 12:44 438  
[ ]uniroots__1040_23.min1.thm1.tptp2017-02-06 16:46 363  
[ ]uniroots__1047_39.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__1048_13.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__1049_19.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__1051_18.min1.thm12017-02-06 12:44 2.2K 
[ ]uniroots__1053_12.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__1054_13.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__1057_19.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__1068_17.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__1071_20.min1.thm12017-02-06 12:44 2.1K 
[ ]uniroots__1074_32.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__1074_32.min1.thm1.tptp2017-02-06 16:46 947  
[ ]uniroots__1075_19.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__1079_21.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__1086_19.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__1089_62.min1.thm12017-02-06 12:44 949  
[ ]uniroots__1089_62.min1.thm1.tptp2017-02-06 16:46 890  
[ ]uniroots__1091_14.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__1092_13.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__1093_19.min1.thm12017-02-06 12:44 2.4K 
[ ]uniroots__1094_20.min1.thm12017-02-06 12:44 1.9K 
[ ]uniroots__1095_26.min1.thm12017-02-06 12:44 3.4K 
[ ]uniroots__1096_24.min1.thm12017-02-06 12:44 2.0K 
[ ]uniroots__1100_19.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__1103_62.min1.thm12017-02-06 12:44 951  
[ ]uniroots__1103_62.min1.thm1.tptp2017-02-06 16:46 892  
[ ]uniroots__1105_14.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__1106_13.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__1107_19.min1.thm12017-02-06 12:44 2.4K 
[ ]uniroots__1108_20.min1.thm12017-02-06 12:44 1.9K 
[ ]uniroots__1109_26.min1.thm12017-02-06 12:44 3.4K 
[ ]uniroots__1110_24.min1.thm12017-02-06 12:44 2.0K 
[ ]uniroots__1118_22.min1.thm12017-02-06 12:44 2.5K 
[ ]uniroots__1123_37.min1.thm12017-02-06 12:44 940  
[ ]uniroots__1124_31.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__1125_17.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__1131_16.min1.thm12017-02-06 12:44 637  
[ ]uniroots__1135_30.min1.thm12017-02-06 12:44 432  
[ ]uniroots__1135_30.min1.thm1.tptp2017-02-06 16:46 357  
[ ]uniroots__1136_16.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__1147_15.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__1148_35.min1.thm12017-02-06 12:44 907  
[ ]uniroots__1153_45.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__1154_35.min1.thm12017-02-06 12:44 868  
[ ]uniroots__1155_51.min1.thm12017-02-06 12:44 2.0K 
[ ]uniroots__1156_70.min1.thm12017-02-06 12:44 894  
[ ]uniroots__1159_16.min1.thm12017-02-06 12:44 962  
[ ]uniroots__1161_17.min1.thm12017-02-06 12:44 423  
[ ]uniroots__1161_17.min1.thm1.tptp2017-02-06 16:46 359  
[ ]uniroots__1183_72.min1.thm12017-02-06 12:44 2.7K 
[ ]uniroots__1186_11.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__1201_24.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__1202_20.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__1203_28.min1.thm12017-02-06 12:44 2.0K 
[ ]uniroots__1205_17.min1.thm12017-02-06 12:44 2.6K 
[ ]uniroots__1214_44.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__1215_26.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__1217_19.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__1218_22.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__1220_18.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__1226_18.min1.thm12017-02-06 12:44 2.3K 
[ ]uniroots__1229_47.min1.thm12017-02-06 12:44 3.9K 
[ ]uniroots__1232_43.min1.thm12017-02-06 12:44 2.0K 
[ ]uniroots__1233_36.min1.thm12017-02-06 12:44 908  
[ ]uniroots__1234_22.min1.thm12017-02-06 12:44 2.5K 
[ ]uniroots__1235_23.min1.thm12017-02-06 12:44 1.8K 
[ ]uniroots__1244_37.min1.thm12017-02-06 12:44 915  
[ ]uniroots__1250_29.min1.thm12017-02-06 12:44 1.9K 
[ ]uniroots__1252_20.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__1257_17.min1.thm12017-02-06 12:44 3.7K 
[ ]uniroots__1258_49.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__1259_17.min1.thm12017-02-06 12:44 2.9K 
[ ]uniroots__1260_49.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__1265_26.min1.thm12017-02-06 12:44 2.7K 
[ ]uniroots__1266_17.min1.thm12017-02-06 12:44 3.2K 
[ ]uniroots__1274_34.min1.thm12017-02-06 12:44 2.5K 
[ ]uniroots__1275_43.min1.thm12017-02-06 12:44 2.0K 
[ ]uniroots__1285_35.min1.thm12017-02-06 12:44 908  
[ ]uniroots__1295_31.min1.thm12017-02-06 12:44 2.2K 
[ ]uniroots__1310_31.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__1311_28.min1.thm12017-02-06 12:44 2.0K 
[ ]uniroots__1315_23.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__1338_38.min1.thm12017-02-06 12:44 2.0K 
[ ]uniroots__1340_20.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__1345_26.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__1346_40.min1.thm12017-02-06 12:44 1.8K 
[ ]uniroots__1350_27.min1.thm12017-02-06 12:44 948  
[ ]uniroots__1355_24.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__1356_28.min1.thm12017-02-06 12:44 2.0K 
[ ]uniroots__1370_20.min1.thm12017-02-06 12:44 437  
[ ]uniroots__1370_20.min1.thm1.tptp2017-02-06 16:46 362  
[ ]uniroots__1372_17.min1.thm12017-02-06 12:44 582  
[ ]uniroots__1378_49.min1.thm12017-02-06 12:44 618  
[ ]uniroots__1379_24.min1.thm12017-02-06 12:44 960  
[ ]uniroots__1380_18.min1.thm12017-02-06 12:44 893  
[ ]uniroots__1383_62.min1.thm12017-02-06 12:44 768  
[ ]uniroots__1384_19.min1.thm12017-02-06 12:44 835  
[ ]uniroots__1397_28.min1.thm12017-02-06 12:44 485  
[ ]uniroots__1397_28.min1.thm1.tptp2017-02-06 16:46 406  
[ ]uniroots__1401_47.min1.thm12017-02-06 12:44 604  
[ ]uniroots__1402_22.min1.thm12017-02-06 12:44 845  
[ ]uniroots__1403_78.min1.thm12017-02-06 12:44 569  
[ ]uniroots__1405_16.min1.thm12017-02-06 12:44 700  
[ ]uniroots__1405_16.min1.thm1.tptp2017-02-06 16:46 641  
[ ]uniroots__1418_44.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__1419_35.min1.thm12017-02-06 12:44 604  
[ ]uniroots__1420_37.min1.thm12017-02-06 12:44 474  
[ ]uniroots__1420_37.min1.thm1.tptp2017-02-06 16:46 406  
[ ]uniroots__1422_27.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__1427_18.min1.thm12017-02-06 12:44 825  
[ ]uniroots__1433_18.min1.thm12017-02-06 12:44 696  
[ ]uniroots__1434_26.min1.thm12017-02-06 12:44 689  
[ ]uniroots__1435_26.min1.thm12017-02-06 12:44 689  
[ ]uniroots__1436_43.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__1437_43.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__1462_18.min1.thm12017-02-06 12:44 2.1K 
[ ]uniroots__1471_23.min1.thm12017-02-06 12:44 418  
[ ]uniroots__1482_23.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__1498_21.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__1500_30.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__1507_32.min1.thm12017-02-06 12:44 674  
[ ]uniroots__1510_32.min1.thm12017-02-06 12:44 674  
[ ]uniroots__1512_34.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__1516_34.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__1524_32.min1.thm12017-02-06 12:44 676  
[ ]uniroots__1532_12.min1.thm12017-02-06 12:44 730  
[ ]uniroots__1545_40.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__1547_48.min1.thm12017-02-06 12:44 602  
[ ]uniroots__1549_32.min1.thm12017-02-06 12:44 2.9K 
[ ]uniroots__1552_17.min1.thm12017-02-06 12:44 2.6K 
[ ]uniroots__1570_17.min1.thm12017-02-06 12:44 396  
[ ]uniroots__1574_18.min1.thm12017-02-06 12:44 788  
[ ]uniroots__1581_24.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__1585_21.min1.thm12017-02-06 12:44 2.8K 
[ ]uniroots__1603_10.min1.thm12017-02-06 12:44 573  
[ ]uniroots__1606_10.min1.thm12017-02-06 12:44 886  
[ ]uniroots__1620_15.min1.thm12017-02-06 12:44 372  
[ ]uniroots__1624_14.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__1643_16.min1.thm12017-02-06 12:44 292  
[ ]uniroots__1650_22.min1.thm12017-02-06 12:44 2.6K 
[ ]uniroots__1654_19.min1.thm12017-02-06 12:44 3.6K 
[ ]uniroots__1675_11.min1.thm12017-02-06 12:44 951  
[ ]uniroots__1677_16.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__1678_52.min1.thm12017-02-06 12:44 868  
[ ]uniroots__1686_16.min1.thm12017-02-06 12:44 3.3K 
[ ]uniroots__1702_25.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__1726_25.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__1744_26.min1.thm12017-02-06 12:44 2.0K 
[ ]uniroots__1746_26.min1.thm12017-02-06 12:44 2.5K 
[ ]uniroots__1754_19.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__1756_19.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__1758_26.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__1759_19.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__1761_26.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__1772_18.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__1776_15.min1.thm12017-02-06 12:44 185  
[ ]uniroots__1779_34.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__1782_46.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__1783_28.min1.thm12017-02-06 12:44 2.3K 
[ ]uniroots__1789_19.min1.thm12017-02-06 12:44 237  
[ ]uniroots__1798_39.min1.thm12017-02-06 12:44 898  
[ ]uniroots__1802_27.min1.thm12017-02-06 12:44 931  
[ ]uniroots__1808_31.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__1811_20.min1.thm12017-02-06 12:44 961  
[ ]uniroots__1812_31.min1.thm12017-02-06 12:44 1.8K 
[ ]uniroots__1813_26.min1.thm12017-02-06 12:44 1.8K 
[ ]uniroots__1814_28.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__1819_33.min1.thm12017-02-06 12:44 733  
[ ]uniroots__1824_20.min1.thm12017-02-06 12:44 498  
[ ]uniroots__1827_16.min1.thm12017-02-06 12:44 486  
[ ]uniroots__1853_42.min1.thm12017-02-06 12:44 910  
[ ]uniroots__1855_29.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__1859_50.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__1860_36.min1.thm12017-02-06 12:44 868  
[ ]uniroots__1861_40.min1.thm12017-02-06 12:44 2.1K 
[ ]uniroots__1862_42.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__1877_29.min1.thm12017-02-06 12:44 236  
[ ]uniroots__1878_11.min1.thm12017-02-06 12:44 187  
[ ]uniroots__1882_22.min1.thm12017-02-06 12:44 754  
[ ]uniroots__1885_15.min1.thm12017-02-06 12:44 2.1K 
[ ]uniroots__1888_43.min1.thm12017-02-06 12:44 1.9K 
[ ]uniroots__1889_22.min1.thm12017-02-06 12:44 914  
[ ]uniroots__1890_20.min1.thm12017-02-06 12:44 707  
[ ]uniroots__1895_19.min1.thm12017-02-06 12:44 1.8K 
[ ]uniroots__1897_20.min1.thm12017-02-06 12:44 1.9K 
[ ]uniroots__1898_20.min1.thm12017-02-06 12:44 707  
[ ]uniroots__1911_32.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__1913_26.min1.thm12017-02-06 12:44 2.1K 
[ ]uniroots__1914_18.min1.thm12017-02-06 12:44 680  
[ ]uniroots__1914_18.min1.thm1.tptp2017-02-06 16:46 598  
[ ]uniroots__1916_35.min1.thm12017-02-06 12:44 1.9K 
[ ]uniroots__1917_18.min1.thm12017-02-06 12:44 961  
[ ]uniroots__1918_18.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__1920_8.min1.thm12017-02-06 12:44 556  
[ ]uniroots__1920_8.min1.thm1.tptp2017-02-06 16:46 474  
[ ]uniroots__1922_41.min1.thm12017-02-06 12:44 684  
[ ]uniroots__1923_16.min1.thm12017-02-06 12:44 695  
[ ]uniroots__1932_17.min1.thm12017-02-06 12:44 399  
[ ]uniroots__1933_48.min1.thm12017-02-06 12:44 650  
[ ]uniroots__1934_67.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__1936_14.min1.thm12017-02-06 12:44 659  
[ ]uniroots__1947_11.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__1948_30.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__1960_28.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__1964_48.min1.thm12017-02-06 12:44 642  
[ ]uniroots__1964_48.min1.thm1.tptp2017-02-06 16:46 567  
[ ]uniroots__1974_32.min1.thm12017-02-06 12:44 208  
[ ]uniroots__1975_14.min1.thm12017-02-06 12:44 442  
[ ]uniroots__1979_14.min1.thm12017-02-06 12:44 1.9K 
[ ]uniroots__1994_47.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__1998_31.min1.thm12017-02-06 12:44 397  
[ ]uniroots__2009_32.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__2011_71.min1.thm12017-02-06 12:44 462  
[ ]uniroots__2011_71.min1.thm1.tptp2017-02-06 16:46 387  
[ ]uniroots__2016_59.min1.thm12017-02-06 12:44 784  
[ ]uniroots__2019_18.min1.thm12017-02-06 12:44 354  
[ ]uniroots__2019_18.min1.thm1.tptp2017-02-06 16:46 283  
[ ]uniroots__2021_13.min1.thm12017-02-06 12:44 433  
[ ]uniroots__2042_65.min1.thm12017-02-06 12:44 600  
[ ]uniroots__2043_32.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__2048_23.min1.thm12017-02-06 12:44 622  
[ ]uniroots__2050_19.min1.thm12017-02-06 12:44 704  
[ ]uniroots__2079_17.min1.thm12017-02-06 12:44 611  
[ ]uniroots__2082_15.min1.thm12017-02-06 12:44 642  
[ ]uniroots__2082_15.min1.thm1.tptp2017-02-06 16:46 573  
[ ]uniroots__2097_18.min1.thm12017-02-06 12:44 427  
[ ]uniroots__2099_48.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__2102_76.min1.thm12017-02-06 12:44 438  
[ ]uniroots__2102_76.min1.thm1.tptp2017-02-06 16:46 363  
[ ]uniroots__2111_17.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__2112_21.min1.thm12017-02-06 12:44 2.9K 
[ ]uniroots__2114_24.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__2116_30.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__2117_20.min1.thm12017-02-06 12:44 2.6K 
[ ]uniroots__2121_15.min1.thm12017-02-06 12:44 2.6K 
[ ]uniroots__2123_24.min1.thm12017-02-06 12:44 2.7K 
[ ]uniroots__2125_20.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__2128_21.min1.thm12017-02-06 12:44 300  
[ ]uniroots__2132_41.min1.thm12017-02-06 12:44 665  
[ ]uniroots__2144_13.min1.thm12017-02-06 12:44 261  
[ ]uniroots__2156_28.min1.thm12017-02-06 12:44 823  
[ ]uniroots__2173_60.min1.thm12017-02-06 12:44 3.1K 
[ ]uniroots__2192_33.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__2209_24.min1.thm12017-02-06 12:44 854  
[ ]uniroots__2221_25.min1.thm12017-02-06 12:44 585  
[ ]uniroots__2222_19.min1.thm12017-02-06 12:44 899  
[ ]uniroots__2224_64.min1.thm12017-02-06 12:44 846  
[ ]uniroots__2231_66.min1.thm12017-02-06 12:44 3.1K 
[ ]uniroots__2237_16.min1.thm12017-02-06 12:44 2.8K 
[ ]uniroots__2242_18.min1.thm12017-02-06 12:44 263  
[ ]uniroots__2244_17.min1.thm12017-02-06 12:44 906  
[ ]uniroots__2246_22.min1.thm12017-02-06 12:44 2.4K 
[ ]uniroots__2247_22.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__2252_33.min1.thm12017-02-06 12:44 2.3K 
[ ]uniroots__2254_30.min1.thm12017-02-06 12:44 919  
[ ]uniroots__2265_18.min1.thm12017-02-06 12:44 856  
[ ]uniroots__2267_26.min1.thm12017-02-06 12:44 1.9K 
[ ]uniroots__2270_24.min1.thm12017-02-06 12:44 744  
[ ]uniroots__2275_18.min1.thm12017-02-06 12:44 611  
[ ]uniroots__2276_24.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__2277_22.min1.thm12017-02-06 12:44 908  
[ ]uniroots__2296_24.min1.thm12017-02-06 12:44 863  
[ ]uniroots__2298_22.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__2302_10.min1.thm12017-02-06 12:44 919  
[ ]uniroots__2303_18.min1.thm12017-02-06 12:44 417  
[ ]uniroots__2325_14.min1.thm12017-02-06 12:44 3.6K 
[ ]uniroots__2331_56.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__2332_13.min1.thm12017-02-06 12:44 223  
[ ]uniroots__2338_16.min1.thm12017-02-06 12:44 239  
[ ]uniroots__2339_20.min1.thm12017-02-06 12:44 551  
[ ]uniroots__2339_20.min1.thm1.tptp2017-02-06 16:46 475  
[ ]uniroots__2347_16.min1.thm12017-02-06 12:44 239  
[ ]uniroots__2348_20.min1.thm12017-02-06 12:44 530  
[ ]uniroots__2348_20.min1.thm1.tptp2017-02-06 16:46 455  
[ ]uniroots__2355_52.min1.thm12017-02-06 12:44 603  
[ ]uniroots__2362_14.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__2365_17.min1.thm12017-02-06 12:44 2.2K 
[ ]uniroots__2370_35.min1.thm12017-02-06 12:44 1.8K 
[ ]uniroots__2375_21.min1.thm12017-02-06 12:44 300  
[ ]uniroots__2376_14.min1.thm12017-02-06 12:44 2.4K 
[ ]uniroots__2380_52.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__2381_11.min1.thm12017-02-06 12:44 1.8K 
[ ]uniroots__2383_18.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__2385_31.min1.thm12017-02-06 12:44 2.2K 
[ ]uniroots__2396_13.min1.thm12017-02-06 12:44 251  
[ ]uniroots__2406_35.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__2408_15.min1.thm12017-02-06 12:44 2.1K 
[ ]uniroots__2409_15.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__2410_19.min1.thm12017-02-06 12:44 742  
[ ]uniroots__2415_63.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__2417_20.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__2443_24.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__2447_13.min1.thm12017-02-06 12:44 410  
[ ]uniroots__2447_13.min1.thm1.tptp2017-02-06 16:46 331  
[ ]uniroots__2448_16.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__2453_20.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__2492_17.min1.thm12017-02-06 12:44 2.2K 
[ ]uniroots__2497_65.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__2500_39.min1.thm12017-02-06 12:44 2.0K 
[ ]uniroots__2502_29.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__2508_57.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__2509_24.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__2511_24.min1.thm12017-02-06 12:44 1.9K 
[ ]uniroots__2516_24.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__2536_21.min1.thm12017-02-06 12:44 1.9K 
[ ]uniroots__2541_66.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__2547_62.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__2549_53.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__2563_21.min1.thm12017-02-06 12:44 421  
[ ]uniroots__2575_27.min1.thm12017-02-06 12:44 2.8K 
[ ]uniroots__2577_26.min1.thm12017-02-06 12:44 2.1K 
[ ]uniroots__2580_48.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__2581_43.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__2582_36.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__2586_28.min1.thm12017-02-06 12:44 593  
[ ]uniroots__2609_30.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__2612_41.min1.thm12017-02-06 12:44 2.6K 
[ ]uniroots__2619_66.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__2621_54.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__2623_28.min1.thm12017-02-06 12:44 881  
[ ]uniroots__2625_29.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__2636_27.min1.thm12017-02-06 12:44 2.8K 
[ ]uniroots__2638_26.min1.thm12017-02-06 12:44 2.1K 
[ ]uniroots__2641_48.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__2642_41.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__2643_34.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__2644_25.min1.thm12017-02-06 12:44 2.4K 
[ ]uniroots__2646_24.min1.thm12017-02-06 12:44 2.4K 
[ ]uniroots__2647_31.min1.thm12017-02-06 12:44 3.4K 
[ ]uniroots__2652_28.min1.thm12017-02-06 12:44 593  
[ ]uniroots__2674_54.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__2676_28.min1.thm12017-02-06 12:44 881  
[ ]uniroots__2678_29.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__2684_19.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__2702_46.min1.thm12017-02-06 12:44 939  
[ ]uniroots__2710_19.min1.thm12017-02-06 12:44 313  
[ ]uniroots__2721_35.min1.thm12017-02-06 12:44 2.8K 
[ ]uniroots__2724_43.min1.thm12017-02-06 12:44 240  
[ ]uniroots__2734_19.min1.thm12017-02-06 12:44 830  
[ ]uniroots__2738_32.min1.thm12017-02-06 12:44 887  
[ ]uniroots__2744_21.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__2754_48.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__2757_25.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__2762_58.min1.thm12017-02-06 12:44 2.2K 
[ ]uniroots__2763_52.min1.thm12017-02-06 12:44 2.3K 
[ ]uniroots__2764_45.min1.thm12017-02-06 12:44 1.9K 
[ ]uniroots__2769_37.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__2774_21.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__2778_52.min1.thm12017-02-06 12:44 610  
[ ]uniroots__2782_43.min1.thm12017-02-06 12:44 766  
[ ]uniroots__2783_42.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__2784_30.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__2792_48.min1.thm12017-02-06 12:44 2.5K 
[ ]uniroots__2795_49.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__2798_33.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__2799_20.min1.thm12017-02-06 12:44 644  
[ ]uniroots__2810_19.min1.thm12017-02-06 12:44 2.6K 
[ ]uniroots__2813_29.min1.thm12017-02-06 12:44 1.8K 
[ ]uniroots__2853_52.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__2857_16.min1.thm12017-02-06 12:44 665  
[ ]uniroots__2859_17.min1.thm12017-02-06 12:44 833  
[ ]uniroots__2889_18.min1.thm12017-02-06 12:44 401  
[ ]uniroots__2891_48.min1.thm12017-02-06 12:44 916  
[ ]uniroots__2900_54.min1.thm12017-02-06 12:44 611  
[ ]uniroots__2903_15.min1.thm12017-02-06 12:44 642  
[ ]uniroots__2903_15.min1.thm1.tptp2017-02-06 16:46 573  
[ ]uniroots__2918_17.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__2919_21.min1.thm12017-02-06 12:44 2.9K 
[ ]uniroots__2921_24.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__2923_30.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__2924_20.min1.thm12017-02-06 12:44 2.6K 
[ ]uniroots__2930_21.min1.thm12017-02-06 12:44 300  
[ ]uniroots__2934_41.min1.thm12017-02-06 12:44 665  
[ ]uniroots__2935_15.min1.thm12017-02-06 12:44 2.6K 
[ ]uniroots__2937_24.min1.thm12017-02-06 12:44 2.7K 
[ ]uniroots__2939_20.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__2945_29.min1.thm12017-02-06 12:44 2.1K 
[ ]uniroots__2952_13.min1.thm12017-02-06 12:44 513  
[ ]uniroots__2964_44.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__2979_18.min1.thm12017-02-06 12:44 470  
[ ]uniroots__2996_33.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__3013_24.min1.thm12017-02-06 12:44 854  
[ ]uniroots__3025_25.min1.thm12017-02-06 12:44 585  
[ ]uniroots__3026_19.min1.thm12017-02-06 12:44 899  
[ ]uniroots__3028_64.min1.thm12017-02-06 12:44 846  
[ ]uniroots__3035_65.min1.thm12017-02-06 12:44 3.1K 
[ ]uniroots__3039_18.min1.thm12017-02-06 12:44 471  
[ ]uniroots__3051_19.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__3058_16.min1.thm12017-02-06 12:44 391  
[ ]uniroots__3062_16.min1.thm12017-02-06 12:44 2.8K 
[ ]uniroots__3067_18.min1.thm12017-02-06 12:44 263  
[ ]uniroots__3068_54.min1.thm12017-02-06 12:44 906  
[ ]uniroots__3070_20.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__3074_15.min1.thm12017-02-06 12:44 317  
[ ]uniroots__3074_15.min1.thm1.tptp2017-02-06 16:46 240  
[ ]uniroots__3078_19.min1.thm12017-02-06 12:44 926  
[ ]uniroots__3083_20.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__3086_43.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__3094_22.min1.thm12017-02-06 12:44 2.4K 
[ ]uniroots__3095_22.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__3098_33.min1.thm12017-02-06 12:44 2.3K 
[ ]uniroots__3100_27.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__3131_27.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__3132_19.min1.thm12017-02-06 12:44 870  
[ ]uniroots__3134_54.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__3135_28.min1.thm12017-02-06 12:44 485  
[ ]uniroots__3135_28.min1.thm1.tptp2017-02-06 16:46 406  
[ ]uniroots__3145_21.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__3146_13.min1.thm12017-02-06 12:44 399  
[ ]uniroots__3150_52.min1.thm12017-02-06 12:44 962  
[ ]uniroots__3154_54.min1.thm12017-02-06 12:44 2.3K 
[ ]uniroots__3156_52.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__3168_42.min1.thm12017-02-06 12:44 1.8K 
[ ]uniroots__3172_5.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__3178_21.min1.thm12017-02-06 12:44 300  
[ ]uniroots__3179_23.min1.thm12017-02-06 12:44 273  
[ ]uniroots__3182_60.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__3182_60.min1.thm1.tptp2017-02-06 16:46 1.1K 
[ ]uniroots__3192_33.min1.thm12017-02-06 12:44 585  
[ ]uniroots__3195_59.min1.thm12017-02-06 12:44 816  
[ ]uniroots__3197_67.min1.thm12017-02-06 12:44 751  
[ ]uniroots__3204_37.min1.thm12017-02-06 12:44 738  
[ ]uniroots__3210_50.min1.thm12017-02-06 12:44 612  
[ ]uniroots__3211_24.min1.thm12017-02-06 12:44 863  
[ ]uniroots__3212_15.min1.thm12017-02-06 12:44 543  
[ ]uniroots__3215_24.min1.thm12017-02-06 12:44 873  
[ ]uniroots__3226_34.min1.thm12017-02-06 12:44 949  
[ ]uniroots__3237_32.min1.thm12017-02-06 12:44 810  
[ ]uniroots__3241_62.min1.thm12017-02-06 12:44 824  
[ ]uniroots__3248_29.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__3249_32.min1.thm12017-02-06 12:44 878  
[ ]uniroots__3255_55.min1.thm12017-02-06 12:44 689  
[ ]uniroots__3255_55.min1.thm1.tptp2017-02-06 16:46 610  
[ ]uniroots__3260_25.min1.thm12017-02-06 12:44 559  
[ ]uniroots__3261_15.min1.thm12017-02-06 12:44 804  
[ ]uniroots__3264_27.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__3269_69.min1.thm12017-02-06 12:44 759  
[ ]uniroots__3274_62.min1.thm12017-02-06 12:44 824  
[ ]uniroots__3302_31.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__3303_11.min1.thm12017-02-06 12:44 2.1K 
[ ]uniroots__3306_55.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__3307_40.min1.thm12017-02-06 12:44 2.3K 
[ ]uniroots__3308_33.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__3320_19.min1.thm12017-02-06 12:44 627  
[ ]uniroots__3323_17.min1.thm12017-02-06 12:44 678  
[ ]uniroots__3323_17.min1.thm1.tptp2017-02-06 16:46 609  
[ ]uniroots__3336_23.min1.thm12017-02-06 12:44 2.9K 
[ ]uniroots__3338_32.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__3339_21.min1.thm12017-02-06 12:44 2.6K 
[ ]uniroots__3343_17.min1.thm12017-02-06 12:44 2.6K 
[ ]uniroots__3345_25.min1.thm12017-02-06 12:44 2.8K 
[ ]uniroots__3347_21.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__3349_19.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__3366_18.min1.thm12017-02-06 12:44 2.4K 
[ ]uniroots__3368_57.min1.thm12017-02-06 12:44 1.6K 
[ ]uniroots__3369_22.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__3376_46.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__3379_53.min1.thm12017-02-06 12:44 410  
[ ]uniroots__3379_53.min1.thm1.tptp2017-02-06 16:46 324  
[ ]uniroots__3380_45.min1.thm12017-02-06 12:44 2.2K 
[ ]uniroots__3382_30.min1.thm12017-02-06 12:44 2.3K 
[ ]uniroots__3386_20.min1.thm12017-02-06 12:44 747  
[ ]uniroots__3391_22.min1.thm12017-02-06 12:44 2.3K 
[ ]uniroots__3395_19.min1.thm12017-02-06 12:44 910  
[ ]uniroots__3396_19.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__3403_17.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__3404_18.min1.thm12017-02-06 12:44 845  
[ ]uniroots__3407_23.min1.thm12017-02-06 12:44 2.4K 
[ ]uniroots__3411_23.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__3433_14.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__3441_42.min1.thm12017-02-06 12:44 863  
[ ]uniroots__3456_15.min1.thm12017-02-06 12:44 407  
[ ]uniroots__3459_66.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__3463_66.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__3495_13.min1.thm12017-02-06 12:44 399  
[ ]uniroots__3498_64.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__3502_64.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__3509_18.min1.thm12017-02-06 12:44 304  
[ ]uniroots__3513_60.min1.thm12017-02-06 12:44 728  
[ ]uniroots__3514_68.min1.thm12017-02-06 12:44 851  
[ ]uniroots__3522_13.min1.thm12017-02-06 12:44 191  
[ ]uniroots__3525_20.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__3526_25.min1.thm12017-02-06 12:44 847  
[ ]uniroots__3527_28.min1.thm12017-02-06 12:44 801  
[ ]uniroots__3528_29.min1.thm12017-02-06 12:44 477  
[ ]uniroots__3530_27.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__3531_21.min1.thm12017-02-06 12:44 806  
[ ]uniroots__3535_25.min1.thm12017-02-06 12:44 399  
[ ]uniroots__3536_21.min1.thm12017-02-06 12:44 547  
[ ]uniroots__3539_14.min1.thm12017-02-06 12:44 298  
[ ]uniroots__3587_62.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__3603_32.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__3604_19.min1.thm12017-02-06 12:44 1.7K 
[ ]uniroots__3612_16.min1.thm12017-02-06 12:44 674  
[ ]uniroots__3614_32.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__3618_24.min1.thm12017-02-06 12:44 391  
[ ]uniroots__3618_24.min1.thm1.tptp2017-02-06 16:46 327  
[ ]uniroots__3619_59.min1.thm12017-02-06 12:44 2.0K 
[ ]uniroots__3620_20.min1.thm12017-02-06 12:44 523  
[ ]uniroots__3623_18.min1.thm12017-02-06 12:44 1.1K 
[ ]uniroots__3629_32.min1.thm12017-02-06 12:44 1.2K 
[ ]uniroots__3633_26.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__3634_27.min1.thm12017-02-06 12:44 1.3K 
[ ]uniroots__3636_59.min1.thm12017-02-06 12:44 1.0K 
[ ]uniroots__3640_43.min1.thm12017-02-06 12:44 2.0K 
[ ]uniroots__3647_28.min1.thm12017-02-06 12:44 965  
[ ]uniroots__3648_14.min1.thm12017-02-06 12:44 1.4K 
[ ]uniroots__3650_24.min1.thm12017-02-06 12:44 2.1K 
[ ]uniroots__3652_32.min1.thm12017-02-06 12:44 1.5K 
[ ]uniroots__3655_22.min1.thm12017-02-06 12:44 385  
[ ]uniroots__3655_22.min1.thm1.tptp2017-02-06 16:46 297  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80