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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]trees_9__50_15.min1.thm12017-02-06 12:44 670  
[ ]trees_9__60_40.min1.thm12017-02-06 12:44 394  
[ ]trees_9__60_40.min1.thm1.tptp2017-02-06 16:46 304  
[ ]trees_9__67_20.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__76_16.min1.thm12017-02-06 12:44 784  
[ ]trees_9__77_39.min1.thm12017-02-06 12:44 665  
[ ]trees_9__78_15.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__80_16.min1.thm12017-02-06 12:44 939  
[ ]trees_9__81_39.min1.thm12017-02-06 12:44 468  
[ ]trees_9__82_15.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__83_15.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_9__84_20.min1.thm12017-02-06 12:44 1.7K 
[ ]trees_9__88_25.min1.thm12017-02-06 12:44 2.1K 
[ ]trees_9__91_29.min1.thm12017-02-06 12:44 892  
[ ]trees_9__98_52.min1.thm12017-02-06 12:44 775  
[ ]trees_9__99_44.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_9__101_31.min1.thm12017-02-06 12:44 784  
[ ]trees_9__102_18.min1.thm12017-02-06 12:44 643  
[ ]trees_9__105_37.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_9__109_21.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__110_23.min1.thm12017-02-06 12:44 1.6K 
[ ]trees_9__111_26.min1.thm12017-02-06 12:45 2.5K 
[ ]trees_9__122_37.min1.thm12017-02-06 12:44 621  
[ ]trees_9__123_11.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_9__125_14.min1.thm12017-02-06 12:44 903  
[ ]trees_9__126_35.min1.thm12017-02-06 12:44 444  
[ ]trees_9__128_15.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__129_17.min1.thm12017-02-06 12:45 2.3K 
[ ]trees_9__139_60.min1.thm12017-02-06 12:45 671  
[ ]trees_9__140_22.min1.thm12017-02-06 12:45 564  
[ ]trees_9__140_22.min1.thm1.tptp2017-02-06 16:46 498  
[ ]trees_9__143_16.min1.thm12017-02-06 12:45 911  
[ ]trees_9__150_11.min1.thm12017-02-06 12:44 456  
[ ]trees_9__152_17.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_9__154_22.min1.thm12017-02-06 12:44 1.7K 
[ ]trees_9__155_22.min1.thm12017-02-06 12:44 2.7K 
[ ]trees_9__156_17.min1.thm12017-02-06 12:44 820  
[ ]trees_9__165_14.min1.thm12017-02-06 12:44 732  
[ ]trees_9__166_53.min1.thm12017-02-06 12:45 663  
[ ]trees_9__167_63.min1.thm12017-02-06 12:45 495  
[ ]trees_9__167_63.min1.thm1.tptp2017-02-06 16:46 425  
[ ]trees_9__179_15.min1.thm12017-02-06 12:44 832  
[ ]trees_9__192_13.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__193_18.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__195_34.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__197_32.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_9__246_25.min1.thm12017-02-06 12:44 562  
[ ]trees_9__248_21.min1.thm12017-02-06 12:44 325  
[ ]trees_9__248_21.min1.thm1.tptp2017-02-06 16:46 242  
[ ]trees_9__251_17.min1.thm12017-02-06 12:44 403  
[ ]trees_9__252_16.min1.thm12017-02-06 12:44 353  
[ ]trees_9__252_16.min1.thm1.tptp2017-02-06 16:46 288  
[ ]trees_9__254_20.min1.thm12017-02-06 12:44 684  
[ ]trees_9__255_37.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_9__256_41.min1.thm12017-02-06 12:44 563  
[ ]trees_9__258_18.min1.thm12017-02-06 12:44 654  
[ ]trees_9__269_37.min1.thm12017-02-06 12:44 502  
[ ]trees_9__271_31.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__280_14.min1.thm12017-02-06 12:44 472  
[ ]trees_9__283_18.min1.thm12017-02-06 12:44 762  
[ ]trees_9__284_22.min1.thm12017-02-06 12:44 1.6K 
[ ]trees_9__289_16.min1.thm12017-02-06 12:44 462  
[ ]trees_9__290_17.min1.thm12017-02-06 12:44 644  
[ ]trees_9__298_37.min1.thm12017-02-06 12:44 964  
[ ]trees_9__301_28.min1.thm12017-02-06 12:44 2.0K 
[ ]trees_9__302_26.min1.thm12017-02-06 12:44 701  
[ ]trees_9__309_20.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_9__312_27.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_9__313_19.min1.thm12017-02-06 12:44 520  
[ ]trees_9__314_16.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_9__316_35.min1.thm12017-02-06 12:44 723  
[ ]trees_9__319_16.min1.thm12017-02-06 12:44 462  
[ ]trees_9__320_17.min1.thm12017-02-06 12:44 964  
[ ]trees_9__330_17.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__338_37.min1.thm12017-02-06 12:44 898  
[ ]trees_9__344_31.min1.thm12017-02-06 12:44 1.7K 
[ ]trees_9__345_29.min1.thm12017-02-06 12:44 914  
[ ]trees_9__346_24.min1.thm12017-02-06 12:44 812  
[ ]trees_9__348_32.min1.thm12017-02-06 12:44 751  
[ ]trees_9__359_42.min1.thm12017-02-06 12:45 406  
[ ]trees_9__359_42.min1.thm1.tptp2017-02-06 16:46 336  
[ ]trees_9__360_19.min1.thm12017-02-06 12:45 893  
[ ]trees_9__377_46.min1.thm12017-02-06 12:44 401  
[ ]trees_9__377_46.min1.thm1.tptp2017-02-06 16:46 311  
[ ]trees_9__379_32.min1.thm12017-02-06 12:44 342  
[ ]trees_9__379_32.min1.thm1.tptp2017-02-06 16:46 256  
[ ]trees_9__380_20.min1.thm12017-02-06 12:44 700  
[ ]trees_9__381_16.min1.thm12017-02-06 12:45 442  
[ ]trees_9__401_31.min1.thm12017-02-06 12:44 770  
[ ]trees_9__408_35.min1.thm12017-02-06 12:44 679  
[ ]trees_9__415_14.min1.thm12017-02-06 12:44 446  
[ ]trees_9__415_14.min1.thm1.tptp2017-02-06 16:46 373  
[ ]trees_9__421_14.min1.thm12017-02-06 12:45 446  
[ ]trees_9__421_14.min1.thm1.tptp2017-02-06 16:46 373  
[ ]trees_9__428_14.min1.thm12017-02-06 12:44 530  
[ ]trees_9__453_16.min1.thm12017-02-06 12:44 825  
[ ]trees_9__461_18.min1.thm12017-02-06 12:44 854  
[ ]trees_9__464_18.min1.thm12017-02-06 12:45 742  
[ ]trees_9__465_17.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_9__466_30.min1.thm12017-02-06 12:44 915  
[ ]trees_9__468_25.min1.thm12017-02-06 12:44 810  
[ ]trees_9__474_17.min1.thm12017-02-06 12:44 417  
[ ]trees_9__474_17.min1.thm1.tptp2017-02-06 16:46 351  
[ ]trees_9__477_34.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__481_17.min1.thm12017-02-06 12:44 777  
[ ]trees_9__482_21.min1.thm12017-02-06 12:44 616  
[ ]trees_9__483_21.min1.thm12017-02-06 12:44 912  
[ ]trees_9__495_38.min1.thm12017-02-06 12:44 664  
[ ]trees_9__495_38.min1.thm1.tptp2017-02-06 16:46 618  
[ ]trees_9__496_21.min1.thm12017-02-06 12:44 533  
[ ]trees_9__496_21.min1.thm1.tptp2017-02-06 16:46 458  
[ ]trees_9__497_21.min1.thm12017-02-06 12:44 910  
[ ]trees_9__499_34.min1.thm12017-02-06 12:44 911  
[ ]trees_9__510_46.min1.thm12017-02-06 12:44 953  
[ ]trees_9__512_37.min1.thm12017-02-06 12:44 628  
[ ]trees_9__512_37.min1.thm1.tptp2017-02-06 16:46 582  
[ ]trees_9__513_19.min1.thm12017-02-06 12:44 493  
[ ]trees_9__513_19.min1.thm1.tptp2017-02-06 16:46 418  
[ ]trees_9__514_19.min1.thm12017-02-06 12:44 816  
[ ]trees_9__517_34.min1.thm12017-02-06 12:44 612  
[ ]trees_9__518_44.min1.thm12017-02-06 12:45 914  
[ ]trees_9__519_34.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__520_15.min1.thm12017-02-06 12:44 352  
[ ]trees_9__520_15.min1.thm1.tptp2017-02-06 16:46 275  
[ ]trees_9__525_35.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__527_26.min1.thm12017-02-06 12:44 946  
[ ]trees_9__534_16.min1.thm12017-02-06 12:44 800  
[ ]trees_9__537_21.min1.thm12017-02-06 12:44 566  
[ ]trees_9__538_17.min1.thm12017-02-06 12:44 658  
[ ]trees_9__541_34.min1.thm12017-02-06 12:44 517  
[ ]trees_9__544_20.min1.thm12017-02-06 12:44 910  
[ ]trees_9__545_21.min1.thm12017-02-06 12:44 789  
[ ]trees_9__548_46.min1.thm12017-02-06 12:44 949  
[ ]trees_9__549_27.min1.thm12017-02-06 12:44 394  
[ ]trees_9__549_27.min1.thm1.tptp2017-02-06 16:46 316  
[ ]trees_9__550_53.min1.thm12017-02-06 12:44 838  
[ ]trees_9__551_34.min1.thm12017-02-06 12:44 882  
[ ]trees_9__558_44.min1.thm12017-02-06 12:45 952  
[ ]trees_9__561_16.min1.thm12017-02-06 12:44 682  
[ ]trees_9__562_21.min1.thm12017-02-06 12:44 536  
[ ]trees_9__563_19.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_9__566_17.min1.thm12017-02-06 12:44 572  
[ ]trees_9__566_17.min1.thm1.tptp2017-02-06 16:46 514  
[ ]trees_9__580_16.min1.thm12017-02-06 12:44 491  
[ ]trees_9__619_56.min1.thm12017-02-06 12:44 787  
[ ]trees_9__620_70.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__622_46.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__638_20.min1.thm12017-02-06 12:44 769  
[ ]trees_9__639_20.min1.thm12017-02-06 12:44 797  
[ ]trees_9__644_49.min1.thm12017-02-06 12:44 2.0K 
[ ]trees_9__654_25.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_9__657_18.min1.thm12017-02-06 12:44 653  
[ ]trees_9__657_18.min1.thm1.tptp2017-02-06 16:46 591  
[ ]trees_9__668_32.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__673_29.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__674_28.min1.thm12017-02-06 12:44 763  
[ ]trees_9__675_18.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__677_31.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__691_43.min1.thm12017-02-06 12:44 852  
[ ]trees_9__692_25.min1.thm12017-02-06 12:44 1.6K 
[ ]trees_9__694_28.min1.thm12017-02-06 12:44 1.9K 
[ ]trees_9__696_16.min1.thm12017-02-06 12:44 907  
[ ]trees_9__698_12.min1.thm12017-02-06 12:44 546  
[ ]trees_9__710_29.min1.thm12017-02-06 12:45 831  
[ ]trees_9__711_51.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__718_43.min1.thm12017-02-06 12:44 798  
[ ]trees_9__719_13.min1.thm12017-02-06 12:44 870  
[ ]trees_9__721_14.min1.thm12017-02-06 12:44 921  
[ ]trees_9__722_37.min1.thm12017-02-06 12:44 456  
[ ]trees_9__723_33.min1.thm12017-02-06 12:44 130  
[ ]trees_9__725_18.min1.thm12017-02-06 12:44 967  
[ ]trees_9__731_32.min1.thm12017-02-06 12:45 767  
[ ]trees_9__736_64.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__737_30.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_9__741_40.min1.thm12017-02-06 12:45 2.3K 
[ ]trees_9__744_47.min1.thm12017-02-06 12:44 928  
[ ]trees_9__745_25.min1.thm12017-02-06 12:44 490  
[ ]trees_9__745_25.min1.thm1.tptp2017-02-06 16:46 417  
[ ]trees_9__752_38.min1.thm12017-02-06 12:44 860  
[ ]trees_9__755_20.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__757_33.min1.thm12017-02-06 12:44 675  
[ ]trees_9__759_24.min1.thm12017-02-06 12:44 778  
[ ]trees_9__759_24.min1.thm1.tptp2017-02-06 16:46 713  
[ ]trees_9__761_29.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__783_17.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__804_11.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__811_44.min1.thm12017-02-06 12:44 653  
[ ]trees_9__812_14.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__819_11.min1.thm12017-02-06 12:44 950  
[ ]trees_9__828_11.min1.thm12017-02-06 12:44 130  
[ ]trees_9__839_38.min1.thm12017-02-06 12:44 382  
[ ]trees_9__839_38.min1.thm1.tptp2017-02-06 16:46 302  
[ ]trees_9__844_42.min1.thm12017-02-06 12:44 727  
[ ]trees_9__847_16.min1.thm12017-02-06 12:44 678  
[ ]trees_9__864_16.min1.thm12017-02-06 12:44 755  
[ ]trees_9__880_21.min1.thm12017-02-06 12:44 507  
[ ]trees_9__880_21.min1.thm1.tptp2017-02-06 16:46 430  
[ ]trees_9__881_21.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__883_16.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_9__894_40.min1.thm12017-02-06 12:44 690  
[ ]trees_9__909_12.min1.thm12017-02-06 12:44 620  
[ ]trees_9__910_14.min1.thm12017-02-06 12:44 793  
[ ]trees_9__919_46.min1.thm12017-02-06 12:44 417  
[ ]trees_9__919_46.min1.thm1.tptp2017-02-06 16:46 329  
[ ]trees_9__920_22.min1.thm12017-02-06 12:44 497  
[ ]trees_9__923_22.min1.thm12017-02-06 12:44 497  
[ ]trees_9__931_17.min1.thm12017-02-06 12:44 681  
[ ]trees_9__945_14.min1.thm12017-02-06 12:44 793  
[ ]trees_9__961_17.min1.thm12017-02-06 12:44 863  
[ ]trees_9__962_23.min1.thm12017-02-06 12:44 755  
[ ]trees_9__965_16.min1.thm12017-02-06 12:44 487  
[ ]trees_9__965_16.min1.thm1.tptp2017-02-06 16:46 409  
[ ]trees_9__977_16.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__988_12.min1.thm12017-02-06 12:44 620  
[ ]trees_9__989_14.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_9__996_37.min1.thm12017-02-06 12:44 641  
[ ]trees_9__1000_17.min1.thm12017-02-06 12:45 649  
[ ]trees_9__1017_76.min1.thm12017-02-06 12:45 878  
[ ]trees_9__1018_18.min1.thm12017-02-06 12:44 886  
[ ]trees_9__1020_16.min1.thm12017-02-06 12:44 435  
[ ]trees_9__1020_16.min1.thm1.tptp2017-02-06 16:46 357  
[ ]trees_9__1037_27.min1.thm12017-02-06 12:44 387  
[ ]trees_9__1037_27.min1.thm1.tptp2017-02-06 16:46 307  
[ ]trees_9__1038_26.min1.thm12017-02-06 12:44 956  
[ ]trees_9__1039_38.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__1045_68.min1.thm12017-02-06 12:44 641  
[ ]trees_9__1049_40.min1.thm12017-02-06 12:44 1.6K 
[ ]trees_9__1050_19.min1.thm12017-02-06 12:44 638  
[ ]trees_9__1051_16.min1.thm12017-02-06 12:44 776  
[ ]trees_9__1052_26.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_9__1070_52.min1.thm12017-02-06 12:44 723  
[ ]trees_9__1071_39.min1.thm12017-02-06 12:44 928  
[ ]trees_9__1073_17.min1.thm12017-02-06 12:44 911  
[ ]trees_9__1075_21.min1.thm12017-02-06 12:44 1.6K 
[ ]trees_9__1082_34.min1.thm12017-02-06 12:44 826  
[ ]trees_9__1089_20.min1.thm12017-02-06 12:44 881  
[ ]trees_9__1091_55.min1.thm12017-02-06 12:44 724  
[ ]trees_9__1092_29.min1.thm12017-02-06 12:44 135  
[ ]trees_9__1094_32.min1.thm12017-02-06 12:44 579  
[ ]trees_9__1096_20.min1.thm12017-02-06 12:44 1.6K 
[ ]trees_9__1108_40.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_9__1109_16.min1.thm12017-02-06 12:44 579  
[ ]trees_9__1122_52.min1.thm12017-02-06 12:44 723  
[ ]trees_9__1139_11.min1.thm12017-02-06 12:44 130  
[ ]trees_9__1150_38.min1.thm12017-02-06 12:44 397  
[ ]trees_9__1150_38.min1.thm1.tptp2017-02-06 16:46 317  
[ ]trees_9__1158_16.min1.thm12017-02-06 12:44 641  
[ ]trees_9__1177_16.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__1195_21.min1.thm12017-02-06 12:44 507  
[ ]trees_9__1195_21.min1.thm1.tptp2017-02-06 16:46 430  
[ ]trees_9__1196_21.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__1198_16.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_9__1211_35.min1.thm12017-02-06 12:44 316  
[ ]trees_9__1211_35.min1.thm1.tptp2017-02-06 16:46 238  
[ ]trees_9__1213_12.min1.thm12017-02-06 12:44 685  
[ ]trees_9__1225_11.min1.thm12017-02-06 12:44 734  
[ ]trees_9__1226_33.min1.thm12017-02-06 12:44 611  
[ ]trees_9__1227_27.min1.thm12017-02-06 12:44 332  
[ ]trees_9__1227_27.min1.thm1.tptp2017-02-06 16:46 246  
[ ]trees_9__1228_12.min1.thm12017-02-06 12:44 398  
[ ]trees_9__1235_14.min1.thm12017-02-06 12:44 396  
[ ]trees_9__1235_14.min1.thm1.tptp2017-02-06 16:46 319  
[ ]trees_9__1245_11.min1.thm12017-02-06 12:44 968  
[ ]trees_9__1246_12.min1.thm12017-02-06 12:45 504  
[ ]trees_9__1247_28.min1.thm12017-02-06 12:44 877  
[ ]trees_9__1252_14.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__1262_35.min1.thm12017-02-06 12:44 742  
[ ]trees_9__1264_24.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_9__1266_73.min1.thm12017-02-06 12:44 485  
[ ]trees_9__1266_73.min1.thm1.tptp2017-02-06 16:46 423  
[ ]trees_9__1273_67.min1.thm12017-02-06 12:44 431  
[ ]trees_9__1273_67.min1.thm1.tptp2017-02-06 16:46 376  
[ ]trees_9__1276_21.min1.thm12017-02-06 12:44 546  
[ ]trees_9__1296_31.min1.thm12017-02-06 12:44 858  
[ ]trees_9__1299_16.min1.thm12017-02-06 12:45 435  
[ ]trees_9__1299_16.min1.thm1.tptp2017-02-06 16:46 357  
[ ]trees_9__1316_30.min1.thm12017-02-06 12:44 393  
[ ]trees_9__1316_30.min1.thm1.tptp2017-02-06 16:46 313  
[ ]trees_9__1323_68.min1.thm12017-02-06 12:44 608  
[ ]trees_9__1329_14.min1.thm12017-02-06 12:44 374  
[ ]trees_9__1329_14.min1.thm1.tptp2017-02-06 16:46 296  
[ ]trees_9__1331_19.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__1332_16.min1.thm12017-02-06 12:44 776  
[ ]trees_9__1333_26.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_9__1345_12.min1.thm12017-02-06 12:44 504  
[ ]trees_9__1352_13.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__1364_73.min1.thm12017-02-06 12:44 960  
[ ]trees_9__1368_6.min1.thm12017-02-06 12:44 545  
[ ]trees_9__1368_6.min1.thm1.tptp2017-02-06 16:46 483  
[ ]trees_9__1374_69.min1.thm12017-02-06 12:44 461  
[ ]trees_9__1374_69.min1.thm1.tptp2017-02-06 16:46 406  
[ ]trees_9__1377_23.min1.thm12017-02-06 12:44 588  
[ ]trees_9__1398_52.min1.thm12017-02-06 12:44 658  
[ ]trees_9__1399_39.min1.thm12017-02-06 12:44 860  
[ ]trees_9__1401_17.min1.thm12017-02-06 12:44 872  
[ ]trees_9__1402_20.min1.thm12017-02-06 12:44 340  
[ ]trees_9__1402_20.min1.thm1.tptp2017-02-06 16:46 259  
[ ]trees_9__1411_34.min1.thm12017-02-06 12:44 826  
[ ]trees_9__1420_55.min1.thm12017-02-06 12:44 725  
[ ]trees_9__1421_29.min1.thm12017-02-06 12:44 135  
[ ]trees_9__1423_32.min1.thm12017-02-06 12:44 579  
[ ]trees_9__1425_20.min1.thm12017-02-06 12:44 1.6K 
[ ]trees_9__1437_40.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__1438_16.min1.thm12017-02-06 12:44 579  
[ ]trees_9__1451_52.min1.thm12017-02-06 12:44 658  
[ ]trees_9__1466_14.min1.thm12017-02-06 12:44 399  
[ ]trees_9__1466_14.min1.thm1.tptp2017-02-06 16:46 324  
[ ]trees_9__1467_16.min1.thm12017-02-06 12:44 615  
[ ]trees_9__1477_19.min1.thm12017-02-06 12:44 3.5K 
[ ]trees_9__1478_38.min1.thm12017-02-06 12:44 3.2K 
[ ]trees_9__1489_14.min1.thm12017-02-06 12:45 2.1K 
[ ]trees_9__1493_61.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__1510_13.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__1524_25.min1.thm12017-02-06 12:44 489  
[ ]trees_9__1524_25.min1.thm1.tptp2017-02-06 16:46 416  
[ ]trees_9__1533_17.min1.thm12017-02-06 12:44 826  
[ ]trees_9__1534_35.min1.thm12017-02-06 12:44 2.0K 
[ ]trees_9__1537_64.min1.thm12017-02-06 12:44 1.4K 
[ ]trees_9__1538_22.min1.thm12017-02-06 12:44 664  
[ ]trees_9__1540_23.min1.thm12017-02-06 12:44 2.1K 
[ ]trees_9__1546_15.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__1551_24.min1.thm12017-02-06 12:45 790  
[ ]trees_9__1557_38.min1.thm12017-02-06 12:45 2.3K 
[ ]trees_9__1561_19.min1.thm12017-02-06 12:44 1.7K 
[ ]trees_9__1562_46.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__1578_51.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_9__1580_33.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_9__1581_16.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_9__1592_38.min1.thm12017-02-06 12:45 321  
[ ]trees_9__1593_49.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_9__1596_33.min1.thm12017-02-06 12:44 1.7K 
[ ]trees_9__1602_70.min1.thm12017-02-06 12:45 2.3K 
[ ]trees_9__1603_24.min1.thm12017-02-06 12:44 1.6K 
[ ]trees_9__1605_37.min1.thm12017-02-06 12:44 2.7K 
[ ]trees_9__1607_35.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_9__1635_27.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__1637_15.min1.thm12017-02-06 12:44 476  
[ ]trees_9__1639_17.min1.thm12017-02-06 12:44 565  
[ ]trees_9__1653_14.min1.thm12017-02-06 12:44 2.1K 
[ ]trees_9__1656_24.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_9__1658_43.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__1659_49.min1.thm12017-02-06 12:44 732  
[ ]trees_9__1662_43.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__1663_48.min1.thm12017-02-06 12:44 734  
[ ]trees_9__1671_31.min1.thm12017-02-06 12:44 417  
[ ]trees_9__1673_17.min1.thm12017-02-06 12:44 920  
[ ]trees_9__1674_37.min1.thm12017-02-06 12:44 874  
[ ]trees_9__1678_14.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__1683_12.min1.thm12017-02-06 12:44 165  
[ ]trees_9__1684_13.min1.thm12017-02-06 12:44 250  
[ ]trees_9__1685_20.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__1687_18.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_9__1688_14.min1.thm12017-02-06 12:44 668  
[ ]trees_9__1689_17.min1.thm12017-02-06 12:44 1.6K 
[ ]trees_9__1702_12.min1.thm12017-02-06 12:44 164  
[ ]trees_9__1703_13.min1.thm12017-02-06 12:44 249  
[ ]trees_9__1706_18.min1.thm12017-02-06 12:45 773  
[ ]trees_9__1707_15.min1.thm12017-02-06 12:44 2.1K 
[ ]trees_9__1709_17.min1.thm12017-02-06 12:44 598  
[ ]trees_9__1710_24.min1.thm12017-02-06 12:44 1.6K 
[ ]trees_9__1711_46.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__1712_48.min1.thm12017-02-06 12:44 734  
[ ]trees_9__1713_13.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__1714_17.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_9__1723_24.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__1726_14.min1.thm12017-02-06 12:44 513  
[ ]trees_9__1737_66.min1.thm12017-02-06 12:44 2.3K 
[ ]trees_9__1738_14.min1.thm12017-02-06 12:44 461  
[ ]trees_9__1744_23.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_9__1752_22.min1.thm12017-02-06 12:44 795  
[ ]trees_9__1762_28.min1.thm12017-02-06 12:44 1.6K 
[ ]trees_9__1765_13.min1.thm12017-02-06 12:44 462  
[ ]trees_9__1766_22.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_9__1767_35.min1.thm12017-02-06 12:44 3.6K 
[ ]trees_9__1768_32.min1.thm12017-02-06 12:44 2.2K 
[ ]trees_9__1770_52.min1.thm12017-02-06 12:44 616  
[ ]trees_9__1772_33.min1.thm12017-02-06 12:44 2.2K 
[ ]trees_9__1773_29.min1.thm12017-02-06 12:44 3.1K 
[ ]trees_9__1786_29.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__1790_29.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__1792_33.min1.thm12017-02-06 12:44 2.2K 
[ ]trees_9__1793_29.min1.thm12017-02-06 12:45 3.1K 
[ ]trees_9__1796_28.min1.thm12017-02-06 12:44 910  
[ ]trees_9__1799_14.min1.thm12017-02-06 12:44 516  
[ ]trees_9__1814_22.min1.thm12017-02-06 12:44 795  
[ ]trees_9__1827_26.min1.thm12017-02-06 12:44 1.8K 
[ ]trees_9__1832_12.min1.thm12017-02-06 12:45 809  
[ ]trees_9__1833_12.min1.thm12017-02-06 12:44 444  
[ ]trees_9__1835_15.min1.thm12017-02-06 12:44 587  
[ ]trees_9__1836_35.min1.thm12017-02-06 12:44 449  
[ ]trees_9__1837_24.min1.thm12017-02-06 12:44 1.7K 
[ ]trees_9__1840_16.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__1843_17.min1.thm12017-02-06 12:44 584  
[ ]trees_9__1860_13.min1.thm12017-02-06 12:44 252  
[ ]trees_9__1863_18.min1.thm12017-02-06 12:44 595  
[ ]trees_9__1863_18.min1.thm1.tptp2017-02-06 16:46 541  
[ ]trees_9__1868_23.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_9__1869_39.min1.thm12017-02-06 12:44 480  
[ ]trees_9__1870_30.min1.thm12017-02-06 12:44 210  
[ ]trees_9__1871_21.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__1889_27.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__1892_20.min1.thm12017-02-06 12:44 657  
[ ]trees_9__1895_23.min1.thm12017-02-06 12:44 353  
[ ]trees_9__1895_23.min1.thm1.tptp2017-02-06 16:46 288  
[ ]trees_9__1896_25.min1.thm12017-02-06 12:45 807  
[ ]trees_9__1900_26.min1.thm12017-02-06 12:44 1.7K 
[ ]trees_9__1901_25.min1.thm12017-02-06 12:44 2.1K 
[ ]trees_9__1904_37.min1.thm12017-02-06 12:44 1.7K 
[ ]trees_9__1905_34.min1.thm12017-02-06 12:44 2.7K 
[ ]trees_9__1907_47.min1.thm12017-02-06 12:44 536  
[ ]trees_9__1910_22.min1.thm12017-02-06 12:44 881  
[ ]trees_9__1913_26.min1.thm12017-02-06 12:44 891  
[ ]trees_9__1916_15.min1.thm12017-02-06 12:45 198  
[ ]trees_9__1919_24.min1.thm12017-02-06 12:44 349  
[ ]trees_9__1919_24.min1.thm1.tptp2017-02-06 16:46 284  
[ ]trees_9__1920_23.min1.thm12017-02-06 12:44 459  
[ ]trees_9__1920_23.min1.thm1.tptp2017-02-06 16:46 397  
[ ]trees_9__1924_21.min1.thm12017-02-06 12:44 582  
[ ]trees_9__1926_19.min1.thm12017-02-06 12:44 1.6K 
[ ]trees_9__1927_26.min1.thm12017-02-06 12:44 2.1K 
[ ]trees_9__1929_26.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_9__1930_23.min1.thm12017-02-06 12:44 469  
[ ]trees_9__1930_23.min1.thm1.tptp2017-02-06 16:46 407  
[ ]trees_9__1933_19.min1.thm12017-02-06 12:44 489  
[ ]trees_9__1933_19.min1.thm1.tptp2017-02-06 16:46 403  
[ ]trees_9__1947_28.min1.thm12017-02-06 12:44 751  
[ ]trees_9__1966_30.min1.thm12017-02-06 12:44 923  
[ ]trees_9__1968_22.min1.thm12017-02-06 12:44 498  
[ ]trees_9__1968_22.min1.thm1.tptp2017-02-06 16:46 438  
[ ]trees_9__1969_17.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_9__1970_13.min1.thm12017-02-06 12:44 292  
[ ]trees_9__1973_33.min1.thm12017-02-06 12:44 912  
[ ]trees_9__1974_29.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_9__1976_31.min1.thm12017-02-06 12:44 1.4K 
[ ]trees_9__1977_20.min1.thm12017-02-06 12:44 1.8K 
[ ]trees_9__1981_21.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__1995_53.min1.thm12017-02-06 12:44 1.9K 
[ ]trees_9__2001_21.min1.thm12017-02-06 12:44 349  
[ ]trees_9__2001_21.min1.thm1.tptp2017-02-06 16:46 284  
[ ]trees_9__2002_23.min1.thm12017-02-06 12:44 797  
[ ]trees_9__2006_22.min1.thm12017-02-06 12:44 741  
[ ]trees_9__2007_23.min1.thm12017-02-06 12:44 1.7K 
[ ]trees_9__2015_53.min1.thm12017-02-06 12:44 1.9K 
[ ]trees_9__2016_15.min1.thm12017-02-06 12:44 198  
[ ]trees_9__2019_24.min1.thm12017-02-06 12:44 349  
[ ]trees_9__2019_24.min1.thm1.tptp2017-02-06 16:46 284  
[ ]trees_9__2020_23.min1.thm12017-02-06 12:44 680  
[ ]trees_9__2024_21.min1.thm12017-02-06 12:44 582  
[ ]trees_9__2025_24.min1.thm12017-02-06 12:44 1.6K 
[ ]trees_9__2026_26.min1.thm12017-02-06 12:44 1.7K 
[ ]trees_9__2038_50.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_9__2040_19.min1.thm12017-02-06 12:44 465  
[ ]trees_9__2042_29.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_9__2043_19.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_9__2057_20.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_9__2059_16.min1.thm12017-02-06 12:44 463  
[ ]trees_9__2060_39.min1.thm12017-02-06 12:44 472  
[ ]trees_9__2061_25.min1.thm12017-02-06 12:44 226  
[ ]trees_9__2073_35.min1.thm12017-02-06 12:45 2.3K 
[ ]trees_9__2074_51.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_9__2077_40.min1.thm12017-02-06 12:44 929  
[ ]trees_9__2077_40.min1.thm1.tptp2017-02-06 16:46 871  
[ ]trees_9__2086_42.min1.thm12017-02-06 12:44 2.3K 
[ ]trees_9__2087_31.min1.thm12017-02-06 12:44 965  
[ ]trees_9__2088_21.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__2090_16.min1.thm12017-02-06 12:44 924  
[ ]trees_9__2092_35.min1.thm12017-02-06 12:44 786  
[ ]trees_9__2093_63.min1.thm12017-02-06 12:44 675  
[ ]trees_9__2099_29.min1.thm12017-02-06 12:44 538  
[ ]trees_9__2100_35.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__2102_14.min1.thm12017-02-06 12:44 550  
[ ]trees_9__2107_13.min1.thm12017-02-06 12:44 575  
[ ]trees_9__2116_31.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__2117_39.min1.thm12017-02-06 12:44 2.0K 
[ ]trees_9__2127_15.min1.thm12017-02-06 12:44 466  
[ ]trees_9__2129_16.min1.thm12017-02-06 12:45 621  
[ ]trees_9__2130_39.min1.thm12017-02-06 12:45 473  
[ ]trees_9__2148_22.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__2149_15.min1.thm12017-02-06 12:44 466  
[ ]trees_9__2151_16.min1.thm12017-02-06 12:44 621  
[ ]trees_9__2152_39.min1.thm12017-02-06 12:44 473  
[ ]trees_9__2158_31.min1.thm12017-02-06 12:45 671  
[ ]trees_9__2160_32.min1.thm12017-02-06 12:44 914  
[ ]trees_9__2168_26.min1.thm12017-02-06 12:44 1.4K 
[ ]trees_9__2169_22.min1.thm12017-02-06 12:44 871  
[ ]trees_9__2172_31.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_9__2176_22.min1.thm12017-02-06 12:44 2.1K 
[ ]trees_9__2177_15.min1.thm12017-02-06 12:44 468  
[ ]trees_9__2179_16.min1.thm12017-02-06 12:44 545  
[ ]trees_9__2180_39.min1.thm12017-02-06 12:44 473  
[ ]trees_9__2184_17.min1.thm12017-02-06 12:44 204  
[ ]trees_9__2187_26.min1.thm12017-02-06 12:44 357  
[ ]trees_9__2187_26.min1.thm1.tptp2017-02-06 16:46 292  
[ ]trees_9__2188_25.min1.thm12017-02-06 12:44 469  
[ ]trees_9__2188_25.min1.thm1.tptp2017-02-06 16:46 407  
[ ]trees_9__2192_23.min1.thm12017-02-06 12:44 519  
[ ]trees_9__2193_26.min1.thm12017-02-06 12:44 2.1K 
[ ]trees_9__2194_28.min1.thm12017-02-06 12:44 1.8K 
[ ]trees_9__2195_25.min1.thm12017-02-06 12:44 481  
[ ]trees_9__2195_25.min1.thm1.tptp2017-02-06 16:46 419  
[ ]trees_9__2198_28.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_9__2203_21.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__2207_17.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_9__2230_13.min1.thm12017-02-06 12:44 331  
[ ]trees_9__2230_13.min1.thm1.tptp2017-02-06 16:46 266  
[ ]trees_9__2231_14.min1.thm12017-02-06 12:44 397  
[ ]trees_9__2231_14.min1.thm1.tptp2017-02-06 16:46 322  
[ ]trees_9__2233_10.min1.thm12017-02-06 12:44 555  
[ ]trees_9__2234_16.min1.thm12017-02-06 12:44 933  
[ ]trees_9__2235_19.min1.thm12017-02-06 12:44 814  
[ ]trees_9__2243_13.min1.thm12017-02-06 12:44 589  
[ ]trees_9__2244_13.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_9__2245_19.min1.thm12017-02-06 12:44 399  
[ ]trees_9__2261_36.min1.thm12017-02-06 12:44 1.4K 
[ ]trees_9__2263_15.min1.thm12017-02-06 12:44 774  
[ ]trees_9__2265_40.min1.thm12017-02-06 12:44 1.6K 
[ ]trees_9__2267_17.min1.thm12017-02-06 12:44 1.9K 
[ ]trees_9__2270_60.min1.thm12017-02-06 12:44 788  
[ ]trees_9__2271_24.min1.thm12017-02-06 12:44 2.2K 
[ ]trees_9__2272_27.min1.thm12017-02-06 12:44 2.0K 
[ ]trees_9__2275_19.min1.thm12017-02-06 12:44 651  
[ ]trees_9__2284_13.min1.thm12017-02-06 12:44 469  
[ ]trees_9__2284_13.min1.thm1.tptp2017-02-06 16:46 414  
[ ]trees_9__2287_16.min1.thm12017-02-06 12:44 751  
[ ]trees_9__2288_39.min1.thm12017-02-06 12:44 919  
[ ]trees_9__2292_20.min1.thm12017-02-06 12:44 952  
[ ]trees_9__2294_16.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_9__2317_13.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__2319_18.min1.thm12017-02-06 12:44 185  
[ ]trees_9__2321_22.min1.thm12017-02-06 12:44 428  
[ ]trees_9__2321_22.min1.thm1.tptp2017-02-06 16:46 348  
[ ]trees_9__2332_17.min1.thm12017-02-06 12:44 821  
[ ]trees_9__2333_25.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__2334_66.min1.thm12017-02-06 12:45 768  
[ ]trees_9__2335_23.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__2337_33.min1.thm12017-02-06 12:44 574  
[ ]trees_9__2339_21.min1.thm12017-02-06 12:44 599  
[ ]trees_9__2345_60.min1.thm12017-02-06 12:44 813  
[ ]trees_9__2346_18.min1.thm12017-02-06 12:44 722  
[ ]trees_9__2350_19.min1.thm12017-02-06 12:44 689  
[ ]trees_9__2352_12.min1.thm12017-02-06 12:44 547  
[ ]trees_9__2371_26.min1.thm12017-02-06 12:45 394  
[ ]trees_9__2371_26.min1.thm1.tptp2017-02-06 16:46 313  
[ ]trees_9__2373_25.min1.thm12017-02-06 12:45 444  
[ ]trees_9__2377_48.min1.thm12017-02-06 12:44 610  
[ ]trees_9__2379_28.min1.thm12017-02-06 12:44 366  
[ ]trees_9__2380_21.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_9__2381_20.min1.thm12017-02-06 12:44 437  
[ ]trees_9__2381_20.min1.thm1.tptp2017-02-06 16:46 360  
[ ]trees_9__2383_53.min1.thm12017-02-06 12:45 614  
[ ]trees_9__2387_53.min1.thm12017-02-06 12:44 312  
[ ]trees_9__2389_71.min1.thm12017-02-06 12:44 382  
[ ]trees_9__2397_41.min1.thm12017-02-06 12:44 580  
[ ]trees_9__2399_13.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_9__2400_17.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__2408_18.min1.thm12017-02-06 12:44 2.4K 
[ ]trees_9__2409_37.min1.thm12017-02-06 12:44 1.7K 
[ ]trees_9__2410_23.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__2413_21.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_9__2414_19.min1.thm12017-02-06 12:44 648  
[ ]trees_9__2423_20.min1.thm12017-02-06 12:44 1.6K 
[ ]trees_9__2425_16.min1.thm12017-02-06 12:45 451  
[ ]trees_9__2426_39.min1.thm12017-02-06 12:44 464  
[ ]trees_9__2428_14.min1.thm12017-02-06 12:44 181  
[ ]trees_9__2430_20.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__2439_58.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__2448_12.min1.thm12017-02-06 12:44 811  
[ ]trees_9__2449_15.min1.thm12017-02-06 12:44 476  
[ ]trees_9__2451_19.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_9__2452_19.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__2454_25.min1.thm12017-02-06 12:44 1.9K 
[ ]trees_9__2455_28.min1.thm12017-02-06 12:44 733  
[ ]trees_9__2456_21.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__2458_16.min1.thm12017-02-06 12:45 878  
[ ]trees_9__2464_34.min1.thm12017-02-06 12:44 803  
[ ]trees_9__2465_19.min1.thm12017-02-06 12:44 585  
[ ]trees_9__2467_27.min1.thm12017-02-06 12:44 523  
[ ]trees_9__2468_17.min1.thm12017-02-06 12:44 569  
[ ]trees_9__2480_22.min1.thm12017-02-06 12:44 695  
[ ]trees_9__2482_21.min1.thm12017-02-06 12:44 428  
[ ]trees_9__2485_44.min1.thm12017-02-06 12:44 590  
[ ]trees_9__2487_24.min1.thm12017-02-06 12:44 346  
[ ]trees_9__2488_17.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__2489_16.min1.thm12017-02-06 12:44 404  
[ ]trees_9__2489_16.min1.thm1.tptp2017-02-06 16:46 327  
[ ]trees_9__2491_49.min1.thm12017-02-06 12:44 610  
[ ]trees_9__2502_22.min1.thm12017-02-06 12:44 596  
[ ]trees_9__2504_13.min1.thm12017-02-06 12:45 586  
[ ]trees_9__2505_20.min1.thm12017-02-06 12:44 493  
[ ]trees_9__2506_14.min1.thm12017-02-06 12:44 396  
[ ]trees_9__2506_14.min1.thm1.tptp2017-02-06 16:46 317  
[ ]trees_9__2527_33.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_9__2528_35.min1.thm12017-02-06 12:45 535  
[ ]trees_9__2529_42.min1.thm12017-02-06 12:44 504  
[ ]trees_9__2532_18.min1.thm12017-02-06 12:44 252  
[ ]trees_9__2539_44.min1.thm12017-02-06 12:44 811  
[ ]trees_9__2540_28.min1.thm12017-02-06 12:44 548  
[ ]trees_9__2543_20.min1.thm12017-02-06 12:44 386  
[ ]trees_9__2543_20.min1.thm1.tptp2017-02-06 16:46 314  
[ ]trees_9__2546_40.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_9__2547_25.min1.thm12017-02-06 12:44 463  
[ ]trees_9__2547_25.min1.thm1.tptp2017-02-06 16:46 401  
[ ]trees_9__2551_27.min1.thm12017-02-06 12:44 357  
[ ]trees_9__2551_27.min1.thm1.tptp2017-02-06 16:46 292  
[ ]trees_9__2552_25.min1.thm12017-02-06 12:44 555  
[ ]trees_9__2555_18.min1.thm12017-02-06 12:45 431  
[ ]trees_9__2555_18.min1.thm1.tptp2017-02-06 16:46 345  
[ ]trees_9__2559_14.min1.thm12017-02-06 12:45 354  
[ ]trees_9__2571_25.min1.thm12017-02-06 12:44 330  
[ ]trees_9__2571_25.min1.thm1.tptp2017-02-06 16:46 256  
[ ]trees_9__2573_16.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_9__2574_39.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__2575_34.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__2580_22.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_9__2584_17.min1.thm12017-02-06 12:44 400  
[ ]trees_9__2586_15.min1.thm12017-02-06 12:44 2.0K 
[ ]trees_9__2587_32.min1.thm12017-02-06 12:44 1.4K 
[ ]trees_9__2594_30.min1.thm12017-02-06 12:44 1.7K 
[ ]trees_9__2597_17.min1.thm12017-02-06 12:44 687  
[ ]trees_9__2621_20.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_9__2624_72.min1.thm12017-02-06 12:44 1.6K 
[ ]trees_9__2625_22.min1.thm12017-02-06 12:44 718  
[ ]trees_9__2626_21.min1.thm12017-02-06 12:44 845  
[ ]trees_9__2632_68.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_9__2635_18.min1.thm12017-02-06 12:44 588  
[ ]trees_9__2641_15.min1.thm12017-02-06 12:44 476  
[ ]trees_9__2642_21.min1.thm12017-02-06 12:44 1.8K 
[ ]trees_9__2647_19.min1.thm12017-02-06 12:44 699  
[ ]trees_9__2653_12.min1.thm12017-02-06 12:45 180  
[ ]trees_9__2654_41.min1.thm12017-02-06 12:44 938  
[ ]trees_9__2656_18.min1.thm12017-02-06 12:44 857  
[ ]trees_9__2657_19.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_9__2663_44.min1.thm12017-02-06 12:44 512  
[ ]trees_9__2666_15.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_9__2667_39.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_9__2668_19.min1.thm12017-02-06 12:45 856  
[ ]trees_9__2674_53.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_9__2677_17.min1.thm12017-02-06 12:45 845  
[ ]trees_9__2679_16.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_9__2680_21.min1.thm12017-02-06 12:44 1.8K 
[ ]trees_9__2683_16.min1.thm12017-02-06 12:45 366  
[ ]trees_9__2685_14.min1.thm12017-02-06 12:44 561  
[ ]trees_9__2685_14.min1.thm1.tptp2017-02-06 16:46 506  
[ ]trees_9__2699_33.min1.thm12017-02-06 12:44 541  
[ ]trees_9__2701_22.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__2713_19.min1.thm12017-02-06 12:44 464  
[ ]trees_9__2716_24.min1.thm12017-02-06 12:44 198  
[ ]trees_9__2719_14.min1.thm12017-02-06 12:44 807  
[ ]trees_9__2720_18.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_9__2722_29.min1.thm12017-02-06 12:44 1.4K 
[ ]trees_9__2737_45.min1.thm12017-02-06 12:44 332  
[ ]trees_9__2737_45.min1.thm1.tptp2017-02-06 16:46 254  
[ ]trees_9__2740_20.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_9__2740_20.min1.thm1.tptp2017-02-06 16:46 1.0K 
[ ]trees_9__2741_26.min1.thm12017-02-06 12:44 213  
[ ]trees_9__2747_73.min1.thm12017-02-06 12:44 720  
[ ]trees_9__2772_18.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_9__2776_18.min1.thm12017-02-06 12:44 1.9K 
[ ]trees_9__2782_14.min1.thm12017-02-06 12:44 212  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80