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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]filerec1__49_28.min1.thm12017-02-06 12:46 1.5K 
[ ]filerec1__59_15.min1.thm12017-02-06 12:46 360  
[ ]filerec1__59_15.min1.thm1.tptp2017-02-06 16:47 74  
[ ]filerec1__59_21.min1.thm12017-02-06 12:46 339  
[ ]filerec1__59_21.min1.thm1.tptp2017-02-06 16:47 141  
[ ]filerec1__60_17.min1.thm12017-02-06 12:46 421  
[ ]filerec1__60_17.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__68_30.min1.thm12017-02-06 12:46 453  
[ ]filerec1__72_15.min1.thm12017-02-06 12:46 749  
[ ]filerec1__74_13.min1.thm12017-02-06 12:46 362  
[ ]filerec1__77_56.min1.thm12017-02-06 12:46 491  
[ ]filerec1__78_15.min1.thm12017-02-06 12:46 408  
[ ]filerec1__78_15.min1.thm1.tptp2017-02-06 16:47 46  
[ ]filerec1__79_43.min1.thm12017-02-06 12:46 615  
[ ]filerec1__79_43.min1.thm1.tptp2017-02-06 16:47 44  
[ ]filerec1__83_15.min1.thm12017-02-06 12:46 362  
[ ]filerec1__86_58.min1.thm12017-02-06 12:46 407  
[ ]filerec1__86_58.min1.thm1.tptp2017-02-06 16:47 46  
[ ]filerec1__87_23.min1.thm12017-02-06 12:46 750  
[ ]filerec1__92_55.min1.thm12017-02-06 12:46 628  
[ ]filerec1__93_33.min1.thm12017-02-06 12:46 628  
[ ]filerec1__110_28.min1.thm12017-02-06 12:46 1.5K 
[ ]filerec1__111_11.min1.thm12017-02-06 12:46 498  
[ ]filerec1__123_18.min1.thm12017-02-06 12:46 581  
[ ]filerec1__143_13.min1.thm12017-02-06 12:46 526  
[ ]filerec1__144_23.min1.thm12017-02-06 12:46 3.0K 
[ ]filerec1__146_19.min1.thm12017-02-06 12:46 1.2K 
[ ]filerec1__147_48.min1.thm12017-02-06 12:46 735  
[ ]filerec1__148_14.min1.thm12017-02-06 12:46 736  
[ ]filerec1__152_17.min1.thm12017-02-06 12:46 2.1K 
[ ]filerec1__155_13.min1.thm12017-02-06 12:46 753  
[ ]filerec1__158_25.min1.thm12017-02-06 12:46 367  
[ ]filerec1__158_25.min1.thm1.tptp2017-02-06 16:47 75  
[ ]filerec1__176_21.min1.thm12017-02-06 12:46 1.9K 
[ ]filerec1__177_21.min1.thm12017-02-06 12:46 455  
[ ]filerec1__178_14.min1.thm12017-02-06 12:46 410  
[ ]filerec1__178_14.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__180_15.min1.thm12017-02-06 12:46 1.3K 
[ ]filerec1__181_9.min1.thm12017-02-06 12:46 408  
[ ]filerec1__181_9.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__182_20.min1.thm12017-02-06 12:46 851  
[ ]filerec1__184_19.min1.thm12017-02-06 12:46 528  
[ ]filerec1__185_15.min1.thm12017-02-06 12:46 814  
[ ]filerec1__187_26.min1.thm12017-02-06 12:46 969  
[ ]filerec1__199_31.min1.thm12017-02-06 12:46 653  
[ ]filerec1__202_18.min1.thm12017-02-06 12:46 367  
[ ]filerec1__202_18.min1.thm1.tptp2017-02-06 16:47 44  
[ ]filerec1__204_17.min1.thm12017-02-06 12:46 1.7K 
[ ]filerec1__205_10.min1.thm12017-02-06 12:46 737  
[ ]filerec1__206_17.min1.thm12017-02-06 12:46 338  
[ ]filerec1__206_17.min1.thm1.tptp2017-02-06 16:47 54  
[ ]filerec1__214_31.min1.thm12017-02-06 12:46 653  
[ ]filerec1__219_18.min1.thm12017-02-06 12:46 734  
[ ]filerec1__220_17.min1.thm12017-02-06 12:46 445  
[ ]filerec1__228_31.min1.thm12017-02-06 12:46 659  
[ ]filerec1__232_25.min1.thm12017-02-06 12:46 695  
[ ]filerec1__233_30.min1.thm12017-02-06 12:46 574  
[ ]filerec1__233_30.min1.thm1.tptp2017-02-06 16:47 222  
[ ]filerec1__234_18.min1.thm12017-02-06 12:46 811  
[ ]filerec1__235_17.min1.thm12017-02-06 12:46 448  
[ ]filerec1__245_19.min1.thm12017-02-06 12:46 369  
[ ]filerec1__245_19.min1.thm1.tptp2017-02-06 16:47 44  
[ ]filerec1__246_17.min1.thm12017-02-06 12:46 427  
[ ]filerec1__246_17.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__254_33.min1.thm12017-02-06 12:46 659  
[ ]filerec1__259_18.min1.thm12017-02-06 12:46 739  
[ ]filerec1__260_47.min1.thm12017-02-06 12:46 435  
[ ]filerec1__261_24.min1.thm12017-02-06 12:46 947  
[ ]filerec1__262_16.min1.thm12017-02-06 12:46 820  
[ ]filerec1__263_14.min1.thm12017-02-06 12:46 1.2K 
[ ]filerec1__273_18.min1.thm12017-02-06 12:46 525  
[ ]filerec1__273_18.min1.thm1.tptp2017-02-06 16:47 170  
[ ]filerec1__274_15.min1.thm12017-02-06 12:46 525  
[ ]filerec1__274_15.min1.thm1.tptp2017-02-06 16:47 170  
[ ]filerec1__275_14.min1.thm12017-02-06 12:46 401  
[ ]filerec1__285_18.min1.thm12017-02-06 12:46 525  
[ ]filerec1__285_18.min1.thm1.tptp2017-02-06 16:47 170  
[ ]filerec1__286_17.min1.thm12017-02-06 12:46 525  
[ ]filerec1__286_17.min1.thm1.tptp2017-02-06 16:47 170  
[ ]filerec1__287_14.min1.thm12017-02-06 12:46 435  
[ ]filerec1__297_51.min1.thm12017-02-06 12:46 584  
[ ]filerec1__298_13.min1.thm12017-02-06 12:46 1.0K 
[ ]filerec1__299_20.min1.thm12017-02-06 12:46 811  
[ ]filerec1__310_51.min1.thm12017-02-06 12:46 584  
[ ]filerec1__312_45.min1.thm12017-02-06 12:46 1.3K 
[ ]filerec1__314_16.min1.thm12017-02-06 12:46 820  
[ ]filerec1__315_14.min1.thm12017-02-06 12:46 1.2K 
[ ]filerec1__323_14.min1.thm12017-02-06 12:46 364  
[ ]filerec1__323_14.min1.thm1.tptp2017-02-06 16:47 74  
[ ]filerec1__323_20.min1.thm12017-02-06 12:46 341  
[ ]filerec1__323_20.min1.thm1.tptp2017-02-06 16:47 141  
[ ]filerec1__324_14.min1.thm12017-02-06 12:46 2.1K 
[ ]filerec1__333_20.min1.thm12017-02-06 12:46 457  
[ ]filerec1__334_25.min1.thm12017-02-06 12:46 1.2K 
[ ]filerec1__336_24.min1.thm12017-02-06 12:46 590  
[ ]filerec1__336_24.min1.thm1.tptp2017-02-06 16:47 0  
[ ]filerec1__337_50.min1.thm12017-02-06 12:46 1.2K 
[ ]filerec1__338_19.min1.thm12017-02-06 12:46 1.8K 
[ ]filerec1__341_21.min1.thm12017-02-06 12:46 1.8K 
[ ]filerec1__343_24.min1.thm12017-02-06 12:46 788  
[ ]filerec1__353_47.min1.thm12017-02-06 12:46 716  
[ ]filerec1__353_47.min1.thm1.tptp2017-02-06 16:47 0  
[ ]filerec1__355_11.min1.thm12017-02-06 12:46 457  
[ ]filerec1__356_29.min1.thm12017-02-06 12:46 1.4K 
[ ]filerec1__359_34.min1.thm12017-02-06 12:46 489  
[ ]filerec1__359_34.min1.thm1.tptp2017-02-06 16:47 0  
[ ]filerec1__363_18.min1.thm12017-02-06 12:46 1.5K 
[ ]filerec1__365_24.min1.thm12017-02-06 12:46 417  
[ ]filerec1__365_24.min1.thm1.tptp2017-02-06 16:47 117  
[ ]filerec1__366_13.min1.thm12017-02-06 12:46 819  
[ ]filerec1__367_32.min1.thm12017-02-06 12:46 666  
[ ]filerec1__371_25.min1.thm12017-02-06 12:46 1.7K 
[ ]filerec1__372_16.min1.thm12017-02-06 12:46 2.0K 
[ ]filerec1__376_14.min1.thm12017-02-06 12:46 452  
[ ]filerec1__376_14.min1.thm1.tptp2017-02-06 16:47 107  
[ ]filerec1__377_17.min1.thm12017-02-06 12:46 1.6K 
[ ]filerec1__379_22.min1.thm12017-02-06 12:46 851  
[ ]filerec1__380_20.min1.thm12017-02-06 12:46 476  
[ ]filerec1__380_20.min1.thm1.tptp2017-02-06 16:47 0  
[ ]filerec1__384_21.min1.thm12017-02-06 12:46 2.0K 
[ ]filerec1__386_31.min1.thm12017-02-06 12:46 621  
[ ]filerec1__387_18.min1.thm12017-02-06 12:46 789  
[ ]filerec1__390_24.min1.thm12017-02-06 12:46 1.4K 
[ ]filerec1__393_13.min1.thm12017-02-06 12:46 819  
[ ]filerec1__400_34.min1.thm12017-02-06 12:46 476  
[ ]filerec1__400_34.min1.thm1.tptp2017-02-06 16:47 0  
[ ]filerec1__405_19.min1.thm12017-02-06 12:46 1.1K 
[ ]filerec1__405_19.min1.thm1.tptp2017-02-06 16:47 0  
[ ]filerec1__407_30.min1.thm12017-02-06 12:46 489  
[ ]filerec1__407_30.min1.thm1.tptp2017-02-06 16:47 0  
[ ]filerec1__408_17.min1.thm12017-02-06 12:46 457  
[ ]filerec1__409_29.min1.thm12017-02-06 12:46 1.1K 
[ ]filerec1__421_15.min1.thm12017-02-06 12:46 544  
[ ]filerec1__421_15.min1.thm1.tptp2017-02-06 16:47 156  
[ ]filerec1__435_20.min1.thm12017-02-06 12:46 462  
[ ]filerec1__436_25.min1.thm12017-02-06 12:46 462  
[ ]filerec1__438_21.min1.thm12017-02-06 12:46 2.0K 
[ ]filerec1__439_19.min1.thm12017-02-06 12:46 854  
[ ]filerec1__441_23.min1.thm12017-02-06 12:46 621  
[ ]filerec1__443_30.min1.thm12017-02-06 12:46 1.8K 
[ ]filerec1__444_18.min1.thm12017-02-06 12:46 1.8K 
[ ]filerec1__448_48.min1.thm12017-02-06 12:46 627  
[ ]filerec1__451_30.min1.thm12017-02-06 12:46 634  
[ ]filerec1__452_53.min1.thm12017-02-06 12:46 893  
[ ]filerec1__453_44.min1.thm12017-02-06 12:46 893  
[ ]filerec1__464_14.min1.thm12017-02-06 12:46 819  
[ ]filerec1__466_16.min1.thm12017-02-06 12:46 952  
[ ]filerec1__467_29.min1.thm12017-02-06 12:46 755  
[ ]filerec1__471_29.min1.thm12017-02-06 12:46 755  
[ ]filerec1__478_20.min1.thm12017-02-06 12:46 1.9K 
[ ]filerec1__480_25.min1.thm12017-02-06 12:46 1.7K 
[ ]filerec1__481_33.min1.thm12017-02-06 12:46 1.7K 
[ ]filerec1__486_21.min1.thm12017-02-06 12:46 687  
[ ]filerec1__489_16.min1.thm12017-02-06 12:46 391  
[ ]filerec1__491_23.min1.thm12017-02-06 12:46 427  
[ ]filerec1__491_23.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__504_54.min1.thm12017-02-06 12:46 2.1K 
[ ]filerec1__506_16.min1.thm12017-02-06 12:46 417  
[ ]filerec1__506_16.min1.thm1.tptp2017-02-06 16:47 117  
[ ]filerec1__507_25.min1.thm12017-02-06 12:46 419  
[ ]filerec1__507_25.min1.thm1.tptp2017-02-06 16:47 117  
[ ]filerec1__509_26.min1.thm12017-02-06 12:46 427  
[ ]filerec1__509_26.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__537_24.min1.thm12017-02-06 12:46 3.2K 
[ ]filerec1__538_17.min1.thm12017-02-06 12:46 925  
[ ]filerec1__546_29.min1.thm12017-02-06 12:46 555  
[ ]filerec1__547_35.min1.thm12017-02-06 12:46 1.0K 
[ ]filerec1__549_30.min1.thm12017-02-06 12:46 575  
[ ]filerec1__550_18.min1.thm12017-02-06 12:46 933  
[ ]filerec1__551_16.min1.thm12017-02-06 12:46 427  
[ ]filerec1__551_16.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__552_11.min1.thm12017-02-06 12:46 452  
[ ]filerec1__552_11.min1.thm1.tptp2017-02-06 16:47 107  
[ ]filerec1__553_17.min1.thm12017-02-06 12:46 427  
[ ]filerec1__553_17.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__567_41.min1.thm12017-02-06 12:46 584  
[ ]filerec1__568_24.min1.thm12017-02-06 12:46 741  
[ ]filerec1__569_21.min1.thm12017-02-06 12:46 785  
[ ]filerec1__570_17.min1.thm12017-02-06 12:46 527  
[ ]filerec1__570_17.min1.thm1.tptp2017-02-06 16:47 0  
[ ]filerec1__571_26.min1.thm12017-02-06 12:46 851  
[ ]filerec1__572_36.min1.thm12017-02-06 12:46 603  
[ ]filerec1__576_13.min1.thm12017-02-06 12:46 755  
[ ]filerec1__578_29.min1.thm12017-02-06 12:46 1.2K 
[ ]filerec1__579_25.min1.thm12017-02-06 12:46 389  
[ ]filerec1__580_15.min1.thm12017-02-06 12:46 653  
[ ]filerec1__581_8.min1.thm12017-02-06 12:46 1.0K 
[ ]filerec1__582_34.min1.thm12017-02-06 12:46 427  
[ ]filerec1__582_34.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__584_41.min1.thm12017-02-06 12:46 427  
[ ]filerec1__584_41.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__585_18.min1.thm12017-02-06 12:46 726  
[ ]filerec1__587_29.min1.thm12017-02-06 12:46 1.0K 
[ ]filerec1__588_20.min1.thm12017-02-06 12:46 1.2K 
[ ]filerec1__589_15.min1.thm12017-02-06 12:46 426  
[ ]filerec1__589_15.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__590_30.min1.thm12017-02-06 12:46 621  
[ ]filerec1__592_32.min1.thm12017-02-06 12:46 414  
[ ]filerec1__592_32.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__594_40.min1.thm12017-02-06 12:46 427  
[ ]filerec1__594_40.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__595_23.min1.thm12017-02-06 12:46 943  
[ ]filerec1__595_33.min1.thm12017-02-06 12:46 1.4K 
[ ]filerec1__596_10.min1.thm12017-02-06 12:46 427  
[ ]filerec1__596_10.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__597_25.min1.thm12017-02-06 12:46 739  
[ ]filerec1__599_44.min1.thm12017-02-06 12:46 851  
[ ]filerec1__608_10.min1.thm12017-02-06 12:46 521  
[ ]filerec1__608_10.min1.thm1.tptp2017-02-06 16:47 0  
[ ]filerec1__609_18.min1.thm12017-02-06 12:46 1.3K 
[ ]filerec1__610_16.min1.thm12017-02-06 12:46 820  
[ ]filerec1__612_25.min1.thm12017-02-06 12:46 807  
[ ]filerec1__612_44.min1.thm12017-02-06 12:46 709  
[ ]filerec1__613_12.min1.thm12017-02-06 12:46 1.1K 
[ ]filerec1__616_17.min1.thm12017-02-06 12:46 724  
[ ]filerec1__617_33.min1.thm12017-02-06 12:46 1.9K 
[ ]filerec1__620_17.min1.thm12017-02-06 12:46 1.1K 
[ ]filerec1__627_11.min1.thm12017-02-06 12:46 358  
[ ]filerec1__630_16.min1.thm12017-02-06 12:46 417  
[ ]filerec1__630_16.min1.thm1.tptp2017-02-06 16:47 117  
[ ]filerec1__633_21.min1.thm12017-02-06 12:46 1.2K 
[ ]filerec1__635_31.min1.thm12017-02-06 12:46 1.2K 
[ ]filerec1__636_19.min1.thm12017-02-06 12:46 414  
[ ]filerec1__636_19.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__640_19.min1.thm12017-02-06 12:46 1.6K 
[ ]filerec1__649_29.min1.thm12017-02-06 12:46 427  
[ ]filerec1__649_29.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__660_24.min1.thm12017-02-06 12:46 414  
[ ]filerec1__660_24.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__661_40.min1.thm12017-02-06 12:46 1.6K 
[ ]filerec1__670_24.min1.thm12017-02-06 12:46 1.0K 
[ ]filerec1__674_59.min1.thm12017-02-06 12:46 1.4K 
[ ]filerec1__676_22.min1.thm12017-02-06 12:46 938  
[ ]filerec1__679_11.min1.thm12017-02-06 12:46 358  
[ ]filerec1__685_10.min1.thm12017-02-06 12:46 490  
[ ]filerec1__685_10.min1.thm1.tptp2017-02-06 16:47 127  
[ ]filerec1__690_15.min1.thm12017-02-06 12:46 348  
[ ]filerec1__693_27.min1.thm12017-02-06 12:46 2.4K 
[ ]filerec1__694_31.min1.thm12017-02-06 12:46 2.1K 
[ ]filerec1__696_29.min1.thm12017-02-06 12:46 1.5K 
[ ]filerec1__700_40.min1.thm12017-02-06 12:46 1.0K 
[ ]filerec1__701_33.min1.thm12017-02-06 12:46 1.0K 
[ ]filerec1__703_33.min1.thm12017-02-06 12:46 882  
[ ]filerec1__709_16.min1.thm12017-02-06 12:46 678  
[ ]filerec1__710_23.min1.thm12017-02-06 12:46 427  
[ ]filerec1__710_23.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__714_45.min1.thm12017-02-06 12:46 674  
[ ]filerec1__714_45.min1.thm1.tptp2017-02-06 16:47 0  
[ ]filerec1__716_28.min1.thm12017-02-06 12:46 1.3K 
[ ]filerec1__719_24.min1.thm12017-02-06 12:46 427  
[ ]filerec1__719_24.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__723_23.min1.thm12017-02-06 12:46 427  
[ ]filerec1__723_23.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__726_16.min1.thm12017-02-06 12:46 606  
[ ]filerec1__726_16.min1.thm1.tptp2017-02-06 16:47 0  
[ ]filerec1__731_13.min1.thm12017-02-06 12:46 364  
[ ]filerec1__731_13.min1.thm1.tptp2017-02-06 16:47 74  
[ ]filerec1__733_34.min1.thm12017-02-06 12:46 427  
[ ]filerec1__733_34.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__734_9.min1.thm12017-02-06 12:46 929  
[ ]filerec1__735_36.min1.thm12017-02-06 12:46 427  
[ ]filerec1__735_36.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__737_15.min1.thm12017-02-06 12:46 675  
[ ]filerec1__738_12.min1.thm12017-02-06 12:46 1.0K 
[ ]filerec1__749_11.min1.thm12017-02-06 12:46 358  
[ ]filerec1__752_20.min1.thm12017-02-06 12:46 1.0K 
[ ]filerec1__753_24.min1.thm12017-02-06 12:46 1.2K 
[ ]filerec1__755_35.min1.thm12017-02-06 12:46 414  
[ ]filerec1__755_35.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__756_19.min1.thm12017-02-06 12:46 876  
[ ]filerec1__760_19.min1.thm12017-02-06 12:46 1.6K 
[ ]filerec1__763_19.min1.thm12017-02-06 12:46 1.2K 
[ ]filerec1__765_24.min1.thm12017-02-06 12:46 1.8K 
[ ]filerec1__767_27.min1.thm12017-02-06 12:46 893  
[ ]filerec1__768_20.min1.thm12017-02-06 12:46 1.1K 
[ ]filerec1__769_27.min1.thm12017-02-06 12:46 1.7K 
[ ]filerec1__771_23.min1.thm12017-02-06 12:46 2.0K 
[ ]filerec1__774_22.min1.thm12017-02-06 12:46 1.5K 
[ ]filerec1__776_34.min1.thm12017-02-06 12:46 417  
[ ]filerec1__776_34.min1.thm1.tptp2017-02-06 16:47 117  
[ ]filerec1__780_41.min1.thm12017-02-06 12:46 1.6K 
[ ]filerec1__787_60.min1.thm12017-02-06 12:46 1.3K 
[ ]filerec1__788_31.min1.thm12017-02-06 12:46 1.6K 
[ ]filerec1__790_52.min1.thm12017-02-06 12:46 2.0K 
[ ]filerec1__791_31.min1.thm12017-02-06 12:46 632  
[ ]filerec1__794_32.min1.thm12017-02-06 12:46 621  
[ ]filerec1__800_43.min1.thm12017-02-06 12:46 930  
[ ]filerec1__803_42.min1.thm12017-02-06 12:46 1.3K 
[ ]filerec1__804_42.min1.thm12017-02-06 12:46 1.9K 
[ ]filerec1__805_35.min1.thm12017-02-06 12:46 414  
[ ]filerec1__805_35.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__806_19.min1.thm12017-02-06 12:46 876  
[ ]filerec1__817_11.min1.thm12017-02-06 12:46 358  
[ ]filerec1__820_19.min1.thm12017-02-06 12:46 1.1K 
[ ]filerec1__824_19.min1.thm12017-02-06 12:46 867  
[ ]filerec1__833_31.min1.thm12017-02-06 12:46 427  
[ ]filerec1__833_31.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__837_71.min1.thm12017-02-06 12:46 1.1K 
[ ]filerec1__853_14.min1.thm12017-02-06 12:46 573  
[ ]filerec1__870_31.min1.thm12017-02-06 12:46 427  
[ ]filerec1__870_31.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__873_14.min1.thm12017-02-06 12:46 573  
[ ]filerec1__881_32.min1.thm12017-02-06 12:46 1.1K 
[ ]filerec1__885_13.min1.thm12017-02-06 12:46 358  
[ ]filerec1__889_37.min1.thm12017-02-06 12:46 419  
[ ]filerec1__889_37.min1.thm1.tptp2017-02-06 16:47 117  
[ ]filerec1__890_34.min1.thm12017-02-06 12:46 755  
[ ]filerec1__899_64.min1.thm12017-02-06 12:46 2.8K 
[ ]filerec1__901_23.min1.thm12017-02-06 12:46 595  
[ ]filerec1__907_18.min1.thm12017-02-06 12:46 1.4K 
[ ]filerec1__909_45.min1.thm12017-02-06 12:46 1.7K 
[ ]filerec1__910_26.min1.thm12017-02-06 12:46 1.1K 
[ ]filerec1__912_23.min1.thm12017-02-06 12:46 1.8K 
[ ]filerec1__918_37.min1.thm12017-02-06 12:46 557  
[ ]filerec1__918_37.min1.thm1.tptp2017-02-06 16:47 156  
[ ]filerec1__921_46.min1.thm12017-02-06 12:46 755  
[ ]filerec1__923_13.min1.thm12017-02-06 12:46 358  
[ ]filerec1__930_40.min1.thm12017-02-06 12:46 885  
[ ]filerec1__932_28.min1.thm12017-02-06 12:46 1.0K 
[ ]filerec1__933_16.min1.thm12017-02-06 12:46 427  
[ ]filerec1__933_16.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__938_33.min1.thm12017-02-06 12:46 1.2K 
[ ]filerec1__939_18.min1.thm12017-02-06 12:46 1.4K 
[ ]filerec1__941_23.min1.thm12017-02-06 12:46 1.2K 
[ ]filerec1__947_37.min1.thm12017-02-06 12:46 557  
[ ]filerec1__947_37.min1.thm1.tptp2017-02-06 16:47 156  
[ ]filerec1__950_17.min1.thm12017-02-06 12:46 578  
[ ]filerec1__950_17.min1.thm1.tptp2017-02-06 16:47 0  
[ ]filerec1__961_32.min1.thm12017-02-06 12:46 1.1K 
[ ]filerec1__962_17.min1.thm12017-02-06 12:46 417  
[ ]filerec1__962_17.min1.thm1.tptp2017-02-06 16:47 117  
[ ]filerec1__964_13.min1.thm12017-02-06 12:46 358  
[ ]filerec1__970_37.min1.thm12017-02-06 12:46 419  
[ ]filerec1__970_37.min1.thm1.tptp2017-02-06 16:47 117  
[ ]filerec1__978_67.min1.thm12017-02-06 12:46 3.6K 
[ ]filerec1__982_16.min1.thm12017-02-06 12:46 427  
[ ]filerec1__982_16.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__983_18.min1.thm12017-02-06 12:46 417  
[ ]filerec1__983_18.min1.thm1.tptp2017-02-06 16:47 117  
[ ]filerec1__985_24.min1.thm12017-02-06 12:46 1.8K 
[ ]filerec1__990_45.min1.thm12017-02-06 12:46 1.7K 
[ ]filerec1__991_26.min1.thm12017-02-06 12:46 1.1K 
[ ]filerec1__993_18.min1.thm12017-02-06 12:46 1.4K 
[ ]filerec1__995_23.min1.thm12017-02-06 12:46 968  
[ ]filerec1__1001_37.min1.thm12017-02-06 12:46 559  
[ ]filerec1__1001_37.min1.thm1.tptp2017-02-06 16:47 156  
[ ]filerec1__1004_17.min1.thm12017-02-06 12:46 1.5K 
[ ]filerec1__1005_17.min1.thm12017-02-06 12:46 722  
[ ]filerec1__1017_22.min1.thm12017-02-06 12:46 881  
[ ]filerec1__1018_28.min1.thm12017-02-06 12:46 429  
[ ]filerec1__1018_28.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__1021_22.min1.thm12017-02-06 12:46 881  
[ ]filerec1__1022_28.min1.thm12017-02-06 12:46 429  
[ ]filerec1__1022_28.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__1025_8.min1.thm12017-02-06 12:46 427  
[ ]filerec1__1025_8.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__1026_39.min1.thm12017-02-06 12:46 429  
[ ]filerec1__1026_39.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__1043_14.min1.thm12017-02-06 12:46 1.0K 
[ ]filerec1__1047_37.min1.thm12017-02-06 12:46 2.3K 
[ ]filerec1__1054_17.min1.thm12017-02-06 12:46 905  
[ ]filerec1__1071_34.min1.thm12017-02-06 12:46 1.6K 
[ ]filerec1__1072_19.min1.thm12017-02-06 12:46 2.5K 
[ ]filerec1__1084_11.min1.thm12017-02-06 12:46 360  
[ ]filerec1__1102_37.min1.thm12017-02-06 12:46 1.8K 
[ ]filerec1__1109_38.min1.thm12017-02-06 12:46 1.8K 
[ ]filerec1__1117_10.min1.thm12017-02-06 12:46 429  
[ ]filerec1__1117_10.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__1118_42.min1.thm12017-02-06 12:46 1.1K 
[ ]filerec1__1122_23.min1.thm12017-02-06 12:46 800  
[ ]filerec1__1123_13.min1.thm12017-02-06 12:46 428  
[ ]filerec1__1123_13.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__1128_19.min1.thm12017-02-06 12:46 649  
[ ]filerec1__1128_19.min1.thm1.tptp2017-02-06 16:47 156  
[ ]filerec1__1137_29.min1.thm12017-02-06 12:46 429  
[ ]filerec1__1137_29.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__1138_17.min1.thm12017-02-06 12:46 972  
[ ]filerec1__1152_34.min1.thm12017-02-06 12:46 2.2K 
[ ]filerec1__1154_21.min1.thm12017-02-06 12:46 1.8K 
[ ]filerec1__1159_11.min1.thm12017-02-06 12:46 370  
[ ]filerec1__1162_33.min1.thm12017-02-06 12:46 777  
[ ]filerec1__1166_14.min1.thm12017-02-06 12:46 816  
[ ]filerec1__1168_25.min1.thm12017-02-06 12:46 752  
[ ]filerec1__1173_41.min1.thm12017-02-06 12:46 2.0K 
[ ]filerec1__1182_23.min1.thm12017-02-06 12:46 459  
[ ]filerec1__1184_19.min1.thm12017-02-06 12:46 699  
[ ]filerec1__1201_48.min1.thm12017-02-06 12:46 2.5K 
[ ]filerec1__1204_14.min1.thm12017-02-06 12:46 845  
[ ]filerec1__1210_11.min1.thm12017-02-06 12:46 334  
[ ]filerec1__1213_16.min1.thm12017-02-06 12:46 366  
[ ]filerec1__1213_16.min1.thm1.tptp2017-02-06 16:47 74  
[ ]filerec1__1214_19.min1.thm12017-02-06 12:46 429  
[ ]filerec1__1214_19.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__1221_15.min1.thm12017-02-06 12:46 360  
[ ]filerec1__1227_45.min1.thm12017-02-06 12:46 689  
[ ]filerec1__1230_19.min1.thm12017-02-06 12:46 419  
[ ]filerec1__1230_19.min1.thm1.tptp2017-02-06 16:47 117  
[ ]filerec1__1238_19.min1.thm12017-02-06 12:46 1.1K 
[ ]filerec1__1243_28.min1.thm12017-02-06 12:46 429  
[ ]filerec1__1243_28.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__1245_27.min1.thm12017-02-06 12:46 1.2K 
[ ]filerec1__1249_37.min1.thm12017-02-06 12:46 636  
[ ]filerec1__1251_38.min1.thm12017-02-06 12:46 429  
[ ]filerec1__1251_38.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__1256_24.min1.thm12017-02-06 12:46 429  
[ ]filerec1__1256_24.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__1277_19.min1.thm12017-02-06 12:46 762  
[ ]filerec1__1298_30.min1.thm12017-02-06 12:46 1.4K 
[ ]filerec1__1310_41.min1.thm12017-02-06 12:46 1.8K 
[ ]filerec1__1334_25.min1.thm12017-02-06 12:46 628  
[ ]filerec1__1335_34.min1.thm12017-02-06 12:46 640  
[ ]filerec1__1375_23.min1.thm12017-02-06 12:46 864  
[ ]filerec1__1380_34.min1.thm12017-02-06 12:46 1.2K 
[ ]filerec1__1387_37.min1.thm12017-02-06 12:46 825  
[ ]filerec1__1407_26.min1.thm12017-02-06 12:46 1.0K 
[ ]filerec1__1419_54.min1.thm12017-02-06 12:46 2.5K 
[ ]filerec1__1424_17.min1.thm12017-02-06 12:46 834  
[ ]filerec1__1435_40.min1.thm12017-02-06 12:46 631  
[ ]filerec1__1445_21.min1.thm12017-02-06 12:46 1.6K 
[ ]filerec1__1447_25.min1.thm12017-02-06 12:46 682  
[ ]filerec1__1448_52.min1.thm12017-02-06 12:46 429  
[ ]filerec1__1448_52.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__1449_40.min1.thm12017-02-06 12:46 631  
[ ]filerec1__1464_28.min1.thm12017-02-06 12:46 2.6K 
[ ]filerec1__1465_41.min1.thm12017-02-06 12:46 599  
[ ]filerec1__1466_17.min1.thm12017-02-06 12:46 1.1K 
[ ]filerec1__1479_11.min1.thm12017-02-06 12:46 551  
[ ]filerec1__1479_11.min1.thm1.tptp2017-02-06 16:47 0  
[ ]filerec1__1483_74.min1.thm12017-02-06 12:46 683  
[ ]filerec1__1485_19.min1.thm12017-02-06 12:46 1.2K 
[ ]filerec1__1490_39.min1.thm12017-02-06 12:46 683  
[ ]filerec1__1491_15.min1.thm12017-02-06 12:46 1.0K 
[ ]filerec1__1493_13.min1.thm12017-02-06 12:46 416  
[ ]filerec1__1493_13.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__1494_43.min1.thm12017-02-06 12:46 599  
[ ]filerec1__1495_19.min1.thm12017-02-06 12:46 1.1K 
[ ]filerec1__1499_16.min1.thm12017-02-06 12:46 419  
[ ]filerec1__1499_16.min1.thm1.tptp2017-02-06 16:47 117  
[ ]filerec1__1502_16.min1.thm12017-02-06 12:46 1.0K 
[ ]filerec1__1505_51.min1.thm12017-02-06 12:46 419  
[ ]filerec1__1505_51.min1.thm1.tptp2017-02-06 16:47 117  
[ ]filerec1__1506_30.min1.thm12017-02-06 12:46 429  
[ ]filerec1__1506_30.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__1510_14.min1.thm12017-02-06 12:46 419  
[ ]filerec1__1510_14.min1.thm1.tptp2017-02-06 16:47 117  
[ ]filerec1__1511_30.min1.thm12017-02-06 12:46 866  
[ ]filerec1__1516_40.min1.thm12017-02-06 12:46 1.1K 
[ ]filerec1__1517_39.min1.thm12017-02-06 12:46 683  
[ ]filerec1__1518_19.min1.thm12017-02-06 12:46 1.2K 
[ ]filerec1__1524_17.min1.thm12017-02-06 12:46 1.0K 
[ ]filerec1__1527_52.min1.thm12017-02-06 12:46 419  
[ ]filerec1__1527_52.min1.thm1.tptp2017-02-06 16:47 117  
[ ]filerec1__1528_30.min1.thm12017-02-06 12:46 429  
[ ]filerec1__1528_30.min1.thm1.tptp2017-02-06 16:47 105  
[ ]filerec1__1532_14.min1.thm12017-02-06 12:46 419  
[ ]filerec1__1532_14.min1.thm1.tptp2017-02-06 16:47 117  
[ ]filerec1__1533_30.min1.thm12017-02-06 12:46 866  
[ ]filerec1__1538_40.min1.thm12017-02-06 12:46 1.1K 
[ ]filerec1__1539_46.min1.thm12017-02-06 12:46 1.3K 
[ ]filerec1__1540_19.min1.thm12017-02-06 12:46 1.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80