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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]funct_1__43_64.min1.thm12017-02-06 12:45 486  
[ ]funct_1__52_15.min1.thm12017-02-06 12:45 273  
[ ]funct_1__52_15.min1.thm1.tptp2017-02-06 16:47 192  
[ ]funct_1__66_22.min1.thm12017-02-06 12:45 447  
[ ]funct_1__66_22.min1.thm1.tptp2017-02-06 16:47 377  
[ ]funct_1__72_15.min1.thm12017-02-06 12:45 784  
[ ]funct_1__73_21.min1.thm12017-02-06 12:45 861  
[ ]funct_1__75_19.min1.thm12017-02-06 12:45 736  
[ ]funct_1__96_52.min1.thm12017-02-06 12:45 626  
[ ]funct_1__97_18.min1.thm12017-02-06 12:45 493  
[ ]funct_1__97_18.min1.thm1.tptp2017-02-06 16:47 436  
[ ]funct_1__103_15.min1.thm12017-02-06 12:45 705  
[ ]funct_1__104_23.min1.thm12017-02-06 12:45 530  
[ ]funct_1__108_15.min1.thm12017-02-06 12:45 705  
[ ]funct_1__109_23.min1.thm12017-02-06 12:45 531  
[ ]funct_1__110_20.min1.thm12017-02-06 12:45 656  
[ ]funct_1__112_38.min1.thm12017-02-06 12:45 854  
[ ]funct_1__121_16.min1.thm12017-02-06 12:45 765  
[ ]funct_1__122_25.min1.thm12017-02-06 12:45 680  
[ ]funct_1__123_21.min1.thm12017-02-06 12:45 537  
[ ]funct_1__124_13.min1.thm12017-02-06 12:45 486  
[ ]funct_1__125_19.min1.thm12017-02-06 12:45 741  
[ ]funct_1__130_11.min1.thm12017-02-06 12:45 451  
[ ]funct_1__131_28.min1.thm12017-02-06 12:45 611  
[ ]funct_1__132_17.min1.thm12017-02-06 12:45 758  
[ ]funct_1__140_14.min1.thm12017-02-06 12:45 642  
[ ]funct_1__141_15.min1.thm12017-02-06 12:45 733  
[ ]funct_1__142_13.min1.thm12017-02-06 12:45 129  
[ ]funct_1__152_23.min1.thm12017-02-06 12:45 499  
[ ]funct_1__153_19.min1.thm12017-02-06 12:45 793  
[ ]funct_1__155_16.min1.thm12017-02-06 12:45 817  
[ ]funct_1__170_17.min1.thm12017-02-06 12:45 499  
[ ]funct_1__171_19.min1.thm12017-02-06 12:45 793  
[ ]funct_1__172_19.min1.thm12017-02-06 12:45 488  
[ ]funct_1__173_19.min1.thm12017-02-06 12:45 965  
[ ]funct_1__178_17.min1.thm12017-02-06 12:45 495  
[ ]funct_1__179_17.min1.thm12017-02-06 12:45 787  
[ ]funct_1__180_17.min1.thm12017-02-06 12:45 567  
[ ]funct_1__181_17.min1.thm12017-02-06 12:45 959  
[ ]funct_1__199_21.min1.thm12017-02-06 12:45 689  
[ ]funct_1__201_36.min1.thm12017-02-06 12:45 920  
[ ]funct_1__205_19.min1.thm12017-02-06 12:45 900  
[ ]funct_1__206_21.min1.thm12017-02-06 12:45 610  
[ ]funct_1__214_29.min1.thm12017-02-06 12:45 480  
[ ]funct_1__214_29.min1.thm1.tptp2017-02-06 16:47 417  
[ ]funct_1__215_19.min1.thm12017-02-06 12:45 900  
[ ]funct_1__216_25.min1.thm12017-02-06 12:45 534  
[ ]funct_1__221_17.min1.thm12017-02-06 12:45 601  
[ ]funct_1__222_27.min1.thm12017-02-06 12:45 807  
[ ]funct_1__223_19.min1.thm12017-02-06 12:45 498  
[ ]funct_1__223_19.min1.thm1.tptp2017-02-06 16:47 428  
[ ]funct_1__228_36.min1.thm12017-02-06 12:45 429  
[ ]funct_1__242_16.min1.thm12017-02-06 12:45 592  
[ ]funct_1__243_14.min1.thm12017-02-06 12:45 433  
[ ]funct_1__244_21.min1.thm12017-02-06 12:45 469  
[ ]funct_1__248_14.min1.thm12017-02-06 12:45 391  
[ ]funct_1__248_14.min1.thm1.tptp2017-02-06 16:47 326  
[ ]funct_1__249_17.min1.thm12017-02-06 12:45 357  
[ ]funct_1__249_17.min1.thm1.tptp2017-02-06 16:47 292  
[ ]funct_1__250_19.min1.thm12017-02-06 12:45 638  
[ ]funct_1__252_17.min1.thm12017-02-06 12:45 448  
[ ]funct_1__252_17.min1.thm1.tptp2017-02-06 16:47 388  
[ ]funct_1__263_53.min1.thm12017-02-06 12:45 388  
[ ]funct_1__272_32.min1.thm12017-02-06 12:45 607  
[ ]funct_1__273_21.min1.thm12017-02-06 12:45 551  
[ ]funct_1__278_13.min1.thm12017-02-06 12:45 350  
[ ]funct_1__278_13.min1.thm1.tptp2017-02-06 16:47 273  
[ ]funct_1__279_17.min1.thm12017-02-06 12:45 646  
[ ]funct_1__280_19.min1.thm12017-02-06 12:45 526  
[ ]funct_1__283_18.min1.thm12017-02-06 12:45 376  
[ ]funct_1__283_18.min1.thm1.tptp2017-02-06 16:47 316  
[ ]funct_1__288_13.min1.thm12017-02-06 12:45 342  
[ ]funct_1__288_13.min1.thm1.tptp2017-02-06 16:47 265  
[ ]funct_1__289_15.min1.thm12017-02-06 12:45 630  
[ ]funct_1__290_17.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__298_36.min1.thm12017-02-06 12:45 193  
[ ]funct_1__299_61.min1.thm12017-02-06 12:45 225  
[ ]funct_1__315_19.min1.thm12017-02-06 12:45 240  
[ ]funct_1__322_16.min1.thm12017-02-06 12:45 611  
[ ]funct_1__323_26.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__327_43.min1.thm12017-02-06 12:45 592  
[ ]funct_1__328_21.min1.thm12017-02-06 12:45 481  
[ ]funct_1__330_19.min1.thm12017-02-06 12:45 469  
[ ]funct_1__330_19.min1.thm1.tptp2017-02-06 16:47 387  
[ ]funct_1__332_17.min1.thm12017-02-06 12:45 373  
[ ]funct_1__332_17.min1.thm1.tptp2017-02-06 16:47 317  
[ ]funct_1__348_15.min1.thm12017-02-06 12:45 601  
[ ]funct_1__353_12.min1.thm12017-02-06 12:45 590  
[ ]funct_1__368_24.min1.thm12017-02-06 12:45 574  
[ ]funct_1__370_14.min1.thm12017-02-06 12:45 481  
[ ]funct_1__371_19.min1.thm12017-02-06 12:45 662  
[ ]funct_1__372_19.min1.thm12017-02-06 12:45 603  
[ ]funct_1__374_17.min1.thm12017-02-06 12:45 793  
[ ]funct_1__390_13.min1.thm12017-02-06 12:45 574  
[ ]funct_1__392_21.min1.thm12017-02-06 12:45 319  
[ ]funct_1__392_21.min1.thm1.tptp2017-02-06 16:47 237  
[ ]funct_1__396_42.min1.thm12017-02-06 12:45 608  
[ ]funct_1__397_21.min1.thm12017-02-06 12:45 684  
[ ]funct_1__399_23.min1.thm12017-02-06 12:45 401  
[ ]funct_1__399_23.min1.thm1.tptp2017-02-06 16:47 337  
[ ]funct_1__405_21.min1.thm12017-02-06 12:45 565  
[ ]funct_1__406_22.min1.thm12017-02-06 12:45 578  
[ ]funct_1__418_38.min1.thm12017-02-06 12:45 448  
[ ]funct_1__418_38.min1.thm1.tptp2017-02-06 16:47 383  
[ ]funct_1__419_17.min1.thm12017-02-06 12:45 580  
[ ]funct_1__436_19.min1.thm12017-02-06 12:45 854  
[ ]funct_1__440_19.min1.thm12017-02-06 12:45 854  
[ ]funct_1__441_14.min1.thm12017-02-06 12:45 719  
[ ]funct_1__442_19.min1.thm12017-02-06 12:45 794  
[ ]funct_1__460_19.min1.thm12017-02-06 12:45 516  
[ ]funct_1__462_21.min1.thm12017-02-06 12:45 498  
[ ]funct_1__462_21.min1.thm1.tptp2017-02-06 16:47 421  
[ ]funct_1__464_19.min1.thm12017-02-06 12:45 471  
[ ]funct_1__464_19.min1.thm1.tptp2017-02-06 16:47 394  
[ ]funct_1__465_26.min1.thm12017-02-06 12:45 917  
[ ]funct_1__466_16.min1.thm12017-02-06 12:45 825  
[ ]funct_1__467_21.min1.thm12017-02-06 12:45 505  
[ ]funct_1__467_21.min1.thm1.tptp2017-02-06 16:47 428  
[ ]funct_1__468_26.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__473_17.min1.thm12017-02-06 12:45 512  
[ ]funct_1__475_14.min1.thm12017-02-06 12:45 817  
[ ]funct_1__476_18.min1.thm12017-02-06 12:45 512  
[ ]funct_1__478_18.min1.thm12017-02-06 12:45 652  
[ ]funct_1__479_14.min1.thm12017-02-06 12:45 817  
[ ]funct_1__480_19.min1.thm12017-02-06 12:45 636  
[ ]funct_1__481_23.min1.thm12017-02-06 12:45 906  
[ ]funct_1__493_17.min1.thm12017-02-06 12:45 641  
[ ]funct_1__496_17.min1.thm12017-02-06 12:45 838  
[ ]funct_1__497_22.min1.thm12017-02-06 12:45 508  
[ ]funct_1__498_19.min1.thm12017-02-06 12:45 811  
[ ]funct_1__499_25.min1.thm12017-02-06 12:45 630  
[ ]funct_1__504_17.min1.thm12017-02-06 12:45 583  
[ ]funct_1__507_19.min1.thm12017-02-06 12:45 637  
[ ]funct_1__508_12.min1.thm12017-02-06 12:45 801  
[ ]funct_1__509_20.min1.thm12017-02-06 12:45 907  
[ ]funct_1__510_17.min1.thm12017-02-06 12:45 557  
[ ]funct_1__520_17.min1.thm12017-02-06 12:45 637  
[ ]funct_1__523_17.min1.thm12017-02-06 12:45 830  
[ ]funct_1__524_15.min1.thm12017-02-06 12:45 502  
[ ]funct_1__526_14.min1.thm12017-02-06 12:45 801  
[ ]funct_1__527_22.min1.thm12017-02-06 12:45 618  
[ ]funct_1__528_21.min1.thm12017-02-06 12:45 945  
[ ]funct_1__529_17.min1.thm12017-02-06 12:45 1.4K 
[ ]funct_1__537_11.min1.thm12017-02-06 12:45 294  
[ ]funct_1__540_25.min1.thm12017-02-06 12:45 835  
[ ]funct_1__541_19.min1.thm12017-02-06 12:45 794  
[ ]funct_1__545_29.min1.thm12017-02-06 12:45 755  
[ ]funct_1__546_25.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__547_19.min1.thm12017-02-06 12:45 668  
[ ]funct_1__557_18.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__558_37.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__559_17.min1.thm12017-02-06 12:45 822  
[ ]funct_1__569_38.min1.thm12017-02-06 12:45 580  
[ ]funct_1__570_17.min1.thm12017-02-06 12:45 843  
[ ]funct_1__592_26.min1.thm12017-02-06 12:45 283  
[ ]funct_1__593_18.min1.thm12017-02-06 12:45 239  
[ ]funct_1__595_59.min1.thm12017-02-06 12:45 334  
[ ]funct_1__599_23.min1.thm12017-02-06 12:45 734  
[ ]funct_1__603_24.min1.thm12017-02-06 12:45 736  
[ ]funct_1__608_26.min1.thm12017-02-06 12:45 582  
[ ]funct_1__610_36.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_1__611_26.min1.thm12017-02-06 12:45 909  
[ ]funct_1__612_21.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_1__616_15.min1.thm12017-02-06 12:45 377  
[ ]funct_1__616_15.min1.thm1.tptp2017-02-06 16:47 300  
[ ]funct_1__619_17.min1.thm12017-02-06 12:45 428  
[ ]funct_1__631_13.min1.thm12017-02-06 12:45 602  
[ ]funct_1__632_19.min1.thm12017-02-06 12:45 676  
[ ]funct_1__643_16.min1.thm12017-02-06 12:45 309  
[ ]funct_1__643_16.min1.thm1.tptp2017-02-06 16:47 230  
[ ]funct_1__647_22.min1.thm12017-02-06 12:45 690  
[ ]funct_1__648_20.min1.thm12017-02-06 12:45 881  
[ ]funct_1__659_15.min1.thm12017-02-06 12:45 796  
[ ]funct_1__660_16.min1.thm12017-02-06 12:45 739  
[ ]funct_1__661_20.min1.thm12017-02-06 12:45 439  
[ ]funct_1__665_19.min1.thm12017-02-06 12:45 365  
[ ]funct_1__665_19.min1.thm1.tptp2017-02-06 16:47 288  
[ ]funct_1__666_37.min1.thm12017-02-06 12:45 837  
[ ]funct_1__668_17.min1.thm12017-02-06 12:45 805  
[ ]funct_1__672_32.min1.thm12017-02-06 12:45 441  
[ ]funct_1__672_32.min1.thm1.tptp2017-02-06 16:47 407  
[ ]funct_1__685_47.min1.thm12017-02-06 12:45 917  
[ ]funct_1__686_22.min1.thm12017-02-06 12:45 755  
[ ]funct_1__690_21.min1.thm12017-02-06 12:45 247  
[ ]funct_1__693_31.min1.thm12017-02-06 12:45 649  
[ ]funct_1__694_21.min1.thm12017-02-06 12:45 922  
[ ]funct_1__696_19.min1.thm12017-02-06 12:45 770  
[ ]funct_1__698_17.min1.thm12017-02-06 12:45 623  
[ ]funct_1__705_16.min1.thm12017-02-06 12:45 506  
[ ]funct_1__706_38.min1.thm12017-02-06 12:45 655  
[ ]funct_1__707_17.min1.thm12017-02-06 12:45 878  
[ ]funct_1__713_17.min1.thm12017-02-06 12:45 243  
[ ]funct_1__714_17.min1.thm12017-02-06 12:45 834  
[ ]funct_1__720_44.min1.thm12017-02-06 12:45 672  
[ ]funct_1__721_13.min1.thm12017-02-06 12:45 301  
[ ]funct_1__727_13.min1.thm12017-02-06 12:45 408  
[ ]funct_1__727_13.min1.thm1.tptp2017-02-06 16:47 346  
[ ]funct_1__728_13.min1.thm12017-02-06 12:45 501  
[ ]funct_1__729_49.min1.thm12017-02-06 12:45 897  
[ ]funct_1__730_20.min1.thm12017-02-06 12:45 611  
[ ]funct_1__731_13.min1.thm12017-02-06 12:45 533  
[ ]funct_1__732_26.min1.thm12017-02-06 12:45 589  
[ ]funct_1__734_25.min1.thm12017-02-06 12:45 299  
[ ]funct_1__735_17.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__748_40.min1.thm12017-02-06 12:45 676  
[ ]funct_1__749_19.min1.thm12017-02-06 12:45 803  
[ ]funct_1__751_17.min1.thm12017-02-06 12:45 550  
[ ]funct_1__773_49.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__774_32.min1.thm12017-02-06 12:45 865  
[ ]funct_1__777_36.min1.thm12017-02-06 12:45 919  
[ ]funct_1__778_23.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__779_20.min1.thm12017-02-06 12:45 787  
[ ]funct_1__781_17.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__795_38.min1.thm12017-02-06 12:45 893  
[ ]funct_1__796_48.min1.thm12017-02-06 12:45 956  
[ ]funct_1__797_20.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_1__799_17.min1.thm12017-02-06 12:45 650  
[ ]funct_1__808_23.min1.thm12017-02-06 12:45 715  
[ ]funct_1__809_25.min1.thm12017-02-06 12:45 779  
[ ]funct_1__814_29.min1.thm12017-02-06 12:45 655  
[ ]funct_1__817_16.min1.thm12017-02-06 12:45 669  
[ ]funct_1__818_26.min1.thm12017-02-06 12:45 746  
[ ]funct_1__821_17.min1.thm12017-02-06 12:45 669  
[ ]funct_1__822_24.min1.thm12017-02-06 12:45 746  
[ ]funct_1__844_36.min1.thm12017-02-06 12:45 877  
[ ]funct_1__845_46.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__846_21.min1.thm12017-02-06 12:45 1.8K 
[ ]funct_1__848_19.min1.thm12017-02-06 12:45 825  
[ ]funct_1__863_18.min1.thm12017-02-06 12:45 263  
[ ]funct_1__865_17.min1.thm12017-02-06 12:45 391  
[ ]funct_1__865_17.min1.thm1.tptp2017-02-06 16:47 314  
[ ]funct_1__866_24.min1.thm12017-02-06 12:45 613  
[ ]funct_1__868_22.min1.thm12017-02-06 12:45 469  
[ ]funct_1__870_24.min1.thm12017-02-06 12:45 676  
[ ]funct_1__875_17.min1.thm12017-02-06 12:45 393  
[ ]funct_1__875_17.min1.thm1.tptp2017-02-06 16:47 316  
[ ]funct_1__876_24.min1.thm12017-02-06 12:45 616  
[ ]funct_1__878_22.min1.thm12017-02-06 12:45 470  
[ ]funct_1__880_24.min1.thm12017-02-06 12:45 676  
[ ]funct_1__886_17.min1.thm12017-02-06 12:45 652  
[ ]funct_1__887_46.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_1__888_21.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_1__892_17.min1.thm12017-02-06 12:45 650  
[ ]funct_1__908_40.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__909_19.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_1__911_17.min1.thm12017-02-06 12:45 599  
[ ]funct_1__923_25.min1.thm12017-02-06 12:45 710  
[ ]funct_1__926_20.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__927_37.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__929_14.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__930_15.min1.thm12017-02-06 12:45 715  
[ ]funct_1__931_17.min1.thm12017-02-06 12:45 630  
[ ]funct_1__943_12.min1.thm12017-02-06 12:45 343  
[ ]funct_1__943_12.min1.thm1.tptp2017-02-06 16:47 260  
[ ]funct_1__945_21.min1.thm12017-02-06 12:45 541  
[ ]funct_1__946_12.min1.thm12017-02-06 12:45 343  
[ ]funct_1__946_12.min1.thm1.tptp2017-02-06 16:47 260  
[ ]funct_1__947_17.min1.thm12017-02-06 12:45 739  
[ ]funct_1__958_21.min1.thm12017-02-06 12:45 385  
[ ]funct_1__958_21.min1.thm1.tptp2017-02-06 16:47 306  
[ ]funct_1__959_24.min1.thm12017-02-06 12:45 692  
[ ]funct_1__960_17.min1.thm12017-02-06 12:45 841  
[ ]funct_1__971_18.min1.thm12017-02-06 12:45 623  
[ ]funct_1__980_15.min1.thm12017-02-06 12:45 480  
[ ]funct_1__993_18.min1.thm12017-02-06 12:45 887  
[ ]funct_1__995_18.min1.thm12017-02-06 12:45 522  
[ ]funct_1__997_15.min1.thm12017-02-06 12:45 862  
[ ]funct_1__998_18.min1.thm12017-02-06 12:45 887  
[ ]funct_1__1000_18.min1.thm12017-02-06 12:45 522  
[ ]funct_1__1001_20.min1.thm12017-02-06 12:45 862  
[ ]funct_1__1002_19.min1.thm12017-02-06 12:45 883  
[ ]funct_1__1013_14.min1.thm12017-02-06 12:45 579  
[ ]funct_1__1028_13.min1.thm12017-02-06 12:45 509  
[ ]funct_1__1029_26.min1.thm12017-02-06 12:45 493  
[ ]funct_1__1036_19.min1.thm12017-02-06 12:45 587  
[ ]funct_1__1037_24.min1.thm12017-02-06 12:45 910  
[ ]funct_1__1039_19.min1.thm12017-02-06 12:45 923  
[ ]funct_1__1040_25.min1.thm12017-02-06 12:45 516  
[ ]funct_1__1041_21.min1.thm12017-02-06 12:45 823  
[ ]funct_1__1045_17.min1.thm12017-02-06 12:45 872  
[ ]funct_1__1046_23.min1.thm12017-02-06 12:45 514  
[ ]funct_1__1048_17.min1.thm12017-02-06 12:45 583  
[ ]funct_1__1049_17.min1.thm12017-02-06 12:45 919  
[ ]funct_1__1050_19.min1.thm12017-02-06 12:45 818  
[ ]funct_1__1061_18.min1.thm12017-02-06 12:45 506  
[ ]funct_1__1062_19.min1.thm12017-02-06 12:45 807  
[ ]funct_1__1063_32.min1.thm12017-02-06 12:45 867  
[ ]funct_1__1064_22.min1.thm12017-02-06 12:45 862  
[ ]funct_1__1065_23.min1.thm12017-02-06 12:45 838  
[ ]funct_1__1066_19.min1.thm12017-02-06 12:45 768  
[ ]funct_1__1069_21.min1.thm12017-02-06 12:45 764  
[ ]funct_1__1071_18.min1.thm12017-02-06 12:45 834  
[ ]funct_1__1073_18.min1.thm12017-02-06 12:45 502  
[ ]funct_1__1074_17.min1.thm12017-02-06 12:45 802  
[ ]funct_1__1075_30.min1.thm12017-02-06 12:45 775  
[ ]funct_1__1076_17.min1.thm12017-02-06 12:45 950  
[ ]funct_1__1083_17.min1.thm12017-02-06 12:45 443  
[ ]funct_1__1084_17.min1.thm12017-02-06 12:45 584  
[ ]funct_1__1094_25.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1095_17.min1.thm12017-02-06 12:45 867  
[ ]funct_1__1107_20.min1.thm12017-02-06 12:45 521  
[ ]funct_1__1108_17.min1.thm12017-02-06 12:45 969  
[ ]funct_1__1117_22.min1.thm12017-02-06 12:45 521  
[ ]funct_1__1118_29.min1.thm12017-02-06 12:45 792  
[ ]funct_1__1119_17.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__1128_22.min1.thm12017-02-06 12:45 521  
[ ]funct_1__1129_29.min1.thm12017-02-06 12:45 788  
[ ]funct_1__1130_17.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__1147_19.min1.thm12017-02-06 12:45 662  
[ ]funct_1__1148_23.min1.thm12017-02-06 12:45 622  
[ ]funct_1__1149_19.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__1151_20.min1.thm12017-02-06 12:45 889  
[ ]funct_1__1152_17.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1163_22.min1.thm12017-02-06 12:45 668  
[ ]funct_1__1164_19.min1.thm12017-02-06 12:45 688  
[ ]funct_1__1169_22.min1.thm12017-02-06 12:45 671  
[ ]funct_1__1170_19.min1.thm12017-02-06 12:45 690  
[ ]funct_1__1172_22.min1.thm12017-02-06 12:45 576  
[ ]funct_1__1173_26.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__1174_22.min1.thm12017-02-06 12:45 579  
[ ]funct_1__1175_17.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__1187_16.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1189_23.min1.thm12017-02-06 12:45 680  
[ ]funct_1__1190_16.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1191_17.min1.thm12017-02-06 12:45 858  
[ ]funct_1__1197_14.min1.thm12017-02-06 12:45 398  
[ ]funct_1__1197_14.min1.thm1.tptp2017-02-06 16:47 325  
[ ]funct_1__1200_14.min1.thm12017-02-06 12:45 594  
[ ]funct_1__1205_50.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1207_17.min1.thm12017-02-06 12:45 922  
[ ]funct_1__1216_38.min1.thm12017-02-06 12:45 825  
[ ]funct_1__1217_17.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__1226_38.min1.thm12017-02-06 12:45 824  
[ ]funct_1__1227_17.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__1235_25.min1.thm12017-02-06 12:45 521  
[ ]funct_1__1237_24.min1.thm12017-02-06 12:45 686  
[ ]funct_1__1238_20.min1.thm12017-02-06 12:45 521  
[ ]funct_1__1239_17.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__1255_20.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1256_21.min1.thm12017-02-06 12:45 757  
[ ]funct_1__1257_20.min1.thm12017-02-06 12:45 876  
[ ]funct_1__1258_24.min1.thm12017-02-06 12:45 706  
[ ]funct_1__1260_21.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1261_19.min1.thm12017-02-06 12:45 730  
[ ]funct_1__1262_38.min1.thm12017-02-06 12:45 908  
[ ]funct_1__1263_30.min1.thm12017-02-06 12:45 695  
[ ]funct_1__1264_17.min1.thm12017-02-06 12:45 650  
[ ]funct_1__1265_29.min1.thm12017-02-06 12:45 914  
[ ]funct_1__1266_31.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1267_21.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1271_24.min1.thm12017-02-06 12:45 886  
[ ]funct_1__1272_22.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1275_15.min1.thm12017-02-06 12:45 588  
[ ]funct_1__1276_24.min1.thm12017-02-06 12:45 925  
[ ]funct_1__1277_31.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__1278_29.min1.thm12017-02-06 12:45 930  
[ ]funct_1__1279_33.min1.thm12017-02-06 12:45 749  
[ ]funct_1__1280_22.min1.thm12017-02-06 12:45 673  
[ ]funct_1__1282_28.min1.thm12017-02-06 12:45 590  
[ ]funct_1__1283_34.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__1284_19.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1287_29.min1.thm12017-02-06 12:45 554  
[ ]funct_1__1287_29.min1.thm1.tptp2017-02-06 16:47 494  
[ ]funct_1__1290_57.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__1293_31.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1294_19.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_1__1297_37.min1.thm12017-02-06 12:45 660  
[ ]funct_1__1297_37.min1.thm1.tptp2017-02-06 16:47 600  
[ ]funct_1__1303_20.min1.thm12017-02-06 12:45 749  
[ ]funct_1__1304_26.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1306_29.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__1307_18.min1.thm12017-02-06 12:45 722  
[ ]funct_1__1308_49.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_1__1309_29.min1.thm12017-02-06 12:45 954  
[ ]funct_1__1310_33.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__1311_31.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1312_35.min1.thm12017-02-06 12:45 767  
[ ]funct_1__1313_22.min1.thm12017-02-06 12:45 718  
[ ]funct_1__1314_13.min1.thm12017-02-06 12:45 690  
[ ]funct_1__1316_37.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_1__1317_17.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_1__1323_14.min1.thm12017-02-06 12:45 243  
[ ]funct_1__1325_28.min1.thm12017-02-06 12:45 682  
[ ]funct_1__1326_43.min1.thm12017-02-06 12:45 702  
[ ]funct_1__1327_17.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1337_37.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1338_19.min1.thm12017-02-06 12:45 685  
[ ]funct_1__1354_19.min1.thm12017-02-06 12:45 516  
[ ]funct_1__1355_21.min1.thm12017-02-06 12:45 606  
[ ]funct_1__1356_19.min1.thm12017-02-06 12:45 526  
[ ]funct_1__1357_16.min1.thm12017-02-06 12:45 825  
[ ]funct_1__1358_17.min1.thm12017-02-06 12:45 451  
[ ]funct_1__1358_17.min1.thm1.tptp2017-02-06 16:47 374  
[ ]funct_1__1359_25.min1.thm12017-02-06 12:45 910  
[ ]funct_1__1366_17.min1.thm12017-02-06 12:45 512  
[ ]funct_1__1368_17.min1.thm12017-02-06 12:45 692  
[ ]funct_1__1369_14.min1.thm12017-02-06 12:45 819  
[ ]funct_1__1370_15.min1.thm12017-02-06 12:45 447  
[ ]funct_1__1370_15.min1.thm1.tptp2017-02-06 16:47 370  
[ ]funct_1__1371_23.min1.thm12017-02-06 12:45 904  
[ ]funct_1__1382_23.min1.thm12017-02-06 12:45 539  
[ ]funct_1__1384_17.min1.thm12017-02-06 12:45 568  
[ ]funct_1__1385_26.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_1__1386_20.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_1__1393_23.min1.thm12017-02-06 12:45 530  
[ ]funct_1__1394_17.min1.thm12017-02-06 12:45 618  
[ ]funct_1__1402_11.min1.thm12017-02-06 12:45 240  
[ ]funct_1__1405_25.min1.thm12017-02-06 12:45 624  
[ ]funct_1__1406_19.min1.thm12017-02-06 12:45 626  
[ ]funct_1__1410_29.min1.thm12017-02-06 12:45 557  
[ ]funct_1__1411_25.min1.thm12017-02-06 12:45 897  
[ ]funct_1__1412_15.min1.thm12017-02-06 12:45 614  
[ ]funct_1__1422_20.min1.thm12017-02-06 12:45 592  
[ ]funct_1__1424_20.min1.thm12017-02-06 12:45 530  
[ ]funct_1__1425_18.min1.thm12017-02-06 12:45 550  
[ ]funct_1__1426_17.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1430_49.min1.thm12017-02-06 12:45 568  
[ ]funct_1__1430_49.min1.thm1.tptp2017-02-06 16:47 547  
[ ]funct_1__1441_21.min1.thm12017-02-06 12:45 623  
[ ]funct_1__1443_18.min1.thm12017-02-06 12:45 426  
[ ]funct_1__1443_18.min1.thm1.tptp2017-02-06 16:47 364  
[ ]funct_1__1444_21.min1.thm12017-02-06 12:45 623  
[ ]funct_1__1446_18.min1.thm12017-02-06 12:45 426  
[ ]funct_1__1446_18.min1.thm1.tptp2017-02-06 16:47 364  
[ ]funct_1__1447_38.min1.thm12017-02-06 12:45 844  
[ ]funct_1__1448_17.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__1458_37.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1459_19.min1.thm12017-02-06 12:45 685  
[ ]funct_1__1475_23.min1.thm12017-02-06 12:45 850  
[ ]funct_1__1477_23.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1478_27.min1.thm12017-02-06 12:45 640  
[ ]funct_1__1479_25.min1.thm12017-02-06 12:45 893  
[ ]funct_1__1480_25.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__1484_21.min1.thm12017-02-06 12:45 846  
[ ]funct_1__1486_26.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__1487_25.min1.thm12017-02-06 12:45 636  
[ ]funct_1__1491_24.min1.thm12017-02-06 12:45 836  
[ ]funct_1__1493_19.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1494_22.min1.thm12017-02-06 12:45 626  
[ ]funct_1__1495_22.min1.thm12017-02-06 12:45 871  
[ ]funct_1__1506_19.min1.thm12017-02-06 12:45 516  
[ ]funct_1__1508_16.min1.thm12017-02-06 12:45 825  
[ ]funct_1__1509_17.min1.thm12017-02-06 12:45 451  
[ ]funct_1__1509_17.min1.thm1.tptp2017-02-06 16:47 374  
[ ]funct_1__1510_21.min1.thm12017-02-06 12:45 542  
[ ]funct_1__1511_19.min1.thm12017-02-06 12:45 458  
[ ]funct_1__1511_19.min1.thm1.tptp2017-02-06 16:47 381  
[ ]funct_1__1512_25.min1.thm12017-02-06 12:45 910  
[ ]funct_1__1519_15.min1.thm12017-02-06 12:45 735  
[ ]funct_1__1520_17.min1.thm12017-02-06 12:45 512  
[ ]funct_1__1522_18.min1.thm12017-02-06 12:45 626  
[ ]funct_1__1523_19.min1.thm12017-02-06 12:45 513  
[ ]funct_1__1524_23.min1.thm12017-02-06 12:45 904  
[ ]funct_1__1533_42.min1.thm12017-02-06 12:45 823  
[ ]funct_1__1539_16.min1.thm12017-02-06 12:45 908  
[ ]funct_1__1543_55.min1.thm12017-02-06 12:45 568  
[ ]funct_1__1543_55.min1.thm1.tptp2017-02-06 16:47 547  
[ ]funct_1__1554_40.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__1555_17.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__1575_17.min1.thm12017-02-06 12:45 867  
[ ]funct_1__1578_21.min1.thm12017-02-06 12:45 629  
[ ]funct_1__1579_22.min1.thm12017-02-06 12:45 357  
[ ]funct_1__1579_22.min1.thm1.tptp2017-02-06 16:47 271  
[ ]funct_1__1580_23.min1.thm12017-02-06 12:45 950  
[ ]funct_1__1586_19.min1.thm12017-02-06 12:45 936  
[ ]funct_1__1587_21.min1.thm12017-02-06 12:45 842  
[ ]funct_1__1598_18.min1.thm12017-02-06 12:45 546  
[ ]funct_1__1598_18.min1.thm1.tptp2017-02-06 16:47 483  
[ ]funct_1__1600_26.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1601_22.min1.thm12017-02-06 12:45 357  
[ ]funct_1__1601_22.min1.thm1.tptp2017-02-06 16:47 271  
[ ]funct_1__1606_29.min1.thm12017-02-06 12:45 821  
[ ]funct_1__1607_21.min1.thm12017-02-06 12:45 626  
[ ]funct_1__1626_16.min1.thm12017-02-06 12:45 684  
[ ]funct_1__1627_14.min1.thm12017-02-06 12:45 345  
[ ]funct_1__1627_14.min1.thm1.tptp2017-02-06 16:47 280  
[ ]funct_1__1628_21.min1.thm12017-02-06 12:45 469  
[ ]funct_1__1632_14.min1.thm12017-02-06 12:45 391  
[ ]funct_1__1632_14.min1.thm1.tptp2017-02-06 16:47 326  
[ ]funct_1__1633_15.min1.thm12017-02-06 12:45 269  
[ ]funct_1__1634_19.min1.thm12017-02-06 12:45 772  
[ ]funct_1__1636_17.min1.thm12017-02-06 12:45 682  
[ ]funct_1__1646_36.min1.thm12017-02-06 12:45 370  
[ ]funct_1__1650_57.min1.thm12017-02-06 12:45 714  
[ ]funct_1__1651_21.min1.thm12017-02-06 12:45 555  
[ ]funct_1__1651_21.min1.thm1.tptp2017-02-06 16:47 509  
[ ]funct_1__1654_19.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1656_17.min1.thm12017-02-06 12:45 611  
[ ]funct_1__1656_17.min1.thm1.tptp2017-02-06 16:47 570  
[ ]funct_1__1667_19.min1.thm12017-02-06 12:45 960  
[ ]funct_1__1668_25.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__1669_17.min1.thm12017-02-06 12:45 710  
[ ]funct_1__1682_22.min1.thm12017-02-06 12:45 489  
[ ]funct_1__1682_22.min1.thm1.tptp2017-02-06 16:47 427  
[ ]funct_1__1686_15.min1.thm12017-02-06 12:45 658  
[ ]funct_1__1687_17.min1.thm12017-02-06 12:45 582  
[ ]funct_1__1691_15.min1.thm12017-02-06 12:45 658  
[ ]funct_1__1692_14.min1.thm12017-02-06 12:45 889  
[ ]funct_1__1693_26.min1.thm12017-02-06 12:45 556  
[ ]funct_1__1694_19.min1.thm12017-02-06 12:45 816  
[ ]funct_1__1696_34.min1.thm12017-02-06 12:45 551  
[ ]funct_1__1696_34.min1.thm1.tptp2017-02-06 16:47 476  
[ ]funct_1__1697_17.min1.thm12017-02-06 12:45 797  
[ ]funct_1__1709_42.min1.thm12017-02-06 12:45 496  
[ ]funct_1__1710_21.min1.thm12017-02-06 12:45 552  
[ ]funct_1__1712_24.min1.thm12017-02-06 12:45 596  
[ ]funct_1__1713_42.min1.thm12017-02-06 12:45 703  
[ ]funct_1__1729_14.min1.thm12017-02-06 12:45 714  
[ ]funct_1__1730_18.min1.thm12017-02-06 12:45 506  
[ ]funct_1__1733_52.min1.thm12017-02-06 12:45 662  
[ ]funct_1__1736_17.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__1737_19.min1.thm12017-02-06 12:45 691  
[ ]funct_1__1739_35.min1.thm12017-02-06 12:45 551  
[ ]funct_1__1739_35.min1.thm1.tptp2017-02-06 16:47 476  
[ ]funct_1__1740_17.min1.thm12017-02-06 12:45 797  
[ ]funct_1__1752_31.min1.thm12017-02-06 12:45 534  
[ ]funct_1__1753_39.min1.thm12017-02-06 12:45 496  
[ ]funct_1__1754_42.min1.thm12017-02-06 12:45 703  
[ ]funct_1__1762_55.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1763_17.min1.thm12017-02-06 12:45 597  
[ ]funct_1__1763_17.min1.thm1.tptp2017-02-06 16:47 525  
[ ]funct_1__1777_21.min1.thm12017-02-06 12:45 972  
[ ]funct_1__1778_16.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__1781_19.min1.thm12017-02-06 12:45 948  
[ ]funct_1__1782_23.min1.thm12017-02-06 12:45 772  
[ ]funct_1__1783_21.min1.thm12017-02-06 12:45 639  
[ ]funct_1__1787_21.min1.thm12017-02-06 12:45 555  
[ ]funct_1__1791_14.min1.thm12017-02-06 12:45 658  
[ ]funct_1__1792_13.min1.thm12017-02-06 12:45 435  
[ ]funct_1__1792_13.min1.thm1.tptp2017-02-06 16:47 373  
[ ]funct_1__1794_22.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__1795_26.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1796_19.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__1798_17.min1.thm12017-02-06 12:45 562  
[ ]funct_1__1798_17.min1.thm1.tptp2017-02-06 16:47 502  
[ ]funct_1__1816_38.min1.thm12017-02-06 12:45 867  
[ ]funct_1__1817_27.min1.thm12017-02-06 12:45 555  
[ ]funct_1__1818_24.min1.thm12017-02-06 12:45 787  
[ ]funct_1__1823_21.min1.thm12017-02-06 12:45 777  
[ ]funct_1__1824_21.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__1834_21.min1.thm12017-02-06 12:45 460  
[ ]funct_1__1834_21.min1.thm1.tptp2017-02-06 16:47 383  
[ ]funct_1__1835_27.min1.thm12017-02-06 12:45 949  
[ ]funct_1__1836_22.min1.thm12017-02-06 12:45 563  
[ ]funct_1__1841_29.min1.thm12017-02-06 12:45 821  
[ ]funct_1__1842_21.min1.thm12017-02-06 12:45 612  
[ ]funct_1__1853_43.min1.thm12017-02-06 12:45 614  
[ ]funct_1__1853_43.min1.thm1.tptp2017-02-06 16:47 564  
[ ]funct_1__1854_57.min1.thm12017-02-06 12:45 670  
[ ]funct_1__1854_57.min1.thm1.tptp2017-02-06 16:47 620  
[ ]funct_1__1855_43.min1.thm12017-02-06 12:45 614  
[ ]funct_1__1855_43.min1.thm1.tptp2017-02-06 16:47 564  
[ ]funct_1__1856_19.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__1858_17.min1.thm12017-02-06 12:45 618  
[ ]funct_1__1858_17.min1.thm1.tptp2017-02-06 16:47 558  
[ ]funct_1__1866_43.min1.thm12017-02-06 12:45 614  
[ ]funct_1__1866_43.min1.thm1.tptp2017-02-06 16:47 564  
[ ]funct_1__1867_55.min1.thm12017-02-06 12:45 670  
[ ]funct_1__1867_55.min1.thm1.tptp2017-02-06 16:47 620  
[ ]funct_1__1868_43.min1.thm12017-02-06 12:45 614  
[ ]funct_1__1868_43.min1.thm1.tptp2017-02-06 16:47 564  
[ ]funct_1__1869_19.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_1__1871_17.min1.thm12017-02-06 12:45 618  
[ ]funct_1__1871_17.min1.thm1.tptp2017-02-06 16:47 558  
[ ]funct_1__1881_36.min1.thm12017-02-06 12:45 887  
[ ]funct_1__1883_13.min1.thm12017-02-06 12:45 778  
[ ]funct_1__1884_15.min1.thm12017-02-06 12:45 345  
[ ]funct_1__1884_15.min1.thm1.tptp2017-02-06 16:47 267  
[ ]funct_1__1885_20.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_1__1886_28.min1.thm12017-02-06 12:45 632  
[ ]funct_1__1891_18.min1.thm12017-02-06 12:45 547  
[ ]funct_1__1894_13.min1.thm12017-02-06 12:45 734  
[ ]funct_1__1895_11.min1.thm12017-02-06 12:45 427  
[ ]funct_1__1895_11.min1.thm1.tptp2017-02-06 16:47 365  
[ ]funct_1__1896_22.min1.thm12017-02-06 12:45 844  
[ ]funct_1__1897_17.min1.thm12017-02-06 12:45 840  
[ ]funct_1__1905_21.min1.thm12017-02-06 12:45 347  
[ ]funct_1__1905_21.min1.thm1.tptp2017-02-06 16:47 273  
[ ]funct_1__1906_22.min1.thm12017-02-06 12:45 614  
[ ]funct_1__1907_20.min1.thm12017-02-06 12:45 547  
[ ]funct_1__1907_20.min1.thm1.tptp2017-02-06 16:47 480  
[ ]funct_1__1908_17.min1.thm12017-02-06 12:45 455  
[ ]funct_1__1908_17.min1.thm1.tptp2017-02-06 16:47 381  
[ ]funct_1__1918_25.min1.thm12017-02-06 12:45 589  
[ ]funct_1__1919_15.min1.thm12017-02-06 12:45 269  
[ ]funct_1__1920_19.min1.thm12017-02-06 12:45 924  
[ ]funct_1__1924_17.min1.thm12017-02-06 12:45 442  
[ ]funct_1__1927_15.min1.thm12017-02-06 12:45 756  
[ ]funct_1__1928_10.min1.thm12017-02-06 12:45 329  
[ ]funct_1__1928_10.min1.thm1.tptp2017-02-06 16:47 264  
[ ]funct_1__1929_17.min1.thm12017-02-06 12:45 653  
[ ]funct_1__1939_21.min1.thm12017-02-06 12:45 388  
[ ]funct_1__1939_21.min1.thm1.tptp2017-02-06 16:47 308  
[ ]funct_1__1940_17.min1.thm12017-02-06 12:45 477  
[ ]funct_1__1954_20.min1.thm12017-02-06 12:45 574  
[ ]funct_1__1956_22.min1.thm12017-02-06 12:45 496  
[ ]funct_1__1956_22.min1.thm1.tptp2017-02-06 16:47 422  
[ ]funct_1__1957_20.min1.thm12017-02-06 12:45 574  
[ ]funct_1__1959_22.min1.thm12017-02-06 12:45 496  
[ ]funct_1__1959_22.min1.thm1.tptp2017-02-06 16:47 422  
[ ]funct_1__1960_21.min1.thm12017-02-06 12:45 328  
[ ]funct_1__1961_22.min1.thm12017-02-06 12:45 848  
[ ]funct_1__1963_14.min1.thm12017-02-06 12:45 343  
[ ]funct_1__1963_14.min1.thm1.tptp2017-02-06 16:47 278  
[ ]funct_1__1964_21.min1.thm12017-02-06 12:45 328  
[ ]funct_1__1965_22.min1.thm12017-02-06 12:45 848  
[ ]funct_1__1966_19.min1.thm12017-02-06 12:45 796  
[ ]funct_1__1973_27.min1.thm12017-02-06 12:45 580  
[ ]funct_1__1981_24.min1.thm12017-02-06 12:45 612  
[ ]funct_1__1983_16.min1.thm12017-02-06 12:45 395  
[ ]funct_1__1983_16.min1.thm1.tptp2017-02-06 16:47 330  
[ ]funct_1__1984_19.min1.thm12017-02-06 12:45 587  
[ ]funct_1__1985_21.min1.thm12017-02-06 12:45 849  
[ ]funct_1__1987_15.min1.thm12017-02-06 12:45 269  
[ ]funct_1__1988_19.min1.thm12017-02-06 12:45 759  
[ ]funct_1__1990_17.min1.thm12017-02-06 12:45 421  
[ ]funct_1__1990_17.min1.thm1.tptp2017-02-06 16:47 365  
[ ]funct_1__1998_49.min1.thm12017-02-06 12:45 704  
[ ]funct_1__1999_17.min1.thm12017-02-06 12:45 636  
[ ]funct_1__2011_18.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__2012_15.min1.thm12017-02-06 12:45 695  
[ ]funct_1__2013_17.min1.thm12017-02-06 12:45 749  
[ ]funct_1__2021_23.min1.thm12017-02-06 12:45 431  
[ ]funct_1__2021_23.min1.thm1.tptp2017-02-06 16:47 357  
[ ]funct_1__2026_27.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__2027_13.min1.thm12017-02-06 12:45 696  
[ ]funct_1__2028_17.min1.thm12017-02-06 12:45 764  
[ ]funct_1__2034_45.min1.thm12017-02-06 12:45 688  
[ ]funct_1__2035_38.min1.thm12017-02-06 12:45 669  
[ ]funct_1__2035_38.min1.thm1.tptp2017-02-06 16:47 598  
[ ]funct_1__2039_25.min1.thm12017-02-06 12:45 480  
[ ]funct_1__2039_25.min1.thm1.tptp2017-02-06 16:47 418  
[ ]funct_1__2043_14.min1.thm12017-02-06 12:45 676  
[ ]funct_1__2044_11.min1.thm12017-02-06 12:45 440  
[ ]funct_1__2044_11.min1.thm1.tptp2017-02-06 16:47 378  
[ ]funct_1__2045_18.min1.thm12017-02-06 12:45 727  
[ ]funct_1__2046_17.min1.thm12017-02-06 12:45 796  
[ ]funct_1__2057_14.min1.thm12017-02-06 12:45 760  
[ ]funct_1__2058_13.min1.thm12017-02-06 12:45 547  
[ ]funct_1__2060_13.min1.thm12017-02-06 12:45 640  
[ ]funct_1__2061_11.min1.thm12017-02-06 12:45 427  
[ ]funct_1__2061_11.min1.thm1.tptp2017-02-06 16:47 365  
[ ]funct_1__2062_19.min1.thm12017-02-06 12:45 740  
[ ]funct_1__2063_17.min1.thm12017-02-06 12:45 621  
[ ]funct_1__2069_36.min1.thm12017-02-06 12:45 660  
[ ]funct_1__2073_19.min1.thm12017-02-06 12:45 454  
[ ]funct_1__2073_19.min1.thm1.tptp2017-02-06 16:47 392  
[ ]funct_1__2077_14.min1.thm12017-02-06 12:45 650  
[ ]funct_1__2078_11.min1.thm12017-02-06 12:45 520  
[ ]funct_1__2079_18.min1.thm12017-02-06 12:45 726  
[ ]funct_1__2080_23.min1.thm12017-02-06 12:45 621  
[ ]funct_1__2081_17.min1.thm12017-02-06 12:45 852  
[ ]funct_1__2090_18.min1.thm12017-02-06 12:45 556  
[ ]funct_1__2093_14.min1.thm12017-02-06 12:45 744  
[ ]funct_1__2094_11.min1.thm12017-02-06 12:45 435  
[ ]funct_1__2094_11.min1.thm1.tptp2017-02-06 16:47 373  
[ ]funct_1__2095_20.min1.thm12017-02-06 12:45 708  
[ ]funct_1__2096_25.min1.thm12017-02-06 12:45 632  
[ ]funct_1__2097_17.min1.thm12017-02-06 12:45 915  
[ ]funct_1__2108_21.min1.thm12017-02-06 12:45 645  
[ ]funct_1__2110_46.min1.thm12017-02-06 12:45 718  
[ ]funct_1__2111_15.min1.thm12017-02-06 12:45 602  
[ ]funct_1__2112_17.min1.thm12017-02-06 12:45 810  
[ ]funct_1__2124_26.min1.thm12017-02-06 12:45 356  
[ ]funct_1__2125_24.min1.thm12017-02-06 12:45 561  
[ ]funct_1__2126_24.min1.thm12017-02-06 12:45 561  
[ ]funct_1__2127_18.min1.thm12017-02-06 12:45 576  
[ ]funct_1__2128_27.min1.thm12017-02-06 12:45 810  
[ ]funct_1__2129_28.min1.thm12017-02-06 12:45 628  
[ ]funct_1__2146_16.min1.thm12017-02-06 12:45 674  
[ ]funct_1__2147_19.min1.thm12017-02-06 12:45 665  
[ ]funct_1__2149_21.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__2150_23.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__2151_21.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__2156_18.min1.thm12017-02-06 12:45 749  
[ ]funct_1__2157_19.min1.thm12017-02-06 12:45 734  
[ ]funct_1__2158_23.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__2160_28.min1.thm12017-02-06 12:45 598  
[ ]funct_1__2161_17.min1.thm12017-02-06 12:45 739  
[ ]funct_1__2162_19.min1.thm12017-02-06 12:45 893  
[ ]funct_1__2164_17.min1.thm12017-02-06 12:45 486  
[ ]funct_1__2164_17.min1.thm1.tptp2017-02-06 16:47 426  
[ ]funct_1__2179_17.min1.thm12017-02-06 12:45 601  
[ ]funct_1__2180_19.min1.thm12017-02-06 12:45 586  
[ ]funct_1__2181_27.min1.thm12017-02-06 12:45 588  
[ ]funct_1__2183_23.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__2184_23.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__2185_21.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__2191_17.min1.thm12017-02-06 12:45 834  
[ ]funct_1__2192_22.min1.thm12017-02-06 12:45 899  
[ ]funct_1__2193_32.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__2194_19.min1.thm12017-02-06 12:45 728  
[ ]funct_1__2196_17.min1.thm12017-02-06 12:45 486  
[ ]funct_1__2196_17.min1.thm1.tptp2017-02-06 16:47 426  
[ ]funct_1__2212_27.min1.thm12017-02-06 12:45 663  
[ ]funct_1__2213_20.min1.thm12017-02-06 12:45 808  
[ ]funct_1__2214_19.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__2216_17.min1.thm12017-02-06 12:45 830  
[ ]funct_1__2229_22.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__2230_54.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__2231_17.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__2245_14.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__2246_14.min1.thm12017-02-06 12:45 743  
[ ]funct_1__2247_17.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__2262_21.min1.thm12017-02-06 12:45 333  
[ ]funct_1__2266_17.min1.thm12017-02-06 12:45 606  
[ ]funct_1__2268_20.min1.thm12017-02-06 12:45 415  
[ ]funct_1__2268_20.min1.thm1.tptp2017-02-06 16:47 350  
[ ]funct_1__2269_25.min1.thm12017-02-06 12:45 847  
[ ]funct_1__2270_21.min1.thm12017-02-06 12:45 575  
[ ]funct_1__2280_25.min1.thm12017-02-06 12:45 484  
[ ]funct_1__2281_24.min1.thm12017-02-06 12:45 526  
[ ]funct_1__2282_27.min1.thm12017-02-06 12:45 393  
[ ]funct_1__2282_27.min1.thm1.tptp2017-02-06 16:47 310  
[ ]funct_1__2287_20.min1.thm12017-02-06 12:45 455  
[ ]funct_1__2287_20.min1.thm1.tptp2017-02-06 16:47 381  
[ ]funct_1__2289_26.min1.thm12017-02-06 12:45 499  
[ ]funct_1__2291_19.min1.thm12017-02-06 12:45 596  
[ ]funct_1__2291_19.min1.thm1.tptp2017-02-06 16:47 520  
[ ]funct_1__2293_17.min1.thm12017-02-06 12:45 747  
[ ]funct_1__2305_14.min1.thm12017-02-06 12:45 744  
[ ]funct_1__2306_16.min1.thm12017-02-06 12:45 511  
[ ]funct_1__2308_20.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__2309_33.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__2310_17.min1.thm12017-02-06 12:45 799  
[ ]funct_1__2318_25.min1.thm12017-02-06 12:45 794  
[ ]funct_1__2319_17.min1.thm12017-02-06 12:45 364  
[ ]funct_1__2319_17.min1.thm1.tptp2017-02-06 16:47 294  
[ ]funct_1__2338_27.min1.thm12017-02-06 12:45 770  
[ ]funct_1__2339_20.min1.thm12017-02-06 12:45 254  
[ ]funct_1__2340_20.min1.thm12017-02-06 12:45 967  
[ ]funct_1__2343_19.min1.thm12017-02-06 12:45 684  
[ ]funct_1__2361_26.min1.thm12017-02-06 12:45 600  
[ ]funct_1__2362_27.min1.thm12017-02-06 12:45 730  
[ ]funct_1__2368_50.min1.thm12017-02-06 12:45 606  
[ ]funct_1__2369_18.min1.thm12017-02-06 12:45 497  
[ ]funct_1__2370_19.min1.thm12017-02-06 12:45 343  
[ ]funct_1__2370_19.min1.thm1.tptp2017-02-06 16:47 278  
[ ]funct_1__2386_24.min1.thm12017-02-06 12:45 460  
[ ]funct_1__2389_31.min1.thm12017-02-06 12:45 736  
[ ]funct_1__2394_51.min1.thm12017-02-06 12:45 590  
[ ]funct_1__2407_15.min1.thm12017-02-06 12:45 460  
[ ]funct_1__2420_16.min1.thm12017-02-06 12:45 592  
[ ]funct_1__2431_51.min1.thm12017-02-06 12:45 620  
[ ]funct_1__2451_20.min1.thm12017-02-06 12:45 544  
[ ]funct_1__2453_25.min1.thm12017-02-06 12:45 581  
[ ]funct_1__2454_17.min1.thm12017-02-06 12:45 589  
[ ]funct_1__2465_23.min1.thm12017-02-06 12:45 518  
[ ]funct_1__2469_21.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__2470_17.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__2479_18.min1.thm12017-02-06 12:45 751  
[ ]funct_1__2490_21.min1.thm12017-02-06 12:45 533  
[ ]funct_1__2492_22.min1.thm12017-02-06 12:45 506  
[ ]funct_1__2493_27.min1.thm12017-02-06 12:45 476  
[ ]funct_1__2494_18.min1.thm12017-02-06 12:45 406  
[ ]funct_1__2506_19.min1.thm12017-02-06 12:45 851  
[ ]funct_1__2507_19.min1.thm12017-02-06 12:45 647  
[ ]funct_1__2521_19.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__2536_31.min1.thm12017-02-06 12:45 549  
[ ]funct_1__2537_11.min1.thm12017-02-06 12:45 465  
[ ]funct_1__2545_30.min1.thm12017-02-06 12:45 707  
[ ]funct_1__2546_17.min1.thm12017-02-06 12:45 584  
[ ]funct_1__2555_28.min1.thm12017-02-06 12:45 574  
[ ]funct_1__2556_15.min1.thm12017-02-06 12:45 433  
[ ]funct_1__2556_15.min1.thm1.tptp2017-02-06 16:47 356  
[ ]funct_1__2557_21.min1.thm12017-02-06 12:45 574  
[ ]funct_1__2559_29.min1.thm12017-02-06 12:45 549  
[ ]funct_1__2560_11.min1.thm12017-02-06 12:45 465  
[ ]funct_1__2561_17.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__2573_28.min1.thm12017-02-06 12:45 547  
[ ]funct_1__2575_28.min1.thm12017-02-06 12:45 638  
[ ]funct_1__2581_13.min1.thm12017-02-06 12:45 668  
[ ]funct_1__2582_36.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__2583_30.min1.thm12017-02-06 12:45 764  
[ ]funct_1__2585_17.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__2597_20.min1.thm12017-02-06 12:45 936  
[ ]funct_1__2598_22.min1.thm12017-02-06 12:45 427  
[ ]funct_1__2598_22.min1.thm1.tptp2017-02-06 16:47 349  
[ ]funct_1__2599_15.min1.thm12017-02-06 12:45 887  
[ ]funct_1__2600_17.min1.thm12017-02-06 12:45 783  
[ ]funct_1__2601_17.min1.thm12017-02-06 12:45 391  
[ ]funct_1__2601_17.min1.thm1.tptp2017-02-06 16:47 326  
[ ]funct_1__2607_15.min1.thm12017-02-06 12:45 270  
[ ]funct_1__2610_22.min1.thm12017-02-06 12:45 651  
[ ]funct_1__2611_29.min1.thm12017-02-06 12:45 511  
[ ]funct_1__2611_29.min1.thm1.tptp2017-02-06 16:47 437  
[ ]funct_1__2614_17.min1.thm12017-02-06 12:45 391  
[ ]funct_1__2614_17.min1.thm1.tptp2017-02-06 16:47 326  
[ ]funct_1__2615_23.min1.thm12017-02-06 12:45 718  
[ ]funct_1__2616_17.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__2629_18.min1.thm12017-02-06 12:45 566  
[ ]funct_1__2640_13.min1.thm12017-02-06 12:45 249  
[ ]funct_1__2643_45.min1.thm12017-02-06 12:45 414  
[ ]funct_1__2643_45.min1.thm1.tptp2017-02-06 16:47 326  
[ ]funct_1__2644_20.min1.thm12017-02-06 12:45 424  
[ ]funct_1__2644_20.min1.thm1.tptp2017-02-06 16:47 343  
[ ]funct_1__2645_18.min1.thm12017-02-06 12:45 421  
[ ]funct_1__2650_19.min1.thm12017-02-06 12:45 748  
[ ]funct_1__2659_38.min1.thm12017-02-06 12:45 730  
[ ]funct_1__2663_18.min1.thm12017-02-06 12:45 833  
[ ]funct_1__2664_23.min1.thm12017-02-06 12:45 447  
[ ]funct_1__2664_23.min1.thm1.tptp2017-02-06 16:47 382  
[ ]funct_1__2666_21.min1.thm12017-02-06 12:45 759  
[ ]funct_1__2682_38.min1.thm12017-02-06 12:45 657  
[ ]funct_1__2684_39.min1.thm12017-02-06 12:45 646  
[ ]funct_1__2685_38.min1.thm12017-02-06 12:45 657  
[ ]funct_1__2686_21.min1.thm12017-02-06 12:45 729  
[ ]funct_1__2688_33.min1.thm12017-02-06 12:45 581  
[ ]funct_1__2690_17.min1.thm12017-02-06 12:45 593  
[ ]funct_1__2691_17.min1.thm12017-02-06 12:45 506  
[ ]funct_1__2693_30.min1.thm12017-02-06 12:45 638  
[ ]funct_1__2694_19.min1.thm12017-02-06 12:45 853  
[ ]funct_1__2706_13.min1.thm12017-02-06 12:45 223  
[ ]funct_1__2709_41.min1.thm12017-02-06 12:45 538  
[ ]funct_1__2710_18.min1.thm12017-02-06 12:45 396  
[ ]funct_1__2710_18.min1.thm1.tptp2017-02-06 16:47 315  
[ ]funct_1__2716_19.min1.thm12017-02-06 12:45 349  
[ ]funct_1__2716_19.min1.thm1.tptp2017-02-06 16:47 272  
[ ]funct_1__2723_23.min1.thm12017-02-06 12:45 649  
[ ]funct_1__2724_23.min1.thm12017-02-06 12:45 649  
[ ]funct_1__2725_24.min1.thm12017-02-06 12:45 650  
[ ]funct_1__2726_19.min1.thm12017-02-06 12:45 650  
[ ]funct_1__2742_19.min1.thm12017-02-06 12:45 690  
[ ]funct_1__2743_41.min1.thm12017-02-06 12:45 598  
[ ]funct_1__2746_64.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__2748_26.min1.thm12017-02-06 12:45 671  
[ ]funct_1__2749_20.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__2751_16.min1.thm12017-02-06 12:45 316  
[ ]funct_1__2751_16.min1.thm1.tptp2017-02-06 16:47 228  
[ ]funct_1__2757_11.min1.thm12017-02-06 12:45 343  
[ ]funct_1__2774_23.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__2776_24.min1.thm12017-02-06 12:45 646  
[ ]funct_1__2778_15.min1.thm12017-02-06 12:45 525  
[ ]funct_1__2779_34.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__2780_35.min1.thm12017-02-06 12:45 874  
[ ]funct_1__2781_36.min1.thm12017-02-06 12:45 665  
[ ]funct_1__2783_21.min1.thm12017-02-06 12:45 529  
[ ]funct_1__2783_21.min1.thm1.tptp2017-02-06 16:47 467  
[ ]funct_1__2784_19.min1.thm12017-02-06 12:45 445  
[ ]funct_1__2784_19.min1.thm1.tptp2017-02-06 16:47 383  
[ ]funct_1__2785_28.min1.thm12017-02-06 12:45 863  
[ ]funct_1__2786_32.min1.thm12017-02-06 12:45 678  
[ ]funct_1__2787_21.min1.thm12017-02-06 12:45 683  
[ ]funct_1__2791_26.min1.thm12017-02-06 12:45 677  
[ ]funct_1__2793_21.min1.thm12017-02-06 12:45 590  
[ ]funct_1__2795_19.min1.thm12017-02-06 12:45 763  
[ ]funct_1__2796_13.min1.thm12017-02-06 12:45 549  
[ ]funct_1__2797_17.min1.thm12017-02-06 12:45 735  
[ ]funct_1__2798_27.min1.thm12017-02-06 12:45 614  
[ ]funct_1__2800_22.min1.thm12017-02-06 12:45 549  
[ ]funct_1__2801_17.min1.thm12017-02-06 12:45 736  
[ ]funct_1__2802_23.min1.thm12017-02-06 12:45 706  
[ ]funct_1__2803_34.min1.thm12017-02-06 12:45 663  
[ ]funct_1__2804_33.min1.thm12017-02-06 12:45 663  
[ ]funct_1__2805_37.min1.thm12017-02-06 12:45 870  
[ ]funct_1__2806_40.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_1__2815_27.min1.thm12017-02-06 12:45 677  
[ ]funct_1__2816_26.min1.thm12017-02-06 12:45 590  
[ ]funct_1__2818_18.min1.thm12017-02-06 12:45 735  
[ ]funct_1__2819_14.min1.thm12017-02-06 12:45 549  
[ ]funct_1__2821_19.min1.thm12017-02-06 12:45 704  
[ ]funct_1__2822_54.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_1__2823_28.min1.thm12017-02-06 12:45 742  
[ ]funct_1__2824_19.min1.thm12017-02-06 12:45 714  
[ ]funct_1__2825_19.min1.thm12017-02-06 12:45 772  
[ ]funct_1__2826_23.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__2842_40.min1.thm12017-02-06 12:45 702  
[ ]funct_1__2844_23.min1.thm12017-02-06 12:45 558  
[ ]funct_1__2844_23.min1.thm1.tptp2017-02-06 16:47 496  
[ ]funct_1__2845_25.min1.thm12017-02-06 12:45 667  
[ ]funct_1__2847_15.min1.thm12017-02-06 12:45 447  
[ ]funct_1__2847_15.min1.thm1.tptp2017-02-06 16:47 385  
[ ]funct_1__2848_19.min1.thm12017-02-06 12:45 739  
[ ]funct_1__2849_29.min1.thm12017-02-06 12:45 620  
[ ]funct_1__2851_23.min1.thm12017-02-06 12:45 553  
[ ]funct_1__2852_20.min1.thm12017-02-06 12:45 568  
[ ]funct_1__2854_18.min1.thm12017-02-06 12:45 602  
[ ]funct_1__2855_21.min1.thm12017-02-06 12:45 768  
[ ]funct_1__2856_32.min1.thm12017-02-06 12:45 707  
[ ]funct_1__2857_31.min1.thm12017-02-06 12:45 611  
[ ]funct_1__2858_35.min1.thm12017-02-06 12:45 820  
[ ]funct_1__2859_21.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__2864_20.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__2866_22.min1.thm12017-02-06 12:45 642  
[ ]funct_1__2868_18.min1.thm12017-02-06 12:45 441  
[ ]funct_1__2868_18.min1.thm1.tptp2017-02-06 16:47 379  
[ ]funct_1__2869_14.min1.thm12017-02-06 12:45 521  
[ ]funct_1__2870_27.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__2871_29.min1.thm12017-02-06 12:45 812  
[ ]funct_1__2873_26.min1.thm12017-02-06 12:45 698  
[ ]funct_1__2874_21.min1.thm12017-02-06 12:45 578  
[ ]funct_1__2875_21.min1.thm12017-02-06 12:45 692  
[ ]funct_1__2877_22.min1.thm12017-02-06 12:45 646  
[ ]funct_1__2878_19.min1.thm12017-02-06 12:45 498  
[ ]funct_1__2878_19.min1.thm1.tptp2017-02-06 16:47 436  
[ ]funct_1__2879_26.min1.thm12017-02-06 12:45 858  
[ ]funct_1__2880_41.min1.thm12017-02-06 12:45 694  
[ ]funct_1__2881_43.min1.thm12017-02-06 12:45 700  
[ ]funct_1__2884_37.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__2884_37.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]funct_1__2890_22.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__2892_23.min1.thm12017-02-06 12:45 642  
[ ]funct_1__2894_18.min1.thm12017-02-06 12:45 441  
[ ]funct_1__2894_18.min1.thm1.tptp2017-02-06 16:47 379  
[ ]funct_1__2895_29.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__2897_25.min1.thm12017-02-06 12:45 812  
[ ]funct_1__2898_14.min1.thm12017-02-06 12:45 521  
[ ]funct_1__2899_24.min1.thm12017-02-06 12:45 812  
[ ]funct_1__2900_30.min1.thm12017-02-06 12:45 698  
[ ]funct_1__2901_21.min1.thm12017-02-06 12:45 578  
[ ]funct_1__2902_21.min1.thm12017-02-06 12:45 692  
[ ]funct_1__2904_22.min1.thm12017-02-06 12:45 646  
[ ]funct_1__2905_46.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__2906_24.min1.thm12017-02-06 12:45 755  
[ ]funct_1__2907_19.min1.thm12017-02-06 12:45 727  
[ ]funct_1__2908_19.min1.thm12017-02-06 12:45 772  
[ ]funct_1__2909_33.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__2911_17.min1.thm12017-02-06 12:45 1.9K 
[ ]funct_1__2922_44.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__2923_23.min1.thm12017-02-06 12:45 401  
[ ]funct_1__2923_23.min1.thm1.tptp2017-02-06 16:47 337  
[ ]funct_1__2926_47.min1.thm12017-02-06 12:45 670  
[ ]funct_1__2927_19.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_1__2935_21.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__2936_17.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_1__2950_17.min1.thm12017-02-06 12:45 552  
[ ]funct_1__2952_18.min1.thm12017-02-06 12:45 354  
[ ]funct_1__2954_15.min1.thm12017-02-06 12:45 714  
[ ]funct_1__2965_35.min1.thm12017-02-06 12:45 585  
[ ]funct_1__2977_19.min1.thm12017-02-06 12:45 622  
[ ]funct_1__2978_15.min1.thm12017-02-06 12:45 432  
[ ]funct_1__2978_15.min1.thm1.tptp2017-02-06 16:47 358  
[ ]funct_1__2979_17.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__2999_18.min1.thm12017-02-06 12:45 393  
[ ]funct_1__2999_18.min1.thm1.tptp2017-02-06 16:47 318  
[ ]funct_1__3006_18.min1.thm12017-02-06 12:45 441  
[ ]funct_1__3006_18.min1.thm1.tptp2017-02-06 16:47 378  
[ ]funct_1__3013_18.min1.thm12017-02-06 12:45 568  
[ ]funct_1__3022_15.min1.thm12017-02-06 12:45 559  
[ ]funct_1__3032_13.min1.thm12017-02-06 12:45 195  
[ ]funct_1__3035_21.min1.thm12017-02-06 12:45 657  
[ ]funct_1__3039_21.min1.thm12017-02-06 12:45 631  
[ ]funct_1__3051_13.min1.thm12017-02-06 12:45 644  
[ ]funct_1__3067_27.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__3074_13.min1.thm12017-02-06 12:45 488  
[ ]funct_1__3083_17.min1.thm12017-02-06 12:45 581  
[ ]funct_1__3092_25.min1.thm12017-02-06 12:45 481  
[ ]funct_1__3092_25.min1.thm1.tptp2017-02-06 16:47 403  
[ ]funct_1__3095_22.min1.thm12017-02-06 12:45 1.7K 
[ ]funct_1__3096_26.min1.thm12017-02-06 12:45 852  
[ ]funct_1__3105_23.min1.thm12017-02-06 12:45 378  
[ ]funct_1__3106_22.min1.thm12017-02-06 12:45 445  
[ ]funct_1__3116_21.min1.thm12017-02-06 12:45 764  
[ ]funct_1__3117_21.min1.thm12017-02-06 12:45 848  
[ ]funct_1__3127_23.min1.thm12017-02-06 12:45 706  
[ ]funct_1__3128_17.min1.thm12017-02-06 12:45 434  
[ ]funct_1__3128_17.min1.thm1.tptp2017-02-06 16:47 360  
[ ]funct_1__3129_22.min1.thm12017-02-06 12:45 493  
[ ]funct_1__3138_19.min1.thm12017-02-06 12:45 622  
[ ]funct_1__3139_16.min1.thm12017-02-06 12:45 432  
[ ]funct_1__3139_16.min1.thm1.tptp2017-02-06 16:47 358  
[ ]funct_1__3140_30.min1.thm12017-02-06 12:45 614  
[ ]funct_1__3161_13.min1.thm12017-02-06 12:45 890  
[ ]funct_1__3162_61.min1.thm12017-02-06 12:45 670  
[ ]funct_1__3164_19.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__3172_14.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__3173_18.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__3175_21.min1.thm12017-02-06 12:45 680  
[ ]funct_1__3176_14.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__3177_19.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__3179_17.min1.thm12017-02-06 12:45 599  
[ ]funct_1__3188_13.min1.thm12017-02-06 12:45 249  
[ ]funct_1__3191_21.min1.thm12017-02-06 12:45 638  
[ ]funct_1__3192_19.min1.thm12017-02-06 12:45 440  
[ ]funct_1__3192_19.min1.thm1.tptp2017-02-06 16:47 366  
[ ]funct_1__3193_21.min1.thm12017-02-06 12:45 925  
[ ]funct_1__3196_21.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__3208_21.min1.thm12017-02-06 12:45 509  
[ ]funct_1__3209_24.min1.thm12017-02-06 12:45 634  
[ ]funct_1__3211_27.min1.thm12017-02-06 12:45 889  
[ ]funct_1__3212_20.min1.thm12017-02-06 12:45 562  
[ ]funct_1__3213_23.min1.thm12017-02-06 12:45 749  
[ ]funct_1__3219_25.min1.thm12017-02-06 12:45 370  
[ ]funct_1__3220_17.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__3231_13.min1.thm12017-02-06 12:45 453  
[ ]funct_1__3231_13.min1.thm1.tptp2017-02-06 16:47 397  
[ ]funct_1__3233_18.min1.thm12017-02-06 12:45 689  
[ ]funct_1__3235_18.min1.thm12017-02-06 12:45 689  
[ ]funct_1__3237_36.min1.thm12017-02-06 12:45 860  
[ ]funct_1__3238_19.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__3257_26.min1.thm12017-02-06 12:45 772  
[ ]funct_1__3260_15.min1.thm12017-02-06 12:45 783  
[ ]funct_1__3261_33.min1.thm12017-02-06 12:45 566  
[ ]funct_1__3263_29.min1.thm12017-02-06 12:45 1.5K 
[ ]funct_1__3269_16.min1.thm12017-02-06 12:45 565  
[ ]funct_1__3270_19.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__3271_24.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__3272_23.min1.thm12017-02-06 12:45 770  
[ ]funct_1__3281_29.min1.thm12017-02-06 12:45 602  
[ ]funct_1__3282_19.min1.thm12017-02-06 12:45 816  
[ ]funct_1__3285_15.min1.thm12017-02-06 12:45 644  
[ ]funct_1__3286_33.min1.thm12017-02-06 12:45 566  
[ ]funct_1__3288_29.min1.thm12017-02-06 12:45 920  
[ ]funct_1__3289_30.min1.thm12017-02-06 12:45 1.3K 
[ ]funct_1__3295_17.min1.thm12017-02-06 12:45 567  
[ ]funct_1__3297_28.min1.thm12017-02-06 12:45 877  
[ ]funct_1__3298_17.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__3299_22.min1.thm12017-02-06 12:45 893  
[ ]funct_1__3300_23.min1.thm12017-02-06 12:45 523  
[ ]funct_1__3318_18.min1.thm12017-02-06 12:45 246  
[ ]funct_1__3323_30.min1.thm12017-02-06 12:45 395  
[ ]funct_1__3323_30.min1.thm1.tptp2017-02-06 16:47 318  
[ ]funct_1__3324_12.min1.thm12017-02-06 12:45 319  
[ ]funct_1__3324_12.min1.thm1.tptp2017-02-06 16:47 239  
[ ]funct_1__3325_18.min1.thm12017-02-06 12:45 602  
[ ]funct_1__3335_10.min1.thm12017-02-06 12:45 187  
[ ]funct_1__3339_16.min1.thm12017-02-06 12:45 797  
[ ]funct_1__3351_42.min1.thm12017-02-06 12:45 412  
[ ]funct_1__3354_42.min1.thm12017-02-06 12:45 412  
[ ]funct_1__3356_16.min1.thm12017-02-06 12:45 268  
[ ]funct_1__3366_18.min1.thm12017-02-06 12:45 412  
[ ]funct_1__3370_43.min1.thm12017-02-06 12:45 857  
[ ]funct_1__3375_29.min1.thm12017-02-06 12:45 744  
[ ]funct_1__3377_34.min1.thm12017-02-06 12:45 897  
[ ]funct_1__3378_19.min1.thm12017-02-06 12:45 542  
[ ]funct_1__3382_38.min1.thm12017-02-06 12:45 594  
[ ]funct_1__3382_38.min1.thm1.tptp2017-02-06 16:47 567  
[ ]funct_1__3383_23.min1.thm12017-02-06 12:45 1.1K 
[ ]funct_1__3385_23.min1.thm12017-02-06 12:45 1.2K 
[ ]funct_1__3392_18.min1.thm12017-02-06 12:45 658  
[ ]funct_1__3393_39.min1.thm12017-02-06 12:45 853  
[ ]funct_1__3394_17.min1.thm12017-02-06 12:45 656  
[ ]funct_1__3395_23.min1.thm12017-02-06 12:45 678  
[ ]funct_1__3397_27.min1.thm12017-02-06 12:45 1.0K 
[ ]funct_1__3401_38.min1.thm12017-02-06 12:45 1.6K 
[ ]funct_1__3402_24.min1.thm12017-02-06 12:45 666  
[ ]funct_1__3402_24.min1.thm1.tptp2017-02-06 16:47 587  
[ ]funct_1__3403_17.min1.thm12017-02-06 12:45 712  
[ ]funct_1__3413_32.min1.thm12017-02-06 12:45 247  
[ ]funct_1__3414_19.min1.thm12017-02-06 12:45 833  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80