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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]relat_1__43_55.min1.thm12017-02-06 12:46 345  
[ ]relat_1__43_55.min1.thm1.tptp2017-02-06 16:47 278  
[ ]relat_1__60_18.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__79_40.min1.thm12017-02-06 12:46 659  
[ ]relat_1__80_18.min1.thm12017-02-06 12:46 383  
[ ]relat_1__80_18.min1.thm1.tptp2017-02-06 16:47 323  
[ ]relat_1__82_25.min1.thm12017-02-06 12:46 569  
[ ]relat_1__83_19.min1.thm12017-02-06 12:46 726  
[ ]relat_1__87_10.min1.thm12017-02-06 12:46 665  
[ ]relat_1__96_15.min1.thm12017-02-06 12:46 695  
[ ]relat_1__97_27.min1.thm12017-02-06 12:46 608  
[ ]relat_1__98_11.min1.thm12017-02-06 12:46 486  
[ ]relat_1__99_19.min1.thm12017-02-06 12:46 1.1K 
[ ]relat_1__106_27.min1.thm12017-02-06 12:46 578  
[ ]relat_1__107_19.min1.thm12017-02-06 12:46 690  
[ ]relat_1__117_62.min1.thm12017-02-06 12:46 354  
[ ]relat_1__125_33.min1.thm12017-02-06 12:46 619  
[ ]relat_1__126_21.min1.thm12017-02-06 12:46 573  
[ ]relat_1__131_31.min1.thm12017-02-06 12:46 611  
[ ]relat_1__132_19.min1.thm12017-02-06 12:46 561  
[ ]relat_1__141_18.min1.thm12017-02-06 12:46 266  
[ ]relat_1__142_16.min1.thm12017-02-06 12:46 540  
[ ]relat_1__145_11.min1.thm12017-02-06 12:46 437  
[ ]relat_1__154_41.min1.thm12017-02-06 12:46 584  
[ ]relat_1__155_41.min1.thm12017-02-06 12:46 584  
[ ]relat_1__156_52.min1.thm12017-02-06 12:46 750  
[ ]relat_1__163_11.min1.thm12017-02-06 12:46 604  
[ ]relat_1__173_21.min1.thm12017-02-06 12:46 582  
[ ]relat_1__174_16.min1.thm12017-02-06 12:46 368  
[ ]relat_1__174_16.min1.thm1.tptp2017-02-06 16:47 298  
[ ]relat_1__181_47.min1.thm12017-02-06 12:46 700  
[ ]relat_1__182_16.min1.thm12017-02-06 12:46 418  
[ ]relat_1__182_16.min1.thm1.tptp2017-02-06 16:47 358  
[ ]relat_1__191_41.min1.thm12017-02-06 12:46 435  
[ ]relat_1__192_16.min1.thm12017-02-06 12:46 763  
[ ]relat_1__202_67.min1.thm12017-02-06 12:46 792  
[ ]relat_1__208_31.min1.thm12017-02-06 12:46 618  
[ ]relat_1__209_19.min1.thm12017-02-06 12:46 571  
[ ]relat_1__221_33.min1.thm12017-02-06 12:46 362  
[ ]relat_1__224_34.min1.thm12017-02-06 12:46 384  
[ ]relat_1__227_32.min1.thm12017-02-06 12:46 476  
[ ]relat_1__227_32.min1.thm1.tptp2017-02-06 16:47 416  
[ ]relat_1__243_33.min1.thm12017-02-06 12:46 689  
[ ]relat_1__244_17.min1.thm12017-02-06 12:46 626  
[ ]relat_1__248_30.min1.thm12017-02-06 12:46 403  
[ ]relat_1__248_30.min1.thm1.tptp2017-02-06 16:47 343  
[ ]relat_1__261_19.min1.thm12017-02-06 12:46 595  
[ ]relat_1__262_22.min1.thm12017-02-06 12:46 613  
[ ]relat_1__263_17.min1.thm12017-02-06 12:46 484  
[ ]relat_1__264_21.min1.thm12017-02-06 12:46 341  
[ ]relat_1__264_21.min1.thm1.tptp2017-02-06 16:47 276  
[ ]relat_1__267_15.min1.thm12017-02-06 12:46 337  
[ ]relat_1__267_15.min1.thm1.tptp2017-02-06 16:47 272  
[ ]relat_1__268_22.min1.thm12017-02-06 12:46 549  
[ ]relat_1__269_19.min1.thm12017-02-06 12:46 510  
[ ]relat_1__271_22.min1.thm12017-02-06 12:46 392  
[ ]relat_1__271_22.min1.thm1.tptp2017-02-06 16:47 332  
[ ]relat_1__278_19.min1.thm12017-02-06 12:46 597  
[ ]relat_1__279_22.min1.thm12017-02-06 12:46 613  
[ ]relat_1__280_19.min1.thm12017-02-06 12:46 484  
[ ]relat_1__281_21.min1.thm12017-02-06 12:46 341  
[ ]relat_1__281_21.min1.thm1.tptp2017-02-06 16:47 276  
[ ]relat_1__284_17.min1.thm12017-02-06 12:46 337  
[ ]relat_1__284_17.min1.thm1.tptp2017-02-06 16:47 272  
[ ]relat_1__285_22.min1.thm12017-02-06 12:46 549  
[ ]relat_1__286_19.min1.thm12017-02-06 12:46 512  
[ ]relat_1__288_17.min1.thm12017-02-06 12:46 394  
[ ]relat_1__288_17.min1.thm1.tptp2017-02-06 16:47 334  
[ ]relat_1__303_19.min1.thm12017-02-06 12:46 599  
[ ]relat_1__304_39.min1.thm12017-02-06 12:46 767  
[ ]relat_1__305_28.min1.thm12017-02-06 12:46 616  
[ ]relat_1__306_21.min1.thm12017-02-06 12:46 413  
[ ]relat_1__306_21.min1.thm1.tptp2017-02-06 16:47 359  
[ ]relat_1__310_26.min1.thm12017-02-06 12:46 403  
[ ]relat_1__310_26.min1.thm1.tptp2017-02-06 16:47 349  
[ ]relat_1__311_36.min1.thm12017-02-06 12:46 712  
[ ]relat_1__312_19.min1.thm12017-02-06 12:46 581  
[ ]relat_1__319_17.min1.thm12017-02-06 12:46 593  
[ ]relat_1__320_37.min1.thm12017-02-06 12:46 751  
[ ]relat_1__321_26.min1.thm12017-02-06 12:46 600  
[ ]relat_1__322_19.min1.thm12017-02-06 12:46 403  
[ ]relat_1__322_19.min1.thm1.tptp2017-02-06 16:47 349  
[ ]relat_1__326_24.min1.thm12017-02-06 12:46 393  
[ ]relat_1__326_24.min1.thm1.tptp2017-02-06 16:47 339  
[ ]relat_1__327_34.min1.thm12017-02-06 12:46 700  
[ ]relat_1__328_17.min1.thm12017-02-06 12:46 660  
[ ]relat_1__332_51.min1.thm12017-02-06 12:46 487  
[ ]relat_1__332_51.min1.thm1.tptp2017-02-06 16:47 441  
[ ]relat_1__335_33.min1.thm12017-02-06 12:46 369  
[ ]relat_1__338_34.min1.thm12017-02-06 12:46 391  
[ ]relat_1__341_32.min1.thm12017-02-06 12:46 483  
[ ]relat_1__341_32.min1.thm1.tptp2017-02-06 16:47 423  
[ ]relat_1__350_11.min1.thm12017-02-06 12:46 130  
[ ]relat_1__358_20.min1.thm12017-02-06 12:46 502  
[ ]relat_1__359_23.min1.thm12017-02-06 12:46 572  
[ ]relat_1__360_15.min1.thm12017-02-06 12:46 504  
[ ]relat_1__361_17.min1.thm12017-02-06 12:46 666  
[ ]relat_1__368_41.min1.thm12017-02-06 12:46 644  
[ ]relat_1__369_17.min1.thm12017-02-06 12:46 736  
[ ]relat_1__376_30.min1.thm12017-02-06 12:46 647  
[ ]relat_1__377_17.min1.thm12017-02-06 12:46 928  
[ ]relat_1__383_55.min1.thm12017-02-06 12:46 908  
[ ]relat_1__384_44.min1.thm12017-02-06 12:46 790  
[ ]relat_1__385_42.min1.thm12017-02-06 12:46 640  
[ ]relat_1__385_42.min1.thm1.tptp2017-02-06 16:47 573  
[ ]relat_1__386_35.min1.thm12017-02-06 12:46 772  
[ ]relat_1__387_28.min1.thm12017-02-06 12:46 686  
[ ]relat_1__396_43.min1.thm12017-02-06 12:46 803  
[ ]relat_1__398_40.min1.thm12017-02-06 12:46 679  
[ ]relat_1__401_24.min1.thm12017-02-06 12:46 1.1K 
[ ]relat_1__401_24.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]relat_1__402_66.min1.thm12017-02-06 12:46 855  
[ ]relat_1__421_49.min1.thm12017-02-06 12:46 680  
[ ]relat_1__422_19.min1.thm12017-02-06 12:46 933  
[ ]relat_1__431_33.min1.thm12017-02-06 12:46 611  
[ ]relat_1__432_40.min1.thm12017-02-06 12:46 809  
[ ]relat_1__434_16.min1.thm12017-02-06 12:46 516  
[ ]relat_1__434_16.min1.thm1.tptp2017-02-06 16:47 482  
[ ]relat_1__445_17.min1.thm12017-02-06 12:46 593  
[ ]relat_1__446_18.min1.thm12017-02-06 12:46 817  
[ ]relat_1__447_19.min1.thm12017-02-06 12:46 536  
[ ]relat_1__454_18.min1.thm12017-02-06 12:46 615  
[ ]relat_1__455_17.min1.thm12017-02-06 12:46 817  
[ ]relat_1__456_19.min1.thm12017-02-06 12:46 514  
[ ]relat_1__463_17.min1.thm12017-02-06 12:46 591  
[ ]relat_1__464_18.min1.thm12017-02-06 12:46 817  
[ ]relat_1__465_19.min1.thm12017-02-06 12:46 538  
[ ]relat_1__470_18.min1.thm12017-02-06 12:46 609  
[ ]relat_1__471_15.min1.thm12017-02-06 12:46 805  
[ ]relat_1__472_17.min1.thm12017-02-06 12:46 502  
[ ]relat_1__478_36.min1.thm12017-02-06 12:46 647  
[ ]relat_1__479_19.min1.thm12017-02-06 12:46 741  
[ ]relat_1__486_43.min1.thm12017-02-06 12:46 923  
[ ]relat_1__487_56.min1.thm12017-02-06 12:46 928  
[ ]relat_1__488_58.min1.thm12017-02-06 12:46 1.3K 
[ ]relat_1__489_17.min1.thm12017-02-06 12:46 889  
[ ]relat_1__497_57.min1.thm12017-02-06 12:46 928  
[ ]relat_1__498_59.min1.thm12017-02-06 12:46 1.2K 
[ ]relat_1__499_17.min1.thm12017-02-06 12:46 889  
[ ]relat_1__507_59.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__509_17.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__527_62.min1.thm12017-02-06 12:46 806  
[ ]relat_1__530_34.min1.thm12017-02-06 12:46 790  
[ ]relat_1__531_19.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__540_54.min1.thm12017-02-06 12:46 713  
[ ]relat_1__541_40.min1.thm12017-02-06 12:46 911  
[ ]relat_1__556_19.min1.thm12017-02-06 12:46 637  
[ ]relat_1__557_36.min1.thm12017-02-06 12:46 830  
[ ]relat_1__558_17.min1.thm12017-02-06 12:46 553  
[ ]relat_1__567_19.min1.thm12017-02-06 12:46 639  
[ ]relat_1__568_36.min1.thm12017-02-06 12:46 830  
[ ]relat_1__569_17.min1.thm12017-02-06 12:46 555  
[ ]relat_1__577_27.min1.thm12017-02-06 12:46 475  
[ ]relat_1__581_17.min1.thm12017-02-06 12:46 583  
[ ]relat_1__582_15.min1.thm12017-02-06 12:46 504  
[ ]relat_1__583_20.min1.thm12017-02-06 12:46 389  
[ ]relat_1__583_20.min1.thm1.tptp2017-02-06 16:47 308  
[ ]relat_1__585_17.min1.thm12017-02-06 12:46 583  
[ ]relat_1__586_17.min1.thm12017-02-06 12:46 792  
[ ]relat_1__587_17.min1.thm12017-02-06 12:46 558  
[ ]relat_1__595_27.min1.thm12017-02-06 12:46 479  
[ ]relat_1__599_17.min1.thm12017-02-06 12:46 585  
[ ]relat_1__600_15.min1.thm12017-02-06 12:46 502  
[ ]relat_1__601_20.min1.thm12017-02-06 12:46 389  
[ ]relat_1__601_20.min1.thm1.tptp2017-02-06 16:47 308  
[ ]relat_1__603_17.min1.thm12017-02-06 12:46 585  
[ ]relat_1__604_17.min1.thm12017-02-06 12:46 792  
[ ]relat_1__605_17.min1.thm12017-02-06 12:46 560  
[ ]relat_1__615_41.min1.thm12017-02-06 12:46 830  
[ ]relat_1__616_17.min1.thm12017-02-06 12:46 1.2K 
[ ]relat_1__626_41.min1.thm12017-02-06 12:46 830  
[ ]relat_1__627_17.min1.thm12017-02-06 12:46 1.2K 
[ ]relat_1__637_41.min1.thm12017-02-06 12:46 830  
[ ]relat_1__638_23.min1.thm12017-02-06 12:46 1.3K 
[ ]relat_1__649_24.min1.thm12017-02-06 12:46 890  
[ ]relat_1__650_33.min1.thm12017-02-06 12:46 629  
[ ]relat_1__651_42.min1.thm12017-02-06 12:46 968  
[ ]relat_1__652_38.min1.thm12017-02-06 12:46 731  
[ ]relat_1__656_16.min1.thm12017-02-06 12:46 729  
[ ]relat_1__660_19.min1.thm12017-02-06 12:46 838  
[ ]relat_1__661_24.min1.thm12017-02-06 12:46 659  
[ ]relat_1__662_34.min1.thm12017-02-06 12:46 867  
[ ]relat_1__667_19.min1.thm12017-02-06 12:46 838  
[ ]relat_1__668_24.min1.thm12017-02-06 12:46 566  
[ ]relat_1__669_34.min1.thm12017-02-06 12:46 867  
[ ]relat_1__680_22.min1.thm12017-02-06 12:46 886  
[ ]relat_1__681_15.min1.thm12017-02-06 12:46 643  
[ ]relat_1__683_19.min1.thm12017-02-06 12:46 791  
[ ]relat_1__684_15.min1.thm12017-02-06 12:46 550  
[ ]relat_1__685_22.min1.thm12017-02-06 12:46 791  
[ ]relat_1__686_34.min1.thm12017-02-06 12:46 757  
[ ]relat_1__697_17.min1.thm12017-02-06 12:46 1.3K 
[ ]relat_1__698_21.min1.thm12017-02-06 12:46 729  
[ ]relat_1__699_42.min1.thm12017-02-06 12:46 767  
[ ]relat_1__700_24.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__701_29.min1.thm12017-02-06 12:46 847  
[ ]relat_1__710_24.min1.thm12017-02-06 12:46 874  
[ ]relat_1__712_30.min1.thm12017-02-06 12:46 834  
[ ]relat_1__713_32.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__714_27.min1.thm12017-02-06 12:46 817  
[ ]relat_1__718_32.min1.thm12017-02-06 12:46 878  
[ ]relat_1__719_28.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__720_22.min1.thm12017-02-06 12:46 761  
[ ]relat_1__721_26.min1.thm12017-02-06 12:46 870  
[ ]relat_1__732_17.min1.thm12017-02-06 12:46 888  
[ ]relat_1__735_17.min1.thm12017-02-06 12:46 838  
[ ]relat_1__736_19.min1.thm12017-02-06 12:46 805  
[ ]relat_1__737_29.min1.thm12017-02-06 12:46 855  
[ ]relat_1__742_19.min1.thm12017-02-06 12:46 884  
[ ]relat_1__745_17.min1.thm12017-02-06 12:46 830  
[ ]relat_1__746_19.min1.thm12017-02-06 12:46 791  
[ ]relat_1__747_29.min1.thm12017-02-06 12:46 846  
[ ]relat_1__756_26.min1.thm12017-02-06 12:46 352  
[ ]relat_1__756_26.min1.thm1.tptp2017-02-06 16:47 273  
[ ]relat_1__757_16.min1.thm12017-02-06 12:46 414  
[ ]relat_1__766_56.min1.thm12017-02-06 12:46 790  
[ ]relat_1__767_19.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__772_55.min1.thm12017-02-06 12:46 790  
[ ]relat_1__773_19.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__784_44.min1.thm12017-02-06 12:46 860  
[ ]relat_1__799_15.min1.thm12017-02-06 12:46 505  
[ ]relat_1__807_13.min1.thm12017-02-06 12:46 496  
[ ]relat_1__821_15.min1.thm12017-02-06 12:46 519  
[ ]relat_1__829_13.min1.thm12017-02-06 12:46 509  
[ ]relat_1__835_11.min1.thm12017-02-06 12:46 312  
[ ]relat_1__835_11.min1.thm1.tptp2017-02-06 16:47 231  
[ ]relat_1__837_11.min1.thm12017-02-06 12:46 314  
[ ]relat_1__837_11.min1.thm1.tptp2017-02-06 16:47 233  
[ ]relat_1__840_14.min1.thm12017-02-06 12:46 622  
[ ]relat_1__842_14.min1.thm12017-02-06 12:46 622  
[ ]relat_1__846_15.min1.thm12017-02-06 12:46 690  
[ ]relat_1__849_41.min1.thm12017-02-06 12:46 638  
[ ]relat_1__852_30.min1.thm12017-02-06 12:46 440  
[ ]relat_1__852_30.min1.thm1.tptp2017-02-06 16:47 392  
[ ]relat_1__859_50.min1.thm12017-02-06 12:46 836  
[ ]relat_1__860_19.min1.thm12017-02-06 12:46 970  
[ ]relat_1__865_10.min1.thm12017-02-06 12:46 388  
[ ]relat_1__874_19.min1.thm12017-02-06 12:46 668  
[ ]relat_1__876_30.min1.thm12017-02-06 12:46 830  
[ ]relat_1__877_28.min1.thm12017-02-06 12:46 845  
[ ]relat_1__893_25.min1.thm12017-02-06 12:46 394  
[ ]relat_1__902_24.min1.thm12017-02-06 12:46 512  
[ ]relat_1__903_31.min1.thm12017-02-06 12:46 968  
[ ]relat_1__922_18.min1.thm12017-02-06 12:46 559  
[ ]relat_1__922_18.min1.thm1.tptp2017-02-06 16:47 501  
[ ]relat_1__931_35.min1.thm12017-02-06 12:46 528  
[ ]relat_1__931_35.min1.thm1.tptp2017-02-06 16:47 470  
[ ]relat_1__932_40.min1.thm12017-02-06 12:46 726  
[ ]relat_1__944_35.min1.thm12017-02-06 12:46 631  
[ ]relat_1__945_21.min1.thm12017-02-06 12:46 607  
[ ]relat_1__949_25.min1.thm12017-02-06 12:46 609  
[ ]relat_1__950_27.min1.thm12017-02-06 12:46 546  
[ ]relat_1__960_20.min1.thm12017-02-06 12:46 633  
[ ]relat_1__961_12.min1.thm12017-02-06 12:46 614  
[ ]relat_1__962_19.min1.thm12017-02-06 12:46 699  
[ ]relat_1__965_29.min1.thm12017-02-06 12:46 577  
[ ]relat_1__966_17.min1.thm12017-02-06 12:46 650  
[ ]relat_1__971_29.min1.thm12017-02-06 12:46 323  
[ ]relat_1__971_29.min1.thm1.tptp2017-02-06 16:47 256  
[ ]relat_1__981_25.min1.thm12017-02-06 12:46 859  
[ ]relat_1__982_19.min1.thm12017-02-06 12:46 742  
[ ]relat_1__986_15.min1.thm12017-02-06 12:46 602  
[ ]relat_1__987_17.min1.thm12017-02-06 12:46 842  
[ ]relat_1__992_16.min1.thm12017-02-06 12:46 244  
[ ]relat_1__1001_22.min1.thm12017-02-06 12:46 621  
[ ]relat_1__1002_17.min1.thm12017-02-06 12:46 505  
[ ]relat_1__1011_46.min1.thm12017-02-06 12:46 858  
[ ]relat_1__1012_19.min1.thm12017-02-06 12:46 713  
[ ]relat_1__1015_23.min1.thm12017-02-06 12:46 589  
[ ]relat_1__1016_17.min1.thm12017-02-06 12:46 791  
[ ]relat_1__1027_20.min1.thm12017-02-06 12:46 858  
[ ]relat_1__1028_12.min1.thm12017-02-06 12:46 586  
[ ]relat_1__1029_19.min1.thm12017-02-06 12:46 833  
[ ]relat_1__1031_33.min1.thm12017-02-06 12:46 560  
[ ]relat_1__1032_17.min1.thm12017-02-06 12:46 960  
[ ]relat_1__1041_46.min1.thm12017-02-06 12:46 866  
[ ]relat_1__1042_19.min1.thm12017-02-06 12:46 678  
[ ]relat_1__1047_46.min1.thm12017-02-06 12:46 866  
[ ]relat_1__1048_19.min1.thm12017-02-06 12:46 678  
[ ]relat_1__1062_22.min1.thm12017-02-06 12:46 512  
[ ]relat_1__1063_25.min1.thm12017-02-06 12:46 1.1K 
[ ]relat_1__1064_19.min1.thm12017-02-06 12:46 833  
[ ]relat_1__1066_18.min1.thm12017-02-06 12:46 413  
[ ]relat_1__1066_18.min1.thm1.tptp2017-02-06 16:47 339  
[ ]relat_1__1067_17.min1.thm12017-02-06 12:46 503  
[ ]relat_1__1071_21.min1.thm12017-02-06 12:46 382  
[ ]relat_1__1071_21.min1.thm1.tptp2017-02-06 16:47 325  
[ ]relat_1__1083_22.min1.thm12017-02-06 12:46 514  
[ ]relat_1__1084_27.min1.thm12017-02-06 12:46 1.1K 
[ ]relat_1__1085_19.min1.thm12017-02-06 12:46 920  
[ ]relat_1__1087_18.min1.thm12017-02-06 12:46 413  
[ ]relat_1__1087_18.min1.thm1.tptp2017-02-06 16:47 339  
[ ]relat_1__1088_17.min1.thm12017-02-06 12:46 503  
[ ]relat_1__1092_21.min1.thm12017-02-06 12:46 384  
[ ]relat_1__1092_21.min1.thm1.tptp2017-02-06 16:47 327  
[ ]relat_1__1097_17.min1.thm12017-02-06 12:46 237  
[ ]relat_1__1098_14.min1.thm12017-02-06 12:46 515  
[ ]relat_1__1104_47.min1.thm12017-02-06 12:46 890  
[ ]relat_1__1105_17.min1.thm12017-02-06 12:46 807  
[ ]relat_1__1122_8.min1.thm12017-02-06 12:46 727  
[ ]relat_1__1123_19.min1.thm12017-02-06 12:46 971  
[ ]relat_1__1132_42.min1.thm12017-02-06 12:46 602  
[ ]relat_1__1132_42.min1.thm1.tptp2017-02-06 16:47 540  
[ ]relat_1__1133_40.min1.thm12017-02-06 12:46 800  
[ ]relat_1__1142_24.min1.thm12017-02-06 12:46 860  
[ ]relat_1__1143_19.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__1154_19.min1.thm12017-02-06 12:46 641  
[ ]relat_1__1155_17.min1.thm12017-02-06 12:46 779  
[ ]relat_1__1156_19.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__1162_17.min1.thm12017-02-06 12:46 583  
[ ]relat_1__1163_17.min1.thm12017-02-06 12:46 844  
[ ]relat_1__1164_17.min1.thm12017-02-06 12:46 556  
[ ]relat_1__1171_16.min1.thm12017-02-06 12:46 477  
[ ]relat_1__1171_16.min1.thm1.tptp2017-02-06 16:47 412  
[ ]relat_1__1177_41.min1.thm12017-02-06 12:46 706  
[ ]relat_1__1184_16.min1.thm12017-02-06 12:46 490  
[ ]relat_1__1184_16.min1.thm1.tptp2017-02-06 16:47 425  
[ ]relat_1__1192_44.min1.thm12017-02-06 12:46 537  
[ ]relat_1__1192_44.min1.thm1.tptp2017-02-06 16:47 474  
[ ]relat_1__1193_19.min1.thm12017-02-06 12:46 746  
[ ]relat_1__1195_17.min1.thm12017-02-06 12:46 599  
[ ]relat_1__1201_26.min1.thm12017-02-06 12:46 510  
[ ]relat_1__1202_17.min1.thm12017-02-06 12:46 569  
[ ]relat_1__1206_19.min1.thm12017-02-06 12:46 585  
[ ]relat_1__1209_19.min1.thm12017-02-06 12:46 585  
[ ]relat_1__1215_41.min1.thm12017-02-06 12:46 786  
[ ]relat_1__1216_17.min1.thm12017-02-06 12:46 909  
[ ]relat_1__1233_26.min1.thm12017-02-06 12:46 450  
[ ]relat_1__1233_26.min1.thm1.tptp2017-02-06 16:47 388  
[ ]relat_1__1235_29.min1.thm12017-02-06 12:46 607  
[ ]relat_1__1236_17.min1.thm12017-02-06 12:46 530  
[ ]relat_1__1239_20.min1.thm12017-02-06 12:46 266  
[ ]relat_1__1248_18.min1.thm12017-02-06 12:46 749  
[ ]relat_1__1250_21.min1.thm12017-02-06 12:46 780  
[ ]relat_1__1251_17.min1.thm12017-02-06 12:46 775  
[ ]relat_1__1254_13.min1.thm12017-02-06 12:46 512  
[ ]relat_1__1267_13.min1.thm12017-02-06 12:46 749  
[ ]relat_1__1268_17.min1.thm12017-02-06 12:46 775  
[ ]relat_1__1269_22.min1.thm12017-02-06 12:46 508  
[ ]relat_1__1270_32.min1.thm12017-02-06 12:46 665  
[ ]relat_1__1271_19.min1.thm12017-02-06 12:46 739  
[ ]relat_1__1275_30.min1.thm12017-02-06 12:46 634  
[ ]relat_1__1277_13.min1.thm12017-02-06 12:46 543  
[ ]relat_1__1278_15.min1.thm12017-02-06 12:46 592  
[ ]relat_1__1279_17.min1.thm12017-02-06 12:46 844  
[ ]relat_1__1286_37.min1.thm12017-02-06 12:46 514  
[ ]relat_1__1286_37.min1.thm1.tptp2017-02-06 16:47 443  
[ ]relat_1__1287_50.min1.thm12017-02-06 12:46 647  
[ ]relat_1__1288_17.min1.thm12017-02-06 12:46 793  
[ ]relat_1__1293_16.min1.thm12017-02-06 12:46 437  
[ ]relat_1__1297_13.min1.thm12017-02-06 12:46 264  
[ ]relat_1__1302_15.min1.thm12017-02-06 12:46 343  
[ ]relat_1__1302_15.min1.thm1.tptp2017-02-06 16:47 265  
[ ]relat_1__1303_17.min1.thm12017-02-06 12:46 658  
[ ]relat_1__1310_43.min1.thm12017-02-06 12:46 786  
[ ]relat_1__1311_55.min1.thm12017-02-06 12:46 842  
[ ]relat_1__1312_47.min1.thm12017-02-06 12:46 840  
[ ]relat_1__1313_17.min1.thm12017-02-06 12:46 1.4K 
[ ]relat_1__1320_12.min1.thm12017-02-06 12:46 259  
[ ]relat_1__1321_17.min1.thm12017-02-06 12:46 506  
[ ]relat_1__1326_15.min1.thm12017-02-06 12:46 310  
[ ]relat_1__1331_30.min1.thm12017-02-06 12:46 308  
[ ]relat_1__1332_17.min1.thm12017-02-06 12:46 605  
[ ]relat_1__1338_30.min1.thm12017-02-06 12:46 401  
[ ]relat_1__1338_30.min1.thm1.tptp2017-02-06 16:47 335  
[ ]relat_1__1339_17.min1.thm12017-02-06 12:46 698  
[ ]relat_1__1349_29.min1.thm12017-02-06 12:46 814  
[ ]relat_1__1350_23.min1.thm12017-02-06 12:46 1.3K 
[ ]relat_1__1360_29.min1.thm12017-02-06 12:46 814  
[ ]relat_1__1361_17.min1.thm12017-02-06 12:46 1.3K 
[ ]relat_1__1368_33.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__1369_17.min1.thm12017-02-06 12:46 544  
[ ]relat_1__1369_17.min1.thm1.tptp2017-02-06 16:47 473  
[ ]relat_1__1379_23.min1.thm12017-02-06 12:46 805  
[ ]relat_1__1380_23.min1.thm12017-02-06 12:46 447  
[ ]relat_1__1380_23.min1.thm1.tptp2017-02-06 16:47 385  
[ ]relat_1__1381_17.min1.thm12017-02-06 12:46 803  
[ ]relat_1__1382_40.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__1383_36.min1.thm12017-02-06 12:46 731  
[ ]relat_1__1387_14.min1.thm12017-02-06 12:46 729  
[ ]relat_1__1390_18.min1.thm12017-02-06 12:46 753  
[ ]relat_1__1392_18.min1.thm12017-02-06 12:46 501  
[ ]relat_1__1393_17.min1.thm12017-02-06 12:46 779  
[ ]relat_1__1394_32.min1.thm12017-02-06 12:46 912  
[ ]relat_1__1398_18.min1.thm12017-02-06 12:46 753  
[ ]relat_1__1400_18.min1.thm12017-02-06 12:46 408  
[ ]relat_1__1400_18.min1.thm1.tptp2017-02-06 16:47 346  
[ ]relat_1__1401_17.min1.thm12017-02-06 12:46 779  
[ ]relat_1__1402_32.min1.thm12017-02-06 12:46 912  
[ ]relat_1__1413_20.min1.thm12017-02-06 12:46 805  
[ ]relat_1__1414_19.min1.thm12017-02-06 12:46 803  
[ ]relat_1__1415_15.min1.thm12017-02-06 12:46 497  
[ ]relat_1__1416_21.min1.thm12017-02-06 12:46 850  
[ ]relat_1__1417_15.min1.thm12017-02-06 12:46 404  
[ ]relat_1__1417_15.min1.thm1.tptp2017-02-06 16:47 342  
[ ]relat_1__1418_26.min1.thm12017-02-06 12:46 850  
[ ]relat_1__1419_38.min1.thm12017-02-06 12:46 763  
[ ]relat_1__1423_24.min1.thm12017-02-06 12:46 724  
[ ]relat_1__1424_13.min1.thm12017-02-06 12:46 745  
[ ]relat_1__1425_19.min1.thm12017-02-06 12:46 631  
[ ]relat_1__1426_18.min1.thm12017-02-06 12:46 745  
[ ]relat_1__1427_18.min1.thm12017-02-06 12:46 473  
[ ]relat_1__1428_17.min1.thm12017-02-06 12:46 771  
[ ]relat_1__1429_32.min1.thm12017-02-06 12:46 900  
[ ]relat_1__1439_17.min1.thm12017-02-06 12:46 805  
[ ]relat_1__1440_22.min1.thm12017-02-06 12:46 502  
[ ]relat_1__1442_23.min1.thm12017-02-06 12:46 755  
[ ]relat_1__1443_17.min1.thm12017-02-06 12:46 803  
[ ]relat_1__1444_24.min1.thm12017-02-06 12:46 1.3K 
[ ]relat_1__1445_31.min1.thm12017-02-06 12:46 861  
[ ]relat_1__1449_17.min1.thm12017-02-06 12:46 1.2K 
[ ]relat_1__1450_23.min1.thm12017-02-06 12:46 729  
[ ]relat_1__1451_35.min1.thm12017-02-06 12:46 820  
[ ]relat_1__1452_13.min1.thm12017-02-06 12:46 1.2K 
[ ]relat_1__1454_31.min1.thm12017-02-06 12:46 900  
[ ]relat_1__1462_51.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__1463_19.min1.thm12017-02-06 12:46 969  
[ ]relat_1__1468_11.min1.thm12017-02-06 12:46 444  
[ ]relat_1__1471_11.min1.thm12017-02-06 12:46 495  
[ ]relat_1__1480_24.min1.thm12017-02-06 12:46 840  
[ ]relat_1__1483_17.min1.thm12017-02-06 12:46 834  
[ ]relat_1__1484_13.min1.thm12017-02-06 12:46 787  
[ ]relat_1__1485_24.min1.thm12017-02-06 12:46 854  
[ ]relat_1__1486_29.min1.thm12017-02-06 12:46 855  
[ ]relat_1__1491_17.min1.thm12017-02-06 12:46 884  
[ ]relat_1__1492_15.min1.thm12017-02-06 12:46 771  
[ ]relat_1__1494_19.min1.thm12017-02-06 12:46 791  
[ ]relat_1__1495_11.min1.thm12017-02-06 12:46 745  
[ ]relat_1__1496_27.min1.thm12017-02-06 12:46 909  
[ ]relat_1__1513_9.min1.thm12017-02-06 12:46 814  
[ ]relat_1__1514_19.min1.thm12017-02-06 12:46 971  
[ ]relat_1__1523_42.min1.thm12017-02-06 12:46 602  
[ ]relat_1__1523_42.min1.thm1.tptp2017-02-06 16:47 540  
[ ]relat_1__1524_40.min1.thm12017-02-06 12:46 800  
[ ]relat_1__1533_24.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__1534_19.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__1545_20.min1.thm12017-02-06 12:46 643  
[ ]relat_1__1546_17.min1.thm12017-02-06 12:46 779  
[ ]relat_1__1547_19.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__1553_17.min1.thm12017-02-06 12:46 585  
[ ]relat_1__1554_18.min1.thm12017-02-06 12:46 844  
[ ]relat_1__1555_17.min1.thm12017-02-06 12:46 558  
[ ]relat_1__1562_16.min1.thm12017-02-06 12:46 480  
[ ]relat_1__1562_16.min1.thm1.tptp2017-02-06 16:47 415  
[ ]relat_1__1568_42.min1.thm12017-02-06 12:46 706  
[ ]relat_1__1574_14.min1.thm12017-02-06 12:46 349  
[ ]relat_1__1574_14.min1.thm1.tptp2017-02-06 16:47 271  
[ ]relat_1__1575_17.min1.thm12017-02-06 12:46 668  
[ ]relat_1__1581_40.min1.thm12017-02-06 12:46 597  
[ ]relat_1__1582_34.min1.thm12017-02-06 12:46 683  
[ ]relat_1__1586_20.min1.thm12017-02-06 12:46 435  
[ ]relat_1__1586_20.min1.thm1.tptp2017-02-06 16:47 373  
[ ]relat_1__1588_17.min1.thm12017-02-06 12:46 591  
[ ]relat_1__1589_11.min1.thm12017-02-06 12:46 514  
[ ]relat_1__1590_23.min1.thm12017-02-06 12:46 858  
[ ]relat_1__1591_17.min1.thm12017-02-06 12:46 567  
[ ]relat_1__1598_24.min1.thm12017-02-06 12:46 465  
[ ]relat_1__1599_17.min1.thm12017-02-06 12:46 586  
[ ]relat_1__1603_20.min1.thm12017-02-06 12:46 585  
[ ]relat_1__1606_20.min1.thm12017-02-06 12:46 585  
[ ]relat_1__1612_42.min1.thm12017-02-06 12:46 798  
[ ]relat_1__1613_17.min1.thm12017-02-06 12:46 930  
[ ]relat_1__1626_13.min1.thm12017-02-06 12:46 759  
[ ]relat_1__1627_17.min1.thm12017-02-06 12:46 786  
[ ]relat_1__1628_22.min1.thm12017-02-06 12:46 513  
[ ]relat_1__1630_19.min1.thm12017-02-06 12:46 752  
[ ]relat_1__1634_30.min1.thm12017-02-06 12:46 643  
[ ]relat_1__1635_13.min1.thm12017-02-06 12:46 550  
[ ]relat_1__1636_15.min1.thm12017-02-06 12:46 601  
[ ]relat_1__1637_17.min1.thm12017-02-06 12:46 858  
[ ]relat_1__1644_37.min1.thm12017-02-06 12:46 522  
[ ]relat_1__1644_37.min1.thm1.tptp2017-02-06 16:47 451  
[ ]relat_1__1645_51.min1.thm12017-02-06 12:46 656  
[ ]relat_1__1646_17.min1.thm12017-02-06 12:46 809  
[ ]relat_1__1651_16.min1.thm12017-02-06 12:46 445  
[ ]relat_1__1655_12.min1.thm12017-02-06 12:46 266  
[ ]relat_1__1661_44.min1.thm12017-02-06 12:46 798  
[ ]relat_1__1662_56.min1.thm12017-02-06 12:46 856  
[ ]relat_1__1663_50.min1.thm12017-02-06 12:46 854  
[ ]relat_1__1664_17.min1.thm12017-02-06 12:46 1.5K 
[ ]relat_1__1671_12.min1.thm12017-02-06 12:46 263  
[ ]relat_1__1672_17.min1.thm12017-02-06 12:46 514  
[ ]relat_1__1677_18.min1.thm12017-02-06 12:46 310  
[ ]relat_1__1682_30.min1.thm12017-02-06 12:46 407  
[ ]relat_1__1682_30.min1.thm1.tptp2017-02-06 16:47 341  
[ ]relat_1__1683_17.min1.thm12017-02-06 12:46 714  
[ ]relat_1__1689_30.min1.thm12017-02-06 12:46 314  
[ ]relat_1__1690_17.min1.thm12017-02-06 12:46 621  
[ ]relat_1__1698_52.min1.thm12017-02-06 12:46 798  
[ ]relat_1__1699_17.min1.thm12017-02-06 12:46 1.5K 
[ ]relat_1__1709_30.min1.thm12017-02-06 12:46 827  
[ ]relat_1__1710_17.min1.thm12017-02-06 12:46 1.3K 
[ ]relat_1__1717_45.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__1718_17.min1.thm12017-02-06 12:46 558  
[ ]relat_1__1718_17.min1.thm1.tptp2017-02-06 16:47 487  
[ ]relat_1__1725_39.min1.thm12017-02-06 12:46 423  
[ ]relat_1__1727_19.min1.thm12017-02-06 12:46 714  
[ ]relat_1__1727_19.min1.thm1.tptp2017-02-06 16:47 664  
[ ]relat_1__1728_54.min1.thm12017-02-06 12:46 856  
[ ]relat_1__1736_38.min1.thm12017-02-06 12:46 423  
[ ]relat_1__1737_62.min1.thm12017-02-06 12:46 714  
[ ]relat_1__1737_62.min1.thm1.tptp2017-02-06 16:47 664  
[ ]relat_1__1738_54.min1.thm12017-02-06 12:46 856  
[ ]relat_1__1739_17.min1.thm12017-02-06 12:46 1.7K 
[ ]relat_1__1746_41.min1.thm12017-02-06 12:46 521  
[ ]relat_1__1746_41.min1.thm1.tptp2017-02-06 16:47 469  
[ ]relat_1__1748_12.min1.thm12017-02-06 12:46 812  
[ ]relat_1__1749_42.min1.thm12017-02-06 12:46 798  
[ ]relat_1__1750_17.min1.thm12017-02-06 12:46 1.7K 
[ ]relat_1__1754_12.min1.thm12017-02-06 12:46 445  
[ ]relat_1__1759_50.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__1760_17.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__1770_24.min1.thm12017-02-06 12:46 851  
[ ]relat_1__1773_17.min1.thm12017-02-06 12:46 844  
[ ]relat_1__1774_13.min1.thm12017-02-06 12:46 796  
[ ]relat_1__1775_25.min1.thm12017-02-06 12:46 868  
[ ]relat_1__1776_30.min1.thm12017-02-06 12:46 870  
[ ]relat_1__1781_20.min1.thm12017-02-06 12:46 896  
[ ]relat_1__1782_15.min1.thm12017-02-06 12:46 782  
[ ]relat_1__1784_19.min1.thm12017-02-06 12:46 804  
[ ]relat_1__1785_11.min1.thm12017-02-06 12:46 755  
[ ]relat_1__1786_28.min1.thm12017-02-06 12:46 923  
[ ]relat_1__1793_43.min1.thm12017-02-06 12:46 798  
[ ]relat_1__1794_44.min1.thm12017-02-06 12:46 798  
[ ]relat_1__1812_54.min1.thm12017-02-06 12:46 679  
[ ]relat_1__1816_17.min1.thm12017-02-06 12:46 531  
[ ]relat_1__1817_19.min1.thm12017-02-06 12:46 782  
[ ]relat_1__1827_48.min1.thm12017-02-06 12:46 635  
[ ]relat_1__1828_34.min1.thm12017-02-06 12:46 784  
[ ]relat_1__1830_19.min1.thm12017-02-06 12:46 374  
[ ]relat_1__1830_19.min1.thm1.tptp2017-02-06 16:47 314  
[ ]relat_1__1841_26.min1.thm12017-02-06 12:46 748  
[ ]relat_1__1843_18.min1.thm12017-02-06 12:46 685  
[ ]relat_1__1845_16.min1.thm12017-02-06 12:46 672  
[ ]relat_1__1853_37.min1.thm12017-02-06 12:46 744  
[ ]relat_1__1854_17.min1.thm12017-02-06 12:46 536  
[ ]relat_1__1868_15.min1.thm12017-02-06 12:46 818  
[ ]relat_1__1869_24.min1.thm12017-02-06 12:46 626  
[ ]relat_1__1870_21.min1.thm12017-02-06 12:46 909  
[ ]relat_1__1876_22.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__1877_13.min1.thm12017-02-06 12:46 521  
[ ]relat_1__1878_19.min1.thm12017-02-06 12:46 722  
[ ]relat_1__1880_17.min1.thm12017-02-06 12:46 639  
[ ]relat_1__1886_27.min1.thm12017-02-06 12:46 391  
[ ]relat_1__1886_27.min1.thm1.tptp2017-02-06 16:47 313  
[ ]relat_1__1890_17.min1.thm12017-02-06 12:46 591  
[ ]relat_1__1891_15.min1.thm12017-02-06 12:46 509  
[ ]relat_1__1892_17.min1.thm12017-02-06 12:46 734  
[ ]relat_1__1898_18.min1.thm12017-02-06 12:46 378  
[ ]relat_1__1898_18.min1.thm1.tptp2017-02-06 16:47 300  
[ ]relat_1__1899_17.min1.thm12017-02-06 12:46 519  
[ ]relat_1__1911_21.min1.thm12017-02-06 12:46 659  
[ ]relat_1__1912_28.min1.thm12017-02-06 12:46 851  
[ ]relat_1__1913_21.min1.thm12017-02-06 12:46 697  
[ ]relat_1__1917_26.min1.thm12017-02-06 12:46 752  
[ ]relat_1__1918_19.min1.thm12017-02-06 12:46 841  
[ ]relat_1__1919_19.min1.thm12017-02-06 12:46 577  
[ ]relat_1__1921_17.min1.thm12017-02-06 12:46 490  
[ ]relat_1__1921_17.min1.thm1.tptp2017-02-06 16:47 430  
[ ]relat_1__1929_52.min1.thm12017-02-06 12:46 691  
[ ]relat_1__1930_14.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__1939_57.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__1957_13.min1.thm12017-02-06 12:46 574  
[ ]relat_1__1958_25.min1.thm12017-02-06 12:46 597  
[ ]relat_1__1964_50.min1.thm12017-02-06 12:46 1.1K 
[ ]relat_1__1975_17.min1.thm12017-02-06 12:46 686  
[ ]relat_1__1976_28.min1.thm12017-02-06 12:46 619  
[ ]relat_1__1977_17.min1.thm12017-02-06 12:46 1.5K 
[ ]relat_1__1989_20.min1.thm12017-02-06 12:46 810  
[ ]relat_1__1990_25.min1.thm12017-02-06 12:46 462  
[ ]relat_1__1990_25.min1.thm1.tptp2017-02-06 16:47 400  
[ ]relat_1__1991_36.min1.thm12017-02-06 12:46 844  
[ ]relat_1__1992_32.min1.thm12017-02-06 12:46 574  
[ ]relat_1__1992_32.min1.thm1.tptp2017-02-06 16:47 512  
[ ]relat_1__1997_16.min1.thm12017-02-06 12:46 566  
[ ]relat_1__1997_16.min1.thm1.tptp2017-02-06 16:47 504  
[ ]relat_1__2001_15.min1.thm12017-02-06 12:46 752  
[ ]relat_1__2002_20.min1.thm12017-02-06 12:46 516  
[ ]relat_1__2003_31.min1.thm12017-02-06 12:46 786  
[ ]relat_1__2008_15.min1.thm12017-02-06 12:46 752  
[ ]relat_1__2009_20.min1.thm12017-02-06 12:46 423  
[ ]relat_1__2009_20.min1.thm1.tptp2017-02-06 16:47 361  
[ ]relat_1__2010_31.min1.thm12017-02-06 12:46 786  
[ ]relat_1__2021_18.min1.thm12017-02-06 12:46 802  
[ ]relat_1__2022_11.min1.thm12017-02-06 12:46 500  
[ ]relat_1__2024_16.min1.thm12017-02-06 12:46 708  
[ ]relat_1__2025_11.min1.thm12017-02-06 12:46 407  
[ ]relat_1__2025_11.min1.thm1.tptp2017-02-06 16:47 345  
[ ]relat_1__2026_19.min1.thm12017-02-06 12:46 708  
[ ]relat_1__2027_17.min1.thm12017-02-06 12:46 595  
[ ]relat_1__2038_13.min1.thm12017-02-06 12:46 1.2K 
[ ]relat_1__2039_18.min1.thm12017-02-06 12:46 589  
[ ]relat_1__2040_38.min1.thm12017-02-06 12:46 683  
[ ]relat_1__2041_20.min1.thm12017-02-06 12:46 854  
[ ]relat_1__2042_17.min1.thm12017-02-06 12:46 766  
[ ]relat_1__2052_37.min1.thm12017-02-06 12:46 744  
[ ]relat_1__2053_17.min1.thm12017-02-06 12:46 1.1K 
[ ]relat_1__2063_37.min1.thm12017-02-06 12:46 744  
[ ]relat_1__2064_17.min1.thm12017-02-06 12:46 1.1K 
[ ]relat_1__2071_37.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__2072_17.min1.thm12017-02-06 12:46 558  
[ ]relat_1__2072_17.min1.thm1.tptp2017-02-06 16:47 487  
[ ]relat_1__2085_15.min1.thm12017-02-06 12:46 821  
[ ]relat_1__2088_19.min1.thm12017-02-06 12:46 860  
[ ]relat_1__2089_18.min1.thm12017-02-06 12:46 736  
[ ]relat_1__2090_21.min1.thm12017-02-06 12:46 788  
[ ]relat_1__2095_16.min1.thm12017-02-06 12:46 808  
[ ]relat_1__2098_13.min1.thm12017-02-06 12:46 752  
[ ]relat_1__2099_19.min1.thm12017-02-06 12:46 822  
[ ]relat_1__2100_19.min1.thm12017-02-06 12:46 788  
[ ]relat_1__2102_17.min1.thm12017-02-06 12:46 574  
[ ]relat_1__2102_17.min1.thm1.tptp2017-02-06 16:47 514  
[ ]relat_1__2114_21.min1.thm12017-02-06 12:46 659  
[ ]relat_1__2117_19.min1.thm12017-02-06 12:46 860  
[ ]relat_1__2118_19.min1.thm12017-02-06 12:46 531  
[ ]relat_1__2119_21.min1.thm12017-02-06 12:46 760  
[ ]relat_1__2124_17.min1.thm12017-02-06 12:46 780  
[ ]relat_1__2126_17.min1.thm12017-02-06 12:46 599  
[ ]relat_1__2127_19.min1.thm12017-02-06 12:46 822  
[ ]relat_1__2128_19.min1.thm12017-02-06 12:46 577  
[ ]relat_1__2130_17.min1.thm12017-02-06 12:46 518  
[ ]relat_1__2130_17.min1.thm1.tptp2017-02-06 16:47 458  
[ ]relat_1__2134_21.min1.thm12017-02-06 12:46 551  
[ ]relat_1__2141_26.min1.thm12017-02-06 12:46 647  
[ ]relat_1__2146_14.min1.thm12017-02-06 12:46 744  
[ ]relat_1__2150_25.min1.thm12017-02-06 12:46 1.3K 
[ ]relat_1__2151_18.min1.thm12017-02-06 12:46 244  
[ ]relat_1__2153_17.min1.thm12017-02-06 12:46 804  
[ ]relat_1__2162_20.min1.thm12017-02-06 12:46 433  
[ ]relat_1__2162_20.min1.thm1.tptp2017-02-06 16:47 371  
[ ]relat_1__2164_17.min1.thm12017-02-06 12:46 589  
[ ]relat_1__2165_18.min1.thm12017-02-06 12:46 815  
[ ]relat_1__2166_11.min1.thm12017-02-06 12:46 513  
[ ]relat_1__2167_19.min1.thm12017-02-06 12:46 708  
[ ]relat_1__2168_17.min1.thm12017-02-06 12:46 870  
[ ]relat_1__2185_54.min1.thm12017-02-06 12:46 678  
[ ]relat_1__2189_17.min1.thm12017-02-06 12:46 529  
[ ]relat_1__2190_19.min1.thm12017-02-06 12:46 780  
[ ]relat_1__2200_48.min1.thm12017-02-06 12:46 635  
[ ]relat_1__2201_34.min1.thm12017-02-06 12:46 784  
[ ]relat_1__2203_19.min1.thm12017-02-06 12:46 374  
[ ]relat_1__2203_19.min1.thm1.tptp2017-02-06 16:47 314  
[ ]relat_1__2214_26.min1.thm12017-02-06 12:46 748  
[ ]relat_1__2216_18.min1.thm12017-02-06 12:46 774  
[ ]relat_1__2218_16.min1.thm12017-02-06 12:46 760  
[ ]relat_1__2226_37.min1.thm12017-02-06 12:46 744  
[ ]relat_1__2227_17.min1.thm12017-02-06 12:46 534  
[ ]relat_1__2241_15.min1.thm12017-02-06 12:46 820  
[ ]relat_1__2242_24.min1.thm12017-02-06 12:46 628  
[ ]relat_1__2243_21.min1.thm12017-02-06 12:46 911  
[ ]relat_1__2249_22.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__2250_13.min1.thm12017-02-06 12:46 522  
[ ]relat_1__2251_19.min1.thm12017-02-06 12:46 722  
[ ]relat_1__2253_17.min1.thm12017-02-06 12:46 641  
[ ]relat_1__2259_26.min1.thm12017-02-06 12:46 390  
[ ]relat_1__2259_26.min1.thm1.tptp2017-02-06 16:47 312  
[ ]relat_1__2263_17.min1.thm12017-02-06 12:46 589  
[ ]relat_1__2264_15.min1.thm12017-02-06 12:46 511  
[ ]relat_1__2265_17.min1.thm12017-02-06 12:46 736  
[ ]relat_1__2271_17.min1.thm12017-02-06 12:46 376  
[ ]relat_1__2271_17.min1.thm1.tptp2017-02-06 16:47 298  
[ ]relat_1__2272_17.min1.thm12017-02-06 12:46 519  
[ ]relat_1__2280_51.min1.thm12017-02-06 12:46 691  
[ ]relat_1__2281_14.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__2290_56.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__2308_13.min1.thm12017-02-06 12:46 576  
[ ]relat_1__2309_25.min1.thm12017-02-06 12:46 599  
[ ]relat_1__2315_50.min1.thm12017-02-06 12:46 1.1K 
[ ]relat_1__2326_17.min1.thm12017-02-06 12:46 688  
[ ]relat_1__2327_28.min1.thm12017-02-06 12:46 621  
[ ]relat_1__2328_17.min1.thm12017-02-06 12:46 1.5K 
[ ]relat_1__2340_20.min1.thm12017-02-06 12:46 810  
[ ]relat_1__2341_25.min1.thm12017-02-06 12:46 462  
[ ]relat_1__2341_25.min1.thm1.tptp2017-02-06 16:47 400  
[ ]relat_1__2342_34.min1.thm12017-02-06 12:46 844  
[ ]relat_1__2343_30.min1.thm12017-02-06 12:46 574  
[ ]relat_1__2343_30.min1.thm1.tptp2017-02-06 16:47 512  
[ ]relat_1__2348_16.min1.thm12017-02-06 12:46 566  
[ ]relat_1__2348_16.min1.thm1.tptp2017-02-06 16:47 504  
[ ]relat_1__2352_15.min1.thm12017-02-06 12:46 752  
[ ]relat_1__2353_20.min1.thm12017-02-06 12:46 516  
[ ]relat_1__2354_30.min1.thm12017-02-06 12:46 786  
[ ]relat_1__2359_15.min1.thm12017-02-06 12:46 752  
[ ]relat_1__2360_20.min1.thm12017-02-06 12:46 423  
[ ]relat_1__2360_20.min1.thm1.tptp2017-02-06 16:47 361  
[ ]relat_1__2361_30.min1.thm12017-02-06 12:46 786  
[ ]relat_1__2372_18.min1.thm12017-02-06 12:46 802  
[ ]relat_1__2373_11.min1.thm12017-02-06 12:46 500  
[ ]relat_1__2375_15.min1.thm12017-02-06 12:46 708  
[ ]relat_1__2376_11.min1.thm12017-02-06 12:46 407  
[ ]relat_1__2376_11.min1.thm1.tptp2017-02-06 16:47 345  
[ ]relat_1__2377_18.min1.thm12017-02-06 12:46 708  
[ ]relat_1__2378_17.min1.thm12017-02-06 12:46 595  
[ ]relat_1__2389_13.min1.thm12017-02-06 12:46 1.2K 
[ ]relat_1__2390_17.min1.thm12017-02-06 12:46 589  
[ ]relat_1__2391_38.min1.thm12017-02-06 12:46 683  
[ ]relat_1__2392_20.min1.thm12017-02-06 12:46 941  
[ ]relat_1__2393_17.min1.thm12017-02-06 12:46 766  
[ ]relat_1__2403_37.min1.thm12017-02-06 12:46 744  
[ ]relat_1__2404_17.min1.thm12017-02-06 12:46 1.1K 
[ ]relat_1__2414_37.min1.thm12017-02-06 12:46 744  
[ ]relat_1__2415_17.min1.thm12017-02-06 12:46 1.1K 
[ ]relat_1__2422_33.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__2423_17.min1.thm12017-02-06 12:46 558  
[ ]relat_1__2423_17.min1.thm1.tptp2017-02-06 16:47 487  
[ ]relat_1__2436_15.min1.thm12017-02-06 12:46 821  
[ ]relat_1__2439_19.min1.thm12017-02-06 12:46 860  
[ ]relat_1__2440_17.min1.thm12017-02-06 12:46 736  
[ ]relat_1__2441_21.min1.thm12017-02-06 12:46 788  
[ ]relat_1__2446_15.min1.thm12017-02-06 12:46 808  
[ ]relat_1__2449_13.min1.thm12017-02-06 12:46 752  
[ ]relat_1__2450_19.min1.thm12017-02-06 12:46 822  
[ ]relat_1__2451_19.min1.thm12017-02-06 12:46 788  
[ ]relat_1__2453_17.min1.thm12017-02-06 12:46 574  
[ ]relat_1__2453_17.min1.thm1.tptp2017-02-06 16:47 514  
[ ]relat_1__2465_21.min1.thm12017-02-06 12:46 657  
[ ]relat_1__2468_19.min1.thm12017-02-06 12:46 860  
[ ]relat_1__2469_19.min1.thm12017-02-06 12:46 529  
[ ]relat_1__2470_21.min1.thm12017-02-06 12:46 758  
[ ]relat_1__2475_17.min1.thm12017-02-06 12:46 778  
[ ]relat_1__2477_17.min1.thm12017-02-06 12:46 597  
[ ]relat_1__2478_19.min1.thm12017-02-06 12:46 822  
[ ]relat_1__2479_19.min1.thm12017-02-06 12:46 575  
[ ]relat_1__2481_17.min1.thm12017-02-06 12:46 514  
[ ]relat_1__2481_17.min1.thm1.tptp2017-02-06 16:47 454  
[ ]relat_1__2490_20.min1.thm12017-02-06 12:46 435  
[ ]relat_1__2490_20.min1.thm1.tptp2017-02-06 16:47 373  
[ ]relat_1__2492_17.min1.thm12017-02-06 12:46 591  
[ ]relat_1__2493_18.min1.thm12017-02-06 12:46 815  
[ ]relat_1__2494_11.min1.thm12017-02-06 12:46 514  
[ ]relat_1__2495_18.min1.thm12017-02-06 12:46 708  
[ ]relat_1__2496_17.min1.thm12017-02-06 12:46 870  
[ ]relat_1__2513_25.min1.thm12017-02-06 12:46 439  
[ ]relat_1__2514_45.min1.thm12017-02-06 12:46 757  
[ ]relat_1__2520_16.min1.thm12017-02-06 12:46 342  
[ ]relat_1__2520_16.min1.thm1.tptp2017-02-06 16:47 265  
[ ]relat_1__2521_17.min1.thm12017-02-06 12:46 327  
[ ]relat_1__2521_17.min1.thm1.tptp2017-02-06 16:47 262  
[ ]relat_1__2532_34.min1.thm12017-02-06 12:46 815  
[ ]relat_1__2533_20.min1.thm12017-02-06 12:46 511  
[ ]relat_1__2533_20.min1.thm1.tptp2017-02-06 16:47 440  
[ ]relat_1__2541_24.min1.thm12017-02-06 12:46 672  
[ ]relat_1__2542_14.min1.thm12017-02-06 12:46 490  
[ ]relat_1__2550_24.min1.thm12017-02-06 12:46 405  
[ ]relat_1__2550_24.min1.thm1.tptp2017-02-06 16:47 328  
[ ]relat_1__2551_24.min1.thm12017-02-06 12:46 642  
[ ]relat_1__2552_9.min1.thm12017-02-06 12:46 503  
[ ]relat_1__2564_17.min1.thm12017-02-06 12:46 437  
[ ]relat_1__2565_24.min1.thm12017-02-06 12:46 624  
[ ]relat_1__2566_13.min1.thm12017-02-06 12:46 652  
[ ]relat_1__2574_30.min1.thm12017-02-06 12:46 431  
[ ]relat_1__2574_30.min1.thm1.tptp2017-02-06 16:47 354  
[ ]relat_1__2575_28.min1.thm12017-02-06 12:46 611  
[ ]relat_1__2576_24.min1.thm12017-02-06 12:46 601  
[ ]relat_1__2587_19.min1.thm12017-02-06 12:46 449  
[ ]relat_1__2588_26.min1.thm12017-02-06 12:46 339  
[ ]relat_1__2588_26.min1.thm1.tptp2017-02-06 16:47 256  
[ ]relat_1__2598_40.min1.thm12017-02-06 12:46 628  
[ ]relat_1__2599_29.min1.thm12017-02-06 12:46 524  
[ ]relat_1__2599_29.min1.thm1.tptp2017-02-06 16:47 453  
[ ]relat_1__2604_59.min1.thm12017-02-06 12:46 342  
[ ]relat_1__2612_13.min1.thm12017-02-06 12:46 131  
[ ]relat_1__2628_18.min1.thm12017-02-06 12:46 497  
[ ]relat_1__2629_25.min1.thm12017-02-06 12:46 497  
[ ]relat_1__2632_16.min1.thm12017-02-06 12:46 493  
[ ]relat_1__2633_17.min1.thm12017-02-06 12:46 493  
[ ]relat_1__2641_54.min1.thm12017-02-06 12:46 767  
[ ]relat_1__2642_30.min1.thm12017-02-06 12:46 867  
[ ]relat_1__2643_16.min1.thm12017-02-06 12:46 358  
[ ]relat_1__2649_30.min1.thm12017-02-06 12:46 405  
[ ]relat_1__2649_30.min1.thm1.tptp2017-02-06 16:47 328  
[ ]relat_1__2650_26.min1.thm12017-02-06 12:46 585  
[ ]relat_1__2660_34.min1.thm12017-02-06 12:46 647  
[ ]relat_1__2661_17.min1.thm12017-02-06 12:46 530  
[ ]relat_1__2669_34.min1.thm12017-02-06 12:46 649  
[ ]relat_1__2670_17.min1.thm12017-02-06 12:46 530  
[ ]relat_1__2680_13.min1.thm12017-02-06 12:46 370  
[ ]relat_1__2683_13.min1.thm12017-02-06 12:46 370  
[ ]relat_1__2687_28.min1.thm12017-02-06 12:46 621  
[ ]relat_1__2688_34.min1.thm12017-02-06 12:46 453  
[ ]relat_1__2688_34.min1.thm1.tptp2017-02-06 16:47 376  
[ ]relat_1__2690_46.min1.thm12017-02-06 12:46 480  
[ ]relat_1__2690_46.min1.thm1.tptp2017-02-06 16:47 430  
[ ]relat_1__2695_28.min1.thm12017-02-06 12:46 621  
[ ]relat_1__2696_34.min1.thm12017-02-06 12:46 453  
[ ]relat_1__2696_34.min1.thm1.tptp2017-02-06 16:47 376  
[ ]relat_1__2698_46.min1.thm12017-02-06 12:46 481  
[ ]relat_1__2698_46.min1.thm1.tptp2017-02-06 16:47 431  
[ ]relat_1__2708_11.min1.thm12017-02-06 12:46 516  
[ ]relat_1__2709_17.min1.thm12017-02-06 12:46 645  
[ ]relat_1__2718_11.min1.thm12017-02-06 12:46 518  
[ ]relat_1__2719_17.min1.thm12017-02-06 12:46 647  
[ ]relat_1__2727_28.min1.thm12017-02-06 12:46 507  
[ ]relat_1__2728_19.min1.thm12017-02-06 12:46 598  
[ ]relat_1__2736_29.min1.thm12017-02-06 12:46 511  
[ ]relat_1__2737_19.min1.thm12017-02-06 12:46 604  
[ ]relat_1__2746_11.min1.thm12017-02-06 12:46 131  
[ ]relat_1__2759_17.min1.thm12017-02-06 12:46 605  
[ ]relat_1__2762_17.min1.thm12017-02-06 12:46 605  
[ ]relat_1__2763_20.min1.thm12017-02-06 12:46 765  
[ ]relat_1__2764_19.min1.thm12017-02-06 12:46 508  
[ ]relat_1__2776_17.min1.thm12017-02-06 12:46 607  
[ ]relat_1__2779_17.min1.thm12017-02-06 12:46 607  
[ ]relat_1__2780_20.min1.thm12017-02-06 12:46 765  
[ ]relat_1__2781_19.min1.thm12017-02-06 12:46 508  
[ ]relat_1__2793_19.min1.thm12017-02-06 12:46 838  
[ ]relat_1__2794_45.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__2798_17.min1.thm12017-02-06 12:46 840  
[ ]relat_1__2799_15.min1.thm12017-02-06 12:46 511  
[ ]relat_1__2800_16.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_1__2801_22.min1.thm12017-02-06 12:46 859  
[ ]relat_1__2802_17.min1.thm12017-02-06 12:46 862  
[ ]relat_1__2811_26.min1.thm12017-02-06 12:46 631  
[ ]relat_1__2812_12.min1.thm12017-02-06 12:46 510  
[ ]relat_1__2830_33.min1.thm12017-02-06 12:46 581  
[ ]relat_1__2839_18.min1.thm12017-02-06 12:46 307  
[ ]relat_1__2850_15.min1.thm12017-02-06 12:46 402  
[ ]relat_1__2850_15.min1.thm1.tptp2017-02-06 16:47 328  
[ ]relat_1__2851_14.min1.thm12017-02-06 12:46 719  
[ ]relat_1__2862_37.min1.thm12017-02-06 12:46 626  
[ ]relat_1__2863_26.min1.thm12017-02-06 12:46 510  
[ ]relat_1__2863_26.min1.thm1.tptp2017-02-06 16:47 439  
[ ]relat_1__2873_37.min1.thm12017-02-06 12:46 620  
[ ]relat_1__2874_26.min1.thm12017-02-06 12:46 506  
[ ]relat_1__2874_26.min1.thm1.tptp2017-02-06 16:47 435  
[ ]relat_1__2875_25.min1.thm12017-02-06 12:46 425  
[ ]relat_1__2875_25.min1.thm1.tptp2017-02-06 16:47 347  
[ ]relat_1__2884_38.min1.thm12017-02-06 12:46 467  
[ ]relat_1__2896_37.min1.thm12017-02-06 12:46 708  
[ ]relat_1__2897_26.min1.thm12017-02-06 12:46 510  
[ ]relat_1__2897_26.min1.thm1.tptp2017-02-06 16:47 439  
[ ]relat_1__2907_37.min1.thm12017-02-06 12:46 702  
[ ]relat_1__2908_26.min1.thm12017-02-06 12:46 506  
[ ]relat_1__2908_26.min1.thm1.tptp2017-02-06 16:47 435  
[ ]relat_1__2919_49.min1.thm12017-02-06 12:46 935  
[ ]relat_1__2920_21.min1.thm12017-02-06 12:46 581  
[ ]relat_1__2925_25.min1.thm12017-02-06 12:46 613  
[ ]relat_1__2926_16.min1.thm12017-02-06 12:46 270  
[ ]relat_1__2927_30.min1.thm12017-02-06 12:46 891  
[ ]relat_1__2935_17.min1.thm12017-02-06 12:46 272  
[ ]relat_1__2936_21.min1.thm12017-02-06 12:46 799  
[ ]relat_1__2939_41.min1.thm12017-02-06 12:46 861  
[ ]relat_1__2940_23.min1.thm12017-02-06 12:46 610  
[ ]relat_1__2949_30.min1.thm12017-02-06 12:46 593  
[ ]relat_1__2950_25.min1.thm12017-02-06 12:46 795  
[ ]relat_1__2954_19.min1.thm12017-02-06 12:46 426  
[ ]relat_1__2955_15.min1.thm12017-02-06 12:46 592  
[ ]relat_1__2956_20.min1.thm12017-02-06 12:46 509  
[ ]relat_1__2960_28.min1.thm12017-02-06 12:46 286  
[ ]relat_1__2969_24.min1.thm12017-02-06 12:46 539  
[ ]relat_1__2977_18.min1.thm12017-02-06 12:46 404  
[ ]relat_1__2977_18.min1.thm1.tptp2017-02-06 16:47 330  
[ ]relat_1__2978_21.min1.thm12017-02-06 12:46 800  
[ ]relat_1__2979_22.min1.thm12017-02-06 12:46 493  
[ ]relat_1__2987_18.min1.thm12017-02-06 12:46 406  
[ ]relat_1__2987_18.min1.thm1.tptp2017-02-06 16:47 332  
[ ]relat_1__2988_21.min1.thm12017-02-06 12:46 802  
[ ]relat_1__2989_23.min1.thm12017-02-06 12:46 497  
[ ]relat_1__2999_21.min1.thm12017-02-06 12:46 353  
[ ]relat_1__2999_21.min1.thm1.tptp2017-02-06 16:47 279  
[ ]relat_1__3000_33.min1.thm12017-02-06 12:46 785  
[ ]relat_1__3001_10.min1.thm12017-02-06 12:46 503  
[ ]relat_1__3009_31.min1.thm12017-02-06 12:46 332  
[ ]relat_1__3010_13.min1.thm12017-02-06 12:46 262  
[ ]relat_1__3017_15.min1.thm12017-02-06 12:46 404  
[ ]relat_1__3017_15.min1.thm1.tptp2017-02-06 16:47 330  
[ ]relat_1__3018_18.min1.thm12017-02-06 12:46 503  
[ ]relat_1__3026_15.min1.thm12017-02-06 12:46 406  
[ ]relat_1__3026_15.min1.thm1.tptp2017-02-06 16:47 332  
[ ]relat_1__3027_19.min1.thm12017-02-06 12:46 505  
[ ]relat_1__3032_46.min1.thm12017-02-06 12:46 291  
[ ]relat_1__3037_9.min1.thm12017-02-06 12:46 393  
[ ]relat_1__3037_9.min1.thm1.tptp2017-02-06 16:47 323  
[ ]relat_1__3038_17.min1.thm12017-02-06 12:46 748  
[ ]relat_1__3047_33.min1.thm12017-02-06 12:46 565  
[ ]relat_1__3048_18.min1.thm12017-02-06 12:46 511  
[ ]relat_1__3048_18.min1.thm1.tptp2017-02-06 16:47 440  
[ ]relat_1__3054_30.min1.thm12017-02-06 12:46 581  
[ ]relat_1__3055_48.min1.thm12017-02-06 12:46 946  
[ ]relat_1__3056_32.min1.thm12017-02-06 12:46 867  
[ ]relat_1__3057_18.min1.thm12017-02-06 12:46 358  
[ ]relat_1__3063_47.min1.thm12017-02-06 12:46 603  
[ ]relat_1__3064_20.min1.thm12017-02-06 12:46 564  
[ ]relat_1__3065_25.min1.thm12017-02-06 12:46 472  
[ ]relat_1__3065_25.min1.thm1.tptp2017-02-06 16:47 398  
[ ]relat_1__3076_12.min1.thm12017-02-06 12:46 453  
[ ]relat_1__3076_12.min1.thm1.tptp2017-02-06 16:47 399  
[ ]relat_1__3078_15.min1.thm12017-02-06 12:46 609  
[ ]relat_1__3079_29.min1.thm12017-02-06 12:46 708  
[ ]relat_1__3091_13.min1.thm12017-02-06 12:46 453  
[ ]relat_1__3091_13.min1.thm1.tptp2017-02-06 16:47 399  
[ ]relat_1__3093_16.min1.thm12017-02-06 12:46 609  
[ ]relat_1__3094_29.min1.thm12017-02-06 12:46 798  
[ ]relat_1__3103_21.min1.thm12017-02-06 12:46 376  
[ ]relat_1__3103_21.min1.thm1.tptp2017-02-06 16:47 302  
[ ]relat_1__3104_23.min1.thm12017-02-06 12:46 598  
[ ]relat_1__3105_31.min1.thm12017-02-06 12:46 470  
[ ]relat_1__3105_31.min1.thm1.tptp2017-02-06 16:47 396  
[ ]relat_1__3106_46.min1.thm12017-02-06 12:46 1.2K 
[ ]relat_1__3107_27.min1.thm12017-02-06 12:46 859  
[ ]relat_1__3108_15.min1.thm12017-02-06 12:46 528  
[ ]relat_1__3109_25.min1.thm12017-02-06 12:46 959  
[ ]relat_1__3118_16.min1.thm12017-02-06 12:46 400  
[ ]relat_1__3118_16.min1.thm1.tptp2017-02-06 16:47 326  
[ ]relat_1__3119_21.min1.thm12017-02-06 12:46 447  
[ ]relat_1__3128_16.min1.thm12017-02-06 12:46 402  
[ ]relat_1__3128_16.min1.thm1.tptp2017-02-06 16:47 328  
[ ]relat_1__3129_21.min1.thm12017-02-06 12:46 449  
[ ]relat_1__3138_30.min1.thm12017-02-06 12:46 606  
[ ]relat_1__3139_15.min1.thm12017-02-06 12:46 520  
[ ]relat_1__3141_17.min1.thm12017-02-06 12:46 362  
[ ]relat_1__3141_17.min1.thm1.tptp2017-02-06 16:47 284  
[ ]relat_1__3142_16.min1.thm12017-02-06 12:46 473  
[ ]relat_1__3142_16.min1.thm1.tptp2017-02-06 16:47 402  
[ ]relat_1__3149_28.min1.thm12017-02-06 12:46 490  
[ ]relat_1__3149_28.min1.thm1.tptp2017-02-06 16:47 409  
[ ]relat_1__3150_30.min1.thm12017-02-06 12:46 617  
[ ]relat_1__3151_38.min1.thm12017-02-06 12:46 541  
[ ]relat_1__3151_38.min1.thm1.tptp2017-02-06 16:47 473  
[ ]relat_1__3152_19.min1.thm12017-02-06 12:46 591  
[ ]relat_1__3160_14.min1.thm12017-02-06 12:46 349  
[ ]relat_1__3160_14.min1.thm1.tptp2017-02-06 16:47 271  
[ ]relat_1__3161_17.min1.thm12017-02-06 12:46 776  
[ ]relat_1__3170_38.min1.thm12017-02-06 12:46 621  
[ ]relat_1__3171_27.min1.thm12017-02-06 12:46 506  
[ ]relat_1__3171_27.min1.thm1.tptp2017-02-06 16:47 435  
[ ]relat_1__3181_38.min1.thm12017-02-06 12:46 626  
[ ]relat_1__3182_27.min1.thm12017-02-06 12:46 510  
[ ]relat_1__3182_27.min1.thm1.tptp2017-02-06 16:47 439  
[ ]relat_1__3183_26.min1.thm12017-02-06 12:46 427  
[ ]relat_1__3183_26.min1.thm1.tptp2017-02-06 16:47 349  
[ ]relat_1__3192_17.min1.thm12017-02-06 12:46 420  
[ ]relat_1__3192_17.min1.thm1.tptp2017-02-06 16:47 346  
[ ]relat_1__3193_18.min1.thm12017-02-06 12:46 750  
[ ]relat_1__3198_17.min1.thm12017-02-06 12:46 422  
[ ]relat_1__3198_17.min1.thm1.tptp2017-02-06 16:47 348  
[ ]relat_1__3199_18.min1.thm12017-02-06 12:46 752  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80