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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rfinseq2__48_22.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__49_13.min1.thm12017-02-06 12:46 214  
[ ]rfinseq2__52_18.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__68_78.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq2__68_78.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]rfinseq2__69_17.min1.thm12017-02-06 12:46 214  
[ ]rfinseq2__72_28.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__81_19.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__82_27.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq2__86_23.min1.thm12017-02-06 12:46 2.4K 
[ ]rfinseq2__88_17.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq2__94_21.min1.thm12017-02-06 12:46 406  
[ ]rfinseq2__105_25.min1.thm12017-02-06 12:46 336  
[ ]rfinseq2__108_30.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__109_33.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__113_33.min1.thm12017-02-06 12:46 2.5K 
[ ]rfinseq2__116_24.min1.thm12017-02-06 12:46 2.1K 
[ ]rfinseq2__125_27.min1.thm12017-02-06 12:46 338  
[ ]rfinseq2__128_32.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__129_35.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__133_35.min1.thm12017-02-06 12:46 2.2K 
[ ]rfinseq2__136_28.min1.thm12017-02-06 12:46 614  
[ ]rfinseq2__138_53.min1.thm12017-02-06 12:46 2.2K 
[ ]rfinseq2__144_25.min1.thm12017-02-06 12:46 318  
[ ]rfinseq2__154_29.min1.thm12017-02-06 12:46 354  
[ ]rfinseq2__157_34.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__158_37.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__162_33.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__163_37.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq2__166_29.min1.thm12017-02-06 12:46 2.7K 
[ ]rfinseq2__175_31.min1.thm12017-02-06 12:46 2.0K 
[ ]rfinseq2__176_32.min1.thm12017-02-06 12:46 2.5K 
[ ]rfinseq2__177_35.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq2__179_30.min1.thm12017-02-06 12:46 2.1K 
[ ]rfinseq2__181_39.min1.thm12017-02-06 12:46 3.5K 
[ ]rfinseq2__196_29.min1.thm12017-02-06 12:46 354  
[ ]rfinseq2__199_48.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__200_29.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__201_36.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__202_37.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq2__206_37.min1.thm12017-02-06 12:46 2.8K 
[ ]rfinseq2__216_29.min1.thm12017-02-06 12:46 354  
[ ]rfinseq2__219_34.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__224_34.min1.thm12017-02-06 12:46 412  
[ ]rfinseq2__227_27.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__228_62.min1.thm12017-02-06 12:46 3.6K 
[ ]rfinseq2__233_26.min1.thm12017-02-06 12:46 2.4K 
[ ]rfinseq2__236_22.min1.thm12017-02-06 12:46 2.5K 
[ ]rfinseq2__257_19.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__258_23.min1.thm12017-02-06 12:46 925  
[ ]rfinseq2__267_19.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__268_23.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__292_23.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__294_21.min1.thm12017-02-06 12:46 910  
[ ]rfinseq2__309_22.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__311_15.min1.thm12017-02-06 12:46 216  
[ ]rfinseq2__314_20.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__331_21.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq2__331_21.min1.thm1.tptp2017-02-06 16:47 1.6K 
[ ]rfinseq2__333_21.min1.thm12017-02-06 12:46 222  
[ ]rfinseq2__336_32.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__345_23.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq2__346_31.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq2__350_27.min1.thm12017-02-06 12:46 2.4K 
[ ]rfinseq2__352_27.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq2__358_25.min1.thm12017-02-06 12:46 418  
[ ]rfinseq2__369_29.min1.thm12017-02-06 12:46 352  
[ ]rfinseq2__372_34.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__373_37.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq2__377_37.min1.thm12017-02-06 12:46 2.6K 
[ ]rfinseq2__380_28.min1.thm12017-02-06 12:46 2.1K 
[ ]rfinseq2__388_29.min1.thm12017-02-06 12:46 352  
[ ]rfinseq2__391_34.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__392_37.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__396_37.min1.thm12017-02-06 12:46 2.3K 
[ ]rfinseq2__399_57.min1.thm12017-02-06 12:46 2.3K 
[ ]rfinseq2__405_29.min1.thm12017-02-06 12:46 326  
[ ]rfinseq2__415_33.min1.thm12017-02-06 12:46 370  
[ ]rfinseq2__418_38.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__419_41.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__423_37.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__424_41.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__427_33.min1.thm12017-02-06 12:46 2.8K 
[ ]rfinseq2__436_35.min1.thm12017-02-06 12:46 2.0K 
[ ]rfinseq2__437_36.min1.thm12017-02-06 12:46 2.5K 
[ ]rfinseq2__438_39.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__440_34.min1.thm12017-02-06 12:46 2.1K 
[ ]rfinseq2__442_62.min1.thm12017-02-06 12:46 3.6K 
[ ]rfinseq2__458_33.min1.thm12017-02-06 12:46 370  
[ ]rfinseq2__461_52.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__462_33.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__463_40.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq2__464_41.min1.thm12017-02-06 12:46 1.9K 
[ ]rfinseq2__468_41.min1.thm12017-02-06 12:46 2.8K 
[ ]rfinseq2__478_33.min1.thm12017-02-06 12:46 370  
[ ]rfinseq2__481_38.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__486_38.min1.thm12017-02-06 12:46 432  
[ ]rfinseq2__489_31.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__490_66.min1.thm12017-02-06 12:46 3.6K 
[ ]rfinseq2__495_30.min1.thm12017-02-06 12:46 2.5K 
[ ]rfinseq2__498_26.min1.thm12017-02-06 12:46 2.6K 
[ ]rfinseq2__501_22.min1.thm12017-02-06 12:46 2.4K 
[ ]rfinseq2__521_21.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__522_25.min1.thm12017-02-06 12:46 955  
[ ]rfinseq2__531_21.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__532_25.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__537_16.min1.thm12017-02-06 12:46 2.3K 
[ ]rfinseq2__558_23.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__560_21.min1.thm12017-02-06 12:46 910  
[ ]rfinseq2__569_13.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__572_13.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__609_12.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq2__610_14.min1.thm12017-02-06 12:46 912  
[ ]rfinseq2__611_28.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__612_42.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq2__613_17.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__624_12.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq2__625_14.min1.thm12017-02-06 12:46 912  
[ ]rfinseq2__626_28.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__627_42.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq2__628_17.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__639_14.min1.thm12017-02-06 12:46 633  
[ ]rfinseq2__641_23.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__642_13.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__643_25.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__645_20.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__646_23.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__647_13.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__648_23.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__650_13.min1.thm12017-02-06 12:46 220  
[ ]rfinseq2__654_26.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__656_17.min1.thm12017-02-06 12:46 278  
[ ]rfinseq2__659_30.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__660_29.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__662_22.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__663_36.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__664_34.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__665_25.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__670_22.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__671_36.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__673_29.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__676_25.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__679_18.min1.thm12017-02-06 12:46 901  
[ ]rfinseq2__684_26.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__686_17.min1.thm12017-02-06 12:46 278  
[ ]rfinseq2__689_30.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__690_29.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__692_22.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__693_36.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__694_34.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__695_25.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__700_22.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__701_36.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__703_29.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__706_25.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__709_18.min1.thm12017-02-06 12:46 901  
[ ]rfinseq2__712_14.min1.thm12017-02-06 12:46 839  
[ ]rfinseq2__723_14.min1.thm12017-02-06 12:46 633  
[ ]rfinseq2__725_23.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__726_13.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__727_25.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__729_20.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__730_23.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__731_13.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__732_23.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__733_11.min1.thm12017-02-06 12:46 218  
[ ]rfinseq2__737_25.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__739_15.min1.thm12017-02-06 12:46 276  
[ ]rfinseq2__742_28.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__743_27.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__745_20.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__746_34.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__747_32.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__748_23.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__753_20.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__754_34.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__756_27.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__759_23.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__762_16.min1.thm12017-02-06 12:46 897  
[ ]rfinseq2__767_25.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__769_15.min1.thm12017-02-06 12:46 276  
[ ]rfinseq2__772_28.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__773_27.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__775_20.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__776_34.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__777_32.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__778_23.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__783_20.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__784_34.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__786_27.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__789_23.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__792_16.min1.thm12017-02-06 12:46 897  
[ ]rfinseq2__804_25.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__810_33.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__813_28.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__828_25.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__834_33.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__837_28.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__852_22.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__856_34.min1.thm12017-02-06 12:46 2.6K 
[ ]rfinseq2__858_27.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__866_29.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__871_39.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq2__875_27.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__890_22.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__903_29.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__908_39.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq2__912_27.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__926_21.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__930_33.min1.thm12017-02-06 12:46 2.3K 
[ ]rfinseq2__932_26.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__940_28.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__945_38.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq2__949_26.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__963_21.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__967_33.min1.thm12017-02-06 12:46 2.3K 
[ ]rfinseq2__969_26.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__977_28.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__982_38.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq2__986_26.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__998_13.min1.thm12017-02-06 12:46 964  
[ ]rfinseq2__1004_19.min1.thm12017-02-06 12:46 3.3K 
[ ]rfinseq2__1012_13.min1.thm12017-02-06 12:46 964  
[ ]rfinseq2__1038_14.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__1039_18.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__1040_18.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__1041_11.min1.thm12017-02-06 12:46 239  
[ ]rfinseq2__1045_27.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__1048_22.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__1049_23.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq2__1051_41.min1.thm12017-02-06 12:46 3.2K 
[ ]rfinseq2__1053_22.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__1059_25.min1.thm12017-02-06 12:46 3.6K 
[ ]rfinseq2__1060_16.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__1070_41.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__1071_17.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__1081_14.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__1082_18.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__1083_11.min1.thm12017-02-06 12:46 239  
[ ]rfinseq2__1086_22.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__1088_18.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq2__1089_27.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__1092_23.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq2__1094_41.min1.thm12017-02-06 12:46 2.9K 
[ ]rfinseq2__1096_22.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__1102_25.min1.thm12017-02-06 12:46 3.6K 
[ ]rfinseq2__1103_16.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__1113_41.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__1114_17.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__1123_14.min1.thm12017-02-06 12:46 423  
[ ]rfinseq2__1123_14.min1.thm1.tptp2017-02-06 16:47 356  
[ ]rfinseq2__1124_15.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__1125_13.min1.thm12017-02-06 12:46 575  
[ ]rfinseq2__1135_14.min1.thm12017-02-06 12:46 312  
[ ]rfinseq2__1138_20.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__1139_62.min1.thm12017-02-06 12:46 1.9K 
[ ]rfinseq2__1145_18.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__1151_14.min1.thm12017-02-06 12:46 434  
[ ]rfinseq2__1177_24.min1.thm12017-02-06 12:46 2.0K 
[ ]rfinseq2__1179_17.min1.thm12017-02-06 12:46 2.7K 
[ ]rfinseq2__1185_13.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__1186_13.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__1188_13.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__1192_17.min1.thm12017-02-06 12:46 219  
[ ]rfinseq2__1199_21.min1.thm12017-02-06 12:46 951  
[ ]rfinseq2__1206_18.min1.thm12017-02-06 12:46 618  
[ ]rfinseq2__1208_9.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__1210_16.min1.thm12017-02-06 12:46 671  
[ ]rfinseq2__1215_13.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__1230_15.min1.thm12017-02-06 12:46 2.8K 
[ ]rfinseq2__1236_20.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__1240_18.min1.thm12017-02-06 12:46 2.4K 
[ ]rfinseq2__1243_21.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__1246_18.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq2__1247_19.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__1249_19.min1.thm12017-02-06 12:46 249  
[ ]rfinseq2__1256_25.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq2__1264_21.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__1267_18.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq2__1268_19.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__1270_19.min1.thm12017-02-06 12:46 249  
[ ]rfinseq2__1277_25.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq2__1286_32.min1.thm12017-02-06 12:46 567  
[ ]rfinseq2__1291_26.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__1305_13.min1.thm12017-02-06 12:46 189  
[ ]rfinseq2__1308_21.min1.thm12017-02-06 12:46 1.9K 
[ ]rfinseq2__1309_21.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__1314_15.min1.thm12017-02-06 12:46 2.2K 
[ ]rfinseq2__1316_17.min1.thm12017-02-06 12:46 257  
[ ]rfinseq2__1319_25.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__1327_34.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq2__1338_18.min1.thm12017-02-06 12:46 752  
[ ]rfinseq2__1341_14.min1.thm12017-02-06 12:46 678  
[ ]rfinseq2__1356_78.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq2__1361_22.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__1363_32.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq2__1365_20.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq2__1373_42.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__1374_16.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__1377_14.min1.thm12017-02-06 12:46 542  
[ ]rfinseq2__1385_19.min1.thm12017-02-06 12:46 181  
[ ]rfinseq2__1396_14.min1.thm12017-02-06 12:46 423  
[ ]rfinseq2__1396_14.min1.thm1.tptp2017-02-06 16:47 356  
[ ]rfinseq2__1397_15.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__1398_13.min1.thm12017-02-06 12:46 575  
[ ]rfinseq2__1402_68.min1.thm12017-02-06 12:46 673  
[ ]rfinseq2__1405_68.min1.thm12017-02-06 12:46 673  
[ ]rfinseq2__1457_18.min1.thm12017-02-06 12:46 2.3K 
[ ]rfinseq2__1466_22.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__1467_21.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq2__1477_20.min1.thm12017-02-06 12:46 1.9K 
[ ]rfinseq2__1481_16.min1.thm12017-02-06 12:46 508  
[ ]rfinseq2__1481_16.min1.thm1.tptp2017-02-06 16:47 426  
[ ]rfinseq2__1494_14.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__1496_13.min1.thm12017-02-06 12:46 231  
[ ]rfinseq2__1499_24.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__1504_15.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__1509_16.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__1510_24.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq2__1512_12.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq2__1513_13.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq2__1514_24.min1.thm12017-02-06 12:46 519  
[ ]rfinseq2__1525_43.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__1537_43.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__1550_42.min1.thm12017-02-06 12:46 653  
[ ]rfinseq2__1551_17.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__1559_42.min1.thm12017-02-06 12:46 653  
[ ]rfinseq2__1560_17.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__1570_27.min1.thm12017-02-06 12:46 428  
[ ]rfinseq2__1570_27.min1.thm1.tptp2017-02-06 16:47 357  
[ ]rfinseq2__1571_33.min1.thm12017-02-06 12:46 1.9K 
[ ]rfinseq2__1573_26.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__1581_30.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__1583_11.min1.thm12017-02-06 12:46 1.9K 
[ ]rfinseq2__1585_15.min1.thm12017-02-06 12:46 185  
[ ]rfinseq2__1588_23.min1.thm12017-02-06 12:46 857  
[ ]rfinseq2__1592_19.min1.thm12017-02-06 12:46 966  
[ ]rfinseq2__1596_16.min1.thm12017-02-06 12:46 364  
[ ]rfinseq2__1598_27.min1.thm12017-02-06 12:46 428  
[ ]rfinseq2__1598_27.min1.thm1.tptp2017-02-06 16:47 357  
[ ]rfinseq2__1609_13.min1.thm12017-02-06 12:46 183  
[ ]rfinseq2__1612_21.min1.thm12017-02-06 12:46 853  
[ ]rfinseq2__1616_17.min1.thm12017-02-06 12:46 962  
[ ]rfinseq2__1620_45.min1.thm12017-02-06 12:46 653  
[ ]rfinseq2__1621_45.min1.thm12017-02-06 12:46 654  
[ ]rfinseq2__1623_27.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq2__1626_14.min1.thm12017-02-06 12:46 754  
[ ]rfinseq2__1634_30.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq2__1635_19.min1.thm12017-02-06 12:46 1.9K 
[ ]rfinseq2__1638_14.min1.thm12017-02-06 12:46 755  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80