Index of /~mptp/1147/MPTP2/ilp0/funct_5

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]funct_5__45_16.min1.thm12017-02-06 12:45 453  
[   ]funct_5__51_41.min1.thm12017-02-06 12:45 523  
[   ]funct_5__52_22.min1.thm12017-02-06 12:45 652  
[   ]funct_5__53_14.min1.thm12017-02-06 12:45 730  
[   ]funct_5__59_31.min1.thm12017-02-06 12:45 485  
[   ]funct_5__68_14.min1.thm12017-02-06 12:45 429  
[   ]funct_5__68_14.min1.thm1.tptp2017-02-06 16:47 370  
[   ]funct_5__71_38.min1.thm12017-02-06 12:45 897  
[   ]funct_5__72_48.min1.thm12017-02-06 12:45 767  
[   ]funct_5__77_38.min1.thm12017-02-06 12:45 897  
[   ]funct_5__78_48.min1.thm12017-02-06 12:45 767  
[   ]funct_5__90_36.min1.thm12017-02-06 12:45 647  
[   ]funct_5__91_19.min1.thm12017-02-06 12:45 531  
[   ]funct_5__95_34.min1.thm12017-02-06 12:45 641  
[   ]funct_5__96_17.min1.thm12017-02-06 12:45 523  
[   ]funct_5__104_58.min1.thm12017-02-06 12:45 627  
[   ]funct_5__105_44.min1.thm12017-02-06 12:45 425  
[   ]funct_5__106_17.min1.thm12017-02-06 12:45 761  
[   ]funct_5__117_23.min1.thm12017-02-06 12:45 665  
[   ]funct_5__118_20.min1.thm12017-02-06 12:45 543  
[   ]funct_5__119_17.min1.thm12017-02-06 12:45 478  
[   ]funct_5__120_19.min1.thm12017-02-06 12:45 337  
[   ]funct_5__120_19.min1.thm1.tptp2017-02-06 16:47 272  
[   ]funct_5__126_17.min1.thm12017-02-06 12:45 337  
[   ]funct_5__126_17.min1.thm1.tptp2017-02-06 16:47 272  
[   ]funct_5__127_28.min1.thm12017-02-06 12:45 574  
[   ]funct_5__128_19.min1.thm12017-02-06 12:45 584  
[   ]funct_5__135_23.min1.thm12017-02-06 12:45 667  
[   ]funct_5__136_20.min1.thm12017-02-06 12:45 543  
[   ]funct_5__137_17.min1.thm12017-02-06 12:45 478  
[   ]funct_5__138_19.min1.thm12017-02-06 12:45 337  
[   ]funct_5__138_19.min1.thm1.tptp2017-02-06 16:47 272  
[   ]funct_5__144_17.min1.thm12017-02-06 12:45 337  
[   ]funct_5__144_17.min1.thm1.tptp2017-02-06 16:47 272  
[   ]funct_5__145_28.min1.thm12017-02-06 12:45 574  
[   ]funct_5__146_19.min1.thm12017-02-06 12:45 586  
[   ]funct_5__153_48.min1.thm12017-02-06 12:45 647  
[   ]funct_5__154_39.min1.thm12017-02-06 12:45 431  
[   ]funct_5__157_40.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__158_46.min1.thm12017-02-06 12:45 645  
[   ]funct_5__159_17.min1.thm12017-02-06 12:45 1.6K 
[   ]funct_5__171_30.min1.thm12017-02-06 12:45 840  
[   ]funct_5__175_28.min1.thm12017-02-06 12:45 839  
[   ]funct_5__180_66.min1.thm12017-02-06 12:45 721  
[   ]funct_5__186_66.min1.thm12017-02-06 12:45 754  
[   ]funct_5__188_17.min1.thm12017-02-06 12:45 711  
[   ]funct_5__199_21.min1.thm12017-02-06 12:45 617  
[   ]funct_5__200_22.min1.thm12017-02-06 12:45 800  
[   ]funct_5__201_19.min1.thm12017-02-06 12:45 564  
[   ]funct_5__208_22.min1.thm12017-02-06 12:45 643  
[   ]funct_5__209_21.min1.thm12017-02-06 12:45 800  
[   ]funct_5__210_19.min1.thm12017-02-06 12:45 538  
[   ]funct_5__217_21.min1.thm12017-02-06 12:45 619  
[   ]funct_5__218_22.min1.thm12017-02-06 12:45 800  
[   ]funct_5__219_19.min1.thm12017-02-06 12:45 562  
[   ]funct_5__226_22.min1.thm12017-02-06 12:45 641  
[   ]funct_5__227_21.min1.thm12017-02-06 12:45 800  
[   ]funct_5__228_19.min1.thm12017-02-06 12:45 540  
[   ]funct_5__233_62.min1.thm12017-02-06 12:45 211  
[   ]funct_5__262_30.min1.thm12017-02-06 12:45 833  
[   ]funct_5__262_30.min1.thm1.tptp2017-02-06 16:47 758  
[   ]funct_5__263_28.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__265_21.min1.thm12017-02-06 12:45 1.7K 
[   ]funct_5__275_29.min1.thm12017-02-06 12:45 134  
[   ]funct_5__277_20.min1.thm12017-02-06 12:45 1.3K 
[   ]funct_5__281_16.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__299_50.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__299_50.min1.thm1.tptp2017-02-06 16:47 1.0K 
[   ]funct_5__303_50.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__303_50.min1.thm1.tptp2017-02-06 16:47 1.0K 
[   ]funct_5__308_30.min1.thm12017-02-06 12:45 869  
[   ]funct_5__309_28.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__311_26.min1.thm12017-02-06 12:45 1.6K 
[   ]funct_5__313_19.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__337_36.min1.thm12017-02-06 12:45 629  
[   ]funct_5__337_36.min1.thm1.tptp2017-02-06 16:47 569  
[   ]funct_5__338_22.min1.thm12017-02-06 12:45 483  
[   ]funct_5__338_22.min1.thm1.tptp2017-02-06 16:47 412  
[   ]funct_5__339_46.min1.thm12017-02-06 12:45 587  
[   ]funct_5__339_46.min1.thm1.tptp2017-02-06 16:47 510  
[   ]funct_5__341_17.min1.thm12017-02-06 12:45 469  
[   ]funct_5__343_60.min1.thm12017-02-06 12:45 434  
[   ]funct_5__358_29.min1.thm12017-02-06 12:45 931  
[   ]funct_5__360_17.min1.thm12017-02-06 12:45 576  
[   ]funct_5__361_46.min1.thm12017-02-06 12:45 558  
[   ]funct_5__361_46.min1.thm1.tptp2017-02-06 16:47 481  
[   ]funct_5__363_22.min1.thm12017-02-06 12:45 2.1K 
[   ]funct_5__370_15.min1.thm12017-02-06 12:45 702  
[   ]funct_5__371_23.min1.thm12017-02-06 12:45 802  
[   ]funct_5__372_40.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__373_34.min1.thm12017-02-06 12:45 530  
[   ]funct_5__373_34.min1.thm1.tptp2017-02-06 16:47 454  
[   ]funct_5__375_31.min1.thm12017-02-06 12:45 1.5K 
[   ]funct_5__376_16.min1.thm12017-02-06 12:45 469  
[   ]funct_5__377_54.min1.thm12017-02-06 12:45 888  
[   ]funct_5__378_21.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__385_38.min1.thm12017-02-06 12:45 712  
[   ]funct_5__385_38.min1.thm1.tptp2017-02-06 16:47 655  
[   ]funct_5__386_19.min1.thm12017-02-06 12:45 593  
[   ]funct_5__386_19.min1.thm1.tptp2017-02-06 16:47 520  
[   ]funct_5__407_19.min1.thm12017-02-06 12:45 891  
[   ]funct_5__408_26.min1.thm12017-02-06 12:45 600  
[   ]funct_5__409_24.min1.thm12017-02-06 12:45 947  
[   ]funct_5__410_26.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__412_19.min1.thm12017-02-06 12:45 857  
[   ]funct_5__420_13.min1.thm12017-02-06 12:45 575  
[   ]funct_5__423_13.min1.thm12017-02-06 12:45 575  
[   ]funct_5__431_23.min1.thm12017-02-06 12:45 528  
[   ]funct_5__432_27.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__434_44.min1.thm12017-02-06 12:45 1.3K 
[   ]funct_5__435_14.min1.thm12017-02-06 12:45 643  
[   ]funct_5__444_21.min1.thm12017-02-06 12:45 528  
[   ]funct_5__447_46.min1.thm12017-02-06 12:45 1.3K 
[   ]funct_5__448_21.min1.thm12017-02-06 12:45 530  
[   ]funct_5__449_38.min1.thm12017-02-06 12:45 595  
[   ]funct_5__450_47.min1.thm12017-02-06 12:45 807  
[   ]funct_5__451_21.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__452_17.min1.thm12017-02-06 12:45 795  
[   ]funct_5__459_25.min1.thm12017-02-06 12:45 788  
[   ]funct_5__460_17.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__468_22.min1.thm12017-02-06 12:45 788  
[   ]funct_5__471_26.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__472_17.min1.thm12017-02-06 12:45 1.7K 
[   ]funct_5__478_32.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__479_17.min1.thm12017-02-06 12:45 757  
[   ]funct_5__488_30.min1.thm12017-02-06 12:45 918  
[   ]funct_5__489_26.min1.thm12017-02-06 12:45 683  
[   ]funct_5__490_37.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__491_23.min1.thm12017-02-06 12:45 594  
[   ]funct_5__492_11.min1.thm12017-02-06 12:45 485  
[   ]funct_5__492_11.min1.thm1.tptp2017-02-06 16:47 426  
[   ]funct_5__500_30.min1.thm12017-02-06 12:45 918  
[   ]funct_5__501_27.min1.thm12017-02-06 12:45 561  
[   ]funct_5__502_34.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__503_22.min1.thm12017-02-06 12:45 610  
[   ]funct_5__504_17.min1.thm12017-02-06 12:45 585  
[   ]funct_5__522_26.min1.thm12017-02-06 12:45 460  
[   ]funct_5__522_26.min1.thm1.tptp2017-02-06 16:47 389  
[   ]funct_5__523_28.min1.thm12017-02-06 12:45 604  
[   ]funct_5__526_19.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__528_20.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__535_17.min1.thm12017-02-06 12:45 642  
[   ]funct_5__536_54.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__537_19.min1.thm12017-02-06 12:45 897  
[   ]funct_5__541_17.min1.thm12017-02-06 12:45 843  
[   ]funct_5__549_26.min1.thm12017-02-06 12:45 606  
[   ]funct_5__550_26.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__551_20.min1.thm12017-02-06 12:45 691  
[   ]funct_5__555_26.min1.thm12017-02-06 12:45 800  
[   ]funct_5__558_27.min1.thm12017-02-06 12:45 630  
[   ]funct_5__559_27.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__560_14.min1.thm12017-02-06 12:45 814  
[   ]funct_5__575_22.min1.thm12017-02-06 12:45 691  
[   ]funct_5__576_16.min1.thm12017-02-06 12:45 769  
[   ]funct_5__587_13.min1.thm12017-02-06 12:45 338  
[   ]funct_5__587_13.min1.thm1.tptp2017-02-06 16:47 260  
[   ]funct_5__589_37.min1.thm12017-02-06 12:45 783  
[   ]funct_5__590_21.min1.thm12017-02-06 12:45 655  
[   ]funct_5__594_24.min1.thm12017-02-06 12:45 1.3K 
[   ]funct_5__596_26.min1.thm12017-02-06 12:45 591  
[   ]funct_5__597_22.min1.thm12017-02-06 12:45 751  
[   ]funct_5__603_27.min1.thm12017-02-06 12:45 588  
[   ]funct_5__604_35.min1.thm12017-02-06 12:45 1.6K 
[   ]funct_5__605_19.min1.thm12017-02-06 12:45 883  
[   ]funct_5__607_17.min1.thm12017-02-06 12:45 1.4K 
[   ]funct_5__615_30.min1.thm12017-02-06 12:45 918  
[   ]funct_5__618_46.min1.thm12017-02-06 12:45 1.4K 
[   ]funct_5__619_14.min1.thm12017-02-06 12:45 643  
[   ]funct_5__630_30.min1.thm12017-02-06 12:45 918  
[   ]funct_5__634_46.min1.thm12017-02-06 12:45 1.4K 
[   ]funct_5__635_54.min1.thm12017-02-06 12:45 684  
[   ]funct_5__636_42.min1.thm12017-02-06 12:45 358  
[   ]funct_5__637_31.min1.thm12017-02-06 12:45 901  
[   ]funct_5__644_14.min1.thm12017-02-06 12:45 588  
[   ]funct_5__646_44.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__647_52.min1.thm12017-02-06 12:45 793  
[   ]funct_5__649_21.min1.thm12017-02-06 12:45 790  
[   ]funct_5__650_20.min1.thm12017-02-06 12:45 677  
[   ]funct_5__651_19.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__657_45.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__658_50.min1.thm12017-02-06 12:45 779  
[   ]funct_5__659_17.min1.thm12017-02-06 12:45 1.3K 
[   ]funct_5__670_23.min1.thm12017-02-06 12:45 566  
[   ]funct_5__671_12.min1.thm12017-02-06 12:45 351  
[   ]funct_5__671_12.min1.thm1.tptp2017-02-06 16:47 283  
[   ]funct_5__676_20.min1.thm12017-02-06 12:45 421  
[   ]funct_5__676_20.min1.thm1.tptp2017-02-06 16:47 344  
[   ]funct_5__677_56.min1.thm12017-02-06 12:45 967  
[   ]funct_5__682_23.min1.thm12017-02-06 12:45 465  
[   ]funct_5__682_23.min1.thm1.tptp2017-02-06 16:47 388  
[   ]funct_5__683_20.min1.thm12017-02-06 12:45 803  
[   ]funct_5__684_17.min1.thm12017-02-06 12:45 962  
[   ]funct_5__688_55.min1.thm12017-02-06 12:45 743  
[   ]funct_5__695_22.min1.thm12017-02-06 12:45 421  
[   ]funct_5__695_22.min1.thm1.tptp2017-02-06 16:47 344  
[   ]funct_5__698_56.min1.thm12017-02-06 12:45 1.4K 
[   ]funct_5__700_52.min1.thm12017-02-06 12:45 822  
[   ]funct_5__707_45.min1.thm12017-02-06 12:45 917  
[   ]funct_5__708_35.min1.thm12017-02-06 12:45 717  
[   ]funct_5__710_35.min1.thm12017-02-06 12:45 766  
[   ]funct_5__711_22.min1.thm12017-02-06 12:45 677  
[   ]funct_5__712_26.min1.thm12017-02-06 12:45 800  
[   ]funct_5__713_49.min1.thm12017-02-06 12:45 823  
[   ]funct_5__714_19.min1.thm12017-02-06 12:45 724  
[   ]funct_5__721_44.min1.thm12017-02-06 12:45 803  
[   ]funct_5__722_35.min1.thm12017-02-06 12:45 705  
[   ]funct_5__724_35.min1.thm12017-02-06 12:45 766  
[   ]funct_5__725_21.min1.thm12017-02-06 12:45 653  
[   ]funct_5__726_27.min1.thm12017-02-06 12:45 800  
[   ]funct_5__727_50.min1.thm12017-02-06 12:45 847  
[   ]funct_5__728_19.min1.thm12017-02-06 12:45 838  
[   ]funct_5__730_44.min1.thm12017-02-06 12:45 1.4K 
[   ]funct_5__731_48.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__736_45.min1.thm12017-02-06 12:45 1.4K 
[   ]funct_5__737_33.min1.thm12017-02-06 12:45 695  
[   ]funct_5__739_13.min1.thm12017-02-06 12:45 558  
[   ]funct_5__740_19.min1.thm12017-02-06 12:45 643  
[   ]funct_5__741_25.min1.thm12017-02-06 12:45 790  
[   ]funct_5__742_30.min1.thm12017-02-06 12:45 821  
[   ]funct_5__743_17.min1.thm12017-02-06 12:45 2.1K 
[   ]funct_5__756_22.min1.thm12017-02-06 12:45 682  
[   ]funct_5__763_24.min1.thm12017-02-06 12:45 760  
[   ]funct_5__766_21.min1.thm12017-02-06 12:45 859  
[   ]funct_5__768_23.min1.thm12017-02-06 12:45 682  
[   ]funct_5__775_25.min1.thm12017-02-06 12:45 760  
[   ]funct_5__778_21.min1.thm12017-02-06 12:45 859  
[   ]funct_5__784_28.min1.thm12017-02-06 12:45 599  
[   ]funct_5__786_20.min1.thm12017-02-06 12:45 378  
[   ]funct_5__786_20.min1.thm1.tptp2017-02-06 16:47 316  
[   ]funct_5__787_23.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__789_24.min1.thm12017-02-06 12:45 596  
[   ]funct_5__790_53.min1.thm12017-02-06 12:45 1.4K 
[   ]funct_5__791_29.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__792_19.min1.thm12017-02-06 12:45 577  
[   ]funct_5__794_17.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__801_22.min1.thm12017-02-06 12:45 421  
[   ]funct_5__801_22.min1.thm1.tptp2017-02-06 16:47 344  
[   ]funct_5__808_22.min1.thm12017-02-06 12:45 752  
[   ]funct_5__809_32.min1.thm12017-02-06 12:45 920  
[   ]funct_5__813_46.min1.thm12017-02-06 12:45 1.4K 
[   ]funct_5__814_44.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__815_19.min1.thm12017-02-06 12:45 950  
[   ]funct_5__821_23.min1.thm12017-02-06 12:45 744  
[   ]funct_5__822_32.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__826_47.min1.thm12017-02-06 12:45 1.7K 
[   ]funct_5__827_20.min1.thm12017-02-06 12:45 1.3K 
[   ]funct_5__829_21.min1.thm12017-02-06 12:45 522  
[   ]funct_5__830_26.min1.thm12017-02-06 12:45 1.4K 
[   ]funct_5__831_30.min1.thm12017-02-06 12:45 634  
[   ]funct_5__832_17.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__851_17.min1.thm12017-02-06 12:45 642  
[   ]funct_5__852_32.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__853_22.min1.thm12017-02-06 12:45 676  
[   ]funct_5__854_19.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__858_54.min1.thm12017-02-06 12:45 1.3K 
[   ]funct_5__872_27.min1.thm12017-02-06 12:45 510  
[   ]funct_5__874_17.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__883_32.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__885_30.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__886_28.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__887_35.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__888_17.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__903_24.min1.thm12017-02-06 12:45 752  
[   ]funct_5__908_17.min1.thm12017-02-06 12:45 610  
[   ]funct_5__910_50.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__911_45.min1.thm12017-02-06 12:45 1.3K 
[   ]funct_5__912_19.min1.thm12017-02-06 12:45 1.8K 
[   ]funct_5__914_36.min1.thm12017-02-06 12:45 672  
[   ]funct_5__915_17.min1.thm12017-02-06 12:45 516  
[   ]funct_5__921_32.min1.thm12017-02-06 12:45 307  
[   ]funct_5__923_30.min1.thm12017-02-06 12:45 550  
[   ]funct_5__924_17.min1.thm12017-02-06 12:45 684  
[   ]funct_5__930_34.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__931_21.min1.thm12017-02-06 12:45 842  
[   ]funct_5__932_16.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__944_23.min1.thm12017-02-06 12:45 732  
[   ]funct_5__945_16.min1.thm12017-02-06 12:45 865  
[   ]funct_5__966_22.min1.thm12017-02-06 12:45 711  
[   ]funct_5__967_17.min1.thm12017-02-06 12:45 438  
[   ]funct_5__967_17.min1.thm1.tptp2017-02-06 16:47 367  
[   ]funct_5__969_30.min1.thm12017-02-06 12:45 544  
[   ]funct_5__969_30.min1.thm1.tptp2017-02-06 16:47 467  
[   ]funct_5__972_35.min1.thm12017-02-06 12:45 950  
[   ]funct_5__973_26.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__975_19.min1.thm12017-02-06 12:45 930  
[   ]funct_5__977_43.min1.thm12017-02-06 12:45 851  
[   ]funct_5__978_17.min1.thm12017-02-06 12:45 421  
[   ]funct_5__978_17.min1.thm1.tptp2017-02-06 16:47 347  
[   ]funct_5__988_42.min1.thm12017-02-06 12:45 845  
[   ]funct_5__990_16.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__991_14.min1.thm12017-02-06 12:45 599  
[   ]funct_5__992_17.min1.thm12017-02-06 12:45 747  
[   ]funct_5__1004_68.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1006_45.min1.thm12017-02-06 12:45 704  
[   ]funct_5__1008_22.min1.thm12017-02-06 12:45 827  
[   ]funct_5__1013_26.min1.thm12017-02-06 12:45 574  
[   ]funct_5__1017_18.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1018_21.min1.thm12017-02-06 12:45 662  
[   ]funct_5__1022_18.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1025_31.min1.thm12017-02-06 12:45 532  
[   ]funct_5__1034_24.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1036_17.min1.thm12017-02-06 12:45 793  
[   ]funct_5__1047_34.min1.thm12017-02-06 12:45 676  
[   ]funct_5__1049_34.min1.thm12017-02-06 12:45 776  
[   ]funct_5__1050_34.min1.thm12017-02-06 12:45 676  
[   ]funct_5__1051_17.min1.thm12017-02-06 12:45 1.6K 
[   ]funct_5__1061_34.min1.thm12017-02-06 12:45 676  
[   ]funct_5__1070_21.min1.thm12017-02-06 12:45 582  
[   ]funct_5__1073_19.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1078_39.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1079_26.min1.thm12017-02-06 12:45 655  
[   ]funct_5__1081_40.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1084_39.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1089_39.min1.thm12017-02-06 12:45 834  
[   ]funct_5__1090_32.min1.thm12017-02-06 12:45 906  
[   ]funct_5__1092_30.min1.thm12017-02-06 12:45 437  
[   ]funct_5__1092_30.min1.thm1.tptp2017-02-06 16:47 357  
[   ]funct_5__1093_16.min1.thm12017-02-06 12:45 1.3K 
[   ]funct_5__1102_37.min1.thm12017-02-06 12:45 692  
[   ]funct_5__1105_19.min1.thm12017-02-06 12:45 443  
[   ]funct_5__1107_42.min1.thm12017-02-06 12:45 837  
[   ]funct_5__1108_23.min1.thm12017-02-06 12:45 667  
[   ]funct_5__1110_38.min1.thm12017-02-06 12:45 922  
[   ]funct_5__1111_36.min1.thm12017-02-06 12:45 692  
[   ]funct_5__1112_14.min1.thm12017-02-06 12:45 443  
[   ]funct_5__1114_38.min1.thm12017-02-06 12:45 837  
[   ]funct_5__1115_22.min1.thm12017-02-06 12:45 668  
[   ]funct_5__1116_41.min1.thm12017-02-06 12:45 924  
[   ]funct_5__1117_19.min1.thm12017-02-06 12:45 2.1K 
[   ]funct_5__1121_15.min1.thm12017-02-06 12:45 543  
[   ]funct_5__1122_19.min1.thm12017-02-06 12:45 501  
[   ]funct_5__1124_17.min1.thm12017-02-06 12:45 605  
[   ]funct_5__1124_17.min1.thm1.tptp2017-02-06 16:47 539  
[   ]funct_5__1144_23.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1150_22.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1151_54.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1152_42.min1.thm12017-02-06 12:45 1.4K 
[   ]funct_5__1160_22.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1161_54.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1163_55.min1.thm12017-02-06 12:45 2.0K 
[   ]funct_5__1164_40.min1.thm12017-02-06 12:45 1.3K 
[   ]funct_5__1168_30.min1.thm12017-02-06 12:45 545  
[   ]funct_5__1169_22.min1.thm12017-02-06 12:45 610  
[   ]funct_5__1170_31.min1.thm12017-02-06 12:45 709  
[   ]funct_5__1171_17.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1183_35.min1.thm12017-02-06 12:45 713  
[   ]funct_5__1184_41.min1.thm12017-02-06 12:45 792  
[   ]funct_5__1188_24.min1.thm12017-02-06 12:45 574  
[   ]funct_5__1192_17.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1194_14.min1.thm12017-02-06 12:45 704  
[   ]funct_5__1196_29.min1.thm12017-02-06 12:45 1.6K 
[   ]funct_5__1197_48.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1198_19.min1.thm12017-02-06 12:45 805  
[   ]funct_5__1204_58.min1.thm12017-02-06 12:45 914  
[   ]funct_5__1205_19.min1.thm12017-02-06 12:45 574  
[   ]funct_5__1209_17.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1210_67.min1.thm12017-02-06 12:45 1.5K 
[   ]funct_5__1218_64.min1.thm12017-02-06 12:45 969  
[   ]funct_5__1220_47.min1.thm12017-02-06 12:45 771  
[   ]funct_5__1222_16.min1.thm12017-02-06 12:45 603  
[   ]funct_5__1223_33.min1.thm12017-02-06 12:45 716  
[   ]funct_5__1228_17.min1.thm12017-02-06 12:45 517  
[   ]funct_5__1229_23.min1.thm12017-02-06 12:45 965  
[   ]funct_5__1233_36.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1234_21.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1240_38.min1.thm12017-02-06 12:45 1.5K 
[   ]funct_5__1241_17.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1243_38.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1247_33.min1.thm12017-02-06 12:45 711  
[   ]funct_5__1248_17.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1257_26.min1.thm12017-02-06 12:45 574  
[   ]funct_5__1258_17.min1.thm12017-02-06 12:45 698  
[   ]funct_5__1267_28.min1.thm12017-02-06 12:45 574  
[   ]funct_5__1268_17.min1.thm12017-02-06 12:45 698  
[   ]funct_5__1280_26.min1.thm12017-02-06 12:45 705  
[   ]funct_5__1281_17.min1.thm12017-02-06 12:45 829  
[   ]funct_5__1293_28.min1.thm12017-02-06 12:45 705  
[   ]funct_5__1294_17.min1.thm12017-02-06 12:45 829  
[   ]funct_5__1306_17.min1.thm12017-02-06 12:45 556  
[   ]funct_5__1306_17.min1.thm1.tptp2017-02-06 16:47 512  
[   ]funct_5__1307_15.min1.thm12017-02-06 12:45 440  
[   ]funct_5__1308_17.min1.thm12017-02-06 12:45 673  
[   ]funct_5__1318_51.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1319_15.min1.thm12017-02-06 12:45 549  
[   ]funct_5__1320_19.min1.thm12017-02-06 12:45 331  
[   ]funct_5__1320_19.min1.thm1.tptp2017-02-06 16:47 266  
[   ]funct_5__1323_14.min1.thm12017-02-06 12:45 221  
[   ]funct_5__1326_13.min1.thm12017-02-06 12:45 323  
[   ]funct_5__1326_13.min1.thm1.tptp2017-02-06 16:47 258  
[   ]funct_5__1327_27.min1.thm12017-02-06 12:45 489  
[   ]funct_5__1328_17.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1337_15.min1.thm12017-02-06 12:45 267  
[   ]funct_5__1346_42.min1.thm12017-02-06 12:45 859  
[   ]funct_5__1347_26.min1.thm12017-02-06 12:45 600  
[   ]funct_5__1348_21.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1350_21.min1.thm12017-02-06 12:45 354  
[   ]funct_5__1356_29.min1.thm12017-02-06 12:45 596  
[   ]funct_5__1357_52.min1.thm12017-02-06 12:45 1.6K 
[   ]funct_5__1358_33.min1.thm12017-02-06 12:45 882  
[   ]funct_5__1359_21.min1.thm12017-02-06 12:45 1.7K 
[   ]funct_5__1366_17.min1.thm12017-02-06 12:45 586  
[   ]funct_5__1366_17.min1.thm1.tptp2017-02-06 16:47 542  
[   ]funct_5__1367_19.min1.thm12017-02-06 12:45 327  
[   ]funct_5__1368_21.min1.thm12017-02-06 12:45 552  
[   ]funct_5__1369_29.min1.thm12017-02-06 12:45 860  
[   ]funct_5__1370_23.min1.thm12017-02-06 12:45 1.5K 
[   ]funct_5__1371_19.min1.thm12017-02-06 12:45 1.6K 
[   ]funct_5__1373_17.min1.thm12017-02-06 12:45 415  
[   ]funct_5__1373_17.min1.thm1.tptp2017-02-06 16:47 341  
[   ]funct_5__1386_19.min1.thm12017-02-06 12:45 763  
[   ]funct_5__1389_28.min1.thm12017-02-06 12:45 451  
[   ]funct_5__1390_24.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1392_26.min1.thm12017-02-06 12:45 1.6K 
[   ]funct_5__1397_21.min1.thm12017-02-06 12:45 658  
[   ]funct_5__1398_38.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1399_25.min1.thm12017-02-06 12:45 575  
[   ]funct_5__1400_26.min1.thm12017-02-06 12:45 782  
[   ]funct_5__1402_19.min1.thm12017-02-06 12:45 1.3K 
[   ]funct_5__1407_18.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1408_43.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1409_17.min1.thm12017-02-06 12:45 1.7K 
[   ]funct_5__1422_18.min1.thm12017-02-06 12:45 572  
[   ]funct_5__1426_18.min1.thm12017-02-06 12:45 481  
[   ]funct_5__1426_18.min1.thm1.tptp2017-02-06 16:47 425  
[   ]funct_5__1429_20.min1.thm12017-02-06 12:45 585  
[   ]funct_5__1445_21.min1.thm12017-02-06 12:45 857  
[   ]funct_5__1446_25.min1.thm12017-02-06 12:45 817  
[   ]funct_5__1447_43.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1451_21.min1.thm12017-02-06 12:45 858  
[   ]funct_5__1452_43.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1453_25.min1.thm12017-02-06 12:45 951  
[   ]funct_5__1460_31.min1.thm12017-02-06 12:45 728  
[   ]funct_5__1461_33.min1.thm12017-02-06 12:45 902  
[   ]funct_5__1462_20.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1464_21.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1466_32.min1.thm12017-02-06 12:45 493  
[   ]funct_5__1473_16.min1.thm12017-02-06 12:45 608  
[   ]funct_5__1476_33.min1.thm12017-02-06 12:45 857  
[   ]funct_5__1477_41.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1479_28.min1.thm12017-02-06 12:45 835  
[   ]funct_5__1480_29.min1.thm12017-02-06 12:45 618  
[   ]funct_5__1481_22.min1.thm12017-02-06 12:45 892  
[   ]funct_5__1482_21.min1.thm12017-02-06 12:45 1.3K 
[   ]funct_5__1489_19.min1.thm12017-02-06 12:45 564  
[   ]funct_5__1489_19.min1.thm1.tptp2017-02-06 16:47 520  
[   ]funct_5__1490_51.min1.thm12017-02-06 12:45 883  
[   ]funct_5__1491_31.min1.thm12017-02-06 12:45 755  
[   ]funct_5__1492_31.min1.thm12017-02-06 12:45 907  
[   ]funct_5__1493_30.min1.thm12017-02-06 12:45 911  
[   ]funct_5__1494_29.min1.thm12017-02-06 12:45 857  
[   ]funct_5__1495_21.min1.thm12017-02-06 12:45 674  
[   ]funct_5__1496_13.min1.thm12017-02-06 12:45 623  
[   ]funct_5__1497_20.min1.thm12017-02-06 12:45 587  
[   ]funct_5__1499_23.min1.thm12017-02-06 12:45 958  
[   ]funct_5__1500_20.min1.thm12017-02-06 12:45 586  
[   ]funct_5__1501_28.min1.thm12017-02-06 12:45 765  
[   ]funct_5__1503_30.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1504_20.min1.thm12017-02-06 12:45 586  
[   ]funct_5__1505_33.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1507_28.min1.thm12017-02-06 12:45 1.7K 
[   ]funct_5__1508_51.min1.thm12017-02-06 12:45 1.5K 
[   ]funct_5__1509_19.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1511_17.min1.thm12017-02-06 12:45 548  
[   ]funct_5__1511_17.min1.thm1.tptp2017-02-06 16:47 474  
[   ]funct_5__1519_53.min1.thm12017-02-06 12:45 438  
[   ]funct_5__1519_53.min1.thm1.tptp2017-02-06 16:47 366  
[   ]funct_5__1520_17.min1.thm12017-02-06 12:45 553  
[   ]funct_5__1520_17.min1.thm1.tptp2017-02-06 16:47 493  
[   ]funct_5__1545_20.min1.thm12017-02-06 12:45 947  
[   ]funct_5__1546_28.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1552_20.min1.thm12017-02-06 12:45 947  
[   ]funct_5__1553_28.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1557_34.min1.thm12017-02-06 12:45 473  
[   ]funct_5__1557_34.min1.thm1.tptp2017-02-06 16:47 411  
[   ]funct_5__1560_12.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1561_28.min1.thm12017-02-06 12:45 1.6K 
[   ]funct_5__1563_21.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1565_37.min1.thm12017-02-06 12:45 583  
[   ]funct_5__1572_16.min1.thm12017-02-06 12:45 596  
[   ]funct_5__1576_19.min1.thm12017-02-06 12:45 947  
[   ]funct_5__1577_27.min1.thm12017-02-06 12:45 452  
[   ]funct_5__1577_27.min1.thm1.tptp2017-02-06 16:47 374  
[   ]funct_5__1579_23.min1.thm12017-02-06 12:45 551  
[   ]funct_5__1580_27.min1.thm12017-02-06 12:45 453  
[   ]funct_5__1580_27.min1.thm1.tptp2017-02-06 16:47 375  
[   ]funct_5__1582_23.min1.thm12017-02-06 12:45 552  
[   ]funct_5__1583_23.min1.thm12017-02-06 12:45 708  
[   ]funct_5__1585_28.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1586_23.min1.thm12017-02-06 12:45 615  
[   ]funct_5__1587_33.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1588_56.min1.thm12017-02-06 12:45 936  
[   ]funct_5__1589_21.min1.thm12017-02-06 12:45 1.4K 
[   ]funct_5__1595_21.min1.thm12017-02-06 12:45 753  
[   ]funct_5__1596_25.min1.thm12017-02-06 12:45 511  
[   ]funct_5__1596_25.min1.thm1.tptp2017-02-06 16:47 440  
[   ]funct_5__1600_19.min1.thm12017-02-06 12:45 590  
[   ]funct_5__1600_19.min1.thm1.tptp2017-02-06 16:47 546  
[   ]funct_5__1601_25.min1.thm12017-02-06 12:45 512  
[   ]funct_5__1601_25.min1.thm1.tptp2017-02-06 16:47 441  
[   ]funct_5__1605_19.min1.thm12017-02-06 12:45 592  
[   ]funct_5__1605_19.min1.thm1.tptp2017-02-06 16:47 548  
[   ]funct_5__1606_67.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1609_24.min1.thm12017-02-06 12:45 701  
[   ]funct_5__1610_29.min1.thm12017-02-06 12:45 1.3K 
[   ]funct_5__1612_23.min1.thm12017-02-06 12:45 1.4K 
[   ]funct_5__1613_50.min1.thm12017-02-06 12:45 1.4K 
[   ]funct_5__1614_28.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1615_13.min1.thm12017-02-06 12:45 1.3K 
[   ]funct_5__1616_19.min1.thm12017-02-06 12:45 703  
[   ]funct_5__1618_17.min1.thm12017-02-06 12:45 613  
[   ]funct_5__1618_17.min1.thm1.tptp2017-02-06 16:47 539  
[   ]funct_5__1645_22.min1.thm12017-02-06 12:45 899  
[   ]funct_5__1646_26.min1.thm12017-02-06 12:45 801  
[   ]funct_5__1650_22.min1.thm12017-02-06 12:45 899  
[   ]funct_5__1651_26.min1.thm12017-02-06 12:45 803  
[   ]funct_5__1652_23.min1.thm12017-02-06 12:45 1.4K 
[   ]funct_5__1654_38.min1.thm12017-02-06 12:45 529  
[   ]funct_5__1661_18.min1.thm12017-02-06 12:45 604  
[   ]funct_5__1665_21.min1.thm12017-02-06 12:45 899  
[   ]funct_5__1666_26.min1.thm12017-02-06 12:45 722  
[   ]funct_5__1667_71.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1670_36.min1.thm12017-02-06 12:45 608  
[   ]funct_5__1670_36.min1.thm1.tptp2017-02-06 16:47 537  
[   ]funct_5__1671_22.min1.thm12017-02-06 12:45 882  
[   ]funct_5__1672_23.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1679_28.min1.thm12017-02-06 12:45 626  
[   ]funct_5__1679_28.min1.thm1.tptp2017-02-06 16:47 582  
[   ]funct_5__1680_53.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1682_38.min1.thm12017-02-06 12:45 864  
[   ]funct_5__1683_16.min1.thm12017-02-06 12:45 358  
[   ]funct_5__1683_16.min1.thm1.tptp2017-02-06 16:47 290  
[   ]funct_5__1684_33.min1.thm12017-02-06 12:45 691  
[   ]funct_5__1685_31.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1686_21.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1688_61.min1.thm12017-02-06 12:45 561  
[   ]funct_5__1688_61.min1.thm1.tptp2017-02-06 16:47 487  
[   ]funct_5__1694_31.min1.thm12017-02-06 12:45 391  
[   ]funct_5__1694_31.min1.thm1.tptp2017-02-06 16:47 312  
[   ]funct_5__1697_31.min1.thm12017-02-06 12:45 339  
[   ]funct_5__1697_31.min1.thm1.tptp2017-02-06 16:47 260  
[   ]funct_5__1698_46.min1.thm12017-02-06 12:45 917  
[   ]funct_5__1699_66.min1.thm12017-02-06 12:45 1.3K 
[   ]funct_5__1702_23.min1.thm12017-02-06 12:45 511  
[   ]funct_5__1703_64.min1.thm12017-02-06 12:45 866  
[   ]funct_5__1704_48.min1.thm12017-02-06 12:45 331  
[   ]funct_5__1705_61.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1708_17.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1708_17.min1.thm1.tptp2017-02-06 16:47 1.2K 
[   ]funct_5__1732_26.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1736_26.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1737_41.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1738_39.min1.thm12017-02-06 12:45 1.3K 
[   ]funct_5__1746_44.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1747_25.min1.thm12017-02-06 12:45 681  
[   ]funct_5__1749_37.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1750_25.min1.thm12017-02-06 12:45 680  
[   ]funct_5__1752_37.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1753_40.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1756_28.min1.thm12017-02-06 12:45 1.6K 
[   ]funct_5__1757_40.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1760_28.min1.thm12017-02-06 12:45 1.6K 
[   ]funct_5__1762_16.min1.thm12017-02-06 12:45 1.4K 
[   ]funct_5__1765_21.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1767_36.min1.thm12017-02-06 12:45 638  
[   ]funct_5__1774_16.min1.thm12017-02-06 12:45 596  
[   ]funct_5__1777_37.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1778_26.min1.thm12017-02-06 12:45 1.3K 
[   ]funct_5__1779_26.min1.thm12017-02-06 12:45 1.3K 
[   ]funct_5__1780_31.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1783_33.min1.thm12017-02-06 12:45 1.9K 
[   ]funct_5__1784_31.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1787_33.min1.thm12017-02-06 12:45 1.9K 
[   ]funct_5__1788_36.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1789_21.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1795_21.min1.thm12017-02-06 12:45 753  
[   ]funct_5__1796_24.min1.thm12017-02-06 12:45 511  
[   ]funct_5__1796_24.min1.thm1.tptp2017-02-06 16:47 440  
[   ]funct_5__1800_19.min1.thm12017-02-06 12:45 590  
[   ]funct_5__1800_19.min1.thm1.tptp2017-02-06 16:47 546  
[   ]funct_5__1801_24.min1.thm12017-02-06 12:45 512  
[   ]funct_5__1801_24.min1.thm1.tptp2017-02-06 16:47 441  
[   ]funct_5__1805_19.min1.thm12017-02-06 12:45 592  
[   ]funct_5__1805_19.min1.thm1.tptp2017-02-06 16:47 548  
[   ]funct_5__1806_72.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1809_32.min1.thm12017-02-06 12:45 656  
[   ]funct_5__1809_32.min1.thm1.tptp2017-02-06 16:47 585  
[   ]funct_5__1810_29.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1812_37.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1813_56.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1815_33.min1.thm12017-02-06 12:45 1.6K 
[   ]funct_5__1816_19.min1.thm12017-02-06 12:45 1.5K 
[   ]funct_5__1818_17.min1.thm12017-02-06 12:45 613  
[   ]funct_5__1818_17.min1.thm1.tptp2017-02-06 16:47 539  
[   ]funct_5__1845_24.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1846_22.min1.thm12017-02-06 12:45 827  
[   ]funct_5__1850_24.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1851_22.min1.thm12017-02-06 12:45 829  
[   ]funct_5__1859_22.min1.thm12017-02-06 12:45 425  
[   ]funct_5__1859_22.min1.thm1.tptp2017-02-06 16:47 357  
[   ]funct_5__1860_28.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1861_33.min1.thm12017-02-06 12:45 822  
[   ]funct_5__1863_22.min1.thm12017-02-06 12:45 425  
[   ]funct_5__1863_22.min1.thm1.tptp2017-02-06 16:47 357  
[   ]funct_5__1864_27.min1.thm12017-02-06 12:45 683  
[   ]funct_5__1866_21.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1867_27.min1.thm12017-02-06 12:45 682  
[   ]funct_5__1868_30.min1.thm12017-02-06 12:45 1.3K 
[   ]funct_5__1873_29.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__1874_29.min1.thm12017-02-06 12:45 648  
[   ]funct_5__1875_26.min1.thm12017-02-06 12:45 419  
[   ]funct_5__1875_26.min1.thm1.tptp2017-02-06 16:47 354  
[   ]funct_5__1876_30.min1.thm12017-02-06 12:45 563  
[   ]funct_5__1878_28.min1.thm12017-02-06 12:45 703  
[   ]funct_5__1878_28.min1.thm1.tptp2017-02-06 16:47 620  
[   ]funct_5__1880_21.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1882_34.min1.thm12017-02-06 12:45 547  
[   ]funct_5__1889_16.min1.thm12017-02-06 12:45 596  
[   ]funct_5__1893_23.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1894_19.min1.thm12017-02-06 12:45 500  
[   ]funct_5__1895_18.min1.thm12017-02-06 12:45 902  
[   ]funct_5__1896_21.min1.thm12017-02-06 12:45 673  
[   ]funct_5__1913_26.min1.thm12017-02-06 12:45 634  
[   ]funct_5__1915_18.min1.thm12017-02-06 12:45 411  
[   ]funct_5__1915_18.min1.thm1.tptp2017-02-06 16:47 346  
[   ]funct_5__1916_21.min1.thm12017-02-06 12:45 609  
[   ]funct_5__1917_23.min1.thm12017-02-06 12:45 731  
[   ]funct_5__1922_21.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1923_24.min1.thm12017-02-06 12:45 403  
[   ]funct_5__1923_24.min1.thm1.tptp2017-02-06 16:47 338  
[   ]funct_5__1924_21.min1.thm12017-02-06 12:45 1.5K 
[   ]funct_5__1930_52.min1.thm12017-02-06 12:45 608  
[   ]funct_5__1931_28.min1.thm12017-02-06 12:45 621  
[   ]funct_5__1931_28.min1.thm1.tptp2017-02-06 16:47 570  
[   ]funct_5__1932_21.min1.thm12017-02-06 12:45 413  
[   ]funct_5__1932_21.min1.thm1.tptp2017-02-06 16:47 359  
[   ]funct_5__1935_27.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1936_23.min1.thm12017-02-06 12:45 778  
[   ]funct_5__1937_19.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1939_17.min1.thm12017-02-06 12:45 471  
[   ]funct_5__1939_17.min1.thm1.tptp2017-02-06 16:47 397  
[   ]funct_5__1966_20.min1.thm12017-02-06 12:45 941  
[   ]funct_5__1970_20.min1.thm12017-02-06 12:45 941  
[   ]funct_5__1971_27.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__1972_25.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1976_30.min1.thm12017-02-06 12:45 423  
[   ]funct_5__1976_30.min1.thm1.tptp2017-02-06 16:47 369  
[   ]funct_5__1977_28.min1.thm12017-02-06 12:45 876  
[   ]funct_5__1979_21.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__1981_34.min1.thm12017-02-06 12:45 577  
[   ]funct_5__1988_16.min1.thm12017-02-06 12:45 596  
[   ]funct_5__1992_19.min1.thm12017-02-06 12:45 941  
[   ]funct_5__1993_19.min1.thm12017-02-06 12:45 303  
[   ]funct_5__1995_21.min1.thm12017-02-06 12:45 717  
[   ]funct_5__1996_19.min1.thm12017-02-06 12:45 391  
[   ]funct_5__1996_19.min1.thm1.tptp2017-02-06 16:47 341  
[   ]funct_5__1998_21.min1.thm12017-02-06 12:45 718  
[   ]funct_5__1999_22.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__2008_17.min1.thm12017-02-06 12:45 301  
[   ]funct_5__2010_17.min1.thm12017-02-06 12:45 641  
[   ]funct_5__2010_17.min1.thm1.tptp2017-02-06 16:47 582  
[   ]funct_5__2011_17.min1.thm12017-02-06 12:45 388  
[   ]funct_5__2011_17.min1.thm1.tptp2017-02-06 16:47 338  
[   ]funct_5__2013_17.min1.thm12017-02-06 12:45 706  
[   ]funct_5__2017_21.min1.thm12017-02-06 12:45 701  
[   ]funct_5__2018_27.min1.thm12017-02-06 12:45 490  
[   ]funct_5__2018_27.min1.thm1.tptp2017-02-06 16:47 419  
[   ]funct_5__2023_52.min1.thm12017-02-06 12:45 608  
[   ]funct_5__2024_21.min1.thm12017-02-06 12:45 801  
[   ]funct_5__2027_27.min1.thm12017-02-06 12:45 950  
[   ]funct_5__2028_27.min1.thm12017-02-06 12:45 951  
[   ]funct_5__2029_19.min1.thm12017-02-06 12:45 1.5K 
[   ]funct_5__2031_17.min1.thm12017-02-06 12:45 501  
[   ]funct_5__2031_17.min1.thm1.tptp2017-02-06 16:47 427  
[   ]funct_5__2043_14.min1.thm12017-02-06 12:45 383  
[   ]funct_5__2049_11.min1.thm12017-02-06 12:45 130  
[   ]funct_5__2052_11.min1.thm12017-02-06 12:45 130  
[   ]funct_5__2057_14.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__2076_28.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__2085_22.min1.thm12017-02-06 12:45 909  
[   ]funct_5__2088_36.min1.thm12017-02-06 12:45 1.5K 
[   ]funct_5__2096_32.min1.thm12017-02-06 12:45 1.5K 
[   ]funct_5__2097_19.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__2099_20.min1.thm12017-02-06 12:45 1.6K 
[   ]funct_5__2100_17.min1.thm12017-02-06 12:45 2.2K 
[   ]funct_5__2106_22.min1.thm12017-02-06 12:45 909  
[   ]funct_5__2109_37.min1.thm12017-02-06 12:45 1.5K 
[   ]funct_5__2117_32.min1.thm12017-02-06 12:45 1.5K 
[   ]funct_5__2118_19.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__2120_21.min1.thm12017-02-06 12:45 1.6K 
[   ]funct_5__2121_17.min1.thm12017-02-06 12:45 2.2K 
[   ]funct_5__2127_14.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__2129_14.min1.thm12017-02-06 12:45 1.2K 
[   ]funct_5__2135_18.min1.thm12017-02-06 12:45 952  
[   ]funct_5__2136_24.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__2143_18.min1.thm12017-02-06 12:45 952  
[   ]funct_5__2144_24.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__2156_23.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__2158_25.min1.thm12017-02-06 12:45 1.4K 
[   ]funct_5__2159_34.min1.thm12017-02-06 12:45 1.6K 
[   ]funct_5__2160_19.min1.thm12017-02-06 12:45 1.1K 
[   ]funct_5__2170_21.min1.thm12017-02-06 12:45 1.0K 
[   ]funct_5__2171_17.min1.thm12017-02-06 12:45 3.1K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80