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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]simplex1__60_11.min1.thm12017-02-06 12:46 240  
[ ]simplex1__71_40.min1.thm12017-02-06 12:46 702  
[ ]simplex1__72_32.min1.thm12017-02-06 12:46 671  
[ ]simplex1__74_49.min1.thm12017-02-06 12:46 659  
[ ]simplex1__76_18.min1.thm12017-02-06 12:46 633  
[ ]simplex1__76_18.min1.thm1.tptp2017-02-06 16:47 562  
[ ]simplex1__82_78.min1.thm12017-02-06 12:46 749  
[ ]simplex1__82_78.min1.thm1.tptp2017-02-06 16:47 696  
[ ]simplex1__84_26.min1.thm12017-02-06 12:46 512  
[ ]simplex1__86_54.min1.thm12017-02-06 12:46 703  
[ ]simplex1__96_19.min1.thm12017-02-06 12:46 636  
[ ]simplex1__97_39.min1.thm12017-02-06 12:46 951  
[ ]simplex1__98_24.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__106_24.min1.thm12017-02-06 12:46 859  
[ ]simplex1__107_25.min1.thm12017-02-06 12:46 550  
[ ]simplex1__107_25.min1.thm1.tptp2017-02-06 16:47 475  
[ ]simplex1__108_25.min1.thm12017-02-06 12:46 858  
[ ]simplex1__109_25.min1.thm12017-02-06 12:46 745  
[ ]simplex1__122_23.min1.thm12017-02-06 12:46 809  
[ ]simplex1__125_20.min1.thm12017-02-06 12:46 710  
[ ]simplex1__126_24.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__127_20.min1.thm12017-02-06 12:46 501  
[ ]simplex1__127_20.min1.thm1.tptp2017-02-06 16:47 426  
[ ]simplex1__128_24.min1.thm12017-02-06 12:46 868  
[ ]simplex1__129_31.min1.thm12017-02-06 12:46 894  
[ ]simplex1__130_34.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__131_19.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__137_35.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__138_26.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__139_26.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__141_35.min1.thm12017-02-06 12:46 836  
[ ]simplex1__142_26.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__144_35.min1.thm12017-02-06 12:46 838  
[ ]simplex1__150_24.min1.thm12017-02-06 12:46 850  
[ ]simplex1__156_29.min1.thm12017-02-06 12:46 850  
[ ]simplex1__157_31.min1.thm12017-02-06 12:46 541  
[ ]simplex1__157_31.min1.thm1.tptp2017-02-06 16:47 466  
[ ]simplex1__158_26.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__161_26.min1.thm12017-02-06 12:46 692  
[ ]simplex1__162_36.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__163_37.min1.thm12017-02-06 12:46 552  
[ ]simplex1__164_25.min1.thm12017-02-06 12:46 717  
[ ]simplex1__165_18.min1.thm12017-02-06 12:46 607  
[ ]simplex1__171_22.min1.thm12017-02-06 12:46 649  
[ ]simplex1__171_22.min1.thm1.tptp2017-02-06 16:47 595  
[ ]simplex1__173_22.min1.thm12017-02-06 12:46 744  
[ ]simplex1__174_25.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__177_20.min1.thm12017-02-06 12:46 549  
[ ]simplex1__178_14.min1.thm12017-02-06 12:46 479  
[ ]simplex1__179_34.min1.thm12017-02-06 12:46 773  
[ ]simplex1__180_7.min1.thm12017-02-06 12:46 347  
[ ]simplex1__180_7.min1.thm1.tptp2017-02-06 16:47 270  
[ ]simplex1__181_40.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__186_26.min1.thm12017-02-06 12:46 404  
[ ]simplex1__186_26.min1.thm1.tptp2017-02-06 16:47 338  
[ ]simplex1__191_25.min1.thm12017-02-06 12:46 440  
[ ]simplex1__192_17.min1.thm12017-02-06 12:46 613  
[ ]simplex1__195_24.min1.thm12017-02-06 12:46 684  
[ ]simplex1__201_19.min1.thm12017-02-06 12:46 576  
[ ]simplex1__202_21.min1.thm12017-02-06 12:46 413  
[ ]simplex1__202_21.min1.thm1.tptp2017-02-06 16:47 336  
[ ]simplex1__203_33.min1.thm12017-02-06 12:46 944  
[ ]simplex1__204_24.min1.thm12017-02-06 12:46 607  
[ ]simplex1__207_24.min1.thm12017-02-06 12:46 481  
[ ]simplex1__208_17.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__209_43.min1.thm12017-02-06 12:46 682  
[ ]simplex1__210_18.min1.thm12017-02-06 12:46 867  
[ ]simplex1__223_10.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__227_16.min1.thm12017-02-06 12:46 901  
[ ]simplex1__228_36.min1.thm12017-02-06 12:46 566  
[ ]simplex1__228_36.min1.thm1.tptp2017-02-06 16:47 480  
[ ]simplex1__229_16.min1.thm12017-02-06 12:46 763  
[ ]simplex1__236_18.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__237_21.min1.thm12017-02-06 12:46 2.4K 
[ ]simplex1__238_27.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__241_29.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__242_24.min1.thm12017-02-06 12:46 624  
[ ]simplex1__247_20.min1.thm12017-02-06 12:46 439  
[ ]simplex1__255_19.min1.thm12017-02-06 12:46 2.6K 
[ ]simplex1__262_23.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex1__267_21.min1.thm12017-02-06 12:46 2.8K 
[ ]simplex1__268_15.min1.thm12017-02-06 12:46 2.6K 
[ ]simplex1__272_17.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__289_28.min1.thm12017-02-06 12:46 479  
[ ]simplex1__290_17.min1.thm12017-02-06 12:46 929  
[ ]simplex1__302_28.min1.thm12017-02-06 12:46 479  
[ ]simplex1__303_42.min1.thm12017-02-06 12:46 839  
[ ]simplex1__304_17.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__319_27.min1.thm12017-02-06 12:46 749  
[ ]simplex1__320_36.min1.thm12017-02-06 12:46 739  
[ ]simplex1__323_34.min1.thm12017-02-06 12:46 468  
[ ]simplex1__346_15.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__348_44.min1.thm12017-02-06 12:46 545  
[ ]simplex1__354_18.min1.thm12017-02-06 12:46 796  
[ ]simplex1__358_42.min1.thm12017-02-06 12:46 673  
[ ]simplex1__372_73.min1.thm12017-02-06 12:46 650  
[ ]simplex1__375_17.min1.thm12017-02-06 12:46 368  
[ ]simplex1__375_17.min1.thm1.tptp2017-02-06 16:47 308  
[ ]simplex1__388_33.min1.thm12017-02-06 12:46 689  
[ ]simplex1__389_34.min1.thm12017-02-06 12:46 855  
[ ]simplex1__390_39.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__391_32.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex1__416_54.min1.thm12017-02-06 12:46 728  
[ ]simplex1__420_36.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__422_28.min1.thm12017-02-06 12:46 745  
[ ]simplex1__423_24.min1.thm12017-02-06 12:46 638  
[ ]simplex1__438_55.min1.thm12017-02-06 12:46 516  
[ ]simplex1__440_34.min1.thm12017-02-06 12:46 379  
[ ]simplex1__440_34.min1.thm1.tptp2017-02-06 16:47 308  
[ ]simplex1__441_36.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__449_21.min1.thm12017-02-06 12:46 363  
[ ]simplex1__449_21.min1.thm1.tptp2017-02-06 16:47 286  
[ ]simplex1__453_54.min1.thm12017-02-06 12:46 395  
[ ]simplex1__453_54.min1.thm1.tptp2017-02-06 16:47 317  
[ ]simplex1__462_32.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__469_28.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__473_7.min1.thm12017-02-06 12:46 234  
[ ]simplex1__475_17.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__493_34.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__494_15.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__496_35.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__498_27.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__504_27.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__521_13.min1.thm12017-02-06 12:46 669  
[ ]simplex1__529_22.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__545_39.min1.thm12017-02-06 12:46 970  
[ ]simplex1__546_17.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__553_20.min1.thm12017-02-06 12:46 292  
[ ]simplex1__554_13.min1.thm12017-02-06 12:46 562  
[ ]simplex1__563_53.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__572_14.min1.thm12017-02-06 12:46 713  
[ ]simplex1__574_32.min1.thm12017-02-06 12:46 787  
[ ]simplex1__575_8.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__583_33.min1.thm12017-02-06 12:46 713  
[ ]simplex1__587_34.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__605_51.min1.thm12017-02-06 12:46 903  
[ ]simplex1__606_38.min1.thm12017-02-06 12:46 474  
[ ]simplex1__607_34.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__617_48.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__621_37.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__625_15.min1.thm12017-02-06 12:46 757  
[ ]simplex1__626_24.min1.thm12017-02-06 12:46 946  
[ ]simplex1__628_37.min1.thm12017-02-06 12:46 727  
[ ]simplex1__629_52.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__630_16.min1.thm12017-02-06 12:46 415  
[ ]simplex1__630_16.min1.thm1.tptp2017-02-06 16:47 329  
[ ]simplex1__634_15.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__638_32.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__640_33.min1.thm12017-02-06 12:46 713  
[ ]simplex1__641_33.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__642_8.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__643_18.min1.thm12017-02-06 12:46 899  
[ ]simplex1__645_14.min1.thm12017-02-06 12:46 430  
[ ]simplex1__645_14.min1.thm1.tptp2017-02-06 16:47 344  
[ ]simplex1__654_18.min1.thm12017-02-06 12:46 969  
[ ]simplex1__655_14.min1.thm12017-02-06 12:46 691  
[ ]simplex1__656_22.min1.thm12017-02-06 12:46 415  
[ ]simplex1__656_22.min1.thm1.tptp2017-02-06 16:47 335  
[ ]simplex1__663_17.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__672_69.min1.thm12017-02-06 12:46 866  
[ ]simplex1__675_41.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex1__676_61.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__678_13.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__703_36.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex1__711_47.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__712_20.min1.thm12017-02-06 12:46 950  
[ ]simplex1__713_71.min1.thm12017-02-06 12:46 765  
[ ]simplex1__715_35.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__716_25.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__717_41.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex1__718_7.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__719_26.min1.thm12017-02-06 12:46 2.7K 
[ ]simplex1__720_25.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__721_27.min1.thm12017-02-06 12:46 2.5K 
[ ]simplex1__723_19.min1.thm12017-02-06 12:46 909  
[ ]simplex1__724_42.min1.thm12017-02-06 12:46 3.5K 
[ ]simplex1__726_12.min1.thm12017-02-06 12:46 263  
[ ]simplex1__732_12.min1.thm12017-02-06 12:46 773  
[ ]simplex1__733_37.min1.thm12017-02-06 12:46 947  
[ ]simplex1__738_20.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__753_20.min1.thm12017-02-06 12:46 654  
[ ]simplex1__761_21.min1.thm12017-02-06 12:46 739  
[ ]simplex1__764_33.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__765_21.min1.thm12017-02-06 12:46 618  
[ ]simplex1__766_21.min1.thm12017-02-06 12:46 400  
[ ]simplex1__766_21.min1.thm1.tptp2017-02-06 16:47 326  
[ ]simplex1__769_33.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__770_21.min1.thm12017-02-06 12:46 618  
[ ]simplex1__771_21.min1.thm12017-02-06 12:46 400  
[ ]simplex1__771_21.min1.thm1.tptp2017-02-06 16:47 326  
[ ]simplex1__774_18.min1.thm12017-02-06 12:46 891  
[ ]simplex1__775_21.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__783_15.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__810_34.min1.thm12017-02-06 12:46 440  
[ ]simplex1__810_34.min1.thm1.tptp2017-02-06 16:47 352  
[ ]simplex1__829_12.min1.thm12017-02-06 12:46 197  
[ ]simplex1__844_36.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__846_31.min1.thm12017-02-06 12:46 889  
[ ]simplex1__848_20.min1.thm12017-02-06 12:46 2.4K 
[ ]simplex1__850_13.min1.thm12017-02-06 12:46 867  
[ ]simplex1__854_14.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__861_41.min1.thm12017-02-06 12:46 927  
[ ]simplex1__863_13.min1.thm12017-02-06 12:46 429  
[ ]simplex1__863_13.min1.thm1.tptp2017-02-06 16:47 341  
[ ]simplex1__896_34.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__898_14.min1.thm12017-02-06 12:46 396  
[ ]simplex1__903_14.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex1__904_18.min1.thm12017-02-06 12:46 2.5K 
[ ]simplex1__907_26.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__909_14.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__909_14.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]simplex1__917_55.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__925_55.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__927_14.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__934_54.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__939_50.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__939_50.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]simplex1__944_29.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__946_32.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__947_13.min1.thm12017-02-06 12:46 372  
[ ]simplex1__951_49.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__960_35.min1.thm12017-02-06 12:46 448  
[ ]simplex1__965_44.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__968_35.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex1__973_42.min1.thm12017-02-06 12:46 2.5K 
[ ]simplex1__974_37.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__978_12.min1.thm12017-02-06 12:46 197  
[ ]simplex1__980_27.min1.thm12017-02-06 12:46 936  
[ ]simplex1__981_19.min1.thm12017-02-06 12:46 965  
[ ]simplex1__985_24.min1.thm12017-02-06 12:46 781  
[ ]simplex1__986_49.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__994_28.min1.thm12017-02-06 12:46 806  
[ ]simplex1__996_24.min1.thm12017-02-06 12:46 876  
[ ]simplex1__1002_28.min1.thm12017-02-06 12:46 3.2K 
[ ]simplex1__1003_26.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__1005_16.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__1006_25.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__1008_19.min1.thm12017-02-06 12:46 2.4K 
[ ]simplex1__1009_15.min1.thm12017-02-06 12:46 289  
[ ]simplex1__1010_40.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__1016_23.min1.thm12017-02-06 12:46 868  
[ ]simplex1__1019_20.min1.thm12017-02-06 12:46 793  
[ ]simplex1__1022_24.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__1026_18.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__1027_11.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex1__1028_19.min1.thm12017-02-06 12:46 947  
[ ]simplex1__1035_42.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__1036_37.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__1037_12.min1.thm12017-02-06 12:46 197  
[ ]simplex1__1040_19.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex1__1043_64.min1.thm12017-02-06 12:46 769  
[ ]simplex1__1044_72.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__1050_11.min1.thm12017-02-06 12:46 859  
[ ]simplex1__1051_35.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__1053_32.min1.thm12017-02-06 12:46 436  
[ ]simplex1__1053_32.min1.thm1.tptp2017-02-06 16:47 383  
[ ]simplex1__1054_26.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__1056_16.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__1057_25.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__1059_19.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__1060_23.min1.thm12017-02-06 12:46 3.2K 
[ ]simplex1__1061_15.min1.thm12017-02-06 12:46 289  
[ ]simplex1__1062_40.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__1066_18.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__1067_12.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex1__1069_19.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex1__1088_62.min1.thm12017-02-06 12:46 650  
[ ]simplex1__1092_12.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__1095_25.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__1099_32.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__1105_19.min1.thm12017-02-06 12:46 764  
[ ]simplex1__1107_17.min1.thm12017-02-06 12:46 696  
[ ]simplex1__1119_6.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex1__1125_20.min1.thm12017-02-06 12:46 426  
[ ]simplex1__1126_17.min1.thm12017-02-06 12:46 783  
[ ]simplex1__1134_11.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__1136_18.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__1139_44.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__1145_46.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__1148_39.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__1149_22.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__1152_17.min1.thm12017-02-06 12:46 932  
[ ]simplex1__1153_39.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__1154_12.min1.thm12017-02-06 12:46 370  
[ ]simplex1__1154_12.min1.thm1.tptp2017-02-06 16:47 292  
[ ]simplex1__1155_29.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__1156_39.min1.thm12017-02-06 12:46 823  
[ ]simplex1__1157_26.min1.thm12017-02-06 12:46 606  
[ ]simplex1__1161_40.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__1162_17.min1.thm12017-02-06 12:46 443  
[ ]simplex1__1164_22.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__1165_26.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__1176_18.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__1177_18.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__1179_17.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex1__1191_14.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__1192_22.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__1197_22.min1.thm12017-02-06 12:46 2.5K 
[ ]simplex1__1199_29.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__1200_47.min1.thm12017-02-06 12:46 2.4K 
[ ]simplex1__1203_21.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__1205_14.min1.thm12017-02-06 12:46 389  
[ ]simplex1__1205_14.min1.thm1.tptp2017-02-06 16:47 308  
[ ]simplex1__1232_49.min1.thm12017-02-06 12:46 530  
[ ]simplex1__1235_32.min1.thm12017-02-06 12:46 745  
[ ]simplex1__1236_20.min1.thm12017-02-06 12:46 448  
[ ]simplex1__1248_16.min1.thm12017-02-06 12:46 746  
[ ]simplex1__1249_42.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__1262_49.min1.thm12017-02-06 12:46 530  
[ ]simplex1__1267_27.min1.thm12017-02-06 12:46 745  
[ ]simplex1__1268_24.min1.thm12017-02-06 12:46 448  
[ ]simplex1__1269_27.min1.thm12017-02-06 12:46 745  
[ ]simplex1__1270_20.min1.thm12017-02-06 12:46 448  
[ ]simplex1__1271_17.min1.thm12017-02-06 12:46 921  
[ ]simplex1__1287_31.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__1288_17.min1.thm12017-02-06 12:46 760  
[ ]simplex1__1290_25.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__1291_25.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__1292_31.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__1300_14.min1.thm12017-02-06 12:46 2.9K 
[ ]simplex1__1312_64.min1.thm12017-02-06 12:46 2.5K 
[ ]simplex1__1316_23.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__1326_17.min1.thm12017-02-06 12:46 4.0K 
[ ]simplex1__1360_36.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__1361_46.min1.thm12017-02-06 12:46 853  
[ ]simplex1__1362_32.min1.thm12017-02-06 12:46 892  
[ ]simplex1__1363_37.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__1364_23.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__1366_14.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__1377_46.min1.thm12017-02-06 12:46 853  
[ ]simplex1__1382_31.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__1383_36.min1.thm12017-02-06 12:46 892  
[ ]simplex1__1384_31.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__1385_32.min1.thm12017-02-06 12:46 892  
[ ]simplex1__1386_45.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__1387_27.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__1388_23.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__1409_30.min1.thm12017-02-06 12:46 396  
[ ]simplex1__1410_29.min1.thm12017-02-06 12:46 756  
[ ]simplex1__1413_21.min1.thm12017-02-06 12:46 761  
[ ]simplex1__1413_21.min1.thm1.tptp2017-02-06 16:47 707  
[ ]simplex1__1416_15.min1.thm12017-02-06 12:46 922  
[ ]simplex1__1434_40.min1.thm12017-02-06 12:46 476  
[ ]simplex1__1440_55.min1.thm12017-02-06 12:46 511  
[ ]simplex1__1440_55.min1.thm1.tptp2017-02-06 16:47 456  
[ ]simplex1__1448_55.min1.thm12017-02-06 12:46 513  
[ ]simplex1__1448_55.min1.thm1.tptp2017-02-06 16:47 458  
[ ]simplex1__1453_28.min1.thm12017-02-06 12:46 735  
[ ]simplex1__1455_34.min1.thm12017-02-06 12:46 746  
[ ]simplex1__1456_28.min1.thm12017-02-06 12:46 735  
[ ]simplex1__1458_34.min1.thm12017-02-06 12:46 746  
[ ]simplex1__1459_25.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex1__1463_17.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__1464_18.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__1468_17.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__1483_14.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__1496_22.min1.thm12017-02-06 12:46 747  
[ ]simplex1__1496_22.min1.thm1.tptp2017-02-06 16:47 693  
[ ]simplex1__1500_54.min1.thm12017-02-06 12:46 503  
[ ]simplex1__1500_54.min1.thm1.tptp2017-02-06 16:47 448  
[ ]simplex1__1504_36.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__1505_29.min1.thm12017-02-06 12:46 811  
[ ]simplex1__1506_24.min1.thm12017-02-06 12:46 710  
[ ]simplex1__1508_24.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex1__1520_29.min1.thm12017-02-06 12:46 810  
[ ]simplex1__1521_28.min1.thm12017-02-06 12:46 708  
[ ]simplex1__1522_11.min1.thm12017-02-06 12:46 191  
[ ]simplex1__1524_23.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__1525_18.min1.thm12017-02-06 12:46 697  
[ ]simplex1__1530_22.min1.thm12017-02-06 12:46 461  
[ ]simplex1__1530_22.min1.thm1.tptp2017-02-06 16:47 384  
[ ]simplex1__1532_24.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__1536_56.min1.thm12017-02-06 12:46 523  
[ ]simplex1__1536_56.min1.thm1.tptp2017-02-06 16:47 468  
[ ]simplex1__1540_38.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__1542_26.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex1__1547_18.min1.thm12017-02-06 12:46 838  
[ ]simplex1__1547_18.min1.thm1.tptp2017-02-06 16:47 767  
[ ]simplex1__1556_33.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__1562_11.min1.thm12017-02-06 12:46 191  
[ ]simplex1__1570_18.min1.thm12017-02-06 12:46 761  
[ ]simplex1__1571_34.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__1572_40.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__1573_39.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex1__1584_27.min1.thm12017-02-06 12:46 588  
[ ]simplex1__1584_27.min1.thm1.tptp2017-02-06 16:47 517  
[ ]simplex1__1585_20.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__1586_17.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__1594_15.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__1595_24.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__1600_31.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__1603_21.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__1605_14.min1.thm12017-02-06 12:46 421  
[ ]simplex1__1605_14.min1.thm1.tptp2017-02-06 16:47 340  
[ ]simplex1__1624_51.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__1649_35.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__1650_35.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__1663_40.min1.thm12017-02-06 12:46 737  
[ ]simplex1__1664_40.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__1669_40.min1.thm12017-02-06 12:46 738  
[ ]simplex1__1670_40.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__1687_21.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__1689_26.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__1690_22.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__1691_25.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__1696_13.min1.thm12017-02-06 12:46 828  
[ ]simplex1__1698_17.min1.thm12017-02-06 12:46 378  
[ ]simplex1__1709_22.min1.thm12017-02-06 12:46 2.7K 
[ ]simplex1__1711_31.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__1718_42.min1.thm12017-02-06 12:46 675  
[ ]simplex1__1719_26.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__1720_21.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__1722_33.min1.thm12017-02-06 12:46 681  
[ ]simplex1__1723_60.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__1728_23.min1.thm12017-02-06 12:46 799  
[ ]simplex1__1734_30.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__1737_31.min1.thm12017-02-06 12:46 725  
[ ]simplex1__1740_35.min1.thm12017-02-06 12:46 2.7K 
[ ]simplex1__1741_39.min1.thm12017-02-06 12:46 2.6K 
[ ]simplex1__1770_26.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex1__1772_26.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__1792_29.min1.thm12017-02-06 12:46 3.5K 
[ ]simplex1__1793_30.min1.thm12017-02-06 12:46 2.6K 
[ ]simplex1__1798_42.min1.thm12017-02-06 12:46 675  
[ ]simplex1__1799_26.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__1800_21.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__1805_30.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__1808_31.min1.thm12017-02-06 12:46 725  
[ ]simplex1__1811_35.min1.thm12017-02-06 12:46 2.7K 
[ ]simplex1__1812_39.min1.thm12017-02-06 12:46 2.6K 
[ ]simplex1__1815_33.min1.thm12017-02-06 12:46 3.1K 
[ ]simplex1__1816_24.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__1816_24.min1.thm1.tptp2017-02-06 16:47 918  
[ ]simplex1__1818_26.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex1__1820_33.min1.thm12017-02-06 12:46 3.1K 
[ ]simplex1__1821_24.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__1821_24.min1.thm1.tptp2017-02-06 16:47 915  
[ ]simplex1__1824_23.min1.thm12017-02-06 12:46 799  
[ ]simplex1__1833_50.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__1850_25.min1.thm12017-02-06 12:46 776  
[ ]simplex1__1853_19.min1.thm12017-02-06 12:46 313  
[ ]simplex1__1853_19.min1.thm1.tptp2017-02-06 16:47 236  
[ ]simplex1__1860_17.min1.thm12017-02-06 12:46 887  
[ ]simplex1__1873_63.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex1__1884_26.min1.thm12017-02-06 12:46 635  
[ ]simplex1__1884_26.min1.thm1.tptp2017-02-06 16:47 564  
[ ]simplex1__1885_18.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__1886_17.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__1894_14.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__1895_22.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__1900_29.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__1903_21.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__1905_14.min1.thm12017-02-06 12:46 500  
[ ]simplex1__1905_14.min1.thm1.tptp2017-02-06 16:47 423  
[ ]simplex1__1927_37.min1.thm12017-02-06 12:46 842  
[ ]simplex1__1929_41.min1.thm12017-02-06 12:46 497  
[ ]simplex1__1929_41.min1.thm1.tptp2017-02-06 16:47 413  
[ ]simplex1__1931_67.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__1941_16.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex1__1945_21.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__1946_25.min1.thm12017-02-06 12:46 661  
[ ]simplex1__1953_62.min1.thm12017-02-06 12:46 646  
[ ]simplex1__1954_44.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__1965_36.min1.thm12017-02-06 12:46 296  
[ ]simplex1__1965_36.min1.thm1.tptp2017-02-06 16:47 215  
[ ]simplex1__1973_17.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__1986_28.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__1987_54.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__1988_18.min1.thm12017-02-06 12:46 4.1K 
[ ]simplex1__1990_21.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__1992_14.min1.thm12017-02-06 12:46 584  
[ ]simplex1__1992_14.min1.thm1.tptp2017-02-06 16:47 510  
[ ]simplex1__2003_19.min1.thm12017-02-06 12:46 559  
[ ]simplex1__2004_30.min1.thm12017-02-06 12:46 671  
[ ]simplex1__2005_57.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__2013_30.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__2014_18.min1.thm12017-02-06 12:46 867  
[ ]simplex1__2020_17.min1.thm12017-02-06 12:46 864  
[ ]simplex1__2046_26.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__2055_16.min1.thm12017-02-06 12:46 884  
[ ]simplex1__2062_9.min1.thm12017-02-06 12:46 2.6K 
[ ]simplex1__2063_17.min1.thm12017-02-06 12:46 952  
[ ]simplex1__2067_12.min1.thm12017-02-06 12:46 884  
[ ]simplex1__2070_17.min1.thm12017-02-06 12:46 884  
[ ]simplex1__2072_10.min1.thm12017-02-06 12:46 2.5K 
[ ]simplex1__2076_46.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex1__2081_18.min1.thm12017-02-06 12:46 426  
[ ]simplex1__2086_20.min1.thm12017-02-06 12:46 401  
[ ]simplex1__2087_11.min1.thm12017-02-06 12:46 269  
[ ]simplex1__2089_25.min1.thm12017-02-06 12:46 445  
[ ]simplex1__2090_18.min1.thm12017-02-06 12:46 403  
[ ]simplex1__2090_18.min1.thm1.tptp2017-02-06 16:47 329  
[ ]simplex1__2094_18.min1.thm12017-02-06 12:46 660  
[ ]simplex1__2113_43.min1.thm12017-02-06 12:46 596  
[ ]simplex1__2117_21.min1.thm12017-02-06 12:46 739  
[ ]simplex1__2118_19.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__2119_43.min1.thm12017-02-06 12:46 769  
[ ]simplex1__2122_25.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__2128_17.min1.thm12017-02-06 12:46 676  
[ ]simplex1__2129_19.min1.thm12017-02-06 12:46 521  
[ ]simplex1__2130_19.min1.thm12017-02-06 12:46 892  
[ ]simplex1__2146_33.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__2148_21.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__2150_12.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__2151_28.min1.thm12017-02-06 12:46 829  
[ ]simplex1__2158_44.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__2161_19.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__2175_45.min1.thm12017-02-06 12:46 395  
[ ]simplex1__2181_39.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__2190_27.min1.thm12017-02-06 12:46 3.5K 
[ ]simplex1__2201_23.min1.thm12017-02-06 12:46 274  
[ ]simplex1__2201_23.min1.thm1.tptp2017-02-06 16:47 193  
[ ]simplex1__2209_22.min1.thm12017-02-06 12:46 933  
[ ]simplex1__2210_26.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__2212_36.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__2213_35.min1.thm12017-02-06 12:46 960  
[ ]simplex1__2221_21.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__2222_29.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__2224_43.min1.thm12017-02-06 12:46 597  
[ ]simplex1__2225_21.min1.thm12017-02-06 12:46 742  
[ ]simplex1__2226_19.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__2237_53.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__2238_44.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__2240_43.min1.thm12017-02-06 12:46 755  
[ ]simplex1__2248_19.min1.thm12017-02-06 12:46 2.7K 
[ ]simplex1__2258_20.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__2282_11.min1.thm12017-02-06 12:46 275  
[ ]simplex1__2284_37.min1.thm12017-02-06 12:46 567  
[ ]simplex1__2286_17.min1.thm12017-02-06 12:46 902  
[ ]simplex1__2288_17.min1.thm12017-02-06 12:46 462  
[ ]simplex1__2292_44.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__2301_28.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__2302_22.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__2303_19.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__2315_22.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__2318_26.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__2349_30.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__2350_24.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__2351_17.min1.thm12017-02-06 12:46 617  
[ ]simplex1__2352_18.min1.thm12017-02-06 12:46 884  
[ ]simplex1__2371_19.min1.thm12017-02-06 12:46 496  
[ ]simplex1__2374_24.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__2375_17.min1.thm12017-02-06 12:46 559  
[ ]simplex1__2376_19.min1.thm12017-02-06 12:46 364  
[ ]simplex1__2376_19.min1.thm1.tptp2017-02-06 16:47 290  
[ ]simplex1__2379_24.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__2380_17.min1.thm12017-02-06 12:46 559  
[ ]simplex1__2381_19.min1.thm12017-02-06 12:46 364  
[ ]simplex1__2381_19.min1.thm1.tptp2017-02-06 16:47 290  
[ ]simplex1__2384_16.min1.thm12017-02-06 12:46 880  
[ ]simplex1__2385_19.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__2389_42.min1.thm12017-02-06 12:46 597  
[ ]simplex1__2390_22.min1.thm12017-02-06 12:46 742  
[ ]simplex1__2391_18.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__2395_16.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__2401_17.min1.thm12017-02-06 12:46 695  
[ ]simplex1__2405_11.min1.thm12017-02-06 12:46 532  
[ ]simplex1__2406_24.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__2408_32.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__2409_41.min1.thm12017-02-06 12:46 594  
[ ]simplex1__2411_28.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__2433_45.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__2444_19.min1.thm12017-02-06 12:46 723  
[ ]simplex1__2445_14.min1.thm12017-02-06 12:46 652  
[ ]simplex1__2446_18.min1.thm12017-02-06 12:46 796  
[ ]simplex1__2459_27.min1.thm12017-02-06 12:46 668  
[ ]simplex1__2460_23.min1.thm12017-02-06 12:46 789  
[ ]simplex1__2461_18.min1.thm12017-02-06 12:46 588  
[ ]simplex1__2463_51.min1.thm12017-02-06 12:46 3.6K 
[ ]simplex1__2492_24.min1.thm12017-02-06 12:46 276  
[ ]simplex1__2492_24.min1.thm1.tptp2017-02-06 16:47 195  
[ ]simplex1__2496_17.min1.thm12017-02-06 12:46 2.4K 
[ ]simplex1__2504_24.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__2510_27.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__2515_39.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__2518_29.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__2519_32.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__2525_24.min1.thm12017-02-06 12:46 818  
[ ]simplex1__2526_21.min1.thm12017-02-06 12:46 948  
[ ]simplex1__2527_15.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__2530_20.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__2533_17.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__2538_30.min1.thm12017-02-06 12:46 3.0K 
[ ]simplex1__2555_68.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__2556_41.min1.thm12017-02-06 12:46 821  
[ ]simplex1__2564_32.min1.thm12017-02-06 12:46 2.7K 
[ ]simplex1__2567_41.min1.thm12017-02-06 12:46 597  
[ ]simplex1__2573_43.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__2586_18.min1.thm12017-02-06 12:46 271  
[ ]simplex1__2587_23.min1.thm12017-02-06 12:46 772  
[ ]simplex1__2588_20.min1.thm12017-02-06 12:46 775  
[ ]simplex1__2590_18.min1.thm12017-02-06 12:46 739  
[ ]simplex1__2591_18.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__2595_10.min1.thm12017-02-06 12:46 728  
[ ]simplex1__2600_12.min1.thm12017-02-06 12:46 203  
[ ]simplex1__2602_37.min1.thm12017-02-06 12:46 554  
[ ]simplex1__2604_48.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__2608_11.min1.thm12017-02-06 12:46 934  
[ ]simplex1__2609_19.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__2614_25.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__2616_21.min1.thm12017-02-06 12:46 952  
[ ]simplex1__2620_24.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__2621_17.min1.thm12017-02-06 12:46 616  
[ ]simplex1__2624_26.min1.thm12017-02-06 12:46 302  
[ ]simplex1__2631_29.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__2632_18.min1.thm12017-02-06 12:46 480  
[ ]simplex1__2639_44.min1.thm12017-02-06 12:46 788  
[ ]simplex1__2640_16.min1.thm12017-02-06 12:46 808  
[ ]simplex1__2641_38.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__2642_25.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__2644_23.min1.thm12017-02-06 12:46 786  
[ ]simplex1__2649_40.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__2660_21.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__2661_15.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__2664_44.min1.thm12017-02-06 12:46 943  
[ ]simplex1__2665_22.min1.thm12017-02-06 12:46 479  
[ ]simplex1__2666_37.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__2670_23.min1.thm12017-02-06 12:46 307  
[ ]simplex1__2671_23.min1.thm12017-02-06 12:46 394  
[ ]simplex1__2671_23.min1.thm1.tptp2017-02-06 16:47 344  
[ ]simplex1__2672_42.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__2677_22.min1.thm12017-02-06 12:46 921  
[ ]simplex1__2683_29.min1.thm12017-02-06 12:46 793  
[ ]simplex1__2686_17.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__2692_29.min1.thm12017-02-06 12:46 793  
[ ]simplex1__2695_13.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__2696_18.min1.thm12017-02-06 12:46 936  
[ ]simplex1__2704_17.min1.thm12017-02-06 12:46 806  
[ ]simplex1__2705_16.min1.thm12017-02-06 12:46 607  
[ ]simplex1__2709_17.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__2710_16.min1.thm12017-02-06 12:46 607  
[ ]simplex1__2721_13.min1.thm12017-02-06 12:46 918  
[ ]simplex1__2722_18.min1.thm12017-02-06 12:46 936  
[ ]simplex1__2730_17.min1.thm12017-02-06 12:46 810  
[ ]simplex1__2731_16.min1.thm12017-02-06 12:46 611  
[ ]simplex1__2735_17.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__2736_16.min1.thm12017-02-06 12:46 611  
[ ]simplex1__2748_29.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__2754_39.min1.thm12017-02-06 12:46 741  
[ ]simplex1__2755_15.min1.thm12017-02-06 12:46 591  
[ ]simplex1__2757_31.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__2758_19.min1.thm12017-02-06 12:46 870  
[ ]simplex1__2758_19.min1.thm1.tptp2017-02-06 16:47 796  
[ ]simplex1__2761_36.min1.thm12017-02-06 12:46 635  
[ ]simplex1__2762_19.min1.thm12017-02-06 12:46 488  
[ ]simplex1__2765_28.min1.thm12017-02-06 12:46 708  
[ ]simplex1__2767_28.min1.thm12017-02-06 12:46 658  
[ ]simplex1__2771_14.min1.thm12017-02-06 12:46 920  
[ ]simplex1__2772_34.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__2773_18.min1.thm12017-02-06 12:46 468  
[ ]simplex1__2774_19.min1.thm12017-02-06 12:46 715  
[ ]simplex1__2775_31.min1.thm12017-02-06 12:46 958  
[ ]simplex1__2776_19.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__2795_26.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex1__2801_24.min1.thm12017-02-06 12:46 277  
[ ]simplex1__2801_24.min1.thm1.tptp2017-02-06 16:47 196  
[ ]simplex1__2805_17.min1.thm12017-02-06 12:46 2.4K 
[ ]simplex1__2814_18.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__2815_18.min1.thm12017-02-06 12:46 355  
[ ]simplex1__2815_18.min1.thm1.tptp2017-02-06 16:47 290  
[ ]simplex1__2816_27.min1.thm12017-02-06 12:46 527  
[ ]simplex1__2817_23.min1.thm12017-02-06 12:46 689  
[ ]simplex1__2819_41.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__2826_29.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__2828_25.min1.thm12017-02-06 12:46 746  
[ ]simplex1__2829_24.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__2832_30.min1.thm12017-02-06 12:46 516  
[ ]simplex1__2837_16.min1.thm12017-02-06 12:46 385  
[ ]simplex1__2837_16.min1.thm1.tptp2017-02-06 16:47 303  
[ ]simplex1__2839_20.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__2845_36.min1.thm12017-02-06 12:46 709  
[ ]simplex1__2850_29.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__2851_27.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__2852_27.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__2855_32.min1.thm12017-02-06 12:46 546  
[ ]simplex1__2860_20.min1.thm12017-02-06 12:46 571  
[ ]simplex1__2863_26.min1.thm12017-02-06 12:46 497  
[ ]simplex1__2866_18.min1.thm12017-02-06 12:46 447  
[ ]simplex1__2867_30.min1.thm12017-02-06 12:46 891  
[ ]simplex1__2868_21.min1.thm12017-02-06 12:46 928  
[ ]simplex1__2872_26.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__2878_19.min1.thm12017-02-06 12:46 654  
[ ]simplex1__2881_24.min1.thm12017-02-06 12:46 730  
[ ]simplex1__2882_27.min1.thm12017-02-06 12:46 3.1K 
[ ]simplex1__2889_21.min1.thm12017-02-06 12:46 943  
[ ]simplex1__2892_16.min1.thm12017-02-06 12:46 943  
[ ]simplex1__2899_22.min1.thm12017-02-06 12:46 771  
[ ]simplex1__2902_22.min1.thm12017-02-06 12:46 771  
[ ]simplex1__2905_20.min1.thm12017-02-06 12:46 878  
[ ]simplex1__2908_20.min1.thm12017-02-06 12:46 878  
[ ]simplex1__2913_16.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__2914_20.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex1__2933_26.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex1__2935_23.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__2936_22.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__2937_17.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__2948_39.min1.thm12017-02-06 12:46 392  
[ ]simplex1__2949_30.min1.thm12017-02-06 12:46 631  
[ ]simplex1__2949_30.min1.thm1.tptp2017-02-06 16:47 560  
[ ]simplex1__2950_18.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__2951_38.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__2952_28.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__2954_47.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__2956_11.min1.thm12017-02-06 12:46 2.5K 
[ ]simplex1__2961_42.min1.thm12017-02-06 12:46 900  
[ ]simplex1__2972_39.min1.thm12017-02-06 12:46 510  
[ ]simplex1__2984_12.min1.thm12017-02-06 12:46 197  
[ ]simplex1__2991_28.min1.thm12017-02-06 12:46 2.9K 
[ ]simplex1__2993_28.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__2995_20.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex1__2996_19.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__3000_17.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3015_44.min1.thm12017-02-06 12:46 814  
[ ]simplex1__3016_18.min1.thm12017-02-06 12:46 740  
[ ]simplex1__3017_30.min1.thm12017-02-06 12:46 631  
[ ]simplex1__3017_30.min1.thm1.tptp2017-02-06 16:47 560  
[ ]simplex1__3018_22.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__3019_33.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3020_22.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__3026_38.min1.thm12017-02-06 12:46 909  
[ ]simplex1__3027_39.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__3028_40.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex1__3029_72.min1.thm12017-02-06 12:46 2.7K 
[ ]simplex1__3033_18.min1.thm12017-02-06 12:46 5.2K 
[ ]simplex1__3036_43.min1.thm12017-02-06 12:46 609  
[ ]simplex1__3040_27.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__3042_36.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex1__3043_64.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3045_43.min1.thm12017-02-06 12:46 958  
[ ]simplex1__3053_40.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__3054_47.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3055_22.min1.thm12017-02-06 12:46 624  
[ ]simplex1__3056_32.min1.thm12017-02-06 12:46 490  
[ ]simplex1__3057_65.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__3070_28.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3095_25.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__3096_63.min1.thm12017-02-06 12:46 2.6K 
[ ]simplex1__3098_42.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__3100_18.min1.thm12017-02-06 12:46 3.1K 
[ ]simplex1__3102_78.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__3106_26.min1.thm12017-02-06 12:46 632  
[ ]simplex1__3106_26.min1.thm1.tptp2017-02-06 16:47 561  
[ ]simplex1__3107_18.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__3108_36.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3110_47.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__3112_16.min1.thm12017-02-06 12:46 2.5K 
[ ]simplex1__3134_43.min1.thm12017-02-06 12:46 609  
[ ]simplex1__3141_42.min1.thm12017-02-06 12:46 2.4K 
[ ]simplex1__3143_18.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__3150_13.min1.thm12017-02-06 12:46 271  
[ ]simplex1__3151_43.min1.thm12017-02-06 12:46 2.4K 
[ ]simplex1__3152_20.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__3155_17.min1.thm12017-02-06 12:46 3.2K 
[ ]simplex1__3168_24.min1.thm12017-02-06 12:46 815  
[ ]simplex1__3169_47.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__3170_78.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__3172_41.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3173_14.min1.thm12017-02-06 12:46 2.4K 
[ ]simplex1__3177_18.min1.thm12017-02-06 12:46 3.4K 
[ ]simplex1__3181_26.min1.thm12017-02-06 12:46 632  
[ ]simplex1__3181_26.min1.thm1.tptp2017-02-06 16:47 561  
[ ]simplex1__3182_18.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__3183_36.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3185_11.min1.thm12017-02-06 12:46 2.5K 
[ ]simplex1__3187_47.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__3189_15.min1.thm12017-02-06 12:46 2.5K 
[ ]simplex1__3211_43.min1.thm12017-02-06 12:46 609  
[ ]simplex1__3218_42.min1.thm12017-02-06 12:46 2.4K 
[ ]simplex1__3220_18.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__3228_17.min1.thm12017-02-06 12:46 802  
[ ]simplex1__3250_29.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__3251_26.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__3252_27.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3258_21.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3260_19.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__3264_23.min1.thm12017-02-06 12:46 274  
[ ]simplex1__3264_23.min1.thm1.tptp2017-02-06 16:47 193  
[ ]simplex1__3266_38.min1.thm12017-02-06 12:46 852  
[ ]simplex1__3269_26.min1.thm12017-02-06 12:46 632  
[ ]simplex1__3269_26.min1.thm1.tptp2017-02-06 16:47 561  
[ ]simplex1__3270_23.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__3271_36.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__3274_29.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__3275_32.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3276_11.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__3278_24.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__3280_41.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__3284_52.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__3292_46.min1.thm12017-02-06 12:46 2.7K 
[ ]simplex1__3293_26.min1.thm12017-02-06 12:46 3.0K 
[ ]simplex1__3304_42.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__3305_30.min1.thm12017-02-06 12:46 4.4K 
[ ]simplex1__3309_43.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__3310_18.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__3315_17.min1.thm12017-02-06 12:46 714  
[ ]simplex1__3321_46.min1.thm12017-02-06 12:46 327  
[ ]simplex1__3321_46.min1.thm1.tptp2017-02-06 16:47 244  
[ ]simplex1__3331_32.min1.thm12017-02-06 12:46 795  
[ ]simplex1__3332_49.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3333_23.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__3335_24.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__3336_27.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__3337_26.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3338_33.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__3340_15.min1.thm12017-02-06 12:46 2.6K 
[ ]simplex1__3345_31.min1.thm12017-02-06 12:46 877  
[ ]simplex1__3349_24.min1.thm12017-02-06 12:46 506  
[ ]simplex1__3349_24.min1.thm1.tptp2017-02-06 16:47 451  
[ ]simplex1__3350_16.min1.thm12017-02-06 12:46 641  
[ ]simplex1__3356_16.min1.thm12017-02-06 12:46 555  
[ ]simplex1__3356_16.min1.thm1.tptp2017-02-06 16:47 499  
[ ]simplex1__3360_31.min1.thm12017-02-06 12:46 3.0K 
[ ]simplex1__3361_29.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__3365_7.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__3370_66.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3372_34.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__3376_19.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__3378_66.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3380_34.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__3383_24.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__3386_20.min1.thm12017-02-06 12:46 2.4K 
[ ]simplex1__3387_18.min1.thm12017-02-06 12:46 474  
[ ]simplex1__3394_45.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__3405_20.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__3408_28.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex1__3409_27.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__3417_31.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__3420_24.min1.thm12017-02-06 12:46 511  
[ ]simplex1__3421_29.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__3422_27.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__3423_26.min1.thm12017-02-06 12:46 2.5K 
[ ]simplex1__3424_40.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__3431_26.min1.thm12017-02-06 12:46 3.0K 
[ ]simplex1__3432_24.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__3436_7.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__3441_39.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3442_38.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__3443_22.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__3450_18.min1.thm12017-02-06 12:46 368  
[ ]simplex1__3450_18.min1.thm1.tptp2017-02-06 16:47 294  
[ ]simplex1__3451_47.min1.thm12017-02-06 12:46 807  
[ ]simplex1__3452_18.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__3456_21.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__3460_21.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__3461_23.min1.thm12017-02-06 12:46 3.3K 
[ ]simplex1__3467_28.min1.thm12017-02-06 12:46 752  
[ ]simplex1__3468_22.min1.thm12017-02-06 12:46 295  
[ ]simplex1__3469_41.min1.thm12017-02-06 12:46 861  
[ ]simplex1__3488_40.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__3489_26.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3500_31.min1.thm12017-02-06 12:46 476  
[ ]simplex1__3500_31.min1.thm1.tptp2017-02-06 16:47 410  
[ ]simplex1__3507_37.min1.thm12017-02-06 12:46 931  
[ ]simplex1__3508_22.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__3523_28.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__3526_29.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3528_26.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__3536_21.min1.thm12017-02-06 12:46 460  
[ ]simplex1__3536_21.min1.thm1.tptp2017-02-06 16:47 393  
[ ]simplex1__3537_15.min1.thm12017-02-06 12:46 505  
[ ]simplex1__3537_15.min1.thm1.tptp2017-02-06 16:47 440  
[ ]simplex1__3545_28.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__3556_20.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__3559_28.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex1__3560_26.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__3568_30.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__3571_24.min1.thm12017-02-06 12:46 493  
[ ]simplex1__3572_28.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__3573_26.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__3579_20.min1.thm12017-02-06 12:46 2.5K 
[ ]simplex1__3581_25.min1.thm12017-02-06 12:46 3.0K 
[ ]simplex1__3582_23.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__3586_6.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__3590_26.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__3591_21.min1.thm12017-02-06 12:46 722  
[ ]simplex1__3597_24.min1.thm12017-02-06 12:46 3.3K 
[ ]simplex1__3607_20.min1.thm12017-02-06 12:46 377  
[ ]simplex1__3607_20.min1.thm1.tptp2017-02-06 16:47 303  
[ ]simplex1__3608_48.min1.thm12017-02-06 12:46 822  
[ ]simplex1__3611_25.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__3613_22.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__3618_30.min1.thm12017-02-06 12:46 756  
[ ]simplex1__3619_24.min1.thm12017-02-06 12:46 301  
[ ]simplex1__3620_42.min1.thm12017-02-06 12:46 877  
[ ]simplex1__3633_13.min1.thm12017-02-06 12:46 782  
[ ]simplex1__3639_42.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__3640_28.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__3651_32.min1.thm12017-02-06 12:46 484  
[ ]simplex1__3651_32.min1.thm1.tptp2017-02-06 16:47 418  
[ ]simplex1__3653_31.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__3667_29.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__3670_30.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3672_27.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__3684_24.min1.thm12017-02-06 12:46 534  
[ ]simplex1__3684_24.min1.thm1.tptp2017-02-06 16:47 479  
[ ]simplex1__3685_15.min1.thm12017-02-06 12:46 663  
[ ]simplex1__3690_15.min1.thm12017-02-06 12:46 577  
[ ]simplex1__3690_15.min1.thm1.tptp2017-02-06 16:47 521  
[ ]simplex1__3714_28.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__3715_32.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__3717_26.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex1__3718_18.min1.thm12017-02-06 12:46 2.6K 
[ ]simplex1__3723_18.min1.thm12017-02-06 12:46 946  
[ ]simplex1__3724_19.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__3738_43.min1.thm12017-02-06 12:46 596  
[ ]simplex1__3739_25.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__3741_24.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__3750_39.min1.thm12017-02-06 12:46 853  
[ ]simplex1__3752_21.min1.thm12017-02-06 12:46 437  
[ ]simplex1__3760_37.min1.thm12017-02-06 12:46 292  
[ ]simplex1__3760_37.min1.thm1.tptp2017-02-06 16:47 211  
[ ]simplex1__3767_13.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__3768_17.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__3769_19.min1.thm12017-02-06 12:46 855  
[ ]simplex1__3774_23.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__3777_14.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex1__3779_18.min1.thm12017-02-06 12:46 681  
[ ]simplex1__3805_35.min1.thm12017-02-06 12:46 448  
[ ]simplex1__3806_35.min1.thm12017-02-06 12:46 345  
[ ]simplex1__3821_17.min1.thm12017-02-06 12:46 313  
[ ]simplex1__3821_17.min1.thm1.tptp2017-02-06 16:47 236  
[ ]simplex1__3822_34.min1.thm12017-02-06 12:46 578  
[ ]simplex1__3828_41.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__3829_11.min1.thm12017-02-06 12:46 584  
[ ]simplex1__3841_62.min1.thm12017-02-06 12:46 2.8K 
[ ]simplex1__3848_19.min1.thm12017-02-06 12:46 679  
[ ]simplex1__3854_18.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__3861_40.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__3862_10.min1.thm12017-02-06 12:46 648  
[ ]simplex1__3863_35.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__3864_12.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__3866_17.min1.thm12017-02-06 12:46 590  
[ ]simplex1__3868_14.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__3870_34.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__3872_18.min1.thm12017-02-06 12:46 445  
[ ]simplex1__3875_20.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__3876_22.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__3877_20.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__3878_20.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__3879_22.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__3887_36.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__3889_12.min1.thm12017-02-06 12:46 887  
[ ]simplex1__3891_20.min1.thm12017-02-06 12:46 895  
[ ]simplex1__3893_19.min1.thm12017-02-06 12:46 2.4K 
[ ]simplex1__3894_11.min1.thm12017-02-06 12:46 3.1K 
[ ]simplex1__3896_18.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__3904_40.min1.thm12017-02-06 12:46 863  
[ ]simplex1__3905_37.min1.thm12017-02-06 12:46 300  
[ ]simplex1__3905_37.min1.thm1.tptp2017-02-06 16:47 219  
[ ]simplex1__3906_43.min1.thm12017-02-06 12:46 612  
[ ]simplex1__3931_25.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__3932_15.min1.thm12017-02-06 12:46 841  
[ ]simplex1__3936_19.min1.thm12017-02-06 12:46 569  
[ ]simplex1__3938_16.min1.thm12017-02-06 12:46 878  
[ ]simplex1__3940_13.min1.thm12017-02-06 12:46 782  
[ ]simplex1__3941_22.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex1__3942_22.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__3954_36.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__3957_28.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__3964_18.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex1__3976_31.min1.thm12017-02-06 12:46 670  
[ ]simplex1__3977_30.min1.thm12017-02-06 12:46 681  
[ ]simplex1__3978_28.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__3984_14.min1.thm12017-02-06 12:46 213  
[ ]simplex1__3989_29.min1.thm12017-02-06 12:46 347  
[ ]simplex1__3989_29.min1.thm1.tptp2017-02-06 16:47 270  
[ ]simplex1__3992_21.min1.thm12017-02-06 12:46 431  
[ ]simplex1__3995_26.min1.thm12017-02-06 12:46 857  
[ ]simplex1__4000_32.min1.thm12017-02-06 12:46 686  
[ ]simplex1__4001_31.min1.thm12017-02-06 12:46 705  
[ ]simplex1__4005_24.min1.thm12017-02-06 12:46 820  
[ ]simplex1__4006_30.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__4007_22.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__4009_27.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__4014_33.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__4015_41.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__4016_33.min1.thm12017-02-06 12:46 686  
[ ]simplex1__4017_28.min1.thm12017-02-06 12:46 686  
[ ]simplex1__4018_30.min1.thm12017-02-06 12:46 928  
[ ]simplex1__4019_15.min1.thm12017-02-06 12:46 707  
[ ]simplex1__4022_33.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__4023_21.min1.thm12017-02-06 12:46 489  
[ ]simplex1__4032_30.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__4033_21.min1.thm12017-02-06 12:46 863  
[ ]simplex1__4045_36.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__4048_28.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__4052_22.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex1__4056_44.min1.thm12017-02-06 12:46 2.4K 
[ ]simplex1__4063_32.min1.thm12017-02-06 12:46 918  
[ ]simplex1__4089_31.min1.thm12017-02-06 12:46 2.7K 
[ ]simplex1__4106_16.min1.thm12017-02-06 12:46 857  
[ ]simplex1__4122_27.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__4127_19.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__4136_23.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__4137_29.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__4138_22.min1.thm12017-02-06 12:46 389  
[ ]simplex1__4138_22.min1.thm1.tptp2017-02-06 16:47 324  
[ ]simplex1__4142_18.min1.thm12017-02-06 12:46 2.5K 
[ ]simplex1__4151_27.min1.thm12017-02-06 12:46 340  
[ ]simplex1__4154_27.min1.thm12017-02-06 12:46 427  
[ ]simplex1__4154_27.min1.thm1.tptp2017-02-06 16:47 377  
[ ]simplex1__4158_21.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__4160_21.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__4168_17.min1.thm12017-02-06 12:46 892  
[ ]simplex1__4172_12.min1.thm12017-02-06 12:46 397  
[ ]simplex1__4172_12.min1.thm1.tptp2017-02-06 16:47 332  
[ ]simplex1__4173_19.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__4174_28.min1.thm12017-02-06 12:46 2.4K 
[ ]simplex1__4179_21.min1.thm12017-02-06 12:46 412  
[ ]simplex1__4179_21.min1.thm1.tptp2017-02-06 16:47 334  
[ ]simplex1__4185_31.min1.thm12017-02-06 12:46 2.8K 
[ ]simplex1__4191_30.min1.thm12017-02-06 12:46 1.6K 
[ ]simplex1__4192_22.min1.thm12017-02-06 12:46 486  
[ ]simplex1__4192_22.min1.thm1.tptp2017-02-06 16:47 418  
[ ]simplex1__4193_32.min1.thm12017-02-06 12:46 820  
[ ]simplex1__4196_30.min1.thm12017-02-06 12:46 384  
[ ]simplex1__4197_35.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__4198_24.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__4199_18.min1.thm12017-02-06 12:46 778  
[ ]simplex1__4200_22.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__4202_17.min1.thm12017-02-06 12:46 300  
[ ]simplex1__4203_31.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__4207_18.min1.thm12017-02-06 12:46 773  
[ ]simplex1__4210_15.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__4212_22.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex1__4216_15.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__4218_22.min1.thm12017-02-06 12:46 2.0K 
[ ]simplex1__4223_26.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__4224_26.min1.thm12017-02-06 12:46 465  
[ ]simplex1__4224_26.min1.thm1.tptp2017-02-06 16:47 400  
[ ]simplex1__4225_26.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__4226_26.min1.thm12017-02-06 12:46 465  
[ ]simplex1__4226_26.min1.thm1.tptp2017-02-06 16:47 400  
[ ]simplex1__4232_15.min1.thm12017-02-06 12:46 248  
[ ]simplex1__4235_22.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__4243_22.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__4252_15.min1.thm12017-02-06 12:46 248  
[ ]simplex1__4255_22.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__4263_22.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__4267_21.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__4272_21.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__4276_29.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex1__4277_34.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__4279_28.min1.thm12017-02-06 12:46 2.2K 
[ ]simplex1__4280_20.min1.thm12017-02-06 12:46 525  
[ ]simplex1__4282_21.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__4291_22.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__4296_35.min1.thm12017-02-06 12:46 2.1K 
[ ]simplex1__4298_18.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__4301_20.min1.thm12017-02-06 12:46 3.1K 
[ ]simplex1__4302_21.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__4303_13.min1.thm12017-02-06 12:46 2.7K 
[ ]simplex1__4305_28.min1.thm12017-02-06 12:46 2.4K 
[ ]simplex1__4313_61.min1.thm12017-02-06 12:46 2.6K 
[ ]simplex1__4316_20.min1.thm12017-02-06 12:46 782  
[ ]simplex1__4318_23.min1.thm12017-02-06 12:46 590  
[ ]simplex1__4324_26.min1.thm12017-02-06 12:46 1.1K 
[ ]simplex1__4326_15.min1.thm12017-02-06 12:46 846  
[ ]simplex1__4330_16.min1.thm12017-02-06 12:46 882  
[ ]simplex1__4343_26.min1.thm12017-02-06 12:46 931  
[ ]simplex1__4344_22.min1.thm12017-02-06 12:46 892  
[ ]simplex1__4349_23.min1.thm12017-02-06 12:46 2.6K 
[ ]simplex1__4351_20.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__4352_30.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__4353_12.min1.thm12017-02-06 12:46 490  
[ ]simplex1__4354_25.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__4355_30.min1.thm12017-02-06 12:46 2.3K 
[ ]simplex1__4356_19.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__4358_25.min1.thm12017-02-06 12:46 3.6K 
[ ]simplex1__4359_14.min1.thm12017-02-06 12:46 3.6K 
[ ]simplex1__4360_17.min1.thm12017-02-06 12:46 682  
[ ]simplex1__4361_21.min1.thm12017-02-06 12:46 399  
[ ]simplex1__4361_21.min1.thm1.tptp2017-02-06 16:47 334  
[ ]simplex1__4363_31.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__4364_26.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__4365_25.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__4366_26.min1.thm12017-02-06 12:46 820  
[ ]simplex1__4367_20.min1.thm12017-02-06 12:46 580  
[ ]simplex1__4367_20.min1.thm1.tptp2017-02-06 16:47 501  
[ ]simplex1__4370_20.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__4371_17.min1.thm12017-02-06 12:46 939  
[ ]simplex1__4388_19.min1.thm12017-02-06 12:46 377  
[ ]simplex1__4388_19.min1.thm1.tptp2017-02-06 16:47 303  
[ ]simplex1__4389_44.min1.thm12017-02-06 12:46 872  
[ ]simplex1__4390_18.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__4401_25.min1.thm12017-02-06 12:46 1.3K 
[ ]simplex1__4404_28.min1.thm12017-02-06 12:46 804  
[ ]simplex1__4405_23.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__4409_27.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__4417_43.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__4427_27.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__4431_25.min1.thm12017-02-06 12:46 715  
[ ]simplex1__4444_25.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__4450_30.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__4451_27.min1.thm12017-02-06 12:46 867  
[ ]simplex1__4456_20.min1.thm12017-02-06 12:46 947  
[ ]simplex1__4466_25.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__4467_21.min1.thm12017-02-06 12:46 857  
[ ]simplex1__4470_19.min1.thm12017-02-06 12:46 894  
[ ]simplex1__4486_24.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__4490_23.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__4493_29.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__4496_38.min1.thm12017-02-06 12:46 1.7K 
[ ]simplex1__4497_33.min1.thm12017-02-06 12:46 1.5K 
[ ]simplex1__4513_16.min1.thm12017-02-06 12:46 751  
[ ]simplex1__4521_19.min1.thm12017-02-06 12:46 1.0K 
[ ]simplex1__4522_18.min1.thm12017-02-06 12:46 1.4K 
[ ]simplex1__4523_22.min1.thm12017-02-06 12:46 879  
[ ]simplex1__4532_14.min1.thm12017-02-06 12:46 2.8K 
[ ]simplex1__4534_22.min1.thm12017-02-06 12:46 940  
[ ]simplex1__4535_19.min1.thm12017-02-06 12:46 892  
[ ]simplex1__4537_17.min1.thm12017-02-06 12:46 442  
[ ]simplex1__4538_42.min1.thm12017-02-06 12:46 1.8K 
[ ]simplex1__4539_19.min1.thm12017-02-06 12:46 1.9K 
[ ]simplex1__4542_16.min1.thm12017-02-06 12:46 1.2K 
[ ]simplex1__4562_14.min1.thm12017-02-06 12:46 433  
[ ]simplex1__4562_14.min1.thm1.tptp2017-02-06 16:47 356  
[ ]simplex1__4563_75.min1.thm12017-02-06 12:46 2.8K 
[ ]simplex1__4565_14.min1.thm12017-02-06 12:46 1.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80