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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]recdef_1__47_24.min1.thm12017-02-06 12:46 2.1K 
[ ]recdef_1__48_20.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__50_19.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__51_15.min1.thm12017-02-06 12:46 615  
[ ]recdef_1__52_17.min1.thm12017-02-06 12:46 603  
[ ]recdef_1__59_14.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__94_48.min1.thm12017-02-06 12:46 873  
[ ]recdef_1__99_23.min1.thm12017-02-06 12:46 418  
[ ]recdef_1__99_23.min1.thm1.tptp2017-02-06 16:47 346  
[ ]recdef_1__101_27.min1.thm12017-02-06 12:46 253  
[ ]recdef_1__102_54.min1.thm12017-02-06 12:46 362  
[ ]recdef_1__102_54.min1.thm1.tptp2017-02-06 16:47 288  
[ ]recdef_1__103_42.min1.thm12017-02-06 12:46 867  
[ ]recdef_1__104_24.min1.thm12017-02-06 12:46 433  
[ ]recdef_1__104_24.min1.thm1.tptp2017-02-06 16:47 347  
[ ]recdef_1__119_20.min1.thm12017-02-06 12:46 1.3K 
[ ]recdef_1__120_40.min1.thm12017-02-06 12:46 308  
[ ]recdef_1__121_23.min1.thm12017-02-06 12:46 1.3K 
[ ]recdef_1__122_32.min1.thm12017-02-06 12:46 607  
[ ]recdef_1__123_24.min1.thm12017-02-06 12:46 745  
[ ]recdef_1__125_27.min1.thm12017-02-06 12:46 892  
[ ]recdef_1__127_25.min1.thm12017-02-06 12:46 240  
[ ]recdef_1__128_22.min1.thm12017-02-06 12:46 632  
[ ]recdef_1__129_27.min1.thm12017-02-06 12:46 534  
[ ]recdef_1__130_40.min1.thm12017-02-06 12:46 470  
[ ]recdef_1__131_22.min1.thm12017-02-06 12:46 337  
[ ]recdef_1__152_40.min1.thm12017-02-06 12:46 304  
[ ]recdef_1__153_23.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__154_32.min1.thm12017-02-06 12:46 597  
[ ]recdef_1__155_25.min1.thm12017-02-06 12:46 737  
[ ]recdef_1__157_28.min1.thm12017-02-06 12:46 889  
[ ]recdef_1__159_28.min1.thm12017-02-06 12:46 343  
[ ]recdef_1__159_28.min1.thm1.tptp2017-02-06 16:47 266  
[ ]recdef_1__160_29.min1.thm12017-02-06 12:46 798  
[ ]recdef_1__161_22.min1.thm12017-02-06 12:46 341  
[ ]recdef_1__191_19.min1.thm12017-02-06 12:46 814  
[ ]recdef_1__215_16.min1.thm12017-02-06 12:46 1.6K 
[ ]recdef_1__221_13.min1.thm12017-02-06 12:46 390  
[ ]recdef_1__223_18.min1.thm12017-02-06 12:46 1.3K 
[ ]recdef_1__246_32.min1.thm12017-02-06 12:46 701  
[ ]recdef_1__247_47.min1.thm12017-02-06 12:46 365  
[ ]recdef_1__256_42.min1.thm12017-02-06 12:46 418  
[ ]recdef_1__258_30.min1.thm12017-02-06 12:46 1.7K 
[ ]recdef_1__271_32.min1.thm12017-02-06 12:46 1.7K 
[ ]recdef_1__274_23.min1.thm12017-02-06 12:46 249  
[ ]recdef_1__276_25.min1.thm12017-02-06 12:46 818  
[ ]recdef_1__276_25.min1.thm1.tptp2017-02-06 16:47 802  
[ ]recdef_1__282_30.min1.thm12017-02-06 12:46 667  
[ ]recdef_1__283_19.min1.thm12017-02-06 12:46 2.3K 
[ ]recdef_1__284_38.min1.thm12017-02-06 12:46 2.5K 
[ ]recdef_1__288_23.min1.thm12017-02-06 12:46 2.0K 
[ ]recdef_1__292_21.min1.thm12017-02-06 12:46 1.9K 
[ ]recdef_1__294_18.min1.thm12017-02-06 12:46 1.6K 
[ ]recdef_1__295_26.min1.thm12017-02-06 12:46 1.6K 
[ ]recdef_1__297_30.min1.thm12017-02-06 12:46 1.9K 
[ ]recdef_1__299_27.min1.thm12017-02-06 12:46 2.1K 
[ ]recdef_1__305_26.min1.thm12017-02-06 12:46 1.4K 
[ ]recdef_1__306_26.min1.thm12017-02-06 12:46 744  
[ ]recdef_1__308_22.min1.thm12017-02-06 12:46 2.1K 
[ ]recdef_1__309_26.min1.thm12017-02-06 12:46 2.0K 
[ ]recdef_1__310_29.min1.thm12017-02-06 12:46 1.9K 
[ ]recdef_1__319_28.min1.thm12017-02-06 12:46 443  
[ ]recdef_1__319_28.min1.thm1.tptp2017-02-06 16:47 377  
[ ]recdef_1__320_17.min1.thm12017-02-06 12:46 627  
[ ]recdef_1__321_38.min1.thm12017-02-06 12:46 510  
[ ]recdef_1__322_19.min1.thm12017-02-06 12:46 2.2K 
[ ]recdef_1__337_45.min1.thm12017-02-06 12:46 873  
[ ]recdef_1__351_25.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__358_50.min1.thm12017-02-06 12:46 456  
[ ]recdef_1__360_20.min1.thm12017-02-06 12:46 383  
[ ]recdef_1__367_23.min1.thm12017-02-06 12:46 248  
[ ]recdef_1__370_31.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__385_28.min1.thm12017-02-06 12:46 299  
[ ]recdef_1__386_26.min1.thm12017-02-06 12:46 299  
[ ]recdef_1__387_23.min1.thm12017-02-06 12:46 426  
[ ]recdef_1__387_23.min1.thm1.tptp2017-02-06 16:47 344  
[ ]recdef_1__392_17.min1.thm12017-02-06 12:46 1.3K 
[ ]recdef_1__393_21.min1.thm12017-02-06 12:46 1.9K 
[ ]recdef_1__406_36.min1.thm12017-02-06 12:46 500  
[ ]recdef_1__417_37.min1.thm12017-02-06 12:46 857  
[ ]recdef_1__418_25.min1.thm12017-02-06 12:46 659  
[ ]recdef_1__419_28.min1.thm12017-02-06 12:46 528  
[ ]recdef_1__422_29.min1.thm12017-02-06 12:46 597  
[ ]recdef_1__425_18.min1.thm12017-02-06 12:46 610  
[ ]recdef_1__426_37.min1.thm12017-02-06 12:46 953  
[ ]recdef_1__428_43.min1.thm12017-02-06 12:46 749  
[ ]recdef_1__429_21.min1.thm12017-02-06 12:46 488  
[ ]recdef_1__430_38.min1.thm12017-02-06 12:46 446  
[ ]recdef_1__431_57.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__433_31.min1.thm12017-02-06 12:46 517  
[ ]recdef_1__433_31.min1.thm1.tptp2017-02-06 16:47 450  
[ ]recdef_1__440_16.min1.thm12017-02-06 12:46 552  
[ ]recdef_1__440_16.min1.thm1.tptp2017-02-06 16:47 482  
[ ]recdef_1__441_26.min1.thm12017-02-06 12:46 490  
[ ]recdef_1__443_19.min1.thm12017-02-06 12:46 699  
[ ]recdef_1__444_26.min1.thm12017-02-06 12:46 952  
[ ]recdef_1__445_21.min1.thm12017-02-06 12:46 661  
[ ]recdef_1__449_31.min1.thm12017-02-06 12:46 463  
[ ]recdef_1__449_31.min1.thm1.tptp2017-02-06 16:47 409  
[ ]recdef_1__450_37.min1.thm12017-02-06 12:46 717  
[ ]recdef_1__463_17.min1.thm12017-02-06 12:46 939  
[ ]recdef_1__465_13.min1.thm12017-02-06 12:46 784  
[ ]recdef_1__473_32.min1.thm12017-02-06 12:46 655  
[ ]recdef_1__474_28.min1.thm12017-02-06 12:46 586  
[ ]recdef_1__476_38.min1.thm12017-02-06 12:46 1.5K 
[ ]recdef_1__479_17.min1.thm12017-02-06 12:46 608  
[ ]recdef_1__480_37.min1.thm12017-02-06 12:46 952  
[ ]recdef_1__488_45.min1.thm12017-02-06 12:46 716  
[ ]recdef_1__489_41.min1.thm12017-02-06 12:46 626  
[ ]recdef_1__493_29.min1.thm12017-02-06 12:46 488  
[ ]recdef_1__494_35.min1.thm12017-02-06 12:46 626  
[ ]recdef_1__499_52.min1.thm12017-02-06 12:46 1.5K 
[ ]recdef_1__500_23.min1.thm12017-02-06 12:46 1.6K 
[ ]recdef_1__502_24.min1.thm12017-02-06 12:46 646  
[ ]recdef_1__503_30.min1.thm12017-02-06 12:46 1.8K 
[ ]recdef_1__512_41.min1.thm12017-02-06 12:46 1.4K 
[ ]recdef_1__513_37.min1.thm12017-02-06 12:46 618  
[ ]recdef_1__516_53.min1.thm12017-02-06 12:46 721  
[ ]recdef_1__523_21.min1.thm12017-02-06 12:46 242  
[ ]recdef_1__524_19.min1.thm12017-02-06 12:46 270  
[ ]recdef_1__525_26.min1.thm12017-02-06 12:46 633  
[ ]recdef_1__526_39.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__545_42.min1.thm12017-02-06 12:46 969  
[ ]recdef_1__561_16.min1.thm12017-02-06 12:46 595  
[ ]recdef_1__579_25.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__584_17.min1.thm12017-02-06 12:46 1.4K 
[ ]recdef_1__586_18.min1.thm12017-02-06 12:46 467  
[ ]recdef_1__587_21.min1.thm12017-02-06 12:46 2.0K 
[ ]recdef_1__590_20.min1.thm12017-02-06 12:46 2.3K 
[ ]recdef_1__593_23.min1.thm12017-02-06 12:46 1.4K 
[ ]recdef_1__595_17.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__596_17.min1.thm12017-02-06 12:46 936  
[ ]recdef_1__598_16.min1.thm12017-02-06 12:46 477  
[ ]recdef_1__599_41.min1.thm12017-02-06 12:46 950  
[ ]recdef_1__602_24.min1.thm12017-02-06 12:46 3.4K 
[ ]recdef_1__614_20.min1.thm12017-02-06 12:46 892  
[ ]recdef_1__615_23.min1.thm12017-02-06 12:46 909  
[ ]recdef_1__617_15.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__618_19.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__619_24.min1.thm12017-02-06 12:46 1.6K 
[ ]recdef_1__620_28.min1.thm12017-02-06 12:46 1.3K 
[ ]recdef_1__622_19.min1.thm12017-02-06 12:46 910  
[ ]recdef_1__623_20.min1.thm12017-02-06 12:46 2.1K 
[ ]recdef_1__624_21.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__626_19.min1.thm12017-02-06 12:46 389  
[ ]recdef_1__626_19.min1.thm1.tptp2017-02-06 16:47 325  
[ ]recdef_1__639_16.min1.thm12017-02-06 12:46 591  
[ ]recdef_1__640_19.min1.thm12017-02-06 12:46 393  
[ ]recdef_1__640_19.min1.thm1.tptp2017-02-06 16:47 312  
[ ]recdef_1__641_51.min1.thm12017-02-06 12:46 388  
[ ]recdef_1__641_51.min1.thm1.tptp2017-02-06 16:47 319  
[ ]recdef_1__644_16.min1.thm12017-02-06 12:46 591  
[ ]recdef_1__645_19.min1.thm12017-02-06 12:46 395  
[ ]recdef_1__645_19.min1.thm1.tptp2017-02-06 16:47 314  
[ ]recdef_1__646_51.min1.thm12017-02-06 12:46 390  
[ ]recdef_1__646_51.min1.thm1.tptp2017-02-06 16:47 321  
[ ]recdef_1__650_18.min1.thm12017-02-06 12:46 1.4K 
[ ]recdef_1__651_21.min1.thm12017-02-06 12:46 519  
[ ]recdef_1__656_23.min1.thm12017-02-06 12:46 1.4K 
[ ]recdef_1__657_26.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__669_43.min1.thm12017-02-06 12:46 586  
[ ]recdef_1__669_43.min1.thm1.tptp2017-02-06 16:47 520  
[ ]recdef_1__676_17.min1.thm12017-02-06 12:46 595  
[ ]recdef_1__677_20.min1.thm12017-02-06 12:46 401  
[ ]recdef_1__677_20.min1.thm1.tptp2017-02-06 16:47 320  
[ ]recdef_1__678_52.min1.thm12017-02-06 12:46 396  
[ ]recdef_1__678_52.min1.thm1.tptp2017-02-06 16:47 327  
[ ]recdef_1__679_21.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__680_23.min1.thm12017-02-06 12:46 2.2K 
[ ]recdef_1__690_35.min1.thm12017-02-06 12:46 675  
[ ]recdef_1__691_23.min1.thm12017-02-06 12:46 624  
[ ]recdef_1__697_15.min1.thm12017-02-06 12:46 429  
[ ]recdef_1__697_15.min1.thm1.tptp2017-02-06 16:47 374  
[ ]recdef_1__698_18.min1.thm12017-02-06 12:46 393  
[ ]recdef_1__698_18.min1.thm1.tptp2017-02-06 16:47 312  
[ ]recdef_1__699_50.min1.thm12017-02-06 12:46 388  
[ ]recdef_1__699_50.min1.thm1.tptp2017-02-06 16:47 319  
[ ]recdef_1__700_15.min1.thm12017-02-06 12:46 355  
[ ]recdef_1__700_15.min1.thm1.tptp2017-02-06 16:47 269  
[ ]recdef_1__701_33.min1.thm12017-02-06 12:46 872  
[ ]recdef_1__702_21.min1.thm12017-02-06 12:46 619  
[ ]recdef_1__704_19.min1.thm12017-02-06 12:46 386  
[ ]recdef_1__704_19.min1.thm1.tptp2017-02-06 16:47 326  
[ ]recdef_1__707_10.min1.thm12017-02-06 12:46 300  
[ ]recdef_1__713_28.min1.thm12017-02-06 12:46 608  
[ ]recdef_1__714_17.min1.thm12017-02-06 12:46 910  
[ ]recdef_1__717_14.min1.thm12017-02-06 12:46 579  
[ ]recdef_1__718_16.min1.thm12017-02-06 12:46 385  
[ ]recdef_1__718_16.min1.thm1.tptp2017-02-06 16:47 304  
[ ]recdef_1__719_48.min1.thm12017-02-06 12:46 380  
[ ]recdef_1__719_48.min1.thm1.tptp2017-02-06 16:47 311  
[ ]recdef_1__720_27.min1.thm12017-02-06 12:46 1.3K 
[ ]recdef_1__722_18.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__723_19.min1.thm12017-02-06 12:46 632  
[ ]recdef_1__724_19.min1.thm12017-02-06 12:46 740  
[ ]recdef_1__726_22.min1.thm12017-02-06 12:46 403  
[ ]recdef_1__726_22.min1.thm1.tptp2017-02-06 16:47 339  
[ ]recdef_1__727_51.min1.thm12017-02-06 12:46 745  
[ ]recdef_1__735_22.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__736_28.min1.thm12017-02-06 12:46 1.7K 
[ ]recdef_1__739_40.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__747_32.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__751_18.min1.thm12017-02-06 12:46 393  
[ ]recdef_1__751_18.min1.thm1.tptp2017-02-06 16:47 312  
[ ]recdef_1__752_48.min1.thm12017-02-06 12:46 388  
[ ]recdef_1__752_48.min1.thm1.tptp2017-02-06 16:47 319  
[ ]recdef_1__756_21.min1.thm12017-02-06 12:46 1.6K 
[ ]recdef_1__759_26.min1.thm12017-02-06 12:46 1.6K 
[ ]recdef_1__760_30.min1.thm12017-02-06 12:46 1.8K 
[ ]recdef_1__762_21.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__768_49.min1.thm12017-02-06 12:46 1.7K 
[ ]recdef_1__770_29.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__775_36.min1.thm12017-02-06 12:46 2.7K 
[ ]recdef_1__777_27.min1.thm12017-02-06 12:46 1.3K 
[ ]recdef_1__778_27.min1.thm12017-02-06 12:46 1.8K 
[ ]recdef_1__782_36.min1.thm12017-02-06 12:46 3.1K 
[ ]recdef_1__784_27.min1.thm12017-02-06 12:46 1.3K 
[ ]recdef_1__795_36.min1.thm12017-02-06 12:46 2.7K 
[ ]recdef_1__797_27.min1.thm12017-02-06 12:46 1.3K 
[ ]recdef_1__804_25.min1.thm12017-02-06 12:46 2.1K 
[ ]recdef_1__808_23.min1.thm12017-02-06 12:46 1.5K 
[ ]recdef_1__809_34.min1.thm12017-02-06 12:46 2.8K 
[ ]recdef_1__810_30.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__812_29.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__813_25.min1.thm12017-02-06 12:46 643  
[ ]recdef_1__814_56.min1.thm12017-02-06 12:46 701  
[ ]recdef_1__815_62.min1.thm12017-02-06 12:46 796  
[ ]recdef_1__819_48.min1.thm12017-02-06 12:46 1.6K 
[ ]recdef_1__820_20.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__821_34.min1.thm12017-02-06 12:46 2.5K 
[ ]recdef_1__824_33.min1.thm12017-02-06 12:46 2.3K 
[ ]recdef_1__829_38.min1.thm12017-02-06 12:46 1.7K 
[ ]recdef_1__835_32.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__837_23.min1.thm12017-02-06 12:46 2.7K 
[ ]recdef_1__839_27.min1.thm12017-02-06 12:46 2.9K 
[ ]recdef_1__842_21.min1.thm12017-02-06 12:46 1.6K 
[ ]recdef_1__843_34.min1.thm12017-02-06 12:46 2.9K 
[ ]recdef_1__844_30.min1.thm12017-02-06 12:46 1.3K 
[ ]recdef_1__845_38.min1.thm12017-02-06 12:46 1.4K 
[ ]recdef_1__846_38.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__849_21.min1.thm12017-02-06 12:46 638  
[ ]recdef_1__849_21.min1.thm1.tptp2017-02-06 16:47 552  
[ ]recdef_1__852_24.min1.thm12017-02-06 12:46 889  
[ ]recdef_1__864_14.min1.thm12017-02-06 12:46 928  
[ ]recdef_1__867_16.min1.thm12017-02-06 12:46 385  
[ ]recdef_1__867_16.min1.thm1.tptp2017-02-06 16:47 304  
[ ]recdef_1__868_46.min1.thm12017-02-06 12:46 380  
[ ]recdef_1__868_46.min1.thm1.tptp2017-02-06 16:47 311  
[ ]recdef_1__870_28.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__872_20.min1.thm12017-02-06 12:46 2.6K 
[ ]recdef_1__873_17.min1.thm12017-02-06 12:46 2.0K 
[ ]recdef_1__875_28.min1.thm12017-02-06 12:46 2.6K 
[ ]recdef_1__876_24.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__877_30.min1.thm12017-02-06 12:46 1.3K 
[ ]recdef_1__879_26.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__881_25.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__893_45.min1.thm12017-02-06 12:46 873  
[ ]recdef_1__896_19.min1.thm12017-02-06 12:46 403  
[ ]recdef_1__902_25.min1.thm12017-02-06 12:46 430  
[ ]recdef_1__906_38.min1.thm12017-02-06 12:46 1.3K 
[ ]recdef_1__907_20.min1.thm12017-02-06 12:46 472  
[ ]recdef_1__912_30.min1.thm12017-02-06 12:46 526  
[ ]recdef_1__919_16.min1.thm12017-02-06 12:46 628  
[ ]recdef_1__920_41.min1.thm12017-02-06 12:46 965  
[ ]recdef_1__921_21.min1.thm12017-02-06 12:46 445  
[ ]recdef_1__921_21.min1.thm1.tptp2017-02-06 16:47 364  
[ ]recdef_1__923_25.min1.thm12017-02-06 12:46 950  
[ ]recdef_1__924_18.min1.thm12017-02-06 12:46 671  
[ ]recdef_1__925_21.min1.thm12017-02-06 12:46 635  
[ ]recdef_1__927_47.min1.thm12017-02-06 12:46 802  
[ ]recdef_1__929_18.min1.thm12017-02-06 12:46 1.5K 
[ ]recdef_1__932_30.min1.thm12017-02-06 12:46 710  
[ ]recdef_1__938_22.min1.thm12017-02-06 12:46 2.4K 
[ ]recdef_1__942_38.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__948_22.min1.thm12017-02-06 12:46 886  
[ ]recdef_1__950_13.min1.thm12017-02-06 12:46 749  
[ ]recdef_1__951_17.min1.thm12017-02-06 12:46 322  
[ ]recdef_1__976_23.min1.thm12017-02-06 12:46 1.9K 
[ ]recdef_1__978_19.min1.thm12017-02-06 12:46 1.8K 
[ ]recdef_1__980_42.min1.thm12017-02-06 12:46 418  
[ ]recdef_1__981_20.min1.thm12017-02-06 12:46 332  
[ ]recdef_1__983_16.min1.thm12017-02-06 12:46 701  
[ ]recdef_1__993_31.min1.thm12017-02-06 12:46 324  
[ ]recdef_1__993_31.min1.thm1.tptp2017-02-06 16:47 246  
[ ]recdef_1__995_15.min1.thm12017-02-06 12:46 378  
[ ]recdef_1__1000_32.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__1001_49.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__1003_15.min1.thm12017-02-06 12:46 370  
[ ]recdef_1__1009_16.min1.thm12017-02-06 12:46 435  
[ ]recdef_1__1010_20.min1.thm12017-02-06 12:46 2.3K 
[ ]recdef_1__1011_24.min1.thm12017-02-06 12:46 1.7K 
[ ]recdef_1__1012_21.min1.thm12017-02-06 12:46 640  
[ ]recdef_1__1013_19.min1.thm12017-02-06 12:46 839  
[ ]recdef_1__1014_15.min1.thm12017-02-06 12:46 1.6K 
[ ]recdef_1__1015_16.min1.thm12017-02-06 12:46 299  
[ ]recdef_1__1017_28.min1.thm12017-02-06 12:46 356  
[ ]recdef_1__1022_11.min1.thm12017-02-06 12:46 963  
[ ]recdef_1__1024_15.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__1031_22.min1.thm12017-02-06 12:46 1.6K 
[ ]recdef_1__1032_26.min1.thm12017-02-06 12:46 2.0K 
[ ]recdef_1__1034_19.min1.thm12017-02-06 12:46 857  
[ ]recdef_1__1036_35.min1.thm12017-02-06 12:46 926  
[ ]recdef_1__1037_13.min1.thm12017-02-06 12:46 1.4K 
[ ]recdef_1__1041_28.min1.thm12017-02-06 12:46 933  
[ ]recdef_1__1042_30.min1.thm12017-02-06 12:46 1.9K 
[ ]recdef_1__1043_17.min1.thm12017-02-06 12:46 2.2K 
[ ]recdef_1__1065_23.min1.thm12017-02-06 12:46 1.9K 
[ ]recdef_1__1067_19.min1.thm12017-02-06 12:46 2.0K 
[ ]recdef_1__1069_42.min1.thm12017-02-06 12:46 418  
[ ]recdef_1__1070_20.min1.thm12017-02-06 12:46 336  
[ ]recdef_1__1072_16.min1.thm12017-02-06 12:46 854  
[ ]recdef_1__1072_16.min1.thm1.tptp2017-02-06 16:47 803  
[ ]recdef_1__1082_31.min1.thm12017-02-06 12:46 324  
[ ]recdef_1__1082_31.min1.thm1.tptp2017-02-06 16:47 246  
[ ]recdef_1__1084_15.min1.thm12017-02-06 12:46 378  
[ ]recdef_1__1089_32.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__1090_49.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__1097_15.min1.thm12017-02-06 12:46 773  
[ ]recdef_1__1098_37.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__1101_15.min1.thm12017-02-06 12:46 1.4K 
[ ]recdef_1__1103_16.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__1104_39.min1.thm12017-02-06 12:46 941  
[ ]recdef_1__1105_16.min1.thm12017-02-06 12:46 1.4K 
[ ]recdef_1__1108_16.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__1109_19.min1.thm12017-02-06 12:46 1.6K 
[ ]recdef_1__1111_44.min1.thm12017-02-06 12:46 634  
[ ]recdef_1__1113_15.min1.thm12017-02-06 12:46 371  
[ ]recdef_1__1119_17.min1.thm12017-02-06 12:46 435  
[ ]recdef_1__1120_20.min1.thm12017-02-06 12:46 2.3K 
[ ]recdef_1__1121_24.min1.thm12017-02-06 12:46 1.7K 
[ ]recdef_1__1123_19.min1.thm12017-02-06 12:46 839  
[ ]recdef_1__1124_15.min1.thm12017-02-06 12:46 1.9K 
[ ]recdef_1__1125_16.min1.thm12017-02-06 12:46 299  
[ ]recdef_1__1127_28.min1.thm12017-02-06 12:46 356  
[ ]recdef_1__1132_11.min1.thm12017-02-06 12:46 963  
[ ]recdef_1__1134_15.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__1141_22.min1.thm12017-02-06 12:46 1.6K 
[ ]recdef_1__1142_26.min1.thm12017-02-06 12:46 2.0K 
[ ]recdef_1__1146_35.min1.thm12017-02-06 12:46 926  
[ ]recdef_1__1147_13.min1.thm12017-02-06 12:46 1.4K 
[ ]recdef_1__1151_28.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__1153_17.min1.thm12017-02-06 12:46 2.0K 
[ ]recdef_1__1164_59.min1.thm12017-02-06 12:46 560  
[ ]recdef_1__1173_65.min1.thm12017-02-06 12:46 917  
[ ]recdef_1__1173_65.min1.thm1.tptp2017-02-06 16:47 860  
[ ]recdef_1__1176_19.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__1183_70.min1.thm12017-02-06 12:46 420  
[ ]recdef_1__1184_18.min1.thm12017-02-06 12:46 2.0K 
[ ]recdef_1__1194_60.min1.thm12017-02-06 12:46 330  
[ ]recdef_1__1203_55.min1.thm12017-02-06 12:46 570  
[ ]recdef_1__1206_17.min1.thm12017-02-06 12:46 824  
[ ]recdef_1__1225_26.min1.thm12017-02-06 12:46 1.5K 
[ ]recdef_1__1226_17.min1.thm12017-02-06 12:46 781  
[ ]recdef_1__1229_21.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__1230_23.min1.thm12017-02-06 12:46 869  
[ ]recdef_1__1231_35.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__1232_13.min1.thm12017-02-06 12:46 1.9K 
[ ]recdef_1__1233_13.min1.thm12017-02-06 12:46 1.6K 
[ ]recdef_1__1235_26.min1.thm12017-02-06 12:46 1.3K 
[ ]recdef_1__1238_11.min1.thm12017-02-06 12:46 1.4K 
[ ]recdef_1__1240_15.min1.thm12017-02-06 12:46 441  
[ ]recdef_1__1241_35.min1.thm12017-02-06 12:46 926  
[ ]recdef_1__1242_11.min1.thm12017-02-06 12:46 1.9K 
[ ]recdef_1__1243_15.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__1245_14.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__1246_10.min1.thm12017-02-06 12:46 1.5K 
[ ]recdef_1__1248_15.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__1249_10.min1.thm12017-02-06 12:46 786  
[ ]recdef_1__1250_23.min1.thm12017-02-06 12:46 1.3K 
[ ]recdef_1__1252_28.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__1253_25.min1.thm12017-02-06 12:46 860  
[ ]recdef_1__1271_26.min1.thm12017-02-06 12:46 1.8K 
[ ]recdef_1__1272_17.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__1276_23.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__1277_35.min1.thm12017-02-06 12:46 1.7K 
[ ]recdef_1__1278_13.min1.thm12017-02-06 12:46 2.2K 
[ ]recdef_1__1279_13.min1.thm12017-02-06 12:46 1.6K 
[ ]recdef_1__1281_26.min1.thm12017-02-06 12:46 1.3K 
[ ]recdef_1__1284_11.min1.thm12017-02-06 12:46 1.5K 
[ ]recdef_1__1286_15.min1.thm12017-02-06 12:46 447  
[ ]recdef_1__1287_35.min1.thm12017-02-06 12:46 930  
[ ]recdef_1__1289_11.min1.thm12017-02-06 12:46 2.0K 
[ ]recdef_1__1290_15.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__1292_14.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__1293_10.min1.thm12017-02-06 12:46 1.5K 
[ ]recdef_1__1295_15.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__1297_10.min1.thm12017-02-06 12:46 797  
[ ]recdef_1__1298_23.min1.thm12017-02-06 12:46 1.3K 
[ ]recdef_1__1300_19.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__1302_16.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__1318_12.min1.thm12017-02-06 12:46 694  
[ ]recdef_1__1324_35.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__1330_35.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__1332_17.min1.thm12017-02-06 12:46 450  
[ ]recdef_1__1348_23.min1.thm12017-02-06 12:46 382  
[ ]recdef_1__1366_31.min1.thm12017-02-06 12:46 328  
[ ]recdef_1__1373_15.min1.thm12017-02-06 12:46 388  
[ ]recdef_1__1374_19.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__1380_18.min1.thm12017-02-06 12:46 760  
[ ]recdef_1__1391_15.min1.thm12017-02-06 12:46 388  
[ ]recdef_1__1392_19.min1.thm12017-02-06 12:46 1.7K 
[ ]recdef_1__1402_15.min1.thm12017-02-06 12:46 388  
[ ]recdef_1__1403_19.min1.thm12017-02-06 12:46 1.7K 
[ ]recdef_1__1406_17.min1.thm12017-02-06 12:46 433  
[ ]recdef_1__1423_16.min1.thm12017-02-06 12:46 318  
[ ]recdef_1__1431_28.min1.thm12017-02-06 12:46 335  
[ ]recdef_1__1432_14.min1.thm12017-02-06 12:46 335  
[ ]recdef_1__1445_18.min1.thm12017-02-06 12:46 813  
[ ]recdef_1__1451_37.min1.thm12017-02-06 12:46 474  
[ ]recdef_1__1455_35.min1.thm12017-02-06 12:46 475  
[ ]recdef_1__1473_20.min1.thm12017-02-06 12:46 466  
[ ]recdef_1__1481_15.min1.thm12017-02-06 12:46 388  
[ ]recdef_1__1482_19.min1.thm12017-02-06 12:46 1.3K 
[ ]recdef_1__1487_43.min1.thm12017-02-06 12:46 925  
[ ]recdef_1__1489_18.min1.thm12017-02-06 12:46 2.0K 
[ ]recdef_1__1496_17.min1.thm12017-02-06 12:46 329  
[ ]recdef_1__1500_15.min1.thm12017-02-06 12:46 388  
[ ]recdef_1__1501_19.min1.thm12017-02-06 12:46 2.2K 
[ ]recdef_1__1510_15.min1.thm12017-02-06 12:46 388  
[ ]recdef_1__1513_18.min1.thm12017-02-06 12:46 330  
[ ]recdef_1__1515_17.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__1535_16.min1.thm12017-02-06 12:46 318  
[ ]recdef_1__1544_28.min1.thm12017-02-06 12:46 459  
[ ]recdef_1__1544_28.min1.thm1.tptp2017-02-06 16:47 388  
[ ]recdef_1__1545_14.min1.thm12017-02-06 12:46 459  
[ ]recdef_1__1545_14.min1.thm1.tptp2017-02-06 16:47 388  
[ ]recdef_1__1560_33.min1.thm12017-02-06 12:46 462  
[ ]recdef_1__1562_37.min1.thm12017-02-06 12:46 937  
[ ]recdef_1__1563_23.min1.thm12017-02-06 12:46 767  
[ ]recdef_1__1563_23.min1.thm1.tptp2017-02-06 16:47 716  
[ ]recdef_1__1564_16.min1.thm12017-02-06 12:46 2.5K 
[ ]recdef_1__1570_57.min1.thm12017-02-06 12:46 2.0K 
[ ]recdef_1__1574_56.min1.thm12017-02-06 12:46 2.0K 
[ ]recdef_1__1592_26.min1.thm12017-02-06 12:46 672  
[ ]recdef_1__1593_63.min1.thm12017-02-06 12:46 576  
[ ]recdef_1__1638_11.min1.thm12017-02-06 12:46 189  
[ ]recdef_1__1642_18.min1.thm12017-02-06 12:46 1.6K 
[ ]recdef_1__1650_17.min1.thm12017-02-06 12:46 197  
[ ]recdef_1__1662_48.min1.thm12017-02-06 12:46 323  
[ ]recdef_1__1662_48.min1.thm1.tptp2017-02-06 16:47 243  
[ ]recdef_1__1666_18.min1.thm12017-02-06 12:46 567  
[ ]recdef_1__1667_21.min1.thm12017-02-06 12:46 1.7K 
[ ]recdef_1__1671_22.min1.thm12017-02-06 12:46 1.3K 
[ ]recdef_1__1672_43.min1.thm12017-02-06 12:46 1.6K 
[ ]recdef_1__1675_21.min1.thm12017-02-06 12:46 929  
[ ]recdef_1__1677_23.min1.thm12017-02-06 12:46 772  
[ ]recdef_1__1679_24.min1.thm12017-02-06 12:46 424  
[ ]recdef_1__1679_24.min1.thm1.tptp2017-02-06 16:47 360  
[ ]recdef_1__1680_46.min1.thm12017-02-06 12:46 677  
[ ]recdef_1__1686_24.min1.thm12017-02-06 12:46 1.7K 
[ ]recdef_1__1687_24.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__1688_24.min1.thm12017-02-06 12:46 1.6K 
[ ]recdef_1__1690_19.min1.thm12017-02-06 12:46 1.9K 
[ ]recdef_1__1712_19.min1.thm12017-02-06 12:46 2.2K 
[ ]recdef_1__1716_23.min1.thm12017-02-06 12:46 2.2K 
[ ]recdef_1__1720_52.min1.thm12017-02-06 12:46 473  
[ ]recdef_1__1721_20.min1.thm12017-02-06 12:46 1.8K 
[ ]recdef_1__1723_16.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__1723_16.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]recdef_1__1733_31.min1.thm12017-02-06 12:46 328  
[ ]recdef_1__1733_31.min1.thm1.tptp2017-02-06 16:47 250  
[ ]recdef_1__1735_15.min1.thm12017-02-06 12:46 386  
[ ]recdef_1__1740_32.min1.thm12017-02-06 12:46 1.7K 
[ ]recdef_1__1741_49.min1.thm12017-02-06 12:46 1.6K 
[ ]recdef_1__1748_37.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__1753_16.min1.thm12017-02-06 12:46 1.1K 
[ ]recdef_1__1754_39.min1.thm12017-02-06 12:46 945  
[ ]recdef_1__1755_16.min1.thm12017-02-06 12:46 1.4K 
[ ]recdef_1__1758_16.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__1759_21.min1.thm12017-02-06 12:46 1.7K 
[ ]recdef_1__1761_22.min1.thm12017-02-06 12:46 408  
[ ]recdef_1__1761_22.min1.thm1.tptp2017-02-06 16:47 344  
[ ]recdef_1__1762_44.min1.thm12017-02-06 12:46 645  
[ ]recdef_1__1769_17.min1.thm12017-02-06 12:46 1.0K 
[ ]recdef_1__1770_20.min1.thm12017-02-06 12:46 2.3K 
[ ]recdef_1__1772_20.min1.thm12017-02-06 12:46 1.9K 
[ ]recdef_1__1773_22.min1.thm12017-02-06 12:46 1.2K 
[ ]recdef_1__1775_19.min1.thm12017-02-06 12:46 846  
[ ]recdef_1__1776_15.min1.thm12017-02-06 12:46 2.0K 
[ ]recdef_1__1777_16.min1.thm12017-02-06 12:46 302  
[ ]recdef_1__1779_29.min1.thm12017-02-06 12:46 362  
[ ]recdef_1__1785_15.min1.thm12017-02-06 12:46 1.8K 
[ ]recdef_1__1791_22.min1.thm12017-02-06 12:46 2.0K 
[ ]recdef_1__1792_27.min1.thm12017-02-06 12:46 2.0K 
[ ]recdef_1__1794_15.min1.thm12017-02-06 12:46 1.4K 
[ ]recdef_1__1797_30.min1.thm12017-02-06 12:46 1.3K 
[ ]recdef_1__1800_16.min1.thm12017-02-06 12:46 810  
[ ]recdef_1__1801_16.min1.thm12017-02-06 12:46 381  
[ ]recdef_1__1802_17.min1.thm12017-02-06 12:46 1.9K 
[ ]recdef_1__1804_31.min1.thm12017-02-06 12:46 1.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80