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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]robbins2__38_18.min1.thm12017-02-06 12:45 1.9K 
[ ]robbins2__44_18.min1.thm12017-02-06 12:45 2.3K 
[ ]robbins2__54_15.min1.thm12017-02-06 12:45 477  
[ ]robbins2__54_15.min1.thm1.tptp2017-02-06 16:47 389  
[ ]robbins2__70_53.min1.thm12017-02-06 12:45 2.6K 
[ ]robbins2__71_17.min1.thm12017-02-06 12:45 2.5K 
[ ]robbins2__81_60.min1.thm12017-02-06 12:45 1.9K 
[ ]robbins2__82_17.min1.thm12017-02-06 12:45 2.8K 
[ ]robbins2__93_66.min1.thm12017-02-06 12:45 2.3K 
[ ]robbins2__94_17.min1.thm12017-02-06 12:45 2.3K 
[ ]robbins2__104_26.min1.thm12017-02-06 12:45 809  
[ ]robbins2__105_17.min1.thm12017-02-06 12:45 1.9K 
[ ]robbins2__116_67.min1.thm12017-02-06 12:45 2.4K 
[ ]robbins2__117_17.min1.thm12017-02-06 12:45 2.3K 
[ ]robbins2__127_38.min1.thm12017-02-06 12:45 1.6K 
[ ]robbins2__128_17.min1.thm12017-02-06 12:45 1.3K 
[ ]robbins2__138_67.min1.thm12017-02-06 12:45 2.2K 
[ ]robbins2__139_17.min1.thm12017-02-06 12:45 2.4K 
[ ]robbins2__149_38.min1.thm12017-02-06 12:45 1.8K 
[ ]robbins2__150_17.min1.thm12017-02-06 12:45 1.7K 
[ ]robbins2__160_38.min1.thm12017-02-06 12:45 1.9K 
[ ]robbins2__161_17.min1.thm12017-02-06 12:45 1.7K 
[ ]robbins2__171_38.min1.thm12017-02-06 12:45 2.0K 
[ ]robbins2__172_17.min1.thm12017-02-06 12:45 2.0K 
[ ]robbins2__182_38.min1.thm12017-02-06 12:45 2.1K 
[ ]robbins2__183_17.min1.thm12017-02-06 12:45 2.0K 
[ ]robbins2__193_45.min1.thm12017-02-06 12:45 2.0K 
[ ]robbins2__194_17.min1.thm12017-02-06 12:45 1.9K 
[ ]robbins2__204_53.min1.thm12017-02-06 12:45 2.3K 
[ ]robbins2__205_17.min1.thm12017-02-06 12:45 2.1K 
[ ]robbins2__215_31.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__216_17.min1.thm12017-02-06 12:45 1.8K 
[ ]robbins2__226_24.min1.thm12017-02-06 12:45 1.8K 
[ ]robbins2__227_17.min1.thm12017-02-06 12:45 1.9K 
[ ]robbins2__237_17.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__238_17.min1.thm12017-02-06 12:45 2.2K 
[ ]robbins2__248_31.min1.thm12017-02-06 12:45 1.6K 
[ ]robbins2__249_17.min1.thm12017-02-06 12:45 2.1K 
[ ]robbins2__259_40.min1.thm12017-02-06 12:45 1.7K 
[ ]robbins2__260_17.min1.thm12017-02-06 12:45 2.0K 
[ ]robbins2__269_25.min1.thm12017-02-06 12:45 918  
[ ]robbins2__270_17.min1.thm12017-02-06 12:45 1.6K 
[ ]robbins2__280_38.min1.thm12017-02-06 12:45 1.4K 
[ ]robbins2__281_17.min1.thm12017-02-06 12:45 1.4K 
[ ]robbins2__292_26.min1.thm12017-02-06 12:45 1.5K 
[ ]robbins2__293_17.min1.thm12017-02-06 12:45 1.2K 
[ ]robbins2__302_18.min1.thm12017-02-06 12:45 676  
[ ]robbins2__303_32.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__304_14.min1.thm12017-02-06 12:45 722  
[ ]robbins2__313_35.min1.thm12017-02-06 12:45 1.2K 
[ ]robbins2__314_11.min1.thm12017-02-06 12:45 1.4K 
[ ]robbins2__315_14.min1.thm12017-02-06 12:45 336  
[ ]robbins2__324_34.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__325_17.min1.thm12017-02-06 12:45 1.7K 
[ ]robbins2__334_26.min1.thm12017-02-06 12:45 933  
[ ]robbins2__335_15.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__336_14.min1.thm12017-02-06 12:45 516  
[ ]robbins2__345_47.min1.thm12017-02-06 12:45 1.4K 
[ ]robbins2__346_17.min1.thm12017-02-06 12:45 2.0K 
[ ]robbins2__355_22.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__356_15.min1.thm12017-02-06 12:45 875  
[ ]robbins2__357_14.min1.thm12017-02-06 12:45 400  
[ ]robbins2__364_33.min1.thm12017-02-06 12:45 651  
[ ]robbins2__364_33.min1.thm1.tptp2017-02-06 16:47 604  
[ ]robbins2__365_17.min1.thm12017-02-06 12:45 805  
[ ]robbins2__370_14.min1.thm12017-02-06 12:45 316  
[ ]robbins2__379_30.min1.thm12017-02-06 12:45 1.8K 
[ ]robbins2__380_17.min1.thm12017-02-06 12:45 1.0K 
[ ]robbins2__385_46.min1.thm12017-02-06 12:45 1.0K 
[ ]robbins2__389_47.min1.thm12017-02-06 12:45 1.4K 
[ ]robbins2__398_28.min1.thm12017-02-06 12:45 2.0K 
[ ]robbins2__409_28.min1.thm12017-02-06 12:45 2.0K 
[ ]robbins2__410_17.min1.thm12017-02-06 12:45 2.6K 
[ ]robbins2__415_55.min1.thm12017-02-06 12:45 1.3K 
[ ]robbins2__425_17.min1.thm12017-02-06 12:45 1.6K 
[ ]robbins2__434_34.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__435_17.min1.thm12017-02-06 12:45 1.8K 
[ ]robbins2__444_32.min1.thm12017-02-06 12:45 1.0K 
[ ]robbins2__455_17.min1.thm12017-02-06 12:45 1.7K 
[ ]robbins2__465_39.min1.thm12017-02-06 12:45 2.1K 
[ ]robbins2__480_27.min1.thm12017-02-06 12:45 2.3K 
[ ]robbins2__490_64.min1.thm12017-02-06 12:45 2.3K 
[ ]robbins2__491_17.min1.thm12017-02-06 12:45 1.8K 
[ ]robbins2__500_32.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__501_17.min1.thm12017-02-06 12:45 2.1K 
[ ]robbins2__511_28.min1.thm12017-02-06 12:45 1.4K 
[ ]robbins2__512_17.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__522_46.min1.thm12017-02-06 12:45 1.2K 
[ ]robbins2__523_17.min1.thm12017-02-06 12:45 2.2K 
[ ]robbins2__532_38.min1.thm12017-02-06 12:45 1.9K 
[ ]robbins2__533_17.min1.thm12017-02-06 12:45 1.3K 
[ ]robbins2__542_65.min1.thm12017-02-06 12:45 2.0K 
[ ]robbins2__543_17.min1.thm12017-02-06 12:45 1.8K 
[ ]robbins2__553_17.min1.thm12017-02-06 12:45 2.7K 
[ ]robbins2__562_52.min1.thm12017-02-06 12:45 1.5K 
[ ]robbins2__563_17.min1.thm12017-02-06 12:45 2.2K 
[ ]robbins2__574_48.min1.thm12017-02-06 12:45 2.4K 
[ ]robbins2__575_17.min1.thm12017-02-06 12:45 2.4K 
[ ]robbins2__585_67.min1.thm12017-02-06 12:45 1.6K 
[ ]robbins2__586_17.min1.thm12017-02-06 12:45 2.4K 
[ ]robbins2__596_65.min1.thm12017-02-06 12:45 1.6K 
[ ]robbins2__597_17.min1.thm12017-02-06 12:45 2.1K 
[ ]robbins2__606_35.min1.thm12017-02-06 12:45 1.5K 
[ ]robbins2__607_17.min1.thm12017-02-06 12:45 1.6K 
[ ]robbins2__617_38.min1.thm12017-02-06 12:45 1.2K 
[ ]robbins2__618_17.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__623_55.min1.thm12017-02-06 12:45 1.3K 
[ ]robbins2__631_36.min1.thm12017-02-06 12:45 2.0K 
[ ]robbins2__632_17.min1.thm12017-02-06 12:45 1.3K 
[ ]robbins2__637_49.min1.thm12017-02-06 12:45 1.0K 
[ ]robbins2__641_49.min1.thm12017-02-06 12:45 1.2K 
[ ]robbins2__647_48.min1.thm12017-02-06 12:45 1.4K 
[ ]robbins2__653_47.min1.thm12017-02-06 12:45 1.9K 
[ ]robbins2__654_17.min1.thm12017-02-06 12:45 1.7K 
[ ]robbins2__659_14.min1.thm12017-02-06 12:45 316  
[ ]robbins2__661_14.min1.thm12017-02-06 12:45 316  
[ ]robbins2__673_15.min1.thm12017-02-06 12:45 502  
[ ]robbins2__673_15.min1.thm1.tptp2017-02-06 16:47 412  
[ ]robbins2__674_44.min1.thm12017-02-06 12:45 497  
[ ]robbins2__675_47.min1.thm12017-02-06 12:45 1.4K 
[ ]robbins2__676_21.min1.thm12017-02-06 12:45 845  
[ ]robbins2__677_12.min1.thm12017-02-06 12:45 710  
[ ]robbins2__678_14.min1.thm12017-02-06 12:45 2.1K 
[ ]robbins2__689_15.min1.thm12017-02-06 12:45 502  
[ ]robbins2__689_15.min1.thm1.tptp2017-02-06 16:47 412  
[ ]robbins2__691_20.min1.thm12017-02-06 12:45 548  
[ ]robbins2__691_20.min1.thm1.tptp2017-02-06 16:47 476  
[ ]robbins2__693_30.min1.thm12017-02-06 12:45 2.0K 
[ ]robbins2__694_45.min1.thm12017-02-06 12:45 1.6K 
[ ]robbins2__695_26.min1.thm12017-02-06 12:45 1.6K 
[ ]robbins2__696_11.min1.thm12017-02-06 12:45 1.6K 
[ ]robbins2__697_57.min1.thm12017-02-06 12:45 1.9K 
[ ]robbins2__698_41.min1.thm12017-02-06 12:45 2.0K 
[ ]robbins2__699_38.min1.thm12017-02-06 12:45 1.8K 
[ ]robbins2__701_35.min1.thm12017-02-06 12:45 1.2K 
[ ]robbins2__702_39.min1.thm12017-02-06 12:45 1.4K 
[ ]robbins2__703_37.min1.thm12017-02-06 12:45 1.8K 
[ ]robbins2__704_34.min1.thm12017-02-06 12:45 1.8K 
[ ]robbins2__705_43.min1.thm12017-02-06 12:45 1.8K 
[ ]robbins2__706_40.min1.thm12017-02-06 12:45 2.1K 
[ ]robbins2__707_40.min1.thm12017-02-06 12:45 1.5K 
[ ]robbins2__708_40.min1.thm12017-02-06 12:45 1.5K 
[ ]robbins2__709_41.min1.thm12017-02-06 12:45 2.1K 
[ ]robbins2__710_38.min1.thm12017-02-06 12:45 1.5K 
[ ]robbins2__711_23.min1.thm12017-02-06 12:45 1.6K 
[ ]robbins2__712_11.min1.thm12017-02-06 12:45 1.2K 
[ ]robbins2__714_27.min1.thm12017-02-06 12:45 2.6K 
[ ]robbins2__715_54.min1.thm12017-02-06 12:45 2.8K 
[ ]robbins2__716_52.min1.thm12017-02-06 12:45 2.3K 
[ ]robbins2__717_50.min1.thm12017-02-06 12:45 2.2K 
[ ]robbins2__718_54.min1.thm12017-02-06 12:45 2.3K 
[ ]robbins2__719_52.min1.thm12017-02-06 12:45 1.9K 
[ ]robbins2__720_56.min1.thm12017-02-06 12:45 2.3K 
[ ]robbins2__721_54.min1.thm12017-02-06 12:45 1.7K 
[ ]robbins2__722_52.min1.thm12017-02-06 12:45 2.1K 
[ ]robbins2__723_50.min1.thm12017-02-06 12:45 1.7K 
[ ]robbins2__724_37.min1.thm12017-02-06 12:45 1.4K 
[ ]robbins2__725_59.min1.thm12017-02-06 12:45 2.4K 
[ ]robbins2__726_61.min1.thm12017-02-06 12:45 1.9K 
[ ]robbins2__727_57.min1.thm12017-02-06 12:45 2.4K 
[ ]robbins2__728_59.min1.thm12017-02-06 12:45 1.9K 
[ ]robbins2__729_11.min1.thm12017-02-06 12:45 2.4K 
[ ]robbins2__736_14.min1.thm12017-02-06 12:45 389  
[ ]robbins2__744_15.min1.thm12017-02-06 12:45 346  
[ ]robbins2__744_15.min1.thm1.tptp2017-02-06 16:47 258  
[ ]robbins2__750_11.min1.thm12017-02-06 12:45 658  
[ ]robbins2__752_11.min1.thm12017-02-06 12:45 933  
[ ]robbins2__775_17.min1.thm12017-02-06 12:45 954  
[ ]robbins2__776_19.min1.thm12017-02-06 12:45 1.7K 
[ ]robbins2__782_35.min1.thm12017-02-06 12:45 1.8K 
[ ]robbins2__783_36.min1.thm12017-02-06 12:45 1.7K 
[ ]robbins2__784_17.min1.thm12017-02-06 12:45 1.7K 
[ ]robbins2__785_16.min1.thm12017-02-06 12:45 630  
[ ]robbins2__790_28.min1.thm12017-02-06 12:45 761  
[ ]robbins2__790_28.min1.thm1.tptp2017-02-06 16:47 691  
[ ]robbins2__791_13.min1.thm12017-02-06 12:45 858  
[ ]robbins2__792_16.min1.thm12017-02-06 12:45 326  
[ ]robbins2__797_40.min1.thm12017-02-06 12:45 1.2K 
[ ]robbins2__798_25.min1.thm12017-02-06 12:45 737  
[ ]robbins2__798_25.min1.thm1.tptp2017-02-06 16:47 660  
[ ]robbins2__799_17.min1.thm12017-02-06 12:45 859  
[ ]robbins2__800_16.min1.thm12017-02-06 12:45 514  
[ ]robbins2__806_46.min1.thm12017-02-06 12:45 1.4K 
[ ]robbins2__807_43.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__808_23.min1.thm12017-02-06 12:45 1.6K 
[ ]robbins2__809_17.min1.thm12017-02-06 12:45 1.0K 
[ ]robbins2__810_16.min1.thm12017-02-06 12:45 514  
[ ]robbins2__815_40.min1.thm12017-02-06 12:45 953  
[ ]robbins2__816_25.min1.thm12017-02-06 12:45 1.5K 
[ ]robbins2__817_17.min1.thm12017-02-06 12:45 859  
[ ]robbins2__818_16.min1.thm12017-02-06 12:45 514  
[ ]robbins2__824_46.min1.thm12017-02-06 12:45 1.6K 
[ ]robbins2__825_17.min1.thm12017-02-06 12:45 1.4K 
[ ]robbins2__826_16.min1.thm12017-02-06 12:45 608  
[ ]robbins2__831_38.min1.thm12017-02-06 12:45 837  
[ ]robbins2__832_17.min1.thm12017-02-06 12:45 822  
[ ]robbins2__833_16.min1.thm12017-02-06 12:45 514  
[ ]robbins2__838_43.min1.thm12017-02-06 12:45 1.3K 
[ ]robbins2__839_13.min1.thm12017-02-06 12:45 1.5K 
[ ]robbins2__840_16.min1.thm12017-02-06 12:45 536  
[ ]robbins2__845_25.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__846_19.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__851_32.min1.thm12017-02-06 12:45 768  
[ ]robbins2__851_32.min1.thm1.tptp2017-02-06 16:47 691  
[ ]robbins2__852_19.min1.thm12017-02-06 12:45 1.2K 
[ ]robbins2__853_13.min1.thm12017-02-06 12:45 556  
[ ]robbins2__853_13.min1.thm1.tptp2017-02-06 16:47 479  
[ ]robbins2__854_16.min1.thm12017-02-06 12:45 450  
[ ]robbins2__859_44.min1.thm12017-02-06 12:45 1.5K 
[ ]robbins2__860_25.min1.thm12017-02-06 12:45 864  
[ ]robbins2__860_25.min1.thm1.tptp2017-02-06 16:47 787  
[ ]robbins2__861_17.min1.thm12017-02-06 12:45 869  
[ ]robbins2__862_16.min1.thm12017-02-06 12:45 642  
[ ]robbins2__867_36.min1.thm12017-02-06 12:45 1.3K 
[ ]robbins2__868_19.min1.thm12017-02-06 12:45 1.2K 
[ ]robbins2__869_13.min1.thm12017-02-06 12:45 556  
[ ]robbins2__869_13.min1.thm1.tptp2017-02-06 16:47 479  
[ ]robbins2__870_16.min1.thm12017-02-06 12:45 566  
[ ]robbins2__875_33.min1.thm12017-02-06 12:45 1.3K 
[ ]robbins2__876_21.min1.thm12017-02-06 12:45 1.0K 
[ ]robbins2__876_21.min1.thm1.tptp2017-02-06 16:47 923  
[ ]robbins2__877_14.min1.thm12017-02-06 12:45 1.0K 
[ ]robbins2__878_16.min1.thm12017-02-06 12:45 470  
[ ]robbins2__883_56.min1.thm12017-02-06 12:45 1.9K 
[ ]robbins2__884_17.min1.thm12017-02-06 12:45 1.0K 
[ ]robbins2__885_16.min1.thm12017-02-06 12:45 950  
[ ]robbins2__890_42.min1.thm12017-02-06 12:45 1.2K 
[ ]robbins2__891_41.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__891_41.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]robbins2__892_43.min1.thm12017-02-06 12:45 1.2K 
[ ]robbins2__892_43.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]robbins2__893_19.min1.thm12017-02-06 12:45 1.7K 
[ ]robbins2__894_16.min1.thm12017-02-06 12:45 546  
[ ]robbins2__899_32.min1.thm12017-02-06 12:45 1.3K 
[ ]robbins2__900_29.min1.thm12017-02-06 12:45 1.0K 
[ ]robbins2__900_29.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]robbins2__901_27.min1.thm12017-02-06 12:45 1.5K 
[ ]robbins2__902_13.min1.thm12017-02-06 12:45 1.2K 
[ ]robbins2__903_16.min1.thm12017-02-06 12:45 354  
[ ]robbins2__910_40.min1.thm12017-02-06 12:45 2.2K 
[ ]robbins2__911_17.min1.thm12017-02-06 12:45 1.5K 
[ ]robbins2__912_16.min1.thm12017-02-06 12:45 1.3K 
[ ]robbins2__919_17.min1.thm12017-02-06 12:45 1.5K 
[ ]robbins2__920_62.min1.thm12017-02-06 12:45 1.7K 
[ ]robbins2__921_18.min1.thm12017-02-06 12:45 2.0K 
[ ]robbins2__922_16.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__927_50.min1.thm12017-02-06 12:45 1.2K 
[ ]robbins2__928_25.min1.thm12017-02-06 12:45 1.6K 
[ ]robbins2__929_13.min1.thm12017-02-06 12:45 965  
[ ]robbins2__930_16.min1.thm12017-02-06 12:45 546  
[ ]robbins2__935_27.min1.thm12017-02-06 12:45 1.2K 
[ ]robbins2__936_25.min1.thm12017-02-06 12:45 784  
[ ]robbins2__936_25.min1.thm1.tptp2017-02-06 16:47 707  
[ ]robbins2__937_16.min1.thm12017-02-06 12:45 604  
[ ]robbins2__942_50.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__943_25.min1.thm12017-02-06 12:45 1.6K 
[ ]robbins2__944_13.min1.thm12017-02-06 12:45 790  
[ ]robbins2__945_16.min1.thm12017-02-06 12:45 546  
[ ]robbins2__950_27.min1.thm12017-02-06 12:45 1.2K 
[ ]robbins2__951_25.min1.thm12017-02-06 12:45 784  
[ ]robbins2__951_25.min1.thm1.tptp2017-02-06 16:47 707  
[ ]robbins2__952_16.min1.thm12017-02-06 12:45 604  
[ ]robbins2__957_50.min1.thm12017-02-06 12:45 1.3K 
[ ]robbins2__958_33.min1.thm12017-02-06 12:45 1.3K 
[ ]robbins2__959_20.min1.thm12017-02-06 12:45 1.0K 
[ ]robbins2__960_18.min1.thm12017-02-06 12:45 630  
[ ]robbins2__960_18.min1.thm1.tptp2017-02-06 16:47 553  
[ ]robbins2__961_16.min1.thm12017-02-06 12:45 546  
[ ]robbins2__966_14.min1.thm12017-02-06 12:45 474  
[ ]robbins2__966_14.min1.thm1.tptp2017-02-06 16:47 397  
[ ]robbins2__967_19.min1.thm12017-02-06 12:45 1.2K 
[ ]robbins2__969_32.min1.thm12017-02-06 12:45 776  
[ ]robbins2__974_56.min1.thm12017-02-06 12:45 1.9K 
[ ]robbins2__975_24.min1.thm12017-02-06 12:45 1.0K 
[ ]robbins2__976_16.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__981_49.min1.thm12017-02-06 12:45 1.3K 
[ ]robbins2__982_18.min1.thm12017-02-06 12:45 1.6K 
[ ]robbins2__983_16.min1.thm12017-02-06 12:45 642  
[ ]robbins2__989_28.min1.thm12017-02-06 12:45 870  
[ ]robbins2__990_25.min1.thm12017-02-06 12:45 1.6K 
[ ]robbins2__991_24.min1.thm12017-02-06 12:45 1.0K 
[ ]robbins2__992_16.min1.thm12017-02-06 12:45 642  
[ ]robbins2__997_58.min1.thm12017-02-06 12:45 1.2K 
[ ]robbins2__998_26.min1.thm12017-02-06 12:45 1.7K 
[ ]robbins2__999_16.min1.thm12017-02-06 12:45 1.0K 
[ ]robbins2__1004_54.min1.thm12017-02-06 12:45 1.5K 
[ ]robbins2__1005_34.min1.thm12017-02-06 12:45 1.7K 
[ ]robbins2__1006_28.min1.thm12017-02-06 12:45 1.7K 
[ ]robbins2__1007_26.min1.thm12017-02-06 12:45 842  
[ ]robbins2__1007_26.min1.thm1.tptp2017-02-06 16:47 765  
[ ]robbins2__1008_13.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__1009_16.min1.thm12017-02-06 12:45 816  
[ ]robbins2__1011_26.min1.thm12017-02-06 12:45 961  
[ ]robbins2__1016_34.min1.thm12017-02-06 12:45 1.5K 
[ ]robbins2__1017_31.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__1018_23.min1.thm12017-02-06 12:45 1.7K 
[ ]robbins2__1019_16.min1.thm12017-02-06 12:45 718  
[ ]robbins2__1027_46.min1.thm12017-02-06 12:45 1.4K 
[ ]robbins2__1029_25.min1.thm12017-02-06 12:45 792  
[ ]robbins2__1030_25.min1.thm12017-02-06 12:45 1.3K 
[ ]robbins2__1031_18.min1.thm12017-02-06 12:45 750  
[ ]robbins2__1035_39.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__1037_23.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__1038_16.min1.thm12017-02-06 12:45 622  
[ ]robbins2__1040_32.min1.thm12017-02-06 12:45 1.0K 
[ ]robbins2__1046_14.min1.thm12017-02-06 12:45 425  
[ ]robbins2__1055_23.min1.thm12017-02-06 12:45 554  
[ ]robbins2__1055_23.min1.thm1.tptp2017-02-06 16:47 464  
[ ]robbins2__1060_30.min1.thm12017-02-06 12:45 2.1K 
[ ]robbins2__1061_24.min1.thm12017-02-06 12:45 1.6K 
[ ]robbins2__1062_20.min1.thm12017-02-06 12:45 800  
[ ]robbins2__1063_52.min1.thm12017-02-06 12:45 1.2K 
[ ]robbins2__1064_33.min1.thm12017-02-06 12:45 2.0K 
[ ]robbins2__1065_33.min1.thm12017-02-06 12:45 2.5K 
[ ]robbins2__1066_19.min1.thm12017-02-06 12:45 1.8K 
[ ]robbins2__1067_25.min1.thm12017-02-06 12:45 2.0K 
[ ]robbins2__1068_18.min1.thm12017-02-06 12:45 2.1K 
[ ]robbins2__1073_40.min1.thm12017-02-06 12:45 1.1K 
[ ]robbins2__1074_27.min1.thm12017-02-06 12:45 1.9K 
[ ]robbins2__1075_15.min1.thm12017-02-06 12:45 1.7K 
[ ]robbins2__1076_18.min1.thm12017-02-06 12:45 1.7K 
[ ]robbins2__1078_19.min1.thm12017-02-06 12:45 415  
[ ]robbins2__1088_15.min1.thm12017-02-06 12:45 1.3K 
[ ]robbins2__1095_11.min1.thm12017-02-06 12:45 749  
[ ]robbins2__1098_11.min1.thm12017-02-06 12:45 969  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80