Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/finseq_7

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_7__48_17.min1.thm12017-02-06 12:45 2.2K 
[ ]finseq_7__49_11.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__51_17.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__53_18.min1.thm12017-02-06 12:45 620  
[ ]finseq_7__55_20.min1.thm12017-02-06 12:45 2.1K 
[ ]finseq_7__56_23.min1.thm12017-02-06 12:45 1.9K 
[ ]finseq_7__58_24.min1.thm12017-02-06 12:45 2.4K 
[ ]finseq_7__59_37.min1.thm12017-02-06 12:45 553  
[ ]finseq_7__60_20.min1.thm12017-02-06 12:45 1.3K 
[ ]finseq_7__61_13.min1.thm12017-02-06 12:45 3.0K 
[ ]finseq_7__64_16.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__66_28.min1.thm12017-02-06 12:45 2.6K 
[ ]finseq_7__67_32.min1.thm12017-02-06 12:45 811  
[ ]finseq_7__76_14.min1.thm12017-02-06 12:45 1.3K 
[ ]finseq_7__88_23.min1.thm12017-02-06 12:45 796  
[ ]finseq_7__90_41.min1.thm12017-02-06 12:45 2.2K 
[ ]finseq_7__92_32.min1.thm12017-02-06 12:45 1.7K 
[ ]finseq_7__108_20.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__117_37.min1.thm12017-02-06 12:45 552  
[ ]finseq_7__118_19.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__119_48.min1.thm12017-02-06 12:45 2.1K 
[ ]finseq_7__120_17.min1.thm12017-02-06 12:45 2.1K 
[ ]finseq_7__125_26.min1.thm12017-02-06 12:45 961  
[ ]finseq_7__152_28.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__153_21.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__158_24.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__161_19.min1.thm12017-02-06 12:45 1.3K 
[ ]finseq_7__161_19.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]finseq_7__165_37.min1.thm12017-02-06 12:45 452  
[ ]finseq_7__166_35.min1.thm12017-02-06 12:45 731  
[ ]finseq_7__167_16.min1.thm12017-02-06 12:45 940  
[ ]finseq_7__172_33.min1.thm12017-02-06 12:45 1.0K 
[ ]finseq_7__175_41.min1.thm12017-02-06 12:45 1.0K 
[ ]finseq_7__181_20.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__182_17.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__188_20.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__189_17.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__196_20.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__197_17.min1.thm12017-02-06 12:45 1.8K 
[ ]finseq_7__207_14.min1.thm12017-02-06 12:45 479  
[ ]finseq_7__209_17.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__212_20.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__213_11.min1.thm12017-02-06 12:45 1.2K 
[ ]finseq_7__218_17.min1.thm12017-02-06 12:45 1.6K 
[ ]finseq_7__219_33.min1.thm12017-02-06 12:45 1.2K 
[ ]finseq_7__234_37.min1.thm12017-02-06 12:45 559  
[ ]finseq_7__235_24.min1.thm12017-02-06 12:45 1.6K 
[ ]finseq_7__236_17.min1.thm12017-02-06 12:45 1.7K 
[ ]finseq_7__248_17.min1.thm12017-02-06 12:45 662  
[ ]finseq_7__250_21.min1.thm12017-02-06 12:45 1.0K 
[ ]finseq_7__255_13.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__259_20.min1.thm12017-02-06 12:45 1.2K 
[ ]finseq_7__261_11.min1.thm12017-02-06 12:45 1.8K 
[ ]finseq_7__262_20.min1.thm12017-02-06 12:45 1.0K 
[ ]finseq_7__265_15.min1.thm12017-02-06 12:45 2.2K 
[ ]finseq_7__266_20.min1.thm12017-02-06 12:45 1.3K 
[ ]finseq_7__268_37.min1.thm12017-02-06 12:45 1.9K 
[ ]finseq_7__270_43.min1.thm12017-02-06 12:45 2.7K 
[ ]finseq_7__271_56.min1.thm12017-02-06 12:45 2.1K 
[ ]finseq_7__274_54.min1.thm12017-02-06 12:45 2.2K 
[ ]finseq_7__276_51.min1.thm12017-02-06 12:45 2.8K 
[ ]finseq_7__278_51.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__279_14.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__285_13.min1.thm12017-02-06 12:45 387  
[ ]finseq_7__287_44.min1.thm12017-02-06 12:45 1.0K 
[ ]finseq_7__289_19.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__291_36.min1.thm12017-02-06 12:45 1.6K 
[ ]finseq_7__292_26.min1.thm12017-02-06 12:45 2.2K 
[ ]finseq_7__307_17.min1.thm12017-02-06 12:45 1.8K 
[ ]finseq_7__309_28.min1.thm12017-02-06 12:45 1.3K 
[ ]finseq_7__311_22.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__319_21.min1.thm12017-02-06 12:45 674  
[ ]finseq_7__319_29.min1.thm12017-02-06 12:45 770  
[ ]finseq_7__329_23.min1.thm12017-02-06 12:45 2.9K 
[ ]finseq_7__330_22.min1.thm12017-02-06 12:45 2.0K 
[ ]finseq_7__340_28.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__351_21.min1.thm12017-02-06 12:45 674  
[ ]finseq_7__351_29.min1.thm12017-02-06 12:45 770  
[ ]finseq_7__371_21.min1.thm12017-02-06 12:45 831  
[ ]finseq_7__371_29.min1.thm12017-02-06 12:45 927  
[ ]finseq_7__384_30.min1.thm12017-02-06 12:45 2.0K 
[ ]finseq_7__397_32.min1.thm12017-02-06 12:45 621  
[ ]finseq_7__398_56.min1.thm12017-02-06 12:45 768  
[ ]finseq_7__413_30.min1.thm12017-02-06 12:45 818  
[ ]finseq_7__414_35.min1.thm12017-02-06 12:45 812  
[ ]finseq_7__425_19.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__427_19.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__428_19.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__429_24.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__433_40.min1.thm12017-02-06 12:45 1.7K 
[ ]finseq_7__434_19.min1.thm12017-02-06 12:45 1.3K 
[ ]finseq_7__436_13.min1.thm12017-02-06 12:45 131  
[ ]finseq_7__442_30.min1.thm12017-02-06 12:45 1.6K 
[ ]finseq_7__454_17.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__456_17.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__457_17.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__458_17.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__459_11.min1.thm12017-02-06 12:45 197  
[ ]finseq_7__463_16.min1.thm12017-02-06 12:45 2.0K 
[ ]finseq_7__464_15.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__465_19.min1.thm12017-02-06 12:45 682  
[ ]finseq_7__465_19.min1.thm1.tptp2017-02-06 16:47 602  
[ ]finseq_7__470_16.min1.thm12017-02-06 12:45 2.0K 
[ ]finseq_7__472_15.min1.thm12017-02-06 12:45 1.8K 
[ ]finseq_7__473_16.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__474_19.min1.thm12017-02-06 12:45 1.8K 
[ ]finseq_7__481_35.min1.thm12017-02-06 12:45 452  
[ ]finseq_7__482_11.min1.thm12017-02-06 12:45 323  
[ ]finseq_7__491_19.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__498_11.min1.thm12017-02-06 12:45 517  
[ ]finseq_7__503_29.min1.thm12017-02-06 12:45 946  
[ ]finseq_7__504_29.min1.thm12017-02-06 12:45 946  
[ ]finseq_7__509_29.min1.thm12017-02-06 12:45 826  
[ ]finseq_7__511_17.min1.thm12017-02-06 12:45 217  
[ ]finseq_7__514_57.min1.thm12017-02-06 12:45 1.9K 
[ ]finseq_7__515_25.min1.thm12017-02-06 12:45 1.7K 
[ ]finseq_7__520_21.min1.thm12017-02-06 12:45 223  
[ ]finseq_7__523_61.min1.thm12017-02-06 12:45 1.9K 
[ ]finseq_7__524_29.min1.thm12017-02-06 12:45 1.7K 
[ ]finseq_7__534_41.min1.thm12017-02-06 12:45 1.9K 
[ ]finseq_7__535_29.min1.thm12017-02-06 12:45 1.8K 
[ ]finseq_7__538_22.min1.thm12017-02-06 12:45 624  
[ ]finseq_7__541_18.min1.thm12017-02-06 12:45 612  
[ ]finseq_7__543_50.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__544_17.min1.thm12017-02-06 12:45 717  
[ ]finseq_7__549_47.min1.thm12017-02-06 12:45 1.3K 
[ ]finseq_7__550_19.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__557_11.min1.thm12017-02-06 12:45 517  
[ ]finseq_7__565_32.min1.thm12017-02-06 12:45 719  
[ ]finseq_7__566_20.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__567_32.min1.thm12017-02-06 12:45 719  
[ ]finseq_7__568_20.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__573_19.min1.thm12017-02-06 12:45 826  
[ ]finseq_7__575_17.min1.thm12017-02-06 12:45 217  
[ ]finseq_7__579_21.min1.thm12017-02-06 12:45 223  
[ ]finseq_7__583_26.min1.thm12017-02-06 12:45 2.2K 
[ ]finseq_7__584_42.min1.thm12017-02-06 12:45 2.2K 
[ ]finseq_7__586_29.min1.thm12017-02-06 12:45 737  
[ ]finseq_7__586_29.min1.thm1.tptp2017-02-06 16:47 655  
[ ]finseq_7__591_41.min1.thm12017-02-06 12:45 1.9K 
[ ]finseq_7__592_26.min1.thm12017-02-06 12:45 1.6K 
[ ]finseq_7__593_42.min1.thm12017-02-06 12:45 2.2K 
[ ]finseq_7__597_22.min1.thm12017-02-06 12:45 624  
[ ]finseq_7__602_21.min1.thm12017-02-06 12:45 223  
[ ]finseq_7__606_26.min1.thm12017-02-06 12:45 2.2K 
[ ]finseq_7__607_26.min1.thm12017-02-06 12:45 1.6K 
[ ]finseq_7__608_42.min1.thm12017-02-06 12:45 1.8K 
[ ]finseq_7__614_26.min1.thm12017-02-06 12:45 1.9K 
[ ]finseq_7__615_25.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__616_41.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__617_42.min1.thm12017-02-06 12:45 1.8K 
[ ]finseq_7__621_22.min1.thm12017-02-06 12:45 624  
[ ]finseq_7__624_18.min1.thm12017-02-06 12:45 612  
[ ]finseq_7__626_30.min1.thm12017-02-06 12:45 717  
[ ]finseq_7__627_27.min1.thm12017-02-06 12:45 717  
[ ]finseq_7__628_19.min1.thm12017-02-06 12:45 2.0K 
[ ]finseq_7__632_29.min1.thm12017-02-06 12:45 1.2K 
[ ]finseq_7__633_19.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__638_28.min1.thm12017-02-06 12:45 1.0K 
[ ]finseq_7__647_17.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__651_17.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__665_17.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__669_17.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__683_17.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__687_17.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__701_17.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__705_17.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__720_26.min1.thm12017-02-06 12:45 2.4K 
[ ]finseq_7__721_30.min1.thm12017-02-06 12:45 744  
[ ]finseq_7__723_17.min1.thm12017-02-06 12:45 2.7K 
[ ]finseq_7__731_71.min1.thm12017-02-06 12:45 1.9K 
[ ]finseq_7__732_57.min1.thm12017-02-06 12:45 1.7K 
[ ]finseq_7__733_51.min1.thm12017-02-06 12:45 3.1K 
[ ]finseq_7__734_17.min1.thm12017-02-06 12:45 1.3K 
[ ]finseq_7__751_11.min1.thm12017-02-06 12:45 517  
[ ]finseq_7__757_70.min1.thm12017-02-06 12:45 1.8K 
[ ]finseq_7__759_15.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__775_17.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__776_27.min1.thm12017-02-06 12:45 802  
[ ]finseq_7__777_32.min1.thm12017-02-06 12:45 2.3K 
[ ]finseq_7__779_13.min1.thm12017-02-06 12:45 970  
[ ]finseq_7__780_14.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__792_17.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__794_15.min1.thm12017-02-06 12:45 802  
[ ]finseq_7__795_20.min1.thm12017-02-06 12:45 2.2K 
[ ]finseq_7__798_13.min1.thm12017-02-06 12:45 1.2K 
[ ]finseq_7__799_14.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__800_17.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__801_15.min1.thm12017-02-06 12:45 803  
[ ]finseq_7__802_20.min1.thm12017-02-06 12:45 2.2K 
[ ]finseq_7__804_13.min1.thm12017-02-06 12:45 1.2K 
[ ]finseq_7__805_14.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__806_17.min1.thm12017-02-06 12:45 925  
[ ]finseq_7__806_17.min1.thm1.tptp2017-02-06 16:47 845  
[ ]finseq_7__820_17.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__821_14.min1.thm12017-02-06 12:45 586  
[ ]finseq_7__824_53.min1.thm12017-02-06 12:45 764  
[ ]finseq_7__825_19.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__833_45.min1.thm12017-02-06 12:45 1.8K 
[ ]finseq_7__837_18.min1.thm12017-02-06 12:45 1.3K 
[ ]finseq_7__839_18.min1.thm12017-02-06 12:45 2.3K 
[ ]finseq_7__840_18.min1.thm12017-02-06 12:45 1.6K 
[ ]finseq_7__841_17.min1.thm12017-02-06 12:45 2.3K 
[ ]finseq_7__842_19.min1.thm12017-02-06 12:45 1.3K 
[ ]finseq_7__844_19.min1.thm12017-02-06 12:45 2.3K 
[ ]finseq_7__846_18.min1.thm12017-02-06 12:45 666  
[ ]finseq_7__847_19.min1.thm12017-02-06 12:45 1.0K 
[ ]finseq_7__852_18.min1.thm12017-02-06 12:45 667  
[ ]finseq_7__853_18.min1.thm12017-02-06 12:45 807  
[ ]finseq_7__855_21.min1.thm12017-02-06 12:45 1.8K 
[ ]finseq_7__857_13.min1.thm12017-02-06 12:45 1.2K 
[ ]finseq_7__859_52.min1.thm12017-02-06 12:45 2.3K 
[ ]finseq_7__865_22.min1.thm12017-02-06 12:45 1.2K 
[ ]finseq_7__867_13.min1.thm12017-02-06 12:45 1.2K 
[ ]finseq_7__868_46.min1.thm12017-02-06 12:45 1.2K 
[ ]finseq_7__871_38.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__876_29.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__878_16.min1.thm12017-02-06 12:45 945  
[ ]finseq_7__879_17.min1.thm12017-02-06 12:45 2.3K 
[ ]finseq_7__887_11.min1.thm12017-02-06 12:45 2.6K 
[ ]finseq_7__892_19.min1.thm12017-02-06 12:45 1.8K 
[ ]finseq_7__892_19.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]finseq_7__897_17.min1.thm12017-02-06 12:45 768  
[ ]finseq_7__898_41.min1.thm12017-02-06 12:45 682  
[ ]finseq_7__899_21.min1.thm12017-02-06 12:45 859  
[ ]finseq_7__909_19.min1.thm12017-02-06 12:45 2.0K 
[ ]finseq_7__913_22.min1.thm12017-02-06 12:45 944  
[ ]finseq_7__914_22.min1.thm12017-02-06 12:45 2.4K 
[ ]finseq_7__916_20.min1.thm12017-02-06 12:45 1.8K 
[ ]finseq_7__917_20.min1.thm12017-02-06 12:45 2.4K 
[ ]finseq_7__919_18.min1.thm12017-02-06 12:45 751  
[ ]finseq_7__922_18.min1.thm12017-02-06 12:45 751  
[ ]finseq_7__924_18.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__926_19.min1.thm12017-02-06 12:45 2.0K 
[ ]finseq_7__928_22.min1.thm12017-02-06 12:45 1.2K 
[ ]finseq_7__930_13.min1.thm12017-02-06 12:45 1.3K 
[ ]finseq_7__932_49.min1.thm12017-02-06 12:45 2.4K 
[ ]finseq_7__933_19.min1.thm12017-02-06 12:45 2.4K 
[ ]finseq_7__934_16.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__935_13.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__937_22.min1.thm12017-02-06 12:45 1.0K 
[ ]finseq_7__938_22.min1.thm12017-02-06 12:45 1.3K 
[ ]finseq_7__940_20.min1.thm12017-02-06 12:45 1.8K 
[ ]finseq_7__941_19.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__943_19.min1.thm12017-02-06 12:45 2.5K 
[ ]finseq_7__944_46.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__945_29.min1.thm12017-02-06 12:45 1.6K 
[ ]finseq_7__947_44.min1.thm12017-02-06 12:45 2.3K 
[ ]finseq_7__954_16.min1.thm12017-02-06 12:45 1.0K 
[ ]finseq_7__955_17.min1.thm12017-02-06 12:45 2.4K 
[ ]finseq_7__956_18.min1.thm12017-02-06 12:45 1.8K 
[ ]finseq_7__957_17.min1.thm12017-02-06 12:45 2.4K 
[ ]finseq_7__958_35.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__959_69.min1.thm12017-02-06 12:45 2.8K 
[ ]finseq_7__961_61.min1.thm12017-02-06 12:45 3.9K 
[ ]finseq_7__963_17.min1.thm12017-02-06 12:45 3.3K 
[ ]finseq_7__964_17.min1.thm12017-02-06 12:45 751  
[ ]finseq_7__965_26.min1.thm12017-02-06 12:45 2.4K 
[ ]finseq_7__966_33.min1.thm12017-02-06 12:45 2.3K 
[ ]finseq_7__967_34.min1.thm12017-02-06 12:45 2.3K 
[ ]finseq_7__968_35.min1.thm12017-02-06 12:45 1.3K 
[ ]finseq_7__970_29.min1.thm12017-02-06 12:45 1.5K 
[ ]finseq_7__974_21.min1.thm12017-02-06 12:45 1.8K 
[ ]finseq_7__976_13.min1.thm12017-02-06 12:45 1.3K 
[ ]finseq_7__977_18.min1.thm12017-02-06 12:45 971  
[ ]finseq_7__979_21.min1.thm12017-02-06 12:45 2.0K 
[ ]finseq_7__981_16.min1.thm12017-02-06 12:45 1.6K 
[ ]finseq_7__982_48.min1.thm12017-02-06 12:45 1.0K 
[ ]finseq_7__983_43.min1.thm12017-02-06 12:45 3.8K 
[ ]finseq_7__989_46.min1.thm12017-02-06 12:45 3.4K 
[ ]finseq_7__994_19.min1.thm12017-02-06 12:45 2.0K 
[ ]finseq_7__1009_58.min1.thm12017-02-06 12:45 1.4K 
[ ]finseq_7__1013_4.min1.thm12017-02-06 12:45 1.7K 
[ ]finseq_7__1014_62.min1.thm12017-02-06 12:45 1.6K 
[ ]finseq_7__1032_66.min1.thm12017-02-06 12:45 1.6K 
[ ]finseq_7__1034_52.min1.thm12017-02-06 12:45 1.0K 
[ ]finseq_7__1040_59.min1.thm12017-02-06 12:45 1.6K 
[ ]finseq_7__1041_59.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__1042_59.min1.thm12017-02-06 12:45 2.2K 
[ ]finseq_7__1043_59.min1.thm12017-02-06 12:45 2.8K 
[ ]finseq_7__1045_35.min1.thm12017-02-06 12:45 1.2K 
[ ]finseq_7__1065_7.min1.thm12017-02-06 12:45 1.6K 
[ ]finseq_7__1067_28.min1.thm12017-02-06 12:45 1.0K 
[ ]finseq_7__1069_43.min1.thm12017-02-06 12:45 1.8K 
[ ]finseq_7__1070_43.min1.thm12017-02-06 12:45 1.6K 
[ ]finseq_7__1071_53.min1.thm12017-02-06 12:45 1.1K 
[ ]finseq_7__1072_53.min1.thm12017-02-06 12:45 2.4K 
[ ]finseq_7__1073_53.min1.thm12017-02-06 12:45 2.8K 
[ ]finseq_7__1075_31.min1.thm12017-02-06 12:45 1.2K 
[ ]finseq_7__1076_14.min1.thm12017-02-06 12:45 710  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80