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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bintree2__45_1.min1.thm12017-02-06 12:45 446  
[ ]bintree2__45_1.min1.thm1.tptp2017-02-06 16:48 402  
[ ]bintree2__48_16.min1.thm12017-02-06 12:45 374  
[ ]bintree2__58_31.min1.thm12017-02-06 12:45 444  
[ ]bintree2__59_37.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__60_17.min1.thm12017-02-06 12:45 524  
[ ]bintree2__78_45.min1.thm12017-02-06 12:45 2.0K 
[ ]bintree2__82_29.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__87_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__92_21.min1.thm12017-02-06 12:45 1.4K 
[ ]bintree2__94_22.min1.thm12017-02-06 12:45 1.1K 
[ ]bintree2__96_19.min1.thm12017-02-06 12:45 1.9K 
[ ]bintree2__98_16.min1.thm12017-02-06 12:45 569  
[ ]bintree2__100_23.min1.thm12017-02-06 12:45 647  
[ ]bintree2__101_17.min1.thm12017-02-06 12:45 1.1K 
[ ]bintree2__107_14.min1.thm12017-02-06 12:45 597  
[ ]bintree2__130_68.min1.thm12017-02-06 12:45 714  
[ ]bintree2__134_35.min1.thm12017-02-06 12:45 1.3K 
[ ]bintree2__135_55.min1.thm12017-02-06 12:45 2.2K 
[ ]bintree2__136_17.min1.thm12017-02-06 12:45 1.9K 
[ ]bintree2__141_34.min1.thm12017-02-06 12:45 896  
[ ]bintree2__146_24.min1.thm12017-02-06 12:45 1.3K 
[ ]bintree2__147_21.min1.thm12017-02-06 12:45 784  
[ ]bintree2__148_23.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__150_45.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__151_47.min1.thm12017-02-06 12:45 1.6K 
[ ]bintree2__153_23.min1.thm12017-02-06 12:45 680  
[ ]bintree2__161_24.min1.thm12017-02-06 12:45 1.3K 
[ ]bintree2__162_21.min1.thm12017-02-06 12:45 767  
[ ]bintree2__163_23.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__165_45.min1.thm12017-02-06 12:45 1.1K 
[ ]bintree2__166_47.min1.thm12017-02-06 12:45 1.6K 
[ ]bintree2__167_28.min1.thm12017-02-06 12:45 692  
[ ]bintree2__182_21.min1.thm12017-02-06 12:45 870  
[ ]bintree2__183_16.min1.thm12017-02-06 12:45 450  
[ ]bintree2__190_20.min1.thm12017-02-06 12:45 494  
[ ]bintree2__191_38.min1.thm12017-02-06 12:45 715  
[ ]bintree2__192_16.min1.thm12017-02-06 12:45 496  
[ ]bintree2__194_35.min1.thm12017-02-06 12:45 541  
[ ]bintree2__195_46.min1.thm12017-02-06 12:45 528  
[ ]bintree2__197_13.min1.thm12017-02-06 12:45 682  
[ ]bintree2__198_43.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__199_38.min1.thm12017-02-06 12:45 1.4K 
[ ]bintree2__201_14.min1.thm12017-02-06 12:45 1.3K 
[ ]bintree2__202_32.min1.thm12017-02-06 12:45 1.7K 
[ ]bintree2__215_51.min1.thm12017-02-06 12:45 832  
[ ]bintree2__216_17.min1.thm12017-02-06 12:45 793  
[ ]bintree2__228_20.min1.thm12017-02-06 12:45 494  
[ ]bintree2__229_37.min1.thm12017-02-06 12:45 715  
[ ]bintree2__230_38.min1.thm12017-02-06 12:45 730  
[ ]bintree2__230_38.min1.thm1.tptp2017-02-06 16:48 653  
[ ]bintree2__242_12.min1.thm12017-02-06 12:45 703  
[ ]bintree2__257_38.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__270_39.min1.thm12017-02-06 12:45 1.5K 
[ ]bintree2__271_21.min1.thm12017-02-06 12:45 512  
[ ]bintree2__277_32.min1.thm12017-02-06 12:45 504  
[ ]bintree2__283_23.min1.thm12017-02-06 12:45 1.8K 
[ ]bintree2__285_44.min1.thm12017-02-06 12:45 559  
[ ]bintree2__286_45.min1.thm12017-02-06 12:45 754  
[ ]bintree2__286_45.min1.thm1.tptp2017-02-06 16:48 677  
[ ]bintree2__290_19.min1.thm12017-02-06 12:45 634  
[ ]bintree2__292_19.min1.thm12017-02-06 12:45 401  
[ ]bintree2__292_19.min1.thm1.tptp2017-02-06 16:48 320  
[ ]bintree2__309_15.min1.thm12017-02-06 12:45 584  
[ ]bintree2__311_25.min1.thm12017-02-06 12:45 600  
[ ]bintree2__312_18.min1.thm12017-02-06 12:45 750  
[ ]bintree2__323_22.min1.thm12017-02-06 12:45 438  
[ ]bintree2__323_22.min1.thm1.tptp2017-02-06 16:48 367  
[ ]bintree2__325_23.min1.thm12017-02-06 12:45 695  
[ ]bintree2__327_25.min1.thm12017-02-06 12:45 1.1K 
[ ]bintree2__328_26.min1.thm12017-02-06 12:45 1.1K 
[ ]bintree2__330_15.min1.thm12017-02-06 12:45 227  
[ ]bintree2__333_23.min1.thm12017-02-06 12:45 729  
[ ]bintree2__337_23.min1.thm12017-02-06 12:45 732  
[ ]bintree2__340_16.min1.thm12017-02-06 12:45 636  
[ ]bintree2__364_25.min1.thm12017-02-06 12:45 637  
[ ]bintree2__372_46.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__375_53.min1.thm12017-02-06 12:45 695  
[ ]bintree2__389_25.min1.thm12017-02-06 12:45 637  
[ ]bintree2__400_20.min1.thm12017-02-06 12:45 350  
[ ]bintree2__400_20.min1.thm1.tptp2017-02-06 16:48 268  
[ ]bintree2__409_19.min1.thm12017-02-06 12:45 691  
[ ]bintree2__409_19.min1.thm1.tptp2017-02-06 16:48 642  
[ ]bintree2__410_27.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__412_65.min1.thm12017-02-06 12:45 1.1K 
[ ]bintree2__413_27.min1.thm12017-02-06 12:45 1.1K 
[ ]bintree2__414_16.min1.thm12017-02-06 12:45 458  
[ ]bintree2__414_16.min1.thm1.tptp2017-02-06 16:48 388  
[ ]bintree2__415_13.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__416_27.min1.thm12017-02-06 12:45 916  
[ ]bintree2__417_69.min1.thm12017-02-06 12:45 1.1K 
[ ]bintree2__418_27.min1.thm12017-02-06 12:45 885  
[ ]bintree2__419_16.min1.thm12017-02-06 12:45 463  
[ ]bintree2__419_16.min1.thm1.tptp2017-02-06 16:48 393  
[ ]bintree2__420_13.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__421_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__443_49.min1.thm12017-02-06 12:45 518  
[ ]bintree2__445_15.min1.thm12017-02-06 12:45 427  
[ ]bintree2__445_15.min1.thm1.tptp2017-02-06 16:48 360  
[ ]bintree2__447_15.min1.thm12017-02-06 12:45 427  
[ ]bintree2__447_15.min1.thm1.tptp2017-02-06 16:48 360  
[ ]bintree2__449_17.min1.thm12017-02-06 12:45 423  
[ ]bintree2__450_36.min1.thm12017-02-06 12:45 1.1K 
[ ]bintree2__451_18.min1.thm12017-02-06 12:45 1.3K 
[ ]bintree2__457_48.min1.thm12017-02-06 12:45 842  
[ ]bintree2__476_25.min1.thm12017-02-06 12:45 637  
[ ]bintree2__484_46.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__487_53.min1.thm12017-02-06 12:45 695  
[ ]bintree2__501_25.min1.thm12017-02-06 12:45 637  
[ ]bintree2__512_20.min1.thm12017-02-06 12:45 349  
[ ]bintree2__512_20.min1.thm1.tptp2017-02-06 16:48 267  
[ ]bintree2__525_16.min1.thm12017-02-06 12:45 408  
[ ]bintree2__525_16.min1.thm1.tptp2017-02-06 16:48 353  
[ ]bintree2__546_15.min1.thm12017-02-06 12:45 825  
[ ]bintree2__547_22.min1.thm12017-02-06 12:45 1.6K 
[ ]bintree2__549_43.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__551_19.min1.thm12017-02-06 12:45 890  
[ ]bintree2__553_19.min1.thm12017-02-06 12:45 256  
[ ]bintree2__556_18.min1.thm12017-02-06 12:45 570  
[ ]bintree2__562_48.min1.thm12017-02-06 12:45 865  
[ ]bintree2__568_40.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__571_19.min1.thm12017-02-06 12:45 1.8K 
[ ]bintree2__589_15.min1.thm12017-02-06 12:45 825  
[ ]bintree2__590_22.min1.thm12017-02-06 12:45 1.6K 
[ ]bintree2__592_43.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__593_35.min1.thm12017-02-06 12:45 1.1K 
[ ]bintree2__594_18.min1.thm12017-02-06 12:45 1.1K 
[ ]bintree2__616_16.min1.thm12017-02-06 12:45 847  
[ ]bintree2__621_16.min1.thm12017-02-06 12:45 849  
[ ]bintree2__622_23.min1.thm12017-02-06 12:45 1.6K 
[ ]bintree2__624_43.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__625_23.min1.thm12017-02-06 12:45 1.6K 
[ ]bintree2__627_43.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__632_19.min1.thm12017-02-06 12:45 1.5K 
[ ]bintree2__659_34.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__660_27.min1.thm12017-02-06 12:45 356  
[ ]bintree2__660_27.min1.thm1.tptp2017-02-06 16:48 282  
[ ]bintree2__661_51.min1.thm12017-02-06 12:45 1.3K 
[ ]bintree2__670_38.min1.thm12017-02-06 12:45 642  
[ ]bintree2__671_57.min1.thm12017-02-06 12:45 1.6K 
[ ]bintree2__672_17.min1.thm12017-02-06 12:45 798  
[ ]bintree2__673_26.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__674_25.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__676_17.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__678_18.min1.thm12017-02-06 12:45 1.1K 
[ ]bintree2__681_31.min1.thm12017-02-06 12:45 1.4K 
[ ]bintree2__688_27.min1.thm12017-02-06 12:45 1.5K 
[ ]bintree2__691_28.min1.thm12017-02-06 12:45 282  
[ ]bintree2__694_22.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__696_37.min1.thm12017-02-06 12:45 1.5K 
[ ]bintree2__697_32.min1.thm12017-02-06 12:45 1.8K 
[ ]bintree2__698_43.min1.thm12017-02-06 12:45 1.3K 
[ ]bintree2__699_25.min1.thm12017-02-06 12:45 644  
[ ]bintree2__701_14.min1.thm12017-02-06 12:45 1.1K 
[ ]bintree2__713_55.min1.thm12017-02-06 12:45 937  
[ ]bintree2__714_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__727_17.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__734_14.min1.thm12017-02-06 12:45 835  
[ ]bintree2__743_22.min1.thm12017-02-06 12:45 532  
[ ]bintree2__744_19.min1.thm12017-02-06 12:45 531  
[ ]bintree2__752_36.min1.thm12017-02-06 12:45 432  
[ ]bintree2__754_18.min1.thm12017-02-06 12:45 535  
[ ]bintree2__766_75.min1.thm12017-02-06 12:45 1.9K 
[ ]bintree2__771_21.min1.thm12017-02-06 12:45 680  
[ ]bintree2__772_21.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__775_11.min1.thm12017-02-06 12:45 1.4K 
[ ]bintree2__778_15.min1.thm12017-02-06 12:45 474  
[ ]bintree2__778_15.min1.thm1.tptp2017-02-06 16:48 403  
[ ]bintree2__780_56.min1.thm12017-02-06 12:45 1.4K 
[ ]bintree2__782_21.min1.thm12017-02-06 12:45 1.7K 
[ ]bintree2__785_25.min1.thm12017-02-06 12:45 1.9K 
[ ]bintree2__786_30.min1.thm12017-02-06 12:45 1.9K 
[ ]bintree2__788_26.min1.thm12017-02-06 12:45 1.5K 
[ ]bintree2__791_20.min1.thm12017-02-06 12:45 1.1K 
[ ]bintree2__792_19.min1.thm12017-02-06 12:45 1.6K 
[ ]bintree2__804_49.min1.thm12017-02-06 12:45 524  
[ ]bintree2__805_17.min1.thm12017-02-06 12:45 477  
[ ]bintree2__805_17.min1.thm1.tptp2017-02-06 16:48 406  
[ ]bintree2__807_29.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__818_55.min1.thm12017-02-06 12:45 695  
[ ]bintree2__828_15.min1.thm12017-02-06 12:45 828  
[ ]bintree2__829_22.min1.thm12017-02-06 12:45 1.8K 
[ ]bintree2__831_43.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__832_32.min1.thm12017-02-06 12:45 1.9K 
[ ]bintree2__841_57.min1.thm12017-02-06 12:45 1.7K 
[ ]bintree2__845_19.min1.thm12017-02-06 12:45 2.0K 
[ ]bintree2__853_14.min1.thm12017-02-06 12:45 1.7K 
[ ]bintree2__864_17.min1.thm12017-02-06 12:45 473  
[ ]bintree2__864_17.min1.thm1.tptp2017-02-06 16:48 402  
[ ]bintree2__865_29.min1.thm12017-02-06 12:45 1.7K 
[ ]bintree2__866_45.min1.thm12017-02-06 12:45 1.6K 
[ ]bintree2__868_36.min1.thm12017-02-06 12:45 577  
[ ]bintree2__869_21.min1.thm12017-02-06 12:45 897  
[ ]bintree2__871_15.min1.thm12017-02-06 12:45 1.9K 
[ ]bintree2__872_8.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__886_28.min1.thm12017-02-06 12:45 1.8K 
[ ]bintree2__887_34.min1.thm12017-02-06 12:45 2.3K 
[ ]bintree2__890_35.min1.thm12017-02-06 12:45 1.8K 
[ ]bintree2__893_15.min1.thm12017-02-06 12:45 473  
[ ]bintree2__893_15.min1.thm1.tptp2017-02-06 16:48 402  
[ ]bintree2__894_25.min1.thm12017-02-06 12:45 943  
[ ]bintree2__906_15.min1.thm12017-02-06 12:45 473  
[ ]bintree2__906_15.min1.thm1.tptp2017-02-06 16:48 402  
[ ]bintree2__907_26.min1.thm12017-02-06 12:45 897  
[ ]bintree2__910_33.min1.thm12017-02-06 12:45 653  
[ ]bintree2__924_15.min1.thm12017-02-06 12:45 473  
[ ]bintree2__924_15.min1.thm1.tptp2017-02-06 16:48 402  
[ ]bintree2__925_25.min1.thm12017-02-06 12:45 943  
[ ]bintree2__948_30.min1.thm12017-02-06 12:45 1.9K 
[ ]bintree2__949_30.min1.thm12017-02-06 12:45 1.9K 
[ ]bintree2__950_29.min1.thm12017-02-06 12:45 1.1K 
[ ]bintree2__952_33.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__953_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__955_26.min1.thm12017-02-06 12:45 1.8K 
[ ]bintree2__956_11.min1.thm12017-02-06 12:45 1.6K 
[ ]bintree2__958_35.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__959_18.min1.thm12017-02-06 12:45 1.8K 
[ ]bintree2__960_29.min1.thm12017-02-06 12:45 942  
[ ]bintree2__961_58.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__963_23.min1.thm12017-02-06 12:45 1.7K 
[ ]bintree2__964_14.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__977_17.min1.thm12017-02-06 12:45 473  
[ ]bintree2__977_17.min1.thm1.tptp2017-02-06 16:48 402  
[ ]bintree2__995_17.min1.thm12017-02-06 12:45 926  
[ ]bintree2__996_57.min1.thm12017-02-06 12:45 868  
[ ]bintree2__997_21.min1.thm12017-02-06 12:45 2.6K 
[ ]bintree2__1003_22.min1.thm12017-02-06 12:45 1.3K 
[ ]bintree2__1004_19.min1.thm12017-02-06 12:45 780  
[ ]bintree2__1005_21.min1.thm12017-02-06 12:45 971  
[ ]bintree2__1008_36.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__1017_17.min1.thm12017-02-06 12:45 936  
[ ]bintree2__1018_57.min1.thm12017-02-06 12:45 868  
[ ]bintree2__1019_21.min1.thm12017-02-06 12:45 2.6K 
[ ]bintree2__1021_20.min1.thm12017-02-06 12:45 1.1K 
[ ]bintree2__1022_39.min1.thm12017-02-06 12:45 530  
[ ]bintree2__1025_22.min1.thm12017-02-06 12:45 685  
[ ]bintree2__1026_56.min1.thm12017-02-06 12:45 1.3K 
[ ]bintree2__1032_36.min1.thm12017-02-06 12:45 1.4K 
[ ]bintree2__1036_37.min1.thm12017-02-06 12:45 899  
[ ]bintree2__1040_20.min1.thm12017-02-06 12:45 598  
[ ]bintree2__1044_15.min1.thm12017-02-06 12:45 2.0K 
[ ]bintree2__1046_40.min1.thm12017-02-06 12:45 1.9K 
[ ]bintree2__1048_15.min1.thm12017-02-06 12:45 669  
[ ]bintree2__1049_34.min1.thm12017-02-06 12:45 2.1K 
[ ]bintree2__1052_42.min1.thm12017-02-06 12:45 571  
[ ]bintree2__1054_20.min1.thm12017-02-06 12:45 455  
[ ]bintree2__1054_20.min1.thm1.tptp2017-02-06 16:48 375  
[ ]bintree2__1064_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__1067_29.min1.thm12017-02-06 12:45 133  
[ ]bintree2__1070_15.min1.thm12017-02-06 12:45 1.3K 
[ ]bintree2__1075_56.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__1083_20.min1.thm12017-02-06 12:45 598  
[ ]bintree2__1087_15.min1.thm12017-02-06 12:45 2.0K 
[ ]bintree2__1093_24.min1.thm12017-02-06 12:45 1.3K 
[ ]bintree2__1094_21.min1.thm12017-02-06 12:45 771  
[ ]bintree2__1095_23.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__1097_45.min1.thm12017-02-06 12:45 1.1K 
[ ]bintree2__1098_47.min1.thm12017-02-06 12:45 1.9K 
[ ]bintree2__1100_15.min1.thm12017-02-06 12:45 679  
[ ]bintree2__1101_34.min1.thm12017-02-06 12:45 2.1K 
[ ]bintree2__1104_42.min1.thm12017-02-06 12:45 582  
[ ]bintree2__1106_20.min1.thm12017-02-06 12:45 465  
[ ]bintree2__1106_20.min1.thm1.tptp2017-02-06 16:48 385  
[ ]bintree2__1115_53.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__1117_52.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__1118_22.min1.thm12017-02-06 12:45 2.4K 
[ ]bintree2__1121_36.min1.thm12017-02-06 12:45 929  
[ ]bintree2__1123_32.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__1131_17.min1.thm12017-02-06 12:45 827  
[ ]bintree2__1134_27.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__1135_28.min1.thm12017-02-06 12:45 2.3K 
[ ]bintree2__1136_34.min1.thm12017-02-06 12:45 1.6K 
[ ]bintree2__1138_37.min1.thm12017-02-06 12:45 588  
[ ]bintree2__1140_23.min1.thm12017-02-06 12:45 1.7K 
[ ]bintree2__1142_21.min1.thm12017-02-06 12:45 480  
[ ]bintree2__1142_21.min1.thm1.tptp2017-02-06 16:48 418  
[ ]bintree2__1150_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__1153_29.min1.thm12017-02-06 12:45 134  
[ ]bintree2__1156_15.min1.thm12017-02-06 12:45 1.3K 
[ ]bintree2__1161_58.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__1171_53.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__1174_22.min1.thm12017-02-06 12:45 2.4K 
[ ]bintree2__1177_36.min1.thm12017-02-06 12:45 929  
[ ]bintree2__1178_36.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__1180_27.min1.thm12017-02-06 12:45 945  
[ ]bintree2__1185_26.min1.thm12017-02-06 12:45 446  
[ ]bintree2__1186_18.min1.thm12017-02-06 12:45 526  
[ ]bintree2__1188_68.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__1189_18.min1.thm12017-02-06 12:45 433  
[ ]bintree2__1189_18.min1.thm1.tptp2017-02-06 16:48 371  
[ ]bintree2__1190_73.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__1193_58.min1.thm12017-02-06 12:45 2.3K 
[ ]bintree2__1195_29.min1.thm12017-02-06 12:45 1.9K 
[ ]bintree2__1196_33.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__1197_31.min1.thm12017-02-06 12:45 858  
[ ]bintree2__1198_32.min1.thm12017-02-06 12:45 665  
[ ]bintree2__1200_33.min1.thm12017-02-06 12:45 525  
[ ]bintree2__1201_11.min1.thm12017-02-06 12:45 386  
[ ]bintree2__1202_22.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__1204_9.min1.thm12017-02-06 12:45 316  
[ ]bintree2__1220_22.min1.thm12017-02-06 12:45 634  
[ ]bintree2__1231_28.min1.thm12017-02-06 12:45 687  
[ ]bintree2__1240_42.min1.thm12017-02-06 12:45 725  
[ ]bintree2__1241_15.min1.thm12017-02-06 12:45 473  
[ ]bintree2__1241_15.min1.thm1.tptp2017-02-06 16:48 402  
[ ]bintree2__1242_32.min1.thm12017-02-06 12:45 951  
[ ]bintree2__1246_37.min1.thm12017-02-06 12:45 1.7K 
[ ]bintree2__1249_18.min1.thm12017-02-06 12:45 702  
[ ]bintree2__1257_34.min1.thm12017-02-06 12:45 732  
[ ]bintree2__1258_17.min1.thm12017-02-06 12:45 1.7K 
[ ]bintree2__1265_24.min1.thm12017-02-06 12:45 1.9K 
[ ]bintree2__1268_62.min1.thm12017-02-06 12:45 1.0K 
[ ]bintree2__1270_17.min1.thm12017-02-06 12:45 1.1K 
[ ]bintree2__1284_13.min1.thm12017-02-06 12:45 219  
[ ]bintree2__1289_38.min1.thm12017-02-06 12:45 1.6K 
[ ]bintree2__1290_33.min1.thm12017-02-06 12:45 2.4K 
[ ]bintree2__1291_41.min1.thm12017-02-06 12:45 1.7K 
[ ]bintree2__1296_23.min1.thm12017-02-06 12:45 900  
[ ]bintree2__1297_40.min1.thm12017-02-06 12:45 1.7K 
[ ]bintree2__1298_33.min1.thm12017-02-06 12:45 2.1K 
[ ]bintree2__1299_41.min1.thm12017-02-06 12:45 1.7K 
[ ]bintree2__1305_13.min1.thm12017-02-06 12:45 692  
[ ]bintree2__1306_24.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__1308_23.min1.thm12017-02-06 12:45 1.4K 
[ ]bintree2__1309_55.min1.thm12017-02-06 12:45 2.4K 
[ ]bintree2__1313_40.min1.thm12017-02-06 12:45 2.1K 
[ ]bintree2__1314_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bintree2__1316_25.min1.thm12017-02-06 12:45 1.4K 
[ ]bintree2__1318_36.min1.thm12017-02-06 12:45 1.6K 
[ ]bintree2__1321_30.min1.thm12017-02-06 12:45 1.5K 
[ ]bintree2__1322_32.min1.thm12017-02-06 12:45 1.9K 
[ ]bintree2__1326_69.min1.thm12017-02-06 12:45 2.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80