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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]relat_2__97_20.min1.thm12017-02-06 12:46 599  
[ ]relat_2__102_20.min1.thm12017-02-06 12:46 415  
[ ]relat_2__102_20.min1.thm1.tptp2017-02-06 16:47 339  
[ ]relat_2__107_20.min1.thm12017-02-06 12:46 513  
[ ]relat_2__107_20.min1.thm1.tptp2017-02-06 16:47 445  
[ ]relat_2__112_20.min1.thm12017-02-06 12:46 538  
[ ]relat_2__112_20.min1.thm1.tptp2017-02-06 16:47 472  
[ ]relat_2__117_20.min1.thm12017-02-06 12:46 515  
[ ]relat_2__117_20.min1.thm1.tptp2017-02-06 16:47 442  
[ ]relat_2__122_20.min1.thm12017-02-06 12:46 680  
[ ]relat_2__127_20.min1.thm12017-02-06 12:46 652  
[ ]relat_2__130_18.min1.thm12017-02-06 12:46 605  
[ ]relat_2__130_18.min1.thm1.tptp2017-02-06 16:47 540  
[ ]relat_2__144_34.min1.thm12017-02-06 12:46 566  
[ ]relat_2__145_25.min1.thm12017-02-06 12:46 682  
[ ]relat_2__152_29.min1.thm12017-02-06 12:46 508  
[ ]relat_2__153_21.min1.thm12017-02-06 12:46 1.3K 
[ ]relat_2__162_34.min1.thm12017-02-06 12:46 396  
[ ]relat_2__167_35.min1.thm12017-02-06 12:46 608  
[ ]relat_2__169_29.min1.thm12017-02-06 12:46 566  
[ ]relat_2__170_19.min1.thm12017-02-06 12:46 584  
[ ]relat_2__173_34.min1.thm12017-02-06 12:46 784  
[ ]relat_2__179_29.min1.thm12017-02-06 12:46 508  
[ ]relat_2__180_17.min1.thm12017-02-06 12:46 584  
[ ]relat_2__196_26.min1.thm12017-02-06 12:46 497  
[ ]relat_2__196_26.min1.thm1.tptp2017-02-06 16:47 433  
[ ]relat_2__198_15.min1.thm12017-02-06 12:46 581  
[ ]relat_2__199_19.min1.thm12017-02-06 12:46 482  
[ ]relat_2__199_19.min1.thm1.tptp2017-02-06 16:47 419  
[ ]relat_2__200_28.min1.thm12017-02-06 12:46 873  
[ ]relat_2__201_36.min1.thm12017-02-06 12:46 488  
[ ]relat_2__201_36.min1.thm1.tptp2017-02-06 16:47 423  
[ ]relat_2__213_27.min1.thm12017-02-06 12:46 479  
[ ]relat_2__215_25.min1.thm12017-02-06 12:46 568  
[ ]relat_2__216_22.min1.thm12017-02-06 12:46 479  
[ ]relat_2__217_27.min1.thm12017-02-06 12:46 569  
[ ]relat_2__233_27.min1.thm12017-02-06 12:46 479  
[ ]relat_2__235_17.min1.thm12017-02-06 12:46 565  
[ ]relat_2__236_22.min1.thm12017-02-06 12:46 479  
[ ]relat_2__237_20.min1.thm12017-02-06 12:46 565  
[ ]relat_2__251_33.min1.thm12017-02-06 12:46 427  
[ ]relat_2__252_32.min1.thm12017-02-06 12:46 427  
[ ]relat_2__257_19.min1.thm12017-02-06 12:46 426  
[ ]relat_2__257_19.min1.thm1.tptp2017-02-06 16:47 363  
[ ]relat_2__258_36.min1.thm12017-02-06 12:46 602  
[ ]relat_2__259_24.min1.thm12017-02-06 12:46 855  
[ ]relat_2__260_25.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_2__265_19.min1.thm12017-02-06 12:46 428  
[ ]relat_2__265_19.min1.thm1.tptp2017-02-06 16:47 365  
[ ]relat_2__266_36.min1.thm12017-02-06 12:46 602  
[ ]relat_2__267_24.min1.thm12017-02-06 12:46 855  
[ ]relat_2__268_25.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_2__270_19.min1.thm12017-02-06 12:46 949  
[ ]relat_2__286_12.min1.thm12017-02-06 12:46 516  
[ ]relat_2__287_19.min1.thm12017-02-06 12:46 428  
[ ]relat_2__287_19.min1.thm1.tptp2017-02-06 16:47 342  
[ ]relat_2__292_18.min1.thm12017-02-06 12:46 842  
[ ]relat_2__292_18.min1.thm1.tptp2017-02-06 16:47 793  
[ ]relat_2__297_18.min1.thm12017-02-06 12:46 720  
[ ]relat_2__297_18.min1.thm1.tptp2017-02-06 16:47 673  
[ ]relat_2__314_19.min1.thm12017-02-06 12:46 612  
[ ]relat_2__315_17.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_2__323_57.min1.thm12017-02-06 12:46 594  
[ ]relat_2__324_27.min1.thm12017-02-06 12:46 607  
[ ]relat_2__326_18.min1.thm12017-02-06 12:46 702  
[ ]relat_2__336_32.min1.thm12017-02-06 12:46 372  
[ ]relat_2__336_32.min1.thm1.tptp2017-02-06 16:47 295  
[ ]relat_2__339_22.min1.thm12017-02-06 12:46 474  
[ ]relat_2__340_20.min1.thm12017-02-06 12:46 612  
[ ]relat_2__341_22.min1.thm12017-02-06 12:46 673  
[ ]relat_2__350_34.min1.thm12017-02-06 12:46 373  
[ ]relat_2__350_34.min1.thm1.tptp2017-02-06 16:47 296  
[ ]relat_2__353_22.min1.thm12017-02-06 12:46 474  
[ ]relat_2__354_24.min1.thm12017-02-06 12:46 617  
[ ]relat_2__355_17.min1.thm12017-02-06 12:46 679  
[ ]relat_2__364_32.min1.thm12017-02-06 12:46 398  
[ ]relat_2__365_35.min1.thm12017-02-06 12:46 630  
[ ]relat_2__370_28.min1.thm12017-02-06 12:46 690  
[ ]relat_2__371_25.min1.thm12017-02-06 12:46 879  
[ ]relat_2__372_24.min1.thm12017-02-06 12:46 636  
[ ]relat_2__373_25.min1.thm12017-02-06 12:46 418  
[ ]relat_2__373_25.min1.thm1.tptp2017-02-06 16:47 352  
[ ]relat_2__377_26.min1.thm12017-02-06 12:46 584  
[ ]relat_2__378_24.min1.thm12017-02-06 12:46 647  
[ ]relat_2__379_25.min1.thm12017-02-06 12:46 636  
[ ]relat_2__380_27.min1.thm12017-02-06 12:46 442  
[ ]relat_2__380_27.min1.thm1.tptp2017-02-06 16:47 376  
[ ]relat_2__382_40.min1.thm12017-02-06 12:46 574  
[ ]relat_2__382_40.min1.thm1.tptp2017-02-06 16:47 486  
[ ]relat_2__384_26.min1.thm12017-02-06 12:46 420  
[ ]relat_2__384_26.min1.thm1.tptp2017-02-06 16:47 360  
[ ]relat_2__389_28.min1.thm12017-02-06 12:46 784  
[ ]relat_2__390_25.min1.thm12017-02-06 12:46 703  
[ ]relat_2__391_24.min1.thm12017-02-06 12:46 636  
[ ]relat_2__392_25.min1.thm12017-02-06 12:46 420  
[ ]relat_2__392_25.min1.thm1.tptp2017-02-06 16:47 354  
[ ]relat_2__396_26.min1.thm12017-02-06 12:46 678  
[ ]relat_2__397_24.min1.thm12017-02-06 12:46 573  
[ ]relat_2__398_25.min1.thm12017-02-06 12:46 636  
[ ]relat_2__399_27.min1.thm12017-02-06 12:46 444  
[ ]relat_2__399_27.min1.thm1.tptp2017-02-06 16:47 378  
[ ]relat_2__401_40.min1.thm12017-02-06 12:46 580  
[ ]relat_2__401_40.min1.thm1.tptp2017-02-06 16:47 492  
[ ]relat_2__403_17.min1.thm12017-02-06 12:46 424  
[ ]relat_2__403_17.min1.thm1.tptp2017-02-06 16:47 364  
[ ]relat_2__412_32.min1.thm12017-02-06 12:46 403  
[ ]relat_2__418_21.min1.thm12017-02-06 12:46 648  
[ ]relat_2__419_43.min1.thm12017-02-06 12:46 578  
[ ]relat_2__420_27.min1.thm12017-02-06 12:46 815  
[ ]relat_2__425_43.min1.thm12017-02-06 12:46 578  
[ ]relat_2__426_26.min1.thm12017-02-06 12:46 815  
[ ]relat_2__427_28.min1.thm12017-02-06 12:46 648  
[ ]relat_2__429_41.min1.thm12017-02-06 12:46 694  
[ ]relat_2__429_41.min1.thm1.tptp2017-02-06 16:47 606  
[ ]relat_2__431_19.min1.thm12017-02-06 12:46 622  
[ ]relat_2__435_9.min1.thm12017-02-06 12:46 703  
[ ]relat_2__444_32.min1.thm12017-02-06 12:46 372  
[ ]relat_2__444_32.min1.thm1.tptp2017-02-06 16:47 295  
[ ]relat_2__445_32.min1.thm12017-02-06 12:46 372  
[ ]relat_2__445_32.min1.thm1.tptp2017-02-06 16:47 295  
[ ]relat_2__450_24.min1.thm12017-02-06 12:46 626  
[ ]relat_2__451_30.min1.thm12017-02-06 12:46 492  
[ ]relat_2__451_30.min1.thm1.tptp2017-02-06 16:47 430  
[ ]relat_2__455_24.min1.thm12017-02-06 12:46 626  
[ ]relat_2__456_30.min1.thm12017-02-06 12:46 585  
[ ]relat_2__459_35.min1.thm12017-02-06 12:46 685  
[ ]relat_2__460_28.min1.thm12017-02-06 12:46 922  
[ ]relat_2__467_32.min1.thm12017-02-06 12:46 372  
[ ]relat_2__467_32.min1.thm1.tptp2017-02-06 16:47 295  
[ ]relat_2__468_32.min1.thm12017-02-06 12:46 372  
[ ]relat_2__468_32.min1.thm1.tptp2017-02-06 16:47 295  
[ ]relat_2__473_42.min1.thm12017-02-06 12:46 605  
[ ]relat_2__476_17.min1.thm12017-02-06 12:46 622  
[ ]relat_2__478_22.min1.thm12017-02-06 12:46 622  
[ ]relat_2__479_28.min1.thm12017-02-06 12:46 605  
[ ]relat_2__490_34.min1.thm12017-02-06 12:46 373  
[ ]relat_2__490_34.min1.thm1.tptp2017-02-06 16:47 296  
[ ]relat_2__491_34.min1.thm12017-02-06 12:46 373  
[ ]relat_2__491_34.min1.thm1.tptp2017-02-06 16:47 296  
[ ]relat_2__496_23.min1.thm12017-02-06 12:46 621  
[ ]relat_2__497_48.min1.thm12017-02-06 12:46 518  
[ ]relat_2__497_48.min1.thm1.tptp2017-02-06 16:47 453  
[ ]relat_2__498_44.min1.thm12017-02-06 12:46 585  
[ ]relat_2__499_34.min1.thm12017-02-06 12:46 932  
[ ]relat_2__504_23.min1.thm12017-02-06 12:46 621  
[ ]relat_2__505_48.min1.thm12017-02-06 12:46 518  
[ ]relat_2__505_48.min1.thm1.tptp2017-02-06 16:47 453  
[ ]relat_2__506_44.min1.thm12017-02-06 12:46 585  
[ ]relat_2__507_34.min1.thm12017-02-06 12:46 839  
[ ]relat_2__510_35.min1.thm12017-02-06 12:46 677  
[ ]relat_2__511_32.min1.thm12017-02-06 12:46 903  
[ ]relat_2__519_44.min1.thm12017-02-06 12:46 603  
[ ]relat_2__521_24.min1.thm12017-02-06 12:46 629  
[ ]relat_2__522_17.min1.thm12017-02-06 12:46 482  
[ ]relat_2__522_17.min1.thm1.tptp2017-02-06 16:47 418  
[ ]relat_2__532_34.min1.thm12017-02-06 12:46 373  
[ ]relat_2__532_34.min1.thm1.tptp2017-02-06 16:47 296  
[ ]relat_2__537_23.min1.thm12017-02-06 12:46 474  
[ ]relat_2__537_23.min1.thm1.tptp2017-02-06 16:47 411  
[ ]relat_2__538_19.min1.thm12017-02-06 12:46 487  
[ ]relat_2__538_19.min1.thm1.tptp2017-02-06 16:47 424  
[ ]relat_2__539_26.min1.thm12017-02-06 12:46 550  
[ ]relat_2__540_29.min1.thm12017-02-06 12:46 621  
[ ]relat_2__545_23.min1.thm12017-02-06 12:46 476  
[ ]relat_2__545_23.min1.thm1.tptp2017-02-06 16:47 413  
[ ]relat_2__546_19.min1.thm12017-02-06 12:46 487  
[ ]relat_2__546_19.min1.thm1.tptp2017-02-06 16:47 424  
[ ]relat_2__547_26.min1.thm12017-02-06 12:46 550  
[ ]relat_2__548_29.min1.thm12017-02-06 12:46 621  
[ ]relat_2__550_19.min1.thm12017-02-06 12:46 1.3K 
[ ]relat_2__557_14.min1.thm12017-02-06 12:46 344  
[ ]relat_2__557_14.min1.thm1.tptp2017-02-06 16:47 269  
[ ]relat_2__565_32.min1.thm12017-02-06 12:46 373  
[ ]relat_2__565_32.min1.thm1.tptp2017-02-06 16:47 296  
[ ]relat_2__566_32.min1.thm12017-02-06 12:46 373  
[ ]relat_2__566_32.min1.thm1.tptp2017-02-06 16:47 296  
[ ]relat_2__576_41.min1.thm12017-02-06 12:46 619  
[ ]relat_2__577_24.min1.thm12017-02-06 12:46 864  
[ ]relat_2__578_30.min1.thm12017-02-06 12:46 585  
[ ]relat_2__583_41.min1.thm12017-02-06 12:46 619  
[ ]relat_2__584_24.min1.thm12017-02-06 12:46 864  
[ ]relat_2__585_30.min1.thm12017-02-06 12:46 492  
[ ]relat_2__585_30.min1.thm1.tptp2017-02-06 16:47 430  
[ ]relat_2__587_28.min1.thm12017-02-06 12:46 970  
[ ]relat_2__594_32.min1.thm12017-02-06 12:46 373  
[ ]relat_2__594_32.min1.thm1.tptp2017-02-06 16:47 296  
[ ]relat_2__595_32.min1.thm12017-02-06 12:46 373  
[ ]relat_2__595_32.min1.thm1.tptp2017-02-06 16:47 296  
[ ]relat_2__601_18.min1.thm12017-02-06 12:46 581  
[ ]relat_2__602_43.min1.thm12017-02-06 12:46 605  
[ ]relat_2__605_18.min1.thm12017-02-06 12:46 858  
[ ]relat_2__606_18.min1.thm12017-02-06 12:46 488  
[ ]relat_2__606_18.min1.thm1.tptp2017-02-06 16:47 426  
[ ]relat_2__608_22.min1.thm12017-02-06 12:46 858  
[ ]relat_2__609_28.min1.thm12017-02-06 12:46 606  
[ ]relat_2__616_32.min1.thm12017-02-06 12:46 373  
[ ]relat_2__616_32.min1.thm1.tptp2017-02-06 16:47 296  
[ ]relat_2__617_32.min1.thm12017-02-06 12:46 373  
[ ]relat_2__617_32.min1.thm1.tptp2017-02-06 16:47 296  
[ ]relat_2__624_21.min1.thm12017-02-06 12:46 494  
[ ]relat_2__624_21.min1.thm1.tptp2017-02-06 16:47 430  
[ ]relat_2__626_62.min1.thm12017-02-06 12:46 828  
[ ]relat_2__627_18.min1.thm12017-02-06 12:46 491  
[ ]relat_2__627_18.min1.thm1.tptp2017-02-06 16:47 428  
[ ]relat_2__628_39.min1.thm12017-02-06 12:46 615  
[ ]relat_2__630_18.min1.thm12017-02-06 12:46 858  
[ ]relat_2__632_6.min1.thm12017-02-06 12:46 585  
[ ]relat_2__632_6.min1.thm1.tptp2017-02-06 16:47 524  
[ ]relat_2__633_27.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_2__644_33.min1.thm12017-02-06 12:46 373  
[ ]relat_2__644_33.min1.thm1.tptp2017-02-06 16:47 296  
[ ]relat_2__649_17.min1.thm12017-02-06 12:46 673  
[ ]relat_2__650_32.min1.thm12017-02-06 12:46 604  
[ ]relat_2__651_24.min1.thm12017-02-06 12:46 845  
[ ]relat_2__652_17.min1.thm12017-02-06 12:46 679  
[ ]relat_2__662_33.min1.thm12017-02-06 12:46 373  
[ ]relat_2__662_33.min1.thm1.tptp2017-02-06 16:47 296  
[ ]relat_2__663_46.min1.thm12017-02-06 12:46 667  
[ ]relat_2__668_17.min1.thm12017-02-06 12:46 569  
[ ]relat_2__670_24.min1.thm12017-02-06 12:46 845  
[ ]relat_2__671_17.min1.thm12017-02-06 12:46 575  
[ ]relat_2__674_9.min1.thm12017-02-06 12:46 550  
[ ]relat_2__683_33.min1.thm12017-02-06 12:46 373  
[ ]relat_2__683_33.min1.thm1.tptp2017-02-06 16:47 296  
[ ]relat_2__689_17.min1.thm12017-02-06 12:46 479  
[ ]relat_2__689_17.min1.thm1.tptp2017-02-06 16:47 416  
[ ]relat_2__690_37.min1.thm12017-02-06 12:46 603  
[ ]relat_2__691_24.min1.thm12017-02-06 12:46 845  
[ ]relat_2__692_17.min1.thm12017-02-06 12:46 485  
[ ]relat_2__692_17.min1.thm1.tptp2017-02-06 16:47 420  
[ ]relat_2__704_36.min1.thm12017-02-06 12:46 403  
[ ]relat_2__709_25.min1.thm12017-02-06 12:46 500  
[ ]relat_2__709_25.min1.thm1.tptp2017-02-06 16:47 438  
[ ]relat_2__711_19.min1.thm12017-02-06 12:46 644  
[ ]relat_2__713_19.min1.thm12017-02-06 12:46 424  
[ ]relat_2__713_19.min1.thm1.tptp2017-02-06 16:47 358  
[ ]relat_2__714_19.min1.thm12017-02-06 12:46 488  
[ ]relat_2__714_19.min1.thm1.tptp2017-02-06 16:47 426  
[ ]relat_2__715_41.min1.thm12017-02-06 12:46 574  
[ ]relat_2__716_19.min1.thm12017-02-06 12:46 891  
[ ]relat_2__717_34.min1.thm12017-02-06 12:46 611  
[ ]relat_2__719_36.min1.thm12017-02-06 12:46 738  
[ ]relat_2__731_20.min1.thm12017-02-06 12:46 644  
[ ]relat_2__732_32.min1.thm12017-02-06 12:46 611  
[ ]relat_2__733_20.min1.thm12017-02-06 12:46 1.7K 
[ ]relat_2__737_17.min1.thm12017-02-06 12:46 595  
[ ]relat_2__737_17.min1.thm1.tptp2017-02-06 16:47 507  
[ ]relat_2__749_30.min1.thm12017-02-06 12:46 839  
[ ]relat_2__750_32.min1.thm12017-02-06 12:46 604  
[ ]relat_2__751_16.min1.thm12017-02-06 12:46 900  
[ ]relat_2__761_36.min1.thm12017-02-06 12:46 373  
[ ]relat_2__761_36.min1.thm1.tptp2017-02-06 16:47 296  
[ ]relat_2__767_17.min1.thm12017-02-06 12:46 476  
[ ]relat_2__767_17.min1.thm1.tptp2017-02-06 16:47 414  
[ ]relat_2__768_17.min1.thm12017-02-06 12:46 476  
[ ]relat_2__768_17.min1.thm1.tptp2017-02-06 16:47 414  
[ ]relat_2__769_37.min1.thm12017-02-06 12:46 603  
[ ]relat_2__770_16.min1.thm12017-02-06 12:46 922  
[ ]relat_2__773_9.min1.thm12017-02-06 12:46 550  
[ ]relat_2__777_36.min1.thm12017-02-06 12:46 373  
[ ]relat_2__777_36.min1.thm1.tptp2017-02-06 16:47 296  
[ ]relat_2__783_17.min1.thm12017-02-06 12:46 479  
[ ]relat_2__783_17.min1.thm1.tptp2017-02-06 16:47 416  
[ ]relat_2__784_17.min1.thm12017-02-06 12:46 479  
[ ]relat_2__784_17.min1.thm1.tptp2017-02-06 16:47 416  
[ ]relat_2__785_37.min1.thm12017-02-06 12:46 603  
[ ]relat_2__786_17.min1.thm12017-02-06 12:46 922  
[ ]relat_2__795_33.min1.thm12017-02-06 12:46 373  
[ ]relat_2__795_33.min1.thm1.tptp2017-02-06 16:47 296  
[ ]relat_2__802_34.min1.thm12017-02-06 12:46 604  
[ ]relat_2__803_17.min1.thm12017-02-06 12:46 673  
[ ]relat_2__804_30.min1.thm12017-02-06 12:46 932  
[ ]relat_2__805_20.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_2__806_17.min1.thm12017-02-06 12:46 674  
[ ]relat_2__815_33.min1.thm12017-02-06 12:46 373  
[ ]relat_2__815_33.min1.thm1.tptp2017-02-06 16:47 296  
[ ]relat_2__816_33.min1.thm12017-02-06 12:46 373  
[ ]relat_2__816_33.min1.thm1.tptp2017-02-06 16:47 296  
[ ]relat_2__822_17.min1.thm12017-02-06 12:46 569  
[ ]relat_2__824_19.min1.thm12017-02-06 12:46 544  
[ ]relat_2__825_17.min1.thm12017-02-06 12:46 569  
[ ]relat_2__826_37.min1.thm12017-02-06 12:46 603  
[ ]relat_2__828_18.min1.thm12017-02-06 12:46 1.1K 
[ ]relat_2__829_18.min1.thm12017-02-06 12:46 477  
[ ]relat_2__829_18.min1.thm1.tptp2017-02-06 16:47 415  
[ ]relat_2__831_20.min1.thm12017-02-06 12:46 546  
[ ]relat_2__832_18.min1.thm12017-02-06 12:46 477  
[ ]relat_2__832_18.min1.thm1.tptp2017-02-06 16:47 415  
[ ]relat_2__833_37.min1.thm12017-02-06 12:46 605  
[ ]relat_2__834_20.min1.thm12017-02-06 12:46 1.1K 
[ ]relat_2__835_17.min1.thm12017-02-06 12:46 590  
[ ]relat_2__847_33.min1.thm12017-02-06 12:46 403  
[ ]relat_2__853_19.min1.thm12017-02-06 12:46 669  
[ ]relat_2__854_21.min1.thm12017-02-06 12:46 515  
[ ]relat_2__855_36.min1.thm12017-02-06 12:46 685  
[ ]relat_2__856_25.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_2__858_21.min1.thm12017-02-06 12:46 583  
[ ]relat_2__865_22.min1.thm12017-02-06 12:46 663  
[ ]relat_2__866_17.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_2__875_32.min1.thm12017-02-06 12:46 403  
[ ]relat_2__881_41.min1.thm12017-02-06 12:46 551  
[ ]relat_2__881_41.min1.thm1.tptp2017-02-06 16:47 488  
[ ]relat_2__885_20.min1.thm12017-02-06 12:46 567  
[ ]relat_2__885_20.min1.thm1.tptp2017-02-06 16:47 525  
[ ]relat_2__886_32.min1.thm12017-02-06 12:46 526  
[ ]relat_2__886_32.min1.thm1.tptp2017-02-06 16:47 462  
[ ]relat_2__887_22.min1.thm12017-02-06 12:46 707  
[ ]relat_2__888_40.min1.thm12017-02-06 12:46 929  
[ ]relat_2__889_41.min1.thm12017-02-06 12:46 819  
[ ]relat_2__890_29.min1.thm12017-02-06 12:46 671  
[ ]relat_2__892_73.min1.thm12017-02-06 12:46 636  
[ ]relat_2__894_59.min1.thm12017-02-06 12:46 657  
[ ]relat_2__894_59.min1.thm1.tptp2017-02-06 16:47 593  
[ ]relat_2__899_74.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_2__902_21.min1.thm12017-02-06 12:46 896  
[ ]relat_2__902_21.min1.thm1.tptp2017-02-06 16:47 837  
[ ]relat_2__904_30.min1.thm12017-02-06 12:46 1.2K 
[ ]relat_2__905_17.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_2__917_19.min1.thm12017-02-06 12:46 719  
[ ]relat_2__920_16.min1.thm12017-02-06 12:46 640  
[ ]relat_2__938_20.min1.thm12017-02-06 12:46 666  
[ ]relat_2__939_36.min1.thm12017-02-06 12:46 669  
[ ]relat_2__940_40.min1.thm12017-02-06 12:46 818  
[ ]relat_2__941_43.min1.thm12017-02-06 12:46 667  
[ ]relat_2__942_42.min1.thm12017-02-06 12:46 634  
[ ]relat_2__948_20.min1.thm12017-02-06 12:46 567  
[ ]relat_2__948_20.min1.thm1.tptp2017-02-06 16:47 525  
[ ]relat_2__949_35.min1.thm12017-02-06 12:46 874  
[ ]relat_2__950_41.min1.thm12017-02-06 12:46 818  
[ ]relat_2__951_29.min1.thm12017-02-06 12:46 669  
[ ]relat_2__953_57.min1.thm12017-02-06 12:46 754  
[ ]relat_2__953_57.min1.thm1.tptp2017-02-06 16:47 666  
[ ]relat_2__955_43.min1.thm12017-02-06 12:46 532  
[ ]relat_2__955_43.min1.thm1.tptp2017-02-06 16:47 472  
[ ]relat_2__960_57.min1.thm12017-02-06 12:46 635  
[ ]relat_2__960_57.min1.thm1.tptp2017-02-06 16:47 573  
[ ]relat_2__962_4.min1.thm12017-02-06 12:46 775  
[ ]relat_2__962_4.min1.thm1.tptp2017-02-06 16:47 718  
[ ]relat_2__963_17.min1.thm12017-02-06 12:46 1.0K 
[ ]relat_2__976_19.min1.thm12017-02-06 12:46 505  
[ ]relat_2__977_34.min1.thm12017-02-06 12:46 562  
[ ]relat_2__978_23.min1.thm12017-02-06 12:46 1.1K 
[ ]relat_2__982_20.min1.thm12017-02-06 12:46 587  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80