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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]funct_2__41_13.min1.thm12017-02-06 12:45 129  
[ ]funct_2__49_13.min1.thm12017-02-06 12:45 187  
[ ]funct_2__52_45.min1.thm12017-02-06 12:45 457  
[ ]funct_2__54_20.min1.thm12017-02-06 12:45 724  
[ ]funct_2__60_19.min1.thm12017-02-06 12:45 490  
[ ]funct_2__60_19.min1.thm1.tptp2017-02-06 16:47 441  
[ ]funct_2__61_44.min1.thm12017-02-06 12:45 801  
[ ]funct_2__63_20.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__76_13.min1.thm12017-02-06 12:45 187  
[ ]funct_2__78_20.min1.thm12017-02-06 12:45 282  
[ ]funct_2__81_18.min1.thm12017-02-06 12:45 602  
[ ]funct_2__93_10.min1.thm12017-02-06 12:45 476  
[ ]funct_2__93_10.min1.thm1.tptp2017-02-06 16:47 416  
[ ]funct_2__101_21.min1.thm12017-02-06 12:45 808  
[ ]funct_2__109_12.min1.thm12017-02-06 12:45 187  
[ ]funct_2__111_16.min1.thm12017-02-06 12:45 605  
[ ]funct_2__114_16.min1.thm12017-02-06 12:45 584  
[ ]funct_2__114_16.min1.thm1.tptp2017-02-06 16:47 544  
[ ]funct_2__123_49.min1.thm12017-02-06 12:45 564  
[ ]funct_2__124_27.min1.thm12017-02-06 12:45 325  
[ ]funct_2__125_17.min1.thm12017-02-06 12:45 1.4K 
[ ]funct_2__133_49.min1.thm12017-02-06 12:45 634  
[ ]funct_2__134_19.min1.thm12017-02-06 12:45 181  
[ ]funct_2__135_26.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__136_14.min1.thm12017-02-06 12:45 688  
[ ]funct_2__150_36.min1.thm12017-02-06 12:45 650  
[ ]funct_2__151_19.min1.thm12017-02-06 12:45 411  
[ ]funct_2__151_19.min1.thm1.tptp2017-02-06 16:47 339  
[ ]funct_2__153_49.min1.thm12017-02-06 12:45 644  
[ ]funct_2__154_19.min1.thm12017-02-06 12:45 184  
[ ]funct_2__155_26.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__156_17.min1.thm12017-02-06 12:45 759  
[ ]funct_2__164_19.min1.thm12017-02-06 12:45 674  
[ ]funct_2__165_17.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__173_22.min1.thm12017-02-06 12:45 758  
[ ]funct_2__174_14.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__184_16.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__189_22.min1.thm12017-02-06 12:45 837  
[ ]funct_2__190_19.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__192_17.min1.thm12017-02-06 12:45 2.1K 
[ ]funct_2__197_25.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__208_40.min1.thm12017-02-06 12:45 754  
[ ]funct_2__210_15.min1.thm12017-02-06 12:45 403  
[ ]funct_2__210_15.min1.thm1.tptp2017-02-06 16:47 331  
[ ]funct_2__220_50.min1.thm12017-02-06 12:45 335  
[ ]funct_2__239_6.min1.thm12017-02-06 12:45 599  
[ ]funct_2__249_18.min1.thm12017-02-06 12:45 671  
[ ]funct_2__250_19.min1.thm12017-02-06 12:45 620  
[ ]funct_2__251_21.min1.thm12017-02-06 12:45 953  
[ ]funct_2__252_24.min1.thm12017-02-06 12:45 694  
[ ]funct_2__253_21.min1.thm12017-02-06 12:45 1.4K 
[ ]funct_2__264_74.min1.thm12017-02-06 12:45 528  
[ ]funct_2__265_21.min1.thm12017-02-06 12:45 672  
[ ]funct_2__265_21.min1.thm1.tptp2017-02-06 16:47 613  
[ ]funct_2__267_19.min1.thm12017-02-06 12:45 368  
[ ]funct_2__267_19.min1.thm1.tptp2017-02-06 16:47 308  
[ ]funct_2__277_16.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__278_12.min1.thm12017-02-06 12:45 938  
[ ]funct_2__279_17.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__283_54.min1.thm12017-02-06 12:45 458  
[ ]funct_2__288_14.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__294_14.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__307_17.min1.thm12017-02-06 12:45 588  
[ ]funct_2__318_11.min1.thm12017-02-06 12:45 186  
[ ]funct_2__320_15.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__325_16.min1.thm12017-02-06 12:45 684  
[ ]funct_2__326_51.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__327_19.min1.thm12017-02-06 12:45 2.0K 
[ ]funct_2__329_17.min1.thm12017-02-06 12:45 408  
[ ]funct_2__329_17.min1.thm1.tptp2017-02-06 16:47 348  
[ ]funct_2__339_19.min1.thm12017-02-06 12:45 1.4K 
[ ]funct_2__340_17.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__348_11.min1.thm12017-02-06 12:45 186  
[ ]funct_2__350_16.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__353_35.min1.thm12017-02-06 12:45 949  
[ ]funct_2__354_19.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_2__365_11.min1.thm12017-02-06 12:45 186  
[ ]funct_2__369_16.min1.thm12017-02-06 12:45 653  
[ ]funct_2__370_29.min1.thm12017-02-06 12:45 1.9K 
[ ]funct_2__371_19.min1.thm12017-02-06 12:45 2.1K 
[ ]funct_2__374_16.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__385_19.min1.thm12017-02-06 12:45 674  
[ ]funct_2__386_17.min1.thm12017-02-06 12:45 2.2K 
[ ]funct_2__395_19.min1.thm12017-02-06 12:45 674  
[ ]funct_2__396_17.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__414_28.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__425_18.min1.thm12017-02-06 12:45 522  
[ ]funct_2__426_40.min1.thm12017-02-06 12:45 895  
[ ]funct_2__427_40.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__437_12.min1.thm12017-02-06 12:45 850  
[ ]funct_2__438_23.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_2__439_12.min1.thm12017-02-06 12:45 850  
[ ]funct_2__440_17.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_2__449_22.min1.thm12017-02-06 12:45 1.9K 
[ ]funct_2__450_20.min1.thm12017-02-06 12:45 1.8K 
[ ]funct_2__451_17.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__460_19.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__461_17.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__472_16.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__473_12.min1.thm12017-02-06 12:45 938  
[ ]funct_2__474_17.min1.thm12017-02-06 12:45 1.9K 
[ ]funct_2__485_16.min1.thm12017-02-06 12:45 674  
[ ]funct_2__493_27.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__494_28.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__502_63.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__518_16.min1.thm12017-02-06 12:45 674  
[ ]funct_2__519_22.min1.thm12017-02-06 12:45 1.8K 
[ ]funct_2__520_26.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__521_20.min1.thm12017-02-06 12:45 2.2K 
[ ]funct_2__522_17.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__543_13.min1.thm12017-02-06 12:45 188  
[ ]funct_2__545_17.min1.thm12017-02-06 12:45 955  
[ ]funct_2__548_22.min1.thm12017-02-06 12:45 686  
[ ]funct_2__552_17.min1.thm12017-02-06 12:45 1.9K 
[ ]funct_2__553_20.min1.thm12017-02-06 12:45 1.8K 
[ ]funct_2__554_20.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__565_19.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__566_17.min1.thm12017-02-06 12:45 1.9K 
[ ]funct_2__581_22.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__582_16.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__584_16.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__585_46.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__588_13.min1.thm12017-02-06 12:45 188  
[ ]funct_2__590_20.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__593_21.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__594_26.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__595_18.min1.thm12017-02-06 12:45 849  
[ ]funct_2__598_14.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__607_19.min1.thm12017-02-06 12:45 674  
[ ]funct_2__608_17.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__621_14.min1.thm12017-02-06 12:45 903  
[ ]funct_2__622_15.min1.thm12017-02-06 12:45 799  
[ ]funct_2__623_26.min1.thm12017-02-06 12:45 2.1K 
[ ]funct_2__624_11.min1.thm12017-02-06 12:45 903  
[ ]funct_2__625_17.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_2__636_31.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__646_19.min1.thm12017-02-06 12:45 674  
[ ]funct_2__647_17.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__657_31.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__658_17.min1.thm12017-02-06 12:45 2.7K 
[ ]funct_2__668_16.min1.thm12017-02-06 12:45 674  
[ ]funct_2__681_14.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__683_19.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__684_15.min1.thm12017-02-06 12:45 1.4K 
[ ]funct_2__685_47.min1.thm12017-02-06 12:45 2.0K 
[ ]funct_2__688_13.min1.thm12017-02-06 12:45 188  
[ ]funct_2__690_18.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__691_21.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__694_18.min1.thm12017-02-06 12:45 929  
[ ]funct_2__697_14.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__701_56.min1.thm12017-02-06 12:45 810  
[ ]funct_2__711_15.min1.thm12017-02-06 12:45 728  
[ ]funct_2__712_24.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_2__713_17.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__723_16.min1.thm12017-02-06 12:45 674  
[ ]funct_2__727_16.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__731_45.min1.thm12017-02-06 12:45 526  
[ ]funct_2__731_45.min1.thm1.tptp2017-02-06 16:47 484  
[ ]funct_2__741_19.min1.thm12017-02-06 12:45 674  
[ ]funct_2__742_17.min1.thm12017-02-06 12:45 1.4K 
[ ]funct_2__746_44.min1.thm12017-02-06 12:45 503  
[ ]funct_2__746_44.min1.thm1.tptp2017-02-06 16:47 461  
[ ]funct_2__752_23.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__754_22.min1.thm12017-02-06 12:45 1.9K 
[ ]funct_2__756_19.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__757_17.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__768_22.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__769_19.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__771_16.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__780_19.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__781_17.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__790_16.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__791_23.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__792_17.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__803_16.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__804_12.min1.thm12017-02-06 12:45 938  
[ ]funct_2__809_46.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__812_45.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__820_18.min1.thm12017-02-06 12:45 718  
[ ]funct_2__821_12.min1.thm12017-02-06 12:45 960  
[ ]funct_2__822_20.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__823_17.min1.thm12017-02-06 12:45 392  
[ ]funct_2__823_17.min1.thm1.tptp2017-02-06 16:47 314  
[ ]funct_2__831_21.min1.thm12017-02-06 12:45 718  
[ ]funct_2__832_17.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__839_18.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__840_17.min1.thm12017-02-06 12:45 931  
[ ]funct_2__847_30.min1.thm12017-02-06 12:45 871  
[ ]funct_2__848_17.min1.thm12017-02-06 12:45 471  
[ ]funct_2__848_17.min1.thm1.tptp2017-02-06 16:47 406  
[ ]funct_2__859_20.min1.thm12017-02-06 12:45 696  
[ ]funct_2__860_19.min1.thm12017-02-06 12:45 818  
[ ]funct_2__868_23.min1.thm12017-02-06 12:45 179  
[ ]funct_2__869_17.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__879_13.min1.thm12017-02-06 12:45 190  
[ ]funct_2__882_18.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__886_23.min1.thm12017-02-06 12:45 690  
[ ]funct_2__887_28.min1.thm12017-02-06 12:45 2.0K 
[ ]funct_2__888_19.min1.thm12017-02-06 12:45 644  
[ ]funct_2__888_19.min1.thm1.tptp2017-02-06 16:47 579  
[ ]funct_2__889_15.min1.thm12017-02-06 12:45 551  
[ ]funct_2__889_15.min1.thm1.tptp2017-02-06 16:47 481  
[ ]funct_2__890_21.min1.thm12017-02-06 12:45 863  
[ ]funct_2__902_13.min1.thm12017-02-06 12:45 190  
[ ]funct_2__905_18.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__909_18.min1.thm12017-02-06 12:45 549  
[ ]funct_2__909_18.min1.thm1.tptp2017-02-06 16:47 479  
[ ]funct_2__910_28.min1.thm12017-02-06 12:45 2.0K 
[ ]funct_2__911_19.min1.thm12017-02-06 12:45 644  
[ ]funct_2__911_19.min1.thm1.tptp2017-02-06 16:47 579  
[ ]funct_2__912_15.min1.thm12017-02-06 12:45 692  
[ ]funct_2__913_21.min1.thm12017-02-06 12:45 863  
[ ]funct_2__925_25.min1.thm12017-02-06 12:45 1.8K 
[ ]funct_2__926_11.min1.thm12017-02-06 12:45 610  
[ ]funct_2__933_14.min1.thm12017-02-06 12:45 541  
[ ]funct_2__933_14.min1.thm1.tptp2017-02-06 16:47 471  
[ ]funct_2__934_17.min1.thm12017-02-06 12:45 2.5K 
[ ]funct_2__941_14.min1.thm12017-02-06 12:45 938  
[ ]funct_2__942_26.min1.thm12017-02-06 12:45 808  
[ ]funct_2__943_17.min1.thm12017-02-06 12:45 2.7K 
[ ]funct_2__951_14.min1.thm12017-02-06 12:45 541  
[ ]funct_2__951_14.min1.thm1.tptp2017-02-06 16:47 471  
[ ]funct_2__952_17.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__966_14.min1.thm12017-02-06 12:45 749  
[ ]funct_2__968_14.min1.thm12017-02-06 12:45 749  
[ ]funct_2__977_42.min1.thm12017-02-06 12:45 731  
[ ]funct_2__994_14.min1.thm12017-02-06 12:45 901  
[ ]funct_2__995_17.min1.thm12017-02-06 12:45 884  
[ ]funct_2__1000_47.min1.thm12017-02-06 12:45 581  
[ ]funct_2__1008_28.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__1009_24.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__1010_19.min1.thm12017-02-06 12:45 918  
[ ]funct_2__1018_11.min1.thm12017-02-06 12:45 2.2K 
[ ]funct_2__1029_31.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__1037_26.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1039_18.min1.thm12017-02-06 12:45 1.4K 
[ ]funct_2__1041_26.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1042_21.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__1044_19.min1.thm12017-02-06 12:45 962  
[ ]funct_2__1047_22.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1049_22.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1050_19.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__1060_16.min1.thm12017-02-06 12:45 604  
[ ]funct_2__1060_16.min1.thm1.tptp2017-02-06 16:47 534  
[ ]funct_2__1062_18.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__1063_16.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1064_33.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__1065_19.min1.thm12017-02-06 12:45 2.0K 
[ ]funct_2__1073_14.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__1074_26.min1.thm12017-02-06 12:45 926  
[ ]funct_2__1082_16.min1.thm12017-02-06 12:45 600  
[ ]funct_2__1082_16.min1.thm1.tptp2017-02-06 16:47 530  
[ ]funct_2__1083_25.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__1091_26.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__1100_14.min1.thm12017-02-06 12:45 600  
[ ]funct_2__1100_14.min1.thm1.tptp2017-02-06 16:47 530  
[ ]funct_2__1102_20.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__1103_30.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_2__1104_17.min1.thm12017-02-06 12:45 2.1K 
[ ]funct_2__1124_32.min1.thm12017-02-06 12:45 190  
[ ]funct_2__1125_19.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__1141_47.min1.thm12017-02-06 12:45 489  
[ ]funct_2__1142_19.min1.thm12017-02-06 12:45 626  
[ ]funct_2__1148_16.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1155_66.min1.thm12017-02-06 12:45 307  
[ ]funct_2__1166_40.min1.thm12017-02-06 12:45 430  
[ ]funct_2__1166_40.min1.thm1.tptp2017-02-06 16:47 370  
[ ]funct_2__1180_23.min1.thm12017-02-06 12:45 1.4K 
[ ]funct_2__1182_16.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__1183_16.min1.thm12017-02-06 12:45 354  
[ ]funct_2__1196_37.min1.thm12017-02-06 12:45 316  
[ ]funct_2__1196_37.min1.thm1.tptp2017-02-06 16:47 238  
[ ]funct_2__1198_16.min1.thm12017-02-06 12:45 419  
[ ]funct_2__1198_16.min1.thm1.tptp2017-02-06 16:47 337  
[ ]funct_2__1210_16.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__1228_37.min1.thm12017-02-06 12:45 716  
[ ]funct_2__1241_14.min1.thm12017-02-06 12:45 608  
[ ]funct_2__1242_35.min1.thm12017-02-06 12:45 640  
[ ]funct_2__1243_31.min1.thm12017-02-06 12:45 637  
[ ]funct_2__1244_19.min1.thm12017-02-06 12:45 962  
[ ]funct_2__1247_17.min1.thm12017-02-06 12:45 846  
[ ]funct_2__1247_17.min1.thm1.tptp2017-02-06 16:47 809  
[ ]funct_2__1254_12.min1.thm12017-02-06 12:45 879  
[ ]funct_2__1255_17.min1.thm12017-02-06 12:45 1.8K 
[ ]funct_2__1259_70.min1.thm12017-02-06 12:45 456  
[ ]funct_2__1263_25.min1.thm12017-02-06 12:45 718  
[ ]funct_2__1267_20.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__1272_11.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__1281_11.min1.thm12017-02-06 12:45 186  
[ ]funct_2__1283_47.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__1285_15.min1.thm12017-02-06 12:45 329  
[ ]funct_2__1294_16.min1.thm12017-02-06 12:45 1.4K 
[ ]funct_2__1299_18.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__1308_63.min1.thm12017-02-06 12:45 556  
[ ]funct_2__1308_63.min1.thm1.tptp2017-02-06 16:47 512  
[ ]funct_2__1309_17.min1.thm12017-02-06 12:45 638  
[ ]funct_2__1314_28.min1.thm12017-02-06 12:45 2.2K 
[ ]funct_2__1317_63.min1.thm12017-02-06 12:45 963  
[ ]funct_2__1326_19.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__1327_17.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__1336_23.min1.thm12017-02-06 12:45 179  
[ ]funct_2__1355_52.min1.thm12017-02-06 12:45 914  
[ ]funct_2__1355_52.min1.thm1.tptp2017-02-06 16:47 931  
[ ]funct_2__1366_14.min1.thm12017-02-06 12:45 697  
[ ]funct_2__1366_14.min1.thm1.tptp2017-02-06 16:47 640  
[ ]funct_2__1371_61.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__1375_28.min1.thm12017-02-06 12:45 787  
[ ]funct_2__1375_28.min1.thm1.tptp2017-02-06 16:47 784  
[ ]funct_2__1385_73.min1.thm12017-02-06 12:45 865  
[ ]funct_2__1387_14.min1.thm12017-02-06 12:45 648  
[ ]funct_2__1387_14.min1.thm1.tptp2017-02-06 16:47 586  
[ ]funct_2__1394_11.min1.thm12017-02-06 12:45 250  
[ ]funct_2__1396_16.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__1402_32.min1.thm12017-02-06 12:45 830  
[ ]funct_2__1403_19.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__1410_11.min1.thm12017-02-06 12:45 250  
[ ]funct_2__1413_33.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_2__1414_19.min1.thm12017-02-06 12:45 740  
[ ]funct_2__1424_36.min1.thm12017-02-06 12:45 1.4K 
[ ]funct_2__1425_23.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__1429_50.min1.thm12017-02-06 12:45 535  
[ ]funct_2__1429_50.min1.thm1.tptp2017-02-06 16:47 464  
[ ]funct_2__1430_32.min1.thm12017-02-06 12:45 694  
[ ]funct_2__1431_29.min1.thm12017-02-06 12:45 600  
[ ]funct_2__1431_29.min1.thm1.tptp2017-02-06 16:47 529  
[ ]funct_2__1440_29.min1.thm12017-02-06 12:45 1.8K 
[ ]funct_2__1443_63.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__1457_36.min1.thm12017-02-06 12:45 866  
[ ]funct_2__1458_21.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1460_20.min1.thm12017-02-06 12:45 786  
[ ]funct_2__1461_19.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__1463_17.min1.thm12017-02-06 12:45 453  
[ ]funct_2__1463_17.min1.thm1.tptp2017-02-06 16:47 397  
[ ]funct_2__1474_44.min1.thm12017-02-06 12:45 740  
[ ]funct_2__1475_18.min1.thm12017-02-06 12:45 911  
[ ]funct_2__1476_19.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__1477_17.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__1487_13.min1.thm12017-02-06 12:45 257  
[ ]funct_2__1489_18.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__1501_26.min1.thm12017-02-06 12:45 2.0K 
[ ]funct_2__1502_28.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__1504_26.min1.thm12017-02-06 12:45 1.8K 
[ ]funct_2__1506_37.min1.thm12017-02-06 12:45 2.0K 
[ ]funct_2__1513_14.min1.thm12017-02-06 12:45 592  
[ ]funct_2__1524_13.min1.thm12017-02-06 12:45 191  
[ ]funct_2__1526_26.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__1537_21.min1.thm12017-02-06 12:45 285  
[ ]funct_2__1538_19.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1541_19.min1.thm12017-02-06 12:45 789  
[ ]funct_2__1544_30.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__1552_29.min1.thm12017-02-06 12:45 1.4K 
[ ]funct_2__1553_25.min1.thm12017-02-06 12:45 1.9K 
[ ]funct_2__1556_26.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__1557_17.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__1558_26.min1.thm12017-02-06 12:45 855  
[ ]funct_2__1560_30.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__1561_18.min1.thm12017-02-06 12:45 2.0K 
[ ]funct_2__1566_17.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1577_25.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__1578_17.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1586_14.min1.thm12017-02-06 12:45 911  
[ ]funct_2__1601_26.min1.thm12017-02-06 12:45 417  
[ ]funct_2__1602_16.min1.thm12017-02-06 12:45 459  
[ ]funct_2__1602_16.min1.thm1.tptp2017-02-06 16:47 395  
[ ]funct_2__1607_16.min1.thm12017-02-06 12:45 702  
[ ]funct_2__1607_16.min1.thm1.tptp2017-02-06 16:47 654  
[ ]funct_2__1623_30.min1.thm12017-02-06 12:45 581  
[ ]funct_2__1623_30.min1.thm1.tptp2017-02-06 16:47 527  
[ ]funct_2__1624_30.min1.thm12017-02-06 12:45 581  
[ ]funct_2__1624_30.min1.thm1.tptp2017-02-06 16:47 527  
[ ]funct_2__1625_19.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__1630_16.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__1642_63.min1.thm12017-02-06 12:45 658  
[ ]funct_2__1643_14.min1.thm12017-02-06 12:45 399  
[ ]funct_2__1655_70.min1.thm12017-02-06 12:45 417  
[ ]funct_2__1655_70.min1.thm1.tptp2017-02-06 16:47 360  
[ ]funct_2__1659_48.min1.thm12017-02-06 12:45 586  
[ ]funct_2__1660_49.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__1661_14.min1.thm12017-02-06 12:45 736  
[ ]funct_2__1661_14.min1.thm1.tptp2017-02-06 16:47 673  
[ ]funct_2__1674_29.min1.thm12017-02-06 12:45 393  
[ ]funct_2__1674_29.min1.thm1.tptp2017-02-06 16:47 312  
[ ]funct_2__1675_21.min1.thm12017-02-06 12:45 446  
[ ]funct_2__1680_16.min1.thm12017-02-06 12:45 396  
[ ]funct_2__1691_24.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__1697_39.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1698_37.min1.thm12017-02-06 12:45 2.6K 
[ ]funct_2__1699_21.min1.thm12017-02-06 12:45 555  
[ ]funct_2__1699_21.min1.thm1.tptp2017-02-06 16:47 486  
[ ]funct_2__1701_20.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__1702_19.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__1707_24.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__1709_20.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__1710_77.min1.thm12017-02-06 12:45 1.9K 
[ ]funct_2__1714_54.min1.thm12017-02-06 12:45 1.9K 
[ ]funct_2__1715_21.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1716_19.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_2__1723_24.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__1729_39.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1730_37.min1.thm12017-02-06 12:45 2.6K 
[ ]funct_2__1731_21.min1.thm12017-02-06 12:45 555  
[ ]funct_2__1731_21.min1.thm1.tptp2017-02-06 16:47 486  
[ ]funct_2__1733_20.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__1734_19.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__1739_25.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__1741_21.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__1742_77.min1.thm12017-02-06 12:45 1.9K 
[ ]funct_2__1746_55.min1.thm12017-02-06 12:45 1.9K 
[ ]funct_2__1747_21.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1748_19.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_2__1759_18.min1.thm12017-02-06 12:45 815  
[ ]funct_2__1762_6.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__1766_18.min1.thm12017-02-06 12:45 815  
[ ]funct_2__1767_51.min1.thm12017-02-06 12:45 446  
[ ]funct_2__1767_51.min1.thm1.tptp2017-02-06 16:47 386  
[ ]funct_2__1768_19.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__1791_25.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1792_16.min1.thm12017-02-06 12:45 636  
[ ]funct_2__1797_31.min1.thm12017-02-06 12:45 413  
[ ]funct_2__1797_31.min1.thm1.tptp2017-02-06 16:47 330  
[ ]funct_2__1799_16.min1.thm12017-02-06 12:45 606  
[ ]funct_2__1808_32.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_2__1809_18.min1.thm12017-02-06 12:45 954  
[ ]funct_2__1825_24.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__1826_22.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1827_19.min1.thm12017-02-06 12:45 793  
[ ]funct_2__1833_23.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__1834_20.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1835_19.min1.thm12017-02-06 12:45 793  
[ ]funct_2__1847_44.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_2__1851_21.min1.thm12017-02-06 12:45 2.4K 
[ ]funct_2__1852_16.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_2__1863_36.min1.thm12017-02-06 12:45 562  
[ ]funct_2__1864_25.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__1865_14.min1.thm12017-02-06 12:45 936  
[ ]funct_2__1874_34.min1.thm12017-02-06 12:45 562  
[ ]funct_2__1875_23.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__1876_13.min1.thm12017-02-06 12:45 600  
[ ]funct_2__1887_28.min1.thm12017-02-06 12:45 620  
[ ]funct_2__1891_40.min1.thm12017-02-06 12:45 1.4K 
[ ]funct_2__1894_16.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1904_8.min1.thm12017-02-06 12:45 411  
[ ]funct_2__1905_20.min1.thm12017-02-06 12:45 898  
[ ]funct_2__1906_17.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__1912_16.min1.thm12017-02-06 12:45 950  
[ ]funct_2__1924_17.min1.thm12017-02-06 12:45 961  
[ ]funct_2__1925_33.min1.thm12017-02-06 12:45 1.9K 
[ ]funct_2__1926_9.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1928_24.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__1929_32.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_2__1930_16.min1.thm12017-02-06 12:45 645  
[ ]funct_2__1931_14.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__1933_13.min1.thm12017-02-06 12:45 718  
[ ]funct_2__1934_33.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__1935_17.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__1948_14.min1.thm12017-02-06 12:45 811  
[ ]funct_2__1950_19.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__1953_25.min1.thm12017-02-06 12:45 2.1K 
[ ]funct_2__1956_18.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_2__1975_16.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__1991_40.min1.thm12017-02-06 12:45 522  
[ ]funct_2__1992_53.min1.thm12017-02-06 12:45 879  
[ ]funct_2__1993_23.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__1997_38.min1.thm12017-02-06 12:45 518  
[ ]funct_2__1998_51.min1.thm12017-02-06 12:45 865  
[ ]funct_2__1999_21.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__2001_19.min1.thm12017-02-06 12:45 374  
[ ]funct_2__2001_19.min1.thm1.tptp2017-02-06 16:47 314  
[ ]funct_2__2017_34.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__2023_18.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__2025_17.min1.thm12017-02-06 12:45 2.0K 
[ ]funct_2__2045_18.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__2062_40.min1.thm12017-02-06 12:45 522  
[ ]funct_2__2063_54.min1.thm12017-02-06 12:45 879  
[ ]funct_2__2064_23.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__2068_38.min1.thm12017-02-06 12:45 518  
[ ]funct_2__2069_52.min1.thm12017-02-06 12:45 865  
[ ]funct_2__2070_21.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__2072_19.min1.thm12017-02-06 12:45 374  
[ ]funct_2__2072_19.min1.thm1.tptp2017-02-06 16:47 314  
[ ]funct_2__2088_34.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__2094_18.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__2096_17.min1.thm12017-02-06 12:45 2.0K 
[ ]funct_2__2110_28.min1.thm12017-02-06 12:45 1.8K 
[ ]funct_2__2120_36.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__2126_24.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__2127_26.min1.thm12017-02-06 12:45 133  
[ ]funct_2__2129_20.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__2131_19.min1.thm12017-02-06 12:45 675  
[ ]funct_2__2133_17.min1.thm12017-02-06 12:45 608  
[ ]funct_2__2147_19.min1.thm12017-02-06 12:45 608  
[ ]funct_2__2154_13.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__2157_36.min1.thm12017-02-06 12:45 492  
[ ]funct_2__2160_18.min1.thm12017-02-06 12:45 815  
[ ]funct_2__2162_22.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_2__2166_19.min1.thm12017-02-06 12:45 1.8K 
[ ]funct_2__2168_17.min1.thm12017-02-06 12:45 1.8K 
[ ]funct_2__2184_20.min1.thm12017-02-06 12:45 1.8K 
[ ]funct_2__2185_34.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__2191_22.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__2192_19.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_2__2207_13.min1.thm12017-02-06 12:45 667  
[ ]funct_2__2208_13.min1.thm12017-02-06 12:45 559  
[ ]funct_2__2209_32.min1.thm12017-02-06 12:45 482  
[ ]funct_2__2210_37.min1.thm12017-02-06 12:45 618  
[ ]funct_2__2210_37.min1.thm1.tptp2017-02-06 16:47 546  
[ ]funct_2__2211_37.min1.thm12017-02-06 12:45 618  
[ ]funct_2__2211_37.min1.thm1.tptp2017-02-06 16:47 546  
[ ]funct_2__2212_15.min1.thm12017-02-06 12:45 966  
[ ]funct_2__2214_14.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__2217_17.min1.thm12017-02-06 12:45 2.5K 
[ ]funct_2__2235_16.min1.thm12017-02-06 12:45 815  
[ ]funct_2__2237_21.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_2__2239_21.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__2240_18.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__2257_17.min1.thm12017-02-06 12:45 3.2K 
[ ]funct_2__2266_19.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__2267_28.min1.thm12017-02-06 12:45 1.4K 
[ ]funct_2__2268_18.min1.thm12017-02-06 12:45 1.8K 
[ ]funct_2__2276_24.min1.thm12017-02-06 12:45 1.8K 
[ ]funct_2__2279_27.min1.thm12017-02-06 12:45 2.1K 
[ ]funct_2__2294_17.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__2296_35.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_2__2305_55.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__2306_23.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__2309_21.min1.thm12017-02-06 12:45 1.9K 
[ ]funct_2__2311_24.min1.thm12017-02-06 12:45 417  
[ ]funct_2__2311_24.min1.thm1.tptp2017-02-06 16:47 361  
[ ]funct_2__2318_19.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__2321_20.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__2322_17.min1.thm12017-02-06 12:45 516  
[ ]funct_2__2323_14.min1.thm12017-02-06 12:45 516  
[ ]funct_2__2333_14.min1.thm12017-02-06 12:45 811  
[ ]funct_2__2334_17.min1.thm12017-02-06 12:45 1.8K 
[ ]funct_2__2347_14.min1.thm12017-02-06 12:45 759  
[ ]funct_2__2348_33.min1.thm12017-02-06 12:45 322  
[ ]funct_2__2348_33.min1.thm1.tptp2017-02-06 16:47 244  
[ ]funct_2__2350_16.min1.thm12017-02-06 12:45 344  
[ ]funct_2__2350_16.min1.thm1.tptp2017-02-06 16:47 262  
[ ]funct_2__2363_42.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_2__2364_17.min1.thm12017-02-06 12:45 482  
[ ]funct_2__2364_17.min1.thm1.tptp2017-02-06 16:47 410  
[ ]funct_2__2377_19.min1.thm12017-02-06 12:45 857  
[ ]funct_2__2378_21.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__2379_17.min1.thm12017-02-06 12:45 2.5K 
[ ]funct_2__2386_19.min1.thm12017-02-06 12:45 857  
[ ]funct_2__2387_21.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_2__2388_17.min1.thm12017-02-06 12:45 2.5K 
[ ]funct_2__2397_25.min1.thm12017-02-06 12:45 1.4K 
[ ]funct_2__2398_19.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__2410_20.min1.thm12017-02-06 12:45 1.4K 
[ ]funct_2__2412_29.min1.thm12017-02-06 12:45 1.8K 
[ ]funct_2__2425_27.min1.thm12017-02-06 12:45 2.2K 
[ ]funct_2__2426_27.min1.thm12017-02-06 12:45 2.2K 
[ ]funct_2__2451_21.min1.thm12017-02-06 12:45 834  
[ ]funct_2__2453_21.min1.thm12017-02-06 12:45 1.4K 
[ ]funct_2__2454_28.min1.thm12017-02-06 12:45 2.4K 
[ ]funct_2__2455_26.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__2456_29.min1.thm12017-02-06 12:45 2.2K 
[ ]funct_2__2460_38.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__2464_21.min1.thm12017-02-06 12:45 423  
[ ]funct_2__2464_21.min1.thm1.tptp2017-02-06 16:47 361  
[ ]funct_2__2466_21.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__2467_28.min1.thm12017-02-06 12:45 2.1K 
[ ]funct_2__2468_26.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_2__2469_31.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__2470_21.min1.thm12017-02-06 12:45 2.0K 
[ ]funct_2__2476_28.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__2477_24.min1.thm12017-02-06 12:45 187  
[ ]funct_2__2478_24.min1.thm12017-02-06 12:45 187  
[ ]funct_2__2480_13.min1.thm12017-02-06 12:45 373  
[ ]funct_2__2482_38.min1.thm12017-02-06 12:45 3.5K 
[ ]funct_2__2485_38.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__2488_26.min1.thm12017-02-06 12:45 2.1K 
[ ]funct_2__2491_25.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__2504_65.min1.thm12017-02-06 12:45 580  
[ ]funct_2__2504_65.min1.thm1.tptp2017-02-06 16:47 536  
[ ]funct_2__2505_16.min1.thm12017-02-06 12:45 373  
[ ]funct_2__2518_18.min1.thm12017-02-06 12:45 972  
[ ]funct_2__2528_57.min1.thm12017-02-06 12:45 867  
[ ]funct_2__2536_57.min1.thm12017-02-06 12:45 785  
[ ]funct_2__2537_17.min1.thm12017-02-06 12:45 695  
[ ]funct_2__2543_62.min1.thm12017-02-06 12:45 948  
[ ]funct_2__2544_17.min1.thm12017-02-06 12:45 828  
[ ]funct_2__2550_14.min1.thm12017-02-06 12:45 381  
[ ]funct_2__2550_14.min1.thm1.tptp2017-02-06 16:47 301  
[ ]funct_2__2553_14.min1.thm12017-02-06 12:45 903  
[ ]funct_2__2559_11.min1.thm12017-02-06 12:45 399  
[ ]funct_2__2575_17.min1.thm12017-02-06 12:45 902  
[ ]funct_2__2576_19.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_2__2586_14.min1.thm12017-02-06 12:45 811  
[ ]funct_2__2587_21.min1.thm12017-02-06 12:45 680  
[ ]funct_2__2588_17.min1.thm12017-02-06 12:45 1.4K 
[ ]funct_2__2599_19.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_2__2600_19.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_2__2621_17.min1.thm12017-02-06 12:45 343  
[ ]funct_2__2621_17.min1.thm1.tptp2017-02-06 16:47 278  
[ ]funct_2__2622_22.min1.thm12017-02-06 12:45 407  
[ ]funct_2__2622_22.min1.thm1.tptp2017-02-06 16:47 325  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80