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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]algspec1__42_42.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__43_34.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__50_13.min1.thm12017-02-06 12:46 246  
[ ]algspec1__53_31.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__54_40.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__58_37.min1.thm12017-02-06 12:46 888  
[ ]algspec1__60_41.min1.thm12017-02-06 12:46 519  
[ ]algspec1__60_41.min1.thm1.tptp2017-02-06 16:48 459  
[ ]algspec1__61_31.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__62_28.min1.thm12017-02-06 12:46 723  
[ ]algspec1__63_38.min1.thm12017-02-06 12:46 513  
[ ]algspec1__63_38.min1.thm1.tptp2017-02-06 16:48 451  
[ ]algspec1__66_40.min1.thm12017-02-06 12:46 1.7K 
[ ]algspec1__69_35.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__70_40.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__71_17.min1.thm12017-02-06 12:46 2.0K 
[ ]algspec1__84_17.min1.thm12017-02-06 12:46 843  
[ ]algspec1__85_35.min1.thm12017-02-06 12:46 835  
[ ]algspec1__90_19.min1.thm12017-02-06 12:46 749  
[ ]algspec1__91_17.min1.thm12017-02-06 12:46 722  
[ ]algspec1__92_24.min1.thm12017-02-06 12:46 574  
[ ]algspec1__93_35.min1.thm12017-02-06 12:46 620  
[ ]algspec1__101_17.min1.thm12017-02-06 12:46 722  
[ ]algspec1__103_24.min1.thm12017-02-06 12:46 754  
[ ]algspec1__104_25.min1.thm12017-02-06 12:46 754  
[ ]algspec1__105_19.min1.thm12017-02-06 12:46 749  
[ ]algspec1__106_30.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__125_19.min1.thm12017-02-06 12:46 730  
[ ]algspec1__126_21.min1.thm12017-02-06 12:46 757  
[ ]algspec1__129_31.min1.thm12017-02-06 12:46 732  
[ ]algspec1__134_24.min1.thm12017-02-06 12:46 715  
[ ]algspec1__135_34.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__140_27.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__141_53.min1.thm12017-02-06 12:46 826  
[ ]algspec1__145_24.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__146_19.min1.thm12017-02-06 12:46 1.5K 
[ ]algspec1__153_18.min1.thm12017-02-06 12:46 722  
[ ]algspec1__154_20.min1.thm12017-02-06 12:46 749  
[ ]algspec1__157_29.min1.thm12017-02-06 12:46 720  
[ ]algspec1__162_22.min1.thm12017-02-06 12:46 707  
[ ]algspec1__163_35.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__164_19.min1.thm12017-02-06 12:46 756  
[ ]algspec1__166_17.min1.thm12017-02-06 12:46 1.5K 
[ ]algspec1__180_23.min1.thm12017-02-06 12:46 520  
[ ]algspec1__180_23.min1.thm1.tptp2017-02-06 16:48 458  
[ ]algspec1__182_18.min1.thm12017-02-06 12:46 714  
[ ]algspec1__184_28.min1.thm12017-02-06 12:46 744  
[ ]algspec1__185_23.min1.thm12017-02-06 12:46 613  
[ ]algspec1__187_18.min1.thm12017-02-06 12:46 714  
[ ]algspec1__189_29.min1.thm12017-02-06 12:46 744  
[ ]algspec1__190_26.min1.thm12017-02-06 12:46 526  
[ ]algspec1__192_19.min1.thm12017-02-06 12:46 519  
[ ]algspec1__192_19.min1.thm1.tptp2017-02-06 16:48 442  
[ ]algspec1__193_22.min1.thm12017-02-06 12:46 742  
[ ]algspec1__194_19.min1.thm12017-02-06 12:46 742  
[ ]algspec1__195_34.min1.thm12017-02-06 12:46 726  
[ ]algspec1__196_17.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__205_17.min1.thm12017-02-06 12:46 797  
[ ]algspec1__208_17.min1.thm12017-02-06 12:46 797  
[ ]algspec1__210_17.min1.thm12017-02-06 12:46 1.8K 
[ ]algspec1__214_43.min1.thm12017-02-06 12:46 562  
[ ]algspec1__216_23.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__219_12.min1.thm12017-02-06 12:46 734  
[ ]algspec1__222_21.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__223_19.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__233_17.min1.thm12017-02-06 12:46 797  
[ ]algspec1__241_18.min1.thm12017-02-06 12:46 1.9K 
[ ]algspec1__242_41.min1.thm12017-02-06 12:46 1.8K 
[ ]algspec1__243_17.min1.thm12017-02-06 12:46 797  
[ ]algspec1__249_19.min1.thm12017-02-06 12:46 1.8K 
[ ]algspec1__250_19.min1.thm12017-02-06 12:46 1.6K 
[ ]algspec1__251_33.min1.thm12017-02-06 12:46 2.5K 
[ ]algspec1__252_29.min1.thm12017-02-06 12:46 830  
[ ]algspec1__256_13.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__258_24.min1.thm12017-02-06 12:46 2.9K 
[ ]algspec1__259_13.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__261_25.min1.thm12017-02-06 12:46 2.9K 
[ ]algspec1__272_16.min1.thm12017-02-06 12:46 626  
[ ]algspec1__274_35.min1.thm12017-02-06 12:46 822  
[ ]algspec1__275_19.min1.thm12017-02-06 12:46 2.0K 
[ ]algspec1__284_14.min1.thm12017-02-06 12:46 622  
[ ]algspec1__285_66.min1.thm12017-02-06 12:46 1.7K 
[ ]algspec1__286_39.min1.thm12017-02-06 12:46 850  
[ ]algspec1__287_31.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__288_34.min1.thm12017-02-06 12:46 800  
[ ]algspec1__289_29.min1.thm12017-02-06 12:46 748  
[ ]algspec1__298_31.min1.thm12017-02-06 12:46 874  
[ ]algspec1__300_17.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__311_19.min1.thm12017-02-06 12:46 445  
[ ]algspec1__312_39.min1.thm12017-02-06 12:46 811  
[ ]algspec1__320_16.min1.thm12017-02-06 12:46 626  
[ ]algspec1__323_17.min1.thm12017-02-06 12:46 442  
[ ]algspec1__324_17.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__332_27.min1.thm12017-02-06 12:46 647  
[ ]algspec1__334_19.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__342_62.min1.thm12017-02-06 12:46 1.5K 
[ ]algspec1__343_30.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__344_31.min1.thm12017-02-06 12:46 1.9K 
[ ]algspec1__345_19.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__353_26.min1.thm12017-02-06 12:46 780  
[ ]algspec1__354_41.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__355_11.min1.thm12017-02-06 12:46 944  
[ ]algspec1__359_44.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__367_20.min1.thm12017-02-06 12:46 505  
[ ]algspec1__368_38.min1.thm12017-02-06 12:46 817  
[ ]algspec1__369_13.min1.thm12017-02-06 12:46 792  
[ ]algspec1__373_47.min1.thm12017-02-06 12:46 779  
[ ]algspec1__383_20.min1.thm12017-02-06 12:46 545  
[ ]algspec1__384_20.min1.thm12017-02-06 12:46 969  
[ ]algspec1__385_17.min1.thm12017-02-06 12:46 1.7K 
[ ]algspec1__394_15.min1.thm12017-02-06 12:46 379  
[ ]algspec1__394_15.min1.thm1.tptp2017-02-06 16:48 301  
[ ]algspec1__395_13.min1.thm12017-02-06 12:46 379  
[ ]algspec1__395_13.min1.thm1.tptp2017-02-06 16:48 301  
[ ]algspec1__396_27.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__398_36.min1.thm12017-02-06 12:46 952  
[ ]algspec1__399_27.min1.thm12017-02-06 12:46 547  
[ ]algspec1__401_25.min1.thm12017-02-06 12:46 443  
[ ]algspec1__401_25.min1.thm1.tptp2017-02-06 16:48 363  
[ ]algspec1__402_27.min1.thm12017-02-06 12:46 547  
[ ]algspec1__404_41.min1.thm12017-02-06 12:46 1.5K 
[ ]algspec1__405_46.min1.thm12017-02-06 12:46 706  
[ ]algspec1__406_40.min1.thm12017-02-06 12:46 938  
[ ]algspec1__407_42.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__408_40.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__409_40.min1.thm12017-02-06 12:46 2.0K 
[ ]algspec1__410_42.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__411_40.min1.thm12017-02-06 12:46 1.5K 
[ ]algspec1__418_43.min1.thm12017-02-06 12:46 687  
[ ]algspec1__420_43.min1.thm12017-02-06 12:46 927  
[ ]algspec1__421_43.min1.thm12017-02-06 12:46 594  
[ ]algspec1__422_45.min1.thm12017-02-06 12:46 834  
[ ]algspec1__423_17.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__431_42.min1.thm12017-02-06 12:46 454  
[ ]algspec1__431_42.min1.thm1.tptp2017-02-06 16:48 383  
[ ]algspec1__432_59.min1.thm12017-02-06 12:46 647  
[ ]algspec1__432_59.min1.thm1.tptp2017-02-06 16:48 576  
[ ]algspec1__442_32.min1.thm12017-02-06 12:46 762  
[ ]algspec1__450_48.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__451_19.min1.thm12017-02-06 12:46 584  
[ ]algspec1__452_50.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__453_55.min1.thm12017-02-06 12:46 1.6K 
[ ]algspec1__455_14.min1.thm12017-02-06 12:46 626  
[ ]algspec1__458_20.min1.thm12017-02-06 12:46 282  
[ ]algspec1__459_39.min1.thm12017-02-06 12:46 1.5K 
[ ]algspec1__471_24.min1.thm12017-02-06 12:46 431  
[ ]algspec1__471_24.min1.thm1.tptp2017-02-06 16:48 353  
[ ]algspec1__478_19.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__480_22.min1.thm12017-02-06 12:46 431  
[ ]algspec1__480_22.min1.thm1.tptp2017-02-06 16:48 353  
[ ]algspec1__481_36.min1.thm12017-02-06 12:46 747  
[ ]algspec1__483_41.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__484_21.min1.thm12017-02-06 12:46 405  
[ ]algspec1__484_21.min1.thm1.tptp2017-02-06 16:48 327  
[ ]algspec1__485_23.min1.thm12017-02-06 12:46 435  
[ ]algspec1__485_23.min1.thm1.tptp2017-02-06 16:48 357  
[ ]algspec1__487_33.min1.thm12017-02-06 12:46 843  
[ ]algspec1__488_18.min1.thm12017-02-06 12:46 409  
[ ]algspec1__488_18.min1.thm1.tptp2017-02-06 16:48 331  
[ ]algspec1__489_27.min1.thm12017-02-06 12:46 726  
[ ]algspec1__491_27.min1.thm12017-02-06 12:46 437  
[ ]algspec1__491_27.min1.thm1.tptp2017-02-06 16:48 363  
[ ]algspec1__492_45.min1.thm12017-02-06 12:46 657  
[ ]algspec1__495_6.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__496_32.min1.thm12017-02-06 12:46 651  
[ ]algspec1__496_32.min1.thm1.tptp2017-02-06 16:48 572  
[ ]algspec1__497_53.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__498_52.min1.thm12017-02-06 12:46 806  
[ ]algspec1__499_51.min1.thm12017-02-06 12:46 1.7K 
[ ]algspec1__500_20.min1.thm12017-02-06 12:46 2.0K 
[ ]algspec1__501_13.min1.thm12017-02-06 12:46 760  
[ ]algspec1__512_24.min1.thm12017-02-06 12:46 672  
[ ]algspec1__513_74.min1.thm12017-02-06 12:46 549  
[ ]algspec1__513_74.min1.thm1.tptp2017-02-06 16:48 511  
[ ]algspec1__525_20.min1.thm12017-02-06 12:46 491  
[ ]algspec1__525_20.min1.thm1.tptp2017-02-06 16:48 414  
[ ]algspec1__526_37.min1.thm12017-02-06 12:46 909  
[ ]algspec1__529_25.min1.thm12017-02-06 12:46 366  
[ ]algspec1__530_24.min1.thm12017-02-06 12:46 765  
[ ]algspec1__542_22.min1.thm12017-02-06 12:46 566  
[ ]algspec1__543_17.min1.thm12017-02-06 12:46 705  
[ ]algspec1__552_21.min1.thm12017-02-06 12:46 511  
[ ]algspec1__553_20.min1.thm12017-02-06 12:46 707  
[ ]algspec1__554_22.min1.thm12017-02-06 12:46 883  
[ ]algspec1__555_23.min1.thm12017-02-06 12:46 851  
[ ]algspec1__557_22.min1.thm12017-02-06 12:46 793  
[ ]algspec1__558_11.min1.thm12017-02-06 12:46 475  
[ ]algspec1__566_47.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__576_20.min1.thm12017-02-06 12:46 707  
[ ]algspec1__579_26.min1.thm12017-02-06 12:46 513  
[ ]algspec1__584_19.min1.thm12017-02-06 12:46 584  
[ ]algspec1__586_23.min1.thm12017-02-06 12:46 758  
[ ]algspec1__587_24.min1.thm12017-02-06 12:46 792  
[ ]algspec1__588_23.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__589_19.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__596_19.min1.thm12017-02-06 12:46 798  
[ ]algspec1__597_18.min1.thm12017-02-06 12:46 799  
[ ]algspec1__598_32.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__600_17.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__612_24.min1.thm12017-02-06 12:46 649  
[ ]algspec1__614_22.min1.thm12017-02-06 12:46 707  
[ ]algspec1__615_22.min1.thm12017-02-06 12:46 707  
[ ]algspec1__616_41.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__617_22.min1.thm12017-02-06 12:46 905  
[ ]algspec1__618_23.min1.thm12017-02-06 12:46 511  
[ ]algspec1__619_21.min1.thm12017-02-06 12:46 511  
[ ]algspec1__620_47.min1.thm12017-02-06 12:46 1.5K 
[ ]algspec1__621_30.min1.thm12017-02-06 12:46 849  
[ ]algspec1__622_34.min1.thm12017-02-06 12:46 847  
[ ]algspec1__623_31.min1.thm12017-02-06 12:46 426  
[ ]algspec1__624_25.min1.thm12017-02-06 12:46 749  
[ ]algspec1__633_18.min1.thm12017-02-06 12:46 599  
[ ]algspec1__636_20.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__637_52.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__639_16.min1.thm12017-02-06 12:46 934  
[ ]algspec1__670_43.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__671_43.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__686_48.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__688_65.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__697_43.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__698_43.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__710_40.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__712_60.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__744_46.min1.thm12017-02-06 12:46 665  
[ ]algspec1__745_48.min1.thm12017-02-06 12:46 665  
[ ]algspec1__748_35.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__754_29.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__756_37.min1.thm12017-02-06 12:46 942  
[ ]algspec1__762_75.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__766_39.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__781_14.min1.thm12017-02-06 12:46 698  
[ ]algspec1__794_37.min1.thm12017-02-06 12:46 1.7K 
[ ]algspec1__795_37.min1.thm12017-02-06 12:46 1.7K 
[ ]algspec1__796_11.min1.thm12017-02-06 12:46 245  
[ ]algspec1__800_20.min1.thm12017-02-06 12:46 584  
[ ]algspec1__801_44.min1.thm12017-02-06 12:46 893  
[ ]algspec1__804_65.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__812_46.min1.thm12017-02-06 12:46 893  
[ ]algspec1__827_43.min1.thm12017-02-06 12:46 500  
[ ]algspec1__828_47.min1.thm12017-02-06 12:46 413  
[ ]algspec1__828_47.min1.thm1.tptp2017-02-06 16:48 330  
[ ]algspec1__829_17.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__864_53.min1.thm12017-02-06 12:46 479  
[ ]algspec1__864_53.min1.thm1.tptp2017-02-06 16:48 397  
[ ]algspec1__875_41.min1.thm12017-02-06 12:46 1.9K 
[ ]algspec1__879_44.min1.thm12017-02-06 12:46 1.9K 
[ ]algspec1__884_53.min1.thm12017-02-06 12:46 479  
[ ]algspec1__884_53.min1.thm1.tptp2017-02-06 16:48 397  
[ ]algspec1__899_34.min1.thm12017-02-06 12:46 690  
[ ]algspec1__901_56.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__903_34.min1.thm12017-02-06 12:46 1.8K 
[ ]algspec1__904_21.min1.thm12017-02-06 12:46 2.0K 
[ ]algspec1__907_32.min1.thm12017-02-06 12:46 690  
[ ]algspec1__918_31.min1.thm12017-02-06 12:46 3.3K 
[ ]algspec1__930_44.min1.thm12017-02-06 12:46 372  
[ ]algspec1__930_44.min1.thm1.tptp2017-02-06 16:48 294  
[ ]algspec1__931_29.min1.thm12017-02-06 12:46 3.3K 
[ ]algspec1__954_33.min1.thm12017-02-06 12:46 1.7K 
[ ]algspec1__970_32.min1.thm12017-02-06 12:46 1.7K 
[ ]algspec1__981_54.min1.thm12017-02-06 12:46 1.7K 
[ ]algspec1__982_17.min1.thm12017-02-06 12:46 2.2K 
[ ]algspec1__997_40.min1.thm12017-02-06 12:46 1.7K 
[ ]algspec1__1002_31.min1.thm12017-02-06 12:46 1.6K 
[ ]algspec1__1005_32.min1.thm12017-02-06 12:46 2.3K 
[ ]algspec1__1020_40.min1.thm12017-02-06 12:46 1.7K 
[ ]algspec1__1022_31.min1.thm12017-02-06 12:46 1.6K 
[ ]algspec1__1025_37.min1.thm12017-02-06 12:46 2.2K 
[ ]algspec1__1042_34.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__1044_13.min1.thm12017-02-06 12:46 503  
[ ]algspec1__1045_34.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__1047_33.min1.thm12017-02-06 12:46 1.6K 
[ ]algspec1__1048_59.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__1049_30.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__1051_13.min1.thm12017-02-06 12:46 504  
[ ]algspec1__1052_40.min1.thm12017-02-06 12:46 1.7K 
[ ]algspec1__1059_15.min1.thm12017-02-06 12:46 929  
[ ]algspec1__1060_38.min1.thm12017-02-06 12:46 1.5K 
[ ]algspec1__1061_54.min1.thm12017-02-06 12:46 2.0K 
[ ]algspec1__1064_59.min1.thm12017-02-06 12:46 2.1K 
[ ]algspec1__1065_55.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__1072_32.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__1078_30.min1.thm12017-02-06 12:46 1.6K 
[ ]algspec1__1079_67.min1.thm12017-02-06 12:46 2.6K 
[ ]algspec1__1090_15.min1.thm12017-02-06 12:46 925  
[ ]algspec1__1091_36.min1.thm12017-02-06 12:46 1.5K 
[ ]algspec1__1094_46.min1.thm12017-02-06 12:46 570  
[ ]algspec1__1096_33.min1.thm12017-02-06 12:46 738  
[ ]algspec1__1098_36.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__1099_33.min1.thm12017-02-06 12:46 649  
[ ]algspec1__1109_4.min1.thm12017-02-06 12:46 1.6K 
[ ]algspec1__1112_17.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1123_67.min1.thm12017-02-06 12:46 701  
[ ]algspec1__1125_63.min1.thm12017-02-06 12:46 701  
[ ]algspec1__1126_17.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__1137_37.min1.thm12017-02-06 12:46 756  
[ ]algspec1__1140_36.min1.thm12017-02-06 12:46 756  
[ ]algspec1__1141_40.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1142_17.min1.thm12017-02-06 12:46 1.5K 
[ ]algspec1__1154_60.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1159_46.min1.thm12017-02-06 12:46 1.9K 
[ ]algspec1__1173_60.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1178_45.min1.thm12017-02-06 12:46 1.9K 
[ ]algspec1__1193_18.min1.thm12017-02-06 12:46 360  
[ ]algspec1__1193_18.min1.thm1.tptp2017-02-06 16:48 283  
[ ]algspec1__1201_32.min1.thm12017-02-06 12:46 356  
[ ]algspec1__1201_32.min1.thm1.tptp2017-02-06 16:48 279  
[ ]algspec1__1209_31.min1.thm12017-02-06 12:46 720  
[ ]algspec1__1210_29.min1.thm12017-02-06 12:46 639  
[ ]algspec1__1211_34.min1.thm12017-02-06 12:46 867  
[ ]algspec1__1212_17.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__1223_71.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1228_63.min1.thm12017-02-06 12:46 780  
[ ]algspec1__1234_69.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1236_66.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1238_66.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1240_47.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1247_47.min1.thm12017-02-06 12:46 1.6K 
[ ]algspec1__1248_36.min1.thm12017-02-06 12:46 646  
[ ]algspec1__1249_19.min1.thm12017-02-06 12:46 614  
[ ]algspec1__1251_28.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1252_33.min1.thm12017-02-06 12:46 614  
[ ]algspec1__1261_63.min1.thm12017-02-06 12:46 780  
[ ]algspec1__1262_66.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1264_69.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1266_66.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__1268_73.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1275_47.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1282_47.min1.thm12017-02-06 12:46 1.6K 
[ ]algspec1__1283_36.min1.thm12017-02-06 12:46 646  
[ ]algspec1__1284_19.min1.thm12017-02-06 12:46 614  
[ ]algspec1__1286_28.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1287_33.min1.thm12017-02-06 12:46 614  
[ ]algspec1__1314_64.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1316_35.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__1317_70.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1319_36.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__1320_35.min1.thm12017-02-06 12:46 655  
[ ]algspec1__1321_43.min1.thm12017-02-06 12:46 563  
[ ]algspec1__1322_36.min1.thm12017-02-06 12:46 648  
[ ]algspec1__1323_35.min1.thm12017-02-06 12:46 655  
[ ]algspec1__1324_44.min1.thm12017-02-06 12:46 563  
[ ]algspec1__1325_37.min1.thm12017-02-06 12:46 648  
[ ]algspec1__1326_50.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1327_50.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1330_4.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1337_64.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1341_11.min1.thm12017-02-06 12:46 247  
[ ]algspec1__1347_49.min1.thm12017-02-06 12:46 1.6K 
[ ]algspec1__1348_27.min1.thm12017-02-06 12:46 745  
[ ]algspec1__1350_26.min1.thm12017-02-06 12:46 685  
[ ]algspec1__1351_27.min1.thm12017-02-06 12:46 552  
[ ]algspec1__1352_32.min1.thm12017-02-06 12:46 822  
[ ]algspec1__1353_16.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1354_35.min1.thm12017-02-06 12:46 842  
[ ]algspec1__1355_34.min1.thm12017-02-06 12:46 903  
[ ]algspec1__1359_27.min1.thm12017-02-06 12:46 552  
[ ]algspec1__1360_31.min1.thm12017-02-06 12:46 700  
[ ]algspec1__1363_49.min1.thm12017-02-06 12:46 1.6K 
[ ]algspec1__1364_27.min1.thm12017-02-06 12:46 745  
[ ]algspec1__1366_26.min1.thm12017-02-06 12:46 685  
[ ]algspec1__1367_28.min1.thm12017-02-06 12:46 711  
[ ]algspec1__1368_26.min1.thm12017-02-06 12:46 822  
[ ]algspec1__1369_16.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1370_35.min1.thm12017-02-06 12:46 841  
[ ]algspec1__1371_34.min1.thm12017-02-06 12:46 909  
[ ]algspec1__1387_40.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1388_40.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1390_50.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1391_50.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1394_71.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1396_66.min1.thm12017-02-06 12:46 401  
[ ]algspec1__1396_66.min1.thm1.tptp2017-02-06 16:48 327  
[ ]algspec1__1398_58.min1.thm12017-02-06 12:46 669  
[ ]algspec1__1399_74.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1401_66.min1.thm12017-02-06 12:46 308  
[ ]algspec1__1402_61.min1.thm12017-02-06 12:46 576  
[ ]algspec1__1402_61.min1.thm1.tptp2017-02-06 16:48 498  
[ ]algspec1__1404_22.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__1411_76.min1.thm12017-02-06 12:46 946  
[ ]algspec1__1414_38.min1.thm12017-02-06 12:46 896  
[ ]algspec1__1418_27.min1.thm12017-02-06 12:46 715  
[ ]algspec1__1418_27.min1.thm1.tptp2017-02-06 16:48 643  
[ ]algspec1__1421_33.min1.thm12017-02-06 12:46 845  
[ ]algspec1__1422_30.min1.thm12017-02-06 12:46 744  
[ ]algspec1__1423_17.min1.thm12017-02-06 12:46 922  
[ ]algspec1__1433_29.min1.thm12017-02-06 12:46 689  
[ ]algspec1__1435_43.min1.thm12017-02-06 12:46 831  
[ ]algspec1__1436_25.min1.thm12017-02-06 12:46 919  
[ ]algspec1__1437_42.min1.thm12017-02-06 12:46 789  
[ ]algspec1__1448_29.min1.thm12017-02-06 12:46 690  
[ ]algspec1__1450_45.min1.thm12017-02-06 12:46 832  
[ ]algspec1__1451_26.min1.thm12017-02-06 12:46 757  
[ ]algspec1__1452_43.min1.thm12017-02-06 12:46 725  
[ ]algspec1__1462_32.min1.thm12017-02-06 12:46 534  
[ ]algspec1__1463_26.min1.thm12017-02-06 12:46 851  
[ ]algspec1__1465_39.min1.thm12017-02-06 12:46 800  
[ ]algspec1__1466_29.min1.thm12017-02-06 12:46 826  
[ ]algspec1__1467_52.min1.thm12017-02-06 12:46 787  
[ ]algspec1__1477_13.min1.thm12017-02-06 12:46 195  
[ ]algspec1__1480_34.min1.thm12017-02-06 12:46 652  
[ ]algspec1__1481_18.min1.thm12017-02-06 12:46 581  
[ ]algspec1__1485_51.min1.thm12017-02-06 12:46 394  
[ ]algspec1__1485_51.min1.thm1.tptp2017-02-06 16:48 304  
[ ]algspec1__1487_48.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__1489_40.min1.thm12017-02-06 12:46 1.7K 
[ ]algspec1__1490_41.min1.thm12017-02-06 12:46 1.7K 
[ ]algspec1__1491_17.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1504_29.min1.thm12017-02-06 12:46 674  
[ ]algspec1__1506_58.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1507_60.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1510_43.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__1513_17.min1.thm12017-02-06 12:46 1.5K 
[ ]algspec1__1529_37.min1.thm12017-02-06 12:46 930  
[ ]algspec1__1530_66.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1533_29.min1.thm12017-02-06 12:46 674  
[ ]algspec1__1535_60.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1536_38.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__1540_56.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1542_57.min1.thm12017-02-06 12:46 1.8K 
[ ]algspec1__1554_58.min1.thm12017-02-06 12:46 728  
[ ]algspec1__1555_47.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1556_49.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1557_49.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1563_36.min1.thm12017-02-06 12:46 686  
[ ]algspec1__1564_28.min1.thm12017-02-06 12:46 480  
[ ]algspec1__1564_28.min1.thm1.tptp2017-02-06 16:48 409  
[ ]algspec1__1565_27.min1.thm12017-02-06 12:46 960  
[ ]algspec1__1571_37.min1.thm12017-02-06 12:46 687  
[ ]algspec1__1572_38.min1.thm12017-02-06 12:46 687  
[ ]algspec1__1574_74.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__1577_70.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__1579_31.min1.thm12017-02-06 12:46 766  
[ ]algspec1__1581_43.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1582_38.min1.thm12017-02-06 12:46 687  
[ ]algspec1__1583_28.min1.thm12017-02-06 12:46 861  
[ ]algspec1__1588_67.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__1592_26.min1.thm12017-02-06 12:46 766  
[ ]algspec1__1594_43.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1608_38.min1.thm12017-02-06 12:46 2.3K 
[ ]algspec1__1610_78.min1.thm12017-02-06 12:46 2.6K 
[ ]algspec1__1613_59.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__1614_36.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__1616_40.min1.thm12017-02-06 12:46 1.6K 
[ ]algspec1__1617_41.min1.thm12017-02-06 12:46 1.6K 
[ ]algspec1__1618_39.min1.thm12017-02-06 12:46 2.3K 
[ ]algspec1__1620_46.min1.thm12017-02-06 12:46 729  
[ ]algspec1__1621_63.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__1622_75.min1.thm12017-02-06 12:46 2.1K 
[ ]algspec1__1628_61.min1.thm12017-02-06 12:46 2.3K 
[ ]algspec1__1629_36.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__1631_40.min1.thm12017-02-06 12:46 1.6K 
[ ]algspec1__1632_41.min1.thm12017-02-06 12:46 1.6K 
[ ]algspec1__1643_49.min1.thm12017-02-06 12:46 729  
[ ]algspec1__1644_48.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1645_48.min1.thm12017-02-06 12:46 5.0K 
[ ]algspec1__1666_15.min1.thm12017-02-06 12:46 338  
[ ]algspec1__1679_19.min1.thm12017-02-06 12:46 897  
[ ]algspec1__1680_16.min1.thm12017-02-06 12:46 764  
[ ]algspec1__1689_26.min1.thm12017-02-06 12:46 391  
[ ]algspec1__1689_26.min1.thm1.tptp2017-02-06 16:48 313  
[ ]algspec1__1690_17.min1.thm12017-02-06 12:46 570  
[ ]algspec1__1691_17.min1.thm12017-02-06 12:46 776  
[ ]algspec1__1700_38.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__1701_25.min1.thm12017-02-06 12:46 609  
[ ]algspec1__1702_17.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1714_38.min1.thm12017-02-06 12:46 753  
[ ]algspec1__1715_42.min1.thm12017-02-06 12:46 293  
[ ]algspec1__1716_44.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1717_30.min1.thm12017-02-06 12:46 674  
[ ]algspec1__1718_43.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__1732_44.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1735_38.min1.thm12017-02-06 12:46 788  
[ ]algspec1__1736_42.min1.thm12017-02-06 12:46 293  
[ ]algspec1__1738_45.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__1739_30.min1.thm12017-02-06 12:46 709  
[ ]algspec1__1741_46.min1.thm12017-02-06 12:46 843  
[ ]algspec1__1742_67.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__1746_57.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__1749_26.min1.thm12017-02-06 12:46 684  
[ ]algspec1__1772_71.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1775_43.min1.thm12017-02-06 12:46 246  
[ ]algspec1__1776_56.min1.thm12017-02-06 12:46 1.1K 
[ ]algspec1__1777_19.min1.thm12017-02-06 12:46 317  
[ ]algspec1__1777_19.min1.thm1.tptp2017-02-06 16:48 231  
[ ]algspec1__1779_43.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__1782_42.min1.thm12017-02-06 12:46 651  
[ ]algspec1__1783_74.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__1784_19.min1.thm12017-02-06 12:46 318  
[ ]algspec1__1784_19.min1.thm1.tptp2017-02-06 16:48 232  
[ ]algspec1__1786_45.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__1790_44.min1.thm12017-02-06 12:46 654  
[ ]algspec1__1801_50.min1.thm12017-02-06 12:46 700  
[ ]algspec1__1802_45.min1.thm12017-02-06 12:46 440  
[ ]algspec1__1824_14.min1.thm12017-02-06 12:46 374  
[ ]algspec1__1824_14.min1.thm1.tptp2017-02-06 16:48 288  
[ ]algspec1__1835_44.min1.thm12017-02-06 12:46 246  
[ ]algspec1__1837_48.min1.thm12017-02-06 12:46 1.6K 
[ ]algspec1__1838_48.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1853_47.min1.thm12017-02-06 12:46 1.7K 
[ ]algspec1__1858_38.min1.thm12017-02-06 12:46 754  
[ ]algspec1__1873_4.min1.thm12017-02-06 12:46 2.3K 
[ ]algspec1__1874_40.min1.thm12017-02-06 12:46 703  
[ ]algspec1__1876_4.min1.thm12017-02-06 12:46 2.3K 
[ ]algspec1__1877_17.min1.thm12017-02-06 12:46 1.7K 
[ ]algspec1__1887_44.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__1890_43.min1.thm12017-02-06 12:46 246  
[ ]algspec1__1891_42.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1895_44.min1.thm12017-02-06 12:46 356  
[ ]algspec1__1895_44.min1.thm1.tptp2017-02-06 16:48 278  
[ ]algspec1__1896_42.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__1898_35.min1.thm12017-02-06 12:46 904  
[ ]algspec1__1913_44.min1.thm12017-02-06 12:46 356  
[ ]algspec1__1913_44.min1.thm1.tptp2017-02-06 16:48 278  
[ ]algspec1__1914_42.min1.thm12017-02-06 12:46 1.3K 
[ ]algspec1__1915_71.min1.thm12017-02-06 12:46 1.4K 
[ ]algspec1__1917_35.min1.thm12017-02-06 12:46 904  
[ ]algspec1__1927_29.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__1929_40.min1.thm12017-02-06 12:46 3.0K 
[ ]algspec1__1930_30.min1.thm12017-02-06 12:46 1.0K 
[ ]algspec1__1938_45.min1.thm12017-02-06 12:46 1.2K 
[ ]algspec1__1952_37.min1.thm12017-02-06 12:46 788  
[ ]algspec1__1953_30.min1.thm12017-02-06 12:46 709  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80