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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]functor0__56_17.min1.thm12017-02-06 12:45 868  
[ ]functor0__57_56.min1.thm12017-02-06 12:45 896  
[ ]functor0__58_17.min1.thm12017-02-06 12:45 471  
[ ]functor0__59_17.min1.thm12017-02-06 12:45 471  
[ ]functor0__60_21.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__66_14.min1.thm12017-02-06 12:45 852  
[ ]functor0__67_54.min1.thm12017-02-06 12:45 868  
[ ]functor0__68_18.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__69_19.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__71_57.min1.thm12017-02-06 12:45 856  
[ ]functor0__72_17.min1.thm12017-02-06 12:45 437  
[ ]functor0__74_13.min1.thm12017-02-06 12:45 625  
[ ]functor0__75_30.min1.thm12017-02-06 12:45 645  
[ ]functor0__76_22.min1.thm12017-02-06 12:45 595  
[ ]functor0__83_11.min1.thm12017-02-06 12:45 186  
[ ]functor0__85_19.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__88_18.min1.thm12017-02-06 12:45 795  
[ ]functor0__97_14.min1.thm12017-02-06 12:45 484  
[ ]functor0__97_14.min1.thm1.tptp2017-02-06 16:47 418  
[ ]functor0__98_17.min1.thm12017-02-06 12:45 767  
[ ]functor0__105_18.min1.thm12017-02-06 12:45 439  
[ ]functor0__106_22.min1.thm12017-02-06 12:45 649  
[ ]functor0__107_16.min1.thm12017-02-06 12:45 677  
[ ]functor0__112_18.min1.thm12017-02-06 12:45 437  
[ ]functor0__113_37.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__114_19.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__118_18.min1.thm12017-02-06 12:45 437  
[ ]functor0__119_37.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__120_19.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__135_14.min1.thm12017-02-06 12:45 684  
[ ]functor0__137_18.min1.thm12017-02-06 12:45 704  
[ ]functor0__138_14.min1.thm12017-02-06 12:45 738  
[ ]functor0__140_17.min1.thm12017-02-06 12:45 908  
[ ]functor0__141_36.min1.thm12017-02-06 12:45 909  
[ ]functor0__149_17.min1.thm12017-02-06 12:45 840  
[ ]functor0__151_19.min1.thm12017-02-06 12:45 696  
[ ]functor0__152_15.min1.thm12017-02-06 12:45 720  
[ ]functor0__154_18.min1.thm12017-02-06 12:45 887  
[ ]functor0__155_32.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__172_11.min1.thm12017-02-06 12:45 460  
[ ]functor0__172_11.min1.thm1.tptp2017-02-06 16:47 387  
[ ]functor0__188_23.min1.thm12017-02-06 12:45 546  
[ ]functor0__189_25.min1.thm12017-02-06 12:45 871  
[ ]functor0__190_42.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__197_24.min1.thm12017-02-06 12:45 771  
[ ]functor0__198_36.min1.thm12017-02-06 12:45 923  
[ ]functor0__207_38.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__208_33.min1.thm12017-02-06 12:45 1.8K 
[ ]functor0__221_28.min1.thm12017-02-06 12:45 718  
[ ]functor0__222_22.min1.thm12017-02-06 12:45 521  
[ ]functor0__223_22.min1.thm12017-02-06 12:45 521  
[ ]functor0__224_33.min1.thm12017-02-06 12:45 875  
[ ]functor0__225_30.min1.thm12017-02-06 12:45 849  
[ ]functor0__232_36.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__233_23.min1.thm12017-02-06 12:45 738  
[ ]functor0__234_23.min1.thm12017-02-06 12:45 738  
[ ]functor0__235_21.min1.thm12017-02-06 12:45 691  
[ ]functor0__236_20.min1.thm12017-02-06 12:45 691  
[ ]functor0__238_33.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__239_27.min1.thm12017-02-06 12:45 829  
[ ]functor0__240_24.min1.thm12017-02-06 12:45 584  
[ ]functor0__241_26.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__242_13.min1.thm12017-02-06 12:45 500  
[ ]functor0__243_26.min1.thm12017-02-06 12:45 829  
[ ]functor0__244_24.min1.thm12017-02-06 12:45 584  
[ ]functor0__245_26.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__246_13.min1.thm12017-02-06 12:45 500  
[ ]functor0__247_39.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__248_19.min1.thm12017-02-06 12:45 2.3K 
[ ]functor0__262_35.min1.thm12017-02-06 12:45 908  
[ ]functor0__264_28.min1.thm12017-02-06 12:45 725  
[ ]functor0__265_28.min1.thm12017-02-06 12:45 725  
[ ]functor0__266_34.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__267_25.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__268_27.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__269_17.min1.thm12017-02-06 12:45 477  
[ ]functor0__279_23.min1.thm12017-02-06 12:45 440  
[ ]functor0__279_23.min1.thm1.tptp2017-02-06 16:47 375  
[ ]functor0__283_21.min1.thm12017-02-06 12:45 745  
[ ]functor0__287_21.min1.thm12017-02-06 12:45 746  
[ ]functor0__290_25.min1.thm12017-02-06 12:45 865  
[ ]functor0__291_25.min1.thm12017-02-06 12:45 866  
[ ]functor0__292_31.min1.thm12017-02-06 12:45 837  
[ ]functor0__293_24.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__294_21.min1.thm12017-02-06 12:45 838  
[ ]functor0__296_29.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__297_19.min1.thm12017-02-06 12:45 478  
[ ]functor0__298_17.min1.thm12017-02-06 12:45 816  
[ ]functor0__307_36.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__308_36.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__319_21.min1.thm12017-02-06 12:45 967  
[ ]functor0__321_25.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__322_21.min1.thm12017-02-06 12:45 970  
[ ]functor0__324_25.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__327_41.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__328_41.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__330_21.min1.thm12017-02-06 12:45 1.8K 
[ ]functor0__331_21.min1.thm12017-02-06 12:45 1.8K 
[ ]functor0__332_45.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__333_27.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__334_23.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__335_27.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__336_30.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__337_27.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__338_17.min1.thm12017-02-06 12:45 1.7K 
[ ]functor0__348_27.min1.thm12017-02-06 12:45 779  
[ ]functor0__350_43.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__351_36.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__352_36.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__353_28.min1.thm12017-02-06 12:45 731  
[ ]functor0__354_29.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__355_27.min1.thm12017-02-06 12:45 779  
[ ]functor0__356_45.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__357_24.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__358_20.min1.thm12017-02-06 12:45 1.7K 
[ ]functor0__359_21.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__367_34.min1.thm12017-02-06 12:45 733  
[ ]functor0__371_20.min1.thm12017-02-06 12:45 842  
[ ]functor0__373_22.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__374_22.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__375_38.min1.thm12017-02-06 12:45 916  
[ ]functor0__377_50.min1.thm12017-02-06 12:45 1.7K 
[ ]functor0__378_21.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__379_22.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__380_22.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__381_22.min1.thm12017-02-06 12:45 758  
[ ]functor0__382_22.min1.thm12017-02-06 12:45 758  
[ ]functor0__383_20.min1.thm12017-02-06 12:45 714  
[ ]functor0__384_20.min1.thm12017-02-06 12:45 714  
[ ]functor0__386_30.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__388_31.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__390_25.min1.thm12017-02-06 12:45 2.4K 
[ ]functor0__393_45.min1.thm12017-02-06 12:45 1.9K 
[ ]functor0__394_29.min1.thm12017-02-06 12:45 1.5K 
[ ]functor0__395_15.min1.thm12017-02-06 12:45 1.9K 
[ ]functor0__400_28.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__401_22.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__406_44.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__407_23.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__408_21.min1.thm12017-02-06 12:45 585  
[ ]functor0__409_20.min1.thm12017-02-06 12:45 585  
[ ]functor0__410_43.min1.thm12017-02-06 12:45 885  
[ ]functor0__411_37.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__413_36.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__414_28.min1.thm12017-02-06 12:45 916  
[ ]functor0__415_45.min1.thm12017-02-06 12:45 1.7K 
[ ]functor0__417_37.min1.thm12017-02-06 12:45 1.8K 
[ ]functor0__418_27.min1.thm12017-02-06 12:45 1.8K 
[ ]functor0__430_16.min1.thm12017-02-06 12:45 916  
[ ]functor0__435_18.min1.thm12017-02-06 12:45 701  
[ ]functor0__436_13.min1.thm12017-02-06 12:45 730  
[ ]functor0__437_13.min1.thm12017-02-06 12:45 741  
[ ]functor0__440_14.min1.thm12017-02-06 12:45 824  
[ ]functor0__441_16.min1.thm12017-02-06 12:45 896  
[ ]functor0__442_20.min1.thm12017-02-06 12:45 677  
[ ]functor0__452_34.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__453_28.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__454_32.min1.thm12017-02-06 12:45 703  
[ ]functor0__455_31.min1.thm12017-02-06 12:45 831  
[ ]functor0__456_30.min1.thm12017-02-06 12:45 831  
[ ]functor0__462_17.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__463_23.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__464_39.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__465_31.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__466_31.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__467_31.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__476_17.min1.thm12017-02-06 12:45 193  
[ ]functor0__479_36.min1.thm12017-02-06 12:45 755  
[ ]functor0__480_13.min1.thm12017-02-06 12:45 639  
[ ]functor0__481_21.min1.thm12017-02-06 12:45 814  
[ ]functor0__484_21.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__497_20.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__513_18.min1.thm12017-02-06 12:45 774  
[ ]functor0__514_13.min1.thm12017-02-06 12:45 731  
[ ]functor0__515_33.min1.thm12017-02-06 12:45 323  
[ ]functor0__515_33.min1.thm1.tptp2017-02-06 16:47 245  
[ ]functor0__516_15.min1.thm12017-02-06 12:45 953  
[ ]functor0__517_17.min1.thm12017-02-06 12:45 967  
[ ]functor0__518_23.min1.thm12017-02-06 12:45 1.7K 
[ ]functor0__520_17.min1.thm12017-02-06 12:45 915  
[ ]functor0__549_43.min1.thm12017-02-06 12:45 824  
[ ]functor0__565_13.min1.thm12017-02-06 12:45 193  
[ ]functor0__568_26.min1.thm12017-02-06 12:45 366  
[ ]functor0__568_26.min1.thm1.tptp2017-02-06 16:47 302  
[ ]functor0__569_52.min1.thm12017-02-06 12:45 680  
[ ]functor0__569_52.min1.thm1.tptp2017-02-06 16:47 601  
[ ]functor0__571_45.min1.thm12017-02-06 12:45 535  
[ ]functor0__571_45.min1.thm1.tptp2017-02-06 16:47 456  
[ ]functor0__572_40.min1.thm12017-02-06 12:45 759  
[ ]functor0__576_24.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__576_35.min1.thm12017-02-06 12:45 969  
[ ]functor0__579_23.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__585_25.min1.thm12017-02-06 12:45 898  
[ ]functor0__586_47.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__601_20.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__601_20.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]functor0__603_21.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__603_21.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]functor0__606_22.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__611_18.min1.thm12017-02-06 12:45 2.3K 
[ ]functor0__612_17.min1.thm12017-02-06 12:45 813  
[ ]functor0__613_17.min1.thm12017-02-06 12:45 813  
[ ]functor0__617_17.min1.thm12017-02-06 12:45 813  
[ ]functor0__634_17.min1.thm12017-02-06 12:45 2.5K 
[ ]functor0__651_47.min1.thm12017-02-06 12:45 297  
[ ]functor0__651_47.min1.thm1.tptp2017-02-06 16:47 217  
[ ]functor0__652_45.min1.thm12017-02-06 12:45 615  
[ ]functor0__652_45.min1.thm1.tptp2017-02-06 16:47 529  
[ ]functor0__653_47.min1.thm12017-02-06 12:45 559  
[ ]functor0__653_47.min1.thm1.tptp2017-02-06 16:47 473  
[ ]functor0__657_45.min1.thm12017-02-06 12:45 701  
[ ]functor0__658_47.min1.thm12017-02-06 12:45 645  
[ ]functor0__660_26.min1.thm12017-02-06 12:45 545  
[ ]functor0__661_47.min1.thm12017-02-06 12:45 2.2K 
[ ]functor0__663_15.min1.thm12017-02-06 12:45 914  
[ ]functor0__665_13.min1.thm12017-02-06 12:45 131  
[ ]functor0__682_44.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__696_13.min1.thm12017-02-06 12:45 193  
[ ]functor0__701_18.min1.thm12017-02-06 12:45 1.8K 
[ ]functor0__705_18.min1.thm12017-02-06 12:45 2.2K 
[ ]functor0__719_22.min1.thm12017-02-06 12:45 2.8K 
[ ]functor0__720_37.min1.thm12017-02-06 12:45 1.9K 
[ ]functor0__755_56.min1.thm12017-02-06 12:45 415  
[ ]functor0__759_46.min1.thm12017-02-06 12:45 876  
[ ]functor0__761_56.min1.thm12017-02-06 12:45 483  
[ ]functor0__761_56.min1.thm1.tptp2017-02-06 16:47 401  
[ ]functor0__766_43.min1.thm12017-02-06 12:45 330  
[ ]functor0__766_43.min1.thm1.tptp2017-02-06 16:47 252  
[ ]functor0__767_9.min1.thm12017-02-06 12:45 131  
[ ]functor0__769_14.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__770_24.min1.thm12017-02-06 12:45 686  
[ ]functor0__772_19.min1.thm12017-02-06 12:45 1.5K 
[ ]functor0__798_48.min1.thm12017-02-06 12:45 1.9K 
[ ]functor0__800_17.min1.thm12017-02-06 12:45 1.5K 
[ ]functor0__802_12.min1.thm12017-02-06 12:45 641  
[ ]functor0__812_59.min1.thm12017-02-06 12:45 903  
[ ]functor0__812_59.min1.thm1.tptp2017-02-06 16:47 828  
[ ]functor0__816_17.min1.thm12017-02-06 12:45 3.9K 
[ ]functor0__863_66.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__865_37.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__883_17.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__884_31.min1.thm12017-02-06 12:45 292  
[ ]functor0__885_13.min1.thm12017-02-06 12:45 860  
[ ]functor0__887_19.min1.thm12017-02-06 12:45 1.9K 
[ ]functor0__899_71.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__902_53.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__903_33.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__909_18.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__910_13.min1.thm12017-02-06 12:45 744  
[ ]functor0__911_32.min1.thm12017-02-06 12:45 848  
[ ]functor0__971_13.min1.thm12017-02-06 12:45 131  
[ ]functor0__994_59.min1.thm12017-02-06 12:45 883  
[ ]functor0__995_21.min1.thm12017-02-06 12:45 742  
[ ]functor0__996_58.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__997_38.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__1002_13.min1.thm12017-02-06 12:45 644  
[ ]functor0__1002_13.min1.thm1.tptp2017-02-06 16:47 574  
[ ]functor0__1004_13.min1.thm12017-02-06 12:45 644  
[ ]functor0__1004_13.min1.thm1.tptp2017-02-06 16:47 574  
[ ]functor0__1005_56.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__1008_25.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1025_67.min1.thm12017-02-06 12:45 811  
[ ]functor0__1027_32.min1.thm12017-02-06 12:45 423  
[ ]functor0__1027_32.min1.thm1.tptp2017-02-06 16:47 337  
[ ]functor0__1028_23.min1.thm12017-02-06 12:45 896  
[ ]functor0__1029_16.min1.thm12017-02-06 12:45 1.7K 
[ ]functor0__1045_59.min1.thm12017-02-06 12:45 883  
[ ]functor0__1046_21.min1.thm12017-02-06 12:45 742  
[ ]functor0__1047_58.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__1048_42.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__1052_56.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__1058_13.min1.thm12017-02-06 12:45 644  
[ ]functor0__1058_13.min1.thm1.tptp2017-02-06 16:47 574  
[ ]functor0__1064_13.min1.thm12017-02-06 12:45 644  
[ ]functor0__1064_13.min1.thm1.tptp2017-02-06 16:47 574  
[ ]functor0__1071_25.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1088_67.min1.thm12017-02-06 12:45 811  
[ ]functor0__1090_32.min1.thm12017-02-06 12:45 423  
[ ]functor0__1090_32.min1.thm1.tptp2017-02-06 16:47 337  
[ ]functor0__1091_23.min1.thm12017-02-06 12:45 896  
[ ]functor0__1092_16.min1.thm12017-02-06 12:45 1.7K 
[ ]functor0__1112_45.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__1113_18.min1.thm12017-02-06 12:45 963  
[ ]functor0__1113_32.min1.thm12017-02-06 12:45 648  
[ ]functor0__1114_40.min1.thm12017-02-06 12:45 502  
[ ]functor0__1114_40.min1.thm1.tptp2017-02-06 16:47 416  
[ ]functor0__1116_69.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__1128_51.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__1129_35.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__1130_28.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__1138_57.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__1139_39.min1.thm12017-02-06 12:45 471  
[ ]functor0__1139_39.min1.thm1.tptp2017-02-06 16:47 383  
[ ]functor0__1140_21.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1141_43.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__1142_39.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__1145_20.min1.thm12017-02-06 12:45 709  
[ ]functor0__1160_57.min1.thm12017-02-06 12:45 957  
[ ]functor0__1165_9.min1.thm12017-02-06 12:45 370  
[ ]functor0__1165_9.min1.thm1.tptp2017-02-06 16:47 300  
[ ]functor0__1174_20.min1.thm12017-02-06 12:45 600  
[ ]functor0__1180_57.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__1183_19.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1205_36.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__1210_11.min1.thm12017-02-06 12:45 628  
[ ]functor0__1210_11.min1.thm1.tptp2017-02-06 16:47 558  
[ ]functor0__1212_11.min1.thm12017-02-06 12:45 628  
[ ]functor0__1212_11.min1.thm1.tptp2017-02-06 16:47 558  
[ ]functor0__1230_55.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1240_53.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1242_19.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1253_40.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__1258_31.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__1262_11.min1.thm12017-02-06 12:45 628  
[ ]functor0__1262_11.min1.thm1.tptp2017-02-06 16:47 558  
[ ]functor0__1263_26.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__1267_11.min1.thm12017-02-06 12:45 628  
[ ]functor0__1267_11.min1.thm1.tptp2017-02-06 16:47 558  
[ ]functor0__1268_26.min1.thm12017-02-06 12:45 1.5K 
[ ]functor0__1287_55.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1297_53.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1299_19.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1315_15.min1.thm12017-02-06 12:45 509  
[ ]functor0__1315_15.min1.thm1.tptp2017-02-06 16:47 436  
[ ]functor0__1349_55.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__1358_37.min1.thm12017-02-06 12:45 443  
[ ]functor0__1358_37.min1.thm1.tptp2017-02-06 16:47 355  
[ ]functor0__1359_38.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__1368_4.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__1369_11.min1.thm12017-02-06 12:45 129  
[ ]functor0__1372_58.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__1373_11.min1.thm12017-02-06 12:45 852  
[ ]functor0__1378_11.min1.thm12017-02-06 12:45 340  
[ ]functor0__1388_22.min1.thm12017-02-06 12:45 807  
[ ]functor0__1389_22.min1.thm12017-02-06 12:45 823  
[ ]functor0__1390_59.min1.thm12017-02-06 12:45 3.0K 
[ ]functor0__1404_55.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__1405_22.min1.thm12017-02-06 12:45 600  
[ ]functor0__1409_19.min1.thm12017-02-06 12:45 826  
[ ]functor0__1411_19.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__1482_28.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1483_28.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1485_17.min1.thm12017-02-06 12:45 2.2K 
[ ]functor0__1486_24.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__1487_33.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1498_27.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1501_27.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1505_62.min1.thm12017-02-06 12:45 821  
[ ]functor0__1505_62.min1.thm1.tptp2017-02-06 16:47 741  
[ ]functor0__1506_16.min1.thm12017-02-06 12:45 2.2K 
[ ]functor0__1508_23.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__1509_31.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1511_17.min1.thm12017-02-06 12:45 2.7K 
[ ]functor0__1537_28.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1538_28.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1541_24.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__1542_33.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1553_27.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1556_27.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1560_62.min1.thm12017-02-06 12:45 821  
[ ]functor0__1560_62.min1.thm1.tptp2017-02-06 16:47 741  
[ ]functor0__1562_16.min1.thm12017-02-06 12:45 2.2K 
[ ]functor0__1563_23.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__1564_31.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1566_17.min1.thm12017-02-06 12:45 2.7K 
[ ]functor0__1579_22.min1.thm12017-02-06 12:45 596  
[ ]functor0__1586_28.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__1599_22.min1.thm12017-02-06 12:45 596  
[ ]functor0__1619_20.min1.thm12017-02-06 12:45 807  
[ ]functor0__1626_24.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__1634_25.min1.thm12017-02-06 12:45 2.4K 
[ ]functor0__1636_30.min1.thm12017-02-06 12:45 548  
[ ]functor0__1636_30.min1.thm1.tptp2017-02-06 16:47 462  
[ ]functor0__1641_23.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__1643_19.min1.thm12017-02-06 12:45 2.0K 
[ ]functor0__1644_19.min1.thm12017-02-06 12:45 2.0K 
[ ]functor0__1649_23.min1.thm12017-02-06 12:45 3.2K 
[ ]functor0__1686_43.min1.thm12017-02-06 12:45 895  
[ ]functor0__1688_58.min1.thm12017-02-06 12:45 635  
[ ]functor0__1690_16.min1.thm12017-02-06 12:45 802  
[ ]functor0__1691_74.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1695_15.min1.thm12017-02-06 12:45 305  
[ ]functor0__1698_24.min1.thm12017-02-06 12:45 415  
[ ]functor0__1698_24.min1.thm1.tptp2017-02-06 16:47 335  
[ ]functor0__1699_63.min1.thm12017-02-06 12:45 903  
[ ]functor0__1701_61.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__1701_61.min1.thm1.tptp2017-02-06 16:47 962  
[ ]functor0__1703_43.min1.thm12017-02-06 12:45 429  
[ ]functor0__1703_43.min1.thm1.tptp2017-02-06 16:47 349  
[ ]functor0__1713_48.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__1715_37.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__1721_20.min1.thm12017-02-06 12:45 745  
[ ]functor0__1722_20.min1.thm12017-02-06 12:45 3.0K 
[ ]functor0__1725_75.min1.thm12017-02-06 12:45 856  
[ ]functor0__1741_55.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__1745_15.min1.thm12017-02-06 12:45 305  
[ ]functor0__1748_24.min1.thm12017-02-06 12:45 415  
[ ]functor0__1748_24.min1.thm1.tptp2017-02-06 16:47 335  
[ ]functor0__1749_63.min1.thm12017-02-06 12:45 830  
[ ]functor0__1751_61.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__1751_61.min1.thm1.tptp2017-02-06 16:47 962  
[ ]functor0__1753_43.min1.thm12017-02-06 12:45 1.7K 
[ ]functor0__1760_37.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__1766_20.min1.thm12017-02-06 12:45 2.6K 
[ ]functor0__1769_75.min1.thm12017-02-06 12:45 856  
[ ]functor0__1781_53.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__1782_17.min1.thm12017-02-06 12:45 963  
[ ]functor0__1784_50.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__1787_72.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__1798_53.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__1801_17.min1.thm12017-02-06 12:45 837  
[ ]functor0__1802_8.min1.thm12017-02-06 12:45 370  
[ ]functor0__1802_8.min1.thm1.tptp2017-02-06 16:47 300  
[ ]functor0__1811_55.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__1812_44.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__1813_32.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__1814_23.min1.thm12017-02-06 12:45 765  
[ ]functor0__1815_21.min1.thm12017-02-06 12:45 765  
[ ]functor0__1817_62.min1.thm12017-02-06 12:45 2.0K 
[ ]functor0__1819_32.min1.thm12017-02-06 12:45 952  
[ ]functor0__1820_40.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__1866_20.min1.thm12017-02-06 12:45 2.1K 
[ ]functor0__1870_35.min1.thm12017-02-06 12:45 670  
[ ]functor0__1878_18.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__1914_53.min1.thm12017-02-06 12:45 957  
[ ]functor0__1916_19.min1.thm12017-02-06 12:45 837  
[ ]functor0__1917_8.min1.thm12017-02-06 12:45 370  
[ ]functor0__1917_8.min1.thm1.tptp2017-02-06 16:47 300  
[ ]functor0__1927_56.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__1931_25.min1.thm12017-02-06 12:45 820  
[ ]functor0__1932_11.min1.thm12017-02-06 12:45 952  
[ ]functor0__1943_58.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__1946_21.min1.thm12017-02-06 12:45 784  
[ ]functor0__1948_33.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__1949_23.min1.thm12017-02-06 12:45 792  
[ ]functor0__1950_18.min1.thm12017-02-06 12:45 948  
[ ]functor0__1968_15.min1.thm12017-02-06 12:45 569  
[ ]functor0__1968_15.min1.thm1.tptp2017-02-06 16:47 494  
[ ]functor0__1982_24.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__1983_37.min1.thm12017-02-06 12:45 1.8K 
[ ]functor0__1995_22.min1.thm12017-02-06 12:45 864  
[ ]functor0__1997_26.min1.thm12017-02-06 12:45 808  
[ ]functor0__2006_24.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__2007_18.min1.thm12017-02-06 12:45 748  
[ ]functor0__2008_18.min1.thm12017-02-06 12:45 748  
[ ]functor0__2009_18.min1.thm12017-02-06 12:45 748  
[ ]functor0__2012_21.min1.thm12017-02-06 12:45 3.8K 
[ ]functor0__2014_16.min1.thm12017-02-06 12:45 316  
[ ]functor0__2030_36.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2034_15.min1.thm12017-02-06 12:45 221  
[ ]functor0__2042_39.min1.thm12017-02-06 12:45 499  
[ ]functor0__2042_39.min1.thm1.tptp2017-02-06 16:47 411  
[ ]functor0__2043_60.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2046_20.min1.thm12017-02-06 12:45 625  
[ ]functor0__2055_18.min1.thm12017-02-06 12:45 411  
[ ]functor0__2055_18.min1.thm1.tptp2017-02-06 16:47 347  
[ ]functor0__2059_37.min1.thm12017-02-06 12:45 197  
[ ]functor0__2061_47.min1.thm12017-02-06 12:45 336  
[ ]functor0__2061_47.min1.thm1.tptp2017-02-06 16:47 246  
[ ]functor0__2073_24.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2074_41.min1.thm12017-02-06 12:45 553  
[ ]functor0__2074_41.min1.thm1.tptp2017-02-06 16:47 465  
[ ]functor0__2075_62.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2079_55.min1.thm12017-02-06 12:45 825  
[ ]functor0__2083_20.min1.thm12017-02-06 12:45 446  
[ ]functor0__2083_20.min1.thm1.tptp2017-02-06 16:47 360  
[ ]functor0__2087_29.min1.thm12017-02-06 12:45 552  
[ ]functor0__2088_68.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2096_24.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2098_70.min1.thm12017-02-06 12:45 502  
[ ]functor0__2101_78.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__2103_22.min1.thm12017-02-06 12:45 779  
[ ]functor0__2106_18.min1.thm12017-02-06 12:45 767  
[ ]functor0__2108_25.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__2138_56.min1.thm12017-02-06 12:45 651  
[ ]functor0__2139_21.min1.thm12017-02-06 12:45 929  
[ ]functor0__2143_59.min1.thm12017-02-06 12:45 1.5K 
[ ]functor0__2144_23.min1.thm12017-02-06 12:45 792  
[ ]functor0__2146_18.min1.thm12017-02-06 12:45 436  
[ ]functor0__2163_38.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2167_38.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2185_42.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2189_38.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2208_38.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2212_42.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2231_42.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2235_42.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2260_36.min1.thm12017-02-06 12:45 457  
[ ]functor0__2260_36.min1.thm1.tptp2017-02-06 16:47 369  
[ ]functor0__2261_57.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2263_40.min1.thm12017-02-06 12:45 2.1K 
[ ]functor0__2268_45.min1.thm12017-02-06 12:45 805  
[ ]functor0__2316_4.min1.thm12017-02-06 12:45 2.0K 
[ ]functor0__2343_41.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__2366_55.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2367_43.min1.thm12017-02-06 12:45 2.4K 
[ ]functor0__2371_23.min1.thm12017-02-06 12:45 1.8K 
[ ]functor0__2373_58.min1.thm12017-02-06 12:45 2.2K 
[ ]functor0__2380_19.min1.thm12017-02-06 12:45 791  
[ ]functor0__2382_54.min1.thm12017-02-06 12:45 2.4K 
[ ]functor0__2385_40.min1.thm12017-02-06 12:45 1.9K 
[ ]functor0__2386_23.min1.thm12017-02-06 12:45 2.4K 
[ ]functor0__2415_21.min1.thm12017-02-06 12:45 783  
[ ]functor0__2416_27.min1.thm12017-02-06 12:45 785  
[ ]functor0__2418_23.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__2419_22.min1.thm12017-02-06 12:45 783  
[ ]functor0__2420_21.min1.thm12017-02-06 12:45 785  
[ ]functor0__2421_22.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2437_33.min1.thm12017-02-06 12:45 2.5K 
[ ]functor0__2453_49.min1.thm12017-02-06 12:45 1.9K 
[ ]functor0__2454_21.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__2455_25.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__2457_39.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2459_18.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__2461_33.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__2462_22.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__2463_19.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__2465_33.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__2470_14.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__2491_57.min1.thm12017-02-06 12:45 2.5K 
[ ]functor0__2500_34.min1.thm12017-02-06 12:45 481  
[ ]functor0__2500_34.min1.thm1.tptp2017-02-06 16:47 395  
[ ]functor0__2514_57.min1.thm12017-02-06 12:45 2.5K 
[ ]functor0__2524_35.min1.thm12017-02-06 12:45 455  
[ ]functor0__2524_35.min1.thm1.tptp2017-02-06 16:47 367  
[ ]functor0__2527_45.min1.thm12017-02-06 12:45 1.5K 
[ ]functor0__2528_29.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__2544_39.min1.thm12017-02-06 12:45 960  
[ ]functor0__2545_21.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2548_33.min1.thm12017-02-06 12:45 447  
[ ]functor0__2548_33.min1.thm1.tptp2017-02-06 16:47 359  
[ ]functor0__2554_17.min1.thm12017-02-06 12:45 752  
[ ]functor0__2557_21.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2559_41.min1.thm12017-02-06 12:45 2.3K 
[ ]functor0__2579_49.min1.thm12017-02-06 12:45 2.0K 
[ ]functor0__2582_4.min1.thm12017-02-06 12:45 2.1K 
[ ]functor0__2584_14.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__2585_19.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2586_25.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2588_39.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__2593_17.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__2594_8.min1.thm12017-02-06 12:45 374  
[ ]functor0__2594_8.min1.thm1.tptp2017-02-06 16:47 304  
[ ]functor0__2599_19.min1.thm12017-02-06 12:45 1.5K 
[ ]functor0__2611_63.min1.thm12017-02-06 12:45 2.3K 
[ ]functor0__2612_49.min1.thm12017-02-06 12:45 2.1K 
[ ]functor0__2618_21.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2619_25.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2621_39.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__2622_18.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2624_33.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2625_20.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2626_19.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2632_54.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2638_43.min1.thm12017-02-06 12:45 3.1K 
[ ]functor0__2641_15.min1.thm12017-02-06 12:45 749  
[ ]functor0__2660_21.min1.thm12017-02-06 12:45 2.3K 
[ ]functor0__2672_17.min1.thm12017-02-06 12:45 795  
[ ]functor0__2674_37.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__2686_21.min1.thm12017-02-06 12:45 1.7K 
[ ]functor0__2687_38.min1.thm12017-02-06 12:45 2.6K 
[ ]functor0__2700_24.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2701_25.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__2703_39.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2704_20.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2705_19.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__2707_33.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__2708_36.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__2714_22.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2715_22.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2735_24.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2736_25.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__2738_39.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2739_20.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2740_19.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__2742_33.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__2743_40.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__2751_22.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2752_22.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2762_53.min1.thm12017-02-06 12:45 2.0K 
[ ]functor0__2777_21.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__2778_63.min1.thm12017-02-06 12:45 2.3K 
[ ]functor0__2779_49.min1.thm12017-02-06 12:45 2.1K 
[ ]functor0__2784_19.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2785_23.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2787_33.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2788_20.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2789_19.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2797_56.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2808_23.min1.thm12017-02-06 12:45 1.9K 
[ ]functor0__2810_60.min1.thm12017-02-06 12:45 2.4K 
[ ]functor0__2817_19.min1.thm12017-02-06 12:45 892  
[ ]functor0__2826_11.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__2840_25.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__2841_63.min1.thm12017-02-06 12:45 2.3K 
[ ]functor0__2842_49.min1.thm12017-02-06 12:45 2.1K 
[ ]functor0__2847_19.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2848_23.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2850_33.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2851_20.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2852_19.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2860_56.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2871_23.min1.thm12017-02-06 12:45 1.9K 
[ ]functor0__2873_60.min1.thm12017-02-06 12:45 2.4K 
[ ]functor0__2880_19.min1.thm12017-02-06 12:45 892  
[ ]functor0__2889_11.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__2902_21.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__2903_63.min1.thm12017-02-06 12:45 2.3K 
[ ]functor0__2904_49.min1.thm12017-02-06 12:45 2.2K 
[ ]functor0__2909_21.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__2910_25.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2912_39.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__2913_18.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2915_33.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2916_20.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__2917_19.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2926_27.min1.thm12017-02-06 12:45 1.9K 
[ ]functor0__2930_27.min1.thm12017-02-06 12:45 1.9K 
[ ]functor0__2931_23.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2933_27.min1.thm12017-02-06 12:45 1.9K 
[ ]functor0__2935_35.min1.thm12017-02-06 12:45 3.0K 
[ ]functor0__2937_54.min1.thm12017-02-06 12:45 1.8K 
[ ]functor0__2939_68.min1.thm12017-02-06 12:45 2.2K 
[ ]functor0__2940_31.min1.thm12017-02-06 12:45 2.6K 
[ ]functor0__2941_68.min1.thm12017-02-06 12:45 2.2K 
[ ]functor0__2943_32.min1.thm12017-02-06 12:45 1.7K 
[ ]functor0__2944_32.min1.thm12017-02-06 12:45 1.7K 
[ ]functor0__2950_15.min1.thm12017-02-06 12:45 3.4K 
[ ]functor0__2951_15.min1.thm12017-02-06 12:45 3.4K 
[ ]functor0__2953_56.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__2966_31.min1.thm12017-02-06 12:45 2.6K 
[ ]functor0__2972_23.min1.thm12017-02-06 12:45 2.3K 
[ ]functor0__2976_23.min1.thm12017-02-06 12:45 2.3K 
[ ]functor0__2984_19.min1.thm12017-02-06 12:45 892  
[ ]functor0__2993_49.min1.thm12017-02-06 12:45 2.4K 
[ ]functor0__2994_53.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__2999_53.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__3004_53.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__3028_25.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__3029_63.min1.thm12017-02-06 12:45 2.3K 
[ ]functor0__3030_49.min1.thm12017-02-06 12:45 2.2K 
[ ]functor0__3035_21.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__3036_25.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__3038_39.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__3039_18.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__3041_33.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__3042_20.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__3043_19.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__3052_27.min1.thm12017-02-06 12:45 1.9K 
[ ]functor0__3056_27.min1.thm12017-02-06 12:45 1.9K 
[ ]functor0__3057_23.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__3059_27.min1.thm12017-02-06 12:45 1.9K 
[ ]functor0__3061_35.min1.thm12017-02-06 12:45 3.0K 
[ ]functor0__3063_58.min1.thm12017-02-06 12:45 1.8K 
[ ]functor0__3064_31.min1.thm12017-02-06 12:45 2.6K 
[ ]functor0__3065_68.min1.thm12017-02-06 12:45 2.2K 
[ ]functor0__3067_68.min1.thm12017-02-06 12:45 2.2K 
[ ]functor0__3069_32.min1.thm12017-02-06 12:45 1.7K 
[ ]functor0__3070_32.min1.thm12017-02-06 12:45 1.7K 
[ ]functor0__3076_15.min1.thm12017-02-06 12:45 3.4K 
[ ]functor0__3079_56.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__3092_31.min1.thm12017-02-06 12:45 2.6K 
[ ]functor0__3098_23.min1.thm12017-02-06 12:45 2.3K 
[ ]functor0__3102_23.min1.thm12017-02-06 12:45 2.3K 
[ ]functor0__3110_19.min1.thm12017-02-06 12:45 892  
[ ]functor0__3119_49.min1.thm12017-02-06 12:45 2.4K 
[ ]functor0__3120_53.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__3125_53.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__3130_53.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__3151_43.min1.thm12017-02-06 12:45 859  
[ ]functor0__3166_47.min1.thm12017-02-06 12:45 859  
[ ]functor0__3185_41.min1.thm12017-02-06 12:45 866  
[ ]functor0__3189_31.min1.thm12017-02-06 12:45 888  
[ ]functor0__3204_45.min1.thm12017-02-06 12:45 866  
[ ]functor0__3208_31.min1.thm12017-02-06 12:45 888  
[ ]functor0__3211_16.min1.thm12017-02-06 12:45 966  
[ ]functor0__3227_59.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__3228_18.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__3229_16.min1.thm12017-02-06 12:45 385  
[ ]functor0__3229_16.min1.thm1.tptp2017-02-06 16:47 299  
[ ]functor0__3241_63.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__3242_18.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__3243_16.min1.thm12017-02-06 12:45 385  
[ ]functor0__3243_16.min1.thm1.tptp2017-02-06 16:47 299  
[ ]functor0__3257_24.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__3258_17.min1.thm12017-02-06 12:45 1.5K 
[ ]functor0__3271_28.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__3272_17.min1.thm12017-02-06 12:45 1.5K 
[ ]functor0__3284_24.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__3285_25.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__3287_39.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__3288_20.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__3290_31.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__3291_25.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__3292_27.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__3293_20.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__3295_16.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__3297_33.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__3298_21.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__3299_24.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__3300_44.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__3301_43.min1.thm12017-02-06 12:45 1.5K 
[ ]functor0__3307_23.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__3308_23.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__3319_27.min1.thm12017-02-06 12:45 2.0K 
[ ]functor0__3320_26.min1.thm12017-02-06 12:45 2.3K 
[ ]functor0__3321_45.min1.thm12017-02-06 12:45 2.3K 
[ ]functor0__3323_13.min1.thm12017-02-06 12:45 326  
[ ]functor0__3324_24.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__3325_24.min1.thm12017-02-06 12:45 457  
[ ]functor0__3325_24.min1.thm1.tptp2017-02-06 16:47 371  
[ ]functor0__3326_16.min1.thm12017-02-06 12:45 2.4K 
[ ]functor0__3338_24.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__3339_25.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__3341_39.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__3342_20.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__3344_31.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__3345_25.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__3346_26.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__3347_20.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__3349_16.min1.thm12017-02-06 12:45 1.3K 
[ ]functor0__3351_33.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__3352_25.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__3353_24.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__3354_52.min1.thm12017-02-06 12:45 1.0K 
[ ]functor0__3355_47.min1.thm12017-02-06 12:45 1.5K 
[ ]functor0__3363_23.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__3364_23.min1.thm12017-02-06 12:45 1.2K 
[ ]functor0__3374_55.min1.thm12017-02-06 12:45 2.1K 
[ ]functor0__3377_27.min1.thm12017-02-06 12:45 2.0K 
[ ]functor0__3378_25.min1.thm12017-02-06 12:45 2.3K 
[ ]functor0__3379_45.min1.thm12017-02-06 12:45 2.3K 
[ ]functor0__3381_13.min1.thm12017-02-06 12:45 326  
[ ]functor0__3382_24.min1.thm12017-02-06 12:45 1.6K 
[ ]functor0__3383_28.min1.thm12017-02-06 12:45 457  
[ ]functor0__3383_28.min1.thm1.tptp2017-02-06 16:47 371  
[ ]functor0__3384_16.min1.thm12017-02-06 12:45 2.4K 
[ ]functor0__3395_15.min1.thm12017-02-06 12:45 1.1K 
[ ]functor0__3403_31.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__3405_18.min1.thm12017-02-06 12:45 478  
[ ]functor0__3415_35.min1.thm12017-02-06 12:45 1.4K 
[ ]functor0__3417_18.min1.thm12017-02-06 12:45 478  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80