Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/trees_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]trees_1__64_22.min1.thm12017-02-06 12:45 573  
[ ]trees_1__65_39.min1.thm12017-02-06 12:45 468  
[ ]trees_1__67_20.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__69_18.min1.thm12017-02-06 12:45 466  
[ ]trees_1__69_18.min1.thm1.tptp2017-02-06 16:46 397  
[ ]trees_1__86_35.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__98_14.min1.thm12017-02-06 12:45 774  
[ ]trees_1__99_25.min1.thm12017-02-06 12:45 839  
[ ]trees_1__101_17.min1.thm12017-02-06 12:45 562  
[ ]trees_1__111_33.min1.thm12017-02-06 12:45 622  
[ ]trees_1__112_25.min1.thm12017-02-06 12:45 847  
[ ]trees_1__113_15.min1.thm12017-02-06 12:45 587  
[ ]trees_1__114_19.min1.thm12017-02-06 12:45 643  
[ ]trees_1__116_13.min1.thm12017-02-06 12:45 285  
[ ]trees_1__129_33.min1.thm12017-02-06 12:45 599  
[ ]trees_1__131_16.min1.thm12017-02-06 12:45 906  
[ ]trees_1__132_15.min1.thm12017-02-06 12:45 430  
[ ]trees_1__133_17.min1.thm12017-02-06 12:45 377  
[ ]trees_1__143_14.min1.thm12017-02-06 12:45 314  
[ ]trees_1__146_19.min1.thm12017-02-06 12:45 564  
[ ]trees_1__150_19.min1.thm12017-02-06 12:45 564  
[ ]trees_1__161_33.min1.thm12017-02-06 12:45 620  
[ ]trees_1__162_25.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__163_18.min1.thm12017-02-06 12:45 585  
[ ]trees_1__164_19.min1.thm12017-02-06 12:45 639  
[ ]trees_1__174_23.min1.thm12017-02-06 12:45 524  
[ ]trees_1__175_26.min1.thm12017-02-06 12:45 338  
[ ]trees_1__175_26.min1.thm1.tptp2017-02-06 16:46 264  
[ ]trees_1__176_17.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__184_23.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_1__185_22.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__186_31.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__188_40.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__189_37.min1.thm12017-02-06 12:45 930  
[ ]trees_1__190_29.min1.thm12017-02-06 12:45 735  
[ ]trees_1__200_17.min1.thm12017-02-06 12:45 788  
[ ]trees_1__201_28.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__202_37.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_1__204_40.min1.thm12017-02-06 12:45 916  
[ ]trees_1__205_37.min1.thm12017-02-06 12:45 930  
[ ]trees_1__206_29.min1.thm12017-02-06 12:45 735  
[ ]trees_1__217_32.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_1__218_30.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_1__221_25.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_1__223_17.min1.thm12017-02-06 12:45 914  
[ ]trees_1__232_33.min1.thm12017-02-06 12:45 927  
[ ]trees_1__234_33.min1.thm12017-02-06 12:45 770  
[ ]trees_1__259_32.min1.thm12017-02-06 12:45 531  
[ ]trees_1__263_25.min1.thm12017-02-06 12:45 346  
[ ]trees_1__263_25.min1.thm1.tptp2017-02-06 16:46 272  
[ ]trees_1__264_31.min1.thm12017-02-06 12:45 798  
[ ]trees_1__265_22.min1.thm12017-02-06 12:45 572  
[ ]trees_1__266_44.min1.thm12017-02-06 12:45 678  
[ ]trees_1__267_14.min1.thm12017-02-06 12:45 492  
[ ]trees_1__268_19.min1.thm12017-02-06 12:45 890  
[ ]trees_1__278_23.min1.thm12017-02-06 12:45 442  
[ ]trees_1__279_23.min1.thm12017-02-06 12:45 442  
[ ]trees_1__290_64.min1.thm12017-02-06 12:45 664  
[ ]trees_1__291_14.min1.thm12017-02-06 12:45 349  
[ ]trees_1__303_63.min1.thm12017-02-06 12:45 789  
[ ]trees_1__304_16.min1.thm12017-02-06 12:45 310  
[ ]trees_1__306_16.min1.thm12017-02-06 12:45 690  
[ ]trees_1__314_35.min1.thm12017-02-06 12:45 691  
[ ]trees_1__315_17.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__325_27.min1.thm12017-02-06 12:45 927  
[ ]trees_1__326_31.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__327_34.min1.thm12017-02-06 12:45 477  
[ ]trees_1__328_17.min1.thm12017-02-06 12:45 691  
[ ]trees_1__335_37.min1.thm12017-02-06 12:45 2.2K 
[ ]trees_1__336_30.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_1__351_36.min1.thm12017-02-06 12:45 816  
[ ]trees_1__352_24.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__353_27.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_1__355_19.min1.thm12017-02-06 12:45 399  
[ ]trees_1__359_18.min1.thm12017-02-06 12:45 323  
[ ]trees_1__359_18.min1.thm1.tptp2017-02-06 16:46 258  
[ ]trees_1__360_27.min1.thm12017-02-06 12:45 234  
[ ]trees_1__361_39.min1.thm12017-02-06 12:45 554  
[ ]trees_1__362_17.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__374_41.min1.thm12017-02-06 12:45 590  
[ ]trees_1__375_29.min1.thm12017-02-06 12:45 756  
[ ]trees_1__376_34.min1.thm12017-02-06 12:45 421  
[ ]trees_1__377_17.min1.thm12017-02-06 12:45 756  
[ ]trees_1__387_69.min1.thm12017-02-06 12:45 785  
[ ]trees_1__390_69.min1.thm12017-02-06 12:45 785  
[ ]trees_1__391_22.min1.thm12017-02-06 12:45 396  
[ ]trees_1__391_22.min1.thm1.tptp2017-02-06 16:46 331  
[ ]trees_1__393_18.min1.thm12017-02-06 12:45 766  
[ ]trees_1__394_22.min1.thm12017-02-06 12:45 396  
[ ]trees_1__394_22.min1.thm1.tptp2017-02-06 16:46 331  
[ ]trees_1__396_18.min1.thm12017-02-06 12:45 766  
[ ]trees_1__400_23.min1.thm12017-02-06 12:45 708  
[ ]trees_1__401_20.min1.thm12017-02-06 12:45 827  
[ ]trees_1__402_27.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__403_19.min1.thm12017-02-06 12:45 342  
[ ]trees_1__403_19.min1.thm1.tptp2017-02-06 16:46 268  
[ ]trees_1__408_23.min1.thm12017-02-06 12:45 708  
[ ]trees_1__409_20.min1.thm12017-02-06 12:45 827  
[ ]trees_1__410_27.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__411_19.min1.thm12017-02-06 12:45 342  
[ ]trees_1__411_19.min1.thm1.tptp2017-02-06 16:46 268  
[ ]trees_1__413_17.min1.thm12017-02-06 12:45 908  
[ ]trees_1__436_20.min1.thm12017-02-06 12:45 347  
[ ]trees_1__436_20.min1.thm1.tptp2017-02-06 16:46 282  
[ ]trees_1__437_21.min1.thm12017-02-06 12:45 412  
[ ]trees_1__443_20.min1.thm12017-02-06 12:45 347  
[ ]trees_1__443_20.min1.thm1.tptp2017-02-06 16:46 282  
[ ]trees_1__444_21.min1.thm12017-02-06 12:45 392  
[ ]trees_1__446_18.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_1__455_15.min1.thm12017-02-06 12:45 548  
[ ]trees_1__468_14.min1.thm12017-02-06 12:45 717  
[ ]trees_1__468_14.min1.thm1.tptp2017-02-06 16:46 679  
[ ]trees_1__469_17.min1.thm12017-02-06 12:45 856  
[ ]trees_1__475_14.min1.thm12017-02-06 12:45 585  
[ ]trees_1__485_37.min1.thm12017-02-06 12:45 543  
[ ]trees_1__486_28.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__487_38.min1.thm12017-02-06 12:45 362  
[ ]trees_1__487_38.min1.thm1.tptp2017-02-06 16:46 290  
[ ]trees_1__488_39.min1.thm12017-02-06 12:45 755  
[ ]trees_1__489_17.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__498_50.min1.thm12017-02-06 12:45 588  
[ ]trees_1__499_53.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_1__500_25.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__502_25.min1.thm12017-02-06 12:45 2.1K 
[ ]trees_1__506_26.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_1__507_21.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__515_34.min1.thm12017-02-06 12:45 399  
[ ]trees_1__516_33.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__517_25.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__518_19.min1.thm12017-02-06 12:45 740  
[ ]trees_1__520_17.min1.thm12017-02-06 12:45 468  
[ ]trees_1__526_57.min1.thm12017-02-06 12:45 513  
[ ]trees_1__527_10.min1.thm12017-02-06 12:45 679  
[ ]trees_1__529_16.min1.thm12017-02-06 12:45 857  
[ ]trees_1__530_16.min1.thm12017-02-06 12:45 289  
[ ]trees_1__530_16.min1.thm1.tptp2017-02-06 16:46 215  
[ ]trees_1__531_19.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__535_16.min1.thm12017-02-06 12:45 325  
[ ]trees_1__535_16.min1.thm1.tptp2017-02-06 16:46 238  
[ ]trees_1__543_29.min1.thm12017-02-06 12:45 868  
[ ]trees_1__544_22.min1.thm12017-02-06 12:45 461  
[ ]trees_1__544_22.min1.thm1.tptp2017-02-06 16:46 390  
[ ]trees_1__549_31.min1.thm12017-02-06 12:45 473  
[ ]trees_1__549_31.min1.thm1.tptp2017-02-06 16:46 411  
[ ]trees_1__551_56.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__552_25.min1.thm12017-02-06 12:45 435  
[ ]trees_1__552_25.min1.thm1.tptp2017-02-06 16:46 361  
[ ]trees_1__553_21.min1.thm12017-02-06 12:45 654  
[ ]trees_1__559_36.min1.thm12017-02-06 12:45 667  
[ ]trees_1__559_36.min1.thm1.tptp2017-02-06 16:46 605  
[ ]trees_1__561_19.min1.thm12017-02-06 12:45 667  
[ ]trees_1__561_19.min1.thm1.tptp2017-02-06 16:46 605  
[ ]trees_1__570_33.min1.thm12017-02-06 12:45 869  
[ ]trees_1__571_24.min1.thm12017-02-06 12:45 468  
[ ]trees_1__571_24.min1.thm1.tptp2017-02-06 16:46 397  
[ ]trees_1__578_17.min1.thm12017-02-06 12:45 432  
[ ]trees_1__578_17.min1.thm1.tptp2017-02-06 16:46 370  
[ ]trees_1__579_18.min1.thm12017-02-06 12:45 525  
[ ]trees_1__580_32.min1.thm12017-02-06 12:45 915  
[ ]trees_1__581_33.min1.thm12017-02-06 12:45 915  
[ ]trees_1__582_23.min1.thm12017-02-06 12:45 541  
[ ]trees_1__588_22.min1.thm12017-02-06 12:45 564  
[ ]trees_1__588_22.min1.thm1.tptp2017-02-06 16:46 502  
[ ]trees_1__589_23.min1.thm12017-02-06 12:45 657  
[ ]trees_1__592_21.min1.thm12017-02-06 12:45 720  
[ ]trees_1__594_25.min1.thm12017-02-06 12:45 534  
[ ]trees_1__595_19.min1.thm12017-02-06 12:45 632  
[ ]trees_1__600_17.min1.thm12017-02-06 12:45 525  
[ ]trees_1__600_17.min1.thm1.tptp2017-02-06 16:46 480  
[ ]trees_1__603_17.min1.thm12017-02-06 12:45 463  
[ ]trees_1__614_15.min1.thm12017-02-06 12:45 225  
[ ]trees_1__621_26.min1.thm12017-02-06 12:45 706  
[ ]trees_1__624_24.min1.thm12017-02-06 12:45 609  
[ ]trees_1__624_24.min1.thm1.tptp2017-02-06 16:46 569  
[ ]trees_1__645_43.min1.thm12017-02-06 12:45 529  
[ ]trees_1__645_43.min1.thm1.tptp2017-02-06 16:46 467  
[ ]trees_1__646_21.min1.thm12017-02-06 12:45 334  
[ ]trees_1__646_21.min1.thm1.tptp2017-02-06 16:46 254  
[ ]trees_1__649_41.min1.thm12017-02-06 12:45 642  
[ ]trees_1__650_25.min1.thm12017-02-06 12:45 820  
[ ]trees_1__652_23.min1.thm12017-02-06 12:45 696  
[ ]trees_1__659_43.min1.thm12017-02-06 12:45 529  
[ ]trees_1__659_43.min1.thm1.tptp2017-02-06 16:46 467  
[ ]trees_1__660_19.min1.thm12017-02-06 12:45 280  
[ ]trees_1__663_40.min1.thm12017-02-06 12:45 642  
[ ]trees_1__664_38.min1.thm12017-02-06 12:45 803  
[ ]trees_1__665_25.min1.thm12017-02-06 12:45 511  
[ ]trees_1__667_23.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__673_8.min1.thm12017-02-06 12:45 729  
[ ]trees_1__673_8.min1.thm1.tptp2017-02-06 16:46 667  
[ ]trees_1__678_13.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__679_33.min1.thm12017-02-06 12:45 2.2K 
[ ]trees_1__681_32.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_1__682_20.min1.thm12017-02-06 12:45 917  
[ ]trees_1__683_24.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__686_24.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__687_14.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__688_68.min1.thm12017-02-06 12:45 896  
[ ]trees_1__689_21.min1.thm12017-02-06 12:45 604  
[ ]trees_1__689_21.min1.thm1.tptp2017-02-06 16:46 542  
[ ]trees_1__691_16.min1.thm12017-02-06 12:45 781  
[ ]trees_1__715_26.min1.thm12017-02-06 12:45 936  
[ ]trees_1__716_25.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__718_23.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__727_28.min1.thm12017-02-06 12:45 642  
[ ]trees_1__728_35.min1.thm12017-02-06 12:45 138  
[ ]trees_1__730_24.min1.thm12017-02-06 12:45 759  
[ ]trees_1__735_33.min1.thm12017-02-06 12:45 138  
[ ]trees_1__737_24.min1.thm12017-02-06 12:45 707  
[ ]trees_1__751_60.min1.thm12017-02-06 12:45 857  
[ ]trees_1__751_60.min1.thm1.tptp2017-02-06 16:46 826  
[ ]trees_1__752_60.min1.thm12017-02-06 12:45 857  
[ ]trees_1__752_60.min1.thm1.tptp2017-02-06 16:46 826  
[ ]trees_1__775_24.min1.thm12017-02-06 12:45 534  
[ ]trees_1__782_18.min1.thm12017-02-06 12:45 648  
[ ]trees_1__783_15.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__784_29.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_1__790_12.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__792_30.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__793_34.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__794_22.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_1__795_41.min1.thm12017-02-06 12:45 2.4K 
[ ]trees_1__803_45.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__804_15.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__805_17.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_1__806_16.min1.thm12017-02-06 12:45 268  
[ ]trees_1__807_22.min1.thm12017-02-06 12:45 700  
[ ]trees_1__808_20.min1.thm12017-02-06 12:45 793  
[ ]trees_1__808_20.min1.thm1.tptp2017-02-06 16:46 762  
[ ]trees_1__809_24.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_1__812_20.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__814_18.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__815_41.min1.thm12017-02-06 12:45 480  
[ ]trees_1__816_19.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_1__817_20.min1.thm12017-02-06 12:45 2.4K 
[ ]trees_1__818_17.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__819_61.min1.thm12017-02-06 12:45 685  
[ ]trees_1__820_27.min1.thm12017-02-06 12:45 689  
[ ]trees_1__821_28.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__821_28.min1.thm1.tptp2017-02-06 16:46 946  
[ ]trees_1__823_27.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__825_21.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__827_19.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_1__835_59.min1.thm12017-02-06 12:45 637  
[ ]trees_1__836_17.min1.thm12017-02-06 12:45 656  
[ ]trees_1__845_54.min1.thm12017-02-06 12:45 463  
[ ]trees_1__846_31.min1.thm12017-02-06 12:45 482  
[ ]trees_1__846_31.min1.thm1.tptp2017-02-06 16:46 417  
[ ]trees_1__849_14.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__856_44.min1.thm12017-02-06 12:45 750  
[ ]trees_1__857_57.min1.thm12017-02-06 12:45 583  
[ ]trees_1__857_57.min1.thm1.tptp2017-02-06 16:46 531  
[ ]trees_1__858_17.min1.thm12017-02-06 12:45 718  
[ ]trees_1__879_20.min1.thm12017-02-06 12:45 478  
[ ]trees_1__881_36.min1.thm12017-02-06 12:45 359  
[ ]trees_1__881_36.min1.thm1.tptp2017-02-06 16:46 281  
[ ]trees_1__886_8.min1.thm12017-02-06 12:45 733  
[ ]trees_1__891_58.min1.thm12017-02-06 12:45 417  
[ ]trees_1__892_19.min1.thm12017-02-06 12:45 845  
[ ]trees_1__899_16.min1.thm12017-02-06 12:45 721  
[ ]trees_1__899_16.min1.thm1.tptp2017-02-06 16:46 683  
[ ]trees_1__900_22.min1.thm12017-02-06 12:45 560  
[ ]trees_1__901_17.min1.thm12017-02-06 12:45 560  
[ ]trees_1__908_54.min1.thm12017-02-06 12:45 925  
[ ]trees_1__909_53.min1.thm12017-02-06 12:45 736  
[ ]trees_1__910_23.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__914_52.min1.thm12017-02-06 12:45 921  
[ ]trees_1__915_51.min1.thm12017-02-06 12:45 722  
[ ]trees_1__916_22.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__918_19.min1.thm12017-02-06 12:45 438  
[ ]trees_1__918_19.min1.thm1.tptp2017-02-06 16:46 386  
[ ]trees_1__931_53.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_1__933_41.min1.thm12017-02-06 12:45 901  
[ ]trees_1__937_20.min1.thm12017-02-06 12:45 552  
[ ]trees_1__937_20.min1.thm1.tptp2017-02-06 16:46 492  
[ ]trees_1__948_36.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__949_25.min1.thm12017-02-06 12:45 374  
[ ]trees_1__949_25.min1.thm1.tptp2017-02-06 16:46 300  
[ ]trees_1__950_35.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__951_50.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__953_18.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_1__954_19.min1.thm12017-02-06 12:45 701  
[ ]trees_1__955_18.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_1__957_43.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_1__958_23.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__966_21.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__971_27.min1.thm12017-02-06 12:45 925  
[ ]trees_1__976_35.min1.thm12017-02-06 12:45 730  
[ ]trees_1__979_65.min1.thm12017-02-06 12:45 708  
[ ]trees_1__981_19.min1.thm12017-02-06 12:45 866  
[ ]trees_1__994_54.min1.thm12017-02-06 12:45 576  
[ ]trees_1__995_15.min1.thm12017-02-06 12:45 663  
[ ]trees_1__996_23.min1.thm12017-02-06 12:45 663  
[ ]trees_1__1000_52.min1.thm12017-02-06 12:45 572  
[ ]trees_1__1001_13.min1.thm12017-02-06 12:45 649  
[ ]trees_1__1002_22.min1.thm12017-02-06 12:45 649  
[ ]trees_1__1004_19.min1.thm12017-02-06 12:45 438  
[ ]trees_1__1004_19.min1.thm1.tptp2017-02-06 16:46 386  
[ ]trees_1__1011_19.min1.thm12017-02-06 12:45 538  
[ ]trees_1__1016_51.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__1017_12.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_1__1022_39.min1.thm12017-02-06 12:45 543  
[ ]trees_1__1023_12.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1035_21.min1.thm12017-02-06 12:45 520  
[ ]trees_1__1035_21.min1.thm1.tptp2017-02-06 16:46 456  
[ ]trees_1__1042_19.min1.thm12017-02-06 12:45 680  
[ ]trees_1__1043_54.min1.thm12017-02-06 12:45 648  
[ ]trees_1__1044_35.min1.thm12017-02-06 12:45 745  
[ ]trees_1__1044_35.min1.thm1.tptp2017-02-06 16:46 711  
[ ]trees_1__1045_18.min1.thm12017-02-06 12:45 770  
[ ]trees_1__1059_17.min1.thm12017-02-06 12:45 636  
[ ]trees_1__1063_10.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__1075_54.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__1076_15.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_1__1080_15.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_1__1082_23.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__1084_20.min1.thm12017-02-06 12:45 844  
[ ]trees_1__1086_16.min1.thm12017-02-06 12:45 272  
[ ]trees_1__1100_18.min1.thm12017-02-06 12:45 727  
[ ]trees_1__1111_15.min1.thm12017-02-06 12:45 240  
[ ]trees_1__1127_40.min1.thm12017-02-06 12:45 547  
[ ]trees_1__1128_31.min1.thm12017-02-06 12:45 326  
[ ]trees_1__1128_31.min1.thm1.tptp2017-02-06 16:46 244  
[ ]trees_1__1129_48.min1.thm12017-02-06 12:45 831  
[ ]trees_1__1131_61.min1.thm12017-02-06 12:45 527  
[ ]trees_1__1136_56.min1.thm12017-02-06 12:45 731  
[ ]trees_1__1137_35.min1.thm12017-02-06 12:45 534  
[ ]trees_1__1138_20.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1147_56.min1.thm12017-02-06 12:45 680  
[ ]trees_1__1150_54.min1.thm12017-02-06 12:45 765  
[ ]trees_1__1151_39.min1.thm12017-02-06 12:45 858  
[ ]trees_1__1153_23.min1.thm12017-02-06 12:45 952  
[ ]trees_1__1161_59.min1.thm12017-02-06 12:45 743  
[ ]trees_1__1162_38.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__1170_41.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1171_44.min1.thm12017-02-06 12:45 944  
[ ]trees_1__1172_41.min1.thm12017-02-06 12:45 652  
[ ]trees_1__1174_47.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1175_27.min1.thm12017-02-06 12:45 615  
[ ]trees_1__1181_27.min1.thm12017-02-06 12:45 765  
[ ]trees_1__1187_51.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1188_38.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__1189_36.min1.thm12017-02-06 12:45 476  
[ ]trees_1__1189_36.min1.thm1.tptp2017-02-06 16:46 402  
[ ]trees_1__1196_28.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_1__1199_35.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_1__1202_52.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_1__1203_21.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1204_60.min1.thm12017-02-06 12:45 868  
[ ]trees_1__1205_29.min1.thm12017-02-06 12:45 714  
[ ]trees_1__1210_33.min1.thm12017-02-06 12:45 759  
[ ]trees_1__1211_34.min1.thm12017-02-06 12:45 863  
[ ]trees_1__1215_52.min1.thm12017-02-06 12:45 564  
[ ]trees_1__1216_46.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_1__1217_56.min1.thm12017-02-06 12:45 929  
[ ]trees_1__1218_29.min1.thm12017-02-06 12:45 834  
[ ]trees_1__1223_23.min1.thm12017-02-06 12:45 959  
[ ]trees_1__1231_51.min1.thm12017-02-06 12:45 875  
[ ]trees_1__1238_57.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1239_23.min1.thm12017-02-06 12:45 735  
[ ]trees_1__1244_31.min1.thm12017-02-06 12:45 897  
[ ]trees_1__1249_26.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_1__1258_40.min1.thm12017-02-06 12:45 382  
[ ]trees_1__1258_40.min1.thm1.tptp2017-02-06 16:46 308  
[ ]trees_1__1259_38.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_1__1260_31.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1261_39.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1265_66.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1271_34.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__1273_57.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_1__1274_24.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__1287_40.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_1__1292_25.min1.thm12017-02-06 12:45 741  
[ ]trees_1__1296_21.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_1__1298_29.min1.thm12017-02-06 12:45 335  
[ ]trees_1__1298_29.min1.thm1.tptp2017-02-06 16:46 245  
[ ]trees_1__1308_73.min1.thm12017-02-06 12:45 731  
[ ]trees_1__1309_20.min1.thm12017-02-06 12:45 826  
[ ]trees_1__1313_52.min1.thm12017-02-06 12:45 753  
[ ]trees_1__1314_39.min1.thm12017-02-06 12:45 858  
[ ]trees_1__1316_21.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__1323_57.min1.thm12017-02-06 12:45 944  
[ ]trees_1__1324_19.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__1338_52.min1.thm12017-02-06 12:45 572  
[ ]trees_1__1341_8.min1.thm12017-02-06 12:45 925  
[ ]trees_1__1342_21.min1.thm12017-02-06 12:45 925  
[ ]trees_1__1347_50.min1.thm12017-02-06 12:45 564  
[ ]trees_1__1349_6.min1.thm12017-02-06 12:45 903  
[ ]trees_1__1350_19.min1.thm12017-02-06 12:45 903  
[ ]trees_1__1368_50.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1370_49.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1380_49.min1.thm12017-02-06 12:45 733  
[ ]trees_1__1385_51.min1.thm12017-02-06 12:45 711  
[ ]trees_1__1388_17.min1.thm12017-02-06 12:45 880  
[ ]trees_1__1402_50.min1.thm12017-02-06 12:45 540  
[ ]trees_1__1404_19.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_1__1409_48.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__1410_39.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_1__1415_24.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_1__1416_16.min1.thm12017-02-06 12:45 520  
[ ]trees_1__1417_16.min1.thm12017-02-06 12:45 777  
[ ]trees_1__1419_20.min1.thm12017-02-06 12:45 461  
[ ]trees_1__1437_67.min1.thm12017-02-06 12:45 773  
[ ]trees_1__1438_18.min1.thm12017-02-06 12:45 665  
[ ]trees_1__1446_54.min1.thm12017-02-06 12:45 594  
[ ]trees_1__1447_14.min1.thm12017-02-06 12:45 254  
[ ]trees_1__1448_20.min1.thm12017-02-06 12:45 423  
[ ]trees_1__1448_20.min1.thm1.tptp2017-02-06 16:46 351  
[ ]trees_1__1460_57.min1.thm12017-02-06 12:45 880  
[ ]trees_1__1460_57.min1.thm1.tptp2017-02-06 16:46 834  
[ ]trees_1__1463_24.min1.thm12017-02-06 12:45 425  
[ ]trees_1__1470_17.min1.thm12017-02-06 12:45 648  
[ ]trees_1__1473_19.min1.thm12017-02-06 12:45 647  
[ ]trees_1__1473_19.min1.thm1.tptp2017-02-06 16:46 590  
[ ]trees_1__1474_40.min1.thm12017-02-06 12:45 958  
[ ]trees_1__1475_14.min1.thm12017-02-06 12:45 581  
[ ]trees_1__1476_20.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__1482_13.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1483_21.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_1__1485_59.min1.thm12017-02-06 12:45 636  
[ ]trees_1__1488_51.min1.thm12017-02-06 12:45 913  
[ ]trees_1__1505_42.min1.thm12017-02-06 12:45 672  
[ ]trees_1__1506_35.min1.thm12017-02-06 12:45 130  
[ ]trees_1__1508_18.min1.thm12017-02-06 12:45 391  
[ ]trees_1__1508_18.min1.thm1.tptp2017-02-06 16:46 311  
[ ]trees_1__1522_33.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1525_34.min1.thm12017-02-06 12:45 264  
[ ]trees_1__1532_14.min1.thm12017-02-06 12:45 588  
[ ]trees_1__1535_21.min1.thm12017-02-06 12:45 735  
[ ]trees_1__1536_17.min1.thm12017-02-06 12:45 919  
[ ]trees_1__1538_23.min1.thm12017-02-06 12:45 2.7K 
[ ]trees_1__1539_19.min1.thm12017-02-06 12:45 871  
[ ]trees_1__1544_27.min1.thm12017-02-06 12:45 861  
[ ]trees_1__1545_39.min1.thm12017-02-06 12:45 631  
[ ]trees_1__1546_14.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__1547_18.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__1549_15.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__1550_35.min1.thm12017-02-06 12:45 449  
[ ]trees_1__1551_42.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1554_17.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1555_26.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1556_15.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1557_34.min1.thm12017-02-06 12:45 487  
[ ]trees_1__1558_34.min1.thm12017-02-06 12:45 693  
[ ]trees_1__1559_58.min1.thm12017-02-06 12:45 692  
[ ]trees_1__1568_41.min1.thm12017-02-06 12:45 443  
[ ]trees_1__1568_41.min1.thm1.tptp2017-02-06 16:46 366  
[ ]trees_1__1569_19.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1577_24.min1.thm12017-02-06 12:45 777  
[ ]trees_1__1578_44.min1.thm12017-02-06 12:45 439  
[ ]trees_1__1578_44.min1.thm1.tptp2017-02-06 16:46 362  
[ ]trees_1__1579_27.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__1580_17.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_1__1601_48.min1.thm12017-02-06 12:45 342  
[ ]trees_1__1601_48.min1.thm1.tptp2017-02-06 16:46 274  
[ ]trees_1__1603_15.min1.thm12017-02-06 12:45 442  
[ ]trees_1__1603_15.min1.thm1.tptp2017-02-06 16:46 366  
[ ]trees_1__1614_52.min1.thm12017-02-06 12:45 435  
[ ]trees_1__1614_52.min1.thm1.tptp2017-02-06 16:46 379  
[ ]trees_1__1619_10.min1.thm12017-02-06 12:45 329  
[ ]trees_1__1619_10.min1.thm1.tptp2017-02-06 16:46 264  
[ ]trees_1__1620_17.min1.thm12017-02-06 12:45 442  
[ ]trees_1__1628_56.min1.thm12017-02-06 12:45 588  
[ ]trees_1__1633_25.min1.thm12017-02-06 12:45 393  
[ ]trees_1__1633_25.min1.thm1.tptp2017-02-06 16:46 339  
[ ]trees_1__1634_22.min1.thm12017-02-06 12:45 393  
[ ]trees_1__1634_22.min1.thm1.tptp2017-02-06 16:46 339  
[ ]trees_1__1635_17.min1.thm12017-02-06 12:45 560  
[ ]trees_1__1645_52.min1.thm12017-02-06 12:45 968  
[ ]trees_1__1649_17.min1.thm12017-02-06 12:45 452  
[ ]trees_1__1650_16.min1.thm12017-02-06 12:45 692  
[ ]trees_1__1661_48.min1.thm12017-02-06 12:45 340  
[ ]trees_1__1661_48.min1.thm1.tptp2017-02-06 16:46 272  
[ ]trees_1__1663_15.min1.thm12017-02-06 12:45 428  
[ ]trees_1__1663_15.min1.thm1.tptp2017-02-06 16:46 352  
[ ]trees_1__1665_49.min1.thm12017-02-06 12:45 202  
[ ]trees_1__1666_10.min1.thm12017-02-06 12:45 286  
[ ]trees_1__1666_10.min1.thm1.tptp2017-02-06 16:46 203  
[ ]trees_1__1667_43.min1.thm12017-02-06 12:45 590  
[ ]trees_1__1668_46.min1.thm12017-02-06 12:45 569  
[ ]trees_1__1673_15.min1.thm12017-02-06 12:45 396  
[ ]trees_1__1674_19.min1.thm12017-02-06 12:45 465  
[ ]trees_1__1676_14.min1.thm12017-02-06 12:45 319  
[ ]trees_1__1676_14.min1.thm1.tptp2017-02-06 16:46 233  
[ ]trees_1__1681_54.min1.thm12017-02-06 12:45 945  
[ ]trees_1__1686_14.min1.thm12017-02-06 12:45 402  
[ ]trees_1__1687_16.min1.thm12017-02-06 12:45 634  
[ ]trees_1__1689_14.min1.thm12017-02-06 12:45 325  
[ ]trees_1__1689_14.min1.thm1.tptp2017-02-06 16:46 239  
[ ]trees_1__1696_59.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__1701_25.min1.thm12017-02-06 12:45 468  
[ ]trees_1__1702_16.min1.thm12017-02-06 12:45 745  
[ ]trees_1__1704_14.min1.thm12017-02-06 12:45 355  
[ ]trees_1__1704_14.min1.thm1.tptp2017-02-06 16:46 269  
[ ]trees_1__1713_10.min1.thm12017-02-06 12:45 636  
[ ]trees_1__1714_16.min1.thm12017-02-06 12:45 568  
[ ]trees_1__1726_29.min1.thm12017-02-06 12:45 528  
[ ]trees_1__1734_32.min1.thm12017-02-06 12:45 945  
[ ]trees_1__1735_48.min1.thm12017-02-06 12:45 801  
[ ]trees_1__1736_42.min1.thm12017-02-06 12:45 839  
[ ]trees_1__1737_45.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_1__1739_38.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_1__1741_44.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_1__1743_48.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_1__1744_31.min1.thm12017-02-06 12:45 2.4K 
[ ]trees_1__1748_10.min1.thm12017-02-06 12:45 482  
[ ]trees_1__1748_10.min1.thm1.tptp2017-02-06 16:46 421  
[ ]trees_1__1749_39.min1.thm12017-02-06 12:45 472  
[ ]trees_1__1751_20.min1.thm12017-02-06 12:45 485  
[ ]trees_1__1751_20.min1.thm1.tptp2017-02-06 16:46 421  
[ ]trees_1__1757_37.min1.thm12017-02-06 12:45 464  
[ ]trees_1__1763_40.min1.thm12017-02-06 12:45 567  
[ ]trees_1__1764_15.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__1765_19.min1.thm12017-02-06 12:45 2.7K 
[ ]trees_1__1767_16.min1.thm12017-02-06 12:45 2.2K 
[ ]trees_1__1768_39.min1.thm12017-02-06 12:45 472  
[ ]trees_1__1774_22.min1.thm12017-02-06 12:45 606  
[ ]trees_1__1775_23.min1.thm12017-02-06 12:45 2.7K 
[ ]trees_1__1776_23.min1.thm12017-02-06 12:45 2.3K 
[ ]trees_1__1778_16.min1.thm12017-02-06 12:45 771  
[ ]trees_1__1783_19.min1.thm12017-02-06 12:45 583  
[ ]trees_1__1795_21.min1.thm12017-02-06 12:45 545  
[ ]trees_1__1796_12.min1.thm12017-02-06 12:45 545  
[ ]trees_1__1797_19.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__1808_21.min1.thm12017-02-06 12:45 931  
[ ]trees_1__1809_32.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__1816_43.min1.thm12017-02-06 12:45 903  
[ ]trees_1__1817_22.min1.thm12017-02-06 12:45 420  
[ ]trees_1__1817_22.min1.thm1.tptp2017-02-06 16:46 342  
[ ]trees_1__1818_21.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__1827_6.min1.thm12017-02-06 12:45 628  
[ ]trees_1__1835_20.min1.thm12017-02-06 12:45 755  
[ ]trees_1__1835_20.min1.thm1.tptp2017-02-06 16:46 717  
[ ]trees_1__1836_23.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__1841_57.min1.thm12017-02-06 12:45 917  
[ ]trees_1__1842_19.min1.thm12017-02-06 12:45 380  
[ ]trees_1__1842_19.min1.thm1.tptp2017-02-06 16:46 300  
[ ]trees_1__1843_21.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__1845_46.min1.thm12017-02-06 12:45 226  
[ ]trees_1__1846_49.min1.thm12017-02-06 12:45 663  
[ ]trees_1__1847_37.min1.thm12017-02-06 12:45 465  
[ ]trees_1__1849_22.min1.thm12017-02-06 12:45 492  
[ ]trees_1__1853_6.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__1865_26.min1.thm12017-02-06 12:45 416  
[ ]trees_1__1865_26.min1.thm1.tptp2017-02-06 16:46 335  
[ ]trees_1__1866_22.min1.thm12017-02-06 12:45 416  
[ ]trees_1__1866_22.min1.thm1.tptp2017-02-06 16:46 335  
[ ]trees_1__1867_19.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_1__1877_37.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1878_25.min1.thm12017-02-06 12:45 441  
[ ]trees_1__1879_17.min1.thm12017-02-06 12:45 495  
[ ]trees_1__1889_20.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1893_19.min1.thm12017-02-06 12:45 470  
[ ]trees_1__1894_20.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__1908_42.min1.thm12017-02-06 12:45 581  
[ ]trees_1__1910_12.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__1911_19.min1.thm12017-02-06 12:45 727  
[ ]trees_1__1915_15.min1.thm12017-02-06 12:45 462  
[ ]trees_1__1916_17.min1.thm12017-02-06 12:45 487  
[ ]trees_1__1927_20.min1.thm12017-02-06 12:45 2.8K 
[ ]trees_1__1928_20.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__1932_28.min1.thm12017-02-06 12:45 300  
[ ]trees_1__1935_35.min1.thm12017-02-06 12:45 650  
[ ]trees_1__1936_24.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__1947_54.min1.thm12017-02-06 12:45 672  
[ ]trees_1__1949_22.min1.thm12017-02-06 12:45 527  
[ ]trees_1__1951_10.min1.thm12017-02-06 12:45 930  
[ ]trees_1__1952_29.min1.thm12017-02-06 12:45 825  
[ ]trees_1__1954_17.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__1967_37.min1.thm12017-02-06 12:45 662  
[ ]trees_1__1968_20.min1.thm12017-02-06 12:45 848  
[ ]trees_1__1973_60.min1.thm12017-02-06 12:45 852  
[ ]trees_1__1974_21.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__1976_68.min1.thm12017-02-06 12:45 242  
[ ]trees_1__1978_54.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_1__1990_20.min1.thm12017-02-06 12:45 916  
[ ]trees_1__1991_23.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_1__1997_28.min1.thm12017-02-06 12:45 875  
[ ]trees_1__1998_33.min1.thm12017-02-06 12:45 134  
[ ]trees_1__2000_22.min1.thm12017-02-06 12:45 544  
[ ]trees_1__2013_44.min1.thm12017-02-06 12:45 860  
[ ]trees_1__2013_44.min1.thm1.tptp2017-02-06 16:46 814  
[ ]trees_1__2016_23.min1.thm12017-02-06 12:45 423  
[ ]trees_1__2023_18.min1.thm12017-02-06 12:45 628  
[ ]trees_1__2026_18.min1.thm12017-02-06 12:45 715  
[ ]trees_1__2029_32.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__2031_23.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_1__2036_45.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__2037_15.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__2038_17.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_1__2040_16.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__2041_39.min1.thm12017-02-06 12:45 465  
[ ]trees_1__2042_12.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_1__2044_26.min1.thm12017-02-06 12:45 687  
[ ]trees_1__2044_26.min1.thm1.tptp2017-02-06 16:46 630  
[ ]trees_1__2046_21.min1.thm12017-02-06 12:45 966  
[ ]trees_1__2048_35.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_1__2049_25.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__2051_14.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_1__2058_32.min1.thm12017-02-06 12:45 378  
[ ]trees_1__2058_32.min1.thm1.tptp2017-02-06 16:46 315  
[ ]trees_1__2059_16.min1.thm12017-02-06 12:45 472  
[ ]trees_1__2061_24.min1.thm12017-02-06 12:45 229  
[ ]trees_1__2062_32.min1.thm12017-02-06 12:45 348  
[ ]trees_1__2062_32.min1.thm1.tptp2017-02-06 16:46 274  
[ ]trees_1__2065_29.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__2075_23.min1.thm12017-02-06 12:45 819  
[ ]trees_1__2090_27.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_1__2091_13.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_1__2093_55.min1.thm12017-02-06 12:45 2.6K 
[ ]trees_1__2095_17.min1.thm12017-02-06 12:45 3.7K 
[ ]trees_1__2106_27.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_1__2107_13.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_1__2129_49.min1.thm12017-02-06 12:45 671  
[ ]trees_1__2130_31.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__2133_19.min1.thm12017-02-06 12:45 763  
[ ]trees_1__2137_22.min1.thm12017-02-06 12:45 182  
[ ]trees_1__2138_17.min1.thm12017-02-06 12:45 730  
[ ]trees_1__2151_31.min1.thm12017-02-06 12:45 442  
[ ]trees_1__2151_31.min1.thm1.tptp2017-02-06 16:46 368  
[ ]trees_1__2153_18.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_1__2154_19.min1.thm12017-02-06 12:45 904  
[ ]trees_1__2156_27.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__2157_17.min1.thm12017-02-06 12:45 538  
[ ]trees_1__2166_52.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_1__2167_19.min1.thm12017-02-06 12:45 931  
[ ]trees_1__2168_11.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__2180_30.min1.thm12017-02-06 12:45 571  
[ ]trees_1__2181_21.min1.thm12017-02-06 12:45 969  
[ ]trees_1__2185_17.min1.thm12017-02-06 12:45 352  
[ ]trees_1__2190_13.min1.thm12017-02-06 12:45 490  
[ ]trees_1__2190_13.min1.thm1.tptp2017-02-06 16:46 425  
[ ]trees_1__2191_13.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__2192_32.min1.thm12017-02-06 12:45 570  
[ ]trees_1__2195_18.min1.thm12017-02-06 12:45 343  
[ ]trees_1__2195_18.min1.thm1.tptp2017-02-06 16:46 278  
[ ]trees_1__2196_32.min1.thm12017-02-06 12:45 460  
[ ]trees_1__2199_25.min1.thm12017-02-06 12:45 396  
[ ]trees_1__2199_25.min1.thm1.tptp2017-02-06 16:46 310  
[ ]trees_1__2209_35.min1.thm12017-02-06 12:45 430  
[ ]trees_1__2209_35.min1.thm1.tptp2017-02-06 16:46 356  
[ ]trees_1__2222_43.min1.thm12017-02-06 12:45 635  
[ ]trees_1__2223_21.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__2227_17.min1.thm12017-02-06 12:45 352  
[ ]trees_1__2232_13.min1.thm12017-02-06 12:45 490  
[ ]trees_1__2232_13.min1.thm1.tptp2017-02-06 16:46 425  
[ ]trees_1__2233_22.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__2234_38.min1.thm12017-02-06 12:45 667  
[ ]trees_1__2237_18.min1.thm12017-02-06 12:45 343  
[ ]trees_1__2237_18.min1.thm1.tptp2017-02-06 16:46 278  
[ ]trees_1__2238_38.min1.thm12017-02-06 12:45 526  
[ ]trees_1__2241_31.min1.thm12017-02-06 12:45 462  
[ ]trees_1__2241_31.min1.thm1.tptp2017-02-06 16:46 376  
[ ]trees_1__2257_29.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__2264_32.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_1__2265_22.min1.thm12017-02-06 12:45 330  
[ ]trees_1__2265_22.min1.thm1.tptp2017-02-06 16:46 256  
[ ]trees_1__2267_14.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_1__2268_39.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_1__2269_23.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__2270_18.min1.thm12017-02-06 12:45 3.1K 
[ ]trees_1__2271_12.min1.thm12017-02-06 12:45 837  
[ ]trees_1__2274_18.min1.thm12017-02-06 12:45 760  
[ ]trees_1__2275_32.min1.thm12017-02-06 12:45 236  
[ ]trees_1__2291_42.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__2293_23.min1.thm12017-02-06 12:45 599  
[ ]trees_1__2294_12.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_1__2302_32.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_1__2303_22.min1.thm12017-02-06 12:45 330  
[ ]trees_1__2303_22.min1.thm1.tptp2017-02-06 16:46 256  
[ ]trees_1__2305_14.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_1__2306_39.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_1__2307_23.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__2308_19.min1.thm12017-02-06 12:45 3.1K 
[ ]trees_1__2309_13.min1.thm12017-02-06 12:45 837  
[ ]trees_1__2312_19.min1.thm12017-02-06 12:45 760  
[ ]trees_1__2313_32.min1.thm12017-02-06 12:45 236  
[ ]trees_1__2321_11.min1.thm12017-02-06 12:45 130  
[ ]trees_1__2329_16.min1.thm12017-02-06 12:45 596  
[ ]trees_1__2330_24.min1.thm12017-02-06 12:45 518  
[ ]trees_1__2335_51.min1.thm12017-02-06 12:45 511  
[ ]trees_1__2343_17.min1.thm12017-02-06 12:45 511  
[ ]trees_1__2347_41.min1.thm12017-02-06 12:45 966  
[ ]trees_1__2350_36.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__2352_17.min1.thm12017-02-06 12:45 370  
[ ]trees_1__2352_17.min1.thm1.tptp2017-02-06 16:46 296  
[ ]trees_1__2356_21.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__2359_19.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__2368_21.min1.thm12017-02-06 12:45 639  
[ ]trees_1__2371_32.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_1__2372_39.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_1__2382_25.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_1__2398_34.min1.thm12017-02-06 12:45 484  
[ ]trees_1__2399_65.min1.thm12017-02-06 12:45 599  
[ ]trees_1__2401_15.min1.thm12017-02-06 12:45 299  
[ ]trees_1__2413_40.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_1__2414_28.min1.thm12017-02-06 12:45 676  
[ ]trees_1__2418_18.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_1__2419_38.min1.thm12017-02-06 12:45 794  
[ ]trees_1__2423_15.min1.thm12017-02-06 12:45 487  
[ ]trees_1__2424_12.min1.thm12017-02-06 12:45 531  
[ ]trees_1__2430_14.min1.thm12017-02-06 12:45 614  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80