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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]trees_3__51_15.min1.thm12017-02-06 12:45 884  
[ ]trees_3__52_17.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_3__69_57.min1.thm12017-02-06 12:45 510  
[ ]trees_3__69_57.min1.thm1.tptp2017-02-06 16:46 445  
[ ]trees_3__70_18.min1.thm12017-02-06 12:45 350  
[ ]trees_3__73_33.min1.thm12017-02-06 12:45 292  
[ ]trees_3__74_26.min1.thm12017-02-06 12:45 839  
[ ]trees_3__75_16.min1.thm12017-02-06 12:45 632  
[ ]trees_3__92_17.min1.thm12017-02-06 12:45 368  
[ ]trees_3__92_17.min1.thm1.tptp2017-02-06 16:46 298  
[ ]trees_3__93_16.min1.thm12017-02-06 12:45 299  
[ ]trees_3__93_16.min1.thm1.tptp2017-02-06 16:46 219  
[ ]trees_3__108_66.min1.thm12017-02-06 12:45 498  
[ ]trees_3__108_66.min1.thm1.tptp2017-02-06 16:46 433  
[ ]trees_3__109_18.min1.thm12017-02-06 12:45 472  
[ ]trees_3__111_40.min1.thm12017-02-06 12:45 339  
[ ]trees_3__111_40.min1.thm1.tptp2017-02-06 16:46 261  
[ ]trees_3__117_66.min1.thm12017-02-06 12:45 568  
[ ]trees_3__118_18.min1.thm12017-02-06 12:45 375  
[ ]trees_3__121_40.min1.thm12017-02-06 12:45 358  
[ ]trees_3__122_17.min1.thm12017-02-06 12:45 417  
[ ]trees_3__122_17.min1.thm1.tptp2017-02-06 16:46 347  
[ ]trees_3__123_16.min1.thm12017-02-06 12:45 781  
[ ]trees_3__140_20.min1.thm12017-02-06 12:45 537  
[ ]trees_3__141_16.min1.thm12017-02-06 12:45 299  
[ ]trees_3__141_16.min1.thm1.tptp2017-02-06 16:46 219  
[ ]trees_3__167_21.min1.thm12017-02-06 12:45 365  
[ ]trees_3__167_21.min1.thm1.tptp2017-02-06 16:46 286  
[ ]trees_3__168_19.min1.thm12017-02-06 12:45 371  
[ ]trees_3__168_19.min1.thm1.tptp2017-02-06 16:46 301  
[ ]trees_3__174_17.min1.thm12017-02-06 12:45 793  
[ ]trees_3__186_28.min1.thm12017-02-06 12:45 414  
[ ]trees_3__186_28.min1.thm1.tptp2017-02-06 16:46 335  
[ ]trees_3__187_19.min1.thm12017-02-06 12:45 542  
[ ]trees_3__193_17.min1.thm12017-02-06 12:45 962  
[ ]trees_3__208_28.min1.thm12017-02-06 12:45 444  
[ ]trees_3__208_28.min1.thm1.tptp2017-02-06 16:46 382  
[ ]trees_3__209_19.min1.thm12017-02-06 12:45 514  
[ ]trees_3__217_23.min1.thm12017-02-06 12:45 401  
[ ]trees_3__217_23.min1.thm1.tptp2017-02-06 16:46 339  
[ ]trees_3__218_19.min1.thm12017-02-06 12:45 417  
[ ]trees_3__218_19.min1.thm1.tptp2017-02-06 16:46 338  
[ ]trees_3__222_21.min1.thm12017-02-06 12:45 486  
[ ]trees_3__223_17.min1.thm12017-02-06 12:45 407  
[ ]trees_3__223_17.min1.thm1.tptp2017-02-06 16:46 328  
[ ]trees_3__235_31.min1.thm12017-02-06 12:45 548  
[ ]trees_3__236_17.min1.thm12017-02-06 12:45 515  
[ ]trees_3__249_18.min1.thm12017-02-06 12:45 408  
[ ]trees_3__249_18.min1.thm1.tptp2017-02-06 16:46 346  
[ ]trees_3__250_19.min1.thm12017-02-06 12:45 371  
[ ]trees_3__250_19.min1.thm1.tptp2017-02-06 16:46 292  
[ ]trees_3__252_35.min1.thm12017-02-06 12:45 357  
[ ]trees_3__252_35.min1.thm1.tptp2017-02-06 16:46 277  
[ ]trees_3__255_17.min1.thm12017-02-06 12:45 812  
[ ]trees_3__270_28.min1.thm12017-02-06 12:45 453  
[ ]trees_3__270_28.min1.thm1.tptp2017-02-06 16:46 391  
[ ]trees_3__271_19.min1.thm12017-02-06 12:45 594  
[ ]trees_3__279_23.min1.thm12017-02-06 12:45 408  
[ ]trees_3__279_23.min1.thm1.tptp2017-02-06 16:46 346  
[ ]trees_3__280_19.min1.thm12017-02-06 12:45 477  
[ ]trees_3__280_19.min1.thm1.tptp2017-02-06 16:46 398  
[ ]trees_3__284_21.min1.thm12017-02-06 12:45 493  
[ ]trees_3__285_17.min1.thm12017-02-06 12:45 465  
[ ]trees_3__285_17.min1.thm1.tptp2017-02-06 16:46 386  
[ ]trees_3__297_31.min1.thm12017-02-06 12:45 548  
[ ]trees_3__298_17.min1.thm12017-02-06 12:45 581  
[ ]trees_3__311_18.min1.thm12017-02-06 12:45 408  
[ ]trees_3__311_18.min1.thm1.tptp2017-02-06 16:46 346  
[ ]trees_3__312_19.min1.thm12017-02-06 12:45 421  
[ ]trees_3__312_19.min1.thm1.tptp2017-02-06 16:46 342  
[ ]trees_3__314_38.min1.thm12017-02-06 12:45 357  
[ ]trees_3__314_38.min1.thm1.tptp2017-02-06 16:46 277  
[ ]trees_3__317_17.min1.thm12017-02-06 12:45 860  
[ ]trees_3__332_28.min1.thm12017-02-06 12:45 453  
[ ]trees_3__332_28.min1.thm1.tptp2017-02-06 16:46 391  
[ ]trees_3__333_19.min1.thm12017-02-06 12:45 579  
[ ]trees_3__341_23.min1.thm12017-02-06 12:45 408  
[ ]trees_3__341_23.min1.thm1.tptp2017-02-06 16:46 346  
[ ]trees_3__342_19.min1.thm12017-02-06 12:45 467  
[ ]trees_3__342_19.min1.thm1.tptp2017-02-06 16:46 390  
[ ]trees_3__346_21.min1.thm12017-02-06 12:45 493  
[ ]trees_3__347_17.min1.thm12017-02-06 12:45 455  
[ ]trees_3__347_17.min1.thm1.tptp2017-02-06 16:46 378  
[ ]trees_3__359_31.min1.thm12017-02-06 12:45 548  
[ ]trees_3__360_17.min1.thm12017-02-06 12:45 566  
[ ]trees_3__373_18.min1.thm12017-02-06 12:45 408  
[ ]trees_3__373_18.min1.thm1.tptp2017-02-06 16:46 346  
[ ]trees_3__374_19.min1.thm12017-02-06 12:45 411  
[ ]trees_3__374_19.min1.thm1.tptp2017-02-06 16:46 334  
[ ]trees_3__376_36.min1.thm12017-02-06 12:45 357  
[ ]trees_3__376_36.min1.thm1.tptp2017-02-06 16:46 277  
[ ]trees_3__379_17.min1.thm12017-02-06 12:45 850  
[ ]trees_3__390_41.min1.thm12017-02-06 12:45 348  
[ ]trees_3__390_41.min1.thm1.tptp2017-02-06 16:46 279  
[ ]trees_3__391_50.min1.thm12017-02-06 12:45 366  
[ ]trees_3__391_50.min1.thm1.tptp2017-02-06 16:46 297  
[ ]trees_3__392_52.min1.thm12017-02-06 12:45 361  
[ ]trees_3__392_52.min1.thm1.tptp2017-02-06 16:46 293  
[ ]trees_3__403_15.min1.thm12017-02-06 12:45 269  
[ ]trees_3__404_19.min1.thm12017-02-06 12:45 389  
[ ]trees_3__404_19.min1.thm1.tptp2017-02-06 16:46 310  
[ ]trees_3__409_16.min1.thm12017-02-06 12:45 422  
[ ]trees_3__409_16.min1.thm1.tptp2017-02-06 16:46 357  
[ ]trees_3__419_15.min1.thm12017-02-06 12:45 269  
[ ]trees_3__420_19.min1.thm12017-02-06 12:45 437  
[ ]trees_3__420_19.min1.thm1.tptp2017-02-06 16:46 358  
[ ]trees_3__425_16.min1.thm12017-02-06 12:45 482  
[ ]trees_3__425_16.min1.thm1.tptp2017-02-06 16:46 417  
[ ]trees_3__435_15.min1.thm12017-02-06 12:45 269  
[ ]trees_3__436_19.min1.thm12017-02-06 12:45 427  
[ ]trees_3__436_19.min1.thm1.tptp2017-02-06 16:46 350  
[ ]trees_3__441_16.min1.thm12017-02-06 12:45 472  
[ ]trees_3__441_16.min1.thm1.tptp2017-02-06 16:46 409  
[ ]trees_3__451_17.min1.thm12017-02-06 12:45 301  
[ ]trees_3__452_17.min1.thm12017-02-06 12:45 388  
[ ]trees_3__452_17.min1.thm1.tptp2017-02-06 16:46 338  
[ ]trees_3__453_19.min1.thm12017-02-06 12:45 582  
[ ]trees_3__459_16.min1.thm12017-02-06 12:45 546  
[ ]trees_3__470_17.min1.thm12017-02-06 12:45 301  
[ ]trees_3__471_17.min1.thm12017-02-06 12:45 388  
[ ]trees_3__471_17.min1.thm1.tptp2017-02-06 16:46 338  
[ ]trees_3__472_19.min1.thm12017-02-06 12:45 660  
[ ]trees_3__478_16.min1.thm12017-02-06 12:45 636  
[ ]trees_3__489_17.min1.thm12017-02-06 12:45 301  
[ ]trees_3__490_17.min1.thm12017-02-06 12:45 388  
[ ]trees_3__490_17.min1.thm1.tptp2017-02-06 16:46 338  
[ ]trees_3__491_19.min1.thm12017-02-06 12:45 645  
[ ]trees_3__497_16.min1.thm12017-02-06 12:45 621  
[ ]trees_3__509_17.min1.thm12017-02-06 12:45 928  
[ ]trees_3__521_17.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__533_17.min1.thm12017-02-06 12:45 966  
[ ]trees_3__541_18.min1.thm12017-02-06 12:45 755  
[ ]trees_3__547_18.min1.thm12017-02-06 12:45 605  
[ ]trees_3__557_44.min1.thm12017-02-06 12:45 404  
[ ]trees_3__557_44.min1.thm1.tptp2017-02-06 16:46 343  
[ ]trees_3__568_18.min1.thm12017-02-06 12:45 924  
[ ]trees_3__579_18.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__590_18.min1.thm12017-02-06 12:45 966  
[ ]trees_3__597_14.min1.thm12017-02-06 12:45 506  
[ ]trees_3__603_14.min1.thm12017-02-06 12:45 504  
[ ]trees_3__614_18.min1.thm12017-02-06 12:45 442  
[ ]trees_3__614_18.min1.thm1.tptp2017-02-06 16:46 378  
[ ]trees_3__621_14.min1.thm12017-02-06 12:45 498  
[ ]trees_3__629_18.min1.thm12017-02-06 12:45 353  
[ ]trees_3__638_18.min1.thm12017-02-06 12:45 527  
[ ]trees_3__638_18.min1.thm1.tptp2017-02-06 16:46 465  
[ ]trees_3__647_15.min1.thm12017-02-06 12:45 286  
[ ]trees_3__647_15.min1.thm1.tptp2017-02-06 16:46 196  
[ ]trees_3__669_18.min1.thm12017-02-06 12:45 732  
[ ]trees_3__682_20.min1.thm12017-02-06 12:45 657  
[ ]trees_3__684_57.min1.thm12017-02-06 12:45 393  
[ ]trees_3__684_57.min1.thm1.tptp2017-02-06 16:46 306  
[ ]trees_3__688_20.min1.thm12017-02-06 12:45 784  
[ ]trees_3__690_39.min1.thm12017-02-06 12:45 254  
[ ]trees_3__692_15.min1.thm12017-02-06 12:45 541  
[ ]trees_3__699_14.min1.thm12017-02-06 12:45 772  
[ ]trees_3__714_21.min1.thm12017-02-06 12:45 639  
[ ]trees_3__716_57.min1.thm12017-02-06 12:45 725  
[ ]trees_3__723_21.min1.thm12017-02-06 12:45 801  
[ ]trees_3__725_39.min1.thm12017-02-06 12:45 254  
[ ]trees_3__730_16.min1.thm12017-02-06 12:45 801  
[ ]trees_3__740_25.min1.thm12017-02-06 12:45 914  
[ ]trees_3__753_41.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__754_38.min1.thm12017-02-06 12:45 512  
[ ]trees_3__762_8.min1.thm12017-02-06 12:45 455  
[ ]trees_3__762_8.min1.thm1.tptp2017-02-06 16:46 400  
[ ]trees_3__763_57.min1.thm12017-02-06 12:45 546  
[ ]trees_3__764_21.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_3__767_6.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__775_8.min1.thm12017-02-06 12:45 532  
[ ]trees_3__776_57.min1.thm12017-02-06 12:45 546  
[ ]trees_3__777_21.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_3__779_40.min1.thm12017-02-06 12:45 254  
[ ]trees_3__782_47.min1.thm12017-02-06 12:45 708  
[ ]trees_3__783_14.min1.thm12017-02-06 12:45 605  
[ ]trees_3__785_22.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__786_77.min1.thm12017-02-06 12:45 528  
[ ]trees_3__787_19.min1.thm12017-02-06 12:45 717  
[ ]trees_3__797_20.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__800_18.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__807_11.min1.thm12017-02-06 12:45 548  
[ ]trees_3__822_19.min1.thm12017-02-06 12:45 574  
[ ]trees_3__823_20.min1.thm12017-02-06 12:45 773  
[ ]trees_3__825_21.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__829_26.min1.thm12017-02-06 12:45 524  
[ ]trees_3__829_26.min1.thm1.tptp2017-02-06 16:46 456  
[ ]trees_3__830_35.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__832_42.min1.thm12017-02-06 12:45 669  
[ ]trees_3__835_19.min1.thm12017-02-06 12:45 722  
[ ]trees_3__836_43.min1.thm12017-02-06 12:45 825  
[ ]trees_3__838_68.min1.thm12017-02-06 12:45 864  
[ ]trees_3__839_16.min1.thm12017-02-06 12:45 351  
[ ]trees_3__851_49.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__852_24.min1.thm12017-02-06 12:45 733  
[ ]trees_3__853_21.min1.thm12017-02-06 12:45 733  
[ ]trees_3__858_47.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__859_22.min1.thm12017-02-06 12:45 709  
[ ]trees_3__860_19.min1.thm12017-02-06 12:45 709  
[ ]trees_3__869_16.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_3__894_36.min1.thm12017-02-06 12:45 548  
[ ]trees_3__895_41.min1.thm12017-02-06 12:45 548  
[ ]trees_3__896_39.min1.thm12017-02-06 12:45 548  
[ ]trees_3__909_24.min1.thm12017-02-06 12:45 574  
[ ]trees_3__910_19.min1.thm12017-02-06 12:45 482  
[ ]trees_3__910_19.min1.thm1.tptp2017-02-06 16:46 403  
[ ]trees_3__916_38.min1.thm12017-02-06 12:45 580  
[ ]trees_3__917_17.min1.thm12017-02-06 12:45 482  
[ ]trees_3__917_17.min1.thm1.tptp2017-02-06 16:46 412  
[ ]trees_3__930_24.min1.thm12017-02-06 12:45 574  
[ ]trees_3__931_19.min1.thm12017-02-06 12:45 559  
[ ]trees_3__931_19.min1.thm1.tptp2017-02-06 16:46 480  
[ ]trees_3__937_38.min1.thm12017-02-06 12:45 580  
[ ]trees_3__938_17.min1.thm12017-02-06 12:45 557  
[ ]trees_3__938_17.min1.thm1.tptp2017-02-06 16:46 487  
[ ]trees_3__951_24.min1.thm12017-02-06 12:45 574  
[ ]trees_3__952_19.min1.thm12017-02-06 12:45 549  
[ ]trees_3__952_19.min1.thm1.tptp2017-02-06 16:46 472  
[ ]trees_3__958_38.min1.thm12017-02-06 12:45 580  
[ ]trees_3__959_17.min1.thm12017-02-06 12:45 547  
[ ]trees_3__959_17.min1.thm1.tptp2017-02-06 16:46 479  
[ ]trees_3__965_33.min1.thm12017-02-06 12:45 720  
[ ]trees_3__972_42.min1.thm12017-02-06 12:45 610  
[ ]trees_3__976_37.min1.thm12017-02-06 12:45 531  
[ ]trees_3__977_36.min1.thm12017-02-06 12:45 624  
[ ]trees_3__983_33.min1.thm12017-02-06 12:45 720  
[ ]trees_3__990_45.min1.thm12017-02-06 12:45 610  
[ ]trees_3__994_40.min1.thm12017-02-06 12:45 531  
[ ]trees_3__995_39.min1.thm12017-02-06 12:45 624  
[ ]trees_3__1001_33.min1.thm12017-02-06 12:45 720  
[ ]trees_3__1008_43.min1.thm12017-02-06 12:45 610  
[ ]trees_3__1012_38.min1.thm12017-02-06 12:45 531  
[ ]trees_3__1013_37.min1.thm12017-02-06 12:45 624  
[ ]trees_3__1019_45.min1.thm12017-02-06 12:45 325  
[ ]trees_3__1020_20.min1.thm12017-02-06 12:45 602  
[ ]trees_3__1021_17.min1.thm12017-02-06 12:45 751  
[ ]trees_3__1027_55.min1.thm12017-02-06 12:45 373  
[ ]trees_3__1028_20.min1.thm12017-02-06 12:45 602  
[ ]trees_3__1029_17.min1.thm12017-02-06 12:45 812  
[ ]trees_3__1035_55.min1.thm12017-02-06 12:45 363  
[ ]trees_3__1036_20.min1.thm12017-02-06 12:45 602  
[ ]trees_3__1037_17.min1.thm12017-02-06 12:45 802  
[ ]trees_3__1043_59.min1.thm12017-02-06 12:45 449  
[ ]trees_3__1044_24.min1.thm12017-02-06 12:45 315  
[ ]trees_3__1045_17.min1.thm12017-02-06 12:45 871  
[ ]trees_3__1052_4.min1.thm12017-02-06 12:45 545  
[ ]trees_3__1053_24.min1.thm12017-02-06 12:45 315  
[ ]trees_3__1054_17.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__1061_4.min1.thm12017-02-06 12:45 525  
[ ]trees_3__1062_24.min1.thm12017-02-06 12:45 315  
[ ]trees_3__1063_17.min1.thm12017-02-06 12:45 972  
[ ]trees_3__1071_28.min1.thm12017-02-06 12:45 553  
[ ]trees_3__1072_29.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__1073_58.min1.thm12017-02-06 12:45 471  
[ ]trees_3__1073_58.min1.thm1.tptp2017-02-06 16:46 398  
[ ]trees_3__1074_17.min1.thm12017-02-06 12:45 938  
[ ]trees_3__1082_28.min1.thm12017-02-06 12:45 553  
[ ]trees_3__1083_29.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__1084_68.min1.thm12017-02-06 12:45 519  
[ ]trees_3__1084_68.min1.thm1.tptp2017-02-06 16:46 446  
[ ]trees_3__1085_17.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__1093_28.min1.thm12017-02-06 12:45 553  
[ ]trees_3__1094_29.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__1095_68.min1.thm12017-02-06 12:45 509  
[ ]trees_3__1095_68.min1.thm1.tptp2017-02-06 16:46 438  
[ ]trees_3__1096_17.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__1104_18.min1.thm12017-02-06 12:45 745  
[ ]trees_3__1110_18.min1.thm12017-02-06 12:45 591  
[ ]trees_3__1120_15.min1.thm12017-02-06 12:45 417  
[ ]trees_3__1126_15.min1.thm12017-02-06 12:45 361  
[ ]trees_3__1136_45.min1.thm12017-02-06 12:45 459  
[ ]trees_3__1137_36.min1.thm12017-02-06 12:45 320  
[ ]trees_3__1137_36.min1.thm1.tptp2017-02-06 16:46 239  
[ ]trees_3__1148_14.min1.thm12017-02-06 12:45 801  
[ ]trees_3__1149_16.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_3__1156_14.min1.thm12017-02-06 12:45 693  
[ ]trees_3__1166_14.min1.thm12017-02-06 12:45 801  
[ ]trees_3__1167_16.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_3__1174_14.min1.thm12017-02-06 12:45 693  
[ ]trees_3__1184_14.min1.thm12017-02-06 12:45 801  
[ ]trees_3__1185_16.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_3__1192_14.min1.thm12017-02-06 12:45 693  
[ ]trees_3__1198_14.min1.thm12017-02-06 12:45 557  
[ ]trees_3__1201_14.min1.thm12017-02-06 12:45 662  
[ ]trees_3__1208_20.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__1209_19.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_3__1216_14.min1.thm12017-02-06 12:45 410  
[ ]trees_3__1216_14.min1.thm1.tptp2017-02-06 16:46 331  
[ ]trees_3__1219_14.min1.thm12017-02-06 12:45 617  
[ ]trees_3__1226_20.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__1227_19.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_3__1234_14.min1.thm12017-02-06 12:45 595  
[ ]trees_3__1237_14.min1.thm12017-02-06 12:45 738  
[ ]trees_3__1244_20.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__1245_19.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_3__1254_36.min1.thm12017-02-06 12:45 788  
[ ]trees_3__1255_30.min1.thm12017-02-06 12:45 566  
[ ]trees_3__1261_32.min1.thm12017-02-06 12:45 728  
[ ]trees_3__1262_19.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__1268_17.min1.thm12017-02-06 12:45 774  
[ ]trees_3__1269_47.min1.thm12017-02-06 12:45 728  
[ ]trees_3__1270_25.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__1271_28.min1.thm12017-02-06 12:45 663  
[ ]trees_3__1273_17.min1.thm12017-02-06 12:45 812  
[ ]trees_3__1281_25.min1.thm12017-02-06 12:45 809  
[ ]trees_3__1282_24.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__1283_19.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_3__1291_25.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_3__1292_22.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__1293_17.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_3__1300_12.min1.thm12017-02-06 12:45 577  
[ ]trees_3__1316_43.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__1317_19.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_3__1328_42.min1.thm12017-02-06 12:45 951  
[ ]trees_3__1329_38.min1.thm12017-02-06 12:45 971  
[ ]trees_3__1330_38.min1.thm12017-02-06 12:45 732  
[ ]trees_3__1331_19.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__1341_51.min1.thm12017-02-06 12:45 803  
[ ]trees_3__1343_15.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__1353_48.min1.thm12017-02-06 12:45 837  
[ ]trees_3__1358_48.min1.thm12017-02-06 12:45 846  
[ ]trees_3__1380_22.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__1398_22.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__1407_45.min1.thm12017-02-06 12:45 899  
[ ]trees_3__1421_11.min1.thm12017-02-06 12:45 336  
[ ]trees_3__1421_11.min1.thm1.tptp2017-02-06 16:46 247  
[ ]trees_3__1424_45.min1.thm12017-02-06 12:45 455  
[ ]trees_3__1425_48.min1.thm12017-02-06 12:45 579  
[ ]trees_3__1429_35.min1.thm12017-02-06 12:45 783  
[ ]trees_3__1433_44.min1.thm12017-02-06 12:45 597  
[ ]trees_3__1437_22.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_3__1438_20.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_3__1451_15.min1.thm12017-02-06 12:45 908  
[ ]trees_3__1458_14.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__1470_15.min1.thm12017-02-06 12:45 617  
[ ]trees_3__1486_15.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__1498_53.min1.thm12017-02-06 12:45 617  
[ ]trees_3__1500_16.min1.thm12017-02-06 12:45 383  
[ ]trees_3__1500_16.min1.thm1.tptp2017-02-06 16:46 301  
[ ]trees_3__1518_13.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_3__1519_14.min1.thm12017-02-06 12:45 472  
[ ]trees_3__1520_24.min1.thm12017-02-06 12:45 223  
[ ]trees_3__1521_17.min1.thm12017-02-06 12:45 453  
[ ]trees_3__1534_40.min1.thm12017-02-06 12:45 552  
[ ]trees_3__1539_18.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_3__1540_20.min1.thm12017-02-06 12:45 962  
[ ]trees_3__1541_34.min1.thm12017-02-06 12:45 247  
[ ]trees_3__1543_22.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__1545_22.min1.thm12017-02-06 12:45 821  
[ ]trees_3__1547_26.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_3__1550_17.min1.thm12017-02-06 12:45 582  
[ ]trees_3__1558_17.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_3__1559_22.min1.thm12017-02-06 12:45 2.3K 
[ ]trees_3__1560_17.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__1573_39.min1.thm12017-02-06 12:45 552  
[ ]trees_3__1574_34.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__1621_11.min1.thm12017-02-06 12:45 689  
[ ]trees_3__1641_36.min1.thm12017-02-06 12:45 586  
[ ]trees_3__1641_36.min1.thm1.tptp2017-02-06 16:46 524  
[ ]trees_3__1643_21.min1.thm12017-02-06 12:45 578  
[ ]trees_3__1643_21.min1.thm1.tptp2017-02-06 16:46 516  
[ ]trees_3__1646_34.min1.thm12017-02-06 12:45 574  
[ ]trees_3__1646_34.min1.thm1.tptp2017-02-06 16:46 512  
[ ]trees_3__1647_34.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_3__1648_27.min1.thm12017-02-06 12:45 582  
[ ]trees_3__1648_27.min1.thm1.tptp2017-02-06 16:46 520  
[ ]trees_3__1649_19.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_3__1665_36.min1.thm12017-02-06 12:45 600  
[ ]trees_3__1665_36.min1.thm1.tptp2017-02-06 16:46 538  
[ ]trees_3__1669_21.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_3__1670_27.min1.thm12017-02-06 12:45 505  
[ ]trees_3__1670_27.min1.thm1.tptp2017-02-06 16:46 443  
[ ]trees_3__1671_19.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_3__1673_14.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_3__1688_21.min1.thm12017-02-06 12:45 580  
[ ]trees_3__1689_41.min1.thm12017-02-06 12:45 868  
[ ]trees_3__1690_33.min1.thm12017-02-06 12:45 472  
[ ]trees_3__1694_30.min1.thm12017-02-06 12:45 838  
[ ]trees_3__1695_30.min1.thm12017-02-06 12:45 808  
[ ]trees_3__1702_22.min1.thm12017-02-06 12:45 735  
[ ]trees_3__1702_22.min1.thm1.tptp2017-02-06 16:46 687  
[ ]trees_3__1714_47.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__1721_39.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__1722_33.min1.thm12017-02-06 12:45 400  
[ ]trees_3__1722_33.min1.thm1.tptp2017-02-06 16:46 326  
[ ]trees_3__1724_26.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_3__1725_31.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__1727_24.min1.thm12017-02-06 12:45 492  
[ ]trees_3__1732_29.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__1733_34.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_3__1734_27.min1.thm12017-02-06 12:45 375  
[ ]trees_3__1734_27.min1.thm1.tptp2017-02-06 16:46 312  
[ ]trees_3__1737_24.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_3__1738_26.min1.thm12017-02-06 12:45 2.4K 
[ ]trees_3__1741_32.min1.thm12017-02-06 12:45 766  
[ ]trees_3__1742_36.min1.thm12017-02-06 12:45 414  
[ ]trees_3__1742_36.min1.thm1.tptp2017-02-06 16:46 340  
[ ]trees_3__1743_35.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_3__1746_27.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_3__1749_23.min1.thm12017-02-06 12:45 474  
[ ]trees_3__1757_26.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_3__1761_22.min1.thm12017-02-06 12:45 923  
[ ]trees_3__1762_26.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__1764_20.min1.thm12017-02-06 12:45 2.2K 
[ ]trees_3__1765_32.min1.thm12017-02-06 12:45 843  
[ ]trees_3__1767_24.min1.thm12017-02-06 12:45 881  
[ ]trees_3__1768_27.min1.thm12017-02-06 12:45 934  
[ ]trees_3__1769_27.min1.thm12017-02-06 12:45 934  
[ ]trees_3__1770_24.min1.thm12017-02-06 12:45 768  
[ ]trees_3__1771_23.min1.thm12017-02-06 12:45 2.3K 
[ ]trees_3__1777_22.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__1785_27.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__1792_21.min1.thm12017-02-06 12:45 656  
[ ]trees_3__1792_21.min1.thm1.tptp2017-02-06 16:46 570  
[ ]trees_3__1794_29.min1.thm12017-02-06 12:45 342  
[ ]trees_3__1794_29.min1.thm1.tptp2017-02-06 16:46 252  
[ ]trees_3__1806_40.min1.thm12017-02-06 12:45 733  
[ ]trees_3__1807_38.min1.thm12017-02-06 12:45 780  
[ ]trees_3__1809_24.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_3__1811_17.min1.thm12017-02-06 12:45 332  
[ ]trees_3__1811_17.min1.thm1.tptp2017-02-06 16:46 252  
[ ]trees_3__1829_13.min1.thm12017-02-06 12:45 631  
[ ]trees_3__1836_13.min1.thm12017-02-06 12:45 610  
[ ]trees_3__1852_22.min1.thm12017-02-06 12:45 941  
[ ]trees_3__1853_22.min1.thm12017-02-06 12:45 959  
[ ]trees_3__1856_16.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__1867_33.min1.thm12017-02-06 12:45 468  
[ ]trees_3__1877_20.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__1881_18.min1.thm12017-02-06 12:45 2.4K 
[ ]trees_3__1888_13.min1.thm12017-02-06 12:45 720  
[ ]trees_3__1889_23.min1.thm12017-02-06 12:45 814  
[ ]trees_3__1891_21.min1.thm12017-02-06 12:45 855  
[ ]trees_3__1892_23.min1.thm12017-02-06 12:45 911  
[ ]trees_3__1893_48.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_3__1894_16.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__1895_19.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_3__1900_26.min1.thm12017-02-06 12:45 802  
[ ]trees_3__1901_40.min1.thm12017-02-06 12:45 774  
[ ]trees_3__1902_15.min1.thm12017-02-06 12:45 400  
[ ]trees_3__1902_15.min1.thm1.tptp2017-02-06 16:46 325  
[ ]trees_3__1903_21.min1.thm12017-02-06 12:45 901  
[ ]trees_3__1912_26.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_3__1917_24.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_3__1918_24.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__1924_22.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_3__1925_19.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_3__1927_14.min1.thm12017-02-06 12:45 510  
[ ]trees_3__1927_14.min1.thm1.tptp2017-02-06 16:46 428  
[ ]trees_3__1940_34.min1.thm12017-02-06 12:45 735  
[ ]trees_3__1943_20.min1.thm12017-02-06 12:45 972  
[ ]trees_3__1950_20.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_3__1957_15.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__1958_37.min1.thm12017-02-06 12:45 460  
[ ]trees_3__1963_17.min1.thm12017-02-06 12:45 2.1K 
[ ]trees_3__1971_50.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__1972_42.min1.thm12017-02-06 12:45 891  
[ ]trees_3__1973_20.min1.thm12017-02-06 12:45 576  
[ ]trees_3__1975_28.min1.thm12017-02-06 12:45 2.1K 
[ ]trees_3__1978_18.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_3__1982_11.min1.thm12017-02-06 12:45 585  
[ ]trees_3__1982_11.min1.thm1.tptp2017-02-06 16:46 515  
[ ]trees_3__1990_20.min1.thm12017-02-06 12:45 940  
[ ]trees_3__2007_16.min1.thm12017-02-06 12:45 466  
[ ]trees_3__2008_17.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__2017_33.min1.thm12017-02-06 12:45 468  
[ ]trees_3__2022_48.min1.thm12017-02-06 12:45 897  
[ ]trees_3__2027_16.min1.thm12017-02-06 12:45 964  
[ ]trees_3__2028_21.min1.thm12017-02-06 12:45 803  
[ ]trees_3__2029_40.min1.thm12017-02-06 12:45 776  
[ ]trees_3__2030_14.min1.thm12017-02-06 12:45 401  
[ ]trees_3__2030_14.min1.thm1.tptp2017-02-06 16:46 326  
[ ]trees_3__2031_17.min1.thm12017-02-06 12:45 967  
[ ]trees_3__2040_16.min1.thm12017-02-06 12:45 829  
[ ]trees_3__2041_38.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_3__2042_51.min1.thm12017-02-06 12:45 904  
[ ]trees_3__2051_40.min1.thm12017-02-06 12:45 640  
[ ]trees_3__2053_35.min1.thm12017-02-06 12:45 617  
[ ]trees_3__2055_39.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__2056_18.min1.thm12017-02-06 12:45 705  
[ ]trees_3__2057_21.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_3__2071_18.min1.thm12017-02-06 12:45 576  
[ ]trees_3__2073_32.min1.thm12017-02-06 12:45 936  
[ ]trees_3__2074_20.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_3__2077_22.min1.thm12017-02-06 12:45 578  
[ ]trees_3__2077_22.min1.thm1.tptp2017-02-06 16:46 516  
[ ]trees_3__2090_43.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__2095_28.min1.thm12017-02-06 12:45 842  
[ ]trees_3__2097_28.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_3__2099_18.min1.thm12017-02-06 12:45 486  
[ ]trees_3__2099_18.min1.thm1.tptp2017-02-06 16:46 424  
[ ]trees_3__2100_47.min1.thm12017-02-06 12:45 2.6K 
[ ]trees_3__2101_59.min1.thm12017-02-06 12:45 576  
[ ]trees_3__2101_59.min1.thm1.tptp2017-02-06 16:46 500  
[ ]trees_3__2108_30.min1.thm12017-02-06 12:45 668  
[ ]trees_3__2109_13.min1.thm12017-02-06 12:45 647  
[ ]trees_3__2124_23.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_3__2125_30.min1.thm12017-02-06 12:45 585  
[ ]trees_3__2125_30.min1.thm1.tptp2017-02-06 16:46 515  
[ ]trees_3__2131_31.min1.thm12017-02-06 12:45 564  
[ ]trees_3__2131_31.min1.thm1.tptp2017-02-06 16:46 502  
[ ]trees_3__2140_21.min1.thm12017-02-06 12:45 838  
[ ]trees_3__2156_27.min1.thm12017-02-06 12:45 860  
[ ]trees_3__2157_37.min1.thm12017-02-06 12:45 443  
[ ]trees_3__2157_37.min1.thm1.tptp2017-02-06 16:46 370  
[ ]trees_3__2158_30.min1.thm12017-02-06 12:45 873  
[ ]trees_3__2160_21.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_3__2162_19.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_3__2163_19.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_3__2165_18.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_3__2166_16.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__2167_32.min1.thm12017-02-06 12:45 588  
[ ]trees_3__2167_32.min1.thm1.tptp2017-02-06 16:46 518  
[ ]trees_3__2168_16.min1.thm12017-02-06 12:45 405  
[ ]trees_3__2168_16.min1.thm1.tptp2017-02-06 16:46 330  
[ ]trees_3__2181_20.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_3__2185_58.min1.thm12017-02-06 12:45 578  
[ ]trees_3__2185_58.min1.thm1.tptp2017-02-06 16:46 516  
[ ]trees_3__2189_4.min1.thm12017-02-06 12:45 689  
[ ]trees_3__2199_20.min1.thm12017-02-06 12:45 955  
[ ]trees_3__2203_19.min1.thm12017-02-06 12:45 733  
[ ]trees_3__2208_27.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_3__2210_23.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_3__2212_67.min1.thm12017-02-06 12:45 706  
[ ]trees_3__2217_27.min1.thm12017-02-06 12:45 739  
[ ]trees_3__2220_23.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__2231_21.min1.thm12017-02-06 12:45 576  
[ ]trees_3__2232_21.min1.thm12017-02-06 12:45 576  
[ ]trees_3__2233_33.min1.thm12017-02-06 12:45 936  
[ ]trees_3__2234_36.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__2235_33.min1.thm12017-02-06 12:45 936  
[ ]trees_3__2236_36.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__2242_32.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_3__2244_25.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_3__2259_43.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__2260_35.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_3__2265_23.min1.thm12017-02-06 12:45 842  
[ ]trees_3__2274_47.min1.thm12017-02-06 12:45 2.6K 
[ ]trees_3__2275_59.min1.thm12017-02-06 12:45 578  
[ ]trees_3__2275_59.min1.thm1.tptp2017-02-06 16:46 502  
[ ]trees_3__2282_32.min1.thm12017-02-06 12:45 668  
[ ]trees_3__2283_22.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__2287_13.min1.thm12017-02-06 12:45 647  
[ ]trees_3__2301_21.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__2302_52.min1.thm12017-02-06 12:45 2.2K 
[ ]trees_3__2303_59.min1.thm12017-02-06 12:45 577  
[ ]trees_3__2303_59.min1.thm1.tptp2017-02-06 16:46 501  
[ ]trees_3__2319_33.min1.thm12017-02-06 12:45 584  
[ ]trees_3__2319_33.min1.thm1.tptp2017-02-06 16:46 514  
[ ]trees_3__2320_23.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_3__2331_39.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__2334_13.min1.thm12017-02-06 12:45 401  
[ ]trees_3__2334_13.min1.thm1.tptp2017-02-06 16:46 326  
[ ]trees_3__2336_39.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_3__2351_18.min1.thm12017-02-06 12:45 591  
[ ]trees_3__2352_20.min1.thm12017-02-06 12:45 576  
[ ]trees_3__2353_11.min1.thm12017-02-06 12:45 958  
[ ]trees_3__2354_14.min1.thm12017-02-06 12:45 400  
[ ]trees_3__2354_14.min1.thm1.tptp2017-02-06 16:46 325  
[ ]trees_3__2355_33.min1.thm12017-02-06 12:45 532  
[ ]trees_3__2366_43.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__2367_14.min1.thm12017-02-06 12:45 2.5K 
[ ]trees_3__2368_20.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_3__2371_19.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_3__2379_42.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_3__2392_23.min1.thm12017-02-06 12:45 589  
[ ]trees_3__2393_23.min1.thm12017-02-06 12:45 589  
[ ]trees_3__2394_24.min1.thm12017-02-06 12:45 574  
[ ]trees_3__2395_11.min1.thm12017-02-06 12:45 640  
[ ]trees_3__2396_11.min1.thm12017-02-06 12:45 958  
[ ]trees_3__2397_15.min1.thm12017-02-06 12:45 400  
[ ]trees_3__2397_15.min1.thm1.tptp2017-02-06 16:46 325  
[ ]trees_3__2398_15.min1.thm12017-02-06 12:45 400  
[ ]trees_3__2398_15.min1.thm1.tptp2017-02-06 16:46 325  
[ ]trees_3__2399_33.min1.thm12017-02-06 12:45 534  
[ ]trees_3__2400_33.min1.thm12017-02-06 12:45 529  
[ ]trees_3__2401_42.min1.thm12017-02-06 12:45 731  
[ ]trees_3__2417_43.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__2418_41.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_3__2423_50.min1.thm12017-02-06 12:45 589  
[ ]trees_3__2428_17.min1.thm12017-02-06 12:45 2.2K 
[ ]trees_3__2452_41.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__2453_17.min1.thm12017-02-06 12:45 782  
[ ]trees_3__2473_17.min1.thm12017-02-06 12:45 862  
[ ]trees_3__2474_21.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_3__2483_16.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_3__2485_20.min1.thm12017-02-06 12:45 723  
[ ]trees_3__2486_53.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__2487_22.min1.thm12017-02-06 12:45 588  
[ ]trees_3__2489_24.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_3__2492_34.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_3__2493_41.min1.thm12017-02-06 12:45 449  
[ ]trees_3__2493_41.min1.thm1.tptp2017-02-06 16:46 370  
[ ]trees_3__2494_16.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__2495_44.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_3__2501_37.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__2502_16.min1.thm12017-02-06 12:45 309  
[ ]trees_3__2509_11.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__2515_11.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__2525_16.min1.thm12017-02-06 12:45 576  
[ ]trees_3__2526_14.min1.thm12017-02-06 12:45 591  
[ ]trees_3__2536_11.min1.thm12017-02-06 12:45 960  
[ ]trees_3__2537_17.min1.thm12017-02-06 12:45 2.5K 
[ ]trees_3__2538_19.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_3__2540_9.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__2548_38.min1.thm12017-02-06 12:45 910  
[ ]trees_3__2554_22.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__2555_22.min1.thm12017-02-06 12:45 939  
[ ]trees_3__2566_55.min1.thm12017-02-06 12:45 846  
[ ]trees_3__2579_41.min1.thm12017-02-06 12:45 793  
[ ]trees_3__2590_31.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_3__2591_17.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_3__2599_16.min1.thm12017-02-06 12:45 576  
[ ]trees_3__2600_14.min1.thm12017-02-06 12:45 591  
[ ]trees_3__2601_9.min1.thm12017-02-06 12:45 958  
[ ]trees_3__2609_14.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__2610_25.min1.thm12017-02-06 12:45 598  
[ ]trees_3__2611_25.min1.thm12017-02-06 12:45 598  
[ ]trees_3__2612_25.min1.thm12017-02-06 12:45 598  
[ ]trees_3__2613_23.min1.thm12017-02-06 12:45 598  
[ ]trees_3__2621_28.min1.thm12017-02-06 12:45 758  
[ ]trees_3__2622_27.min1.thm12017-02-06 12:45 487  
[ ]trees_3__2622_27.min1.thm1.tptp2017-02-06 16:46 410  
[ ]trees_3__2632_16.min1.thm12017-02-06 12:45 574  
[ ]trees_3__2633_15.min1.thm12017-02-06 12:45 589  
[ ]trees_3__2634_15.min1.thm12017-02-06 12:45 589  
[ ]trees_3__2645_11.min1.thm12017-02-06 12:45 642  
[ ]trees_3__2646_18.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_3__2647_28.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__2648_26.min1.thm12017-02-06 12:45 2.4K 
[ ]trees_3__2649_19.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_3__2654_31.min1.thm12017-02-06 12:45 299  
[ ]trees_3__2656_48.min1.thm12017-02-06 12:45 719  
[ ]trees_3__2658_21.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_3__2659_22.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__2660_39.min1.thm12017-02-06 12:45 3.5K 
[ ]trees_3__2670_32.min1.thm12017-02-06 12:45 346  
[ ]trees_3__2671_25.min1.thm12017-02-06 12:45 598  
[ ]trees_3__2672_12.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__2681_32.min1.thm12017-02-06 12:45 346  
[ ]trees_3__2682_21.min1.thm12017-02-06 12:45 576  
[ ]trees_3__2683_29.min1.thm12017-02-06 12:45 577  
[ ]trees_3__2693_55.min1.thm12017-02-06 12:45 846  
[ ]trees_3__2709_49.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__2722_41.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__2725_64.min1.thm12017-02-06 12:45 748  
[ ]trees_3__2727_39.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_3__2736_16.min1.thm12017-02-06 12:45 574  
[ ]trees_3__2737_15.min1.thm12017-02-06 12:45 589  
[ ]trees_3__2738_15.min1.thm12017-02-06 12:45 589  
[ ]trees_3__2739_11.min1.thm12017-02-06 12:45 958  
[ ]trees_3__2740_9.min1.thm12017-02-06 12:45 640  
[ ]trees_3__2741_17.min1.thm12017-02-06 12:45 2.4K 
[ ]trees_3__2750_14.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__2751_25.min1.thm12017-02-06 12:45 598  
[ ]trees_3__2752_23.min1.thm12017-02-06 12:45 598  
[ ]trees_3__2753_31.min1.thm12017-02-06 12:45 577  
[ ]trees_3__2754_29.min1.thm12017-02-06 12:45 577  
[ ]trees_3__2755_21.min1.thm12017-02-06 12:45 576  
[ ]trees_3__2756_32.min1.thm12017-02-06 12:45 346  
[ ]trees_3__2757_30.min1.thm12017-02-06 12:45 346  
[ ]trees_3__2758_28.min1.thm12017-02-06 12:45 346  
[ ]trees_3__2767_27.min1.thm12017-02-06 12:45 487  
[ ]trees_3__2767_27.min1.thm1.tptp2017-02-06 16:46 410  
[ ]trees_3__2780_29.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__2788_23.min1.thm12017-02-06 12:45 844  
[ ]trees_3__2789_36.min1.thm12017-02-06 12:45 440  
[ ]trees_3__2789_36.min1.thm1.tptp2017-02-06 16:46 367  
[ ]trees_3__2790_49.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__2791_41.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__2792_24.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__2793_21.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__2794_21.min1.thm12017-02-06 12:45 956  
[ ]trees_3__2810_35.min1.thm12017-02-06 12:45 833  
[ ]trees_3__2811_13.min1.thm12017-02-06 12:45 919  
[ ]trees_3__2812_17.min1.thm12017-02-06 12:45 942  
[ ]trees_3__2814_14.min1.thm12017-02-06 12:45 915  
[ ]trees_3__2815_35.min1.thm12017-02-06 12:45 453  
[ ]trees_3__2817_14.min1.thm12017-02-06 12:45 432  
[ ]trees_3__2817_14.min1.thm1.tptp2017-02-06 16:46 357  
[ ]trees_3__2818_23.min1.thm12017-02-06 12:45 902  
[ ]trees_3__2819_26.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_3__2821_17.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_3__2832_32.min1.thm12017-02-06 12:45 842  
[ ]trees_3__2834_37.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_3__2835_17.min1.thm12017-02-06 12:45 2.1K 
[ ]trees_3__2843_22.min1.thm12017-02-06 12:45 618  
[ ]trees_3__2844_15.min1.thm12017-02-06 12:45 270  
[ ]trees_3__2845_66.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_3__2856_30.min1.thm12017-02-06 12:45 320  
[ ]trees_3__2857_21.min1.thm12017-02-06 12:45 303  
[ ]trees_3__2858_20.min1.thm12017-02-06 12:45 390  
[ ]trees_3__2858_20.min1.thm1.tptp2017-02-06 16:46 340  
[ ]trees_3__2859_37.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_3__2863_28.min1.thm12017-02-06 12:45 565  
[ ]trees_3__2864_26.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__2875_14.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_3__2887_24.min1.thm12017-02-06 12:45 960  
[ ]trees_3__2893_21.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__2894_36.min1.thm12017-02-06 12:45 475  
[ ]trees_3__2895_49.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__2897_17.min1.thm12017-02-06 12:45 409  
[ ]trees_3__2903_25.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_3__2904_18.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_3__2918_18.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__2919_18.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_3__2920_26.min1.thm12017-02-06 12:45 701  
[ ]trees_3__2920_26.min1.thm1.tptp2017-02-06 16:46 637  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80