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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]trees_2__54_47.min1.thm12017-02-06 12:45 774  
[ ]trees_2__56_47.min1.thm12017-02-06 12:45 774  
[ ]trees_2__60_51.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__69_27.min1.thm12017-02-06 12:45 324  
[ ]trees_2__69_27.min1.thm1.tptp2017-02-06 16:46 250  
[ ]trees_2__70_17.min1.thm12017-02-06 12:45 893  
[ ]trees_2__78_44.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_2__81_16.min1.thm12017-02-06 12:45 774  
[ ]trees_2__83_15.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__84_19.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_2__98_39.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__99_43.min1.thm12017-02-06 12:45 809  
[ ]trees_2__101_43.min1.thm12017-02-06 12:45 546  
[ ]trees_2__102_42.min1.thm12017-02-06 12:45 894  
[ ]trees_2__103_19.min1.thm12017-02-06 12:45 490  
[ ]trees_2__103_19.min1.thm1.tptp2017-02-06 16:46 428  
[ ]trees_2__107_45.min1.thm12017-02-06 12:45 480  
[ ]trees_2__107_45.min1.thm1.tptp2017-02-06 16:46 418  
[ ]trees_2__112_33.min1.thm12017-02-06 12:45 658  
[ ]trees_2__113_28.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__114_41.min1.thm12017-02-06 12:45 502  
[ ]trees_2__115_19.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__117_12.min1.thm12017-02-06 12:45 444  
[ ]trees_2__117_12.min1.thm1.tptp2017-02-06 16:46 377  
[ ]trees_2__119_43.min1.thm12017-02-06 12:45 2.9K 
[ ]trees_2__120_40.min1.thm12017-02-06 12:45 477  
[ ]trees_2__120_40.min1.thm1.tptp2017-02-06 16:46 403  
[ ]trees_2__122_4.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__123_17.min1.thm12017-02-06 12:45 593  
[ ]trees_2__123_17.min1.thm1.tptp2017-02-06 16:46 511  
[ ]trees_2__133_26.min1.thm12017-02-06 12:45 470  
[ ]trees_2__134_16.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__144_41.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__145_37.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__146_22.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_2__147_43.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_2__148_42.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__149_11.min1.thm12017-02-06 12:45 601  
[ ]trees_2__150_6.min1.thm12017-02-06 12:45 162  
[ ]trees_2__155_14.min1.thm12017-02-06 12:45 181  
[ ]trees_2__156_17.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__168_42.min1.thm12017-02-06 12:45 542  
[ ]trees_2__169_11.min1.thm12017-02-06 12:45 820  
[ ]trees_2__170_16.min1.thm12017-02-06 12:45 306  
[ ]trees_2__170_16.min1.thm1.tptp2017-02-06 16:46 220  
[ ]trees_2__174_40.min1.thm12017-02-06 12:45 534  
[ ]trees_2__175_11.min1.thm12017-02-06 12:45 812  
[ ]trees_2__176_14.min1.thm12017-02-06 12:45 292  
[ ]trees_2__176_14.min1.thm1.tptp2017-02-06 16:46 206  
[ ]trees_2__199_31.min1.thm12017-02-06 12:45 340  
[ ]trees_2__199_31.min1.thm1.tptp2017-02-06 16:46 266  
[ ]trees_2__201_18.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__202_22.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__203_25.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__204_50.min1.thm12017-02-06 12:45 649  
[ ]trees_2__224_4.min1.thm12017-02-06 12:45 301  
[ ]trees_2__237_29.min1.thm12017-02-06 12:45 344  
[ ]trees_2__237_29.min1.thm1.tptp2017-02-06 16:46 268  
[ ]trees_2__238_26.min1.thm12017-02-06 12:45 344  
[ ]trees_2__238_26.min1.thm1.tptp2017-02-06 16:46 268  
[ ]trees_2__239_42.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__240_37.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__278_35.min1.thm12017-02-06 12:45 332  
[ ]trees_2__278_35.min1.thm1.tptp2017-02-06 16:46 245  
[ ]trees_2__291_43.min1.thm12017-02-06 12:45 337  
[ ]trees_2__291_43.min1.thm1.tptp2017-02-06 16:46 268  
[ ]trees_2__294_15.min1.thm12017-02-06 12:45 545  
[ ]trees_2__301_11.min1.thm12017-02-06 12:45 399  
[ ]trees_2__301_11.min1.thm1.tptp2017-02-06 16:46 324  
[ ]trees_2__302_46.min1.thm12017-02-06 12:45 447  
[ ]trees_2__309_20.min1.thm12017-02-06 12:45 424  
[ ]trees_2__310_13.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__311_21.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__315_31.min1.thm12017-02-06 12:45 594  
[ ]trees_2__316_12.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__317_19.min1.thm12017-02-06 12:45 416  
[ ]trees_2__329_18.min1.thm12017-02-06 12:45 442  
[ ]trees_2__331_16.min1.thm12017-02-06 12:45 411  
[ ]trees_2__331_16.min1.thm1.tptp2017-02-06 16:46 333  
[ ]trees_2__340_27.min1.thm12017-02-06 12:45 685  
[ ]trees_2__347_25.min1.thm12017-02-06 12:45 811  
[ ]trees_2__348_18.min1.thm12017-02-06 12:45 900  
[ ]trees_2__352_57.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__354_54.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__355_19.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__357_17.min1.thm12017-02-06 12:45 759  
[ ]trees_2__370_18.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__379_19.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__381_17.min1.thm12017-02-06 12:45 961  
[ ]trees_2__393_27.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__394_19.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__395_30.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__396_18.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__399_14.min1.thm12017-02-06 12:45 274  
[ ]trees_2__402_24.min1.thm12017-02-06 12:45 407  
[ ]trees_2__402_24.min1.thm1.tptp2017-02-06 16:46 324  
[ ]trees_2__403_18.min1.thm12017-02-06 12:45 604  
[ ]trees_2__409_39.min1.thm12017-02-06 12:45 897  
[ ]trees_2__416_26.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__417_52.min1.thm12017-02-06 12:45 492  
[ ]trees_2__418_13.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_2__419_23.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__423_14.min1.thm12017-02-06 12:45 396  
[ ]trees_2__435_19.min1.thm12017-02-06 12:45 662  
[ ]trees_2__453_14.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__454_20.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__455_24.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__456_49.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_2__457_16.min1.thm12017-02-06 12:45 2.7K 
[ ]trees_2__465_44.min1.thm12017-02-06 12:45 671  
[ ]trees_2__467_17.min1.thm12017-02-06 12:45 2.9K 
[ ]trees_2__477_41.min1.thm12017-02-06 12:45 551  
[ ]trees_2__478_22.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_2__480_19.min1.thm12017-02-06 12:45 644  
[ ]trees_2__485_53.min1.thm12017-02-06 12:45 431  
[ ]trees_2__485_53.min1.thm1.tptp2017-02-06 16:46 376  
[ ]trees_2__486_25.min1.thm12017-02-06 12:45 633  
[ ]trees_2__487_17.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_2__498_41.min1.thm12017-02-06 12:45 581  
[ ]trees_2__499_24.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__500_22.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_2__502_19.min1.thm12017-02-06 12:45 644  
[ ]trees_2__507_49.min1.thm12017-02-06 12:45 431  
[ ]trees_2__507_49.min1.thm1.tptp2017-02-06 16:46 376  
[ ]trees_2__508_41.min1.thm12017-02-06 12:45 759  
[ ]trees_2__509_17.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_2__517_26.min1.thm12017-02-06 12:45 685  
[ ]trees_2__518_35.min1.thm12017-02-06 12:45 917  
[ ]trees_2__520_16.min1.thm12017-02-06 12:45 631  
[ ]trees_2__534_12.min1.thm12017-02-06 12:45 478  
[ ]trees_2__534_12.min1.thm1.tptp2017-02-06 16:46 415  
[ ]trees_2__535_11.min1.thm12017-02-06 12:45 529  
[ ]trees_2__536_19.min1.thm12017-02-06 12:45 819  
[ ]trees_2__538_17.min1.thm12017-02-06 12:45 718  
[ ]trees_2__548_17.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__557_19.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__570_20.min1.thm12017-02-06 12:45 476  
[ ]trees_2__570_20.min1.thm1.tptp2017-02-06 16:46 393  
[ ]trees_2__572_20.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_2__573_12.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__574_24.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_2__580_17.min1.thm12017-02-06 12:45 271  
[ ]trees_2__583_33.min1.thm12017-02-06 12:45 300  
[ ]trees_2__584_44.min1.thm12017-02-06 12:45 308  
[ ]trees_2__586_24.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__587_20.min1.thm12017-02-06 12:45 799  
[ ]trees_2__588_17.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_2__597_53.min1.thm12017-02-06 12:45 484  
[ ]trees_2__597_53.min1.thm1.tptp2017-02-06 16:46 421  
[ ]trees_2__598_14.min1.thm12017-02-06 12:45 322  
[ ]trees_2__605_14.min1.thm12017-02-06 12:45 530  
[ ]trees_2__609_60.min1.thm12017-02-06 12:45 333  
[ ]trees_2__609_60.min1.thm1.tptp2017-02-06 16:46 264  
[ ]trees_2__613_15.min1.thm12017-02-06 12:45 519  
[ ]trees_2__615_14.min1.thm12017-02-06 12:45 297  
[ ]trees_2__615_14.min1.thm1.tptp2017-02-06 16:46 211  
[ ]trees_2__621_11.min1.thm12017-02-06 12:45 395  
[ ]trees_2__621_11.min1.thm1.tptp2017-02-06 16:46 320  
[ ]trees_2__622_44.min1.thm12017-02-06 12:45 439  
[ ]trees_2__629_10.min1.thm12017-02-06 12:45 396  
[ ]trees_2__630_19.min1.thm12017-02-06 12:45 549  
[ ]trees_2__632_14.min1.thm12017-02-06 12:45 319  
[ ]trees_2__632_14.min1.thm1.tptp2017-02-06 16:46 233  
[ ]trees_2__640_22.min1.thm12017-02-06 12:45 383  
[ ]trees_2__640_22.min1.thm1.tptp2017-02-06 16:46 304  
[ ]trees_2__641_16.min1.thm12017-02-06 12:45 336  
[ ]trees_2__641_16.min1.thm1.tptp2017-02-06 16:46 256  
[ ]trees_2__664_65.min1.thm12017-02-06 12:45 597  
[ ]trees_2__665_19.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__678_16.min1.thm12017-02-06 12:45 445  
[ ]trees_2__678_16.min1.thm1.tptp2017-02-06 16:46 390  
[ ]trees_2__679_18.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__680_23.min1.thm12017-02-06 12:45 765  
[ ]trees_2__682_49.min1.thm12017-02-06 12:45 389  
[ ]trees_2__682_49.min1.thm1.tptp2017-02-06 16:46 311  
[ ]trees_2__689_17.min1.thm12017-02-06 12:45 528  
[ ]trees_2__693_18.min1.thm12017-02-06 12:45 528  
[ ]trees_2__694_30.min1.thm12017-02-06 12:45 576  
[ ]trees_2__695_36.min1.thm12017-02-06 12:45 446  
[ ]trees_2__695_36.min1.thm1.tptp2017-02-06 16:46 372  
[ ]trees_2__696_27.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__697_23.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__704_28.min1.thm12017-02-06 12:45 445  
[ ]trees_2__704_28.min1.thm1.tptp2017-02-06 16:46 390  
[ ]trees_2__706_27.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__707_44.min1.thm12017-02-06 12:45 488  
[ ]trees_2__707_44.min1.thm1.tptp2017-02-06 16:46 417  
[ ]trees_2__709_27.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__713_42.min1.thm12017-02-06 12:45 700  
[ ]trees_2__714_33.min1.thm12017-02-06 12:45 497  
[ ]trees_2__714_33.min1.thm1.tptp2017-02-06 16:46 431  
[ ]trees_2__716_55.min1.thm12017-02-06 12:45 646  
[ ]trees_2__721_40.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__722_44.min1.thm12017-02-06 12:45 605  
[ ]trees_2__729_42.min1.thm12017-02-06 12:45 612  
[ ]trees_2__730_42.min1.thm12017-02-06 12:45 612  
[ ]trees_2__731_43.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__732_43.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__733_27.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__734_23.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__735_21.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__740_43.min1.thm12017-02-06 12:45 535  
[ ]trees_2__740_43.min1.thm1.tptp2017-02-06 16:46 473  
[ ]trees_2__741_44.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__742_28.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__743_50.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__744_26.min1.thm12017-02-06 12:45 318  
[ ]trees_2__745_36.min1.thm12017-02-06 12:45 616  
[ ]trees_2__747_19.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__748_16.min1.thm12017-02-06 12:45 280  
[ ]trees_2__749_18.min1.thm12017-02-06 12:45 482  
[ ]trees_2__750_14.min1.thm12017-02-06 12:45 557  
[ ]trees_2__756_43.min1.thm12017-02-06 12:45 831  
[ ]trees_2__757_30.min1.thm12017-02-06 12:45 811  
[ ]trees_2__758_31.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__759_21.min1.thm12017-02-06 12:45 554  
[ ]trees_2__778_51.min1.thm12017-02-06 12:45 436  
[ ]trees_2__778_51.min1.thm1.tptp2017-02-06 16:46 368  
[ ]trees_2__791_48.min1.thm12017-02-06 12:45 882  
[ ]trees_2__795_38.min1.thm12017-02-06 12:45 697  
[ ]trees_2__796_48.min1.thm12017-02-06 12:45 602  
[ ]trees_2__797_17.min1.thm12017-02-06 12:45 517  
[ ]trees_2__807_51.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__809_4.min1.thm12017-02-06 12:45 953  
[ ]trees_2__810_31.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__812_4.min1.thm12017-02-06 12:45 455  
[ ]trees_2__812_4.min1.thm1.tptp2017-02-06 16:46 379  
[ ]trees_2__813_17.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__820_42.min1.thm12017-02-06 12:45 361  
[ ]trees_2__820_42.min1.thm1.tptp2017-02-06 16:46 282  
[ ]trees_2__822_15.min1.thm12017-02-06 12:45 354  
[ ]trees_2__836_16.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_2__838_35.min1.thm12017-02-06 12:45 2.5K 
[ ]trees_2__839_38.min1.thm12017-02-06 12:45 471  
[ ]trees_2__841_18.min1.thm12017-02-06 12:45 2.7K 
[ ]trees_2__848_15.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__849_22.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_2__853_44.min1.thm12017-02-06 12:45 2.1K 
[ ]trees_2__854_17.min1.thm12017-02-06 12:45 2.3K 
[ ]trees_2__855_38.min1.thm12017-02-06 12:45 522  
[ ]trees_2__856_40.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__857_39.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__861_35.min1.thm12017-02-06 12:45 925  
[ ]trees_2__863_49.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_2__864_48.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_2__868_35.min1.thm12017-02-06 12:45 959  
[ ]trees_2__869_33.min1.thm12017-02-06 12:45 652  
[ ]trees_2__870_20.min1.thm12017-02-06 12:45 744  
[ ]trees_2__871_26.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_2__874_14.min1.thm12017-02-06 12:45 349  
[ ]trees_2__874_14.min1.thm1.tptp2017-02-06 16:46 281  
[ ]trees_2__875_16.min1.thm12017-02-06 12:45 201  
[ ]trees_2__877_6.min1.thm12017-02-06 12:45 545  
[ ]trees_2__878_31.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_2__879_37.min1.thm12017-02-06 12:45 3.2K 
[ ]trees_2__880_19.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__883_14.min1.thm12017-02-06 12:45 614  
[ ]trees_2__883_14.min1.thm1.tptp2017-02-06 16:46 557  
[ ]trees_2__895_16.min1.thm12017-02-06 12:45 668  
[ ]trees_2__898_3.min1.thm12017-02-06 12:45 403  
[ ]trees_2__898_3.min1.thm1.tptp2017-02-06 16:46 325  
[ ]trees_2__906_23.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__911_23.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__912_27.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__913_53.min1.thm12017-02-06 12:45 490  
[ ]trees_2__914_51.min1.thm12017-02-06 12:45 606  
[ ]trees_2__915_19.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__917_14.min1.thm12017-02-06 12:45 363  
[ ]trees_2__917_14.min1.thm1.tptp2017-02-06 16:46 277  
[ ]trees_2__924_43.min1.thm12017-02-06 12:45 830  
[ ]trees_2__925_42.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__928_30.min1.thm12017-02-06 12:45 880  
[ ]trees_2__929_17.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__936_30.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__937_28.min1.thm12017-02-06 12:45 364  
[ ]trees_2__938_17.min1.thm12017-02-06 12:45 2.2K 
[ ]trees_2__958_22.min1.thm12017-02-06 12:45 503  
[ ]trees_2__964_41.min1.thm12017-02-06 12:45 803  
[ ]trees_2__965_19.min1.thm12017-02-06 12:45 237  
[ ]trees_2__966_19.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__974_22.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__981_33.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__982_23.min1.thm12017-02-06 12:45 350  
[ ]trees_2__982_23.min1.thm1.tptp2017-02-06 16:46 276  
[ ]trees_2__983_37.min1.thm12017-02-06 12:45 2.2K 
[ ]trees_2__987_20.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_2__1000_15.min1.thm12017-02-06 12:45 421  
[ ]trees_2__1000_15.min1.thm1.tptp2017-02-06 16:46 366  
[ ]trees_2__1001_16.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__1002_21.min1.thm12017-02-06 12:45 737  
[ ]trees_2__1004_47.min1.thm12017-02-06 12:45 373  
[ ]trees_2__1004_47.min1.thm1.tptp2017-02-06 16:46 295  
[ ]trees_2__1011_16.min1.thm12017-02-06 12:45 492  
[ ]trees_2__1015_16.min1.thm12017-02-06 12:45 492  
[ ]trees_2__1016_28.min1.thm12017-02-06 12:45 532  
[ ]trees_2__1017_34.min1.thm12017-02-06 12:45 414  
[ ]trees_2__1017_34.min1.thm1.tptp2017-02-06 16:46 340  
[ ]trees_2__1018_25.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__1019_21.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__1026_26.min1.thm12017-02-06 12:45 421  
[ ]trees_2__1026_26.min1.thm1.tptp2017-02-06 16:46 366  
[ ]trees_2__1027_49.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__1028_42.min1.thm12017-02-06 12:45 456  
[ ]trees_2__1028_42.min1.thm1.tptp2017-02-06 16:46 385  
[ ]trees_2__1031_10.min1.thm12017-02-06 12:45 664  
[ ]trees_2__1032_19.min1.thm12017-02-06 12:45 537  
[ ]trees_2__1032_19.min1.thm1.tptp2017-02-06 16:46 471  
[ ]trees_2__1033_16.min1.thm12017-02-06 12:45 588  
[ ]trees_2__1034_21.min1.thm12017-02-06 12:45 480  
[ ]trees_2__1035_25.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__1039_49.min1.thm12017-02-06 12:45 668  
[ ]trees_2__1040_31.min1.thm12017-02-06 12:45 501  
[ ]trees_2__1040_31.min1.thm1.tptp2017-02-06 16:46 435  
[ ]trees_2__1042_55.min1.thm12017-02-06 12:45 634  
[ ]trees_2__1047_40.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__1048_44.min1.thm12017-02-06 12:45 591  
[ ]trees_2__1055_42.min1.thm12017-02-06 12:45 588  
[ ]trees_2__1056_42.min1.thm12017-02-06 12:45 588  
[ ]trees_2__1057_43.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__1058_43.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__1059_27.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__1060_23.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__1061_21.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__1066_43.min1.thm12017-02-06 12:45 517  
[ ]trees_2__1066_43.min1.thm1.tptp2017-02-06 16:46 455  
[ ]trees_2__1067_44.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__1068_28.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__1069_50.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__1070_26.min1.thm12017-02-06 12:45 310  
[ ]trees_2__1071_36.min1.thm12017-02-06 12:45 594  
[ ]trees_2__1078_43.min1.thm12017-02-06 12:45 811  
[ ]trees_2__1079_30.min1.thm12017-02-06 12:45 778  
[ ]trees_2__1080_31.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__1081_21.min1.thm12017-02-06 12:45 534  
[ ]trees_2__1083_10.min1.thm12017-02-06 12:45 567  
[ ]trees_2__1084_15.min1.thm12017-02-06 12:45 530  
[ ]trees_2__1085_19.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__1086_16.min1.thm12017-02-06 12:45 274  
[ ]trees_2__1087_18.min1.thm12017-02-06 12:45 461  
[ ]trees_2__1088_10.min1.thm12017-02-06 12:45 543  
[ ]trees_2__1093_16.min1.thm12017-02-06 12:45 630  
[ ]trees_2__1109_21.min1.thm12017-02-06 12:45 431  
[ ]trees_2__1109_21.min1.thm1.tptp2017-02-06 16:46 362  
[ ]trees_2__1110_28.min1.thm12017-02-06 12:45 911  
[ ]trees_2__1114_41.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__1115_19.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__1127_14.min1.thm12017-02-06 12:45 258  
[ ]trees_2__1140_47.min1.thm12017-02-06 12:45 653  
[ ]trees_2__1141_17.min1.thm12017-02-06 12:45 379  
[ ]trees_2__1141_17.min1.thm1.tptp2017-02-06 16:46 293  
[ ]trees_2__1142_52.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__1143_50.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__1147_43.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_2__1151_23.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__1152_21.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_2__1155_14.min1.thm12017-02-06 12:45 442  
[ ]trees_2__1172_24.min1.thm12017-02-06 12:45 412  
[ ]trees_2__1172_24.min1.thm1.tptp2017-02-06 16:46 335  
[ ]trees_2__1174_31.min1.thm12017-02-06 12:45 506  
[ ]trees_2__1174_31.min1.thm1.tptp2017-02-06 16:46 437  
[ ]trees_2__1176_18.min1.thm12017-02-06 12:45 522  
[ ]trees_2__1176_18.min1.thm1.tptp2017-02-06 16:46 445  
[ ]trees_2__1185_21.min1.thm12017-02-06 12:45 432  
[ ]trees_2__1187_11.min1.thm12017-02-06 12:45 748  
[ ]trees_2__1191_21.min1.thm12017-02-06 12:45 578  
[ ]trees_2__1191_21.min1.thm1.tptp2017-02-06 16:46 503  
[ ]trees_2__1192_19.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_2__1201_15.min1.thm12017-02-06 12:45 608  
[ ]trees_2__1202_37.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__1203_12.min1.thm12017-02-06 12:45 437  
[ ]trees_2__1203_12.min1.thm1.tptp2017-02-06 16:46 356  
[ ]trees_2__1204_19.min1.thm12017-02-06 12:45 585  
[ ]trees_2__1206_19.min1.thm12017-02-06 12:45 510  
[ ]trees_2__1206_19.min1.thm1.tptp2017-02-06 16:46 439  
[ ]trees_2__1208_16.min1.thm12017-02-06 12:45 430  
[ ]trees_2__1208_16.min1.thm1.tptp2017-02-06 16:46 349  
[ ]trees_2__1209_23.min1.thm12017-02-06 12:45 605  
[ ]trees_2__1209_23.min1.thm1.tptp2017-02-06 16:46 530  
[ ]trees_2__1210_17.min1.thm12017-02-06 12:45 2.1K 
[ ]trees_2__1229_23.min1.thm12017-02-06 12:45 376  
[ ]trees_2__1229_23.min1.thm1.tptp2017-02-06 16:46 295  
[ ]trees_2__1243_20.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__1243_20.min1.thm1.tptp2017-02-06 16:46 956  
[ ]trees_2__1253_47.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_2__1256_30.min1.thm12017-02-06 12:45 500  
[ ]trees_2__1257_60.min1.thm12017-02-06 12:45 2.7K 
[ ]trees_2__1265_15.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__1266_25.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__1268_40.min1.thm12017-02-06 12:45 2.7K 
[ ]trees_2__1272_21.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_2__1282_14.min1.thm12017-02-06 12:45 911  
[ ]trees_2__1283_15.min1.thm12017-02-06 12:45 517  
[ ]trees_2__1287_38.min1.thm12017-02-06 12:45 607  
[ ]trees_2__1293_20.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__1295_14.min1.thm12017-02-06 12:45 597  
[ ]trees_2__1296_13.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_2__1298_22.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__1303_22.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__1313_33.min1.thm12017-02-06 12:45 130  
[ ]trees_2__1315_28.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__1316_46.min1.thm12017-02-06 12:45 684  
[ ]trees_2__1318_18.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__1328_40.min1.thm12017-02-06 12:45 373  
[ ]trees_2__1328_40.min1.thm1.tptp2017-02-06 16:46 295  
[ ]trees_2__1333_9.min1.thm12017-02-06 12:45 691  
[ ]trees_2__1342_41.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__1346_27.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_2__1347_29.min1.thm12017-02-06 12:45 2.3K 
[ ]trees_2__1355_31.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__1356_66.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_2__1366_15.min1.thm12017-02-06 12:45 708  
[ ]trees_2__1369_15.min1.thm12017-02-06 12:45 708  
[ ]trees_2__1370_40.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__1371_17.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__1374_33.min1.thm12017-02-06 12:45 240  
[ ]trees_2__1377_12.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__1386_25.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__1386_25.min1.thm1.tptp2017-02-06 16:46 1.2K 
[ ]trees_2__1388_21.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__1389_15.min1.thm12017-02-06 12:45 531  
[ ]trees_2__1396_55.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__1399_29.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__1399_29.min1.thm1.tptp2017-02-06 16:46 1.2K 
[ ]trees_2__1400_62.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__1400_62.min1.thm1.tptp2017-02-06 16:46 1.2K 
[ ]trees_2__1401_14.min1.thm12017-02-06 12:45 604  
[ ]trees_2__1402_19.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__1404_29.min1.thm12017-02-06 12:45 783  
[ ]trees_2__1405_17.min1.thm12017-02-06 12:45 625  
[ ]trees_2__1415_48.min1.thm12017-02-06 12:45 610  
[ ]trees_2__1431_25.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_2__1444_14.min1.thm12017-02-06 12:45 463  
[ ]trees_2__1444_14.min1.thm1.tptp2017-02-06 16:46 388  
[ ]trees_2__1456_14.min1.thm12017-02-06 12:45 734  
[ ]trees_2__1457_16.min1.thm12017-02-06 12:45 431  
[ ]trees_2__1457_16.min1.thm1.tptp2017-02-06 16:46 350  
[ ]trees_2__1471_29.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__1472_16.min1.thm12017-02-06 12:45 609  
[ ]trees_2__1485_46.min1.thm12017-02-06 12:45 827  
[ ]trees_2__1486_15.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__1487_21.min1.thm12017-02-06 12:45 405  
[ ]trees_2__1487_21.min1.thm1.tptp2017-02-06 16:46 323  
[ ]trees_2__1489_17.min1.thm12017-02-06 12:45 851  
[ ]trees_2__1501_43.min1.thm12017-02-06 12:45 554  
[ ]trees_2__1502_18.min1.thm12017-02-06 12:45 835  
[ ]trees_2__1503_16.min1.thm12017-02-06 12:45 325  
[ ]trees_2__1503_16.min1.thm1.tptp2017-02-06 16:46 245  
[ ]trees_2__1507_38.min1.thm12017-02-06 12:45 704  
[ ]trees_2__1509_16.min1.thm12017-02-06 12:45 525  
[ ]trees_2__1509_16.min1.thm1.tptp2017-02-06 16:46 461  
[ ]trees_2__1517_38.min1.thm12017-02-06 12:45 704  
[ ]trees_2__1519_16.min1.thm12017-02-06 12:45 525  
[ ]trees_2__1519_16.min1.thm1.tptp2017-02-06 16:46 465  
[ ]trees_2__1527_13.min1.thm12017-02-06 12:45 130  
[ ]trees_2__1550_25.min1.thm12017-02-06 12:45 725  
[ ]trees_2__1551_26.min1.thm12017-02-06 12:45 867  
[ ]trees_2__1566_18.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__1567_41.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__1571_17.min1.thm12017-02-06 12:45 736  
[ ]trees_2__1580_41.min1.thm12017-02-06 12:45 938  
[ ]trees_2__1581_19.min1.thm12017-02-06 12:45 925  
[ ]trees_2__1593_23.min1.thm12017-02-06 12:45 528  
[ ]trees_2__1593_23.min1.thm1.tptp2017-02-06 16:46 457  
[ ]trees_2__1594_19.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__1615_19.min1.thm12017-02-06 12:45 837  
[ ]trees_2__1637_22.min1.thm12017-02-06 12:45 526  
[ ]trees_2__1640_18.min1.thm12017-02-06 12:45 762  
[ ]trees_2__1664_52.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__1666_52.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__1678_21.min1.thm12017-02-06 12:45 751  
[ ]trees_2__1679_19.min1.thm12017-02-06 12:45 933  
[ ]trees_2__1688_46.min1.thm12017-02-06 12:45 576  
[ ]trees_2__1690_16.min1.thm12017-02-06 12:45 602  
[ ]trees_2__1691_46.min1.thm12017-02-06 12:45 668  
[ ]trees_2__1698_20.min1.thm12017-02-06 12:45 381  
[ ]trees_2__1698_20.min1.thm1.tptp2017-02-06 16:46 302  
[ ]trees_2__1699_21.min1.thm12017-02-06 12:45 734  
[ ]trees_2__1699_21.min1.thm1.tptp2017-02-06 16:46 696  
[ ]trees_2__1701_22.min1.thm12017-02-06 12:45 476  
[ ]trees_2__1708_15.min1.thm12017-02-06 12:45 482  
[ ]trees_2__1709_29.min1.thm12017-02-06 12:45 381  
[ ]trees_2__1709_29.min1.thm1.tptp2017-02-06 16:46 302  
[ ]trees_2__1710_35.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__1711_21.min1.thm12017-02-06 12:45 430  
[ ]trees_2__1711_21.min1.thm1.tptp2017-02-06 16:46 359  
[ ]trees_2__1719_13.min1.thm12017-02-06 12:45 606  
[ ]trees_2__1720_27.min1.thm12017-02-06 12:45 371  
[ ]trees_2__1720_27.min1.thm1.tptp2017-02-06 16:46 292  
[ ]trees_2__1722_19.min1.thm12017-02-06 12:45 733  
[ ]trees_2__1724_14.min1.thm12017-02-06 12:45 405  
[ ]trees_2__1739_13.min1.thm12017-02-06 12:45 409  
[ ]trees_2__1739_13.min1.thm1.tptp2017-02-06 16:46 354  
[ ]trees_2__1740_31.min1.thm12017-02-06 12:45 363  
[ ]trees_2__1740_31.min1.thm1.tptp2017-02-06 16:46 286  
[ ]trees_2__1741_6.min1.thm12017-02-06 12:45 158  
[ ]trees_2__1742_19.min1.thm12017-02-06 12:45 718  
[ ]trees_2__1750_13.min1.thm12017-02-06 12:45 551  
[ ]trees_2__1753_14.min1.thm12017-02-06 12:45 551  
[ ]trees_2__1754_29.min1.thm12017-02-06 12:45 354  
[ ]trees_2__1754_29.min1.thm1.tptp2017-02-06 16:46 277  
[ ]trees_2__1755_29.min1.thm12017-02-06 12:45 355  
[ ]trees_2__1755_29.min1.thm1.tptp2017-02-06 16:46 278  
[ ]trees_2__1756_25.min1.thm12017-02-06 12:45 628  
[ ]trees_2__1757_25.min1.thm12017-02-06 12:45 383  
[ ]trees_2__1757_25.min1.thm1.tptp2017-02-06 16:46 309  
[ ]trees_2__1758_17.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_2__1768_44.min1.thm12017-02-06 12:45 311  
[ ]trees_2__1769_44.min1.thm12017-02-06 12:45 530  
[ ]trees_2__1775_46.min1.thm12017-02-06 12:45 411  
[ ]trees_2__1775_46.min1.thm1.tptp2017-02-06 16:46 334  
[ ]trees_2__1776_16.min1.thm12017-02-06 12:45 184  
[ ]trees_2__1777_16.min1.thm12017-02-06 12:45 427  
[ ]trees_2__1777_16.min1.thm1.tptp2017-02-06 16:46 355  
[ ]trees_2__1781_42.min1.thm12017-02-06 12:45 741  
[ ]trees_2__1786_27.min1.thm12017-02-06 12:45 653  
[ ]trees_2__1787_32.min1.thm12017-02-06 12:45 615  
[ ]trees_2__1787_32.min1.thm1.tptp2017-02-06 16:46 560  
[ ]trees_2__1788_19.min1.thm12017-02-06 12:45 483  
[ ]trees_2__1788_19.min1.thm1.tptp2017-02-06 16:46 419  
[ ]trees_2__1790_27.min1.thm12017-02-06 12:45 557  
[ ]trees_2__1798_18.min1.thm12017-02-06 12:45 512  
[ ]trees_2__1801_14.min1.thm12017-02-06 12:45 640  
[ ]trees_2__1804_21.min1.thm12017-02-06 12:45 576  
[ ]trees_2__1804_21.min1.thm1.tptp2017-02-06 16:46 519  
[ ]trees_2__1805_24.min1.thm12017-02-06 12:45 896  
[ ]trees_2__1806_20.min1.thm12017-02-06 12:45 605  
[ ]trees_2__1807_22.min1.thm12017-02-06 12:45 474  
[ ]trees_2__1808_21.min1.thm12017-02-06 12:45 882  
[ ]trees_2__1814_14.min1.thm12017-02-06 12:45 409  
[ ]trees_2__1814_14.min1.thm1.tptp2017-02-06 16:46 354  
[ ]trees_2__1817_15.min1.thm12017-02-06 12:45 653  
[ ]trees_2__1820_18.min1.thm12017-02-06 12:45 647  
[ ]trees_2__1821_18.min1.thm12017-02-06 12:45 870  
[ ]trees_2__1822_28.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__1823_19.min1.thm12017-02-06 12:45 717  
[ ]trees_2__1825_17.min1.thm12017-02-06 12:45 743  
[ ]trees_2__1835_45.min1.thm12017-02-06 12:45 360  
[ ]trees_2__1836_50.min1.thm12017-02-06 12:45 720  
[ ]trees_2__1842_27.min1.thm12017-02-06 12:45 617  
[ ]trees_2__1843_14.min1.thm12017-02-06 12:45 822  
[ ]trees_2__1846_14.min1.thm12017-02-06 12:45 628  
[ ]trees_2__1847_41.min1.thm12017-02-06 12:45 489  
[ ]trees_2__1847_41.min1.thm1.tptp2017-02-06 16:46 412  
[ ]trees_2__1848_24.min1.thm12017-02-06 12:45 866  
[ ]trees_2__1849_22.min1.thm12017-02-06 12:45 842  
[ ]trees_2__1850_18.min1.thm12017-02-06 12:45 860  
[ ]trees_2__1852_17.min1.thm12017-02-06 12:45 690  
[ ]trees_2__1869_42.min1.thm12017-02-06 12:45 332  
[ ]trees_2__1869_42.min1.thm1.tptp2017-02-06 16:46 245  
[ ]trees_2__1871_11.min1.thm12017-02-06 12:45 415  
[ ]trees_2__1871_11.min1.thm1.tptp2017-02-06 16:46 340  
[ ]trees_2__1872_23.min1.thm12017-02-06 12:45 766  
[ ]trees_2__1874_13.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__1875_15.min1.thm12017-02-06 12:45 894  
[ ]trees_2__1876_20.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__1888_20.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__1896_37.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_2__1908_21.min1.thm12017-02-06 12:45 632  
[ ]trees_2__1913_37.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_2__1914_23.min1.thm12017-02-06 12:45 498  
[ ]trees_2__1915_20.min1.thm12017-02-06 12:45 875  
[ ]trees_2__1916_34.min1.thm12017-02-06 12:45 528  
[ ]trees_2__1917_21.min1.thm12017-02-06 12:45 883  
[ ]trees_2__1919_25.min1.thm12017-02-06 12:45 698  
[ ]trees_2__1922_10.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_2__1923_23.min1.thm12017-02-06 12:45 547  
[ ]trees_2__1923_23.min1.thm1.tptp2017-02-06 16:46 480  
[ ]trees_2__1928_25.min1.thm12017-02-06 12:45 832  
[ ]trees_2__1932_25.min1.thm12017-02-06 12:45 793  
[ ]trees_2__1948_29.min1.thm12017-02-06 12:45 335  
[ ]trees_2__1948_29.min1.thm1.tptp2017-02-06 16:46 245  
[ ]trees_2__1956_19.min1.thm12017-02-06 12:45 699  
[ ]trees_2__1976_17.min1.thm12017-02-06 12:45 661  
[ ]trees_2__1977_42.min1.thm12017-02-06 12:45 867  
[ ]trees_2__1980_49.min1.thm12017-02-06 12:45 918  
[ ]trees_2__1981_14.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__1989_29.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_2__1991_10.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_2__1994_24.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__1995_24.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__2001_14.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__2005_21.min1.thm12017-02-06 12:45 479  
[ ]trees_2__2005_21.min1.thm1.tptp2017-02-06 16:46 390  
[ ]trees_2__2007_49.min1.thm12017-02-06 12:45 613  
[ ]trees_2__2010_25.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_2__2016_15.min1.thm12017-02-06 12:45 900  
[ ]trees_2__2016_15.min1.thm1.tptp2017-02-06 16:46 856  
[ ]trees_2__2022_47.min1.thm12017-02-06 12:45 910  
[ ]trees_2__2023_26.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_2__2033_8.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_2__2040_42.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__2044_23.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_2__2045_44.min1.thm12017-02-06 12:45 908  
[ ]trees_2__2053_15.min1.thm12017-02-06 12:45 404  
[ ]trees_2__2060_50.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__2074_18.min1.thm12017-02-06 12:45 336  
[ ]trees_2__2083_17.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__2084_16.min1.thm12017-02-06 12:45 463  
[ ]trees_2__2084_16.min1.thm1.tptp2017-02-06 16:46 381  
[ ]trees_2__2087_20.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__2096_14.min1.thm12017-02-06 12:45 398  
[ ]trees_2__2099_55.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__2114_16.min1.thm12017-02-06 12:45 530  
[ ]trees_2__2126_43.min1.thm12017-02-06 12:45 857  
[ ]trees_2__2131_27.min1.thm12017-02-06 12:45 132  
[ ]trees_2__2137_42.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__2144_15.min1.thm12017-02-06 12:45 679  
[ ]trees_2__2149_19.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__2149_19.min1.thm1.tptp2017-02-06 16:46 1.0K 
[ ]trees_2__2191_49.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_2__2192_18.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__2193_19.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__2195_16.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_2__2196_21.min1.thm12017-02-06 12:45 2.2K 
[ ]trees_2__2197_49.min1.thm12017-02-06 12:45 2.7K 
[ ]trees_2__2198_13.min1.thm12017-02-06 12:45 2.4K 
[ ]trees_2__2200_21.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__2203_21.min1.thm12017-02-06 12:45 790  
[ ]trees_2__2205_33.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__2206_31.min1.thm12017-02-06 12:45 664  
[ ]trees_2__2207_32.min1.thm12017-02-06 12:45 803  
[ ]trees_2__2208_46.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__2214_16.min1.thm12017-02-06 12:45 2.8K 
[ ]trees_2__2222_21.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__2229_18.min1.thm12017-02-06 12:45 698  
[ ]trees_2__2230_17.min1.thm12017-02-06 12:45 794  
[ ]trees_2__2243_17.min1.thm12017-02-06 12:45 679  
[ ]trees_2__2248_17.min1.thm12017-02-06 12:45 679  
[ ]trees_2__2249_28.min1.thm12017-02-06 12:45 460  
[ ]trees_2__2249_28.min1.thm1.tptp2017-02-06 16:46 383  
[ ]trees_2__2250_28.min1.thm12017-02-06 12:45 461  
[ ]trees_2__2250_28.min1.thm1.tptp2017-02-06 16:46 384  
[ ]trees_2__2251_39.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__2252_17.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__2253_33.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_2__2262_16.min1.thm12017-02-06 12:45 640  
[ ]trees_2__2263_28.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__2264_15.min1.thm12017-02-06 12:45 2.2K 
[ ]trees_2__2265_22.min1.thm12017-02-06 12:45 707  
[ ]trees_2__2266_21.min1.thm12017-02-06 12:45 720  
[ ]trees_2__2273_18.min1.thm12017-02-06 12:45 824  
[ ]trees_2__2274_22.min1.thm12017-02-06 12:45 958  
[ ]trees_2__2285_16.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__2288_19.min1.thm12017-02-06 12:45 823  
[ ]trees_2__2291_16.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__2301_15.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__2301_15.min1.thm1.tptp2017-02-06 16:46 963  
[ ]trees_2__2304_50.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__2308_16.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_2__2311_15.min1.thm12017-02-06 12:45 912  
[ ]trees_2__2314_16.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__2315_35.min1.thm12017-02-06 12:45 851  
[ ]trees_2__2326_12.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__2329_20.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__2329_20.min1.thm1.tptp2017-02-06 16:46 939  
[ ]trees_2__2333_50.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__2339_44.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__2341_11.min1.thm12017-02-06 12:45 2.6K 
[ ]trees_2__2349_11.min1.thm12017-02-06 12:45 2.6K 
[ ]trees_2__2368_31.min1.thm12017-02-06 12:45 792  
[ ]trees_2__2369_18.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_2__2370_16.min1.thm12017-02-06 12:45 685  
[ ]trees_2__2378_20.min1.thm12017-02-06 12:45 703  
[ ]trees_2__2380_43.min1.thm12017-02-06 12:45 852  
[ ]trees_2__2380_43.min1.thm1.tptp2017-02-06 16:46 794  
[ ]trees_2__2413_11.min1.thm12017-02-06 12:45 776  
[ ]trees_2__2420_13.min1.thm12017-02-06 12:45 130  
[ ]trees_2__2427_33.min1.thm12017-02-06 12:45 332  
[ ]trees_2__2427_33.min1.thm1.tptp2017-02-06 16:46 245  
[ ]trees_2__2429_15.min1.thm12017-02-06 12:45 942  
[ ]trees_2__2438_33.min1.thm12017-02-06 12:45 332  
[ ]trees_2__2438_33.min1.thm1.tptp2017-02-06 16:46 245  
[ ]trees_2__2440_15.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__2449_19.min1.thm12017-02-06 12:45 291  
[ ]trees_2__2450_16.min1.thm12017-02-06 12:45 639  
[ ]trees_2__2507_16.min1.thm12017-02-06 12:45 592  
[ ]trees_2__2511_21.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__2512_19.min1.thm12017-02-06 12:45 826  
[ ]trees_2__2519_16.min1.thm12017-02-06 12:45 814  
[ ]trees_2__2521_24.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__2536_19.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__2537_20.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__2557_42.min1.thm12017-02-06 12:45 332  
[ ]trees_2__2557_42.min1.thm1.tptp2017-02-06 16:46 245  
[ ]trees_2__2559_11.min1.thm12017-02-06 12:45 415  
[ ]trees_2__2559_11.min1.thm1.tptp2017-02-06 16:46 340  
[ ]trees_2__2560_23.min1.thm12017-02-06 12:45 774  
[ ]trees_2__2562_13.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__2563_15.min1.thm12017-02-06 12:45 894  
[ ]trees_2__2564_20.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__2575_20.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__2583_37.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_2__2595_21.min1.thm12017-02-06 12:45 632  
[ ]trees_2__2599_33.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_2__2600_37.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_2__2601_23.min1.thm12017-02-06 12:45 498  
[ ]trees_2__2602_20.min1.thm12017-02-06 12:45 876  
[ ]trees_2__2603_34.min1.thm12017-02-06 12:45 528  
[ ]trees_2__2604_21.min1.thm12017-02-06 12:45 883  
[ ]trees_2__2606_25.min1.thm12017-02-06 12:45 698  
[ ]trees_2__2609_10.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_2__2610_23.min1.thm12017-02-06 12:45 547  
[ ]trees_2__2610_23.min1.thm1.tptp2017-02-06 16:46 480  
[ ]trees_2__2615_25.min1.thm12017-02-06 12:45 832  
[ ]trees_2__2619_25.min1.thm12017-02-06 12:45 793  
[ ]trees_2__2635_29.min1.thm12017-02-06 12:45 335  
[ ]trees_2__2635_29.min1.thm1.tptp2017-02-06 16:46 245  
[ ]trees_2__2643_19.min1.thm12017-02-06 12:45 699  
[ ]trees_2__2648_35.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_2__2663_17.min1.thm12017-02-06 12:45 661  
[ ]trees_2__2664_42.min1.thm12017-02-06 12:45 867  
[ ]trees_2__2667_49.min1.thm12017-02-06 12:45 919  
[ ]trees_2__2668_14.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__2676_29.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_2__2678_10.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_2__2681_24.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__2682_24.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__2688_14.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__2692_21.min1.thm12017-02-06 12:45 482  
[ ]trees_2__2692_21.min1.thm1.tptp2017-02-06 16:46 393  
[ ]trees_2__2694_49.min1.thm12017-02-06 12:45 615  
[ ]trees_2__2696_35.min1.thm12017-02-06 12:45 961  
[ ]trees_2__2697_25.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_2__2703_15.min1.thm12017-02-06 12:45 894  
[ ]trees_2__2703_15.min1.thm1.tptp2017-02-06 16:46 850  
[ ]trees_2__2709_47.min1.thm12017-02-06 12:45 911  
[ ]trees_2__2710_26.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_2__2720_8.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_2__2727_39.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__2731_23.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_2__2732_44.min1.thm12017-02-06 12:45 909  
[ ]trees_2__2740_15.min1.thm12017-02-06 12:45 404  
[ ]trees_2__2747_47.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__2761_18.min1.thm12017-02-06 12:45 338  
[ ]trees_2__2771_16.min1.thm12017-02-06 12:45 463  
[ ]trees_2__2771_16.min1.thm1.tptp2017-02-06 16:46 381  
[ ]trees_2__2774_20.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__2783_14.min1.thm12017-02-06 12:45 398  
[ ]trees_2__2786_55.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__2801_16.min1.thm12017-02-06 12:45 532  
[ ]trees_2__2813_43.min1.thm12017-02-06 12:45 857  
[ ]trees_2__2818_27.min1.thm12017-02-06 12:45 132  
[ ]trees_2__2820_18.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_2__2825_42.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__2832_15.min1.thm12017-02-06 12:45 679  
[ ]trees_2__2837_19.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__2837_19.min1.thm1.tptp2017-02-06 16:46 1.0K 
[ ]trees_2__2879_49.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_2__2880_18.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__2881_19.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__2883_16.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_2__2884_21.min1.thm12017-02-06 12:45 2.2K 
[ ]trees_2__2885_49.min1.thm12017-02-06 12:45 2.7K 
[ ]trees_2__2886_13.min1.thm12017-02-06 12:45 2.4K 
[ ]trees_2__2891_21.min1.thm12017-02-06 12:45 790  
[ ]trees_2__2893_33.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__2894_31.min1.thm12017-02-06 12:45 664  
[ ]trees_2__2895_32.min1.thm12017-02-06 12:45 803  
[ ]trees_2__2896_46.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_2__2902_16.min1.thm12017-02-06 12:45 2.8K 
[ ]trees_2__2910_21.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__2917_18.min1.thm12017-02-06 12:45 698  
[ ]trees_2__2918_17.min1.thm12017-02-06 12:45 794  
[ ]trees_2__2931_17.min1.thm12017-02-06 12:45 679  
[ ]trees_2__2936_17.min1.thm12017-02-06 12:45 679  
[ ]trees_2__2937_28.min1.thm12017-02-06 12:45 461  
[ ]trees_2__2937_28.min1.thm1.tptp2017-02-06 16:46 384  
[ ]trees_2__2938_28.min1.thm12017-02-06 12:45 462  
[ ]trees_2__2938_28.min1.thm1.tptp2017-02-06 16:46 385  
[ ]trees_2__2939_39.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__2940_17.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__2941_33.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_2__2950_16.min1.thm12017-02-06 12:45 641  
[ ]trees_2__2951_28.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_2__2952_15.min1.thm12017-02-06 12:45 2.2K 
[ ]trees_2__2953_22.min1.thm12017-02-06 12:45 709  
[ ]trees_2__2954_21.min1.thm12017-02-06 12:45 723  
[ ]trees_2__2961_18.min1.thm12017-02-06 12:45 824  
[ ]trees_2__2962_22.min1.thm12017-02-06 12:45 958  
[ ]trees_2__2973_16.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__2976_19.min1.thm12017-02-06 12:45 823  
[ ]trees_2__2979_16.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__2988_15.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__2988_15.min1.thm1.tptp2017-02-06 16:46 957  
[ ]trees_2__2991_47.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__2995_16.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_2__2998_15.min1.thm12017-02-06 12:45 914  
[ ]trees_2__3001_16.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__3002_35.min1.thm12017-02-06 12:45 851  
[ ]trees_2__3013_12.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_2__3016_20.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__3016_20.min1.thm1.tptp2017-02-06 16:46 933  
[ ]trees_2__3020_47.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_2__3028_11.min1.thm12017-02-06 12:45 2.6K 
[ ]trees_2__3036_11.min1.thm12017-02-06 12:45 2.6K 
[ ]trees_2__3054_6.min1.thm12017-02-06 12:45 381  
[ ]trees_2__3054_6.min1.thm1.tptp2017-02-06 16:46 306  
[ ]trees_2__3060_8.min1.thm12017-02-06 12:45 507  
[ ]trees_2__3062_23.min1.thm12017-02-06 12:45 606  
[ ]trees_2__3063_23.min1.thm12017-02-06 12:45 524  
[ ]trees_2__3064_22.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_2__3069_6.min1.thm12017-02-06 12:45 381  
[ ]trees_2__3069_6.min1.thm1.tptp2017-02-06 16:46 306  
[ ]trees_2__3073_6.min1.thm12017-02-06 12:45 503  
[ ]trees_2__3075_21.min1.thm12017-02-06 12:45 598  
[ ]trees_2__3076_21.min1.thm12017-02-06 12:45 509  
[ ]trees_2__3077_19.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_2__3095_14.min1.thm12017-02-06 12:45 415  
[ ]trees_2__3095_14.min1.thm1.tptp2017-02-06 16:46 350  
[ ]trees_2__3097_21.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_2__3102_21.min1.thm12017-02-06 12:45 696  
[ ]trees_2__3103_10.min1.thm12017-02-06 12:45 550  
[ ]trees_2__3104_49.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_2__3106_19.min1.thm12017-02-06 12:45 407  
[ ]trees_2__3106_19.min1.thm1.tptp2017-02-06 16:46 342  
[ ]trees_2__3117_44.min1.thm12017-02-06 12:45 714  
[ ]trees_2__3118_44.min1.thm12017-02-06 12:45 619  
[ ]trees_2__3119_11.min1.thm12017-02-06 12:45 186  
[ ]trees_2__3122_53.min1.thm12017-02-06 12:45 649  
[ ]trees_2__3127_15.min1.thm12017-02-06 12:45 595  
[ ]trees_2__3128_25.min1.thm12017-02-06 12:45 917  
[ ]trees_2__3131_21.min1.thm12017-02-06 12:45 459  
[ ]trees_2__3131_21.min1.thm1.tptp2017-02-06 16:46 382  
[ ]trees_2__3137_15.min1.thm12017-02-06 12:45 597  
[ ]trees_2__3138_25.min1.thm12017-02-06 12:45 917  
[ ]trees_2__3141_21.min1.thm12017-02-06 12:45 460  
[ ]trees_2__3141_21.min1.thm1.tptp2017-02-06 16:46 383  
[ ]trees_2__3146_17.min1.thm12017-02-06 12:45 531  
[ ]trees_2__3149_22.min1.thm12017-02-06 12:45 529  
[ ]trees_2__3150_19.min1.thm12017-02-06 12:45 765  
[ ]trees_2__3154_29.min1.thm12017-02-06 12:45 456  
[ ]trees_2__3155_19.min1.thm12017-02-06 12:45 625  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80