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